s(4) a prime number?
False
Suppose 5*i = -0*i + 55. Suppose 4*q + i = g, q + g = 5*g + 1. Let o(l) = -8*l**3 + l**2 - 4. Is o(q) a composite number?
True
Suppose -5*s + 3881 = -5*r - 2074, -4*s + 4764 = 4*r. Is s composite?
True
Let f(h) = h**3 - 3*h**2 - 6*h + 14. Let u be f(4). Suppose 140 = u*b - 208. Is b composite?
True
Let l be 440/12*36/30. Suppose l + 249 = a. Is a composite?
False
Suppose 8*m + 5215 = -5*q + 4*m, 4*q + 4203 = 3*m. Let v = 95 - 247. Let d = v - q. Is d a prime number?
False
Suppose -c + 4*c - 5*l - 16 = 0, 0 = 5*c - 5*l - 40. Is 669/c*(6 + -2) a composite number?
False
Let a be 20/70 - (-24)/14. Let c be a + 2*(0 + -1). Suppose -2*u + 1113 = 5*p - 0*u, 5*u + 5 = c. Is p a prime number?
True
Suppose -i + 711 = -0*i. Let o = 535 + i. Is (o/8)/(-7)*-4 composite?
False
Let k = 1534 - 893. Let n(v) = -95*v - 2. Let f be n(4). Let t = k + f. Is t a prime number?
False
Suppose -5*w + 3*i = -i - 20, -2*i = -10. Let g(f) = f - 5. Let r be g(w). Suppose r*q + 2*q - 1349 = -4*z, 5*z - 1702 = -q. Is z composite?
True
Let i = 1147 + -414. Is i composite?
False
Suppose 22 = 4*k - 2. Suppose -j = -k*j + 20. Is 7 - j - (0 - 220) a prime number?
True
Let i = 995 - -678. Is i composite?
True
Let m be -10 - (-1 + 0 + 1). Is 36/60 + (-2084)/m a prime number?
False
Suppose 2*w = -5*p - 1975, 0*w = -4*p - 4*w - 1592. Let x be 0/(-6) + -2 + -602. Let k = p - x. Is k composite?
False
Let l(w) = 42*w**2 - 12*w + 47. Is l(-22) prime?
True
Let f be (108/10 - 0)*5. Let x be (-2)/(8/(-90))*16/24. Suppose q = j + x + 3, -4*q - 2*j + f = 0. Is q a composite number?
True
Suppose -11 = 2*j + 3*z, 5*j + 2*z = z + 5. Suppose j*d + 236 = 6*d. Is d prime?
True
Let i = -65 + 154. Let b = i + -52. Is b prime?
True
Is -6 + 6700/(2 + 2) composite?
False
Let v be 11 + -4 - -4*1. Let l = -18 + v. Let w(d) = 2*d**2 + 9*d + 12. Is w(l) composite?
False
Let i(p) = -5*p**2 - 9*p - 12. Let t be 1*10/8*8. Let f be i(t). Is (0 + -4)*f/56 a composite number?
False
Let n = -11323 + 25814. Is n composite?
True
Let h be 520/90 - (-2)/9. Let o be 24/h*(1 - 0). Suppose 0 = -o*l - 11 + 63. Is l prime?
True
Let i be 29 + (-4)/3*-3. Is (2 - i/6)*-34 a composite number?
True
Let x(s) = -s**3 + 34 + s**2 + 1 - 3*s + 8*s - 7*s**2. Is x(-18) composite?
False
Let u(c) be the second derivative of -c**3/6 + 97*c**2/2 + 3*c. Let z be u(0). Is (z/3)/((-1)/(-3)) prime?
True
Is (-62531)/(-7) - -5 - -3*1 a composite number?
False
Let v(y) = y**2 - 1. Let d(b) = -22*b**3 - 5*b**2 - b + 5. Let p(n) = -d(n) - 4*v(n). Suppose -3*z + 2 = a, -4*a + z = 2*z - 8. Is p(a) composite?
False
Let w(o) = o**3 + 2*o**2 - 2*o + 1. Let i be w(1). Let s be (12/(-14))/(i/14). Is (-7820)/(-50) + s/(-10) a prime number?
True
Let h = 11 - -24. Let o(m) = -24*m - 188. Let i be o(-14). Suppose -i = -z - h. Is z a composite number?
False
Suppose -36*p + 355045 + 218039 = 0. Is p composite?
False
Suppose 11 = -3*h - 4*s, -2*s = -h + 3*s + 28. Suppose -5*u + 632 = -h*u. Suppose 3*x = -x + u. Is x prime?
True
Let t be ((-611)/195 - (-2)/15) + 4. Is 11/((-126)/129 + t) a composite number?
True
Let r be (-3 + -334)*16/(-4). Let f = 900 - r. Is 3 - (-2 + (f - 0)) prime?
False
Let i(b) = -48*b + 3. Let h = -44 - -38. Is i(h) a prime number?
False
Let w(a) = 52*a**3 - 2*a**2 + 1. Suppose -10 + 2 = -3*m + b, b = -m. Is w(m) prime?
True
Let v = -29 - -322. Is v composite?
False
Suppose 17*o = -967 + 9450. Is o composite?
False
Suppose 4*z - 2 = 2*y, -2*z - 2*y + 6 = -4. Suppose 5*h = 3*b + 1889, 0 = -5*h + z*b + 3*b + 1885. Is h prime?
True
Suppose t = 4*l - 8*l - 15, -3*l - 4*t - 21 = 0. Let d(b) = b**2 + 16*b + 27. Let v be d(-11). Is (-12560)/v + l/(-7) a composite number?
False
Let q = 26421 + -12262. Is q a prime number?
True
Suppose 7*b - 1860 = 2*b. Let w = 181 + b. Is w prime?
False
Let k(v) = -19*v + 10. Let m = 9 - 28. Is k(m) composite?
True
Is ((-1195)/(-25))/((-7)/(-455)) a prime number?
False
Suppose -5*u + 22 = 7, 2*q - 22204 = -2*u. Is q a prime number?
False
Let c = -2539 - -3726. Is c a composite number?
False
Let r(v) = 24*v**2 + 9*v - 42. Is r(9) a composite number?
True
Let r(v) = 22*v + 6. Let j be (-16)/4 - 2/(-1). Let u = 6 + j. Is r(u) a prime number?
False
Let d(j) = j**2 + 2. Let o(x) = x**3 - 14*x**2 + 12*x + 11. Let q be o(13). Let k be d(q). Suppose 0 = k*l - 407 + 101. Is l a composite number?
True
Let t be (0 + -2)*1 - -5. Let p(s) = 26*s**2 - 4*s - 3. Let i(l) = -27*l**2 + 4*l + 2. Let d(y) = -4*i(y) - 3*p(y). Is d(t) prime?
False
Let t = 3840 + -419. Is t a prime number?
False
Let v(k) = k + 13. Let f be v(-12). Let p be (-1670)/14 + (-4)/(-14). Is 3/f + (11 - p) a prime number?
False
Let v = -25 - 118. Let u = v - -92. Let n = u + 154. Is n prime?
True
Let v(p) = -175*p + 3. Suppose -3*y = 5*o + 27, 5*y + 0*o + o + 67 = 0. Is v(y) a prime number?
False
Suppose -3*j + 12 = -2*n, 5*j - 3 - 17 = -n. Suppose -c = -s + 5, 4*c - 15 = -3*s - n*s. Suppose -5*a + 481 + 214 = c. Is a a composite number?
False
Let p(q) = 239*q + 287. Is p(12) composite?
True
Suppose 16 - 13 = a. Let p(f) = 22*f**3 - f**2 - 2*f + 2. Is p(a) composite?
True
Suppose 0 = -n + 110 + 221. Is n a composite number?
False
Let w(o) = -202*o**3 - o**2 - 2*o - 4. Let r be w(-2). Suppose 3*x - r - 1055 = 0. Is x a prime number?
False
Let x be (4/6)/((-24)/(-36)). Let o(q) = -q**3 + 2*q**2 - 1. Let y be o(x). Suppose -u + a + 31 = y, -u - 3*a - 62 = -3*u. Is u a prime number?
True
Suppose 0 = -5*r - 14 - 11, 4*r + 395 = -5*q. Let s = q + 108. Let z = s + -14. Is z prime?
True
Let a be ((-11584)/24)/(2/6). Let n = -301 - a. Is n composite?
True
Suppose 0 = -z - 2 - 154. Let s = z - -284. Let q = s - 73. Is q a composite number?
True
Suppose 2*w + b = 3*w + 16, 5*w = 2*b - 74. Let l = w + 19. Suppose 787 = l*x + 42. Is x composite?
False
Let z(v) = 76*v + 18*v + 178*v + 11. Is z(6) a prime number?
False
Let c be (1 - (0 - -1)) + 346. Let g = c + -124. Suppose 669 - g = 3*z. Is z composite?
False
Is ((-1)/4)/((-40)/7518880) a prime number?
True
Suppose -m - 2*m + 12144 = 0. Suppose -4*q + 3*f = -m, -3*f + 0*f + 997 = q. Is q a prime number?
True
Is 1*-1 - (-3*9622 - 14) a composite number?
False
Suppose -2*u + 154 = 5*u. Is 93 - ((-4)/u + (-40)/22) composite?
True
Let a(t) = 63*t**3 - t**2 + 7*t - 5. Suppose 0 = -2*s - 0*r + 2*r, 3*s + 5*r = 32. Is a(s) prime?
False
Let j(s) = 129*s + 5. Let o = 5 + 3. Is j(o) a composite number?
True
Suppose 0 = 5*j + w - 41254, -j + 24749 = 2*j + 4*w. Is j prime?
False
Suppose 9*x + 20 = 11*x. Let l be (52 - 1)/(2/x). Suppose -4 = a - l. Is a prime?
True
Suppose -3*p + 17 = 3*a - 4, -2*p + 18 = 4*a. Suppose 51 + 1 = -a*i. Let g = i + 141. Is g a prime number?
False
Let k = -1686 - -3217. Let u = -7 + 11. Suppose 4*t - k = 3*f, u*t - 4*f - 310 - 1226 = 0. Is t prime?
True
Let c(v) = -v**2 + 7*v + 8. Let f be c(-3). Suppose -4*k - 225 = -5*u, 3*k = -3*u + 2*u + 45. Let q = u + f. Is q a prime number?
True
Let q be (303 - 0) + 7 + -10. Suppose 0 = -5*v + q + 2090. Is v composite?
True
Let s(v) = v**2 + 191. Suppose -5*a - 2*y = -98, -a + 0*y - 2 = -5*y. Let f = -18 + a. Is s(f) a composite number?
False
Suppose 0 = 2*z + 2*z + 120. Is (2/(-5))/(-1) - 22338/z composite?
True
Let c = -8 - -100. Let b = c - -119. Is b composite?
False
Let n(b) = -b**3 - 4*b**2 + 6*b + 10. Let m be n(-5). Let l = 8 - m. Suppose -4*p - 570 = -l*x - p, 5*x + 3*p = 910. Is x prime?
False
Let s(x) = 377*x - 10. Let g = -3 - -6. Is s(g) a composite number?
True
Suppose 0 = -4*g + 9*g - 10. Suppose 1455 + 779 = g*u. Is u a prime number?
True
Let g(n) = 68*n**2 - 4*n + 3. Suppose -4*q - 28 = -32. Is g(q) prime?
True
Let i = -3491 - -7890. Is i composite?
True
Suppose 4*n = 14*n - 150530. Is n a prime number?
True
Let k(m) = 39*m - 23. Suppose -r - 31 = -5*s, -2*s + 0*r - r = -11. Is k(s) prime?
True
Let t(m) = -675*m + 9. Let k be t(-2). Suppose -1047 - k = -2*i. Is i composite?
True
Suppose -n - 3*n = 3*x + 7, -3*n + 6 = 0. Let u(y) = 12*y**3 - 1 - 14*y**3 + 4*y - 3*y**2 - 3*y**2 + 8. Is u(x) a composite number?
True
Let d be (-41)/(-1 - (-24)/22). Let q = d - -632. Suppose c - q = -2*u + 2*c, -3*c = -u + 98. Is u composite?
False
Is 7250 + 1 - (15 + -11) a composite number?
False
Suppose -11*f + 24*f = 188357. Is f compo