-4) a prime number?
True
Let m(k) = 5*k**2 + 6*k - 11. Let h be m(8). Suppose -z - h = -4*z. Is z prime?
False
Is (4 - (6 - -39))/((-1)/11) composite?
True
Let c = 10 - 10. Suppose -2*j + c*j - 4*l = -94, -3*j = -5*l - 163. Is j composite?
True
Suppose 7*h - 1169 - 350 = 0. Is h composite?
True
Let v = 329 - 184. Is v prime?
False
Let h(y) be the first derivative of 1/4*y**4 - 1/2*y**2 - 3 + y + 2*y**3. Is h(-6) prime?
True
Let l(n) = 6*n**2 + 5*n - 2. Let h be l(3). Let a = h + 0. Is a prime?
True
Let q(s) be the third derivative of -s**6/120 - s**5/12 - 5*s**4/24 - 3*s**3/2 + s**2. Let f be q(-6). Suppose 3*b - 42 - f = 0. Is b a composite number?
True
Let z = 12383 - 5404. Is z a prime number?
False
Is (474/24)/((-2)/(-104)) a composite number?
True
Let t(n) = 26*n + 3. Is t(2) a composite number?
True
Let v = -964 + 1417. Is v composite?
True
Let h = -36 - 0. Is (-2)/(4/(-2)) - h a prime number?
True
Suppose 1838 = -3*g + 5*g. Is g prime?
True
Suppose -5*y - 3 = 27. Let r(g) = -2*g - 9. Let d be r(y). Suppose 5*f - 2*n = 231, d*f + n - 194 + 51 = 0. Is f a composite number?
False
Let i(m) = m**2 + m - 1. Let h be i(-3). Suppose h*b + 25 = 2*p, -5*p - 10 = -0*p + 2*b. Suppose 3*k - 161 = 2*o, 4*k + 7*o - 4*o - 226 = p. Is k composite?
True
Let q(g) be the first derivative of g**4/4 - 2*g**3/3 + 2*g**2 + 5*g - 1. Let a be q(6). Let k = -124 + a. Is k prime?
False
Suppose -144 = -3*s + 4*c + 166, -s = -5*c - 96. Is s a prime number?
False
Let f(s) = s**2 - 5*s - 5. Let v be f(6). Let r be (-19)/(-5) - (-3)/15. Let t = r - v. Is t prime?
True
Suppose 2*k = -10, 0 = -2*x - 2*k + 6*k + 24. Let z(g) = g**2 + g - 2. Let u be z(x). Suppose u*a - 165 = -5*m, 3*a = 2*m + 6*a - 59. Is m prime?
True
Is 73 + 10/2 + -1 prime?
False
Suppose -109 = 2*p + 27. Let c be 958/18 - 10/45. Let k = c - p. Is k a composite number?
True
Let a = -12 + 18. Let q(p) = p**3 - 5*p**2 - 6*p. Let u be q(a). Suppose -2*h = w - 473, u = -2*h + 7*h + w - 1178. Is h prime?
False
Let i(m) = -20*m - 8. Let d be i(-12). Suppose -g - d = -5*g. Is g composite?
True
Is 3 + 2632/(-1 + 3) a composite number?
False
Let w be (6/2 - 3)/(-2). Suppose w = 4*z - 2*m - 238, -7*m = -2*z - 3*m + 122. Is z composite?
False
Suppose -h - 1051 = -2*h + z, 3*h = 2*z + 3157. Is h composite?
True
Let w = -1 - -44. Is w composite?
False
Is (-7)/(-28) + (-475)/(-4) prime?
False
Let u = -66 + 172. Suppose k = 3*k - u. Is k a composite number?
False
Suppose -3*w - 3*n + 18 = 0, 3*n + 2*n = -w + 14. Suppose s + w*q = 3*s + 12, -4*q + 6 = -5*s. Suppose 5*a + 0*a - 111 = -k, 0 = -2*k + s. Is a prime?
False
Let o be (-1)/(-6) + (-587)/(-6). Suppose -4*z + 148 = -4*m, 5*m - 3*z + o + 97 = 0. Let j = 25 - m. Is j prime?
True
Suppose -4*j - 4*v + 1277 = 429, 630 = 3*j + 5*v. Is j a prime number?
False
Let u(m) = -2 - 81*m + 82*m + 40*m**2 + 3. Is u(-2) composite?
True
Let r(u) = 2*u - 6. Let i be r(5). Is (-2)/(3*i/(-1542)) prime?
True
Let l = 1 - 5. Let s(z) = -z. Let f(k) = -3*k - 6. Let b(w) = f(w) + 2*s(w). Is b(l) prime?
False
Is 2/(-3) - (-8305)/33 composite?
False
Suppose -75 = -101*v + 96*v. Is v prime?
False
Suppose 565 = 5*k - 2*y, -3*y + 0*y = 0. Is k composite?
False
Suppose 180 = -9*p + 4*p. Let a = -25 - p. Is (a/4)/((-3)/(-204)) prime?
False
Let w = 1424 - 871. Is w a prime number?
False
Let r(y) = -4*y**3 - 12*y**2 - 7*y. Let m(s) = -5*s**3 - 12*s**2 - 8*s. Let i(q) = 3*m(q) - 4*r(q). Let g be i(-8). Is (-4)/12 + g/6 a composite number?
False
Suppose 0*y - 2*y - 412 = 0. Let k = -1 - y. Is k composite?
True
Let s(v) = 296*v**2 - 3. Let a(l) = 99*l**2 - 1. Let d(h) = -11*a(h) + 4*s(h). Is d(-1) composite?
True
Let b be (9204/20)/((-2)/(-10)). Suppose -5*i = 4*u - b, -2*i + 744 = u + 171. Is u a composite number?
True
Let s = -321 + 1616. Suppose 3*g = 8*g - s. Is g a prime number?
False
Suppose -2*h + 18 + 8 = 0. Suppose 2*b + 30 = -3*b. Let c = b + h. Is c composite?
False
Suppose -3*w + 4*w - 295 = 0. Suppose 0*o - w = -5*o. Is o prime?
True
Let q = 1177 - 482. Is q prime?
False
Let j(u) = 188*u**2 - u + 1. Is j(-4) prime?
False
Suppose 0*j = 4*j + 656. Let m = -95 - j. Is m composite?
True
Suppose 0 = j - 133 - 6. Let b = 30 + j. Suppose -b + 31 = -3*c. Is c prime?
False
Let g = 26 + -4. Suppose g = 3*x - x + 5*i, -3*x - 4*i = -19. Is (1 - x) + (9 - 3) a composite number?
True
Let s = -4 + 6. Suppose 5*n - 4*t - 3 = 0, -5*t + 3*t = -s*n. Suppose -i = i + 2, 5*i = -n*w + 28. Is w composite?
False
Suppose 3*x - l - 15 = 0, -5 + 2 = -2*x + 3*l. Let j = -4 + x. Suppose s = 2*g + 5*s - 70, -j*g + 98 = -3*s. Is g composite?
False
Is (-4 - -3159)/(1 + 0) prime?
False
Let l be (-12)/(-30) + 2/(-5). Suppose l = g - 0*g - 59. Is g a composite number?
False
Let l = 7 + 7. Let b = 14 + -7. Suppose -u + l = -b. Is u composite?
True
Suppose -5*x = -7*x. Suppose -2*g - y + 8 = 0, 10*g - 21 = 5*g - 3*y. Suppose g*r + 0*r - 147 = x. Is r prime?
False
Let m(h) be the second derivative of -h**5/20 - 5*h**4/12 + 2*h**3/3 + 9*h**2/2 - 5*h. Is m(-6) a composite number?
True
Let g = 7112 - 1059. Is g a composite number?
False
Suppose -531 = q + 2*q. Suppose -4*b - 20 = i + 59, -62 = 2*b - 4*i. Is q/(-7) + 6/b a composite number?
True
Let a = 10 + -6. Suppose -3*t - a*y + 40 = 2*t, -27 = -3*t - 3*y. Is ((-110)/t)/((-5)/10) prime?
False
Suppose -5*p - d + 680 = 2*d, -576 = -4*p + 4*d. Let m = -52 + p. Let j = 174 - m. Is j a prime number?
False
Let r(f) be the second derivative of -f**3/6 + 7*f**2 + 2*f. Is r(0) prime?
False
Let z be -2*1 - (-1 - -1). Let i be (-35)/(-25) - z/(-5). Is (-1 - i/(-3))*-3 a prime number?
True
Let m = 436 - -243. Is m prime?
False
Let t(s) = s**3 - 2*s**2 + 1. Let b be t(1). Suppose n + b*n = 56. Let a = -35 + n. Is a a prime number?
False
Suppose 0 = -v + 700 - 59. Is v prime?
True
Let d(n) = n**3 + 2*n**2 + n + 3. Is d(3) composite?
True
Let h(f) be the second derivative of -f**3/3 - 6*f**2 - 2*f. Let s be h(-8). Suppose 0 = s*y - 4*v - 280, y + v - 9 = 55. Is y prime?
True
Suppose 4*g - 16 = -0*g + 4*v, 2*v + 12 = 3*g. Suppose -g = -2*i + 4*i, -4*d + i + 662 = 0. Suppose 5*z - 2*z - d = 0. Is z composite?
True
Let g(b) = 163*b**2 + b + 1. Suppose 2*l - 5 = 3*j, -4*j + 5*l = -0*j + 9. Is g(j) composite?
False
Suppose 3*l + l + 208 = 0. Let y be l/(-6)*75/(-10). Let r = y - -198. Is r a prime number?
False
Let d be (4/(-6))/(1/6). Let g be (-2)/d*(1 + -1). Suppose -3*p + 103 + 74 = g. Is p composite?
False
Let y = 66 - -94. Let x = -69 + y. Is x prime?
False
Let l(c) = -c**3 - 4*c**2 - 4*c - 1. Let g be l(-3). Let w = g - 2. Is (17 - w) + (-2 - -4) prime?
True
Let i be (-47)/(-1) - 0 - 1. Suppose -i = -0*u - u. Suppose -2*g - c = c - u, -61 = -3*g - c. Is g prime?
True
Let x be (-72)/20 + 4/(-10). Let d(y) = -y**2 - 6*y - 6. Let z be d(x). Suppose 5*w = z*o - 515, 2*w + 202 = o - 57. Is o composite?
True
Let a = -85 + 195. Suppose 15 = 5*x - a. Is x a composite number?
True
Let s(o) = 635*o. Let c be s(1). Suppose 5*r - c = 4*n, 0 = -2*r - 0*n - 3*n + 254. Is r a prime number?
True
Let q be (-10)/(-7) + (-8)/(-14). Let g = -195 + 390. Suppose g = 3*i + q*i. Is i a prime number?
False
Let i(r) = 0*r + 1 - 4 + 3*r. Suppose 0 = w + 4*m - 20, 5*m - 1 + 2 = 2*w. Is i(w) a prime number?
False
Suppose -3*y + 12 = 2*s, -3*s + 7*s - 5*y + 20 = 0. Let z = s + 0. Suppose z = 4*c - 13 - 23. Is c a composite number?
True
Let l(r) = 2*r**3 + r**2 - 3*r + 3. Let n be l(2). Suppose 0 = c, s + 2 = c + n. Is s composite?
True
Suppose -5*o - 7*d = -10*d - 9652, 0 = -2*o - 5*d + 3867. Is o a prime number?
True
Suppose -5*z + q = -11, 6*z - 24 = 2*z - 3*q. Let n = 7 + z. Is n a prime number?
False
Suppose -d = d - 4. Suppose m - 183 = k + 3*k, d*m - 225 = 5*k. Let i = -24 - k. Is i a prime number?
True
Let u = -4 + 4. Let s be (-1 - 2)*(-8)/6. Suppose u = -s*x - 23 + 67. Is x a prime number?
True
Let m(c) = -c**3 + 9*c**2 - 11. Suppose 0 = -4*b + 16, 0 = -4*s + b + 22 + 6. Is m(s) prime?
True
Suppose -2*q = q - 4245. Is q prime?
False
Let v = 596 - -365. Suppose 0 = 5*g + 2*s - v, -8*g = -3*g - 5*s - 940. Is g composite?
False
Suppose -5*v = -2*v + 60. Let f = v + 67. Is f a composite number?
False
Let g = 1 - -9. Is g composite?
True
Let t = 7 - 2. Suppose -t*l = -l + 16. Let w(d) = -24*d - 1. Is w(l) c