*b**2 + 2*b + 3. Let y = 5 - 7. Let u be h(y). Is k(u) a composite number?
False
Let v(k) = -123*k + 5. Let p(x) = 800*x - 32. Let y(f) = 5*p(f) + 32*v(f). Let u be y(1). Suppose -94 = -2*c + u. Is c composite?
False
Suppose t + 0 = j - 2, j + 2 = -3*t. Is t/5 - (-288)/15 composite?
False
Let m(y) = y**2 + 2*y + 16. Let j be (-7)/(-21) - 76/(-6). Is m(j) a prime number?
True
Let n(o) = -o**3 + 3*o**2 + 6*o - 6. Let q be n(4). Suppose 0 = -q*i - 3*x + 30, -i - 4*x + 12 = -x. Let r = 31 - i. Is r prime?
True
Let q be -4 + 17 + (0 - 1). Suppose 2*k = -5*p + 6, -4*k + 4*p - p = -q. Suppose -22 = -2*s + 2*w, -4*s - k*w + 5 = -11. Is s a prime number?
True
Is (-513)/(-6) + 2/(-4) a prime number?
False
Is -2*-74*(-3)/(-12) a prime number?
True
Suppose -10*c + 1912 = -318. Is c composite?
False
Is ((-22)/(-33))/(2/117) prime?
False
Let s = -444 + 827. Let c = 646 - s. Is c a prime number?
True
Suppose -x - 5*q + 117 = 0, -2*x + 2*q + 169 = -q. Let s = x - 51. Let i = s + -22. Is i composite?
False
Let h be 3*(-8)/(-12)*3. Suppose -5*p = -4*u + 912, h*u - 2*p = u + 1123. Is u a prime number?
True
Let h be 32/(-20)*(1 + 4). Let n(f) = 2*f**2 + 7*f - 7. Is n(h) prime?
False
Let n(q) = -q**2. Let o be n(0). Suppose -2*a + 313 - 123 = o. Is a prime?
False
Suppose l = 2*l - 9. Let v(o) = -315*o**3 + 2*o**2 + 2*o. Let g be v(-1). Is (3/l)/(3/g) prime?
False
Suppose 5*p - 185 = -0*p. Let q = p + 120. Is q a prime number?
True
Let q(u) = u**3 - 5*u**2 + 6*u + 33. Let z(b) = b**2 - b. Let l(d) = q(d) + 6*z(d). Is l(0) a prime number?
False
Suppose -2*v + 21 = v. Suppose 0 = 3*j - n + 1 - v, 5*j = -3*n - 4. Is ((-63)/18)/(j/(-26)) a composite number?
True
Let h be 2 - (-1 - 0)*-3. Let n be -4*81 + 3 + h. Let q = -195 - n. Is q a prime number?
True
Let d = -507 - -854. Is d composite?
False
Suppose 1824 = -x - 5290. Is x/(-18) - (-16)/(-72) a composite number?
True
Suppose 0 = -5*a + d + 28, 0 = -5*a + 6*d - d + 40. Suppose 0 = -3*c - r + a*r + 593, 4*c + 3*r = 749. Is c a prime number?
True
Let u(d) = 14*d**3 + d**2 - 2*d. Let f be u(3). Suppose -3*z + 0*z + f = 0. Is z a composite number?
False
Suppose 2*h - 92 = -2*h. Suppose t - h = 3*j - 1, -j - 1 = 0. Is t a prime number?
True
Let v(c) = 5*c**2 - c - 4. Let s be v(2). Let t = s + -1. Is t a composite number?
False
Suppose -2*a = -0*a + 1356. Suppose 1 = u + 5. Is a/u*(-4)/(-6) composite?
False
Let j = -2 - 8. Let p = j + 21. Is p composite?
False
Let l(g) = -g**2 - 2*g**2 - 3*g**2 + 4 + g**3. Let u be l(6). Suppose -4*i = -b - 120, u*i + 0*b + b - 128 = 0. Is i a prime number?
True
Let r = -46 - -581. Is r composite?
True
Let a(d) = -137*d + 5. Is a(-4) a composite number?
True
Suppose 30 = 2*l + 4*y, -3*l + 2*y = -7*l + 48. Suppose 2*d + l = 3*d. Suppose d + 31 = 3*n. Is n composite?
True
Let v(i) = 3*i + 2. Let j(a) = a**2 - 3*a + 3. Suppose 2*n - 1 = -2*o + 1, 24 = 3*o - 4*n. Let p be j(o). Is v(p) prime?
True
Let m(c) = 18*c**3 + 2*c**2 + 2*c + 3. Let l be m(-2). Let f = -72 - l. Is f composite?
True
Suppose -5*j - 4*d = -0*j - 14, 2*d + 6 = 4*j. Let o = j - 3. Let v = 36 + o. Is v composite?
True
Let v(j) = 37*j**2 + j - 1. Let r(z) = 38*z**2 + z - 1. Let q be 1 + -1*(0 - -3). Let u(s) = q*r(s) + 3*v(s). Is u(1) composite?
True
Let w = 99 - 14. Let x = w - 59. Is x a composite number?
True
Let u(w) = -7*w + 11. Let p(g) = 2 + 0*g + 4*g + 0 - 8. Let i(b) = 5*p(b) + 3*u(b). Is i(-4) composite?
False
Let g(b) = 6*b**2 - 2*b + 5. Let j be g(-5). Suppose -j - 47 = -4*r. Is r composite?
False
Suppose 18 = 2*p - p. Let t = 383 - p. Is t composite?
True
Let j = -3367 - -4728. Is j composite?
False
Let g(l) be the second derivative of 29*l**4/6 + l**3/6 - 3*l. Is g(1) a composite number?
False
Let t be 1/((3 - 0)/30). Let b = 99 - t. Suppose 0 = 3*i - 2*r - 291, 3*r - 8 = -i + b. Is i prime?
True
Let p(i) = 38*i + 7. Is p(17) composite?
False
Suppose -8*j + 3*j = -1345. Is j composite?
False
Let x(l) = 19*l**2 - 7*l - 3. Is x(-7) a composite number?
False
Suppose 193 + 11 = i. Is i/8 + 2/(-4) prime?
False
Let m(z) = -z**2 + 2. Let p be m(2). Is 20 + (-2 - p) + -1 composite?
False
Is (-1 + (2 - 2))*-7 a prime number?
True
Let k = 29 - 26. Suppose k*w - 435 = -2*w. Is w a prime number?
False
Suppose -4*s + 96 = -2*s. Suppose s + 454 = 2*k. Is k composite?
False
Let k = 0 - 5. Suppose -4*c - 4 = -8*c. Is (-14)/(-5) - c/k a prime number?
True
Let y(b) = -b**2 - 7*b - 6. Let r be y(-6). Is -2*(r - (8 + -1)) a composite number?
True
Let w be -6*(3/6 + -1). Suppose -a + 120 = w*q - 44, -3*q - 346 = -2*a. Suppose 3*y = -f - 4*f + 140, -3*y - a = -5*f. Is f composite?
False
Suppose -4*t + d = -3569, d - 1192 - 597 = -2*t. Is t a prime number?
False
Let o = -307 - -561. Suppose -2*j + 0*j = -o. Is j prime?
True
Let n be (-1306)/(-8) - 4/16. Suppose 0 = 3*r - 4*r + n. Is r a prime number?
True
Let n(r) = 40*r - 5. Let a be n(6). Suppose -5*l = v - 3*l - a, l = 1. Is v prime?
True
Suppose -4*s = -128 - 108. Let v = s - 40. Is v a prime number?
True
Suppose 5*o = -g + 258, -5*g + 5*o + 376 = -884. Is g prime?
False
Let l(o) = 14*o + 1. Let b(z) = z. Let d(g) = -3*b(g) + l(g). Let t be 2/7 + 24/14. Is d(t) composite?
False
Suppose -4*i - 12 = 0, -3326 - 14564 = -5*t - 5*i. Is t composite?
False
Let q(y) = 73*y**2. Let p be q(-1). Let s = -41 + p. Suppose 0 = -4*v + 24 + s. Is v composite?
True
Let g(j) be the third derivative of -j**6/120 - j**5/60 - j**4/24 - 3*j**3/2 - j**2. Let z be g(0). Let k(m) = -m**2 - 19*m + 1. Is k(z) prime?
False
Suppose 8*i = 6*i + 2390. Is i a prime number?
False
Suppose -4*x + 2*x + 142 = 0. Is x prime?
True
Let i(o) = 47*o**3 + 4*o**2 - 3*o + 1. Let a be i(2). Let m = -94 + a. Is m a composite number?
False
Let u = -241 - -422. Is u a prime number?
True
Let c = 12 - 3. Is (-10)/(-45) - (-115)/c a prime number?
True
Let v(k) = -k + 1. Let f(q) be the first derivative of -3*q**2/2 + 13*q + 2. Let b(c) = f(c) - 2*v(c). Is b(8) a prime number?
True
Suppose -3*t + 555 = -0*t. Is t composite?
True
Suppose p - 3*j - 3 = 0, 0 = 2*p + 3*j - 5*j - 10. Let r(n) = 3 - 2 - 3*n**2 + 5*n**2 - 6*n. Is r(p) a prime number?
True
Let r(u) = -65*u + 1 - 6 + 2 + 0. Is r(-2) a prime number?
True
Let n(k) = 2*k**2 - 2*k. Let u be n(2). Let w(q) = 3 + 6*q - u - 18*q. Is w(-3) a composite number?
True
Suppose 0 = o - 6*o - 10. Let w be 1 + (14 - -1) + o. Is 766/w + (-4)/(-14) composite?
True
Is 0 - ((-8796)/(-18))/((-4)/6) a composite number?
False
Suppose -20 = -3*g - 2. Suppose 819 = 4*u + 5*m, -g*u - 4*m = -u - 1035. Is u composite?
False
Is (-3 - 1) + 3673 + (-2 - -4) a composite number?
False
Let o = -6 + 6. Suppose o = -j - 2*j + 99. Is j a prime number?
False
Let w = 623 - 372. Is w prime?
True
Let l be 2*-3*(-2)/3. Let x be (l/3)/(4/6). Suppose x*k + 26 = 5*o + 1, -5 = -k. Is o a composite number?
False
Suppose -4*v + 5*v - 1713 = 0. Is v a composite number?
True
Is (-19)/38 + 14686/4 a prime number?
True
Is (-63354)/(-21) + 5/35 a prime number?
False
Let j(h) = -8*h**3 - h**2 - 2*h - 3. Let d be j(-2). Suppose 3*g - 69 + 3 = 0. Let a = d - g. Is a composite?
True
Let b(s) = s**3 + 6*s**2 - 3*s - 8. Let t be b(-6). Suppose -5*h + t = -0*h. Suppose h*c - 177 = -5*z, 5*z = 3*z - 3*c + 73. Is z a prime number?
False
Let t(w) = -5*w - 3. Let v(f) = f**3 + 7*f**2 + 3*f + 9. Let r be v(-7). Is t(r) prime?
False
Suppose -g = g - 2*p - 1034, 4*g = -p + 2068. Is g a prime number?
False
Let m(a) = a**3 + 6*a**2 + 2*a + 3. Let y be m(-6). Is -3*6/y - -327 a prime number?
False
Suppose -6*o - 7*o = -6227. Is o prime?
True
Suppose 206 - 61 = r. Is r a composite number?
True
Let g = -5 + 5. Suppose 4*v + g*v = 3*m + 19, -5*v - 2*m + 18 = 0. Is 525/28 + 1/v a prime number?
True
Suppose 6*p - 8*p = 0. Suppose p = -2*c + c + 19. Is c a prime number?
True
Suppose -3*l = 2*y - 109, -44 = -0*y - y - 5*l. Let o = -11 + y. Let x = -23 + o. Is x composite?
True
Is 11976/5 + (-4)/20 a prime number?
False
Suppose -4*j + 141 = -1031. Is j a composite number?
False
Let h be 1/((-3)/(-8))*-3. Let b = 59 - h. Is b composite?
False
Let f = 1315 + -342. Is f composite?
True
Suppose g + 39 = -0*z + 5*z, 5*z - 37 = 3*g. Let o(b) = 10*b + 9. Is o(z) a prime number?
True
Suppose 6 = -2*y, 0 = -5*l + 3*y + 531 + 103. Let k = -130 - -72. Let