
Is (804/9)/4*3 a prime number?
True
Suppose -509 = -3*o + 514. Is o a composite number?
True
Suppose -3*t = -3*u - 15, -3*t + 12 = -u - 3. Let g(l) = -l + 56. Let v be g(u). Suppose 4*w - v = 3*z, 4*w + 3*z - 52 + 20 = 0. Is w a composite number?
False
Let y(j) = 6*j**2 + j - 14. Is y(-11) prime?
True
Suppose -7 = -2*l + 9. Suppose -2*t - 3*i = -l*i - 66, -3*i = t - 55. Is t a prime number?
True
Is ((-2676)/36)/(2/(-6)) a composite number?
False
Let q = 14 - 41. Let l = 4 - q. Is l prime?
True
Let t be 0 + (242/1 - 0). Suppose 5*w - t = -s, 6*w - w - 1110 = -5*s. Is s prime?
False
Let g(k) = 841*k**2 + k + 3. Is g(-2) a composite number?
True
Suppose y + 0*y + 4*x + 10 = 0, -3*x - 12 = 3*y. Let d = -6 + y. Is d/48 + (-79)/(-6) prime?
True
Let l be (2 - 5)*(-5)/(-3). Let z be (-6)/(-15) + (-323)/l. Let g = z + -44. Is g prime?
False
Suppose 4*t = 12 - 0. Let x be (-44)/(t/(9/(-6))). Let i = -16 + x. Is i prime?
False
Is 4/(-38) - (-98461)/209 a composite number?
True
Let p be (-32)/6*132/(-16). Let f(a) = -8*a + 9. Let n be f(-7). Let b = n - p. Is b a composite number?
True
Let d(a) = -a. Let u be d(0). Let s(q) = q**2 + 145. Is s(u) a composite number?
True
Suppose -2 = -n + 1. Suppose 0 = -w - n + 160. Is w prime?
True
Let q(f) = 2*f**2 + 6*f - 2. Suppose 1 = -n + 6. Let g be q(n). Let s = g - -79. Is s composite?
False
Let g = 1 - -4. Suppose -x = g - 14. Is x a prime number?
False
Let s(r) = -r**2 - 30*r - 27. Is s(-17) prime?
False
Let l be 164*(-2)/(3 - 5). Suppose -44 = -2*n + l. Suppose 5*c - n = -34. Is c prime?
False
Suppose j - 67 = 3*z, -j + 7*z + 75 = 2*z. Is j a prime number?
False
Suppose 0 = -2*y - y - 2*d + 13, -14 = y - 3*d. Let p(c) = 140*c - 1. Is p(y) prime?
True
Let q(r) be the first derivative of -3*r**4/4 - 4*r**3/3 - r**2 + r - 6. Is q(-2) prime?
True
Let w(t) = -8*t + 4*t**2 + 32*t**3 + 5 - 31*t**3 + 1. Is w(-5) prime?
False
Let l(q) = 5*q + 20. Is l(7) a composite number?
True
Suppose 0 = s - 3 - 9. Suppose -r - 18 = -4*o, 3*o - 4*r = -o + s. Suppose -o*u + 7 = -4*u. Is u a prime number?
True
Let j be (-129)/(-6) + 3/6. Let x = 15 - j. Let o(q) = q**2 - 2*q - 10. Is o(x) composite?
False
Let u(i) = -i**2 - i + 5*i**2 - 1 + 3*i**2. Let p = -1 + -3. Is u(p) a prime number?
False
Let n(q) = q**2 + 3*q + 2. Let x be n(-2). Suppose u - 48 + 13 = x. Is u a composite number?
True
Let v(i) = -2*i**2 - 3. Let m be v(5). Let q = 88 + m. Suppose 2*l + 3*l = q. Is l a prime number?
True
Let b(d) = -d**3 + 5*d**2 + 3*d - 5. Let p(r) = r. Let i(s) = b(s) + 5*p(s). Is i(6) a prime number?
True
Let w be (50/3)/((-2)/(-6)). Let g = w - 107. Let l = -38 - g. Is l a composite number?
False
Let r(b) = b**3 - 6*b**2 + 5*b + 2. Let a be r(5). Suppose 3*m = a*j - 986, 4*j + 5*m - 1441 = j. Is j a prime number?
True
Suppose -i + 4*i - 13 = -r, -5*r - 4*i = -32. Suppose z = -r*o + 314 + 64, 2*o + 4*z = 196. Is o composite?
True
Is (-2)/(328/84 - 4) a composite number?
True
Let t(d) = -10*d + 3. Suppose 8 = 4*a - 3*q, 3 = -5*a - 2*q + 13. Suppose 6*c - a*c + 20 = 0. Is t(c) a prime number?
True
Let m = -42 + 94. Let x(l) = 128*l - 7. Let c be x(6). Suppose h - 140 = b + m, 4*h = -3*b + c. Is h a composite number?
False
Let c(n) be the third derivative of 227*n**4/12 - n**3/6 - 7*n**2. Is c(3) a prime number?
True
Suppose -5*n - d = 224 + 562, -5*n + 2*d = 783. Let q = -66 - n. Is q prime?
False
Is 5/((-25)/20) + 483 a composite number?
False
Suppose 3*a = 2*a - 9. Let b(m) = -m**2 - 6*m + 6. Let s be b(a). Let h = s - -40. Is h a composite number?
False
Let n = 2 - 1. Let h(k) = n + 0*k**2 - k**2 - 5 + 8*k. Is h(5) a composite number?
False
Let h = -236 + 108. Let y = 33 - h. Is y a composite number?
True
Let o(q) = -5*q + 14. Let r(d) = -d**2 - 11*d + 19. Let h be r(-13). Is o(h) a prime number?
False
Let s be 4/(-2) + 102 + 2. Let g = s - 59. Is g a composite number?
False
Suppose -5*y = -33 + 8. Suppose -3*n = 2*n + y. Is ((-1)/3)/(n/9) a prime number?
True
Suppose -4*x + 486 = -362. Suppose 6*c - x = 2*c. Is c prime?
True
Suppose -4*s - 11 - 21 = 0. Let a(y) = -y**2 - 8*y + 9. Let t be a(s). Is 23*t - (-12)/6 a prime number?
False
Let p(d) = -2*d**3 - d**2 + 5*d + 3. Is p(-4) prime?
False
Let f(r) = -2*r - 1. Is f(-10) composite?
False
Suppose 3*y + 6 = 4*y. Is ((-44)/y)/(10/(-15)) prime?
True
Let w(v) = -v**3 - 8*v**2 - 3. Let b be w(-8). Let l(p) = -3*p**3 - 2*p**2 - p - 1. Is l(b) a composite number?
True
Suppose -4103 = -6*s - 5*s. Is s a prime number?
True
Let s = 4753 - 2832. Is s a prime number?
False
Let k(l) = 5*l**2 - 3*l + 8. Let a(j) = -6*j**2 + 4*j - 9. Let p(h) = 3*a(h) + 4*k(h). Suppose 3*d + 5 = 23. Is p(d) a prime number?
False
Let p(u) = -u**3 - 2*u**2 - 3*u - 4. Let s be p(-2). Suppose 0 = -q + s*q - 187. Is q composite?
True
Suppose -8*p + 2 = -9*p. Is (15*-12 - p)/(-2) prime?
True
Let q(t) = 3*t**3 + 2*t**2 - 1. Let b be q(1). Is (b + -2)*(-242)/(-4) a composite number?
True
Let z(q) = q**3 + 8*q**2 + 5*q + 1. Let a be z(-7). Suppose -701 = 14*x - a*x. Is x a prime number?
True
Let l(x) = -x**3 + 2*x**2 + 4*x - 3. Let u be l(3). Suppose -3*k + k - 12 = u. Let w(p) = p**3 + 9*p**2 + 2*p + 1. Is w(k) composite?
False
Suppose y - 475 = -4*y. Is y composite?
True
Is (-359)/(-1 + 0/(-2)) a prime number?
True
Let x be (-1 - (-219)/(-15))*-15. Suppose b = -4*m + 20, 3*b - 60 = -5*m - 0*m. Suppose -b - x = -2*t. Is t a prime number?
True
Suppose 3*y - 2664 = -3*x, -3*x + 2663 = 2*y + 2*y. Is x composite?
True
Is 10/30 + (-6700)/(-6) a prime number?
True
Let c = -5 + 5. Suppose c = -o - o. Let b(s) = -s**2 + s + 95. Is b(o) a prime number?
False
Let m(l) = 34*l**3 - l**2 + 1. Let s be m(1). Let b be 0 + -5*(-1)/1. Suppose 0 = -r + 5, s = b*c + 4*r - 281. Is c a prime number?
True
Suppose -3*d + 839 = m, 2*m = -4*d - 619 + 2297. Is m prime?
True
Let g(c) be the first derivative of 37*c**2/2 + 2*c + 5. Is g(3) prime?
True
Is 2015/2 - 27/(-18) a composite number?
False
Let j = 424 + 63. Is j a composite number?
False
Let j(c) = -c**2 - 9*c + 14. Let q be j(-10). Let h(s) = -s**2 + 3 - q*s + 3*s + 0*s**2. Is h(0) prime?
True
Let u = -1953 + 2762. Is u a composite number?
False
Let g(w) = 66*w**2 - 2*w - 5. Is g(4) prime?
False
Let r(h) = -h**3 - 7*h**2 - 7*h - 5. Let c be r(-6). Is (c/(-3))/(1/(-1119)) a prime number?
True
Let r = 324 - 567. Let p = r - -650. Is p a prime number?
False
Let m be 12*-64*1/3. Let p = -53 - m. Is p composite?
True
Let h = 1198 - 3268. Is (-3)/(-12) + h/(-8) prime?
False
Let d be 4/(-4)*0*-1. Suppose d = 3*h - 39 - 72. Is h a prime number?
True
Is 214 + (-3 + 2 - -1) a composite number?
True
Let i = 315 - 108. Let c = -58 + i. Is c a prime number?
True
Suppose 4*f = 20, j - 126 = -4*f + 865. Is j a prime number?
True
Let n(i) = 11*i**2 - 3*i - i**3 + 3 - 2*i - 1. Is n(9) a composite number?
True
Suppose 0 = 3*a + v - 9, v - 11 = -2*a - 2*a. Suppose -3*y = -4*k - 12, a*y - 3 - 5 = 3*k. Suppose 91 = x - k*x. Is x composite?
True
Let y = 9 - 7. Suppose o + y*r - 20 = 0, 2*o - 3*r = -8*r + 45. Is o prime?
False
Suppose 8*m - 6113 + 729 = 0. Is m a prime number?
True
Suppose -2*q + 1 = -3. Suppose q*x = -2*x + 52. Is x prime?
True
Suppose -3*n = -6*n + 1005. Is n a composite number?
True
Let p = -3 + 4. Is 67 + (p + -1 - 0) a composite number?
False
Let j(z) = 3*z**2 + 2*z - 6. Is j(-5) a prime number?
True
Suppose 2492 = -124*l + 128*l. Is l a prime number?
False
Let t = -4 - -9. Suppose 6*n - t*a = n, -4*a + 4 = -3*n. Is 204/(-2)*(-2)/n a prime number?
False
Let o = 1046 - 505. Is o prime?
True
Let z be (980/(-21))/(2/33). Is z/(-4) - 3/2 a composite number?
False
Suppose 5*o - 2*k = -645, 2*o - 2*k - 3*k + 279 = 0. Suppose 4*x + 0 = 2*g + 2, -9 = -3*x + 3*g. Is o/(-4)*-2*x a prime number?
True
Let z(q) = -3*q + 3. Let j be z(-7). Suppose 4 = -4*f + j. Suppose 3*h + 258 = 3*b, f*h = b - 9 - 81. Is b a composite number?
True
Let g(c) = 718*c**2 + 7*c + 6. Is g(-1) a composite number?
True
Let g(x) be the first derivative of x**4/12 - 4*x**3/3 + 5*x**2 - x + 2. Let k(z) be the first derivative of g(z). Is k(8) a prime number?
False
Let n(w) = 166*w**2 - 1. Let k = -9 - -10. Let h be n(k). Suppose 5*a + q - 414 = 0, 2*a + 2*q - h = q. Is a composite?
False
Suppose -3*z + 12 = 2*f, -2*z - 4*f + 13 = -3.