a composite number?
True
Is 27/6*1306/3 a prime number?
False
Suppose 2*o - 3*a = 12451, 2*o - 9*a + 7*a = 12456. Is o composite?
True
Suppose r - 13222 - 2197 = 0. Is r composite?
True
Suppose -22836 - 7954 = -10*i. Is i prime?
True
Let w(h) = 86*h - 9. Let o be 6 + -3 + -1 - 1. Let a(k) = -k - 1. Let r(b) = o*w(b) - 2*a(b). Is r(3) a composite number?
False
Let w = -4 + -1. Let f(d) = 38*d**2 - 29*d - 6. Let u(q) = 13*q**2 - 10*q - 2. Let h(r) = 4*f(r) - 11*u(r). Is h(w) prime?
False
Suppose 2*g = 7*g. Suppose -x - 4*x = g. Suppose x = -6*n + n + 175. Is n prime?
False
Is (-13043)/(-5) - (-4)/10 composite?
False
Let d = 91 - -60. Let a = -33 + d. Suppose 3*s - 357 = 4*v, 0*s - s + v = -a. Is s a prime number?
False
Let u(v) = -v**2 - 9*v - 21. Let k be u(-3). Let p be (1 - -160)/(2/(-6)). Is 2/(k - 1455/p) a prime number?
False
Let p(l) be the first derivative of -l**3/3 + 3*l**2/2 - l - 3. Let x be p(5). Let w = x + 14. Is w a composite number?
False
Let v(q) = 2*q - 28. Let i be v(16). Suppose i*y - 100 = -2*d + 32, -2*y + 74 = -d. Is y a composite number?
True
Suppose -t = -3*t. Suppose t = -4*y + w + 1352, -3*w = y + 4*y - 1673. Is y prime?
True
Let s(d) = 77*d - 10. Let g be s(-7). Let v = -8 - g. Is v prime?
True
Let v = -394 - 2975. Let p = v + 6158. Is p a composite number?
False
Suppose -4*y + 1292 + 3424 = 0. Is y/4 + (-4)/(-16) composite?
True
Let l = 54 + -32. Suppose 4*m - 2*d - 42 = l, 0 = -2*m - 3*d + 16. Is m prime?
False
Suppose 20006 = 5*r - 11919. Suppose -4*v - 2*b + 3*b + r = 0, -5*b + 7950 = 5*v. Suppose -10*i = -5*i - v. Is i prime?
False
Let k(y) be the second derivative of 3*y**5/20 - y**4/12 + y**3/2 + 3*y**2/2 - 3*y. Is k(4) a prime number?
True
Let f = -11 + 17. Suppose v = f - 1, -5*k - 4*v = -20. Suppose 2*j = -5*s + 805, s + 5*j - 138 = -k*s. Is s a prime number?
True
Let r = 21283 - 162. Is r composite?
False
Is (10037 - 3) + (-18)/(-6) prime?
True
Suppose 6*k - 4*k - 336 = 0. Suppose -2*g = -5*q + 825, g = -q + 2*q - k. Is q prime?
True
Let g(p) be the second derivative of -13*p**3/6 - 16*p**2 - 3*p. Is g(-9) composite?
True
Suppose 11*a + 20 = 16*a. Is (-15 + 14)*(-2)/(a/514) a prime number?
True
Let t(u) = 230*u - 10. Let o be t(8). Let j be 84/(-63)*o/(-4). Let a = j - 345. Is a a prime number?
False
Suppose -3*r = -r - 12. Suppose r = -2*b + 5*b. Let v(l) = 21*l**2 + 2*l + 1. Is v(b) composite?
False
Suppose 5*x - 30 = 3*a - 11, 2*x = -3*a + 16. Suppose -r + 851 + 618 = -a*q, r - 1476 = -5*q. Is r a prime number?
True
Suppose 4*a = a + 318. Suppose 3*b = 5*z + 308, -b - 2*z = -3*z - a. Is b composite?
True
Suppose -3*n - 7242 = -3*u, 0 = 4*u - 8*u - 3*n + 9649. Is u a prime number?
False
Let n be (-2554)/(-2) + (-1 - -4). Suppose 4*l = 3*x + n, 0 = x + 2*x - l + 1283. Is x/(-2) + 3 + 0 a composite number?
True
Let r(j) = 5*j**3 + j**2 - 6*j + 5. Let l be r(4). Let d = l + -186. Is d prime?
True
Is (-570 - 16)*(-4)/8 prime?
True
Suppose 0 = -2*v - 2*i + 418, 5*v = -2*i + 7*i + 1045. Suppose r + 3*x = 100, -2*r = -x - v + 23. Is r a prime number?
False
Let y = -189 + 2416. Is y composite?
True
Suppose 2*u = -3*v + 7, 4 = 5*v - 2*u - 13. Suppose -3*c - v*b = -90, 3*c - b = b + 115. Let o = c + -2. Is o composite?
True
Suppose -10*s + 7*s = 141. Let t = s - -210. Is t prime?
True
Suppose 1105 = -5*i + 5700. Suppose 0 = -2*z + z + i. Is z a composite number?
False
Is (2 + -1)/(1/1577) composite?
True
Suppose 3*f + 192 - 1305 = 0. Is f composite?
True
Let j be 2/(-3)*(-21)/2. Let t = 9 - j. Is (-1377)/(-12) + t/8 composite?
True
Let u(w) = 2994*w**2 - 40*w - 119. Is u(-3) composite?
False
Let t(o) = 6*o**2 - 8*o - 5. Is t(-8) composite?
False
Suppose -h + 2*h + 14 = 5*w, w = 3. Suppose -2*f - 9 = h, -o = 5*f - 1870. Suppose -5*r + o + 140 = 0. Is r prime?
False
Suppose 2*s = 1235 + 1423. Is s prime?
False
Let v(o) = -o**3 + 6*o**2 - 26*o - 28. Is v(-15) a prime number?
True
Let g(i) = -22*i**3 + 3*i - 6. Is g(-3) prime?
False
Suppose -v - 3*v = -24. Suppose -v*i = -2*i - 636. Is i prime?
False
Let c(u) = 54*u**2 - 2*u + 3. Let k be c(-3). Suppose -3*v - i + k = 0, 618 + 42 = 4*v + i. Let j = v - -26. Is j prime?
True
Let f = 7 - 5. Suppose -f*n - 6 = 0, -2*n - 4 = -2*p + 2. Suppose -3*k = -p*k - 1239. Is k prime?
False
Suppose 4*l = 4*w - w - 84, l + w = -21. Let d = -26 - l. Let f(u) = -38*u + 15. Is f(d) a prime number?
False
Suppose 4*x - 171 - 34 = -3*m, 3*m - 3*x - 219 = 0. Let c be -1*(0 - 3 - m). Suppose c = b - 219. Is b composite?
False
Let y be -2 + 0/(-1) - 50. Let o = y + 29. Let h = o + 60. Is h composite?
False
Is (32/(-40))/(16/(-85480)) a composite number?
True
Let a(l) = -32*l**3 - 37*l**2 + 9*l + 11. Is a(-17) prime?
True
Suppose -w + 7*y - 3*y - 726 = 0, y = 4*w + 2919. Let x = -411 - w. Let o = x - 206. Is o a prime number?
True
Let q(x) = x**3 - 10*x**2 - 13. Suppose -10*j = -9*j - 10. Let c be q(j). Is ((3 - 3) + c)*-7 composite?
True
Let o be (-2)/(-3) + (-2)/3. Suppose 2*m + 2*w - 656 = 0, -m = -4*w - 360 + 17. Suppose o = -4*k + 3*k + m. Is k a composite number?
False
Let u(r) = 1120*r**2 - 3*r. Is u(1) composite?
False
Let o be 2/(-8) + (-29351)/(-28). Let q = o - 1843. Is (-1)/(2 - q/(-397)) composite?
False
Let q(m) be the second derivative of -6*m**5/5 - 7*m**3/6 - 5*m**2/2 + 2*m. Is q(-4) a prime number?
True
Is 514 + (-56)/40*-5 prime?
True
Let n(h) = -89*h**3 - 2*h**2 + h + 2. Let z be n(2). Is z*22/(-16)*(-17 + 19) composite?
True
Is 1927/(8 - (14 - 7)) prime?
False
Let j be ((-6)/(-8))/((-2)/(-24)). Suppose 5*m - j*m + 356 = 0. Is m a prime number?
True
Let g(c) = 40*c**2 + 18*c + 96. Is g(-5) composite?
True
Suppose -c + 0*c = -2. Let v(u) = -55*u - 4. Let k be v(-2). Suppose -k = y - c*y. Is y composite?
True
Suppose 3*y + 1 - 10 = 0. Suppose -y*z + 11 + 28 = 0. Is z a composite number?
False
Suppose 3*n + 4*f - 1261 = 0, 3*f = 2*n + n - 1254. Is n a prime number?
True
Let r be 616/(-10) - (-12)/(-30). Let u = 135 - r. Suppose -389 - u = -2*i. Is i composite?
False
Is (-6)/((-66)/77) + 18694 composite?
False
Suppose -22*g = -24*g + 422. Is g a prime number?
True
Let g(v) = 43*v + 2. Suppose -5*t + 106 + 16 = -4*o, 5*t - 66 = 2*o. Let f be (-11)/(-33) + o/(-6). Is g(f) prime?
False
Suppose 0*x = -4*t - 2*x + 1712, 3*x = t - 442. Let o = t - 249. Suppose -2*f = 5*n - 141, -2*f + 3*n = -0*n - o. Is f composite?
False
Let d(v) = 28*v + 3. Let h be d(-6). Let b be -4*((-267)/2 - -1). Let p = b + h. Is p prime?
False
Let b = 35875 - 11066. Is b composite?
False
Let u be (-8)/6*(-1 + 4). Let k = u - -12. Suppose k*s - 3*s = 445. Is s a prime number?
True
Suppose 165 + 150 = 3*y. Is 2/(-14) - 3*(-670)/y a composite number?
False
Is (-5 + 7)*(-2110)/(-4) a prime number?
False
Let p = 308646 - 210875. Is p composite?
False
Let b(c) = -21*c**2 + 6*c - 7. Let y(q) = q**3 + 9*q**2 - 10*q + 3. Let w be y(-10). Let a be b(w). Is ((-140)/8)/7*a prime?
False
Suppose -16*u + 158900 + 10044 = 0. Is u a composite number?
False
Is -5 - (-6198 - (10 - 6)) a prime number?
True
Let c(t) = 2*t**2 - 15*t - 14. Let m(d) = -d**2 + d + 1. Let l(s) = -c(s) - 3*m(s). Let h be l(-13). Suppose 0 = 4*p - h - 32. Is p a prime number?
False
Let u = 29327 + -17368. Is u a prime number?
True
Suppose 0 = 5*p + k + 809, -5*p - 2*k = 539 + 269. Let c = p - -305. Is c a composite number?
True
Let u = 334 - 251. Is u a composite number?
False
Let a(u) be the second derivative of 103*u**5/20 - u**4/12 + u**3/6 - u - 59. Let h be (-4)/(-2 + 0) + -1. Is a(h) a prime number?
True
Let s(l) = 3*l**3 - 8*l**2 - l + 7. Let n be s(4). Let h = n + 78. Is h a prime number?
False
Suppose -2215 = -u - 4*u. Suppose -i = 5*v - 2182, 2*i - 2622 = -5*v - u. Suppose 19 = -2*j + v. Is j a composite number?
True
Suppose -308967 = -25*v + 44608. Is v prime?
True
Suppose -3*o = -5*b + 31, 4*o + 3 = -b - 0*b. Suppose 0 = b*u - 0*u - 700. Suppose -u = -x + 167. Is x a composite number?
False
Suppose 2*p = r - 39, 51 = -3*p - 0*p + 4*r. Let l = 42 + p. Is l prime?
False
Let w(i) = 200*i**2 + 7*i + 13. Is w(-2) a composite number?
True
Suppose -w = 3*i + 55303, -6*i = -3*i - 4*w + 55328. Is (-4)/(112/i) - (-8)/14 prime?
True
Let o = -13530 + 38543. Is o composite?
False
Let w(k) = k**3 + 31*k**2 - 25*k + 33. Is w(-22) a prime number?
Fals