-31. Let n = i - -64. Is n a prime number?
True
Suppose -b + 3*t - 4 = 5, 3*b - 13 = -t. Let a be (1/b)/((-1)/(-3)). Suppose 0 = 4*z - 59 - a. Is z a prime number?
False
Is -2*((-273825)/10)/9 a composite number?
True
Let s(l) = 8*l**2 + 21*l - 7. Is s(6) a composite number?
True
Let s(m) = -m**2 - 2*m + 2. Let q be s(2). Let f = q - -8. Suppose 5*l + 40 = -f*j + 3*j, 2*l = 10. Is j composite?
True
Is (0 - 8/12)*-69 a composite number?
True
Let n(y) = -93*y + 10. Is n(-3) a prime number?
False
Is 228/(-8)*20/(-6) a composite number?
True
Suppose -1338 = -3*w - 0*w. Is w prime?
False
Let b(i) = i**2 - 4*i + 7. Let g be b(-6). Let v(s) = -81*s - 2 + 3 - g*s. Is v(-1) a prime number?
True
Let z = 2114 - 1257. Let w = z + -566. Is w prime?
False
Let r(q) = 22*q**2 + 2*q + 17. Is r(-5) a composite number?
False
Let i = -5 + 7. Suppose i*d = d + 46. Let x = 65 - d. Is x a composite number?
False
Let u(d) = -10*d**3 - 15*d**2 - 12*d - 22. Let t(f) = 7*f**3 + 10*f**2 + 8*f + 15. Let z(y) = -7*t(y) - 5*u(y). Let v be z(-5). Let x = v - -29. Is x composite?
True
Let r be (-2)/(-10) + 1192/40. Let q = r - 11. Is q prime?
True
Suppose 5*c + 478 = 2*a - 603, 0 = a - c - 548. Is a composite?
True
Let a(x) = x**2 - 3*x. Let t be a(4). Suppose -2*b = -4*y + 164 + 146, t*y - 319 = -b. Is y a prime number?
True
Suppose 12 = 4*o - 0. Let g(h) = 61 - h**3 + 78 + 2*h**o + h**2 - 33. Is g(0) a prime number?
False
Let p be (-16)/(-10) - (-2)/5. Let f = p + 2. Suppose -f*x = -3*w - 82 - 38, 20 = 5*w. Is x a prime number?
False
Suppose 0*h - 5 = 5*h. Let x(o) = 52*o**2 + 1. Is x(h) a prime number?
True
Suppose 34 = y - 487. Is y a prime number?
True
Suppose -5*w + 9 = 29. Let h be (-52)/(-14) + w/(-14). Is 2/3*474/h prime?
True
Let q = -12 + 14. Let g be 4/(-18) + (-28)/36. Is (3 - q)/(g/(-21)) composite?
True
Let j = 8 - 5. Suppose 8*c - 3*c = j*d - 25, 4*c + 2*d = -42. Let t(v) = -v**3 - 7*v**2 - 3*v - 3. Is t(c) composite?
True
Let w be 17/(-3)*(86 - -7). Let z = w - -856. Is z a prime number?
False
Let m(n) = n + 6. Let x be m(-6). Suppose 0 = 4*w - x*w - 236. Is w composite?
False
Suppose 0 = 3*b - 0 - 6. Suppose b*u + 12 = 6*u + 4*t, 3*t = -u - 3. Is (-159)/(-2)*4/u a composite number?
False
Let v = 2944 + -1953. Is v a composite number?
False
Let w = -11 - -25. Suppose 3*r = r + w. Let b = r - -4. Is b a composite number?
False
Suppose 0*n - 278 = 2*n. Let u = 252 + n. Is u composite?
False
Suppose -2*n + 555 = -3919. Is n a prime number?
True
Suppose 4*y - 2*y = 6. Suppose 4 = -4*f - 0. Is f/(-3) - (-11)/y composite?
True
Let v(q) = 3 + 2 - 7*q + q**3 - 3 + 6*q**2. Let s be v(-7). Suppose -a - s*i = -37 - 30, 47 = a - 2*i. Is a a composite number?
True
Suppose 2*z - z = 5, -2*d + 24 = 4*z. Suppose -4*l + d*l + 310 = 0. Is l a prime number?
False
Suppose -2*g = -1 - 1. Let j be (1 + g - 0) + 8. Suppose -2*u + u = -j. Is u composite?
True
Let u be (-3)/(-3) + 5 + -1. Suppose 93 + 72 = u*m. Is m prime?
False
Let x(w) = w + 2. Let k be x(-2). Suppose 9 = -k*q + 3*q. Let l = 6 - q. Is l a composite number?
False
Suppose -3*q + 0*q - 6 = -3*z, -5*z = -5. Let u be q/1 + -3 + -177. Let y = 300 + u. Is y a composite number?
True
Let v(d) = -12*d + 7. Is v(-6) a prime number?
True
Suppose 0 = -8*j - j + 15993. Is j prime?
True
Let n = -100 - -106. Is n a composite number?
True
Suppose 0 = -x + 5*x - 8. Let j be (-2)/(-7) + 48/(-21). Is 2/x - (j - 3) prime?
False
Suppose s = -0*s - 2*c + 243, 0 = -5*c + 10. Suppose 5*a - 2*i + s = 1796, -646 = -2*a - 5*i. Suppose 0 = -5*u + a + 132. Is u composite?
False
Let s(y) = 12*y**2 - y + 17. Is s(6) prime?
True
Let f = -795 - -452. Let p = 484 + f. Is p prime?
False
Let i(y) = -231*y + 2. Let u be i(-2). Let x = -241 + u. Is x prime?
True
Suppose t - 3*j - 51 = -4*t, 4*j - 1 = -t. Suppose 0*i - 3*i = -t. Suppose -n - 22 = -i*n. Is n composite?
False
Let n be 2*1 - (-935)/5. Suppose 559 + n = 4*d. Suppose -4*a = -8*a + r + d, -2*r = a - 40. Is a a prime number?
False
Suppose b = -2*w + 4*b + 8, 14 = -w - 3*b. Let k be 7/2*(w + 42). Suppose 0 = -3*s - s + k. Is s a prime number?
False
Let o(s) = s**3 - s**2 + s - 2. Let y be o(2). Let d be (-3)/((-6)/y)*120. Suppose 4*a - 130 = -2*i, -i = -5*i - 4*a + d. Is i a prime number?
False
Let c be (2 + 1 + 0)*-1. Is (64 - 0)/1 - c a composite number?
False
Let g(r) = r - 2. Let y be g(1). Let v(h) = -77*h. Let i be v(y). Let k = 16 + i. Is k composite?
True
Let y(r) = r + 67. Let u be y(0). Suppose 2 = -f + u. Is f prime?
False
Let m(z) = z**2 - 13*z + 14. Let n be m(12). Suppose 0 = n*x - 25 - 109. Let g = 146 - x. Is g prime?
True
Let i = 78 - 71. Is i a composite number?
False
Suppose 16 = -5*c + 41, -5*c = -4*k - 893. Let d = -98 - k. Is d composite?
True
Let k = -236 + 80. Let t = k - -635. Is t a composite number?
False
Suppose -8*u + 7886 = -6*u. Is u a prime number?
True
Suppose -6 = 4*p + 18. Is -10*(21/p + 2) a prime number?
False
Let l = -12 - -15. Suppose l*c = -2*c + 1025. Is c a composite number?
True
Suppose h = -0*h + 23. Suppose -z - r - r = -h, -5*z + r + 159 = 0. Is z prime?
True
Suppose b + 2*b - 66 = 0. Suppose 2*y + 14 = -l, 5*y = 2*l + 3*y + b. Is (l/10)/(4/(-290)) a composite number?
True
Let z(y) = -2 + 8 - 201*y + 6*y**2 + 196*y + 0*y**2. Is z(7) prime?
False
Let i be (3/6)/(2/28). Suppose z - 23 = -i. Let l = z + 37. Is l prime?
True
Let j(g) = -129*g - 33. Is j(-10) prime?
False
Let h = -79 + 113. Let w = h - 150. Let b = 175 + w. Is b prime?
True
Suppose 3*l - 652 = -l. Is l prime?
True
Let x(h) be the first derivative of h**2/2 + 11*h - 3. Is x(8) prime?
True
Let i(f) = -f + 1. Let q be i(-1). Let y(k) = -k - 6. Let t be y(-7). Suppose q*m - t = 5. Is m prime?
True
Let n = 1 + -1. Suppose u + 4*s - 52 = 8, n = 4*u + 4*s - 180. Suppose -u = -a - 14. Is a a composite number?
True
Is (-12)/20 + 776/10 composite?
True
Suppose -13068 = 3*r + r. Is 16/(-20) + r/(-15) a composite number?
True
Suppose 3 = 2*k + 13. Let b be k*7*56/(-10). Suppose 3*w - 7*w = -b. Is w composite?
True
Let x = 0 + -32. Let s be (6/4)/((-3)/x). Let w = 41 + s. Is w a composite number?
True
Let x = -72 - -7. Suppose -4*s + 340 = s. Let z = s - x. Is z a prime number?
False
Let p = 0 - -1. Suppose -3*a + x + 3*x = -778, 0 = x + p. Suppose 2*q = 4*z + 170, 3*q + 3*z - a = 8*z. Is q composite?
True
Is 982 + (-3)/1 - 2 prime?
True
Suppose -2*r - 4 = 0, -5*v - 3*r + 1426 = -1813. Is v a prime number?
False
Let h(w) = w**2 + 6*w + 1. Let r be h(-6). Is r/((-315)/(-157) + -2) a prime number?
True
Let b(l) = 10*l - 7. Let m(g) = 19*g - 13. Let v(w) = -7*b(w) + 3*m(w). Is v(-9) prime?
True
Let l = -53 + 93. Let s = -96 - -155. Let i = s - l. Is i prime?
True
Let o be (105/10)/((-1)/(-6)). Suppose -5*j = -f - 78, 5*j - o = -3*f - f. Is j composite?
True
Let b = 71 + -18. Is b composite?
False
Let u be -8*(-4)/(-40)*-5. Suppose -u*h + 89 = 13. Is h a prime number?
True
Let w be 76/18 - (-6)/(-27). Let b(m) = m**3 - 3*m**2 + 7*m - 7. Let i be b(5). Suppose k = 5*h + 72, -w*k + i = -3*k + h. Is k composite?
True
Suppose u = -4*z + 5*u + 3120, 3908 = 5*z + 3*u. Let a = z + -402. Is a a prime number?
True
Let a(o) = -3*o - 6. Let i = 8 + -12. Let x be a(i). Let d(s) = s**2 - 2*s + 7. Is d(x) composite?
False
Suppose 4*j + 32 = 4*z, -j + 0 + 2 = z. Suppose -5*c - 7 = -3*q + 4, -4*q = -z*c - 13. Suppose q*b - 63 = -19. Is b a composite number?
True
Let r = 29 + -51. Is (-1734)/r - 6/(-33) a composite number?
False
Let b = -4 - -8. Suppose -b = -0*z - 4*z. Is (48/(-15) - z)*-5 a composite number?
True
Let s(y) = 1 + 38 + 16 - y. Let q(m) = -m**3 - 3*m**2 - 3*m - 2. Let o be q(-2). Is s(o) a composite number?
True
Let z = 462 - 25. Is z prime?
False
Let n = 3513 - 1970. Is n a composite number?
False
Let p(g) = g**3 + g**2 - 2*g + 251. Is p(0) prime?
True
Is (1/2)/(6/4092) a composite number?
True
Let u = -372 + 639. Is u composite?
True
Let c(i) = 892*i**3 - i**2 + i. Let s be c(1). Suppose -s = -3*b - b. Is b a prime number?
True
Let k(d) = 3*d**2 + d + 7. Let r be k(-4). Let o = 11 + 15. Let p = r + o. Is p a prime number?
False
Let t(z) = z**2 + 5*z + 2. Let f be t(-6). Let j(l) = -4*l + 8*l + f*l + 6*l - 2. Is j(2) composite?
True
Let t = 2 + 1. Suppose t*y + y - 8 = 0. Suppose 4 = 3*g - y. Is g pri