 - 1)*103. Suppose -4*y - 25 = i. Let g = 1 - y. Is g composite?
True
Let c(l) = l**3 + 5*l**2 - 6*l + 3. Let j be c(-6). Is (134/(-6))/(j/(-63)) a composite number?
True
Let c = -6 + 6. Suppose c = k + 3*z - 89, -3*k - 445 = -8*k - 2*z. Is k composite?
False
Let h = 40 + -28. Suppose 14 = 2*g - 0*g - 3*d, g = 4*d + h. Suppose 262 = g*f - 102. Is f prime?
False
Is (-7332)/(-36) + (-2)/3 composite?
True
Let z = -69 - -188. Is z a composite number?
True
Let f = 1438 + -301. Suppose -3*z - f = -6*z. Is z prime?
True
Suppose -8*f = -13*f + 41555. Is f a prime number?
True
Let b = 155 - -1246. Is b composite?
True
Suppose 3*m - 23 = 31. Let t(y) = -m*y + 3 - 1 - 1. Is t(-2) composite?
False
Is 4130/5*1/2 composite?
True
Let z(j) = 5*j - 1. Let l be z(1). Suppose 999 - 259 = l*u. Is u prime?
False
Let m(v) = -v**2 - 5*v + 5. Let s be m(-5). Suppose s*b = b. Is 5*7 - b/(-1) prime?
False
Suppose -k - 10 = -6*k. Suppose -a - k*a = 210. Let r = 105 + a. Is r a composite number?
True
Let g(v) = -1 + v**2 - 9*v**3 + 0*v**2 + 4*v**2 - 2*v - 3*v**2. Is g(-2) prime?
True
Is 40/(-50) + 538/10 a composite number?
False
Suppose 0 = 4*k - 8 - 8. Suppose 2*p = 3*h - k, 2*h = -2*h + 4*p. Suppose -50 = -6*s + h*s. Is s composite?
True
Is -3 - 2030/(-2 - -1) a composite number?
False
Is (-5)/25 - (-45636)/5 a composite number?
False
Let b(h) = -200*h - 3. Is b(-2) a prime number?
True
Is -4*(1436/(-16) - -3) prime?
True
Is (-110784)/(-60) + 2/10*3 a prime number?
True
Let j be 2/5 + 198/30. Suppose 0 = 2*m - 1 - j. Suppose m*q + 0*q = 212. Is q a composite number?
False
Let x = 1867 - 2715. Let w be x/(-9) - 2/9. Suppose 3*u - w = u. Is u a composite number?
False
Suppose -711 = -3*g - 6*g. Is g a prime number?
True
Suppose -5*x - i = 31, x + x + 16 = -4*i. Let f(r) = -r + 4. Is f(x) prime?
False
Is 1 + (-7)/5 - 17535/(-25) composite?
False
Suppose -4*x - 105 = -w, -3*w - 2*x + 260 = -3*x. Is w a composite number?
True
Let r = -64 + 117. Is r prime?
True
Let o(b) = -9*b**3 + 5*b**2 + 3*b - 10. Is o(-3) a prime number?
True
Let p be -5*(2/(-2))/1. Suppose -40 = -3*a + 2*n - 4*n, p*n + 19 = a. Is a a prime number?
False
Let b be (45/(-10))/((-3)/4). Suppose 0 = -4*y - 4, n + 4*y - 281 = b*n. Let t = n - -152. Is t composite?
True
Suppose -4 = -j - j. Suppose x + j = 6. Suppose -o + p + 10 = 0, -x*o + 26 = -3*o + 3*p. Is o a prime number?
False
Suppose 32 = -3*r - 7. Let n = -2 - r. Is n a composite number?
False
Suppose -2*n = 5*l - 2*l + 78, 0 = 5*n - 15. Is l/(-5) + (-6)/(-15) a composite number?
True
Suppose 0 = -5*k - c + 888, -2*k + 342 = -5*c + c. Is k composite?
True
Let y be 2/(-3) - 51/(-9). Suppose 5*k = -3*v + v + 858, -5*k = y*v - 870. Let u = k + -81. Is u prime?
True
Let u = -6 - -5. Let t = u - -5. Suppose -2*y = -3*z - t*y + 169, -z + y = -63. Is z prime?
True
Let d(i) = i**3 - 5*i**2 + i. Let h be d(5). Suppose 2*t - 635 = -5*k, -h*t - 283 = -2*k - 0*k. Is k composite?
True
Let o(n) = 6*n**3 - 2*n**2 - 3*n + 3. Let p be -1*(15/3 + -1). Let y be (-20)/8*p/5. Is o(y) a prime number?
True
Let j(n) = -n**2 - 5*n - 5. Let m be j(-4). Let u = 3 + m. Is (u - (-239)/(-2))*-2 prime?
False
Suppose 0 = 3*q - 2*q - 6. Suppose 70 = 4*o - q. Is o a composite number?
False
Suppose 0 = -2*d + 3*r + 907, 0 = -5*d - 2*r - 2*r + 2233. Is d a prime number?
True
Let o(s) = -s**3 + 13*s**2 - 11*s - 8. Suppose 0 = -3*h - 0*h + 36. Let d be o(h). Suppose 0 = d*c - 2*c - 310. Is c composite?
True
Let m(v) = 2*v**3 - 5*v**2 - 2*v + 4. Let r(i) = -3*i**3 + 6*i**2 + 2*i - 4. Let c(g) = 5*m(g) + 4*r(g). Is c(-3) composite?
True
Let y be 14/(-21)*(-6 + 0). Suppose -4*k - d = -188, 5*k - y*d = -0*d + 214. Is k composite?
True
Suppose p = 2*p. Suppose p = -0*l + l. Suppose -4*c - 4 = -5*c, b + 2*c - 21 = l. Is b a composite number?
False
Let i(s) = 51*s + 4. Is i(15) prime?
True
Let l = 643 - 1556. Let t = -516 - l. Is t prime?
True
Let d be 2/5*(9 + 1). Suppose 2*s = 4*k + 10, -1 - 3 = d*k. Suppose 0 = -s*p + 145 + 110. Is p composite?
True
Let v(i) = -i**3 - 16*i**2 + 16*i + 2. Is v(-19) composite?
True
Suppose -4*u - 4 = 0, -2*u = -h + 45 - 328. Suppose -2*f - 72 = 2*w, -3*f + 3*w - 94 - 2 = 0. Let b = f - h. Is b prime?
True
Let c = 95 + 36. Is c a composite number?
False
Let v be -27*(17/3)/(-1). Suppose 36 = -3*b - 3*y + v, -4*b + 4*y = -196. Let k = 91 - b. Is k a composite number?
False
Suppose -2*m + 3*v = -3037, -2*v + 4382 = 4*m - 1652. Is m a composite number?
False
Let w(o) = 40*o**3 + 11*o**2 - 11*o + 14. Let g(p) = -13*p**3 - 4*p**2 + 4*p - 5. Let m(x) = -17*g(x) - 6*w(x). Let d be m(1). Let l = d - -41. Is l prime?
True
Let f = -7 - -11. Suppose -f*l + 0*l = 24. Is ((-38)/l)/(3/9) composite?
False
Suppose -5*u + 360 = 2*h, 0 = -3*h - 2*u - 258 + 809. Is h composite?
True
Let d = 189 - 47. Suppose -222 = 3*b + 3*s, 3*s + s - d = 2*b. Let k = 12 - b. Is k a prime number?
False
Let b = -297 - -679. Is b composite?
True
Let q be (119/2)/(4/(-8)). Let u = q + 222. Is u composite?
False
Suppose 4*z = 4*l, l - 2*z = -3 - 1. Suppose 0 = 3*i + 22 - l. Let d = 71 - i. Is d a prime number?
False
Suppose 2*v - 7 = 1. Suppose 2*u - 1475 = 4*i - 481, v*i - 1002 = -2*u. Is u a prime number?
True
Let l be (3/2)/((-3)/(-8)). Let n(a) = -40*a - 3. Let u(p) = 121*p + 8. Let y(s) = -7*n(s) - 2*u(s). Is y(l) a prime number?
True
Let u(r) = -r**2 + 5*r + 4. Let c be u(5). Suppose c*n - 112 - 324 = 0. Is n prime?
True
Let k(j) = -74*j + 8. Let d(r) = 74*r - 7. Let q(i) = -7*d(i) - 6*k(i). Is q(-2) a composite number?
False
Let f(a) = 8*a**2 - 4*a + 19. Is f(-7) prime?
True
Suppose -4 = -3*m + 2. Let d = 2 - m. Suppose d*q = 3*q - 153. Is q a composite number?
True
Let d(q) = 31*q - 6. Is d(7) a composite number?
False
Suppose -4 = -4*d - 16. Let o = 1 - d. Suppose o*v + 180 = 4*n, -7*v - 86 = -2*n - 3*v. Is n composite?
False
Suppose 0 = 5*n + m + 3*m - 1411, -3*n + 829 = -2*m. Suppose -4*c - n = -1171. Is c composite?
False
Let p be 4/(-10) - 84/(-10). Suppose 3*m + 15 = p*m. Suppose 38 = -s + m*s. Is s a composite number?
False
Let t(g) = -32*g + 2. Let q be t(2). Let a = q - -109. Is a a prime number?
True
Let c(b) = -291*b**3 + b**2 + b + 5. Is c(-2) composite?
True
Is 18/12*(-3)/((-18)/11756) a prime number?
True
Let p = 141 + -62. Is p prime?
True
Let y(n) = 3*n**2 - 39*n - 1. Is y(22) a prime number?
True
Suppose -5*p - 5*i = 135 + 85, 0 = -5*p + 4*i - 265. Let u be (-112)/(-2)*2/(-4). Let a = u - p. Is a a composite number?
True
Suppose -7*q + 2*q + 505 = 0. Suppose 2*u - 603 = -q. Is u a composite number?
False
Suppose -5*b - 3*g + 63 = 0, 3*g = -4*b + 18 + 30. Is (-3715)/(-25) + 6/b a composite number?
False
Suppose -3 = -x - y, -4*x - 2*y - 1 + 5 = 0. Is -2 + (-2 - x) + 130 a composite number?
False
Let d = -8 - -10. Let z(l) = l - 1. Let u(w) = -35*w - 3. Let m(a) = -u(a) + 4*z(a). Is m(d) a composite number?
True
Suppose -3*y = -292 - 326. Suppose -z - z = -y. Is z prime?
True
Let x(o) = -6*o + 2. Let w be x(-5). Suppose -4*h - 3*s = -235, -4*h + 183 + w = -s. Is h prime?
False
Suppose -r = -4*b + 16, -5*b = -r - 7 - 13. Let h(w) = w**3 - 2. Let u be h(b). Suppose -u = 3*d - 5*d. Is d prime?
True
Let v be -201*(-4)/(-30)*-5. Suppose 0 = -3*x + x + 314. Suppose -3*z + x = -v. Is z composite?
False
Is ((-1498)/(-3))/(2/3) prime?
False
Let j(s) = -s**3 + s**2 - s + 410. Let v be j(0). Let g = v - 103. Is g a prime number?
True
Suppose -f + 4*f - 5*k - 4316 = 0, 0 = -5*f - 4*k + 7181. Is f composite?
True
Let m = 12 + -12. Suppose m + 84 = 4*r. Is r prime?
False
Let k be -2 + (10 - 3) - 0. Suppose k*h - 13 - 7 = 0. Suppose -h*r + 12 = 0, 5*y - 2*r - 371 = 178. Is y a prime number?
False
Suppose -19 + 82 = -3*l. Let b be -89 + -1 + (-4)/(-2). Let i = l - b. Is i composite?
False
Let b = -1 + 6. Suppose -9 - 14 = -g + 4*a, 20 = b*a. Is g composite?
True
Suppose -4*m + 14 = -3*i, -3*m + i + 5 = -3. Let u be -2*(0 + m) + 1. Is (-148)/(-3) + 1/u prime?
False
Let r be 2 + 3/(-6)*0. Let v(f) be the third derivative of 11*f**5/60 + f**4/6 - f**3/2 - f**2. Is v(r) a composite number?
True
Suppose 0*h = h - 456. Let v = -143 - 164. Let n = v + h. Is n prime?
True
Let s = 318 - 169. Is s prime?
True
Suppose 0 = 4*b + 2*l + 2714, 2*l + 677 = -b + l. Let c be 5/(-15) + b/(-6). Suppose -r 