t a(g) = -3*g**3 - 2*g**2 - g. Let i be a(-1). Let r(j) = 5 - i + 3*j + j. Is r(5) composite?
False
Let b = 1 - -3. Suppose 3*c + h = -0*c + 340, -5*h = -c + 108. Suppose 0 = -5*o - 4*a + c + 388, 392 = b*o + a. Is o prime?
True
Let l = 979 + -260. Is l a prime number?
True
Suppose 2*y - 636 = -2*y. Suppose y = 4*t - b, 2*b + 200 = 5*t + b. Let m = t - 22. Is m composite?
False
Let b = 111 - 14. Is b a prime number?
True
Suppose -2*k - 159 = 5*p, 5*k - 2*p = -7*p - 390. Let s = -11 - 28. Let f = s - k. Is f composite?
True
Suppose -5*z + 1758 = z. Is z composite?
False
Suppose -3*x + 2187 = -3*n - 1389, x - 1195 = -2*n. Is x prime?
True
Suppose -4*d + 32 = -12. Suppose -2*v = -3 - d. Is v prime?
True
Suppose 4*a - 5*s = -4, 2 = -a + s + 1. Is (-43)/((-1)/(-1)*a) prime?
True
Let j = -2549 + 4020. Is j a prime number?
True
Let o = -7 - -12. Suppose 134 = o*z - 56. Is z composite?
True
Suppose -4*v - 129 = -713. Let d = v - 87. Is d composite?
False
Let c(n) = -n**3 + 6*n**2 - n + 3. Is c(4) a composite number?
False
Let m(w) = 43*w**2. Let d be m(1). Suppose -2*j = -3*k - 0*j - 114, k + d = -j. Let o = 7 - k. Is o composite?
False
Suppose 1 = -3*y + 13. Suppose 0*k = -y*k + 340. Is k composite?
True
Let s(h) = h**3 + 5*h**2 + 2*h - 2. Let d(z) = -z**3 + 6*z**2 - 4*z - 1. Let r be d(5). Let l = 1 - r. Is s(l) a composite number?
True
Suppose -2*a + 623 = 3*c, -3*a - 2*c + c + 924 = 0. Is a composite?
False
Suppose 2*d + 2*d + 40 = 0. Let g(j) = -j**3 - 7*j**2 + 13*j + 9. Let s be g(-8). Let l = d - s. Is l a composite number?
True
Let y(n) = -n**2 + 141. Is y(0) a prime number?
False
Let r(d) = d - 1. Let v(m) = 16*m - 3. Let x(y) = -4*r(y) + v(y). Is x(3) prime?
True
Suppose 43*n = 42*n + 3719. Is n a composite number?
False
Let h(u) = u**3 + u**2 - u + 149. Is h(0) composite?
False
Let y(z) = 3*z**3 + z**2 + z + 1. Suppose -5*c + 0 = 2*u + 27, 3*u - 3*c - 12 = 0. Let j be y(u). Is (-109 - -3)/j - -2 a prime number?
False
Let n be (-57)/(-15) + -4 + (-1655)/(-25). Let m be 20/6 - 2/(-3). Suppose m*a = a + n. Is a a composite number?
True
Suppose -7 + 28 = r. Is r composite?
True
Suppose -31 = -5*v - 86. Let g = v + 64. Is g a composite number?
False
Suppose 3*g - 2*a - 541 = 0, 5*g - 3*a - 895 = -a. Is g a prime number?
False
Suppose -5*t = 2*v - 884, 359 = -3*t + 5*t - v. Let z be -1 - -2 - (0 - 1). Is 1*t/4*z prime?
True
Let l(y) = y**3 + 4*y**2 - 4*y + 1. Let s be l(-5). Let h be (80/6)/(s/(-174)). Suppose -4*f + h - 56 = 0. Is f composite?
False
Let z = 1002 + -400. Suppose 0 = 3*d - d - z. Is d composite?
True
Let b be ((-2)/(-1))/(2/151). Suppose 5*z = 2*z - 5*y + b, 2*y - 277 = -5*z. Is z prime?
False
Suppose -5*v = -u + 2*u - 43, -2*v + 31 = 5*u. Suppose -v = -3*w - w. Suppose w*o = 4*o - 130. Is o a composite number?
True
Let j(f) = f - 78. Let h be j(0). Suppose -y - 3 - 4 = 5*u, 5*y + 35 = 5*u. Is (h/3)/2*y prime?
False
Let m = -3 - -6. Suppose -3 + 13 = 5*t. Suppose 0 = y - w + t*w - 32, -y + 40 = -m*w. Is y prime?
False
Suppose 25 + 96 = u. Is u composite?
True
Suppose 0 = 3*b - 4*u - 1, -2*b + 7*b - 5*u = 0. Let q = b + 3. Suppose -3*a = 3*o + q*a - 151, -3*a - 41 = -o. Is o a prime number?
True
Suppose 2*l - 7*l + 15 = 3*t, -3*l + 3 = 3*t. Is (l/(-9))/(2/(-141)) composite?
False
Let p(r) = 5*r + 4. Let w(f) = f. Let m(i) = p(i) - 2*w(i). Let j(n) = n**3 + 12*n**2 + n + 17. Let z be j(-12). Is m(z) prime?
True
Let u be 3/6 + 14/4. Let v be u + -1 - (6 + 3). Is (212/v)/((-16)/72) a composite number?
True
Let f be ((-44)/3)/((-15)/(-90)). Is (25/(-20))/(2/f) composite?
True
Suppose 4*r + 70 = 226. Is r a prime number?
False
Let f(w) = -3*w + 2*w + 1 + 6. Is f(-16) a composite number?
False
Suppose 2*t - l - 5923 = 0, -4*t + 0*t - 5*l + 11867 = 0. Is t a composite number?
False
Suppose -3*x - 2*v + 5 - 2 = 0, 4*x + v = 9. Suppose 0 = 2*f - 2*o - 507 + 93, x*o - 609 = -3*f. Is f a prime number?
False
Suppose 0 = -p + 2*p - 30. Suppose v - 175 = -p. Is v composite?
True
Let n(v) = v**3 - 3*v**2 - 16*v - 5. Is n(11) a prime number?
True
Let r(u) = -3*u - 6*u + 8 + 2*u**2 - 1. Let b be r(7). Let t = b + -19. Is t prime?
True
Suppose 0 = -5*g - 0*g + 1855. Is g prime?
False
Let q(m) = m + 6*m**2 - 10*m**2 - 3*m**3 + 5*m**3 + 3. Let v be q(-3). Let r = -64 - v. Is r prime?
False
Suppose 0*a = 4*a - 16. Suppose -f + 5*f - a = 0, 0 = q + 2*f - 205. Is q prime?
False
Suppose -3*m + 772 = 4*p - 856, -m = 3*p - 1221. Is p composite?
True
Suppose -2*u = 4*u - 618. Is u composite?
False
Let c(d) = 183 - 5*d + 98 + 4*d - 48. Is c(0) a composite number?
False
Let n = -107 - -26. Let o = 272 + n. Is o prime?
True
Let q(t) = 69*t - 6. Is q(3) composite?
True
Suppose 2*b = q + 11, -4*q + 0*b + 3*b = 19. Let r = 3 + q. Suppose 0 = f + 2*t - 5, -3*t + 4 = r*f - 10. Is f a composite number?
False
Let x(y) = -y**3 + 2*y**2 + y + 1. Suppose 3*o = -3*u + 4*u + 13, -3*u = 12. Suppose -5*l + o*l = -4. Is x(l) a prime number?
True
Suppose -q - 402 = -3*q. Is q prime?
False
Let p = -1 + 2. Let f(d) = 121*d**2 + 11*d - 11. Let r(c) = -61*c**2 - 5*c + 5. Let w(i) = -6*f(i) - 13*r(i). Is w(p) composite?
False
Let t(r) = r**2 - 5*r + 2. Let n be t(5). Let q be (-1)/2*(-164)/n. Let p = q - -120. Is p a prime number?
False
Suppose g = -2*g + 303. Let k = g - 52. Is k composite?
True
Suppose 5*w - 656 = -2*b + 4*w, -5*b - 2*w = -1641. Is b prime?
False
Let h(q) be the second derivative of -2*q**5/15 + q**4/8 + q**3/3 + 2*q. Let k(t) be the second derivative of h(t). Is k(-5) a prime number?
True
Let c(t) = 29*t + 11. Is c(34) prime?
True
Let f(s) = -20*s**2 - 3*s - 3. Let k be f(8). Is k/(-7) + 12/42 prime?
False
Suppose 0 = 2*l - 6, 3*i - 5 = 5*i - 3*l. Is (16/24)/(i/165) composite?
True
Is 2 + (1943 - -1) - -3 prime?
True
Let f(g) = 88*g + 3. Is f(3) a prime number?
False
Suppose 2*p = 3 + 1. Suppose -2*j + 3*y + 938 = p*y, -3*j + 1401 = -3*y. Suppose -3*w = -0*w - j. Is w prime?
True
Let s = -35 - -25. Is ((-4)/(-6))/(s/(-4965)) composite?
False
Suppose 11*a + 1254 = 17*a. Is a a composite number?
True
Suppose 3*j + 30 = -15. Let m = 142 + j. Is m prime?
True
Let v = 15 - 11. Suppose 0 = v*i - 79 - 77. Is i composite?
True
Let k = -467 - -3650. Is k prime?
False
Suppose -2*n + 2*u + 19 + 9 = 0, 36 = 2*n - 4*u. Let s(h) = 7*h - 12. Is s(n) composite?
True
Let s(k) = 113*k - 4. Let c be s(3). Suppose -4*g - g + c = 0. Is g prime?
True
Is (-11391)/(-6) - (4 + (-25)/10) a composite number?
True
Let z be ((-2)/5)/(3/(-15)). Suppose -7 = -z*g + 2*q + 7, 11 = g - 2*q. Suppose -55 = -2*u - 3*u - 5*i, u = -g*i + 7. Is u prime?
True
Let y be -35*(-1)/(-2)*-2. Suppose 0*h + h - y = 0. Is h composite?
True
Let b(m) = -7 + 6*m + 0 + 2*m**3 + 1 - 3*m**2. Let i be b(4). Is 1/(2 + (-194)/i) composite?
True
Let q = 196 + 226. Is q a prime number?
False
Let k(r) = r - 4. Let d be k(10). Suppose 0 = -2*g + 1 + 1, 5*z - 4*g - d = 0. Suppose 2*s = 5*y + 174, -z*s = -0*s + y - 174. Is s prime?
False
Suppose -15 = -4*k - k, 0 = 5*n - 3*k - 16. Suppose 3*l - 2*f - 163 = 0, 4*f + 273 = -0*l + n*l. Is l a prime number?
True
Let k be 0 + 1*(-3 - -2). Is (4/k - -2) + 57 prime?
False
Let n(a) be the second derivative of 5*a**3/6 - a**2 - 2*a. Let q be n(3). Suppose -j + 3*r + q = -r, 2*j - 71 = -r. Is j a prime number?
False
Suppose -i + 2*i - 20 = 0. Suppose i + 0 = 4*t. Let g(z) = 9*z**2 - z + 3. Is g(t) a prime number?
True
Let j = -247 + 498. Is j a composite number?
False
Let h = -32 + 24. Let g(a) = -2 + 10*a + 3 - a**3 - 6*a**2 + 4. Is g(h) prime?
True
Suppose q = -2*a - 13, 0 = -4*q - 2*a - 11 - 23. Let s(r) = r**2 + 6*r - 6. Let g be s(q). Let k(u) = 36*u + 1. Is k(g) composite?
False
Let o(y) be the first derivative of y**4/4 - 3*y**3 + 3*y**2/2 + 6*y - 3. Is o(9) prime?
False
Let t = -6 - -6. Suppose 2*i + 2 = 0, -3*o - 2*i + 4 = -t*i. Suppose o*x = 83 + 19. Is x prime?
False
Suppose c - 3 = 40. Suppose 5*l = 27 + c. Let w = l - 4. Is w a composite number?
True
Let r(u) = 12*u - 2*u**2 - 3*u + u + u**2 + 5. Is r(9) composite?
True
Let q = 24 + -12. Suppose -s = -0 - 2, 2*o + 4*s - q = 0. Suppose 3*d - 180 = -5*b, 2*b = o*d - 26 - 78. Is d a composite number?
True
Let l(q) = 377*q**2 + 7*q + 7. Is l(-2) prime?
False
Suppose 1713 = -3*d + 4*d - 5*f, -5*d - 5*f + 8685 = 0. Is d a c