 m(y) = -6*y + 9*y**3 + 7 - 2 + 4*y**3 + 2 - y**2. Is m(3) composite?
False
Let v(d) = -4*d**3 - 4*d**2 - 3*d - 4. Suppose -25 = -3*p + 4*a, 0*p = -4*p - 5*a - 8. Suppose -13 + 4 = p*o. Is v(o) a prime number?
False
Let k = -5 + 7. Suppose 13 = -k*f + 5. Let o(i) = -i**3 - 2*i**2 + 5*i - 1. Is o(f) prime?
True
Suppose -5*w + 8*w = -4*b + 13855, -13865 = -3*w + b. Is w a prime number?
True
Suppose 0 = -4*o - 0*o + 16. Let p(y) = 9*y**3 - 6*y**2 + 2*y - 3. Is p(o) prime?
False
Suppose -p = -3*p + 4. Is 1288/24 - p/3 a composite number?
False
Suppose 4 = -2*i - k + 5, 3*i = -3*k + 9. Let c be i - (-1 + 3) - -2. Is (-76)/c + -2 + 1 composite?
False
Suppose k + 2*k = -6. Is (-70)/k - (-2 - 0) prime?
True
Is (15/10)/((-6)/(-21260)) prime?
False
Suppose 1092 = 3*g + 303. Is g a prime number?
True
Let j = -3574 - -6279. Is j a prime number?
False
Let w = -18 - -20. Is (7/w + -3)*1730 prime?
False
Suppose -2*q + 60 - 14 = 0. Suppose -3 + q = 5*s. Suppose 0 = s*v - 323 - 65. Is v composite?
False
Let d be (-8 + 3 - -4)/(-1). Let u(s) = 6*s**2 - s + 1. Is u(d) prime?
False
Suppose 0*u - 5*x = -4*u + 10127, -5061 = -2*u + 5*x. Is u prime?
False
Suppose -18*v - 4604 = -22*v. Is v composite?
False
Let q(n) = 145*n**2 - n + 1. Let v be (-1 + 1)*(-2 - -3). Let r be (-1 + -2)/(-3) + v. Is q(r) a composite number?
True
Is -2 + 2 - (-85 - 2) a prime number?
False
Suppose -2*h = -3*r - 0 - 13, 3*h - 3*r = 18. Suppose h*a - 1435 = -0*a. Is a composite?
True
Suppose 4*l + 995 = 63. Let t = 496 + l. Is t a prime number?
True
Is (1195/3)/(4/12) prime?
False
Suppose w + 4*s = 27, w = s - 4*s + 26. Suppose w = 4*q - 161. Is q composite?
True
Let r be 129/(-30)*8*-5. Let g = 301 - r. Is 2/(-2 + 4)*g a prime number?
False
Let o(s) = -s**3 + 6*s**2 - 4*s - 1. Suppose 9 = k + 2*k. Is o(k) a composite number?
True
Let z be -21*(-3)/(-27)*3. Let f = -7 - z. Suppose 3*u - 214 + 73 = f. Is u prime?
True
Let a = 0 + -2. Suppose -4*l + 238 - 686 = 0. Is 5 + a - (2 + l) a composite number?
False
Let q = -373 - -1118. Is q a composite number?
True
Is 1183 - -6*2/(-6) prime?
True
Suppose -7*p + 5440 = -8077. Is p prime?
True
Suppose 5*a - 2*x + 3605 = 9572, 3582 = 3*a - 3*x. Is a composite?
False
Let f(n) = n - 4. Let d be f(0). Let y(w) = 4*w**2 - 2*w - 5. Is y(d) a prime number?
True
Suppose 4*q + 31 = 1619. Is q prime?
True
Suppose 16 = -4*v, 8*v - 3*v - 405 = -5*w. Is w composite?
True
Let y(f) be the third derivative of f**4/24 + 635*f**3/6 - 5*f**2. Is y(0) a prime number?
False
Let t(g) be the third derivative of g**6/15 - g**5/30 + g**4/12 - g**3/6 - 3*g**2. Let p be t(1). Let q = p + 184. Is q a composite number?
False
Suppose 31 = j + h - 5*h, 0 = -5*j + 2*h + 227. Is j composite?
False
Let q be (-2)/4 - 275/2. Suppose 3*h + 807 = 3*x, -4*x + 1052 = 2*h - 24. Let t = q + x. Is t composite?
False
Suppose -5*p = 3*h - 107, -5*p = h - 128 + 29. Is p*-1*1*-1 a prime number?
True
Let d = -249 - 20. Let f = -160 - d. Is f composite?
False
Let v = 12 - 8. Let a(l) = -l + 6. Let o be a(v). Suppose 10 - 62 = -o*p. Is p a prime number?
False
Suppose 3*w + 7*k - 2*k = 4663, -3*w + 4699 = -4*k. Is w composite?
True
Suppose 9*o - 379 = 1520. Is o composite?
False
Let v(x) be the second derivative of x**4/2 - x**3/2 + x**2/2 - 2*x. Let l = -15 - -18. Is v(l) a prime number?
False
Suppose 3*m = -3, -5*u + 2*m = 4*m - 23. Suppose 8 = -l - l, 2*l = -3*o - 17. Let v = u + o. Is v composite?
False
Let g be (-152)/(-36) + (-2)/9. Is (-1)/4 - (-461)/g prime?
False
Suppose 9 = 2*d + d. Suppose 0 = -s - 2*s - d. Let m(v) = -21*v. Is m(s) a composite number?
True
Let k(f) = 5*f**2 - f - 1. Is k(-3) a prime number?
True
Let d(u) = 4*u**2 + 2*u + 1. Let j be 51/34*(-16)/6. Is d(j) prime?
False
Suppose -2*t - 170 = -3*y - 527, -719 = -4*t + y. Let a = t + 7. Let s = 336 - a. Is s a prime number?
True
Let w be 362/(-9) - 4/(-18). Let b = -28 - w. Suppose u - 3*t = 4*u - b, 0 = 5*u - 3*t - 20. Is u a composite number?
True
Suppose -16*t + 19*t - 207 = 0. Is t prime?
False
Let h(r) = -2*r - 1. Let f be h(2). Is (-3)/f - (-4152)/30 a composite number?
False
Let t be 2 - (-2 - (3 - -523)). Let o be t/(-4)*18/(-15). Is o*((-4)/(-3))/4 a composite number?
False
Let p = -193 - -276. Is p a prime number?
True
Suppose 5*o - 10 + 0 = 0. Suppose 3*n - o*n = 19. Is n prime?
True
Suppose 0 = -9*x + 4*x - 5195. Let z = x - -1924. Suppose -2*g = 3*g - z. Is g a composite number?
True
Let m(r) = -1 + 5*r + 18*r**2 + 2 - 3*r - 3. Let g(a) = -a + 6. Let h be g(4). Is m(h) a prime number?
False
Let x be ((-2)/(-2))/1*2. Suppose -3*n - 110 = -0*g - 4*g, 0 = -x*g + 4*n + 60. Is g composite?
True
Let q(f) = f**3 - 5*f - 6. Is q(5) composite?
True
Suppose 3*v = 162 + 18. Let l = -38 + v. Is l composite?
True
Let h(w) = 3*w - 3. Let m(t) = -5*t + 7. Let f(p) = 7*h(p) + 4*m(p). Let o be 0*(-2*1)/(-4). Is f(o) a prime number?
True
Let q be 0 + (4 - 0/2). Suppose -3*n + 683 = 4*d, 0 = q*n + 5*d - 98 - 813. Is n/5 - (-2)/10 composite?
True
Let j(r) be the first derivative of -r**2/2 + 2*r - 1. Let m be j(7). Let t(x) = 2*x**2 + 4*x + 3. Is t(m) composite?
True
Suppose -3 = 5*t - 28. Let i = -1 + t. Suppose -58 = -i*w + h, -5*h - 11 + 1 = 0. Is w a composite number?
True
Is (2 - (-1 - -2)) + 148 composite?
False
Is ((-10)/4)/(8/(-48)) a composite number?
True
Suppose 0 = -3*b - 3*k, 4*b + 2*k - 15 = -b. Suppose 2*y + y = t - 62, -b*t + 327 = 2*y. Is t prime?
False
Suppose -2*d + 6 = -10. Suppose -4*f + 11 = 5*b - 11, -4*f = -2*b - d. Is (-1)/f - (-424)/12 a composite number?
True
Let g(c) = -9*c**3 + 2*c**2 - 4*c + 11. Is g(-6) a prime number?
False
Let s(v) = -v**3 + 11*v**2 - 8*v + 4. Let t be s(8). Suppose 0 = -5*d + 2*d - 5*z + 10, 2*z = 2*d + 4. Suppose t = -d*x + 4*x. Is x a prime number?
False
Is (2716/6)/((-24)/(-36)) a prime number?
False
Is 228/16 + (-6)/(-8) a composite number?
True
Let o(f) = f**3 + 12*f**2 - 24*f - 1. Is o(-10) composite?
False
Let s(n) = n**2 - 7*n + 7. Let p(m) = -m - 10. Let q be p(0). Let o = 2 + q. Is s(o) composite?
False
Let d = 8 + -2. Let t(q) = 22*q + 7. Is t(d) composite?
False
Suppose -3*b - 4036 = -7*b - 4*g, -2*b + 2010 = -2*g. Is b a prime number?
False
Let r = 2 + -3. Let q be (-2)/((-4)/(-34)) + r. Let d = 43 + q. Is d a prime number?
False
Let y = 18 - 13. Suppose -4*d + 0 = y*p - 9, -15 = -2*d + p. Let n(s) = s**3 - 6*s**2 + 9*s - 1. Is n(d) composite?
False
Suppose -3*s + 6 = -0. Suppose 0 = 4*b - 4*c + s*c - 6, 25 = -5*c. Is (28 - -5) + 1 + b a prime number?
False
Let m be (1/3)/(3/45). Suppose 0*y + y = 3*t + 22, -m*t = y + 18. Is y a composite number?
False
Suppose 169 = -3*w + 2512. Is w a prime number?
False
Let b(a) = a**2 - 4*a - 10. Is b(-3) composite?
False
Let v(r) = -3*r + 4. Let u be v(4). Let y be (u/6)/4*-12. Suppose -y*s + 10 = -6. Is s prime?
False
Suppose -3*v + 1038 = -885. Is v composite?
False
Let v = 4422 - 2491. Is v composite?
False
Let x(c) = -c**3 + 34. Is x(0) prime?
False
Let t = -7 + 41. Let l = -3 + t. Is l a composite number?
False
Let s = -13498 - -23633. Is s a prime number?
False
Suppose 0 = 2*r + r - f - 996, -2*r = f - 659. Is r a prime number?
True
Suppose 3*x - 2*x = 35. Is x a composite number?
True
Let v be 8/(-12) - 14/(-3). Suppose v*t = 2*t + 4. Let x(u) = 2*u**3 + 3*u**2 - 3*u + 1. Is x(t) composite?
False
Suppose 4*w - 1176 = -2*y, -3*y - 2*w = -0*w - 1760. Suppose y = q + q. Is q a prime number?
True
Let m(g) = -16*g + 21. Let i(f) = 5*f - 7. Let p(s) = -11*i(s) - 4*m(s). Let w be p(6). Let y = 8 + w. Is y a prime number?
False
Is -3*3598/63*15/(-2) a prime number?
False
Suppose -28 = -4*w - 0*w + 5*t, -t = 4. Suppose -3*u - 12 = -k + 4, -w*k + 28 = -5*u. Suppose 5*s - 77 = k*s. Is s composite?
True
Suppose -2*g + 14 - 6 = 0. Suppose -d + 5 = 3*k + 2*k, -4*k - 12 = g*d. Is ((-46)/(-2))/(3 - k) a prime number?
True
Let c be (-20)/(-9) - 14/63. Let t be 1/(-1) - (-1 + 0). Suppose 70 = -t*x + c*x. Is x a composite number?
True
Let f = -60 - -106. Suppose c + 3*j - f = 2, -2*c + 41 = -5*j. Is c a composite number?
True
Let x(i) = 2*i + 4*i + 0*i + 7 + 6*i. Is x(3) composite?
False
Suppose -2*t + 5 = -t. Suppose -j - 3*j + 2*a = 2, t*j + 8 = -3*a. Is -5 + 3 - (j - 66) composite?
True
Is (-2372)/(-15) + (-6)/45 composite?
True
Suppose 