 13 = 2*t. Is t a prime number?
False
Let h(q) = 12*q - 2 + 0 - 3. Let u = 38 - 32. Is h(u) a prime number?
True
Let l(g) = -2*g + 3. Let z be l(-10). Let x = z - 12. Is x composite?
False
Suppose 7*x = 1401 + 356. Is x a prime number?
True
Suppose -n = 2 - 4. Suppose 0 = -j + 3*c - 9 + 3, 0 = 3*j + 4*c - 21. Suppose -n*a + 1 = -a, -j*a + 53 = 5*y. Is y a prime number?
False
Suppose -1837 - 987 = -8*v. Is v prime?
True
Let u(h) = h**3 + 1. Let g be u(-1). Let k(z) = -z**2 - z + 59. Is k(g) composite?
False
Let n = 22 - 17. Suppose -x - 876 = -n*x. Is x composite?
True
Suppose -3*c + 921 = -4*u, -3*u = 4*c + 117 - 1345. Is c a prime number?
True
Suppose 3*w + 5*r - 6 = -w, -3*r - 22 = -4*w. Suppose -q = -3*c + 4*c - 219, -q = -w*c - 239. Is q a prime number?
True
Let o = 8 + 12. Let d = -7 + o. Is d prime?
True
Let p(o) = 4*o**3 - 10*o**2 - 10*o + 7. Let d(l) = 11*l**3 - 29*l**2 - 30*l + 21. Let m(v) = -3*d(v) + 8*p(v). Is m(6) composite?
False
Suppose -3*m + 2*m - 1 = 0, 4*f = -2*m + 938. Is f a composite number?
True
Let p(o) = -101*o + 29. Is p(-10) a composite number?
False
Let r be 3 - (-367 - (-3 - -6)). Suppose -2*f + 517 = i, -r = -3*f + 5*i + 409. Is f prime?
False
Let z(y) = 4*y**2 - 11*y - 7. Is z(-8) a composite number?
False
Let c(u) = -4*u + 5*u + 37 + 0*u + 0*u. Suppose -2*o = 2*o. Is c(o) a composite number?
False
Let p = 62 - 41. Let o = p + 19. Suppose 0*d - o = -4*d. Is d prime?
False
Let i(m) = -74*m + 16. Let o be i(-7). Suppose 0 = 5*w - o - 136. Is w composite?
True
Suppose 5*b - 427 - 38 = 0. Let g be 3/6 - 74/(-4). Suppose g = -2*i + b. Is i a prime number?
True
Let p(w) = w**2 + 8*w - 3. Let z be p(-7). Let i = 14 + z. Is i/(-10) - (-117)/5 a composite number?
False
Suppose 0 = 4*n - 2*b + 6*b - 80, 5*b = -2*n + 46. Is (-832)/(-18) + (-4)/n composite?
True
Suppose 7*v - 3*v + 138 = j, 0 = -3*j - v + 440. Let b be j*((-5)/(-2) + -2). Suppose -4*z - 3*d = -0*z - b, -4*z - 4*d + 72 = 0. Is z a composite number?
False
Is ((-1199)/(-33))/(1/3) a composite number?
False
Let z = -243 + 415. Let x = -107 + z. Is x a composite number?
True
Let x = 9587 + -3576. Is x a composite number?
False
Suppose -f + 4*f = 540. Let n be (f/(-16))/(2/(-64)). Suppose -n - 35 = -5*b. Is b prime?
True
Let q(b) = 2*b**3 + b**2 + 6*b + 4. Let y(k) = -5*k**3 - k**2 - 13*k - 8. Let s(x) = 7*q(x) + 3*y(x). Let d be s(6). Let u = -35 - d. Is u a composite number?
True
Let y(l) = l**2 - 4*l - 9. Let v(k) = -2*k**2 + 9*k + 18. Let m(t) = -3*v(t) - 5*y(t). Is m(11) prime?
False
Suppose 5*o + 1 = -4*y + 16, 2*y - 4*o = 14. Suppose 5*v + 5*f = -0*f + 430, y*v - 3*f = 470. Is v a prime number?
False
Let i = 7 + -5. Suppose -i*z - 2*s = -3*s - 66, 4*s + 171 = 5*z. Is z prime?
True
Suppose 5*b - 120 = 2*w + w, b - 5*w - 24 = 0. Let p = b + 35. Is p a composite number?
False
Suppose 6 = 2*d + d. Let j be 2 + (-2 - d) - 4. Is (-394)/j - (-2)/(-3) composite?
True
Suppose -632 = k - 0*k. Is 0 + (k - 2)/(-2) a prime number?
True
Suppose 19*s - 9779 = 8*s. Is s prime?
False
Let u be 5 + ((-12)/4 - -1). Suppose -u*q + 2*q + 25 = -3*j, 3*q - 3*j - 45 = 0. Is q a composite number?
True
Suppose s = -0*s + 90. Let j = s + -39. Suppose -153 = -4*c - q, 3*q + j = 3*c - 45. Is c a prime number?
True
Let g(s) be the third derivative of s**6/120 - s**5/10 + s**3 - 2*s**2. Let y = 2 - -5. Is g(y) a prime number?
False
Let y(u) = u**3 + 4*u**2 - 4*u - 6. Let p be y(-5). Let z(r) = r**3 + 12*r**2 + 10*r - 9. Let k be z(p). Is (-1)/k*2*-79 prime?
True
Let u(a) = 8*a**2 - 6*a + 8. Let p be u(6). Suppose 8*g - 4*g - p = 0. Is g a composite number?
True
Let l(d) = -9*d**2 + 27*d - 31. Let p(g) = -4*g**2 + 13*g - 15. Let t(v) = -3*l(v) + 7*p(v). Let a be t(8). Suppose 13 = a*c - 199. Is c prime?
True
Suppose 3*b = -2*b + 2425. Is b composite?
True
Let d be (-4)/(-10) + 16/10. Is ((-6)/4)/((-1)/d) composite?
False
Let v(x) = 2*x + 4. Let y be v(-8). Is (-6 - y)*(-74)/(-4) composite?
True
Let b be 4/(-30) - 51/(-45). Let w(s) = s**2 + 3*s + 4. Let p be w(-5). Is (b + p)*(2 - 1) a composite number?
True
Let i be ((-10)/(-3))/((-4)/(-6)). Suppose 0 = i*d + 236 - 891. Is d prime?
True
Let k = 1 - -9. Suppose 4*n + 36 = 5*d, d - 2*d + 27 = -3*n. Let p = k - n. Is p composite?
False
Let r = 1195 - 758. Is r a prime number?
False
Let p be (-2)/4 + (-28)/(-8). Suppose p*y + 46 - 1327 = 0. Is y a composite number?
True
Let o be 1455/2*2/3. Let b = -218 + o. Is b prime?
False
Let v = -997 - -1778. Is v prime?
False
Suppose 8*f - 34857 = -f. Is f a composite number?
True
Let q(t) = 139*t**2 - 2*t - 1. Is q(2) a prime number?
False
Let n(s) = s**3 - 5*s**2 + 10*s - 1. Is n(4) a prime number?
True
Let j(u) = u**3 - 3*u**2 - u. Let o be j(3). Let h be 1/((-13)/(-4) + o). Suppose 0 = 5*k + 2*b - 327, 2*k + h*b - 69 = k. Is k composite?
True
Let j(q) = q + 6. Let m be j(-8). Let k(h) = -26*h**3 - h**2 - h - 1. Is k(m) composite?
True
Let x(m) = 12*m - 3. Let l(k) = -23*k + 7. Let n(o) = 3*l(o) + 5*x(o). Let w be n(4). Is (0 - w/(-4))*-2 composite?
True
Suppose 0 = 5*p + 25, -8*x + 2*p + 1195 = -3*x. Is x a prime number?
False
Let k = 1206 + -527. Is k composite?
True
Let i = 52 - 36. Is -2 + 3 + 4 + i a prime number?
False
Let s(a) = -1. Let q(p) = -p + 2. Let y(c) = -q(c) + 3*s(c). Let b be y(5). Suppose 2*w - 22 = -b*w. Is w prime?
True
Is 4306/(-6)*(-4 - (-2 - -1)) a composite number?
False
Is (4*5/30)/(2/7179) composite?
False
Suppose 0 = -3*r + 2*r. Suppose r = m + 1, 4 - 34 = -4*p + 2*m. Suppose z - p*k - 37 = -3*k, -5*z = 2*k - 185. Is z prime?
True
Suppose 3*a - 2*i - 120 = 131, -5*i = 5. Is a prime?
True
Suppose 2*j + 206 - 1696 = 4*q, j + 3*q - 755 = 0. Is j a prime number?
False
Is 219 - (-4)/(-2)*-2 composite?
False
Let v(y) = 35*y + 1. Suppose 4*k = 8, -i = 2*i - 4*k - 10. Is v(i) composite?
False
Let x = 21 + -21. Suppose x = 3*b - 96 - 513. Is b a prime number?
False
Suppose 9*p + 4019 = 12650. Is p composite?
True
Let v(w) = -w**2 - 35*w - 5. Is v(-21) a composite number?
True
Suppose 39 + 7685 = 4*v. Is v a composite number?
False
Suppose 0 = 4*b - 9*b + 4*r + 1317, 2*r - 534 = -2*b. Is b a composite number?
True
Let o be (6/(-4))/(6/8). Is 0 - -2 - 38/o composite?
True
Let b(n) = 3*n**3 + 2*n**2 - 4. Let a(y) = -7*y**3 - 5*y**2 - y + 8. Let x(f) = -2*a(f) - 5*b(f). Is x(-5) a composite number?
True
Let k = 0 + 2. Let r(d) = -d**3 - 2*d**k - 5 + d + d**2 - 3*d**2. Is r(-5) prime?
False
Suppose 0 = -u + 2*g - 6, 4*u + 9 = 7*u + 3*g. Suppose 2*k - 692 = -2*j, -5*j - 1339 = -4*k - u*j. Is k composite?
True
Let x(b) = -13*b**3 + 16*b**2 + 5*b + 10. Let u(v) = -9*v**3 + 11*v**2 + 3*v + 7. Let p(r) = -7*u(r) + 5*x(r). Is p(-4) prime?
False
Let f(w) = 129*w - 38. Is f(13) composite?
True
Let i = -30 - -51. Let b = i + -41. Is 5/b + (-597)/(-4) composite?
False
Let n(z) = -1758*z**3 - 3*z**2 - 3*z - 1. Is n(-1) prime?
False
Let a = 2 - -5. Let k be (a + -6)/((-1)/83). Let x = k - -228. Is x composite?
True
Let u = 13 - 9. Suppose 3*z = 3*v - 9, 30 = -v + 4*v + u*z. Suppose 0 = l - v - 7. Is l a prime number?
True
Suppose 2*c - 6*c + 6 = 3*k, -3*c - 3*k = -3. Suppose 0 = -c*i + 135 + 42. Is i a prime number?
True
Let h be (-2)/9 + 6358/18. Suppose -v - 107 = -h. Suppose 49 = 5*k - v. Is k composite?
False
Let m(g) = -g - 6. Let d be m(-6). Suppose 2*k + 0*k - 98 = d. Let s = k + 30. Is s a prime number?
True
Let q = -1050 + 2127. Is q a prime number?
False
Let b be 0 - (-2)/(-4)*-6. Suppose 3*m + 155 = 2*p, b*m + 130 = -2*p - 9. Let r = 30 - m. Is r a prime number?
True
Let x(z) = -10*z**2 - 3*z + 4. Let t(p) = p**2 - 1. Let b(r) = -5*t(r) - x(r). Let w be b(3). Suppose -4*k = 5*q - 9*k - w, k + 2 = 0. Is q composite?
True
Suppose x = -5*l + 449, 0 = 3*x + l - 327 - 1006. Let g = -191 + x. Is g a prime number?
False
Suppose -2*g = -0*g + 6. Let m(r) = -12*r - 1. Is m(g) prime?
False
Let u(f) = 2*f**2 - 11*f - 15. Let d = 13 - -1. Is u(d) a prime number?
True
Let c(r) = -r**3 - r**2 + r - 2. Let k be c(-2). Suppose k = -3*z - z + 60. Is z a composite number?
True
Suppose -4*m - 2*a + 15 = -3*m, 0 = -4*m - 4*a + 44. Is m a composite number?
False
Let v(u) = u**2 - 4*u + 4. Let j be v(4). Is j/16 - 950/(-8) a composite number?
True
Let j(g) = -4*g**3 - 10*g**2 + 4*g + 9. Let f(h) = 5*h**3