 6*f = 8*f + 228. Let r = f + 117. Is j(r) prime?
True
Suppose 16*h - 19*h = -10857. Let a = -1938 + h. Let n = a - -1570. Is n a prime number?
True
Suppose -b + 9238 = p, 23*b - 36951 = -4*p + 18*b. Is p a composite number?
False
Suppose 17*z - 5 = 97. Is (-232884)/54*z/(-4) prime?
True
Let s(q) = 2*q**2 - 20*q + 21. Let g be s(-9). Suppose -2*n - 27 = -p + 102, 3*p + 2*n - g = 0. Suppose -r + 2*m = m - p, 0 = -3*m. Is r a prime number?
False
Let s(n) be the first derivative of 652*n**2 + 3*n + 142. Is s(11) a prime number?
True
Suppose s = -5*d + 9, 4*s - 2*d + 2 - 16 = 0. Suppose -3*f + 5*f - h = 2114, 4204 = s*f + 4*h. Is f composite?
True
Let b(a) = -7685*a**3 + 6*a**2 + 25*a - 55. Is b(-6) a prime number?
True
Suppose -95*q = -50*q - 33*q - 8054628. Is q a prime number?
True
Is (-37 + -1)*396455/(-74) - -6 prime?
True
Let n(p) = 2*p**2 + 7*p + 4. Let i = 56 + -79. Is n(i) composite?
True
Suppose 0 = 3*f - 5*y - 119817, -65*f = -60*f - 4*y - 199669. Is f prime?
True
Suppose 2*w = 2*m, 0*w - 2*m + 18 = 4*w. Suppose -w*y = 3*y - 3*y. Suppose y = 2*r - 172 - 186. Is r composite?
False
Let u be (-342)/27 + ((-4)/(-6))/1. Let m be 8*9/(-6)*45/u. Is m/75 - 5084/(-10) prime?
True
Let y = 4627 + 3882. Suppose -2*d = 3*b - b - 16998, -y = -b + 4*d. Is b a prime number?
True
Let j be 62091 + (0/1)/((-21)/(-21)). Suppose 0 = -10*k + k + j. Is k a prime number?
True
Let g = -18110 + 45107. Is g composite?
True
Let h be -3 + -1 + 2 - (-9)/(-9). Is ((-68)/16)/((h + 6)/(-444)) a composite number?
True
Let m(c) = -c + 43. Suppose 3 = 43*q - 42*q. Suppose q*l = 5*j + 95, -29 = 2*j + 2*l - 5*l. Is m(j) a composite number?
True
Let c(y) = -y - 6. Let m be c(0). Let q(f) = 0*f**2 + 2*f + 3 + 2 + 40*f**3 - 41*f**3 + 4*f**2 + f**2. Is q(m) prime?
True
Suppose -3*y + 5618 = 2*y - 2*p, -4*p = -4. Let u be y/8*(-60)/(-5). Suppose u = 4*q - 2*d, 0 = q - 5*d - 173 - 271. Is q a prime number?
True
Suppose -162*p + 1211239 = -5310719. Is p a composite number?
True
Let z(b) = -3*b**3 - 8*b - 10. Let g = -16 - -16. Suppose -2*t - 4 = g, 3*t = -h + 3 - 13. Is z(h) prime?
False
Suppose 0 = z - 17*z + 941296. Is z composite?
False
Let u(b) = 161*b - 58. Let z be u(-7). Let a = z - -5513. Is ((-1)/(-4))/(2/a) a composite number?
False
Let y = 60051 - -249826. Is y a prime number?
True
Suppose -13*g - 216162 = -115*g + 8246064. Is g prime?
True
Suppose -5*w + 21*a = 22*a - 47858, 2*w + 2*a - 19148 = 0. Is w composite?
True
Let r(m) = -m**3 + 45 - 68 - 79*m - 21*m**2 + 34 + m**2. Is r(-19) a composite number?
False
Let n(f) = -4*f + 2*f**3 - 5 + 0*f**3 - 7*f**2 - 3*f**3. Let o = -173 - -166. Is n(o) a prime number?
True
Let h(s) = 145*s**2 - s + 23. Is h(-6) composite?
True
Let l be (6 - 0 - (-8 + 12))*1. Suppose -l*d - 2*d = 164312. Is 7 + (-79)/11 - d/22 a prime number?
True
Let f be (1/1 + 9)/(12/(-18)). Let v(i) = -2*i**3 - 18*i**2 - 9*i - 68. Is v(f) prime?
True
Suppose 0 = 5*c + 3*u - 24350, 11*c + 4*u + 19512 = 15*c. Is c a prime number?
False
Suppose -34344831 = 47*s - 116026084. Is s prime?
True
Let v(q) = 234*q**3 - 2*q**2 + 19*q - 4. Let t = -184 + 187. Is v(t) a prime number?
True
Suppose -9*w = -14*w - 165. Let l = w - -36. Suppose -2*f - 3*q + 2282 = 0, 0 = f + l*q + q - 1141. Is f a composite number?
True
Let f = 834 - 824. Suppose 0 = 26*s - f*s - 10768. Is s composite?
False
Is -6 - (0 + 854649/(-21) - (-68)/119) a prime number?
False
Let x = -28945 - -81324. Is x a composite number?
False
Let x(l) be the first derivative of -27539*l**3/3 - l**2 + 3*l - 9. Let f be x(1). Is 2*(f/(-4))/7 prime?
False
Suppose -4*t - 13276 = -4*c + 5632, 0 = -3*t - c - 14189. Let h = t + 6680. Is h prime?
True
Let r(a) = -6*a**2 - 69*a + 4. Let i be r(-11). Suppose 0 = 2*m - i*m + 462595. Is m a composite number?
False
Suppose -7*g - 1487861 + 7419913 = 21*g. Is g prime?
True
Let p(f) = -f - 3 - f**2 + 29*f**3 + 6*f - f. Let y be 444/(-222)*-1*(-2 + 3). Is p(y) composite?
False
Let q = 33 + -28. Suppose -2*j + 45 = -5*a + 10, 50 = 5*j - q*a. Is 226 + (-5)/(j/3) a prime number?
True
Let v = 207 - 628. Let i = -347 - v. Is i prime?
False
Let j = 887749 - 109209. Is j/80 - 15/(-12) a composite number?
False
Let i(f) = 20*f + 15. Let v be i(3). Suppose -a + 1117 + v = 0. Suppose 926 = 6*r - a. Is r a prime number?
True
Let u(y) = -3993*y - 8. Let b be u(-1). Let j = b - 876. Is j prime?
True
Let v be (-5773)/(-92)*4*1. Suppose 6746 = v*f - 250*f. Is f composite?
True
Is 172/43 + ((-6)/15 - (-17064235)/25) a prime number?
False
Let x(h) = -12*h**3 - 10*h**2 - 19*h - 3. Let y be x(-13). Is 4*y/(-72)*-3 a composite number?
False
Suppose -4*t = l - 519616, -120*t = -125*t - 5*l + 649505. Is t prime?
False
Let c(u) be the third derivative of -23*u**5/24 + 13*u**4/12 - u**3/3 - 7*u**2. Let g(w) be the first derivative of c(w). Is g(-17) a composite number?
True
Let v = 315 - 315. Suppose -234*q + 232*q + 9286 = v. Is q prime?
True
Let w = 236008 - 85877. Is w a prime number?
True
Let h be ((-6)/2)/(-3) - -414. Suppose 2592 = -149*s + 140*s. Let w = h + s. Is w prime?
True
Suppose 3*l - 3*v - 10201 = l, 0 = -2*l - 3*v + 10231. Suppose l = 4*f - 0*f + o, -4*o = -f + 1277. Is f a prime number?
True
Suppose -5*a + 167 = -4*d, 4*a + d - 121 = -0*d. Suppose -15*r - 1 = -a. Is r/(2*(2 + -1)/1003) composite?
True
Let n = -842 + -3335. Let g = -2351 - n. Suppose -j - j = -g. Is j composite?
True
Suppose -r + 52*r + 22*r = 10477763. Is r a prime number?
False
Suppose 4*h - 3*y + 7*y = -44, -4*y - 26 = h. Let b(v) = -17*v**3 + 92*v - 87*v + 4*v**3 + 0 - 1 + 4*v**2. Is b(h) a composite number?
True
Let y(x) = 936*x**3 + 32*x**2 + 43*x - 203. Is y(8) composite?
True
Suppose 8*m = 6*m + 154. Let n = m + -152. Let u = n - -112. Is u a prime number?
True
Let k(x) = -x**2 + 16*x - 53. Let t be k(6). Suppose t*b - 32875 - 13794 = 0. Is b a composite number?
True
Is 224/16 + -18 - (0 - 154019) composite?
True
Let p = -189695 + 272940. Is p a prime number?
False
Let h(d) = 7009*d - 34. Let r be h(2). Suppose -931 = -5*a + r. Is a a composite number?
True
Suppose 5*w - 185359 = 48801 + 45595. Is w prime?
False
Suppose -106339 = -8*i - 20019. Suppose 0*j - 5*j = -5*s - i, 5*j - 3*s - 10796 = 0. Is j prime?
True
Let i = -14 + 18. Suppose -i*g = -3178 - 3334. Suppose -411 = -x - 5*l + 155, -3*x = l - g. Is x a prime number?
True
Is ((-212)/8 + 8)*(-4 - 1258/1) composite?
True
Suppose 2*x + 84787 = 3*u, -u - 3*x = -10114 - 18152. Is u composite?
True
Suppose 0 + 25 = 5*r. Suppose -w + 3*m + 4 + 1 = 0, w - 13 = -r*m. Suppose -w*v - 118 = -10*v. Is v a prime number?
True
Let j = 488820 + -314471. Is j a prime number?
False
Let w(p) be the second derivative of 3*p**4/4 + 5*p**3/6 + p**2/2 - p. Suppose -18*u - 246 = -84. Is w(u) a prime number?
False
Let o = 42 + -39. Let g(i) = 20*i**o + 4*i - 2*i**2 - 1 + 10*i**3 + 0*i**3 + 0*i. Is g(3) composite?
True
Suppose 112287 = o + 22*y - 24*y, o - 5*y - 112293 = 0. Is o prime?
False
Let v be (12/(-2))/(93/9 + -10). Is v/(-30) + (-19260)/(-25) a composite number?
True
Let o(p) = -16616*p - 28. Let m(d) = -8307*d - 14. Let c(r) = 11*m(r) - 6*o(r). Is c(1) prime?
False
Let a = -9766 - -66795. Is a a prime number?
False
Let r = -66 + 81. Suppose 0 = -r*z + 1116 + 2589. Is z a prime number?
False
Let z(x) = x**3 + 8*x**2 + 6*x + 1. Let f be z(-7). Suppose -2*c - 5*s = -f, 0 = 5*c - 4*s - 15 - 5. Suppose 0*g = -c*g + 1868. Is g a prime number?
True
Let n be ((-12)/(-8))/(15/29350). Let w = -1174 + n. Is w a composite number?
True
Suppose -5*f + 25*m = 21*m - 560115, 5*m = 4*f - 448101. Is f a prime number?
True
Let l(p) = p**2 - 16*p + 19. Let g be l(15). Let x(h) = 330*h**2 + 8*h - 7. Is x(g) composite?
True
Let n = 50 + -3746. Let t = 5317 + n. Is t composite?
False
Let g(v) = -v**2 - 7*v - 16. Let l be g(-3). Let m(u) = 26*u**2 - 13*u - 49. Is m(l) a prime number?
True
Suppose 3*o - 4*t = 33, -2*o + 0*o = -5*t - 15. Suppose -o*w - 18 = -17*w. Is 1/((w/381)/3) a prime number?
True
Let o(w) = 2*w**3 - 11*w**2 - 7*w + 6. Let h be o(6). Suppose 2*s - 3*s - 17 = 3*f, h = 5*s - 4*f - 10. Is s/10 - 576/(-30) a composite number?
False
Suppose -k + i - 74 = 0, 5*i = -2*k - 0*k - 134. Let q = k + 77. Suppose -6*r = z - 2*r - 307, 0 = 2*z - q*r - 588. Is z composite?
True
Let t(b)