Suppose -q*d = -26*d + 8805. Is d a composite number?
True
Let d = 31 + -27. Let h(l) = 9*l**2 - 4*l + 1. Let x be h(d). Let v = x + 104. Is v prime?
True
Suppose l - k - 262075 = -3*l, 3*k = 3*l - 196554. Is l a prime number?
True
Let z(d) = -2*d**3 + 2*d**2 - 10*d + 380155. Is z(0) a composite number?
True
Let s(f) = -40*f + 67. Let t(p) = -15*p**2 + 4*p - 4. Let d be t(1). Is s(d) a composite number?
True
Suppose -20*x + 284733 = -11*x. Is x a prime number?
False
Suppose 220 = 10*j - 6*j. Let s(o) = -43 - 49*o + j*o + 12. Is s(25) prime?
False
Is ((-1119957120)/174)/(-12) - 6/(-87) a prime number?
False
Let o(i) = -8*i - 13. Let a(v) = -v + 1. Let k(f) = -6*a(f) + o(f). Let n be k(-11). Let h(r) = 2*r**3 + 2*r**2 + 8*r - 2. Is h(n) a prime number?
False
Let c(q) = 11*q + 3. Let a be c(2). Suppose 29*z - 1564 = a*z. Is z a composite number?
True
Let h(p) = -p + 2. Let q be h(2). Suppose q*s = s - 5*x + 5, -x = s + 17. Is (-9 - -7) + (1 - s) a composite number?
True
Suppose 41*s - 420 = 6*s. Suppose 17*z = s*z + 18745. Is z a composite number?
True
Let k(w) = -2*w**2 + 45*w - 20. Let o be k(22). Suppose -o*g + 1310 = 3*g. Is g prime?
False
Suppose 37*q + 304330 = 1096167. Is q a prime number?
True
Is (22 + -23)/((5/161519)/(-5)) a prime number?
False
Let d(u) = -u**3 + 75*u**2 - 353*u - 22. Is d(57) prime?
False
Let v = 463 + -458. Suppose -v*n - 5*w = -w - 7513, -n + 1495 = -3*w. Is n prime?
False
Is (4/14)/(-7 - 52294494/(-7470638)) a composite number?
False
Let w be -1 - (-9 + 2 - -4) - 2. Suppose 4*x + 0*x - 2332 = w. Suppose -2 = k, -x = -j + 3*k - 7*k. Is j prime?
False
Let t = -251484 - -819583. Suppose -29*d = -53284 - t. Is d composite?
True
Let k = 458193 - 246152. Is k a composite number?
True
Suppose 12695 + 74379 = 17*s. Suppose s = j + j. Is j a prime number?
False
Let i be (-6 - (-80)/12)*3. Suppose 3*u - 12512 = 5*a, -u = -i*a + a - 4170. Is u prime?
False
Suppose 36*a + 342 = 55*a. Suppose 23*u - a*u = 69895. Is u a prime number?
False
Let r(d) = d**3 - 3*d**2 - 25*d + 17. Let f be r(7). Suppose -f*i - 377 = -3303. Is i prime?
False
Let s = -165165 - -269854. Is s prime?
False
Let b(r) = -195*r + 128. Suppose 2*m + 37 = -25. Is b(m) prime?
True
Is 20 + (-70)/10 - -220426 a prime number?
False
Suppose -2*i = -u + 557, -2*i = -6*i. Let y = u + 362. Is y composite?
False
Suppose -u - 2 = 3*n, -3*u + 2*u - n = 4. Let m be -82 - (2 + u + 0/(-1)). Let b = m - -330. Is b a composite number?
False
Let w be -1 + 4/(-1 + -1) + 7. Let x(u) = 3 + 56*u - 43*u + 94*u. Is x(w) a prime number?
True
Suppose 4*n = 15 + 29. Let r be -14 + n + -1*(-7 - 1). Suppose -5*v = 3*x - 2250, -4*x = -10*v + r*v - 2965. Is x a composite number?
True
Is (-91386935)/(-6785) + (-6)/(-177) a prime number?
True
Let h(j) = 112*j + 69. Let m be h(20). Suppose m = -17*b + 8208. Is b a composite number?
False
Let c(u) = -756 + 2*u - 22 + 125 - u**2. Let b be c(0). Let k = b + 1134. Is k a composite number?
True
Let p(k) = 2599*k - 22. Let s be p(2). Suppose f - s = -3*v - 1600, -5*f = -15. Is v a composite number?
True
Let c(k) = 2*k + 26. Let m be c(-13). Suppose 0*w + 2*w - 9397 = -3*h, m = 3*w - h - 14112. Is w composite?
False
Suppose 2*l + 11064 = 4*h, l - 6249 - 4815 = -4*h. Let w = 5830 - h. Suppose w = 6*c - 938. Is c a composite number?
True
Let z(i) = 25745*i**2 - 22*i - 74. Is z(-9) a composite number?
False
Is 8/(-2 - -6) + 0 + 132011 a composite number?
True
Let o(l) = 4*l**2 + 6*l - 11. Let i be (-3)/7 - (-310)/70. Let k be 10/(-20) + (-18)/i. Is o(k) composite?
False
Suppose 19811 = 17*x + 4732. Is x a prime number?
True
Let p(c) be the third derivative of 61*c**6/10 - c**5/12 + c**4/8 + 11*c**3/6 + 250*c**2. Is p(3) prime?
True
Let m(s) be the first derivative of 2581*s**4/12 + s**3/3 + s**2 + 46*s + 16. Let w(c) be the first derivative of m(c). Is w(-1) a composite number?
True
Let y(s) = s**3 + 2*s**2 + 3. Suppose 0 = 2*k - 3*k + 4*i - 18, 3*k = -3*i + 21. Let c be y(k). Let w(z) = z**3 - 16*z**2 - 23*z + 9. Is w(c) a prime number?
False
Suppose -629 + 17085 = 17*w. Let p = 5291 + w. Is p a composite number?
True
Suppose 318*l = 326*l - 4744. Suppose 45 + 1099 = -4*r. Let k = l - r. Is k a composite number?
True
Let d(s) = 1077*s**3 + 5*s**2 - 6*s + 2. Let a be d(1). Let t = 1080 - 8. Suppose -5*z - t = -2*v, 2*v - z = z + a. Is v a composite number?
False
Let l(d) = -99*d**3 + 2*d**2 + 12*d + 249. Is l(-10) prime?
False
Let l(f) be the third derivative of -2/3*f**3 - 15*f**2 + 0*f - 13/24*f**4 + 0 + 1/30*f**5. Is l(-15) a prime number?
True
Suppose 0 = 5*v - 60 - 40. Suppose 3*u = v - 14. Is 3*(u/(-6) + (-1540)/(-42)) prime?
True
Let v(k) = -1695*k - 892. Is v(-37) a composite number?
True
Let v(m) = 70*m**2 + 7*m - 31. Let s = -182 - -174. Is v(s) a prime number?
False
Is (0 - (-5034230)/22) + 1020/2805 a prime number?
True
Suppose -5*k = 3*v - 892673, -4*v - 289645 = -2*k + 67393. Is k prime?
True
Let o(v) = -2*v**3 - 11*v**2 - 6*v - 3. Let i be o(-5). Suppose -i*j = -0*j - 8. Suppose -4*y - 2032 = -j*f, y + y + 2543 = 5*f. Is f prime?
True
Suppose -3*a + 250141 = -0*n - n, 5*a + 4*n - 416947 = 0. Is a a composite number?
False
Suppose 0 = t - y - 58800 - 64054, -5*y + 122872 = t. Is t prime?
False
Let c(b) = 12*b**2 - 23*b + 80. Let u be c(4). Suppose u*z - 168*z - 47316 = 0. Is z a prime number?
True
Let r = 529 + -496. Suppose 4*q = 5*h - 14301, r*h - 2*q - 14303 = 28*h. Is h a prime number?
True
Suppose 4*y - 6036 = -2*w - 1014, -3*w - 4*y + 7525 = 0. Is w composite?
False
Suppose 375*i + 82*i - 149836133 = 0. Is i prime?
True
Let z(l) = -l**3 - 30*l**2 - 83*l - 64. Let n be z(-27). Is ((61245/n)/9)/(4/(-8)) prime?
True
Is (739*3/6)/((-34)/(-76364)) composite?
True
Let j = -29 + 38. Suppose -18*k = -j*k - 10251. Is k prime?
False
Let n = 68849 + -35781. Suppose -5*h + 9*h = n. Is h a composite number?
True
Suppose 0 = -32*d + 34*d - 3508. Suppose -x + d = -1817. Is x a prime number?
True
Suppose -2*a - n = 4609, -2*n = 2*a - 0*n + 4608. Let z = a - -1545. Let g = z - -1667. Is g a composite number?
False
Let u = 50684 - -99603. Is u prime?
True
Let p(w) = 7598*w - 1235. Is p(6) a composite number?
True
Let w(c) = -11113*c - 7685. Is w(-67) a prime number?
False
Let c(p) = -1019*p**3 - p**2 + 2*p + 2. Let z be c(-1). Suppose 0 = -3*g + z - 25. Is g a composite number?
False
Let l(p) = -p**3 + 5*p**2 + 6*p - 1. Let t be l(-2). Suppose -v - 5*j = -2323, -2*v - 12*j = -t*j - 4672. Is v a composite number?
False
Let d(x) = 123*x - 56. Let l(t) = -4*t + 65. Let f be l(13). Is d(f) a composite number?
False
Let s be (-6)/(-33) - (-845)/11. Suppose -3*r + s = -397. Suppose 4*m + 3*a - 316 = 0, m - r = -m + 2*a. Is m prime?
True
Let n = 198800 - 140329. Is n a composite number?
True
Let y(g) = 2058*g + 1. Suppose 5*p - 5*o - 10 = 0, -3*p + p + 4*o + 6 = 0. Is y(p) a composite number?
True
Let l(c) = -c**2 - 4*c - 3. Let m be l(-1). Let q(n) = 18*n + 1067. Is q(m) composite?
True
Suppose -196*w - 407127 = -217*w. Is w composite?
False
Let f(j) = -j**2 + 4*j + 25. Let z be f(-9). Let v = 70 + z. Let r = 333 - v. Is r a composite number?
True
Let s = -12974 - -1938. Suppose 4*x = 2*o - 19 - 5, -5*x - 3*o = 30. Is s/x - (2 + 25/(-15)) a composite number?
True
Suppose 2*j - 937369 = -3*o - 17760, 3*j = 2*o - 613090. Is o composite?
True
Let v(q) = -2*q**3 - 7*q**3 + 5*q**2 + 2 - 2*q**2 + 6*q. Let a be v(-3). Suppose 3*b = 3*t - t - a, 5*t + b - 635 = 0. Is t composite?
False
Let n(i) = -2893*i**2 - i + 1. Let j(d) = 5787*d**2 + d. Let w(a) = -6*j(a) - 13*n(a). Is w(2) a composite number?
False
Is 2/8 - ((-22668804)/40)/((-72)/(-60)) a composite number?
True
Suppose 30 = -0*t + t + 2*i, -3*t + 4*i = -110. Let v = 33 - t. Let x(g) = 869*g**2 - 4*g - 2. Is x(v) prime?
False
Let i(w) be the third derivative of 0*w + 0 - 10/3*w**3 + 37*w**2 + 17/4*w**4. Is i(7) a composite number?
True
Suppose 12*m + 44*m = 9*m + 7379. Is m a composite number?
False
Let x = 20 + -19. Let h be (3 + x + -7)/((-3)/2116). Suppose 0 = -2*b - 320 + h. Is b composite?
True
Suppose -81 + 39 = -7*o. Let b be (-84 - 2) + 30/o. Let z = b + 172. Is z a composite number?
True
Suppose -25*h - 121*h = -3615076 - 1019110. Is h a composite number?
False
Let b be (-21)/12 - ((-25)/(-20) -