umber?
False
Suppose 0 = 8*z - 0 + 16. Is ((-28)/(-8) + -3)*z + 500 prime?
True
Suppose 2*n = -10, -n + 1625 = 5*l + 585. Suppose 4*r - l - 387 = 0. Is r a composite number?
False
Suppose g - 5*q = 17072, -5*g + 33*q = 34*q - 85386. Is g composite?
False
Suppose 2*g + 3*w + w = 10542, 0 = -3*g + w + 15827. Suppose -2*a = 3*a - g. Is a composite?
True
Let v be (34/(-85))/((-2)/35). Is 994 - (-3 + v/1 - 1) prime?
True
Let c(a) be the first derivative of -4*a - 4 + 0*a**2 + 7/3*a**3. Is c(3) a prime number?
True
Let z = -14 - -16. Let k(n) = 7*n**z + 4 + n + 5*n + 6*n**2. Is k(5) prime?
True
Let z = 12 + 4. Let m = 18 - z. Is -5*-47*2/m a composite number?
True
Let p(w) = 2*w**2 - 7*w + 4. Let d be (-25)/2*(-8)/4. Suppose -4*r = -5*n - d, 17 - 5 = 2*r - 2*n. Is p(r) prime?
True
Suppose -3*z + 31958 + 10885 = 0. Is z a prime number?
True
Is -3 - -1 - (18 - 3 - 11643) prime?
False
Let n = -13 - -17. Suppose b + n*x - 293 = 0, 2*b = x + 502 + 75. Is b composite?
True
Let t = -39 + 21. Let d be (-68)/(-18) + (-4)/t. Suppose i - d*i + 795 = 0. Is i prime?
False
Let j = 30042 + -21311. Is j prime?
True
Let b(g) = 1180*g + 11. Is b(17) a prime number?
True
Suppose -2*g - k + 3 = 4, -g - 8 = 3*k. Is (-2180)/(g - 2) - (3 + 0) composite?
True
Let r be (2/(-10))/((-13)/130). Suppose 2*k = -4*s + 1352, -149 = -2*s - r*k + 529. Is s composite?
False
Suppose -5*t = 2*k + 196, -t - 26 = -0*t - 4*k. Let z = t - -54. Is (10/(-6))/(z/(-3216)) composite?
True
Suppose f - 2*f + 2 = 2*k, -4*k + 10 = 5*f. Suppose -f*a + 1197 + 1137 = 0. Is a composite?
True
Let q = -82 + 100. Suppose q*y - 13599 = 9*y. Is y prime?
True
Let b = 2284 - 713. Is b composite?
False
Let r be 576/(-10) + (-2)/5. Let u be 2 + 75 - (-1 - (-3)/(-1)). Let n = r + u. Is n composite?
False
Let t be 0 + (0 - (2 + -6)). Suppose -8*s - 4*a = -4*s - 256, -t*s - a = -265. Is s a composite number?
False
Suppose 5*o = 4*n - 477 - 29, -10 = 5*o. Let j = 177 - n. Is j prime?
True
Let h(a) = -4417*a**3 + 4*a**2 + 4*a. Is h(-1) prime?
False
Let r(t) = 13 + 89*t**2 - 28*t - 26*t**2 + 35*t. Is r(-3) a prime number?
False
Let z = -62187 - -111914. Is z composite?
False
Let c(h) be the second derivative of 45*h**4/4 - h**3/3 + h**2/2 + 5*h. Let x be ((-3)/(-6))/((-3)/(-6)) + 0. Is c(x) a composite number?
True
Suppose -3*z + 9 = -252. Suppose 0 = -6*p - z + 561. Is p prime?
True
Let c(u) = u**2 + 2*u - 1. Let l be c(-1). Let w be (-6)/l + 5 + -3. Suppose -a + 978 = w*f, -2*a + 4*f = -7*a + 4911. Is a a prime number?
True
Suppose -7 = -2*u + 3. Suppose 2*a + 0*q - 966 = 4*q, 5*a - u*q = 2420. Is a a prime number?
False
Suppose c + 23 = -3*c - s, -2*s + 20 = -3*c. Let m be 7103/7 - c/21. Suppose 4*v + m = 2691. Is v a prime number?
True
Let d be 10*(-2 + 70/25). Suppose -d = 5*b + 2*p + 45, -5*b = 5*p + 50. Is b - -10 - (-1 - 501) prime?
False
Let c = -1333 - -4254. Is c a prime number?
False
Let b(u) be the third derivative of 0*u + 2*u**2 + 1/2*u**4 + 1/30*u**5 - 11/6*u**3 + 0. Is b(-10) composite?
True
Let v(q) = -2*q**3 + 39*q**2 - 34*q - 61. Is v(-18) composite?
False
Let m = -2834 - -14407. Is m prime?
False
Suppose -4 - 4 = -2*g. Is g/22 + (-2614)/(-22) prime?
False
Suppose -4*w = 2153 + 1803. Let a be w/(-69) + 2/(-6). Suppose -l + a = -9. Is l a composite number?
False
Let q = 29 - 32. Is q/(3 - (-2244)/(-746)) a composite number?
False
Let g = 8856 + -3299. Is g composite?
False
Let q(k) = 72*k**2 + 7*k - 6. Is q(-5) a prime number?
True
Suppose -3*r = -4*b - 778, -7*b = r - 5*b - 246. Let j be 1*(-1)/2*0. Suppose -4*w = 5*u - 0*w - 635, j = -2*u - 4*w + r. Is u a composite number?
False
Let t(l) = 2*l**3 - 14*l**2 - 9. Let v(b) = -5*b**3 + 29*b**2 + b + 18. Let s(q) = -7*t(q) - 3*v(q). Let j be s(-12). Let d = j - -890. Is d composite?
True
Let t(h) = 57*h**2 + 2*h - 11. Is t(6) prime?
True
Let j be 3 + (3 - -18*723). Let a = j - 7595. Suppose -3*t - 2002 = -a. Is t a composite number?
True
Let f(n) = -42*n + 23. Let k be f(8). Let z = k - -1100. Is z prime?
True
Let x(h) = h**3 - 28*h**2 + 12*h + 54. Is x(29) prime?
False
Is (2 + 4)*(-8285)/(-10) composite?
True
Suppose 0 = -4*y + 9*y - 9055. Is y prime?
True
Suppose -5*z - 25 = 5*o, -o - 2 = 2*z + 2. Let t(c) = -9*c**2 - 5 - 11*c**3 + 6*c + 4*c**2 + 9*c**3. Is t(o) composite?
False
Let g(a) = -3644*a - 101. Is g(-3) a prime number?
True
Let y = 120055 + -82158. Is y a prime number?
True
Suppose 2*u - 20 = -3*u - 4*n, 25 = 5*n. Suppose 3*y + 2*y + 2*v - 4455 = u, 904 = y + 3*v. Is y prime?
False
Is 1/(-4) + (-5319)/(-12) prime?
True
Let d(g) = 3*g**2 + g - 1. Suppose 6*f - f - 20 = 0. Let a be d(f). Let o = 73 - a. Is o prime?
False
Is (-63 - -40)*2102/(-2) prime?
False
Let d be -2 + (-3)/6*-44. Suppose 16 = -m - 5*l, 3*m = -3*l + 5*l + d. Suppose 0*a - 2*a + 3 = -5*v, 0 = m*a + 4*v - 48. Is a a prime number?
False
Suppose -8*w - 211492 = -534236. Is w a prime number?
True
Suppose -34*n + 2389441 = 25*n. Is n composite?
False
Let v(g) = -g**3 - g**2 + g + 1. Let o(a) = 36*a**3 + 4*a**2 + a - 1. Let s(z) = -o(z) - 2*v(z). Is s(-4) composite?
True
Let l(x) = -5*x + x**2 - 3*x**3 + 6*x - 1 - x. Let i be l(-1). Suppose -i*n - 530 = -8*n. Is n a composite number?
True
Suppose 0 = -3*x + 9 + 21. Suppose -4*t = -3*t - 3*m + x, -3*t + 4*m = 25. Let h(z) = -2*z**3 - 9*z**2 - 9*z + 6. Is h(t) prime?
False
Let b(n) = 29*n**2 + 4*n + 6. Let g = 10 - 17. Is b(g) composite?
False
Let u be (4952/(-16))/((-1)/(-2)). Let z = 1408 + u. Is z a prime number?
False
Let q = -15180 - -25291. Is q a composite number?
False
Suppose -3*g = -2*i - 174248 - 67859, 5*i = 2*g - 161412. Is g prime?
True
Suppose 0 = -h + 9895 + 82. Is h composite?
True
Suppose -v = -5*q + 815, -2*v = q - 109 - 54. Is q prime?
True
Let x = -1760 - -2744. Let j = x + -685. Is j prime?
False
Let d = 13 + -14. Is 1055/15*9/(0 - d) a composite number?
True
Let z be (-4)/6*18/4. Let p be 15*z*(-1)/9. Suppose -3*m - p*d = -100, 0 = 4*m - 7*m + d + 106. Is m a composite number?
True
Suppose 4*w - 2 = 2*w. Let n be (1835/15)/(w/6). Suppose -9 = -3*m - 0, -4*j + n = -2*m. Is j prime?
False
Let o = 2 - -3. Suppose -o*f = 9 - 144. Suppose -26*l = -f*l + 259. Is l a prime number?
False
Suppose 2*h = 7 + 3. Suppose -h*r = 2*i - 25, 5*i - 4 = -r + 1. Suppose r*v - 5665 = -0*v. Is v composite?
True
Let h(p) = p**2 + 5*p + 5. Let r = -8 - -2. Let v be h(r). Suppose 9*x = v*x - 886. Is x a composite number?
False
Suppose 19*m = 81062 + 52641. Is m a composite number?
True
Suppose 2*g + 9274 = 4*g. Is g a prime number?
True
Is ((-28941)/15)/11*-35 a composite number?
True
Let a = 3161 + -1800. Is a prime?
True
Suppose f = -0*f - 2473. Let c = f + 4232. Is c prime?
True
Is 10/(-75) + (-3)/((-135)/65661) a prime number?
True
Suppose 3 = -k + 6. Suppose 1 = 2*v - k. Suppose 7*i - v*i = 4*t + 66, -20 = 5*t. Is i a prime number?
False
Let a(i) = 48*i**2 + 3*i. Let u be a(5). Suppose 3216 = 3*x + u. Is x prime?
False
Let f = -39 - -48. Let u(d) = -6*d + f*d + 9*d + 0*d + d**2 + 4. Is u(15) composite?
False
Let z = 7 - 8. Let w be z/((-14)/(-5) + -3). Suppose 0 = x - 3*x - 4*j + 134, w*j + 67 = x. Is x prime?
True
Suppose -4*g = 4*o - 33140, 21585 = 3*o - 4*g - 3284. Is o a composite number?
False
Let d(x) = x**3 + x**2 - x - 1. Let a be d(1). Let c(m) = m**3 - m**2. Let q be c(a). Suppose -5*z + 6*z - 59 = q. Is z composite?
False
Is (-4061 - -7)/(4/3 - 2) composite?
True
Suppose -4*t + t + 2*c = -7614, 0 = 2*t + c - 5083. Suppose 9*f = 5*f + t. Is f prime?
False
Suppose -5*d - 44 + 24 = 0, 4*h + 5*d = 105752. Is h a composite number?
True
Let q be 6890/22 + ((-124)/(-44) - 3). Suppose 277 = 5*d - q. Is d a prime number?
False
Let s(r) = r**2 - r - 1. Let v = 9 - 7. Let d be s(v). Is d/(-3) + (-3080)/(-15) a composite number?
True
Let t = -5147 - -12768. Is t a prime number?
True
Is -97*((-2)/(-15) + (-391)/345) a prime number?
True
Let k(v) = -2*v**2 + 4*v + 3. Let l = 2 + 1. Let d be k(l). Is d - (-1)/((-3)/(-390)) a composite number?
False
Let p = -108 + 112. Suppose -10*u + p*u + 13194 = 0. Is u a composite number?
True
Suppose 0*u - 2*u = -12. Suppose -3*m + u = -0*m. Is 109 - m - 4/1 composite?
False
Let l be (-360)/(-54) - 4/6. Suppose 0 = -f - l*f + 623. Is f prime?
True
Suppose 2*u = -2*f + 3*u + 19, 0 = 2*u + 