ose 234 + g = -4*r. Let m = 182 + r. Is m a prime number?
True
Suppose 51 = b - 44. Let q = 68 + b. Is q a composite number?
False
Is 3197 + 5 + 6 + -5 composite?
False
Let y(l) = -27 + 11*l**3 - 3*l - 12*l**3 + 13*l**2 + 29. Is y(11) prime?
True
Suppose 6*t - 12 = 2*t. Suppose -t*d = 2*a - 0*d - 1426, 2*a - 5*d = 1458. Is a a composite number?
False
Let z = -363 + 4442. Is z a composite number?
False
Suppose 3*m - 29 + 99 = -5*u, 0 = 5*m + 3*u + 106. Let c be 18/8 - (-5)/m. Suppose -114 - 628 = -c*i. Is i a composite number?
True
Let j(s) = 205*s**2 - 17*s - 3. Is j(-5) a prime number?
False
Let o(d) = -d**3 - 3*d**2 - 2*d - 4. Let i be o(-3). Suppose -i*x + 5*x - 687 = 0. Suppose -2*z - 5*q + x = 0, 3*z = q + 172 + 214. Is z prime?
True
Let p(r) = -r**3 - 6*r**2 + 5*r - 9. Let m be p(-7). Suppose 4 + m = -f. Is 3/f - (-710)/6 a composite number?
True
Let t = -48 - -74. Let l = t - -93. Is l a composite number?
True
Let y(n) = n - 6. Let u be y(4). Is ((-2)/(-12)*9)/(u/(-652)) prime?
False
Let m be 5*(-12)/(-5 - -2). Is 1502*(m/8 - 2) composite?
False
Suppose -1 = 4*m - 13. Suppose -m*t + 1176 = 9. Is t a composite number?
False
Suppose 10219 + 9177 = 4*c. Is c a composite number?
True
Let x(b) = 5*b**2 - 2 - 2 + 2*b - 6*b + 9. Let z be x(-10). Suppose 2*g + 2*l - z = -69, -4*g - 5*l = -955. Is g a composite number?
True
Suppose -5*r + 0*c + 1605 = 5*c, -991 = -3*r + 4*c. Suppose 24 = 3*p + 9. Suppose 0*y - g + 1629 = p*y, g = -y + r. Is y a prime number?
False
Let h = 3548 + 1853. Is h prime?
False
Let q(n) = 3*n + 56. Let h be q(-18). Suppose -3*s + 524 = c, h*c - 3*s = -2*c + 2111. Is c composite?
True
Suppose 9 = w - 5*m, -2*w + 2*m + 11 = -m. Suppose -a = w, 4*g + 3*a = -a + 216. Suppose 0 = 60*n - g*n - 374. Is n a prime number?
False
Let m = 18 - 16. Suppose -4*i = -3*d + 15, 0 = 2*d + m*d - 4. Is -1 + 565 + i + -4 a composite number?
False
Let b(o) be the second derivative of 11*o**3/6 + 43*o**2/2 + 7*o. Let p(m) = 17*m + 64. Let l(k) = 7*b(k) - 5*p(k). Is l(-14) a composite number?
True
Is (-12)/8*(-55192)/12 composite?
False
Let z = -315 - -758. Suppose 3*s = -0*g + g - z, 3*s + 1781 = 4*g. Is g prime?
False
Let n be 13 + -8 + -2*1. Is (n - 30/(-9)) + (-2)/(-3) a prime number?
True
Let p(c) = 168*c - 5. Let b(l) = l**2 + 4*l - 1. Let a be b(-3). Let d(t) = t**3 + 5*t**2 + 4*t + 2. Let r be d(a). Is p(r) a composite number?
False
Let f(p) = p**3 - 5*p**2 - 9*p - 7. Let n be f(7). Suppose -3*i + 18 = 3*q, i + n = 3*q - i. Is (3472/64)/(2/q) a prime number?
False
Suppose -4*d + v + 17968 = 0, d + 2*d = -v + 13483. Is d a composite number?
False
Let b(t) = t**2 - 10*t - 10. Let c be -30*((-20)/(-8))/(-5). Suppose -c - 3 = 2*j. Is b(j) a composite number?
True
Let h(d) = 2782*d**2 - 2*d - 5. Is h(-2) a composite number?
True
Suppose 0 = -v - 2*v + 36. Let x = 15 - v. Suppose 0*w + x = 3*w, -5*w - 54 = -d. Is d a composite number?
False
Suppose 3*t - 606 = -2*a + 5*t, 0 = -2*a - 5*t + 613. Let x be a/96 - 1/6. Is -4 - (-39 - (-1 + x)) prime?
True
Let o = -72629 - -128596. Is o a composite number?
False
Is (33964/16)/(3/(8 + 4)) a prime number?
False
Let d(q) = 25*q**2 - 9*q - 3. Let z be d(-7). Is (z/(-2))/5*-4 a composite number?
True
Let r be (-174122)/(-52) + 6/4. Let v = r - 313. Is v a prime number?
True
Suppose 1413*o - 101629 = 1402*o. Is o a composite number?
False
Suppose 34*k - 269244 = 19382. Is k a prime number?
False
Let u be (-9)/3 - 7/(-1). Is u + (-2 - -116) + -3 a composite number?
True
Suppose -660 = 3*o + o. Let f(i) = -15*i + 38. Let m be f(-18). Let k = m + o. Is k a prime number?
False
Let h = -392 + 234. Is ((-27)/6 - -4)*h composite?
False
Let x = 109 - 117. Is -526*(100/x)/5 composite?
True
Suppose 8*g - 208 = -40. Suppose 0 = -g*i + 18*i + 201. Is i a prime number?
True
Suppose 4*o - 27984 = -y, -3*o - 5*y - 28008 = -7*o. Is o composite?
False
Let n(f) = 2*f**3 - 6*f**2 + 9*f - 11. Suppose -7*h = -3*h - 20. Is n(h) a prime number?
False
Suppose -303834 = -24*m + 28542. Is m prime?
False
Let j = -47 - -115. Let l = 185 + j. Is l a composite number?
True
Let r be (-3)/(-9) + (-5)/(-3). Let n(z) = -5 + 0*z**2 + 8*z**r + 5*z**2 + 5*z**2. Is n(3) a composite number?
False
Suppose 1521 = -c + 289. Let g = -855 - c. Is g a composite number?
True
Let j(l) be the second derivative of -13*l**3/6 + 3*l**2/2 + 3*l. Let o be j(-3). Let u = o - 28. Is u a prime number?
False
Let y(a) = 2*a**3 + 2*a**2 + 16*a. Let j(d) = -3*d**3 - d**2 - 17*d - 1. Let o(c) = -3*j(c) - 4*y(c). Is o(10) a prime number?
True
Let s(z) = -12*z**2 + 10*z + 2. Let r be s(-5). Let a = -181 - r. Is a a prime number?
True
Suppose -4*r + 1290 = 2*a, 0 = -5*a + 13*r - 9*r + 3239. Is a a prime number?
True
Let j(u) = -2*u + 15. Let s be j(10). Let m be ((-45)/3)/(1/s). Suppose 2*p - 59 = m. Is p a composite number?
False
Let t be 4/6 + 7 + 7550/15. Suppose t = 6*y - 5291. Is y composite?
False
Let r(h) be the first derivative of -7*h**2 - 15*h + 2. Let i = 349 + -355. Is r(i) prime?
False
Let q(c) = -17*c**3 - 3*c**2 - 2*c + 4. Let y(a) = -16*a**3 - 2*a**2 - 2*a + 3. Let p(g) = 2*q(g) - 3*y(g). Is p(2) prime?
False
Let t(a) = -a**3 - 5*a**2 + 7*a + 9. Let x be t(-6). Suppose x*p - 1356 - 102 = 0. Suppose 4*u - 4*o - 206 = p, -u = 2*o - 185. Is u composite?
True
Suppose -50*z + 2865421 + 1459129 = 0. Is z composite?
False
Suppose 8*m = 4*m - 8. Is 2*(0 + (-89)/m) prime?
True
Let i = 3979 + -1236. Is i a composite number?
True
Let n(t) = -129*t + 4. Let b be n(-1). Suppose 4705 = 138*d - b*d. Is d a prime number?
True
Let y(v) be the first derivative of -5*v**4/4 + 2*v**3/3 + 3*v**2/2 - v - 2. Let d(s) = s**3 - 3*s**2 - 5*s + 1. Let i be d(4). Is y(i) a prime number?
False
Is 487996/6 - 180/108 prime?
True
Let k(y) = 3*y**2 + 5*y + 5. Let g(l) = -l**3 + 9*l**2 + 9*l + 2. Let v be g(10). Is k(v) prime?
True
Suppose 2*h + 16 = 4*r, 1 = r + 4*h - 3. Suppose 0*m = 3*m - 2*y - 8, -r*y = 4. Is m + -1 + 70 - -3 a composite number?
True
Let u(r) = -15*r - 7. Let o be u(16). Let j = 521 + o. Is j composite?
True
Let v(h) = -h**3 - 7*h**2 - 5*h - 6. Let p be v(-5). Let m = 137 + p. Is m prime?
False
Let v(l) = -l**3 + 2*l**2 - 1. Let j be v(-1). Suppose -1126 = 3*w - 2*x, 1108 = -2*w + 4*x + 352. Is (w + -1 + j)*-1 prime?
True
Suppose 3 + 3 = 3*b, -3*z + 3*b = -13461. Is z a composite number?
True
Let s = 52112 - 18963. Is s a composite number?
False
Let q(y) = -3*y**2 - 3 - 1 + 2*y**2 - 2*y - 6*y. Let a be q(-7). Suppose 112 = -a*u + 451. Is u a composite number?
False
Let p = -5861 + 9250. Is p composite?
False
Suppose 0 = -4*t + 2*x + x + 11, t - 4 = 2*x. Let w be t/(-4)*62 - -2. Let p = w + 230. Is p composite?
True
Let k be -10 - (-90)/8 - (-10)/(-8). Let g(f) be the third derivative of f**5/60 - f**4/24 + 373*f**3/6 + f**2. Is g(k) composite?
False
Suppose 9 = 8*p - 7*p. Suppose p*g - 6290 = -g. Is g a prime number?
False
Is 14/77 + (-260939)/(-77) composite?
False
Let b = 41 - 64. Let a = b + 234. Is a a composite number?
False
Let o(j) = 334*j + 7. Let k be o(4). Let p = -696 + k. Is p composite?
False
Suppose 0 = 3*h - 1 + 7, -3*b - 5*h + 815 = 0. Suppose -132 = -17*y - 13. Suppose b = y*l - 2*l. Is l prime?
False
Let k(m) = -3*m**2 - 2*m + 7. Let q be k(-3). Let y = q - -18. Suppose -34 = y*n - 166. Is n a composite number?
True
Let f(x) = -x**2 - 6*x + 2. Let m be f(-7). Let o(z) = 3*z**2 + 3*z + 2. Let t(r) = -r**2 - r. Let g(q) = m*t(q) - o(q). Is g(-5) composite?
True
Let l(m) = m**3 - 3*m**2 - 6*m + 4. Let x be l(4). Let b be ((x/2)/(-1))/(-2). Is (-2)/(b*(-6)/(-1113)) composite?
True
Let r be 498 - (-2 - (-2 + 4)). Is (-6)/4*r/(-3) composite?
False
Suppose -2*k - 663 = -3*h, 0 = -4*h - k + 46 + 849. Is h a composite number?
False
Let m(k) = 4037*k + 69. Is m(4) a composite number?
False
Let f = -18299 + 58270. Is f composite?
False
Let b(l) = 20*l**2 + 3*l + 9. Let s(w) = -w**2 + 16*w + 13. Let r be s(17). Is b(r) a composite number?
False
Let t(g) be the second derivative of 91*g**4/12 - g**3/6 + 21*g**2/2 + 4*g. Is t(-7) a composite number?
True
Suppose 88*m = 89*m - 12. Is m/18 + ((-937)/(-3) - -1) a composite number?
True
Let n = 3228 - -4055. Is n prime?
True
Suppose 3*r - 15 = -0*r. Suppose -n = 3*a - 2*a - 22, -n + 34 = -r*a. Is (-2)/(-6) - 