 d = a - 33. Is d prime?
True
Let s = 1 - -1. Let j(z) = -z**3 + 10*z**2 - 5. Let r be j(8). Is (-2 - r/(-6))*s a prime number?
True
Suppose 0 = 4*l - 27 + 7. Suppose -2*f + 227 = 2*w - 5*f, 5*w + l*f - 505 = 0. Is w a composite number?
True
Let j = 4512 + -2413. Is j prime?
True
Suppose 0*o = 4*o + 2*x - 344, -5*x - 75 = -o. Is ((-9)/(-15))/(1/o) composite?
True
Let t be (-6)/(3*(-4)/6). Suppose t*d + d = 0. Suppose d = 2*i + i - 381. Is i prime?
True
Let y = -6 + 217. Is y a composite number?
False
Let x = -7 + 3. Let o = 13 + x. Is 118*(-1 + o/6) composite?
False
Is (4 + -5)*1 - -218 prime?
False
Is ((-266)/(-6))/(6/108) - 1 composite?
False
Suppose 2*k - 5 = z, 0 = 2*z + 4*k - 1 - 5. Let l be -3 - z - (-8 - -2). Is 14/l + (-3)/(-6) composite?
True
Let y = 1 + 2. Is (-2)/y*(-759)/2 prime?
False
Let m(l) = l - 5. Let y be m(-4). Let x be (-10)/45 - 839/y. Suppose -g + x = 2*g. Is g composite?
False
Suppose 0 = 3*n - 1 - 5. Is (2 - (-178)/n)*1 prime?
False
Let o = -4 + 6. Suppose 0 = q - 3, o*q + 0*q = 4*i - 1258. Suppose -i = -0*g - 4*g. Is g composite?
False
Suppose 6*f - 184 = 470. Is f composite?
False
Let y = 3 - 5. Is y + 0 - -21*1 a prime number?
True
Let b(g) = 11*g**2 - 5*g + 1. Is b(4) prime?
True
Let a = -9 - -13. Suppose a*v + 56 = 324. Is v composite?
False
Suppose -7*n + 13949 = 6*n. Is n composite?
True
Suppose 5*s - 4*c = 7347, -4880 = -5*s + 3*c + 2469. Is s composite?
False
Suppose -2*u - 3*p + 46 = -2*p, 0 = -4*p + 16. Suppose 3*g = 4*g - u. Is g prime?
False
Let a(w) = w**3 + 5*w**2 + 4*w + 1. Is a(-3) a prime number?
True
Let g = 133 + -18. Is g composite?
True
Let y = -180 + 321. Is y composite?
True
Let i(u) = -6*u - 1. Let s be i(1). Let g = 10 + s. Is 1 - (-1 + g + -86) a composite number?
True
Suppose 0 = 2*u - 96 + 18. Let c = u - -40. Is c a composite number?
False
Let v(g) = g**3 + g**2 - g + 4. Let l be v(0). Suppose -l*a + 1122 = 2*a. Is a a composite number?
True
Let b(d) = -d + 7. Let l be b(8). Let g(c) be the third derivative of -59*c**4/12 + c**3/6 + 2*c**2. Is g(l) a prime number?
False
Let i(b) = -12*b**3 + 2*b**2 + b + 1. Is i(-2) prime?
True
Let u be (-130)/(-8) + (-5)/20. Is (u/(-4))/(-2) + 257 a composite number?
True
Let o = 14 - 10. Let s(k) = 3*k**2 - 4*k + 5. Is s(o) composite?
False
Let u = 1436 + -585. Is u composite?
True
Suppose -4*c = c + 2*x + 5, -3*x - 1 = c. Is 56 + -3*c/(-1) composite?
False
Suppose -277 + 93 = -i. Suppose -2*s = 2*k - i, -3*s - 2*k + 137 = -138. Is s a composite number?
True
Let y = 388 - 228. Let w = -107 + y. Is w composite?
False
Let t = -47 + 125. Suppose 2*c + t = 592. Is c a prime number?
True
Suppose 38 - 117 = -a. Is (3 - a/(-1)) + 1 prime?
True
Let j = -14 - -24. Is 0 + 81 + -6 + j prime?
False
Let h = 5 - 2. Let v(y) be the second derivative of 13*y**3/6 - 2*y**2 - 15*y. Is v(h) prime?
False
Is 10/(-4)*(-112760)/100 prime?
True
Suppose -4*y = -0*y - 5*n - 322, -4*y - 3*n + 338 = 0. Is y composite?
False
Suppose 0 = -m + 2*m - 5. Let a(r) = -r**2 + 1 + 0*r - m - 6*r + 0*r. Is a(-4) a prime number?
False
Is -1 - 1 - (-78 + -3) a composite number?
False
Let i(s) = -s - 6. Let a be i(-7). Let b(v) = 161*v**3 - v + 1. Is b(a) a prime number?
False
Let x be ((-50)/(-4))/(-5)*-2. Suppose -178 = x*v - 7*v. Is v prime?
True
Let h(p) = 12*p**2 - p. Is h(2) composite?
True
Let x = 1011 + -464. Is x a prime number?
True
Let t(o) = -3*o**2 + o. Let j be t(-1). Let x be j + 0/(-1) + -2. Let z(y) = -4*y - 2. Is z(x) a prime number?
False
Let n(h) = 7*h**2 + 7*h - 15. Is n(-8) a prime number?
False
Suppose w - 491 = -5*f + f, 3*f + 2432 = 5*w. Is w composite?
False
Let p = 26 - -263. Is p a composite number?
True
Suppose -6*v + 2*a + 228 = -3*v, -5*v + 5*a = -380. Let c be 2 + 0 + 0 + -4. Is v - (c/(-1) + -3) a prime number?
False
Suppose 6*v - 5*n = 2*v + 3553, 2*v = 5*n + 1779. Is v a prime number?
True
Suppose -a + r + 4*r = -1883, -5*r = 0. Is a prime?
False
Suppose -18 = -2*h + 4*t, 9 = h + 4*t - 9*t. Suppose 2*z - 5*u = 19, 0 = -2*z + 5*z + 5*u + h. Let f(a) = 7*a**2 + 2*a - 1. Is f(z) composite?
False
Let h = 0 - -12. Suppose 0 = -3*y + 9, 126 - h = 3*u - 5*y. Is u composite?
False
Let b(a) = a**3 + 16*a**2 + 16*a - 21. Is b(-10) a prime number?
True
Suppose -f = -v - 1160, -5*f + 890 = -v - 4930. Is f a composite number?
True
Let i(v) be the second derivative of -13*v**3/6 + v**2/2 - 3*v. Is i(-9) prime?
False
Is (815/(-5))/(-1 + 0) a composite number?
False
Suppose -423 = 5*k - 2788. Is k composite?
True
Suppose 4*z + 0*z + 38 = -3*t, 3*t - 3*z = -3. Let h(d) = -d**3. Let a(n) = 7*n**3 + 5*n**2 + 5*n + 3. Let q(p) = t*h(p) - a(p). Is q(-5) prime?
False
Let z be 100/45 + 4/(-18). Suppose -w = z - 4. Suppose w*f - 36 = -5*b, 2*f - 4*b = 69 - 15. Is f a prime number?
True
Suppose 5*r + 2*n - 5041 = -2*n, -2*n - 2 = 0. Is r prime?
True
Let x(j) be the third derivative of j**5/60 + 5*j**4/12 - j**3/6 + j**2. Is x(7) composite?
True
Let f be 5/(-2) + (-4)/8. Let n be (12/10)/(f/(-50)). Suppose n = 2*z - 0*z. Is z prime?
False
Suppose 5*h = -6 + 1. Let l be (-1 + 2)*(-1 - h). Suppose 5*w - 72 = -3*y, -5*y - 2*w + l*w + 101 = 0. Is y a prime number?
True
Suppose -5*d - g = -29 + 8, -5*g = 5*d - 25. Let z be 14/4 - (-2)/d. Suppose z*a + 4*v = 1184, a + 3*a + 2*v = 1178. Is a composite?
False
Suppose 2*k + 3 - 1 = 0. Let h(j) = -104*j - 1. Is h(k) composite?
False
Let c be ((-20)/6)/(2/(-6)). Let o be ((-7)/(-5) - 1)*c. Suppose o*w - 226 = -30. Is w a prime number?
False
Suppose 1321 = 4*b - 251. Let d = b - 26. Is d composite?
False
Is (-126 - 1)*(-3 + 2) composite?
False
Let y = 7 + -5. Suppose y*h + 1164 = 5*h. Suppose -4*s = -0*s - h. Is s composite?
False
Suppose 3*j + 2*k = 28, 0 = 3*j + 2*j - 4*k - 10. Let l(b) = -8*b - 2*b**2 + 0*b**3 + b**3 - 8*b + 9 + j*b. Is l(6) a prime number?
False
Suppose -2*h - 3*h - 10 = 0, -2*h = 5*a - 181. Is a a prime number?
True
Let c(t) = -t**3 + t - 1. Let g be c(0). Let f be ((-1)/1)/g + 1. Suppose -r = -j - 86, 0 = -f*r + 3*j - 2*j + 175. Is r composite?
False
Let z(j) = 6*j**2 - j + 2. Suppose 6 = -2*n - 0. Is z(n) a composite number?
False
Let d(t) = 16*t + 11. Let s be d(5). Suppose -s = 4*v - 5*v. Is v a composite number?
True
Suppose 0*i + 5*y = 3*i - 6, -6 = -3*i + y. Suppose v - i*v + 139 = 0. Is v prime?
True
Let x = 4 - -1. Suppose 2*t - 43 = -5*j + 89, 4*j - 100 = 4*t. Is ((-25)/(-2))/x*j a prime number?
False
Let s = 1 + -1. Let w(i) = i + 79. Is w(s) prime?
True
Suppose -5*s - 2*t = -0*t - 3413, -2046 = -3*s - 3*t. Is s prime?
True
Let u(o) = -177*o + 1. Let x be u(-1). Let c = x - 26. Suppose 4*a - c = -12. Is a a composite number?
True
Is ((-3926)/(-4))/((-25)/(-50)) a prime number?
False
Let l(d) = 2*d**3 - 5*d**2 + 5*d + 5. Let z(v) = 2*v + 2. Suppose -3*m - 4*g - 2 = 0, -3*m + 4*g + 3 = -11. Let h be z(m). Is l(h) a prime number?
False
Let h = 936 + -419. Is h a prime number?
False
Let z = -1 - -6. Suppose -2*o = -5*v + 8, -4*o + 2*o - 8 = z*v. Is 31 + v + -2 - -2 a prime number?
True
Suppose 10*h - 3*y - 8209 = 6*h, -4101 = -2*h + 5*y. Is h composite?
False
Let z be (-45)/(-12) + (-2)/(-8). Let m = 19 + z. Suppose -4*t + 5 + m = 0. Is t a composite number?
False
Let w be (-2)/(-5) - (-2)/(-5). Let z = w + 6. Let p = z - -1. Is p composite?
False
Let n be 3/(-9) - 170/3. Is (-2)/3*n/2 a composite number?
False
Is (1/(1/173))/((-4)/(-68)) composite?
True
Let p = -6 + 6. Suppose 3*n - 3 - 12 = p. Suppose 3*o + a = n*o - 61, 3*o = -4*a + 97. Is o a composite number?
False
Let i(v) = -133*v - 2. Let x(z) = 67*z + 1. Let c(d) = -6*i(d) - 13*x(d). Let a = -21 - -19. Is c(a) composite?
True
Let j = 219 + 302. Is j a composite number?
False
Let s(p) = -p + 19. Let k = 10 + -7. Let f be (-2 - (-12)/k) + -2. Is s(f) a composite number?
False
Let n = 149 - -8. Is n composite?
False
Is (-27)/(-12) + (-2)/8 - -1731 prime?
True
Suppose -2*t + 3*t - 51 = 0. Suppose -j = -t + 14. Is j prime?
True
Suppose -2*f = -7*f. Is (453 + f)/3 + -2 a prime number?
True
Is ((-3843)/14 - -1)*-1*2 a composite number?
False
Let b(d) = d**3 - 7*d**2 - d - 1. Let z be b(7). Let n = 26 - z. Is n prime?
False
Suppose -709 = -5*m - 134. Is m prime?
False
Let c(j) = j**3 - 5*j**2 - 7*j + 7. Suppose 2*t = -t + 18. Let v be c(t). Is v/(78/(-79) + 1) pri