166 - -80555. Is i prime?
False
Suppose u + 36 = -u. Suppose 3*i = -26*s + 28*s + 50, 0 = 4*i - 16. Is (0 - -203)*(u - s) prime?
False
Let r(f) = 16*f**2 + 6*f - 41. Let j(w) = -16*w**2 - 5*w + 41. Let q(i) = -6*j(i) - 5*r(i). Is q(-10) composite?
False
Let s = 7917 - 4220. Is s a prime number?
True
Let b(m) = 713*m**3 + 3*m**2 - 3*m + 1. Is b(2) prime?
True
Let q = 509 - 304. Is q composite?
True
Is (68026/6 - 3) + (-1)/(-3) a composite number?
True
Suppose 2*n - 7377 = -3*u, 0 = -n + 3*n + 6. Is u a composite number?
True
Let i(t) = 28*t - 25. Is i(15) a composite number?
True
Suppose 653 = x + 2*q - 519, -4*q - 2344 = -2*x. Suppose 0 = -a - a + x. Suppose 0 = -3*c - 4*k + a, 0 = -6*c + 2*c - 4*k + 780. Is c prime?
False
Suppose -53263 = 390*p - 397*p. Is p composite?
True
Let w be -1*4/(12/(-429)). Suppose -4*p + 23 = 7. Suppose 89 = p*o - w. Is o composite?
True
Suppose 11 = -2*m - 3*i, -3*m + 5*m = 5*i - 3. Let y be (10/m)/((-1)/30). Suppose b - 67 - y = 4*u, -2*b = -2*u - 284. Is b a composite number?
True
Let x(o) = -49*o + 68. Let i be x(-21). Suppose 1456 + i = 3*t. Is t a composite number?
True
Let t(j) = 4*j + 42. Let g(x) = -3*x - 28. Let s(d) = 7*g(d) + 5*t(d). Let h be s(6). Suppose -12*v + 104 = -h*v. Is v composite?
True
Let f(i) = i**3 + 7*i**2 - 2*i - 10. Let p be f(-7). Suppose g = -4*l - 0*g + 1555, p*g = -4*l + 1552. Is l a prime number?
True
Let l(g) = 255*g - 28. Is l(7) composite?
True
Let z(y) be the second derivative of 13*y**5/20 - y**4/6 + 2*y**2 + 12*y. Is z(3) prime?
True
Suppose d - 3*l + l - 3443 = 0, -d + 3*l + 3448 = 0. Is d prime?
True
Suppose -32 = -3*t - 2*t - 2*o, 2*o - 20 = -3*t. Let h be (-4)/t - (-14)/21. Let v(a) = a**2 - a + 563. Is v(h) a prime number?
True
Suppose 0 = 4*s - 8, 3*s = 4*k - 3*k + 4. Let h be 6/(0 - 2 - -4). Suppose 0 = c + h, -93 = -3*t - k*c - 0*c. Is t composite?
True
Suppose -j + 1560 - 3911 = -2*z, 4*z - 4682 = -2*j. Suppose 2*p - 5*p = -z. Suppose -4*m - 3 = -7, 3*o = 2*m + p. Is o a composite number?
False
Let f = 9 - 7. Suppose 75 = -f*t + 501. Suppose -t = 4*q - 5*q. Is q composite?
True
Suppose -4*b + 700 = 2*k, k + b = 6*k - 1706. Let d(n) = 7*n**3 + 3*n**2 - n + 2. Let u be d(3). Let r = k - u. Is r prime?
True
Let w(j) = j + 7. Let l be w(-6). Let r(u) = -4*u - 3 + 2 - u**2 + 26*u**3 + 5*u. Is r(l) composite?
True
Suppose -4 = 3*x + 2*k + 1171, 3*x + 3*k + 1179 = 0. Let y = 654 + x. Is y a composite number?
True
Let p(m) be the first derivative of 155*m**2 - 17*m + 13. Is p(7) composite?
False
Let r(u) = 7*u - 1. Let o be r(5). Suppose o + 22 = 2*w. Is (-8)/w - (-499)/7 a composite number?
False
Suppose 5*k - 3*h = 7175, 3*k + 2*k = 5*h + 7165. Is k prime?
False
Let s be 0 + -5 + 1*(3 - 2). Is (-4 - -4) + (-6724)/s + -3 prime?
False
Suppose -86677 = -2*h - 3*w, -4*h + 3*w = -98031 - 75368. Is h prime?
False
Let j(m) = m**3 + m - 1. Let t(w) = -3*w**3 - 2*w**2 - 7. Let d(h) = -5*j(h) - t(h). Suppose -5*k - 15 = 2*a - 5, -a - 5 = 3*k. Is d(a) a composite number?
False
Suppose 0*v + v + 100 = 4*k, 0 = 3*k + 12. Let m = v + -11. Is (-3 + (1 - -1))*m a composite number?
False
Let g = 1 - 0. Let q = g + 1. Is 26/3*3/q a composite number?
False
Let l(d) = -3*d - 307. Let y(r) = -3*r. Let w(p) = -l(p) + 2*y(p). Let k be (1 - 1)/(4/(-2)). Is w(k) a composite number?
False
Let o(s) be the third derivative of s**4/6 + s**3/3 + 2*s**2. Let c be o(-3). Let q = 9 - c. Is q a composite number?
False
Let a(b) = -b**2 - 32*b + 4. Let s(q) = 3*q + 59. Let c be s(-24). Is a(c) a prime number?
True
Suppose 2*s - 22*d = -18*d + 18246, 5*s - 2*d = 45631. Is s composite?
False
Let z(p) = 18*p**2 - 3. Let f be z(2). Suppose 0*l = l - f. Is l a composite number?
True
Let t(y) = -y**2 - 21*y - 11. Suppose 9 = r + 2*r. Suppose 2*x + 60 = -r*x. Is t(x) a composite number?
False
Let k(c) = 190*c**2 + 12*c + 19. Is k(-6) a prime number?
False
Is (0/(-3 + 9) - 6) + 13507 prime?
False
Suppose -14*i + 465500 = 11074. Is i a composite number?
True
Suppose 4*j + 5*f + 20 = 0, 2*j + 4 = -3*f - 8. Suppose j = -11*a + 17*a - 2802. Is a prime?
True
Let u(m) = -5*m + 16. Let t be u(-4). Let z = -31 + t. Suppose 5*v = 5*g - 413 + 78, 0 = -z*v. Is g a composite number?
False
Let r(j) = 3*j**3 - 6*j**2 - 8*j + 5. Let w be 5/4*4 - 2. Suppose 0 = -w*z - 2*g + 24, -g = -2*z - 3*g + 18. Is r(z) a composite number?
False
Suppose -5*b - 15 = -4*o - 0*b, -o = 3*b + 9. Suppose o = n - 2, 4*h - 2*h - 4*n - 2754 = 0. Is h a prime number?
True
Let a be -2 - (-7)/((-21)/(-9)). Is 2358/15 + a/(-5) a prime number?
True
Let o(b) = b + 12. Let a be o(-8). Suppose -2*x + 4*h + 1270 = 0, -3*x - a*h + 1178 = -707. Is x composite?
False
Suppose 24*a - 143888 = 23*a - 3*y, 25 = 5*y. Is a a prime number?
True
Is (1/1)/(2/(-114422)*-7) a prime number?
False
Suppose -6*p = 4*k - 2*p - 8, -4*p - 20 = -3*k. Suppose -k*t + 7260 = 5*f + 273, 5*t - 1389 = -f. Is f composite?
False
Suppose 2*k - 6*o + 9*o = 16526, -k = 4*o - 8263. Is k composite?
False
Suppose -3*n - 887 = -4*n. Is n a prime number?
True
Suppose -94*s = -t - 97*s + 20624, 2*s = -3*t + 61879. Is t a composite number?
False
Is (1390 + -1)*8001/189 composite?
True
Is ((-18)/(-27))/(6/92619) a prime number?
False
Let v = 57 + -21. Let b be 513/v + 2/(-8). Is b/(-14) - (-501 + 1) a composite number?
False
Suppose 0 = -l + 2. Let i = -32 + 23. Is (0 + -5)*(i + l) a composite number?
True
Suppose 5*t + 5*l = t + 463, -t - 4*l + 102 = 0. Let p = t - -965. Is p prime?
True
Let l(k) = -k**3 - 11*k**2 - 8*k + 10. Let r be l(-10). Let o = 11 + r. Is -3 + 87 - (2 - o) a composite number?
False
Let v(b) be the third derivative of b**5/60 + 7*b**4/12 - 7*b**3/6 - 7*b**2. Is v(20) composite?
False
Let u = 207 - -1352. Is u a prime number?
True
Let p = 61 + -40. Let d = p - 28. Is (-2)/d + (-453)/(-7) a prime number?
False
Suppose 1438 = 3*k + 3*c + 355, -2*c + 1088 = 3*k. Let h = k - -5. Is h a prime number?
False
Suppose 8*k = 37757 + 39435. Is k a prime number?
True
Suppose -16*g = -13*g - 13791. Is g a prime number?
True
Let z(r) be the first derivative of 7*r**2 - 5*r + 1. Suppose -25 = -149*a + 144*a. Is z(a) prime?
False
Suppose -5*t + 1758 = -667. Is t a prime number?
False
Let v(r) = -3*r - 24. Let b be v(-12). Let l = -8 + b. Suppose 3*t + p = -t + 3077, 3075 = l*t - p. Is t composite?
False
Suppose 32*b = 1000253 - 186525. Is b composite?
True
Suppose -d = -2*d - 2*v + 32307, 3*d - 96871 = 4*v. Is d a prime number?
True
Let s(g) = -3*g - 11. Let h be s(-4). Is 262/h + (5 - 2) prime?
False
Let z be (24/20)/(2/(-4060)). Let a = z + 4831. Suppose 0*q - 5*q + a = 0. Is q prime?
True
Let b be 15/6 - 6/(-12). Let k(d) = -d + 10. Let w be k(b). Suppose 9*r - 506 = w*r. Is r prime?
False
Let v(k) = 4*k**2 + 5*k + 30. Suppose 9*j = 5*j - 52. Is v(j) prime?
True
Let j(o) = o**3 + 5*o**2 - 3*o - 10. Let k be j(-4). Suppose k*b = 14*b + 1228. Is b a composite number?
False
Let g be 0/(-2) - -3*3. Let i be (-200)/50*(-6)/(-4). Let p = g - i. Is p a prime number?
False
Is ((-4)/(-16))/((-21)/(-5532828)) composite?
False
Let o(i) = i**3 - 8*i**2 + 7*i. Let u be o(7). Suppose u = -0*s - 3*s + 30. Let m = s + 29. Is m composite?
True
Suppose 0 = -172*w + 170*w + 33548. Is w composite?
True
Is -3508*63/(-144)*4 prime?
False
Let m = 24372 + -12905. Is m a composite number?
False
Let j = 323 - 56. Is j a composite number?
True
Let k(f) = -69*f**3 + f**2 - f - 1. Suppose 5*c + 8 = -i - 6, 2*c = 5*i + 16. Is k(c) a prime number?
True
Let h be (-7095)/(-22) + 3/6 + 0. Suppose -4*t + h = v, v = -t - 4*t + 405. Is t a prime number?
False
Let s = -367 - -105. Suppose -g + 244 = -5*g. Let t = g - s. Is t prime?
False
Suppose 4*l - 189 - 39 = 0. Is l prime?
False
Let p(i) = -77 - 2*i**2 + 42 + 41 + i**3 + 2*i. Is p(13) prime?
False
Let f = -93084 + 198811. Is f a prime number?
True
Let s(z) = -83*z**3 - 2*z**2 - 2*z. Let v be s(-3). Let i(c) = -1091*c - 71. Let d be i(-3). Let f = d - v. Is f composite?
True
Let t(c) = -429*c + 35. Is t(-12) composite?
True
Let b(x) = 97*x**2 + 3*x + 1. Let m be b(-2). Suppose -m - 209 = -4*n. Is n/6 + 11/33 a composite number?
True
Let g(f) = -f + 7. Let z be g(2). Let m = -115 - -273. Suppose z*a - 2*q = 383, -q = -2*a - 5*q + m. Is a a prime number?
False
Let z be (4/(-