2 - -5) composite?
True
Let m(j) = 3 + 7*j**2 - 7*j - 7 - 2 - j**3. Let u be m(8). Is (-1)/((-1)/(-3)) - u composite?
True
Suppose -2*a + 41 = -h, 37 = -h + a + 2*a. Let r = h - -82. Is r composite?
True
Let w(j) = 43*j**2 - 2*j - 17. Suppose 0 = 5*r + 3*i + 30 - 10, -3*r - 5*i - 12 = 0. Is w(r) a composite number?
True
Suppose 5*f - 2 = -5*s + 43, f = s + 1. Suppose -16 = -s*b + 16. Is (-5244)/b*(-6)/9 a prime number?
False
Let y(v) = -23*v**3 - 2*v**2 - 4*v + 29. Let h be y(-9). Suppose h + 20110 = 12*c. Is c composite?
True
Let o(r) = 21*r + 20. Let m(l) = l**3 + l**2 + l - 1. Let g be m(-2). Let w be o(g). Let i = w + 318. Is i a prime number?
True
Let q = 12764 + -9010. Is q composite?
True
Let f(a) = a**3 - 8*a**2 - 19*a - 5. Let y be f(10). Suppose -4555 = -y*x - 4*t, 5*x - 2*t = -1943 + 6468. Is x composite?
False
Is 21577/25 - (-8)/(-100) a prime number?
True
Let c be 10*(-3)/18*-3. Suppose -u - 2*r - 1 = -2, -c*u + 19 = -4*r. Is 1*(u - 6 - -24) composite?
True
Let o(y) be the first derivative of -y**4 - 2*y**3 - 3*y + 9. Is o(-5) a composite number?
False
Suppose 0 = -49*h + 63*h - 245266. Is h a prime number?
True
Let y(n) = n**3 + 15*n**2 + 54*n + 523. Is y(-12) prime?
True
Let l be 1/(1544/1542 + -1). Suppose 13*h - 10*h - l = 0. Is h prime?
True
Let m(l) = -130*l**3 - l - 3. Let k be m(-2). Let f = k + 30. Is f composite?
False
Suppose -2*b + 369 = w, 3*b + 367 - 938 = 2*w. Suppose -b = u - 624. Is u a composite number?
True
Let w = 64 - 62. Is 113 - (w - 4 - -2) a composite number?
False
Let b = -24 - -26. Let l(i) = 3*i - 4 + 25*i - b*i + 1. Is l(5) composite?
False
Let w(a) = a**2 + a + 1. Let b(j) = 3*j**3 - j**2 - 2*j - 1. Let h(d) = -b(d) - 4*w(d). Is h(-4) a composite number?
False
Let i(u) = -2*u**2 + 18*u - 4. Let d be i(9). Let x(w) = 68*w**2 + 8*w + 13. Is x(d) a prime number?
True
Let c(d) = -310*d + 1. Let g(q) = -1550*q + 5. Let l(z) = -11*c(z) + 2*g(z). Is l(2) a prime number?
True
Let i(o) = 33*o**2 - 3*o + 28. Let s be i(4). Let w = s - -10. Is w a prime number?
False
Is (8 - 3)*574739/55 composite?
False
Suppose -2*k - 34*p + 11664 = -33*p, 4*k = 3*p + 23338. Is k a composite number?
True
Let t be (-1)/(-1)*(-5)/5. Let y = t + 5. Suppose 3*w - 304 = 3*u - 4*u, -y*u + 1224 = 4*w. Is u prime?
True
Let s(u) = u**2 - 5*u - 1. Let b be (18/10)/(9/30). Let d be s(b). Suppose 193 = 2*k + 5*q, 3*k - d*q - 430 = -2*k. Is k prime?
True
Let y(w) = 220*w**2 - 16*w - 10. Is y(8) a prime number?
False
Let d = 7333 - 4576. Is d prime?
False
Let a be (-108)/16*12/1. Let z = -43 - a. Suppose -370 = -4*x - z. Is x composite?
False
Suppose 10*y + 16729 - 55819 = 0. Is y composite?
True
Let w = -293 + 203. Suppose -c + 34 = -37. Let j = c - w. Is j a prime number?
False
Is (-1*69*1)/((-36)/348) prime?
False
Let s(o) = 5*o + 2 + 19*o**3 - 20*o**3 + 7. Is s(-7) prime?
True
Let v(x) = 2*x**2 + 7*x + 12. Let k be v(-5). Let c = k - 22. Is c - 1 - (-77 + 2) prime?
True
Let u = 6859 + 34268. Is u a prime number?
False
Let t be 1516/6*(-9)/(-6). Let k be (6/4)/((-1)/(-382)) + -3. Let b = k - t. Is b composite?
False
Suppose -3*m = -12 - 54. Suppose 2 - 60 = -2*q. Suppose 3*z - m = o - 5*o, 0 = 5*o + 3*z - q. Is o a prime number?
True
Suppose 2*y + 216 = 236. Let w(x) be the second derivative of x**4/3 - x**3 - 11*x**2/2 - x. Is w(y) composite?
True
Let i(y) = -4*y - 151. Let b be i(-38). Let f(o) = -204*o**3 - 2*o**2 - o. Let m(c) = 408*c**3 + 3*c**2 + 2*c. Let v(r) = 7*f(r) + 4*m(r). Is v(b) prime?
False
Let w be (-2)/((-21)/(-15) - 1). Let a = w - -8. Is -22*10/(-4) + a a prime number?
False
Suppose 11389 = w - 5*i, -3*w = 8*i - 9*i - 34111. Is w a composite number?
False
Is (28/12)/(1/14583) composite?
True
Is (451/2 + 3)*34 a composite number?
True
Let k = -32 + 30. Let z be ((-4)/(-6))/(k/12). Is (-3204)/z - 4 - 0 composite?
False
Let b(q) = 3*q + 3. Let k be b(3). Suppose 4*i = -k + 24. Is i/(-2 - (-142)/68) a composite number?
True
Suppose 11*s - 444 = 9*s. Is 38/(-57)*s/(-4) prime?
True
Suppose -3*p + 216 = -6*p. Let o be 33/(-4)*p/27. Let q = o + 75. Is q a prime number?
True
Suppose -149817 = 19*r - 510874. Is r a composite number?
True
Let s(q) = 551*q**2 + 11*q + 19. Is s(-4) composite?
True
Let a be -3 + 0/(-4) + 33. Let p = a + -34. Is p + 341 - (-4)/(-2) a prime number?
False
Let m = 21121 - 10827. Is (m/4)/(18/36) a prime number?
True
Suppose -f = -101*p + 106*p - 31375, 0 = 4*f - 20. Is p composite?
True
Suppose 52 = 2*n - 0*n + 4*s, -4*n + s = -122. Suppose -15 = 3*o + 9. Let v = o + n. Is v composite?
True
Suppose 810 = -0*h + 5*h. Suppose h = 5*f + 47. Suppose -24*w + f*w + 293 = 0. Is w composite?
False
Let l be 206/(-8)*(-5 - -1). Suppose -4*w - 73 = 207. Let k = l + w. Is k a composite number?
True
Suppose 15*u - 19*u + 1680 = 0. Let l = u - 169. Is l prime?
True
Let n(t) = -t**3 - 5*t**2 + 5*t - 2. Let r be n(-7). Suppose 5*c - r = 34. Suppose 3*d - c = 2*d. Is d composite?
False
Suppose 5*l - 3*h - 5045 = 0, -1353 = -2*l - 2*h + 649. Is l prime?
False
Let h = 5358 + -655. Is h prime?
True
Let p(j) = j**3 - 17*j**2 - 15*j + 46. Is p(27) composite?
True
Let o = 116 - 3. Is o a prime number?
True
Is -1 - (30/(-25))/((-27)/(-1434150)) composite?
True
Is (-1)/(-7) + 104460/105 prime?
False
Let i(o) = o**2 - 4*o. Let k be i(4). Let l(y) = 3*y + 4605. Let a be l(k). Suppose -5*t = -2*h - a, -9 - 6 = 3*h. Is t a prime number?
True
Suppose -4*h + 3*b + 35 = 0, 3*h + 0*b = -3*b. Suppose -h*j - 2*u = -1331, -2*j + 259 = -j - 2*u. Suppose 3*s - 8*s + j = 0. Is s prime?
True
Let v = -8 + 10. Suppose 3*f = 3*m + 12591, v*m - m + 20969 = 5*f. Is f prime?
False
Suppose 5*c - 785 = 2*a, 4*c - 357 - 271 = -4*a. Let b = 32 + -18. Suppose -w + c = b. Is w a composite number?
True
Let q(u) = 2*u**3 + 6*u**2 - 10*u + 21. Let x be q(5). Is (23 + -24)/((-1)/x) a composite number?
True
Is (-3)/9 - (-231744)/36 - 0 prime?
False
Suppose -3*z + r + 146922 = 0, 0 = -0*z - 4*z - 2*r + 195886. Is z a composite number?
False
Let w be (0 + -1)*(-4 - -138). Let x = w + 227. Is x a composite number?
True
Suppose -4*w = 2*l - 6, 3*l + 3*w - 3 = 6. Suppose -5*q = -5*f - 20990, -4*f = -0*q - l*q + 12599. Is q a prime number?
False
Let d = -3 - -8. Suppose 163 = -d*s + 478. Let a = s - -8. Is a prime?
True
Let q(g) = g**2 + 0*g**2 - g + 1 - 4 + 7. Let m be q(-3). Suppose -4*j - 2*s = -744, m + 167 = j + 2*s. Is j a composite number?
True
Let v be 10/6 - (-2)/6. Suppose v*k + 3*k + 140 = 0. Is (-2 - k/12)*69 prime?
True
Let x(m) = -3*m + 6*m**2 - 3*m + 0*m + 5. Is x(4) a composite number?
True
Let f = -16 + 19. Suppose 1671 = f*y - 0*y. Is y composite?
False
Suppose 2*q + 14 = -0*q. Let k(j) = j**2 + 9*j + 14. Let g be k(q). Is (g - -2)/((-8)/(-1652)) prime?
False
Let l = 974 + 213. Is l composite?
False
Let p(n) = 2*n**3 - 5*n**2 + n - 3. Suppose -2*v - 4 = 0, 4*v = 5*m + 9 - 27. Suppose -3*k + 11 = 4*h, 2*h + 4 = 4*h + m*k. Is p(h) prime?
True
Let w(x) = -23 + 2*x + 30 - 15. Let i be w(6). Suppose 2*m = 4*q + 1774, q = -i*m + 4*q + 3548. Is m a composite number?
False
Suppose 0 = 2*f - 4*o - 12, f + 5*o + 4 = -4. Suppose f*m - 341 = 31. Suppose -5*n - 3*p = -m, 2*p - 9 + 210 = 5*n. Is n a composite number?
True
Let z = 80 + -78. Suppose z*y + 4359 = 2*q + y, -y = 1. Is q composite?
False
Suppose -2*o - 2*o = -n + 2183, n - o = 2198. Is n prime?
True
Suppose 0 = 4*s + 12, -3*o = -8*o + 5*s + 40. Let n = 9 - o. Suppose -n*h = h - 1975. Is h composite?
True
Is ((-32879880)/(-715) + (-2)/(-13))/2 composite?
False
Suppose -4*o = b - 8, 4 = -3*b + 5*b - 4*o. Suppose 0 = 5*z + b*z - 10359. Is z composite?
False
Suppose i - 3621 = 4*p, 4*i - 19*p - 14568 = -24*p. Is i composite?
False
Suppose -4*p + m + 2*m + 27 = 0, 5*p + 3*m = 0. Is p + (-1)/(4/(-832)) composite?
False
Let k(i) = 1303*i - 10. Let l be k(-2). Let j = l - -4115. Is j prime?
True
Let x(z) = -2*z - 4. Let l be x(-3). Suppose -2*s + 4*u - 6 = 0, l = s + s - 2*u. Is 1 + 53 + (2 - s) a prime number?
False
Suppose -24*z + 8 = -26*z. Let b = 16 + -10. Is (-9)/b - 2722/z a composite number?
True
Suppose -3*p - 6 = -3. Let c be (-4 - -43)*(3 + p). Suppose a - 301 = -c. Is a a prime number?
True
Suppose -19 = 3*b - 22. Is (-6)/(3/5 - b) a composite number?
True
Suppose -335*n + 630928 = -319*n. Is