17)/2 + 2/(-4). Suppose -3*i + i = -5*g - 51, 2*g + 66 = 2*i. Is (i/3)/((-2)/b) a composite number?
True
Suppose -2*h = 3*q - 129, -3*h = -h - 4*q - 94. Let a = 97 - h. Is 2 + (-1)/((-2)/a) prime?
False
Suppose -172 = -6*n + 2*n. Is n prime?
True
Suppose -153 = -s + 79. Suppose -5*c + 0*i + 290 = -i, -4*i = 4*c - s. Suppose 3*t + c = 2*m, 0 = m + 2*t + 2 - 45. Is m a prime number?
False
Let c be (4 - 2)/((-2)/(-188)). Let u = c - 109. Is u a prime number?
True
Let k be ((-3)/3)/(2/(-14)). Let b = -1 - -25. Let v = k + b. Is v a prime number?
True
Let o(b) = -2*b + 21. Let r be o(9). Suppose 2*i - 925 = -r*i. Is i a composite number?
True
Let u(k) = -20*k**2 - 2*k - 2. Let n be u(-2). Let d = -7 - n. Is d a composite number?
False
Let a(r) = -28*r + 27. Is a(-8) composite?
False
Suppose -2771 + 527 = -12*r. Is r a prime number?
False
Let m = 36 - 18. Let q = m - 9. Is q composite?
True
Let x(f) be the first derivative of 4*f**4 + 2*f**3/3 - 3*f**2/2 + 3*f - 5. Is x(2) composite?
True
Suppose -4*x - 40 = -8. Is 4/(-3)*156/x prime?
False
Let n = -425 - -227. Let v = 25 - n. Is v prime?
True
Let g(r) = -9*r**3 + 13*r**2 - 8*r + 2. Let f(u) = -4*u**3 + 7*u**2 - 4*u + 1. Let y(b) = 7*f(b) - 3*g(b). Is y(8) composite?
False
Let s = -19 + 23. Let d = -108 + 175. Suppose -d - 513 = -s*x. Is x a composite number?
True
Suppose -s + 204 - 544 = 0. Let b = -243 - s. Is b a prime number?
True
Suppose 0 = -4*k - 22 + 54. Let n(h) = -7*h**2 - 33*h + 30. Let r(f) = -11*f**2 - 50*f + 45. Let x(o) = k*n(o) - 5*r(o). Is x(-12) composite?
True
Let o be (10/(-3))/((-6)/63). Let r be 4/14 - (-60)/o. Is r + -4 + (-81)/(-3) prime?
False
Let z(o) = -18*o - 5. Let g be 4/(8/(-14)) - -2. Is z(g) a prime number?
False
Suppose -4*o + 3*r + 2079 = 4*r, 0 = -o + 5*r + 546. Is o composite?
False
Let i(c) = 3*c**2 - 15*c + 9. Is i(13) a composite number?
True
Suppose -3*x + 3 + 0 = 3*f, x - 5*f = 7. Suppose -5*m - x*a + a = -62, -3*a = -2*m + 35. Is m prime?
True
Let o(n) = -22*n**3 - 2*n**2 - 2*n - 1. Let a(b) = b**2 + 5*b + 3. Let y be a(-4). Is o(y) prime?
False
Let s = -392 + 674. Let t = -139 + s. Is t a composite number?
True
Is ((-54600)/9)/(-5) + (-8)/24 a prime number?
True
Suppose -5*s + 6*q + 71 = 2*q, 0 = -4*s + 4*q + 60. Let d = 35 - s. Suppose w + 0*w + 5*i - 18 = 0, 0 = 2*w - 2*i - d. Is w a composite number?
False
Let p = 1750 + -887. Is p prime?
True
Is -4*(-4)/(-8) + 147 a composite number?
True
Let b = -240 - -457. Is b prime?
False
Is (20 - 0)/(-8 + 10) composite?
True
Let r be (-23)/(-7) + 12/(-42). Let x be (2/3)/((-2)/(-18)). Let a = r + x. Is a a composite number?
True
Let w = -25 - -29. Suppose 1741 - 353 = w*l. Is l a composite number?
False
Suppose 0 = -24*o + 5*o + 17119. Is o composite?
True
Suppose -2*j = -2*y - 3250, 0 = 4*y - 4 + 12. Is j prime?
False
Let t = -9 + 620. Is t composite?
True
Suppose -4*r = 4*l - 712, -5*r - 621 = -5*l + 279. Is l prime?
True
Let h(c) = -c**3 - 7*c**2 + c**2 - 8 + 2*c**3 - 3*c - 1. Is h(7) composite?
False
Let t(s) = 2*s**2 - 5*s + 7. Let y be t(-6). Let m = 4 + -1. Suppose -m*i - 3*d + 76 = -17, -d = -3*i + y. Is i a prime number?
False
Let g = 561 - 310. Is g prime?
True
Let d(g) = -g**3 - 5*g**2 - g - 3. Let s be d(-5). Suppose -s*o + 254 = y - 170, o + 4*y - 219 = 0. Is o prime?
True
Let d(r) = -2*r - 6. Let m be d(-5). Suppose m*c = 5*w - 16 - 107, 3*w = c + 29. Is -2 - -4 - (c - 1) prime?
False
Suppose 2 = -m, 0*m = -4*r - m + 174. Suppose -r = 3*b - 14. Is -2 + (b/(-1) - 2) a composite number?
True
Suppose -773 + 4018 = 5*x. Is x a composite number?
True
Let w(l) = 10*l**3. Let c be w(1). Suppose 0 = 15*h - c*h - 425. Is h composite?
True
Suppose 2*a + 4*i - 171 = 413, -i + 1487 = 5*a. Is a prime?
False
Let n(u) = 4*u - 12*u + 10 + 5*u**2 - 4*u**2. Is n(-7) a composite number?
True
Let h(c) = 21*c**3 - 5*c**2 - 4*c - 5. Is h(6) composite?
False
Let d be 115/(-35) + 2/7. Let j(l) = -12*l - 30*l - 20*l - 1. Is j(d) prime?
False
Suppose -h - 2 + 0 = 0. Is h/4 + 186/12 prime?
False
Let p(i) = -27*i**3 - i**2 + 2*i + 3. Is p(-2) composite?
False
Let f(j) = j**2 - j - 3. Let h be f(0). Let w(p) = -2*p + 1. Is w(h) prime?
True
Let r(w) = -7*w**2 - 2*w + 3. Let i be r(-3). Let g = i + 239. Is g composite?
True
Suppose -8 = -2*w - 0*w. Let n = w - -3. Is n a composite number?
False
Let r(p) = -p**3 - 6*p**2 - p - 2. Let j be r(-6). Suppose 2*o + 2*c = 0, 0 = -3*o + 4*c + 32 - j. Suppose -4*d + 58 = -n, 39 = 3*d - o*n - 11. Is d composite?
True
Let t(f) = -7*f**3 - 2*f**2 + 1. Let r(a) = -a**3 - 5*a**2 - 5*a - 6. Let s be r(-4). Is t(s) composite?
True
Let b be 4/16 + 23/4. Let n = b + -4. Suppose 2*m = -t + 5, -m - 2*t + t = -n. Is m prime?
True
Let k(l) = 4*l**2 - 3*l**2 + 0*l**2 - 1 - 4*l. Let a be 16/6*18/8. Is k(a) a prime number?
True
Suppose 4*q - 13 - 5 = -2*s, 2*s + 3 = 3*q. Suppose q*z - 4*z = 2. Is 18 - (-2 + 3) - z prime?
True
Let d(z) = -3*z**3 + 16*z**2 - 9*z + 31. Is d(-10) a composite number?
False
Let w(h) = -15*h - 5. Is w(-4) composite?
True
Let w be 32/(-4) - 2/1. Let p be w/35 + 74/14. Suppose -4*b = -6*g + g + 179, 0 = p*g + 5*b - 170. Is g prime?
False
Is 10/((-1558)/(-389) + -4) a composite number?
True
Suppose 2*w - 4 = 4*w. Is w/7 + 1865/35 a prime number?
True
Let i be (0/(-1))/(1 + -2). Suppose 3*h + 0*h - 57 = i. Is h prime?
True
Let i(r) = -r**2 + 5 - 1 - 2. Let p be i(0). Suppose -3*n - 42 = -4*v, -2*n + 1 = v + p*n. Is v a prime number?
False
Let k(c) = -59*c + 4. Let f be k(-18). Let i = 5 - 3. Suppose -i*l + f = -48. Is l a composite number?
False
Let v = -18 - -8. Let p = v + 29. Is p a composite number?
False
Let c(x) = 2*x**2 + 1. Let l be c(1). Let i(z) = -z - l*z + 0*z + 3*z. Is i(-6) a composite number?
True
Let z = -13 - -9. Is (-590)/(2 + z) - 2 a composite number?
False
Let d(z) = z + 6. Let i be d(-5). Let t(b) = 10*b. Is t(i) a composite number?
True
Suppose 4*o = 5*j - 415 - 236, -4*o = 2*j - 266. Is j composite?
False
Suppose 4*u + 895 = 9*u. Suppose -f + 3*k + u = 0, 0*f = -2*f - 3*k + 394. Is f composite?
False
Suppose 5*a + v - 5 = 0, v = a + 4*a + 5. Suppose 27 = 3*y - 3*s, 0*y + 2*s = -y - 6. Suppose u + 3*t - 26 = a, 5*u + y*t = t + 82. Is u prime?
False
Suppose 5*v + 2*i - 706 = 0, 134 = -v + 2*v + 4*i. Suppose -3*b - v = -4*b. Is b composite?
True
Let p = 7378 - 4985. Is p composite?
False
Let k(i) = i + 139. Let w be k(0). Suppose -2*g = 2*j - j - w, 0 = -3*g - 2*j + 211. Is g prime?
True
Let i(q) = -2*q**2 + q. Let c be i(-1). Is (-28)/30*c*5 a composite number?
True
Let k(g) = -2*g**2 - g**2 + g**3 + 4 - g - 1. Let m be k(4). Suppose 3*r + 2*r = m. Is r a composite number?
False
Let r(i) = -37*i - 2. Is r(-1) prime?
False
Let q(a) = 11*a + 5. Let x(m) = 10*m + 5. Let v(r) = -5*q(r) + 6*x(r). Let c(t) = -25*t - 26. Let h(j) = -2*c(j) - 11*v(j). Is h(-2) prime?
True
Suppose -4*l + 25 = 4*m - 7, -m = -5*l - 20. Let w = -9 + m. Is w*(10 + -1 + -2) composite?
False
Let t(j) = j**3 - 3*j**2 - j - 13. Is t(8) composite?
True
Suppose -32 = -5*r + 8. Suppose -j = -2*j - z + r, -j + 13 = -4*z. Is j a composite number?
True
Suppose 3*b = -3*i + 744 + 1200, 3*i = 3. Is b composite?
False
Suppose 0 = 24*w - 29*w + 785. Is w prime?
True
Let o(r) = 136*r - 11. Is o(13) composite?
True
Let o(x) = -x**3 - 5*x**2 + 3*x + 7. Suppose 0*b = -b + 2*q + 7, b + 2*q + 1 = 0. Let v = -9 + b. Is o(v) composite?
True
Suppose k = 2*t + 2, -3*k = 2*k - 2*t + 14. Is 450/4 - k/8 a composite number?
False
Let d be (-1256)/(-14) + (-2)/(-7). Let m = -44 + d. Is m composite?
True
Let f(n) = -63*n + 2. Suppose 5*l + 6 = -9. Is f(l) a prime number?
True
Suppose -95 = -4*l + 13. Let n be -4*6*6/9. Let m = l + n. Is m a prime number?
True
Let w = 1044 - 253. Is w prime?
False
Suppose 2*w + 4 = 2*o, 0 = 2*w + 2*w - 2*o. Let i be ((-115)/(-20))/(w/(-8)). Is (-2 + i - 1)/(-2) a prime number?
True
Suppose 3*g - 5*v = 842, -4*g - v + 872 = -g. Suppose g = f + 2. Is f a composite number?
True
Suppose 3 = -4*t + 23. Suppose -3*m + 0*m - l + 19 = 0, -4*m = t*l - 18. Let p(u) = -u**3 + 9*u**2 - 6*u - 3. Is p(m) a prime number?
True
Let v be (1 + 2)/((-2)/8). Let m be ((-66)/4)/((-9)/v). Let r = -15 - m. Is r a composite number?
False
Let f(r) be the third derivative of r**5/15 - r**4/8 - r**3/6 - 2*r**2