 t a prime number?
False
Let r(f) = 3*f**2 - f + 1. Let m(z) = z**3 - z**2 + z + 9. Let a be m(0). Suppose 2*g - 3*c = -3*g - 15, a = -3*g - 3*c. Is r(g) prime?
True
Suppose -132 = u - 5*u. Let k = u + -11. Let d = k + -7. Is d a composite number?
True
Suppose -v = 2*y - 7 + 1, -4*y = -v - 24. Let o(a) = -11*a - 2. Let g be o(-12). Suppose 5*q - 4*h + 7*h - g = 0, 0 = 5*q + y*h - 140. Is q a composite number?
False
Let p(f) = 162*f - 4. Is p(1) a composite number?
True
Suppose -3*i + 2*i = -3*w + 4, 5*w - 20 = -i. Suppose -4*g = -5*d + 467, 0*d + 293 = w*d + 4*g. Is d prime?
False
Suppose 0 = -2*z + 18*z - 112. Is z prime?
True
Let f = 8 - 6. Suppose a = -0 + f. Suppose -4*v - a*y + 132 = 0, -y + 4*y = 2*v - 66. Is v a composite number?
True
Suppose -2 + 10 = 2*n. Suppose 3*i = -n*b + 130, -2*b + 42 = -3*i + 4*i. Suppose i + 16 = 2*v. Is v composite?
False
Suppose 487 = 15*g - 14*g. Is g a prime number?
True
Let c be (0 - 10)/((-2)/3). Is ((-95)/c)/((-1)/3) a prime number?
True
Let a = 113 + -60. Suppose -8*k + 9 - 9 = 0. Suppose k*o + o = a. Is o a prime number?
True
Let u(j) be the second derivative of 71*j**3/6 - j**2 - 5*j. Is u(3) a prime number?
True
Suppose -u = -4*u + 12759. Is u a prime number?
True
Is (-198)/(-36)*76/2 composite?
True
Let f(j) = 64*j - 4. Let d be f(-3). Let l = 302 + d. Is l prime?
False
Let p(r) = 2*r**3 - 4*r**2 + 3*r + 3*r**3 + 1 - 7*r**3. Is p(-4) composite?
False
Suppose -3*g + 3 = -3. Suppose 2*x - 740 = -g*x. Is x composite?
True
Let m(z) = 15*z**2 - 6*z + 1. Is m(4) prime?
False
Suppose m - 10 = 4*a - 0*a, 12 = -3*a. Let r be (-2)/6 - 26/m. Is (-39)/(-6) - (-2)/r a composite number?
False
Let v = -21 + -26. Let x = 80 - v. Is x prime?
True
Is 422/2*(3 - (4 - 2)) composite?
False
Let q be -11*(-3)/(-3) + 2. Let d = q - -15. Suppose 0 = -g + o + d + 60, 0 = 4*g - 3*o - 265. Is g prime?
True
Let n be 2 - -1 - 8/1. Let f = n - -9. Suppose 5*o = 2*i + 2*i - 565, i = -f*o + 157. Is i a prime number?
False
Is ((-3684)/(-30))/(4/10) composite?
False
Let g = -15 - -6. Let m(l) = 2 + l**2 - 5*l + 11*l + 8. Is m(g) a prime number?
True
Let c(j) = j**3 - 4*j**2 + 2. Let i be c(4). Suppose -4*p - 12 = -0*p - 4*b, 3*b = 2*p + 9. Suppose -6 = -3*l, -i*w = -p*l - 2*l - 58. Is w prime?
True
Let j be 2/(-7) + 2991/7. Suppose 3*h - 4*t = j, 4*t = 4*h - 0*t - 568. Is h a prime number?
False
Suppose 9248 = 4*x + 628. Is x a composite number?
True
Let k(c) = c**2 - 2*c + 1. Let y be k(1). Suppose y = 3*h - 135 + 18. Suppose -4*x = -3*x - h. Is x composite?
True
Suppose 11 + 49 = t + 4*i, -4*t + 268 = 2*i. Let o = 101 - t. Is o a prime number?
False
Suppose -5*w + 4*o = 113, -3*w - 4*o - 60 - 27 = 0. Let l = w - -91. Suppose l = 5*k - 4. Is k composite?
True
Let d be ((-5)/(-3) + 0)*60. Let m be (-7)/(21/d)*-3. Suppose -2*n = -h - 173, -4*h + m = n - 9*h. Is n a prime number?
False
Suppose -2*h - h + 9 = 0. Suppose -h*c = c - 56. Is c prime?
False
Suppose 5*b + 1 + 34 = -5*o, -5*b = 4*o + 30. Let q = 5 + o. Let p(j) = j**3 + 6. Is p(q) a prime number?
False
Let w = -216 - -625. Is w prime?
True
Let b(k) = k**3 + 5*k**2 - 8*k - 5. Let w = 4 + -9. Let p be b(w). Let u = -21 + p. Is u prime?
False
Let l(z) be the second derivative of 9*z**5/20 + z**4/6 + z**3/2 - 3*z**2/2 - 4*z. Is l(2) prime?
True
Let f(l) = -l**3 - 3*l**2 + 6*l - 6. Let g be f(-5). Is 738/g - 6/(-21) a composite number?
False
Let a(c) = c**3 + c**2 + 2*c + 5. Suppose -4 = -2*t + t. Let k be a(t). Suppose k = 3*s - 0*s. Is s a prime number?
True
Let q(f) = 3*f**3 + 2 - 3*f**3 + f**3 + 4*f**2 - 4. Is q(-3) a composite number?
False
Let y(f) = -f**3 + 5*f**2 + 7*f - 2. Let h be y(6). Suppose 2*u + 3*g - 142 = 0, 2*u + h*g - 5*g = 142. Is u a prime number?
True
Let f(y) = y**3 - 8*y**2 + 2*y - 5. Let c be f(8). Suppose c*l + 106 = 13*l. Is l a prime number?
True
Suppose 2*n + 1055 = 5*i, 2*i - 422 = 3*n - n. Is i a composite number?
False
Suppose 0 = 5*r - 3*c - 3320 + 1077, -r - 3*c = -463. Is r a composite number?
True
Let v be 0/3 + 7 - 2. Let y = v - 1. Is y/12 - (-292)/6 prime?
False
Let m = 16 + -19. Is m/(2 - (-238)/(-116)) a prime number?
False
Let z(d) = 1837*d**3 + d**2 + 2*d - 3. Is z(1) composite?
True
Let y be 10/(-35) - (-74)/14. Let f(j) = 6*j**2 - j + 5*j - 3*j**3 + 2*j**3 + 4. Is f(y) a composite number?
True
Is (-1 - -1330)*((-33)/9 + 4) composite?
False
Suppose 8 + 10 = p. Is (-12)/p - (-485)/3 a prime number?
False
Let w = 24 + -18. Is (-10 - -51) + w/(-2) composite?
True
Let k(r) = -r**2 - 9*r - 16. Let b be k(-7). Let v(x) = -15*x + 0*x - 8*x - 3. Is v(b) prime?
True
Let d(f) = -f**2 - f + 46. Suppose a + 3 = 0, 0*x - 2*x = 4*a + 12. Is d(x) a composite number?
True
Let h = 1102 - 637. Suppose 0*c = -3*c + h. Is c a composite number?
True
Suppose a - 3*v = 109, 3*a - 3*v - 216 - 93 = 0. Let f = 233 - 44. Let p = f - a. Is p prime?
True
Let z(c) = 153*c**2 - 5*c + 17. Is z(3) prime?
False
Let v = 10 - 6. Suppose 0 = v*j - 6*j - 118. Let b = j - -142. Is b composite?
False
Let u(h) = -2*h**3 + 3*h**2 + 7*h - 5. Is u(-6) a prime number?
False
Suppose 3*u - 4*z + 0*z = -1, 4*u + 4*z = -20. Let b be 28/21*u/(-2). Suppose -12 + 67 = o - 2*h, 3*o - 165 = -b*h. Is o a prime number?
False
Let z = 370 - 183. Is z prime?
False
Let q = 66 - 16. Suppose 0 = -0*t + 5*t. Suppose -5*s + q = -t*s. Is s a prime number?
False
Let i = 11044 + -7451. Is i a composite number?
False
Let s be (-5)/((-50)/(-4))*-15. Suppose -1131 = 3*r - s*r. Is r composite?
True
Suppose 7*r + 3*i - 45 = 4*r, 2*i = -r + 16. Suppose -r = -c + 19. Is c a composite number?
True
Suppose -h + 2*h = 94. Is h + (-2 - (-2 - 1)) composite?
True
Suppose 2*b - u - 34 = 62, -5*u = 5*b - 255. Let q be 4/6 + 4/(-6). Let i = b - q. Is i a composite number?
True
Let f = 642 + 835. Is f a prime number?
False
Is 1383 + (3 - 2) + (3 - 2) prime?
False
Suppose 0 = -2*q - c + 594, -3*q + 839 = -2*c - 66. Is q a prime number?
False
Let a be (-2)/(-2 + 500/251). Suppose 0*y - a = -2*y + 3*x, 2*y - 4*x = 250. Is y a prime number?
True
Let b = -2459 + 4166. Is b a composite number?
True
Let u(q) = 5*q**2 + 6*q - 6. Let g(n) = 4*n - 1. Let d be g(-1). Is u(d) prime?
True
Let f(x) = 332*x**2 + 2*x + 2. Let c be f(-2). Suppose 50 = -4*v + c. Is v a composite number?
True
Let z(h) = -h**3 - 6*h**2 - 5*h + 2. Let d be z(-5). Let v be d*((-10)/(-4) + -2). Let m = v - -36. Is m prime?
True
Suppose -3*t + 2*f - 22 = 0, -3*t - 2*f = -0*t + 14. Is 1984/6 + (-2)/t a prime number?
True
Let g be ((-150)/3)/(6/15). Let z = -72 - g. Is z a prime number?
True
Suppose -7*f = -5*f - 1084. Is f composite?
True
Suppose 9 = 2*r + a, -3*r - 4*a - 4 = -25. Suppose -9 = q - 3*p - 2, 2*p - r = q. Suppose -145 = -q*g + 130. Is g a prime number?
False
Let z be 59 - 2/((-4)/(-6)). Let g = 103 - z. Is g composite?
False
Let s(m) = -3 + 2*m - 7*m + 17*m. Is s(5) a composite number?
True
Suppose 4*b = -2*o + 3070, 0 = 7*b - 2*b + 5*o - 3830. Is b a prime number?
True
Let w be (7/(-3) + 3)*6. Suppose w*h - 440 = -84. Is h composite?
False
Let t(d) = 9*d + 4. Let x = -5 + 10. Is t(x) a composite number?
True
Let t(q) = q**2 - 2*q + 959. Is t(0) composite?
True
Let j = -4 + 6. Suppose -j*m = 4*t - 270, 0*t = m + 3*t - 139. Is m a prime number?
True
Suppose -4 = 4*r + 4*o - 16, -5*r + o = -21. Suppose 3*m - 62 = -r*t, 0 = -4*m + 4*t + 102 - 10. Is m a composite number?
True
Let t(o) = 102*o + 1. Is t(6) a composite number?
False
Let t = 32 + -23. Suppose 0 = -3*y + 2*y + 10. Let n = y + t. Is n a composite number?
False
Let w(z) = 51*z - 3. Is w(4) prime?
False
Let l(x) = -30*x - 26. Is l(-12) prime?
False
Let h = 5 + -9. Is (5/h)/((-3)/132) a composite number?
True
Let q(t) = -11*t**3 + t**2 + 4*t - 3. Let w(u) = -21*u**3 + 3*u**2 + 9*u - 7. Let s(i) = -5*q(i) + 2*w(i). Is s(1) composite?
False
Is (38/2)/(1/29) prime?
False
Suppose 3*d - 10 = n, 3*d + 2*d + 3*n - 40 = 0. Suppose -4*q + 0*q - 4*h = -96, d*h = q - 12. Is q prime?
False
Suppose 2*x - 1492 = -2*x. Is x prime?
True
Let a = -382 - -871. Is a a prime number?
False
Suppose 5*d + 2*o - 7 = 0, 4*d + o = -5 + 10. Let z(h) = 337*h. Is z(d) a prime number?
True
Let v(f) = -f + 14. Let u be v(11). Suppose -3*d + a + 58 = 0, -2 - u = 5*a. Is d a composite number?
False
Let b(x) = -3*x + 1. 