48 = -o. Is o prime?
False
Let k = 701 + -22. Is k prime?
False
Let o(n) = 6*n - 7. Suppose -3*h = -6*h + 15. Is o(h) a composite number?
False
Suppose -3*a = 2*a - 110. Suppose -i = f - 63 - a, f = i + 81. Is f a prime number?
True
Suppose 4*l = -3*f + 2332, -2*l = -2*f - 148 + 1712. Suppose 3*b - f = -b. Suppose b = 5*z - 0*z. Is z a composite number?
True
Let t(z) = -z**3 - 4*z**2 - 6*z - 1. Let r(v) = -v**2 - 8*v + 6. Let h be r(-8). Let m(n) = -n**2 + 6*n - 4. Let c be m(h). Is t(c) composite?
False
Let y = 22 - 5. Suppose -4 = c, -4*n + y = -4*c - 7. Let i = 20 + n. Is i a prime number?
False
Let l = 2 - -47. Is l prime?
False
Suppose -89*t + 87*t = -3694. Is t composite?
False
Let z be (7 - 3) + -1*1. Suppose 3 = z*j - 2*j. Suppose j*l = -2*l + 3*o + 108, 0 = o + 1. Is l prime?
False
Is 1304/(-36)*3*-3 a composite number?
True
Let v = 47 + 181. Suppose 5*h - 117 = v. Is h a composite number?
True
Let n = -100 - -55. Suppose 17 + 19 = -3*x. Let u = x - n. Is u a composite number?
True
Let m(n) = -5*n + 19. Let g be m(7). Let k = g - -207. Is k prime?
True
Suppose 0 = -7*d + 8*d. Suppose 2*t - 43 - 63 = d. Is t prime?
True
Suppose -g + 1272 = -0*g. Let k = -676 + g. Suppose -k = -4*p + 5*f, -4*p + 0*f = -f - 596. Is p composite?
False
Let v(q) = 38*q**3 + q**2 + 2*q + 1. Suppose -4*f - 7 = -3. Let p be v(f). Let b = p + 57. Is b composite?
False
Let x(f) = 3*f**3 - 5*f**2 + 2*f + 1. Let g be (-4)/(-28) + 60/21. Is x(g) a prime number?
True
Suppose 5*d - 11 = -k + 10, 3*k + 4*d = 85. Is k a prime number?
True
Suppose 5*o - 28 = -4*j, 2*j + 5*o = 18 + 6. Suppose 5*m - 2507 = 2*l - 3*l, -j*l - 2000 = -4*m. Suppose -h + m = 2*h. Is h prime?
True
Let u(p) = 3*p**2 + 5*p - 2. Let v be u(3). Let x = 78 - v. Is x a composite number?
True
Let n = 11 - -14. Suppose -5*b + n = 5*k, -k - k = -b - 1. Is (310/8)/(k/8) a composite number?
True
Let g = 13 + -1. Let k = g - 8. Suppose k*y = 8*y - 24. Is y prime?
False
Let k = 65 + 59. Suppose 3*u - 3*t + k - 343 = 0, 226 = 3*u + 4*t. Is u a prime number?
False
Let w(p) be the first derivative of 11*p**2/2 - p + 3. Suppose -4*s + 3*b = -2, 5*b - 8 = 2. Is w(s) a composite number?
True
Let o = -553 + 968. Is o a prime number?
False
Let v(d) = 4*d**2 + 5*d + 8. Is v(9) a composite number?
True
Let h = 753 + -329. Suppose 3*o + 3*n = 879, -3*n - h + 1885 = 5*o. Suppose o = 5*d + 106. Is d a prime number?
True
Suppose 2*u = -u + 9. Suppose u*k - 55 = 56. Is k a prime number?
True
Let k be (-1 - -3 - 1)*0. Suppose k = h + h - 382. Is h prime?
True
Let k be ((-12)/(-10))/(2/5). Suppose 0 = -5*i + 4*t + 627, -64 = -i + k*t + 57. Is i a composite number?
False
Is 7 + 3350 - (3 + 1) a composite number?
True
Let i(y) = 582*y + 1. Is i(3) a composite number?
False
Let f(q) = q**2 + 2*q + 1. Let o be f(-2). Is o/(-5) + 1960/50 prime?
False
Let q = -4 + 7. Suppose -q*w + 356 = w. Is w composite?
False
Let y(s) = -s + 9. Let a be y(6). Suppose -2*t = -2*i + 2, a*t + 10 = i + 5*t. Suppose 0 = 4*f - i*x - 312, -f + 73 = -0*x - 2*x. Is f prime?
True
Let x = 50 + 281. Is x a composite number?
False
Let h(d) = 28*d + 19. Let y(v) = 29*v + 20. Let u(c) = 4*h(c) - 3*y(c). Is u(7) composite?
False
Suppose 0 = 5*y + 5*y - 7330. Is y a prime number?
True
Suppose -3814 = -10*r + 1056. Is r composite?
False
Let b(s) = -3*s**2 + s + 4. Let w(l) = -5*l**2 + 3*l + 9. Let k(c) = -7*b(c) + 3*w(c). Is k(-5) composite?
False
Let g = -27 + 18. Let y be -1 + (-5)/(15/g). Suppose -5*q + 2*z - 2 = -405, -154 = -y*q - z. Is q a composite number?
False
Suppose 4*l - 181 = u + 34, 75 = l + 4*u. Is l a prime number?
False
Suppose -2 = -f + 9. Is f prime?
True
Suppose -l + 2 = 0, 6*l - 2*l + 432 = z. Let k = -305 + z. Suppose 5*p = 0, 5*w + 40 = 4*p + k. Is w a composite number?
False
Suppose 3*y = -y + 1740. Suppose -5*k = 4*p - y - 188, 4*p + 12 = 0. Is k prime?
True
Let c = 50 - 35. Is c a composite number?
True
Suppose -2*n - 5*v = -11, 0*v + 10 = 5*n - 5*v. Suppose m + n*m - 188 = 0. Let h = m + -9. Is h a composite number?
True
Let w(d) = -488*d**3 - d**2. Is w(-1) prime?
True
Let x be -27*(9/3 - 4). Is (-1479)/(-27) - (-6)/x a prime number?
False
Let r be (93/(-9))/((-1)/3). Suppose r = w - 5*n, -4 - 1 = -5*n. Suppose 5*u - 4*p - 113 = 0, 2*u - 4*u = 3*p - w. Is u prime?
False
Is 162/36*(-212)/(-6) a prime number?
False
Let a = 9 - 5. Is 224/4 + (a - 1) composite?
False
Suppose 0 = 5*m - 5*x - 980, 0*m + 2*x - 563 = -3*m. Is m prime?
True
Let y(t) = t**2 + 6*t + 3. Let l be y(-4). Is l*3/3*-2 a prime number?
False
Let s = 276 + -100. Suppose -3*m - 2*r + 99 = 0, 5*m - 5*r - s + 11 = 0. Is m prime?
False
Suppose -12424 = -24*c + 16*c. Is c prime?
True
Let h(o) = -o**3 - 8*o**2 - 7*o + 5. Let y be h(-7). Let a = y + -10. Let v(t) = -8*t - 5. Is v(a) prime?
False
Suppose -3*x + 1415 = -2*y, -3*x + 2*y = x - 1888. Is x composite?
True
Let h(l) = 10*l**2 + 3*l - 2. Let p(c) = 8*c**2 - 2 - 3*c**2 + 2*c + 4*c**2. Let d(g) = -4*h(g) + 5*p(g). Is d(2) a prime number?
False
Let n be (3 - 2)*2/2. Is 88 - (-6)/(n + 1) prime?
False
Suppose 6 = 3*y + 5*o, y + o = 2*y - 2. Suppose y*x - 6*x + 20 = 0. Suppose 0 = x*b - 5, 44 = 4*l + 4*b. Is l composite?
True
Let x(n) = -5*n + 6. Let i be x(-5). Is (2 + 19)*i/3 a composite number?
True
Let d = 2 + 70. Let t = d - 15. Is t a composite number?
True
Let n = -1 - -1. Suppose 5*h - 50 = -5*w, n = 2*h - w + 5*w - 24. Is ((-6)/h)/((-9)/468) a prime number?
False
Let z(c) be the third derivative of c**4/12 - c**3/3 + 3*c**2. Is z(8) composite?
True
Suppose 0*j - 14728 = -8*j. Is j a composite number?
True
Is (-7)/(42/(-2676))*2/4 a composite number?
False
Let z(v) = v**3 + 3*v**2 - 4*v + 1. Suppose 3*r - 16 + 4 = 0. Is z(r) composite?
False
Suppose 2*p + 8 = 3*m, -m - p + 5 = -1. Suppose 0 = n + m, 2721 = -2*b + 7*b - 4*n. Is b prime?
True
Suppose 0*r - g = r + 3, 3*r - 19 = 4*g. Suppose -3*m = -5*m - 2*l - 10, r = -m - 5*l. Is (27/6)/(m/(-8)) composite?
True
Let q(v) be the first derivative of 3*v**2/2 - 2*v + 2. Is q(7) a prime number?
True
Let u(o) = o**2 - 12*o - 18. Let p be u(14). Is 5/p + (-626)/(-4) a composite number?
False
Let o = 3 + 70. Suppose o - 437 = -4*v. Is v composite?
True
Suppose 0 = 3*f - 5*f + 10. Suppose 0 = -4*l + 3*l + f. Suppose -5*b + 0*u = -l*u - 625, 2*u + 129 = b. Is b a composite number?
True
Let k be (-53)/(-4) + 8/(-32). Let n = 20 + k. Is n a composite number?
True
Let d = 107 - -56. Suppose -69 - d = -4*v. Is v a prime number?
False
Let o(a) = -2*a**2 - 3 - 2*a**2 + 4*a - 3*a + 5*a**2. Is o(3) composite?
True
Let s be (9 - (1 + 0))/2. Suppose s*l = -l + 155. Suppose -4*d + l = -105. Is d composite?
True
Let y = -930 - -613. Let j = -154 - y. Is j composite?
False
Let l = -209 - -504. Let t = 148 - l. Let b = -8 - t. Is b composite?
False
Is (-2)/(-13) + (-5103)/(-39) a composite number?
False
Is (-4)/34 - 195992/(-136) prime?
False
Suppose 0 = -k - 4*k + 4610. Is k a composite number?
True
Is (-3)/(-24) + 4293/24 a prime number?
True
Suppose -5*x + 1 = -0*w - 3*w, 5*w + 2*x - 19 = 0. Is 4*(w - 957/(-12)) a prime number?
True
Let a be 2/6 - (-14)/3. Suppose -3*s = 4*g - a*s - 14, 3*s = 3. Is (2/g)/((-1)/(-74)) a prime number?
True
Suppose z + 3*b = -2, -5*b - 3 + 1 = z. Let c be (-39)/z + 4/(-8). Suppose -c = 3*h - 58. Is h a composite number?
False
Let w(b) = -b**3 - 9*b**2 - 10*b - 6. Let s = 9 + -5. Let n(j) = -j**2 + j + 4. Let r be n(s). Is w(r) prime?
False
Suppose 133 = 2*z - 55. Suppose -r + z = -6. Suppose c - 6*c + 7 = o, 4*c + r = 4*o. Is o a prime number?
False
Let i(d) = d**3 - 4*d**2 + 2*d + 2. Let t be i(2). Let l be t/(-4) + 2008/(-16). Let z = l - -216. Is z a prime number?
False
Let w be ((-35)/15)/((-1)/3). Suppose w = -o + 2*o. Is o a composite number?
False
Suppose 5*m - 788 = -q, 0*m + 776 = 5*m - 3*q. Is m prime?
True
Let s(u) = -4 - 1 + 4*u**2 + u**3 - 9*u**2 + 2*u. Let r be s(5). Suppose 0 = 4*o - x - 478, -r*o - x + 119 = -474. Is o composite?
True
Let j(g) = g**2 + 12*g - 2. Is j(-17) composite?
False
Let k = 13 + -24. Let u = 22 + k. Is u prime?
True
Let b(n) = -n**2 + 7*n - 4. Let l = -16 - -23. Let r be b(l). Let y = r + 11. Is y a prime number?
True
Let i = -1 + 1. Let q = 175 - 119. Suppose -3*t + 3*j + q + 7 = i, -2*t + 46 = -4*j. Is t composi