 = 34*u**2 + 13*u - 6. Is n(-7) a composite number?
True
Suppose -k + 2*k = 11. Let l = -7 + k. Suppose 0 = l*u - 13 + 1. Is u composite?
False
Suppose 4*a + 7 = 55. Let b(d) = a*d - 5 + 2 - 3*d. Is b(4) prime?
False
Suppose 1661 + 515 = 4*z. Let p = 1047 - z. Is p prime?
True
Let l = 8 - 2. Let i = l + 13. Is i a prime number?
True
Suppose -5*r + 1660 + 21555 = 0. Is r composite?
False
Is 1*-3*(-2 - (-250)/(-6)) a composite number?
False
Is (4 - 275/(-3))*3 prime?
False
Suppose -4*m + 411 = -1297. Is m a prime number?
False
Let m(j) = -j**2 + 7*j - 7. Let b be m(5). Let l be (-6)/(-1)*20/b. Let p = -1 + l. Is p a composite number?
True
Let n be -3*(-3)/9*-1. Let j = n + -1. Is (-1)/j - 37/(-2) prime?
True
Suppose k = -3*k - 4*m, 5*k - 10 = 5*m. Suppose -3*w + 4*h = h - 15, 3*h = -5*w + k. Is w a prime number?
True
Let l be ((-332)/6)/((-7)/42). Suppose -5*d = -l - 773. Is d a prime number?
False
Is ((-39)/(-65))/(2/20) prime?
False
Suppose -2*p - w - w = -374, 4*w = -8. Let j = p + -71. Is j prime?
False
Let h be 12/8*8/(-6). Let y be h + 2 + 0 - 2. Is (-76)/(-6) + y/(-6) composite?
False
Let m(r) = r - 7. Let v be m(8). Let t(n) = 62*n. Let h be t(v). Is h*(2 + (-1)/2) composite?
True
Let f = 26 - 13. Suppose 2*d - 25 = f. Is d composite?
False
Let l(z) = 3*z**2 - 15*z**3 + 14*z**3 + 5*z**2 - 6*z + 3. Is l(7) prime?
False
Let v(z) be the first derivative of z**3 - z**2 + 2*z - 2. Suppose -6*y + 7*y + 7 = 0. Is v(y) prime?
True
Let a(h) = 8*h**2 + 1. Let w be a(-1). Let i(m) = m**3 - 10*m**2 + 12*m + 6. Is i(w) a prime number?
False
Let t(w) = 2 + 2 - 20*w - 7. Let q be ((-5)/(-2))/(1/(-2)). Is t(q) prime?
True
Suppose -5*h = 0, d + 6*h - 263 = 3*h. Is d a prime number?
True
Let m = 90 + 115. Is m prime?
False
Suppose -4*z - 398 = 2*l, 2*z = 5*z - 3*l + 285. Let o = -39 - z. Is o composite?
False
Let m be ((-24)/16)/(1/54). Let h = -14 - m. Is h prime?
True
Let f be (-28)/(-98) - 3034/(-14). Suppose -5*t + 6*t = f. Is t composite?
True
Let t(z) = 4*z**2 - 8*z - 2. Suppose -b = 3*x + 10, 3*b - 4*b + x + 10 = 0. Is t(b) prime?
False
Let i be 6/(-4)*(-148)/6. Let m = i + -55. Is (-2)/(-6) + (-1200)/m a composite number?
False
Let v(g) = g**2 + 2*g + 7. Suppose -4*m = -0*m - 44. Let d = m - 17. Is v(d) a prime number?
True
Let y(t) = t**3 - 10*t**2 + 11. Let b be y(10). Suppose 10*u = b*u - 259. Is u prime?
False
Suppose -4*q = -4*b - 416, 5*q + 3*b = 218 + 286. Is q/2 + -3 + 5 composite?
False
Let c = -89 + 126. Let j = -22 + c. Let o = -1 + j. Is o prime?
False
Let f(y) = y**3 + 6*y**2 + 6*y + 3. Suppose -2*i - 10 = -0*i. Let w be f(i). Is 98/w*(-1)/1 composite?
True
Suppose -2*j + 5*j + 376 = 4*r, -81 = -r + 4*j. Is r a prime number?
True
Suppose r + 2*a = 22, -3*r + 0*a + 62 = 5*a. Is r a prime number?
False
Let o(z) = -z**3 + 6*z**2 - 5*z + 3. Let g be o(5). Suppose -48 = -g*b - 3. Let n = 26 - b. Is n a prime number?
True
Suppose -1629 + 123 = -6*w. Is w a composite number?
False
Suppose 0 = -3*h - 2*h + 1465. Is h prime?
True
Suppose 0 = 3*y + 2*x + 4, -y + x = y - 9. Is (-1 + 204/8)*y a composite number?
True
Let o be (-18)/((-9)/3 - -4). Let f = 8 + o. Is 4/f - 1376/(-40) a prime number?
False
Suppose 3*b = 6, 0*b - 4*b + 12 = -2*r. Is (-6 - -118) + (-2)/r composite?
False
Suppose 0 = -2*m - 3*m + 4675. Suppose 0 = v + 4*v - m. Is v prime?
False
Suppose 2*f - 12 = -0*f. Suppose 4*k - f*k + 2 = 0. Is -4 + 6 + (k - -7) prime?
False
Let j = -12 + 14. Let o be 1383/4 + (-3)/(-12). Suppose 227 = v + j*b + 74, 2*v - 4*b - o = 0. Is v composite?
False
Let f = -7 + 12. Suppose -700 + 2810 = f*g. Suppose a = -a + g. Is a a composite number?
False
Suppose -3*v + 10 - 1 = 0. Let n(r) = 5*r - v - 3 + 5 + 5. Is n(3) a composite number?
False
Suppose -8*p + 16*p - 10888 = 0. Is p composite?
False
Let c(l) be the third derivative of -l**6/120 - l**5/15 + 5*l**3/6 + l**2. Let z be c(-4). Is (33/z)/(3/15) prime?
False
Suppose o - 31 - 192 = 0. Is o a composite number?
False
Let v(q) = -312*q**3 - 2*q**2 - 2*q - 1. Let o be v(-1). Suppose 2*c + 2*w - o = -51, 4*w = 2*c - 266. Is c prime?
True
Let z(g) be the second derivative of 19*g**7/1260 - g**6/720 + g**5/120 + g**4/12 - 2*g. Let w(c) be the third derivative of z(c). Is w(1) prime?
False
Suppose -5*o - 81 = -3*b, 2*b + 2*o = -2*o + 76. Suppose 3*d - 4*h = -d - 64, -29 = 2*d - h. Let t = b + d. Is t a prime number?
True
Let v = -14 + 72. Is v prime?
False
Let l(u) = -3 - u - 2 + 2 - 5*u. Is l(-10) a prime number?
False
Suppose -5*f = -3*f + 596. Let x(y) = -35*y - 8. Let l be x(-13). Let c = l + f. Is c a composite number?
False
Let b(m) = 671*m**2 - 2. Is b(1) a prime number?
False
Let l(s) = 11*s**2 + 3*s + 3. Is l(5) a prime number?
True
Suppose 5*h - h + 4*g = 2160, 4*h - 5*g = 2115. Is h a composite number?
True
Let w(c) = 6*c**2 + 7*c - 6. Is w(11) a prime number?
True
Is 2/7 + 20422/14 composite?
False
Let t = -9 + 7. Let h be 5/((-5)/t) + 0. Suppose -h*k + 44 = -0*k. Is k a prime number?
False
Let p(z) = 47*z**3 - 2*z**2 + 3*z - 3. Let u be p(2). Let k = -212 + u. Let v = -62 + k. Is v composite?
False
Is (-14)/(-4)*(-5 - -147) a composite number?
True
Let z = -31 - -536. Is z a prime number?
False
Suppose 0*z - 4*z + 36 = 0. Let y(h) be the third derivative of h**5/20 - 5*h**4/24 + 13*h**3/6 + 16*h**2. Is y(z) prime?
True
Let f = -25 + 10. Let m be (-4)/(-10) - (-2936)/10. Is ((-5)/f)/(2/m) composite?
True
Let u(z) = -10*z - 1. Let w(a) = -3*a**2 + a**3 - 9 - 6*a**2 + 3*a + 3*a + 2*a. Let v be w(8). Is u(v) a composite number?
False
Let h be 3 - (-6)/(-1) - -6. Suppose x - 816 = -h*x. Suppose 3*f - 2*n + n = x, 5*n - 253 = -4*f. Is f composite?
False
Let k(x) = -x + 8. Let b be k(5). Suppose -4*r + h + b = -r, -3*h = r + 9. Is r - (-1 + 0)*67 a composite number?
False
Is (-9548)/(-10) + ((-54)/(-30))/9 a prime number?
False
Let n = -1 + 3. Let c be 12/2*n/6. Suppose 1 = c*m - 169. Is m prime?
False
Let n(b) = 54*b**3 - 2*b + 1. Is n(1) a prime number?
True
Suppose -3*u = -4*n - 9, n - 2*u - 6 = -4*u. Suppose n*h - h = -23. Is h a composite number?
False
Suppose 10*d - 79 - 271 = 0. Is d prime?
False
Suppose 0 = -5*y - 0*y + 900. Is 5 + -4 - y/(-2) composite?
True
Is ((-1)/12 - (-2)/(-8))*-21 a composite number?
False
Let o = 13 + -40. Let i = o - -64. Is i composite?
False
Suppose 1 = -s + 5. Suppose 3*h - 119 = -s*d, -3*d = -4*h - 0*h + 117. Suppose h = 4*f + 9. Is f composite?
True
Suppose l = -f + 948, f = -2*f + 15. Is l composite?
True
Let x = 5172 + -3269. Is x prime?
False
Suppose -618 = -3*u - 20895. Let p be u/45 - 2/(-10). Is p/(-4)*(-4)/(-6) prime?
False
Suppose 0*p + 4*p + 4 = 0. Let j be -1 + p + (-1 - -1). Let r(a) = -9*a - 3. Is r(j) a composite number?
True
Let z(k) = k**2 + 5*k - 13. Is z(7) composite?
False
Suppose 27 = -2*r - 17. Let n = 108 + r. Is n a prime number?
False
Suppose 6 = -4*r + 18. Suppose 5*v + r*i = 77, -3*i = 4*v - i - 60. Let s = v - -21. Is s a composite number?
True
Let m be (-4602)/143 + 4/22. Let b(t) = t**3 - t**2 - t + 69. Let f be b(0). Let l = f + m. Is l a composite number?
False
Let p(i) = -i**3 - 4*i**2 - i - 1. Let z be p(-4). Let o(x) = -2*x + 5*x**3 - 5 + z*x**2 - 4*x**3 + 0*x**2 - 5*x. Is o(-4) composite?
False
Suppose 3*o - 9 = -3*i - 0, 0 = -o - 5*i + 15. Suppose o = 4*d - 4*v + 4, 3 + 4 = -d - 5*v. Let f = 129 + d. Is f prime?
True
Suppose -391 = -5*w + 5164. Is w a composite number?
True
Suppose 863 = 3*p - d - 13, 2*d + 6 = 0. Is p prime?
False
Suppose 0 = 5*g - 9459 + 1614. Is g a prime number?
False
Let j = -1 - 2. Is ((-1)/j)/(1/603) a composite number?
True
Suppose -2*l + o = 12, 2*l + 5*o + 7 = -5. Let q be 3/(-3)*2 - l. Suppose j - 2*g = 0, -5 = q*g - 5*g. Is j prime?
False
Suppose -4*n - 379 - 1122 = -b, 2*b - 2977 = 3*n. Is b composite?
False
Suppose m = -2*m + 1143. Is m a composite number?
True
Suppose 4*y = -5*q + 40, -5*y + 28 = 4*q - 31. Let c = 7 - y. Let k(v) = -3*v + 1. Is k(c) composite?
True
Let a = 1672 + -273. Is a composite?
False
Let t(c) = c**2 + 2*c + 3. Let o be t(-2). Suppose 0*d + 86 = o*x + 4*d, -5*x - 2*d + 134 = 0. Is x a prime number?
False
Let x(a) = -48*a - 3. Is x(-5) a composite number?
True
Suppose 0*l + 12 = -3*l. Is 1/((-1770)/(-442) + l) a prime number?
False
Let n(l) = -22*l. Let z be (-6)/8 +