posite number?
True
Let c(k) = k**2 + 9*k - 5. Let p(w) = -2*w**2 - 28*w + 15. Let r(t) = 8*c(t) + 3*p(t). Is r(8) prime?
True
Suppose 3*q - 446 = 5*m, 2*m + 35 = 5*q - 151. Let c = m - -123. Is c a composite number?
True
Suppose -10 = -2*q - 3*q. Let p(d) = -3 + 28*d - 5*d + 24*d. Is p(q) a prime number?
False
Suppose 0 = d + d - 10. Suppose 4*c + 300 = 4*x, 0 = d*x - x + 5*c - 336. Is x a prime number?
True
Let x(f) = -f**3 + 14*f**2 - 10*f + 23. Is x(12) a prime number?
True
Let p(k) = -159*k. Is p(-1) a prime number?
False
Let g = 0 + 2. Let p be (-123)/(-3)*g/(-2). Let u = 12 - p. Is u a composite number?
False
Let t = 17 - 9. Is 1/2 - (-180)/t prime?
True
Is 182*(28/88 + (-4)/(-22)) a composite number?
True
Is (-34)/(-3)*(-15)/(-2) prime?
False
Suppose 4*r = -4*k + 48, 3*r - 5*k + 3 - 7 = 0. Suppose h = -h + r. Let m(v) = 7*v**2 - 6*v + 1. Is m(h) a composite number?
False
Suppose -3*d + 512 = -271. Suppose 5*b = 2*b + d. Is b a composite number?
True
Suppose l + 3*l = 8. Suppose -l*x + x = -353. Is x a prime number?
True
Let n = 104 - 55. Is n prime?
False
Suppose -28 = -2*w - 78. Let l(y) = -3*y + 5. Let i be l(7). Let b = i - w. Is b prime?
False
Let q(u) = -140*u**2 - 1. Let d be q(1). Let x = 198 + d. Is x prime?
False
Let x be (0 - -2) + 29 - 0. Suppose q - 5*m = 17, -6 = 2*q + 2*m - 4*m. Let b = q + x. Is b prime?
True
Suppose 0 = 2*a + 5*x - 213, 330 = 3*a - 5*x + 2*x. Is a a prime number?
True
Suppose 879 = 3*k - 0*k. Is k a prime number?
True
Let y = 41 - -160. Is y prime?
False
Let k = -8 + 10. Let g(r) = -4*r - 2*r**2 + 9 + k*r**2 - r**2 + 2*r**2. Is g(6) a prime number?
False
Is (-2868)/(-10) - 6/(-30) a prime number?
False
Let y(f) = -4*f + 2*f**2 + 2*f**3 + f**3 + 0*f - 1 + f. Let c be y(3). Suppose 460 = 3*i - c. Is i a prime number?
False
Let p = 6 - 3. Suppose 2*o = 2*r - 94, -p*r + 71 = o - 66. Is r composite?
True
Let i(p) = -p**3 + 14*p**2 - 4*p - 11. Is i(13) a prime number?
False
Suppose 6*n + 99 = 9*n. Is n a composite number?
True
Suppose -5*p + 6*j - 2*j = -26, 10 = -p - 3*j. Suppose -p*v - 381 = -5*v. Is v prime?
True
Let l be 3 - (-2 + 1*-232). Is l/6*(-24)/(-4) prime?
False
Let i(j) be the first derivative of 31*j**3/6 - j**2 + 2*j - 2. Let k(t) be the first derivative of i(t). Is k(3) a prime number?
False
Let u be (6/(-9))/((-2)/9). Let x be u + (1 - (1 - -1)). Let j(r) = 26*r - 3. Is j(x) prime?
False
Let m be (-87 + 1)*42/(-12). Is (-3 + m)/((-2)/(-1)) a composite number?
False
Let o = 996 + -703. Is o composite?
False
Suppose z - 6*z = -970. Suppose -o + m + z = 11, -3*o + m + 541 = 0. Is o composite?
False
Let g(x) = -x**2 + 7*x - 3. Let d be g(9). Let h = d - -34. Is h a composite number?
False
Let n(y) be the second derivative of -11*y**3/3 + 5*y**2/2 - 2*y. Suppose 0 = 5*m + 5*g, -20 = 4*m - 4*g + 12. Is n(m) prime?
False
Let a = 2113 + -590. Is a a prime number?
True
Suppose 4*n + v = 1196, 2*v - 897 = -7*n + 4*n. Is n prime?
False
Suppose -2*z - 14 = -4*g, -2*g + 6*g = -z + 17. Suppose -g*m + 0*m + 236 = 0. Is m composite?
False
Let p = -14 + 17. Is (5/4)/(p/732) a prime number?
False
Is -2 + 152/4 + 1 prime?
True
Let l(t) = 28*t**2 - 17*t + 15. Is l(8) composite?
True
Let o(a) be the second derivative of -a**5/20 + a**4/12 - a**2/2 - a. Let d be o(0). Let v = d + 22. Is v prime?
False
Let h(t) = t + 4. Let p be h(2). Suppose -2*g + p*g = 2*q - 104, 2*q + 4*g = 80. Is q a prime number?
False
Let j be 0 - -6 - (0 + 3). Suppose 0 = -j*k - 5*b + 217, -k - 229 = -4*k - 2*b. Is k a prime number?
True
Suppose -m + 2441 - 484 = 5*f, f = m + 389. Is f a prime number?
False
Let n = -33 - -48. Suppose -4*p + n = -f - 43, 0 = -3*p + 3*f + 48. Is p prime?
False
Let v = -56 + -58. Let a = v - -190. Suppose a = p + 3*p. Is p a composite number?
False
Let z be 2 + -1 + 0 + 1. Suppose 0 = 2*o + 5*w - 523, w + 0*w - 535 = -z*o. Is o composite?
False
Let x = 14 - 8. Suppose -1 = -z, 3*y - 2*z - 1567 = -x*z. Is y prime?
True
Let l(m) = -19*m + 1. Is l(-7) composite?
True
Suppose -8 = 2*s - 4*s. Suppose 68 = -2*f + s*f. Is f a prime number?
False
Suppose 0 = h - 5, 8*h + 3877 = 2*u + 11*h. Is u a prime number?
True
Let w(u) = u**3 - u**2 + 127. Is w(0) a composite number?
False
Suppose -3*i - 2*i = 0. Let d = 2 - i. Suppose -2*q = -t - 31, -6*t = -d*q - t + 51. Is q composite?
False
Suppose -4*y + y = -42. Let r = y - 7. Is r a prime number?
True
Is 366/15 + 9/15 composite?
True
Let d be 622/12 + (-1)/(-6). Suppose 2*u + 197 + 89 = 5*i, 3*u + d = i. Is i a composite number?
True
Suppose -4*j = -0*j - 4. Let q = j + -1. Suppose q = -3*v + v + 158. Is v composite?
False
Let x(t) = 28*t**2 + 11*t - 8. Is x(7) a composite number?
True
Let y(m) = -3*m**3 + m**2 - m - 1. Let o be y(-1). Suppose 0 = o*s - 1626 + 310. Is s a prime number?
False
Suppose -l - 3*h + 5764 = 0, -5*h - 2776 = 4*l - 25867. Is l composite?
False
Let v(m) = -6*m**3 + 4*m + 4. Let s be v(-3). Let o = 8 - 3. Let f = o + s. Is f prime?
False
Suppose -2053 = -4*f - q + 1863, -5*q = -20. Is (-1)/(2*(-3)/f) a prime number?
True
Let l(i) = 96*i**2 + 9*i + 2. Is l(-3) composite?
False
Let b(c) = -5. Let u(t) = t - 11. Let g(q) = 7*b(q) - 3*u(q). Let r be g(-2). Is 1/r - 507/(-4) a prime number?
True
Let y = 4 - 6. Let s be 1*(y + 0 - -2). Suppose s*k + 3*k - 33 = 0. Is k composite?
False
Let d be (-1 + 3/2)*4. Suppose 3*f = -d*f - 960. Let y = 287 + f. Is y a prime number?
False
Let j(q) = 21*q**3 - q - 1. Let d be 2 + -1 + 1 + 0. Let x be j(d). Suppose -v + 4*v - x = 0. Is v a prime number?
False
Let b(f) = -f**2 + 4*f - 3. Let v be b(2). Is (v/(-1))/((-2)/26) a composite number?
False
Let n(u) be the first derivative of 6*u**4 - 2*u**3/3 + 5*u**2/2 - 4*u + 7. Is n(3) a prime number?
True
Let l = -4 - 4. Let h = l + 12. Suppose 0*i + 2*k = 4*i - 150, -15 = -i - h*k. Is i a composite number?
True
Suppose 4*y - 4*v = -0*y - 376, 0 = 2*y + 4*v + 164. Let p = y - -232. Is p prime?
False
Let f = 59 + -112. Let n be 3/2 + f/(-2). Let b = -15 + n. Is b a composite number?
False
Let p(b) = 51*b**3 + 9*b**2 + 11*b + 7. Let l(u) = 26*u**3 + 4*u**2 + 5*u + 3. Let m(z) = 9*l(z) - 4*p(z). Let y be m(1). Suppose -3*w - y = -6*w. Is w prime?
False
Suppose -4*d + 104 = -8. Is (12/(-16))/((-1)/d) a prime number?
False
Suppose 2*h - 5*m = 3*h - 1520, -h = -5*m - 1550. Is h a prime number?
False
Let z(w) be the second derivative of w**4/2 + w**3/6 + w**2 - w. Let m(c) be the first derivative of z(c). Is m(3) a prime number?
True
Let m(a) = -a**3 - 5*a**2 - 4*a + 5. Suppose 0*f + 3*f + 12 = 3*k, 0 = 5*f + 4*k + 38. Is m(f) prime?
False
Let m(p) = p**2 + 5*p + 6. Let h be m(-4). Suppose 2 = 3*v + k, 4*v - 12 = 3*k - h*k. Is v composite?
False
Suppose -3*m + 0*m + 2*z + 1299 = 0, 3 = -z. Is m prime?
True
Suppose 28 = 4*u - 0*v + 4*v, 2*v - 8 = 0. Let q be 10/(-25) + (-412)/(-5). Suppose 0*k + q = 2*k - 2*f, -u*k = 3*f - 99. Is k composite?
False
Let y = 2491 - 734. Is y a prime number?
False
Let z be (-18)/(-10) + 1/5. Suppose -213 = -z*q - 25. Is q a prime number?
False
Let z(h) = h**2 - 7*h. Let s be z(8). Suppose n + s - 141 = 0. Is n prime?
False
Suppose 5*k - 4*d = 2471, 4*d + 507 = 4*k - 3*k. Is k a composite number?
False
Suppose 3*q - 6*q - 129 = 0. Let t = q - -162. Is t composite?
True
Suppose 2*m = -3*m + 1685. Is m a composite number?
False
Let h be (-3)/4 + 153/12. Let r = h - -14. Is r composite?
True
Suppose -5*t - x + 0*x = -13, 3*x - 7 = t. Let g = t - 0. Is 22 + (-2 - -4)/g a composite number?
False
Suppose -5*t - 1 - 4 = 0, 5*s - 5*t - 690 = 0. Suppose 3*i = 4*m - 200, -m = 2*m + i - s. Is m composite?
False
Let i(z) = z**2 + 6*z + 4. Suppose 2*b = 4*b + 4*f + 10, -4*b + 2*f = 30. Is i(b) prime?
True
Suppose 4*d = 3*d + 2*v + 1527, 4*d - 6132 = 2*v. Is d a prime number?
False
Let j(u) = 25*u + 4. Suppose 5*w + 30 = -d, 0*d - 9 = 2*w + d. Let i = 10 + w. Is j(i) a prime number?
True
Suppose -6*a + 10*a + 456 = 0. Let h = 37 + -64. Let o = h - a. Is o prime?
False
Let o be 78/15 + 2/(-10). Suppose o*c - 476 = -41. Is c a prime number?
False
Let g be (-1 - 1 - -1) + 9. Suppose -3*f - 3*l + g*l + 610 = 0, -613 = -3*f + 2*l. Is f prime?
False
Suppose -2*t + 5*k = -29, -5*t - 3*k - 7 + 2 = 0. Let w be (-2 - (1 - t)) + 5. Suppose w*a - 4*l = 60, 111 = -0*a + 5*a 