 -2*d = f, -3*d - 3 = -0*d. Suppose -f*n - i = 2*i - 18, 0 = -n - 5*i + 23. Let z(a) = 18*a + 3. Is z(n) a composite number?
True
Suppose -4*i + 6*g + 3426 = g, 0 = i - 3*g - 860. Suppose a = o + 5*a - 191, 0 = 4*o - 2*a - i. Is o prime?
True
Let o(n) = -n - 9. Let g be o(-6). Let k = 152 - -283. Is k/(-10)*10/g composite?
True
Suppose -5*l + 10877 = -2*t, -4*l + 29*t + 8720 = 32*t. Is l a composite number?
True
Let r be (-7594)/(-8) + (-9)/(-12). Suppose 15 = -c - 0*o + 5*o, -2*o + 13 = c. Suppose -5*l + r = 5*u, c*u + 0*u + 5 = 0. Is l a composite number?
False
Let h = 22 + -17. Suppose -h*f = -0*f - 20. Suppose v - 3*y - 155 = 39, -v + f*y = -195. Is v prime?
True
Let i = -515 + 1576. Is i prime?
True
Suppose -k - 2*a - 8 = 0, 7*k - 4*k = -a - 4. Suppose 4*i - 16 + 4 = k. Suppose -5*o + 1105 = -4*t, 2*t + i*t = o - 242. Is o a prime number?
False
Let q = 109959 + -72020. Is q a prime number?
False
Suppose 43180 = 3*x + 17*x. Is x prime?
False
Is (9 + -11 - -12749) + 10 prime?
True
Let o be (-1654)/6*(-12)/16*4. Let y = 1298 - o. Is y a prime number?
False
Let k(w) = 259*w - 11. Is k(6) a composite number?
False
Let t(q) = q**3 - q**2 - 2. Let h be t(2). Suppose 18 = 5*c - h. Is c/10 - 612/(-20) a prime number?
True
Let p be 815*3*4/12. Is ((-1)/(-5))/(3/p)*3 prime?
True
Suppose 4*u + 18 = -22. Is (185/u)/(1/(-146)) prime?
False
Let u(v) be the third derivative of -v**7/560 + v**6/120 - v**5/15 - 6*v**2. Let z(y) be the third derivative of u(y). Is z(-13) prime?
False
Let k = 16 + -16. Suppose k*c + 1764 = 3*c. Suppose -g = -2*z + c + 383, -z + 490 = g. Is z a composite number?
False
Let q(o) = o**3 - 12*o**2 - 5*o - 2. Let j be q(13). Suppose 5*h - 2*h = 5*v + 128, -2*h = -4*v - j. Is (294/(-15))/(10/v) a composite number?
True
Suppose 6*h - 5*h - 3 = 0. Suppose -4*v + 4*k = -5 + 13, -v + 6 = h*k. Suppose -5*x + 4*x + 65 = v. Is x prime?
False
Let c(s) = -s**3 - s**3 - 21*s + 14*s - 3 - 12*s**2. Is c(-8) a prime number?
False
Let n = -44 + 44. Suppose n = -t + 2*t - 514. Is t prime?
False
Let c = -10 + 13. Suppose 0 = -5*b + c*m + 150, -3*m - m = -3*b + 101. Let z = b - 12. Is z prime?
False
Let q = -69 + 28. Let u = q - -930. Is u composite?
True
Let d = 5783 + -4092. Is d composite?
True
Suppose 2*i - 4*p = 9762, -2*i + 4*p - 9722 = -4*i. Suppose 12*t - i = 4069. Is t prime?
False
Suppose 3*h - 4*h - 5 = 0, -4*w = -5*h - 3477. Is w a composite number?
False
Suppose 3*r - 2304 = -r. Suppose -5*t + 4*n - 2810 = 0, -n - 15 = -t - r. Is t/(-6) - 24/(-36) a prime number?
False
Let u = -25 - -27. Suppose u*p + 3*m = 249, m = -2*p + 176 + 71. Is p prime?
False
Let q(s) = -3579*s - 238. Is q(-5) composite?
False
Is 2*6/42 - (-21593)/7 composite?
True
Suppose -v = -5*l - 1612, 8 - 6 = 2*l. Suppose v = 2*j - 197. Is j a prime number?
True
Let t be (-9)/((-1)/(-3 + 2)). Let k be 50/(-15) + 6/t. Is 1*1625/5 + k a composite number?
True
Suppose 0 = -5*y + 53273 + 93542. Is y prime?
True
Suppose 3*p + 2*p + 10 = 0. Let z be 90*p/(8/(-2)). Let g = z - -32. Is g composite?
True
Let o(v) = 8*v**2 - 30*v - 9. Is o(26) a composite number?
True
Suppose -4*t + 2*p = -16, 0*t = -2*t + 2*p + 8. Suppose -3 = -3*a - 0*b + 3*b, -2*b - 2 = -a. Suppose 2*d + 2*n - 124 = -a*d, -t*d + 263 = n. Is d composite?
False
Let g be 1/2*(-18)/3. Let a(t) = -37*t**3 - 4*t**2 + 4*t + 2. Is a(g) prime?
True
Suppose -3*d + 929 = -5*f - 111, 4*f = -16. Suppose 4*y + 405 = -3*w, -5*y + 23 + 652 = -5*w. Let n = d + w. Is n a prime number?
False
Let w(l) = -3944*l - 53. Is w(-15) a composite number?
False
Suppose 103 = 3*z + 4*f + 2, -z - 5*f + 52 = 0. Let s = z - 17. Suppose 5*y = 85 + s. Is y composite?
False
Suppose 37*w - 158076 = w. Is w a composite number?
False
Let m be ((-766)/24 - (-2)/8)*-27. Let r = -548 + m. Is r a prime number?
True
Suppose 4*j = 4*d - 8, 5*d - j - 12 = -2. Suppose -d*f + 1043 = 157. Is f a composite number?
False
Let z(v) = -v**3 - 4*v**2 + 4. Let j be z(-4). Suppose j*t = -8, 3*s + 2*s + 16 = -3*t. Is s/1 + 4 + 321 a composite number?
True
Let h(n) = 6*n**2 - 7*n - 6. Let j be h(-5). Let s = j + -330. Is 1*(4/(-2) - s) prime?
True
Let o be -1 + 0 + -4 + 6. Let r be o/(3 - 10/4). Suppose 0 = -4*i - 3*k + 589, -6*i = -r*i - 3*k - 571. Is i composite?
True
Let q(w) = w - 9. Let c be q(9). Suppose 0 = i + 4*k - 46, c*k = 2*i + 4*k - 72. Suppose m + i = 123. Is m composite?
False
Let u(i) = -3*i - 3. Let x be u(-9). Is 1644/15 - x/40 composite?
False
Let w(z) = -742*z**3 + 16*z**2 - 13*z - 8. Is w(-3) a prime number?
False
Suppose -12*d = -2*d + 10670. Let h = d + 1974. Is h composite?
False
Let a = -103 - -96. Is (9 + a)/(4/3138) composite?
True
Let b = -3162 - -4678. Suppose -2*m = 2*m - b. Is m prime?
True
Is (115/10)/(-6*3/(-2844)) a prime number?
False
Suppose 0 = x - 4*x - f + 9259, -15413 = -5*x + 3*f. Is x a prime number?
False
Let q be (-3)/(-9)*(1210 - 1). Let d = -192 + q. Is d prime?
True
Let v(z) = -38*z - 4. Let w be v(-9). Let y = -115 + w. Is y composite?
False
Is 1232685/(-50)*-2 - (-12)/(-30) a composite number?
False
Suppose 0 = 2*r - 1383 - 1999. Is r composite?
True
Is (26/(-39))/((30/(-434493))/5) a composite number?
True
Suppose 2*n = -2*n + 8. Let b be n - (-135 + (2 - 3)). Suppose 0 = -3*l + l + b. Is l prime?
False
Let k = -1655 - -2345. Suppose k = 4*c + c. Suppose c + 85 = w. Is w a composite number?
False
Suppose p - 2 = -p. Let r = 4 - p. Is 19/3*r - 0 composite?
False
Suppose -3*j - r + 38 + 20 = 0, 2*j - 44 = -2*r. Suppose -2*o - j = -4*o. Is (o/3 - -140)*1 a prime number?
False
Is ((-3)/(-6) - 1) + (-74997)/(-6) a prime number?
False
Let h be 8/(-36) - (-2974)/18. Suppose -4*g = -3*o - 137 - h, 4*o = g - 69. Let x = 126 - g. Is x composite?
True
Let z(k) = -k**3 + 7*k**2 + 8*k. Let y be z(8). Suppose -t - 15 + 932 = y. Is t prime?
False
Is (550 - (11 - 7)) + -6 + 1 a composite number?
False
Let g be (2 - 3) + 2 + 1. Suppose -r + 8*n - 3*n - 25 = 0, -g*n + 10 = -3*r. Suppose 4*p = -r*p + 124. Is p prime?
True
Suppose -8*w + 12525 = -9611. Is w composite?
False
Let h(g) = 2*g**2 - 5*g + 7. Let u(l) = -3*l + 3. Let s be u(-5). Let k be (60/s)/((-2)/3). Is h(k) a prime number?
False
Suppose 5*v = -16 + 6. Is 110/(-15)*9/v a composite number?
True
Let r(w) = -70 - 10*w**2 + 3*w**3 + 10*w - w**2 + 67. Let u = 13 + -6. Is r(u) a composite number?
False
Let p be -1 + (402/(-18))/((-5)/(-135)). Let j(n) = -14*n**3 - n**2 + 2*n + 4. Let s be j(-3). Let v = s - p. Is v composite?
False
Suppose -2*m = -2*j + 12154, 0*j = 3*m + 3*j + 18219. Let f = 10496 + m. Is f composite?
False
Let g(h) = 3*h - 1. Let t be g(1). Let l be ((-16)/24)/(t/3). Is (-2 - l)*662/(-2) a composite number?
False
Suppose -14*p + 21681 = -1237. Is p a prime number?
True
Let b(j) = -83*j + 27. Let l be -2 + (-42)/4 - 21/14. Is b(l) a composite number?
True
Let l(f) = f + 4. Let j be l(-2). Suppose -j*b - b = -12. Suppose -725 = -b*q - q. Is q a prime number?
False
Suppose 3*z = 15 - 6. Let k = -1 + z. Is 7 + 2 + (3 - k) prime?
False
Let y(z) = 2920*z + 67. Is y(31) composite?
True
Let q(d) = d**3 - 4*d**2 - 3*d + 2. Let u be q(5). Let y = u - 12. Suppose -5*c - 165 + 2750 = y. Is c a prime number?
False
Let r(f) = -4260*f - 319. Is r(-10) a prime number?
True
Let z = 1597 - 1098. Is z a prime number?
True
Suppose -3*v + 17 = -16. Suppose 9*d = v*d - 1034. Let j = -302 + d. Is j composite?
True
Suppose -76*h = -61*h - 970770. Is h a prime number?
False
Suppose -11 = -2*j - 39. Let g be ((-2)/(-4))/((-1)/j). Suppose -g*d + 0*d + 917 = 0. Is d a prime number?
True
Let t = 18 - 10. Suppose 5*x + 1659 = t*x. Is x a composite number?
True
Suppose -5*j + h = -136233, 3*j + 12478 = -2*h + 94223. Is j a composite number?
True
Let m(k) = -k**2 - 12*k - 15. Let o be m(-10). Let x(g) = -13*g + o - 12*g + 7*g + 2. Is x(-5) composite?
False
Let y(l) = 6*l**2 - 22*l - 20. Let a be y(-14). Suppose 6*g - g = -4*p + 1933, 0 = -3*p + g + a. Is p a composite number?
False
Suppose 0 = -42*f + 45*f - 132. Suppose f*b + 10359 = 47*b. Is b a prime number?
False
Suppose -5*n - 1838 = -7*n. Suppose 5*i - 5426 = n. Let d = i + 92. Is d a composite number?
False
Let y = 1813 - -3096. Is y a prime number?
True
Let b = 912 + 395. Suppose 5*q + 3*r = 1321, -7*r - b = -5*q - 3*r. Is q composi