 - 2*t + 199 = 0, 5*k + 4*t - 971 = c. Is k a prime number?
True
Suppose 5*u = -t + 10, 0 = u + 2*u - 3. Let a = t + 0. Suppose 3*h = -3, -2*x = -a*x - 5*h + 88. Is x prime?
True
Suppose 4*o - 517 = -g + 3*o, -4*o = -3*g + 1579. Is g a prime number?
True
Suppose -b = 4*b - 5*h - 12750, -4*h + 5106 = 2*b. Is b prime?
True
Is 2*(-3)/2 - (-1 + -159) composite?
False
Let l(z) = -3*z - 2. Let m be l(2). Is (1 - m/(-2)) + 260 composite?
False
Let u = -26 - -16. Is (-194)/u - 4/10 composite?
False
Let c = -133 - -320. Is c a prime number?
False
Suppose -5*r + 2*r = -9. Suppose r*w - 78 = 33. Is w a composite number?
False
Suppose f = 3*f. Suppose f = -3*x + 1 + 5. Suppose -8 = 2*q, -u + 5*q + 125 = x*q. Is u prime?
True
Let x = -56 + 34. Let y = 0 - x. Is y a prime number?
False
Let o = 1358 + -867. Is o a prime number?
True
Suppose 3*w - 5*w = 0. Suppose x + 0*x = w. Suppose -5*n + x + 265 = 0. Is n a composite number?
False
Suppose -2*f = 13 - 335. Is f prime?
False
Let h = -7 + 7. Let j(k) = -k**3 - k - 296. Let f be j(h). Let n = f + 507. Is n a prime number?
True
Let v(i) = -37*i. Let d = 4 + -2. Let t = -3 + d. Is v(t) composite?
False
Let b(w) be the first derivative of -45*w**2/2 - 8*w - 6. Is b(-11) a composite number?
False
Suppose 6*l + 542 - 6260 = 0. Is l prime?
True
Suppose 4*q = 7*q - 282. Is q a composite number?
True
Let l = 1 - -6. Let v = l - 7. Suppose v = 5*q + 2*t - 44 - 12, 31 = 4*q - 3*t. Is q prime?
False
Let j(m) = -8*m**3 - 1. Let d be j(-1). Let i(n) be the second derivative of n**4/12 - 5*n**3/6 + n**2/2 - 2*n. Is i(d) a prime number?
False
Let w be 12/(-1)*(-2)/4. Let s = w + 41. Is s composite?
False
Suppose q + 6085 = 6*q. Is q a prime number?
True
Suppose 0 = -5*v + v - 2*y - 674, -836 = 5*v - 4*y. Let m be (-1 + -2)/(18/v). Is (m/2)/(2/5) a composite number?
True
Let x(b) = b**2 + 8*b + 9. Let n be x(-7). Let u = 9 + -4. Suppose -3*w + 41 = -n*f, -6*f - 71 = -u*w - 4*f. Is w a prime number?
False
Let h(m) = -m**3 + m**2 - 2*m + 9. Let v be h(6). Let w = -116 - v. Is w a prime number?
True
Suppose -p + 79 = -5*l - 75, -5*p - 3*l = -742. Is p a prime number?
True
Suppose -2*p - p = 2*t - 54, 3*t = -9. Let j = p + -10. Is 314/j + (-2)/5 prime?
True
Let h = 366 - 49. Is h a composite number?
False
Let m(p) be the third derivative of 67*p**5/30 + p**4/12 + p**3/6 + p**2. Let h(k) = -k**3 - 5*k**2 + 5*k - 7. Let s be h(-6). Is m(s) a prime number?
False
Let v(z) = z - 7. Let p be v(6). Let y(r) = -2*r**3 - r**2 + 1. Let w be y(p). Suppose 76 = 4*l - w*c, l - 3*c = -8*c + 19. Is l a composite number?
False
Suppose -1801 = -4*g + p - 2*p, -2*g = -4*p - 878. Is g a composite number?
False
Let u = 61 + -43. Let a = u + 28. Is a a composite number?
True
Is (-4)/8*-1*1490 - 2 a prime number?
True
Suppose -52 = 2*z - 6*z. Suppose -c - 4*r = -0*r - z, 0 = 4*c + r - 67. Let q = c + 20. Is q a prime number?
True
Suppose 4 = -i + 8. Suppose 0*y + 69 = p + i*y, p - 3*y - 104 = 0. Is p composite?
False
Let t = -14 + 67. Is t a prime number?
True
Suppose -3*p = 3*l + 6, 0 = p - 0*p + 2. Suppose l*k - 89 = -k. Is k a prime number?
True
Let b(k) = 383*k**3 - k**2. Is b(1) prime?
False
Suppose 0 = -5*p - 57 + 52. Let n = -70 + 144. Is (p/(-2) - 0)*n prime?
True
Suppose 2*j + 2*j = 4*f + 1748, -874 = -2*j - 2*f. Is j a prime number?
False
Let t(z) = z**3 - 8*z**2 - z + 9. Let n be t(8). Is (-1 - -2)/n*251 a composite number?
False
Suppose -283 - 185 = -4*u. Let q = u + 28. Is q prime?
False
Let k(j) = j**3 - 2*j**2 + 3*j - 1. Let w be k(3). Let f be w*1 - 12/6. Is 6/10 + 501/f a prime number?
False
Suppose 4*l - 2*l - 4*z = 120, 4*l = z + 254. Let t = 40 - l. Is (-2)/(1 - t/(-22)) a composite number?
True
Let t = 2730 + -1923. Is t a composite number?
True
Suppose -j = 2*r - 3697, -3*r + 11*j - 9*j + 5535 = 0. Is r composite?
False
Let l(k) = -13*k + 6. Is l(-11) a prime number?
True
Let s = 1357 + -152. Is s a prime number?
False
Let c = -1131 - -777. Let f = c + 605. Is f prime?
True
Suppose 3*m = 8*m - 25. Suppose -m*a + 199 = -16. Is a composite?
False
Let m(w) = 119*w**2 + 3*w - 3. Is m(2) composite?
False
Let i(h) = 212*h**2 - 1. Is i(-1) prime?
True
Let l(r) = 905*r**2 + r + 1. Is l(1) composite?
False
Let v = 4 - 4. Let q be (-7)/3*(-12 + v). Is 2/(-6) - q/(-12) composite?
False
Suppose 0 = 4*i - 3*i - 8. Is (-6)/(-24) - (-630)/i prime?
True
Let v be 10/6 - (-6)/(-9). Is (-2 - -3) + 55 + v a composite number?
True
Let x(k) = -5*k**3 - 3*k**2 - 6*k - 1. Let g be x(-4). Suppose -3*l - 2*l + g = 0. Is l prime?
True
Let i be ((-14)/21)/((-4)/18). Suppose i*c = -0*f - 3*f + 78, 0 = 4*f - 4. Is c composite?
True
Is 5*((-66345)/(-200) + 2/(-16)) prime?
False
Let i(b) = -4*b + 4. Let r be i(4). Let d be 4/16 + (-21)/r. Is -2 + (d - 2) + 28 a prime number?
False
Let v(i) = i - 1. Let y be v(-2). Let h = 7 + y. Suppose 5*a - 6*a + 61 = h*r, 5*a + 55 = 4*r. Is r composite?
True
Suppose 0 = 5*g - 165 - 10. Is g a prime number?
False
Suppose -2*b - 2*b + 8 = 0. Let o(g) be the first derivative of 13*g**2 - 3*g + 7. Is o(b) prime?
False
Let c = 2 - 2. Let x = 15 + -12. Suppose 0 = 4*z, c*r - 4*z = -x*r + 93. Is r a composite number?
False
Is (-9)/((-9)/4) - -289 prime?
True
Let m be 87/2*40/12. Suppose -4*h + 219 + m = 0. Is h a prime number?
False
Let a be (8 - (4 - 2)) + -1. Let s = a + -3. Suppose 5*y - 39 = 2*i, 5*i - s - 13 = 0. Is y composite?
True
Let u = -127 + 245. Is u composite?
True
Suppose -14*g = -21*g + 4907. Is g a composite number?
False
Suppose 8*i = 6*i + 8. Suppose 0*a - i*b - 1459 = -5*a, 5*a = 5*b + 1460. Is a prime?
False
Let c be (-2)/(-1) - (0 - 0). Suppose 23 = 5*q - 2. Suppose c*o - 2*z - 172 = -z, -q*o + 417 = 4*z. Is o a composite number?
True
Suppose 5304 = 2*i - 2*f, 3*i - 6802 = -f + 1174. Is i composite?
False
Let i(a) = -a**3 + 5*a**2 + 2*a - 3. Let g be i(5). Let s = 14 - g. Is s a prime number?
True
Suppose 5*l = l - 12. Is (-904)/l + 7/(-21) a prime number?
False
Suppose -749 = -4*s + 3*s. Is s composite?
True
Suppose 3236 = 2*b + 166. Is b a prime number?
False
Let h(m) = m**2 - 5*m + 4. Let s be h(5). Suppose -464 = -4*z - s*p, 0 = 5*z - 2*p - 169 - 390. Is z composite?
False
Suppose -2*w = -2*h + 182, 2*w - 6*w = -3*h + 277. Is h a composite number?
True
Let x(f) = f**2 + 6*f + 1. Let d(p) = 5*p**2 + 30*p + 4. Let w(c) = 2*d(c) - 11*x(c). Let z be w(-6). Let h(u) = -u + 1. Is h(z) composite?
True
Is 296/10*(-10)/(-4) a composite number?
True
Let d(l) = 11*l - 5. Let q be d(5). Let n be (-2)/4*((-5)/(-5) + -5). Suppose -q = -n*m - 0*m. Is m prime?
False
Suppose -d - d = -14. Let x = d - 27. Is 1/(-1) - 0 - x a prime number?
True
Let m(w) = w**2 + 34. Let i be m(0). Let d be (-14)/35 + i/10. Let l(c) = 12*c**2 + c + 4. Is l(d) composite?
True
Suppose 3*c - 2 = 4. Suppose -a - 4*u + 268 = 3*a, c*u = a - 61. Is a a prime number?
False
Let v(u) = -u**3 - 7*u**2 - 3*u - 12. Is v(-9) a composite number?
True
Suppose 2*c = -137 + 567. Is c a composite number?
True
Let p(k) = k + 4. Let u be p(-3). Is 55*u*1/1 a composite number?
True
Is 9739/4 + (-3)/(-12) prime?
False
Let k(v) = 7*v + 746. Is k(0) a composite number?
True
Suppose 0 = -y + 3, 3*y + 87 = h - 94. Let d = 413 - h. Is d a prime number?
True
Is 2/(-10) + (-15744)/(-20) a composite number?
False
Let y(w) = 6*w**2 + 5*w - 49. Is y(18) a prime number?
False
Let q = -4 + 4. Let a = q + 2. Suppose 0 = -a*k + 48 - 10. Is k a prime number?
True
Suppose -8 = 2*j + 2, -5*l = -4*j - 1275. Is l a prime number?
True
Let a(l) = -l**3 + 8*l**2 - 7*l + 5. Let w be a(7). Suppose 2*j - w*j + 105 = 0. Is j composite?
True
Suppose -3*m = -5*c - 0*c - 20, -2*m = -4*c - 18. Let u(y) = -6 - 10*y + 2*y**3 + 7*y**2 - y**2 - y**3. Is u(c) a prime number?
False
Suppose -25 = 3*y - 8*y. Suppose -l + 1 = -r - 34, y*r = 15. Suppose -l = -3*z + 103. Is z prime?
True
Let m(q) = q**2 + 3*q + 2. Let o be m(-2). Let t = 12 + -7. Suppose t*u + s - 16 = 0, -2*u + o = -4*s - 2. Is u composite?
False
Suppose 0 = -3*v + 2*t - 4 + 8, 3*v = -t + 16. Let d(i) = 6*i - 5. Is d(v) a prime number?
True
Let c(f) = 13*f**2 - f. Let u be c(1). Let o = u - -47. Is o prime?
True
Suppose 2*s = -2*s + 168. Let m = 139 - s. Is m composite?
False
Let f(k) = -3*k + 32. Let q be f(8). Let l(i) = 1 + i**3