 + 258 = 0. Let l be n/18*56/(-6). Let h = l + 123. Is h a prime number?
True
Suppose 0 = 4*x - 3*w - 0*w - 14, 3*x - 3*w = 9. Suppose 4*o - o + x*p - 371 = 0, 4*o - 510 = p. Is o a prime number?
True
Suppose -2*l + k + 4 = -8, -16 = -2*l + 2*k. Suppose -l*i = m - 526, -4*i = -0*i + 5*m - 534. Is i composite?
False
Suppose 60 - 662 = -2*m. Suppose 2*s - m = 1497. Is s composite?
True
Let r(k) = -k**2 + 5*k + 6. Let z be r(7). Let d = z + 10. Let a(b) = 5*b**2 - 1. Is a(d) composite?
False
Let p(d) = d**2 + d + 24251. Is p(0) composite?
False
Suppose -3*t = 4*n - 20, 0 = 5*n + 5*t - 17 - 13. Let a(i) = i**2 - 3*i. Let l be a(n). Is l/(-4)*34 - 2 composite?
True
Let y be (-1*(-12)/8)/(6/16). Suppose 5*i - 24365 + 2992 = -y*w, -i = -2*w + 10697. Is w prime?
True
Let u be (-15)/3*(-7)/7. Is (-11640)/(-110) - u/((-55)/2) a prime number?
False
Suppose 699 = s - 82. Is s a prime number?
False
Suppose -4*x + 4*t - 5*t + 8992 = 0, 3*x + 3*t - 6735 = 0. Is x composite?
True
Let q(j) = -j**3 + 5*j**2 + 3*j - 3. Let f be q(8). Let o be (332/5)/(3/15). Let z = f + o. Is z prime?
False
Suppose 0*j - 120 = -10*j. Suppose -j*x + 4860 = 408. Is x prime?
False
Let g = 31698 + -16271. Is g prime?
True
Let j be 6 - (-1 + 1 + -3). Let v(x) = -x**2 + 8*x + 9. Let h be v(j). Suppose h = -3*y + 3*q + 237, -y - 390 = -6*y + 4*q. Is y prime?
False
Suppose 3*j - 2*x = 14786 - 3401, 0 = j + 5*x - 3778. Is j a composite number?
False
Suppose -14*j - 2937 + 95827 = 0. Is j composite?
True
Suppose -22*y + 346120 = 18*y. Is y composite?
True
Let t(u) = 258*u**2 - 11*u + 26. Is t(5) a prime number?
True
Let d = 1 + 8. Suppose -2*o = 0, 5*o - o = 3*x - d. Is 3/1 + x + 1051 composite?
True
Let x be 7488/112 + 1/7. Suppose 3198 = -x*p + 73*p. Is p a prime number?
False
Let w = 123 - 554. Suppose 4*y = 3*y + 5*u - 775, 3*y + u + 2277 = 0. Let f = w - y. Is f a composite number?
True
Let z = -18 - -24. Let r(v) = -v**3 + 6*v**2 + 2. Let i be r(z). Is (-3025)/(-10) + (-3)/i composite?
True
Let n = 9767 - 5124. Is n a composite number?
False
Is (10586 - 0)*16/32 prime?
False
Let y(i) = -2*i + 3. Let r be y(4). Let q(s) = -3*s**3 - 3*s**2 - 8*s - 5. Let g be q(r). Suppose 3*h = 8*h - g. Is h composite?
False
Let u = -436 - -253. Suppose 2*p = -3*g - 1094, 2*p = -3*g + 4*p - 1114. Let i = u - g. Is i composite?
True
Let g = -119 - -124. Let a(s) = -s**2 - 7*s - 2. Let x be a(-6). Suppose x*r - g*r + 19 = 0. Is r a prime number?
True
Let o be (28/8)/((-3)/(-18)). Is ((-20)/4 - o)*11/(-2) prime?
False
Let t = 6402 + -4307. Is t prime?
False
Let t(p) = 40*p**3 - 6*p**2 - 12*p - 23. Is t(7) prime?
False
Let s(m) = m**2 - m. Let x(c) = c**2 - c. Let a(i) = -3*s(i) + 2*x(i). Let y be a(0). Is -3*(y + -46 - -3) a composite number?
True
Let u = 4973 + 1166. Is u a composite number?
True
Suppose -134 = h - 2*h. Suppose -455 = 3*q - h. Let z = q - -586. Is z prime?
True
Let d(l) = 4*l**2 - 23*l + 38. Let h be d(2). Suppose 5313 = 3*z - 2*i, -5*z + 3*i = -i - 8853. Suppose f = -4*r + z, 4*r + 2*f = h*r - 1770. Is r composite?
False
Suppose 14 = -3*p + 35. Let i(k) = -k**2 + 10*k - 6. Let a be i(p). Let t = 64 - a. Is t prime?
False
Let k(d) be the first derivative of 23*d**3 - 2*d + 10. Is k(-1) a composite number?
False
Let k(g) = -16*g**2 - 2*g + 9113. Is k(0) composite?
True
Let r(f) = -3*f - 3. Let y be r(-2). Let g be 1*(-1 + y) - -9. Suppose -g = z - 46. Is z a composite number?
True
Let s = -2 - -6. Suppose 2*o - 3*o - 23 = -5*d, -4*o + s*d - 12 = 0. Suppose 2*f - 159 = 5*r, -4*f + 3 = -o*r - 339. Is f a composite number?
True
Is (-1892470)/(-34) - (-4)/34 prime?
True
Let a(q) = 1163*q + 7 - 7. Is a(1) composite?
False
Let w(h) = 21*h - 36. Let q(m) = -62*m + 109. Let n(o) = 2*q(o) + 7*w(o). Is n(15) a prime number?
True
Let r(c) = 11443*c**2 - 31*c + 1. Is r(1) a prime number?
False
Suppose 17549 = -7*i + 30*i. Is i a prime number?
False
Let o(x) = 164*x + 2 - 7 + 6 - 8. Is o(1) a prime number?
True
Suppose -776*s + 230321 = -763*s. Is s prime?
False
Suppose -28*y - 24 = -32*y. Let n(o) = 6*o + 35. Is n(y) prime?
True
Suppose 0 = u + 9 - 5. Let m be (u/(-10))/((-6)/(-30)). Suppose -104 - 330 = -m*c. Is c a prime number?
False
Let q(w) = -17*w + 10 + 6*w**2 + 6*w + 9*w**2 - 1. Is q(7) composite?
True
Suppose 0 = 30*g - 31*g + 7. Suppose 23987 + 4790 = g*p. Is p a prime number?
True
Let w(z) = z**3 - z**2 + 401. Let x be w(0). Let n = 255 - x. Let p = -81 - n. Is p a composite number?
True
Suppose -4*r + 5*q = -0*r - 1317, 2*r - 652 = -4*q. Let u(d) = 53*d - 7. Let y be u(-2). Let k = r + y. Is k composite?
True
Let d(m) = -326*m - 127. Is d(-16) prime?
False
Suppose 12*m = -6223 + 61675. Is m a composite number?
False
Let k(o) = 8*o**2 + 8*o + 9. Is k(10) a prime number?
False
Suppose 0 = -3*c - 0*c + n + 28, -4*c = 2*n - 44. Let v(m) = -c + 3 - 9*m - 1. Is v(-7) prime?
False
Let p be (5/(-4))/(1/(-44)). Let g = 81 + p. Let k = -25 + g. Is k a prime number?
False
Let c be 4/16*4 - -388. Suppose r - 147 = -5*f, -4*f + 2*f + c = 3*r. Is r a composite number?
False
Let j(p) = 28*p**2 - 9*p + 7. Is j(-10) a prime number?
True
Is (-1)/(1 - 11016/11010) a prime number?
False
Suppose -4*s + 4161 = -s. Let z = s - 714. Is z a prime number?
True
Is -1*3/1 - -5926 prime?
True
Let g(b) = 3484*b**2 + 16*b - 5. Is g(2) a composite number?
False
Suppose 5*t - 3*z - 28 = 0, z = -4*t - t + 24. Suppose -t*j - 2*j + 1477 = 0. Is j prime?
True
Let g(s) = s**3 + 9*s**2 + 5*s. Let z(n) = n**3 + 9*n**2 + 4*n - 1. Let b(f) = -5*g(f) + 6*z(f). Let p be b(-9). Suppose 61 = p*r - 386. Is r a prime number?
True
Let r(x) = 48*x**2 + 18*x + 5. Is r(-4) a prime number?
True
Let j be 6*3*-1*(-2)/6. Suppose j*x = 5347 + 3047. Is x prime?
True
Let t(d) = -34*d + 5. Suppose 0*k + 5*k + 65 = -5*r, -4*k = -r + 72. Is t(k) a prime number?
False
Suppose -97*v = -93*v - 20. Is (30/9)/v + 9507/9 prime?
False
Let x(g) = -g**2 - 8*g + 7. Let u be x(-9). Let v(h) = -14*h**3 + h - 1. Let w be v(u). Suppose -5*r + 606 = -w. Is r prime?
False
Let t(b) be the third derivative of -4*b**4/3 - b**3/6 + 19*b**2. Is t(-1) a prime number?
True
Let d = 47 - 47. Suppose -7*g + d*g + 16331 = 0. Is g a prime number?
True
Suppose 7*z = -811 + 2127. Suppose -5*v + z = -277. Is v a prime number?
False
Suppose -132 + 408 = 6*v. Let p = v - 39. Is p prime?
True
Suppose 0 = 3*s - 720 - 267. Is s composite?
True
Suppose -26*b + 29*b - 295215 = 5*l, 0 = -5*l. Is b a composite number?
True
Suppose 0 = 2865*i - 2857*i - 78808. Is i a prime number?
True
Is (7925988/7)/6 - (-3)/(-3) a composite number?
True
Let k(r) = -2*r**3 + 9*r**2 - 19*r + 37. Is k(-20) composite?
True
Suppose 0 = 6*d - 8*d + 90106. Is d a prime number?
True
Suppose 5*x = -4*h + 5, -10 + 4 = 2*x. Let o be 2 + (-38)/(-2) - 1. Suppose -o = h*s, 0 = -4*y + s + s + 268. Is y prime?
False
Suppose 0 = -4*o - 4*s + 10300, 5*o + 73*s - 12879 = 69*s. Is o a prime number?
True
Suppose 3*x - 8091 = -6*x. Suppose -6*q + 1465 = -x. Is q composite?
True
Let n = -1284 - 8. Let h = n + 1927. Is h a composite number?
True
Let m(o) = 220*o - 207. Is m(35) composite?
True
Suppose 0*r - 5 = -r. Suppose -r*h + q + 3754 = 0, 0*h + 5*q - 756 = -h. Is h prime?
True
Let g(x) = 1946*x**2 + x + 4. Is g(-1) a prime number?
True
Is 21723 - (39 + -9)/3 a composite number?
False
Let p(c) = -c**2 - 9*c - 14. Let n be p(-9). Is ((-26)/4)/((3/n)/3) prime?
False
Suppose 36*g - 39*g = -73389. Is g composite?
True
Let q = -3929 + 9082. Is q a prime number?
True
Let t = -22 - -24. Suppose t*l + 2 = l. Is 83 + (4/l - -2) prime?
True
Let g(c) = 1529*c + 15. Let x be g(2). Suppose 6*w + x = 11395. Is w prime?
False
Let x be (-37 + 1)*(35/(-15) + 2). Suppose x*w = 10*w + 62. Is w composite?
False
Let b(p) = -p**3 + 19*p**2 - 19*p - 22. Let o(a) = a + 17. Let u be o(0). Is b(u) prime?
True
Let g = 2587 - 390. Suppose 0 = z - g - 1446. Is z prime?
True
Let i = 140 - 137. Suppose -i*u + 369 = 5*y - 273, -2*y = -3*u + 663. Is u a composite number?
True
Suppose h - 4*r = -22 + 57, -2*h + 25 = r. Let a be (h + 0)/(11 - 8). Suppose -2*d = -q - 52 + 324, -269 = -q + a*d. Is q a prime number?
False
Let o(v) = 57*v**2 + 4*v + 13. Is o(-6) a prime number?
False
Let r(x) = 118*x**2 + 13*x + 57. Is r(-6) prime?
False
Let p(a) = 3*a - 