w - k. Is r composite?
True
Let b = 17 + -11. Suppose -10*q + 580 = -b*q. Is q prime?
False
Suppose -5*o = 3*x - 267, -2*x + 178 = -o + 5*o. Is x a composite number?
False
Let d be 3/(0 + (-3)/6). Is 2/4 + (-327)/d a composite number?
True
Suppose 0*c = 5*c + 5*b - 9490, 3761 = 2*c - 5*b. Is c prime?
False
Let l(b) = 38*b - 11. Is l(8) a composite number?
False
Let l(c) = c - 2. Let u be l(-9). Let w(v) = -v - 12. Let d be w(u). Is 3 + ((-1)/d - -10) a prime number?
False
Suppose 0 = -4*i + i + 2979. Is 4/(-14) + i/21 a composite number?
False
Suppose -4 + 6 = -2*l. Let j = -2 + l. Let d(c) = -2*c**3 - c**2 - 2*c + 2. Is d(j) a prime number?
True
Let u be 0 + 0 - (-6)/2. Suppose 0*v + u*v - 1119 = 0. Is v composite?
False
Suppose -4*m = 4, j - 2*m - 22 = -3*j. Let s = -1 + j. Suppose -4*i = -s*t + 340, -t + 3*i = -10 - 75. Is t a prime number?
False
Suppose 4*u - 822 = -2*v, 5*v - 2251 + 185 = u. Is v a composite number?
True
Let f(m) = m - m**3 + 0*m + 2*m + 0*m**3. Let v be f(-3). Let u = v - -3. Is u a prime number?
False
Let m = 15 - 2. Is m composite?
False
Is (396 + 0 + 1)*(-10)/(-2) composite?
True
Suppose -2*l + 3*z = 3*l - 9, -15 = -3*l - 3*z. Let i be ((-302)/l)/((-2)/3). Suppose -45 = -4*o + i. Is o prime?
False
Let s = 48 - 16. Let k = s - 10. Is k composite?
True
Let d be 34/10 - (-10)/(-25). Suppose -4*f - 783 = -5*l, 8*f = d*l + 3*f - 475. Is l prime?
False
Is -1 - 11846/(-6) - 37/111 a prime number?
True
Suppose 342 = 2*v - 2*n, 4*n = v + 23 - 203. Let r = -118 + v. Suppose 5*o + 5*j = 2*o + r, -2*j - 10 = 0. Is o a prime number?
False
Suppose -3*p - p = -24. Let n = p + -3. Suppose -2*g + 55 = n*g. Is g a prime number?
True
Let h be 84/22 - (-2)/11. Suppose -5*j - 15 = h*y - 91, -76 = -4*y - 4*j. Is y a composite number?
False
Suppose 2206 = 3*w - 149. Is w a composite number?
True
Let c(w) = -w**3 + 3*w**2 + w - 1. Let r be c(3). Suppose r*j = -2*j + 84. Is j composite?
True
Let f = 8 - 3. Suppose 354 = 3*u + 2*t - f*t, 0 = -3*t + 9. Is u prime?
False
Let o = 11 - 8. Suppose -5*u + 2 = -o*u. Is 1 - (0 + u)*-9 prime?
False
Is 25749/27 + 1*(-4)/6 composite?
False
Suppose -3*v = -0*v - 1311. Suppose -v = -3*w + 436. Is w prime?
False
Let q(f) = 3*f**2 - 4*f - 5. Let j be q(4). Let h(l) = l + 15. Let g be h(-9). Let p = j + g. Is p a composite number?
True
Let n be 8/2 - 3 - 2. Is (-72 - 11)/(0 + n) composite?
False
Let g = -11 + 29. Let r = -25 + 8. Let l = g - r. Is l a composite number?
True
Let a = 9 - 5. Let d = -23 - -70. Suppose 5*n - d - 110 = -4*l, 0 = a*n + 12. Is l prime?
True
Suppose 2*u - 4*m = 34, -16 - 9 = -5*u - 2*m. Is u prime?
True
Let n be ((-1110)/(-24))/((-1)/(-4)). Let r = n + -126. Is r composite?
False
Let u = -8 - -12. Is u prime?
False
Let v be (3/(-5))/(1/(-5)). Suppose -v*d + 13 + 98 = 0. Is d composite?
False
Is (-9)/(-36) - (-1190)/8 prime?
True
Let z(r) = r + 12. Let m be z(-9). Let l(s) = 1 + 2*s + 2 + s**2 - 7. Is l(m) composite?
False
Suppose -w - 5 = 0, 4*k + 4*w + 0*w = 208. Is k a prime number?
False
Suppose 3*d - m = -0*m + 1529, 0 = -d + 3*m + 499. Is d prime?
False
Let f(n) = -n**3 - 8*n**2 - 6*n + 9. Let b be f(-7). Suppose -b*q - q + 186 = 0. Suppose o - q = -o. Is o prime?
True
Let i(h) = 4*h**2 + 51*h + 4. Is i(-17) a composite number?
False
Suppose -3 = a + 134. Let d = a + 192. Is d composite?
True
Let c = -2 + 2. Suppose c = -d + 23 + 35. Is d a composite number?
True
Let y be (-4 + 1)/((-1)/1). Suppose -4 - 7 = -n. Suppose 19 = y*j - n. Is j composite?
True
Suppose -u + 4*u = 120. Suppose -2*d + u = -104. Suppose 3*l = d + 45. Is l composite?
True
Let o(c) = c + 4. Let a be o(-4). Let y be (1/(-2))/(2/(-8)). Suppose -4*b + y*b + 230 = a. Is b prime?
False
Let f = 3 - -2. Suppose 3 = -f*m - 7. Is (0 - -15) + 2 - m prime?
True
Let v(z) = -z**2 + 8*z - 5. Let a be v(7). Suppose 0 = -a*c + i + 170, -2*i = 2*c - i - 162. Is c a prime number?
True
Let n = 1022 - 715. Is n a prime number?
True
Suppose 444 = -a + 3*a - 2*q, -2*q + 2 = 0. Is a prime?
True
Let v(o) = o**2 + 2. Let h(t) = -t**2 - 6*t - 7. Let x be h(-6). Is v(x) a prime number?
False
Suppose -5*y = 3*x - 901, 4*x = -0*x - 4*y + 1212. Is x composite?
False
Let x(u) = 1 + 4*u - 3*u - 4. Is x(6) composite?
False
Let v = -11 + 12. Let r = v - -6. Is r a composite number?
False
Let z = -5 + 7. Suppose -3*p - z*u = -1469, -4 = -u - 0*u. Is p a composite number?
False
Let m(y) = -y**2 - 5*y + 9. Let k be m(-7). Let d be (-44)/(-10) + 2/k. Is (182/d)/(4/8) composite?
True
Let t = -16 + 13. Let m(o) = -3*o**3 - 4*o**2 - o + 5. Is m(t) prime?
True
Suppose 6*z - 458 = 1816. Is z prime?
True
Is ((-249)/(-12))/(2/16) a composite number?
True
Let r = 81 + 64. Is r a composite number?
True
Suppose -4*a - 5*p = 15 - 70, 0 = -3*a + 4*p + 18. Is (4/a)/((-8)/(-1880)) composite?
True
Suppose -2*g + 8 = -0. Suppose 4*j - g = b - 4*b, 4*j = -5*b + 4. Is (b + -2)/(14/(-133)) a composite number?
False
Suppose -1426 - 1353 = -7*z. Is z a composite number?
False
Let t(q) = -226*q - 7. Is t(-8) composite?
False
Let x be (-3)/((-4)/((-40)/(-6))). Suppose -4*f + g = -445, -x*f - 3*g + 6*g = -558. Is f a prime number?
False
Let z = 267 - -112. Is z a prime number?
True
Let j(p) = 42*p**2 - p + 1. Let x be j(1). Suppose -4*w = -3*b + 63, 0*w + 2*w = -2*b + x. Suppose 180 - b = 3*f. Is f prime?
True
Let m = -81 + 220. Is m prime?
True
Suppose -5*w + 10 = 0, 0 = 3*y - 2*y + 5*w - 18. Let o = 14 + y. Is o a prime number?
False
Let x be (-2)/5 + (-11816)/(-40). Suppose 0*f - 5*f = -x. Suppose -f = 3*q - 188. Is q composite?
False
Let f be (-4 - -1) + 0 + -1. Let i be (24/(-15))/f*10. Suppose 4*t + 140 = 4*u, i*u - 3*t - 158 = -8*t. Is u composite?
False
Let f(i) be the first derivative of -257*i**2/2 + 2. Is f(-1) a prime number?
True
Suppose 5*o + 0 - 10 = 0. Is ((3 - 79)/o)/(-2) a prime number?
True
Let d(g) = 35*g**2 + 2*g + 2. Is d(3) composite?
True
Let v = -19 + 13. Is 21/v*(-95 + 1) prime?
False
Let t be (-6)/(-27) + (-292)/18. Let c(d) = -8*d - 13. Is c(t) a composite number?
True
Let z(s) = -s**3 + s**2 - 2*s + 3. Is z(-5) a prime number?
True
Let z(s) = 2*s**2 - 2*s - 5. Let u be z(6). Suppose 4*w + 3*x = 220, w + 3*x = 2*w - u. Is w a prime number?
False
Let v = -10 - -10. Let b be 4 + -2 + 2 + v. Suppose b*s - 176 + 36 = 0. Is s prime?
False
Let r = -469 - -998. Is r prime?
False
Let l = -13 + 16. Suppose 8 = 4*k, -l*d - 4*k = -d - 50. Is d composite?
True
Let m = -8 - -16. Suppose 0 = -4*r - q + m + 3, 2*q - 2 = -3*r. Suppose -120 = -r*o - d, -d = o - 2*d - 35. Is o a prime number?
True
Let j(v) = v**3 + 8*v**2 + 2*v. Is j(-7) a composite number?
True
Let o be (2/(-3))/((-1)/3). Suppose 0 = -4*j - 8 + 20. Is j + 1 + (-4)/o a prime number?
True
Suppose -4*j + 6588 = 916. Is j composite?
True
Suppose 3*d = 357 + 36. Is d composite?
False
Let s = 269 + -106. Is s a prime number?
True
Let u = -1 - 0. Is 164 + (-1)/(0 - u) prime?
True
Is (-3033)/6*((-16)/6 - -2) a prime number?
True
Suppose 0 = -m - 2 - 0. Is 117 + (m - (5 + -3)) composite?
False
Let r(c) = -c**3 - 3*c**2 - 4. Let x be r(-3). Is 4/(-6)*534/x a prime number?
True
Suppose 0*w + 2*w - 114 = 3*l, 272 = 4*w + 5*l. Suppose -j + w = 2*j. Is (0 - j)*2/(-6) composite?
False
Let i(q) = q**2 + q. Let k be i(-6). Let t = k + 25. Is t a prime number?
False
Let k(y) = 5*y**2 + 2*y - 11. Let v(j) = -4*j**2 - 2*j + 10. Let c(g) = -3*k(g) - 4*v(g). Let l be c(7). Let u = l - 35. Is u a composite number?
True
Let a = -3 + 7. Suppose -3 = -z, -j - 5*z + 6 = -a*z. Is (-1734)/(-15) + j/(-5) composite?
True
Let q(t) = 1 + 6 + 2*t + 1 + t**2. Is q(-15) a composite number?
True
Let u = 470 - 327. Is u composite?
True
Let z = 18 + -52. Let m = z - 0. Let r = m - -53. Is r a prime number?
True
Suppose a + 16 = 5*l, 4*l - 13 = -l - 2*a. Suppose -2*z - 4*p = -167 + 51, l*p + 12 = 0. Let i = z - 45. Is i a prime number?
False
Suppose 2*h + 3*h = 0. Suppose h = -2*m + m, 2*m + 10 = 5*y. Is (-724)/(-8) - y/(-4) a composite number?
True
Let f(d) = 517*d - 24. Is f(7) composite?
True
Let u = -22 + 609. Is u a composite number?
False
Let r(w) = -64*w + 20. Let l(z) = 13*z - 4. Let u(h) = -11*l(h) - 2*r(h). Is u(-6) prime?
False
Let m = -1 + -7. Let j(r) = -9*r - 5. Is j(m) a composite number?
False
Suppose j = -5*n