)/(-1)*2/n. Let h(x) = -2*x**3 - 3*x - 3. Is h(c) a composite number?
False
Let l(h) = -4*h - 2. Let w = -8 - -6. Let t be l(w). Let g(o) = o**2 + 3*o - 5. Is g(t) prime?
False
Let u be (-151)/(-4) - 2/(-8). Suppose 2*g + 0*g = u. Is g a prime number?
True
Let m be (118/1)/(6/12). Is m/6*(-1 - -4) prime?
False
Suppose -3*z + 25 = r + z, 2*r = -5*z + 35. Suppose 115 = r*m + 20. Is m prime?
True
Suppose -2*n + 0*a = -a - 17, -a + 7 = 2*n. Is (-1290)/(-25) + n/(-10) composite?
True
Let h(s) = s**3 - 6*s**2 + 6*s - 1. Let n be h(5). Let m(w) = -w**3 + 2*w**2 - w + 2. Let v be m(2). Suppose v = -n*k - 0*k + 148. Is k a composite number?
False
Let i(v) = 5*v**2. Let s be i(-1). Suppose 0 = 5*r + 20, s*r = -n - n + 86. Is n a composite number?
False
Let w = -4 - -4. Suppose w*n - 2*n = -138. Is n prime?
False
Suppose -2*s + 9499 = 5*s. Is s composite?
True
Suppose 2*u - 101 = 87. Suppose k + 4*q - 23 = 18, 0 = 2*k + 4*q - u. Is k prime?
True
Let c(v) = 5*v**2 - 4*v + 2. Let f = 3 + 0. Is c(f) composite?
True
Let n(p) = 4*p**2 - 4*p - 3. Let t(g) = -g**2 + 4*g + 5. Let u be t(4). Is n(u) prime?
False
Let o = -10 + 14. Suppose -o*n + 1 = -3*n. Is (-2 - 1*-37)*n a composite number?
True
Let p be ((-345)/(-12))/(2/16). Suppose 2*k - 4*k = -p. Is k prime?
False
Let u(k) = -80*k**3 + 2*k**2 + 2*k + 1. Suppose -9 = 4*b - 7*b + 4*j, -5*j = -4*b + 11. Let f be u(b). Suppose -43 = -4*o + f. Is o prime?
True
Suppose -2*m = -5*w - 35, 10 = 3*w + 3*m + 2*m. Let c = -3 - w. Is ((-1)/c)/((-2)/12) composite?
False
Let h be 15/1*4/(-10). Let q = -4 - -7. Is ((-2)/h)/(q/99) composite?
False
Suppose 2*i = 3*i - 191. Is i composite?
False
Let t(r) = -r**3 - 4*r**2 - r - 1. Let m be t(-3). Let x(u) = u**2 + 7*u + 3. Let f be x(m). Is ((-19)/(-3))/(f/9) composite?
False
Suppose 0 = -4*n - 4*q + 4, -n + 4*n - 3 = -5*q. Suppose 5 = t + 2*o + n, 4 = 2*o. Suppose -5*d - i = 2*i - 185, 2*d + 2*i - 78 = t. Is d a composite number?
True
Suppose x - 509 = -4*i + 700, x - 607 = -2*i. Suppose 5 = -c, i = -4*f + 8*f + 3*c. Is f a prime number?
True
Suppose -22 - 310 = -4*w. Let r = 156 - w. Suppose r = 4*h + 17. Is h prime?
False
Suppose 0 = -0*v + 2*v - 314. Is v a prime number?
True
Suppose -220 - 11 = -3*p. Is p a composite number?
True
Suppose 3*x = 5*m - 3131, 4*m - 2500 = -2*x + 6*x. Let d = m - 437. Is d a prime number?
True
Is 7 + -7 - 1042/(-2) a prime number?
True
Let z be (-1 + 0 + 7)*347. Suppose -3*c + 0*c - 3*j = -z, -4*c + j + 2751 = 0. Suppose -c = -5*d + 366. Is d prime?
True
Let y(v) = v**2 + 2*v - 4*v + 5*v - 4. Let i be y(-4). Suppose i = 2*d + 5*w - 30, 4*d - 60 = -w - w. Is d prime?
False
Let n(h) be the first derivative of 3 + h**2 + 5/3*h**3 - 2*h. Is n(3) composite?
True
Suppose -4*t = o + 4*o - 71, 2*o - 55 = -3*t. Is t composite?
False
Let s be (-3 + -18)/((-3)/(-14)). Let z = s - -249. Let m = z - 62. Is m composite?
False
Suppose -5*w + 1321 = 3*i, -902 = -2*i - 0*i + 2*w. Is i a composite number?
True
Let r be 2*2085/(-12)*2. Is 14/(-63) + r/(-9) composite?
True
Let u(r) be the first derivative of 102*r**3 + r**2/2 - r + 3. Let b be u(1). Suppose -3*p + 39 = -b. Is p a composite number?
True
Let r(v) = 3*v - 13. Let m be r(6). Let s(t) = 6*t**3 - 4*t**3 - 4*t**2 - 2 - 5*t - 4. Is s(m) prime?
False
Suppose 0 = -4*b + a + 38 - 3, -9 = 3*a. Is (14/(-4))/((-4)/b) a composite number?
False
Let r(t) = t**3 - 5*t**2 + 3*t - 5. Suppose 3*v + 6 = 4*v. Is r(v) a composite number?
True
Suppose -3*b + 5 + 7 = 0. Suppose 2*h - 51 = 4*f + 7, -3*h + 97 = -b*f. Is h composite?
True
Let m = -395 + 1148. Is m prime?
False
Suppose -3*w - w - 92 = 0. Let d = -12 - w. Is d prime?
True
Let o(a) = -a**2 + 11*a - 11. Let g be o(9). Let k be (-20)/(-2)*g/14. Suppose -b = -k, -f - 19 = -3*b - 2*b. Is f prime?
False
Let m(y) = 45*y + 8. Let p be m(7). Suppose -p = -g - 2*c, -3*c = 2*g - 239 - 410. Is g prime?
False
Let i = -4247 - -6918. Is i a composite number?
False
Let h = 7 - -2. Let d(u) = u - 7. Let r be d(h). Suppose -r*z - 95 = -7*z. Is z prime?
True
Let u(a) = -5*a**3 - 7*a**2 - 7*a - 1. Is u(-6) prime?
False
Is (-6)/(-24) - 763/(-4) composite?
False
Let i(j) = -j**2 + 8*j. Let o be i(7). Let z be 16/6 - (-4)/(-6). Suppose 5*p = -h + 26, -3*h - z*p + 18 = -o*p. Is h prime?
True
Let y(t) be the first derivative of -1 + 3/2*t**2 - 4/3*t**3 + 0*t - 1/4*t**4. Is y(-5) prime?
False
Let w = 7 - 7. Suppose 4*r - 2*r - 4 = w. Suppose -3*i + 4*p + 46 = 0, -3*i - 6*p = -r*p - 86. Is i a composite number?
True
Suppose -2*r - 5*a + 22 = 0, r - 4*a + 7 = -2*a. Let b be -5 + (1 - r - -3). Is (-2)/(3*b/69) prime?
True
Is (-4)/(-3)*(-4668)/(-8) a prime number?
False
Let a = 15 - -178. Suppose -3*r - a = -d + 2*r, 0 = -4*d - r + 814. Is d composite?
True
Suppose p = -2*g - 8, -p + 3*g + g = -22. Suppose 0 = -p*m - m. Suppose 3*r - 105 = -m*r. Is r composite?
True
Let s(n) = 900*n + 1. Is s(1) composite?
True
Suppose -2*c + s + 319 = 0, c - 70 = 4*s + 107. Is c composite?
False
Let y = -10 + 7. Is 4/6*y - -123 prime?
False
Suppose 0 = r - 2*d - 245, -5*r + 2*r = -3*d - 741. Is r a prime number?
False
Let q(r) = r - 7. Let i be q(5). Is (293/i)/(7/(-14)) prime?
True
Let p(g) = 566*g**2 + g - 12. Is p(5) a composite number?
False
Let h = -329 - -562. Is h a prime number?
True
Let m be ((-4)/6)/(4/(-66)). Suppose 9*d + 174 = m*d. Is d prime?
False
Let n(a) = a**3 + 6*a**2 + a + 3. Let w be n(-6). Let j be 10*(w - -2)/2. Let f = j + 11. Is f prime?
False
Let u be -1 - (-2 - (2 + 1)). Suppose 0*g + 3*g = 195. Suppose -3*n + 132 + g = -5*f, 5*n - u*f = 337. Is n a prime number?
False
Let m(b) be the second derivative of -1/6*b**3 + 59/2*b**2 + 3*b + 0. Is m(0) composite?
False
Let k(l) = -l**2 + 6*l - 6. Let f be k(6). Is 1424/12 + (-2)/f prime?
False
Let q(m) = 5*m**3 - m**2 - 2*m + 2. Let w be q(1). Suppose 5*t = -w*y + 247, 3*y + 50 = t + 4*y. Is t a composite number?
False
Is ((-366)/(-3) - -1) + 4 a prime number?
True
Let o = 89 + -31. Let k = -148 + o. Is 2 + -3 + k/(-1) composite?
False
Let c be ((-6)/(-4))/(-3)*-12. Let o = 27 - c. Is o prime?
False
Let c be (-17178)/(-22) - 4/(-22). Suppose g = -3*p + 289, c = 2*g + 2*p + 187. Is g composite?
True
Let x(i) = 0 - 5*i + 0*i**3 - 4*i**2 - i**3 - 3. Is x(-3) a prime number?
True
Suppose 30 = -2*p + 352. Is p a composite number?
True
Let p = -5 + 6. Let o = p + -2. Let i = o - -52. Is i a composite number?
True
Let y = -556 - -1129. Is y a composite number?
True
Let l = 10 + -10. Suppose l = -4*p + 4*m + 1020, -p + m = 2*p - 757. Is p prime?
True
Let r be (-6)/15 + 108/(-5). Let u be -1*r/1*1. Let d = u - 1. Is d prime?
False
Let q(n) = -n**3 + 4*n**2 + 7*n - 5. Let p be q(5). Let a be p/10 + (-771)/2. Is a/(-10)*(0 + 2) a prime number?
False
Let k(u) = -u**2 + u + 1. Let s be k(2). Let m = 39 - s. Let x = -17 + m. Is x a prime number?
True
Suppose 5*n - 6*n = -22. Is n composite?
True
Is 2/(-13) + (-82)/(-26) composite?
False
Suppose 5*z = -3*j + 152, -3*j + 124 = 4*z - 0*j. Let d be 1/4 - z/(-16). Is (-3 + 4)/(d/74) a prime number?
True
Let j = -8 + 14. Let t(s) = 2*s**2 + 2*s - 7. Is t(j) prime?
False
Let i be 4/(-6) + (-113)/(-3). Suppose 3*t + g = 28, -5*g + i = 4*t - 4*g. Let v = 10 + t. Is v a composite number?
False
Suppose 0*q - 4*x - 10 = 2*q, -4*x - 25 = -3*q. Suppose 0 = 7*u - q*u + 12. Is 325/2 + u/(-6) a composite number?
False
Let s = -2 + 4. Suppose s*q - 447 = -q. Is q a prime number?
True
Let q(p) = -15*p - 2 + 4 - 4. Let k be q(-5). Suppose a - 13 + 0 = -5*x, -3*a = -2*x - k. Is a composite?
False
Let g(x) be the first derivative of x**4/4 + 2*x**3/3 - x**2/2 + 4*x - 2. Is g(3) prime?
False
Suppose -4*s = 2*l - 2418, -4*l + l - 5*s + 3632 = 0. Is l a composite number?
True
Let u(t) = 2*t**2 + 2*t. Let y be u(-2). Let j(r) = -2*r + 2. Let n(q) = -2*q + 1. Let d(g) = 3*j(g) - 4*n(g). Is d(y) composite?
True
Suppose 2*v = 6*v + 5*b - 1501, 3*v = 3*b + 1146. Is v a prime number?
True
Is (-122171)/(-35) - 2/(-5) - -2 composite?
True
Suppose -2*a + 0*a = 0. Suppose d + 2*d = 5*z - 13, a = -2*z - 5*d + 30. Suppose f = -4*y - f + 100, -75 = -3*y + z*f. Is y prime?
False
Let o(z) = -7*z**2 - 3*z + 15. Let a(w) = 11*w**2 + 4*w - 22. Let t(f) = 5*a(f) + 7*o(f). Is t(-4) a composite number?
True
Suppose -4*d = -5*s + 187 + 97, -