 Let r = 10 - 7. Suppose 3*t - p = 2*i, -2*t + r*i = 2*i - 230. Is t a prime number?
True
Let b(n) = 2*n**2 - 18*n + 25. Let y be b(8). Let x(d) = -3*d + 13 + 4*d**2 + 4*d**2 - 3*d**2 + 2*d**2. Is x(y) prime?
False
Suppose 0 = -3*o - d - 20872, 0 = -2*o + 8*d - 3*d - 13909. Let i = -1496 - o. Is i prime?
False
Suppose 215*z = 217*z - 8. Let y(n) = 21*n**3 - 4*n**2 + 6*n - 27. Is y(z) composite?
False
Let z(s) = -s + 1. Let c(j) = -1556 + 12*j - 13*j + 8*j + 4025. Let g(y) = c(y) + 4*z(y). Is g(0) composite?
False
Let y(a) = 148*a**2 - 41. Let t be y(-7). Let l = -1453 + t. Is l a prime number?
False
Let l(s) = -21*s + 1. Let v be l(2). Let m = 2 - v. Is (-31*m)/(-1) - -4 a prime number?
False
Suppose 4*u - 13 = -1. Suppose -10 = u*m - 22. Suppose 3*t + 5*g = 1753, t + m*g = 4*t - 1735. Is t a composite number?
True
Let h be -5 + 2 + (5 - 4) + -4. Is ((-4)/(-6))/(5/(-33795)*h) composite?
False
Is (-4)/(-2)*(-140111)/(-2) - 9 a composite number?
True
Let v = -487 + 199. Let q = -535 - v. Let a = q + 554. Is a composite?
False
Let y(r) = -32*r**3 + 6*r**2 + 9*r - 23. Suppose -18*i + 2 - 146 = 0. Is y(i) prime?
True
Let u(z) = -8*z. Let b be u(-1). Suppose -b*v + 0*v = -10352. Let k = -903 + v. Is k a composite number?
True
Let b = 439 + 2355. Suppose 8*w - b = 7070. Suppose 2239 = 5*z + 3*v, 5*v - w = -4*z + 553. Is z composite?
False
Let b(y) = 12*y - 10. Let h be b(3). Let m = h - 19. Is m/(3*(-3)/(-9)) a composite number?
False
Suppose -2*o - 2*y = -2462, -42*y = 3*o - 44*y - 3673. Is o prime?
False
Suppose 0 = -14*s + 4*s - 120. Suppose -29 = d - 4*x - 612, 0 = -2*d - x + 1202. Let l = s + d. Is l a prime number?
True
Let g be (-1523 + (8 - 3))*3/6. Let f = 8660 + g. Is f composite?
False
Let x(u) = -u**3 - 8*u**2 + 37*u - 9. Let c be x(-11). Suppose 0 = o - 0*o + 4*q - 94, -5*o - 2*q + 506 = 0. Let m = c + o. Is m composite?
True
Let v = -201 - -206. Is (-1 + -1)/(v + -3) + 1362 composite?
False
Suppose -2*d + p + 89499 = 0, -6*p + 134231 = 3*d - 4*p. Is d prime?
False
Suppose -4*r + 0 = -4, 0 = -4*m + 4*r + 12. Let s(j) = 12*j**2 - 366*j + 45. Let b be s(31). Let q = b + m. Is q prime?
False
Let l be (-2 - -1 - -6170)/((-34)/170). Let d = -12924 - l. Is d composite?
False
Let n(d) be the first derivative of -637*d**2/2 - 30*d - 119. Is n(-31) prime?
True
Suppose -33*s = -36643 - 162314. Is s a prime number?
True
Suppose -4*u + 177487 = -5*i + 58604, 5*i = -4*u + 118853. Is u a prime number?
True
Suppose 137 = 3*y - b, -5*y - 5*b = -27 - 188. Let w be (-1869)/(-27) + (-10)/y. Let p = w - -194. Is p prime?
True
Suppose 0 = 12*j - 9*j + 4773. Let i = -857 - j. Let x = i - 415. Is x a composite number?
True
Suppose 19*f - 112 = 12*f. Is (f + -19)/(6/(-41954)) a prime number?
False
Suppose -8*i + 4*i - t = -10890, 0 = -5*t + 30. Is i prime?
False
Suppose 2*z - 3*n - n + 2 = 0, 5*n - 5 = 5*z. Let y(a) be the first derivative of -48*a**4 - a**3/3 - 94. Is y(z) prime?
True
Let k(b) = b**3 + 7*b**2 - 2*b - 24. Let m be k(-7). Let q be (-5 - 115/(-25))*m. Is (3/6 + (-2553)/q)*-4 prime?
True
Let c(t) = 6*t**2 - 10*t - 8. Let f be c(7). Suppose -384 = -3*u - 3*g + 213, -4*u - g + 808 = 0. Suppose u = m - f. Is m prime?
True
Let d = 878 - 875. Suppose 2*s - 2258 = -2*w - 2*w, 3*w = -d*s + 1698. Is w a composite number?
False
Let n(y) be the third derivative of -17*y**6/40 - y**5/20 - y**3/2 + y**2. Suppose 14 - 12 = 3*l + 8. Is n(l) composite?
True
Suppose 500*p - 453*p = 296899. Is p a prime number?
True
Let u = -9125 - -16634. Let w(s) = 2236*s. Let a be w(2). Let v = u - a. Is v composite?
False
Suppose 4*q + 5437 = 4*t - q, 2*q = -10. Let z = t - 202. Is z a composite number?
False
Suppose -584605 = -k + 3*p - 154214, -p = 5*k - 2152019. Is k a composite number?
True
Let n be 33 + -1 - 7/((-14)/6). Suppose -n*g = -32*g - 9. Suppose 0 = -m - g*m + 1156. Is m prime?
False
Let d = -342576 + 644825. Is d a prime number?
False
Let o = 51 + -53. Let w be (9 + -2)*(-2)/(o/(-71)). Is w*(0/2 + -1) prime?
False
Is 3*(-3)/(-36) - 5/((-200)/1434270) a composite number?
True
Let j be (2208/15)/8 - 12/30. Suppose j*m - 226820 = -2*m. Is m composite?
True
Suppose -8 = 93*r - 95*r, 3*r = -2*j + 289570. Is j a composite number?
False
Suppose -3 = 5*q + 3*j + 9, -4*q + 3*j + 12 = 0. Suppose m = -5*y + 2*m + 17757, -4*y - 4*m + 14196 = q. Is y composite?
True
Suppose 10*j + 70890 = o + 11*j, 0 = j - 5. Is o a composite number?
True
Suppose -5*d - 5*z + 638 + 2597 = 0, 5*d - 3*z = 3195. Suppose 5*v = 6*v - d. Suppose v = 3*p - 0. Is p a prime number?
False
Let i(u) = -u**2 + 9*u - 4. Let h be i(8). Suppose -h*y = 707 - 2587. Suppose 5*f + y = 5*d, 0*d + 100 = d - 3*f. Is d a composite number?
True
Let d(h) = 5*h**2 + 19*h - 11. Let t be d(3). Is 0 - (-13746)/21 - (-39)/t composite?
True
Let p(r) = -9*r**3 - 20*r**2 + 159*r + 4. Is p(-21) a prime number?
False
Is ((-192664)/(-12))/((-2 - (-33)/18)*-4) composite?
False
Let u(k) = 12 - 27*k - 31*k + 57*k. Let h be u(6). Suppose h*n = -2682 + 12048. Is n a prime number?
False
Let s = -34 - -38. Let z be ((-2)/s)/((-4)/(-48)). Let i(d) = 80*d**2 + 7. Is i(z) prime?
True
Is (-2)/6 - 1294174/(-21) composite?
False
Suppose -5*w + 4*d = 46110, 5*w - 5*d + 69004 - 22894 = 0. Let i = 13179 + w. Is i a composite number?
True
Let b(y) = -845*y + 3. Suppose l - 56 = -21. Suppose -34*u + 2 = -l*u. Is b(u) prime?
True
Let m = 4612 + 4311. Is m composite?
False
Let a be 69/(-9)*(-555)/(-10)*-2. Let q = 2592 - a. Is q a composite number?
False
Let r(k) = -584*k**2 + 293*k**2 + 286*k**2 - 5*k - 3. Let t be r(-11). Let v = 2670 + t. Is v a composite number?
True
Suppose 0 = 5*g - 37 + 52. Let j(f) = 26*f**2 + 2*f + 8. Let t be j(g). Suppose 4*i = -d + t, 2*i + 3*d - 2*d - 120 = 0. Is i composite?
True
Let c(y) = -8833*y - 5605. Is c(-32) prime?
True
Let r(i) be the first derivative of 5*i**3/3 - i**2 - 2*i - 8. Let y be r(-1). Suppose -4*w - 12 = 0, 3*b - 6612 = -y*w + 6*w. Is b composite?
False
Let y(x) = 44*x**2 + 4*x + 4. Let z(d) = -123*d**2 - 12*d - 12. Let f(j) = -8*y(j) - 3*z(j). Suppose 0*w - 5*w = 25. Is f(w) composite?
False
Is (-308)/14 + 65750 - (0 - 5) a composite number?
True
Let l be (-15)/5*46650/9. Let b = 18966 - 29079. Let s = b - l. Is s a composite number?
False
Let k(h) = 9223*h - 4084. Is k(5) a composite number?
True
Suppose m - c - 8735 = 0, m + 5*c - 1676 = 7053. Suppose -6*h = -m - 25688. Is h composite?
False
Let z = -53 + 54. Let m(j) = 4086*j**2 - 4*j + 1. Let b be m(z). Suppose -3*k - 252 = 5*v - b, -3*k + v + 3849 = 0. Is k a prime number?
False
Suppose -13*w = -1721275 - 340824. Is w a prime number?
False
Let o be (-8 - -13)*(-1)/(0 - 1). Let d(w) = 317*w**2 - 37*w + 161. Is d(o) a prime number?
True
Let b(q) = 21*q**2 - 11*q - 1. Let y = 54 + -22. Suppose 0 = 2*p - 4*v + y, -4*v - 2 = 4*p + 26. Is b(p) a prime number?
False
Let r(n) = 18*n**2 + 314*n + 611. Is r(-99) a prime number?
False
Suppose 0 = -28*t - 6*t + 5008253 + 5848185. Is t composite?
True
Let x(f) = -f**3 - 14*f**2 - 12*f + 18. Let b be x(-13). Suppose -10 = -b*o + s + 24, 0 = 2*o - 2*s - 20. Suppose -o*q + 0*q = -294. Is q composite?
True
Let h(c) = -2450*c**3 + 3*c**2 + 4*c - 2. Let s be h(-2). Suppose -6046 = 4*i - s. Is i prime?
True
Is (3/(-7) + 25818/364)/((-6)/(-3284)) composite?
True
Let k(x) = -10538*x + 1115. Is k(-31) a composite number?
True
Let g = -9 - -5. Let h(a) = 3*a**3 - 23*a**2 - 46*a + 44. Let y(b) = b**3 - 8*b**2 - 15*b + 15. Let o(u) = g*h(u) + 11*y(u). Is o(-9) composite?
True
Let c be ((-3050)/(-915))/((-2)/(-6)*2). Suppose 0 = -o + c*o + 3*w - 118296, -5*o = 4*w - 147869. Is o prime?
False
Suppose 2*y + 2530 = -76. Let h = 5 - y. Suppose -981 = -3*v + b - 5*b, 4*v - 3*b - h = 0. Is v a composite number?
True
Suppose -5*k = k + k. Suppose -4*x + 3*j = -68, k*x + 5*j = 3*x - 62. Suppose x*i - 9009 - 26817 = 0. Is i composite?
True
Let w(g) = 5*g**3 + g**2 + 2*g - 4*g + 4 - 4*g**3 - 11. Let i = 2 + 2. Is w(i) a prime number?
False
Let x = 37945 + 156712. Is x a composite number?
True
Suppose 5*v + 0*t = 2*t - 8, -2*v + 5*t - 20 = 0. Suppose -742196 = -v*j - 28*j. Is j a prime number?
False
Let m = 82349 + -23616. Is m composite?
False
Let y be -2*(3 + -4 - 0). Let x be ((-103474)/(-21) - -5) + y/(-6). Suppose -16