*x + 5*m - 1813, -5*m - 620 = -x. Suppose y*i = 5*i - x. Is i prime?
True
Is (2214 + 3)*(-3 + 30/9) a composite number?
False
Suppose 3*r - 2125 = 2*r. Suppose 5*l + 315 - r = 0. Suppose -4*x + 2*d + l = 0, -123 = -2*x - d + 68. Is x composite?
True
Suppose -3*v = 2*k - 4975, 0*v + 4*k + 4963 = 3*v. Is v composite?
False
Let q = 2 + 2. Suppose q*f = -4*j + 67 + 61, 2*j = -4*f + 66. Is j a prime number?
True
Let x = -35 - -17. Let n = 44 + x. Is n prime?
False
Suppose -5491 = -7*r + 5254. Is r composite?
True
Let s(d) be the first derivative of d**2 - 5*d + 3. Let n be s(6). Suppose 4*j - 23 = -n*t + 2*t, 5 = -5*t. Is j a composite number?
False
Suppose 2*q + 186 = 1528. Is q a prime number?
False
Let w = -499 + 1898. Is w a composite number?
False
Let n(k) = -3*k**3 + 3*k**2 + 3*k + 3. Is n(-2) a composite number?
True
Suppose 2*r = -m + 5, 5*m = m + 4. Suppose -3*g = -r + 35. Let f = g - -17. Is f prime?
False
Is 2/(-10) - -1038*(-12)/(-5) prime?
False
Suppose -14 = -5*q + 1. Is 2/((-1)/q - -1) a prime number?
True
Let u = -5 - -5. Suppose u*g - g = -6. Is g/27 - 2505/(-27) composite?
True
Let b = 9 + -7. Suppose b*z = -0*c + 5*c - 60, -5 = -z. Is c a prime number?
False
Let a(u) = -275*u - 1. Is a(-1) prime?
False
Suppose -5*t + 0*n = 3*n - 1081, -3*t - n = -647. Is t a prime number?
False
Suppose 0 = -m + 4*m - 4*j - 17901, 4*m + j = 23887. Is m prime?
False
Let n = 8 + -2. Is 74*2/(8/n) a prime number?
False
Is (-6)/21 - (-22287)/21 prime?
True
Let f = 184 + -106. Suppose 12 = -2*s + f. Is (-4)/(-22) + 1545/s a composite number?
False
Let s(f) = 2*f**2 - 2*f - 1. Let m(i) = i**3 + 7*i**2 + 6*i. Let k be m(-6). Suppose 4*z = 8, -2*a + k*z + 3*z = 0. Is s(a) a composite number?
False
Let f = 2337 - 1076. Is f a composite number?
True
Suppose 0 = h + 5*q - 94, 2*h - 262 = -h + 5*q. Is h prime?
True
Suppose 3*z = z + 254. Is z a prime number?
True
Is (-21 + 19)*(-379)/2 prime?
True
Suppose 0*w + 3*w + 2*s - 883 = 0, -3*s = -w + 287. Is w prime?
True
Suppose -5*u - 31 = -2*a, 0 = 4*a - 4*u - 37 + 5. Is ((-31)/a)/(12/(-36)) composite?
False
Is 3082/12 + 6/36 composite?
False
Let m(d) = -d**2 + 6*d + 5. Let v be m(6). Suppose 0 = -3*p + v*p - 76. Is p a composite number?
True
Let m(p) = p**3 - p - 1. Let n(h) = h**3 + h**2 + 2*h + 3. Let q(v) = -2*m(v) + n(v). Let y be q(-4). Is (-50)/15*y/(-2) a prime number?
False
Suppose 5*o - o = -156. Let r = o + -41. Let x = 137 + r. Is x a composite number?
True
Suppose 0 = 3*l + 9, 0*h - 2*l = 2*h - 64. Let i(n) = n**3 - 3*n**2 + 2*n. Let d be i(2). Suppose d*f - 95 = -5*f - 4*q, h = 4*f - 5*q. Is f composite?
True
Let q = -4 + 5. Is (0 - -1)/(q/89) a composite number?
False
Suppose -208 = -2*a - o + 178, 4*o = 3*a - 557. Is a prime?
True
Is 1/(3/(51*11)) prime?
False
Let g(i) be the second derivative of i**5/20 - 2*i**4/3 + 5*i**3/3 - i**2 - 3*i. Is g(7) a composite number?
False
Let b(u) = -10*u**3 + 4*u**2 + 5*u + 2. Suppose 4 = -5*z - 11. Is b(z) prime?
True
Let j = 918 + -611. Is j prime?
True
Suppose -70 + 12 = 2*p. Let w = 65 + p. Suppose 3*t + w = 243. Is t a prime number?
False
Let o(t) = -12*t**3 - 4*t**2 - 3*t - 1. Suppose 2*y = a - 3*a + 4, -4*a = -5*y + 28. Is o(a) composite?
True
Suppose 5*r = 736 + 1269. Is r prime?
True
Suppose -3*w - 2 = -8. Suppose -2*g = 5*b - 280, -5 = w*g + 5. Is b a prime number?
False
Let g(h) = -7*h**3 - 4*h**2 - 4*h - 4. Is g(-3) prime?
False
Let d = 5 - 0. Let x = 5 - d. Suppose x = -5*o + 4*o + 7. Is o a composite number?
False
Is 2 - 1863/(-3) - 0 composite?
True
Let t = -938 + 1315. Is t composite?
True
Let u(i) = -71*i - 27. Is u(-10) prime?
True
Let f = 4 + -7. Is 93/2*(-2)/f composite?
False
Let g be -3 + 32 + -2 + -1. Suppose -a + g + 0 = 0. Is a a composite number?
True
Let z(n) = n**3 - 3*n**2 + n - 1. Let d be z(3). Suppose -t - d*t = -915. Is t a prime number?
False
Let i be 268/6*(-8 + 5 - 0). Suppose 5*m - 1265 = 5*r, 0 = -m - 3*m + 3*r + 1014. Let c = m + i. Is c a prime number?
False
Let q(v) = -33*v - 20. Is q(-7) a composite number?
False
Suppose 0 = 4*a + 16, w - a + 0*a - 238 = 0. Suppose 4*y - 476 = 3*z + z, -2*y + z + w = 0. Is y a composite number?
True
Let r(l) be the second derivative of l**4/3 + 2*l**3/3 - 7*l**2/2 - 5*l. Is r(-8) a composite number?
True
Let p(w) = 2*w**2 - 5*w + 2. Let x be p(3). Suppose m - x*z = 46, -3*m + z + 98 = -4*z. Is m prime?
False
Suppose -3*f = -m + 41, -62 = -2*m + 2*f - 0*f. Let p = m + -17. Is p a prime number?
False
Suppose 0 = -2*d - 3*d + 5, -5*g = 4*d - 104. Suppose -s - 2*s - g = -5*k, 2*s - k = -11. Is 22 + -2 + (-6 - s) prime?
True
Let i(q) = q**2 - q - 3. Let t be i(3). Suppose -4*y - 877 = -3*d - 0*d, -d + t*y + 289 = 0. Is d a prime number?
False
Let i be ((-12)/(-30))/(2/680). Is (-14)/(-4)*i/4 prime?
False
Suppose -2*n - 5*l = -2*l - 395, 0 = -3*n - 4*l + 590. Suppose n = u - 5*f, -2*u + 4*f + 929 = 3*u. Is u a composite number?
True
Let f(r) = r**3 - 4*r**2 + 10*r - 6. Is f(7) a composite number?
False
Let p(b) = -b**3 - 6*b**2 + 2. Let n be p(-6). Suppose 0 = -r + n + 2. Is 222*(r/3 - 1) composite?
True
Let k = -35 - -382. Is k a prime number?
True
Suppose 4 - 1 = 3*s, -3*r + 3*s = -468. Is r composite?
False
Let p(a) = -a**3 + a**2 - a + 27. Let i be p(0). Let j be (-3)/((i/(-24))/(-3)). Let u = 6 - j. Is u a composite number?
True
Let d be -19 - (2 + -5) - 0. Let w = d + 78. Is w prime?
False
Suppose -10575 = -3*b + 759. Is b composite?
True
Suppose -6*p = -8*p + 6. Suppose -3*u + 634 = -u + p*f, 5*f - 317 = -u. Is u prime?
True
Let c(z) = z**2 + 2*z - 4. Let v be c(0). Let w(o) = -21*o + 1. Is w(v) a composite number?
True
Let m(r) = -2*r - 4. Let u be m(-3). Suppose u*t - t = 325. Suppose 0 = x - 3*d - 103, -3*x + d + t = -4*d. Is x prime?
False
Let n be 274/18 + (-6)/27. Suppose 5*l = n + 10. Suppose 4*k - 47 = 3*k + 2*s, 268 = l*k + s. Is k composite?
False
Suppose 5*w = 5*y - 215, y - 3*w + 12 - 47 = 0. Is y a composite number?
False
Let s = 4 - 0. Suppose 2*b + 3*j + 0*j - 418 = 0, -5*j = s*b - 832. Is b composite?
True
Suppose -9*u - 859 = -3928. Is u a composite number?
True
Let p = 2 + -2. Let u = 4 - p. Is u - 3 - 108/(-2) prime?
False
Is (-12783)/(-5) + (-78)/(-195) prime?
True
Is (-2 + 1)*(-583)/11 a prime number?
True
Let r(k) = 76*k**3 + k**2 - k + 1. Let o(m) = m**2 + 9*m + 9. Suppose -b - 10 = x, 0 = -b - 5 + 3. Let s be o(x). Is r(s) a composite number?
True
Let o(l) = 78*l**2 - 15*l + 19. Is o(5) prime?
False
Let f(o) = 11*o + 17. Is f(12) prime?
True
Let j(n) = 8*n - 4 + n + 0 - 6. Is j(9) a composite number?
False
Suppose -k + 2 = -0*k. Let d = 10 - 6. Let v = d + k. Is v a prime number?
False
Let t(y) = -10*y + 5 - 8*y**2 + 3 + 0 - y**3. Is t(-9) a prime number?
True
Let v = 1 - 3. Is (996 - -2)*(-1)/v a prime number?
True
Let r = 436 - -298. Is r composite?
True
Let n = 1001 + 140. Is n a composite number?
True
Suppose 0*w - 620 = -5*w. Suppose 4*h + 0*h - w = 0. Is h composite?
False
Let t(c) = c**2. Let d(b) = 4*b**2 - 7*b + 9. Let n(r) = -d(r) + 6*t(r). Is n(-10) prime?
False
Suppose -5*n + 4*m - 2*m - 1 = 0, 2*n - 3*m + 7 = 0. Let q(b) = 2*b**3 - b**2. Let o be q(n). Let v = 3 + o. Is v composite?
True
Suppose 5*c + 529 = -1. Is (c/3)/(4/(-6)) composite?
False
Let f(b) = 2*b**3 + 2*b**2 - 4. Let u be f(4). Suppose -g - u = -2*v, 6*v - 2*v - 322 = -3*g. Is v a prime number?
True
Let m(d) = 3*d + 1 + d**3 + 0 + d. Let h be m(-3). Is -15*(2 - h/(-6)) composite?
True
Let y be -25*1/1*-10. Suppose 0 = -4*p + 106 + y. Is p a composite number?
False
Suppose f = 3*l - 4*l + 470, -5*l - 5 = 0. Suppose -h = -4*h + f. Is h prime?
True
Let p = 1 - -258. Is p a composite number?
True
Let q = 43 - 10. Suppose -3*d + d = o + 42, -2*d = 4*o + 30. Let v = q + d. Is v prime?
False
Suppose -3*p + 15 = 3*n, -p + n = 4*n - 5. Let q(h) = -h**2 + 9*h + 2. Is q(p) composite?
True
Suppose s - 5*n + 16 = 0, 5*n - 28 = -5*s + 3*n. Let b = s - 2. Suppose -b*i + 39 = -i. Is i prime?
False
Let g = 18 + -25. Is (-2)/g + 188/28 prime?
True
Let x(g) = -335*g - 3. Is x(-4) composite?
True
Let o(y) = 5*y**2 + 4*y + 7. Let a(i) = -11*i**2 - 9*i - 14. Let x(j) = 2*a(j) + 5*o(j). Is x(6) composite?
False
Is ((-5)/2)/((-9)/6246) prime?
False
Let g(x) be the second derivative of x**7/840 + x**5/40 +