
Suppose 3 = -q + 4. Let r be ((-3 - q)/(-8))/((-3)/2376). Let m = 23 - r. Is m a prime number?
True
Suppose 497*j - 490*j = 49. Suppose 0 = -j*g + 16361 + 8076. Is g prime?
True
Suppose 4156991 = -168*t + 187*t. Is t a prime number?
False
Suppose 0 = -74*x + 158*x - 216804. Is x composite?
True
Suppose 30*h - 582629 = 9*h + 3722770. Is h a prime number?
True
Let m = 193 - 79. Suppose 5*g + m = 349. Is g composite?
False
Let c be 1 + -2 - (-2 + -2). Let r(t) = -2014*t**2 + 36*t + 2. Let h be r(-1). Is (2 + 1 - h)*(c + -2) prime?
False
Suppose -4*u - 9*q = -11*q - 173928, 4*u = 5*q + 173934. Is u composite?
False
Let x = 24239 - 10430. Is x a prime number?
False
Suppose -3*m = -5*r - 28, -27*m + 6 = -26*m - 5*r. Let v(n) = -2*n + 19. Let s(x) = -x. Let w(a) = -5*s(a) - v(a). Is w(m) a prime number?
False
Suppose -7 = 22*o + 37. Is (1 - 263)*o*(-2961)/(-252) a prime number?
False
Let o = -36 + 40. Suppose -3*t = -3*g - 12, g - 7 + 20 = o*t. Suppose t*m + c = -3*c + 1185, -5*c = -5*m + 1940. Is m prime?
False
Suppose 3*q + 6 = 4*j + 5*q, -5*j + 4*q = -27. Let h be (0 + -1)*-1*j. Suppose -z + h*r + 22 = -0*z, 5*z + 4*r = 91. Is z a composite number?
False
Let z(x) = -1393*x + 124. Is z(-6) a composite number?
True
Let x(m) = -6*m**3 - 119*m**2 - 287*m - 49. Is x(-50) composite?
False
Suppose 251452 = -14683*k + 14687*k. Is k composite?
True
Suppose 2*f - 6249 + 54606 = 3*y, -5*y = -5*f - 80600. Suppose v + y = 2*n, 5*v = -8 - 7. Is n prime?
False
Let n(i) = 2*i + 27. Let c be n(-15). Let u(f) = -826*f + 25. Is u(c) prime?
True
Suppose 6*a - 10*a + 5*z - 4897184 = 0, -5*a = 3*z + 6121480. Is (-2)/(-6) + a/(-129) prime?
True
Let j be (-9 + -2)*24/(-132). Let w(b) = 401*b**3 - b**2 - 5. Is w(j) a composite number?
True
Let z be 7965/(-180)*(-1 - 17/3). Let j = z + -96. Is j prime?
True
Suppose 3*x + 4*y - 5123 - 1090 = 0, x = -2*y + 2073. Let z = x - -512. Is z a prime number?
True
Let b(a) = -9995*a**3 - 7*a**2 + 21*a + 92. Is b(-5) prime?
True
Suppose 5*p = 5*b - 63595, -23*p = 5*b - 18*p - 63535. Is b composite?
False
Suppose 2*s - 610 + 604 = 0. Suppose -26*i + 30751 = -s*i. Is i a composite number?
True
Suppose 43 = -8*y - 21. Let o be y/4 + 6 + (-2)/2. Suppose 2*i + 4*k - 49 - 189 = 0, o*i = -5*k + 355. Is i a composite number?
True
Let y(z) = 226*z - 273. Suppose -8*u = -2*f - 5*u + 44, -3*f + 5*u + 66 = 0. Is y(f) prime?
False
Suppose 140*c + 103*c = -15743087 + 55845134. Is c a composite number?
True
Let l(i) = -1325*i - 139. Is l(-6) a prime number?
False
Is (475032/(-4))/(((-4)/(-10))/(8/(-40))) prime?
False
Let q(o) = -301*o - 128. Let w(g) = -603*g - 253. Let z(m) = 5*q(m) - 2*w(m). Is z(-5) prime?
True
Let b(v) = -19 - 19*v**3 + 5*v - 3*v**2 + 2*v**3 + 18*v**3. Is b(16) composite?
False
Let j(x) = x**2 - 21*x - 170. Let s be j(-7). Suppose -s*v = 18*v - 124036. Is v a prime number?
True
Suppose -11*x + 12134 = 826. Is 1/(4 - 4108/x) a prime number?
True
Let z(n) = 969*n**2 - 154*n + 1978. Is z(14) a composite number?
True
Let z = 5512 - 5321. Is z a composite number?
False
Let b be 1/((-5)/10*(-2)/3). Suppose -4*l + 587 - 2532 = -5*g, 0 = -2*g - b*l + 778. Is g a composite number?
False
Suppose -5*x - 23 = -63. Is ((-9154)/x)/(15/(-60)) composite?
True
Suppose -73 = 4*w + 15. Let a = w - -34. Let g = a + 67. Is g a composite number?
False
Let n(k) = 547*k**3 + k**2 - 4*k + 1. Let f = 66 - 64. Is n(f) a composite number?
False
Suppose 2*r = -83*b + 86*b + 144511, 6*r - 5*b = 433553. Is r a composite number?
True
Let f = -29 + -31. Let q = f - -59. Is (q/(-1))/(12/9636) prime?
False
Let d(a) = 205*a**3 - 3*a**2 - 13*a - 25. Let c be d(6). Suppose 49583 + c = 52*g. Is g composite?
False
Let x(t) be the second derivative of t**5/60 - t**4/3 - 13*t**3/6 + 17*t**2/2 + 26*t. Let y(i) be the first derivative of x(i). Is y(-6) prime?
True
Suppose -231100 = -3*h - h. Suppose -s - h = -2*n, 0 = 2*n - 5*n - 3*s + 86676. Is n prime?
False
Let h(k) = 2*k**2 - 18*k - 21. Suppose -5*u - 15 = -6*j + 2*j, 2*u + 6 = -j. Suppose j = 3*t + b + 25, t - 5*t = b + 33. Is h(t) a composite number?
False
Suppose -3*u = -5*o + 43355, 2*o - 26013 = -o + 2*u. Suppose 0 = 18*x - 31*x + o. Is x composite?
True
Let d be 16/40 + ((-249)/(-15))/1. Suppose d*i + 854 = 19*i. Is i a composite number?
True
Suppose 19*a - 16*a + 2*x - 564451 = 0, 0 = -3*a - 4*x + 564443. Is a a prime number?
False
Is ((-729)/63 - -12 - 3116/(-14))*1 prime?
True
Let j(w) = -43*w**3 - w**2 - 4*w + 10. Let x(p) = 9*p**2 - 40*p + 12. Let n be x(4). Is j(n) prime?
False
Suppose 13*f = -3*f + 16. Let q(i) = 1714*i**3 + 7*i**2 - i + 1. Is q(f) composite?
False
Let l = -26 - -44. Let u = 371 + -461. Is l/u + ((-30864)/10)/(-2) a composite number?
False
Let z = -113 + 114. Let s be z + -1 + 786*1. Let m = 781 + s. Is m prime?
True
Let v = -573143 + 847476. Is v a prime number?
True
Let d(g) = -111*g + 35. Let w be d(-8). Suppose -l + 5176 = w. Is l prime?
True
Let q(z) be the second derivative of 43*z**6/120 - 47*z**5/120 + 5*z**4/3 - 32*z. Let i(k) be the third derivative of q(k). Is i(7) prime?
True
Let l be -1048*(54/(-6) - -4). Suppose l = 4*y - 38868. Is y composite?
False
Let h(m) = 2*m + 3. Let r(a) = 22*a - 193. Let x(b) = 2*h(b) - r(b). Is x(8) a composite number?
True
Suppose i + 22 = w, 3*i + 2*w = -13 - 38. Let g = i + 33. Let b(m) = -m**3 + 15*m**2 + 4*m + 13. Is b(g) a prime number?
False
Let s(q) = 2*q - 12. Let n be s(7). Let b be (-430)/(-6) + n/(-3). Suppose -68*v + b*v = 4197. Is v prime?
True
Let c(w) = 1342*w - 1335*w - 3*w**3 + 2*w**3 - 11*w**2 - 14. Is c(-19) composite?
False
Suppose 4 = -5*z - 6, 5*k = 5*z + 10. Let f(c) be the third derivative of c**5/60 + c**4/24 + 191*c**3/2 - 2*c**2. Is f(k) composite?
True
Let b(a) be the second derivative of 7*a**4/12 - 29*a**3/6 - 17*a**2/2 - a. Is b(13) prime?
False
Let p(v) = -v**2 + 25*v - 11. Let h(m) = 13*m**2 + 2*m + 1. Suppose -3*z - 6 = i, -2*z + 3*z + 4*i = -13. Let k be h(z). Is p(k) a composite number?
True
Let r be 4/((26/(-6) - -4)*-3). Suppose 5813 = 5*x + r*j - 990, x - 1351 = 4*j. Let u = x + -890. Is u prime?
False
Suppose -2*f + 10 = 0, -2*v + f - 2488 = -13711. Let m = 694 - 702. Is 6/(-8) - v/m composite?
False
Let w = 8656 - -12223. Is w composite?
False
Let z(d) = 1352*d + 483713. Is z(0) a prime number?
False
Let u(d) = -374*d**2 + 56*d - 149. Let s(y) = 75*y**2 - 11*y + 30. Let l(k) = -11*s(k) - 2*u(k). Let q be l(5). Let r = 3205 + q. Is r a prime number?
False
Suppose 2*i = -2*q + 10, -2*q = 5*i - 0*q - 37. Suppose -i*l - 14268 + 36345 = 0. Is l a composite number?
True
Suppose 5*f = 3*y + 5023, 5*y = 5*f - 6259 + 1244. Let v(r) = -6*r**3 + 5*r**2 - 8*r + 5. Let s be v(5). Let o = s + f. Is o a prime number?
True
Let m(y) = 3*y. Let q be m(3). Suppose -5*x = -q*x + 24. Suppose 13*l - x*l - 70 = 0. Is l composite?
True
Is 1377/18 + (-1)/(-2) composite?
True
Suppose -a - 555 = -16*a. Let l = -19 + a. Is ((-164)/6)/(l/(-135)) prime?
False
Suppose -5*a = -10*a - 2*w - 53, 0 = 3*a + 3*w + 30. Let d(p) be the first derivative of -p**4/2 - 11*p**3/3 + 7*p**2 + 12*p - 1. Is d(a) composite?
True
Suppose 0 = 3*f + 3*i - 432544 - 150653, 0 = 4*f - 5*i - 777614. Is f composite?
True
Is ((-311964)/(-16))/(7/(168/9)) a prime number?
False
Let w(t) = -209*t**3 + 39*t**2 + 244*t + 11. Is w(-8) prime?
True
Let j(z) be the third derivative of -2405*z**4/12 + 17*z**3/6 + 53*z**2 + 1. Is j(-3) a composite number?
False
Let o(u) = u**3 - 6*u**2 - 9*u + 16. Let v be o(7). Suppose -f = -0*f - 4, -v*i = -3*f - 9722. Is i a prime number?
False
Let f = -73 - -73. Suppose 10*r + r + 66 = f. Is (-436)/(-8) - (-9)/r prime?
True
Suppose -4*o + 16347 = 2*a + 187, -o - 2*a = -4031. Is o a prime number?
False
Suppose 36 = 14*c + 8. Suppose -1 = q, q = c*i - 0*q - 815. Is i composite?
True
Suppose -1266 + 216 = 5*y. Is 120/y - (-1 + (-5870)/7) a composite number?
False
Let w = -20287 + 14040. Let h = w - -9803. Is h + -6 + (1 - -1) + -5 a prime number?
True
Suppose 8 = 4*f - 5*q - 5, f + 3*q + 1 = 0. Suppose g - 14 = -3*n, 2*g + g = 2*n - f. Suppose 4*j - 153 = 5*d - 734, -4*j = -n*d + 468. Is d a composite number?
False
Let z(q) = 96094*q**2 + 7*q + 28. Is z(-3) a prime number?
False
Suppose -954641 = 4*m - 2*i - 2942987, 5*i = -4*m + 1988