te number?
True
Suppose -o = -q, -4*o + 7*o - 4 = q. Suppose q*r + 3*r + 570 = 4*p, -r - 433 = -3*p. Is p a prime number?
False
Let w(y) = -2*y - 7. Let x(u) = -1. Let k(o) = w(o) + 2*x(o). Is k(-12) a prime number?
False
Suppose -8*v + 10078 = -6*v. Is v composite?
False
Let d(h) = -h**3 + h + 182. Let r be d(0). Let l = r - 61. Is l a prime number?
False
Suppose 5*l = 10*l. Suppose n + 4*u - 43 = l, -2*n - 3*n = -5*u - 340. Suppose -6*v + n = -3*v. Is v prime?
False
Let k be (-1 + -1 + -224)/(-2). Let w = k + -64. Is w prime?
False
Let g = 343 - 152. Is g prime?
True
Let n(c) = 393*c - 29. Is n(4) composite?
False
Let u be (-5)/(-15) - 31/3. Let f(b) = -b**3 - 10*b**2 - 2*b - 9. Is f(u) a prime number?
True
Let q(l) = l**2 - l + 67. Let s(d) = -d**3 + 5*d**2 + 6*d. Let g be s(6). Is q(g) a composite number?
False
Suppose -5*w + 1916 = -w. Is w a composite number?
False
Let y be 8598/7 + (-4)/14. Suppose 0 = -4*w + c + y, -3*w + 1228 = w - 2*c. Is w prime?
True
Let h be (-2)/4 + 30/12. Suppose -h*c + 7*c = 1645. Is c composite?
True
Let t be 17/(1 + 3/(-2)). Let z(g) = 2*g + 1. Let h be z(8). Let f = h - t. Is f a prime number?
False
Suppose -5*i - 2107 + 13262 = 0. Is i a prime number?
False
Suppose -4*p + 26 = 2*n, 5*p - 5*n - 16 = -2*n. Suppose -2*v + p*v = -12. Let u(z) = -9*z - 3. Is u(v) a prime number?
False
Let i = 1741 + -6. Is i composite?
True
Let w = 9 + -14. Is ((-3 - w) + 639)*1 a composite number?
False
Suppose 5*c - 12 = -2. Suppose 0 = -b + c*b - 41. Let x = b + -18. Is x composite?
False
Let b = 218 - -25. Let f = b + -169. Is f/5 + 5/25 prime?
False
Let a = -38 - -357. Is a a composite number?
True
Suppose -2*i - 2*i = -z - 1415, -z + 1780 = 5*i. Is i composite?
True
Suppose 2*h = h + 5. Suppose h*m = m. Suppose m = -4*p - 12, 3*d - 5*p - 89 = d. Is d a prime number?
True
Let a be 0 + 3/(12/40). Is ((-948)/a)/((-28)/70) prime?
False
Suppose 0 = -t - 5 + 15. Suppose -m - 2*m = -4*c + 11, 5*m - 5*c = -t. Is (138/(-4))/(m/(-6)) a prime number?
False
Let h = 4 + 3. Suppose -8*c + h*c = -127. Is c prime?
True
Let m = 128 - 66. Is 2/4*m*2 a prime number?
False
Suppose 2*c - 2 = 4*c. Is -3*c/(-3)*-83 a prime number?
True
Suppose -2*z + 6*z - 20 = 0. Let j = z + -1. Suppose 0 = 3*h - 3, -j*q + 2*h + 90 = -0*q. Is q a composite number?
False
Let i = 0 - -1. Suppose 4*r = 3*r + i. Suppose -p + r + 2 = 0. Is p prime?
True
Suppose 2397 + 5547 = 6*d. Suppose d = 5*a - a. Is a composite?
False
Let k(j) = j**2 + 2*j + 1. Let t be k(-1). Is -2*(-134)/4 - t prime?
True
Suppose -x - 5*f + 115 = 0, 3*f + 338 = 3*x + 11. Suppose -x - 108 = -2*u. Is u a composite number?
False
Let l(z) = -4*z - 1. Let p be l(-5). Suppose p + 34 = h. Is h a composite number?
False
Let b(g) = 20*g**2 + 3*g - 8. Let p be b(-9). Suppose -p = -0*n - 5*n. Is n a composite number?
False
Let n = 792 - -4037. Is n a composite number?
True
Let r = -104 - -661. Is r composite?
False
Suppose 0 = -4*x, 3*x + 21603 = 3*s + 8*x. Is s composite?
True
Suppose 5*u = u + 1772. Is u a prime number?
True
Let u(a) = 13*a**2 + 7*a + 11. Is u(6) composite?
False
Let l(w) = -34*w - 12. Let n(x) = 34*x + 11. Let q(k) = -4*l(k) - 5*n(k). Is q(-5) prime?
True
Let b(p) = -6*p**2 + 3*p. Let n be 2/2*(3 + -4). Let g(u) = u**2 - u + 1. Let a(d) = n*g(d) - b(d). Is a(4) a prime number?
True
Is 20328/99 + ((-4)/6)/2 a composite number?
True
Let f be (30/(-8))/((-1)/4). Suppose 0 = 4*p - p - 57. Let k = p + f. Is k a composite number?
True
Suppose 2*m + 12 = 6*m. Suppose 0 = m*p - 2*k + 29, -4*p + 3*k - 52 = -14. Let r = 20 - p. Is r a prime number?
True
Is (-3)/7 + (-1100)/(-35) a prime number?
True
Let a(d) = -187*d + 5. Let c be a(-6). Suppose 5*n + 4*y = c, 0 = -5*n - 6*y + 3*y + 1124. Is n a prime number?
True
Let i(f) = f**2 + 3*f. Let v be i(-4). Suppose -5*q + 12 = v*z, 3*z - 4 = q + 5. Suppose -17 = -2*h - 3*s, q*s = s + 3. Is h a prime number?
True
Let a(v) = 28*v**2 + v. Let d be a(-1). Let t = d + -42. Is (-99)/t - 2/(-5) composite?
False
Let y = 2747 - 1686. Is y composite?
False
Let c = 2 + 1. Suppose 0 = -c*m + m. Suppose -h + 4*h - 9 = m. Is h prime?
True
Let a(l) = l**3 + 5*l**2 - 6*l + 3. Suppose 0*v - 2*v + 2 = -2*o, -3*o - 38 = 4*v. Let p be a(o). Suppose z - p*z = -14. Is z prime?
True
Suppose 0 = -3*b - 3*c, 7*b - 3*b - c = 0. Suppose 3*g - 5*a - 1 = b, -g + 2*a - 5 = 3*a. Is (74/3)/((-2)/g) a prime number?
True
Is 2 - (-3 + 1 - -2) composite?
False
Let x = -11 + 14. Is x composite?
False
Let q = -711 + 1322. Is q composite?
True
Let c(x) = -231*x. Let z be c(-1). Let s = z + -118. Is s a prime number?
True
Is 1/(26/6 + -4) a composite number?
False
Suppose 4*c = -4*a + 12, -a = -2*a + 5*c - 15. Suppose 3*z - 69 - 33 = a. Is z composite?
True
Let u(r) = 17*r**2 + r. Let l be u(1). Let y = 25 - l. Is y composite?
False
Suppose a - 132 = -3*a. Is a a composite number?
True
Let k(n) = -93*n. Suppose 4*u + 31 - 7 = 5*o, -2*o + 8 = 0. Is k(u) composite?
True
Let n(i) = 10*i**3 + 15*i**2 + 13*i - 8. Let o(w) = -9*w**3 - 14*w**2 - 12*w + 7. Let g(h) = 6*n(h) + 7*o(h). Is g(-6) a prime number?
True
Is 896 + (-3)/(15/(-25)) prime?
False
Let r = -11 - -26. Let n = -175 - r. Let q = 317 + n. Is q a prime number?
True
Let q = -5 + -31. Let f = -24 - q. Let b = 22 - f. Is b composite?
True
Let l be -236*2*(-2)/8. Suppose -2*d + l = -204. Is d prime?
False
Let m(h) = -2*h - 7. Let v be m(-5). Suppose 21 - 3 = v*q. Is (-42)/(-4)*52/q a prime number?
False
Suppose 2*y - 531 = 5*y. Let m be (-1 - (1 + 0)) + y. Let i = -48 - m. Is i a composite number?
False
Suppose -q = -r + 70, -q - 4*q + 218 = 3*r. Suppose 2*c - 209 = -r. Let y = c + -7. Is y composite?
True
Suppose 3*r + 3*b + 2*b = 134, -2*r + 2*b = -84. Is r prime?
True
Suppose -1 - 5 = -2*x. Let h be (2*-9)/((-2)/10). Suppose x*m = 3*z - 153, -2*z - 2*m + h = 2*m. Is z composite?
True
Suppose 11 + 9 = -4*j. Is (-2)/8*j*92 a prime number?
False
Let g be (-7 + 1)/(-3) - 152. Let z = 299 + g. Is z a prime number?
True
Let g be 2 - (3 + 0) - 3. Suppose 8*v - 90 = -2*v. Is g/(-6) + 1137/v a prime number?
True
Suppose 5*j = -3*b + 221, -3*b = -5*j - 0*j + 239. Let t = 33 + j. Suppose m = w - 4*m - t, 2*w = 4*m + 176. Is w a prime number?
False
Let p(z) = -27*z + 1. Suppose -5*y + r = -r + 28, -4*y = -2*r + 24. Is p(y) a composite number?
False
Suppose 3*x = -x - 3*g - 2476, 0 = -3*x - 2*g - 1857. Let k = x + 876. Is k a composite number?
False
Let w = 2 - 0. Suppose -w*b - 3*b = -10. Is 1/((b + 0)/86) prime?
True
Suppose -v - 20 = -0*v. Is 4/10 - 2052/v composite?
False
Let h(r) = 6*r + 9. Let a be h(8). Suppose -4*i = s - a, 2*s - 5*s - i = -116. Suppose -s = 2*n - 3*n. Is n prime?
True
Let b be (-4)/(-6) - (-577)/3. Suppose 4*q - b = 2*l + 311, 5*q - 639 = -2*l. Is q composite?
False
Let c(i) = -i**2 + 6*i + 8. Let t be c(8). Is ((-223)/4)/(2/t) a prime number?
True
Suppose -4*n = 4*z - 2428, 3*n + 811 - 2640 = -z. Is n prime?
False
Suppose -4*i - 2*a = -604, i - 3*a - 158 = -0*i. Suppose 0 = -5*j - 5, -3*c + i = 2*j + 478. Let f = -75 - c. Is f a prime number?
False
Suppose 4*j - 2*u = 3*u - 13, 3*u = 5*j. Suppose -2*b + 34 = 2*i, 4*b + 84 = i + j*i. Is i composite?
False
Let y(q) be the second derivative of -q**4/12 - 4*q**3/3 - 4*q**2 - 3*q. Is y(-6) a composite number?
True
Suppose -2*u + 0*v + 2*v + 716 = 0, -v + 5 = 0. Suppose -u - 75 = -3*x. Suppose -o + 2*o + t = 46, 0 = 3*o - 5*t - x. Is o a prime number?
True
Let x = -638 - -985. Is x a composite number?
False
Suppose 7*o + 4547 - 16489 = 0. Is o composite?
True
Let z(y) = y**2 + 6*y + 5. Let t be z(-5). Suppose -4*n - 2*b + 204 = t, -n - b = -25 - 24. Is n a prime number?
True
Suppose 16*d = 57148 - 19820. Is d a prime number?
True
Let k = 400 + -278. Is k a prime number?
False
Let g be 3/2*(-40)/15. Is ((-76)/10)/(g/10) prime?
True
Let r be (-5 - 0)*(-2)/5. Let s(x) = 62*x**3 + 2*x**2 - 4*x + 3. Is s(r) prime?
True
Let f = 248 - -3359. Is f a prime number?
True
Let j(i) = 3*i**3 - 5*i**2 + 8*i + 8. Is j(5) prime?
False
Suppose 3*k + 8 + 265 = 0. Let z = k + 168. Is z prime?
False
Suppose 4*n + 409 = -3*t - 2*t, 2*n - 3*t = -199. Let k = -46 - n. Is k prime?
False
Let b = 646 + -355. Is b a composite number?
True
Let t = 44 + -12. Let g = 47 + t. Is g prime?
True
Let m(u) 