*s + 34. Is y(r) prime?
False
Let s(t) = 293*t**3 - 3*t**2 + 2*t + 2. Let g be s(2). Let i be g/10 - (-1)/5. Let j = 469 - i. Is j composite?
True
Let i = -17983 - -25866. Is i a prime number?
True
Let j = 2252 + 4481. Is j prime?
True
Suppose -76*p = -87*p + 20614. Is p a composite number?
True
Let p = -260 + 156. Let w = 115 - p. Is w prime?
False
Suppose -714 = -4*n + 5*f, 3*n - 2*f - 329 = 203. Suppose j - n = -2*s, 0 = 3*s - 5*j + 2*j - 255. Is s a composite number?
True
Suppose 0*c - 6*c = -c. Suppose 5*v - v + 887 = 5*g, 2*g - v - 356 = c. Is g a composite number?
False
Is -10 - ((-84228)/12 - -10) prime?
False
Is (-1 - (-3143 - -2)) + -6 composite?
True
Suppose 0 = 3*d - 0*d. Suppose d = -n + 4*y + 170, 0 = -2*n - 0*n - 3*y + 307. Is n a prime number?
False
Let m = 508 + 285. Suppose 0 = -n - u - u + m, 3*n - 2377 = -4*u. Is n a prime number?
False
Let c(y) = 69*y**3 - 3*y**2 + 6*y + 1. Let r(s) = 207*s**3 - 9*s**2 + 17*s + 2. Let n(b) = -11*c(b) + 4*r(b). Is n(2) a prime number?
True
Let i(h) = 491*h**2 - 3. Let a be i(2). Let y = a - 1398. Let x = -226 + y. Is x prime?
True
Suppose 5*m - 2*m = 105. Let g = 44 + m. Is g prime?
True
Suppose 2*h + 78 = 2*s, -5*s + 195 = 2*h - 6*h. Let o(t) = -s*t + 6 - 6 - 4. Is o(-5) prime?
True
Suppose 0 = 33*p - 26*p - 16597. Is p prime?
True
Suppose 12046 = 3*t - 2729. Suppose t = 6*j - j. Is j composite?
True
Is (-3314)/((32/14)/(-8)) - 6 prime?
True
Let f(w) = w**2 - 2*w - 1. Let x be f(3). Let z(g) = -3*g - 9 + 3*g + g**x + 6*g. Is z(-10) composite?
False
Suppose -1267 = -2*s + 2537. Is 6/4*s/9 a composite number?
False
Suppose -2*m = -4*m + 3*z - 223, 5*z + 79 = -m. Let g = m - -233. Is g prime?
False
Suppose 65 = 4*y - 9*y. Let m = -9 - y. Suppose -m*s + 7*s = 1317. Is s a prime number?
True
Let z(a) = 480*a**3 - 2*a + 1. Is z(1) a prime number?
True
Let i = 22974 + -7247. Is i composite?
False
Let l(v) = -7*v - v + 42*v - 19. Is l(9) a composite number?
True
Let r = -118 - 38. Suppose -296 = 5*v - 2786. Is 24/r + v/26 prime?
True
Let q be 78/24*(-3 - 1). Let j = q - -13. Suppose j = -4*z - z + 575. Is z a composite number?
True
Let z(i) = i**2 + 4*i - 5. Let f be z(-5). Let q(s) = s + 1. Let n be q(f). Is ((-4)/4)/(n/(-53)) a prime number?
True
Let j = -3879 + 5911. Is (-5)/35 - j/(-14) a prime number?
False
Let z(d) = 3*d - 13. Let m be z(11). Let b = m + -24. Is 191*(-3)/(12/b) prime?
True
Let q = 20 + 35. Suppose w - q = 3. Is w a composite number?
True
Suppose s - 11 = -9. Suppose -2*t = s*t + 20, -1260 = -5*r + t. Is r a composite number?
False
Suppose -15*u - 35970 + 158835 = 0. Is u a prime number?
True
Is ((-2722)/5)/((-10)/50) prime?
False
Let t(r) be the first derivative of r**5/30 + r**4/24 - 2*r**3 - 4*r**2 + 1. Let g(n) be the second derivative of t(n). Is g(-5) a composite number?
True
Let k = -39 - -28. Let q be -106*(-3)/((-6)/k). Suppose 4*l - 988 = 5*y, -2*y + q = 3*l - 158. Is l a prime number?
False
Let i(w) = w**2 - 1. Let a(v) = 4*v**2 - 17*v + 14. Let k(c) = a(c) - i(c). Is k(11) a prime number?
True
Suppose s - a + 2 - 6 = 0, -a - 13 = -4*s. Suppose s*p - 3 = 6. Suppose q = -p*q + 212. Is q prime?
True
Let r(o) = o**2 - 7*o - 16. Let u be r(9). Let j be 3 + 6/u + -3. Suppose -4*f - 2224 = -4*n, -2209 = -4*n - 4*f + j*f. Is n a prime number?
False
Suppose 4*s - 1589 = -3*s. Suppose 2*v = s + 203. Is v a prime number?
False
Let f = -4444 + 9390. Is f a composite number?
True
Suppose 4*s = 2*u - 7*u + 87, 5*s - 4*u - 160 = 0. Suppose -2*y + 44 = -3*m, -m + s = 5*y - 48. Suppose -4*q = y + 4, 2*w = -4*q + 302. Is w composite?
True
Let r(b) = -b**2 - b - 78. Let j be r(0). Let x = -373 + 2. Let f = j - x. Is f a composite number?
False
Suppose -4143 = -4*x + 3109. Suppose 0 = -2*r - 5*r + x. Is r a prime number?
False
Suppose 16*i = 5*x + 11*i - 629290, 2*x = -2*i + 251736. Is x prime?
True
Let m be (((-16516)/(-1))/(-2))/(-33 + 35). Let g = m - -6088. Is g composite?
True
Let q = -450 - -200. Is -22*(-1 + q/4) a composite number?
True
Let y be (-9)/(-3) + (25 - 0). Let t = 23 - y. Is (-4)/10 - 3457/t a composite number?
False
Let n(y) = -y**2 + 3. Let p be n(0). Suppose 48 = -3*r - 3*m, 0 = -r + p*r - 4*m + 14. Let h(b) = -10*b + 15. Is h(r) a prime number?
False
Suppose 8122 = 5*k - 76183. Is k a prime number?
False
Let q(u) be the third derivative of u**5/60 - u**4/8 + u**3/6 - 4*u**2. Let w(z) = -z**2 + 3*z - 5. Let k be w(4). Is q(k) a prime number?
True
Let t = 1990 + 4117. Let n = -3774 + t. Is n prime?
True
Suppose 750 + 801 = 3*r. Is r composite?
True
Let k(w) = 32706*w + 43. Is k(1) a composite number?
False
Let b(v) = -v**3 + v**2 - 67*v + 19301. Is b(0) a composite number?
False
Let v(c) = -3*c**3 + 2*c**2 - c + 2. Suppose 0 = -2*s + 4*f - 12, 2 - 5 = 2*s + 5*f. Let a be v(s). Suppose -3*j + a = -j. Is j a prime number?
False
Let p = 14342 + -6345. Is p composite?
True
Let k = 23052 + -14561. Is k a prime number?
False
Suppose -11*q - 22*q = -29271. Is q a composite number?
False
Suppose -3*f - 2*f + 10 = 0. Suppose -f*o - 4 = 2. Let i = o + 26. Is i composite?
False
Let y(x) = x**3 + 3*x**2 + 5*x + 4. Let s be y(-2). Is (-20 - -22)*(-31)/s composite?
False
Suppose 5*k - a - 167707 = 0, -3*k - 4*a + 109980 = 9365. Is k composite?
True
Let f = 29 + -26. Suppose -5*u - 1113 = -3*g, f*g - 1131 = -5*u - 18. Is g prime?
False
Let v(r) = 17*r - 52. Let s be v(24). Suppose 344 + 277 = -3*q. Let g = q + s. Is g a composite number?
False
Suppose 20*h - 26430 - 25150 = 0. Is h a composite number?
False
Suppose 0 = -5*c - 102 - 158. Let w be 4/(-26) + (-1464)/c. Suppose w = 2*b + 2*b. Is b prime?
True
Let k(d) = -585*d + 212. Is k(-13) a composite number?
False
Let l = 2856 - 1493. Is l a composite number?
True
Let r = -10301 + 18210. Is r a prime number?
False
Suppose 5*z = 23141 + 161024. Is z composite?
False
Suppose 3*h + 1920 + 3000 = 4*x, -x = -2*h - 1235. Is x a composite number?
True
Suppose -48*r + 52*r = 4. Is 193 - (r + (-2 - 0)) a prime number?
False
Let b(n) = -29*n**3 - 12*n**2 - 3*n - 37. Is b(-12) composite?
False
Let l(v) be the third derivative of v**5/60 - v**4/24 - 2*v**3/3 - v**2. Let k be l(0). Let b(z) = -32*z - 1. Is b(k) composite?
False
Let a(i) = 5514*i - 1013. Is a(16) a prime number?
True
Let h(a) = -3*a + 2. Let c be h(0). Suppose -j - 1155 = -c*j - 4*n, 0 = 3*j + 2*n - 3455. Is j a composite number?
False
Suppose 5*u + 5*f = u + 480, -2*u + 262 = -3*f. Let c = 362 + u. Is c prime?
True
Let b be (299216/(-26))/2 - (-24)/156. Let m = 9739 + b. Is m prime?
False
Suppose -a - 666 = -2*t, -2*t + 997 = t - a. Is t composite?
False
Suppose 26*n - 2707 - 85407 = 0. Is n a composite number?
False
Let b be (15/10)/((-3)/(-4)). Let q be (0*(-4)/(-8))/b. Suppose q = -k - 0 + 34. Is k composite?
True
Suppose 5*q - 35 = 19*g - 17*g, 0 = -3*q - 5*g - 10. Let v be 4/(-14) - (-5)/(-7). Is v + 17 + -2 + q composite?
False
Let d(h) = -876*h + 80. Let x(p) = 292*p - 27. Let r(t) = 6*d(t) + 17*x(t). Is r(-4) prime?
False
Is 2*(49699/26 - 3) prime?
False
Let l(d) be the second derivative of d**5/5 - d**4/3 - d**2/2 - d. Let t(m) = -15*m + 96. Let b be t(6). Is l(b) a composite number?
False
Let x(c) = 115*c**2 + 13*c - 19. Is x(-11) composite?
True
Let o = 26542 + 125241. Is o a prime number?
True
Suppose -5*r + 4*t + 17 = -0*r, 0 = -4*t - 12. Is r/(-9) + 2746/9 prime?
False
Let b = 17 + -14. Suppose 2*t + 3*s = 23, 2*t - 70 = -b*t + 5*s. Suppose 0*m - t = -m. Is m composite?
False
Suppose -5*u + 14 = -11. Let d(n) be the first derivative of 9*n**3 + 5*n**2/2 + n + 6. Is d(u) a prime number?
True
Let k(r) = 2*r**2 - 17*r - 6. Is k(-15) prime?
False
Suppose d - 694 = -d. Let v = d + -69. Let x = -133 + v. Is x prime?
False
Let h(r) be the second derivative of 19*r**3/6 - 2*r**2 + 24*r. Is h(3) a prime number?
True
Let w be (-3 - -3) + -2 + 1174. Let z be (8 - w)*(-2 + 1). Is 2*(z/8)/3 composite?
False
Let z(y) = -5*y**2 - 4*y - 3. Let t be z(-1). Is (-355)/(16/t - -3) a prime number?
False
Let f(u) = u**2 - 3 - 5*u + 2*u**2 + 2. Is f(10) composite?
True
Suppose -4*a - 16 = -0. Let b be 3/a - (-66)/24. Suppose -b*r + r = -191. Is r prime?
True
Suppose 0 = -2*s, 0 = -2*d - s + 6*s + 844. Is d a prime number?
False
Suppose 479 = t - 218. Suppose x - 2*b = t, -3*x 