*w**2 - 1/12*w**5 + 0*w + w**3 + 0 - 1/60*w**6. Is c(-5) a prime number?
False
Suppose -3*w + 133 - 28 = 0. Is w a composite number?
True
Let o = 4 - 2. Suppose -418 = 2*b + 3*u, o*u = 3*u. Is 3/1 - (b - -1) prime?
True
Let k = -12 - -3. Is (-190)/(-6) - (-6)/k composite?
False
Suppose x + 3*x = 996. Is x composite?
True
Let c(l) = -2*l**2 + 8*l - 5. Let a(w) = -w**2 + w + 1. Let p(q) = 3*a(q) - c(q). Is p(-6) composite?
False
Suppose -3*s + 18 = 3*i, -3*s + 2*i + 0*i = -33. Let v(c) = 82*c + 10. Let z be v(s). Is 1/(-2) + z/8 a composite number?
True
Let q = 4 - 9. Let l = q - -10. Suppose -l*o + 4 = -11. Is o composite?
False
Let c(q) = -11*q. Let p be c(-9). Suppose p + 122 = s. Is s a composite number?
True
Suppose 2*f + 0*f = 0. Let b be f - (0 - -4)/(-1). Suppose -7*t - 5*n + 27 = -3*t, 9 = b*t - n. Is t prime?
True
Let o(p) = -p**3 + 6*p**2 - 4*p - 1. Let m be o(5). Suppose -5*t + 4*z = -40, -11 = 2*t + m*z + 1. Suppose t*y - 107 = 41. Is y a composite number?
False
Let d(p) = -4*p**2 - 2*p + 2. Let f(g) = -5*g**2 - 3*g + 3. Let q(i) = -4*d(i) + 3*f(i). Is q(5) prime?
False
Suppose -3*t - u + 1381 = 3*u, -2*t - 4*u + 914 = 0. Is t a prime number?
True
Let f(m) = -m**2 + 7*m - 6. Let o be f(4). Let q(l) be the third derivative of l**6/120 - l**5/12 - l**4/24 + 7*l**3/6 + l**2. Is q(o) prime?
True
Let c = 78 - 65. Let q(i) = -13*i**2 + 4 + 6*i**3 + 0 - 5*i**3. Is q(c) prime?
False
Let q(f) = -30*f**2 + 11*f - 12. Let w(t) = 30*t**2 - 12*t + 13. Let b(n) = -6*q(n) - 5*w(n). Is b(3) composite?
True
Let r(w) = -34*w - 19. Is r(-9) prime?
False
Let g(i) = 25*i**3 + 3*i - 3. Is g(2) composite?
True
Let t(r) = 0*r**2 - 4*r - 4*r**3 + r**2 + 1 + 24*r**3 + 6*r. Let m be t(2). Suppose 5*l = 2*c - m, -5*l - 10 = 5. Is c a prime number?
False
Let p(f) = -f**2 + 6*f - 14. Let v(m) = -1. Let t be -2 - 2/2 - 0. Let j(a) = t*v(a) - p(a). Is j(12) a prime number?
True
Suppose -3*n = -3*i + 3, 4*n - 5 = -2*i + 3. Suppose -i*h = -5*h + 57. Is h prime?
True
Let x(g) = 4*g**3 - 2*g**2 + 1. Is x(3) a prime number?
False
Let r = 930 - 491. Is r a prime number?
True
Let p = 4778 - 2385. Is p a prime number?
True
Suppose -5*s = -3*s - 18. Suppose 0*a = 2*a - 5*c + s, 2*a - 4*c + 6 = 0. Suppose a*l - 5*g = 77, 4*g + 64 = 3*l - 9. Is l prime?
True
Is (20/(-30))/((-4)/90) a composite number?
True
Let h be (6/(-5))/((-6)/40). Let l = -2 + h. Let p(j) = j**3 - 6*j**2 + 3*j + 1. Is p(l) a prime number?
True
Let x(r) = 119*r**2 + 3. Is x(2) composite?
False
Let j = -43 + 48. Let n(g) = -g**3 - 6*g**2 + 5. Let k be n(-6). Suppose -2*f - 8 - 11 = -c, -k*c - j*f + 110 = 0. Is c composite?
True
Suppose -4*y = 12, 2*l - y = 3*l - 25. Let s(v) = -v**2 - 7*v - 9. Let x be s(-8). Let n = l + x. Is n prime?
True
Suppose 2*a + 2 = 0, 2*z + 2*a - a = 3. Let f(c) = c + 2. Let m be f(0). Suppose -3*w + m*p = -99, z*w - p = -11 + 78. Is w a prime number?
False
Suppose o - 121 - 39 = 0. Suppose -w - 10 = 4*w, -o = -2*s + w. Is s composite?
False
Let z(b) = -b**3 + 44. Let m be z(0). Let f(y) = y**3 - 14*y**2 + 16*y - 12. Let h be f(13). Suppose h + m = c. Is c a composite number?
False
Let t be -2 + (40 + -1 - -2). Suppose t = 2*b + 13. Is b prime?
True
Let f(z) = -8*z - 7. Suppose -4*g + 9*g + 80 = 5*x, 5*g = -2*x + 25. Let y = x + -28. Is f(y) composite?
False
Let t = 11 - 6. Suppose -u + 2*u + 3*d = -8, 0 = 5*u + t*d - 10. Let x = 14 - u. Is x a composite number?
False
Let l(z) = -z - 299. Let j be l(0). Let w = 418 + j. Is w a prime number?
False
Let x be (1*-1)/(1/78). Suppose -4*c = -39 - 505. Let z = x + c. Is z composite?
True
Let o be (148 - 5)/(2/4). Suppose -177 = -x - 3*y, -x - 4*y + 863 = 4*x. Let g = o - x. Is g prime?
False
Suppose -312 + 75 = -3*y. Is y composite?
False
Suppose -3*j = j - 184. Is j a composite number?
True
Let s(i) = -i + 1 - 4 - 2 + 2. Let y be s(-5). Suppose 3*q - 157 = -y*x, 0*x = 2*q + 5*x - 90. Is q composite?
True
Let f(b) = b**2 + 3*b - 9. Let a be f(-5). Suppose -3*q + 160 = -5*u, -u + 2*u - a = 0. Is q prime?
False
Let y(u) = 15*u + 10. Let a(x) = -5*x - 3. Let z(p) = 20*p**2 + 1. Let t be z(1). Let w(h) = t*a(h) + 6*y(h). Is w(-4) composite?
True
Let o(b) = -b**2 - 3*b + 2. Let f be (0 - -1)/(5/(-20)). Let v be o(f). Is v/5 - 534/(-10) composite?
False
Let d be -35*(21/(-15) + 1). Suppose -d*o + 11*o = -114. Is o a prime number?
False
Let n = -5 + 9. Is -2 + n + (-1052)/(-4) prime?
False
Let a = 5 + -2. Suppose -a*j - 1036 = -7*j. Is j a composite number?
True
Let v be (-189)/(-36) + 1/(-4). Suppose -4*l = -v - 7. Suppose -3*k + 5*r = -1094, l*r - 1675 = -5*k + 205. Is k a composite number?
False
Let i = -369 + 580. Is i a composite number?
False
Suppose -c + 204 + 82 = -3*z, 0 = 5*z - 20. Let t = 14 - 193. Let y = c + t. Is y a composite number?
True
Suppose 4*m = -0*m + 20. Suppose -m*v = -v. Suppose v*z + 485 = 5*z. Is z a composite number?
False
Let z(v) = -2*v - 3. Let s be z(4). Let c be 2/(-3)*(s - -2). Suppose -3*p = -4*p + c. Is p a prime number?
False
Let l = 5 + 1. Is 106*3/l - 0 a prime number?
True
Suppose 0 = -0*f + f + 5*g - 35, 3*f = -2*g + 40. Suppose -u = u - f. Suppose -2*j + 568 = -u*c - 370, j - 3*c = 469. Is j a prime number?
False
Let s(g) = -g - 17. Let x be s(0). Let y = -18 + 122. Let t = y + x. Is t a composite number?
True
Is (1/6)/(26/(-39))*-4276 a prime number?
True
Suppose -5*p + 70 + 10 = 5*l, 32 = 2*p + 5*l. Is ((-1004)/p)/((-2)/8) prime?
True
Let q = 4 + -5. Let m = -1 - q. Suppose 7*y - 2*y - 10 = m. Is y a prime number?
True
Suppose -3*u - 3513 = -6*u. Is u a composite number?
False
Let d(o) = 10*o**2 - 3*o - 9. Is d(-8) a composite number?
True
Suppose r + 52 = 5*y + 11, -3*r - 6 = -2*y. Let s = y - -17. Suppose 0*q - s = -q. Is q a prime number?
False
Let s(h) = 112*h**2 + 5*h - 5. Is s(3) a prime number?
False
Let n be -1 + (9 - 1 - 3). Suppose -2*w + n*w + 2*x = 100, w + 2*x = 47. Is w prime?
True
Let w(x) = 3*x + 111. Let q(r) = r - 1. Let z(n) = -2*q(n) + w(n). Suppose -2*c = -5*c. Is z(c) prime?
True
Let r(a) = a - 4. Suppose 3*m - 2*l - 2*l = 32, 2*m = -5*l - 17. Let s be r(m). Suppose 3*h + s*h = 39. Is h a prime number?
True
Let s = 62 + -25. Is s a composite number?
False
Suppose -2842 = -3*m + m - 2*a, -4*m = -2*a - 5696. Is m a prime number?
True
Let r(g) = g + 2. Let f be r(0). Suppose -4*q - 168 = -4*t + 156, -3*t + f*q = -239. Is t prime?
False
Is ((-3)/(-1) + -17)*314/(-4) a prime number?
False
Let u(j) = 329*j**3 + 5*j - 4. Is u(2) prime?
False
Let p(r) = 3*r**3 + 4*r**2 - 2*r + 2. Is p(5) a prime number?
True
Let v(h) = 2*h**3 - 2*h**2 + h - 2. Let p be v(3). Suppose 222 - p = 5*u. Is u prime?
True
Suppose 4*y - 136 = 4*t, y - 11 = 3*t + 25. Is y composite?
True
Is -5 + 69 - (-1 - 0) a composite number?
True
Let f be 1*(-1 + 1 + 0). Suppose -u = 1 - f. Is u/3 - 188/(-6) a prime number?
True
Let a(y) = -y - 1. Let p(t) = -12*t + 10. Let i(n) = -n + 1. Let x(k) = -10*i(k) + p(k). Let u(j) = -a(j) - x(j). Is u(10) prime?
True
Suppose 2*f - 6*f = -52. Suppose -w + 64 = -f. Is w prime?
False
Suppose f + 2 = -24. Let u = f + 36. Is u a prime number?
False
Suppose 4*k - k = 279. Is k a composite number?
True
Let m = 23 + -10. Is m prime?
True
Let w(g) = -3*g**3 - 6*g**2 + 5*g - 7. Let x be 18/(-6) - (0 - -3). Is w(x) a prime number?
False
Let z = 23 - 16. Suppose 70 + z = h. Is h prime?
False
Let l(k) = 3*k**2 + 8*k - 8. Let n be (-2 + 5)/(-9)*-57. Let a = n - 10. Is l(a) prime?
True
Suppose 14*t = -t + 1335. Is t a composite number?
False
Let i(r) = 14*r**2. Suppose 0 = 5*c + 3*s - 1, -4*s + 3 = c - 4. Is i(c) a prime number?
False
Let i be (3 + 1)*(3 - 2). Suppose i*j - 7*j = -339. Is j composite?
False
Let z(f) = -f**3 - 10*f**2 + f + 11. Is z(-12) a prime number?
False
Let a(d) = d + 8. Let g be a(-10). Is g - (-84)/(0 - -3) composite?
True
Suppose k - 25 = -5*i + 6*k, 0 = -5*i - 3*k + 41. Is 96 - (i - 3)/(-4) a composite number?
False
Let j(x) = -x**3 + x**2 - x. Let p be j(3). Suppose 169 = 3*d + 5*a - 15, -3*d = -5*a - 224. Let v = d + p. Is v prime?
True
Is (0 + -3)/(-1) + 408 + -8 a prime number?
False
Let o = -6 + -2. Let h(f) = f**2 + 5*f - 3. Is h(o) a composite number?
True
Let q = -607 + 331. Let t(o) = -o**3 - 2*o - 3. Let z be t(-2). Is 3/z - q/9 composite?
False
Let q be 