0, -3*s = -4*m + 1399. Let b = s - -1150. Is b composite?
True
Let n = 112 + -43. Suppose p = 3*z + 65, 0*p - 4*z - n = -p. Is p a prime number?
True
Suppose 0*s + 5*v + 28 = -3*s, 0 = -3*s + 5*v + 22. Let o be ((-9)/(-3) + 0)*s. Let p = 8 - o. Is p prime?
True
Let p(b) = 18*b**2 - 3. Let c = -19 + 14. Is p(c) prime?
False
Suppose 2*v - 4*v + 120 = -2*l, 20 = 4*l. Is v prime?
False
Let f be ((-3)/2)/((-1)/(-2)). Let t = -17 - f. Let w = -7 - t. Is w a composite number?
False
Let k(x) = -x - 1. Let v be k(-1). Suppose 4*b - 522 = 3*y + 820, 2*b - 5*y - 664 = v. Is b a prime number?
True
Suppose 0 = 5*l + 4*f - 174, f + 171 = 5*l + 2*f. Let d = l - 19. Is d prime?
False
Let o(s) = s**3 + 5*s**2 - 7*s - 6. Let a be o(-6). Suppose a = u - 0 - 15. Is u prime?
False
Suppose 6 = 2*s - 2*h, 5*s - 16 = h - 5. Suppose -s*x - 19 = 7. Let v = 27 + x. Is v prime?
False
Let d(n) = -2*n - 7. Let b be d(-6). Suppose -4*j + 5*r = -158, -b*j + 177 = -0*r + 4*r. Is j composite?
False
Suppose -2*x - 1906 = -4*x. Is x a composite number?
False
Let u(a) = -10*a + 1. Let c(k) = -k. Let f(g) = 4*c(g) + u(g). Is f(-4) prime?
False
Suppose g + 6 = -4*t - 25, -g + 25 = -4*t. Suppose -4 - 216 = -5*i. Let h = t + i. Is h composite?
False
Let q = -11 - 7. Let y be -37 - (2 - 2)*1. Let r = q - y. Is r a prime number?
True
Suppose -2*n = 5*a + 15, -3*a + n - 4*n - 9 = 0. Is 5600/12 - 1/a a prime number?
True
Suppose -2*z = -15 + 5. Suppose z*w - 98 = -28. Is w prime?
False
Let i(m) be the first derivative of 3*m**5/20 + m**3/6 - m**2/2 - 1. Let h(v) be the second derivative of i(v). Is h(1) composite?
True
Let r = -27 - -150. Let a = -70 + r. Is a a prime number?
True
Suppose 0 + 2 = t. Let d be (-2)/5 + (-368)/(-20). Suppose -t*a + d = -0*a. Is a a prime number?
False
Let x(r) = -130*r - 5. Let s be x(4). Let j = s + 271. Is j*(-3)/(-12)*-2 composite?
False
Let y be (-4)/(-4)*0/(-2). Suppose -2*r - 3*r = y. Suppose r*i = -2*i + 5*t + 75, 0 = -4*i - 5*t + 135. Is i a prime number?
False
Let f(b) = -b**3 - 9*b**2 - 2*b + 12. Let d be f(-10). Let h = 259 - d. Is h a composite number?
False
Let i(b) = b**3 + 6*b**2 + 2*b + 9. Let r be i(-6). Let w(u) be the third derivative of -u**6/120 + u**4/24 - u**3/2 + 2*u**2. Is w(r) a prime number?
False
Let b = 9 + -8. Suppose 2*d + o = 4 + b, 0 = 3*d - 2*o - 11. Is 115 - d/9*0 a prime number?
False
Let a = -3347 - -5198. Is a prime?
False
Let a(b) = -40*b - 12. Suppose -s + 2*u - 16 = -4, -4*u - 32 = 5*s. Let v be a(s). Suppose 4*f - v = -0*f. Is f a composite number?
True
Let q(w) = 3*w**3 - 6*w - 11. Suppose c = 2*a - 5*a + 8, -4*a = 0. Is q(c) composite?
True
Let p be ((-8)/(-10))/(14/105). Suppose 3 = 3*b - p. Is b a composite number?
False
Let y = 245 - 145. Suppose -3*i + 5*i + 3*h = y, i - 3*h = 41. Is i composite?
False
Let s = 3 - 0. Suppose -s*d + 74 = -d. Is d a composite number?
False
Let d = -9 + -54. Let t = d + 92. Suppose 5*q - 364 = -t. Is q a composite number?
False
Let b = 276 + -180. Suppose 0*y = 3*y - b. Let i = y + 5. Is i prime?
True
Let u = -212 - -636. Suppose 3*t = 7*t - u. Is t a composite number?
True
Let q = -37 - -26. Suppose 0 = -t - t - 66. Let y = q - t. Is y a prime number?
False
Suppose -p + 17 = -14. Is p a prime number?
True
Suppose -n = 4*n - 50. Suppose q - n - 283 = 0. Is q a prime number?
True
Let y(u) = -u**2 + 7. Let o = -10 - -14. Suppose -a - 3*a = 5*x + o, x = 3*a + 3. Is y(x) composite?
False
Suppose 2*y - 2*z = -82, z - 18 + 109 = -2*y. Let k = 23 - y. Is k composite?
False
Suppose r + 2 = 2*r. Let x(i) = -31*i**3 + 2*i**2 - 2*i - 1. Let a be x(r). Is (a + -4)*1/(-3) a composite number?
False
Let u(n) = 98*n - 3. Let j be u(6). Suppose -42 = -3*r + j. Is r a prime number?
False
Let l(q) = -q - 6 + 2 + 1 - 1. Is l(-7) a prime number?
True
Let f = 16 - -125. Is f a prime number?
False
Let c = -74 - -53. Suppose -4*y = y + 50. Let d = y - c. Is d a prime number?
True
Let m(j) = -j**2 + 10*j + 5. Let z be m(10). Suppose b + 898 = 6*s - 4*s, -z*s + 2263 = 2*b. Is s prime?
False
Suppose -15 = -3*q + 4*b, 2*q - 2*b - 12 = -0*q. Let c be 106/q - 4/(-18). Suppose -4*t = c, -2*t - t = 3*l - 30. Is l prime?
True
Let y = 84 + -211. Let f be (-56)/(-2)*2/(-4). Let j = f - y. Is j prime?
True
Let o = -22 + 38. Let w = o + 7. Is w prime?
True
Let h be (-6)/(-7)*(-14)/(-2). Let p(a) = 2*a**2 - a - 7. Let n(o) = o - 1. Let b(f) = -4*n(f) + p(f). Is b(h) composite?
True
Let y = 118 - -48. Let u = 49 + y. Is u a composite number?
True
Let g = 66 + -14. Let v = g - -19. Is v composite?
False
Let s = 5 - -34. Is s composite?
True
Suppose 5*w = -3*w + 6376. Is w prime?
True
Let v(p) = p**2 - 11*p + 9. Is v(12) composite?
True
Let k = 21 + -15. Let z = -120 - -82. Is 2/k + z/(-3) a composite number?
False
Let j = 1666 - 593. Is j prime?
False
Let f = -177 - -334. Is f a prime number?
True
Is 4/(-12)*(-3 - 264) composite?
False
Let c = -45 + 93. Let i be -9 + 3 + 3 + -8. Let o = i + c. Is o a composite number?
False
Let i be 1950/18 - (-1)/(-3). Let z = i - 57. Is z prime?
False
Let o(t) = 91*t**3 - 93*t**3 + 1 + 2*t**2 - t**2. Is o(-2) a prime number?
False
Let j = -8 + 75. Is j a composite number?
False
Let d = 21 - 25. Is -74*((-44)/8 - d) a composite number?
True
Let z be -2 - -3 - (-4 + 1). Suppose 2*t + 10 = 0, t = -2*j - z*t + 37. Is j a prime number?
True
Let s = -13 + 18. Suppose s*n - 887 = 693. Suppose -z - n = -5*z. Is z a composite number?
False
Suppose -5*v + v = 12. Let x = v + 9. Suppose -x*s + 15 = -s, -4*s = 3*k - 81. Is k composite?
False
Let s = -6 - -6. Is 590 + (0 - s) + -3 composite?
False
Suppose -5*k - 915 = -4*k. Is k/(-10) + (-2)/4 prime?
False
Suppose -590 = 2*o - 7*o. Suppose -3*b + o = -b. Let v = b + 10. Is v a composite number?
True
Let k(s) = 4*s**3 - s**2 + 2*s + 2. Let u be k(-2). Let q = 59 + u. Is q a composite number?
True
Suppose -4*r - 1923 = -7*r. Is r a composite number?
False
Suppose 0 = -0*b + b + 3*p - 2, 0 = -2*b - 4*p + 2. Let a = b - -3. Is -106*(a - 5/2) a prime number?
True
Let t = -4 - -5. Let h(x) = 10*x + 2 - 8*x - t + 8*x. Is h(2) a composite number?
True
Suppose -5*o + 5 + 20 = 0, 4*o = j + 23. Let u be (0/j - -3)*-1. Is 128 + (9/u - -2) prime?
True
Let m(a) = -69*a - 7. Let f = -6 + 0. Is m(f) prime?
False
Let t(g) = 132*g - 7. Is t(4) a composite number?
False
Suppose -z - 4*i + 579 = 0, -2*z + i - 6*i + 1167 = 0. Is z a prime number?
False
Let d(m) = 3*m**3 + 3*m**2 - 2*m - 5. Let h(f) = -f**3 - f + 1. Let w(a) = -d(a) - 2*h(a). Let o be w(-4). Is (-72 + o)*7/(-3) prime?
False
Let y be 116/(-3)*(-3 - 0). Suppose 0*q + y = 2*t + 2*q, 2*t - 144 = 5*q. Let o = t + -41. Is o a composite number?
True
Suppose 0 = -10*r + 13403 - 3663. Is r composite?
True
Suppose 5*a - 13*a = -27112. Is a a composite number?
False
Let c = 2 - -2. Suppose d = c*d. Suppose d = -5*t - 0*t + 395. Is t a composite number?
False
Let x(l) = 11*l**2 - l + 11. Is x(-4) composite?
False
Let a be (-2)/(-4) - (-10)/(-4). Is (-353 + a)*4/(-10) a composite number?
True
Suppose 557 = 4*x - 5*g, -5 = -5*g + 10. Is x a composite number?
True
Let h = 13 - 8. Suppose 66 - 251 = -h*v. Is v prime?
True
Is (0 - 2)/((-2)/1471) composite?
False
Let a(h) = 3*h**3 - 11*h**2 + 8*h - 5. Is a(7) a prime number?
True
Let g = 1120 + -281. Is g a prime number?
True
Suppose -105 = -4*v + 3*v + 3*x, -4*x - 335 = -3*v. Let f = v - 52. Suppose 0 = -4*j - j + f. Is j a composite number?
False
Suppose -2*r = -0*r + 200. Let w = r + 262. Suppose -w - 283 = -5*h. Is h composite?
False
Let s(h) = h**2 - h - 4. Let p be s(3). Suppose 5*f - 9 = p*f. Suppose 2*n - f = 107. Is n prime?
False
Suppose -5*x + 125 = 20. Is x prime?
False
Suppose 2*f - 84 = 202. Is f composite?
True
Suppose 2*z - 948 = 4*a, 3*z - 108 = 2*a + 374. Let j = 376 + a. Is j prime?
False
Let y = 3 - 15. Is 4/(y/705)*-1 a prime number?
False
Suppose -7 = -2*z - 2*z - y, 2*z - y = 5. Suppose 4*v - 4*l - 20 = 0, z*l = -3*l - 10. Suppose 4*t = -4*s + 276, 3*s - t - v*t - 193 = 0. Is s composite?
False
Suppose -v + 232 = 3*v. Is v a prime number?
False
Let h(s) be the third derivative of s**6/120 + s**4/8 - s**3/3 - 5*s**2. Is h(3) a composite number?
True
Let d(n) = 2*n - 11. Let c be d(10). Let l(i) = 6*i**2 - 6*i + 7. Is l(c) prime?
True
Let h(n)