. Let n = 501 + g. Suppose 4*i = -4, 3*k - 7*k = 5*i - n. Is k prime?
True
Let m(h) = -2*h**3 - 3*h**2 + h - 9. Is m(-8) prime?
False
Let x = 38 + -23. Let l(k) = -15*k + 112 + x*k**2 - k**3 - 112. Is l(13) a prime number?
False
Suppose 4*m = -3*i + 109405, m + 2*m - 82038 = 3*i. Is m composite?
True
Let w(u) = -67*u**3 + 4*u**2 - u + 2. Let r be w(3). Is (-2)/(3552/r + 3 + -1) composite?
False
Suppose -m - 4*m = -5*z - 35, 2*z + 26 = 5*m. Suppose 0*y = -m*y + 12. Is (y - 1 - 3) + 116 a prime number?
False
Let m = 294 - 172. Let q be ((-20)/(-4))/(-5)*1*143. Let t = m - q. Is t a prime number?
False
Let k(i) = -4*i**2 - 2*i**3 + 3 - 4 + 0*i**3. Is k(-5) a prime number?
True
Let r(c) = -7*c + 72. Let b(v) = -8*v + 71. Let p(o) = -5*b(o) + 6*r(o). Is p(0) prime?
False
Suppose -3*r - 4*r = -57127. Suppose 9*j + 6536 = 13*j - c, -r = -5*j - c. Is j a composite number?
True
Let t(k) = k**3 - 6*k**2 - 5*k - 23. Let g(z) = -z + 1. Let l(r) = 6*g(r) + t(r). Is l(9) composite?
False
Let d(z) = z**3 + 5*z**2 + 8*z + 6. Let x be d(-4). Is 11/(38/x + 4) a prime number?
False
Let a(v) be the second derivative of 131*v**4/3 - v**3/2 - 2*v**2 - 27*v. Is a(3) a composite number?
False
Suppose 8*x - 57382 + 9534 = 0. Is x composite?
False
Let u(n) = -5*n**2 - 2*n - 2. Let v = -11 - -5. Let a be u(v). Let q = a + 267. Is q composite?
False
Suppose -2*j - 2 = -8. Let d(q) be the third derivative of -q**6/120 + q**5/15 + q**4/8 + 2*q**3/3 - 2*q**2. Is d(j) composite?
True
Let p be 141 - (-6)/(-2)*8/12. Suppose -4*z + 2927 = p. Is z a composite number?
True
Let s(t) = 60*t - 23. Let d be s(2). Let n = d + 97. Is n a prime number?
False
Let z be (-39 - 4/4)*-1. Is z/6*531/12 prime?
False
Let j(g) = -459*g**3 - g**2 - 5*g - 7. Let d(x) = -229*x**3 - 2*x - 3. Let a(h) = -5*d(h) + 2*j(h). Suppose -2*r + 3 - 1 = 0. Is a(r) prime?
False
Suppose -4*r + 4*t = -5120, 5 - 1 = -t. Suppose 52*s - 56*s = -r. Is s composite?
True
Let d = 120422 + -71325. Is d composite?
True
Suppose -5*p = -13539 - 7406. Is p a prime number?
False
Suppose 0 = -h + 4*c + 28341, h + 7259 - 35605 = 3*c. Is h prime?
False
Let i = 13 - 26. Let x be i/(-4)*6*4. Let m = x - 47. Is m prime?
True
Is (-36829)/(-1) + -1*(-3 + 5) a composite number?
True
Suppose 5*t = -4*q + 131528, -31*q + 26*q + 2*t = -164443. Is q a composite number?
False
Suppose 3*u = 5 - 2. Let v = -293 + 313. Is 191/(u*4/v) a composite number?
True
Let d(s) = 10*s**2 - 45*s - 6. Let t be d(-5). Suppose 579 + t = 4*g. Is g a composite number?
True
Suppose f + f = -5*t + 9498, -5*t = -4*f + 19056. Is f composite?
False
Let g = -5 - -12. Let u = 17 - g. Suppose u + 18 = 2*i. Is i composite?
True
Let t = 6077 + -240. Is t a composite number?
True
Let i be (684/(-27) + 2)*12/(-5). Let s = -19 + i. Is s a prime number?
True
Let d be 5*(-1)/(-2 - -1). Suppose 159 - 404 = -d*g. Let y = g - 23. Is y a composite number?
True
Let l be -345 + 8/1 + -4. Let v = 68 - l. Is v prime?
True
Suppose -2*l + 4*d = -6*l + 11796, 3*d = 3*l - 8847. Is l a composite number?
True
Is (168072/9)/2 + (-4)/12 a prime number?
True
Let d = 452 + -247. Suppose -b = 4*b - d. Suppose -135 = -2*a - b. Is a prime?
True
Let p be (2440/25)/(1/5). Suppose 2*t = -2*t + p. Is t composite?
True
Let l be ((-11)/((-176)/84))/((-1)/(-304)). Let q = l - 385. Is q prime?
False
Let a be 3153/(-6) - (-6)/(-4). Let c = 1176 + a. Is c a prime number?
False
Suppose 1 = -16*l + 1. Suppose 0 = -3*d - 2*s + 1347, l = -5*s + 2*s + 9. Is d composite?
True
Let m(c) = c**2 - 5*c + 37. Is m(-30) a composite number?
False
Let a(m) = -m**3 + 9*m**2 - m - 4. Let s be a(8). Suppose 0 = -5*z + z + 16. Suppose z*n - s = 84. Is n a composite number?
True
Let y be ((-2)/10 + (-20)/25)*1. Let l(c) = c**3 - 11*c**2 - 8*c - 5. Let m be l(-7). Is (-6)/(-9)*y*m a composite number?
True
Let r(a) = -1589*a + 177. Is r(-20) a composite number?
False
Suppose 3*u + 46 = 4*y, -5*y + 66 = 2*u - 3. Suppose 18*w - y*w - 655 = 0. Is w prime?
True
Let j be (-42808)/3 + (-13)/(-39). Is 2/10 - j/5 a prime number?
False
Let c = 13 + 9. Let j = 52 + c. Is j a composite number?
True
Suppose -13268 - 12459 = -13*v. Is v prime?
True
Let x = -1792 + 6495. Is x a composite number?
False
Let u be 56*(90/(-14))/((-1)/2). Is 5 + -6 + u*1 composite?
False
Let z = 8 - 14. Let y = 6 + z. Suppose -4*p - 2*f + 308 = y, -3*p + p = 5*f - 138. Is p prime?
True
Let o = 3736 - 2209. Is o composite?
True
Suppose -11*z + 21694 = -55801. Is z a composite number?
True
Let f(t) = -27*t. Let a be f(-1). Suppose 2*n - 13 = 5*v, -2*v - 2*v = -n + 5. Is 1 + n/(a/30) a composite number?
False
Let g = -11 - 13. Let f = g + 29. Suppose 3*z - 3*t = t + 1461, -3*z - f*t + 1461 = 0. Is z composite?
False
Let k = -42 + 45. Suppose 2731 = 2*s + 5*h + 29, 2*h + 4091 = k*s. Is s composite?
False
Let m be (5 - 9)/(1 + -2). Suppose 0 = m*o - u - 1008, -3*u + u = -5*o + 1263. Is o a prime number?
True
Suppose -917 - 37 = 5*f + 3*n, -4*n = f + 201. Let o = 1658 + f. Is o a prime number?
False
Is 1*-6 - (-21700 - (7 + 0)) a prime number?
True
Let c = 1021 + -614. Suppose 2*o = -10, 0 = -2*u + 5*o + 878 + c. Suppose q - u = 1. Is q composite?
False
Suppose -2*r + 5 = t, -2*t + 10 = -0*r + r. Suppose -a = -5*a + 20, -2*z = t*a - 787. Is z prime?
False
Let b(g) = 159 - g + 4*g + 18*g**2 - 143. Is b(-7) composite?
False
Let j = -45 + 49. Suppose -r = -j, -i = -r - 379 - 768. Is i prime?
True
Suppose x = 12*g - 17*g + 83376, 0 = -3*x + 3*g + 250038. Is x composite?
True
Let s(f) = 18*f + 22. Let l be s(-10). Let m = l + 463. Is m prime?
False
Let k(d) = 0*d**3 - 2*d - 2 + d**2 + d**3 + d + 2*d. Suppose 8 + 4 = 4*v. Is k(v) composite?
False
Let v(j) be the first derivative of 27*j**2/2 - j - 3. Let w(d) = -d**3 - 2*d**2 + 2*d - 1. Let n be w(-3). Is v(n) a prime number?
True
Is 30 + 28524 + (2 - -7) a composite number?
True
Suppose 4*f + 4 + 1 = 5*r, -4*r = -4*f. Suppose -2*j - 34 = -2*g - 3*g, g + 4 = -f*j. Is 5696/28 - g/14 a composite number?
True
Is (-152)/266 - 40667/(-7) a prime number?
False
Let c = -14 - -11. Is 295 + (c/1 - (-1 - 0)) prime?
True
Let m(a) = -a**3 - 6*a**2 + 5*a - 12. Let z be m(-7). Suppose l - 471 = -z*l. Is l composite?
False
Let t(k) = -5*k + 3. Let f = -38 + 26. Let h be t(f). Is 27/h - (-368)/7 prime?
True
Let x = 481 + 2224. Is x composite?
True
Suppose 0 = w - 4 - 1. Let f(z) = -w*z**2 + 293 + 5*z**2 - 2*z**2 + z**2. Is f(0) prime?
True
Let t(o) = -571*o**3 - 6*o**2 - 14*o - 25. Is t(-2) a prime number?
True
Suppose -3*z = 2*b - 68, 5*b + 3*z - 42 = 128. Is 76595/85 - 4/b composite?
True
Let s be (0 - -1) + 6 + -3. Suppose 0*z - 8 = -s*z. Is 16574/12 - z/12 a prime number?
True
Is 1*(-11 - -15 - -4197) composite?
False
Suppose -n - 905 + 13292 = 0. Suppose -7*t - 3686 = -n. Is t prime?
False
Suppose 4*z - 5*y - 4 = 0, 3*z + 2*y - 18 - 8 = 0. Let i be (-205)/20 + z/(-8). Let l(f) = 2*f**2 - f - 14. Is l(i) a prime number?
True
Let w = 5 + -5. Suppose w*l = l. Suppose 3*q - 262 - 56 = l. Is q prime?
False
Let i(z) = -9*z**2 + z + 4. Let n be i(-3). Let b = 3 + n. Let j = b - -134. Is j composite?
True
Let x(i) = -i**3 - 12*i**2 - i - 3. Let g(w) = -4*w**3 - 49*w**2 - 3*w - 12. Let u(v) = -2*g(v) + 9*x(v). Is u(-12) a composite number?
True
Let f(w) = -147*w**2 + 2*w - 7. Let q be f(-3). Let c = q + 2223. Is c prime?
True
Suppose 0 = -2*r - 4*s + 22158, 3 = -s + 1. Is r a prime number?
True
Suppose 0 = 35*o + 21*o - 27496. Is o prime?
True
Let j(c) = 89 + 16*c - 21*c + 70 - 43. Let o(z) = -4*z + 117. Let a(b) = -2*j(b) + 3*o(b). Is a(0) a prime number?
False
Suppose -2*l = 4*h + 6, 4*l + 9 + 3 = -4*h. Suppose h = 5*g - 8*g. Is g + (-2)/((-6)/573) a prime number?
True
Let z(p) = 49*p**2 + 5*p - 17. Is z(-6) composite?
True
Let n(f) = f**3 + 3*f**2 - 4*f + 2. Let u be n(-4). Suppose -1218 = -8*v + u*v. Is v composite?
True
Suppose -3*n = -3*b - 12, -4*b + 79 - 23 = 4*n. Let i be (-196)/n + 8/(-36). Let v = -13 - i. Is v composite?
True
Suppose -5*s - 10 = -3*s, -5*f = -s + 3245. Suppose 0 = -3*r - 2*r - 2295. Let i = r - f. Is i a composite number?
False
Suppose -10*g + 214346 = 12*g. Is g prime?
True
Suppose 546 = -s + 10452. Is s/30 - 8/(-10) a prime number?
True
Let c = 468 - -938. Suppose -2*o + c + 276 = 0. Is o a composite number