= -0*x. Is x composite?
False
Suppose 2*d - 2205 = 5*m, -2*m = 5*d + 3*m - 5530. Suppose d = 2*j + 3*j. Is j prime?
False
Suppose 3*c = 5 - 35. Is 2/5 - 1206/c a composite number?
True
Let o(s) = 2*s**3 - 9*s**2 + 6*s - 1. Is o(6) composite?
True
Let x(c) = 5*c**3 + 2*c. Let b be x(5). Suppose -4*s - b = -9*s. Is s prime?
True
Let d(r) = 8*r**2 + 5*r - r**3 + 10 - 9*r - 3*r. Let p be (7 - -2 - 2)/1. Is d(p) a prime number?
False
Suppose -44 = -0*w - 4*w + 4*q, 0 = -2*q + 6. Let x be 1 + 2 + (-2 - 0). Let c = x + w. Is c composite?
True
Is 1/3 + (-116)/(-3) a composite number?
True
Suppose -9*w + 609 = -6*w. Is w a composite number?
True
Is (14/5)/(4/1370) composite?
True
Let t(q) = 9*q**2 + 12*q - 1. Is t(-12) a composite number?
False
Let j = -5 - -5. Let i be 6 - (j - -2) - 0. Suppose i = -4*z + 12. Is z a prime number?
True
Let a = -52 - -37. Let b = a - -22. Is b a composite number?
False
Suppose -31*v + 33*v = 978. Suppose -10*b + 7*b = -v. Is b composite?
False
Let x(j) = -j**3 + 13*j**2 - 8*j + 7. Is x(6) a composite number?
False
Suppose -5*y + 0*y = -3*k - 1502, -4 = -4*k. Is y composite?
True
Let t(p) = -5*p + 11. Let s(d) = -d**3 + 5*d**2 - 4*d + 3. Let r be s(3). Let a be t(r). Is -5*(a + (-3)/1) a composite number?
True
Suppose 3*q = 0, -4*t - 6 - 2 = -4*q. Let z(m) = -17*m**3 + 2*m - 1. Is z(t) a prime number?
True
Suppose 3*t - 183 = 2*y + 8*t, -4*t - 285 = 3*y. Let h = 152 + y. Is h prime?
True
Suppose -2*k + k + 290 = 0. Let v = k + 65. Is v a composite number?
True
Let b be (0 + -1)*(-1 + 0). Let c(r) = -b + 30*r**2 + 1 - 1. Is c(2) a composite number?
True
Is (-1 - (-155)/10)*4 composite?
True
Let z(j) = 3*j - 5. Is z(8) a composite number?
False
Suppose 0 = -3*f + 6*f - 15. Suppose 3*d = -4*t + 1187, f*d = 3*t + 980 + 950. Suppose 4*a + 440 = 5*g + a, -4*g = 5*a - d. Is g composite?
True
Suppose 5*d - 15 = 2*d. Suppose -d*t + 1817 = -2538. Is t a composite number?
True
Let u be ((-5)/(-10))/((-1)/(-18)). Suppose -d + 2 = -u. Is d composite?
False
Let m(s) = -71*s - 22. Is m(-4) composite?
True
Is ((-1121)/(-38))/((-1)/(-14)) a prime number?
False
Suppose -6335 = -4*q + 349. Is q a prime number?
False
Let r = -6 - -4. Let m(s) = -4*s - 2. Let z be m(r). Suppose v + 2*u - z - 5 = 0, -3*v = 3*u - 48. Is v prime?
False
Suppose 3*t = -u + 40, -2*u - 4*t = -7*u + 143. Suppose 5*k + 0*k - u = -4*i, 0 = -5*i + 20. Suppose 0 = -k*s - 2*l + 113, -6*s - 4*l + 189 = -s. Is s prime?
True
Is (2/1)/(6/483) a prime number?
False
Let n = 106 + -69. Is n composite?
False
Suppose 5*x = -5, -7 = 7*s - 2*s - 3*x. Is ((-2)/s)/((-1)/(-143)) prime?
False
Let w(f) = 10*f - 1 + 4*f + 13*f. Is w(1) composite?
True
Let q(a) = a**3 + 11*a**2 - 13*a - 14. Let d be q(-12). Let k(u) = -38*u + 1. Is k(d) a prime number?
False
Let g = -270 + 406. Let l = g + -43. Is l prime?
False
Let x(i) = i**3 - 2*i - 11 + 9*i**2 - i - 4*i + 2*i. Suppose -36 = 3*t + t. Is x(t) prime?
False
Let r(w) = w**3 + 8*w**2 + 2*w + 6. Let l(o) = o**2 + o. Let v(b) = 3*l(b) - r(b). Is v(-7) a prime number?
False
Let r = 15 + 5. Let h = r - 14. Is h a composite number?
True
Let u = 3355 + -1854. Is u a prime number?
False
Let o(l) = -5*l**2 - 15*l - 10. Let n(u) = 2*u**2 + 5*u + 3. Let d(b) = 8*n(b) + 3*o(b). Let h be d(6). Is (h - -34) + (-1)/(-1) a prime number?
False
Suppose -170 = -5*l + 3*l. Is l a prime number?
False
Let z be -3*1 - (-1110)/15. Suppose -u = -z - 56. Is u a composite number?
False
Let b = 0 - -1. Let k be -5 - 2/(-1)*b. Is 2/k*141/(-2) a composite number?
False
Let c be (-735)/18*-2*3. Suppose -w + c = 4*w. Is w prime?
False
Let q = 117 + 441. Suppose 2*f + q = 4*r - 718, 3*r + 2*f = 957. Suppose 3*v = -5*g + r, -5*g - 2*v - 29 = -350. Is g composite?
True
Let h(t) = -t**3 + t**2 + 2*t - 4. Let p be h(4). Let b = p - -78. Is b composite?
True
Let y(o) be the first derivative of -7*o**2/2 - 5*o + 1. Is y(-8) composite?
True
Suppose 0 = 4*h + i - 252, -5*i = 3*h - 0*i - 172. Let o = h - 29. Is o a prime number?
False
Let j = 2698 - 1259. Is j a prime number?
True
Let s(p) = p**2 - 9*p + 1. Let x(y) = y**2 - 6*y - 2. Let i be x(8). Is s(i) composite?
False
Let f be (-2)/(-3) + 4/(-6). Suppose -3*v - 8 = 4*d, f = 4*d - v - v - 12. Let t = d - -2. Is t prime?
True
Let i = -8 - -13. Let a(l) = l**2 + 6*l + 4. Let c be a(-6). Suppose -3*x = -i*r + 182, 2*r - c*x - 72 = -2*x. Is r composite?
False
Let w = -16 - -18. Let v = -1 - 3. Is (w - (-182)/v)*-2 a composite number?
True
Let y(v) = -v**2 - 28*v - 20. Let a(p) = p**2 + 42*p + 30. Let s(u) = -5*a(u) - 8*y(u). Is s(-9) composite?
False
Let f = -100 + 65. Let y = 4 - f. Is (6/(-2) - -1) + y prime?
True
Let l(a) = -5*a**3 - 2*a**2 - 6*a - 7. Let d be l(-3). Suppose 3*q - 115 = -b, 4*q - 4*b = b + d. Is q composite?
False
Let x = 373 + -715. Let k = 673 + x. Is k a composite number?
False
Suppose 3*n = n + 4. Let z = n + 3. Suppose 0 = 5*q - 4*q - 2, z*y = q + 383. Is y prime?
False
Suppose 7*p - 2*p = 430. Let a = p + -10. Suppose -a = -3*h - h. Is h composite?
False
Let j be 4/10 - 6/15. Suppose 4 + j = 2*r. Suppose 0 = r*d - 87 - 51. Is d composite?
True
Suppose 0 = -3*b - 3*h + 57, b + 26 = 3*b + 5*h. Is b composite?
False
Let d = 0 + 0. Is 7 + (3 - d) - 1 composite?
True
Let s(r) = -r**2 + r - 47. Let f be s(0). Is (f/2)/(4/(-8)) composite?
False
Suppose -7*f = -444 - 5527. Is f composite?
False
Let p be 3*24/45*-5. Let y be 20/p*(-16)/10. Is 5/10 - (-6)/y a composite number?
False
Suppose 5 = -t + 4*j, 2*t + 4*j - 38 = -0*t. Suppose -2*k - 3*k + 55 = -2*q, 0 = k - 2*q - t. Is k a prime number?
True
Is (-4)/14 - (-4404)/28 prime?
True
Let v be ((-2)/(-1))/((-4)/(-2)). Suppose 3*j = -v + 13. Suppose l - 51 = -j*i, 0*i - 4*i + 121 = 3*l. Is l composite?
True
Let p(g) = 71*g**2 + g + 1. Is p(2) prime?
False
Let v(w) = -w**2 - 2. Let o be v(0). Is ((-3)/((-9)/(-1218)))/o a composite number?
True
Let u(x) be the first derivative of -111*x**2/2 + 4*x + 1. Let t be u(-5). Suppose -4*g = 5*r - t, -6*g = -r - 2*g + 131. Is r composite?
True
Let c(l) = -l**3 + 9*l**2 - 7*l + 7. Let f be c(6). Let r = 112 + f. Is r prime?
False
Let z(p) = p**3 + 15*p**2 - 9*p - 13. Is z(-12) a prime number?
False
Let r(v) = 4*v**2 + 2*v - 14. Is r(-6) composite?
True
Suppose -5894 + 19966 = 8*c. Is c composite?
False
Let m = 9 + -8. Is 3/3 - (m - 329) prime?
False
Let u(w) = 2*w**2 - 19*w - 13. Is u(-12) prime?
True
Let j = -13 + 19. Suppose -5*y = 2*w + j, -2*y + 0 + 15 = -5*w. Suppose -z - 3*f + 19 = y, 15 = -z + 2*z + 4*f. Is z a prime number?
True
Suppose 3 = 3*r, 2*q + 4*r - 259 = -r. Is q a composite number?
False
Suppose -u - 795 = -4*u. Is u a composite number?
True
Suppose 4*x + 68 = -5*q, 34 + 22 = -4*x - 2*q. Let m be 311/3 - 4/x. Suppose -m = -3*c + 97. Is c a composite number?
False
Let v be 268/6 - 1/(-3). Suppose v = 3*h - 57. Is h a prime number?
False
Let w = -4 + 8. Suppose -2*l = -w*l + 10. Suppose c - 4 = l*c, 13 = h - 2*c. Is h prime?
True
Let k be ((-4)/10)/(2/(-10)). Let p be 1 + k - 0/(-2). Suppose -p*a + 202 = -65. Is a composite?
False
Let q(x) = -x**2 - 5*x + 7. Let y be q(-6). Suppose v = -3*b - y, 5*b - 4*v - 5 + 1 = 0. Suppose b*g = -p + g + 34, -g - 139 = -4*p. Is p a prime number?
False
Let z be (-3)/6 + 1/2. Is (-3)/9*z - -15 prime?
False
Let b(i) = 152*i + 3. Is b(2) a composite number?
False
Let u be 0 + -1*(1 - 8). Suppose w = u - 1. Let z(k) = 10*k - 7. Is z(w) a prime number?
True
Suppose -5*y - 5 = 4*h, -5*h - 4 - 9 = 4*y. Suppose 2*t - 7 = -y*v + 84, 2*v - 59 = -3*t. Is v composite?
False
Let v = 19 + -16. Suppose 283 + 759 = 5*a + 4*u, 1039 = 5*a + v*u. Is a prime?
False
Let s be ((-4)/8)/((-1)/(-326)). Let z = 109 + s. Let g = 109 + z. Is g a composite number?
True
Let v = 10 + -17. Let k be 2/(-7) - 58/v. Let j(s) = s - 6. Is j(k) composite?
False
Suppose 0 = -5*i - 5*n + 430, 3*i + i = 4*n + 352. Is i prime?
False
Let g(w) be the third derivative of -w**5/60 - 7*w**4/24 + 5*w**3/6 + 2*w**2. Let u be g(-7). Suppose 0 = -m + 9 + u. Is m composite?
True
Let b(j) = 7*j**2 + 8*j - 3. Is b(-4) a composite number?
True
Let r(t) = 10*t**3 + t**2 + t + 3. Is r(2) a composite number?
False
Let a be 0 - (0 + -202)*2. Suppose -2*y = -70 - a. Suppose 3*k + 0*k - y = 0. Is k prime?
True
Suppose -h = 3*h + 8