 -3 + (-368)/(x + -1) a prime number?
True
Suppose -349 = -3*a + 71. Suppose -2*p = -4*g - a, 3*p - 250 = -p - 2*g. Suppose -3*b + 41 = -p. Is b prime?
False
Let z(d) = 495*d + 2. Is z(1) a composite number?
True
Let u = -12 - -15. Suppose -u = 4*j - 447. Is j a composite number?
True
Let t = 8 - 4. Let j(g) = -3 - 14*g - 10*g + t*g. Is j(-5) composite?
False
Suppose -2*b - 2*u + 603 = -7*b, -2*b + 2*u = 240. Let l = 532 - b. Is l composite?
False
Let s be 4 + -3 + (-4)/(-2). Suppose -s*c - 3*r + 1617 = 0, 4*c - r + 807 = 2973. Is c a prime number?
True
Let n(r) = -2*r**2 - 7*r + 7. Let p be n(-6). Suppose -t = -4*t - 27. Let s = t - p. Is s composite?
True
Let b = 6 - -10. Let k = 23 - b. Let y(r) = -r**3 + 7*r**2 + 5*r - 2. Is y(k) a composite number?
True
Let n = -1184 - -1851. Is n composite?
True
Let f(q) = -q**2 + 11*q - 5. Let l(b) = b**2 - 3*b + 2. Let v be l(4). Let s be f(v). Let z = s - 15. Is z composite?
True
Suppose -5*b + 4*n = -265, b - 59 = -5*n - 6. Is b composite?
False
Suppose 12 = 2*p + 2*p - 2*q, 6 = p - 2*q. Suppose -7 = -p*j - 3. Let u = 51 - j. Is u composite?
True
Suppose 142 = 4*s - 2*s. Is s a composite number?
False
Suppose 80 = -6*l + 290. Is l a composite number?
True
Suppose -4*l - 3 = -l. Let y(g) = -50*g**3 - g**2 - g - 1. Is y(l) composite?
True
Suppose 4*q - 61 = -2*j + 43, -161 = -3*j - q. Let o = j - -40. Suppose -2*p - 4*r = -o, -r - 3*r = -16. Is p composite?
True
Let d(g) = g + 1. Let f(r) = -5*r + 1. Let o(q) = 6*d(q) + f(q). Suppose -2*m = -7*m. Is o(m) prime?
True
Suppose 0 = c - 0*q - 4*q + 20, -4*c - 2*q + 10 = 0. Suppose -2*k - g - 13 = -2*g, -5*k - 2*g - 55 = c. Let x = k + 28. Is x a composite number?
False
Let g(u) = 2 - 1 + 9*u + 26*u + 3. Suppose -2*z = c - 3 - 0, 4*z + 3 = c. Is g(c) a prime number?
True
Let f = -2 - -37. Is f a composite number?
True
Suppose l - 4*l - 5*q - 25 = 0, 0 = -2*l - 5*q - 25. Suppose l = -4*x + 4 + 4. Suppose 0 = -a - 0*a + x. Is a a composite number?
False
Let b = 590 + -413. Is b composite?
True
Suppose -4*g = 2*j + 6, -2*g - 2*g = 5*j + 21. Let z be -2 + 1 + g + 3. Suppose f = -z*f + 140. Is f composite?
True
Suppose -11*l + 958 = -9*l. Is l composite?
False
Let x(h) = -h + 6. Let d be x(0). Suppose -2*c + d*c = 100. Is c a composite number?
True
Let k(m) = 2*m**3 - 4*m**2 + 4. Let h be k(3). Let g = h - -11. Is g prime?
False
Suppose -5 + 0 = k. Is 31*(-3)/(k + 2) prime?
True
Let s(m) = 2*m**2 + m - 2. Let h be s(-2). Suppose -h = -3*l + 128. Is l/10*(-1 - -6) composite?
True
Suppose 4*q = -l + 341, -3*l + q = -2*q - 948. Is l a composite number?
True
Suppose -5*i - 2*d + 3822 = 0, 0*i = 3*i + 4*d - 2282. Is i a composite number?
True
Is (21/(-1))/((-36)/84) a prime number?
False
Let v(b) = -5 + 2*b**2 + 8*b + b + 2*b. Is v(4) a prime number?
True
Suppose -2*b - 1251 = -4853. Is b a prime number?
True
Let u = 33 - 19. Let n(z) = 6*z - 1. Is n(u) composite?
False
Let c(w) = w - 2. Let p be c(2). Suppose -4 = -p*d + d. Is (2 + -48)*10/d prime?
False
Let i be 2/6 + (-158)/(-3). Let m = i - 20. Suppose -2*u - 5*n = -m - 21, 2*u - 82 = 2*n. Is u prime?
True
Let w = 1100 + -633. Is w composite?
False
Is 46/161 + 12353/7 prime?
False
Let m(w) = -28*w**2 + 2*w - 3. Let z(p) = 27*p**2 - 2*p + 3. Let a(o) = -3*m(o) - 2*z(o). Let h be a(3). Suppose 0 = -2*i - i + h. Is i composite?
False
Let r(p) be the second derivative of 0 - 3*p + 5/6*p**4 + 1/20*p**5 + 5/6*p**3 - 3/2*p**2. Is r(-8) a prime number?
False
Let u be 1/2 - (-9)/(-2). Let s(l) = l**3 + 4*l**2 + 3*l. Let t be s(u). Is (t/15)/((-4)/70) a prime number?
False
Suppose 0 = 2*l - 2390 - 1396. Is l prime?
False
Suppose -3*r - 2*d = -91, -3*r + 3*d + 53 = -13. Is 4488/r - 2/9 composite?
True
Let d(f) = f**2 + f. Let c be d(-2). Suppose 3*j + 0*j - 3*g - 6 = 0, 0 = 3*j - c*g - 10. Suppose 3*h + 3*k = 9, -4*h - 5*k + j = -3. Is h a prime number?
False
Let r(j) = j**2 + 6*j - 6. Let u be r(-6). Let s(t) = -10*t - 1. Is s(u) a composite number?
False
Let i(z) = z - 498. Let t be i(0). Let n = t + 757. Is n a composite number?
True
Let z = 4 + -1. Let a = z - 1. Suppose 48 = a*d - 50. Is d a composite number?
True
Suppose -8*q = -7*q - 59. Is q composite?
False
Suppose 8*b - 6162 = 4*b - 2*h, h = -3*b + 4624. Is b prime?
True
Let v be -84*(-1 + 56/(-12)). Let z = v + -327. Is z composite?
False
Let n(t) = 8*t**2 - 4*t + 2. Let h be n(-6). Let i = h - 91. Is i a composite number?
False
Let d(p) = -5*p**2 - 10*p - 12. Let r(f) = -6*f**2 - 10*f - 13. Let s(k) = 7*d(k) - 6*r(k). Suppose -1 = -2*t - 15. Is s(t) a prime number?
True
Suppose -15 = z + 4*o, -z - 3*o = -6*z - 6. Let c(m) = 3*m + 1 - 14*m + 3. Is c(z) a prime number?
True
Let t(h) = 1 + 0 + 65*h - 5 + 3. Is t(6) a composite number?
False
Let y(z) = 5*z**3 - z - 1. Let q be y(-1). Let g = -1 + q. Is 36 + 2*3/g prime?
False
Suppose 2*a - 5*a - 6 = 0. Let z = a + 4. Suppose -h + 44 = z*g, 2*g + 3*h - 38 = -h. Is g a composite number?
False
Let w = -452 - -254. Let x = w + 309. Is x composite?
True
Let f be 1/((-2)/24 + 0). Let y(j) = -j + 16. Let c be y(-21). Let s = f + c. Is s a prime number?
False
Let d(x) = 17*x**3 - x**2 + x + 4. Is d(3) a prime number?
True
Let n = -1511 - -2704. Is n composite?
False
Let l = 508 + -81. Is l prime?
False
Suppose 9*f + 31 - 94 = 0. Let g(i) = 3*i**2 + 9*i - 4. Let z(l) = 7*l**2 + 19*l - 7. Let p(x) = -9*g(x) + 4*z(x). Is p(f) prime?
False
Let y(s) = -47*s - 2. Is y(-3) a prime number?
True
Suppose 0 = -5*d + 1 + 49. Suppose 0 = 5*q - d, 9*q - 718 = -4*s + 4*q. Suppose -4*w + s = -3*w. Is w composite?
True
Let n be -3 - (-5)/(20/24). Suppose f = 4*s + 4*f - 154, -80 = -2*s - n*f. Is s a composite number?
False
Suppose -3*j + d + 6 = -7, -2*j + 14 = 2*d. Let i(f) = 3*f - 7*f**2 - 2 + 2*f**3 + 0*f**3 - 6*f + f**2. Is i(j) composite?
False
Let s = 631 - 242. Is s composite?
False
Let z(m) = -236*m + 43. Is z(-14) prime?
True
Suppose -3*x = 2*x + 1280. Let q = -120 - x. Suppose 0 = 3*p - 7*p + q. Is p prime?
False
Suppose 0 = -k + 4399 + 709. Is (-8)/24 + k/6 a prime number?
False
Let k be 0 + -1 + -6 + -1. Let a(y) = y**3 + 11*y**2 + 7*y - 18. Is a(k) composite?
True
Suppose 0 = -0*n + 3*n - 3879. Suppose 253 = i - 3*w, n = 5*i - 0*i - w. Is i prime?
False
Let i be (-5)/5*(1 - 1). Is (i - 2/(-2))*251 a prime number?
True
Let t(u) = 16*u - 37. Is t(15) prime?
False
Let m(o) be the second derivative of 3*o**4/4 + 7*o**3/6 + o**2/2 + 4*o. Is m(-5) composite?
False
Let j be (-4648)/(-18) + 4/(-18). Let d be ((-131)/(-1))/(0 - 1). Let c = j + d. Is c composite?
False
Suppose 2 + 0 = w. Is 155 + -6 - (-2 + w) composite?
False
Let x be 0 - (2/1 + -37). Suppose 0 = -3*y - r + 19, -3*y + 0*y - 5*r + x = 0. Suppose -2*s + y*t + 35 = 0, 3*s - 4*t - 34 = s. Is s a prime number?
False
Suppose -3*a - 78 = -21. Let r = a + 97. Suppose 0 = -5*q + r + 117. Is q prime?
False
Suppose 2*n + 2*n = 380. Is n composite?
True
Suppose 5*b = b + 188. Is b composite?
False
Let o = -271 - -530. Is o prime?
False
Suppose 228 + 63 = f. Is f prime?
False
Let z(f) = f**2 - 5*f - 7. Let m be z(6). Let g(l) be the third derivative of -47*l**6/120 + l**5/60 + l**4/12 + l**3/6 - 3*l**2. Is g(m) a composite number?
False
Let g(v) = 2*v**2 + 4*v + 3. Let o = -12 + 6. Let r = 10 + o. Is g(r) composite?
True
Suppose -3*t - 30 = -8*t. Let x(b) be the third derivative of b**4/24 + 5*b**3/6 - 2*b**2. Is x(t) prime?
True
Let u = 5 + -3. Suppose u*h - 132 = -2*q, -5*h - 9 = 6. Is q a prime number?
False
Let z(x) = -61*x**3 + 7*x**2 + 9*x + 9. Is z(-4) a composite number?
False
Let k(t) = -t**3 - 8*t**2 - 19*t - 1. Is k(-11) a prime number?
True
Suppose l - 4*t = -11, -4*l = -4*t - 5 + 25. Let x(o) = -1 - 17*o + 5*o + 2. Is x(l) a prime number?
True
Suppose a - 64 = -4*m + 505, 5*m - 730 = -5*a. Is m a composite number?
True
Let h(d) = d**2 - 4*d + 6. Let w be h(4). Let k(s) = 2*s**3 - 6*s**2 + 3*s + 1. Let g be k(w). Suppose 0 = -5*u - 0*u + g. Is u a composite number?
False
Let r(n) = -3*n**3 + 4*n**2 - 2*n - 28. Let o(v) = -2*v**3 + 3*v**2 - v - 19. Let m(y) = -7*o(y) + 5*r(y). Is m(-6) composite?
False
Is 157 - -3 - (-3 + 0) composite?
False
Suppose 0 = -2*n - 2*n + 28. Is (-86)/(-4) + n/14 a composite number?
True
Suppose -g + 299 = x, -5*x = -8*g + 4*g - 1486. Is (-