s s(-1) prime?
True
Suppose -5*z + 39 = -31. Is z prime?
False
Let p = 1125 + -688. Is p a composite number?
True
Let m be -579 + (-2 + 3)/1. Let u = -377 - m. Is u composite?
True
Suppose 0 = r - 4*r - 822. Let x = r - -453. Is x composite?
False
Suppose 4*q - 1832 = -0*q. Let o = 52 + q. Suppose b - 2*y + y - 129 = 0, -y = -4*b + o. Is b composite?
False
Suppose 0 = -m + 5*m. Let h(d) = d - 1. Let y be h(m). Is ((-12)/8)/(y/86) a composite number?
True
Suppose 4*i = 2*i + 4. Let r(a) = -2 - 3 + i*a**2 - 3*a**2 + 13*a. Is r(9) prime?
True
Suppose 2 - 12 = -5*d. Suppose -5*c = -d*c. Suppose 8*q - 3*q - 165 = c. Is q prime?
False
Suppose 4*o = 600 + 612. Is o prime?
False
Let l = 13 - 14. Is 195 - l - (1 - -1) prime?
False
Let f(x) = -x**3 + x**2 + x + 1. Let h be f(0). Is 9/(-6)*(-1 - h) a composite number?
False
Suppose -4*j + 143 = 3*p, p + 2*j + 17 = 62. Is p prime?
True
Let r(w) be the third derivative of -w**6/72 - w**5/24 + w**4/24 + 2*w**2. Let t(f) be the second derivative of r(f). Is t(-6) a composite number?
True
Let r be -124*(-9)/3 - -1. Suppose -4*o - 113 = -r. Is o composite?
True
Suppose 5 = 2*m + 1. Suppose m*y - 4 = -0*y. Suppose 0 = -5*r + 5*s - 4*s + 276, -4*r + y*s = -222. Is r a prime number?
False
Suppose 16 = -d + 3*d. Suppose x + 4*k = 5*x - 364, 0 = -4*k - d. Is x prime?
True
Let t = 1304 - 543. Suppose 587 = 2*q + 3*u + 196, -u = -4*q + t. Is q prime?
True
Is ((-1388)/(-12))/((-2)/(-6)) prime?
True
Let f(c) = -1618*c - 9. Is f(-2) composite?
True
Let v = 797 - 408. Is v composite?
False
Suppose 4*j - 11 = 9. Suppose -f + j*f - 4 = -5*t, 1 = 2*t + f. Is (-1 + t)/(8/(-1784)) a prime number?
True
Let r be (-7)/(4/2 + -1). Is (9 + r)*(-42)/(-4) composite?
True
Let j = -23 + 81. Is j prime?
False
Suppose -4*x + 81 - 13 = 0. Suppose -101 = -2*q + x. Is q prime?
True
Let h = -175 + 380. Is h composite?
True
Let m(y) = -y**3 + 10*y**2 + 11*y + 11. Is m(9) a composite number?
False
Let p be (-17)/(-3) - (-2)/(-3). Suppose p*z - 2*z - 6 = 0. Suppose -z*t = -0*t - 38. Is t prime?
True
Let s = 251 + -163. Suppose -s = -4*r + 180. Is r prime?
True
Suppose -i = -5*d + 2 + 11, 2*i = -2*d + 34. Let q = i - 8. Suppose 0 = q*j + 63 - 195. Is j prime?
False
Suppose 0 = 4*u - 7759 + 2723. Is u prime?
True
Let t = 5 + -3. Let i be (-4550)/(-4) - 1/t. Is 1/4 + i/12 a composite number?
True
Let o = -55 + 542. Is o a prime number?
True
Let z(h) = h + 2. Let p be z(-4). Let l be -2 - p - -107*1. Suppose 0*s + l = 3*s - f, -4*f = -2*s + 78. Is s composite?
True
Let c(m) = 52*m**3 + 2*m**2 - m. Suppose -40 = 4*u + u. Let x = 9 + u. Is c(x) composite?
False
Let y(h) = h + 1. Let o be y(1). Suppose -g - o*i - 1 = -0*i, 4*i - 1 = -3*g. Let d = g + 10. Is d a prime number?
True
Suppose 2*t - 79 - 83 = 0. Let k = t + -50. Is k a prime number?
True
Suppose -4*d - 5*w = 4, -2*d + 2*w + 20 = -w. Suppose 0*c + 2*t = c + 66, 0 = -c - d*t - 90. Let i = c - -127. Is i composite?
False
Suppose n + y = 4*y + 154, 0 = 4*n + 5*y - 531. Is n a composite number?
False
Suppose -3*n - 8 = -5*i - 0*n, -i - 8 = -3*n. Suppose -2*w + 2*d = d - 523, -5*w = -i*d - 1315. Is w composite?
True
Let j(g) = 191*g - 25. Is j(13) a prime number?
False
Suppose w = 49 + 17. Let y = -9 + w. Suppose -4*i + 2*o - 3*o = -198, i + 4*o - y = 0. Is i prime?
False
Suppose 0*i - 2*i + 4 = 0. Suppose 0 = i*u + 2, 5*o + 0*u + 2*u - 153 = 0. Is o a prime number?
True
Suppose u = 2*m + 857, 4*u = -m - 0*m + 3401. Is u composite?
True
Is (-2)/3 + (-6370)/(-6) prime?
True
Suppose 0*p - 5*p = -5*z + 20, -p - 2*z + 8 = 0. Suppose -4*r + y = -p*y - 479, -5*r + 598 = -y. Is r prime?
False
Suppose 9 = -5*k - 11, 0 = -4*a - 4*k - 48. Is (-6)/a - 265/(-4) a composite number?
False
Let u = 283 - 162. Is u prime?
False
Let m = 76 + -46. Suppose -b + 20 = 5*n, 3*b + 2*n - 13 = -5. Is -2*m/(-4) - b a prime number?
False
Let x(o) = -o - 4. Let q be x(-7). Let h(y) = q + 6 - 6*y + 0*y**3 + y**3 - 5*y**2. Is h(6) composite?
True
Is 130/(-4)*2*-1 prime?
False
Suppose -2*z - 7 = 5*h - 34, -2*h = -3*z - 7. Suppose h*s = s + 12. Suppose 2*d + 100 = 4*y - 18, 4*d = s*y - 81. Is y a composite number?
False
Suppose -2*a + 10 = 3*a. Let r be a*(0 + 3/(-2)). Is 86*r/6*-1 a composite number?
False
Let z = 23 + -15. Is (-2)/z - (-569)/4 a prime number?
False
Suppose -2*x = 3*x - 2310. Suppose -v = -3*v - 8, 2*a + 3*v = x. Is a a prime number?
False
Let z(r) = 3*r**3 + 6*r**2 - 6*r - 6. Is z(5) a prime number?
False
Let t(z) = z**2 + 2*z + 1. Let x be t(-4). Let p = x - -148. Is p prime?
True
Suppose n + 7*a = 4*a + 49, -4 = -a. Suppose 4 = -t + n. Is t composite?
True
Let r be 4/22 - (-79)/(-11). Let g = r - -5. Is g - (1 - 3) - -47 a composite number?
False
Suppose 3*d - 631 = -58. Is d prime?
True
Let c(j) = j**2 + j - 1. Suppose 2*d + 3 + 3 = 0. Let k be c(d). Suppose -19 = -v + 3*z + 55, k*z = -v + 50. Is v a prime number?
False
Let g be 1/2 + (-3165)/(-6). Let d = -155 + g. Is d a prime number?
True
Is ((-586)/4)/(2 - 25/10) prime?
True
Let s = 140 - 3. Suppose 0 = -2*z - 0*z + c + 262, s = z + c. Is z a composite number?
True
Suppose -u + 3 = -0. Suppose f + u*f = -36. Is 0 + 1*-2 - f a prime number?
True
Suppose -5*v = -1232 - 1303. Is (-6)/(-12) - v/(-6) composite?
True
Let b(s) = -212*s**3 + 2*s**2 + 2*s + 1. Is b(-1) a composite number?
True
Let c(m) = m**3 + 11*m**2 - 5*m - 9. Suppose 0*v + v + 8 = 0. Is c(v) a composite number?
False
Let k be (4/(-3))/(1/(-3)). Let f(m) = 9*m**2 - 3*m - 1. Is f(k) composite?
False
Suppose m = -5*j + 9, -2*j + 7 = -0*j - 3*m. Is (1651/(-26))/(j/(-4)) composite?
False
Let a be -2 + 1 + 3 + 42. Suppose -a + 0 = -4*z. Is z a prime number?
True
Let f(j) = j - 1. Let k(x) = -18*x - 17. Let h(l) = -4*f(l) + k(l). Is h(-9) a prime number?
False
Let w = -9200 + 12991. Is w prime?
False
Let f = -112 - -173. Suppose 7*c - f = 4*c + i, 3*c - 55 = 4*i. Is c a prime number?
False
Suppose -3*s = -0 - 9. Is 101/s + 8/(-12) a composite number?
True
Is 1*-4*993/(-12) composite?
False
Let a(i) = -3*i**3 - 7*i**2 + 3*i + 13. Is a(-6) composite?
True
Suppose 2 = -2*t + 2*o - o, -2*t = -5*o + 10. Let c(l) = -l + 177. Is c(t) a composite number?
True
Let b(j) = j + 4. Let u be b(-4). Suppose u = p - 0*p - 85. Is p a composite number?
True
Let f(b) = b**2 - b + 3. Let d be f(0). Let s = d - 3. Suppose s = -2*j + 7*j - 125. Is j a prime number?
False
Let t = -700 + 1437. Is t composite?
True
Suppose -5*b + 160 + 240 = 0. Suppose -2*k + 32 = 4*a, -2*a + 3*a = 5*k - b. Is (-268)/k*-4*1 a composite number?
False
Suppose -2*y + 2*r - 959 = -7*y, 8 = 4*r. Is y a prime number?
True
Let w(t) = 0*t + 0 + 9 + t. Let o be w(-7). Is 3 + -14*o/(-4) a composite number?
True
Suppose 99 - 283 = -4*r. Is r composite?
True
Let g(p) be the second derivative of -p**8/6720 + p**7/420 - p**6/240 + p**5/24 + p**4/4 - p. Let r(a) be the third derivative of g(a). Is r(4) prime?
False
Suppose -3*k = 3*y + 2*k + 1, 0 = 3*y - 2*k + 8. Is (3 + -240)*y/6 prime?
True
Suppose -288 = -3*f + 894. Suppose -3*p + f = 2*a + 123, -p + 81 = -4*a. Let i = p - 63. Is i a composite number?
True
Is (-1 - -1939) + 8/((-32)/(-12)) composite?
True
Let m(a) = a**3 + 9*a**2 + 3*a - 5. Let n be m(-4). Let d = n - 41. Is d a prime number?
False
Let z(j) = 53*j - 20*j + 0 + 2. Let q be z(3). Let a = q + 110. Is a composite?
False
Let i = 93 + 106. Is i a composite number?
False
Let x be 22/4 - (-3)/6. Suppose 2*v = 4*v - x. Suppose 16 = v*i - 185. Is i prime?
True
Suppose 4*q + 5*a = 22122, 17 = -5*a + 7. Is q a composite number?
True
Let t be ((-176)/2)/((-8)/16). Let m = t + -123. Is m composite?
False
Suppose 2*r = -3*k + 4, -4*k - 6 = -3*r - 0. Suppose -8*i + 3*i + 445 = k. Is i a composite number?
False
Let a = 373 - 262. Is a prime?
False
Suppose -5*s + 118 = -3217. Is s composite?
True
Let g(t) = t**3 - 5*t**2 + 5*t - 4. Let y be g(4). Suppose y = -4*k - 0*k + 148. Is k a prime number?
True
Suppose -3*m + 155 + 112 = 0. Is m composite?
False
Let u(r) = r**3 - 8*r**2. Let k be u(8). Let z = k - -19. Is z composite?
False
Let o = 438 + -181. Is o prime?
True
Let j(v) = v**2 - 2*v + 6. Is j(13) a composite number?
False
Let z = 4 - 5. Let n be 1/(-2)*(z - -3). Is (2 - n) + -2 + 57 prime?
False
Suppose -4*h - 5441 = -55197. Is h prime?
Fal