+ 68*t - 1. Is o(8) prime?
True
Let b = 48593 - 32724. Is b a composite number?
True
Let u be (19/(-2))/(-4 - 270/(-68)). Is (0 + u/1)/1 prime?
False
Suppose 571 = -2*u - 7973. Let y be (u/18)/((-4)/6). Suppose 3*s = y + 133. Is s prime?
True
Is 5*-1 - (5 - (63932 - 21)) a composite number?
False
Suppose 202789 = 27*o - 12806. Is o a composite number?
True
Suppose 7*f - 181 = -20. Suppose 18*c - f*c = -3365. Is c prime?
True
Let c = -31871 - -44812. Is c a prime number?
True
Suppose 6*a = -2*a + 96. Suppose -a = -3*g + 33. Is g composite?
True
Suppose -96738 = 43*i - 49*i. Is i prime?
False
Let z(h) = -17*h**3 + 7*h - 13. Let f(q) = 9*q**3 - 4*q + 7. Let y(x) = 11*f(x) + 6*z(x). Is y(-4) prime?
True
Let o(n) = 11*n**3 + 8*n**2 - 138*n - 7. Is o(8) prime?
False
Let o = 97746 + -68131. Is o prime?
False
Let j = 150679 - 75278. Is j a composite number?
False
Suppose 0*g - 8*g = 32. Is (-192078)/36*g/6 a prime number?
True
Let c(w) = w**3 - 19*w**2 + 47*w - 52. Is c(21) prime?
False
Let g(r) = -5822*r - 181. Is g(-7) prime?
False
Suppose -3*y + 2*k + 8149 = 0, -12*k + 8169 = 3*y - 9*k. Is y a composite number?
False
Suppose -2*f - 620 = -5*o + 3*f, -5*o - 3*f + 604 = 0. Let b = 171 - o. Suppose -290 = -2*l + 2*a, -4*l + 621 - b = -2*a. Is l a composite number?
True
Suppose -3024 = -5*i - i. Let h = i - 85. Is h prime?
True
Suppose 0*j + 43 = j. Let l = 80 - j. Is l a prime number?
True
Let w(t) = -t**2 - 17*t + 18. Let o be w(-17). Is 4/o + 15033/27 a prime number?
True
Let u(o) = o**3 + 4*o**2 + 4*o + 3. Let j be u(-3). Suppose -8*m = -2*m + 15*m. Suppose -5*h + 5*n + 680 = m, j*h + 4*h - 547 = 5*n. Is h a composite number?
True
Let i be 6/(-5)*3660/2. Is 2/(-10) + i/(-5) prime?
True
Suppose 0*h - 44 = -h. Let n = 164 - 126. Is n*-1*h/(-8) prime?
False
Let p = -32 + 36. Suppose 175 = f + p*i, 0 = -2*f - 2*f - 3*i + 713. Is f a prime number?
True
Suppose 4*r = 3*r + 1752. Let d = -965 + r. Is d prime?
True
Let x(v) = 49*v**3 - v**2 + 4*v - 7. Let t be x(3). Suppose q - 260 = 3*n, 0 = 5*q - 0*n + 4*n - t. Is q a prime number?
True
Suppose -10 = -49*l + 54*l. Is (-5268)/(-18) + l/(-6) a prime number?
True
Suppose 78 = 7*h - 69. Is 6/h - (-1374)/42 prime?
False
Let f(p) = -18*p**3 - 18*p**2 - 20*p + 67. Is f(-14) a composite number?
True
Is (2532 - 1)*(-5)/(-30)*6 a composite number?
False
Let x(z) = z**3 + 2*z**2 - 2*z + 4. Let j be x(-3). Let l be j/(-3) - (-1736)/6. Let c = 512 - l. Is c prime?
True
Let a = 6402 - 2926. Suppose 5*w - a = -3*k + 3339, -4*k = -2*w + 2726. Is w composite?
True
Let x(m) = -m**3 - 2*m**2 - 3*m - 1. Let z be x(-2). Suppose t + 3*y - 4360 = -3*t, z*y = -5*t + 5455. Is t composite?
False
Let d(i) = 16*i - 3. Is d(7) a prime number?
True
Let k = -36 - -55. Let y be 6 - (1 - (4 + -4)). Suppose -k = -4*u + y. Is u a composite number?
True
Suppose 5*f - 146 = -0*q + q, -5*q - 690 = -5*f. Is 2/(-17) - 50744/q prime?
True
Is (-8)/(-6)*2490/20 composite?
True
Let c be 3 - (3 - (-2 + 5)). Suppose -c*p = -l + 1088, l - 5*p - 1098 = -0*l. Is l prime?
False
Suppose 0 = -3*s + 2454 - 741. Let r = s + -264. Is r prime?
True
Suppose -3*i = -4*t - t + 2, -4 = -3*i - t. Let o be 25/(-15) + i/(-3). Is 2 - (o - (301 + 2)) prime?
True
Let a = -16 + 4. Let q(l) = 12*l**2 + 17*l + 11. Is q(a) composite?
True
Suppose -5*r - 535 = -1555. Suppose -9*u + 1455 = r. Is u composite?
False
Suppose 0 = 26*m - 6*m - 58420. Is m a prime number?
False
Let l = -65 + -31. Is 2/16 + (-85332)/l a composite number?
True
Let j = -1403 - -5288. Is (8/(-16))/(j/(-1942) - -2) prime?
True
Let v(t) = 758*t - 1. Let i be v(1). Suppose 2*q + 5*d + 8 = 6*q, -2 = -q + d. Suppose 3*z = -q*h + z + 1502, h + 4*z = i. Is h prime?
False
Let f(p) = 2828*p - 449. Is f(6) composite?
False
Let y(a) = -a**3 + 9*a**2 - 7*a - 7. Let r be y(8). Let v(z) = 3*z**2 - 2*z + 1. Let g be v(r). Suppose 2*w - 20 = 5*t + 26, g*w - 6 = -5*t. Is w prime?
True
Let x = -127 + 132. Suppose -6055 = -5*k - 2*c - 0*c, 3*k - 3664 = x*c. Is k composite?
False
Suppose -5*x - 915 - 825 = 0. Let h = x + 507. Is h a prime number?
False
Let c(w) = 169*w**2 + 9*w - 33. Is c(5) a prime number?
False
Let u = -9 + 12. Suppose -u*w - 6 = -0*w. Is ((-1)/w)/(8/48) composite?
False
Is (1 - -49765) + (-1 - 2) prime?
False
Suppose 3 + 5 = 4*h. Let k(y) = 2 - 29*y + 3 - 8 + h. Is k(-2) a composite number?
True
Is (3/3*11981)/(-15 - -16) a prime number?
True
Suppose 358*v = 361*v - 68217. Is v composite?
False
Suppose 2*o + 5*i + 47 = 0, i = -4*o + 4*i - 29. Let u = 10 + o. Is (-43)/(2 + 3/u) composite?
False
Suppose 3*j - 11393 = -1373. Suppose 439 - j = -3*t. Is t prime?
True
Let d(y) = y**2 + 6*y - 1. Let c be d(-6). Let g(s) = -2*s + 21. Let z be g(11). Is c/((z/(-127))/(-1)) composite?
False
Is (-6)/(-39) - (-1772735)/65 a composite number?
True
Suppose 4*b - 4*f - 28 = 0, 4*b - 5 - 17 = f. Suppose -b*h + 4 = -3*h. Suppose l = h*l - 469. Is l composite?
True
Let a(i) = -i - 9. Let w be a(6). Is w - -19 - (1 - 314) prime?
True
Suppose -4 = 4*w - 5*j, -8 = -4*w - w + 3*j. Is (-16)/(-24)*834/w a composite number?
False
Suppose 3*t + 50874 = 6*t. Is (-80)/(-120) - (t/(-6) - 0) a composite number?
True
Suppose -9 = -r - 0*r. Suppose -r*k + 6*k = -15. Suppose -3*s + k*c + 662 = s, -4*c - 8 = 0. Is s composite?
False
Is (-1465)/(4/10 + 56/(-40)) composite?
True
Let r(x) = -x**3 + 8*x**2 + 11*x + 9. Let y be r(-7). Let b = y - 462. Is b composite?
True
Suppose x = -3*v + 456, x + 3*x - 1872 = 4*v. Let h = x + -68. Is h a prime number?
True
Let f(u) = -2*u + 1300. Let c be f(0). Suppose 3*q + 5*r - c = -2*q, 4*q + r = 1037. Is q composite?
True
Let a = 83 - -171. Let d = a + -105. Is d a prime number?
True
Let k = 28351 - 14612. Is k a composite number?
True
Let x(m) = m**2 + 22*m - 24. Let r be x(-23). Is r - -90 - (-1 + 1) a composite number?
False
Suppose 3*i = -10468 + 54025. Is i prime?
True
Is 23712 + (11 - 120/12) composite?
True
Let o = 6 + -6. Suppose -2*f + 5*f - 6885 = o. Suppose 2*d - f = -197. Is d composite?
False
Suppose p = 4*s - 805, -3*s + 4*p = -5*s + 398. Is s a composite number?
True
Suppose -2078 = -9*l + 4555. Is l a composite number?
True
Suppose 60*f = 64*f. Suppose 0*q = -3*q - 4*l + 1979, -2*q - 3*l + 1321 = f. Is q prime?
True
Suppose -c - 2*q = -1945, -6612 = -4*c + 2*q + 1188. Is c a composite number?
False
Let l = 2 - -5. Suppose -5*g + l = -5*a - 3, -3*a = -5*g + 10. Suppose -4*x = -54 + g. Is x a composite number?
False
Let v(q) = -67*q + 41. Is v(-14) prime?
False
Suppose -8 = 8*q - 10*q. Suppose 0 = 5*a + 4*w - 526, 0 = a - 3*a - q*w + 208. Is a a prime number?
False
Let p(o) = 6*o**2 - 60*o + 5. Is p(33) prime?
False
Let i = -2 + 12. Let u be (-36)/30*i/(-3). Is 3/6 + 74/u a composite number?
False
Suppose 0 = 2*f, 2*f - 11 = -x + 2*x. Let b be x + 2/5*5. Let d(l) = -14*l + 5. Is d(b) a prime number?
True
Let g = -16300 + 32453. Is g a prime number?
False
Let q = -342 - 28. Let h be (-2 - 2) + (-2 - -2). Is h - (-4 + q) - -3 a composite number?
False
Suppose 0 = 5*t - 5 + 35. Let y(d) = -3*d + 6. Let a be y(t). Suppose -50 = -c + a. Is c prime?
False
Let r(d) = -d**3 + 4*d**2 - 6*d. Let p(w) = -1. Let i(u) = 6*p(u) - r(u). Let m be i(3). Suppose 4*j - 509 = -8*z + m*z, -j - z = -128. Is j composite?
False
Let y(u) = 6*u + 7. Let j = 7 - -9. Let l = 22 - j. Is y(l) prime?
True
Let b = 999 - 322. Suppose -b = -4*k + 847. Suppose -k = i - 4*i. Is i a composite number?
False
Let f(r) = 35*r**2 + 5*r - 33. Is f(7) a composite number?
True
Let g(v) = 10488*v + 17. Is g(2) composite?
True
Suppose -4*z + 17601 = -19315. Is z composite?
True
Suppose 0 = -6*h + 22 + 8. Suppose g - 1326 = -h*g. Is g a composite number?
True
Let b(o) = o**2 - o + 1. Let i(j) = 2*j**3 - 10*j**2 + 10*j - 10. Let q(a) = -10*b(a) - i(a). Let g be q(-2). Let v = g - 9. Is v prime?
True
Suppose 0 = -179*d + 181*d - 4. Suppose 372 + 514 = d*z. Is z a prime number?
True
Let y(n) be the first derivative of 8*n**2 + n + 2. Let m(x) = -x**2 - 9*x + 1. Let p be m(-8). Is y(p) composite?
True
Suppose 3*x - 274 = 5*z - 2357, -3*z + 5*x = -1237. Is z a composite number?
False
Let s(z) be the first derivative of 59*z**3/3 + 3*z**2/2 + 31*z - 41. Is s(-7) prime?
False
Suppose -2352 = -s + 571. Is s a prime number?
False
Let n