- t = p. Is j a composite number?
True
Let p = -1 + 2. Let x(n) = -7*n - 7. Let k(s) = 11*s + 10. Let g(i) = 5*k(i) + 7*x(i). Is g(p) composite?
False
Let o(q) = 9*q**3 + 5*q**2 - q + 4. Is o(7) prime?
True
Let i(k) = 10*k - 3 + 4 + 4*k. Let s(l) = -l**2 + 2*l + 1. Let q be s(2). Is i(q) a composite number?
True
Let b(c) = -685*c. Is b(-1) a composite number?
True
Suppose 14 - 74 = -v. Suppose 0*r = -4*r + v. Let g = r + -2. Is g a composite number?
False
Let n(d) be the second derivative of d**4/12 - d**3/3 - 5*d**2/2 - 2*d. Let z be n(4). Is 12 + 2/(3/z) a prime number?
False
Suppose 7*a + d = 2*a + 50671, 16 = -4*d. Is a a composite number?
True
Is (-3 - -1717*1) + -3 prime?
False
Let j(n) = 2*n - 5. Let l be j(9). Suppose -3*q + 34 = l. Is q a prime number?
True
Let g = -3 + 6. Suppose -g*c + 301 = -47. Suppose 0 = -o - 3*y + c, 370 = 5*o + 4*y - 199. Is o composite?
False
Let q be (-4)/(-7) - (-3852)/(-28). Let i = q - -294. Is i a composite number?
False
Let z(k) = -2*k + 1. Let a be z(-4). Let o = -3 + a. Suppose -2*l + 8 = -o. Is l prime?
True
Suppose 0*l - 5*l = -55. Suppose -u = 3*g + l, 3*u - 5*u + 2*g + 10 = 0. Is (u - 0) + (-18)/(-2) a composite number?
True
Suppose -4*z = 2*m - 1436, m + 3*m + 1424 = 4*z. Is z a prime number?
False
Suppose 4*a + 142 = q - 77, -4*a - 234 = 2*q. Let w = -18 - a. Is w prime?
False
Let r(s) = -s**2 + s + 5. Let j be r(0). Suppose -4 + 24 = j*c. Suppose i - c*i = -93. Is i composite?
False
Let c(t) = t**3 + t + 1. Let p(o) = 47*o**3 + o**2 - 6*o - 4. Let k(l) = 5*c(l) + p(l). Is k(1) a prime number?
True
Let n(a) = 2 + 4 - 2 - a. Let g be n(2). Suppose -g*t = t - 159. Is t prime?
True
Is 1/2 - (0 + 1677/(-2)) a prime number?
True
Let x(n) = 223*n + 3. Let o(h) = -h**2 - 6*h + 9. Let i be o(-7). Is x(i) prime?
True
Let t = -52 - -90. Suppose m = 73 - 16. Let j = m - t. Is j a prime number?
True
Let l(y) = -95*y - 1. Let o be l(-1). Let i = o + 49. Is i prime?
False
Let t(c) = -c**2 + 6*c - 4. Let z be t(4). Suppose -3 = z*v + 5. Is ((-166)/(-4))/(v/(-4)) prime?
True
Suppose -2*b - 4*j = 3*b - 1905, -1156 = -3*b - 5*j. Is b a prime number?
False
Is (-6320)/32*4/(-5) a prime number?
False
Suppose -4*w - 5 = l - 6*l, -5*w + 35 = 2*l. Suppose -w*g + 25 = 5. Suppose -g*p = 4*m - 364, -4*m + 7*m - 273 = 2*p. Is m a prime number?
False
Let p(o) = o + 3. Let q be p(3). Suppose -5*j = -3*s + q, s - 3*s = 4*j - 4. Suppose 4*g - 332 = -j*g. Is g composite?
False
Let m(u) = u**2 - u - 9. Let g be m(-7). Suppose -2 = -r + g. Is r prime?
False
Suppose 2*l + 5 = -3*z, 2*l + 2*z = l - 3. Let r = l - -1. Suppose c - 42 = -3*m, -3*m + r*m = -4*c - 42. Is m prime?
False
Let w(c) = 5*c - 3. Is w(14) a prime number?
True
Let c be (10/(-4))/(1/(-2)). Suppose -1585 = -7*i + 2*i - v, -3*i - c*v = -951. Is i a prime number?
True
Let h(x) = 3*x**2 - 9*x + 6. Let a be h(12). Let w = -173 + a. Is w a prime number?
True
Suppose 3*b - 4*b = -3. Suppose -b*m = 3, 0 = -3*d + 2*m + m + 576. Is d a prime number?
True
Suppose -2*v - 3*v + 4885 = 0. Is v prime?
True
Suppose 4*n = -n + 355. Let m = 117 - n. Is m composite?
True
Suppose -4*c - 6 = -26. Let j(q) = 4*q - 2. Let g be j(c). Is 12/54 - (-626)/g prime?
False
Suppose 9*z = 7*z + 1574. Is z composite?
False
Is ((-8)/(-14))/(42/147) - -1479 composite?
False
Let w = 116 - -19. Suppose 2*a = 4*s + 1545 - w, 0 = -5*a - s + 3547. Is a a composite number?
False
Is -1418*(-1)/4*2 composite?
False
Let h be 1/(-3*(-2)/12). Is 945/10 - (-1)/h prime?
False
Let s(k) = 8*k**3 - 20*k**2 + 23*k + 4. Let y(i) = -3*i**3 + 7*i**2 - 8*i - 1. Let f(x) = 4*s(x) + 11*y(x). Is f(-8) a prime number?
True
Suppose -5*z = -3*k + 719, -k + 4*k - 687 = -3*z. Is k a composite number?
False
Let f(y) = -4*y + 1. Let g be f(-1). Suppose 0 = g*i - 5*b - 68 - 117, b - 37 = -i. Is i composite?
False
Suppose 3*i - 2*i - 1106 = -5*g, 4*g = -5*i + 889. Is g prime?
False
Let p(c) = 6*c**2 - c. Let g be p(1). Suppose -28 - 27 = g*t. Let w = t - -70. Is w a composite number?
False
Let l = 63 + -222. Let o be (-1 - (-1)/(-1))*1. Is 1/(o + l/(-79)) a composite number?
False
Suppose -2*s + 66 - 4 = 0. Is s composite?
False
Is (-1217 + 9 + -5)/(-1*1) a prime number?
True
Let q(a) = -22*a - 9. Let w be 1/(-1*(-3)/(-24)). Is q(w) a prime number?
True
Let r = 1129 + 2920. Is r a composite number?
False
Let j = 26 + -21. Suppose -j*x = -0*s - s + 138, 5*x - 261 = -2*s. Is s a prime number?
False
Suppose -5*t + 4088 = 2*l, l = 3*l - t - 4076. Is l prime?
True
Let a(g) = -g. Let x be a(-4). Suppose x*q - 11 = 217. Suppose -4*v = -253 + q. Is v composite?
True
Suppose -5*m + 3*a = -61 + 14, -a = -1. Is m a prime number?
False
Suppose -2*h = h. Let a be 2/1*115/2. Suppose -3*g - 2*g + a = h. Is g prime?
True
Suppose 0 = 4*n - 6*n - 2. Is -2 - ((n - 190) + 2) composite?
True
Let a = 0 + 2. Suppose -a*l - 6 = l. Is 34 - 1 - 1 - l a prime number?
False
Let p(b) = -49*b**2 - 5*b + 3. Let n be p(4). Is n/(-63) + 4/14 composite?
False
Suppose 0 = -m + 4 - 0. Suppose -159 = m*o - 7*o. Is o a composite number?
False
Suppose -3*w + 86 = -79. Is w composite?
True
Let y(n) be the first derivative of 19*n**2/2 + n - 1. Is y(4) prime?
False
Let i(p) = 3 - 2 + 11*p**2 - 2 + 18*p**2. Is i(-2) a prime number?
False
Suppose 4*k - 669 = -89. Is k a composite number?
True
Let v = -514 - -331. Let t = v - -310. Is t a prime number?
True
Let x = 14 - 10. Let i be 2/2 - x - -283. Suppose 3*f - 157 - i = -2*a, -5*f + 707 = -2*a. Is f prime?
False
Let k(s) = -s**3 - 5*s**2 + 5*s - 6. Let o be 0 + 3 - 3 - 6. Let d be k(o). Is d + (51 - (-2)/1) a prime number?
True
Suppose 0 = 3*h - j - 1436 - 1302, 0 = 5*j + 25. Is h prime?
True
Suppose z + 3*z - 1 = -3*d, -3*d - 2*z + 5 = 0. Let t(x) = -5 - 1 + 2*x + 2 - x**d + 2. Is t(-5) composite?
False
Let h(w) = -49*w - 6. Is h(-7) prime?
True
Let n(o) = -263*o + 2. Is n(-3) composite?
True
Let c = 909 + -640. Is c a composite number?
False
Suppose -3*d + 516 = -0*d. Let u = d - 88. Let n = u + -59. Is n prime?
False
Let g = 4463 - 3026. Is g a composite number?
True
Suppose r + 0*r + 3*f = 878, 3545 = 4*r + f. Is r prime?
True
Let c = 63 + -26. Is c prime?
True
Let k = 203 - 145. Is k a composite number?
True
Let h = 13 - -17. Suppose 3*r - 19 - 2 = 0. Let x = r + h. Is x prime?
True
Let r(w) be the second derivative of 2*w**3/3 - 2*w. Let c be r(1). Suppose 5 + 35 = c*p. Is p prime?
False
Let i be 99/(-15) + (-4)/10. Let v = i - -26. Is v a prime number?
True
Suppose -4*g = -3*g - 2411. Is g composite?
False
Is (2942*5/15)/((-4)/(-6)) a composite number?
False
Let u(r) = -2*r**3 + r + 6. Is u(-5) a prime number?
True
Suppose 5*p - 1347 - 1709 = -3*i, 3*i = -9. Is p a prime number?
True
Let t(f) = 84*f**2 - 1. Is t(-1) composite?
False
Suppose 0 = -4*a + 3*a. Suppose -z + 1 = 0, -z + a*z = -5*h + 674. Let n = h - 16. Is n a prime number?
False
Let o(b) = 1190*b + 31. Is o(5) composite?
False
Let f = 280 + -65. Is f composite?
True
Let l(u) = -u**3 + 14*u**2 + 4*u + 15. Is l(14) a composite number?
False
Let r be (-4)/(-10) + (-148)/(-5). Suppose -5*i - 5*y = -30, 0 = -5*i + 4*y + r. Is i prime?
False
Suppose -4*y + 2 = -14. Suppose -4 = 2*k + 2*n, 5*k - y*k = 3*n + 14. Suppose -s + k*s - 37 = 0. Is s a composite number?
False
Let y(d) = -d**3 - 8*d**2 + 10*d + 6. Let s be y(-9). Let m(k) = -k**3 - 5*k**2 - 3*k + 2. Let i be m(s). Let f = 28 - i. Is f prime?
False
Let s = -1489 + 2532. Is s a composite number?
True
Let m(r) be the second derivative of r**4/12 + 3*r**2 - r. Suppose 6*s = -5*s + 99. Is m(s) a composite number?
True
Suppose 0 = -5*t + 15, 0*j + 3*t - 11 = -j. Suppose j*q = -q + 12. Suppose q*l + 0*n - 51 = -5*n, n = 4*l - 81. Is l a prime number?
True
Let g(r) = r**3 + 7*r**2 - 9*r - 4. Is g(5) composite?
False
Let p(x) = -x**3 - x - 1. Let g(i) = 8*i**3 - 3*i**2 + 7*i + 5. Let l(b) = -g(b) - 4*p(b). Is l(-3) a prime number?
False
Let c(k) = 32*k**2 + 2*k - 17. Is c(-10) composite?
False
Let m = -10 - -11. Is (0 - m) + 80 + -2 a composite number?
True
Let f(x) = -64*x**3 + x**2 + x + 1. Let z be f(-2). Let l = -217 + z. Is l/8 + (-2)/8 prime?
True
Suppose -4*a + 3*l = 2589 - 7159, 5*a - 5707 = l. Is a a prime number?
False
Let s(a) be the second derivative of a**6/120 - 7*a**5/60 - 13*a**4/24 + a**3/