, 4*s + 5*x = -9410 + 60295. Is s prime?
False
Is (-15)/(-6)*(-104022)/(-45) prime?
True
Suppose 0 = -5*n + 20, 0 = 4*d - 4*n - 3791 - 5369. Let c = d + -1400. Let b = c + -415. Is b prime?
True
Let d(i) = 75*i - 6. Let u be d(3). Suppose 0 = s + 4, 0 = g + 2*s - u - 60. Is g a prime number?
False
Suppose 3*u - 3*l - 2439 = 0, 2*u + 0*u = 4*l + 1634. Is u a composite number?
False
Let r(c) = c**3 + 8*c**2 - 4*c + 20. Let k be r(6). Let s = k - 289. Suppose 4*j - s = -39. Is j composite?
False
Let m be (10/4)/((-40)/(-32)). Suppose -4*s + 0*s + 634 = m*p, -12 = -4*p. Is s a prime number?
True
Let y(x) = -x**2 - 26*x - 2. Let b be y(-24). Suppose b*k = 43*k + 2181. Is k a composite number?
False
Let m = 3806 - -85. Is m composite?
True
Let p = -10538 - -20515. Is p a prime number?
False
Let y(n) = 68*n**2 - 3*n + 2. Let w be y(-3). Suppose q = -2*a + w, -q = -3*a - 2*a - 651. Is q a composite number?
False
Let g = 120227 - 85788. Is g prime?
True
Let d = 120 + 27. Let x = 18 - d. Let a = 332 + x. Is a a prime number?
False
Suppose 0 = -4*y - b + 16 - 0, 0 = -y + 5*b + 4. Suppose -4*o - y*s + 240 = 0, 2*s + s = -5*o + 290. Is o a composite number?
True
Suppose 2665 + 2083 = 2*c. Suppose 8*i - 1794 = c. Is i composite?
False
Suppose -31*x + 4*f = -33*x + 7618, -3*x = -f - 11406. Is x a composite number?
False
Suppose -7*t + 63118 = -9675. Is t prime?
True
Let i be (-26)/4*(-56)/2. Let x(p) = i*p - 194*p - 4 - 1. Is x(-8) a prime number?
False
Let m = 19765 + -12068. Is m a prime number?
False
Let g be (-1 + 4/6)*(9 - 24). Suppose 0 = 4*l - g*m - 1200, 0*l - 2*l = -3*m - 598. Is l a prime number?
False
Suppose 3*c - 5*t - 5569 = 0, -2*c + 4*t + 1610 = -2102. Suppose -5*z = -2097 - c. Is z composite?
True
Let h = 1 + -2. Let u = 4 + h. Suppose u*b + 136 = -0*k + 2*k, -361 = -5*k - 3*b. Is k composite?
False
Let m = -81 + 234. Let l = 566 - m. Is l a composite number?
True
Let i(q) = q**3 + 7*q**2 + 2*q - 3. Suppose z + 2*g = -2 - 0, -2*z + 2*g = 10. Let r be i(z). Is r/((3 - 2)/1) prime?
True
Is ((-429)/(-78))/(1 + 1002/(-1004)) composite?
True
Suppose -k + 98 = k. Suppose -3*a = -5*q + 12 - 737, 3*a + q = 719. Let j = a - k. Is j prime?
True
Let i be (-2)/4 - (11250/4)/15. Suppose 3*o + 2*o = -1685. Let k = i - o. Is k composite?
False
Suppose 4*s = -5*r + 15139, 9*r - 10*r - 5 = 0. Is s prime?
False
Let s(o) = 3*o + 5*o**2 + 1 + 12 - o + 0*o. Is s(-8) prime?
True
Let k(b) = 2*b**2 - 6. Let c be k(-2). Suppose 3*y - c*p - 1332 = 0, 0 = -5*y - 4*p + 1226 + 1016. Let s = -231 + y. Is s composite?
True
Let j(i) = -1790*i + 1. Is j(-5) composite?
False
Suppose 15 + 17 = 8*c. Is (-139)/(1 - (c - 2)) a prime number?
True
Let t(a) = 12*a - 14. Let y be 1/(4/(-36)) + -4. Let f = y - -21. Is t(f) a composite number?
True
Suppose 2*r - r - 625 = -n, -5*r - 3*n = -3131. Suppose -r = -3*x + 377. Is x a composite number?
True
Let v = 3847 + 472. Is v prime?
False
Suppose 4*c - 9*c - 15 = 0. Let u(t) = 300*t**2 - 7*t - 14. Is u(c) a prime number?
True
Let i(t) = 461*t**2 + 2*t - 90. Is i(-8) composite?
True
Let c = -12341 - -21158. Suppose c - 33301 = -4*l. Is l a prime number?
True
Suppose 5*t = v - 5, -3*t + 3 = -6*t - 5*v. Is (-4)/t*(-2962)/(-8) a composite number?
False
Is (-605)/55 - (-298 + 0) composite?
True
Suppose 4*c = 2*c. Let w(o) = -o**3 - o**2 + 2393. Is w(c) composite?
False
Suppose 4*j - j - 47 = -4*i, -5*i + 2*j + 30 = 0. Let l(a) = a**3 - 5*a**2 - 13*a - 8. Let p be l(i). Is (-64)/p - 299/(-5) prime?
True
Let q(i) be the second derivative of -i**6/360 - 17*i**5/120 - i**4/24 + 4*i**3/3 + 9*i. Let g(s) be the second derivative of q(s). Is g(-12) a prime number?
True
Let p(x) = 998*x**2 + 8*x - 5. Is p(-9) composite?
False
Let i be (-34)/(-10) + 6/(-15). Let f = -24 + 31. Suppose 4*g - 3*t - 584 = 0, -2*t + f*t = -i*g + 467. Is g a prime number?
True
Let z = -6847 + 9871. Suppose -5*x - 5*h = -6285, 3*x - h - 763 - z = 0. Is x composite?
True
Let r(b) = 2*b**2 - 8*b + 5. Let f be r(4). Suppose f*w - o = 6858 + 847, -4*o = 0. Is w a prime number?
False
Suppose -3*y - 18 + 51 = 0. Let t = -6 + y. Let f(x) = 5*x**2 + 6*x - 16. Is f(t) a composite number?
False
Let x(m) = -2*m**3 + m**2 + 3. Let i be x(0). Suppose -3*f + 21768 = i*f. Suppose 5*t = t + f. Is t composite?
False
Let v be (115/15)/(2/6). Let n(g) = 2*g**2 + v*g - 23*g + 2. Is n(2) a prime number?
False
Let w = 1189 + -364. Suppose -5*l + w = 220. Is l prime?
False
Suppose 3*s - 18*s = -372615. Is s prime?
True
Let b = 88 + -100. Is (1657/4)/(2 - (-23)/b) a prime number?
False
Suppose 0 = -k - 0*k + 2, 5*r = -2*k - 1476. Let y = 609 + r. Let f = -194 + y. Is f a composite number?
True
Suppose -3*n = -3*w + 223 + 128, -2*n - 234 = -4*w. Is (n/(-6))/((-1)/(-2)) a composite number?
True
Suppose 11*t - 361380 = -49*t. Is t a prime number?
False
Let q(b) = -117*b**3 + 2*b**2 + b. Let n(r) = 10*r**2 - 1. Let t be n(1). Let s be (2/(-3))/(6/t). Is q(s) a prime number?
False
Let g = 13 + -6. Suppose -267 = -g*q + 314. Is q prime?
True
Let w(b) = 5*b + 17. Let n be w(-4). Is 375/(-6)*-4 - n a composite number?
True
Let w(g) = -2560*g**3 - 2*g**2 + 4*g + 5. Is w(-1) a prime number?
False
Suppose 4*c - c = 15441. Is c composite?
False
Suppose 2*j + 2 = -4*r, -4*r = -5*j - 2*r + 43. Is (2 - 1)/((-3)/(-13755)*j) composite?
True
Let a = 2852 + 399. Is a composite?
False
Suppose 5*s + 1583 = 9258. Is s prime?
False
Let d(p) = 239*p**2 - 150*p - 48. Is d(-31) composite?
False
Suppose -5*z + 19767 = -2*p, -4*z = 2*p - 10936 - 4874. Is z prime?
False
Let q be (-26)/(-12) + (-13)/78. Suppose 2*y + 3 = 3*f, -f = q*f - 9. Is 52 + y/(6/2) a composite number?
False
Suppose -w - 4*m = 15, 3*m + 0*m + 40 = 5*w. Suppose -4 = -w*o + 6. Is 10/20 - (-297)/o prime?
True
Let l be (-16)/20 - (-147)/(-35). Let s be (2/(-4))/((-2)/4). Is (-442)/(l + (s - -2)) prime?
False
Suppose 4*n + 5*n = 18. Is (n - 9)/(((-35)/(-1345))/(-7)) prime?
False
Let n(k) = -k - 2. Let p be n(-4). Suppose -p*q = 2*w - 72, 5*w - 132 = w - q. Is w/(-56) - (-2377)/7 composite?
True
Let x = 16 + -14. Suppose -2*u + x*l = -2*l - 214, 0 = -5*u - 2*l + 523. Suppose 3*j - u = 12. Is j prime?
False
Suppose -2*m = i - 6*i + 424, 2*i - 4*m = 176. Let r = 389 + i. Is r prime?
False
Suppose 10 = 5*g - 0. Let s = 4 - g. Suppose -s*z - 3*q + q + 110 = 0, 5*q = 4*z - 202. Is z composite?
False
Let s be 58/7 + (-8)/28. Let x(z) = -12*z**2 + 13*z + 15. Let c(v) = 6*v**2 - 7*v - 7. Let g(b) = 5*c(b) + 2*x(b). Is g(s) a composite number?
False
Suppose 0 = d - 2. Suppose 3*t - 642 = 3*c, 0 = -0*c + 4*c - d*t + 858. Let b = 306 + c. Is b a composite number?
True
Is (-24)/(-32)*4 + 13779 + -1 prime?
True
Let o(z) = 13*z + 33. Let y be o(-7). Let v = y + 135. Is v composite?
True
Let k(y) = -2*y + 12. Let h be k(5). Suppose h*f - 7 = 7. Suppose -f*o = -5*o - 222. Is o a composite number?
True
Let b(p) = p**3 + 22*p**2 - p - 22. Let s be b(-22). Suppose h = -s*h + 2, -2*u = 2*h - 3360. Is u a prime number?
False
Let w = -536 - -1025. Is w a prime number?
False
Suppose 9 = b - 0*b + 5*k, -4*k = -2*b + 4. Is (3556/8)/(2/b) a prime number?
False
Let g(u) be the first derivative of u**3/3 + 3*u**2 + 5. Let y be g(-6). Suppose 3*f - f - 118 = y. Is f prime?
True
Let o be (-5 + 4)/(1/1). Let y be (o + -1)*(2 - 3). Suppose -v + 208 = -j, -y*j + 630 = 3*v - 3*j. Is v a composite number?
False
Suppose 0*s = -s + 5, i + 2*s - 6514 = 0. Suppose -5*w + w = -4*v - i, 4*w = 5*v + 6506. Suppose -b - 2*b + w = u, 5*b - 2708 = -3*u. Is b a prime number?
True
Let y(s) = 2*s**2 + 3*s - 5. Let x be y(6). Let v = x - 38. Is v prime?
True
Suppose 7*x + 14 = 9*x. Is (1 - x)/3 - -1243 a composite number?
True
Let o = 66 + -59. Is o a composite number?
False
Suppose 4*n - 2*y - 262 = n, y - 1 = 0. Let s = 55 + -53. Suppose s*h - n = -2*h. Is h a composite number?
True
Let h be (21/(-6) - 4)*-2. Suppose -a = -h + 12. Suppose -630 = -a*u + 312. Is u prime?
False
Let i = 26 - 23. Suppose i*b = -0*d + 4*d - 379, 2*b = -5*d + 445. Is d composite?
True
Suppose 0 = -0*c + 7*c - 29589. Is c composite?
True
Suppose -5*v + 3*x = -0*v - 3, -4*v - 3*x - 3 = 0. Let m(l) = -l + l**3 + 16 + l**2 + 0*l**2 - 22 + v*l**2. Is m(7) a composite number?
False
Let v(k) = 0 - 11*k + 1 + 4*k**2 - 3. Is v(9) a pr