?
True
Suppose 3*t - 1250 = 2*j - 111, -2*t + 764 = j. Is t composite?
True
Let u(y) = -280*y + 21. Is u(-4) composite?
True
Let q(v) = -7*v**3 + 4*v**3 + 2*v**3 + 11 + v**2. Is q(0) a prime number?
True
Suppose q + 3*q + 4 = 0. Suppose -3*s + 2*j + 90 = 0, 0*s - 4*j = 4*s - 140. Is s - q - 1*-2 a prime number?
False
Let r = -111 - -896. Is r a composite number?
True
Let y(g) be the third derivative of -19*g**4/24 - 5*g**3/3 + 6*g**2. Is y(-5) a composite number?
True
Let x = 85 + 37. Is x a composite number?
True
Suppose -2*b = 2, 5*i - 3*b - 2012 = 4086. Is i a composite number?
True
Let g(v) = 137*v**2 - 8*v - 31. Is g(-3) a composite number?
True
Let i(o) = -38*o + 3. Is i(-2) a composite number?
False
Suppose -b - 3*y - 5 = 0, -5*b - 33 = 5*y - 8. Is 4*(b/(-2) + -1) a prime number?
False
Let v(y) = -8*y**3 + 3*y**2 + 4*y + 5. Let b(z) = -9*z**3 + 4*z**2 + 5*z + 6. Let m(g) = 4*b(g) - 5*v(g). Is m(2) composite?
True
Let k be (-6)/(-9)*(1 - 4). Is (79/2)/(k/(-4)) prime?
True
Let y be ((-2)/(-4)*0)/(-1). Suppose 5*z + 44 + 91 = y. Is (2 - (z - 2)) + 0 prime?
True
Let i be 1*1/(-2)*4. Let s be (1/3)/(i/(-12)). Suppose 5 + 47 = s*c. Is c a composite number?
True
Suppose t - 45 = -8. Suppose -64 = -3*x + h, -2*h - 3*h + t = 2*x. Is x prime?
False
Is (-290)/(-4)*2 - (1 + -5) prime?
True
Suppose y + 49 = 258. Is y a composite number?
True
Suppose 0 = -0*h + 3*h + 3*b - 3, 5*b = 5*h + 45. Is h/1 - 3341/(-13) a prime number?
False
Is 1/6 + 7/(-6) - -488 a composite number?
False
Suppose 4*n + 4*q - 62 = -2, 2*n - 2*q - 22 = 0. Is n a prime number?
True
Suppose -12 = -3*g - 0. Suppose -15 - 13 = g*k. Let y = k - -13. Is y prime?
False
Let k be (108/10)/((-6)/(-80)). Let b = 367 - k. Is b prime?
True
Let u(b) = 8*b**2 - 3*b + 1. Is u(-6) a composite number?
False
Suppose -c - c = 36. Suppose n + 1 = 0, -149 - 111 = -5*h + 5*n. Let m = h + c. Is m a prime number?
False
Let a(i) be the third derivative of 5*i**4/24 + 5*i**3/6 - i**2. Is a(4) composite?
True
Suppose 0 = 3*w - 1100 - 1603. Is w composite?
True
Suppose -4*k + 48 = -0*k. Let d be (-4)/k - 14/(-6). Suppose 3*j + 16 = b - 48, d*j + 266 = 4*b. Is b a prime number?
True
Suppose 4*h + h = 15. Let m(x) = -3*x**3 + 7*x**2 + 2*x - 3. Let v(b) = -3*b**3 + 6*b**2 + b - 3. Let a(y) = 2*m(y) - 3*v(y). Is a(h) a composite number?
True
Suppose h + 3*h - 940 = 0. Is h a composite number?
True
Let q(v) = 7*v**3 - v**2 + 5*v + 54. Let u(x) = 13*x**3 - 2*x**2 + 9*x + 107. Let a(h) = 11*q(h) - 6*u(h). Let g be a(0). Let j = 197 + g. Is j composite?
False
Let a(o) = o**2 + 10*o - 22. Is a(9) composite?
False
Let k be 0 + 0 - (-21 + 3). Suppose 4*m - 3 - k = 3*f, -4*f = -5*m + 27. Suppose -m*l + 712 = -89. Is l a prime number?
False
Let g(b) = -129*b + 2. Is g(-5) composite?
False
Suppose -75 = -q - 4*o + 492, 3*q + 3*o - 1746 = 0. Is q a prime number?
True
Let i = -6 + 10. Suppose -i*u - 3*t = -1157, t = -u - 3*u + 1167. Is u prime?
True
Let o(x) = -4*x - x - 3*x**2 + 4*x**2. Let d be o(3). Is ((-3)/d)/((-3)/(-198)) a prime number?
False
Suppose k - 2 = -k, 3*w + 19 = -2*k. Let g = w - -11. Is g prime?
False
Let n(f) = -f**2 - 4*f - 3. Let x be n(5). Let j = -33 - x. Is j composite?
True
Let z be (58/8)/((-3)/(-60)). Let a = z + -39. Is (a/(-8))/((-3)/12) composite?
False
Let s(w) = -w**2 - 7*w + 18. Let o be s(-8). Suppose o*u - a = 5*u + 545, 3*a - 109 = -u. Is u composite?
False
Let g = -8 - -4. Let h(z) = 2*z + 6. Let j be h(g). Let q(w) = -3*w - 2. Is q(j) composite?
True
Let n = -7 + 12. Suppose -n*j = 4*s - 59, 4*s + j = -0*s + 79. Is s a prime number?
False
Suppose -5*j - 3*c = -163 - 226, c + 397 = 5*j. Is j a prime number?
True
Let o be 2*1*(-9)/(-2). Let z = o + 26. Is z a composite number?
True
Let f(n) = -2*n + 5. Let p(u) = u**3 - 6*u**2 + 3*u + 1. Let h be p(5). Is f(h) prime?
True
Suppose 3 = 2*u - u. Suppose u*f - 175 = -2*f. Is f prime?
False
Suppose 3*g + 996 = -3*a, 8*g - 4*g = -5*a - 1332. Let w = 582 + g. Suppose 3*z = z + w. Is z a prime number?
True
Let s be (-27)/(-2)*2/3. Suppose 2*z = -z + s, 0 = d - 5*z + 15. Suppose 69 = -d*q + 3*q. Is q prime?
True
Suppose -101 = c - 2*c. Suppose 5*b + m - 529 = 0, -2*b + c = -b + 5*m. Is b a composite number?
True
Let d(f) = f**2 - 8*f + 4. Let z be d(5). Let l = z + 4. Is (2 + -1)/((-1)/l) composite?
False
Suppose 4*f + f = 425. Is f a composite number?
True
Is 6/9 + (-43)/(-3) composite?
True
Let n = 4 + 14. Let z(q) = n*q**2 - 2*q - 2*q - 6*q**2 - 3*q**3 + 10 + 2*q**3. Is z(11) a composite number?
True
Let m = -20 + 23. Is ((-2)/m)/(8/(-6684)) prime?
True
Let v = -5 + 20. Is v composite?
True
Let s(k) = 3*k**2 + 15*k + 1. Is s(-12) a prime number?
False
Suppose -2*i = -0*i. Suppose -6*z + 2*z + 3*t = -1048, -2*z + t + 522 = i. Is z a prime number?
False
Suppose -5*h + 3*u = -5803, -4*h + 2*u - 7*u = -4672. Is h composite?
False
Suppose 481 + 821 = -2*z. Let o = -412 - z. Suppose 3*f - o = -5*v - 0*f, -4*v + 4*f + 204 = 0. Is v composite?
True
Let b = -1091 - -1878. Is b a composite number?
False
Let j be (-1 + 0 - 0) + -2. Let a = -32 - -16. Is (j/4)/(2/a) a prime number?
False
Suppose -4 + 39 = 5*r + 5*a, 4 = a. Suppose r*n - 100 - 95 = 0. Is n a prime number?
False
Suppose -733 = -z + u, -4*z = -8*z - 4*u + 2964. Is z composite?
True
Let w = -3 + 7. Let h(k) = 4 + 3 - w*k - 4. Is h(-5) prime?
True
Let q = -6 + 6. Suppose q = -5*g - 2*a + 1738, -5*g = -5*a + 3*a - 1742. Is ((-3)/(-2))/(6/g) a prime number?
False
Let m be 1/(-4) - (-9)/4. Suppose 0 = 4*x + 8, 5*s - m*x + 16 + 100 = 0. Let a = s + 83. Is a a prime number?
True
Let r(k) = k + 1. Let n be r(-2). Let w(y) = 66*y**2 - y. Is w(n) a composite number?
False
Suppose -2*h - h - 45 = 0. Is 2108/10 - 3/h composite?
False
Suppose -614 = -i - i. Is i a prime number?
True
Suppose 0*g = 4*g + 40. Let x be (25/g)/(2/(-148)). Suppose -s + 6*s - x = 0. Is s prime?
True
Let k = -6 - -6. Suppose k*c - 22 = -4*g + 2*c, -3*c - 30 = -5*g. Is ((-1)/g)/((-1)/141) a prime number?
True
Let y = 5087 - 3430. Is y prime?
True
Suppose -1 = -z - 7. Let j be (1 - 7)/(2/z). Suppose j - 51 = -3*b. Is b a prime number?
True
Suppose 3*f - i = 811, 3*f - 5*i = -0*i + 827. Is f a composite number?
False
Let z(q) be the second derivative of 11*q**3/6 + q**2/2 - q. Let x(k) = -2*k**2 + 10*k + 2. Let u be x(5). Is z(u) a composite number?
False
Suppose -3*f + 184 = 5*c, 2*c - 5*f = -3*c + 160. Let r be c/21 + 2/6. Suppose 0 = 5*a + g - 550, -3*a + 2*g + 307 = -r*g. Is a composite?
False
Suppose 6*z + 4 = 2*z. Is 16254/24 + z/4 a composite number?
False
Let s(i) = -i**3 + 14*i**2 + 12*i - 1. Is s(10) composite?
True
Is (0 + 230/(-8))*-4 composite?
True
Let j = 1444 - 605. Is j a composite number?
False
Let u = -6 + 13. Let y(t) = -t**3 + 8*t**2 - 6*t - 5. Let v be y(u). Suppose -b + 28 = 3*q, v*b + 2*q = 7*b - 191. Is b composite?
False
Let n be 120/(2 - -1) - -1. Let m = -20 - n. Let u = 104 + m. Is u prime?
True
Let m = 653 - 450. Is m composite?
True
Let x be (-10)/35 - 1167/7. Let f = -82 - x. Is f a composite number?
True
Suppose -5*s = -2*b - 244, 3*s + 12 - 256 = 2*b. Let j = 189 + b. Is j composite?
False
Let r(p) = -p + 5. Let m be r(5). Suppose m*f + 5*d = 4*f - 2716, -5*d + 3395 = 5*f. Is f a composite number?
True
Is (15 + 4)*2/2 prime?
True
Suppose -2*g + 4*d = -24, 0*d + 2*d = -2*g + 42. Suppose -c + 17 = -g. Is c a composite number?
True
Let q(l) = l**3 + 3*l**2 - 4*l. Let w be q(-4). Let s = 4 + w. Suppose -d + 48 = -b - s, -3*d + 153 = -2*b. Is d a composite number?
True
Is ((-3)/6)/((-1)/1418) a prime number?
True
Suppose 5*a - 4 = 3*v, 2*v - 3*v = -5*a - 2. Let d = 0 - v. Suppose 0 = 2*g - 49 + d. Is g a composite number?
False
Let a = 22 + 22. Suppose b + b - a = 0. Suppose 2*h - 3*h + 4*x = -b, -2*x = 4. Is h prime?
False
Let d(n) = -n**3 + 3*n**2 + 2*n - 4. Let g be d(3). Suppose 0 = -a - 3*r + 16, -a + 1 = g*r - 11. Is a/14 - (-514)/14 prime?
True
Let c(x) = 255*x**3 - 2*x**2 + 1. Is c(1) a composite number?
True
Let i = -5845 - -8639. Let x be 4/12 - i/(-6). Suppose -x = -l - l. Is l prime?
True
Let h = 1027 - 542. Is h a prime number?
False
Let s(w) = w**3 + 13*w**2 + 13*w + 6. Let a be s(-12). Let r(z) = 16*z**2 + 5*z - 11. Is r(a) a prime number?
False
Suppose -5*q - 4*b = -43, 3*q - 36 