 -3*o - 16 = -73. Is o a prime number?
True
Suppose -5*x + i + 4035 = -1025, 2012 = 2*x + 2*i. Suppose 0 = 2*m + m - x. Is m composite?
False
Suppose 0 = -i + 4*d + 323 - 4, 1361 = 4*i + d. Is i a prime number?
False
Let c = 11 + -9. Suppose -m + 99 = c*m. Is m a prime number?
False
Suppose -3*a + 3293 = j, 5*a - 2703 - 2780 = -3*j. Is a a composite number?
True
Suppose 2*c = -0*c + 6. Let g = -31 - -81. Suppose -2*b = l + l - 18, -c*l - g = -4*b. Is b prime?
True
Let s(k) = k**2 + 12*k - 9. Let z be s(-9). Let u = 23 - z. Is u a composite number?
False
Suppose 0*u = -u - 68. Let y be (-4)/(-14) + 4926/(-42). Let r = u - y. Is r a prime number?
False
Is (-4)/26 - 28805/(-65) composite?
False
Let h(j) = 4*j**2 - 3*j - 3. Let a be h(3). Let c = -14 + a. Is c a prime number?
False
Let k be 2/(-4)*0/1. Suppose -p = -59 - 689. Suppose k = 4*s - 4*w - p, w - 579 - 380 = -5*s. Is s a prime number?
True
Let w(o) = 68*o**2 + o. Let l be w(1). Is -7 + 5 + (l - 0) composite?
False
Let n(x) = -x**2 - 8*x + 11. Let m be n(-9). Let l(c) = -3*c**3 - 2*c**2 + 2*c - 1. Let y be l(-4). Suppose s - g = -m*g + 49, -y = -3*s - 2*g. Is s prime?
True
Let t be (-1 + 9)/1 + 1. Let x = -3 + t. Let f = 15 - x. Is f composite?
True
Let v(y) = 22*y**3. Let b(a) = -2*a**2 - 1. Let z be b(-1). Let s = -2 - z. Is v(s) a prime number?
False
Is (((-6)/(-6))/2)/((-1)/(-74)) a prime number?
True
Let z(p) = 10*p**2 - 2*p - 7. Is z(-5) a prime number?
False
Let o(y) = y**3 + 7*y**2 + y + 7. Let d be o(-7). Suppose 2*n + 0*n - 14 = d. Suppose n = -3*t + 4*t. Is t composite?
False
Let o(c) = -c**2 + 13*c - 9. Let r be o(9). Let f = 2 + r. Suppose i + 8 = f. Is i a prime number?
False
Suppose -563 = -5*g - 4*m, -m - 215 = -2*g - 6*m. Suppose 0 = -4*j + 5*j - g. Is j prime?
False
Suppose 15 + 1 = -i - 3*u, i + 6 = -u. Is i/2 + (-1113)/(-6) composite?
True
Let z(w) = 71*w**3 + 3*w + 2. Let v be z(-1). Is 1 - v/((-3)/(-1)) a prime number?
False
Let u be 2 + (-2)/3*3. Let r be 2 - u - (-288)/4. Let h = -7 + r. Is h prime?
True
Suppose -5*g = -3*g - 2. Let l(m) = -m**3 + m + 1. Let a(h) = 2*h**3 - 4*h**2 - 3*h. Let y(t) = g*a(t) + 4*l(t). Is y(-3) a composite number?
False
Suppose 5*i + 11 - 31 = 0. Suppose i*f - 487 - 100 = -3*m, -f = m - 146. Is f composite?
False
Let p(a) be the first derivative of -7*a**2/2 + a - 4. Is p(-6) a prime number?
True
Let d(f) be the second derivative of 2*f**4/3 + f**3 + 7*f**2/2 - 4*f. Is d(6) a composite number?
False
Let v(i) = i - 1. Let k be v(4). Let a = 3 + k. Suppose 2*p - a = 56. Is p composite?
False
Is 242640/100 - (-2)/(20/6) a composite number?
True
Let w be 3/(20/(-8) + 4). Is 128 + w - 3/1 prime?
True
Suppose -6*d + 8*d = 2654. Is d prime?
True
Suppose -4*r - t = -5*t - 2104, -t = -2*r + 1055. Is r prime?
False
Suppose 0*m = -2*m + s + 679, -5*m + 1696 = -s. Is m composite?
True
Is (-9082)/(-8) - ((-108)/16 - -7) a composite number?
True
Is 1925/28 - 2/(-8) a prime number?
False
Suppose 3*m - 10 + 4 = 0. Let v be m/(-8) - 386/(-8). Suppose -2*p + 5*a = -168, p + a - 29 = v. Is p prime?
True
Let t = 7 - 7. Is 103 + (t - 3) + -3 prime?
True
Is (85/(-25) - (-9)/(-15)) + 51 composite?
False
Let i(f) = -f + 3. Let k be i(4). Is ((-28)/(-16))/(k/(-4)) a composite number?
False
Let i = -233 - -555. Suppose -3*d + 5*d = i. Is d a composite number?
True
Let t be (3/(-6))/(3/24). Let q be 2/t + 10/4. Suppose 0 = -2*s + 3*w + 323, -813 = -4*s - s + q*w. Is s a prime number?
True
Suppose 150 = -5*m - 3*a, -m - 3*m = -4*a + 120. Let y be (-4)/10 + (-110)/(-25) - -9. Let s = y - m. Is s prime?
True
Suppose 3*h - 5*t - 125 = -40, 0 = 2*h + t - 74. Is h a prime number?
False
Is 58*(1 + (-1)/(-2) + 19) a composite number?
True
Let f(y) = 8*y**2 + 4*y. Let z(r) = -2*r**2 + 4*r. Let p be z(3). Let d be f(p). Let s = d - 119. Is s composite?
True
Suppose -5*a + 0*c + 9 = 4*c, 3*a = 3*c. Is a/(-1 + 26/25) a composite number?
True
Suppose 2 = -k + 2*u + 17, -5*k + 15 = 2*u. Suppose -1633 = -k*y - 638. Is y a prime number?
True
Suppose 0 = -13*n + 12*n - 4*i + 1686, -3*n + i = -5123. Is n a composite number?
True
Let b be (-5)/10 + (-29)/(-2). Suppose -5*a - 3*d + 46 = -16, -b = -a - d. Let q = a - -13. Is q a composite number?
False
Suppose 2*m = 3*y - 8*y, -m = -y + 7. Suppose 74 = y*o - 7*t + 3*t, -4*o = -2*t - 142. Is o a composite number?
True
Let n = 106 - 39. Is n composite?
False
Suppose -4*i + 6 = -2. Let g(j) = j**3 - 12*j**2 - 4*j - 28. Let n be g(12). Is (n/i)/(-3 - -1) prime?
True
Let h = -30 - -86. Is 2/3 - h/(-6) a composite number?
True
Let j(y) = -4*y**3 + y + 4. Let k be j(-3). Let u(s) = 5*s**2 + 7*s - 13. Let d be u(9). Suppose -k = -2*r - 2*o + 73, 5*r - d = -3*o. Is r composite?
True
Let f = 8 - 5. Suppose 0 = 3*x - f*t + 2 + 1, 3*x = 4*t - 4. Suppose 2*c - 3*c + 1 = x, 0 = r + 2*c - 45. Is r prime?
True
Suppose -4*y - 23 + 7 = 0. Let o be (-1692)/(-27)*(-1 - y). Suppose 0 = -3*x + 7 + o. Is x composite?
True
Let z be (5/10)/(1/278). Let t = 282 - z. Is t a composite number?
True
Let o = 4 + 4. Suppose 3*i = i + o. Let l(u) = 2*u**3 - 5*u**2 - 3*u + 1. Is l(i) a prime number?
True
Is (-444)/(-1) + (-1)/(-1) composite?
True
Let h(r) = 3*r**2 + 6*r + 7*r**2 + r**3 - 2*r**2 + 2. Let g(p) = p + 6. Let y be g(-12). Is h(y) a composite number?
True
Let f = 393 - -884. Is f a composite number?
False
Let g(p) = -2*p**3 - 19*p**2 - 15*p - 14. Let s(l) = -3*l**3 - 29*l**2 - 23*l - 21. Let y(f) = -8*g(f) + 5*s(f). Let x = 2 - 8. Is y(x) prime?
True
Let p(z) be the second derivative of z**5/20 - z**4/3 - z**3/2 - 3*z**2 - 3*z. Let l be p(5). Let j(x) = 6*x + 2. Is j(l) composite?
True
Suppose -2*j = 46 - 710. Is j*3/24*2 a composite number?
False
Let z = -307 - -570. Is z prime?
True
Let n(i) = -i**2 - 15*i + 5. Is n(-10) a prime number?
False
Let i be 26/8 + 1/(-4). Suppose -199 - 92 = -i*a. Is a a composite number?
False
Suppose -4*o = -2*o - 154. Let b = o + -40. Is b a prime number?
True
Let i(u) = -15*u**3 - 2*u**2 + 1. Let y = -1 - 1. Is i(y) a prime number?
True
Let d(c) = -c**2 + 4*c + 7. Let v be d(5). Suppose 2*r = 0, -4*r - 195 = -3*l - v*r. Is l a prime number?
False
Suppose -y - 1 = 3*q - 3, -4*y + 2*q + 22 = 0. Suppose y*g = -0*f + f + 23, 3 = -f. Is (-38)/g*-2*1 a composite number?
False
Suppose 5*t - 2846 = 3119. Is t composite?
False
Let a(d) = -d**3 - 8*d**2 + 11*d + 9. Is a(-11) a composite number?
False
Let h(c) = 49*c**2 - 8*c - 6. Is h(-5) a composite number?
False
Suppose g = -160 + 587. Let f = g + -296. Is f composite?
False
Let b(d) be the second derivative of -d**5/20 + d**4/12 + d**3/6 + 53*d**2/2 - 3*d. Is b(0) a prime number?
True
Let f(m) = 110*m + 21. Is f(7) composite?
True
Suppose 0 = -19*a + 15*a + 1572. Is a composite?
True
Is 410/2 - (8 + -5) prime?
False
Let b be 7/3 - 6/18. Suppose 3*j = -4*i + 6, -j - 3*i - 2*i = -2. Suppose -b*k - j*k + 196 = 0. Is k a composite number?
True
Let y(n) = -n**3 + 2*n**2 + n + 1. Let f = -4 + 6. Let i be y(f). Let g = i - -8. Is g composite?
False
Let p be ((-13)/(-4))/((-1)/(-8)). Suppose -3*h = -13 - p. Is -7*(1 - (h - 1)) prime?
False
Suppose -5*x - 5*z + 4160 + 1055 = 0, -4*x = -5*z - 4172. Is x prime?
False
Let o(t) = 7*t**2 - t + 12. Let b(y) = y**2 - 1. Let p(n) = -6*b(n) + o(n). Is p(8) prime?
False
Suppose 4*u - u + 11 = -p, 5*u + 2*p + 20 = 0. Let r(n) = 8*n**3 + 2*n**2 - n - 1. Let d be r(u). Is (d - -2)*(-2)/2 composite?
False
Let c(o) = -38*o**3 + 4*o**2 - 2*o - 1. Let m(b) = 38*b**3 - 3*b**2 + 2*b + 1. Let s(u) = -5*c(u) - 6*m(u). Is s(-1) prime?
True
Let j be ((-2)/(-1))/((-5)/(-10)). Suppose -j*s = -7*s + 30. Is s prime?
False
Let z be 1/(-2) - 5/10. Let h = z - 1. Is -1 + (-24)/(6/h) prime?
True
Let b(o) = -27*o - 5. Let m = -19 + 9. Is b(m) a prime number?
False
Let t = 477 + -314. Is t a composite number?
False
Let i(m) = -7*m**2 + 7*m + 2. Let p(h) = 8*h**2 - 8*h - 3. Let q(r) = -4*i(r) - 3*p(r). Is q(-6) prime?
False
Suppose -4*r + 5*n + 8097 = -0*r, 5*r - 10110 = 4*n. Is r a prime number?
False
Suppose -x - 2*m = -27, -3*x + 2*m - m = -95. Is x prime?
True
Suppose -3*o + 3*v = -327, 0 = -0*v - 4*v + 8. Is o a composite number?
True
Is -201*4/(-8 + -4) a prime number?
True
Suppose -2*c + 7814 = -4*f, -3*c + 3907 = -2*c + 4*f. Is c composite?
False
Let n(d) = 