ppose -2*d = -3313 + 19741. Is 5/(-10) - d/4 prime?
True
Suppose -2*r + 4845 = 3*r. Let j = 1858 - r. Is j composite?
True
Is 28268 - ((-6)/16 + 59/8) a prime number?
False
Suppose 30 = 2*y - 0*y + 4*q, -2*q - 10 = -4*y. Suppose f = -4*w, -y*f + 2*w = 5*w. Suppose f = -x - 5*d + d + 405, -1632 = -4*x - 4*d. Is x prime?
True
Let n = 9227 + 2916. Is n composite?
False
Let x be (12/(-4) + -2)/((-1)/1). Let v(q) = -19*q - 10. Let k(b) = 18*b + 9. Let u(p) = 3*k(p) + 2*v(p). Is u(x) a prime number?
False
Suppose s - 12 = -s + 4*t, 4*s = 4*t + 16. Is 273/26 + 1/s composite?
False
Let p be -12*((-8)/(-12))/1. Is (1 - 7)/2 - p*112 a prime number?
False
Let a(x) be the third derivative of 3*x**4/8 - 4*x**3/3 + 6*x**2. Let p be a(7). Let m = p + -18. Is m composite?
False
Let a(i) = 2*i + 4. Let z be 451/(-143) + (-2)/(-13). Let y be a(z). Is y/2*(13 - 452) prime?
True
Is 6 + (-4 - 75/(-1)) prime?
False
Let r(l) = -l**3 - 10*l**2 - l - 7. Let p be r(-10). Suppose p*n = 6, -2*q + 3*n + 675 = -721. Is q a prime number?
True
Let n(y) = -17*y**3 - 3*y**2 + y + 7. Is n(-4) composite?
True
Suppose -5*q + 39 = 9. Is q/(-10) + 3570/75 composite?
False
Let x = 2488 + -711. Is x a prime number?
True
Let p = 196 - 149. Let d = 484 - p. Is d a composite number?
True
Suppose -2*c + 64 + 75 = 3*j, 3*j - 4*c = 163. Suppose 17*q = 47*q - 10200. Let d = q - j. Is d a composite number?
True
Suppose -16*j + 19*j - 5820 = 0. Suppose 2*h - j = -3*h. Let y = h - 261. Is y composite?
False
Is (60468/(-9))/(4/(-3)) prime?
True
Let f be 6/(2/4 + 5/10). Let t(c) = -c**3 + 10*c**2 - 13*c - 11. Is t(f) a prime number?
False
Let v(c) = 138*c**2 - 2*c + 1. Let r = 24 + -22. Suppose -6 = z + r*z. Is v(z) a prime number?
True
Let t be (2/1*(-2 - -7))/2. Suppose t*m = 0, -2*m - 1036 = -7*n + 3*n. Is n a composite number?
True
Suppose 4*m - 7*m + 9 = 0. Suppose -4*n = -n - m*w - 9291, 3*n - 9307 = -w. Is n a composite number?
True
Let y(p) = -378*p**3 - p**2. Let u be y(-2). Suppose -4*s + u = 4*o, -2*s - 131 = 4*o - 3147. Is o prime?
False
Suppose -2*r + 11 = -0*r + z, -4*z + 28 = 4*r. Suppose r*m + u - 9 - 6 = 0, 2*u - 5 = -3*m. Suppose -3*g = m*l - 336, -5*l - g + 333 = 3*g. Is l a prime number?
False
Let c(w) = -w**3 + w + 2. Let b = -13 + 13. Let d be c(b). Is -1 + d + -5 - -165 prime?
False
Is 206222/8 + (-5)/(-20) a composite number?
True
Suppose 3*h - 7 - 11 = 0. Let v be ((-27)/h)/((-5)/(-10)). Let t(j) = -j**3 - 8*j**2 + 3*j - 1. Is t(v) composite?
False
Let y be 13 - -2 - 3/1. Suppose 8*l + 232 = y*l. Let x = l + -39. Is x prime?
True
Is (-5 + 6)/(9/207693) composite?
True
Let g = 17 + -16. Let u(v) = 4*v + 1. Let f(c) = -c - 1. Let k(w) = g*u(w) - 2*f(w). Is k(5) composite?
True
Let u = 24 + -22. Is 619 + (7 - 0) - (-6)/u prime?
False
Suppose 5*d - 4*t = 2 + 14, -12 = -2*d + 3*t. Suppose d = -l + 4*l - 9. Suppose -l*p = p - 140. Is p prime?
False
Let w be ((-6)/(-10))/((-5)/(-25)). Suppose 0 = 2*l - 5*p - 261, 0 = -2*l - 2*l + w*p + 557. Is l a composite number?
True
Suppose x + 2340 + 3320 = -4*w, -w = -x - 5660. Let q be ((-12)/30)/(2/x). Suppose -4*d = -q - 2416. Is d prime?
True
Let h be (-78)/(-9)*(-27)/(-2). Suppose -5*t + h + 158 = 0. Suppose t = -3*o + 4*o. Is o composite?
True
Is -5 + -6 + 0 + 1372 composite?
False
Let b(f) = 1193*f**2 + 53*f - 9. Is b(6) composite?
True
Let z = 3356 - 2241. Is z composite?
True
Suppose -1563 + 47 = -2*s. Suppose l - 3*d = -299 - 178, 5*d = -4*l - 1874. Let r = s + l. Is r prime?
False
Suppose -3*l = k - 741, -k - k = -5*l + 1224. Let h = 65 + l. Is h a prime number?
True
Is (-34022)/(-6) + 2/3 a composite number?
True
Suppose 0 = 10*o + 6124 - 122294. Is o prime?
True
Let o(g) = -6455*g. Let f be o(-1). Suppose -57*r = -52*r - f. Is r a prime number?
True
Suppose -3*i + 20573 = 2*d, d - 13*i = -10*i + 10309. Is d a composite number?
True
Suppose 3*m - 4*l + 3 = -1, -5*m + 32 = 3*l. Let h be m*(3 + 1/2). Suppose 11*y - h*y = -1113. Is y composite?
True
Suppose 51*b = 74*b - 806587. Is b a prime number?
True
Suppose 3*r = -2*l - 22, -5*r - 30 = -0*l + 2*l. Let d be -7 - r - (-1 - 1). Is (d + -70)*(-1 + -1) composite?
True
Let f(j) = 10*j**2 + 29*j + 11. Is f(24) prime?
False
Suppose -19 = -5*a + w + 11, 4*a - 35 = 3*w. Let n(c) = -41*c - 6. Let i(z) = -81*z - 13. Let d(j) = 3*i(j) - 7*n(j). Is d(a) composite?
False
Let m = 812 + 517. Suppose 13*t - m = 12*t. Is t a prime number?
False
Let h(o) = -2*o**2 - 12*o + 5. Let y be h(-6). Let t = -11 - -15. Suppose -t*g = 4, 4*c - g - 984 = -y*g. Is c a composite number?
True
Let j(t) = -t + 5. Let u be j(3). Suppose u*n + 6275 = 3*k, -11 = -4*n + 9. Is k a prime number?
False
Let k(z) = -419*z - 8. Suppose -4*c + 6*f = 2*f, -c = 2*f + 9. Is k(c) prime?
True
Let d(v) = v**2 - 6*v + 2. Let w be d(6). Let a(y) = 3*y**2 - 20*y - 95. Let h be a(-5). Suppose w*o - 210 = h. Is o a prime number?
False
Let z(w) = 231*w - 127. Is z(48) a prime number?
False
Let l(o) = o**3 - 11*o + 11. Let k be l(3). Suppose 2*t - 1885 = -b, 4*t - 3179 - 606 = 3*b. Is k*(3 + t/10) a prime number?
True
Let k = 244 - 3016. Let n = k - -4031. Is n composite?
False
Suppose -2*s + 10*s - 32 = 0. Suppose 2*q = -0*q + s*t + 518, q + 3*t - 254 = 0. Is q prime?
True
Let d = -165 + 46. Let z = d - -268. Is z a composite number?
False
Let j(z) = 588*z - 7. Is j(5) a composite number?
True
Let b(q) = -4*q - 2. Let t be b(-2). Let k(r) = 7*r**3 - 3*r**2 - 7*r - 1. Is k(t) composite?
False
Let a(k) = k**3 - 2*k**2 - k - 1. Let h be a(3). Suppose s - 2*c = 1101, -4*s - 4*c = -127 - 4289. Suppose 0 = 6*g - h*g - s. Is g a composite number?
False
Let r(b) be the third derivative of 59*b**4/12 - b**3/2 - 3*b**2. Let q be (2 - 2 - -2)/2. Is r(q) prime?
False
Suppose c - 2 = 3. Suppose 870 = c*h + 160. Suppose -3*n + h = -1373. Is n a composite number?
True
Let m(p) = -p**3 + 8*p + 0*p**2 + 11 - 1 - p**2 - 5*p**2. Let s be m(-7). Suppose s*h + 6*n - 2*n - 369 = 0, 0 = -3*h + 4*n + 345. Is h prime?
False
Let d be (-25908)/(-36) - (-1)/3. Suppose n + 3*n = -d. Let k = n - -467. Is k a composite number?
True
Suppose -h = 2*i + 5, -4*i - 5*h - 5 = 8. Is (-6054)/(-36) + i + (-1)/6 composite?
True
Is 56544/160 - 4/10 a prime number?
True
Suppose -14845 = -2*f - 5*k + 21773, 54941 = 3*f + 4*k. Is f prime?
False
Let b(u) = 95*u**2 + 6*u + 23. Is b(18) a composite number?
False
Let x(i) = 15*i - 859. Let c(j) = 8*j - 429. Let w(a) = 11*c(a) - 6*x(a). Let z be w(0). Suppose -d = 4*d - z. Is d a prime number?
False
Suppose 6 = 2*r, -5482 = -3*d - 3*r + 4904. Is d composite?
True
Let l = -37 + 39. Let d be (32/(-20))/(l/(-5)). Suppose 5*v = -d*h + 6*h - 886, -v = -3*h + 1329. Is h composite?
False
Is (17408238/357)/((-2)/(-7)) a composite number?
False
Let j(k) be the first derivative of k**4/4 + 3*k + 5. Let i be j(0). Suppose 5*x + 125 = 5*a, -3*x + i = 12. Is a a prime number?
False
Suppose -3*h + 0*h - 5*c + 3276 = 0, -c + 3264 = 3*h. Is h a prime number?
True
Let z(i) = -i**2 + 5*i + 1. Let j be z(4). Suppose -j*a + a + 748 = 0. Suppose c - a - 228 = 0. Is c composite?
True
Suppose -2*h + 3 - 15 = 0. Let s be (4/h)/((-8)/(-12)). Is (7 - 4)/(s/(-17)) prime?
False
Suppose u - z - 1032 = -3*u, -z + 516 = 2*u. Let s = 266 + -121. Let m = u - s. Is m a composite number?
False
Let p = 3827 + 35292. Is p composite?
False
Let l = -1092 - -648. Suppose 21*o = 25*o + 932. Let p = o - l. Is p composite?
False
Suppose 10*y - 5*y - 71350 = -5*d, -57089 = -4*y - d. Is y a prime number?
False
Suppose -5*l + 5*u + 38 = -2*l, 4*u = -4*l + 8. Suppose l*o + 531 = 9*o. Is o a composite number?
True
Let k(g) = g**2 + 1 + 2 + 0*g + 3*g. Let r be k(-3). Suppose o + 3 = -1, -2*o = r*c - 1. Is c a prime number?
True
Is 22/154 + (-35496)/(-7) composite?
True
Let l(y) = -21*y**3 - 8*y**2 - 11*y - 1. Let t(d) = -64*d**3 - 24*d**2 - 33*d - 4. Let m(i) = -17*l(i) + 6*t(i). Let g = -23 - -19. Is m(g) composite?
False
Let q(l) = -58*l**3 + 12*l**2 - 6*l - 21. Is q(-5) composite?
False
Let f(h) be the first derivative of -13/2*h**2 - 7*h + 11. Is f(-10) composite?
True
Is 47/188 - (1 + 45119/(-4)) a prime number?
True
Let m(o) = 172*o**3 + 6*o**2 - 3*o - 12. Is m(5) composite?
True
Let y(p) = 4*p**2 - p - 9. Let m be y(5). Is (-2 - 5/5) + m a prime number?
True
Let x(v) 