. Is d a prime number?
False
Suppose -2*s = 5*d - 69, d + 10 = s + 28. Is d composite?
True
Let t(w) = w**3 - 3*w**2 + 2*w - 2. Let p be t(3). Suppose 0 = p*k + 16, 3*k = -4*q + 55 - 211. Let m = q - -55. Is m a composite number?
False
Let k(y) = 293*y**2 + 2*y - 2. Let q(w) = -2*w + 7. Let d be q(3). Is k(d) prime?
True
Suppose -3*a = -2*w + 509, 0 = -5*w + 4*a + 2082 - 799. Is w a composite number?
True
Let q = 883 - 312. Is q composite?
False
Let n(x) = x + 6. Let d(m) = 1. Let v(c) = -4*d(c) + n(c). Let l be v(0). Suppose -l*w = -38 - 14. Is w composite?
True
Let z(h) be the second derivative of 59*h**5/10 + h**4/12 + 6*h. Is z(1) prime?
False
Let i = -111 + 322. Is i a prime number?
True
Suppose d + 3*m - 8 = 1, -d - 6 = -2*m. Let r be (-107)/7 + (-4)/(-14). Let v = d - r. Is v a prime number?
False
Let x(n) = 4*n**2 + 3*n + 1. Let i be ((-3)/(-2))/((-1)/(-2)). Suppose i*h = -6 - 6. Is x(h) prime?
True
Let s(i) = i + 1. Let v(q) = -33*q - 1. Let n(t) = -4*s(t) + v(t). Is n(-4) a composite number?
True
Let l(n) = n**3 + 6*n**2 - 6*n + 9. Suppose 5*d = 4*i - 43 + 8, 5*d + 5*i = -35. Let s be l(d). Suppose q = -q + 2*z + 48, -s = 2*z. Is q a composite number?
False
Let z = -80 + 237. Is z composite?
False
Suppose -4*v = 4*g - g - 627, 639 = 4*v - g. Is v composite?
True
Let t(d) = -11*d**3 + 2*d**2 + 6*d - 4. Is t(-3) a composite number?
False
Let j(m) = 8*m**2 + 2*m + 9. Let l be j(5). Suppose -4*u - l = -1447. Is u a composite number?
False
Let d(g) = 2*g**2 - 5*g + 2. Let k be d(3). Suppose k*y = 58 + 367. Let l = y - 48. Is l prime?
True
Suppose -12 = -2*n + 2*s, -4*s = 22 - 6. Suppose -v = n*v - 93. Is v a composite number?
False
Let j be (-520)/(-24) - (-2)/(-3). Let w(v) = v + 1. Let q be w(4). Suppose 9 = -3*n, -4*i - q*n - j = -106. Is i a composite number?
True
Let d(t) = 3*t**3 - 7*t**2 - t + 11. Is d(5) composite?
True
Let p(n) = 193*n + 5. Is p(12) composite?
True
Let x be 3 + (-4)/6*-3. Suppose -2*w + 16 = 2*r, 0*r - 3*w = x*r - 44. Is (8/r)/(8/620) composite?
True
Let k(x) = -x**3 - x**2 + x + 95. Suppose -f - 5*r + 0 = -10, -3*f - 4*r + 8 = 0. Is k(f) a prime number?
False
Suppose 0 = 4*h - 2*h - 14. Let k be (-2)/h - 2040/(-35). Let l = -32 + k. Is l prime?
False
Let v(k) = -2*k**3 - 13*k**2 - 22*k - 16. Is v(-9) prime?
True
Is (20/50)/(4/190) prime?
True
Is (-654)/((-7)/((-28)/(-8))) a prime number?
False
Let p(k) be the first derivative of k**4/4 - 8*k**3/3 + 9*k**2/2 - 10*k - 2. Is p(7) composite?
True
Let n = -11 - -20. Let g(y) = y**2 + 4*y - 11. Let z be g(n). Let j = -69 + z. Is j a prime number?
True
Let r(t) = 82*t**3 + 2*t**2 - t. Suppose 3*v + 4 + 5 = 0. Let w = v - -4. Is r(w) composite?
False
Let s(t) = 50*t + 4. Let p be s(4). Suppose -2*j = 2*j - p. Is j a composite number?
True
Suppose -o = -6 + 1. Let m = o + -3. Is 30/(4/m) + 0 a prime number?
False
Suppose -5*a = -10*a - 3*n + 1233, 2*a - 4*n = 514. Suppose 2*t + t - a = 0. Is t composite?
False
Let l(f) = -11*f - 15. Let a = 10 - 20. Let i be l(a). Suppose -r + 18 = -i. Is r composite?
False
Suppose 2*f - f + 6 = 0. Let z be 45/6*(-4)/f. Suppose k + 5*d + 4 = 0, -z*k = -0*d - 3*d - 120. Is k composite?
True
Let g be 2/8 + (-20)/16. Is (-16)/(-2) + (g - -3) a composite number?
True
Suppose 1112 = 6*l + 134. Is l a composite number?
False
Suppose -3*l - 2 - 4 = 0, 0 = -5*b + 4*l + 8. Let m(h) = -h**2 + h + 110. Let j be m(b). Suppose c - 3*c + j = 0. Is c a prime number?
False
Let i(v) = 4*v**3 + 12*v**2 + 10*v - 6. Let m(o) = 5*o**3 + 13*o**2 + 10*o - 7. Let b(j) = 6*i(j) - 5*m(j). Is b(8) prime?
False
Let z be (-3 - -3)*2/(-4). Suppose -3*i + 6 + 0 = 0. Is 14 + z/(-1 - i) a composite number?
True
Let m be -2*(12/4 - 6). Suppose 0 = -m*k + 4*k + 434. Is k prime?
False
Let d(s) = -s - 4. Let i be d(-7). Let r(q) = -i + 4*q + 6*q + 18*q + 3*q. Is r(4) composite?
True
Let i(v) = v**2 + 6*v + 6. Let n be i(-6). Suppose 0 = n*h - h - 20. Suppose -291 = -h*p + p. Is p a prime number?
True
Suppose 4 = b + 9, 0 = 3*o - 4*b - 905. Is o a composite number?
True
Let p(w) = 7*w**2 + 4*w + 17. Is p(-10) prime?
True
Let i(g) = 4*g + 317. Is i(0) a composite number?
False
Is 4/14 + 89999/49 prime?
False
Let i(x) = x**3 - 4*x**2 - 6*x + 5. Let r be i(5). Suppose r*t - 4*t - 20 = 0, -40 = -s - 3*t. Is s a prime number?
False
Suppose -2*v - 39 = -5*k, 15 + 4 = 3*k + v. Suppose -k = p - 2*o, 4*p - p = 4*o - 25. Is 0 + (-2 - (p - 2)) composite?
False
Is (253 - -12)/((-1)/(-1)) composite?
True
Suppose -92 = -4*t - 0*t. Suppose 4 = -n + t. Is n prime?
True
Suppose -3*s + 5*s - i - 234 = 0, i = -s + 123. Is s a prime number?
False
Suppose -m + 2 = -11. Let g(t) = 23*t - 6. Is g(m) prime?
True
Let g = 182 - 125. Suppose -166 = -3*t + 2*b, 4*t + 0*t + 2*b - 212 = 0. Is (-1)/(t/g - 1) a composite number?
False
Let b be 18/8 - (-1)/(-4). Is (-23)/b*(-6 + 0) composite?
True
Let n(i) = i**3 + 10*i**2 - 12*i - 4. Let y be n(-11). Suppose y + 2 = -3*z. Is (7 + -4)*(-209)/z composite?
True
Let y(j) = 93*j - 2. Let r be y(3). Suppose r = 4*p + 41. Is p composite?
False
Let i(m) = 6*m**2 + 8 + 2*m**3 - m**3 - 4*m + 5*m. Let c be i(-6). Is 6*(1 - (2 - c)) a composite number?
True
Let x(c) = -c**3 + 2*c - 5. Is x(-6) a prime number?
True
Is 1/(3 - (-12320)/(-4108)) a prime number?
False
Suppose 3*l + 12 = -15. Let t = 12 - l. Is t a prime number?
False
Let w = 0 + 4. Suppose 2*p = 2, 0 = -4*f + w*p - p + 89. Suppose -4*z + f + 197 = 0. Is z a prime number?
False
Let a be 2/4 + (-28)/(-8). Let n = 7 - a. Suppose i + i - 3*h = 106, 0 = n*i - 2*h - 169. Is i a composite number?
False
Suppose x = -4*b + 11, 0 = -0*x - 5*x - 5*b + 25. Let m(j) be the first derivative of 11*j**2 + j + 2. Is m(x) a composite number?
False
Let n(b) = b**3 - 10*b**2 - 15*b + 11. Is n(13) a prime number?
False
Suppose -z = -0*z - 4. Suppose 111 = -g + z*g. Is g composite?
False
Let i = 7 - 6. Is (-1 + 1499)/(3 - i) prime?
False
Let z(o) = 3*o**2 + 2*o + 1. Let s be z(6). Let x(q) = 8*q**2 + 4*q - 5. Let n be x(-4). Suppose n = 4*a - s. Is a a prime number?
False
Let l = -6 + 8. Suppose 3*i = -l*g + 36, 2*i - 99 + 35 = -4*g. Is g prime?
False
Let v(y) = -y**2 + 9*y. Let f be v(9). Suppose 2*b - 7 = 3*q, b + f*q = -2*q + 21. Let w(n) = 2*n**2 - 13*n - 16. Is w(b) a composite number?
False
Let b(j) = -5*j**2 - 1 + 0*j**2 + 7*j**2 + 6*j. Let c(v) = v + 1. Let m be c(4). Is b(m) a composite number?
False
Suppose 111 = 2*v - 299. Suppose -v = -2*o + o. Is o composite?
True
Let z = -1362 - 126. Is z/(-10) + 6/30 a composite number?
False
Let t(o) = -o**3 + o - 1. Let q be t(2). Let r = 9 + q. Suppose 2*n = 3*x - 0 - 67, -r*x = -4*n - 58. Is x a composite number?
False
Let z = -13 - -7. Let i(n) = n**3 + 6*n**2 - 4*n + 4. Let t be i(z). Let d = 50 - t. Is d a composite number?
True
Let x(r) = r**2 - 4*r + 8. Let a = -2 - -6. Let k be (14/(-8))/(1/a). Is x(k) a composite number?
True
Suppose 0 = -n + 2*n - 75. Suppose 4*u + n = u + 3*r, 5*u - 4*r = -127. Is (-28)/6*u/6 a prime number?
False
Suppose -5495 = 5*n - 10*n. Is n prime?
False
Suppose w = -0*t - 5*t + 61, -2*w - 22 = -2*t. Let v(x) = -x**2 + 18*x - 10. Is v(t) composite?
True
Let g be -2*(20/8 - 1). Is 9 + -1 - (g - 0) composite?
False
Let u = -21 + 11. Let f be (-2)/4 + 556/8. Let j = f - u. Is j a prime number?
True
Let x(z) = z**3 + 10*z**2 + 8*z - 7. Let y be x(-9). Suppose -y*r + 24 = -5*q - 350, 5*r - 5*q = 905. Is r a prime number?
False
Suppose 3*v - 16 = -v. Suppose -v*o = -8*o + 364. Is o prime?
False
Suppose 8*z = 2*z + 1200. Suppose -3*n = 3*p - 6, 0*p - 5*p = -10. Suppose -3*w - 53 + z = n. Is w prime?
False
Suppose -4*i + 155 + 113 = 4*j, -128 = -2*j - 5*i. Is j a prime number?
False
Suppose 0 = 4*l - 2*l + 1746. Is (l/27)/((-2)/30) composite?
True
Suppose -4*c = -c. Suppose c = -i + 6 + 28. Is i prime?
False
Is -326*1*3/(-6) a composite number?
False
Let i = -72 + 42. Let u = -14 - i. Suppose 0 = 2*a - 2*l - 186, -u = l + 3*l. Is a composite?
False
Suppose 3*h + 18 = -2*g, -g + 5*g = h - 64. Let w = 40 + g. Suppose -2*x + 12 + 52 = -3*i, 5*i + w = x. Is x prime?
False
Suppose 0*z + 5*t = -z + 159, -z + 195 = -4*t. Is z a composite number?
False
Let a(j) = -j**3 + 3*j + 1. Let v be a(-2). Suppose 4*u = 4*t - 20, 0 = 3*t + v*u + 2 + 13. Suppose 2*q -