composite number?
True
Let h(a) = a**3 + a**2. Let o(v) = -5*v**3 - 12*v**2 + 3. Let w(m) = -6*h(m) - o(m). Let t be w(6). Is t/6*-118*1 a prime number?
True
Let z = 560 + -251. Is z composite?
True
Let g be -28 - 3*(-2)/3. Let i = 59 + g. Is i a composite number?
True
Let n = 1690 - -43. Is n composite?
False
Suppose -p + y + 496 = 0, p + 4*p - y - 2480 = 0. Let i = -201 + p. Is i a prime number?
False
Let s = -26 - -75. Suppose i - o - 10 = 0, 5*i + 3*o - 7*o - s = 0. Suppose v + 42 = 4*m, -m + 2*v + i = v. Is m composite?
False
Let n(r) = -4*r**2 - 4*r + 143. Let t(m) = m**2 + m. Let p(h) = n(h) + 3*t(h). Is p(0) prime?
False
Is (1 - 0) + (-650)/(-4 + -1) a composite number?
False
Let b(l) = 8*l**3 + l**2 - l - 9. Is b(4) prime?
False
Let i = -645 - -908. Is i composite?
False
Is ((-1)/(-1))/((-3)/(-93)) composite?
False
Let m be (11 - 9)*(-18)/(-4). Is (3/m)/(4/612) a prime number?
False
Suppose -6*u + 40 = -2*u. Let z = u - -25. Is z a composite number?
True
Let w be (2 + -3 + 1)/1. Suppose t + 3*t - 8 = w. Is t/8 - 4184/(-32) prime?
True
Let z(n) be the first derivative of 2*n**2 - 9*n + 1. Is z(6) prime?
False
Let h = -54 - -197. Is h composite?
True
Let c(d) = -d - 2. Let x be c(-4). Let p(r) = 42*r**2 - 2. Let l be p(x). Suppose 2*m - 7*m + 3*b = -184, 5*m + 3*b = l. Is m a prime number?
False
Let h(j) = -j**3 + 3*j**2 - 2*j + 3. Let a be h(2). Suppose -v + a*v = 68. Is v prime?
False
Let c = 32 - 22. Suppose -2*z - c = -4*j - 3*z, -3*j = -4*z - 17. Suppose -3*t + 12 = 2*b, -t - j*b - 3 = -0. Is t a prime number?
False
Let y = -2 + 33. Is y a prime number?
True
Is (2/4)/(((-88)/20656)/(-11)) a prime number?
True
Suppose -2*b - 4 = -4*b. Suppose -3*v + 0*v - c - 3 = 0, b*v + c = -2. Is (144 - -5)*(2 + v) prime?
True
Suppose 4*v + 7*k - 328 = 3*k, 2*k = 5*v - 389. Is v prime?
True
Suppose -10*g + 13 = -9*g. Is g a prime number?
True
Let f(i) = i**3 - 6*i**2 - 11*i + 6. Let a be f(7). Let t = a - -16. Is (116/t)/(3/(-9)) a prime number?
False
Let b be (-1)/(-3) - (-87)/9. Let d be ((-4)/b)/((-9)/(-45)). Is 129/12 - d/8 composite?
False
Let t be -39 + (-9)/(1 - 4). Let r = -22 - t. Is r/3*(-63)/(-6) a prime number?
False
Let w(q) = 15*q**2 - 2*q + 4. Suppose -3*n + 8 = 2*h - 7, 0 = 4*h + 3*n - 33. Suppose 2*m + m = h. Is w(m) composite?
True
Suppose -2*b + b = -933. Suppose -3*l = -3*t - 5*l + 927, -3*t = 4*l - b. Is t composite?
False
Let i(s) = -7*s**3 + s. Let m be i(-1). Let j = 100 - m. Is j a prime number?
False
Suppose 5*t + 61 = 3*c - 19, 0 = 2*t - 4*c + 32. Let l = t - 10. Let f = l - -59. Is f composite?
True
Is (2 - 0)*1 - -11 a composite number?
False
Let g be 7/3 + (-8)/(-12). Suppose 0 = -g*u + z + 111, -5*u + z = -0*z - 187. Suppose -u = -3*d + d. Is d a prime number?
True
Suppose 0 = o + 4*y + 1, 4*o + 3*y - 16 = 7*y. Is (-69 - o)/(-2) - 3 composite?
True
Suppose 3*f - 5*u + 272 = -85, 0 = f - 5*u + 119. Suppose 188 = -0*q - q. Let n = f - q. Is n prime?
False
Let u be 12/(-8)*5*-10. Suppose a = 6*a - u. Is a prime?
False
Let a be 2588/8 - 3/(-2). Suppose -b - a = -6*b. Suppose 5*y - 330 = -0*y + 5*s, -y + b = -2*s. Is y a composite number?
False
Suppose -237 = -o + 18. Let y = o - 166. Is y a prime number?
True
Let u(c) = -17*c - 17. Is u(-8) prime?
False
Let r = 7 - -40. Suppose -4*w + 105 = -r. Is w a composite number?
True
Let q(j) = 7*j**2 + j + 1. Suppose 4 - 6 = 2*v. Is q(v) a composite number?
False
Let z(u) = -2*u**2 + 6*u - 2. Let w(d) = d**2 + d - 1. Let a(h) = w(h) - z(h). Suppose 11 = 2*b - 3. Is a(b) a prime number?
True
Suppose z - 52 = -21. Let v(s) = -s**2 - 9*s - 10. Let r be v(-7). Let a = r + z. Is a a composite number?
True
Is (8/(-2))/4*-77 composite?
True
Let c be ((-2)/(-2))/((-2)/(-8)). Let b be -1*(c - 3) - -110. Suppose 3*u + 4*y - 275 = 0, 0 = -3*u + 5*y + 202 + b. Is u composite?
False
Let b be 296/30 - (-8)/60. Is (-88)/(-10)*b/4 composite?
True
Suppose -3*a + 159 = -291. Suppose -4*f = -a + 10. Is f a composite number?
True
Let x = 362 - 31. Is x a composite number?
False
Let t(x) = x**2 + x + 1. Let f be t(3). Let y = 9 - f. Let b = y + 23. Is b prime?
True
Suppose 2*g + 5 - 51 = 0. Let o = g - 4. Is o a prime number?
True
Let u(k) = -k**3 - 10*k**2 + 7*k + 15. Is u(-14) a composite number?
False
Let p(s) = 140*s**2 - s. Is p(1) a prime number?
True
Suppose 6*g - 22*g = -26192. Is g composite?
False
Let q(s) = -36*s. Let a be q(-1). Suppose -a = -l - 11. Is l a prime number?
False
Let m(k) = -14*k**2. Let z be m(-1). Let w = 29 + z. Is w prime?
False
Let q be 1/2*582/3. Let b = -60 + q. Is b a composite number?
False
Let s = -17 - -25. Suppose y = 18 + s. Is y a prime number?
False
Let b = 49 + -33. Suppose -b = 2*q - 2*f, f - 1 + 6 = 0. Let a = 36 + q. Is a a prime number?
True
Let i(p) = p**3 + p**2 - p + 3. Let q be i(-5). Suppose -37*x = -42*x + 1095. Let d = q + x. Is d a prime number?
True
Let o(z) be the second derivative of z**4/12 - z**3 + 4*z**2 + 2*z. Let n be o(7). Let q = 40 - n. Is q a composite number?
True
Suppose 2*t - 4*t + 14 = 0. Let b(h) be the first derivative of 7*h**2/2 + 6*h - 2. Is b(t) prime?
False
Let b(f) = -f**3 - 2*f**2 + 2*f + 3. Let g be b(-3). Let k = -51 - -48. Is (-2)/g - 94/k a prime number?
True
Let v be -1*(0 - 0) - -31. Suppose 3*l = 5*w - 54 - 135, 4*l = w - v. Is w a prime number?
False
Suppose -c - 4*c = -50. Suppose -c = -4*f - f. Suppose -136 = -2*v - s, -260 = -4*v + f*s + 2*s. Is v prime?
True
Let o(w) = w**2 - w - 3*w**3 - 4*w**2 + w**2 + 0*w**3 + 1. Is o(-2) a prime number?
True
Suppose 0 = -f - 4*f - 20. Let z(r) = -3*r**3 - 4*r**2 + 2*r - 2. Is z(f) a composite number?
True
Suppose 4*o + 5 = -y, 3*y + y + 2*o - 8 = 0. Let l be (67 - y)*1/2. Suppose -l - 142 = -3*a. Is a a composite number?
True
Suppose -20 = -9*j + 4*j - 5*v, 0 = -2*v - 6. Is j prime?
True
Let q be 944/(-28) + (-1 - 10/(-14)). Let s be ((-2)/4)/((-1)/(-2)). Let g = s - q. Is g composite?
True
Let v(m) = m + 189. Let q be v(0). Let f = q - 68. Is f a prime number?
False
Suppose 10*n - 5*n = 100. Suppose 2*s = n + 242. Is s composite?
False
Let s = 1769 + -930. Is s prime?
True
Let a(n) = 5*n - 4*n - 2*n + 6. Let l be a(6). Suppose l = 4*t - 163 - 105. Is t a prime number?
True
Is (-772)/(-14) + (-15)/105 prime?
False
Let n(x) = x**2 - 2*x - 2. Let f be n(3). Is 0 + (f + -2)*-7 prime?
True
Suppose -6*r = -8*r - 18. Let p(o) = o**3 + 4*o**2 - 14*o + 14. Let g(z) = -z**3 - 5*z**2 + 13*z - 13. Let q(y) = -4*g(y) - 3*p(y). Is q(r) a prime number?
True
Suppose 26 + 37 = 3*w. Is w a prime number?
False
Let s(m) be the first derivative of 2*m**2 + m + 3. Is s(5) a composite number?
True
Suppose -u + 278 = -n, -1078 = -4*u - 5*n - 2. Let p(l) = 3*l**3 - 3. Let j be p(4). Let w = u - j. Is w a composite number?
True
Suppose k + 11521 = 5*x, -k - 4*k = 2*x - 4630. Is x prime?
False
Let m = -44 - -25. Let s = m + 72. Is s prime?
True
Is (47/(-2))/((-7)/14) a prime number?
True
Let a = 54 + -25. Let z = 72 - a. Is z a composite number?
False
Let p = 2 + -1. Suppose a = p - 0. Is (1 - -10*a)*1 prime?
True
Let r(k) = -1 + 64*k**2 + 4 - 3. Let u be r(1). Suppose 4*w + 71 = 2*x - 15, -5*w = x - u. Is x composite?
True
Let h(r) = r**3 + 8*r**2 - 9*r + 9. Let y be h(-7). Suppose y + 70 = c. Is c prime?
True
Let h(o) = o + 4. Let a be h(-2). Suppose 43 = 2*y - u, a*y + 2*u + 2*u = 38. Suppose -p + y = -56. Is p a composite number?
True
Let s be 9*(2/2 - 0). Let v(t) = 6*t + 1. Is v(s) composite?
True
Suppose -w + 2 + 5 = t, 0 = w - 3*t + 13. Suppose 3*v - 149 = w*v. Is v composite?
False
Is 2/1 + -5 - -2942 prime?
True
Suppose -45*g = -55*g + 710. Is g prime?
True
Let j(w) = 8*w**2 + w + 2. Let d be j(3). Let z be (-3)/((-9)/(-2))*66. Let l = d + z. Is l composite?
True
Let o(t) = -2 + 32*t**2 - 5 - t + 3. Is o(5) a prime number?
False
Let w(c) = 3*c**2 + 5*c + 1. Suppose -41 = 5*o - 2*g, 4 = 2*g - 2. Is w(o) a prime number?
True
Let t be (-1)/(1 - (3 - 3)). Is t/3 - (-1344)/9 composite?
False
Let f = -4 - -4. Suppose r = -f + 139. Is r a composite number?
False
Suppose 3*l + 54 = 4*l. Suppose 4*y + 2*d = -l + 416, 0 = -5*d - 5. Is y a composite number?
True
Let a(k) = -k**3 - k**2 + 3*k + 1. Let t be a(-3). Let n = t - 5. Suppose 4*q = n + 11. Is q prime?
False
Let d = -33 - -54. Is -1 + 0