et b be (18/(-8)*-101)/(6/64). Let c = b + -1273. Is c prime?
True
Let u be (-6)/8 + 4149/12. Is 12/10*u/6 a composite number?
True
Let w(g) = 21*g**2 - 2*g + 45. Let o be w(11). Suppose -2*n + 6*n = o. Is n composite?
False
Let z(q) = -q**3 - 7*q**2 - 6*q + 4. Let h be z(-6). Suppose -h*g - 1 = -17. Suppose 1056 = 4*s + 2*l, 4*s - l - g*l = 1070. Is s a prime number?
False
Let o be 2 + -48 + 0/3. Let l = 113 + o. Is -1*(0/(-1) - l) composite?
False
Let o = 2425 - 92. Is o a composite number?
False
Let o be 4*-3*(-10)/15. Let m(y) = 37*y + 11. Is m(o) a composite number?
False
Suppose p + 161 - 598 = 0. Is p prime?
False
Suppose -d - 2*d + 915 = -4*k, -d + 305 = -3*k. Suppose 67 = 4*s - d. Is s prime?
False
Suppose 4*b - 140221 = -36*y + 39*y, -4*b + 140241 = y. Is b a composite number?
False
Let a(j) = 4*j**3 + 5*j - 17. Let d be a(7). Let m = -917 + d. Is m a prime number?
False
Let r be (16/(-5) + -2)/((-4)/180). Let t = 1655 + r. Is t a prime number?
True
Let n be (-870)/(-3)*(1 - 2). Let w = 527 + n. Suppose -x - w = -4*x. Is x prime?
True
Suppose -12 = 6*u - 10*u. Suppose -4*q + 29 = -u*z, 3*z = 2*q - 2*z - 25. Suppose 3*o + 151 = 4*v - 137, -q*v + 5*o = -365. Is v composite?
True
Let r(f) = -2*f**3 + 18*f**2 + 3. Let t be r(9). Suppose x - 151 - 109 = -4*m, t*x = -3*m + 195. Is m prime?
False
Let s(o) = 2*o**3 - o**2 + 4*o - 4. Let m be s(3). Let l = -10 + m. Is l prime?
True
Suppose 0 = 4*z - 2*v - 22 - 10414, 4*z = -v + 10448. Is z prime?
False
Let n = -6357 + 10890. Suppose 0*b + n = 5*z - 2*b, -4*z = -b - 3627. Is z a prime number?
True
Is 7/(-14) + (-957)/6*-1 composite?
True
Let r(n) = 10*n**3 - 56*n**2 - 4*n + 9. Is r(26) composite?
True
Suppose -12 = -3*v + 2*t, v = 2*t - 3*t - 1. Suppose -a + 3*h = -796, a - 5*h - 882 = -82. Is (-1 - 4/v) + a prime?
True
Let g(b) = 10034*b**2 - 2*b + 1. Is g(-1) a composite number?
False
Suppose -3*a - 4*y + 18411 = 2*a, -4*a = -4*y - 14736. Is a prime?
False
Let y(z) = z + 6. Let t be y(-3). Suppose 4*k + t*x - 3149 = 0, 4*x = -4*k + k + 2353. Is k prime?
False
Let l = -6666 - -1509. Let w = 2252 - l. Is w a composite number?
True
Is ((-17)/136*1436)/((-2)/68) a composite number?
True
Suppose 10*q + 10140 = 13*q. Suppose 2*a - 498 = q. Is a prime?
False
Suppose 3*b + 15 = 0, 0 = r - 5*r + b + 13. Suppose -2*m - r*m = -3180. Suppose 2*g = -3*g, -3*t = 5*g - m. Is t a composite number?
True
Suppose -2*y + 0*y + 6 = 0. Suppose y*k + 41 = -5*i, 3*i + 4*k - 5 = -23. Is i/5 - 1 - -1214 a composite number?
True
Let b(h) = -19235*h - 537. Is b(-4) composite?
False
Suppose -5*o = -1897 - 818. Suppose 0 = -15*q + 14*q + o. Is q prime?
False
Let u = 43 - 16. Let m(z) = -27*z + 14. Let p be m(-2). Let t = p + u. Is t prime?
False
Let b be -3 - ((-2)/1 + -21). Suppose 5*s + 15 + b = 0. Is 3 + s + 2 + 17 composite?
True
Suppose -19 + 19 = 2*o. Suppose 1177 = u - o*u. Is u a composite number?
True
Suppose 0 = r + 5*j, -5*j = 7*r - 2*r - 20. Suppose 78 = x - r*k, k + 3*k + 411 = 5*x. Is x composite?
False
Let c(j) = -3*j - 855. Let o(s) = s + 1. Let b(g) = -c(g) - 4*o(g). Let l(a) = a - 1. Let h be l(1). Is b(h) composite?
True
Suppose 0 = -5*r + 11*r - 37182. Is r a composite number?
False
Suppose -4*p - 1229 = -4581. Suppose 11*w + 5*d = 6*w + 2215, -4*d - 16 = 0. Let s = p - w. Is s composite?
True
Let h = -1990 + 1045. Let k = h + 1639. Is k a prime number?
False
Let u(g) = g**3 + g**2 + g + 567. Let n = 13 - 13. Let f be u(n). Suppose 0 = -3*v - 12, -3*v = -5*c + 2444 - f. Is c composite?
False
Let v(f) = -47*f + 30. Let z be v(-6). Suppose -186 = -t - 5*y, 2*t = y + y + z. Is t a composite number?
True
Let c = 95 - 96. Let v = 4 + -7. Is (-5 - c) + 198 + v prime?
True
Suppose -11391 = -11*w + 64102. Is w prime?
True
Is 8*658 + -61 + 70 a prime number?
True
Is ((-1)/(-4) + (-1)/(-4))*6166 prime?
True
Suppose -3*j - q = -14312, 4*q + 4263 + 19596 = 5*j. Is j a prime number?
False
Suppose 8*q = 6*q + 99194. Is q a prime number?
True
Let a be (2 + -11)*(-1)/3. Suppose 4*s - 6697 = i, -2*i - a*i - 6717 = -4*s. Is s prime?
False
Let i be (-3)/9*(3 + -3). Let f be -1*(0 - (-7 - i)). Is f + 7 - 263/(-1) a composite number?
False
Let u = 135 - 55. Let j be (u/12)/((-2)/(-6)). Suppose 0 = q - 171 - j. Is q composite?
False
Let h(b) = 9*b + 63. Let q be h(-7). Suppose q*g = -g + 69. Is g a prime number?
False
Let x(y) = y**2 - 5*y + 13. Suppose i + 31 = 2*s, -4*i - 26 = -0*s - s. Is x(s) prime?
True
Let c = 25785 - 14386. Is c prime?
True
Is (12 + -22)*281/(-2) prime?
False
Let l = -526 - -1093. Suppose 3*u - l = -2*a, u - 3*u + 4*a + 394 = 0. Is u a prime number?
True
Is 3/(-3)*6296/(-8) a prime number?
True
Let x(s) = 2*s**2 + 13*s + 10. Let a be x(-6). Is 935/22*a/5 prime?
False
Suppose 5*v + 70826 = 12*v. Is v a composite number?
True
Suppose -3*x - 2155 = 2*u - 6869, 6288 = 4*x + 2*u. Is x prime?
False
Let o = -22 + 23. Is 385 + 1*(o - -3) a composite number?
False
Suppose 38 - 491 = -s. Suppose -4*l + s = -775. Is l a prime number?
True
Let d(c) be the second derivative of -4*c**5/5 - c**4/3 - c**3 - 5*c**2/2 - c. Suppose -3 + 15 = -4*r. Is d(r) a composite number?
False
Let g(a) be the second derivative of -28*a**3/3 - 13*a**2/2 + 8*a. Is g(-7) a composite number?
False
Suppose -2*o + 5*l - 25 = o, 2*o = 3*l - 17. Is (-4)/6*50295/o a prime number?
False
Let f = -31 - -44. Suppose 0 = -6*h + 119 + f. Is h prime?
False
Suppose 4*t = 17075 + 78801. Is t composite?
True
Let d = 250 - 85. Suppose -4*u + d = -u. Is u prime?
False
Let y = 6878 + -2911. Is y composite?
False
Suppose -3 = -2*v + 1. Suppose v*k - 131 = 313. Let a = -59 + k. Is a a composite number?
False
Is (923/(-213))/((-1)/7251) a composite number?
True
Suppose 0 = 29*m + 18373 - 69384. Is m a prime number?
True
Suppose p + 30 + 60 = 0. Let i = 837 - 428. Let v = i + p. Is v a prime number?
False
Is (-72)/(-45) - 12/20 - -20592 prime?
True
Let h(f) = 23 - 6 + f + 10 + f**2 + f**3. Let l be h(0). Is (1413/l)/(2/18) a prime number?
False
Suppose -2*c + 19 = 3*z, 3*c + 1 - 2 = z. Let m(x) = 23*x - 48 + 59 + 13*x. Is m(z) prime?
True
Suppose 5*y = 2*u - 9677, -3*y + 24146 = 5*u - 0*u. Is u prime?
True
Let p be 12/(-24)*(-574 - 0). Let m = p - -159. Is m a composite number?
True
Suppose -2*l + 6*l - 3*o = 14717, 0 = 2*l - o - 7361. Is l composite?
True
Let v be 2/6 - (-26)/(-6). Let i be 0/v - 0/(-2). Suppose i = -l - 0*h - h + 668, 5*h = -2*l + 1321. Is l prime?
True
Let l = 7 + -4. Suppose -2*g - 3*v = 0, -4*g - 4*v + l = -1. Is (1004/16)/(g/12) a composite number?
False
Let c be ((2/4)/(-1))/(2/(-20)). Suppose 8269 = c*t + 5*u - 1911, -2*t + 4097 = -3*u. Is t a composite number?
True
Let f(u) = -u**2 + 8*u - 5. Let p be f(6). Let g(r) = -5*r**2 - 2*r - 8. Let o be g(p). Let q = o - -380. Is q prime?
True
Suppose -6*i + 699 = -1143. Is i a composite number?
False
Suppose 0 = -3*q - 4*q + 10*q. Suppose q = -44*u + 45*u - 58. Is u a composite number?
True
Let x = -19 - -25. Let u(q) = -q**3 - 7 + 0 + 7*q**2 + 2*q + 8*q. Is u(x) a composite number?
False
Let s(k) = -k**3 + 14*k**2 + 21*k - 33. Is s(13) prime?
True
Let l = 69 + -65. Suppose 5*b - 3*i = 109 + 11544, 2*b + l*i - 4682 = 0. Is b a prime number?
True
Suppose 2*v + 77 = 535. Suppose -x + 2*q + v = 0, -2*x + 3*q = -0*x - 462. Is x a prime number?
False
Suppose -6*c - 1619 = 3*v - 5*c, -2703 = 5*v - 3*c. Let j = -323 - v. Is j prime?
False
Let v(q) = q**3 + 4*q**2 + 20*q + 11. Is v(18) composite?
False
Let v(q) = -2*q - 4. Let z be v(-6). Is 1797/4 - 2/z a prime number?
True
Suppose -t - n + 136 = 0, -2*n + 6*n + 156 = t. Suppose 35 = -4*k + 5*k + 5*p, -2*p = -4*k + t. Is k composite?
True
Let o = 2 + -10. Suppose 4*v = 2*u - 42, v = -3*u - v + 39. Let t = o + u. Is t a composite number?
False
Let s = -8268 + 22945. Is s composite?
True
Suppose 6*a = -22357 + 80179. Is a composite?
True
Is 1 - (-1 - (3393 - 6)) a composite number?
False
Is ((-13026)/(-12) + -7)*4/6 composite?
False
Let u(g) = -g**2 - 18*g - 28. Let p be u(-16). Suppose 3*o - p*f - 779 = 0, -o - 2*f + 47 = -206. Is o a prime number?
True
Is -8 - 23170/(-20)*2 a composite number?
False
Let x = 3755 + -874. Is x composite?
True
Is (-8)/(-6)*511080/80 prime?
False
Suppose 5 = -4*q - 7. Let a be -6 - q - -1*3. Is (-295 + 2 + a)*