= m + 4. Let s be d(12). Let v be (45/10)/(3/s). Suppose -5*u + v = -31. Is u a prime number?
True
Suppose -g + 4*g - 1671 = 0. Is g a prime number?
True
Let h = 960 + -661. Is h a composite number?
True
Suppose t + 232 = -t. Let y = -45 - t. Is y composite?
False
Suppose -4*i = 2*q - 8, 3*q - q = 2*i - 16. Suppose -i*z + z + 210 = 0. Let u = z - -43. Is u composite?
False
Let l be (-56)/(-10) + 10/25. Let h = l - 20. Is (5/2)/((-1)/h) composite?
True
Let w(r) = r**2 - 3*r - 7. Let z be w(5). Suppose 5*g = -0*g. Let f = z - g. Is f composite?
False
Let f(l) = 14*l**2 + l + 4. Suppose -2*g = 2*x - 7*x - 16, -4*x = g + 18. Is f(g) a prime number?
False
Suppose 6 = -2*y + 3*y - 2*b, 3*b = 3. Let r(m) = 5*m + 7. Let d be r(y). Let a = -26 + d. Is a composite?
True
Suppose -12 = -3*z, 1 - 3 = 3*d - 2*z. Is ((-13)/1)/(d/(-10)) prime?
False
Let y(s) = s**3 - 12*s**2 + 43*s + 29. Is y(22) prime?
False
Suppose -10 - 10 = -5*w. Suppose -w*b - 2*k + 97 + 177 = 0, 204 = 3*b + 3*k. Is b composite?
True
Let i(a) = a**2 + 3*a - 6. Suppose 25 = -5*v - f, v + 3*v = 2*f - 20. Let b be i(v). Suppose -b*j + 2*j + 5*k = -159, -3*j + 206 = -k. Is j a composite number?
False
Let b be 39/(-2) - 1/2. Let d be 1/5 - 1636/b. Suppose 18 = 4*n - d. Is n composite?
True
Let l(r) be the third derivative of r**5/30 - r**4/3 - 7*r**3/6 - 3*r**2. Is l(12) composite?
True
Let d be ((-1)/(-2))/((-7)/56). Is (-6)/d*(3 - -1) prime?
False
Let q = 14 + -20. Let i(o) = o**3 + 6*o**2 - 6*o + 4. Let l be i(q). Suppose 4*t - b - 40 = -3*b, -4*t = 3*b - l. Is t a prime number?
False
Let i = -611 + 1030. Is i a composite number?
False
Let q = 4374 + -1441. Is q a composite number?
True
Let t(n) = n**2 + 6*n + 2. Let j be t(-6). Let r be 293/5 + (-4)/(-10). Suppose j*l + r = 189. Is l composite?
True
Let o(g) = -g**3 - g**2 + g + 346. Let q be o(0). Let u be (q - -1) + 0 + -2. Suppose 0 = 4*x - t - u, -t + 145 = 2*x + 4*t. Is x prime?
False
Let k(c) = -c**3 + 5*c**2 + 7*c - 1. Let y be k(6). Suppose y*o = -5*r + 350, -3*o + 82 + 168 = -5*r. Let a = o + -52. Is a composite?
False
Let b(g) = 18*g + 1. Suppose 0*p = -2*p + 2. Is b(p) a composite number?
False
Let g(v) = -81*v - 15. Is g(-8) composite?
True
Suppose -4*u = -14 - 270. Is u a composite number?
False
Let y(z) = 70*z**3 - z**2 + z - 1. Is y(1) composite?
True
Let w = 479 - 175. Let h = w - 113. Is h prime?
True
Suppose 4*n = -5*r + 2873, r - 2*n + 6*n = 565. Is r a prime number?
True
Suppose c - 39 = -4*c - 3*j, 3*c - 27 = -3*j. Suppose x = 4*x - c. Suppose -73 = -3*z + s + 28, -x*s + 43 = z. Is z composite?
True
Let v = 5 + 0. Suppose -3*u + 145 = -5*z, -v*u + z + 0*z = -249. Suppose -3*r + 61 = -u. Is r composite?
False
Let m be (-2)/((-6)/(-3)) - -3. Suppose 2*l - 13 = -3*l + s, -3*l + s + 9 = 0. Suppose 2*w - 241 = -w + m*p, l*w + p = 156. Is w a prime number?
True
Is 443 + -4*(-3)/6 - 0 prime?
False
Let u(j) = j**2 + 4*j. Let k be u(-4). Suppose k = 4*z - 0*z - 940. Suppose -402 = -2*c - t, c + 24 = 2*t + z. Is c a composite number?
True
Let i be ((-3)/(-9))/((-2)/(-6)). Let d = i + 0. Is 63/6 - d/2 prime?
False
Let y be 1/(4/36 - 0). Suppose 290 = -4*x + y*x. Is x a prime number?
False
Suppose 3*m - 431 = a, 3*m + a = -25 + 452. Is m prime?
False
Is (-320)/(-8) - (0 + 1) composite?
True
Is (1 - 4)*4970/(-30) a composite number?
True
Suppose -4*p = -2*m - 26, p = 2*m + 3*p - 4. Let o be (m/3)/(-1)*5. Let j(k) = 2*k**3 - 6*k**2 - 3*k - 6. Is j(o) composite?
False
Let m(k) = k - 3 + k + 0. Let x be m(4). Suppose j - 20 = -3*p, 2*j - x*j + 11 = 2*p. Is p a prime number?
True
Suppose w - 23 = -4*i, i + 2 = 3*w - 2. Let l = 10 - i. Suppose -639 - 206 = -l*s. Is s a prime number?
False
Suppose -b - 269 = -k, -3*k - 2*b + 713 + 119 = 0. Is k prime?
False
Let t(j) = j**3 - 3*j**2 - j. Let r be t(4). Suppose 0 = 5*v - 1493 - r. Is v composite?
True
Let q be -1*1*(-105)/5. Let n = q - -2. Is n a prime number?
True
Let f be 44/10 - (-12)/20. Suppose -790 = -f*m + 225. Is m prime?
False
Suppose -3*a - 6 = -30. Let k = a - -75. Is k a composite number?
False
Let b be (-2)/5 - (-113)/(-5). Let j = b + 13. Is (j/6)/((-6)/36) prime?
False
Let f(s) = s**3 + 3*s**2 - 3*s + 5. Let v be f(-4). Let p(j) be the third derivative of 3*j**4/2 + j**3/6 - 19*j**2. Is p(v) prime?
True
Suppose -2*a - 3*a = 0. Suppose a*r - 20 = -2*r. Is r prime?
False
Let w(o) = -8*o + 21. Is w(-11) a composite number?
False
Let n(f) = -4*f**3 + 4*f**2 - 2*f - 9. Is n(-4) composite?
True
Let o(i) = i**3 - i**2 + i - 12. Let z = 1 - 1. Let b be o(z). Let p = b - -22. Is p prime?
False
Suppose 1291 = 5*b - 804. Is b prime?
True
Suppose -430 = 5*h - 5*a, -h - 174 = h - 3*a. Is (46/(-4))/(6/h) a composite number?
True
Let k = 33 + -8. Is k composite?
True
Let z = -856 + 1487. Is z composite?
False
Let u(g) = 5*g**3 - 4*g**2 - 6*g - 5. Is u(6) a composite number?
True
Let m(z) be the second derivative of -35*z**3/6 - 5*z**2 - 2*z. Is m(-7) a composite number?
True
Let g(w) = -w**2 + 2*w + 1. Let o be g(2). Let n(p) = 31*p**2. Is n(o) composite?
False
Let d = 845 + -402. Is d prime?
True
Is (-1226)/(-3) + 13/39 composite?
False
Suppose 2*b + 0*a - 1173 = a, 0 = -3*b + 2*a + 1760. Is b a composite number?
True
Is ((-2)/(-4))/(3 + 35540/(-11848)) a prime number?
True
Suppose -4*d = -d - 357. Is d a prime number?
False
Let a = -2 + 6. Let b = 0 + a. Suppose -3*i - 4*h + 849 = 0, 0 = b*i + 2*h + h - 1139. Is i a prime number?
False
Is (13964/10)/((-4)/(-10)) a composite number?
False
Suppose 0 = 2*a + 3*a - 1295. Let g = 55 + a. Is g a prime number?
False
Let b(w) = 21*w**2 + 5*w + 4. Let p(v) = 64*v**2 + 14*v + 13. Let t(o) = 7*b(o) - 2*p(o). Let u(g) be the first derivative of t(g). Is u(6) composite?
True
Suppose -668 + 2238 = 5*h. Is h a prime number?
False
Suppose 2618 = 9*m + 5*m. Is m a composite number?
True
Let p = -37 + 104. Suppose -o + 2*o = p. Is o a composite number?
False
Suppose v = m - 671, -3*m + v + 926 = -1079. Suppose 3*r = 5*q + m, r + 0*q - 215 = -2*q. Is r a prime number?
False
Let a be (-71 - -1)/(7 - 8). Let m = -39 + a. Is m a prime number?
True
Let a = 11 - 16. Is ((-4)/2 - a) + 76 composite?
False
Suppose 2*a + 11 = 49. Is a a composite number?
False
Is -8 + (-82244)/(-44) - 2/11 a composite number?
False
Let c(n) = n**3 + n**2 + 6. Let m be c(-3). Let t be 2/(-3) - (-214)/6. Let x = t - m. Is x composite?
False
Let u = -6 - -8. Suppose -3*k + 3*m + 675 = 0, u*k - 2*m + 4*m = 434. Is k composite?
True
Let k be -662*(5/(-2) + 3). Let h = k - -522. Let d = h - 126. Is d a composite number?
True
Suppose 3*h - 48 = 4*d, -h - 48 = -4*h + d. Suppose 2*j - 4 = 0, 0 = q + 4*q + 3*j - h. Suppose q*m = m - 4*r + 5, -3*r = 4*m - 46. Is m a composite number?
False
Let c(n) = 4*n + 3. Let i(x) = -x + 9. Let j be i(7). Is c(j) a composite number?
False
Let j = -2 + 468. Is j a prime number?
False
Let a = 5 - 3. Is (-1)/((a/(-62))/1) composite?
False
Let s = -1937 - -3128. Is s prime?
False
Let j(o) = 10*o**2 - 6*o - 1. Let d be (-52)/8 - 2/(-4). Let f be j(d). Suppose -4*q + f = q. Is q prime?
True
Suppose 4*i - 127 = -5*h + 2*h, -4*h + i + 201 = 0. Let j = h + 18. Is j prime?
True
Let l(a) = -3*a**3 - 2*a - 3*a**3 + 1 + 6*a**3 + a**3. Is l(3) a composite number?
True
Suppose -36015 = -10*x - 9685. Is x prime?
True
Suppose -3*a - 12 = -v, -a - a - 8 = 0. Suppose 2*z = -v*z + 226. Is z composite?
False
Let d(r) = -r**3 + 9*r**2 + 4*r - 1. Is d(9) a prime number?
False
Let r(v) = 77 - v**2 - v**3 + v + v**3 - v**3. Suppose 0 = -0*f - 2*f. Is r(f) a prime number?
False
Let b = -743 + 1698. Is b prime?
False
Suppose -2*b + 4 = -0. Suppose 2*o - b = 4*q + 18, 3*o + 10 = -4*q. Is 2/(1*q/(-254)) a prime number?
True
Suppose 2*w - 3*q = -2*q + 445, -2*q = 3*w - 657. Is w a prime number?
False
Let q(p) be the third derivative of -4*p**4 - 7*p**3/6 + 2*p**2. Is q(-11) a composite number?
False
Let l be (1/2)/(3/18). Suppose 4*r = d + 26, l*r - 5*d - 13 - 15 = 0. Is (-2 - 32/r)*-3 a composite number?
True
Let o be 873/99 + (-2)/(-11). Let i(z) = z**2 - 4*z + 13. Is i(o) composite?
True
Let m(f) = -f**2 + 53. Is m(0) composite?
False
Let v(l) = -l**3 - 5*l**2 - 6*l - 6. Let j be v(-4). Suppose -j*x + i = -586, 3*x - 246 = -2*i + 633. Is x a prime number?
True
Let s(d) = -3*