 a composite number?
False
Suppose 0 = -6*d + 2*d + 20. Let a = -1 + 1. Suppose -d*r = -a*r - 105. Is r composite?
True
Let m = -2 + 2. Suppose 5*d - 335 = -m*d. Is d a composite number?
False
Suppose 3*y = 3*x - 5 - 577, 4*x + 2*y - 806 = 0. Is x composite?
False
Suppose 0 = -3*k + k - 2. Let w = 4 + k. Suppose 4*d - 54 = -v, w*v + 6 = -0*v. Is d a prime number?
False
Suppose -460 = -3*f - 2*f. Is -1 + (2 - 4) + f a prime number?
True
Is 3354/15 - 3/5 prime?
True
Let c be (-2)/4 - (-39)/(-6). Is 57*2*c/(-6) prime?
False
Let j(p) = -p**3 + 6*p**2 + p + 2. Let l be j(6). Let g(n) be the second derivative of n**3/6 - 2*n**2 - 5*n. Is g(l) prime?
False
Is 1*1038 + (-5 - -8) a composite number?
True
Suppose -150 = 4*p - 526. Is p composite?
True
Suppose 5*x + 3*g - 17 = 0, 2*x - 2 + 12 = 3*g. Suppose x = -5*l - 2*v, -3*l - 5*v = -0*l - 7. Let o = 2 - l. Is o a prime number?
True
Let w be (-2)/(-2)*4 + -1. Suppose 0 = 4*h - 12, -3*h = w*g - 0*h - 138. Is g prime?
True
Let y = 14 - 10. Suppose 5*i - 85 = -y*z, 4*i + 50 = 5*z - i. Is (-318)/4*(-10)/z prime?
True
Is 5754/(-12)*(-3 - 1/(-1)) a composite number?
True
Let f(t) = t**3 + 4*t**2 + 3*t + 2. Let x be f(-3). Let m = 94 - -544. Suppose 5*i + 313 = x*l, m = 4*l + i + i. Is l a composite number?
True
Let q(t) = -t**3 + 6*t**2 + 7*t - 6. Let c be q(7). Let s(h) = h**3 + 7*h**2 + 3*h + 7. Is s(c) composite?
True
Let r = 1 - -1. Let w be (1/r)/(3/24). Is 1270/(-15)*(-6)/w composite?
False
Suppose 5*j = 5*n - 270, -j = -4*n - 3*j + 210. Is n a prime number?
True
Let o(d) = -73*d**3 - d**2 - 4*d - 1. Is o(-2) a prime number?
True
Suppose 0 = 6*g - 3*g. Suppose 0 = 5*f - 3*d - 341, g = -3*f - 5*d - 76 + 267. Is f composite?
False
Let v(t) = t**2 + 14*t - 57. Is v(26) a composite number?
False
Let r(m) = 112*m**3 - 2*m**2 - m + 2. Is r(1) a prime number?
False
Suppose 0 = 2*w, -5*u = -u - 2*w - 40. Suppose -u = -p - 0*p. Suppose -20 = -5*d, 3*m + p - 91 = -3*d. Is m composite?
False
Let u = 139 + -198. Let n = -6 - u. Is n prime?
True
Let h(d) = -d**3 + 16*d**2 - 7*d - 7. Is h(14) a prime number?
False
Let t = 22 - 23. Let n(u) = 82*u**2 - 2*u - 1. Is n(t) a prime number?
True
Suppose 0*z - z + 6 = 0. Let f = z + -7. Is f/(-4) - 246/(-8) a prime number?
True
Let d = 2 - -3. Suppose -5*q + 3*t = -0*t - 178, d*q - 2*t = 177. Is q a prime number?
False
Let j(l) = -l**3 - 3*l**2 - l - 5. Let u be j(-6). Suppose -u = 4*o - 537. Suppose -d + o = -0*r + 5*r, -2*r = -5*d - 32. Is r composite?
True
Is 4/(-34) - (-10797)/17 a composite number?
True
Let w(d) = -d**2 - 13*d - 5. Let h be w(-8). Suppose o - h = -2*n + 43, 0 = -3*n + 6. Is o composite?
True
Is (-8)/(-18) + (-376764)/(-108) prime?
False
Let l(t) = 12*t - 7. Is l(5) composite?
False
Suppose 9 = 9*f - 6*f. Suppose -z - f*z - 115 = -q, -5*q = -4*z - 623. Is q a composite number?
False
Let l be 30/9 + (-1)/3. Suppose 4*p + u + 0*u - 27 = 0, -l*u = 15. Let c = p - 5. Is c composite?
False
Let c(k) = k**2 - 2*k + 719. Is c(0) composite?
False
Let n(z) = 10 + 4*z - z - 3*z - z. Let t be n(0). Is 47*2*5/t a composite number?
False
Let a = -21 + 110. Let j be (-2)/(-7) + (-86)/7. Is (a/(-4))/(3/j) a composite number?
False
Suppose -3378 = -5*c - 653. Suppose -j = -6*j + c. Is j a prime number?
True
Suppose 2*j = -9 - 9. Suppose -2*m + 7*m + 135 = 0. Is 6/m - 1847/j a composite number?
True
Let f be 4/(-14) - 2/(-7). Suppose 2*z - 2 = -f. Is 75 - 0/z - -2 prime?
False
Let m be 10/25 - (-106)/10. Suppose -4*a + 3*r = m - 3, 0 = -2*a - 2*r - 4. Is (a/3)/(8/(-636)) a composite number?
False
Let x(u) = u**3 - 7*u**2 + 8*u - 9. Let l be x(6). Suppose 3*r - 26 = -3*q + 49, l*q = -2*r + 71. Let c = q + 17. Is c composite?
True
Suppose -2*q - 5*n = -q - 129, 5*q - 4*n = 616. Suppose -z + 127 + q = 0. Is z composite?
False
Let j be 4980/(-36) + 4/(-6). Let r = 154 - j. Is r prime?
True
Let v = 267 + -144. Is v a prime number?
False
Let x = -2 - -2. Suppose x = -y - 4*y - 20. Is (-10)/y*(-2 + 8) prime?
False
Suppose 5*d - 640 - 165 = 0. Is d a composite number?
True
Suppose 0 = t - 3*t + 10. Suppose q = 3*h - 3*q - 85, -t*h = 2*q - 185. Is h prime?
False
Let d = 242 + -171. Let f = d - 43. Suppose f = 4*i + 4*x, 3*i - 5*x = -2*i + 25. Is i a prime number?
False
Let v(b) = -b**2 + 1. Let i be v(-1). Suppose i = 5*n + o + 4*o - 1035, 5*n - 1051 = -o. Is n a composite number?
False
Suppose -2*h + j + 510 = 0, -3*h + 0*j = 3*j - 747. Is h composite?
True
Suppose f = -3*m + 20 + 65, 395 = 4*f + m. Let w(l) = -l**3 + 5*l**2 - 2*l - 4. Let p be w(4). Suppose 3*j = 6*j - r - f, p*j - 115 = 5*r. Is j composite?
True
Is (-4 + 2 - -5) + 6136 prime?
False
Suppose -o = 5, 0*v + 2*o = -3*v + 128. Suppose 3*z - v = -b, -10 = 3*b - 4*z - 161. Is b a composite number?
True
Let m be (3 - -81)*2/4. Let h(g) = -5*g + 2. Let s be h(-3). Let y = m - s. Is y prime?
False
Suppose -3410 = 4*v - 14*v. Is v composite?
True
Let a(g) = 80*g - 9. Is a(8) a prime number?
True
Is ((-254)/(-4))/(12/24) prime?
True
Let c(m) = m**2 + 10*m - 1. Let r be c(7). Suppose k - r = -k. Is k a composite number?
False
Suppose 0*q - q = -2. Is -15*(1 + -2) - q a composite number?
False
Let o be (2/(-4))/1*6. Let h be ((-2)/(-2))/((-1)/o). Suppose 0*u + h*u = 267. Is u prime?
True
Let y(g) = -4*g**3 + g**2 + 1. Let w be ((-16)/12)/((-4)/(-6)). Let a be y(w). Let r = -18 + a. Is r a composite number?
False
Let q = -2 - 0. Let w be (q + 3)*0/2. Suppose 38 = 2*b + s, w*b + 2*s = 4*b - 76. Is b composite?
False
Suppose -14 = -4*j + 3*g, 0*j + 2*j = -2*g + 14. Suppose 44 = -5*p - 4*n - 30, -j*n = -5*p - 65. Is 2/(-7) + (-522)/p composite?
False
Suppose -7*s + 1665 = -2*s. Suppose s = 4*k + 121. Is k prime?
True
Suppose 2*o + 3*b + 9 = 0, 4*o - 5*b = -0*b + 15. Suppose t = w + 4*w + 27, o = 3*t - 3*w - 69. Is t a prime number?
False
Suppose 6822 = -2*i + 8*i. Is i a prime number?
False
Is (20 + 3)/(((-6)/(-87))/2) composite?
True
Let g(f) = -120*f**2 + 6*f - 4. Let j be g(4). Is 2/(-5*8/j) prime?
False
Let q = -10 - -24. Is q a composite number?
True
Let z(j) = -j - 2. Let r be z(-6). Suppose 0 = -c - 3*p - 2, -r*c + 2*p = -p - 7. Is (2/4)/c*70 a composite number?
True
Let h be (-4)/(-8) - (-46)/4. Suppose 3*u = -n + h - 3, 0 = -4*u + 5*n + 31. Is u composite?
True
Let n(h) = 202*h**3 - 2*h + 2. Is n(1) composite?
True
Let l(x) = -166*x. Let c(o) = -165*o - 1. Let q(m) = 5*c(m) - 6*l(m). Is q(2) a composite number?
False
Let f(p) = 0*p**2 - 2*p - 4*p**2 + 3 + p**3 + 7*p**2. Let k be f(-3). Let c = k + 12. Is c a prime number?
False
Let b(s) = s + 7. Let d be b(-5). Suppose -d*x = -i + 9, -i + 6*i - 56 = -x. Is i a prime number?
True
Suppose 3*r = -0*r + 33. Suppose 5*f = -s + r, -3*f - 2*s = -3*s - 13. Suppose 3 + 90 = f*w. Is w a composite number?
False
Suppose -u = -6*u - 10, -5*d - 5*u = -200. Suppose -2*f - 4 = -d. Is f prime?
True
Let g = 1027 + -374. Is g a composite number?
False
Suppose 5*n - 30 = 165. Suppose 4*o = o + n. Is o a prime number?
True
Let r(w) = -22*w**3 - w**2 + w + 1. Let z be 1*(1 + 1 - 1). Suppose -2*k = -8, 0*k + z = 3*f + k. Is r(f) composite?
True
Let a(m) = -m**2 + 3*m - 1. Let g be a(4). Let o be 782/4 - g/(-10). Suppose 5*h + 2*n = 331, -h = 2*h + 3*n - o. Is h composite?
False
Let v = 23 - 2. Is v prime?
False
Let m(w) = w**3 + 9*w**2 - w - 6. Let x be m(-9). Let r be x + 0/(-3) + 3. Is r*1*10/4 a prime number?
False
Let b = 93 + -37. Let y = b + -28. Is 42/4*y/21 prime?
False
Is 4/32 + (-19612)/(-32) composite?
False
Suppose -2*z - 30 = -4*z + 4*d, -4*z + 2*d = -30. Suppose -z*n + 84 = 19. Is n composite?
False
Is (2395/20)/((7/(-20))/(-7)) a composite number?
True
Let i(h) = h**3 + 6*h**2 + h - 6. Let d be i(-5). Let b = d + 5. Is b prime?
True
Let r(q) = -q**3 - 6*q**2 - 3*q + 9. Suppose -23 = 4*z - 5*m, -3*z - 14 = -2*m + 5. Is r(z) a prime number?
True
Suppose -546 = -2*p + h - 42, 2*p - 496 = -3*h. Is p prime?
True
Let p(x) = -16*x**3 - 2*x**2 + 2*x + 3. Is p(-2) composite?
True
Suppose -2*o - 3913 = -5*v, -o - 9735 = 4*o - 3*v. Let t be -2 + 0 + o/(-4). Let k = t + -339. Is k a composite number?
True
Suppose 5*b - 16079 = 2*v, 4*b - 13749 + 893 = 4*v. Is b composite?
False
Suppose 2*o = -5*w + 16, 0 = -4*w + 3*o - o + 20. Suppose -w*z - 45 = -7*z. Is z composite?
True
Suppose -3