2 = z. Suppose -3*h = 2*t - 80, 3*t + 2*h - s = 79. Is t prime?
True
Let f = -7 + 9. Is f/6 + 132/9 prime?
False
Let l = 9 + -4. Suppose -2*u - y = -212, -l*u - y = -6*u + 106. Is u prime?
False
Let p(o) = -o + 2. Let z(r) = -3*r**3 + 2*r**2 + r. Let b be z(-1). Let n(t) = 5*t - 9. Let w(u) = b*n(u) + 18*p(u). Is w(7) a composite number?
True
Suppose -491 = -h - 0*h. Is h composite?
False
Let u(c) = -c**3 - 9*c**2 + 6*c - 1. Let r(q) = -q**2 + q. Let x(t) = 3*r(t) - u(t). Let d be x(-6). Suppose -3*j = -4*j + d. Is j a prime number?
True
Let h(t) = -50*t + 6. Let a be h(3). Suppose 85 = -f - 3*w, -f - 5*w - 465 = 4*f. Let i = f - a. Is i composite?
False
Let b = 434 + -252. Let i = b + -61. Is i a prime number?
False
Let s be ((-2)/(-2) - 2) + 16. Let x be ((-6)/10)/((-3)/s). Suppose -280 = -5*u - 4*v + v, 0 = -u + x*v + 38. Is u prime?
True
Let i be (-1174)/(-6) - 11/(-33). Suppose 0 = -n - 3*n + i. Is n a composite number?
True
Suppose -h = 2*h. Is (h - 3) + 2 - -32 a composite number?
False
Let w be 953/4 + 1/(-4). Suppose -2*c + w = -364. Is c a composite number?
True
Let t(x) = 36*x - 9. Let c be t(6). Suppose -4*k + c = q - 30, 0 = -k - 5*q + 83. Is k a prime number?
False
Let p = -1857 - -3388. Is p a prime number?
True
Suppose 409 = 7*n - 6*n. Is n composite?
False
Let p = 50 + -8. Suppose -3*s = 2*s - 5. Is p/2 - s*2 composite?
False
Let g = -958 - -1459. Is g prime?
False
Let v = 517 + -242. Let r be 30/6 + (1 - 0). Suppose -b = -r*b + v. Is b prime?
False
Is (235/(-15))/(1/(-69)) a composite number?
True
Suppose -70 + 13 = -u. Suppose -2 - 4 = 2*z - 2*a, -3*a = -z - 5. Let f = z + u. Is f a prime number?
False
Let w = -72 - -110. Suppose -2*o - w = -0*q + 4*q, -20 = o + 3*q. Let k = 27 + o. Is k a composite number?
True
Let p(x) = x**3 + 9*x**2 - 2*x + 9. Let r be p(-7). Suppose -2*a - 845 = -5*a - v, -851 = -3*a + 5*v. Let i = a - r. Is i prime?
False
Suppose 4*k = -3*c + 2819, c + 3*c = 20. Is k a composite number?
False
Let h = 327 - 86. Suppose h = -5*t - 59. Let p = -29 - t. Is p a composite number?
False
Let d(y) = -y**2 + 5*y + 2. Let q be d(-4). Let k = 105 + q. Suppose -6 = -x + k. Is x prime?
False
Let n be ((-146)/4)/(5/(-10)). Let z = -6 + n. Is z a prime number?
True
Is (-1)/((-3)/9) - (-2552)/4 a prime number?
True
Let x be -2 - (-2*16)/(-1). Let l = -38 - 63. Let u = x - l. Is u prime?
True
Suppose -9*t + 560 = -1591. Is t a composite number?
False
Let q = -11 + 190. Is q a composite number?
False
Let i be -145 + (2/1 - 2). Let n = 60 - i. Is n prime?
False
Suppose 4*w + 0*p - 1220 = -4*p, 4*w - 1218 = -5*p. Is w a composite number?
False
Suppose 950 = 5*v + 90. Let i = v - -37. Is i prime?
False
Suppose -17 = v + 5*t + 34, v - t = -69. Let l = -47 - v. Is l prime?
True
Let r be ((-4)/1)/(1/(-2)). Suppose c - 50 = -p, -3*c - 2*p = -r*c + 257. Is c a composite number?
True
Is (208/(-8))/((-4)/10) prime?
False
Let x(i) = -2*i**3 - 2*i**2 + i + 6. Is x(-3) a prime number?
False
Let g(k) = -k**3 + 8*k**2 - 8*k + 8. Let o = 15 + -8. Let c be g(o). Is 190/(-2)*(-2 + c) a composite number?
True
Let s(q) = 11*q**2 - 5*q + 3. Is s(4) a composite number?
True
Is 6/(-9) - (-3836)/12 composite?
True
Suppose z + 3*w = -0*w + 200, -2*w + 2 = 0. Suppose -2*d + 1398 = 4*f, -4*d - z = 5*f - 1940. Suppose -o + v + 84 = 6*v, -4*o = 5*v - f. Is o composite?
False
Let g(c) be the second derivative of c**3/2 - c**2/2 - 2*c. Let r be g(-3). Is (-15)/r + 226/4 a prime number?
False
Let m be (2/3)/((-2)/(-3)). Suppose 5*f - 234 - m = 0. Suppose -f = -0*r - r. Is r prime?
True
Let i(s) = -84*s**2 + 15*s - 13. Let o(m) = 42*m**2 - 7*m + 6. Let q(g) = 6*i(g) + 13*o(g). Is q(-1) prime?
True
Suppose -5*b + 15890 = 5*r, 0 = -5*b - 2*r + 15451 + 445. Suppose -q + 1880 = 2*q - 5*m, -5*q - m + b = 0. Is q a composite number?
True
Let d = -1257 - -2420. Is d a prime number?
True
Suppose -l + 239 + 138 = 0. Is l prime?
False
Let u be -143*(-2 + (-2)/2). Let d = u - 100. Is d a composite number?
True
Let c(o) = o**2 - 12*o + 15. Let v be c(11). Suppose -184 = -v*f + 268. Is f prime?
True
Suppose 2*h = -2*s + 10, -10 = -3*s - h - 1. Suppose -s*c - 5 = -4*o - 1, 4 = -2*o + 4*c. Is 7/(((-6)/(-9))/o) a prime number?
False
Let w be 9 - (0 - -3 - 0). Suppose -3*m - 5*q + 17 = -w*m, -5*m - 15 = -5*q. Is m*314*2/4 prime?
True
Let a = 4 - 7. Is a - -1*6 - -1192 composite?
True
Let v(m) = 6*m**2 + 5*m - 3. Let o be v(7). Suppose -o = 2*h - 4*h. Is h a prime number?
True
Suppose -3*v + 5 = 5*m - 142, 124 = 4*m - 4*v. Suppose d = -4*d + m. Suppose -110 = -d*o + o. Is o prime?
False
Let n = 13 - 9. Suppose -6*s = -n*s - 6. Suppose -s*j - 3*m + 47 = 2*m, 0 = -5*m + 5. Is j composite?
True
Suppose -i - 3*i - 2*r = -720, 0 = 5*r - 20. Is i a prime number?
False
Suppose -3*j + x = 10 - 0, -5*j - 2*x - 2 = 0. Is (1 - -102)*(j + 3) a prime number?
True
Is 202/(0 - 3 - -4) a prime number?
False
Suppose -4*b = -7*b - 3*x + 507, 4*x - 181 = -b. Suppose 3*o = 8*o - b. Is o a composite number?
True
Suppose 9*g - 4*g - 3985 = 0. Is g a composite number?
False
Let y(t) = -9 + 0*t + t**2 - 3*t + 1. Let g be y(-11). Let a = g - 33. Is a a prime number?
True
Is (1/(-3))/((-7)/4179) a composite number?
False
Let x(v) = 46*v**2 + 6*v + 6. Let p be x(5). Suppose 0 = 3*r - 5*r + p. Suppose -750 = -5*b - 5*k, 2*b - 3*k - r = -2*b. Is b prime?
True
Let x = 5 - 2. Suppose 1 = x*n + 4. Is 1/((-2)/62*n) a composite number?
False
Suppose 3*y = 3*v - 4095, -3*v + 2*y - 1353 = -4*v. Is v composite?
False
Let y(m) = -m**2 - 7*m + 13. Let z(u) = 3*u**2 + 21*u - 38. Let x(f) = 17*y(f) + 6*z(f). Let i be x(5). Let v = 88 - i. Is v a composite number?
True
Suppose 0 = 4*n + w + 7 - 90, n - 5*w - 26 = 0. Is n prime?
False
Let m(q) = 5*q**2 + 12*q - 10. Is m(-9) composite?
True
Is (0 - (-10)/2) + 1382 composite?
True
Let p(k) = 220*k. Let o(z) = -11*z. Let w(v) = 121*o(v) + 6*p(v). Let r be w(-10). Let y = r + -51. Is y composite?
False
Let x(f) = f**3 + 10*f**2 + 4*f + 10. Is x(-9) prime?
False
Suppose -10 + 49 = j. Is j a composite number?
True
Let m(v) = -v**3 + 6*v**2 - 3*v - 5. Let g be m(4). Suppose -2*s = 3*r - 0*s - 143, 0 = 3*s + g. Is r composite?
True
Let c = 115 - 61. Suppose 0 = 5*b - c - 41. Is b a composite number?
False
Let w(l) = l + 8. Suppose -2*c = 3*o + 13, 2*o + 0*o = 3*c + 26. Let m be w(c). Suppose j = -m*j + 53. Is j a composite number?
False
Let o = 6312 - 4213. Is o a composite number?
False
Let l(m) be the third derivative of m**5/60 - 7*m**4/24 - 11*m**3/6 + 5*m**2. Is l(10) a prime number?
True
Let v(u) = 30*u. Let f(r) = -r + 10. Let p be f(5). Let t be v(p). Let o = -101 + t. Is o prime?
False
Let z(n) = 122*n**3 + n**2 - 4*n + 4. Is z(1) prime?
False
Suppose 5*a = 4*w + 18, 0*w - w - 12 = -5*a. Is 204/6 - (a + -3) prime?
False
Let s(h) = -25*h - 4. Let j be s(-6). Suppose -2*l + 0*l = 10, 0 = q - 4*l - 20. Suppose 2*u - 3*i - 61 = 0, q*u - 2*i = 4*u - j. Is u composite?
True
Let y(f) = -5*f**3 + 1. Let x = 4 - 5. Let t be y(x). Suppose -2*h = -t*h + 364. Is h prime?
False
Let d(y) = y**3 - 8*y**2 + 5*y - 9. Let v be (-3 + 1)/((-2)/6). Let g be d(v). Let h = 88 + g. Is h a composite number?
False
Is (2 - 6) + (1081 - -10) a prime number?
True
Let f = 304 - 53. Is f a prime number?
True
Let c be 8/20 - (-32)/(-5). Let b be (-4)/c - (-350)/6. Suppose 2*p + b = 237. Is p composite?
False
Let y(a) be the first derivative of -a**4/4 - a**3/3 + a**2/2 - 4*a + 2. Suppose 4*m = -4*k - 19 - 9, -3*k - 9 = -m. Is y(m) composite?
False
Let l(n) = -n**3 + 5*n**2 + 4*n - 4. Let t(p) = p - 1. Let w be t(8). Let c be l(w). Is (c/(-6))/((-3)/(-9)) prime?
True
Suppose -2*v = 3*j + 8, -2*v = 3*j + v + 12. Suppose -w + 3*w - 38 = j. Suppose p + 4 = w. Is p prime?
False
Let i(j) be the second derivative of 2*j - 3/2*j**2 - 2/3*j**3 + 0 + 1/2*j**4. Is i(5) a composite number?
False
Let a be (-22)/77 - 72/(-7). Suppose 0 = w - 3 - a. Is w a composite number?
False
Let a(d) = 2*d**3 + d**2 - 2*d + 1. Let i be a(1). Suppose 2*j + i*y - 3 = 15, -21 = j - 5*y. Suppose -3*z = 3*u - 2*z - 882, 1175 = j*u + z. Is u composite?
False
Let a(v) = -v**3 + 6*v**2 + 2*v. Let t(u) = -u**3 + 9*u**2 - 8*u + 5. Let x be t(8). Is a(x) a prime number?
False
Let k(t) = t**3 + 11*t**2 - 5*t + 1. Is k(-8) a co