e
Let r(a) be the second derivative of 603*a**3/2 + 23*a**2/2 + 2*a - 16. Is r(2) a composite number?
True
Let a be (6/(-2))/(2 + 21/(-6)). Let s(m) = -2*m + 5. Let z be s(a). Is ((-6)/4)/(z/(-122)) composite?
True
Let l(f) = -2*f**3 + 16*f**2 - 24*f - 12. Suppose -4*q - 5*h + 35 = 0, 4*h = -2*q - 0*q + 16. Let z be l(q). Let v = -353 - z. Is v prime?
False
Suppose 0 = -13*k + 8*k. Suppose -6*u + k*u = -2490. Is u a composite number?
True
Let y(o) = o**2 + 14*o + 20. Let l be y(-14). Let g be ((-15)/(-6))/(11/(-154)). Is (-117790)/g + 1 + l/(-14) composite?
True
Let f(h) = -25*h + 24 + 79*h - 3*h**3 - 28*h - 29*h - 11*h**2. Is f(-11) prime?
True
Let u(q) = -11*q**3 - 82*q**2 - 22*q + 54. Is u(-25) prime?
True
Let a(t) = 277*t + 214. Let x be (-21)/7*(-3 + 0). Is a(x) prime?
True
Suppose 4*g - 4*f - 356354 = f, 2*f - 356340 = -4*g. Is g a prime number?
False
Let b(j) be the second derivative of -j**6/720 + 2309*j**5/120 + 19*j**4/12 - 3*j. Let i(r) be the third derivative of b(r). Is i(0) prime?
True
Let k = 108124 - -44239. Is k a prime number?
True
Suppose 12*f - 11*f - 306239 = -3*q, -2*f + 612478 = -3*q. Is f prime?
True
Suppose 4*f - w - 16328 = 0, 3*w - 2 = -14. Let a = f - 822. Is a prime?
True
Let m be (-3)/18 - 129*3/(-54). Suppose -m*j = 3*j - 11350. Is j a prime number?
False
Let y = -733 + 160. Let o = y + 7726. Is o composite?
True
Let i = 99997 - 67158. Is i a composite number?
False
Suppose 4*f + 4*c = 912, 6*c = -f + 3*c + 236. Is (16670/8)/(7*8/f) prime?
False
Suppose -5*d = m - 153691, 123*d - 92197 = 120*d - 5*m. Is d composite?
True
Let s = 35 - 31. Let j = s + -2. Suppose -83 = -j*v + 611. Is v composite?
False
Let x(s) = 15*s + 13. Let c be x(6). Let o = 106 - c. Let a(h) = 17*h**3 + 2*h**2 + h - 1. Is a(o) a prime number?
True
Suppose 2*r + r = -0*r. Let g(y) = 2*y + 15. Let v be g(r). Is (v/9 + 2)/(6/3798) prime?
False
Let b(l) be the first derivative of 31*l**2 + 13*l + 13. Let r(v) = 61*v + 12. Let z(c) = -3*b(c) + 4*r(c). Is z(11) a composite number?
False
Let o(r) = 6*r**3 - 4*r**2 - 27*r - 13. Let w be o(-6). Let c = w - -2714. Is c a composite number?
False
Let a = -47 - -78. Let n = a + -10. Is (-6)/n - 20140/(-28) a composite number?
False
Let f(h) = 2*h**3 - h**2 - h + 1843. Suppose -3*a + 6 = 2*p, -2*p + 21 = -4*a + 1. Suppose -p = -2*x + 3*c, 6*x - 2*x + 8 = -4*c. Is f(x) a prime number?
False
Let g(u) = -2908*u - 52. Let r be g(-4). Let m = r - 5285. Is m composite?
True
Suppose 12*d - 1625455 - 323501 = 0. Is d composite?
False
Suppose -5*i + 4*g + 3 = -0*g, 0 = 3*i - 4*g + 3. Suppose 0 = i*q - 3801 + 540. Is q a composite number?
False
Suppose t - 2*t + 15 = -2*p, p + 18 = -3*t. Is (1077/p)/(17/(-51)) a composite number?
False
Suppose 4*a = -3*f + 233221, -158*a + 233251 = -154*a - 3*f. Is a a prime number?
True
Let v = 38819 + -21876. Is v prime?
True
Suppose -54 - 86 = -7*t. Suppose 3766 = -t*y + 22*y. Is y a composite number?
True
Let v(c) be the third derivative of -c**6/60 + 11*c**5/60 - 7*c**4/8 - 11*c**3/6 - 2*c**2 + 39. Is v(-10) prime?
True
Let t(x) be the second derivative of 1003*x**5/60 - x**4/8 - 2*x**3 - 9*x. Let u(p) be the second derivative of t(p). Is u(1) composite?
False
Let x = -716 - -710. Let g(p) = -51*p**3 - 3*p**2 + p - 1. Is g(x) composite?
True
Suppose 56*k = 54*k - i + 282539, 5*i = 2*k - 282557. Is k a composite number?
True
Is ((-72072944)/6)/(-8) + -4 + 20/6 a prime number?
False
Let v = -40970 - -70621. Is v prime?
False
Suppose 3*t - v - 167960 = 0, -2*v - 154377 = -4*t + 69569. Is t a prime number?
True
Let w(k) = 3*k**3 + 2*k - 8*k**3 + 4*k**3 + k + 7 + 3*k**2. Let o be w(4). Is (-5414)/o*(-27)/18 composite?
False
Let c = 760345 - 365982. Is c a composite number?
False
Let v(t) = -t - 2. Let g be v(-4). Suppose 3*b - 495 = -g*a, -4*b - 193 = -a + 27. Suppose 74 - 248 = -3*m + 3*n, -5*n + a = 5*m. Is m a composite number?
False
Suppose 4*s - 477241 = 2*i + 586159, 4 = -2*i. Is s a prime number?
False
Let i(h) = 4*h**3 - 10*h**2 + 19*h - 4. Suppose 5*p = 12*p - 42. Let f be i(p). Suppose -89*b + 87*b + f = 0. Is b composite?
False
Let b = -997 - -2305. Suppose 3051*m = 3062*m + 9405. Let n = b + m. Is n composite?
True
Suppose 428212 + 92753 = 19*d - 102976. Is d a prime number?
True
Let n = 135 + -64. Suppose n = -21*h + 22*h. Let k = 572 - h. Is k a prime number?
False
Let c = 578 + -1316. Let m = 837 - c. Suppose 4*f - 6127 + m = 0. Is f composite?
True
Suppose 5*l = 1613 + 2387. Let k(q) = -195*q + 4641. Let v be k(22). Let w = l + v. Is w prime?
True
Let w = -66012 + 587173. Is w prime?
True
Let i = 102327 - 52618. Is i a prime number?
False
Let z(v) = 12710*v**2 + 27*v + 34. Is z(-3) a composite number?
False
Let z(d) = 537*d**3 - 40*d**2 + 8*d - 4. Is z(5) a prime number?
True
Let y be (-4)/(-7) + 227/7 - 1. Let t(n) = -n**3 + 7*n**2 - 7*n - 2. Let g be t(6). Is (-3283)/(-4) - g/y composite?
False
Suppose -d - 5*p + 15 = 0, -p = -2*d + p - 6. Is 0 + d + 0 - (12 - 115) prime?
True
Let f = 208 + -208. Is 1138/(1 + f)*1 a composite number?
True
Let m(w) = w**2 + 20*w + 35. Let v be m(-21). Suppose -v*u + 48*u + 10520 = 0. Is u a composite number?
True
Suppose 7 = p, -p + 44278 + 29797 = 4*d. Is d composite?
False
Suppose 10*i = -10, 310*x - 3*i = 313*x - 599556. Is x composite?
False
Suppose -12 = -3*y - 0*y. Suppose 0 = 21*w - 54 - 51. Suppose y*n + b - 149 = 0, 0*n = 3*n - w*b - 129. Is n a composite number?
True
Let f be 2882/20 + (-3 - 232/(-80)). Is (-24)/f*(-242412)/2 a composite number?
False
Let j be (-52)/39*2703/(-2). Suppose 0 = -12*x + 14*x - j. Is x composite?
True
Let u(w) = -449*w**2 + 7*w + 11. Let g be u(9). Let h be (-3)/(-2)*(-1 + g/(-21)). Suppose -5*p + 2951 = -2*l, -h = -5*p + l + 357. Is p a prime number?
False
Let w = 6 + -4. Let k(l) = -8*l + 15. Let n be k(w). Is (669 + -7)*((-18)/(-4) + n) composite?
True
Suppose -5*r + 1756784 = 4*a, -24*a + 27*a - 1317611 = 2*r. Is a a composite number?
True
Suppose 22*m - 31 = -9*m. Is -2*(m + (-18605)/10) a prime number?
True
Let m be -2 + 1556 - 0*2/(-4). Let y = m - 175. Let a = y - 892. Is a composite?
False
Suppose w - 464963 = 14*f - 12*f, 3*f = 3. Is w prime?
False
Is 6675 + 49 + (-45)/(-3) a composite number?
True
Let u(t) = -56*t**3 + 10*t**2 + 27*t + 22. Is u(-7) composite?
False
Suppose -16*i - 55*i = -13920189. Is i prime?
False
Let x(a) be the third derivative of -37*a**4/8 - 41*a**3/6 - 23*a**2 + 2*a. Is x(-13) composite?
True
Let y = -150 - -263. Let t = -48 + y. Is t a composite number?
True
Let v(k) = -8*k**3 - 2*k**2 - k - 1. Let d be v(2). Let c be (5/25)/((-5)/d). Suppose -3*q = 3*h - 1227, -3*q = -0*h - c*h - 1251. Is q composite?
True
Is ((-3)/((-12)/(-10)))/(170/(-1612892)) a composite number?
False
Let x(u) = 120*u + 4. Let a(j) be the second derivative of 5*j**3 + j**2/2 + j. Let s(c) = -9*a(c) + 2*x(c). Is s(-5) prime?
True
Suppose 2*f - 60 = -3*b - 0*f, 100 = 5*b + 3*f. Suppose -3*y = -y - b. Suppose 0 = 3*l + y*l - 41119. Is l prime?
True
Let n(c) = -127*c - 137*c + 392*c + 19 + 912*c**2 - 140*c. Is n(2) composite?
False
Let b be (-2)/(-7) + (6 - (-88)/(-14)). Suppose -h + 6*h - 1685 = b. Is h a prime number?
True
Let x = 16148 - 4619. Suppose 20*t = 10771 + x. Is t prime?
False
Let g(z) be the second derivative of -25*z + 0 + 34*z**3 - 29/2*z**2. Is g(3) prime?
False
Suppose -3327 = 3*s + 4*f, -s - f - 157 = 953. Let i = s - -4900. Is i a composite number?
True
Let n(v) = -24409*v**3 - 21*v**2 - 83*v - 1. Is n(-4) a prime number?
False
Let b = 3141 - -227360. Is b a composite number?
False
Let u(n) = n**2 - n - 9. Let y be u(5). Suppose -y*x + 32564 = 17*x. Is x a composite number?
False
Let c(j) = 65*j + 1 + 24 + 71 - 3*j + 489*j. Is c(7) prime?
False
Let k be -1*(7 + -5 + -13 + -1). Let b be (16/(-20))/(k/150). Is 2*5/b - -380 composite?
False
Let n = 57 - 57. Is (-1 + 0 + n)/((-2)/1022) a composite number?
True
Is 0 - (-1050768 - ((-16)/(-2) + 28/(-4))) prime?
True
Let k = 103 + -98. Suppose 4*z + 5*s = 4534 - 1409, -15 = k*s. Is z a composite number?
True
Let g(m) = -1386*m - 301. Is g(-14) a composite number?
True
Suppose -4*c - 2941 - 3882 = 3*n, 5*c - 10 = 0. Suppose -8*t = -3*t - 3320. Let u = t - n. Is u a prime number?
False
Let s be 3*(-35)/21 + 8371. Suppose -31*