s + 5. Let b = 15 + y. Is b composite?
False
Suppose 0 = o + 203 + 70. Suppose -2*p = -p + 158. Let y = p - o. Is y a composite number?
True
Suppose 3*x - 15364 = -4*b, 0*b + b - 3841 = 5*x. Is b a composite number?
True
Suppose 0 = -3*f - 108 - 198. Let x = f - -223. Is x prime?
False
Let f be 2/2*(0 + 3). Suppose 0*b = f*b + 132. Is 18/(-4)*b/6 a composite number?
True
Suppose 4*w + 300 + 64 = 0. Let i = 100 - w. Is i prime?
True
Suppose 4*c + 421 = 2*o + 51, 2*o + 4*c - 370 = 0. Is o prime?
False
Suppose -z + 2*z + m - 384 = 0, 0 = -3*z - 4*m + 1157. Is z a prime number?
True
Let z(o) be the first derivative of -o**7/840 + 7*o**6/360 + 3*o**5/40 - o**4/24 + o**3/3 + 2. Let m(p) be the third derivative of z(p). Is m(8) a prime number?
True
Suppose -22 = -3*t + 2*t + 5*s, 3*s = -9. Is (-2)/(-5)*(18 + t) prime?
False
Let z(i) = i**3 - 5*i**2 - 2*i + 7. Let y be z(7). Let r = y - -15. Is r prime?
False
Let u = 8 - 6. Suppose 0 = -u*a - 3*a. Suppose 3*m + 96 - 345 = a. Is m composite?
False
Let g(d) be the second derivative of d**6/12 - d**5/60 + d**3/6 - d**2 - 2*d. Let q(s) be the first derivative of g(s). Is q(1) composite?
True
Suppose -1 = 4*q - 21. Let h be -5*(-5)/((-75)/6). Let n = q - h. Is n composite?
False
Suppose -p + 3*p - 102 = 0. Is p composite?
True
Let z = -463 - -794. Is z a composite number?
False
Is (2459*2)/((-5 - -4) + 3) a composite number?
False
Let p be 251 + (-2 + 2)*1. Suppose -4*w + p + 77 = 0. Let z = w + 33. Is z composite?
True
Let u(s) = 5*s**2 + 4*s - 5. Let d be u(7). Suppose 0*m - d = -4*m. Is m composite?
False
Is ((-1)/3)/((-4)/(-26844))*-1 prime?
True
Let u = 60 + -12. Let x(c) = -4*c**3 + 2*c**2 - 2*c + 1. Let q be x(2). Let p = u + q. Is p prime?
False
Let b(s) = 2*s**2 - 3*s - 29. Is b(18) prime?
False
Suppose 5*p + 4*g - 3 = g, 0 = p - 3*g - 15. Let y(o) = -5*o - 1. Let d be y(-1). Let s = d + p. Is s prime?
True
Is (1 - -266)*(-3)/(-9) a composite number?
False
Suppose 257 = 4*n - 163. Let j = 152 - n. Is j composite?
False
Let s be 5 + -7 + 7 + -1. Suppose 0 = j - n + s, -4 = 3*j - n - 0*n. Is (11/(-1))/(j - 1) prime?
True
Suppose 3*c - c - 6 = 0. Let m(o) = -o**3 + 10*o**2 + c + 0*o**3 + o - 6. Is m(10) a composite number?
False
Let f = 1 - -1. Suppose f*m - 76 = -22. Suppose -2*z + 2 = -0*z + 3*r, 5*z + 2*r = m. Is z a composite number?
False
Suppose 0 = 4*v - 7*v + 177. Is v prime?
True
Suppose -c - 2 = -b + 41, 2*b + c - 83 = 0. Let m = 35 + b. Is m a composite number?
True
Suppose -l + 3948 = -3*r, -4*l + 15777 = r + 2*r. Suppose -2*f + l = f. Is f composite?
True
Suppose 0 = -3*g + 6*g. Suppose g = -i + 3*i - 422. Is i a prime number?
True
Let r be ((-1)/(-3))/(8/6600). Let x = -466 - -280. Let u = x + r. Is u prime?
True
Let x(q) = -40*q - 1. Let a be (4 - 3)*-3*1. Let w = a - -1. Is x(w) composite?
False
Suppose 5*n - 3*f - 594 = 3*n, n + 5*f - 271 = 0. Is n a prime number?
False
Let k(j) = -15*j + 1. Let a be k(1). Is (0 - (a + 3))*13 a prime number?
False
Suppose -3*b = -1082 - 559. Is b composite?
False
Let n be 12208/42 + (-2)/3. Suppose -10*j + 5*j = -n. Is j a composite number?
True
Suppose -23*j - 1172 = -27*j. Is j composite?
False
Suppose 0 = -3*g + 5*u + 341, -3*g + 0*g - u + 371 = 0. Suppose -3*i + 344 = g. Is i composite?
True
Is 1562 + -2 - 3/3*-1 a composite number?
True
Let f = 114 - -251. Is f prime?
False
Let l = 10 - 14. Let v = l - -16. Is (51/(-6))/((-3)/v) a prime number?
False
Suppose -2*m = 2, 0*x - 2*x - 4*m = 8. Is 1 - x*2*12 a prime number?
False
Let h(l) = 5*l**2 + 3*l + 2. Let r(u) = -24*u**2 - 16*u - 10. Let q(d) = -14*h(d) - 3*r(d). Is q(5) composite?
True
Let v(m) be the first derivative of m**4/2 - 5*m**3/3 + m**2 - 4*m + 1. Let i be v(5). Suppose -i = -2*j + 3*q, -4*j + 0*q + 272 = 4*q. Is j composite?
False
Suppose 3*s - 7*s + 16 = 0. Suppose -3*g = -s - 2. Suppose 0 = d + 3 - 2, -g*d = -4*w + 318. Is w prime?
True
Let l(g) be the first derivative of 68*g**3/3 + g**2/2 + 2. Let o = 7 + -8. Is l(o) prime?
True
Let k(q) = 34*q**2 + 3*q + 5. Let r be k(-4). Let p = -274 + r. Is p a composite number?
False
Suppose -4*a = -y - 3, -4*a + 2*y = 3*y + 3. Suppose -4*c - m + 0*m = -27, -4*m - 4 = a. Is c prime?
True
Let o(a) = -a**2 + 8*a + 7. Let j(l) = -l**3 + 8*l**2 - 5*l - 9. Let q be j(7). Is o(q) a composite number?
True
Suppose 3*w + i - 3 = 0, 0*w + 4 = -w - 2*i. Suppose 2*a + 0 = -w. Is -1 - (2/a - 76) prime?
False
Let r(k) = 32*k**2 - 2*k - 1. Let f(g) = 65*g**2 - 5*g - 3. Let u(p) = -2*f(p) + 5*r(p). Suppose b + 4*b + 4*x - 5 = 0, -b + 1 = -4*x. Is u(b) a prime number?
True
Let s(i) = i - 1. Let t(y) = y**2 - y + 2. Let d be t(6). Suppose 3*m - d = -m. Is s(m) prime?
True
Suppose 2*m + 4*r = m + 31, m + 2*r = 39. Let a = m + -28. Is a a prime number?
True
Let u = -245 - -394. Is u composite?
False
Let u(a) = 3*a**2 + 5*a + 7. Let d(r) = r**2 + 6*r + 1. Let g be d(-4). Is u(g) prime?
False
Let p(a) = -127*a - 3. Let o = 21 + -23. Is p(o) a composite number?
False
Is ((-40271)/22)/((-1)/2) composite?
True
Let a = 3 + -1. Suppose -5*r + 249 = -a*r. Is r a prime number?
True
Let k(m) = -m**3 - 14*m**2 + 6*m + 22. Is k(-15) prime?
True
Suppose -5*n + 787 = 72. Is n a prime number?
False
Suppose 10*j - 35 = 5*o + 5*j, 15 = -o + 5*j. Let v = o + 10. Is (74/4)/(v/10) prime?
True
Is (0 + -1)*2 + 89 a composite number?
True
Let k(q) = -5 + 9*q**2 + 5*q**3 - 13*q - 2*q**3 - 2*q**3. Is k(-10) composite?
True
Let w = 12 - 8. Suppose 3*a - 25 = -2*a. Suppose 0*b = -3*b - 3*q - 6, 5*b + w*q = -a. Is b a composite number?
False
Let h = -47 - -226. Is h composite?
False
Let d = 1560 - -2027. Is d a composite number?
True
Let a = 720 + -345. Suppose -6*h + 3*k = -3*h - a, -h + 129 = k. Is h composite?
False
Suppose -5*n = -157 - 558. Is n a prime number?
False
Suppose 9 - 5 = -2*o. Let s(t) = t**2 - t + 1. Let y(d) = -12*d**2 + d - 8. Let x(j) = -5*s(j) - y(j). Is x(o) a composite number?
False
Let k(z) be the first derivative of 14*z**3/3 + z - 3. Is k(-1) composite?
True
Let b(y) = 41*y**2 + y + 1. Let f be b(-1). Let g = f - 22. Is g composite?
False
Suppose 3*h - 2*h = -4*y + 2335, -5*y - h + 2918 = 0. Is y a composite number?
True
Suppose 0 = 4*f - 7*y + 2*y + 18, -f = -4*y + 10. Is 104 + f + (5 - 4) a composite number?
False
Suppose 3*r - 20 = 5*l, 0 = -l - l + 5*r - 27. Let q be 0/(l*4 + 3). Is (1 - q)*-3 - -54 a prime number?
False
Suppose 32 = 3*w - 5*h, 5*w - 3*h + 0*h = 80. Is w a composite number?
False
Let a = 2 - 6. Let j = -4 - a. Suppose j = -2*i + i + 47. Is i a composite number?
False
Let w(u) = -3*u**2 + u + 1061. Is w(0) a prime number?
True
Let q = -119 - -30. Let f = q + 158. Suppose -37 = -2*r + f. Is r a prime number?
True
Is -47*(-1 - 4/1) a prime number?
False
Let q(u) = -u**3 + 6*u**2 + 6*u + 7. Let b be q(7). Suppose b*g + g = 15. Is (-32)/(-5) - 6/g a prime number?
False
Is (-7866)/(-10) - (-4)/10 a prime number?
True
Suppose -39 = n + 3*u + 36, 5*n - 4*u + 394 = 0. Is ((-6)/(-18))/((-2)/n) a prime number?
True
Let i(b) = b**3 - 6*b**2 - 7*b + 5. Let d be i(7). Suppose 2*m + 5*c + 18 = -0*m, -d*m - 12 = -4*c. Let s = 11 + m. Is s a composite number?
False
Let h(v) = 9*v**2 + v + 2. Is h(3) a prime number?
False
Let p(g) = -8*g - 3. Let z(x) = 2*x**2 + 3*x - 1. Let c be z(-3). Suppose 0 = 2*q - w + 19, 3*w + 0*w = -q + c. Is p(q) a composite number?
False
Let w(d) = 45*d**2 + 4*d - 3. Is w(-8) composite?
True
Suppose 3416 = 18*q - 10*q. Is q prime?
False
Let o be (-4)/10 + (-216)/(-15). Let l = 23 - o. Is l prime?
False
Let q(u) = 3*u**2 + 2*u - 6. Is q(-9) prime?
False
Let w(n) = 7*n**2 - 2*n + 7. Is w(-4) a prime number?
True
Let p = 506 - 113. Suppose -3*z + d = -p, -405 = -3*z + 4*d + d. Suppose 5*n - z = -15. Is n a prime number?
True
Suppose -3*b + b + 58 = 0. Let t = b + 24. Is t a prime number?
True
Let p(o) = -47*o + 4. Is p(-9) a prime number?
False
Is 28/8*(-328)/(-4) prime?
False
Let c = 253 + -474. Suppose -5*j - 312 = -6*j. Let p = j + c. Is p composite?
True
Suppose 0*o = 4*k - 4*o + 16, -3*k + 2*o - 12 = 0. Let a = k + 4. Suppose -d + 3*d - 106 = a. Is d a composite number?
False
Let v = 1564 - 429. Is v composite?
True
Suppose 3*k - 5 = 10. Let d be 384/15 + (-3)/k. Is d + -1 + 1 + 0 a prime number?
False
Let x = -71 - -13. Let