se -74 = -4*a - 5*m + 3*m, -22 = -a + 3*m. Let z = -16 + a. Suppose -u + 12 = -z. Is u prime?
False
Let y(i) = 2*i**2 + 15*i + 3. Let u be y(-8). Let z = 68 + u. Is z prime?
True
Let g(r) = 6*r**2 + r. Let d be g(-1). Suppose d*s - 6*j + 2*j - 2685 = 0, 5*s - 2*j - 2685 = 0. Is s a composite number?
True
Suppose 0 = 20*k + 13134 - 61394. Is k prime?
False
Let c(p) be the first derivative of p**2 + 8*p + 5/3*p**3 - 5. Is c(7) a composite number?
True
Suppose 2413*h - 2406*h - 105749 = 0. Is h a prime number?
True
Suppose 2*g + x - 12291 = 0, -g - x + 24579 = 3*g. Suppose v - w - 2054 = 0, -3*w + g = v + 2*v. Is v a composite number?
True
Let y be (0 - (-14)/77) + 13724/22. Let a = y - 217. Is a composite?
True
Let l(y) = -y**3 - y**2 + y - 1. Let v(z) = 5*z**3 - 7*z**2 + 3*z - 7. Let i(c) = 5*l(c) - v(c). Is i(-2) composite?
True
Let k(w) = w**3 + 7*w**2 - 6*w + 1. Let g be k(-7). Suppose 7*o - 310 = 6*o. Suppose 3*t - o = -g. Is t prime?
True
Suppose -4 = -4*m + 5*l + 19, 3*m - l = 9. Suppose 5*w - 52 = 2*w - 5*b, 26 = 4*w - m*b. Let s(q) = -q**3 + 10*q**2 - 7*q - 3. Is s(w) a prime number?
False
Let f(t) = 42*t**2 + 5*t - 4. Suppose 3*m + 4*i = 17, -3*i + 15 = -m + 4*m. Is f(m) composite?
False
Let y = -520 + 1677. Is y prime?
False
Suppose -47 = -5*f - 3*z, 4 = -3*z + 1. Let v(d) = d**3 - 12*d**2 + d - 9. Let x be v(f). Let c = -50 - x. Is c composite?
False
Suppose 8*z + 85987 = 19*z. Is z prime?
True
Suppose 0 = -38*o - 159535 + 635105. Is o prime?
False
Let u(w) be the third derivative of -23*w**4/24 - 5*w**3/6 + 5*w**2. Is u(-8) prime?
True
Suppose -2*t + 6*t - 24 = 0. Let n(d) = -d + 3. Let i(k) = k - 6. Let v(h) = -3*i(h) - 5*n(h). Is v(t) a prime number?
False
Suppose -3*x = -20*j + 18*j + 49486, -5*j = 4*x - 123738. Is j a prime number?
False
Let w = -48815 + 93078. Is w a prime number?
True
Let o(a) = 696*a**2 - 73*a + 49. Is o(10) prime?
False
Let h(k) = k**2 - 3*k. Let b be h(4). Suppose -3*t + 84 = 5*r, -6*t - 3*r + 90 = -3*t. Suppose t + 171 = b*d. Is d a composite number?
True
Let s(f) = f**2 - 2*f + 2. Let p be s(5). Suppose 6*o - 4*u - 8 = 2*o, 4*u + p = -5*o. Let c = 2 - o. Is c a prime number?
True
Let j = 365 + -154. Is j composite?
False
Suppose -2*f + 2*z + 11 = f, 0 = 4*f - 4*z - 16. Suppose 2*v = -3*v + 5*a + 1710, f*v = -2*a + 1051. Is v a composite number?
False
Is ((-21)/6)/((-2)/(62616/6)) prime?
False
Suppose -11*t = -909 - 6010. Is t a prime number?
False
Let r(w) = 1663*w - 33. Is r(2) composite?
True
Let u = -1 + 3. Suppose u*s = -3*d + 7, -5*s - d + 22 = 2*d. Suppose 0 = -2*v + s*w + 295, 467 = 5*v - w - 259. Is v composite?
True
Suppose -q + 107 - 368 = -4*t, 0 = 2*t + 5*q - 103. Let w = 1011 - t. Is w composite?
False
Let x be (-4 + -1)*20/(-50). Let h be x/(2/(-114)*-1). Suppose 0 = 2*u - h - 176. Is u a composite number?
True
Let v(j) = -63*j**3 + 14*j + 61*j**3 - 3*j**2 + 2*j**2 - 3. Is v(-10) composite?
True
Let b(o) = 6*o**2 - 22*o - 9. Is b(22) composite?
False
Let j(i) = -2*i - 2*i + 1 - 2 + 2*i. Let t be j(-2). Suppose -t*y + 10 = -17. Is y a prime number?
False
Suppose -4*v - 72 = -3*v. Let x be (-4)/(-18) - 3584/v. Let l = x - -3. Is l a prime number?
True
Suppose 1448 = 3*w - 3244. Is w + (-3 - (-4 + 4)) prime?
False
Is ((-28513447)/(-179))/(0 - -1) a composite number?
False
Suppose -6349 = -6*w + 5*w. Is w composite?
True
Let u(q) = 139*q - 30. Is u(19) a composite number?
True
Let m = 14373 + -2750. Is m composite?
True
Is 29164/(-8)*(-28 + 26) composite?
True
Let s(p) = -p**2 + 14*p - 1. Let h be s(13). Suppose -8*u + h*u - 6932 = 0. Is u prime?
True
Let d = -9 + 10. Is -4 + d - (6/2 - 1139) composite?
True
Let g be 244/3 + 4/(-12). Let p = -55 + g. Let q = 93 - p. Is q composite?
False
Suppose 0 = -3*t - 2*o + 103883, -4*t - 11 + 138520 = 3*o. Is t a composite number?
False
Suppose -3*q = 4*u - 33029, -4*u = -15*q + 13*q + 22046. Is q composite?
True
Let j = 10 - 13. Is ((-16)/(-4) + j)*1117 composite?
False
Let f(z) = 57*z**2 + 73*z + 707. Is f(-12) prime?
True
Is 11162*(-12)/96*-4 a composite number?
False
Let x(b) = 328*b**2 + 11*b - 2. Is x(3) prime?
False
Let u = -180 - -90. Let t be 3*(-6)/15*u. Is t - 3*2/(-2) a prime number?
False
Is ((-207490)/4)/(-1)*(58 - 56) a composite number?
True
Suppose 7*t - 5*t = 748. Let l be 2 + 2/2 + -186. Let w = t + l. Is w a prime number?
True
Let i(n) = -n**2 - 9*n + 5. Let f be i(-9). Suppose f*o + 976 - 4931 = 0. Is o a composite number?
True
Let u(p) = -4*p - 10. Let m be u(-4). Let k be (-11110)/18 - m/(-27). Let b = 1154 + k. Is b prime?
False
Let p(w) = 2*w**2 - 43. Let c be p(-22). Suppose -3*g = 2*g - c. Is g a composite number?
True
Let z = 41 - 38. Let y(v) = 106*v**2 - 5*v + 4. Is y(z) prime?
False
Suppose -2*r = -3*j, -4*r + 2*j + 22 = 6. Suppose -5*x + 2*m + 12043 = 0, -11*x = -r*x + 4*m - 12019. Is x prime?
False
Let d(z) = 203*z**3 - z**2 - 3*z + 1. Let y be d(2). Suppose -3*n - 1283 = -4*i + 2*n, 4*n = 5*i - y. Let s = i + 152. Is s composite?
False
Let d be (-22934)/(-10) - 4/10. Let z = d + -1326. Is z composite?
False
Suppose 0 = -33*a + 35*a - j - 2820, 5*a - 2*j - 7051 = 0. Is a a prime number?
False
Suppose 3*n + 5*q - 7910 = 15867, 3*q = -15. Is n prime?
False
Suppose 0*f - 5*f = -25, 2*z + 5*f - 27 = 0. Is 544 + (-3 - 1) + z a prime number?
True
Suppose 0 = -2*u + 3*u + 5, -10895 = -5*z - 4*u. Is z a prime number?
False
Let p(b) = 18*b**2 - 9*b + 4. Let i = 3 - 16. Is p(i) a composite number?
False
Let a = 21 + -15. Suppose 0 = f + 5*w - 107, 2*f = -a*w + 2*w + 238. Is f prime?
True
Suppose 2*l = 2*p - 418 - 478, -3*p - 4*l + 1330 = 0. Let n = -33 + 40. Suppose n*y - p = 1325. Is y composite?
True
Let a be ((-818)/(-6))/((-9)/81). Let q = -464 - a. Is q prime?
False
Suppose 55*i - 51*i - 392 = 0. Suppose i = -3*j + 497. Is j prime?
False
Let h = 2003 - 1020. Is h composite?
False
Let i be 148*-3*9/54. Suppose -2*m = -5*m - 495. Let q = i - m. Is q prime?
False
Let b = 1540 + 1774. Let u = b - 1779. Is u composite?
True
Suppose 4*u + 3508 = 8*u. Is u composite?
False
Let x(r) = r**3 - 5*r**2 + 2*r + 12. Let z be x(3). Let o be (-1)/(-3) + 10510/6. Suppose z = -4*n + o - 428. Is n a composite number?
False
Let t = 22094 - 14973. Is t composite?
False
Let a(g) be the third derivative of 13*g**4/24 - 3*g**3/2 - 5*g**2. Is a(8) composite?
True
Let r = 7 + -3. Let n(b) = -b**3 + 5*b**2 - 5*b + 5. Let f be n(r). Suppose f + 8 = 3*c. Is c composite?
False
Let y be (0 + (-12)/10)/((-16)/(-40)). Is (1 + -7331)*y/18*3 prime?
False
Let g = 64 - 98. Is 3 + g*(-2 - 2) composite?
False
Let c(i) = i**2 + 3*i - 24. Let j be c(-7). Is ((-2)/j)/(((-32)/4)/5296) a composite number?
False
Let w(p) = p + 423 - 11*p - 438. Let n(b) = -b**3 - 4*b**2 + 2*b + 1. Let x be n(-4). Is w(x) prime?
False
Suppose 0*b - 2018 = -b. Let o = -1317 + b. Is o prime?
True
Let i be ((-2)/5)/((-2)/10). Let c be i + 5/(-2 + 1). Is c*(-160)/6 - 3 prime?
False
Let x(j) be the third derivative of 0*j + 2*j**2 + 1/8*j**4 + 0 - 5/6*j**3. Is x(12) prime?
True
Suppose 5*u + 15 = 0, -b - 18 = -4*b + 3*u. Suppose 2*o + 6*r - 604 = 4*r, o = r + 308. Suppose -2*q - b*q + 4*p + 287 = 0, -5*p = 5*q - o. Is q prime?
True
Suppose 0 = 4*p - 27 + 11. Suppose p*o + 4*o = 11224. Is o prime?
False
Suppose 0 = 2*g - 2*v - 4554, -2*v - 2275 = -g - 0*v. Is g composite?
True
Let z(s) = -s**3 - 6*s**2 - 50*s - 8. Is z(-23) a composite number?
True
Is -6 + 102/15 - (-49102)/10 a prime number?
False
Let n = 25668 + -15109. Is n composite?
False
Suppose -4 = -3*x + x. Suppose 0 = 4*b - 7*b - 2*w + 1181, x*b - 814 = 4*w. Is b prime?
True
Let n = -61 + 1333. Let h be n/(-15) - 2/10. Let w = h - -476. Is w prime?
False
Let a(i) = 158*i**3 + i + 7. Let j be a(3). Suppose j = 11*c - 7*c. Is c a composite number?
False
Let c(t) = -359*t - 47. Let j be c(14). Is j/(-9) + 12/(-18) prime?
True
Let r(v) = -v**2 - 144. Let n be r(0). Let b = 202 + n. Is b a prime number?
False
Let m(y) = y**2 - 2*y. Let z be m(7). Suppose -n = 6*n - z. Suppose -j = -1, n*j + 108 - 668 = -3*i. Is i a composite number?
True
Let q = 29 - 24. Suppose 2*l + 3*d = 6721, -3*l - q*d = -1038 - 9046. Is l a prime number?
False
Let d(g) = -280*g - 39. Is d(-5) a prime number?
True
Let v(x) = -x**2 + x + 33. Suppose 5*p + 8 = -2*n, 