**2 - 3*l - 4. Let b be q(3). Suppose 4*j - 2*i = b, -2*i - i + 121 = 2*j. Is j composite?
True
Let b = -265 - -113. Is (-2)/6*(-7 + b) composite?
False
Let g be (-4 - -2) + (-1 - -2). Let f = g + 0. Is f/((-3)/102 - 0) a prime number?
False
Suppose -b - p = -10, -25 = -0*b - 2*b - 3*p. Suppose 2*q + 78 = 2*l, -5*l + b*q + 90 = -3*l. Is l a prime number?
False
Let o(y) = 71*y - 2. Is o(3) a composite number?
False
Suppose -4*j - 10 = -26, -4*k + 5*j - 8 = 0. Suppose c = -k*c + 28. Is c a composite number?
False
Let v = -25 - -110. Is v a composite number?
True
Let p(f) = -f**2 + 5*f - 4. Let r be p(4). Suppose 2*v = -5*x + 30, -4*x + 8 + 8 = r. Suppose 0*a - 5*c + 195 = 4*a, 0 = -v*a - 5*c + 250. Is a prime?
False
Is 686 - 0 - 6/(-2) composite?
True
Suppose 3*i + 0*i + 430 = 5*g, -3*g + 264 = -3*i. Is g a prime number?
True
Let f = 6 - 1. Suppose 4*j - 58 + 13 = -3*k, 0 = -j + f*k + 40. Is j prime?
False
Let u = -5 - 1. Is (-2)/u - 528/(-9) a composite number?
False
Let o be 1228/(-20) - (-4)/10. Let r = 94 - o. Is r prime?
False
Let p be 6/9*-3*-1. Suppose p*q - 7*q + 295 = 0. Is q composite?
False
Let c be (-1490)/4 - (-24)/16. Let z be c/14*(1 - 3). Suppose -z = -u - y, -2*u + 279 = 3*u - 2*y. Is u composite?
True
Let p = 1311 + -340. Is p composite?
False
Suppose -w + 5 = -0. Is 534/8 - w/(-20) composite?
False
Suppose c - 5 = -3*z, 4*z = -c - 0*c. Suppose -2*a = -2*f + c, 0 = 5*f - 4*a - 34 - 17. Is f prime?
True
Let s(n) = -n**2 - 6*n + 9. Let y be s(-7). Is (-973)/(-21) - y/6 a composite number?
True
Suppose -1 = -0*h + h, 3*h = 2*w - 625. Is w a composite number?
False
Suppose -304*w + 50980 = -300*w. Is w prime?
False
Let l(m) = 2*m**2 + 29*m + 20. Is l(-21) composite?
False
Suppose 0*l + l = 5*p - 21, -2*l - 5*p = -3. Let t(r) = -3*r**3 - 3*r**2 - r - 2*r**2 - 5 + 2*r**3. Is t(l) a prime number?
True
Let d be ((-14)/(-21))/(1/6). Suppose -5*z + 5 = -5*w, -3*z = 2*z + w - 23. Suppose 18 - z = 3*q - d*p, 25 = 4*q + p. Is q a prime number?
False
Suppose -6 = -0*w - 2*w. Let f = w + -3. Suppose 5*n - 27 = 2*j - 3*j, -5*j - 4*n + 219 = f. Is j a composite number?
False
Let c(v) = 35*v + 3. Let z be c(3). Suppose -5*t = -15, 0 = -5*q - t - 0*t + z. Is q composite?
True
Let y = 277 - 545. Let v = -181 - y. Is v composite?
True
Let n = -7 - -9. Suppose 7*c - n*c - 35 = 0. Is c a composite number?
False
Let o be (-12)/20 - (-16)/10. Let u(b) = 2*b**2 + b. Is u(o) composite?
False
Is -4 - (-40 - -3)/1 prime?
False
Let r(n) = -3*n**3 + n**2 - n - 1. Let j be r(-1). Suppose 0 = -5*x - 3*z + 458, -610 + 248 = -j*x + 2*z. Is x composite?
True
Suppose 3*b + 2*s - 1566 = 5*s, 5*b - 2604 = -s. Is b a composite number?
False
Let q be (198/(-45))/(1/(-20)). Suppose 1 - q = -w. Is w composite?
True
Let o(p) be the second derivative of 0 - p - 1/6*p**3 + 1/12*p**4 - 5/2*p**2. Is o(-4) composite?
True
Let v(k) = 49*k. Let p be v(1). Let t = -26 + p. Is t a composite number?
False
Let u = 36 - 69. Suppose p = 6*p, 0 = 2*t + 5*p - 112. Let n = t + u. Is n composite?
False
Let l(n) = -3*n**3 + n**2 - 2*n - 2. Let s = 5 - 8. Is l(s) composite?
True
Let v = 12 + 47. Is v composite?
False
Let t(a) = -2*a**2 - 16*a - 11. Let f(j) = 2*j**2 + 15*j + 10. Let s(l) = 6*f(l) + 5*t(l). Is s(-7) a prime number?
False
Let j = -5 - 1. Is (4 - j)/(6/33) a prime number?
False
Let b be 20/(-25)*(-10)/4. Is b/3 + 670/30 composite?
False
Suppose -3 = 2*v - 7, -5*s - 5*v = -80. Let h be 0/(1*-2) + 6. Suppose s = -h*t + 7*t. Is t composite?
True
Suppose 0 = -5*m - 1 + 16. Suppose -m*i = -104 - 73. Is i composite?
False
Let r(q) = -232*q**3 - 3*q**2 - 6. Let a be r(3). Is a/(-27) + (-10)/45 a prime number?
True
Let i(t) = 2*t**3 - 2*t**2 - 8*t - 1. Is i(8) a composite number?
True
Suppose -2*k = -176 + 38. Suppose 2*s - 113 = k. Is s a prime number?
False
Let n(c) = 26*c + 1. Suppose -3*y - 2*w = w - 15, -3*w + 15 = -2*y. Suppose y = -2*x - 2*x + 8. Is n(x) a prime number?
True
Let c be 3/(-6) - (-11)/2. Suppose 3*b + 4*w - 255 = 0, 2*b - c*w = 4*b - 170. Is b composite?
True
Let o = 378 - 225. Let b = -106 + o. Is b a prime number?
True
Let w(f) = 2*f + 5. Let q(k) = k + 4. Let z(c) = -3*q(c) + 4*w(c). Suppose -2*l + 4*t + 16 = 0, -2*l + 15 = -8*t + 3*t. Is z(l) a prime number?
False
Let s be ((-2)/(-3))/(2/(-183)). Let b = s - -95. Is b a composite number?
True
Suppose 9*f = 10*f - 211. Is f a prime number?
True
Let i(c) = 8*c + 2*c**3 + 2 - 5*c - 3*c**3 - 3*c**2. Let a be i(-4). Suppose -k + 27 = -a. Is k a prime number?
False
Let o(c) = 5*c**2 + 3*c. Let j(y) = y**2. Let f(b) = -3*j(b) + o(b). Suppose 0 = -4*u + 2*x - 4*x - 14, 0 = 3*u - x + 3. Is f(u) a prime number?
True
Suppose -5*j = -60 + 5. Let w(p) = -p**2 + 15*p - 7. Is w(j) a prime number?
True
Let u(m) = m**2 - 7*m + 9. Let c be u(6). Let d(p) = p**2 - 3*p + 3. Let r be d(c). Is (-14)/r*(-66)/4 a prime number?
False
Suppose -5*u + u = 0. Suppose -5*o + 125 + 40 = u. Suppose 3*b + o = 4*b. Is b a composite number?
True
Suppose -4*h = s - 3521 - 2266, -2*h + 23078 = 4*s. Is s composite?
True
Suppose 5*a - 187 = 28. Is a prime?
True
Let m(k) = k**3 + k**2 + k - 1. Let r be m(1). Suppose 379 = 5*s - 2*o, 5*s = r*o + o + 376. Is s a composite number?
True
Is -1*3 - (-1 + -163) a prime number?
False
Suppose 6*p - 6 = 3*p, -5*k + 118 = -p. Suppose -u - k + 63 = 0. Is u a composite number?
True
Let r = -74 - -118. Let t = 7 + -5. Is r - (t/2 + 0) prime?
True
Suppose 0 = -4*q - 1 - 19. Is (-63)/q + 4/10 a prime number?
True
Let x = 17 + -11. Is ((-4)/x)/(12/(-918)) composite?
True
Let g be 2/4 + 27/6. Suppose -r + 0*r - f + 52 = 0, -4*f - 224 = -g*r. Suppose 0 = 3*l - r - 69. Is l a prime number?
False
Let r be -1 + (2 - 2) - -5. Let p = 66 - r. Is p prime?
False
Is ((-37)/(-2))/(1/14) a prime number?
False
Let w(l) = -l**2 - 11*l - 5. Let c be w(-9). Suppose q + r = -2, 2*q + 3*q + c = -2*r. Is -1 + 2*(31 - q) prime?
True
Suppose -2*h - 12 = h. Let j be h/10 - (-2210)/25. Let b = j + 1. Is b composite?
False
Suppose -p = -g + 1908 - 510, -5*p - 2787 = -2*g. Is g a composite number?
True
Suppose -3*d + k + k + 65 = 0, 0 = -5*k - 5. Is (7/(d/942))/2 prime?
True
Suppose -3*q + 3 + 12 = -4*j, 0 = 4*q + j - 1. Let g = q - -1. Is g/6 - (-194)/3 composite?
True
Let c(j) be the second derivative of -j**4/12 + 5*j**3/3 - 5*j**2 - 3*j. Is c(7) composite?
False
Let b(c) = c**3 + c**2 + 3. Let v be b(0). Suppose -2*a + 176 = 2*o, -a - v*a = -4*o + 312. Is o a composite number?
False
Is 1837/22 - (-1)/(-2) a composite number?
False
Suppose -2*d = -5*f + 4*f - 23, 4*d = 5*f + 55. Let g(v) be the second derivative of -v**4/12 + 5*v**3/2 - v**2/2 - 7*v. Is g(d) composite?
True
Let g(p) = 15*p - 1. Let d(l) = 30*l - 2. Let j(y) = 2*d(y) - 5*g(y). Let u = 5 - 7. Is j(u) a prime number?
True
Let p(h) = 76*h - 7. Let v(s) = 38*s - 4. Let o(l) = -3*p(l) + 5*v(l). Suppose 18 = r - 5*j, -4*r - j = 8 + 4. Is o(r) a composite number?
True
Let a = -25 - -74. Is a prime?
False
Let v be -2 + (-5)/((-15)/(-528)). Is v*(-1)/(-2)*-1 a composite number?
False
Let v be 1/(-1 + 0) - 47. Let u be 1 - 0 - (1 - 5). Let j = u - v. Is j prime?
True
Suppose 0*x + 2*x = 0. Suppose -4*l = -y - 5, 2*l = 3*y - 15 - x. Let f = 16 + y. Is f a prime number?
True
Let p(g) = 23*g + 7. Let k be p(-5). Let c = k - -187. Is c composite?
False
Let b = 11 + -17. Let i(o) = -11*o - 7. Is i(b) a composite number?
False
Let t(n) = n**2 - 7*n - 1. Let p be (-1)/4 - 76/16. Is t(p) prime?
True
Suppose 0 = 4*j - 313 + 29. Is j prime?
True
Is -5*1*(-76 + 5) prime?
False
Let r(o) = -367*o + 6. Is r(-1) composite?
False
Suppose 5*d = 8 + 12. Let w(t) be the third derivative of 19*t**4/12 - t**3/2 + 5*t**2. Is w(d) a prime number?
True
Suppose 6 = 2*p - 2. Suppose p*f - 220 - 96 = 0. Is f a composite number?
False
Let y be 14/(-8) - 5/20. Let o(t) = -3*t**3 - 2. Is o(y) composite?
True
Suppose q - 3*c + 14 = -8*c, -2*c = 3*q - 23. Suppose -35 = -5*k + 5*l, 0 = -4*l - 0*l - 12. Suppose -k = v - q. Is v a composite number?
False
Let a = 3 + 1. Suppose -150 = -4*r + 4*p - 22, a*p = -2*r + 70. Is r prime?
False
Let d be 3*(5/(-3) - -1). Is 69/d*84/(-18) composite?
True
Let r = 257 + -94. Is r prime?
True
Suppose 4*c + 74 = 5*c - 5*o, 4*c - 5*o = 356. Is c a composite number?
True
Suppos