?
True
Let l(p) = -p - 1. Let u(w) = -15*w - 4. Let d(j) = -4*l(j) + u(j). Is d(-2) prime?
False
Let b(n) = n**3 + 13*n**2 + 10*n - 8. Is b(-9) a composite number?
True
Suppose -6 = 2*r + 2. Let o(i) = -i**3 - 3*i**2 + 4*i + 5. Let v be o(r). Suppose -192 + 17 = -v*j. Is j composite?
True
Let j = 133 + 188. Is j a prime number?
False
Suppose 4*b + 80 = 1116. Is b prime?
False
Let g = 7 + -3. Suppose 2*p = 3*z - 453, 3*p = g*z - z - 456. Is z prime?
True
Let v = 788 - 441. Is v a composite number?
False
Let h be 3/(-2) - 3/6. Let g be (134/1)/(h/(-4)). Let t = g + -185. Is t prime?
True
Let v = 7 + 67. Suppose -h + v + 219 = 0. Is h composite?
False
Let i(f) = f - 4. Let l be i(7). Let p = l - -200. Is p prime?
False
Is 22/(-55) + 15726/15 + 1 prime?
True
Let w(t) = -t - 5. Let b be w(-9). Let p be (-4)/(-10) - b/10. Suppose -2*j = -p*k - k - 111, 5*k = -2*j + 81. Is j a composite number?
False
Suppose 3*r - 592 = -r. Let y = r - 57. Is y a composite number?
True
Let p(z) = -20*z + 19. Is p(-20) a prime number?
True
Let o = -8 + 35. Let u = o + 82. Is u a prime number?
True
Suppose -2*f = 2*f - 316. Is f a prime number?
True
Let m(k) = k**3 + 2*k**2 - 4*k - 2. Let p be m(-3). Let i(b) = 212*b**3 + b - 1. Let x be i(p). Suppose 6*l - x = 2*l. Is l a prime number?
True
Suppose -4*t + 2385 = 5*t. Is t a prime number?
False
Is 3*(22/(-4))/((-3)/2) composite?
False
Let g be 0/(1*-3) - -6. Let x(s) = 2*s - 7. Let z be x(g). Suppose -293 = -z*q + 92. Is q a prime number?
False
Suppose w = 65 + 122. Let u = 330 - w. Is u a composite number?
True
Suppose -3*a + 3*m - 42 = 0, 4*a - m + 23 = -39. Is a/56 + 583/7 a composite number?
False
Suppose 4*q + q - 15 = 0. Let a be 2*((q - 1) + -1). Suppose 4*t + c - 164 = 60, t - 47 = a*c. Is t prime?
False
Suppose -8*u + 3*u + 1765 = 0. Is u composite?
False
Let b(h) = 3*h**2 - 9*h + 1. Let s be b(5). Let n = s - 17. Is n a composite number?
True
Suppose -2*n + 6 = -4*n + 4*k, -2*n + 3 = 5*k. Is 89*(2/1 + n) composite?
False
Let c = 2561 - 1822. Let w = 1070 - c. Is w prime?
True
Suppose -1 - 14 = -5*w. Suppose -7 = -3*c + w*m - 4, -2*c = -5*m - 11. Is 105/3 - c - 3 a prime number?
False
Suppose -2*f + 93 = f. Is f a composite number?
False
Suppose o - 844 = -3*o. Is o prime?
True
Let t(n) = 154*n - 17. Is t(6) prime?
True
Suppose -893 - 504 = -f - t, -t = -4. Is f a prime number?
False
Let c(r) = -r**3 + 7*r**2 - r - 7. Let t be -2*(2 - (-9)/(-2)). Is c(t) prime?
False
Suppose -7*w + w + 2916 = 0. Suppose 654 = 4*q + 2*s, 2*q - 3*s = -q + w. Is q a composite number?
False
Suppose -h = -6*h + 25, -3*w + h = -4390. Is w a composite number?
True
Let s(x) = -5*x**2 + 3*x - 2. Let g(d) = -4*d**2 + 2*d - 1. Let j(t) = 6*g(t) - 5*s(t). Is j(6) prime?
False
Let u(k) = -258*k - 1. Let g be 5/((-15)/(-9)) - 4. Is u(g) a composite number?
False
Is (-19022)/(-12) + (-40)/240 a prime number?
False
Suppose -8571 = -4*k + 145. Is k a prime number?
True
Let a(x) = x**3 - 6*x**2 + 6*x - 5. Let p(k) = -2*k - 14. Let z be p(-10). Is a(z) composite?
False
Suppose -5*x + 100 = 1475. Let v = -26 - 134. Let n = v - x. Is n a composite number?
True
Suppose -3*r = 4*c - 88 - 240, 82 = c - 4*r. Is c a composite number?
True
Let o be 4/10 - 26/(-10). Suppose 0*r - r + o = 0. Suppose -r*f - 3 = n - 12, 2*f = -n + 7. Is n prime?
True
Let y be 2/3 - 926/(-6). Suppose 5*z - 180 - y = 0. Is z a prime number?
True
Suppose -4*p + 2*k + 4170 = 0, 2*p + k - 626 = 1461. Is p prime?
False
Let d be ((-2)/(-4))/(2/12). Suppose -1 + 4 = n, -3*n - 342 = -d*c. Suppose 0 = q, 0*q - c = -3*f + 2*q. Is f composite?
True
Let t be (-504)/(-10) + (-2)/5. Let b = t + 17. Is b composite?
False
Let c(w) = -4*w - 4*w + 6*w**2 - 5 + 0*w**2. Is c(6) a prime number?
True
Let g = 7 + -1. Suppose -4*p + 86 = -3*r, r + 2*r - g = 0. Is p a prime number?
True
Let w = 665 - 34. Is w a prime number?
True
Let y(k) = 30*k - 4 + 25*k - 23*k. Let j be y(5). Suppose d + 61 - j = 0. Is d a composite number?
True
Suppose 2*r + 17 = 3*r. Suppose 4*a = -5*f + r, -f + 5*a = -2*f + 16. Let v = f - -18. Is v a composite number?
False
Let b = 131 - -18. Is b a prime number?
True
Suppose 4*v - 5*h = -v + 5, 0 = -2*v - 5*h - 26. Let f = v + 5. Suppose 101 - 19 = f*g + 3*x, 124 = 4*g - 4*x. Is g composite?
True
Let n(z) = 13*z**2 + 8*z + 2. Let k(s) = -12*s**2 - 7*s - 1. Let j = 12 + -18. Let c(m) = j*k(m) - 5*n(m). Is c(-3) composite?
False
Let p = 5379 + -1618. Is p prime?
True
Suppose -3*g = -0*g, g = 3*t. Suppose -2*f - x - 15 = t, 5*x = x - 12. Is (-33)/(-6) + (-9)/f a prime number?
True
Let o(u) = 74*u - 17. Is o(9) composite?
True
Suppose -6*w = -3*w + 3*y - 945, -3*y - 323 = -w. Is w prime?
True
Let w(f) = f**2 - 5*f + 4. Let v be w(5). Let m(r) = 4*r - 1. Is m(v) composite?
True
Let y(p) = -8*p + 2. Let f be y(-2). Let a be (-188)/(-36) - 4/f. Suppose 4*q - 3*r - r = 44, 6 = -2*q - a*r. Is q a prime number?
True
Let b be (3 + -2 - -3) + -1. Is b*(245 + 2) + 2 prime?
True
Suppose 0 = -8*c + 4*c + 16. Suppose 0 = -0*d - 3*d - c*h + 109, 5*d - h = 174. Is d prime?
False
Suppose 5*g + 75 = -70. Let f = 19 - g. Suppose 4*j = -4*r + f, -3*j + 6*j - 2*r = 46. Is j composite?
True
Suppose -5*m = g - 1485, -4*g - 3*m + 5872 = -0*m. Is g composite?
True
Suppose r = 2*r - 4. Let p(n) = 9*n - 1. Let f(q) = -3*q. Let t(g) = 6*f(g) + 3*p(g). Is t(r) prime?
False
Is 1*-71*(4 + 0 - 5) composite?
False
Let z = -1704 + 3431. Is z composite?
True
Let j be 9/5 - 5/(-25). Suppose 2*w + 3*w + 3*u = 1979, j*w - u - 796 = 0. Is w prime?
True
Suppose 6*i = -5*h + 3*i + 791, 5*i = 5*h - 775. Is h a composite number?
False
Suppose 0 = 3*w + 6, 3*z + 2*w + 9 = -7. Let f = 10 - z. Is f composite?
True
Suppose -r = -1 - 3. Let m(k) = 65*k - 1. Is m(r) prime?
False
Suppose -7*i - 165 = -8*i. Suppose -449 = -2*l + i. Is l composite?
False
Suppose 3*n - 506 = -2*k, 810 = 5*n - 3*k - 2*k. Suppose 3*i - n = i. Is i a prime number?
True
Is (-14)/35 + 8797/5 prime?
True
Let j = -31 - -14. Is -6*(j/2 + 0) composite?
True
Let x(m) = -2*m**3 - 8*m**2 + 6*m + 9. Let c(q) = 2*q**3 + 7*q**2 - 5*q - 8. Let o(n) = -4*c(n) - 3*x(n). Is o(-5) prime?
False
Suppose 0 = 2*h + 3 + 5, 2*a + 4*h = 1054. Is a a composite number?
True
Suppose 3*y + 183 = f + 6*y, 549 = 3*f + 3*y. Is f a composite number?
True
Suppose 0 = 3*r + 3*t - 0*t - 4212, r = 5*t + 1374. Is r a composite number?
False
Let m = -4 + 3. Let o(i) = 191*i**2 + i + 1. Is o(m) composite?
False
Let p(l) = 3*l**3 - 2*l**2 + 4. Let s be p(4). Let i = 422 - s. Suppose 5*b = 3*v + i, -67 = -b + v - 15. Is b prime?
False
Let f(r) = -2*r - 7. Let i be f(-10). Suppose 0 = -3*v + i + 11. Suppose 4 = -q + v. Is q a prime number?
False
Suppose 2*i - 277 + 14 = -5*z, 3*i - 407 = -5*z. Suppose -i = x + x. Let o = x - -137. Is o prime?
False
Let p be (-6)/(-4)*(-3 + 1). Is (p + 0)*(-158 - -7) a prime number?
False
Let w(l) = -l**3 - l**2 + 2. Let d be w(-2). Let s(p) be the first derivative of p**4/2 - 2*p**3 + 7*p - 9. Is s(d) composite?
False
Suppose -2*t - 1 = -5*l, l = -2*l - 4*t - 15. Is 17/(l/6*-2) prime?
False
Is (-2110)/(2/3 - (-16)/(-6)) composite?
True
Is -2 + 3/(15/1355) a prime number?
True
Let d(z) = -332*z**3 - 2*z**2 - z. Let f = -3 + 2. Is d(f) a composite number?
False
Suppose 0 = -z - 4*z. Suppose z = -2*h + 5*i + 54, -5*h + 69 + 49 = -4*i. Is h a composite number?
True
Suppose -z - 22 + 27 = 0. Suppose -5*a + 20 = 3*i, 0 = -4*a - 3*i + 14 + 2. Suppose -z - 11 = a*o, 5*k - 62 = -2*o. Is k prime?
False
Let u(i) = 5*i - 7 - 2*i + 0 - 4*i. Let r be u(-9). Suppose r*c = b - 39, -c + 4*c = -2*b + 71. Is b a prime number?
True
Suppose -g - 4*a + 16 = -2*a, -5*g - a = -35. Let k(f) = -f**3 + 8*f**2 + 7. Is k(g) a prime number?
True
Let v(h) = -51*h**3 - h**2 - 3*h - 4. Is v(-3) a prime number?
True
Suppose -4*u = -5*d - 16, -29 + 9 = -4*d - 5*u. Let y be (-1 + d)/(-1 + 2). Is (-72)/(3/y) + -1 composite?
False
Let i be 0 + (-8)/12*3. Is 16*4 + -3 + i prime?
True
Let w = -23 + 51. Is (331/4)/(7/w) prime?
True
Suppose 5*x - 8*x - 9 = 0. Let p be (x - -89)/((-2)/(-1)). Suppose d - p = 2*g, g = -3*d + 19 + 82. Is d a composite number?
True
Let u be 3/(-5) - 4990/(-25). Let l = u + -132. Is l prime?
True
Let y(d) = -16*d**2 + 5*d + 0*d + 2*d - 3 - 4*d. Let x be y(3). Let u