(j) = -12*j**2 - 12*j + 2. Let r(v) = 7*g(v) - 4*w(v). Is r(4) a composite number?
True
Suppose -4*w = 0, -w + 15 - 7 = 4*v. Suppose 485 = 5*d + 3*f, 2*f + 3*f + 194 = v*d. Is d a composite number?
False
Let z(l) = -l**2 - 6*l. Let u be z(-6). Suppose -8*f + 4*f + 236 = u. Is f composite?
False
Let r = -286 + 172. Is (7/2)/((-3)/r) a composite number?
True
Let j(a) = -3*a + a - 2*a - 6 + 12*a**2 + 6*a. Is j(-4) a composite number?
True
Suppose 5*d + 603 = -13*b + 15*b, 2*d = 3*b - 899. Is b a composite number?
True
Let y = 2077 - 1016. Is y composite?
False
Suppose 3*o - 7*o = -56. Let h = o - -45. Is h prime?
True
Suppose 341 = 2*i - 0*r + 3*r, 0 = -3*i + 5*r + 502. Is i composite?
True
Let f(y) = -y**3 + 9*y**2 + y - 12. Let c be f(9). Let q(l) = l - 14. Let d be q(0). Let w = c - d. Is w a prime number?
True
Let n = 11 + 158. Is n a composite number?
True
Let y(p) = 21*p + 4. Suppose -5*l = -2*q + 11, -4*l + l = q. Is y(q) a prime number?
True
Let s = -9 - -7. Let z = s + 95. Is z a prime number?
False
Let u(o) = -3*o**3 - 4*o**2 - o - 1. Let c be u(-3). Suppose b + 0*b - c = 2*t, 4*b - 197 = 5*t. Is b prime?
True
Suppose -3 - 1 = -2*i. Let t = 90 + -53. Suppose -20 = -r - 4*j + t, -i*j - 157 = -3*r. Is r a prime number?
True
Let q = -16 + 12. Let c(g) be the first derivative of g**4/4 + g**3 - 3*g**2 - 5*g - 1. Is c(q) a prime number?
True
Suppose -2*m - s = -958, 4*m - s - 1916 = -4*s. Is m a prime number?
True
Let y(l) be the first derivative of l**4/4 - 4*l**3/3 - 13*l**2/2 + 15*l + 10. Is y(10) composite?
True
Suppose 11*x - 10070 = x. Is x composite?
True
Suppose -o + 165 = 23. Let c be o/(-2 + 4)*2. Suppose c = k - 109. Is k composite?
False
Suppose 0 = -3*t - 5*w + 29 + 5, 2*t - 26 = -4*w. Suppose -2*a = -2*p + t*a - 53, 1 = -a. Let h = 48 + p. Is h composite?
False
Let p(s) = -88*s**3 - 2*s**2 - 2*s - 1. Let v(i) = i**3 - 9*i**2 + i - 10. Let d be v(9). Is p(d) prime?
False
Suppose -5*k + 11976 = 3221. Is k a prime number?
False
Let n = 13 - 9. Suppose -4*t - 6*v + 504 = -v, -n*t + 544 = -5*v. Is t a prime number?
True
Let s(g) = 106*g + 1. Let k = -25 - -28. Is s(k) prime?
False
Suppose -5*r - 3*t - 5 = 2*t, 3*r = -2*t + 1. Suppose 9 = r*i - 84. Let c = 192 - i. Is c a prime number?
False
Let g be (-4)/28 - (-1178)/14. Suppose -5*x + 158 = -3*f, -2*x = 4*f - 0*f - g. Is x a composite number?
True
Let w(i) = 62*i. Is w(1) composite?
True
Suppose 3*w + 5*x = -14, 0*x + x - 4 = -4*w. Let g = 69 - -5. Suppose 0*j = w*j - g. Is j a prime number?
True
Let r(x) = 155*x**2 + x + 1. Is r(2) a prime number?
False
Let l(w) = 27*w**3 - 2*w**2 + 2. Let c(u) = -u**3 - 2*u**2 + u - 4. Let m be c(-3). Let d be l(m). Let f = d + 1. Is f composite?
False
Let p(t) = t**2 + 2*t + 1. Let b be p(-5). Let y = b + -26. Let c = y - -21. Is c a prime number?
True
Is 7915/4 - (-6)/24 a composite number?
False
Let q = 553 + -66. Is q prime?
True
Suppose 0 = 6*i - 2*i. Suppose 4*s - 2*r = 1030, -3*r + i*r = -9. Is s a composite number?
True
Suppose 3*k = -5*k + 34576. Is k a composite number?
True
Suppose v - 3*g = 66, -2*v - v + g = -230. Suppose -f + v = -25. Is f composite?
False
Is (-1 - 4/(-4)) + 2947 a prime number?
False
Let o be (-4*(-6)/4)/1. Suppose -3*i + o*i + 252 = 0. Let h = i + 119. Is h composite?
True
Let i(o) = o**3 + 14*o**2 - 3*o + 17. Is i(-14) a composite number?
False
Suppose 0 = q - 5*r - 25, -4*q - 4*r - 20 = -0*r. Suppose -p - 3*p + 56 = q. Is p a composite number?
True
Let w(p) = 3*p**3 - 3*p**2 + 14*p - 35. Is w(12) a prime number?
False
Let j(i) = i**2 + 2*i - 7. Let o = -7 - 5. Is j(o) composite?
False
Let s(t) = 2 - 2*t**2 + t**2 - t - 5*t. Let l be s(-6). Suppose -l*f + 115 = 3*f. Is f a composite number?
False
Let r(t) = t**2 + 8*t - 15. Is r(14) a prime number?
True
Suppose -4*i + 5*k - 656 = -11470, -2*i + 4*k = -5410. Is i a composite number?
True
Let x = -529 - -275. Is (-1)/(256/x - -1) composite?
False
Let q be 3/15 - 2804/(-5). Suppose -4*l + 763 = -q. Is l a composite number?
False
Is (0 - (-4)/(-6))/((-46)/3795) prime?
False
Let x = 15 - 38. Let s = x + 42. Is s a prime number?
True
Suppose 9*p = 4*p + 790. Suppose -4*j = 90 + 66. Let n = p + j. Is n prime?
False
Let h(z) = 17*z**3 + 2*z**2 + 8*z - 12. Is h(5) a composite number?
False
Suppose -653 = -3*m - 4*g, -4*g = -3*m + 264 + 349. Is m composite?
False
Let z(q) = 29*q**2 + 2*q - 1. Let m be z(1). Is m/(-4)*16/(-12) a prime number?
False
Suppose 0 = -6*w + 1438 + 4976. Is w composite?
False
Let m = -763 + 1494. Is m composite?
True
Suppose 4*x = -0*x + 164. Let i = 78 + x. Is i a prime number?
False
Let q(o) = o + 5. Let c be q(-6). Is 83*-3*c/3 a prime number?
True
Let k(r) = r**3 - 4*r**2 + 2*r + 8. Is k(5) a prime number?
True
Let u = 3514 + -881. Is u a prime number?
True
Suppose -3*c = 3*z - 138, -2*z - 5*c = 2*z - 184. Suppose 4*b = 38 + z. Is b a composite number?
True
Is 331/((-5)/(-3 + -2)) composite?
False
Let u be 8 - (-2 + (-3)/(-3)). Is 4/(-6) - (-105)/u a prime number?
True
Suppose -4*z + 18 = -66. Suppose -2*f - f - 40 = -a, 3*f = 3*a - 120. Let c = a - z. Is c prime?
True
Let m(k) = 7*k - 7. Let d be m(6). Is 3/3*d*1 composite?
True
Suppose 2*z = j + 7, 0 = -3*z - 5*j + 3 + 1. Suppose z*v - 2*v = 223. Is v a composite number?
False
Let l(v) = v**2 + 8*v - 8. Let k be l(-8). Is k/20 - 667/(-5) prime?
False
Let x = -8 - -5. Is 21 + x/12*-4 a composite number?
True
Suppose 0 = -5*u + 5*a - 25, u + 2*a = -3*u + 10. Let v(y) = -y**3 + y + 55. Is v(u) composite?
True
Suppose 3*t = -2*k - 0*k + 387, 248 = 2*t - 2*k. Is t composite?
False
Let u be 1*-2 - (-43 + 2). Let n be 30 + 0 + 0 + -2. Let x = u - n. Is x composite?
False
Let n(p) = 18*p**2 + 8*p. Let g be n(8). Is g/6 - 1/(-3) prime?
False
Let y = 972 - 200. Suppose 5*o = 3*z - y, -4*z + 3*z + 5*o = -254. Is z a prime number?
False
Suppose -7*c = -1634 - 1131. Is c a prime number?
False
Suppose 4*b - b - 111 = 3*u, 2*u = -2*b + 86. Let j = b + -6. Suppose -2*s - 86 = -4*a, 3*a - s - j = 32. Is a a prime number?
True
Let h = 2430 - 1307. Is h a composite number?
False
Let t = 0 + 4. Let v(b) = 2*b**2 - 5*b - 8. Let z be v(5). Suppose -t*l = -z - 11. Is l composite?
False
Let g = -168 + 289. Is g a prime number?
False
Suppose 0 = -x + 821 - 12. Is x a composite number?
False
Suppose 119 = -5*z + 334. Is z a composite number?
False
Suppose -4*g + 24 = 5*w, -w + 4*w = 2*g + 10. Let f be 1/2*(207 + -3). Suppose w*y - y = f. Is y prime?
False
Let y = 15 + -6. Let i = 14 - y. Suppose -i*x = -519 + 174. Is x prime?
False
Suppose 54 + 61 = 5*z. Is z a prime number?
True
Is (-23180)/(-70) - ((-2)/14)/(-1) prime?
True
Is (-8)/6 - -2 - 2345/(-15) composite?
False
Is 1 + -2 - (-3 + -346 + 1) prime?
True
Let z(v) = 3*v**3 + v**2 - v + 1. Let l be z(1). Let t be l/(-16) - 3/(-12). Suppose t*p + 336 = 4*b - 4*p, -5*b + p + 424 = 0. Is b prime?
False
Is (1/(-3))/((-4)/7476) composite?
True
Let q(j) = 8*j**2 - j + 1. Let v be q(1). Suppose -5*u = -2*w + v, -2*w - 5*u - 36 = -4. Is (-1016)/12*w/4 composite?
False
Let f be 1/((-6)/(-3))*38. Suppose -14 = -d + f. Is d composite?
True
Suppose 7766 - 2747 = 3*n. Is n a composite number?
True
Let j = -6 + 2. Is (-55)/j - 3/4 a prime number?
True
Let d(z) = -z - 3. Let p(y) = y + 2 + 2 + 0. Let s(b) = 4*d(b) + 3*p(b). Is s(-2) composite?
False
Let n = -624 - -1373. Is n prime?
False
Let n(u) = u**3 - 2*u**2 + 4*u + 3. Let h be n(6). Let a = h - 97. Is a a composite number?
True
Is (562/(-3))/((-8)/60) prime?
False
Let p be ((-24)/(-18))/(1/3). Let t = p - 2. Suppose 5*q + 267 = 5*i + 807, 4*q = -t*i + 462. Is q composite?
False
Let h = 0 - -30. Suppose -3*f = -33 - h. Is f a prime number?
False
Let z = 256 - 141. Is z composite?
True
Let p be (1 - 0)/((-1)/(-223)). Let g = p + 112. Is g a prime number?
False
Let u = -8 + 19. Suppose -3*h = -1 - 2, -5*h - u = -4*w. Suppose -w*d + 137 + 227 = 0. Is d composite?
True
Let b(w) = -28*w + 39. Is b(-25) composite?
False
Let b(p) = 257*p**2 + 3*p + 13. Is b(-3) prime?
False
Suppose -4*n = -9260 - 7544. Is n a composite number?
False
Let c = -11 - -17. Let r be (4/(-3))/((-5)/15). Suppose -2*g = -r*d - 26, -25 = -c*d + d. Is g composite?
False
Suppose 5*q = 79 - 314. Let o = q + 66. Is o composite?
False
Let o(r) = -r**3 - r**2