= -858 + f. Is u prime?
True
Let l(u) = -77*u - 3. Let v(o) = 26*o + 1. Let n(c) = 4*l(c) + 11*v(c). Let b = -2 + -10. Is n(b) a composite number?
False
Let d = 23 + -24. Let n(j) = -j - 1. Let h be n(d). Let o(q) = -q + 163. Is o(h) a prime number?
True
Suppose -4*s + 22 = -2. Let r(f) = -2*f**3 - 7 + 0 - 11*f**2 + 3*f**3 + s*f. Is r(11) prime?
True
Let j = -3 + 2. Let b be 3795/18 + j/(-6). Let f = 354 - b. Is f a prime number?
False
Let s(g) = 60*g - 13. Let o(w) = 5*w + 7. Let a(p) = 2*p + 3. Let f(i) = -7*a(i) + 3*o(i). Let x(r) = 4*f(r) - s(r). Is x(-5) a composite number?
False
Let a(r) = -r**2 + 887. Suppose 0*q + 5*q - 50 = 0. Let t = -10 + q. Is a(t) prime?
True
Let n = -1069 - -1716. Is n prime?
True
Let x(u) be the first derivative of u**4/12 + 755*u**3/6 - 9*u**2/2 - 10. Let s(z) be the second derivative of x(z). Is s(0) composite?
True
Is (1438/3)/(8/12) composite?
False
Let d(b) = -2*b**3 - 13*b**2 - 4*b - 10. Let i(q) = 5*q**3 + 40*q**2 + 12*q + 30. Let s(u) = 8*d(u) + 3*i(u). Is s(16) composite?
True
Let z = -2 - -1. Let s = -4 - z. Is (115 - 2) + (-6)/s prime?
False
Let b = 9 + -3. Let h be 18/b - (-2 + -4). Suppose 11*a - 70 = h*a. Is a a prime number?
False
Let d be -4*(-1 + 5 - 3). Is d*(-1)/(-1) + 471 a composite number?
False
Let f(n) = n**3 + 7*n**2 - 2*n - 8. Let p be f(-6). Is (-24)/p + 598/5 a prime number?
False
Let b(d) = -d**3 - 3*d**2 + 2*d - 2. Let u be b(-4). Suppose -1270 = -u*z + 32. Is z a prime number?
False
Let g(z) = -2*z**2 - z + 15. Let c be 1 + 1 - (3 + -1). Is g(c) prime?
False
Suppose v = 2*p + 1651, -4*p + 5*p + 6604 = 4*v. Is v prime?
False
Let f = 6 + -6. Suppose n + n - 100 = f. Let i = n - 7. Is i a composite number?
False
Let y(f) = -f**3 + f**2 + 3*f + 1. Let k be y(2). Suppose 0 = 2*b - k*a - 2779, 5*a + 6189 = 5*b - 761. Is b a prime number?
False
Suppose 0 = 4*b - 17184 + 3848. Let i = 245 + b. Is -2*5/((-30)/i) a prime number?
True
Let i = -16484 - -47953. Is i a composite number?
False
Suppose 54*d - 14*d - 1040680 = 0. Is d prime?
True
Let l(n) = -421*n + 5. Is l(-4) a prime number?
False
Let d = -257 - -167. Is 18/d - 3392/(-10) a prime number?
False
Suppose -p + 14 = -72. Suppose 0 = -j + 5. Suppose j*h - 1581 + p = 0. Is h a prime number?
False
Let t be (-2)/3*27/18. Is 5004/24*(3 + t) prime?
False
Suppose h + 2*m = -2*m + 17, -5*m = -3*h. Suppose 265 = h*b - 2*r, 6*r + 53 = b + 4*r. Is b a composite number?
False
Let g = 45339 + -22826. Is g composite?
True
Let z be -9 - 1*4/4. Is ((-422)/z)/((-3)/(-15)) composite?
False
Suppose -38663 - 3532 = -15*v. Is v a composite number?
True
Let a be (-165)/12*(-2 + -18). Let u = 532 - a. Is u prime?
True
Let m(q) = 2*q**3 + 2*q**2 + 2*q + 1. Suppose -3*i = -2 - 4. Let b be -3*(i + (-3 - 0)). Is m(b) a prime number?
True
Let g be -5 - -10 - 4 - -2. Suppose -7464 - 5427 = -g*h. Is h a prime number?
True
Suppose 0 = -2*n + v - 4, -5*v - 2 - 2 = -2*n. Let w(x) = -90*x**3 + 5*x**2 + 4*x - 4. Is w(n) composite?
False
Suppose 17800 = -15*z + 59185. Is z prime?
False
Suppose -19557 = -3*g - 3*t, -2*g - 5*t = -10*t - 13066. Is g prime?
False
Suppose -2*o - 3*f = 1737, o - 2*f - 2*f + 863 = 0. Let g = o + 1773. Let k = -265 + g. Is k a prime number?
True
Suppose 0 = 12*i - 779 - 2965. Suppose 4*p = -694 - 166. Let j = i + p. Is j prime?
True
Suppose -4*b = -5*k + 20, 0 = -k - 2*k + 2*b + 12. Suppose 3*z - 25 = 2*z + 4*h, 3*z - 123 = -k*h. Is z prime?
True
Suppose i - 3*x - 1338 = -0*i, 5392 = 4*i - 2*x. Suppose 1293 = 2*w + 3*k, -k + i = 2*w + 59. Suppose -4*f + w + 239 = 0. Is f a composite number?
True
Suppose 74*v - 69*v + 5 = 0. Is v + -3 - (-5521 - 40) a composite number?
False
Let a(y) = -2*y + 8. Let n be a(-30). Suppose -5*m = -n - 1967. Is m composite?
True
Let z(s) = -1462*s - 101. Is z(-7) a composite number?
False
Suppose t = 0, 5*t + 8 + 0 = 4*j. Suppose -3*v + 873 = 3*h, 3*h - 1463 = -j*h - v. Is h a prime number?
True
Suppose 6*k - 26849 = 51409. Is k a prime number?
True
Suppose -26*n + 4*c = -30*n + 14676, -2*c + 11009 = 3*n. Is n composite?
False
Suppose -c - 5*p + 4*p + 40 = 0, -4*p = 5*c - 196. Suppose -8*z = -332 + c. Is z a composite number?
False
Let w = -475 + 1176. Suppose -3*g - 704 = -5*s - 2756, g - w = -4*s. Is g composite?
True
Suppose -5*u + 40251 = i, 3125 = u - i - 4930. Is u a composite number?
True
Let a = -17 - -20. Suppose -a*d + 6*d = 4971. Is d a composite number?
False
Suppose -607148 = -11*f - 225041. Is f composite?
True
Suppose -3*c + 5 = -2*q, 2*c = -0*c - 2*q + 10. Suppose -5*u - c*l + 4394 = 0, -3*u + 5*l + 3493 = u. Is u composite?
False
Suppose 4*y = -4*y + 4296. Is y a composite number?
True
Let k = 37 + -19. Is (-3 + k/3)*23 a prime number?
False
Is (-4)/3*(-1912833)/156 prime?
True
Let s(y) = -6*y**3 + y. Let w be s(1). Is 1/w - (-596)/5 composite?
True
Let p(x) = 116*x**2 + 44*x + 93. Is p(-2) a composite number?
True
Suppose f = -3*f - 16, 0 = -2*h - 5*f - 10. Suppose h*z - 148 - 158 = -4*w, 5*z = 2*w + 282. Let r = -23 + z. Is r prime?
False
Let l = -65 - -70. Suppose 4*b + 10 = -b, -l*h + 3662 = 4*b. Is h a composite number?
True
Is 8 + (-12)/6 + 2911 composite?
False
Suppose -k = 3, x + 12 = -2*x - 5*k. Let b be 24/(2 + x) + -3. Suppose 33 - 648 = -b*p. Is p a prime number?
False
Suppose 2*p + 11 = 2*x + 3*p, 4*p = 2*x + 4. Suppose -2*o = -x*s + s - 8233, 5*o = -4*s + 20525. Is o composite?
True
Let t(f) = 28*f**2 + 5*f - 8. Let n be (2 + 8/(-3))/(6/(-63)). Is t(n) prime?
True
Let b be (6/2)/((-2)/(-2)). Let o(c) = 23*c**3 - c**2 - c - 4. Let w be o(b). Suppose 4*s + 630 = 2*h, -h = -3*h - s + w. Is h composite?
True
Suppose -a + 5*a + a = 0. Suppose 0 = 5*m - 3*j - 412 - 2709, 2*m + 2*j - 1242 = a. Is m a composite number?
True
Is 32112/(2/2) - (-301)/(-43) composite?
True
Let b(i) = 4*i**3 - 3*i**2 + 7*i + 5. Is b(9) a composite number?
False
Let k(z) = -z**3 - 4*z**2 + 5. Let c be k(-4). Let w be (-2)/c + (-2)/(-5). Suppose -3*t + 251 + 40 = w. Is t composite?
False
Let a(d) = -1768*d + 22. Let j be a(16). Is j/(-14)*10/6 prime?
False
Is 1*(-5)/(-20)*15628 composite?
False
Suppose 32313 = -2*r + 3*r. Is r a composite number?
True
Let z(n) = -33*n - 163*n - 10 - 3*n - 2*n. Is z(-4) a composite number?
True
Let b(g) = g**3 - 12*g**2 - 13*g + 4. Let q be b(13). Suppose -14 = -3*r + l, 0*l - q = 2*r - 4*l. Is 4*4 + r + -8 prime?
False
Suppose 5 = -s, -2*j - 2*s + 116 = -0*s. Let c(v) = -v**3 - 5*v**2 + 10*v + 14. Let l be c(-6). Let f = l + j. Is f prime?
True
Let j = 14197 - -5122. Is j prime?
True
Suppose t - 21 - 8 = -5*z, 0 = z + 4*t - 21. Suppose z*v - 388 = v. Is v composite?
False
Suppose -2*r = -r - 172. Let x = r - -27. Is x a composite number?
False
Let t be 0 - 76/8*-66. Let b = t - 146. Is b a prime number?
False
Let f(v) = 4*v**2 - 3*v - 137. Is f(22) a prime number?
True
Let p(o) = -o**2 + 7*o + 1. Let t be p(7). Is -5 + 6 - (-140)/t a prime number?
False
Let r(d) = 269*d**2 - 82*d + 29. Is r(-12) composite?
False
Let l = -463 - -885. Suppose -30*z - l = -32*z. Is z composite?
False
Let i(k) = k**2 - 38. Is i(-14) a prime number?
False
Let o be (8/(-2) - -4) + 40. Let z be (-200)/12 + 1/(-3). Let h = z + o. Is h prime?
True
Suppose 2*k - 4057 = s, 2*k - 18*s + 20*s - 4072 = 0. Suppose 0 = 4*g - m - k, 2*m - 3*m + 2041 = 4*g. Is g prime?
True
Suppose 5*l - 33 = -6*l. Is l/6*0 + (-1270)/(-2) a composite number?
True
Let q = 209 - 70. Is q prime?
True
Suppose 0 = -j - t + 4260, -5*j + 11404 + 9895 = 4*t. Suppose -4*d + j = -1993. Is d a composite number?
True
Let s(o) be the second derivative of o**3/2 + 11*o**2/2 - 9*o. Is s(12) a prime number?
True
Suppose 2*l = -0*l + 3*c + 5117, -l + 4*c + 2566 = 0. Is l prime?
False
Let r = 26 + -29. Let g(l) = -133*l - 4. Is g(r) a prime number?
False
Suppose 2*d + k = 9, -k + 10 = 5*d - 11. Suppose 4*y - 3*j = -6*j - 2340, -y = j + 586. Is 2/(-3)*y/d a prime number?
True
Suppose -m + 2 = -2*f, m - 2*f = -6*f + 26. Let z be 4/(-24)*-1437*m. Suppose -2*d = -7*d + z. Is d prime?
True
Let d(v) = 9*v + 13. Let r be d(-5). Let n = 5 - r. Is n prime?
True
Suppose 2*h + 8 = 0, 3*a + 5*h = 4*a - 25. Let o be 3 + -5 + (-1915)/(-5). Suppose 4*x = a*x - o. Is x composite?
True
Suppose -4*z = 4, 5*r - 4*z - 4 = 6*r. Is r - 3 - (-8018)/19 composite?
False
S