i) = -188*i - 1. Is n(k) composite?
False
Suppose 3*h + 4*f + 56 = -h, -3*h - 4*f = 45. Let y(m) = -13*m - 11. Let a be y(-9). Let v = a + h. Is v a prime number?
False
Let k = 2507 - 1098. Is k a composite number?
False
Let j(y) = -y**3 - 3*y**2 - 5*y + 1. Is j(-4) a composite number?
False
Suppose 4*a = 2397 - 521. Is a a prime number?
False
Let t = 1558 - 374. Suppose 5*x - 1575 = -5*u + u, 3*u + x = t. Is u a composite number?
True
Let v(h) = h**2 + h. Let q be v(-2). Let g = 2 - -1. Suppose 435 = q*f + g*f. Is f prime?
False
Let s = 10 - 19. Let q be (-71)/(-3) - (-6)/s. Suppose 5*p - q = 152. Is p prime?
False
Suppose 0 = n - 5*n + 2332. Is n a prime number?
False
Let o be (0 + 2/6)*15. Suppose n = -n + o*a - 217, 392 = -4*n - 4*a. Let z = n + 180. Is z prime?
True
Let u be 8*2/(-6)*-3. Suppose u = -t - 3*g, -2*t = 4*g - 0*g + 6. Suppose -t*x = -2*x - 15. Is x a prime number?
True
Let m be (-3)/9*(1 - -2). Is (m/(-1) - 0)*149 a composite number?
False
Let o(x) be the first derivative of -3/2*x**2 - 1/2*x**4 - x - 3 + 0*x**3. Is o(-2) prime?
False
Suppose 0*i = -4*i + 4156. Is i a composite number?
False
Let c = -8 + 11. Is (-2 + c)/(1/97) prime?
True
Suppose -u + 41 = -14. Is u a composite number?
True
Let j be ((-16)/(-8))/((-2)/9). Let n(w) = -10*w - 11. Is n(j) prime?
True
Let y = 701 + 560. Is y prime?
False
Suppose g + 376 = 5*g. Is g a composite number?
True
Suppose -7*o - 15 = -10*o. Suppose 2*b = o*p - 243, 0*p = -p - 5*b + 27. Is p a composite number?
False
Suppose -5*m = -3*m. Suppose -5*j + 149 = w - 296, -w = m. Is j a prime number?
True
Let h(m) = -m**3 + 20*m**2 - 4*m + 32. Is h(15) composite?
False
Suppose -5*a = g + 29 - 1, 32 = -4*a + 4*g. Let i be (4 - (-6)/(-2))*17. Let l = i - a. Is l composite?
False
Suppose 0 = 4*a - 32 - 392. Is a prime?
False
Let g(q) = -12*q**3 + q**2 + q + 1. Let s = 1 - 2. Let v = 0 + s. Is g(v) prime?
True
Let y = 4 - 1. Let w(l) = 0 - y*l + 1 - 3*l. Is w(-8) prime?
False
Suppose 2*f = -5 + 9. Suppose f*a - 4*a = 2*p - 144, -4 = 2*p. Is a prime?
False
Let p be ((-2)/(-3))/(2/3). Let d(k) = -7 + p - 3 - 2*k. Is d(-10) a prime number?
True
Let d be 10/(-3)*(-9)/6. Suppose 3*j - 54 = -3*r + 2*j, -d*j = -4*r + 91. Is r a prime number?
True
Let g be ((-5)/10)/((-1)/4). Let f(r) = r**3 + 14*r**2 + 13*r - 3. Let w be f(-10). Suppose g*d + d = w. Is d prime?
True
Suppose -2*o + 10 = -5*i, 4*i + 6*o = 3*o - 8. Let v be 1/(2/(4 + i)). Is (21/(-4))/(v/(-4)) composite?
True
Let g be (-119)/(-34)*(85 - -1). Let r be (-94)/(-18) - (-6)/(-27). Suppose p + y = 82, 0*p = 4*p - r*y - g. Is p a composite number?
False
Suppose -3*o + 4*g = -19, 2*o - g - 28 = -6*g. Let x be (-1 - -4)*228/o. Let c = x - 54. Is c a prime number?
False
Let w be (3 - 3)*(-1)/1. Suppose -o + 87 = 4*x - 118, -4*o + x + 735 = w. Is o composite?
True
Suppose -6*c + c + 60 = 0. Suppose 2*z + 4 = 3*z - v, -c = -3*z + v. Suppose -2*k = z*i - 6, -2*k + 5*i = 2*k - 64. Is k a prime number?
True
Let w = 6450 + -4163. Is w a prime number?
True
Suppose 5*c + 20 = c. Let z = c + 5. Suppose z = -4*a + 2*a + 154. Is a prime?
False
Let i(u) = u**2 - 20*u + 4. Let d(p) = -4 - 5 - 5*p**2 - 1 - 9 + 100*p. Let a(b) = -2*d(b) - 11*i(b). Is a(9) prime?
False
Let g(r) = r - 11. Let i be g(11). Suppose i = -2*q - b + 23 - 8, 0 = -3*q + 4*b + 17. Suppose -104 - q = -3*p. Is p a prime number?
True
Let i(j) = -j**2 + 3*j + 4. Let v be i(4). Suppose -5*x + 249 + 236 = v. Is x prime?
True
Suppose 44*m = 48*m - 31988. Is m prime?
False
Suppose -2*a + g = -4*g + 4, 32 = 2*a + 4*g. Let l = -5 + a. Suppose 4*j - 660 = 4*b, -3*j + 0*b - l*b = -483. Is j a composite number?
False
Let z(j) = j**3 - 7*j**2 + 2*j. Let i be z(7). Let k = i - 8. Is k a composite number?
True
Let q be 15 - (2 - 4/(-4)). Suppose 8*n - q*n + 52 = 0. Is n prime?
True
Suppose 2*k + 80 - 434 = 0. Is k a prime number?
False
Let r = -3 - 0. Is r/(-9) - (-221)/3 prime?
False
Let l be 24/15*10/4. Suppose -2*z + l*z + 42 = 0. Is z*((-12)/(-9))/(-2) a prime number?
False
Suppose -3*h = -8 + 2. Suppose 5*f + 3*c + 1590 = 0, -3*f - 2*c = 3*c + 954. Is (-1)/3*f/h a composite number?
False
Suppose 3*c - 80 - 37 = 0. Is c a prime number?
False
Let y(a) = -a**2 - 7*a - 6. Let n be y(-5). Suppose -n*s + 46 = 2*b, -2*s + s = 1. Is b a composite number?
True
Suppose 0 = -4*h + 14*h - 12550. Is h prime?
False
Let k = 3161 + -2046. Suppose 0 = -4*x - 2*r + 892, -4*r = -5*x - r + k. Is x a prime number?
True
Let n(g) = -g**2 + 4*g + 4. Let z be n(4). Let r(s) = 21*s + 5. Is r(z) prime?
True
Let x(p) = -p**2 - 1. Let o(v) = v**3 - v + 1. Let z(k) = 2*o(k) - x(k). Is z(2) composite?
False
Suppose 4 = -3*f - 5*i, 2 - 4 = -4*f - 3*i. Suppose -f*y = -y - 335. Is y prime?
False
Let j = 2 + 19. Is j composite?
True
Let b(f) = f**2 - 1. Is b(2) a prime number?
True
Let c(p) = -20*p - 29. Is c(-11) a composite number?
False
Let h(z) = z - 4. Let i be h(3). Let k be i/2 - (-7)/2. Suppose -k*p + 2*n = 5*n - 162, -5*n - 101 = -2*p. Is p prime?
True
Suppose o = 36 - 15. Let t = 9 + o. Suppose -2*u + t = 3*u. Is u composite?
True
Is 4/22 + 8595/99 a prime number?
False
Let q(g) = 3*g - 2. Let d be q(2). Suppose -m = -0 + d. Is 4*((-199)/m + 1) prime?
False
Let k(d) = -d**2 - 4*d + 1. Let v be k(-3). Suppose -v*l - l = 15. Is 41 + (-1)/(l/(-6)) prime?
False
Let z(y) = -y**3 - 9*y**2 - 5*y - 5. Let l be z(-10). Let m = 330 - l. Is m composite?
True
Let v = 10 - 6. Suppose -5*i - 4*c = -c - 87, 0 = v*i - 2*c - 52. Is 2/(-5) + 171/i a prime number?
True
Let j(a) = -a**2 + 6*a - 6. Let i be j(4). Suppose -i*k + 66 = 4. Is k prime?
True
Let n be ((-27)/6)/(3/4). Is (-2166)/n - 3/(-3) a composite number?
True
Suppose 505 = 3*w + 88. Is w prime?
True
Suppose 2*v - 6 = -2. Suppose -5*w + 3 = -v*i, 5*w = -2*i + 4*w + 15. Is i prime?
False
Let a be -6*((-21)/(-9) - 3). Suppose 4 = -w, -a*d = 5*w - 53 - 67. Suppose 5*o + d = 4*y, 3*o = 2*y - o - 10. Is y composite?
True
Let k be ((-6)/(-10))/((-2)/(-30)). Let a be ((-4)/(-3))/(4/90). Let m = a - k. Is m prime?
False
Let k be (708/9)/((-3)/(-9)). Suppose -4*s + k = 4*f - 116, -s - 5*f + 84 = 0. Is s composite?
False
Suppose -4*g + 9*g - 5*n = 485, 453 = 5*g + 3*n. Let c = 149 - g. Is (c/12)/((-4)/(-6)) a prime number?
True
Suppose 0 = f + 4*f + 5*d - 25, 2*d - 10 = 0. Let y(o) be the second derivative of -o**5/20 + o**4/12 + 31*o**2/2 + o. Is y(f) a composite number?
False
Let u be (-1 - 0)*(-1)/(-1). Is (-770)/(-11) - (u - -4) composite?
False
Suppose -2*d + 2*u - 10 = 0, d - 2*u = 3*u - 25. Suppose -4*o - 4*n + n + 1062 = 0, -5*o - 5*n + 1325 = d. Is o prime?
False
Let z(a) = a**3 + a**2 - a + 3. Let b be z(0). Suppose -5 = b*q + 4. Let m(y) = 4*y**2 + y + 4. Is m(q) a prime number?
True
Suppose 2*n = -n + 6. Suppose -7*x + n*x = -20. Suppose -2*a - 146 = -4*m, x*a - 3 = 1. Is m a prime number?
True
Suppose -3*v + 37 = -68. Suppose -4*a = a - v. Is a a composite number?
False
Let h(g) = -144*g + 1. Is h(-2) composite?
True
Suppose 2*i + 11 = -5*b, -3*b = -2*b + 3. Suppose -d = i*d - 429. Suppose m + d = 2*m. Is m prime?
False
Is -153*6*-2 - 1 a composite number?
True
Let n(t) = 2*t**2 - 6*t + 1. Suppose -4 = 2*c + 4*i, -i + 0*i = c - 1. Suppose 3*j + 7 = -f - 3, 0 = -5*f + c*j + 45. Is n(f) a composite number?
True
Suppose 5*g - 5 = -q, 5*g - 5 = -q + 3*q. Let k be 73 + (0 - -1) - q. Let d = k - 19. Is d a composite number?
True
Suppose 125 = 3*s - 97. Is s prime?
False
Suppose 2 = 3*k + 4*v - 5, 0 = -5*k - v + 6. Is (-1*k)/((-4)/940) a composite number?
True
Is 1/(-8) + 5/((-160)/(-14244)) prime?
False
Let o = -560 + 1438. Is o/(-4)*(-11 - -9) prime?
True
Let p be 2/(-7) - 69/(-21). Let d(z) = z**3 + 2*z**2 - 4*z + 2. Is d(p) composite?
True
Suppose -o + 22 - 8 = 0. Let r = 28 - o. Suppose 2*a = 3*x - r, 2*a = -2*x - 1 + 17. Is x a prime number?
False
Let p(y) = 245*y + 3. Is p(2) a composite number?
True
Suppose -3*j - 2*m = 72, 2*j + 43 = -3*m - 0*m. Let f = 91 + j. Is f composite?
True
Let c(k) = 172*k - 11. Let f be c(5). Suppose 2*h = f + 41. Is h a prime number?
False
Suppose t = 75 + 712. Is t composite?
False
Let g = 32 + -23. Let m be -1 + 1/(3/g). Suppose m*s + 6 = 0, -3*p + 270 = 3*s + 2*s. Is p composite?
True
Is 3*2/3 + 485 a prime number?
True
Suppose -5*l - 5*s + 197