514 + n. Is g a prime number?
False
Let f(d) = 4707*d - 2455. Is f(8) composite?
False
Let v(k) = 142*k**2 + 16*k - 9. Is v(16) a composite number?
False
Let t(r) = -651*r + 5. Suppose 7 = -2*c + o, 2*c + 13 = o - 6*o. Let y be (2 - (-2)/(-2))*c. Is t(y) a composite number?
False
Let v = -1315 - -1525. Let y be 217 - (0/(-2) - 1). Suppose 0 = -5*w - 3*c + y + v, 3*c = -w + 88. Is w a composite number?
True
Suppose 19 = -3*r + 4*c + 36, 2*r - 12 = 3*c. Suppose 0 = 2*n - 2*j - 3542 - 6188, 14603 = r*n - 5*j. Is n composite?
False
Is ((-6)/1 - 15/(-11 + 8))*-39079 a prime number?
True
Let m(a) = 75*a**2 + 117 - 143 - a - 24*a. Let t(z) = -37*z**2 + 12*z + 13. Let w(y) = -6*m(y) - 13*t(y). Is w(-6) composite?
True
Let x = -1164 - -1724. Suppose 674 = -2*a - x. Let g = 868 + a. Is g composite?
False
Suppose 13*m - 2 = 37. Let o(h) = h + 37*h**2 - 2*h + 62 - 61 - m*h. Is o(-3) a prime number?
False
Let s = 122 - 122. Suppose s = -12*r + 4403 - 1295. Is r a composite number?
True
Let s = -216513 - -388030. Is s prime?
True
Let a(w) be the first derivative of 3*w**2/2 - 4*w - 2. Let v be a(-2). Is (-4536)/(-5) + 2/v composite?
False
Let w(v) = -v**2 - 12*v + 31. Let p(r) = -2*r**2 - 12*r + 31. Let i(h) = 2*p(h) - 3*w(h). Let y be i(9). Is (-2)/y*4*3945/6 prime?
False
Suppose 13*r - 2 = -2. Suppose -9*d = -r*d - 44343. Is d a composite number?
True
Let j = 11709 + -1910. Is j composite?
True
Let h(j) = -25*j - 5 - 12*j - 3*j + 3*j - j**2. Is h(-9) prime?
False
Let v(f) = 49*f**2 - f - 3. Let u(i) = 4*i - 7. Let n be u(3). Suppose n*k + 2 = 12. Is v(k) a prime number?
True
Is (-12603357)/(-63) - (-9)/(315/(-10)) a prime number?
False
Suppose 0 = 3*l + 2*c - 2549047, 1694704 = 4*l - 3*c - 1704031. Is l prime?
False
Suppose -12 = 4*l - 4*c, 3*l - 5 + 4 = -2*c. Is (6/(-9))/(l/((-69594)/(-4))) a prime number?
False
Suppose u - 2*f - 38441 = 0, -16695 - 21721 = -u - 3*f. Is u composite?
False
Let t(y) be the third derivative of -y**4/6 - 17*y**3/6 - 2*y**2. Let c be t(-5). Suppose 3*d - 3*b = 3507, c*d + 0*d - 4*b = 3509. Is d prime?
False
Let c = 129614 + 500615. Is c a composite number?
False
Let o(t) be the third derivative of 79*t**4/12 + 41*t**3/6 - 5*t**2 - 5*t. Is o(7) a composite number?
True
Suppose 0 = 4*i - 12, 26*z - 2*i + 208234 = 30*z. Is z prime?
True
Let d(a) = -14*a - 109. Let f be d(-16). Is 8 + (-4 + f)/1 a prime number?
False
Let x(a) = -452*a + 390*a - 695*a - 308*a + 11. Let i be x(5). Let d = i + 7751. Is d composite?
False
Let z be -2812 + 6 - (4 + 5). Let m = z - -4166. Is m prime?
False
Let d(p) = 2*p**2 - 1. Let g(l) = l. Let s(o) = 2*o + 14. Let v(i) = 4*g(i) - s(i). Let x be v(3). Is d(x) a composite number?
False
Let r be ((-49)/(-14))/(3/(-6)). Let j(z) = -924*z + 91. Is j(r) composite?
True
Let v = 167 - 222. Let t = v - -824. Is t composite?
False
Let r(p) = 8*p + 251. Let v(d) = 6*d + 249. Let a(o) = -5*r(o) + 4*v(o). Is a(-25) a composite number?
True
Let l(z) be the first derivative of -80*z**2 - 223*z - 148. Is l(-32) a prime number?
False
Let a(f) = -22*f**3 - f**2 + f - 3. Let j be a(-2). Suppose -v = -3*v + 4*h - 114, -3*v - j = -2*h. Is (-45)/v - 1 - 5953/(-11) prime?
True
Let h be (-4 + 1 + 3)/1. Let b be (-3 - h - -2)*(0 - 0). Is 4 + b + ((-15792)/(-4))/6 prime?
False
Suppose -2*i = 4*j - 6, 10*j = 6*j - 4. Suppose 4*b + 296 = -3*s + 2966, 0 = -i*b - 2*s + 3341. Is b a composite number?
True
Let n(r) = -r**2 + 2. Let b be n(2). Let q be (b + (-15)/(-9))*-9. Is (1/q + (-2)/(-3))*347 a composite number?
False
Is (-120595)/(-2) + 210/60 a prime number?
False
Suppose 0*p + 8370 = 4*p + 3*h, -4180 = -2*p + h. Suppose 0 = 21*s - 39912 + p. Is s prime?
True
Is 24 + 7354 - (-14 + -1) composite?
False
Let n(z) = -18*z - 21. Let w be n(-1). Is 1171/(w/(-6) + 4/8) a prime number?
True
Let b = 102 + -98. Suppose -2*w + 3*d + 11928 = 0, 31*d = b*w + 32*d - 23842. Is w a prime number?
False
Let t(w) = 325*w - 2. Let z = -371 - -372. Is t(z) a composite number?
True
Suppose -15798687 - 32765297 = -112*y. Is y composite?
False
Let y(r) = 2613*r - 3205. Is y(24) a composite number?
True
Let q(v) = -8*v**2 - 15*v + 100. Let j(c) be the first derivative of 2*c**3/3 + 2*c**2 - 25*c + 33. Let t(x) = 9*j(x) + 2*q(x). Is t(12) a prime number?
False
Let p be 27/(-2 - (3 + -6)). Is (-18)/p*49887/(-6) a prime number?
False
Suppose -53*u = -352423 - 216744. Is u a prime number?
True
Let p be (27/(-12))/(14/(-64792)). Suppose -126*y - p = -135*y. Is y a composite number?
True
Suppose 4*o - 155187 = -5*n + 216537, 836437 = 9*o + 4*n. Is o prime?
True
Suppose 0*a = 13*a + 40287. Let k = a - -12996. Is k a prime number?
False
Suppose 6*y + 35760 = 11*y - k, 5*y + 2*k - 35745 = 0. Is y a composite number?
False
Let h be (0 - (-37)/(-6)) + 1/6. Let n(o) = 3*o + 21. Let m be n(h). Suppose 3*z - 990 = -3*u, 0 = m*z - 4*z - 1. Is u a prime number?
True
Let x = 561820 - 259125. Is x a prime number?
False
Let w(k) = 12*k + 93. Let v be w(-6). Is (12/(-8))/(v/(-70084)) a prime number?
False
Suppose 5*d - 8295 = m, 5*m = 2*m + d - 24913. Let x = -5454 - m. Let t = x + -1118. Is t a composite number?
False
Suppose 3*w - 8 = j + 21, -j + 59 = 5*w. Suppose w*l - 11236 = 7*l. Is l a composite number?
True
Let h = 270598 + -177989. Is h prime?
False
Let h = -54177 - -137354. Is h a prime number?
True
Let o be 621/(-189) + 4/14. Let g be (-4 - 13/o)*9. Suppose -1488 = -4*s - k, g*k - 4*k + 1117 = 3*s. Is s a composite number?
True
Let l(y) = y**3 - 9*y**2 + 4*y - 28. Let r be l(9). Let z(f) = f**2 - 8*f + 5. Let i be z(r). Suppose 0 = -i*d + 5*t + 3580, 1441 = 2*d + 2*t - 7*t. Is d prime?
False
Let p(w) = 780*w**2 + 62*w - 16. Is p(-5) prime?
False
Let s = -136 - -129. Is 28/(-4) - s - (-1896 - -1) prime?
False
Let p be 2*4/(-76) + (-234)/(-57). Is 4/((-16)/(-8251))*p prime?
False
Is -2*(275781/(-6) + 297/33) a composite number?
False
Let k(g) = 5*g**2 + 26*g - 3. Let s be k(-13). Let l be 15/(-2)*s/(-20) + -1. Suppose -2*p = -l - 2370. Is p prime?
True
Let p = 397 + -213. Suppose 133 = -3*z - 3*i - 2*i, 4*z + 5*i = -p. Is (-24803)/z + 2/3 a composite number?
False
Let u(y) = 970*y**3 - y**2 + y + 1. Let h be u(-1). Suppose 4*c = 1104 + 7156. Let r = h + c. Is r composite?
True
Suppose 64 = 10*c - 176. Let r be (-2)/8 + 150/c. Is r/(-8) + (-2)/(-16)*302 prime?
True
Let a(w) = -w**3 + 5*w**3 - w + w**3 - 1 - 4*w**2. Is a(7) prime?
True
Let y = 181 - 179. Let g = 17 + -13. Suppose -g*i + 730 = y*w, 369 = w - 0*w + 4*i. Is w a composite number?
True
Let j(y) = 123998*y + 3515. Is j(3) a prime number?
True
Let h be (8 - 6) + -4 - 260. Suppose -7*y = -9*y + 254. Let l = y - h. Is l a prime number?
True
Let s be (14/3*3)/(-12 + 14). Suppose 33642 = s*t - 11396. Is t composite?
True
Let c(o) = -53*o**2 + 3*o + 22. Let y be c(-5). Let w = y - -3677. Is w a prime number?
False
Let d(u) = -u**3 + 12*u**2 + 8. Let j be d(12). Suppose -5*q = 2*m - 7, -2*m = -4*q - 3*m + j. Suppose w - 2466 = -q*h, 0 = w - 2*w + 3. Is h composite?
False
Suppose 3*p + 4 = -5, 3*s + 5*p - 60174 = 0. Is s a prime number?
True
Let o(v) = -2*v - 30. Let q be o(0). Let n = q - -30. Let r(p) = -p**3 + p**2 - 2*p + 379. Is r(n) prime?
True
Let q(r) = -r + 1. Let c(l) = 47*l + 8. Let v(z) = 236*z + 41. Let i(j) = 11*c(j) - 2*v(j). Let f(g) = -i(g) - q(g). Is f(-12) prime?
True
Suppose a - k + 1917 = 2*k, a + k = -1909. Let f = a + 3194. Is f composite?
False
Let c(h) = h**3 + 9*h**2 - 15*h - 2. Let f be c(-10). Let k = 83 - f. Suppose -1516 = -11*j + k. Is j composite?
True
Let c = -537 - -534. Let l(h) = 2294*h**2 + 5*h + 8. Is l(c) a composite number?
False
Let b be ((-5)/(-4))/((-13)/(-104)). Is ((-7455)/b - 4)*(0 + -2) prime?
True
Let t(h) = -h**3 + 5*h**2. Let v be t(5). Suppose v*z - 15*z = -8265. Is z composite?
True
Let j(h) be the second derivative of 1907*h**4/12 + 2*h**3/3 - 5*h - 1. Is j(-1) a prime number?
False
Let u = 219 - 225. Is u/2*45340/(-30) + 1 a prime number?
False
Let w(z) = -185*z - 32. Let g be w(5). Let m = 2996 + g. Is m a composite number?
False
Let x(a) = 120*a**2 + 7*a + 6. Let k be x(6). Suppose -2*u = u - k. Suppose 2*r - 4*l = -5*l + 732, u = 4*r - 2*l. Is r prime?
False
Suppose -22 = -2*g + 4*i, 3*g - i - 3 = 5*g. Let f be (g + -1)*7/14. Suppose 0 = -f*m - 4*m