derivative of -h**6/60 + 5*h**5/12 - h**4/8 + 7*h**3/2 - 8*h**2 - 11*h. Is a(10) prime?
True
Suppose -97*u + 98*u = 3*p - 126337, 0 = 5*p - 2*u - 210561. Is p prime?
False
Suppose -8*y + 6*y = 6. Let t be 2/8 + y/12. Suppose o - i - 383 = 0, o + t*o - 375 = -i. Is o prime?
True
Suppose 11*p - 777 = 697. Is p a prime number?
False
Let s(n) = n**3 - 25*n**2 - 26*n - 1. Let t be s(26). Is (-9285 + t)/(56 - 58) composite?
False
Let l(w) = 9*w**2 - 45*w + 11. Let b = -2 + 9. Suppose -4*d + 20 = 0, -55 = -5*m + b*d - 3*d. Is l(m) prime?
True
Let w be (-492)/(-20) - 6/(-15). Suppose w*o + 14*o - 380055 = 0. Is o composite?
True
Let k = -272 + 290. Is ((-993)/4)/(k/(-48)) - 3 a composite number?
False
Let p = 9 + 0. Suppose -4 = -2*x, 6*h - 3*x = p*h - 33. Suppose -2915 = -2*d - h*d. Is d composite?
True
Let y(t) = 15359*t + 25. Is y(20) composite?
True
Let z(r) = 13*r**3 + 14*r + 1. Let j be z(4). Let g = j - 492. Is g composite?
False
Suppose 0 = -69*z + 991140 + 1208787. Is z composite?
False
Let m(r) = 973*r + 13. Let p be m(3). Is p*(-4 + (-57)/(-12)) prime?
False
Suppose 0 = 2*n + 136 + 16. Let k = n - -779. Is k a composite number?
True
Suppose 124*x - 287452 = 122*x + 2*t, -5*t = -x + 143706. Is x a composite number?
True
Suppose -2*z - a = -423777, -a - 1059446 = -30*z + 25*z. Is z composite?
False
Let x(k) = 228*k**2 - k - 3. Suppose 3 + 29 = 8*i. Suppose 20 = -i*o, -4*o = -3*r - 8*o - 26. Is x(r) prime?
True
Let y = -269 - -264. Suppose -3*x = 3, -n - n = 3*x + 21. Is y/15 - 3801/n composite?
True
Suppose 2*u + 4*f - 21721 = -3*u, -3*f - 4329 = -u. Let w = u + -1864. Is w prime?
True
Suppose -29*n + 700 + 1765 = 0. Let t = 112 + -58. Let l = n - t. Is l composite?
False
Suppose 5*r - 75 = 5*m, 0 = m - 5*r - 15 + 42. Is (46840/m + 4)/(4/(-6)) a prime number?
True
Let b(m) = -m**3 - m**2 + 2*m + 27266. Let x = -352 + 352. Is b(x) composite?
True
Let w(z) = 953*z**2 + 62*z + 326. Is w(-7) prime?
True
Let i(t) = -5*t**2 + 9*t + 495. Let o(r) = -3*r**2 + 5*r + 247. Suppose -3*h - 15 = -5*p + 11, 2*h - p + 15 = 0. Let b(w) = h*o(w) + 4*i(w). Is b(0) prime?
True
Let x(n) = -12*n - 1176. Let w be x(0). Let b = w + 6163. Is b a prime number?
True
Suppose -7 = p - 21. Suppose p*v - 6 = 12*v. Suppose -664 = -v*d + 1439. Is d prime?
True
Let k(m) = -2*m**2 - 34*m + 24. Let p be k(-18). Is -7*(-107 - p/3) prime?
False
Suppose -4*n + 3*z = 246, -2*n - 174 = n + 3*z. Let x = 62 + n. Suppose 5896 = -x*g + 10*g. Is g a composite number?
True
Let f be ((-33870)/25)/((-4)/120). Suppose f = -32*m + 44*m. Is m a composite number?
True
Suppose -82*p + 81*p + 209 = -2*n, 0 = -5*p + n + 1045. Is p a composite number?
True
Let q(c) be the third derivative of 37*c**5/60 - 11*c**4/24 + 22*c**3/3 + 71*c**2. Is q(9) a prime number?
False
Let g be (-2 - (-12)/4)*1. Let u(d) = 0 - 2*d - 2*d**3 - 3*d**3 - d**2 + g. Is u(-3) a composite number?
True
Let z = 9692 + -3537. Is z a prime number?
False
Let g(f) = -3*f**2 - 3*f**2 + 4 + 17*f**2 + f**3 + 11*f. Let v be ((-21)/12)/(1/4). Is g(v) composite?
True
Suppose 3*h = -5*c + 736, -4*h - 3*c + 530 = -455. Let j = h - 136. Suppose -5*q + 185 = -m, 3*q - m - m = j. Is q prime?
True
Let o(s) be the second derivative of -2414*s**5/5 - s**4/12 + s**3/3 + s**2 - 74*s. Is o(-1) a composite number?
True
Suppose 16 = 3*l - 4*y, -l + 6*l = -4*y - 16. Suppose 2*s - 6 = -l*s. Suppose 2004 = 4*o - 4*u, 2*o - s*u = -7*u + 978. Is o a composite number?
True
Let r(y) = -53 + 124 - 130 - 54 - 351*y. Is r(-9) a prime number?
False
Suppose 0 = -3*f + f + 4*q - 4, 10 = f + 2*q. Suppose -5*s + 4*j = -3*s - 3406, -5*j = f*s - 6747. Is s composite?
False
Suppose 10 = -4*l - 2. Is (-397)/(0 + (l - -2)) a prime number?
True
Suppose 0 = 2*s + 2*s + 12, -3*s - 2343 = -3*n. Suppose -638 = -2*o - v - 131, 3*o + 5*v - n = 0. Is o composite?
False
Let y(x) = -30*x**2 + 12*x + 5. Let v be y(17). Let a = 586 - v. Is a prime?
False
Let s(d) = -11*d**3 + 7*d**2 + 8. Let a be s(-5). Let t be (-2)/3*-1 + 8935/(-15). Let c = a - t. Is c composite?
False
Suppose 5*a + 5*d + 116893 = 6*a, a + 2*d - 116907 = 0. Is a composite?
False
Suppose 3*r = 18, 15*r - 12*r + 2359875 = 3*h. Is h prime?
False
Suppose 220*l - 219*l = f - 408849, -2044269 = -5*f + 2*l. Is f a prime number?
True
Let s(y) = 5*y - 48. Let p be s(14). Suppose 19*r = p*r - 6186. Is r a composite number?
True
Let f be ((-3)/(-5))/((-10)/50). Let o be (f - 4)*(1 + 75). Let k = 1167 + o. Is k a composite number?
True
Let w be ((-84)/(-70))/(3/10). Suppose -5428 - 3399 = -2*a - 5*u, a - 4418 = -w*u. Is a a composite number?
True
Let t be (4/(-6))/((-2)/84*4). Suppose -8818 = 4*w + 2*l, -4*w + 6603 = -t*w - 5*l. Is 2*((-3)/12*w - 0) prime?
True
Let b = 49 + -49. Suppose b = o + 11 - 15. Suppose 2*k - 4*z = 386, -6*z - 396 = -2*k - o*z. Is k composite?
True
Is ((-910)/(-78))/(-35)*-191379 composite?
False
Let x(k) = -614*k - 156. Let r be x(-11). Suppose 0 = -3*d - 2*d + 19475. Suppose -3*o - 2*s = -d, 4*o - 3*s - r = -1416. Is o a prime number?
True
Let m(u) = -2*u + 15. Let o be m(9). Let w be 17 + 0 + (-30)/(-5) + o. Is (((-5036)/5)/(-2))/(8/w) a prime number?
True
Let q(i) = i**2 - 13*i - 1. Let d be q(13). Let y = 1 - d. Suppose -a - y = -23. Is a a composite number?
True
Suppose -5*s - 105002 = -2*p, 4*p - 9*s - 210004 = -4*s. Is p a composite number?
False
Is (-10)/(-45) + ((-784951)/9)/(-1) prime?
False
Suppose -j + 8*j = 0. Suppose 5*w + 25 = j, -3*r - 5*w + 76 = -2*r. Suppose -3*v = -1156 - r. Is v composite?
False
Suppose 0 = 4*n - 3*z + 6*z - 105, 2*z + 2 = 0. Suppose 20*a + 21322 = n*a. Is a a prime number?
False
Let g(k) = k**2 - 4. Let o be (-20)/(-35) - 62/(-14). Is g(o) prime?
False
Suppose 5*w + 9*d + 150 = 4*d, 2*w + 5*d + 51 = 0. Let b = w - -35. Is -2 + 902*((-3)/b + 3) composite?
True
Let n be 27/81 - (-1)/(-3). Suppose -t + 494 + 1437 = n. Is t a composite number?
False
Is 121133 + ((-210)/(-21))/(-1) a prime number?
True
Let r(f) = -3*f + 1. Let m(u) = 2*u + 1. Let l be m(-3). Let g be r(l). Suppose g = 4*j - 40. Is j prime?
False
Suppose 3*t - 667707 = 27*f - 28*f, -2*t = -2*f - 445154. Is t prime?
False
Suppose -355 = 15*n - 20*n. Suppose 0 = -d + 924 + n. Suppose 0*h - 5*h = -d. Is h a prime number?
True
Let o = 257 - 88. Is (o - 2) + (4 - (9 + -1)) a composite number?
False
Let b(r) = 2942*r - 8. Let h be b(1). Suppose -2*q + 4403 = 3*o - 0*o, -q + h = 2*o. Is o composite?
True
Suppose 5*t - t + 10000 = 0. Let g = 4211 + t. Is g composite?
True
Let u(m) = -23*m**3 + 10*m**3 + 12*m**3 - 8*m + 2 + 5 + 7*m**2. Let y be u(2). Let g(c) = 2*c**3 - 19*c**2 - 15*c + 13. Is g(y) composite?
False
Let w(t) = t**3 + 19*t**2 - 20*t + 4. Let h be w(-20). Let d = -28 + h. Is 379*(d/(-60) - 3/(-5)) a composite number?
False
Let k be -2 + 4 + (-8)/(-2). Let d be (3/(-6))/((-1)/k). Suppose 74 = 4*m - d*m. Is m a composite number?
True
Let u(c) = -2*c - 19. Let i be u(-11). Suppose -i*b = -5*b. Suppose -k + 43 + 72 = b. Is k composite?
True
Is 2/(5975410/1991794 + -3) a composite number?
False
Suppose -5*v - 31 = 4*t - 6, 4*t - 2 = -2*v. Let f be 6/v + (28/6 - 4). Suppose 3*a - 34 = -i - f*i, 0 = 4*a - 2*i - 42. Is a a composite number?
False
Let p = 71 + -68. Suppose 2*m - 7 = p*l + m, -13 = 3*l + 2*m. Is 0 + (118 - -9*1/l) a prime number?
False
Suppose 12*f - 19338 = 170778. Is f composite?
True
Let j = 47487 - -5305. Is (-7)/((-84)/j)*(-3)/(-2) a prime number?
True
Suppose -22*z + 14*z = -32. Suppose -2*t + o = -12782, 71*t + z*o = 70*t + 6409. Is t prime?
False
Suppose 0 = 13*t - 15*t + 2, 2*b = 2*t + 38060. Is b a composite number?
False
Let a be (-2898)/108 - 1/6. Is (-1 + 57544)/(a - -30) a prime number?
True
Suppose 25 = -5*y, 17569 = -4*r - 2*y + y. Let p = r + 8718. Is p a composite number?
False
Suppose 2*b = i - 118077, 3*i - 98*b - 354271 = -100*b. Is i a composite number?
True
Is ((-810)/(-72) - 5) + -7 - (-210475)/4 composite?
True
Suppose -5*r + 4*v = -567119, -9*v - 226844 = -2*r - 8*v. Is r a prime number?
False
Let s = -25 - -29. Suppose 15 = -s*a - 229. Is a/(-4)*22 - (-1)/(-2) composite?
True
Let y = -11 + 14. Let l(q) = 2626*q + 16. Let b be l(2). Is (-1)/(y*(-4)/b) a composite number?
False
Let k = 14 - 13. Let s be (1 - -23) + (2 + -6)*k. Let z(x) = 44*x + 41. Is z(s) c