5*y**2 - 21*y - 40. Is v(-9) prime?
False
Let r = -15 + 21. Suppose 139 = -5*m + r*m. Is m composite?
False
Let w = 233 + 1244. Is w a composite number?
True
Let h(i) = 2631*i**2 - 6*i + 4. Is h(3) a composite number?
True
Let r(l) = 149*l**2 + 12*l - 40. Is r(3) composite?
True
Let u = 6108 + 361. Is u prime?
True
Suppose 3271 + 5776 = 2*n - 5*s, -5*s - 13558 = -3*n. Is n prime?
False
Suppose 0 = -7*o + 2 + 12. Suppose 0 = 4*m - 446 + o. Is m composite?
True
Let r be (0 - -2) + (3 - 2). Let x(h) = -3 + 44*h**3 + 0*h**2 - 45*h**r - 5*h**2 - 6*h + 2*h**2. Is x(-5) a prime number?
False
Suppose 40 = 3*n + 1. Let t = -129 + n. Let x = t + 195. Is x prime?
True
Suppose m + 799 = f - 103, 0 = -3*f + 4*m + 2701. Is f composite?
False
Suppose -3*j = -16*j + 93743. Is j a prime number?
True
Let c = -30 - -33. Suppose -1554 = -4*n - 2*r + 1014, 0 = c*n + r - 1925. Is n prime?
True
Let j(x) = 10 + 6 + 3*x + 3 + 4. Let g be j(-7). Suppose -2*v + 3*h + 169 = 0, 4*v - h + g*h = 359. Is v a prime number?
True
Let h be 7*(1 + -5 + 1*5). Is (2 - h)/(-1 + 3332/3334) composite?
True
Suppose 3*d - 24777 = -3*b, -14*b - 16542 = -2*d - 10*b. Is d composite?
False
Suppose 3*p = -p - 784. Let q = p - -64. Let x = 70 - q. Is x a prime number?
False
Suppose -2*k + 2017 = -3*m, -3*k + m = -3*m - 3023. Let r = -42 + k. Is r a composite number?
True
Let i be (-6)/15 - 23204/(-10). Let h = 3539 - i. Is h prime?
False
Is (-4)/6 + (-319040)/(-120) - 1 prime?
True
Suppose -6*s + 5575 - 991 = 0. Let j = -2 + 7. Suppose -j*q = -q - s. Is q prime?
True
Let h = 480 - -1615. Suppose 5*f - h = 5*r, 2*r = -0*f - 2*f + 822. Is f a prime number?
False
Is (-30318)/(-7) - (-41)/(-287) composite?
True
Let y be (-2)/((-3)/528*2). Suppose -376 = 2*r - 130. Let b = y + r. Is b prime?
True
Let y = 7 - 3. Let i(o) = -3*o + 10. Let a be i(y). Is a + (-2 - -195 - 0) a composite number?
False
Let w = 1345 - -16198. Is w composite?
True
Suppose -3*o + 124 = -230. Suppose -4*m + o + 950 = 0. Is m prime?
False
Suppose 32*g - 36*g + 38380 = 0. Suppose 0 = 5*z + 2*j - g, z - 3*j + 0*j - 1936 = 0. Is z a prime number?
False
Let z(m) = -m**2 - 5*m + 7. Let t = 414 + -210. Let g be (-1)/7 - t/42. Is z(g) a composite number?
False
Is (-43054)/(-12) - 420/504 composite?
True
Is 66090/14 + (-8)/(-28) prime?
True
Let a(r) = r**3 + 2*r**2 + 1. Let u be a(-2). Let x = -8 - u. Let l(q) = -q**3 - 7*q**2 + 4*q - 11. Is l(x) a composite number?
True
Let h be ((-84)/(-18))/((-2)/(-111)). Suppose -937 - h = -4*c. Is c a composite number?
True
Suppose -32*g + 23*g = -26793. Is g prime?
False
Is (-2)/((-3)/4677*(-4)/(-34)) a prime number?
False
Is (-18 - -2379)*(2 + -1) a prime number?
False
Let p(c) = c**2 + 2*c + 3. Let u be p(-2). Let k(d) = 3*d**2 + 2*d - 14. Let y(i) = -2*i**2 - i + 6. Let x(l) = -2*k(l) - 5*y(l). Is x(u) a composite number?
False
Suppose -2*d = 2*y + 16, 7*y - 3*d = 4*y - 36. Is 2495 + (20/25)/((-4)/y) a prime number?
False
Let l(v) = -7*v**3 - 2*v**2 - 24*v - 2. Let a be l(-13). Suppose 9*w - a = -12*w. Is w a prime number?
False
Let n = 1366 + -513. Is n prime?
True
Suppose 535 = 11*j - 2226. Is j a composite number?
False
Let f(g) = g**2 - 9*g + 16. Let r be f(7). Is r/11 + ((-40565)/11)/(-7) prime?
False
Let x = -3025 + 18626. Is x prime?
True
Let l(i) = 3*i**3 - 3*i**2 - 11*i + 12. Let p be l(7). Suppose -q = -820 - p. Is q a prime number?
True
Let t(u) = -2*u**2 - 28*u - 4. Let c be t(-21). Let w = 1295 + c. Is w composite?
False
Suppose -33244 = -4*t + 8*o - 12*o, 0 = -2*o. Is t a composite number?
False
Let u = -1439 - -761. Is (u/(-8))/((-6)/(-56)) a composite number?
True
Suppose k - x = 99227, -13*x = 3*k - 8*x - 297649. Is k a prime number?
True
Suppose 3*w - 2*w - 41631 = -5*j, 0 = -5*w - 20. Is j composite?
True
Suppose 0 = -2*h + 8 - 6, 2*d + 5*h - 3039 = 0. Is d a prime number?
False
Suppose 19*a + 6685 = 26*a. Is a a composite number?
True
Suppose 5*a + 48 = -42. Is (-17186)/a - 4/(-18) composite?
True
Is (19/(-38))/((-173020)/(-86512) + -2) composite?
True
Suppose -5*m + 1125 + 4760 = 4*g, -2*m + 2354 = 3*g. Is m a prime number?
False
Suppose -2*x - 117 = -5*x. Let s = x + -11. Suppose 0 = w + s - 81. Is w composite?
False
Suppose 25*c = 89*c - 405312. Is c prime?
False
Let d be 30/9 - 4/(-6). Suppose 0*r + d*r = 2392. Let t = 849 - r. Is t a composite number?
False
Let g be 3/(1 - 2/(-4)). Let a be (-255)/g*(1 - 3). Let t = a + -124. Is t a composite number?
False
Let o(d) = -11*d**2 + 3*d + 2. Let v(c) = c**2 + 5*c - 1. Let a be v(-6). Let l be o(a). Is (-2)/6 + l/(-18) composite?
True
Let m = 49070 - 32197. Is m a prime number?
False
Let z(m) be the first derivative of -113*m**4/4 + m**3/3 - m + 5. Let k be z(-1). Suppose 2*d - k = -3*w, -3*w + 5*d = 2*w - 205. Is w composite?
True
Suppose 11*k + 2*w = 8*k + 33655, -22445 = -2*k - 3*w. Is k a composite number?
True
Suppose 67 = 2*a + 2*l - 5*l, -3*l - 26 = -a. Suppose 561 = 8*n + a. Is n prime?
False
Let z = 1969 + -1125. Suppose z = -25*w + 27*w. Is w a prime number?
False
Let d(a) = 4*a**2 + a - 2. Let t(g) = g**3 - 11*g**2 + 11*g - 9. Let n be t(10). Let w be d(n). Suppose -w*s + 2*s = -93. Is s prime?
False
Let h(r) = 190*r**3 + 9*r**2 + 12*r + 1. Let a(w) = -63*w**3 - 3*w**2 - 4*w. Let c(o) = -8*a(o) - 3*h(o). Is c(-2) a composite number?
False
Suppose -272 - 202 = -3*z - 4*h, 0 = -2*z + 4*h + 316. Let x = z + -69. Is x a composite number?
False
Suppose -2*r = 0, 0 = -46*n + 44*n + r + 5686. Is n a prime number?
True
Suppose 21*s + 776 = 17*s. Is (-1 + 2/4)*s a composite number?
False
Let v(u) = u**3 + 8*u**2 + 13*u + 9. Let s be v(-6). Suppose 2*h - s*h = -157. Is h composite?
False
Suppose -2*w = -3*j + 242, 4*j + 346 = -3*w - 0*j. Let l = w + 389. Is l a prime number?
True
Suppose -r = 5*b + 4184 - 45033, -3*r + 16350 = 2*b. Is (-1)/2 + b/6 a composite number?
False
Suppose 900 = -8*d + 10*d. Suppose -2*r + d = -2*u, -3*u + u = 2*r - 442. Suppose 3*h = 2*j - j + 203, 4*j = -3*h + r. Is h a prime number?
False
Let v(d) = 214*d**2 + 65*d - 294. Is v(5) a prime number?
True
Suppose 0 = -4*u + 352 + 520. Suppose 0 = -3*o + u + 355. Is o composite?
False
Suppose -2*o + 13418 = 4*u, -10053 = 6*u - 9*u + 2*o. Is u composite?
True
Let j(y) = -2*y - 1. Let m be j(-3). Suppose 24 = m*w + 3*g - 21, 0 = w + 2*g - 16. Let x(z) = z**3 - 3*z**2 - 5*z + 7. Is x(w) a composite number?
True
Let t(v) = v - 5. Let u be t(-3). Let m = u + 67. Is m composite?
False
Let r(a) = -67*a**2 + 6*a - 49. Let s(p) = -202*p**2 + 19*p - 146. Let g(z) = 17*r(z) - 6*s(z). Is g(6) a composite number?
True
Let q(z) = 8*z**2 + 33*z - 40. Is q(-17) a composite number?
True
Suppose -4*p + 32 = -5*z - 9, -z = 1. Suppose -2*c + p = c. Is -797*(-3)/c*1 a prime number?
True
Let x(p) = -5*p**3 - 5*p**2 + 3*p + 5. Let n(h) = -h**3 - h**2 + h + 1. Let q(g) = 4*n(g) - x(g). Let y(v) = 2*v + 2. Let c be y(1). Is q(c) composite?
False
Let f(t) = -t. Let p be f(4). Let h be (-10)/15*(-6)/p. Is -4 + h + 59*14 a prime number?
True
Suppose 11*v + 1273 = 5310. Is v composite?
False
Let o be (-4 - 12/8)*-16. Let l = o + -9. Is l composite?
False
Suppose -q = 6*q. Suppose -4*a = -4*y + 1020, q = y - 0*a - 3*a - 247. Is y prime?
False
Suppose -a = -0*a - 14. Is 2*397*7/a composite?
False
Let r = -7 - -12. Let o(g) be the second derivative of g**4/2 - g**2/2 - 2*g + 17. Is o(r) composite?
False
Let s = -91 - -94. Suppose 40 = 2*o - 5*a - 31, 3*o - 138 = -s*a. Is o a prime number?
True
Suppose f + 12 = b + 3*b, 4*f + 24 = 4*b. Is 4 - (-2882 - -3 - f) composite?
False
Let f(a) = a**2 - 11*a + 6. Let x be f(5). Let r be (5538/x)/((-1)/4). Let p = r - 630. Is p prime?
True
Suppose 5*z - 15 = -v - 0*z, 3*z - 6 = 0. Suppose h + 15 = -v*o - 0, -3*o = 9. Is ((-1150)/(-10))/(h + 1) a composite number?
True
Suppose 6 = -2*a + 5*a. Suppose 83 = -3*c - j - 65, 5*c + 246 = -a*j. Let o = 88 + c. Is o a composite number?
True
Let a = -35 + 39. Suppose 2*o + 442 = x - 337, 4*o = a*x - 3132. Is x a composite number?
False
Suppose 0 = -2*q + 19 - 15. Let n = q - -10. Suppose 4*i = n, -4*m + 5*i + 1216 = i. Is m a composite number?
False
Let a(l) = l**2 + l + 1. Let r be a(-2). Is (-9)/r + 12/(0 + 1) prime?
False
Let d(y) = 109*y + 57. Is d(20) composite?
False
Let y = 35 + -12. Suppose