a*h = -2*r + 239. Is r a composite number?
False
Let u be 411/4 - 1/(-4). Let f = 27 + -25. Suppose 3*t - f*t = u. Is t composite?
False
Is (-6 - -4 - -2) + 46 a composite number?
True
Suppose 5*c = -0*c + 2935. Is c prime?
True
Let l be (-2)/(-1) + 0 + -5. Is (-280)/(-6) + (-1)/l prime?
True
Let t = 6 - 4. Suppose t*u - 25 = -4*g + 37, 3*u - 97 = -2*g. Is u composite?
True
Let u be -1 + 10 + (-2 - -1). Suppose u*k - 4*k = 0. Suppose -a = -k*s + 3*s - 16, 5*a = 5*s + 100. Is a prime?
True
Let y(z) = 209*z**3 + z**2 - 2*z + 1. Is y(1) prime?
False
Let c(u) = -u**3 + 7*u**2 + 9*u - 12. Let x be c(8). Let k be x/(-1) - (-1 + 1). Suppose -y + 12 = 2*t - 59, k*t = -y + 139. Is t a composite number?
True
Let h(u) be the third derivative of -u**4/12 + u**3/2 - 2*u**2. Let o be h(-7). Let t = o + 8. Is t prime?
False
Let p(w) be the first derivative of -w + 3/2*w**2 + 1 + 2/3*w**3. Is p(-4) a composite number?
False
Let k(n) = n**2 - 3*n**2 - 3 - 10*n + 6 + 5*n**2. Is k(10) composite?
True
Suppose -s + 217 - 81 = -g, -2 = 2*g. Suppose 4*d = -2*z - 35 + 109, 4*z = 5*d + s. Is z composite?
True
Let c be (-2 - -1 - -2) + 260. Let v = c - 140. Is v a composite number?
True
Suppose -2*d = -0*o + 4*o - 14, -4*o + 5 = -d. Let j be (-9)/(13/(-6) + o). Let q = 100 - j. Is q composite?
True
Suppose 4*s - 2147 = -3*r, 0*r - 4*r + s = -2850. Is r prime?
False
Suppose -12185 - 42506 = -13*n. Is n a composite number?
True
Suppose 3*l = 468 + 21. Is l a composite number?
False
Let z(g) = g + 3. Let n be z(-7). Let v(j) = 78*j. Let w be v(-1). Is (n/8)/(1/w) prime?
False
Let s(a) = 4*a**3 - 2*a**2 + 3. Let i be s(3). Suppose 0 = -z + 4*z - i. Is z composite?
False
Is 810 - (3 + -1 + -1) a prime number?
True
Suppose -5*k + 3*g + 2797 = 0, -3*g + 1043 = 2*k - 59. Is k a prime number?
True
Let y be (-2 - 1) + -5 + 10. Suppose 2*s + 3 = -p, -3*s - y*p = 2*s + 8. Is s - 78/((-6)/3) prime?
True
Is 3085/2 - (-4)/8 composite?
False
Suppose 0 = -o - 3 - 13. Let u = 28 + o. Let a = u - 2. Is a prime?
False
Suppose -k - 3 = 6. Let o(v) = -v**2 - 8*v + 11. Let x be o(k). Suppose -x*z + 230 = 3*z. Is z a prime number?
False
Suppose 0 = -n - 5*j + j + 277, 2*n = -5*j + 539. Is n composite?
False
Suppose 2*p + 472 = 5*x, 2*x - 285 = -x + 3*p. Is x a composite number?
True
Suppose -67*d = -64*d - 987. Is d composite?
True
Let z = -474 + 881. Is z prime?
False
Let z(q) = q**3 + 13*q**2 - 20*q - 4. Let r be z(-15). Is -1*(-3 - (0 - r)) a composite number?
False
Let j(r) = 27*r**3 + 6*r**2 - 4*r + 3. Let a(h) = -27*h**3 - 7*h**2 + 4*h - 3. Let w(v) = 6*a(v) + 7*j(v). Is w(2) composite?
False
Let t = -18 + 21. Suppose 4*x + t*i = 61, -x - i = -2*x + 24. Is x composite?
False
Let m = -12 + 5. Let d = m - -7. Suppose d = 6*f - 2*f - 44. Is f composite?
False
Let s(t) = -5*t**2 + 11*t - 2*t**2 + 5*t**2 - 4. Let c be s(7). Let x = c - -50. Is x prime?
False
Suppose -3*u - u = -4556. Is u prime?
False
Is (52 - -2) + (-1)/(1/(-3)) a prime number?
False
Let j(d) be the first derivative of d**4/4 - 2*d**3 - 2*d**2 - 6*d + 2. Is j(7) a prime number?
False
Let v = 2 + -2. Suppose -3*l + 393 = -v*l. Is l a composite number?
False
Let d = 27 - 22. Let w = 240 - d. Is w prime?
False
Suppose -5*d - 66 = -2*d. Let x = d + 37. Is x composite?
True
Let r(p) = 17*p + 7. Let m(f) = 34*f + 13. Let t(l) = -6*m(l) + 11*r(l). Is t(-10) composite?
True
Let y be 3*1*(-4 - -5). Let k = y + 2. Suppose o = -k*m + 28, 2*m = 4*m - 6. Is o a composite number?
False
Let t be 1622/10 - (-2)/(-10). Suppose -4*w + t + 370 = 0. Is w composite?
True
Suppose 39*c - 6116 = 35*c. Is c a composite number?
True
Suppose 0 = -11*f + 8*f + 1839. Is f a composite number?
False
Let m(z) = 3*z**3 + 1 - z**3 - 7*z**2 + 52*z - 61*z. Is m(6) a composite number?
False
Let a = -227 + 354. Is a a composite number?
False
Suppose 2*h = 3*x - 98, 8*x - 126 = 4*x + 5*h. Suppose -d + y + 0*y = -x, -4*d = 3*y - 129. Is d prime?
False
Suppose 8*b - 4*b = 0. Suppose b = 2*z - 4. Is 72/7 + z/(-7) prime?
False
Let o(g) = g**2 - 22*g + 11. Is o(-22) a prime number?
False
Is 127/((-1)/3*36/(-24)) a prime number?
False
Let o = 556 - 354. Is o composite?
True
Suppose -372 + 1908 = 2*s. Let v = -21 - -40. Suppose 1309 = 5*c + 3*u, -3*c + v + s = u. Is c a prime number?
True
Let r = -5 + 9. Suppose -r*z + 4*u = 16, -25 = z + 3*z - u. Is (0/1)/(-2) - z a prime number?
True
Let t = -7 + 22. Suppose 4*r - 21 - t = 0. Is r a prime number?
False
Let c(n) = -n + 257. Is c(0) composite?
False
Suppose 4*b - 7 - 2 = 3*h, 2*b = -h - 3. Is h - (-43 + 0 - -1) prime?
False
Let g(l) = 0*l + 0*l + l**2 + 0 - 1. Let i be g(1). Suppose a + i*a = 25. Is a a composite number?
True
Is 2/(-3) - 3231/(-27) composite?
True
Let t(c) = c**3 - 3*c - 2*c + 3*c**2 + 0*c**3 + 0*c**3. Let d be t(-4). Suppose -d*n + 544 = 2*h + 10, 0 = -2*n - 2*h + 272. Is n a prime number?
True
Let f = -17 - 3. Let z be (-16)/f + 1/5. Let p = z - -5. Is p a prime number?
False
Let q(y) = 48*y - 21. Let g be q(6). Suppose 0*k - g = -3*k. Is k a prime number?
True
Suppose 5*v + 44 = -i, v - 2 = -2*i - 18. Is v/28 - (-1129)/7 prime?
False
Let k = -1 - -4. Suppose p + q = -96, -p - k*q - 388 = 3*p. Let c = 179 + p. Is c composite?
False
Suppose 6 = 16*j - 13*j. Suppose 2*m - 269 = -m + 5*p, -j*m - p = -162. Is m prime?
True
Suppose 9*v = s + 5*v - 561, -v - 2710 = -5*s. Is s a prime number?
True
Let d be 34/6 - 16/24. Suppose 0 = -d*u + 2*u + 3. Let o = u - -12. Is o prime?
True
Let j be (-69)/(-15) + 12/30. Suppose 3*s = -j*k + 1124, k - 2*s - 185 - 32 = 0. Is k a composite number?
False
Let x(b) = -3*b**2 + 4*b. Let m be x(7). Let u = -42 - m. Is u a prime number?
False
Let n(r) = -r + 11. Let f be n(8). Suppose -3*i + 3 = -f. Suppose i*h = -4*c + 450, -5*h + 1 = 26. Is c prime?
False
Let a(h) = 7*h - 2. Let x be a(8). Let v = 23 + x. Is v a prime number?
False
Let j = 9 - 6. Suppose -3*l - j*b = -4*l + 248, 511 = 2*l - b. Is l composite?
False
Suppose -5 = 3*w + 2*q, -2*w - w = 4*q + 13. Suppose -2*t + 4*d = -4, 0 = -4*t + d + w. Suppose t*i - 9 = -3*i. Is i composite?
False
Let l = -17 - -8. Let t(m) = -6*m + 4. Is t(l) composite?
True
Let a(x) = 90*x + 2. Let l be a(3). Let i = 405 - l. Is i a composite number?
True
Let m be (-80)/(-24)*(-3)/(-2). Suppose 399 = m*q - 346. Is q composite?
False
Suppose -4*p + 48 = 5*n - 0*n, -15 = -5*p + 5*n. Is p a composite number?
False
Let j be ((-4)/(-6))/(1/3). Suppose -5*q - c = -296, 2*c + 57 = j*q - q. Is q a composite number?
False
Suppose 4*m - 28 = 24. Is m composite?
False
Suppose -5*s + 4*f + 2225 = 2*f, -3*f = -s + 445. Is s a prime number?
False
Let h = 28 - -115. Is h a composite number?
True
Suppose 4*c - 192 - 124 = 0. Is c a prime number?
True
Let b be 5/(-2*3/180). Let w = b + 237. Is w prime?
False
Let h = 148 - 65. Is h composite?
False
Suppose 357 = -r + 144. Let m = -64 - r. Is m a composite number?
False
Let d be 7 - (-3)/(-1 + -2). Suppose v - 48 = -d. Let g = v - 7. Is g a prime number?
False
Suppose 4*x - 643 = -l, x - 5*l - 155 = 11. Is x a prime number?
False
Let y(x) be the first derivative of -x**4/4 - 5*x**3/3 - 4*x**2 - 5*x - 1. Is y(-8) composite?
False
Let o(a) = -145*a + 3. Let f be o(-2). Let j = -166 + f. Is j a composite number?
False
Suppose -2*y = -6*y. Suppose 3*l + 2*l - 10 = y. Suppose -27 = -l*x + 35. Is x a prime number?
True
Let t be ((-336)/(-1))/2 - 3. Let y = t + -86. Is y a composite number?
False
Let t(j) = j + 1. Let h be t(1). Suppose -3*w + h*w = -12. Suppose -p = -5, 0 = 4*m - 2*p - 14 - w. Is m composite?
True
Let n = -5117 - -7774. Is n a prime number?
True
Let t be 1 + (-5)/(-1) + -3. Let r = t + 23. Is r a prime number?
False
Suppose 5*s - 33 = -2*g - 2*g, -4*s + 28 = 4*g. Suppose -3*o + s*n - 2 = 2, -2*o - 2*n + 24 = 0. Suppose 1 - o = -2*l. Is l a composite number?
False
Let n(i) = -i + 71. Let g be n(0). Let c = -1 - -5. Let l = g - c. Is l a composite number?
False
Let s(r) = -2*r - 3. Let f be (-12)/(-18)*(-3)/(-1). Suppose -15 = n + f*n. Is s(n) composite?
False
Let f = -4 + 0. Is 22 + 0 - (f - -1) prime?
False
Let c be (-5)/(-2) - 8/16. Let p(t) = t**2 + 3*t - 3. Is p(c) composite?
False
Let w be 2 + -1 + 69/(-3). Let f be w/(-6)*-1*3. Is 3/2*(-1 - f) prime?
False
Suppose 33 - 415 = -2*d. Is d c