 0, -4*x - q = 5*m - 2253. Is m a prime number?
False
Let i = 341 - 856. Let n = 854 + i. Is n prime?
False
Let t be 2/(-3) + (-209)/(-3). Let h be (-327)/18 - 2/(-12). Let g = t + h. Is g prime?
False
Let n(g) = -g**3 - 10*g**2 - 10*g - 4. Let c be n(-9). Suppose 114 = 2*q + 3*q - a, -c*a = 4*q - 68. Suppose i - 31 - q = 0. Is i a prime number?
True
Suppose 759 + 45 = 3*f. Let h be f/6*(-3 - 0). Let l = -81 - h. Is l a prime number?
True
Suppose -2*i - i = 0. Suppose -4*l - 219 = -3*a - i*l, 243 = 3*a + 4*l. Is a a prime number?
False
Is 5/(4332/(-1084) - -4) composite?
True
Is ((-762)/18)/((-2)/6) a composite number?
False
Let c(y) = -y**3 - 6*y**2 - 4*y - 9. Let k be c(-6). Suppose 8*j - 3*j - k = 0. Let b(i) = 4*i**3 - 5*i**2 + 2*i. Is b(j) prime?
False
Let z(h) = -5*h**3 - 3*h**2 + 5*h + 19. Is z(-4) composite?
False
Let m(h) = 3 + 2*h**2 - h**2 - 9 + h. Let g = -5 + 0. Is m(g) composite?
True
Is (-2 + 5)*79/3 a composite number?
False
Suppose -2 = -f + 2. Suppose -f*g + 204 = 48. Let b = 70 - g. Is b composite?
False
Let p = -5151 + 9592. Is p a composite number?
False
Let m(p) = 55*p - 18. Is m(7) a prime number?
True
Let f(d) = 22*d**3 - 3*d**2 - 12*d - 5. Is f(6) a prime number?
True
Let f(q) = 20*q - 15. Let t be 2/(-6) - 140/(-6). Let g = t + -12. Is f(g) composite?
True
Let s(l) = 15*l. Let u(c) = 16*c + 1. Let n(a) = -2*s(a) + 3*u(a). Is n(6) composite?
True
Let s be (-2)/((-6)/21 + 0). Suppose -s = 5*x - 2, -2*x = -z - 1. Let r = z + 10. Is r a prime number?
True
Suppose 0 = 4*o - 32 - 12. Let q = -8 + o. Suppose 22 = q*k - k. Is k prime?
True
Let g(m) = -12*m + 7. Let v(i) be the second derivative of -i**3 + 3*i**2/2 + 2*i. Let o(f) = 4*g(f) - 7*v(f). Is o(-5) prime?
True
Let t = 6 - 7. Let i(p) = 24*p**3 - 6*p**2 - 5*p - 1. Let v(s) = s**3 - s**2 - s. Let f(z) = t*i(z) + 5*v(z). Is f(-2) composite?
False
Let z(q) = 59*q**2 - 2*q + 4. Is z(3) composite?
True
Suppose 2*l - 3*m - 671 = -0*m, -2*m = -3*l + 999. Is l a composite number?
False
Suppose 0 = -0*u - 2*u + 8, 2*u + 926 = 2*g. Is g prime?
True
Let t = 741 - -410. Is t composite?
False
Let i(r) = 2*r - 4. Let h be i(-4). Let z be ((-63)/h)/(1/(-4)). Is (-2)/(-1)*-1 - z a composite number?
False
Let j(n) = 44*n**2 - 5*n - 16. Is j(-5) prime?
True
Suppose -5*a + 5*k - 4*k + 4871 = 0, -4*k - 2926 = -3*a. Is a a composite number?
True
Let o be -3 + (1101 - -2) - 3. Suppose -d - 5*m = 209, 5*d + 0*m + o = m. Let n = 406 + d. Is n a prime number?
False
Let b(q) = -14*q**3 + 2*q**2 - q - 1. Let p(f) = -2*f**2 + f + 4. Let y be p(2). Is b(y) composite?
True
Suppose 2*y - 59 = 4*s + 19, -3*y = 2*s - 101. Is y a prime number?
False
Let c = -6190 - -8691. Is c prime?
False
Let m(w) = 154*w - 25. Is m(12) a prime number?
True
Let b(j) = 3*j + 5. Let a(t) = -t - 2. Let w(c) = -7*a(c) - 3*b(c). Is w(-7) composite?
False
Let p(y) = -8*y**2 + 5*y - 1. Let u(i) = -24*i**2 + 14*i - 3. Let g(s) = 17*p(s) - 6*u(s). Is g(2) composite?
True
Let l(y) = y - 2. Let j be l(-2). Let d(z) = z**3 + 5*z**2 - 3*z + 4. Let w be d(-5). Let b = j + w. Is b composite?
True
Suppose -2*s - 287 = -3*s. Is s composite?
True
Let g = -17 - -4. Let j = -11 - g. Is j a composite number?
False
Let x = 353 + -169. Suppose 3*c - 4*r + x = 693, -c = -r - 168. Is c prime?
True
Let z = 201 - 28. Suppose -3*q + 94 = -z. Is q prime?
True
Let x = -6 + -7. Is 381/4 - x/(-52) composite?
True
Let h(l) = -2*l + 8. Let a be h(-6). Suppose -3*q = q + a, j - 273 = 2*q. Is j a prime number?
True
Let q = 3 - 3. Suppose q*v + 424 = 4*v. Suppose 5*y - 181 = 3*n, -n - v = -2*y - 34. Is y a prime number?
False
Suppose -3*z - 12 = -0*z. Let v(b) = -21*b - 1. Is v(z) a composite number?
False
Let a(u) = -u**3 - 2*u**2 - 3*u - 1. Let q be a(-2). Let s(j) be the second derivative of j**5/10 - 5*j**4/12 - j**3/3 + 2*j**2 + 2*j. Is s(q) composite?
True
Suppose -3*y = -2*y + 2, -3*y - 3818 = -4*g. Is g a composite number?
False
Let n = -20 + 20. Suppose -357 = -3*i - n*i + 4*p, 9 = -3*p. Is i a prime number?
False
Suppose -2*x + 6 = 2. Suppose -5*h + 2*a + 205 = 0, x*a - 29 = 3*h - 4*h. Is h a composite number?
True
Let i = 4347 + -2950. Is i a composite number?
True
Let o(g) be the second derivative of -7*g**3/3 - 9*g**2/2 - 15*g. Let u(a) = a**2 - a - 7. Let i be u(0). Is o(i) a prime number?
True
Let k = -1862 - -3679. Is k prime?
False
Let t = 63 + -43. Suppose 4*l - 296 + t = 0. Is l a prime number?
False
Suppose 1465 = -0*u + 5*u. Is u a prime number?
True
Let a(i) = 2*i**2 + i + 4. Let q be a(4). Let f = 78 - q. Is f composite?
True
Let v(q) = q - 13. Let b be v(-9). Let z = b - -12. Let r(d) = -d**3 - 10*d**2 - 6*d - 7. Is r(z) a prime number?
True
Let a(f) = -12*f + 3. Let u be a(-5). Let d(o) = o**2 - 5*o - 1. Let v be d(6). Suppose u = 3*t - 2*z, -z - 45 = -3*t - v*z. Is t a prime number?
True
Suppose -2*u - 4 = 0, -3*f - 2*f + u - 413 = 0. Let o(j) = -2*j**2 - 5*j - 5. Let t be o(-5). Let w = t - f. Is w a composite number?
False
Suppose 3*u = 3*l + 2523, 5*l - 4*l = -4*u + 3379. Suppose 6*h - u = 2*h. Is h a composite number?
False
Suppose -3*r = 5*b - 1, -2*r - 4*b = 3*r - 6. Let g(o) = -6*o - 1. Let c be g(-1). Suppose l - 47 = 4*k, 0 = c*l - 0*l - r*k - 199. Is l prime?
False
Suppose -25 = -2*o + 37. Let i = o + 28. Is i a composite number?
False
Suppose -5*r + l + 3832 = 0, 7*r - 3820 = 2*r + 5*l. Is r a composite number?
True
Let m(r) = -22*r**3 - 11*r + 2. Let n(j) = 11*j**3 + 5*j - 1. Let f(g) = 6*m(g) + 13*n(g). Is f(2) a prime number?
False
Suppose -2*v + v = -4, 3*y + v = 1195. Is y composite?
False
Let w = -1947 + 3616. Is w a prime number?
True
Let a = 16 - 10. Suppose -3*d + a*d - 42 = 0. Is d prime?
False
Let k(b) = -2*b + 5. Let j be k(-5). Is 3/(-15) + 1158/j a composite number?
True
Suppose -2*r - 5 = -3*r, -5*r = 5*s - 20. Let f = 4 + s. Suppose -d - f*n + 28 = 9, 0 = -5*d + 3*n + 167. Is d a prime number?
True
Suppose 0*k + 4*k = 120. Let v = 49 - k. Is v a composite number?
False
Suppose -561 = 22*d - 25*d. Is d a composite number?
True
Let s(h) = 13*h**3 + 11*h**2 - 2*h + 92. Let f(k) = -7*k**3 - 6*k**2 + k - 46. Let u(q) = 11*f(q) + 6*s(q). Is u(0) a prime number?
False
Is 58 + (-3 + 4 - 4) prime?
False
Suppose 0*s + s = -393. Is 2/(-3)*s/2 composite?
False
Let n(a) = 7*a - 1. Is n(12) a prime number?
True
Let z(h) = -h**3 - h**2 + 1. Let u(l) = 4*l**3 - 4*l**2 + 4. Let a(f) = -u(f) + z(f). Is a(-2) a composite number?
True
Let p(n) = -11*n + 1. Let i be p(-2). Is -1 + 1 + (i - 2) a prime number?
False
Let s = -46 + 353. Is s a composite number?
False
Let f(m) = -2*m. Let s be f(0). Suppose -y = -g - s*y + 299, -5*y = 5*g - 1535. Is g a composite number?
True
Suppose -7*f = 2*f - 3681. Is f a prime number?
True
Suppose -332 - 467 = -5*t - 2*n, 647 = 4*t - n. Is t prime?
False
Let r(f) = -518*f + 9. Is r(-7) a prime number?
False
Let u be 2468/20 + (-4)/10. Suppose -y + 2*r + 2*r + u = 0, 5*y - 633 = 2*r. Is y a composite number?
False
Let a be 4 - (-6)/(-2 + -1). Suppose -5*o + 642 = 3*x + 215, 0 = 4*x - a*o - 604. Is x a composite number?
False
Let b(d) = -26*d**2 + 9*d - 1. Let m be b(-10). Let c = -1336 - m. Is c a prime number?
False
Is (9/15)/(112/110 + -1) prime?
False
Let a = 510 - 304. Suppose 3*k = -u + 2*u + a, -k + 65 = -4*u. Is k a prime number?
False
Suppose -3*c = -i + 2 - 3, 2*i = -2*c + 14. Suppose -6*t = -i*h - 3*t + 67, 71 = 5*h - 4*t. Is h composite?
False
Let l = 9 - -4. Suppose 3*g - g = -8, -g = -3*j + l. Is j composite?
False
Let g(p) = -p**3 - p**2 - 1. Let j(q) = -7*q**3 - 3*q**2 + 2*q - 10. Let k(v) = -6*g(v) + j(v). Let m be k(4). Is 2 - (0 + (m - 1)) a prime number?
False
Let t(j) = j**2 + 2*j - 2. Let h = 2 + 0. Is t(h) composite?
True
Suppose -p - 5 = -2*p, -2*p = 4*b - 18. Is b/2*(62 + 3) a composite number?
True
Suppose 0 = -7*c + 9*c - 422. Is c a composite number?
False
Let f(m) = -499*m + 25. Is f(-6) composite?
False
Suppose -4*h + 202 = -18. Is h a composite number?
True
Let w be (116/(-5))/((-4)/20). Suppose 0*h = -4*h + 12, -3*h = -5*i + w. Is i prime?
False
Is 1381/(-3 - (3 - 7)) prime?
True
Suppose -b - 3*s - 1 = -89, -5*s = -4*b + 267. Let w = b + -35. Is w composite?
True
Suppose 3*j - 24 = -5*r, 4*r - 3*r = j. Suppose 0*b - 5*b + 2380 = 0. Suppose -y = j*y - b. 