 r prime?
True
Suppose 3857 = 3*g + 4*g. Is g composite?
True
Suppose 0 = -3*i + 10485 - 2316. Is i composite?
True
Let w = 919 - 506. Is w composite?
True
Suppose -2*j + 4236 = -3422. Is j a composite number?
True
Let y(k) be the third derivative of 7*k**5/60 + k**4/4 - k**3/3 - 2*k**2. Is y(-6) prime?
False
Let n(o) = 0*o - 2*o**2 + 5*o**2 - 1 - 3*o. Suppose 0 = 4*g + g + 15. Is n(g) a prime number?
False
Let y(i) = -15*i + 24*i - 21*i + 5. Suppose w = q + 8 + 5, 3*w = q + 15. Is y(q) prime?
True
Let k = 12 - 9. Suppose 0 = 5*q + 5, k*i = 5*q + 168 + 2. Is i a prime number?
False
Let y(a) = -2*a - 1. Let b be y(3). Let j = b + 10. Is j*(628/(-3))/(-4) a prime number?
True
Suppose 0 = r + 4*r - 15. Let o(y) = -y**3 + 2*y**2 + 4*y. Let l be o(r). Suppose -76 = -2*z + 2*m, l*z - 71 - 44 = 2*m. Is z a composite number?
True
Suppose 3*p - 153 = 228. Is p composite?
False
Let s(o) = o**2 + 6*o + 4. Let n be s(-5). Is ((-114)/9)/(n/3) a prime number?
False
Let m(t) = -t + 2. Let i be m(2). Suppose i = x - 0*x. Suppose x = -k + 20 + 17. Is k prime?
True
Let r(m) = -4*m**3 - 15*m**2 + 9*m + 13. Is r(-7) a prime number?
True
Suppose -6203 = -4*k + 3*j, 0 = -4*k - j - j + 6198. Let z = k - 1034. Suppose -5*w - b + 122 = -z, 0 = -2*w - 4*b + 266. Is w composite?
False
Let c = -406 - -1547. Is c a prime number?
False
Suppose 2*k + 762 = 8*k. Is k a composite number?
False
Suppose -4 = -2*c, 3*l + l + c = 14. Suppose 0 = r, z - l*r - 53 = 70. Is z prime?
False
Let b = 0 + 0. Let q be ((b/(-1))/(-3))/1. Suppose 5*i - k - 39 = -3*k, q = -i - 2*k + 11. Is i prime?
True
Let o(z) = z**3 - z**2 + z + 1. Let s(t) = 10*t**2 + t - t - 6*t**3 - 3*t**2 - 6*t. Let f(n) = -5*o(n) - s(n). Is f(6) composite?
True
Suppose 4*z - 693 = 3*u, 4*z - 4*u = -0*u + 688. Suppose -3*s + 0*s + z = 0. Is s prime?
True
Suppose -2*l = -2, 2*v + 0*l = -l + 899. Is v prime?
True
Suppose -3*p - 554 = -c - 4*p, 5*c + 4*p = 2773. Is c a prime number?
True
Suppose 4*h = 3*h + 4. Suppose h*a - 215 - 433 = 0. Suppose -3*x + a = -5*o, -3*x + 75 + 57 = 5*o. Is x composite?
True
Let m be -5 + 7 - (-1 + 1). Suppose -4*h - x = -123, -2*h + x + m*x + 65 = 0. Is h composite?
False
Let v be ((-9)/(-6))/(3/222). Suppose 6*n - v = 3*n. Is n a composite number?
False
Let w(r) = 2*r**2 + r - 2. Let l be w(-6). Suppose 2*a - 6*a = -l. Let s = 26 - a. Is s a prime number?
False
Let x = 321 - 63. Suppose -6*m = -3*m - x. Is m a prime number?
False
Let w(d) = -d**3 - 5*d**2 - d + 5. Is w(-6) prime?
True
Let i(x) = -x**3 + x**2 - x - 217. Let l be i(0). Let b = l - -332. Is b a composite number?
True
Suppose 4*p = -y - 2*y - 870, p + 1467 = -5*y. Let d = -179 - y. Is d a prime number?
False
Is (21 + 5)*(-106)/(-4) a composite number?
True
Suppose 0*p - 2*p = 4*z - 16, -1 = 4*p - 3*z. Is (0 - -34) + (p - 1) composite?
True
Let b be (0/(0 + 1))/(-1). Suppose l + 3*m - 17 = 0, -5*m = -2*l + 3*l - 13. Suppose -2*h = 2*c + c - l, b = -4*c - 20. Is h prime?
True
Suppose o - 69 = -21. Suppose -4*p - o = -4*q, -4*p - 33 - 2 = -3*q. Is q composite?
False
Let q = 43 - 10. Is q composite?
True
Let d = 90 + -48. Suppose 0*j + 4*s - d = 3*j, 9 = 3*s. Is (-226)/(-10) + j/(-25) prime?
True
Let g(o) be the third derivative of o**6/60 + o**4/4 - o**3/2 - 3*o**2. Is g(4) a composite number?
False
Let a = -1 - -7. Let f be 6 - (-3)/a*-4. Suppose f*h = -12 + 160. Is h a composite number?
False
Let l be 4/(-26) - 612/78. Let f = l + 12. Suppose -466 = -2*h - 3*z + z, -f*z = h - 233. Is h a prime number?
True
Let j(h) = -h**3 + 5*h**2 + 2*h - 1. Let f(o) = o - 3. Let p be f(0). Is j(p) a composite number?
True
Suppose -4*d - 12 = -8*d + 4*j, -3*d - 3*j + 33 = 0. Let u(r) = 2*r**3 - 10*r**2 + 9*r - 6. Is u(d) a composite number?
True
Let q = -14 + 27. Is q/26 + 1041/2 composite?
False
Let d = 16 - -6. Is 10/55 + 2834/d composite?
True
Let a = 199 + 2896. Is a composite?
True
Let r(x) = x + 1. Let y be r(0). Is (y - -1)*185/10 prime?
True
Suppose -250 = -6*k + 308. Is k a prime number?
False
Let l(g) = g**2 - 2*g - 2. Let c be l(6). Suppose 35 + c = x. Is x prime?
False
Let s(k) = 7*k**2 - 3*k + 3. Let y be s(4). Let v = 8 + y. Is v a prime number?
False
Is (-3)/(-1 + 0) - (-448)/1 a composite number?
True
Suppose 3*u + 2*i - 1885 = 0, 2*u + 0*u - 1260 = 2*i. Is u a composite number?
True
Let c(l) = 31*l + 3. Let w(y) = -y**2 + 6*y - 4. Let r be w(4). Is c(r) composite?
False
Let v(d) be the third derivative of d**5/30 - d**4/6 + 4*d**3/3 - 2*d**2. Let h be v(11). Suppose -78 = -0*s - 2*s + 4*g, 4*s + 2*g = h. Is s composite?
True
Let r be 0 - (0 - 10*2). Suppose -r = -z - v + 12, z + 5*v - 36 = 0. Is z a prime number?
True
Suppose 0*a + 2*t - 1824 = -2*a, 0 = -2*a - t + 1826. Is a a prime number?
False
Let v be 2 + -3 + 3 + 232. Let n = v - 11. Is n a composite number?
False
Let u(s) = s**3 + 9*s**2. Let q be u(-9). Suppose 4*x = -3*p + 97, -3*x - 181 = -q*p - 5*p. Is p prime?
False
Suppose 4*n - 28 = -n - 3*d, -3*d = 2*n - 13. Suppose 4*j = n*x - 53, -5*x + 5*j + 15 + 40 = 0. Suppose -3*o = -21 - x. Is o composite?
True
Let y = 6 - 11. Let k = y - -3. Is (-57)/k*10/3 prime?
False
Let r be 3/(1/(-4)*-6). Suppose 0*w - 10 = -r*w. Suppose -c + 8 = 5*a, 0*c - 60 = -w*c - 5*a. Is c prime?
True
Let r(p) be the first derivative of p**2/2 - 3. Let b be r(4). Suppose 0 = -5*v - 2*k + 403, 4*v = b*k - k + 304. Is v a prime number?
True
Is 4290/(-15)*2/(-4) prime?
False
Suppose -y = y - 3*p - 55, -y = -5*p - 38. Is y composite?
False
Is (-187)/(-33) + 1/3 prime?
False
Let n(c) = 2*c**2 - 3*c + 1. Let d be n(4). Let r be (-1)/(0 + (-3)/d). Suppose r - 44 = -t. Is t prime?
True
Suppose -5*q - 3*n = -0*n + 74, 50 = -3*q + n. Let r = q - -22. Let o(i) = i**3 - 6*i**2 + 5*i + 4. Is o(r) a prime number?
False
Let l(q) = 2*q**3 - 4*q**2 + 8*q - 5. Let b be l(6). Let h = b - 188. Is h prime?
False
Suppose 0 = -3*t + 4*p + 685, -5*t + 7*p + 1135 = 2*p. Let m = t + 75. Suppose c + c - m = 0. Is c a composite number?
False
Is 1/(-2) + 310/4 prime?
False
Let y be ((5 + -3)/1)/1. Let t(c) = 7 + 5*c**2 + 3*c**y - 6*c**2 + c**2 - 9*c. Is t(8) composite?
False
Let s = 275 - -104. Is s a prime number?
True
Let f(d) = -103*d - 4. Let n be f(-8). Suppose -3*a + n = a. Is a a composite number?
True
Let h(u) = 5*u + 8. Let p(r) = 26*r + 39. Let z(m) = 11*h(m) - 2*p(m). Let l be z(9). Suppose j - 2*j + l = 0. Is j a prime number?
True
Suppose 102 = -x + 645. Suppose 2*r = 3*b + 379 + x, 5*r - 4*b = 2319. Is r a composite number?
False
Let t(v) = 4*v**2 - v. Let p be t(-1). Let u(y) = -y**2 - 6*y + 2. Let m be u(-6). Suppose -4*q - p*s = -8*q + 141, m*q - 2*s = 70. Is q prime?
False
Let x(b) = b**3 + 9*b**2 + 7*b + 2. Let d be x(-6). Let z = d + -35. Is z prime?
False
Let q(u) = -u**3 + 6*u**2 + 2*u - 2. Is q(5) composite?
True
Is 340 + (2 - -4)/(-2) a prime number?
True
Let u = -7 - -7. Suppose u*f + 2*f = 38. Is f a composite number?
False
Let k = 105 + -50. Let p = 92 - k. Is p composite?
False
Suppose -5*o + 5*d = 485, o - 2*d - 296 = 4*o. Let n = -225 - -434. Let k = o + n. Is k prime?
False
Suppose 18 = -2*t - 0*t. Let p = t + 22. Is p composite?
False
Let m = 122 - 198. Let j = m - -50. Is 1 - 0 - j/2 prime?
False
Let v = -104 + 162. Is v a prime number?
False
Is -1*(3 - 85 - 1) a prime number?
True
Let w = -16 + -5. Is 22/(-3)*w/14 a composite number?
False
Suppose 4*b + 12 = -16. Let r be -1030*(3 + b/2). Is 3/(-6) + r/2 a composite number?
False
Suppose 4*z + 395 = f, 469 = f + 5*z + 83. Is f a composite number?
True
Suppose 2*a = 5*a + 4*j + 6, -5*a = 2*j - 4. Suppose -a*v - 75 = -7*v. Is v a prime number?
False
Suppose v - 2*v = -4. Suppose 5*g - 351 - 188 = -v*u, -4*u + 2*g = -518. Is u prime?
True
Let q = 1 + 3. Let v(t) = t**2 - 4*t + 3. Let m be v(q). Suppose -10 = -3*g + 5*f + 26, 0 = -m*f - 9. Is g a prime number?
True
Suppose 5*h - 2602 = x - 709, 4*x - 1878 = -5*h. Suppose 3*u - 6*u + h = 0. Is 3/(-6) - u/(-4) a composite number?
False
Let q be 3*(-8)/60*-85. Is 0 + q + (1 - -2) composite?
False
Let o(g) = g**3 - 7*g**2 + 7*g - 1. Let f be o(6). Suppose -4*t + 744 = 5*m, -5*m - 2*t + 353 = -389. Suppose f*w - m = w. Is w prime?
True
Suppose 3*w - 4*z - 46 = 33, -124 = -5*w - z. Suppose f - 2*f = -8. Suppose -3*x + f = -w. Is x composite?
F