q + 1 = -3, 5*j = -q + 27. Suppose 8663 = 5*z - 4*d - 174, -8816 = -j*z - 3*d. Is z prime?
False
Let b = 13 - 8. Let f(q) = 27*q**2 + 3*q - 12. Let g be f(b). Suppose -17*j + 14*j + g = 0. Is j prime?
False
Is (-75)/35 - -3 - 636051/(-21) composite?
True
Suppose 5*x - 2 = -n + 12, -4 = -n. Suppose 0 = d - x*o - 84 - 116, 2*o = 3*d - 600. Suppose 0*m + r + d = 3*m, -2*m + r = -133. Is m a prime number?
True
Let f be 1 - (3 - -1)*1. Let k(j) = 36*j**2 - 3*j + 3. Let p be k(f). Let c = 545 - p. Is c a composite number?
True
Suppose 4*a - 2449 + 393 = 0. Let o = 885 - a. Is o a composite number?
True
Let z be 2/7 - 19/(-7). Let r be z + (2 + -3)*1. Suppose -402 = -r*u - 32. Is u prime?
False
Let z(p) = 7*p + 4. Let d = 13 - 9. Suppose i = -d*i - 3*s + 59, s + 27 = 3*i. Is z(i) prime?
False
Let a = 2287 + -876. Let l = 2034 - a. Is l composite?
True
Let g = -25 - -18. Let m be g/(-14) - (-70)/4. Let q = m + -11. Is q composite?
False
Suppose -4*j + 3*h - 4 = 3, -20 = -4*h. Suppose j*k + 3*q = -3*k + 3461, -4*q = 3*k - 2070. Is k prime?
False
Let o(q) be the first derivative of 10 - 13/2*q**2 + 2*q. Is o(-5) a composite number?
False
Let a(u) = -206*u + 21. Let g(n) = 411*n - 43. Let i(m) = -9*a(m) - 4*g(m). Is i(12) prime?
True
Let c = -667 - -5148. Is c prime?
True
Is 4/(-6)*5233359/(-118) prime?
True
Suppose 4*z - 59 = -4*f + z, 3*z + 77 = 4*f. Let v = -44 + f. Let b = v + 94. Is b a composite number?
False
Suppose 28*g = -17*g + 235215. Is g prime?
True
Suppose -4*h - 1 = -3*h, 10851 = 2*y + 3*h. Let k = y + -11787. Is (1/(-3))/(8/k) a composite number?
True
Let b be 10/(-4)*(-6)/3. Suppose 4*f - 3*q = -0*q + 3187, f = -b*q + 814. Is f composite?
True
Let c(q) be the first derivative of 81*q**2/2 - 49*q - 39. Is c(23) composite?
True
Suppose 412 = 2*v - 4*q - 240, -5*v = -4*q - 1654. Let l = -72 + v. Let z = l - 101. Is z a prime number?
False
Is 1 - ((-14084)/22 + (-16)/(-88)) a composite number?
False
Is 1902 + -1*(-5 - (-9 + 3)) composite?
False
Let t be 5943 - (2/(-3) + (-14)/42). Suppose -3*c + t - 1018 = 0. Is c composite?
True
Suppose 0 = 2*m - 1187 - 1115. Is m a composite number?
False
Let x = 8345 - 4636. Is x prime?
True
Let i(m) = -15562*m - 363. Is i(-19) a composite number?
True
Suppose 0*a - 5*a + 5*y = -23680, -2*y = 3*a - 14213. Suppose -a = -3*l - 4*k, 0 = -2*k - 0 - 6. Is l a prime number?
True
Suppose 0 = 4*q + 4*u - 18320, 0 = 3*q + 52*u - 47*u - 13734. Is q composite?
False
Let o = 70262 - -133599. Is o a composite number?
True
Let r(j) = 269*j**3 + j**2 + 8*j - 13. Is r(4) a composite number?
True
Is (110/3)/(22/33) a prime number?
False
Suppose -5*z + 6805 + 3900 = 0. Let r = z + -856. Is r prime?
False
Let r be 1/((-45)/20 + 2). Is r/(-16) - (-2668)/16 a prime number?
True
Suppose -349583 = -10*p - 3*p. Is p a composite number?
False
Let o = 253 - -45. Suppose -o = -4*t + 3*t. Let x = 509 - t. Is x composite?
False
Let c(z) = 27*z - 11. Is c(7) composite?
True
Let i(w) be the first derivative of w**5/10 + w**4/12 + w**3 + 11*w**2/2 + 3. Let m(y) be the second derivative of i(y). Is m(7) a prime number?
False
Let h = -5 + 93. Let o = 1 + 2. Suppose q - h = -o*q. Is q a composite number?
True
Suppose 8*t = 4030 + 11778. Let y = 3097 - t. Is y composite?
True
Let y(f) = 8*f + 16. Let q be y(9). Suppose 4*t + 419 = 5*x, q = 2*x - x - 5*t. Is x a composite number?
False
Let m(p) = 16*p**2 + 8*p - 13. Let s be m(6). Let z = s + -68. Is z composite?
True
Let m = 10 + 6. Let h = m + -1. Is 7176/h + 6/10 composite?
False
Suppose 7*p + 5*z - 20 = 2*p, -z = 3*p - 18. Suppose -2*q - 3*v + 1848 = 0, -p*v + 2772 = 3*q - 4*v. Let r = q - 343. Is r a prime number?
False
Let r(f) = 11*f**3 + 6*f**2 + 25*f + 49. Is r(16) prime?
True
Let b(y) = -66*y**3 - 2*y**2 - 5*y - 34. Is b(-7) a composite number?
False
Let h = 39 - 39. Suppose 5*m - m - 452 = h. Is m composite?
False
Let f(i) = 3118*i**2 - 114*i - 11. Is f(5) prime?
True
Let t be ((-1)/4)/(6/(-72)). Suppose 6*v - t*v - 22 = -4*x, 26 = 5*v + 4*x. Suppose v*d + z - 755 = 0, 7*d + 3*z - 1128 = 4*d. Is d a prime number?
True
Let q = 710 - -768. Let t = 2179 - q. Is t composite?
False
Is (-3)/((-8071)/2017 - (2 + -6)) composite?
False
Is (-6)/2 + 6 + 89488/7 a prime number?
False
Let m(l) = 259*l**2 - 3*l + 11. Is m(3) a prime number?
True
Suppose -2*k = 16 - 20. Suppose k*h - 501 = -h. Is h a prime number?
True
Is (1 - 10/(-15)*3) + 14966 a composite number?
False
Let f be (-16002)/16 - (-12)/96. Let s = -549 - f. Is s a composite number?
True
Let c(j) = -j**3 - 4*j**2 - 5*j - 4. Let w be c(-3). Let b be ((-3104)/(-12) + 4)*3/2. Suppose w*t + 0*t = -4*h + b, 940 = 5*t - 5*h. Is t composite?
False
Let b(f) = 10*f - 8. Let r be b(10). Let t = 193 - r. Suppose -206 - t = -g. Is g a prime number?
True
Suppose -2*o + 18 = -2*c, -5*o + 4*c + 14 = -29. Suppose o*t = 11*t - 2084. Is t a composite number?
False
Let i(t) = 33*t - 9. Let x be i(8). Let n = x - 144. Suppose -4*c + n = -c. Is c composite?
False
Let a(j) = j**2 - 7*j + 5. Let h be a(6). Let v(o) = 0*o**2 + 4*o**2 + 2 - 3. Is v(h) composite?
False
Suppose -94*u - 8 = -98*u. Is (1 - 2)/(u/(-5158)) a composite number?
False
Let l(f) = -11*f + 29*f - 17*f + 12. Let n be l(-7). Suppose -3*d + 403 + 203 = -n*t, -d + t = -202. Is d composite?
True
Suppose 7*s - 2*s = 25, -5*b + 2*s = -5. Suppose -b*w = -5*z - 6*w + 8290, 0 = -z - 5*w + 1680. Is z prime?
False
Let i = 17 - 15. Suppose 0 = 2*x - 0*x + 2*z - 6, -x + i*z = -3. Suppose 68 = 2*h - 0*h - 4*n, 0 = 2*h + x*n - 68. Is h a composite number?
True
Let n(a) = -2*a**3 - a**2 + 13*a + 10. Let j be n(-8). Let g = 512 - j. Let x = 7 - g. Is x composite?
True
Let j = 18 + -13. Suppose 837 = 5*x - 2*q, -4*x + 374 + 299 = -j*q. Is x a composite number?
False
Suppose 15417 = g + 4*n, 3*g - 7*n - 46260 = -10*n. Is g a prime number?
False
Let g = 139 + -72. Suppose 0 = 5*l + c - 115, 0 = -2*l - 2*c - 21 + g. Is l a prime number?
True
Suppose 0 = -r - 4*h + 14, -20 = -5*r - h - 7. Suppose -4*y = -2*c - 38, 50 = -c - r*c - y. Let k = -11 - c. Is k a composite number?
True
Let w(z) = 3*z**2 + 4. Let h be w(-3). Suppose 4*n + 5*k = h, 4 = 5*n - 3*k - 7. Suppose -2*f - f + 2*u = -491, n*f = -5*u + 647. Is f prime?
True
Let t(j) = 13*j**2 + 10*j - 376. Is t(27) composite?
False
Suppose -6*g = -g - 2*h - 121277, -5*h + 72791 = 3*g. Is g composite?
True
Let h = 64 + -28. Suppose h*i - 28*i = 13208. Is i composite?
True
Let s(b) = -b**3 - 11*b**2 - 17*b + 14. Let t be s(-9). Is 3376/(-8)*t/(-2) prime?
False
Let a(s) = s**3 + 12*s**2 - 14*s + 19. Let d be a(-13). Is 1/(-4) + (13000/d - -3) a prime number?
True
Suppose 178645 = -95*m + 100*m. Is m composite?
False
Let v be (4/10)/(3/30). Suppose l - 5 = -0, -v*g - 5*l = -4481. Is g a composite number?
True
Let n(k) = 202 + k + 107 - k**2 - 3*k. Is n(0) prime?
False
Suppose -s + 15 = 4*s. Let k(b) be the second derivative of 47*b**4/12 + 2*b**2 - 5*b. Is k(s) a prime number?
False
Let v = -17031 - -31025. Is v prime?
False
Let p(i) = 50*i - 13. Let f be p(9). Let o = -603 - -429. Let t = o + f. Is t a prime number?
True
Suppose o - 3 = 2*f, 5*f + 18 + 12 = -2*o. Is -3 + (-20795)/(-20) + (-1)/f composite?
True
Let x = 54497 - 30658. Is x a prime number?
False
Suppose 2*u = u + 188. Suppose -u = -2*y - 2*y. Is y + 1 - 5/5 a composite number?
False
Suppose 12*j - 68986 = -14254. Is j prime?
True
Let j = 4311 + -2935. Let x = j + -219. Is x prime?
False
Let p(r) be the second derivative of -r**5/60 + 2*r**4/3 + 2*r**3/3 - 5*r**2/2 - 2*r. Let u(h) be the first derivative of p(h). Is u(7) composite?
False
Is 2176104/(-126)*(-3)/2 a prime number?
False
Is (508/(-6))/(0 + 28/(-1302)) a prime number?
False
Suppose 0 = -15*i + 43916 - 3311. Is i composite?
False
Let w = -63 + 65. Let m(t) = 1101*t + 9. Let z(n) = 367*n + 3. Let d(f) = 3*m(f) - 8*z(f). Is d(w) composite?
True
Let w = 12 - 5. Suppose -4048 - 2399 = -w*x. Is x composite?
True
Let f = 35 + -28. Let d(z) = f*z - 19 + 19*z**2 + 16 - 26*z. Is d(8) prime?
True
Suppose -243976 + 20020 = -4*s + 2*d, 3*d + 111986 = 2*s. Is s a composite number?
False
Suppose 5*r - 30 = -10. Let u(y) = -2 - 1 + 3*y**2 + r - 6 - 6*y. Is u(6) a composite number?
False
Let f = -15 - -62. Let u = f + 27. Is (-3)/6*u/(-1) prime?
Tr