 j composite?
True
Suppose 0 = 4*n, -4*n - 5 = -2*h + h. Suppose -4*u + 17 = 3*j, 5*j - h*u = -u - 25. Is j + 176 + (-20)/(-10) a prime number?
False
Let z be 2/(-4) - (-5)/10. Suppose z = 2*v - 178 - 328. Is v a prime number?
False
Let q(w) = -w**3 - 19*w**2 + 8*w + 21. Is q(-25) a prime number?
True
Is (-22036)/8*(20/14 - 2) prime?
False
Suppose -3*b + 552*u - 553*u = -66545, -3*u = -2*b + 44356. Is b prime?
False
Let l(t) = 3*t**2 + 8*t + 5. Let v be l(-5). Suppose q - 109 = -v. Is 6/(-9)*q/(-2) a prime number?
True
Let v(m) = -4*m**2 + 2*m**2 + 9*m + 5 + 3*m**2. Let u be v(-10). Is 10/u - (-109)/3 prime?
True
Suppose -4*g - 12 - 40 = -q, 5*g = -4*q - 44. Let w = g + 5. Let c(a) = -a**3 - 2*a**2 - 9*a + 9. Is c(w) a prime number?
True
Let y = -29 - -226. Suppose -5*k - 654 - y = -i, 0 = i - 4*k - 847. Is i prime?
False
Let r = -6321 + 17654. Is r composite?
True
Let o(x) = 2*x**3 + 31*x**2 - 18*x - 7. Let j(h) = -3*h**3 - 46*h**2 + 27*h + 10. Let s(m) = -5*j(m) - 7*o(m). Let u = -118 + 106. Is s(u) a composite number?
False
Suppose 29 = 11*x - 26. Suppose f - x*n + 0*n = 572, 4*n = -2*f + 1186. Is f prime?
True
Let v = 36 + -12. Is (-8)/v - (-1 - (-31)/(-3)) a prime number?
True
Let f = -20 - -21. Is 36/f + -1 + 17 + -17 prime?
False
Suppose -i = 2*v - 470, -3*i + 1410 = -3*v + 5*v. Let r(f) = -f - 3. Let h be r(-5). Suppose -3*c - h*c = -i. Is c a prime number?
False
Let t be 1*(2/(-3) - (-4)/6). Suppose 8480 = 2*i + 3*i + 5*b, -3*i - b + 5082 = t. Is i a composite number?
False
Let x(v) = 82*v + 3. Let t be x(4). Is ((-15)/(-5) - 3) + t prime?
True
Let d be ((1 - 1) + 0)/(-2). Let b be 3*3/3 + d. Suppose -b*o + 1004 - 293 = 0. Is o a composite number?
True
Let m be (-7)/(35/20) - -2265. Let j = m + -1135. Is j composite?
True
Let t(f) = -f**3 + 20*f**2 - 6*f - 96. Is t(13) a composite number?
False
Let i(p) be the second derivative of -57*p**3/2 - 17*p**2/2 - 19*p. Is i(-6) composite?
False
Let z(o) = -6*o + 5701. Is z(0) composite?
False
Let w(m) = m**3 + 4*m**2 - 1. Let v be w(-3). Suppose -2*y + v = -4*y. Let p(n) = -147*n - 1. Is p(y) prime?
True
Suppose -16*s = -25*s + 34947. Is s prime?
False
Let t(y) = -2*y**3 + y**2 + 10*y - 2. Suppose 2*o = -2*o - p - 15, -2*o - 5*p + 15 = 0. Is t(o) a prime number?
True
Let j = 51076 + -20103. Is j a prime number?
False
Let x be 66/4*(-4)/2. Let g be 4/(-20) - x/15. Suppose -1905 = -3*a - g*a. Is a prime?
False
Let h(v) = v + 2. Let u be h(15). Let q = u - -194. Is q a composite number?
False
Let b(i) = i**3 + 45*i**2 - 111*i - 57. Is b(-46) a composite number?
True
Let k = 89365 + -60443. Is k prime?
False
Suppose 0 = -17*p + 7*p + 9550. Is p a composite number?
True
Let g(r) = -109*r + 59. Is g(-38) a composite number?
False
Suppose 3*m - 2*f + 5*f = 153, 4 = 2*f. Suppose -6484 = -m*q + 47*q. Is q prime?
False
Let y be 3/2 - (206/4 + -7). Let v = y - -360. Is v prime?
True
Let b = -113 - -111. Let a(h) = 349*h**2 + h + 3. Is a(b) a composite number?
True
Let q = -7 - -7. Suppose 8*u - 3790 + 438 = q. Is u composite?
False
Let g = 53 + -44. Suppose -g*u + 1562 = -4891. Is u composite?
True
Is ((-69164)/(-8)*-1)/((-1)/2) composite?
False
Suppose -u + 5*k = -6*u + 3575, 5*k = -3*u + 2139. Is u a prime number?
False
Let n(r) = -2*r + 25. Let u(o) = 1. Let d(k) = 4. Let x(y) = d(y) - 5*u(y). Let c(j) = n(j) + 2*x(j). Is c(-16) a composite number?
True
Let z(h) = -22*h + 59. Let i(x) = -65*x + 177. Let o(k) = -2*i(k) + 7*z(k). Is o(-15) prime?
True
Let l(c) = -4*c**3 + 2*c**2 + 5*c + 16. Let p be l(-8). Let k = -971 + p. Is k composite?
False
Let f = 8 + -4. Let y be 386*(1 - 2/f). Suppose -4*o - 45 = -y. Is o prime?
True
Let o(u) = 30*u**3 - 21*u**2 + 23*u - 1. Is o(13) a composite number?
False
Suppose -2*u = 3*o - 2379, o + 5*u - 170 = 636. Is o prime?
False
Let u = 72 - 69. Is -2*-379*u/6 composite?
False
Suppose 4*q - 5*n + 11023 = 0, -5*n = -0*n + 25. Let v = -1603 - q. Is v prime?
False
Let h be -1 + (-429)/(-7) + 10/(-35). Suppose 0 = w - 19 - h. Is w composite?
False
Is 8/20 + (1548/5 - 3) prime?
True
Let u = 79 - 72. Is u composite?
False
Let u(n) = -1017*n - 280. Is u(-9) a composite number?
True
Let j(k) = -61*k**3 + 16*k**2 - 76. Is j(-13) prime?
False
Suppose -5 = -z + 2*n, -4*z + n + 6 = -14. Let k(f) = 15*f. Let p be k(z). Suppose -4*o + 5*t = -p + 6, 3 = -2*o - 5*t. Is o composite?
False
Let l(y) = -2631*y - 27. Is l(-10) a composite number?
True
Is 12660 + (-4)/8*2 a prime number?
True
Let r(v) = 148*v**2 + 123*v - 19. Is r(12) a composite number?
False
Is -9753*((-2)/(-7))/((-84)/98) a prime number?
True
Suppose 955 = 5*n + 4*y, -2*n - y + 573 = n. Let p = 376 - n. Is p a prime number?
False
Suppose -3*w + 2*w - 18 = -4*y, -3*w - y + 11 = 0. Is w/8*-1 - (-1194)/8 prime?
True
Let x = -34 + 54. Is -4 + x/6 - 12597/(-9) composite?
False
Suppose -143*y = -150*y + 9527. Is y prime?
True
Suppose -4*u + 3*k - k = -14, -4 = u - 3*k. Suppose -4*x + 346 = 5*s, -u*s + 352 = 4*x - 3*s. Is x a prime number?
True
Let i = 29 - -318. Suppose 4*l + j - 1362 = 0, -j = 2*l - 333 - i. Is l a prime number?
False
Suppose -n - 5 = 2*p + 20, -3*n + 35 = -4*p. Let d = p - -16. Suppose 0 = -5*u - 25, d*m + 3*u = 156 + 74. Is m a prime number?
False
Suppose 4710 = 6*v - v. Let r = v + -594. Suppose 901 = 5*i + 3*d, -4*d = -2*i + d + r. Is i composite?
False
Let g(j) = -17*j**3 - 3*j**2 - 2*j + 6. Let d be g(-3). Let n = d - 55. Is n a composite number?
False
Let i = 1721 - 464. Is i a composite number?
True
Suppose -28*b - 90 = -37*b. Suppose -1785 + 15235 = b*n. Is n a composite number?
True
Let d(n) = n**3 + 5*n**2 - 7*n - 3. Let l be d(-6). Suppose l*t = 7*t - 12. Suppose -2*a + 5*h + 499 = 2*h, 3*h - t = 0. Is a a composite number?
False
Suppose 8 = -g - 11. Let n = 17 + g. Is n*(-153)/6 + 2 composite?
False
Let k(y) = -6*y**2 + 1 + 5*y**2 + 0 - 39*y**3 + 8*y**2. Is k(-3) prime?
True
Suppose -3*k = -6, -3*y + 6*y = -4*k + 347. Suppose -o = i - 24, y = 5*i - 0*i - 2*o. Is i composite?
False
Let t be 3 + -8 + 3 - -4. Suppose 3*y - t*c = -0*c + 13, c + 24 = 5*y. Suppose -2*j = y*n - 625, 4*j = -9 - 11. Is n composite?
False
Suppose 4*g + 3*d = 3 + 2, 0 = 4*g + d - 7. Suppose g*q = -16 + 314. Is q composite?
False
Let d(s) = s - 1. Let q be d(3). Suppose 0 = -q*r - 3*r. Suppose -4*z - 5*c + 251 = r, -148 = 4*z - 6*z + 2*c. Is z composite?
True
Is 7679/(-126)*-14 + (-4)/18 composite?
False
Suppose p + 0 = -t + 8, -3*t = -3*p - 12. Suppose -t*q + 658 = -944. Is q composite?
True
Suppose 162 = 7*b - 5*b. Suppose w - b = -2*n, 3*w - 8*n = -3*n + 298. Is w composite?
True
Suppose -m = -5*y + m + 1273, -4*y = -4*m - 1016. Let i = 946 + y. Is i a prime number?
True
Let w = 0 - -3. Let h = 334 - 83. Suppose -632 + h = -w*v. Is v a prime number?
True
Let w be ((-7)/(-2))/((-6)/24). Let z = 75 - w. Is z a composite number?
False
Let r be 33/77 - 1773/21. Let i = -27 - r. Is i prime?
False
Let w = -17 - -19. Suppose -2 = -w*s, -2*x - 5*s + 309 = 78. Is x composite?
False
Suppose -3*h + 74 = -5*h - s, h + 5*s = -37. Let x = 1374 - h. Is x composite?
True
Let u be 3/(-9) + (-232)/(-12). Let l = u + -14. Suppose 9*c - 5 = 4*c, 2*v = l*c + 93. Is v a composite number?
True
Suppose 0 = i + 4*r - 16 - 15, 0 = 3*i - 5*r - 8. Let w = i - 8. Suppose -680 = -0*u - 5*u + 3*y, -5*u - w*y + 650 = 0. Is u composite?
True
Let d = 107518 - 64097. Is d composite?
True
Let z(s) = 5*s**2 + 2*s - 2. Let b(i) = -i - 7. Let j be b(-11). Let o be z(j). Let a = 32 + o. Is a prime?
False
Suppose g - 6*g = 0. Suppose g = 4*b - 1044 + 228. Suppose -3*o - b = -3*a, -3*o + 133 = 2*a + 12. Is a a prime number?
False
Let d be (1 - 81) + (5 - (16 + -7)). Let i = d + 115. Is i a prime number?
True
Let n = -5264 + 23857. Is n composite?
False
Let c(g) = -g**2 - 6*g + 9. Let t be c(-7). Suppose -t*l + 6706 = 12*l. Is l prime?
True
Suppose 0 = -12*l + 13*l - q - 22566, 0 = 2*q - 2. Is l a composite number?
False
Let q(x) = 8 + 58*x - 3 + 4*x. Let s be q(4). Is (1 - 2)*s/(-11) composite?
False
Let k be (2/(-6))/((-5)/30). Suppose q + k*m - 6 = 0, 5*q = q + 3*m + 2. Suppose 310 = 4*t - q*t. Is t composite?
True
Let f(g) = 3*g**2 - 36*g - 1. Is f(-17) a prime number?
False
Let v(p) = -320*p + 13. Let u = -20 + 17. Is v(u) a prime number?
False
Suppose