number?
False
Let c = 122 - -86. Suppose 298 = 2*m - 4*t, 2*m = -3*t + 76 + c. Is m a composite number?
True
Let u(r) = 14*r - 1. Let w be u(-1). Let a = 42 + w. Suppose a = y - 56. Is y prime?
True
Let u(w) = 3*w**3 - 2*w**2 + 4*w - 25. Is u(8) composite?
True
Suppose 0 = -2*o + 2*y + y + 283, 134 = o - 3*y. Is o a prime number?
True
Suppose 3*o - 3*s - 5082 = 0, -3573 = -4*o - 2*s + 3197. Is o a composite number?
False
Let n(y) = y**3 - 6*y**2 + y - 3. Let q be n(6). Suppose -3*v - 3*l = 381, -q*l + 608 = -5*v + l. Let o = v + 173. Is o composite?
True
Let l = 3048 + -29. Is l a composite number?
False
Let w(b) = -6*b**2 - 2*b + 7. Let l be w(5). Is ((-12)/(-4) - l) + 1 prime?
True
Let x(w) be the second derivative of w**5/20 - 5*w**4/12 + w**3/3 - 7*w**2/2 - 2*w. Let i be x(5). Suppose 0 = -n + i*n - 76. Is n a prime number?
False
Let o = 33 + -11. Is o a prime number?
False
Suppose -5*m + 0*m + 4*j = -61, -3 = -3*j. Suppose m + 31 = 2*l. Is l a composite number?
True
Let o(z) = -z**3 - 6*z**2 - 4*z + 11. Let a be o(-5). Let q(n) = 90*n + 19. Is q(a) a prime number?
False
Let r = -4 - -5. Suppose -4*z - 3 = 5. Let m = r - z. Is m composite?
False
Let i(y) = 3*y**2 + 11*y + 29. Is i(-10) prime?
False
Is (-1)/4 - 6270/(-88) a composite number?
False
Let s(z) = -z**3 - 6*z**2 - 3*z + 4. Let o = 5 - 1. Suppose o*a + r + 25 = 0, -6*a - 7 = -4*a - 5*r. Is s(a) a prime number?
False
Let n(m) = -m**3 + m**2 + 1471. Is n(0) composite?
False
Let f(r) = -7*r**2 + 6*r - 3. Let l be f(4). Let m = l - -140. Is m prime?
False
Suppose u = 2*f - 53 - 210, -4*u - 3*f = 1085. Let k = 452 + u. Is k prime?
False
Let w(v) = v**2 - 3*v + 2. Let m be w(3). Let p(t) = t + 8. Let x be p(-7). Suppose -m*c + c = -x, 2*r = -4*c + 266. Is r prime?
True
Suppose -4*c + 760 = 68. Suppose 0 = 6*t - t - q - c, -5*q = -4*t + 151. Is t prime?
False
Let h = -5 + 9. Is -2 + h + 0 + 495 a composite number?
True
Let v be 7 + (-7)/(28/(-8)). Let u(s) = s**3 + s**2 + 8*s + 5. Is u(v) composite?
False
Is 93/(2 - (-2)/(-2)) a composite number?
True
Suppose 3 = -l + 1. Let j = 7 + l. Suppose -j*z = 17 + 3, 0 = u + 2*z - 69. Is u a composite number?
True
Let z(i) = -16*i - 15. Is z(-10) prime?
False
Let k(z) = 14*z + 4. Let w be k(3). Let u = w + -20. Is u prime?
False
Let u(p) = -35*p**3 + 3*p**2 + 2*p + 11. Let t(y) = -12*y**3 + y**2 + y + 4. Let j(i) = -8*t(i) + 3*u(i). Let k be j(1). Is -14*(2 + k/2) a prime number?
False
Suppose 5*c + i - 189 = 0, 3*c - i = i + 103. Is c composite?
False
Suppose -n = 4*n + 1265. Let x be 145/15*18/(-1). Let u = x - n. Is u a prime number?
True
Suppose -4*f - 4*p + 1656 = 0, 2*f - 329 = -p + 498. Is f prime?
False
Let c(k) = -3 + 2 - 2*k**3 + k**3 - 2*k. Let x be c(-1). Let p = 81 - x. Is p a prime number?
True
Suppose -4 + 0 = -5*l - 2*z, -2*z + 2 = 4*l. Suppose 3*q - l*d - 21 = -5*d, 0 = -3*q + 4*d. Suppose -s - 3*s + 200 = -4*u, q*u + 90 = 2*s. Is s prime?
False
Suppose -4*p - i + 6*i = -2030, 0 = 5*p + 4*i - 2517. Is p prime?
False
Let n = 3 + 13. Is 106/(-2 + n/4) prime?
True
Let y(v) = 2*v**3 + 3*v**2 + 8. Let m be y(8). Let s = 1723 - m. Is s composite?
False
Let l(d) = d**2 + d - 1. Let m(y) = y**2 + 9*y - 1. Let f(b) = 2*l(b) - m(b). Is f(-7) composite?
False
Let x = 4 - 1. Suppose 4*c - 7 = s - 1, x*s = 2*c + 2. Is s*(-1)/((-4)/38) prime?
True
Suppose d - 5*d - 193 = -t, -3*t + d = -557. Let i = t - -186. Is i a prime number?
False
Suppose -k = -2*u + 6*u, 5*u + 4*k = 0. Is (-53)/(u + -1 - 0) composite?
False
Let o = 37 - 26. Is o composite?
False
Let l = 20 + -14. Suppose -l*p = -4*p - 44. Is p prime?
False
Let c = 2046 + -1168. Is c prime?
False
Let b = 1 - -1. Suppose -180 = -4*n + 2*v, -v - 74 = -b*n - 4*v. Is n a composite number?
False
Let q(z) = z**3 + 3*z + 1. Let s be q(3). Is (s/3)/(6/54) composite?
True
Let v = -256 + 182. Let g = 219 + v. Is g a composite number?
True
Let p = 9 - 6. Suppose -2*t + p*b + 8 = -21, t - 19 = 3*b. Let r(k) = k**3 - 9*k**2 - 8*k - 6. Is r(t) a prime number?
False
Suppose 0 = -4*a + 41 - 393. Suppose 0 = -3*z + 2*z - 42. Let q = z - a. Is q composite?
True
Let n = -6 + 7. Is (239 - 5) + 3*n a prime number?
False
Let z(c) = 4*c**2 + 3*c + 1. Is z(-6) a prime number?
True
Suppose 9*x = -14*x + 9499. Is x composite?
True
Suppose 18 + 17 = r. Is r composite?
True
Let y = -2 + 5. Let q(l) = -l**3 - 4*l**2 - 2*l - 4. Let f be q(-4). Suppose 5*i - 4*s - 31 = 0, -y*i + 4*s - 11 = -f*i. Is i a composite number?
False
Suppose -a - 53 = -2*a. Suppose 4*g = 3*g + a. Is g prime?
True
Suppose 4*w - 140 = 88. Suppose 0 = 3*v + 2*v - 15. Suppose 0*u - v*u = -w. Is u prime?
True
Is ((-3)/(18/22))/(8/(-552)) composite?
True
Let o = 42 + -28. Let m = o - 3. Is m a composite number?
False
Let n = -2349 + 4666. Is n a composite number?
True
Suppose b + 3*b = 2*w - 1206, b = 4. Is w prime?
False
Let u(m) = 1888*m**3 + m**2 - m + 1. Is u(1) composite?
False
Let f = -8465 + 13300. Is f prime?
False
Let u be -6*(-1 - 3/9). Suppose -3*w - u = w. Is ((-39)/w)/((-2)/(-4)) prime?
False
Suppose o = -o + 5*h - 34, 0 = 4*o - 3*h + 96. Let w = -16 - o. Is w composite?
False
Let n = -9 - -14. Is 1215/25 - (-2)/n a composite number?
True
Let t(k) = k**2 - 5. Let l = 7 + -11. Let i be t(l). Suppose 4*z + i - 99 = 0. Is z a composite number?
True
Let g be (-20)/3 - 2/6. Let i(a) = -a**2 - 8*a - 6. Let v be i(g). Is (-681)/(-6) - v/2 a prime number?
True
Let u(v) = 6*v**2 - 2*v**2 + 2 + 2*v + 3*v + 0*v. Is u(-7) composite?
False
Suppose 5*u - 3*y - y - 4478 = 0, 3*y + 1787 = 2*u. Is u a composite number?
True
Suppose -5*g + 0*g = -45. Suppose 0 = -11*i + g*i + 410. Is i prime?
False
Suppose -d + 0*d = -221. Is d prime?
False
Let h = 10 + -6. Suppose -h*v + 5*a + 2265 = 0, 676 = 2*v - 5*a - 459. Is v a prime number?
False
Suppose 2*j = -2*n + 26, -3*j + 6*j = 4*n - 17. Is 2127/9 + n/12 composite?
True
Let q(z) = -z - 10. Let s be q(-10). Suppose -4*o + 2*o + 62 = s. Is o a prime number?
True
Let g = 0 + -1. Let i(l) = -466*l - 1. Let u be i(g). Suppose 3*q - u = -2*q. Is q a composite number?
True
Suppose 5*p - 8 = p. Suppose c + 18 = -2*c - p*q, -c = -4*q + 20. Let m(i) = -10*i + 5. Is m(c) prime?
False
Let a(r) = r**2 + r. Let h be a(1). Let s(g) = 2*g**2 - 2*g - 2. Let o be s(h). Suppose o*c + 3*c = 75. Is c a prime number?
False
Let z = 6 + 0. Is ((-4)/z)/((-2)/213) a prime number?
True
Suppose -4*y + 16 = 0, 5*y = m - 200 - 1281. Is m composite?
True
Suppose 0 = 4*b - 11 - 9. Suppose -b*i + 1015 = -0*i. Is i prime?
False
Let g = -23 - 280. Let p = 431 + g. Let f = 239 - p. Is f prime?
False
Let f(u) = u**2 + 6*u + 10. Suppose -28 = 2*p + 4*y + 10, 41 = -4*p - y. Is f(p) prime?
True
Let j(m) = -67*m - 3. Let n be (-4 + 3)/((-1)/(-2)). Is j(n) composite?
False
Suppose 3*c + 15 = -4*o, 2*o - 4*c - 20 = -o. Suppose -2*w = 2*s - 16, 5*w = -2*s - o + 13. Suppose k = -5*q + s, -q + 34 + 2 = 2*k. Is k a composite number?
False
Suppose 26 = l + l - 2*s, -2*s = 10. Let m be 2*(-1510)/8*l. Is (-2)/(-10) + m/(-25) composite?
True
Suppose 0*l = -l. Suppose -5*b = -4*w + 568, l*w - 5*w = -5*b - 715. Suppose 2*u + w = 5*u. Is u composite?
True
Let d(c) = c**2 + 17*c - 7. Let z(b) = -2*b**2 - 35*b + 14. Let i(j) = 13*d(j) + 6*z(j). Is i(10) composite?
True
Is ((-1865)/10)/((-1)/2) composite?
False
Let y = 424 - 241. Suppose -2*d + 4*g + 30 = 0, 0 = g + 1 + 3. Suppose -4*f + 2*s - y = -d*f, 227 = 4*f - 3*s. Is f a composite number?
False
Suppose -3*l = 2*i - 2344, -3*i = -7*i + l + 4674. Is i a composite number?
True
Let n(l) = -l**3 - 5*l**2 - 6*l - 6. Let y be n(-4). Suppose -z = 5*w + 17, y*z - 4*w + 25 = -5*w. Is (-3)/z + (-246)/(-8) a prime number?
True
Let g = 3 + -2. Suppose 2*p - 9 = -g. Suppose -4*a = -p, 0 = -0*u + 5*u + 4*a - 59. Is u a prime number?
True
Let k(b) = b**2 + 7*b + 2. Let l be k(-7). Suppose l*d + 75 = -2*g + 187, d - 61 = 4*g. Suppose -2*q + m - 6*m = -d, -5*q = -m - 156. Is q prime?
True
Suppose -5*o + 3*g + 482 = -3*o, 4*g - 16 = 0. Let b = -139 + o. Suppose -5*m + 2 = -b. Is m prime?
False
Let u(m) = -5*m**3 + m**2 + m. Let j be u(-1). Suppose -4*l = y + 3, 0*l = -j*y + l + 6. Let z(q) = 118*q**3 + 2*q - 1. Is z(y) composite?
True
Let z(a) = -9*a + 7. Let o(m) = 9*m - 7. Let j(h) = -5*o(h) - 6*z(h). Let c be j(8). Sup