w(f) = -f**3 + 4*f**2 + 6*f - 2. Let k be (12/(-2))/(-2) + 1. Is w(k) a prime number?
False
Suppose 0 = -d - 4*o + 15, -4*d + 2*o = -2*d. Suppose -4*w - s = -383, -d*s + 302 = 5*w - 168. Is w a prime number?
True
Let g(x) = -47*x - 52*x - 3 + 15*x. Let r be g(-2). Suppose -d = -6*d + r. Is d a prime number?
False
Suppose -3*n + 2409 - 750 = 0. Is n composite?
True
Suppose 2*d = -5*g + 163 + 54, -4*d + 459 = 5*g. Is d prime?
False
Let y(h) = -6*h**3 - 6*h**2 + 4*h + 2. Let a(g) = 5*g**3 + 6*g**2 - 4*g - 2. Let x(z) = 5*a(z) + 4*y(z). Let v be -4 - (0 - 0 - 0). Is x(v) prime?
False
Let d(a) = -a - 3. Suppose 0 = 3*w - 2*w. Let r be d(w). Is (-3)/(-3)*r*-47 composite?
True
Suppose 2*v + v = 3*s + 216, 0 = 4*v + 4*s - 304. Is v a prime number?
False
Suppose -4 = -u - v, -26 = -3*u - 2*v + 6*v. Let a(o) = -o**2 + 6*o + 3. Let y be a(u). Suppose y*l - 15 = -c + 63, -l + 141 = 2*c. Is c prime?
False
Is (-7)/(7/(-4)) + 481 prime?
False
Let a be (-6)/21 + (-548)/(-7). Suppose 3*b = b + a. Is b a prime number?
False
Suppose 2*r = 4*r + 18. Let u = r - -13. Suppose u*d - 3 = 3*d. Is d composite?
False
Let a = 56 + 325. Suppose 7*n - a = 4*n. Is n a prime number?
True
Let u(a) = 20*a**2 - 3*a - 4. Is u(-3) a composite number?
True
Let r(p) = -p**3 - 4*p**2 + 2*p. Suppose 16 = 4*i - 4*k - 24, -2*k = 2*i. Suppose -g - l - i = l, -5*g - 2*l - 33 = 0. Is r(g) a prime number?
False
Let x(t) = -2*t**3 - 3*t**2 + 0*t**2 + 4*t + 1 + t**3. Is x(-7) composite?
True
Is 386 - (-4 - -3) - -4 a composite number?
True
Let n(l) = -790*l + 21. Is n(-4) a composite number?
False
Suppose -3*o - 3 = -12. Suppose -o*s - 3 = -0*s. Is 5 + (s + 1 - -2) a composite number?
False
Let d = 414 + -116. Is d a composite number?
True
Suppose -3*u - 5*q = -6763, -4*u - 11257 = -9*u - q. Is u prime?
True
Let j = 3181 - 1620. Is j composite?
True
Suppose 0*k + 103 = o + 4*k, 482 = 4*o + 2*k. Is o a composite number?
True
Let y(h) = h**3 - 5*h**2 - 5*h - 2. Let q be y(6). Is (q/(-6))/(4/(-114)) a composite number?
False
Suppose 6*l = 9*l + 3. Let c be (-196)/l*29/1. Is c/16 + (-2)/8 prime?
False
Is ((-14)/3)/((-10)/795) prime?
False
Let x(p) = p**2 + 7*p + 9. Let a(s) = s**2 + 7*s + 8. Let k(v) = -2*a(v) + 3*x(v). Is k(-11) a prime number?
False
Suppose 4*h - 251 = 81. Is h prime?
True
Suppose 0 = 2*v - 8 + 2. Suppose 0 = -5*d + 4*d + 586. Suppose -4*c - v*f = -581, 4*c + f = -f + d. Is c composite?
False
Let y = 7 - 4. Let x = y - 0. Suppose x*n = 630 - 249. Is n a composite number?
False
Let a(d) = 8*d**2 - 3*d - 1. Suppose -z - 3*z + 4*n + 24 = 0, -4*z = 2*n. Suppose 5*j - 10 = -h - z, -2*h = -2*j + 8. Is a(h) prime?
True
Let r = 116 + -45. Let z = r + 20. Is z composite?
True
Let n = -588 - -1081. Is n a composite number?
True
Let j = 8 + 0. Let t(y) = y**2 - 7*y - 1. Is t(j) a composite number?
False
Let p(q) = q**3 - 3*q**2 + q - 35. Let z(c) = -c**3 + c**2 + 1. Let m(w) = -p(w) - 2*z(w). Is m(0) a composite number?
True
Let b be 12/(-3) - 0/(-1). Let v(l) = -32*l + 3. Is v(b) a composite number?
False
Let g(r) = -r**3 - 17*r**2 - 15*r + 18. Let m be g(-16). Suppose 3*u - 2*l = 128, 2*u + m*u = 5*l + 159. Is u composite?
True
Let c(s) = -s**3 + 9*s**2 - 7*s - 5. Let l be c(8). Suppose -143 = -3*q + d, 4*q + l*d - 216 = -2*d. Is q a composite number?
True
Suppose -t = 2*t + 3. Let u = t + 4. Suppose 0 = u*c + c - 388. Is c a prime number?
True
Let v(s) = 477*s - 40. Is v(7) composite?
False
Let h(o) = 18*o**2 - o - 34. Is h(7) prime?
False
Let g(a) be the second derivative of -a**5/20 + a**4/3 - a**3/3 - 3*a**2/2 + 3*a. Let d be g(3). Suppose -106 + d = -2*h. Is h a prime number?
True
Suppose r - 2272 = 3*x, 2*x - 1359 = -2*r + 3161. Is r prime?
False
Let p(f) = -2*f + 3. Let t be p(9). Let u = t + 29. Is u a composite number?
True
Let y(x) = 88*x**2 + 5. Is y(3) a prime number?
True
Is (478/10)/((-16)/(-80)) prime?
True
Let o be 119/2*(-1 - -3). Let m = 12 + -64. Let y = o + m. Is y composite?
False
Suppose -2*i - 736 = 566. Let n = i + 1070. Is n prime?
True
Suppose 2*i = 0, 3*z + 1 = -4*i - 2. Let m(a) = 45*a - 2. Let l(n) = -n + 1. Let q(v) = z*m(v) - 5*l(v). Is q(-2) prime?
False
Suppose 0*m = 3*m - 417. Suppose -9 = -z - 4, -p + m = -2*z. Is p prime?
True
Let h be 1/3 + 160/15. Let y = 1 - h. Let p(j) = j**3 + 12*j**2 - j - 7. Is p(y) prime?
False
Let s = 13 - 38. Let n = 60 + s. Is n a prime number?
False
Suppose -2*b - 2*b + 4 = 0. Let z = 8 - 9. Is (1/z)/(b/(-22)) a composite number?
True
Let f be 12*((-6)/(-8) + -2). Let q = f + -6. Let r = q + 74. Is r prime?
True
Let w = -50 - -32. Suppose 0 = -3*z - 123 + 438. Let k = z + w. Is k a composite number?
True
Let t be -5*-2*1/2. Suppose 0*j = 4*x + 3*j - 10, 10 = t*j. Suppose 0 = 2*k + x - 15. Is k prime?
True
Suppose -n + 4835 = 4*n. Is n composite?
False
Let y = -1964 + 3787. Is y a prime number?
True
Is (-6)/4 + (-6039)/(-18) a prime number?
False
Let p = 311 - -202. Let b = -254 + p. Is b composite?
True
Let m(c) = 3*c**2 - 9*c + 9. Let q(n) = n**2 + 1. Let x(b) = -m(b) + 2*q(b). Let a = -12 + 19. Is x(a) a prime number?
True
Suppose -337 = -7*b + 6*b. Is b a prime number?
True
Let b(h) = -h**3 - 6*h**2 + 5*h + 5. Let g be b(-4). Let m = 2 - g. Is m a composite number?
True
Is (1 + 2/(-4))/(1/2362) a prime number?
True
Let p = 57 - 86. Let r = -41 - p. Let c = 7 - r. Is c a prime number?
True
Let f(i) = i**2 + 5*i - 5. Is f(-12) prime?
True
Suppose -t + 4*r + 278 = 0, 2*r + 3*r - 25 = 0. Is t a prime number?
False
Let z(d) = 2*d**2 - d. Let b(i) = -i**2 + 1. Let u(v) = -3*b(v) - z(v). Is u(6) prime?
False
Let x(o) = 2*o**2 - 8*o - 7. Let g(q) = 4*q**2 - 16*q - 15. Let k(f) = 4*g(f) - 7*x(f). Is k(9) prime?
True
Let y = 6 - 3. Suppose z - y*u = 49, 0*z = 3*z + 3*u - 99. Is z prime?
True
Let c(j) = j**3 - j**2 - 2*j - 10. Is c(6) a composite number?
True
Let j be (24/10)/(3/10). Let w = j - 5. Suppose w*v = 9 + 9. Is v composite?
True
Suppose -3*s = -0*s + 5*n - 4511, 5*s = -n + 7489. Suppose i + 3*i - 1502 = -2*d, 4*i - s = -d. Is i a composite number?
False
Suppose -4*m - 150 = -2*y, -y = -0*y + 5*m - 47. Is y composite?
False
Suppose 4*n - 75 + 11 = 0. Suppose -17 = -3*r + n. Is r a prime number?
True
Is 3351*3*(0 + 2/18) a composite number?
False
Let q(m) = m**3 - 5*m**2 + 3*m + 4. Let b be q(4). Let a(k) = k**2 - k - 468. Let s be a(b). Is 2/5 + s/(-5) a composite number?
True
Suppose -3*d - 244 = i, -2*i + 79 = -d - 0*i. Let v = -30 + -5. Let y = v - d. Is y prime?
False
Let k(n) = 9*n**2 + 12*n - 10. Is k(-13) prime?
False
Let z be (61/(-2) - -2)*2. Let h = 10 - z. Is h prime?
True
Let f(b) = 16*b**3 + 3*b**2 - 7*b + 11. Is f(4) a prime number?
False
Let i(m) = -194*m**3 - m**2 - 4*m - 5. Let n be i(-2). Suppose 0 = 2*s + s + 9, -n = -3*g - 2*s. Is g composite?
True
Suppose -5*i = -6 - 19. Is (-326)/(-3 + i - 4) composite?
False
Let s(i) = i**3 - 3*i**2 - 4*i. Suppose -14 + 50 = 4*n + 4*f, 4*f = -n + 24. Let k be s(n). Suppose a + 18 = d, k*a + 114 = 5*d + a. Is d a composite number?
True
Let y = -1623 - -2713. Is 3/(-2)*y/(-15) prime?
True
Let v(k) = 23*k - 3. Let b(q) = -46*q + 7. Let d(t) = -4*b(t) - 9*v(t). Let a be d(-5). Suppose 0 = 2*j - 184 - a. Is j composite?
False
Let j = -138 + 185. Is j composite?
False
Suppose -4 = 3*r - g, 4*r + 5*g - 20 = 2*r. Suppose r*v + 2*v = 6. Suppose 0 = j - v*a - 2 - 41, -4*j + 138 = 5*a. Is j composite?
False
Let h = -317 + 646. Is h a composite number?
True
Suppose 0*x + 26 = 4*x + 3*c, -5*x = -3*c - 46. Let v = 5 - x. Is v/3 + 3 + 37 a composite number?
True
Let t = -22 - -12. Is (-76)/(-10) - (-6)/t composite?
False
Let p = -489 - -193. Let z = -858 - p. Is z/(-18) + (-6)/27 composite?
False
Let h(g) = 2*g**3 - 2*g**2 + 3*g. Let d be h(2). Let t = -3 - 1. Is t/(-14) + 514/d a prime number?
True
Suppose 3*g = -4*r - 87, 2*r + 25 + 6 = g. Let i be 1/3*-4*3. Let c = i - r. Is c a composite number?
True
Suppose -137 - 733 = -6*w. Is w a composite number?
True
Suppose 4 = 4*y - 5*y. Let h be 1 - (-3 + (-2 - y)). Is (1 - h)/((-1)/13) a composite number?
False
Suppose f - 7 = -2. Suppose -f*b + 2*y - 1 + 19 = 0, -2*b + 5*y = -3. Suppose v + 5*n - 64 = 0, -v - b*n = v - 146. Is v prime?
True
Let v be (-279)/(-6)*(-44)/(-3). Suppose 0 = 2*d - m - 3*m - v, 5*d - 1705 = -5*m. Is 