= 4*f + 26. Let r(j) = -j**3 - 5*j**2 + 7*j + 4. Let y be r(-6). Is (1772/12 + y/(-6))/b composite?
True
Let g(b) be the first derivative of 5*b**3/3 + b**2/2 + 13*b - 2. Let w be -2 + 0 + 11 + 2. Is g(w) prime?
False
Suppose 35*i - 40*i + 151345 = 0. Suppose 4*a - i = -5*k, a - k = -4*a + 37800. Is a composite?
False
Let r be -4 + (-3252 - (5 - 4)). Let j = r + 10168. Is j prime?
True
Let n(q) = 3*q**3 - 18*q**2 + 8*q - 14. Let x be n(-9). Let y(f) = -f - 14. Let d be y(0). Is d/77 - (2 + x/11) a prime number?
True
Let d = -356 + 539. Let x = -318 + d. Let a = -77 - x. Is a composite?
True
Let v(w) = 29*w**2 - 109*w - 2307. Is v(76) prime?
True
Let x = -14 + 38. Suppose 11*v - x = 9. Suppose 3*g - 2667 = -2*w, -v*w + 1044 = g + 155. Is g a composite number?
True
Is -12 - (-43477 - 3) - -9 a prime number?
False
Suppose -1323 - 1385 = -4*f. Suppose -2*w - 1555 = -u, u - 3*w - 875 - f = 0. Is u composite?
True
Suppose -15*t + 14*t = 3*h - 147991, -3*h = 0. Is t composite?
True
Suppose 66*k + 30*k - 151618848 = 0. Is k a prime number?
True
Suppose -4*g + 2*s = -1417688, -1854*s + 1856*s = -4. Is g composite?
False
Suppose 15*l + 3*h = 13*l + 88256, -2*h + 12 = 0. Is l prime?
True
Suppose -5*n + 12*n - 9175965 = -62*n. Is n composite?
True
Suppose -23*m - 1419195 = -22*u - 22*m, -5*m = -u + 64494. Is u composite?
True
Let r(u) = -u**2 - 7*u + 2. Let z be r(-7). Let k be z + -6 + (-106)/2. Let c = 398 + k. Is c a composite number?
True
Suppose 0 = -27*y + 20*y + 652309. Is y a composite number?
False
Let b(j) = j**3 - 19*j**2 - 17*j + 1. Let p(f) = -f**3 + f + 1. Let q(u) = -b(u) - 2*p(u). Is q(-18) composite?
True
Suppose 84*a = 252588 + 24528. Is a composite?
False
Suppose 2*q - 1 = 7. Let m be (q + 1)*14/35. Suppose 0*a - 2*j + 353 = 3*a, a - m*j - 123 = 0. Is a a composite number?
True
Let l(m) = 83*m - 21. Let w be l(7). Let d = w + 277. Suppose 5*k - 398 - 3809 = -c, -d = -k + 2*c. Is k composite?
True
Let p be (20 - 3) + 0 + 1. Let z be (22/(-6) - -3)/((-2)/p). Let j = 65 - z. Is j composite?
False
Suppose 475*o - 472*o = 433023. Is o prime?
True
Let s be (28/21)/(3/(-5337)). Let w = 4801 + s. Is w a composite number?
True
Let c be (-108)/(-168)*(-1 - -5)*14. Suppose 6*q + c - 4080 = 0. Is q a prime number?
False
Is 157/(1518936/(-151896) - -10) prime?
False
Let w = 112887 + -26690. Is w a prime number?
True
Let z = -13 + 16. Suppose -1166 = -z*x + 274. Let d = x + 193. Is d a prime number?
True
Let v(x) = 61*x**2 - 28*x - 13. Let r be v(-26). Suppose 26*p = 19*p + r. Is p composite?
True
Suppose 28*z = 40*z - 36*z + 18643224. Is z a prime number?
True
Let r(b) be the first derivative of 164*b**3/3 + 7*b**2/2 + 16*b + 19. Is r(-3) a prime number?
True
Let o(m) = 1237*m**2 - 15*m - 129. Is o(-7) prime?
True
Let q(v) = 2*v**3 + 4*v**2 - 12*v + 1069. Is q(0) composite?
False
Let u(v) = 4*v**3 - 10*v**2 + 7*v - 23. Let r be u(-8). Let p = r - -4481. Is p composite?
True
Let l(c) = -c**3 + c + 2. Let t be l(0). Suppose -3*o - t*v = 7307, -2*v - 2288 = o + 145. Is 20/(-50) - o/5 a prime number?
True
Is -19*(5/3 - 2)*(7052 + -161) composite?
True
Let i = 5174 + -3366. Suppose 0 = -5*n + i + 2627. Let b = n + 932. Is b composite?
True
Let j(z) be the first derivative of -z**2 - 19 + 13/2*z**4 + z**3 + 5*z. Is j(4) a prime number?
True
Suppose -25*g + 24*g + 180436 = 2*i, 4*i = 2*g + 360896. Is i a prime number?
False
Let p(r) = 789*r - 10 - 2 - 790*r. Let f be p(-7). Let l(x) = 28*x**2 - 1. Is l(f) a prime number?
False
Suppose 25*l + 7736 = 21*l. Let n = l + 3343. Is n composite?
False
Suppose 0 = -7*s + 15989 + 280006. Suppose 3*g = s + 48432. Is g composite?
True
Suppose 0 = -12*u - 48526 + 11962. Let p = u + 6318. Is p composite?
False
Is ((-90)/(-12) + -6)/((-48)/(-5119072)) a composite number?
True
Let o = -36 + 36. Suppose 8*q - 27388 - 4348 = o. Is q a composite number?
False
Let o(g) = 1707*g**2 - 168*g + 2. Is o(-5) composite?
False
Let a = -831 - -589. Let k be 1485/3 - (3 + -1). Let g = k + a. Is g a prime number?
True
Let v(n) = 374*n**3 + 4*n**2 + 3*n + 7. Is v(6) a composite number?
False
Let n be (38 - -3 - 0)/(6 + -5). Suppose 71829 = n*k - 8572. Is k a composite number?
True
Suppose 0 = 29*v - 1005718 - 1902373. Is v prime?
True
Suppose 0 = 5*x - 16 + 6. Suppose x*o + 100 = 7*o. Suppose -o = -4*a, 3*a - 4*a = 2*k - 175. Is k a prime number?
False
Suppose 122 = -15*g + 17. Is (520/(-70) - -7) + (-12764)/g a composite number?
False
Is 12083422/28 - 63/(-294) a prime number?
False
Let y be 16/(-56) - (-4)/14. Let d be 7 + 12/(-3) - y. Suppose -d*v + 4*n + 203 = 0, 2*n + 66 = v - n. Is v prime?
False
Suppose -39*s - 21*s = -634740. Is s composite?
True
Let c(s) = s**2 + 16*s - 61. Let m be c(-19). Let v(a) = -1555*a - 23. Is v(m) composite?
False
Let l be 1/((10/25)/2). Suppose 0 = -4*k + j - 1267, 4*k + 9*j + 1292 = l*j. Let u = k + 1525. Is u composite?
True
Let m = 2573 - 1641. Suppose -d - 3*d = 5*c - 20, -4 = -2*d - c. Suppose 2*r + m - 4450 = d. Is r a prime number?
True
Let z = 1121008 - -250423. Is z a prime number?
True
Let n = -113 + -39. Let m = n - -248. Suppose -2*w + m = -10. Is w composite?
False
Let x be ((-638)/(-12) + (-10)/60)*2. Is (4/10)/(x/663295) prime?
True
Suppose -2*b = 4*z - 3918, 0 = 3*b - 5*z - 1526 - 4296. Is b a composite number?
False
Suppose -5*p + 25 = 0, -4*o - 22*p = -24*p - 134. Is 6114/7*126/o a prime number?
False
Suppose -488939 = -3*p - 8*p. Is p composite?
False
Let n = 135 - 133. Suppose 5*i - 4*z = 3373, 4*i + z = -n*z + 2686. Is i a prime number?
True
Let w(f) = -60*f - 23. Suppose 0 = 5*v + 3*d + 130, 2*v + 5*d + 44 = -27. Is w(v) prime?
False
Let q(a) = a**2 + 3*a + 11. Let p be q(-15). Suppose -12812 = -p*t + 187*t. Is t a prime number?
True
Is (6999327/(-72))/(8/(-64)) a composite number?
True
Suppose -5*j - 4*c + 12 = 0, -j - j + 4*c - 12 = 0. Suppose 7*w = -j*w + 497. Suppose w*o = 66*o + 265. Is o a composite number?
False
Let b(g) be the first derivative of -151*g**2 + g - 15. Let i be b(-1). Suppose 137 = 8*h - i. Is h composite?
True
Suppose -4*g - 5*m + 103926 = 0, 5*m - 3635 - 126280 = -5*g. Is g a composite number?
True
Let o be 0*(-4 - -3) - 0. Suppose 5*b = -o*b + 7700. Suppose 2720 = 5*m + 5*f, b + 89 = 3*m + 2*f. Is m a prime number?
True
Let y be 30/20 - 2/4. Let s(d) = 2786*d**2 + 1. Is s(y) a prime number?
False
Suppose l = 4*f + 59 + 368, 0 = 3*l + 5*f - 1230. Suppose -3*u - 1 = -2*y, -84*y + 86*y = -5*u + 41. Suppose 3*h + l = y*h. Is h a composite number?
False
Let d(i) = 206993*i**3 + i**2 - 2*i + 1. Is d(1) a prime number?
True
Let t(k) = -1966*k - 401. Is t(-3) a composite number?
True
Let v = 373284 + 1106057. Is v a prime number?
True
Let j(g) = 33 + 6*g - 3*g + 8 - 15. Let f be j(-8). Suppose -3*n - 6337 = -f*h + 768, h = n + 3550. Is h composite?
True
Suppose 2*f + 2*i = -156, -2*f - 5*i - 118 - 44 = 0. Let n = 267 + f. Is n a prime number?
True
Is ((-60)/7)/(-5) + 19594062/42 a prime number?
False
Let f(z) = 36070*z**2 - 10*z - 37. Is f(2) a prime number?
True
Suppose -2*m + 37 = 2*c - 19, -m = 3*c - 76. Suppose 4*t = -2*f + 87598, 3*t - 131397 = -27*f + c*f. Is f prime?
False
Let h = 46 + -44. Let c = -3 + h. Is 1816 + 5 + 4*c prime?
False
Let b(s) = -4 - 17*s + 9*s - s**3 + 7*s + 3*s**2 + 3*s. Let t be b(2). Suppose 0 = t*k - 231 - 157. Is k prime?
True
Is (-76)/(-570) + 6/(-2) + (-110176)/(-330) composite?
False
Suppose 78*w - 77*w = 10. Let d = 10 + w. Suppose 19*t - d*t = -491. Is t a prime number?
True
Let g(x) = -7*x - 50. Let r be g(-8). Suppose 3*i - 4*d = 22, 3*i + 0*i + r = -3*d. Is -1*i/((-8)/1052) prime?
True
Suppose 14964635 + 27918772 = 63*m. Is m a prime number?
False
Let n = -6088 + 53045. Is n a composite number?
False
Is 25885 - 53 - (-1 - -14) a composite number?
False
Is 7/(-280)*-288296*(3 - -2) composite?
False
Let j(q) be the third derivative of 11*q**8/4032 - q**7/1260 + q**6/144 + q**5/5 + 8*q**2. Let f(k) be the third derivative of j(k). Is f(4) a composite number?
True
Let f(k) be the first derivative of 2*k**3 - 4*k**2 + 9*k**3 - 10*k**3 - 24*k + 9. Is f(17) prime?
False
Suppose 15042069 = -213*i + 25725024 + 33834684. Is i prime?
False
Let o(v) = 2869*v**2 - 51*v - 57. Is o(-5) a prime number?
False
Let z(d) = -3*d + 14. Let y