 2 = y. Let z = 39 + y. Is z a prime number?
True
Suppose -16*g + 21578 = -14*g - 3*l, -5*l = 3*g - 32329. Is g a prime number?
False
Is -3*((-63390)/(-9))/(-5) prime?
False
Suppose -9888 = 15*m - 79443. Is m a composite number?
False
Suppose -v = -4*v + 3. Is v - -30 - (7 + -11) prime?
False
Let p(u) = 5*u**3 + 5*u**2 + 5*u - 329. Let o(b) = -b**3 - b**2 - b. Let f(y) = -6*o(y) - p(y). Is f(0) a prime number?
False
Let m = 250 - 170. Let g be (6/(-5))/((-24)/m). Suppose 4*d = -g*f + 1052, 51 = 5*d + 3*f - 1272. Is d a composite number?
True
Suppose 4*z - 2*k - 14 = 0, -5*z + 5*k = -4*z + 1. Suppose 901 = z*p - l, -2*p - 1127 = -7*p + l. Is p composite?
True
Suppose -37*p + 1477 = -36*p. Suppose p = -s + 8*s. Is s a composite number?
False
Let c(t) = t**3 + 7*t**2 - 2*t - 12. Let r(m) = m + 4. Let x be r(-11). Let z be c(x). Suppose z*g = 6*g - 1516. Is g composite?
False
Suppose 0*c = -2*c + 74. Suppose 0*g = 8*g - 368. Suppose n - g - c = 0. Is n a prime number?
True
Is -4 + (-16)/(-4) + 3691 a prime number?
True
Let h(l) = 7*l**2 - 92*l - 14. Is h(38) a composite number?
True
Suppose 4*f + 5*p - 2587 = 0, 4*p - 354 = -4*f + 2238. Suppose -3*j = 4*l - 832, 5*j = -3*l + 6*l - f. Is l a prime number?
True
Is 1087 - (37 + -2)/7 a composite number?
True
Let i = -5436 - -9112. Suppose -8*j = -4*j - i. Is j a composite number?
False
Let j = 9484 - 5103. Is j a composite number?
True
Let q = 1286 - 1891. Let t = -114 - q. Suppose -5*z + 3*u + 5199 = 0, 0 = z + 4*u - t - 558. Is z a prime number?
False
Let u be (-11*(-4 - -6))/(-1). Suppose -3*y - 3*x + 7 - 37 = 0, 5*x - u = y. Is ((-379)/(-3))/((-4)/y) composite?
False
Suppose 0 = -377*f + 387*f - 480. Let t(h) = -101*h + 1. Let q be t(-2). Let z = q - f. Is z a prime number?
False
Let j(x) = -11*x - 31. Let f be j(-19). Suppose 16*w - 14*w - f = 0. Is w prime?
True
Suppose -2*x = 12*x - 14. Let p(b) = 106*b**3 + b**2 + 2*b - 3. Is p(x) a composite number?
True
Let v(y) = -y**3 + 21*y**2 - 25*y - 19. Is v(14) a prime number?
False
Let f(k) = 40 - 1511*k - 4 + 12 + 4. Is f(-5) a prime number?
True
Let t(q) = 14*q**2 - 141*q + 40. Is t(27) a prime number?
False
Let y(l) = 14*l**3 - l**2 - 4*l + 1. Let f be y(4). Suppose u + f = -12. Let j = u - -1230. Is j a prime number?
True
Is (-2)/6 + 653914/93 prime?
False
Is 6/20*-2 - 2597370/(-75) a prime number?
True
Let k = -22 - -4. Let f = -14 - k. Suppose -2*h + n - 131 = -f*h, -326 = -5*h - 3*n. Is h composite?
False
Suppose w = 5*n - 9, -39 = w + 3*n + 2*n. Is 16/w + 3656/3 + -1 composite?
False
Let x(i) = i**3 + 2*i**2 - 2*i - 3. Let r be x(-3). Let s = r - -11. Suppose -4*c + 5*z = -120, c - s*z + 195 = 6*c. Is c a composite number?
True
Let v = 67 - 65. Let h(m) = 393*m**3 + 2*m**2 + 3. Is h(v) prime?
False
Let j = -26 - 144. Let x = -60 - j. Suppose -11*b + 6*b = -x. Is b composite?
True
Let k(i) = 2340*i - 7. Is k(1) a composite number?
False
Let v be (-2)/3*1*(-42)/4. Is -1*v/28 - 39570/(-8) composite?
True
Suppose -5*m - 4*t = -0*t + 131, t = -3*m - 80. Let i = m - -33. Is ((-9)/i)/(6/(-140)) a composite number?
True
Suppose 10*d + 10 = 5*d. Let f(k) = -k**3 - 2*k**2 - 2*k - 1. Let r be f(d). Suppose -z + 294 = 4*p, 115 = r*p + 2*z - 103. Is p composite?
True
Suppose -a - 3*s = -102525, -26 = -5*s - 6. Is a composite?
True
Suppose -3*c - 170 = -8*c - 4*x, -4*c + 136 = x. Let r = c - -25. Is r a composite number?
False
Let c be 15547/(-63) + (-1)/(9/2). Let j = c - -438. Is j a composite number?
False
Let t(h) = -218*h + 8. Is t(-3) a prime number?
False
Suppose 0 = -8*i + 3*i. Suppose 3*a - 486 - 1905 = i. Is a a composite number?
False
Suppose 2*u - z - z - 154 = 0, -u - 2*z = -92. Let t = u + 177. Is t a composite number?
True
Let z be (-20370)/(-56) - 1/(-4). Let i = 671 - z. Is i a composite number?
False
Let f be 15/(-25) + 2/5*-51. Is (-3)/f*-3*(-1 + -6) a prime number?
True
Let j(q) be the first derivative of -115*q**2/2 - 2*q + 4. Is j(-5) a composite number?
True
Is (-4*318/24)/(-1) a prime number?
True
Suppose -4*h = 4, -3*v + v + 2*h = -960. Is v a composite number?
False
Suppose -2*n + 18 = -l - 63, 219 = -3*l - 2*n. Is 105/l*(-2 + -263) composite?
True
Let n be -3 + 3 + 4 + 2959. Suppose p - 5*r - 174 = 407, -4*r + n = 5*p. Suppose -800 = -4*q + 3*v, -4*q + p = -v - 217. Is q a prime number?
False
Let z = -35 - -133. Suppose 3*o - 4*b - z = 111, 277 = 4*o - 5*b. Suppose 3*n = 114 + o. Is n a composite number?
False
Is -74*(2 + 1596/(-8)) - -2 composite?
True
Let d(s) = -5 + 5*s + 4 + 15*s**2 + 4. Let b(x) = x + 3. Let y be b(-8). Is d(y) a prime number?
True
Let t = -53 + 61. Is 1/((t/12)/(6772/6)) a composite number?
False
Let n be (37*-3)/(8/240). Let k = 2215 - n. Is k composite?
True
Let p(k) = k**2 - 5*k + 35. Is p(-11) a prime number?
True
Suppose -11 = -3*z - 29. Let b(v) = -v**3 - 7*v**2 - 8*v - 7. Let y be b(z). Suppose -w + 4*q + 10 = q, 4*q = -y*w + 107. Is w composite?
False
Suppose -v - 2 + 13 = 0. Suppose -v*t = -6*t - 215. Is t a composite number?
False
Let q = 12346 - 3837. Is q composite?
True
Is (5/(-20))/((-13)/1008124) a prime number?
True
Let a(t) = -382*t - 113. Is a(-7) composite?
True
Let i(q) be the third derivative of 7/24*q**4 + 2/3*q**3 + 1/120*q**6 + 0*q + 0 + 5*q**2 + 3/20*q**5. Is i(-7) a composite number?
False
Let g(p) = p + 9. Let w be g(-5). Suppose -n + 3269 = 4*m, m + w*n - n - 809 = 0. Is m a composite number?
True
Is (-2)/21 - (-1791724)/924 prime?
False
Let t(n) = 7*n**2 + 16 - 3*n**2 - 8*n + 2*n - 5. Let a be t(5). Suppose f - a = -2*v, 0 = 2*v - 2*f + 41 - 137. Is v prime?
True
Suppose 0*r = -8*r + 38832. Suppose -15*z + r = -9*z. Is z a prime number?
True
Let k be 2 + -2 - (-128 - -4). Let i = k + 12. Let q = i - -30. Is q a composite number?
True
Suppose -3*x + 6*x = -m + 49, 0 = -5*x - m + 79. Let h be (-21)/x + 3/(-5). Is h/(-8) - 9036/(-16) a composite number?
True
Let t(y) = 4*y + 763. Let w be t(0). Let u = w - 470. Is u composite?
False
Suppose -152 = -2*i - 0*i. Suppose -i = 3*z + 206. Let u = 239 + z. Is u a prime number?
False
Let c(v) = 81*v - 60. Let l(z) = 81*z - 61. Let n(h) = 4*c(h) - 5*l(h). Is n(-16) a composite number?
False
Suppose 2*w + 2*w - 28 = 5*i, 21 = 3*w + 2*i. Suppose 4195 = 3*s + n, w*s - 6989 = 2*s - 3*n. Is s a composite number?
False
Suppose -20*s + 17*s = -1563. Is s prime?
True
Is ((-2)/3)/(4 + (-217996)/54498) a composite number?
True
Suppose -8*c = -52709 - 48075. Is c a prime number?
False
Let m(v) = 45*v**3 + 2*v**2 - 6*v - 6. Let p(d) = -90*d**3 - 4*d**2 + 12*d + 13. Let g(j) = 9*m(j) + 4*p(j). Is g(3) prime?
True
Let r = 331 + -1897. Let t = -1085 - r. Is t composite?
True
Let b be (39/(-6))/((-2)/8). Let w = b - 29. Is w/8 + 42713/88 composite?
True
Let w be 575510/133 - -2*(-1)/14. Let j = -2596 + w. Is j a prime number?
False
Let r(z) be the second derivative of z**5/20 + z**4/3 + 2*z**3/3 + 3*z**2/2 - 5*z. Let a be r(-3). Is a - -1 - (-1 + -80) a composite number?
True
Let q(k) = -17*k**2 + 0*k - 9*k - 2*k + 3*k - 9 + k**3. Let g be q(19). Suppose -15*n + 18*n - g = 0. Is n a composite number?
True
Suppose -m + 2 + 2 = 0. Suppose -h - 30*h = -62. Is (3314 + 0)*h/m a prime number?
True
Let l = -10 + 12. Suppose -4*b = -12, -l*b = -2*m - 2*m + 6. Suppose m*o + 4*i - 582 = 5*i, -i = 0. Is o a composite number?
True
Suppose 4*k + 25 = 9*k. Suppose k*t = -5, d + 4*t = -0*t + 303. Is d prime?
True
Let y = -1672 + 3009. Is y composite?
True
Let s(l) be the first derivative of 19*l**2/2 - 7*l + 7. Let b be s(-16). Let q = b - -832. Is q a prime number?
True
Let n be (2 - 12)*(-28)/(-35). Let z = -106 + 18. Is (-2750)/z + 2/n prime?
True
Let m = 12363 - 8494. Is m a composite number?
True
Suppose 4*t - 4*s + 105972 = 347036, 0 = 5*t - 4*s - 301335. Is t composite?
False
Suppose 4*n - 16 = 8*n. Let d be (-38 + 0)/(n/22). Suppose d = 3*a - 2*h, a = -0*a + 2*h + 75. Is a prime?
True
Suppose 5*k - 36 = 4*g, -4*g - 7*k + 3*k = 0. Is 4 + -3 - 120/g prime?
True
Let h(o) = 246*o**2 - 4*o + 111. Is h(-11) a composite number?
False
Suppose -21*o + 66278 + 220225 = 0. Is o composite?
True
Is 1551/3 - (-2 + 5 - 3) a composite number?
True
Suppose -12*p = -14*p + 42906. Is p composite?
True
Let c = 1324 - 308. Suppose 0*b - 4*b = -4*v - 128, 4*b + 5*v - 92 = 0. Sup