 15789 + q. Is o a prime number?
True
Suppose -4*s + 32 = 3*u, -s = 4*s - 4*u - 9. Let t = 2388 - 818. Suppose -5*l + 10*i = s*i - t, 1281 = 4*l + i. Is l prime?
False
Let m(f) = f**3 + 13*f**2 - f - 12. Let r be m(-13). Let h(l) = 29*l**2 + 0 + 6*l**2 - r + 5. Is h(3) composite?
True
Let o be 2 - ((-4)/6 + 4977/(-27)). Suppose 109 = -f - 5*u + 320, o = f - u. Is f a composite number?
False
Suppose -131*m = -127*m + 2*k - 85806, 2*k = -5*m + 107259. Is m a prime number?
False
Suppose 3*d - 58 = -16. Suppose k + 7 = d. Is k composite?
False
Suppose 3*g + 5*r - 8 = 0, -5*g + 24 = -3*r - 12. Let k(w) = 72*w - 5. Let o be k(g). Suppose -4*d - 3*p = -o, d - 26 - 80 = -p. Is d prime?
True
Suppose 12*i = 15199 + 90557. Is i a prime number?
False
Suppose 3655 - 15202 = -9*w. Is w a composite number?
False
Suppose z - 3*g + 14629 = 2*z, 14643 = z - 4*g. Is z a prime number?
False
Suppose -b + i + 113 = 0, -3*b + 353 = -5*i + 20. Let l = b - 34. Is l composite?
True
Suppose 0 = -5*x - 5*y + 28015, -y - 11221 = -x - x. Suppose j = -7*j + x. Is j a composite number?
False
Suppose 2*f - 2*r + 2 = 0, -2*f - 4*r + 32 = f. Suppose 0 = -j + q + 1394, -5*j + 1562 = f*q - 5435. Is j a prime number?
False
Suppose 4*z - 21801 - 6478 = -x, z = -3*x + 7078. Is z a composite number?
False
Let a = -15844 - -29807. Is a prime?
True
Let s = 4246 - 1747. Let t = 6316 - s. Is t a prime number?
False
Let x be -2 - (3 - 666) - 1. Suppose -4*q = 3*a + 55 + x, -3*a + 4*q - 755 = 0. Is -3*(-2 + a/3) composite?
False
Suppose 32448 - 1544 = 8*o. Is o a prime number?
True
Suppose -3*d - 129 + 942 = 0. Suppose -j + 4*y = 3*j - 280, -4*j + y + d = 0. Is j prime?
True
Suppose -l + 2787 = -2*n, -4*l - 459 = n + 930. Let g = -770 - n. Is g a prime number?
False
Let z(k) = 3*k + 52. Let j be z(-16). Suppose 4*g + c - 4847 = 0, -6*g = -g - j*c - 6085. Is g a composite number?
False
Let x be -1 - 2/((-6)/9). Suppose r + 4 - x = -s, -3*s - 10 = 4*r. Suppose 3*f = 2*f - 4, s*f - 251 = -j. Is j a composite number?
True
Is 4/18 + 12704/18 a prime number?
False
Suppose 0 = -2*n - 0 + 6. Suppose 0*j + 2*j + 13 = i, 4*i - n*j = 37. Is i composite?
False
Suppose -18 = 8*g + 14. Is (-3)/g + (-7972)/(-16) a prime number?
True
Suppose 33*u = -183742 + 2156185. Is u prime?
True
Let y(d) be the first derivative of d**4 - d**2/2 - 5. Let t be y(1). Suppose -t*c + 5*c - 20 = 0. Is c a prime number?
False
Let q(r) = -5*r**2 + 15*r + 25. Let u(n) = 4*n**2 - 15*n - 25. Let t(a) = -7*q(a) - 6*u(a). Is t(-11) a composite number?
False
Suppose 0 = -t - 3 + 4, 0 = w - 4*t. Suppose w*g = 3*g + 1139. Is g a prime number?
False
Let f be (0 + 15)/(6 + -7). Let a(c) = 43*c - 21. Let q be a(f). Is (-1)/2 - q/4 a prime number?
False
Suppose 0 = -6*k + k + 1320. Suppose 2*j + 3*r - 274 = 0, -2*j + 2*r = -0*j - k. Is j a prime number?
False
Let l(g) = 57*g**2 + 2*g - 5. Let d(m) = -m - 6. Let h be d(-3). Is l(h) composite?
True
Suppose 643 = -2*b + 143. Let i = b - -753. Is i a prime number?
True
Let n(x) = x**3 - 26*x**2 + 71*x - 53. Is n(28) a composite number?
True
Suppose 2*v = 4*v - 726. Suppose 0 = -5*x - 25, v = 5*z - 4*x - 612. Is z a composite number?
False
Suppose j - 5705 = 8*j. Let a = j - -1396. Is a prime?
False
Let q(r) = 4*r**2 - 7*r + 10*r**2 + 4 - 6. Let f be q(-5). Let u = 83 + f. Is u a prime number?
False
Let x(s) = -2*s + 18. Let r be x(-8). Let i = r - 46. Is (-375)/(-4) + 9/i a prime number?
False
Suppose -5*f = -3*v + 11, -5*f - 1 = -4*f. Suppose -5*m = -3*o + v*o - 22431, 5*m - 3*o = 22423. Is m composite?
True
Suppose -v + 1413 = 393. Suppose 5*c - v = c. Suppose -2*f + c = -f + 5*i, -5*i = 3*f - 785. Is f a prime number?
False
Suppose 2*a - 3*d - 12 = 0, -2 = -a - 5*d - 9. Let w(r) = 53*r + 10. Let g(c) = -54*c - 9. Let y(v) = -6*g(v) - 5*w(v). Is y(a) composite?
False
Let d be -2*(30/(-4))/5. Suppose 2 = 5*l - d. Is -1 + (l - -1) + 118 a prime number?
False
Let m = -18 - -8. Let j be (-50)/(-5)*(-4)/m. Suppose -2*o + 0 = -q - 99, -j*o = 3*q - 193. Is o composite?
True
Let k = -14708 + 31911. Is k a prime number?
True
Let i(p) = 2201*p**2 - 68*p + 286. Is i(5) composite?
True
Suppose 0 = 37*n - 20*n - 61999. Is n a prime number?
False
Let g = 16892 + 19145. Is g prime?
True
Suppose -3*p - b = b - 1337, 8 = 2*b. Is p a prime number?
True
Suppose -9*u + 193920 - 29499 = 0. Is u a composite number?
False
Let m(i) = 78*i**2 - i + 4. Let t be m(6). Suppose 5*f - t = -751. Suppose 1753 - f = 2*c. Is c a prime number?
False
Suppose 5*z + 0*d - 34767 = 2*d, -6954 = -z + d. Is z composite?
True
Let u be (-21 + -3)/(-1) - 2. Let h = 43 + u. Is h prime?
False
Let t be 2/(-12) + 33/(-18). Let k be (-9 + 3)*t/4. Suppose 0 = -k*m + c + 71, -m - 3*c = -5*c - 17. Is m a prime number?
False
Let y(z) = 58*z**2 + 37*z - 169. Is y(4) a prime number?
True
Let z(c) = -c - 1. Let x(n) = 2570*n**2 - 10*n - 9. Let j(w) = x(w) - 5*z(w). Is j(-1) a prime number?
False
Suppose -2*x - x - c = -16739, -5*x = -c - 27893. Suppose 5*m - x = 3*y + 1428, 5*y - 6975 = -5*m. Is m prime?
True
Let i(h) = 4*h - 1. Let w = -8 + 9. Let u be i(w). Suppose 0 = u*v - v - 5*o - 446, 3*v + 4*o = 623. Is v a prime number?
False
Suppose -3*x = -13 + 7. Suppose -2 = x*n - 3*n. Is n/(-5) - 28296/(-40) composite?
True
Let u(y) = 794*y**3 + 4*y**2 - 12*y + 15. Is u(3) prime?
False
Let f = -118023 - -168140. Is f a composite number?
True
Suppose 12*y - 5*y = 73703. Is y a composite number?
False
Suppose -13*i - 2 = -14*i, 0 = 5*g - 4*i - 12. Suppose -11595 = a - g*a. Is a prime?
False
Let c(g) = 21991*g**2 - 14*g - 14. Is c(-1) a prime number?
True
Suppose 0 = c + 3*q + 9, -2*q + 6 - 19 = 3*c. Let l(j) = 70*j**2 - 2*j - 5. Is l(c) a composite number?
False
Let g(s) = 2*s - 7. Let x = 40 - 33. Is g(x) composite?
False
Let v = 7 + -5. Suppose 0 = -v*j - j. Suppose 0 = -3*z + 2*s + 173, j = 2*s - 0 + 2. Is z composite?
True
Let n(r) = 19*r**2 + 2*r - 5. Suppose -2*j = -14 + 6. Is n(j) a composite number?
False
Suppose r + 2*r + 2*m = 28027, -3*m - 46718 = -5*r. Is r a composite number?
False
Let u be (2 + 737)*(0 - 1)*-1. Let b = u - -796. Is b composite?
True
Let i = 3219 - 1565. Is i prime?
False
Suppose -1056*q - 174581 = -1067*q. Is q a prime number?
False
Suppose 5*c = -5*f + 10905, -4*f + 8726 = -0*f + 3*c. Is f a composite number?
True
Suppose -2*o + 36*n + 35408 = 34*n, -o + 17698 = -3*n. Is o a composite number?
False
Suppose 2*j + 4*h = -44, 5*j = -0*h + 5*h - 65. Is (2285/2)/(3 - (-40)/j) composite?
True
Let v be (20/6)/((16/(-3))/(-8)). Suppose 4*p - 6*p = 5*y - 8344, v*y = 4*p - 16718. Is p a composite number?
False
Suppose -4*o + 51 = 2*d + o, -4*d + 5*o + 147 = 0. Let z = d - 21. Is 3736/z + (-3)/9 a composite number?
False
Let n be (-40)/18 + (-28)/(-126). Is n*3/18*-1293 composite?
False
Let c = 1032 - 1620. Let m = -98 - c. Is m + 3*(-2 - -1) prime?
True
Let v(j) = 56*j + 379. Is v(30) a prime number?
False
Suppose 33713 = -27*m + 215936. Is m a prime number?
False
Let t = -955 + 1894. Let k = 1828 - t. Is k a composite number?
True
Suppose -3*x = -2*z - 29, -2*z - 23 - 24 = -5*x. Let q be 3*(2 + (-15)/x). Is q/1*(144 + -3) a prime number?
False
Let s = -16 + 7. Let r be (s/(-6))/(3/352). Suppose 0*d - u - 201 = -4*d, -4*u = 4*d - r. Is d prime?
False
Let n be (0 - 0)*(-5)/(-15). Let p = n + 1. Is p*(-18)/15*-5 composite?
True
Let l(g) = -189*g**3 + 4*g**2 - 4*g - 11. Let b be l(-3). Let n = -603 + b. Is n a prime number?
False
Is (2/(-4))/((-8)/(-16))*-1259 a composite number?
False
Suppose 0 = 5*s + y - 3993, -1358 = -4*s - 5*y + 1849. Let x = s + -305. Is x a prime number?
False
Suppose -2*b = 3*j + 13, b = -b + 2. Is (-1670)/j - 6/2 prime?
True
Let n = -13 + 13. Let r(y) = -3*y - 14. Let f be r(-6). Is (3 - (-64)/f) + n prime?
True
Let c(i) = -6 + 2*i - 3*i**3 + 1 + 4. Is c(-3) a composite number?
True
Suppose -10*b - 388 = 1562. Let v be 1/3 - 3651/(-9). Let t = v + b. Is t a prime number?
True
Let h = 19 - 10. Let d be -52 - ((-40)/56 - (-4)/(-14)). Is (-24)/h*d/4 a composite number?
True
Let v be 0 - -303 - 20/(-5). Is v*(3 + -4)*-1 a prime number?
True
Let l = -126147 - -266224. Is l a composite number?
True
Let a(y) = y**3 - 2*y - 2. Let q be a(-1). Let v(k) = -972*k**3 + 1. Is v(q) prime?
False
Let o be 25/10*(-20