 w**4 - 2*w**3/3 + w**2 - w - 4. Is y(3) composite?
True
Let l = -13 - -18. Let x be (-16)/(-6) + 2/6. Suppose 20 = l*b, -3*m + b + x = -2. Is m prime?
True
Let x = 12 + -10. Suppose 4*z + c - 79 = 0, c = -x*z + 69 - 28. Is z prime?
True
Let t(n) = 10*n**2 + 17*n + 34. Is t(-5) a composite number?
False
Let g = 131 - 66. Is g a prime number?
False
Suppose -6 = -3*i - 0. Suppose -3*m = m + 4*a - 256, -5*a = i*m - 113. Is m a composite number?
True
Let v(l) = -9*l - 4. Let f(a) = 1. Let r(u) = u**3. Let p be r(-1). Let s(b) = p*v(b) - 3*f(b). Is s(4) prime?
True
Suppose 6*d - 44 = 10*d. Let x = -1 - d. Is x a composite number?
True
Let b = 17 + 318. Is b a prime number?
False
Let o = -76 + 563. Is o a composite number?
False
Let f(l) = l**3 + 9*l**2 - 2*l + 2. Let p be f(-6). Let y = -75 + p. Let m = 72 - y. Is m composite?
True
Is 3/(196560/65507 - 3*1) a prime number?
True
Let d(o) = -24*o + 1. Let c be d(-4). Suppose y - 36 = 2*q, -3*q - y - c = 2*q. Let u = q + 44. Is u prime?
False
Let o(l) = l + 3. Let i be o(-4). Let w be (0 - (-1 + i)) + 2. Suppose w*v - 47 = 125. Is v a prime number?
True
Let o(y) = -3*y - 1. Let h be o(-1). Suppose -344 = -0*z - 4*z - 2*u, h*z - 182 = 4*u. Is z a composite number?
True
Suppose -1 = -2*o + 3. Let z be 3 - (-82)/2 - -1. Suppose 161 = 3*h + 2*j, -o*h - 5*j + 55 = -z. Is h prime?
False
Let b(q) = -66*q - 3. Let k be b(-2). Suppose k = r + 2. Is r a prime number?
True
Let a(t) = 11*t**2 - 2*t - 2. Let j = -17 + 11. Let v be a(j). Is (-2)/(-8) - v/(-8) a prime number?
False
Suppose -2*k - 276 - 489 = -y, 2*k - 3020 = -4*y. Is y composite?
False
Let s(t) = -t**3 + 2*t**2 - 5*t + 21. Is s(-10) a prime number?
False
Let q = 20 - 39. Let r = 160 - 86. Let w = r + q. Is w composite?
True
Let c = -43 + 118. Suppose x - c = -3*r + 153, 2*r = -5*x + 139. Is r prime?
False
Let s(o) = -o + 673. Is s(0) prime?
True
Let g(m) = 2*m - 4. Let o be g(5). Suppose -4*t + 13 = q, -o = 4*t - 4*q + 6. Suppose t*w = -3*w + 185. Is w a composite number?
False
Let z(y) = -y**2 + 58. Let l(m) = -m - 3. Let o be l(-3). Suppose o*i = i. Is z(i) a composite number?
True
Let a be -3*(-16)/6*19. Suppose -4*z - f + a = 0, 0*f + 165 = 5*z - 5*f. Is z prime?
True
Let p(q) = 6*q**2 - 4*q - 11. Is p(-12) composite?
True
Let v(o) = -o**3 - 5*o**2 + 14*o + 17. Is v(-8) a composite number?
False
Let k be 2/4 + (-21)/(-14). Suppose y + k*y - 2 = -t, 0 = y. Is t*(65/(-2))/(-1) prime?
False
Suppose 3*c = 4*c - 70. Let f be (-1138)/(-6) - (-4)/(-6). Let l = f - c. Is l a prime number?
False
Let t(r) = 0 - 14*r + 2 + 1 + 0. Is t(-4) a prime number?
True
Let t = 1 - 1. Suppose m = -f + 122, 0 = 4*f - t*m + m - 479. Is f a prime number?
False
Let t = -1 - -4. Suppose t*c = 6*c - 33. Is c prime?
True
Suppose 2*z + 2*r = 1778, -3*z - 2*z + 4429 = -3*r. Is z composite?
False
Let a be (141/6)/((-2)/(-4)). Let w = 4 + a. Is w a composite number?
True
Suppose 7346 = a + m, -4*a - 5*m - 8213 + 37594 = 0. Is a a prime number?
True
Is (-740)/(-2) + (-6)/8*-4 a prime number?
True
Let m = -5612 - -8319. Is m a prime number?
True
Suppose -4*i - 1705 = -18269. Is i a prime number?
False
Suppose -x - 1 = -2*x, -3*k - 2*x = -11. Suppose 4*y - 530 = 3*n, -k*n - 266 = -2*y - n. Is y composite?
False
Let j(a) = -2*a + 2. Let b be j(3). Let c be (-2)/b + 10/4. Is -37*(0/c + -1) a prime number?
True
Suppose 0 = g + 4*g - 5*v - 6935, 0 = -3*g - 5*v + 4177. Let r = g - 976. Is r prime?
False
Let v = -8 + 11. Suppose -o + v*n = -0*n - 97, 87 = o + 2*n. Is o a prime number?
False
Suppose -23 = -2*g + 51. Is g composite?
False
Suppose 0 = -3*v + 464 + 25. Is v composite?
False
Let v(q) = 15*q**2 + q. Let f be v(-1). Suppose -30 = -2*x + f. Is x composite?
True
Let q = 73 + 478. Suppose -4*b = -q + 171. Is b composite?
True
Let c(p) = 147*p + 8. Is c(5) composite?
False
Is (-1)/(0 - 1/159) composite?
True
Is 3*74/3 + 0 a prime number?
False
Let g(v) = -2 + 1 + v**2 + v**2 - 7*v. Is g(-6) a prime number?
True
Let n = 223 + 178. Is n prime?
True
Let m(s) = -s**3 - s**2 - 2. Let z be m(-2). Let l(w) = 8*w**2 + 4*w - 3. Is l(z) a prime number?
True
Let r = 7 - 4. Let q be r/(-2)*20/(-15). Suppose -q*g = -6*g + 508. Is g composite?
False
Let w(m) = -m**3 - 6*m**2 - 7*m - 1. Let l be w(-5). Let f = -1 + l. Is (91 - -1)*4/f prime?
False
Let n(k) = -6*k**3 - k**2 - k + 1. Let b be n(1). Let d(o) = o**2 + 3*o - 9. Is d(b) a composite number?
False
Let j be 2/((-4)/(-6)) - -14. Let a = 436 - j. Is a composite?
False
Let n = 140 - 29. Is n a composite number?
True
Let o(j) = -31*j. Suppose n - b = -2, 0 = -n - 5*b + 4. Is o(n) a prime number?
True
Suppose -3*w + 40 = 7*c - 2*c, 3*w + 2*c = 25. Is (10/(-4))/w*-1310 prime?
False
Let u(w) = -4*w - 6. Let m be u(-5). Is 4/m + (-1074)/(-14) a composite number?
True
Let f(p) = p**2 - p. Let z be f(2). Suppose -k = -z*k + 43. Is k a composite number?
False
Suppose 10*j - 8*j = h + 98, -2*h = 0. Is j prime?
False
Suppose -3*f - 4 = 2. Let o(a) = a**2 - a. Let y be o(-3). Let j = f + y. Is j prime?
False
Suppose 4*n - 20 = -n. Suppose 0 = n*c - 4*b + 160, -3*b + 4 = -c - 46. Let y = 0 - c. Is y a composite number?
True
Suppose 0 = f + 1, -2*s + 4*f + 0*f + 18 = 0. Let w(u) = -u**3 + 8*u**2 - 6*u + 3. Let m be w(s). Is 0 - 0 - (-5 - m) a prime number?
False
Let r(a) = 57*a - 1. Let h be r(4). Let l(y) = -y + 14. Let f be l(12). Suppose 0 = i - 3*i - f, h = 3*w + 4*i. Is w prime?
False
Let r = -18 + 52. Is r composite?
True
Suppose 7*d = 3*d + 36. Let p = d + -6. Suppose b = -o + 34, b = 4*b - p. Is o prime?
False
Let z = 200 + -154. Is z a composite number?
True
Let n be 338/((-6)/(-1 + -2)). Suppose 0 = 4*v - n - 291. Is v prime?
False
Suppose 0 = 3*t - 7*t + 136. Let g = 161 - t. Is g a prime number?
True
Let i = -169 + 51. Let a = i + 165. Is a a composite number?
False
Let j(y) = 3*y**2 + 3*y + 7. Suppose -4 = -5*s + 71. Suppose 0*r = -2*r - 5*m + s, 3*m = -r + 10. Is j(r) composite?
False
Let q(c) = 7*c. Let y(o) = -8*o + 1. Let m(a) = 7*q(a) + 6*y(a). Let l be m(-6). Suppose 4*z = -8, -167 = -3*g - l*g + z. Is g a composite number?
True
Suppose 0 = -9*z + 6*z + 9. Is 87 + (3 - (z + -2)) a composite number?
False
Let f = -6 - -6. Suppose f = 2*k - 486 + 180. Suppose -2*p + 0*p + 5*j = -k, 5*j - 400 = -5*p. Is p a prime number?
True
Suppose 3 = 3*r - 12. Suppose 0 = -2*t + 10, 0 = r*n - 0*n - t - 440. Is n a prime number?
True
Let a(c) = -5*c + 12. Is a(-5) a prime number?
True
Is ((-1)/(-3))/((-12)/(-56196)) prime?
False
Let u = 1868 + -1160. Suppose 3*s + 4*m - 529 = 0, 4*s - 2*m = -6*m + u. Is s a prime number?
True
Let u = 0 + 4. Suppose -u*i = -4*s + 156, -s = -3*s + 4*i + 86. Is s prime?
False
Let h = -30 + 215. Is h prime?
False
Is 1197/1 + (-4 - -1 - -1) composite?
True
Let j = -6 - -7. Let w be 2/4 - j/2. Suppose -5*a + 439 = 2*o, w - 3 = -3*a. Is o prime?
False
Let i = 30 + 44. Suppose y - 2*y = -i. Is y a prime number?
False
Is (-7)/(-1 + (-138)/(-141)) a composite number?
True
Let y = -13 + 19. Suppose 6 = -4*l + y*l. Suppose l*d = -0*d + 15, 0 = 5*b + 3*d - 130. Is b composite?
False
Is 4/(-12) + -1 + (-1777)/(-3) a composite number?
True
Let b be (-3 + 114/(-9))*9. Let t = -90 - b. Is t composite?
True
Let z be (2644/(-10))/(4/(-20)). Is (-2)/(-4) + z/4 a composite number?
False
Let y(n) = 24*n**3 + n - 1. Let g be y(1). Let v be (1 - -1) + (-1 - -2). Suppose -2*j = -3*c + 25, 0 = 2*c - 2*j - v*j - g. Is c composite?
False
Suppose -b = 5*c - 209, 5*b = 3*b + 2*c + 406. Suppose -2*v - b = -6*v. Suppose -4*l + 3*m + 133 = 0, -2*l + 4*m = -v - 13. Is l composite?
True
Let f = 3102 - 655. Is f a composite number?
False
Suppose 2*c + 0*c + 152 = 0. Let g = c - -161. Is g prime?
False
Let c = 498 - 119. Is c prime?
True
Let j be 297/15 - 1/(-5). Let z = j + 13. Suppose -3*w - z = -6*w. Is w a composite number?
False
Suppose -13*w + 19611 = -4*w. Is w a prime number?
True
Let w = -2 + 2. Let h(d) = 15*d - 2. Let b be h(2). Suppose b = -w*x + 4*x. Is x a prime number?
True
Suppose -4*t - 4*a - 19 = -7, -4*t + 23 = -3*a. Let u = 1 + t. Suppose u*m - m = 118. Is m a composite number?
False
Let g(h) = -37*h - 21. Is g(-4) a composite number?
False
Let p = -1148 + 1941. Is p composite?
True
Is (-1218)/(-4) + 7/14 a prime number?
False
Le