6, -5*m - 3*i + 943 = i. Is m a prime number?
True
Let g be 4 - 6/((-12)/(-1778)). Is g/(-20)*(3 - -1) a prime number?
False
Let b(a) = -a**2 - a - 1. Let o be b(2). Let z(t) = -t**3 - 3*t**2 - t + 8. Is z(o) a prime number?
True
Suppose 4*f = 2*t - 3*t + 117628, 3*t - 29407 = -f. Is f composite?
True
Let x(f) = -f**2 - 26*f - 22. Suppose 2*j - 124 - 24 = 3*r, -3*r - 12 = 0. Suppose -4*l - j = -0*l. Is x(l) composite?
False
Let p be (-253)/(-69) - 2/(-6). Is 8088 + 8 - (-3 + p) a composite number?
True
Let a be (-198)/(5*(-3)/(-135)). Let c = -185 - a. Is c prime?
True
Let q(a) = -a**3 + a**2 + 2*a - 3. Let f be q(2). Let o(t) be the first derivative of -137*t**2/2 + 2*t + 20. Is o(f) a prime number?
False
Suppose 0 = -2*u - u - 732. Let m = 63 - u. Is m a composite number?
False
Suppose 57*v - 402 = 58*v. Is (48/36)/((-4)/v) a prime number?
False
Suppose 0 = 2*f - 4*y - 144 - 26, 0 = -4*f + 4*y + 324. Is f/28 + -2 - (-8209)/4 prime?
True
Let w be (2 - 3 - 0)*-16. Suppose 3 = q - 2*v, 3*q = -q + 4*v + w. Suppose -q*k = 2*d - 599, 2*d = -2*k - k + 605. Is d composite?
False
Let m(h) = -h**3 + 16*h**2 + 9*h + 6. Let g be m(7). Suppose 5*u - 7495 - g = 0. Is u composite?
False
Let a(d) = -6*d + 11. Suppose -6*u + 5*u = -10. Let r = u - 20. Is a(r) a prime number?
True
Let h(a) = -87*a**2 + 33*a - 7. Let f(b) = 43*b**2 - 17*b + 3. Let k(u) = 5*f(u) + 2*h(u). Is k(-8) composite?
False
Is 2885836/(-73)*(0 - 2/4) composite?
True
Let f = 252 + 685. Is f prime?
True
Let j be -2 - (4/4 - 8). Suppose 0 = j*m - 29 + 9. Is m/(8/1788*3) a composite number?
True
Let t = -12 - -13. Let f be (t/(-2))/((-1)/4). Suppose -f*p - 2733 = -3*v, -3*p - 2*p = 0. Is v prime?
True
Let v(p) = -606*p + 139. Is v(-14) a prime number?
True
Let t = -8519 - -12348. Is t composite?
True
Suppose -11 - 129 = -4*n. Let q be 12/(-20) - (-13)/5. Suppose n = q*s - 113. Is s a prime number?
False
Let d(v) = -v**3 + 8*v**2 - 6*v - 1. Let p be d(7). Let m = p + 6. Let g = 101 - m. Is g prime?
True
Let w be (-3245)/20 - 9/12. Is 56/12*(w/(-2) - 2) a prime number?
False
Let f(u) = 243*u**2 + 16*u - 46. Is f(5) a prime number?
False
Suppose -3*n + 1940 = -2473. Is n a composite number?
False
Suppose -33 = 3*l - 5*g, 4*l - 4*g = -21 - 31. Let x = l + 21. Suppose 745 = x*s - 4*s. Is s composite?
True
Let w(s) = 39*s + 10. Suppose 0*p + p = 3*i - 9, 4*p - 5*i + 8 = 0. Is w(p) a composite number?
False
Let t be 7 + -3 - (-506 + 0). Suppose 2*v - 6184 = -t. Is v prime?
True
Suppose 0 = d + 2*w - 4723, -5*d + 15507 + 8129 = 3*w. Is d a prime number?
True
Let i be 34/(-10) + 4/10. Let h(r) = -r**2 - 20*r - 25. Let l be h(-19). Is i + (-123)/l*4 a composite number?
False
Let n(q) = 4*q**3 + 6*q**2 + q - 2. Let d(f) = -f**3 - f**2 - 1. Let v(c) = 5*d(c) + n(c). Let x be v(-7). Let b = -251 + x. Is b prime?
True
Let h = 75 + -73. Suppose h*k = 6*k - 356. Is k a prime number?
True
Let i(j) = 2932*j**2 - 9*j + 10. Is i(1) prime?
False
Suppose 2*q = -5*x + 50107, 4*q - 6120 = -2*x + 94118. Is q a prime number?
False
Let i = 60 + -35. Suppose 65 = 4*b + i. Is b a prime number?
False
Let n = -12464 - -31641. Is n prime?
False
Let i(l) = 232*l**2 + 31*l - 86. Is i(3) composite?
True
Suppose -43686 = -3*v - 5*k, -5*v - k + 4*k + 72844 = 0. Is v a prime number?
False
Let d = 124 + 43. Suppose h = -h - g + 370, h - 4*g - d = 0. Is h composite?
True
Suppose 0 = -2*f - 111 + 347. Is f/(-4)*(1 - 3) composite?
False
Let p be (-3 - -6) + -2 - 423. Let d = 290 + p. Is ((-2)/3)/(8/d) a composite number?
False
Let z = 18 - 12. Suppose 0 = -l - 2*o + 614 - 72, l - 550 = -4*o. Is (2/z)/(2/l) prime?
True
Is 307379/244*-2*(-4 - -2) a composite number?
False
Let d be (-16)/(-72) + (-52)/(-9). Let k be 1835/d - (-2)/12. Suppose -4*s + 305 = 3*h, -7 = -4*s + 5*h + k. Is s a composite number?
True
Let y = 37 - 35. Suppose 17 = 5*p + y. Suppose p*n = j + 991, 4*n = -j + 4*j + 1318. Is n a composite number?
False
Let l be (-35)/(-15) - (-1)/(-3). Suppose -3*s - 545 = l*r, 7*s - 4*s - r = -551. Let m = 306 + s. Is m composite?
True
Let z(m) = -147*m**3 - 5*m**2 + 17*m + 12. Is z(-7) composite?
False
Suppose 5*r + 27698 = 11*c - 9*c, -13839 = -c + 5*r. Is c a prime number?
True
Let o(q) = -q**2 - 2*q + 18. Let r be o(-5). Is 2/r*(-2)/(-8)*1758 a composite number?
False
Suppose -2*s + 0 = -4. Let f be (-4)/(-6) + 1/(15/(-10)). Suppose k = -s*k + 12, 2*b + 3*k - 206 = f. Is b a prime number?
True
Let q be (-3)/((-44)/16 + 2). Let t(p) = p + q*p**2 - p**2 + 0*p**2. Is t(2) a prime number?
False
Suppose 0 = 4*q - 4, 4*y + 5*q = 11363 + 2606. Suppose -797 + y = 6*g. Is g a composite number?
False
Suppose -5*z = 4*h - 9*z - 7908, -2*z - 1981 = -h. Is h a composite number?
False
Let l(u) = 67*u - 239. Is l(40) prime?
True
Suppose -2*a - 1 = -o + 3, 0 = 2*o + a + 2. Let f be (18/(-6))/(1 - o). Is (f + 1)*159/(-6) a prime number?
True
Let k(h) = h + 4. Suppose 0 = 5*g + 44 - 14. Let b be k(g). Is (-13684)/(-12) - b/3 a composite number?
True
Let x(a) = a**3 + 9*a**2 - 6*a - 17. Let t be (-1269)/(-15) - 2/(-5). Let m be 2/4 - t/10. Is x(m) composite?
True
Suppose -4*x + 632 + 416 = 0. Let g be -1*(-152 + 2 - 1). Let n = x - g. Is n a prime number?
False
Let o be 1 + -4 + 2 + 119. Let s = -12 - -545. Let j = s - o. Is j a composite number?
True
Let k(x) = 4*x**2 - 18*x - 7. Suppose 8 = -3*t - 37. Is k(t) composite?
False
Is (-6)/(-4)*-2*67623/(-9) a composite number?
False
Suppose -4*b + 3*b = 7*b. Suppose b = -3*c + 4*o + 1913, c + o - 2*o = 636. Is c composite?
False
Let g(r) = 15*r**2 + 8*r - 4. Let w(q) = q**3 - 5*q**2 - 11*q + 8. Let i be w(7). Let a = 24 - i. Is g(a) a prime number?
True
Suppose -27975 - 6378 = -9*g. Is g a prime number?
False
Let m = 203 + -6. Let b = -19 - -22. Suppose -q + 5*d = -91, b*q - 2*d + 6*d - m = 0. Is q prime?
True
Let w(g) = -553*g**3 - 4*g**2 - 4*g. Let q(h) = h + 20. Let j be q(-21). Is w(j) composite?
True
Suppose -3*l - 1162 = 8*g - 10*g, 595 = g + 2*l. Is g a composite number?
False
Let q be 2 - (-1185)/(-5)*-2. Suppose 4*u - q = 368. Is u a composite number?
False
Suppose 5*t - 23629 = -13*j + 9*j, 5*t = 2*j + 23653. Is t prime?
True
Let b be (-12)/(-42) + 60/(-14). Let c(p) be the second derivative of -2*p**5/5 - p**4/3 - 7*p**3/6 - 5*p**2/2 - p. Is c(b) a prime number?
False
Suppose 0 = 2*w, g + 3*w - 10 = 8. Let q = g - -14. Let i = 89 + q. Is i a prime number?
False
Suppose -51*r + 235 = -3029. Let q(x) = -x**2 - 5*x - 1. Let n be q(-5). Let l = r - n. Is l composite?
True
Let c = -15630 + 23437. Is c a composite number?
True
Suppose 2*y + 68 = 4*y. Let w = -7 + 8. Suppose q - w - y = 0. Is q composite?
True
Let k(i) = -30*i**3 + 2*i**2 + 8*i + 8. Let t be k(-5). Suppose -2797 = -5*p + t. Is p prime?
False
Suppose -4*j + 3*j = -2*s - 329, 0 = 4*j + 2*s - 1266. Is j prime?
False
Suppose 3*h = -z + 8*h + 31982, z + h = 31952. Is z prime?
True
Suppose -t + 2*t - 578 = -4*o, -2*t = 3*o - 1161. Suppose b - t = 319. Is b a composite number?
True
Suppose -2*t - 14 = -2*g, -5*g + 7 + 4 = 3*t. Suppose 0 = -q - g*k + 135, 142 = -4*q + 3*k + 644. Is q a composite number?
False
Let x be (-2)/8 + (-8)/(-32). Suppose x*n - 1336 = -4*n. Is n prime?
False
Suppose -5*v - 4 = 3*y - 2*y, 3*v = -4*y - 16. Let o(k) be the second derivative of k**5/20 + 7*k**4/12 + 4*k**3/3 - 3*k**2/2 + 4*k + 5. Is o(y) a prime number?
True
Let n(c) be the third derivative of c**6/120 - 3*c**5/10 + 2*c**4/3 - 11*c**3/3 + 5*c**2. Is n(23) composite?
True
Let b = 1890 - 1153. Is b a prime number?
False
Let w = 217 - -118. Suppose -3*h + 323 = -j, w = -j - 2*h + 7. Let o = j + 505. Is o a composite number?
False
Let f(k) = -k**3 + 2 + 5 - 3*k + 2*k**2 + 4*k. Let z be f(-6). Suppose -5*h = 4*d - 84 - z, 4*d - 3*h - 333 = 0. Is d a prime number?
False
Let y be (2/2)/((-1)/(-6)). Suppose -13041 = -y*t - 123. Is t a composite number?
False
Is 50967/5 - (-4)/80*-8 a composite number?
False
Let p be ((-8966)/(-4))/(((-44)/(-8))/11). Let d = 9590 - p. Is d a composite number?
False
Let d be (-969)/(-187) + 2/(-11). Suppose -5*a + p = -292, -d*p + 15 = -0*p. Is a prime?
True
Let x(f) = -861*f + 86. Is x(-5) prime?
True
Suppose 44 = -4*s + 64, -2*s + 63184 = 2*h. Is h a composite number?
True
Let d(o) = -959*o**2 - 2*o + 3960 - 923 + 958