-663116, 5*c = 3*r - 497337. Is r a prime number?
True
Let b = 25095 - -39704. Is b composite?
True
Suppose 183*s + 5*q + 37226 = 184*s, 2*q = 3*s - 111639. Is s composite?
True
Let t be (-126)/24*(-2)/3*17298. Is (-4)/34 + t/51 + 6 a prime number?
True
Let h = -6678 - -2462. Let o = 8417 + h. Is o composite?
False
Let v = 69 - 57. Suppose -16*s + 13*s + v = 0. Suppose s*l - 840 = 916. Is l prime?
True
Let l(q) = q**2 - 17*q - 22. Let t be l(18). Is (-756810)/(-66) + t/(-22) a composite number?
False
Suppose 5*g = -3*i + 810566, 3*g - 907*i + 910*i - 486348 = 0. Is g prime?
True
Let p be (-62)/(-8)*2*(1 + 1). Let s = p - 29. Is s/(4200/2095 - 2) a composite number?
False
Let o(b) = -8*b**2 + 53*b - 3. Let j be o(4). Suppose 1262 = j*m - 80*m. Is m a prime number?
False
Let c = -26 - -27. Let h(l) = 1 + 7*l - 8 - 2*l + 318*l**2 + c. Is h(-3) a prime number?
False
Suppose -46 = -14*c + 24. Suppose u - 3403 = -y + 3*u, c*u = 2*y - 6801. Is y prime?
True
Let s(a) = -a**3 - 7*a**2 - 2*a - 5. Let t be s(-7). Let f(z) = z**3 - 5*z**2 - 7*z + 18. Let o be f(t). Let y = o - -143. Is y prime?
False
Let a be 102930/24 + 3/12. Suppose -6*c = -3*c. Suppose -8*l + 1735 + a = c. Is l a prime number?
False
Suppose 44 = -3*r + r. Suppose 7*h - 15 - 20 = 0. Is -29*(r + (-5)/h) prime?
False
Let b = -45 - -56. Let x(q) = -q**3 + 16*q**2 - 4*q - 34. Is x(b) a composite number?
True
Suppose -439192 = 3*u - 29*u. Let z = u - 10113. Is z a prime number?
True
Suppose 0 = 395*t - 605659867 - 148822128. Is t a composite number?
True
Let p(n) = -9 + 41 - 20*n + 6*n. Let r be p(-6). Suppose -248 = -5*z - h, -3*h = -4*z - r + 303. Is z a composite number?
True
Suppose 2*b + 4*p - 14295 = 34123, 3*b - 72676 = p. Is b prime?
True
Let r(o) = -6*o + 17. Let n be r(6). Let b(u) = 14*u**2 + 37*u - 12. Is b(n) a composite number?
False
Let w(r) = -r**2 - 9*r - 12. Let j be w(-5). Suppose 18*i - 16*i = j. Let x(m) = 6*m**2 + 15. Is x(i) prime?
False
Suppose 4 = -f + 8. Suppose -589 = r - f*t, 2491 = -5*r - 4*t - 478. Let k = 994 + r. Is k composite?
False
Let b be 12/42 - 116/14. Let w be 0/(b/(-28)*7). Suppose w*p - 2*p + 590 = 4*x, p - 3*x - 290 = 0. Is p a prime number?
True
Let d(y) = 11213*y - 16. Let t be 1*(-1)/5 - (-6)/5. Is d(t) a prime number?
True
Suppose 0 = 5*p + 5*s - 0*s + 10, -8 = p - 2*s. Let v be 1 + 1 - (p + -1973). Suppose -4*r = y - v, 0 = 3*r - 0*r - 12. Is y composite?
True
Let f be 6 - 1 - (-4 + 6). Suppose -p + 5 = -4*a, f*p = 2*a - a + 26. Suppose 2*v + 8799 = p*v. Is v prime?
False
Let a(u) = -1637*u + 388. Is a(-15) composite?
False
Suppose 7*q - 12*q = -2*v + 16715, 2*v + 4*q = 16742. Suppose -5003 = -3*c - p, -5*c - 5*p = -10*c + v. Is c a prime number?
True
Suppose -4*u = u - 90. Let c be u*(1 + (-6)/9) + -3. Suppose r - c*z = -4*r + 2770, -z = -4*r + 2209. Is r prime?
False
Let t(m) = m**3 + 31*m**2 - m - 29. Let l = -118 + 87. Let a be t(l). Suppose -a*b + 3*g + 210 = g, 4*b = -2*g + 408. Is b prime?
True
Let n = 120 - 122. Is (30 + 4)*n/((-8)/58) a composite number?
True
Let d = -30 - -31. Let n(o) = -27*o**3 + o. Let x be n(d). Is 115/(-20)*(x + (-1 - 1)) prime?
False
Suppose 7*b + 2*v + 1 = 6*b, 5*b - 70 = 5*v. Let w(q) = 11*q**2 + 22*q + 2. Is w(b) a prime number?
True
Suppose -8*v + 41656 = -0*v. Suppose -2*b - 5*d = -v, 10425 = -b + 5*b - d. Is b prime?
False
Is (-26 - 124040/(-42))*(-426)/(-4) prime?
False
Suppose 112 + 64 = -o. Suppose 4*k = -12, -5*k + 58 = 11*r - 10*r. Is (r/2)/((-8)/o) a prime number?
False
Let r(x) be the second derivative of -9*x**5/5 - 25*x**4/24 - x**3/6 - 27*x. Let g(b) be the second derivative of r(b). Is g(-5) a composite number?
True
Let b be 1922417/7 - (1 + -3 + 3). Suppose 12*w - b = -76690. Is w a composite number?
True
Let a(p) = -146*p + 2539. Is a(-14) composite?
False
Suppose -209*s + 204*s - 107290 = 0. Let z = -1049 - s. Is z prime?
False
Is 300310/15 + 10/(-6) prime?
False
Let d(h) = 50*h**2 - 14*h - 7. Let u be d(8). Let q = u - 1424. Is q composite?
False
Let d(x) = 3*x**3 - 19*x**2 + x - 27. Let p be d(13). Let b = 1936 - p. Let c = b + 2295. Is c a composite number?
True
Let c = 27982 - 7180. Suppose -2*b + 20802 = 4*w, 0 = 2*b + 4*w + w - c. Is b a prime number?
False
Let b = -25 + 28. Suppose -3*n + 25 = -2*l, -b = -2*l - 13. Let g(m) = 22*m**2 + 4*m - 5. Is g(n) prime?
False
Let n be (-2)/(-7) - (475/35)/(-5). Let t(j) = 2*j + 7*j - 6*j - 2 - n*j**3 + 9*j**3. Is t(3) composite?
True
Suppose -a - o = 0, 5*o + 1 = -a + 5. Let z be 5/(-5) - a - -1*3. Suppose -z*j + 107 = 3*w - 5*j, -4*w = 5*j - 158. Is w a prime number?
True
Is 1/(-2)*(-2586189 - ((-77)/7 + -4)) a composite number?
True
Let w be -2*((-6982)/(-4) - -4). Let g = -2021 - w. Suppose 2*z = 508 + g. Is z composite?
True
Is 18661/1 + 3000/250 a composite number?
True
Suppose 3*h = -4*n + 6957, -4638 = -2*h - 2*n - 2*n. Suppose 13*v - 2699 = h. Is v composite?
True
Let z = 184 - -2983. Let n = 10768 - z. Suppose -18*h = -7*h - n. Is h a prime number?
True
Suppose 9356993 = 85*p - 15646446 + 3989484. Is p prime?
True
Suppose 1587*u = 1550*u + 646797. Is u a prime number?
False
Is -7*54/(-63) + 42503 a composite number?
False
Let a(t) = -119*t**3 - 219 + 115 + 109 + 5*t. Is a(-3) prime?
True
Let u(v) be the first derivative of -v**2 + 4*v + 16. Let r be u(5). Let j(x) = 12*x**2 - 6*x - 25. Is j(r) a prime number?
True
Let t(v) be the third derivative of 131*v**4/12 + 85*v**3/6 + 7*v**2 + 3. Is t(6) a prime number?
True
Let r be (-19)/((-475)/(-105)) - 2/(-10). Is (-11176)/r - (2 + -6) prime?
False
Let d(p) = -4811*p**2 + 52*p + 69. Let w(t) = -1604*t**2 + 18*t + 23. Let z(i) = -4*d(i) + 11*w(i). Is z(-4) a prime number?
False
Let u be (1 - 13)/((-21)/2324). Let d = u - -210. Let x = d + 276. Is x prime?
False
Let l = -280531 - -447744. Is l composite?
False
Let g(h) = -6302*h + 34. Let l be g(-3). Let a = l - 10097. Is a a prime number?
False
Suppose -92*p + 105*p = 726778. Is p a composite number?
True
Let q(c) be the second derivative of 21*c**4/4 + c**3/6 + 5*c**2/2 + 2*c. Suppose o = -5*p - 22, 3*p - 6*o + o + 2 = 0. Is q(p) a prime number?
True
Let q(n) = -n**2 + 2*n + 3. Let a be q(2). Let c(g) = -g - 2*g**3 + 3 - 5*g**a + 4*g + 2*g. Is c(-3) prime?
False
Let r(x) = 10*x - 379. Let u be r(38). Is (u - 2)/(1/(-17863)) a composite number?
False
Suppose -w = -4*g + 9*g + 13, 0 = -5*w + 3*g - 121. Let a = w + 4216. Is a prime?
False
Let k be (1 + -2)/(47/(-141)). Suppose 4*p + 2*w - 13518 = 0, -k*w + 136 = -p + 3498. Is p prime?
False
Let w(k) = -209*k + 3. Let x be w(-29). Let j = -3890 + x. Is j a composite number?
True
Suppose 3*t + 5*y = -1031, -4*t + 4*y - 2119 = -755. Is (t/8 - -1)*(-114 - -46) prime?
False
Let o(x) = -x**2 + 2*x + 5. Let i be o(3). Suppose v - i*u = 3, -3*v + 0 = -3*u - 3. Is -5 - -3 - v/((-3)/(-1848)) a prime number?
False
Let p(c) = c**3 - 19*c**2 - 2*c + 46. Let o be p(19). Suppose 4*s = -5*n + 8, 4*s + n + n - o = 0. Suppose -s*x = -326 - 716. Is x composite?
False
Suppose 15*z - 260918 = 13*z - 12*z. Is z a composite number?
False
Suppose 0 = -2964*o + 2970*o - 543642. Is o composite?
True
Let f(t) be the second derivative of 0 - 11/12*t**4 - 14*t - 1/10*t**5 + 4*t**2 - 4/3*t**3. Is f(-7) a prime number?
True
Suppose 5*p - 42 = -7. Let u = 62 - 71. Is (-7)/((-2)/(-316)*(u + p)) prime?
False
Let f = -113310 - -195671. Let m = f - 58756. Is m composite?
True
Let u = 474273 + -330994. Is u composite?
True
Let s(r) = r + 1. Let v(t) = 7*t - 9. Let k(p) = -4*s(p) + v(p). Let a be k(6). Suppose -a*h = -2*h - 3117. Is h prime?
True
Let o = 486 - 501. Let r(z) = -z**3 - 7*z**2 - 31*z + 26. Is r(o) composite?
True
Let w = -2921 + 1981. Suppose 0 = 13*b - b + 13*b - 60225. Let t = w + b. Is t composite?
True
Let s(c) = -39*c**3 + 29*c**2 + 296*c + 103. Is s(-11) a composite number?
True
Suppose 2882*q = 2876*q + 8682. Suppose 1117 + q = 4*i. Is i composite?
False
Let n(r) = 1653736*r**2 + 44*r - 7. Is n(1) composite?
True
Let b(z) = 34861*z + 1898. Is b(3) a composite number?
True
Let v(m) = -69*m**3 - 3*m - 6. Let n be v(-3). Let l = n - 2779. Is l/(-2)*(4/2)/1 prime?
False
Is (-13642200)/(-88) - 1*6 a prime number?
False
Let a = -168 + 173. Suppose -2592 = a*o - 9947. Is o prime?
True
Let k = -31 - -59. Is ((-4806