 = -0*v. Is v prime?
False
Suppose -4*i + 501 = -i. Let d = 24 + i. Is d prime?
True
Let k(u) = 117*u**2 + 12*u + 7. Is k(6) composite?
True
Let i(l) = -10*l**3 + 3*l**2 - 4*l. Let d be i(3). Let b be (-8)/10*d/2. Is (b/4)/(6/8) a prime number?
False
Let s(v) = -v**2 - 9*v - 1. Let o be s(-7). Let r be -6*1/2 + o. Is (r/4)/((-4)/(-88)) a composite number?
True
Let z = -4 - 0. Let b be (4 + -7)*(-10)/(-3). Is z/b - (-146)/10 composite?
True
Let q be 0*2/(-4)*1. Let t = 117 - 62. Suppose -2*v + v + t = q. Is v prime?
False
Let l(x) = 1 - 5*x + 3*x + 6 + 2*x**2. Is l(5) a composite number?
False
Suppose -2*p = 3*k - 14, -15 = -3*k - 3*p - 0*p. Suppose -2*n = -y + 11, -y = k*n + 8 + 5. Is y prime?
True
Let k = -42 - -64. Let d = 36 - k. Is d/3*6/4 a prime number?
True
Suppose -307 = -2*n + 4*x - 101, 0 = n + 2*x - 91. Is n prime?
True
Suppose 15 = 6*t - 9. Suppose 0 = -0*g - g - j + 316, 0 = -g - t*j + 307. Is g a prime number?
False
Suppose -16 = -5*t + 2*d - 0*d, 4*t = 3*d + 10. Let b(q) = 2*q**2 + 6*q - 1. Is b(t) composite?
True
Suppose -4*u + 313 + 663 = 0. Suppose 5*b - 2*f - u = 0, -b = -3*b + 4*f + 88. Is (b/(-3))/(4/(-6)) prime?
False
Let v(f) = -f - 2. Let y be v(-4). Suppose 0 = 4*i - 5*s - 86, y*i - 28 = -6*s + s. Is i a prime number?
True
Let p(j) = j**2 - 9*j - 7. Let n be p(10). Suppose -5*s + n*o = 482, 2*s + 3*o + 107 = -90. Let h = s - -210. Is h prime?
True
Suppose -7*r + 3*r + t = 13, 0 = 3*r + 5*t + 27. Let f(w) = -w**3 - 3*w**2 + 4*w + 1. Let s be f(r). Let l = 18 + s. Is l a composite number?
False
Suppose -3*q = -5*q + 10. Suppose q*r - 2*r = 6. Let d = r - -5. Is d composite?
False
Suppose 2*p - 7 = -4*c + 1, -3*p = 3*c. Is (-70)/(-7)*142/c composite?
True
Let k(l) = -4*l**2 - 10*l - 1. Let f(h) = -h**2 - h. Let b(g) = -6*f(g) + k(g). Let i = 23 + -16. Is b(i) prime?
False
Let f(n) = -225*n - 82. Is f(-23) composite?
True
Suppose 0*h + 72 = -2*h. Let i = h - -195. Is i a prime number?
False
Suppose -8 = -3*g - 2. Is -367*(g - (3 - 0)) a prime number?
True
Let y = 2030 - 1416. Suppose 3*q = -2*r + y, -2*r + 921 = r + 3*q. Is r prime?
True
Suppose 258 = -f - f. Let y = -16 - f. Is y prime?
True
Suppose 2*s + 3*s = 5650. Suppose 5*v - 2855 = s. Is v a prime number?
True
Let r(y) = 14*y + 1. Let p be -1*(-1 - (0 + 1)). Suppose 4*x = -5*b - 15, 2*b + p*x = -b - 7. Is r(b) prime?
False
Suppose -5*w + 2453 = 298. Is w a prime number?
True
Let w be 15/6*(-18)/(-15). Suppose p - 2*p = -w*t + 342, -t - 4*p = -101. Is t a composite number?
False
Suppose 3*s + 10*s - 43797 = 0. Is s prime?
False
Let w be (-2)/((-8)/20*-5). Is ((-2030)/(-20))/(w/(-2)) composite?
True
Let x = -183 + 360. Let a = 73 - x. Let t = -69 - a. Is t a composite number?
True
Let p = 31 + -21. Is (-9)/(-15) + 364/p composite?
False
Suppose -712 = 3*f - 7*f. Suppose -h + 141 = 4*y, 0 = -5*y - h - 2*h + f. Is y a prime number?
False
Let y(g) = -1171*g - 22. Is y(-3) prime?
True
Let b = 26 - 6. Suppose -g = g - b. Is g prime?
False
Let x(c) = 3*c - 4. Let y be x(5). Let n = y + -8. Suppose 0 = -b - n*b + 124. Is b a prime number?
True
Let o be (-35)/(-4) + (-2)/(-8). Let b = o + -2. Let n(q) = 2*q**2 - 2*q - 7. Is n(b) prime?
False
Suppose 3*y = -5*s + 60, 8*s - 17 = 5*s + 2*y. Let j(q) = -q**3 + 8*q**2 + 8*q - 8. Let z be j(s). Let t = z - -24. Is t a prime number?
True
Let h be 48/15 - 2/10. Is 1/((-192)/(-63) - h) prime?
False
Suppose 2*d - 1035 = -3*d. Suppose 2*u - 68 = -5*x + d, 5*x + u - 275 = 0. Is x a prime number?
False
Let h = -6 - -8. Suppose 2*d + h = 8. Suppose 3*k = -5*x + 281, -x + d*x = 2*k + 106. Is x prime?
False
Suppose -3*m = 15, -4*m + 9 = 4*i - m. Let s = -1 + i. Suppose 28 + 35 = s*j + 2*q, -3*q = -2*j + 10. Is j composite?
False
Let w be 0 - 2/(1 - -1). Let t(q) = -q**2 + 3 + 2 - 2*q - 6 - 11*q**3. Is t(w) a prime number?
True
Let d be 6 + -3 + 0/(-3). Is d + 0 + (2 - -5) prime?
False
Let p(u) = -u**2 - 2*u + 5. Let o be p(-4). Let m be (-2)/12*o*0. Suppose m = -2*g - 0*s + 2*s + 596, 0 = -g + 3*s + 308. Is g a prime number?
True
Let g(l) = 41*l**2 + 17*l - 9. Is g(-11) composite?
True
Let i(o) = 4*o**2 + 6*o - 5. Suppose 4*p - y + 6*y = -45, 0 = p + 4*y + 25. Is i(p) composite?
True
Suppose -3*x = 2*x - 20. Let k(a) = a**2 - 8*a + 20. Let l be k(5). Is x/10 + 553/l a prime number?
False
Let b = 80 + -30. Suppose -3*u = -5*t - 5*u + 69, 4*t = u + b. Is t a composite number?
False
Let o be (-22)/(-6) - 5/(-15). Suppose o = 4*n - 128. Is n prime?
False
Is -3 - (1 - -1 - (-11556)/(-12)) prime?
False
Let n = 2 + 1. Suppose -4*r + 1057 = -3*l, -4*r - n*l = 2*l - 1065. Is r composite?
True
Suppose 90 = -m - 58. Let t = 109 - m. Is t composite?
False
Let p = 12026 - 5275. Is p composite?
True
Let m(b) = -10*b - 11. Let a be (-21)/35 - (-74)/(-10). Is m(a) a prime number?
False
Suppose 3*t - 5*d = -13, t + 0*d + 2 = 4*d. Let y(r) = 11*r**2 - 7*r + 5. Is y(t) prime?
True
Suppose g = -2*g + 306. Let t = -60 + g. Let c = t - 11. Is c composite?
False
Is ((-185)/(-10))/(2/4) a composite number?
False
Let d(r) = r**2 + 7*r - 6. Let k be d(-8). Suppose 305 - 19 = k*c. Suppose -3*p = a - c, -5*a - p = 4*p - 735. Is a prime?
True
Is 6/2 - 1280/((-5)/1) prime?
False
Suppose u + u = 618. Is u prime?
False
Let h be (-10 + 1)*6/(-9). Let p(x) = 3*x + 1. Let k(q) = -4*q - 1. Let n(z) = h*k(z) + 7*p(z). Is n(-3) prime?
False
Let t = 0 - -7. Let o = t + -3. Let q(p) = 7*p**2 + 3*p - 5. Is q(o) composite?
True
Let c(b) = 2*b**2 - 11*b + 9. Let x be c(7). Suppose 3*i + 5*z - x = 0, -i - 3*z = z - 3. Is i composite?
True
Suppose 0 = 2*q + q - 753. Is q a composite number?
False
Let t be 1*(-2 + (2 - -2)). Let v = t - -1. Is v a composite number?
False
Let j(y) = -306*y + 53. Is j(-7) a composite number?
True
Let o = 0 - 4. Is (-91)/((3 + 1)/o) a prime number?
False
Let d = -16 + 11. Let p(r) = -2*r - 6. Let n be p(d). Suppose 4*k - i = -k + 729, -n*i + 564 = 4*k. Is k a composite number?
True
Let k = 407 + -156. Is k prime?
True
Let x = 78 + 173. Is x composite?
False
Suppose 42 + 62 = u. Let f = -70 + u. Let z = f - -55. Is z prime?
True
Let s(v) = -18*v**2 + 2*v - 1. Let k(q) = -q**2 - q. Let c(b) = -k(b) - s(b). Let o = 25 - 24. Is c(o) prime?
True
Is 25*(-212)/(-4) + 2 prime?
True
Let k = 178 + -95. Is k prime?
True
Let m = 3 + -1. Suppose u + 3*u = m*y + 232, -u + y = -59. Let j = -11 + u. Is j a prime number?
False
Let m(g) = -g**3 - 5*g**2 - g - 5. Suppose 3*w = 4*w + 6. Let r be m(w). Suppose r + 2 = 3*v. Is v a composite number?
False
Let v(l) = 17*l + 6. Let r(w) = -16*w - 7. Let k(o) = 4*r(o) + 5*v(o). Is k(3) composite?
True
Let z = 462 + -275. Is z a prime number?
False
Is 8 - 3/(-1) - 1 prime?
False
Let t = 13 + -9. Suppose h + t*h = 130. Suppose 194 = 4*c - h. Is c composite?
True
Let m = -327 + 581. Is m a composite number?
True
Suppose 0*z = z - 445. Is z a composite number?
True
Let y(o) = o**2 + 7*o + 4. Let m be y(-7). Let k = m + -2. Suppose -n = -1 - k. Is n prime?
True
Let z(h) = h**3 + 9*h**2 - 5*h + 8. Let w(b) = 5*b**3 + 37*b**2 - 20*b + 33. Let q(t) = -2*w(t) + 9*z(t). Is q(5) composite?
False
Let x(h) = 30*h + 7. Is x(4) prime?
True
Let d(k) = k**3 - 13*k**2 - 21*k - 17. Is d(15) composite?
True
Suppose 3*w = -3*u - 0*w - 1836, -5*u - 3059 = 4*w. Let x = 1140 + u. Is x a prime number?
False
Let c be -1 + -2*(-142)/(-4). Let g = c + 103. Is g a prime number?
True
Is 3/(-2)*(1365/(-9) - -1) composite?
True
Suppose -2449 - 7565 = -6*g. Is g composite?
False
Let l(h) = -30*h - 11. Let k(n) = -1 - 4*n - 11*n + 2 - 6. Let v(o) = -7*k(o) + 3*l(o). Is v(3) composite?
False
Let f = 88 - 54. Is f prime?
False
Is (1826/4)/((33/(-6))/(-11)) composite?
True
Let q(c) = -2*c - 7. Let l be q(-5). Suppose 2*f + 320 = 2*o, l*o - 4*f = 7*o - 632. Is o a prime number?
False
Let r be ((1 - -1) + -1)/(-1). Let m = 1 + r. Is 4*(m/3 + 1) prime?
False
Is (-2)/(-3) - 55/(-3) composite?
False
Let b(j) = -j**2 - 3*j - 2. Suppose 4*o = 2*g - 3*g - 3, -5*g + 5*o = 15. Let y be b(g). Is -2*(55/y - -3) a prime number?
False
Let j = 13 - 11. Suppose -3*t + 128 = -j*t. Is (t - -5) + 0/1 prime?
False
Suppose 4*i = 3*o + 2*o + 157, 4*i - 2*o - 166 = 0. Is i composite?
False
Is 19/((-95)/(-9450)) + (-3)/(-1) composite?
True
Let i be ((-1)/3)/(1/(-21)). Let d be ((-12)/2)