 + 16*a - 16. Let p(f) = -3*f**2 - 3*f. Let o be p(-2). Let y be (o/(-4))/(8/(-80)). Is d(y) a composite number?
False
Let r be ((-1)/3)/(-1) + 48872/12. Suppose 3*g - 2*f - r = 0, -2*g - 2*g - f = -5449. Is g composite?
False
Let o(y) = y**3 - 7*y**2 + 6*y - 8. Let t be o(-10). Let u = 1125 + t. Let d = 2164 - u. Is d prime?
False
Let r = -91 + 106. Is ((-5)/r)/(1/(-2931)) composite?
False
Let x = 27 - 11. Let u be (x/(-16))/(1/(-13)). Let m = u + 236. Is m prime?
False
Suppose 8*u - 8200 = 3*u + 3*w, -4920 = -3*u - 2*w. Let s = -763 + u. Is s prime?
True
Is 622150 - 20 - 1/((-5)/(-50)*-2) prime?
False
Let h(p) = 52*p**3 + p**2 + p - 4. Let u be h(2). Suppose -56 - u = -6*y. Is y prime?
True
Suppose -d = -l - 8830, -4*d - d + 3*l = -44156. Suppose 36*f - d = -1129. Is f a composite number?
True
Let w = 54980 + -36672. Suppose -4*j - w = 2*h, -3*j - j = 4*h + 18312. Let q = 6909 + j. Is q composite?
False
Let t = 307 - 309. Is (-1616 - (2 - 0))/(4/t) a composite number?
False
Let r(j) = 26*j**2 - 34*j - 1. Let u be r(-5). Let l = u + 1168. Is l prime?
True
Let u(x) = 265*x**2 + 16*x - 40. Let o(r) = -267*r**2 - 14*r + 39. Let a(d) = -5*o(d) - 4*u(d). Is a(-8) composite?
True
Suppose 0 = 5*d - a - 21, -d = 5*a - 32 + 7. Suppose 197*t - 192*t + 4*k - 54 = 0, -2*t + 2*k = -18. Suppose d*r + 1315 = t*r. Is r composite?
False
Let g(f) = 50*f**2 - 2*f - 1. Let l be g(-1). Is 3*(18143/9)/(17/l) a composite number?
False
Let r = -46970 + 66172. Is r a prime number?
False
Is ((-1824)/204 - -9) + (-4402692)/(-34) composite?
False
Is (-257394)/(-4)*2110/633 a prime number?
False
Is (562847/244)/((-2)/(-136)) prime?
False
Let q = -99 - -102. Suppose 0*x - 2*p + 5831 = 5*x, -q*x + 3499 = p. Is x prime?
False
Let d(y) = -y**3 + 24*y**2 - 30*y - 5. Let p be d(-23). Suppose 0 = 17*f - 11*f - p. Is f composite?
True
Let b(d) be the first derivative of -d**2 + 24*d - 38. Let a be b(11). Suppose 0*j = a*j - 266. Is j a prime number?
False
Let u = 18029 + -10888. Let h = -4280 + u. Is h prime?
True
Let r = -56723 - -98329. Suppose -11780 = 18*m - r. Is m a composite number?
False
Suppose -65 = -0*m - 2*m + 3*g, 4*m = g + 115. Suppose -2*t = 5*t - m. Suppose 0 = t*c - 4*u + 369 - 5029, -3503 = -3*c - u. Is c a prime number?
False
Suppose 4*m - 491640 = 752060. Suppose 4*h + 21*h - m = 0. Is h prime?
True
Is (-49247229)/265*(-25)/(-30)*-2 a prime number?
True
Let k(h) be the third derivative of 1133*h**6/40 - h**5/60 + h**4/8 - 2*h**3/3 + 41*h**2 + h. Is k(1) a prime number?
False
Suppose -20*k + 27*k = -616. Let p = 85 + k. Is 99 - 3*((-16)/p - 4) composite?
True
Let y(g) = 3114*g + 78. Let q be y(15). Suppose -q - 1800 = -12*z. Is z prime?
True
Let n(u) = -35*u**3 + 7*u**2 + 2*u - 11. Let l be n(-4). Is (l - (-1 + -1))/1 a prime number?
False
Is (-29)/(-1)*(-18692)/(-68)*17 prime?
False
Let u be ((-24)/7 + 2)/((-32)/112). Suppose -4*w = 2*t - 6*t + 21996, 5*t + u*w - 27515 = 0. Is t composite?
False
Let y = 47696 + -33355. Is y composite?
False
Suppose -37813 = -2*w + 3*b, -13*b + 8*b + 18874 = w. Is w composite?
False
Let f(o) = 14*o**3 - 8*o**2 + 13*o + 13. Let q(u) = -17*u**3 + 8*u**2 - 12*u - 15. Let t(z) = -6*f(z) - 5*q(z). Let v = -6 + -2. Is t(v) prime?
False
Let v(i) = -3 + 7 + 20*i + 1. Let t be v(-1). Is ((-62195)/t)/7 - (-2)/3 prime?
True
Let u = -21104 - -64161. Is u a prime number?
False
Let w = 76 - 34. Is w/(-9)*(9805/(-10) - -1) composite?
True
Let s be (-1 + 1)/(1 - 0). Suppose s = -4*y - 3*t + 15380, -3*y = -y + 4*t - 7700. Suppose -19*a = -y - 4499. Is a a composite number?
False
Let r(k) = -2*k**3 + 19*k**2 + 5*k - 5. Let c(f) = -f**3 - 22*f**2 + 7*f + 26. Let a be c(-22). Let q = 120 + a. Is r(q) a prime number?
False
Let q = -2460 - -4216. Suppose 2*x + q = 2*w, -2*x - 3512 = -w - 3*w. Let d = w + -351. Is d a composite number?
True
Let s = -299 + 303. Suppose 4840 + 13636 = s*l. Is l a composite number?
True
Let g(v) = 205*v**3 - 23*v + 177. Is g(7) a composite number?
True
Let x = -8718 + 12434. Suppose -3*w + 3*s + x = -3658, -w = 4*s - 2473. Is w composite?
True
Suppose 0 = 4*u + 5*q - 245627, -2*u - 7*q = -9*q - 122800. Is u prime?
True
Let s = 1359 + -913. Suppose s = 18*z - 17*z. Suppose -3*p = -p - z. Is p prime?
True
Let v(a) = 13 - 26*a - 1 + 6*a**2 + 13 - 6. Is v(12) composite?
False
Suppose 5*t - 8 = 12. Is 11789 - 8 - (8 - t) composite?
False
Let x be ((-1)/(-15)*54)/(2/5). Suppose 2*l - 3*k - 1711 = 0, -x*l + 4*k = -4*l - 4267. Is l composite?
True
Let w = 37441 + 2232. Is w prime?
False
Suppose 5*p = -3551 - 1169. Let o = 1955 - p. Is o prime?
False
Suppose 0 = 2*o + 4*a + 6014, 4*o + 2*a + 12048 = -2*a. Is (o/14)/(1/(-4)) a composite number?
True
Let q(u) = 807*u - 26*u - 212*u - 35 + 525*u. Is q(2) a prime number?
True
Let r(p) = 3*p - 42. Let a(c) = -c + 21. Let s(b) = 5*a(b) + 3*r(b). Let t be s(6). Suppose -4*u + t*d + 331 = 8*d, -5*d = -3*u + 222. Is u a prime number?
True
Suppose 3*v + 2 = 4*v. Suppose -v*a = -5*a + 5*i + 12, 12 = 3*a - 4*i. Is 1*321*(-3 + a) a prime number?
False
Is (-1131172 - 40)*(-3)/12 a composite number?
True
Let z(j) = -j**3 - 3*j**2 + 10*j + 15. Suppose 3*b + 7 = -4*m, -15 = -2*b + 3*b - 5*m. Let w be z(b). Suppose w*n + 1157 = 8522. Is n a prime number?
True
Let g(y) = -788*y - 827. Is g(-26) a composite number?
False
Suppose -504931 = -1116*f + 1109*f. Is f a prime number?
False
Let s(q) = 2*q**3 - 6*q**2 - 20*q + 110. Is s(7) prime?
False
Let l be (-3)/(-1) - (1 + -14). Let u(f) be the second derivative of f**4/12 - 3*f**3/2 + 27*f**2/2 - 60*f - 1. Is u(l) a prime number?
True
Let m(h) = h**3 + 9*h**2 + 7*h - 6. Let t be m(-18). Let g be (-2*(-1)/(-4))/((-6)/t). Let x = 507 + g. Is x a prime number?
False
Let o(y) = -7*y**3 + 7*y**2 + 6*y - 9. Let w(q) = 8*q**3 - 8*q**2 - 7*q + 8. Let d = -15 + 11. Let f(r) = d*w(r) - 5*o(r). Is f(6) prime?
True
Suppose 2*r = 13*r - 9350. Let j = 66 + r. Is 1/3*(20/4 + j) a composite number?
False
Suppose -1060*y - 87844 = -1062*y. Is y a composite number?
True
Let b = -3418 + 5136. Let k = b + -880. Suppose -k = 2*t - 6*t - 3*p, 0 = -3*t - 4*p + 625. Is t composite?
False
Let x = -11680 - -26637. Is x prime?
True
Suppose 3*f - 445 = 776. Let p = -6330 + 6176. Let a = f + p. Is a a prime number?
False
Suppose -3*f + 261 = 5*q - 791, 3*f = -4*q + 1057. Let y(w) = -w**2 - 15*w + 6. Let a be y(-15). Suppose -5*t = -a*t + f. Is t composite?
False
Let v be (4036/(-5))/(2/(-10)). Let g be 3*3/18*v. Suppose -5*x = 433 - g. Is x prime?
True
Let k = 170 + -79. Let b = -91 + k. Suppose 5*i + 3*i - 80 = b. Is i a prime number?
False
Let q(j) = 2296*j - 383. Is q(15) prime?
True
Let h = 142 + -247. Let b = -101 - h. Is b - -219 - (-4)/(-2) a prime number?
False
Let n(s) = -s**2 - s - 1. Let l(v) = 4*v**2 + 4*v - 18. Let f(o) = l(o) + 5*n(o). Let t be f(5). Is t*(-10 - (-2 - 3)) prime?
False
Let s(l) = 119*l + 18*l**2 + 116*l - 7 - 213*l. Is s(-9) prime?
False
Suppose -2*k - 2*k + 66 = p, 4*p - 189 = -k. Let a = 46 - p. Suppose a*i + 7*i - 2674 = 0. Is i a composite number?
True
Suppose 12*m = 50876 + 2368. Suppose 12*l - 6639 = m. Is l prime?
False
Suppose -143670*t + 143681*t = 8333347. Is t prime?
True
Let j(o) = 9*o**2 - 27*o + 121. Suppose -w = -4*i - 19, -4*i + 116 = 7*w - 3*w. Is j(w) a composite number?
False
Let u(c) = c**2 + 2*c - 11070. Let x be u(0). Is (-2)/(-10) + x/(-25) a composite number?
False
Let v(j) be the third derivative of 47*j**6/120 - j**5/60 + j**4/24 - 2*j**3/3 + j**2 + 37. Is v(3) a composite number?
False
Let y = 35 + -2. Let f = y - 43. Let b = f + 53. Is b a composite number?
False
Suppose -2*i - 2*i + 112 = 0. Suppose 24*p = i*p - 200444. Is p prime?
True
Let g = 107359 + -66972. Is g prime?
True
Suppose 7913052 = 24*m + 2309604. Is m prime?
True
Suppose -4*p = -3*i + 63782, 85068 = 4*i - 0*i + p. Let r = i + 5421. Is r a composite number?
False
Is 55316*(-4)/80*10/(-2) composite?
False
Let b(s) = 10*s - 7. Let p(f) = 5*f**2 - f - 2. Let h be p(-1). Suppose a - 19 = -u, 23 = a + h*u - 8. Is b(a) a composite number?
True
Let z(n) be the third derivative of 13*n**5/15 - 3*n**4/8 + n**3/3 + 31*n**2 - 3*n. Suppose 5*k = -4*t + 11, 2*k + k - 12 = 3*t. Is z(k) a composite number?
False
Is -9 + (143857 - (11 + 0)) a composite number?
True
Le