 m = 3*h + 4*u + 7, u + 4 = -5*h + 2*h. Is -47*(h + -1 + 1) prime?
True
Let q be (12/10)/(15/50). Suppose q*g - 336 = -20. Is g a composite number?
False
Is -2 - ((-2 - 2) + -203) a composite number?
True
Let i(t) = t - 26. Let y be i(8). Is 2655/81 + (-4)/y a composite number?
True
Let x(k) be the first derivative of 104*k**3/3 + k**2 + k - 5. Is x(-2) composite?
True
Let x = 861 + -192. Is x composite?
True
Suppose -5*f + 5*q = -2085, 6*q = 5*f + 3*q - 2089. Is f composite?
False
Suppose -2 = -a - a. Let t = a - 1. Suppose t = 4*r - 140 - 0. Is r a composite number?
True
Suppose -4*d = 3*p - 56, -53 - 3 = -4*d + 3*p. Suppose -5*x = -d - 1. Suppose -345 = -x*j - 0*j. Is j prime?
False
Let x = 119 - -758. Is x a prime number?
True
Let n be ((-4)/(-6))/((-4)/12). Suppose -3*z - 106 = -8*z - 3*r, 2*z = -4*r + 48. Is (-41)/(n/z*2) a composite number?
True
Suppose -5*x + 5*f + 2 + 33 = 0, -f + 3 = x. Suppose x*t - 5*m = -3*m + 4429, -893 = -t - 2*m. Is t a prime number?
True
Suppose 0 = m + r - 439, -m - 4*r = -2*m + 429. Is m a composite number?
True
Let m(p) = -p**3 - 15*p**2 + 23*p - 17. Is m(-18) prime?
True
Let h(k) = -2*k**3 - 5*k**2 + k + 7. Suppose 4*n - 33 = n. Let d = n - 16. Is h(d) composite?
False
Let m be 2/3 - (-13)/3. Suppose 0*v = m*v - 1180. Suppose -v = -4*n - 0*n. Is n a composite number?
False
Suppose x - 27 - 67 = 0. Is x a prime number?
False
Suppose -101 = -5*w + 2*w - 4*c, 2*c + 142 = 4*w. Is w a composite number?
True
Let n = 58 + -31. Let d be -3*6/n*-3. Suppose -d*y + 8 = -34. Is y prime?
False
Let f(o) = -63*o - 1. Let w be f(-1). Let t = w - 3. Is t prime?
True
Suppose -92 = 2*w + 2*w. Let y = w + 42. Let l = y + -5. Is l a composite number?
True
Let f(d) = d**3 - 4*d**2 + d - 1. Let k = -1 + 2. Suppose 0 = 3*l - k - 17. Is f(l) composite?
True
Let q be (-3 - -2)*(-7 - -4). Suppose 21 = q*v - 9. Is v a composite number?
True
Suppose -3*n - 476 = -32. Is 1/(2*(-2)/n) a prime number?
True
Let u be (1 - 0)/(1 + -2). Is (-54 - u)*(2 - 3) a prime number?
True
Suppose 3*d - 5 - 1 = 0. Suppose 2*b + 5*r = -0*b + 72, 0 = -b - 2*r + 38. Suppose b = d*m - 20. Is m composite?
True
Let z(w) = -w + 4. Let v be z(0). Suppose 3*l + 4*f - 2861 = 414, v*f + 16 = 0. Is l prime?
True
Let a(k) = -k**3 - 6*k**2 - 5*k + 3. Let z be a(-5). Suppose 0*t - t = 0. Suppose t = 5*n + p - 120, -2*n = -8*p + z*p - 21. Is n composite?
False
Suppose -l = -2*l + 5. Suppose 0*c + l*f = c - 105, 3*f = -12. Is c composite?
True
Is (853/(-2))/(1/(-2)) composite?
False
Let u be -1 + 834 + 12/6. Let d = -596 + u. Is d prime?
True
Suppose -2*k + 4*k + 4*h = -4, -h + 10 = -5*k. Let i = -1 - k. Is 10 + 0 - i - -1 composite?
True
Let l = -48 - -679. Is l prime?
True
Let g = -9 - -15. Suppose 0*c + g = 2*c. Suppose 12 = c*b - 81. Is b a prime number?
True
Let i(n) = -3*n. Let k be 1/(-5) - 18/10. Let c be (-4)/(12/9) - k. Is i(c) prime?
True
Let w(g) = 2*g**2 - g + 20. Is w(-15) prime?
False
Suppose 19 = 4*g - p, -g + 4*p + 0 = -16. Suppose -o + 3*o - 56 = 4*c, 0 = -g*o + 2*c + 94. Let l = o - 13. Is l composite?
True
Suppose -4 = -4*j + 4. Suppose 0 = -2*z + j*d + 60, d + 2*d - 3 = 0. Is z a prime number?
True
Is (55 + 3)*2/2 prime?
False
Suppose 27 = p - 134. Is p composite?
True
Suppose -6*l = -2*l - 356. Suppose -3*f + 401 = 2*f + 4*d, l = f + 3*d. Is f a composite number?
True
Let u(t) = -666*t**3 - 2*t**2 + 5*t + 7. Is u(-2) a prime number?
False
Let f be (-11460)/(-24)*(-12)/(-5). Let s = 1943 - f. Is s prime?
True
Suppose -4*t + 2240 = 4*p - t, 2*p + 2*t - 1122 = 0. Is p composite?
False
Suppose 2*m - 30 = 7*m. Let z = 5 - -22. Let q = m + z. Is q a prime number?
False
Let g be ((-67)/(-3))/(1/3). Suppose -t - k + 71 = -g, 2*t - k - 285 = 0. Is t prime?
False
Suppose -4*p - 2*s = 52, 2*p + 18 = -4*s - 14. Let t = p + 21. Is 691/t + 8/36 prime?
False
Let h = 14 - 20. Is 2*134/(-12)*h composite?
True
Let y(s) = -117*s + 2. Let j be y(-9). Suppose -d - 1020 = -4*n + 1097, 0 = -2*n - 3*d + j. Is n prime?
False
Suppose 28 = -r - r. Let x be (-24)/(1 + 0 + 0). Let y = r - x. Is y a prime number?
False
Let m(l) be the second derivative of -l**2 + 1/6*l**4 - 1/6*l**3 + 0 + l. Is m(-5) prime?
True
Suppose 40*c - 47*c + 2954 = 0. Is c prime?
False
Let v(k) = -k**3 - 7*k**2 - k - 2. Suppose 0 = 2*b + 2*b + 28. Let o be v(b). Suppose o*t - 17 - 48 = 0. Is t a composite number?
False
Let z(q) = -q**2 + 5*q + 2. Let u be z(5). Let a be 20*((-16)/10 - u). Let m = a + 109. Is m prime?
True
Let b be -711*((-12)/(-9) + -2). Let j = 162 - b. Let v = -185 - j. Is v prime?
True
Suppose -d - 2*d = -426. Is d prime?
False
Let i = -9 - -28. Is i prime?
True
Suppose t + 3*v + 5 = 0, 0 = -5*t - 2*v + 6 + 8. Let n = 2 - t. Is ((-8)/n - 1)*2 a composite number?
True
Let z = 255 + 312. Suppose -3*o + z = -420. Is o prime?
False
Let x be (-3 + 3)/(3 - 0). Let v be (-114)/10 + 4/10. Let k = x - v. Is k prime?
True
Is (-608)/12*(-582)/8 - 3 prime?
False
Suppose 4*v - 26 = 3*g, -2*v = -0*v - g - 12. Suppose 3*c - v*k - 437 = -3*k, 0 = -c - 3*k + 164. Is c a prime number?
True
Let q = -8 + 11. Suppose -5*a + 1468 = q*v, 2*a + 4*v - 781 = -191. Is a prime?
True
Suppose -6 - 14 = 5*f. Let z = f - -6. Suppose z*j = 4*m + 102, -4*m - 323 = -5*j - 68. Is j a prime number?
False
Let t(u) = 133*u**3. Let z = 7 - 5. Let h be z/(2 + -2 + 2). Is t(h) a composite number?
True
Suppose 3*o = -41 + 470. Is 26/o + 207/11 prime?
True
Let z = -40 - -29. Let a = 7 + z. Let r = a - -7. Is r composite?
False
Suppose -3080 = -0*w - 5*w. Let s = w - 303. Suppose 2*n = o + s, 7*n = 2*n + 2*o + 783. Is n composite?
False
Let i be (-84)/(-3) - 1 - 0. Suppose 5*z + 4*t - i = 2*t, -z + 5*t = -27. Suppose z = 3*o - 14. Is o prime?
True
Suppose 9 = 2*p - 39. Suppose -2*c = c - p. Suppose c*j = 3*j + 805. Is j composite?
True
Let a be (2/(-3))/((-1)/6). Suppose -5*u = a*k - 459, 3*u + 378 = -3*k + 6*k. Is k prime?
False
Let j be (-6)/10 + (-6)/(-10). Suppose -4*r + 251 + 377 = j. Is r composite?
False
Let t = -34 - -127. Is t composite?
True
Is 750 - (4 + 20/(-4)) composite?
False
Let p(u) = 69*u**2 - 4*u - 1. Is p(4) a prime number?
True
Let n be 1 - (1 + (2 - -11)). Let p = -8 - n. Suppose p*a = -v + 47, -2 - 37 = -3*a + 3*v. Is a a composite number?
True
Suppose -m + 1498 = m. Is m a prime number?
False
Let h = 41 + 17. Is h a composite number?
True
Suppose 0 = 4*g - 7*g - 42. Is (g/8)/((-4)/32) a prime number?
False
Let c = 1141 - 585. Is (-5)/25 - c/(-5) prime?
False
Suppose 2*d - 6*d + 856 = 0. Let c = d - 57. Is c a prime number?
True
Suppose 0 = u + 4*h - 11, 2*u - h - 3 = 1. Suppose -3*o = -2*p - 111, -o + u*p = -4*o + 111. Is o prime?
True
Let r(o) = 24*o**2 - 4*o - 11. Is r(-4) composite?
False
Suppose -2 = 2*a - 4. Is ((-46)/(-1) + a)*1 a composite number?
False
Let m = 7 - 7. Suppose -d + 50 + 289 = m. Is d a prime number?
False
Suppose 3*a - 50 = -2*a. Is 86/10 - (-4)/a a composite number?
True
Suppose t - 8672 = -3*z - 1687, -6993 = -3*z - 3*t. Is z prime?
False
Let g(z) = 19*z**2 - 7*z + 3. Is g(-7) composite?
False
Let d = -10 + 65. Is d composite?
True
Let r = 19 - 13. Let h be (-4)/(40/r)*-5. Let k = 38 - h. Is k a prime number?
False
Suppose 2*z + z - 2010 = 0. Suppose 0 = 3*d - 5 - 10, -5*i = 3*d - z. Is i prime?
True
Let b = -143 + 202. Is b a prime number?
True
Let j = -988 - -1505. Is j a composite number?
True
Suppose 446 = 2*m - 0*m. Is m composite?
False
Suppose -w = -192 - 481. Is w composite?
False
Suppose -y = -5*k + 229 - 1241, 0 = 3*y + 3*k - 2982. Is y a composite number?
False
Is 1650/14 + (-6)/(-42) composite?
True
Suppose 2*q - 2375 = 4*t + 13, 0 = -4*q - 4*t + 4728. Is q prime?
False
Suppose -16*q + 1049 = -15*q. Is q composite?
False
Suppose 2*j + 3*j = 0. Suppose j = -2*f - 10, -4*c - 2*f = -9*c + 1065. Is c composite?
False
Let c(a) = -12*a**2 + 7*a - 5. Let z be c(4). Let k = z + 254. Is k a composite number?
True
Let f(m) = -2*m**2 + m**2 + 0*m - 10*m - 9. Let p be f(-6). Suppose p = 2*y - y. Is y a prime number?
False
Let y(o) = 209*o + 4. Let h be -1 - (0 - (2 + 2)). Is y(h) composite?
False
Let v(t) = 2*t**3 + 3*t**2 - t - 11. Is v(4) prime?
False
Suppose a - b = 0, -a - 3*a - 4 = -2*b. Let s = a - -4. Suppose s*i - 5*y = 149, 2*i = -i - 4*y + 235. Is i prime?
False
S