 0. Is z a prime number?
True
Let m(b) = 111*b - 64*b + 8 - 70*b. Is m(-3) a composite number?
True
Let t(b) = b**3 - b. Let r(l) = 3*l**3 - l - 1. Let a(f) = -r(f) + 4*t(f). Let w be a(2). Suppose 1012 = m + w*m. Is m composite?
True
Suppose 3*l - 6*l - 7503 = 0. Let i = -1027 - l. Suppose -i = -4*y + 2*t, 446 = y - t + 80. Is y prime?
False
Let z = -225 + 1412. Is z a prime number?
True
Let r(m) = 2330*m**2 + 4*m + 3. Is r(-1) a composite number?
True
Suppose -5*n + 112 = 4*f, 4*n + 2*f - 116 = -n. Suppose 22*d - n*d = -2798. Is d a composite number?
False
Suppose -s - 1366 = k - 29414, -2*s = -2*k + 56076. Is k a prime number?
False
Let y(f) = 221*f**2 - 3*f + 3. Is y(1) a composite number?
True
Let c(r) = -1 + 2 + r**2 + 6 - 15 + 6*r. Suppose 3*l = -0*l - 27. Is c(l) a prime number?
True
Suppose 4*i - 1 = -s + 10, -s = -4*i + 13. Suppose i*d + j = 2634, -4*d + j = -3*d - 874. Is d a composite number?
False
Let h = 629 + -1008. Let p = 1536 - h. Is p composite?
True
Let y(k) = -2*k + 14. Let l be y(7). Suppose -3*g = l, 5*b = -5*g + 63 + 852. Suppose f + 3*n - 74 = -2*n, 3*f = -2*n + b. Is f a composite number?
False
Let i(d) = 18*d - 11. Let u be i(9). Suppose 3*g = 12, 2*g + g = t - u. Is t prime?
True
Let s = 17333 - 11800. Is s a composite number?
True
Is ((-3)/(-6))/((-10)/(-43780)) a composite number?
True
Let g(p) = -8*p**3 - 2*p**2 - 8. Let v(h) = -h**3 - h - 1. Let b(x) = -g(x) + 3*v(x). Let t be b(6). Suppose 0 = 4*w - t + 319. Is w a prime number?
False
Let m = -16 + 20. Is 355 - (-4 - (0 - m)) a composite number?
True
Let a(f) = -34*f + 14. Let c(d) = -7*d + 3. Let i(k) = -2*a(k) + 11*c(k). Let n be i(6). Let v = n - -140. Is v prime?
False
Let q(z) = 180*z**2 - 3*z + 10. Is q(-3) composite?
True
Is -7 - (-8 + -6) - -880 a prime number?
True
Let k(f) = 57*f**3 + 3. Let x be k(-3). Let r = -263 - x. Is r a composite number?
True
Let z(c) = 7*c**2 - 33*c - 121. Let a(j) = -4*j**2 + 16*j + 61. Let h(o) = -11*a(o) - 6*z(o). Is h(-24) a composite number?
True
Let r(x) = 3136*x**3 + 3*x - 2. Is r(1) a composite number?
False
Let d(w) = w - 2. Let l be d(7). Suppose -l*h + 10 = -i, 0 = i + 3*i. Suppose h*z + s - 282 = 0, 2*z + 3*z - s = 691. Is z a composite number?
False
Let a be 1/(-5*1/(-200)). Is 57/(-6)*(2 - a) a prime number?
False
Let q(u) = -4*u - 19. Let r be q(-17). Let w = r - 29. Is (-12)/w - (-718)/5 a composite number?
True
Suppose -3*d + f + 260 + 572 = 0, 0 = d + 3*f - 274. Let z = d + 54. Is z a composite number?
False
Let f = 23131 - 13412. Is f composite?
False
Let q(t) = t**3 + 3*t**2 + 3*t + 3. Let y(l) be the first derivative of -l**4/4 + l**3 - 4. Let u be y(2). Is q(u) prime?
True
Let n be 11/2*(2 + (-8 - -4)). Let h(u) = -77*u + 4. Is h(n) a composite number?
True
Let a be (2 + 0 - 6)*714/24. Let m = 450 + a. Is m prime?
True
Suppose s = -2*s + 2028. Suppose -5*i + 4*x = -3825, -i + x + 89 = -s. Let d = i - 224. Is d a prime number?
True
Is 1 + 3 + 242490/(-6 + 16) prime?
False
Let q be 2/(-3) + (-228488)/(-39). Suppose 6*g + q = 22460. Is g prime?
True
Let m(n) = -n**2 - 7*n - 7. Let r be m(-6). Let v = r - 9. Is 4/v + (-30570)/(-50) prime?
False
Is 17 + -22 - (684656/(-4) - 2) a composite number?
False
Let g = -122 + 119. Is g*(-20)/(-12) - -4 - -1564 a composite number?
True
Suppose j + 15*t = 12*t + 7748, 2 = -2*t. Is j prime?
False
Let v be -25*(-2)/(-4)*4. Let w be -1 - 139/2*v. Suppose -a + w = 5*a. Is a composite?
True
Let o(i) = -19*i. Let h be o(-2). Suppose -h = -5*b - 13. Suppose -b*f = -5, -l - 1 + 33 = -f. Is l a prime number?
False
Suppose 3*w = -15, w = 2*h + 2*h - 21. Let d be (h + -2 - 566)*-4. Suppose -5*g = 5*u - 2835, g + 3*g - d = -u. Is g composite?
False
Let s = 231 + -74. Suppose 314 = 2*l + 4*k, -l + 2*l - s = 5*k. Is l a prime number?
True
Let m be ((-6)/4)/(15/(-20)). Suppose -5 - 9 = -4*y + m*a, 4*a = 5*y - 22. Suppose 75 = y*l - 23. Is l prime?
False
Let g = 109 + -103. Let f(j) = 23*j**3 - 4*j - 7. Is f(g) prime?
True
Let s(d) = 349*d + 1 - 80*d - 8. Is s(4) a prime number?
True
Let b(j) = -4162*j + 1031. Is b(-16) a composite number?
True
Let m be (-4*6/(-8))/(0 + 1). Suppose -1292 = -m*s - 281. Is s a composite number?
False
Let n(b) = 380*b**3 - 2*b + 1. Is n(1) prime?
True
Is 14996 + 35/7 - 6 prime?
False
Let u(d) = 113*d**3 - 3*d**2 + 6*d + 1. Is u(3) prime?
False
Let w = 465 - -85. Let a = 783 - w. Is a prime?
True
Suppose n - 738 = 2185. Is n a composite number?
True
Suppose -326 + 7037 = 3*n. Is n composite?
False
Suppose 2*q = 4*t - 44, t - 5*q = -3*t + 56. Suppose 0 = -f + t - 7. Suppose 5*c + f*d = -d + 3146, -5*d + 616 = c. Is c a composite number?
False
Suppose -20*c - 25 = -25*c. Suppose -4*j - 34 = 5*y, -j + c*y = -4*j - 28. Is 2*((-1947)/j + 0) a prime number?
False
Suppose 2*t - 858 = g + 14139, -3*t + g + 22498 = 0. Is t composite?
True
Let l = 15 + -8. Suppose l - 4 = i. Suppose -i*a + a = -1258. Is a a prime number?
False
Suppose 4*k = 4*h - 0 - 4, 4*h + 41 = -5*k. Is h/(-10) - (-4452)/20 composite?
False
Suppose -1551 = -6*b - 24561. Let d = -2702 - b. Is d a prime number?
False
Let b(r) = 9*r**2 + 18*r + 116. Is b(15) composite?
False
Let z(d) = 16*d. Let m be z(-1). Let u = m + 10. Is (-6)/9 + (-982)/u composite?
False
Let l = 10 + 30. Suppose -l*y - 7715 = -45*y. Is y composite?
False
Let h be (24/10)/((-4)/(-26900)). Suppose -2*u + h = -6*t + 3*t, 5*t = 2*u - 16140. Is u/45*6/4 a composite number?
False
Let b(i) = 17*i**2 - 6*i + 4. Let v be b(2). Is ((-80)/v)/((-4)/174) composite?
True
Let f(v) = -4*v**2 + 22*v - 14. Let m(y) = 6*y**2 - 33*y + 21. Let s be -10 - 0 - 8/(-4). Let b(u) = s*f(u) - 5*m(u). Is b(-8) prime?
True
Is 18837 + (-17 + 7)/(-5) a prime number?
True
Let f be -3 - (27/(-3))/3. Let m be (f + 10)/(-2)*1. Is (-3)/(-15) - 1524/m composite?
True
Is (-2)/11 - ((-39386760)/154)/12 composite?
False
Let b(a) = -2*a - 4. Let o = 23 + -20. Let x be b(o). Let n(k) = k**2 + 7*k + 17. Is n(x) composite?
False
Let c(u) = -715*u + 584. Is c(-17) prime?
True
Let x(q) = -5*q**2 + 3*q + 1. Suppose 2*y = -3*y + 15, 0 = -4*t + y - 15. Let p(m) = -9*m**2 + 5*m + 1. Let g(o) = t*p(o) + 5*x(o). Is g(6) a composite number?
True
Suppose 13*s - 48291 = -12268. Is s a composite number?
True
Is 1*-3433*(-15)/45*3 a prime number?
True
Let h be 18/12*(-2 - -4) - 1. Suppose 5*k - 4*f = -5*f + 3384, k - h*f - 679 = 0. Is k composite?
False
Let x(m) = -m**2 + 4*m + 11. Let c be x(6). Is (46/(-4))/(c/118) composite?
True
Is 41/((2/(-1046))/(5 + -6)) a prime number?
False
Suppose 3*b = 20*o - 15*o + 354, 4*b - 4*o - 472 = 0. Is b prime?
False
Suppose 21445 = 2*u + 3*c, 2*u + 2*c = -2*u + 42902. Is u composite?
True
Suppose 0 = 5*v - 8 - 2, 2 = 2*a + v. Suppose 0 = 3*c - a*c - 573. Is c prime?
True
Let k(h) = -5*h + 2. Let j(a) = -3*a + 24 - 31 - a**2 - 4*a. Let b be j(-7). Is k(b) a composite number?
False
Suppose 0 = -24*k + 28*k + 144. Let f = 283 - k. Is f a prime number?
False
Suppose 736*q = 725*q + 1001. Is q composite?
True
Let x(k) = k**2 - 2*k - 3. Let r be x(4). Suppose 5*v - 56 + 16 = r*f, 7 = 2*v + f. Suppose -3 = q - 1, v*q - 103 = -m. Is m a prime number?
True
Let v = 6915 + -1136. Is v composite?
False
Let n = -1777 + 3336. Is n prime?
True
Let g(h) = 5*h**3 - 10*h**2 - 5*h - 1. Is g(9) a composite number?
False
Suppose 0 = -8*j - 49*j + 51699. Is j a composite number?
False
Let o(c) be the first derivative of 4*c**3 - 5*c**2/2 + 2*c + 2. Let b be o(-5). Suppose 3*j = -4*t + 453, 3*t = 6*t - 2*j - b. Is t a prime number?
False
Suppose 0 = 3*j - 4*j + 1. Let s(g) = -4 + 0 + j - 6*g + 2*g**2 + 0. Is s(6) prime?
False
Suppose -1343 - 2027 = -5*a. Is a/2 - 28/14 prime?
False
Suppose 1 = 4*c - h, 3*c + 2*h + 1 = -1. Suppose 5*v = -c*v - 10. Is ((-1)/v)/((-3)/(-402)) a prime number?
True
Suppose 36*q = -2*d + 31*q + 27532, 13781 = d - 5*q. Is d a composite number?
True
Suppose 0 = -3*g - 4*u + 3969, -2*g = u - 2429 - 222. Is g a composite number?
False
Let x = -777 + 229. Let v = x - -1069. Is v prime?
True
Suppose 5*n = -3*x + 218428 + 150096, 6 = 2*x. Is n a prime number?
False
Suppose 2*f = -4*w + 6, -f = -w - 4*w - 10. Suppose 3*v + 2*v = f*m + 6295, 0 = m. Is v prime?
True
Suppose -6*g + 2*g - 16 = 0. Let j be 2217/(1/(g/6)). Let v = -609 - j. Is v compo