2*o = -b - 181. Let q = 102 - b. Is q a composite number?
False
Suppose 0 = 4*s - 3*o - 287, o = -s - 4*o + 89. Let p = s + -21. Is p prime?
True
Let a(p) = 45*p + 9. Let x be a(8). Is (-3 + 0)/((-9)/x) a composite number?
True
Suppose 75 + 96 = 3*w. Is w a composite number?
True
Suppose w - 7 = 2*m, -2*w - 3*m = w - 66. Suppose 2*j + w = 41. Suppose -23 - j = -b. Is b a prime number?
False
Suppose 1364 = -2*w + 6*w. Is w a composite number?
True
Suppose -6*a + 1773 = -13605. Is a composite?
True
Suppose 5*q - 30 = -10. Suppose q*m + 2*v - 588 = 0, -2*m - 427 = -5*m + 2*v. Is m composite?
True
Suppose -2*s = -c + 13 + 2, 2*s = -c - 5. Is (c/4)/((-1)/(-148)) composite?
True
Let o = -3 + 7. Suppose -o*z = -20 - 24. Is z a prime number?
True
Suppose 490 = 7*y - 525. Is y composite?
True
Is 0 + (-40620)/(-8) + 4/(-8) a composite number?
False
Let t(l) = l**3 - l**2 - 2*l - 2. Let b be t(3). Let y(f) = f**2 + 6*f + 1. Is y(b) a prime number?
False
Let u = 814 - 429. Suppose 3*l - 4*j - 217 = 0, -5*l - 3*j + u = -5*j. Is l composite?
False
Let o = 4 - 5. Is (-35)/(2 - (o - -4)) a composite number?
True
Is -2 - -2 - 3 - -1052 a composite number?
False
Let d = 690 - 473. Suppose -4*x + d = -51. Is x a composite number?
False
Is (-211 + -1)*3/(-12) prime?
True
Let j(t) = -t**2 - 24*t - 4. Let b be j(-12). Is (b/6)/(6/9) a prime number?
False
Let o(t) = -1 + t - 2*t - 1. Is o(-6) composite?
True
Let n(l) = 2*l + 6. Let m be n(8). Suppose -d = -m - 73. Is d a composite number?
True
Suppose -3*z - 1016 = -2*a + 645, z - 2508 = -3*a. Is a a composite number?
True
Let k = -5 + 5. Suppose 560 = 4*r - 2*y + 4*y, k = 4*r - 4*y - 584. Is r a prime number?
False
Let v = -2 + 3. Let x = -4 + v. Let f(a) = a**2 + 2*a + 1. Is f(x) a prime number?
False
Let i = 2 + 0. Suppose n - i*z = 143, -3*z + 2 + 7 = 0. Is n composite?
False
Let i = 1 - 1. Let k be 52 - (-2 - i - -2). Let x = 89 - k. Is x a composite number?
False
Let y be 8/(-20) + 24/10. Suppose y*p = p + 331. Is p composite?
False
Suppose -4*d + 167 = -17. Let n = 89 - d. Is n composite?
False
Let j = -1 + -2. Let p be (-2)/8 - (-143)/44. Is 83 - (-9)/p - j prime?
True
Let p(o) = o**2 + o + 3. Let c be p(0). Suppose 0 = w + c*w - 188. Is w a composite number?
False
Let w(a) = a**2 + 5*a - 9. Suppose -3*m - 10 = -34. Is w(m) composite?
True
Let g(b) = b**3 - b**2 - 3*b - 4. Let z be g(3). Suppose -2*o + 105 = -5*p, 0 = -2*o + 5*o + p - 183. Suppose -5*s + s + o = -4*l, -2*l - 75 = -z*s. Is s prime?
False
Let y(p) = -1. Let w(d) = 25*d - 6. Let t(r) = -w(r) - y(r). Let j be t(-5). Suppose -g + 4*c + 19 = 0, -g - 3*g + j = -2*c. Is g a composite number?
True
Suppose 3*r - 434 = r. Is (-18)/9*r/(-2) prime?
False
Suppose -m = -2*m + o, 2*m + 4*o = 24. Let v be (0 - -2) + 4/m. Suppose 265 = v*p + 2*p - 4*t, -3*p + 5*t + 172 = 0. Is p a composite number?
True
Let j(t) be the first derivative of t**4/4 + 11*t**3/3 - 3*t**2/2 + t - 6. Is j(-10) prime?
True
Suppose 0 = -2*u - 7*f + 2*f + 1589, u - 794 = -3*f. Is u prime?
True
Let v be 0 + 0 - (-10)/2. Suppose v*q + 5*r + 10 = 0, -q + 2*r = -3*r - 10. Suppose -2*f - f + 231 = q. Is f a prime number?
False
Let i(n) = 11*n**2 + 7*n + 1. Is i(-7) a composite number?
False
Let t be 10*1 - (0 - 1). Let n(k) be the second derivative of -k**5/20 + 5*k**4/6 + 5*k**3/2 - 13*k**2/2 - 13*k. Is n(t) a prime number?
True
Is 4*(-2 + (-46)/(-8)) composite?
True
Let m = 0 + 1. Let x(v) be the first derivative of 56*v**3/3 - v**2 + v + 4. Is x(m) a prime number?
False
Let o = 253 + -179. Is o prime?
False
Let g(z) = z**2 - 14*z + 7. Let v be g(14). Suppose -5*j + v*n + 2430 = 2*n, 3*n + 3 = 0. Is j a prime number?
False
Let y = -2629 - -3792. Is y prime?
True
Let p(j) = 54*j - 3. Let z be p(-3). Let m = z - -280. Is m composite?
True
Suppose -n - 2150 = -11*n. Is n composite?
True
Suppose l - 16 = 2*f, -l = 2*f + f + 4. Let o(j) be the second derivative of j**4/12 - 5*j**3/6 - 5*j**2 - 2*j. Is o(l) prime?
False
Let d = -3486 - -5879. Is d prime?
True
Let m(n) = 33*n + 17. Is m(9) a composite number?
True
Suppose 0 = -7*b + 2*b + 170. Suppose -x + b = -18. Suppose 2*a = -2*a + x. Is a a composite number?
False
Let i = -10 - -4. Let d(f) = -f + 8. Is d(i) a composite number?
True
Let z(c) = 8*c**2 + 3*c - 3. Is z(2) a composite number?
True
Let u(o) = 7*o**3 - 15*o**2 + 4*o + 7. Let f(y) = 6*y**3 - 14*y**2 + 4*y + 8. Let d(v) = 6*f(v) - 5*u(v). Is d(9) prime?
False
Is (-725 - -1)*21/(-12) composite?
True
Suppose -2*q + 52 = h, -4*h = -9*h + 4*q + 302. Suppose f + 2 = 0, -h = -3*c - 3*f + 419. Is c composite?
True
Let u = 3 - 7. Let c = 0 - u. Suppose -i = 0, -2*l + 0*l = -c*i - 38. Is l prime?
True
Suppose 0 = -2*d + 34 + 292. Is d a prime number?
True
Let z be (-1 - -1) + -2 + 272. Let s = 384 - z. Suppose 0 = -3*g - 3*b - 0*b + s, -2*b + 187 = 5*g. Is g a composite number?
False
Let b(x) = x**3 - 6*x**3 - x**3 + 0*x**3. Let h be b(-1). Let v = h - -4. Is v composite?
True
Let i be 3/((-18)/3)*-8. Is ((-2)/i)/(2/(-508)) a composite number?
False
Suppose -3*h + 2398 = -h. Is h composite?
True
Let s(z) = -z**2 - 5*z - 3. Let g(x) = x**3 + 3*x**2 + 2*x + 4. Let q(n) = 2*n + 3. Let p be q(-3). Let t be g(p). Is s(t) a prime number?
True
Let w(s) = s**3 - 3*s - 2. Let c be w(-2). Let b be 33/12*-3*c. Suppose -a + 0*a = -b. Is a composite?
True
Let i = -125 - -190. Is i a composite number?
True
Let g = -280 + 583. Is g a composite number?
True
Is ((-19)/(-57))/(1/69) a prime number?
True
Suppose -2*p + p = 0. Suppose p = -f - 0*f + 3. Is 29 + 3/f - -1 composite?
False
Let r(l) = 15*l**3 - 4*l + 1 - 3*l**2 + 6*l**2 + 2. Is r(2) a composite number?
False
Let c be 20/50 + (-2)/5. Suppose -9*z + 3*z + 570 = c. Is z composite?
True
Let s(o) = o**3 - 5*o**2 + 8*o - 8. Let p be s(6). Suppose 0*k - 4*k = -p. Is k composite?
False
Let x = 3 + 2. Suppose -1983 = -x*z + a, -4*z + 5*a + 76 + 1502 = 0. Is z composite?
False
Let a = 22 - -13. Suppose -a = -5*b - 5. Suppose 4*y + 5*s = b*y - 34, 0 = -4*y - 3*s + 94. Is y composite?
True
Let w(l) = l**3 + l + 249. Is w(0) a prime number?
False
Let a(t) = -t**3 - 8*t**2 - t - 6. Let y be a(-8). Suppose -380 = y*w - 1230. Suppose -d - 4*d = -w. Is d a prime number?
False
Let r = -351 - -562. Is r prime?
True
Let w(a) = 124*a**2 + 5*a - 1. Is w(4) a composite number?
False
Suppose -19 = -2*l - 1. Let d = 9 - l. Suppose d = -0*g + 5*g - 385. Is g composite?
True
Suppose 0 = q - 2*j - 26, 4*j - 3*j + 104 = 4*q. Is q composite?
True
Let z = 6 - 17. Let x(s) = -8*s + 9. Is x(z) a prime number?
True
Suppose -2*f - 10 = 3*f. Let y = -3 - -4. Is ((y - 211)/3)/f a prime number?
False
Suppose -3*l + 0*l = -6. Let w be (-612)/(-8) - 1/l. Suppose 3*m - w = -7. Is m a prime number?
True
Let z = -109 + 168. Let l = -5 + 10. Suppose 0 = -l*p + 16 + z. Is p prime?
False
Let v(t) = -t**3 - 3*t**2 + 2*t - 3. Suppose -5*i = 5*b + 15, -5*b + i = 14 + 13. Is v(b) composite?
False
Suppose -276 = 3*u - 3*f, -80 = u + 3*f - 0*f. Is u/(-2)*(6 + 0) composite?
True
Suppose 5*b - w = 14, -6 = -3*b - 0*b + 3*w. Suppose 12 = 2*k + b*r, 5*k - r = 45 + 2. Is k composite?
True
Let b(n) = 83*n + 4. Let h(f) = -f - 6. Let w be h(-11). Is b(w) prime?
True
Let b be 6/(-21) - (-69)/21. Is (-3)/(-9)*b*169 composite?
True
Let i = -10 - -5. Let k = 9 + i. Is -3 + -61*k/(-2) composite?
True
Suppose 0 = -5*m + 7 + 18. Suppose 0 = 4*x + 5*z - 769, z + 4*z = -m*x + 960. Is x a prime number?
True
Let t be (6/(-7))/((-3)/21). Let s = 17 - t. Let b = s - -10. Is b prime?
False
Suppose -13 = -t - 3*l, 0 = 2*t + 2*l - 2 - 12. Let d(o) = o**3 - 3*o**2 - 2*o - 5. Let n be d(t). Suppose -n*r + 46 = -r. Is r prime?
True
Let a(h) = 95*h**2 - 2*h + 2. Is a(3) prime?
False
Let d(k) = 4*k**2 + 12*k - 2. Let r be d(9). Suppose z + r = 3*a, 3*a - 710 = -2*a + 3*z. Is a a composite number?
True
Let p(d) = 8*d**3 - d**2 + 2*d. Let z be p(2). Let s = -39 + z. Is s a prime number?
False
Suppose -4*z = g - 266, -6*z + 272 = -2*z - 2*g. Is z composite?
False
Let x = 5 + 5. Let l(f) = f**3 - 9*f**2 - 2*f - 3. Is l(x) prime?
False
Suppose -11*a = -15*a + 1348. Is a a prime number?
True
Let m = 22 - 41. Let t = 27 - m. Suppose 4*k - t = 2*k. Is k prime?
True
Is 1129/13 - (-12)/78 a prime number?
False
Suppose 0 = 3*q - 102