0 = -5*g - f. Let a(h) = -3*h + h**2 + 2 - 7 + 1 + h. Is a(g) a prime number?
False
Let b be (-3)/12*2*-4. Let c(a) = -b + a**3 + 1 - 8*a - 2*a**2 + 0 + 8*a**2. Is c(-7) a prime number?
False
Is (140/(-8))/(-7)*974 - -2 a composite number?
False
Suppose 4*b + 3 = 2*i + 7, 0 = i - 5*b + 11. Suppose -2*h = -i*j + 2*h + 436, -3*h + 450 = 4*j. Is j a composite number?
True
Is (-609)/(-87)*2/(28/1618) prime?
True
Suppose -18*u = -24*u - 28878. Let h = u - -7610. Is h prime?
True
Let s(d) = -57*d + 4. Let f(n) = -n**2 - n - 2. Let w be f(0). Is s(w) prime?
False
Is ((-41)/(-164))/((-1)/(-38924)) prime?
False
Let h be -10*(-1)/(-4)*-2. Suppose 0 = -5*c - 25, h*c = -5*t + 3*c + 1675. Is t a composite number?
False
Let q(g) = -25*g - 23. Let k(l) = -34*l - 14. Let j be k(-7). Let w be j/(-36) - 8/(-36). Is q(w) prime?
True
Let j = -8 + 13. Let x be (-10)/(25/j)*-4. Let n(z) = 2*z + 10. Is n(x) prime?
False
Is 7*9/(45/635) prime?
False
Suppose -2*y = 3*y + 3130. Suppose m - 993 = 4*m. Let j = m - y. Is j a prime number?
False
Let w be (0 - 1) + (-20 - -12). Let y = w + 154. Suppose 0 = -r - 4*v + y, -3*r + 8*v - 3*v = -384. Is r a composite number?
True
Let z(x) = x**2 + 12*x - 26. Let h be z(-14). Suppose -5*r = -h*r - 1587. Is r composite?
True
Let b be 2/(-3) + (-604)/12. Let c = b - -83. Let t = -21 + c. Is t prime?
True
Is 20/((-600)/(-45)) + 66607/2 composite?
True
Suppose 1215 = u - b, -6*u - 3665 = -9*u - 2*b. Is u a composite number?
True
Suppose -6*j + 8 = -2*j. Suppose 2*v + 3*b = 414, v = j*v + 5*b - 193. Is v a composite number?
True
Suppose 3*h = 172 + 143. Suppose -3*q + n = h - 264, -4*q + 3*n + 212 = 0. Let p = q - -16. Is p a composite number?
True
Let a(w) = 5*w + 14. Let v be a(-3). Is 8229*((-1)/(-3) - (v + 1)) composite?
True
Suppose -5*r = r - 12. Let q(h) = 113*h**2 - 3*h + 3. Is q(r) a composite number?
False
Let s be 10/(-15) - (-28)/6. Let l be -3*1*s/(-3). Suppose 0*j - 196 = -l*j. Is j prime?
False
Let k be 3 - (1 + 0 + -2). Let y be -822*((-10)/k)/5. Let b = -200 + y. Is b composite?
False
Let b = 2217 + -1238. Is b a composite number?
True
Let v(c) = 2*c**2 + 21*c + 11. Is v(-44) composite?
True
Suppose 130 = 3*j + 127. Is 1/(-2)*(-1 + -758 + j) a prime number?
True
Suppose -2*c + 1 + 3 = 0. Suppose -28 = -0*i - i + 4*a, c*a + 122 = 5*i. Suppose -z = -10 - i. Is z prime?
False
Suppose 5*q = 2*o - 18, 5*q + 16 - 2 = o. Is (11365/(-10) + -3)*q a prime number?
False
Suppose -34*a - 37896 = -58*a. Is a composite?
False
Let k(q) = 381*q**2 - q - 1. Let b be k(-1). Let v(w) = -w**2 - 32*w + 108. Let f be v(-35). Suppose 2*n = -2*x - 2*n + 254, n + b = f*x. Is x composite?
False
Let b = 713 - -140. Is b a prime number?
True
Let q(u) = -424*u - 1. Let p be q(-2). Let k = -576 - -124. Let o = k + p. Is o a composite number?
True
Suppose 4*y - 17 = 15. Let f = 11 - y. Is f/9 + 40/6 a prime number?
True
Is (-186)/(-2511) + (-486187)/(-27) a composite number?
True
Let g be 2 - (-2 - -3 - 0). Let v be g/2 - (-23)/(-2). Let z(l) = -8*l + 1. Is z(v) prime?
True
Let k be 7/1*16/56. Suppose -4*t + 0*t + 4 = 2*l, k*l = -5*t + 5. Suppose -2*j + 3*j - 111 = l. Is j a prime number?
False
Suppose 36*z - 61*z + 85175 = 0. Is z composite?
False
Is -1*28473/(-9)*3 a composite number?
False
Let q be (3 + -4)/((-2)/(-4)). Let j(t) = -t. Let n be j(q). Let u(p) = 53*p**2 - p + 1. Is u(n) a prime number?
True
Suppose 3*a - 5175 = 6108. Is a a prime number?
True
Suppose -3*h + h = s - 142, 0 = -4*s - h + 554. Let d = s - 313. Let o = d - -396. Is o composite?
True
Let s = -14 + 16. Let j be (0 + 3 + 531)/s. Suppose 0 = -2*w - w + j. Is w prime?
True
Let k(s) be the third derivative of -3*s**6/40 - s**5/15 - s**4/8 - s**3/2 - 2*s**2. Is k(-4) a prime number?
True
Suppose -10*b = 8735 - 185805. Is b a composite number?
False
Suppose -5*i - 4*j = -7559, 4279 = 4*i + j - 1766. Is i composite?
False
Let g(t) = -83*t**3 - 71*t**2 + 4*t + 14. Is g(-6) a composite number?
True
Let g = -7807 - -18492. Let x = 10 - 12. Is x/5 + g/25 a composite number?
True
Suppose -12*b + 10*b - 4*m = -18190, -5*m - 18199 = -2*b. Is b a prime number?
False
Let d(j) = j**3 - 10*j**2 - 10*j - 7. Let m be d(11). Suppose -390 = -m*o - o. Suppose -o = -3*s + 189. Is s composite?
False
Let h = 5 - 2. Suppose -5*w - t + 1581 = -3*t, 5*w - 1591 = -h*t. Is w a composite number?
False
Let d(b) = 6*b + 18. Let l be d(-3). Is (l - -2) + (7561 - (0 + 4)) a prime number?
True
Let d(h) = -3*h - 24. Let g be d(-9). Suppose g*z = 4*s - 5435, 5*s - z + 1364 = 6*s. Is s composite?
False
Is ((-138623)/(-134))/(0 - (-1)/6) a prime number?
False
Let n(g) = 163*g + 7. Let h = 31 + -44. Let u = 19 + h. Is n(u) prime?
False
Let d = 409 - 175. Let u = d + -119. Is u a composite number?
True
Suppose k = -0*k + 5. Suppose -2*g - 199 = 5*w - 0*w, w + 486 = -k*g. Is 3*g*1/(-3) composite?
False
Suppose -t - g = 4*g + 942, 2*g = -t - 939. Let z be (-6)/24 + t/(-4). Let n = -155 + z. Is n composite?
False
Suppose 0 = 4*m - 5*s - 98, -5*m = -0*s - 4*s - 118. Let y = 9 + m. Is y composite?
False
Suppose 5154 + 1651 = 5*h. Is h a prime number?
True
Let i(c) = -4233*c - 5 + 5. Let v be i(-1). Suppose -4*j + v = 293. Is j a prime number?
False
Let k be -3*(0 + 2 - (1 - -2)). Suppose 0 = k*r + 285 - 4554. Is r composite?
False
Suppose 0*u + 5*u - 3 = z, z + 3 = 0. Suppose 4*a - 4538 + 982 = u. Is a a prime number?
False
Let f(y) = -194*y**3 + 3*y**2 - 14. Is f(-3) a prime number?
False
Suppose -18*v = 1608 - 330. Suppose -34 + 322 = -y. Let u = v - y. Is u prime?
False
Let f = 2128 + -1017. Suppose -3*q = h - f, -h + 3*h = -3*q + 1109. Is q a composite number?
True
Let v(p) = -p**2 + 9*p - 4. Let z = 24 - 16. Let w be v(z). Suppose q + q = 2*i + 846, 0 = q + w*i - 403. Is q prime?
True
Let q be (-2)/(-1) - -9*1. Let o(x) be the second derivative of 23*x**3/2 - 11*x**2 + 24*x. Is o(q) prime?
False
Let m(n) = 159*n - 5. Let g(f) = -f**3 - 6*f**2 - 9*f + 8. Let s be g(-5). Suppose 2*r - s = -5*r. Is m(r) a prime number?
True
Let i(a) = a**3 + 22*a**2 - 14*a + 23. Is i(-22) a prime number?
True
Is (-7372)/(-6)*(7 + 33/(-6)) composite?
True
Let a be 7 + (-6)/2 + 3 + -2. Let l(d) = -5*d**3 - d**2 + 3*d - 24. Let g(r) = -2*r**3 - r**2 + 2*r - 12. Let n(o) = 11*g(o) - 6*l(o). Is n(a) a prime number?
True
Suppose 3*m - 19 = -0*p + 5*p, -5*m = -2*p - 19. Let s(x) = 9*x**2 - 9*x - 2. Let i(j) = 10*j**2 - 8*j - 1. Let w(n) = p*s(n) + 3*i(n). Is w(-5) prime?
True
Suppose -2*s = 3*h - 69547, -11*s + 9*s + 69542 = 4*h. Is s prime?
True
Let p(v) = 308*v**3 - v**2 - 3*v + 3. Let j be (-4)/((-60)/9)*5 + -2. Is p(j) prime?
True
Suppose -88*p = -84*p - 12940. Let b = p + 130. Is b composite?
True
Let k = -695 - -90. Let s = 756 - k. Is s a prime number?
True
Suppose r + 8 - 6 = 0, 2*x = -r - 6. Let d(l) = -610*l - 19. Is d(x) prime?
True
Let c(y) be the second derivative of 61*y**4/4 + y**3/3 + y**2/2 - 20*y. Is c(2) composite?
True
Let t = -3252 + 6965. Is t composite?
True
Suppose 2*c - 9213 = 5*f, -3*c + 18401 - 4529 = 3*f. Is c a composite number?
True
Let f(p) = 1543*p**2 + p + 1. Let q be f(1). Suppose 3*z - 1359 = 3*l + q, 0 = -5*z + 2*l + 4837. Is z a composite number?
False
Let z be (-3)/5 + 13/5. Suppose -z*n - 32 = n - 4*r, -5*r = -5*n - 60. Is 400 - (7 - n/(-4)) composite?
False
Let r(b) = 22602*b**2 + 7*b - 6. Is r(1) composite?
True
Let g(u) = 6 - 5*u**2 + 14*u + 19*u**2 - 9*u**2 - 8*u**3. Is g(-5) a composite number?
False
Let t = 8098 + -1725. Is t composite?
False
Let g be 6/24 - -461*(-43)/(-4). Let t = g - 3317. Is t prime?
False
Suppose 3*j = 8*j + 3*v - 1771, 0 = -3*j - v + 1061. Suppose -f = -299 - j. Is f/12 + 6/9 composite?
True
Let r(o) = 37*o**3 + 2*o**2 - 16*o - 85. Is r(8) a prime number?
True
Let b(z) = 10*z + 24 - 68*z + 7*z + 6*z. Is b(-5) composite?
True
Let m(i) be the third derivative of 11*i**5/60 - i**4/12 + 2*i**3/3 + 6*i**2. Let j be m(3). Let s = -54 + j. Is s composite?
False
Let h(z) = -z**2 - 3*z + 9. Let b be h(-4). Suppose -b*c + 3768 = -c. Is ((-5)/15)/((-2)/c) a composite number?
False
Suppose 0 = 4*i + 168. Let j be (i/(-4))/(10/180). Suppose 0 = 5*r + 3*l - 607, j = 3*r + 4*l - 184. Is r prime?
False
Let s(d) = 33748*d**2 - 15*d + 6. Is s(1) a prime number?
True
Suppose 5*k = -4*j + 