?
True
Let n = 4807 + -8586. Let z = -732 - n. Is z composite?
True
Let x = 40578 - 22247. Is x prime?
False
Let c(k) = 351*k**2 - 932*k + 1. Is c(-8) composite?
False
Is 1/((1/(-2)*(-72)/(-54))/(-40178)) a composite number?
True
Is (61 - 13)/12 - -36367 prime?
False
Let y = -68 - -73. Suppose z = y*z - 3*b - 34, -b + 19 = 3*z. Suppose -6*k = -z*k + 1371. Is k a composite number?
True
Let g = 922 - 4450. Let a be (3 - -1) + (-1)/((-3)/g). Let l = 2323 + a. Is l a composite number?
False
Let d(g) = -64*g + 3. Let h be d(-1). Suppose 0 = h*b - 65*b - 21446. Is b a prime number?
True
Is 1*-32983*(-6 - -5)*7 composite?
True
Suppose 38*t - 36*t = 1184. Suppose -10*d + t + 2038 = 0. Is d composite?
False
Let s(f) = 19*f**3 - 2*f**2 - 1. Let v be s(2). Suppose -1 = m, 4*u - 5*u - 3*m - v = 0. Is u/5*1*(-94)/8 composite?
True
Let g be 1*(0 + 0)/5. Suppose -3*r + 2*t = -4501, 4*t = 5*r - g*t - 7503. Is r prime?
True
Suppose z + 208860 = 5*g, 151*g - 83536 = 149*g + 2*z. Is g prime?
False
Let q be 57/(-15) - (-1)/(-5). Let t be (2/q)/(6/(-12))*-14. Is t + 17 - 674/(-1) prime?
True
Let z(w) = -w + 11. Let o be z(-18). Let b = -29 + o. Suppose 4*g + 464 = -d + 2404, b = -2*d. Is g prime?
False
Suppose -2*g + 253 = -5*x, -2*x + 108 + 166 = 2*g. Let w be (-6 - 1683/12)/(4/(-16)). Let i = w - g. Is i a prime number?
False
Let o(d) = 50437*d**2 + 2*d + 5. Is o(2) composite?
False
Let g = 691 + -275. Suppose -m + 3*m - 6 = 0. Suppose g - 4299 = -2*v + 5*n, 3*n - 5856 = -m*v. Is v prime?
True
Let v = 10901 - -11850. Is v a prime number?
True
Let k(b) = -2*b + 3. Let n be k(-5). Let r = -3444 + 4909. Suppose n*t - 8*t = r. Is t composite?
False
Let p(u) = 28*u - 41. Let z = -2 + 15. Is p(z) prime?
False
Let f(y) = 144*y + 417. Let u(k) = -11*k - 32. Let a(b) = -2*f(b) - 27*u(b). Let i be a(-3). Is i + -3 + 3 + 416 composite?
False
Suppose 3*y + 82404 = -18*y. Let s = 5651 + y. Is s composite?
True
Let o = -588 - -592. Suppose 2 = 2*r, -o*k + 2*r - 3*r + 68789 = 0. Is k prime?
False
Suppose -10230 = -18*o + 15*o. Let f = -471 + o. Is f a composite number?
False
Let q(l) = -11*l**3 - 6*l**2 - 45*l - 657. Is q(-11) a prime number?
False
Suppose 89 + 1 = 9*h. Suppose -3*q = -2*u - 8, 0 = 2*q + 3*u + h + 2. Suppose q = -10*t - t + 1397. Is t a composite number?
False
Suppose 5*a + 4 = 4*h + 6*a, 4*h - 2*a - 4 = 0. Let v be 1/((5/(-25))/h). Is (-2)/v - 5273/(-5) a prime number?
False
Suppose 2504652 = -410*m + 422*m. Is m prime?
True
Let b(y) = 76*y**2 + 24*y + 17. Let c be b(-7). Let o = 1648 + c. Is o composite?
True
Suppose 3481 = -9*m - 15275. Let u = m - -4825. Is u composite?
False
Let c(q) be the third derivative of -115*q**4/12 + 17*q**3/6 - 2*q**2. Suppose 13*f + 72 = -5*f. Is c(f) prime?
True
Suppose 0 = -17*w - 23 + 398860. Is w a prime number?
False
Let s(g) = -3*g**3 - 32*g**2 + 8*g + 74. Let w = -265 - -244. Is s(w) composite?
False
Let j = -315 - -90. Let q = j - -316. Is q prime?
False
Suppose 3*l = 2*b - 7*b + 378, -5*l - 332 = -4*b. Let s be b/(-3) + 8 + (-4 - 0). Is -1 - -5 - (s + -228) a prime number?
False
Let v(d) = -d**3 - 19*d**2 + 17*d - 53. Let c be (-4)/10*-40*(-3)/2. Is v(c) prime?
False
Let u = 94 - 100. Let v(m) = -2*m - 10. Let w be v(-10). Is ((-16)/u + -1)/(w/3030) composite?
True
Let z(b) be the second derivative of -b**8/210 + b**7/420 - b**6/720 - b**5/12 + 3*b**4 + 31*b. Let q(m) be the third derivative of z(m). Is q(-4) prime?
False
Is (-17)/170*2242346*(0 + -5) composite?
False
Suppose -234*i + 211597212 = 98*i. Is i prime?
False
Let q(s) = 90*s**2 - 73*s - 126. Is q(20) composite?
True
Suppose -4*r = -8, 28*r - 31*r - 382612 = -2*b. Is b composite?
True
Let r = -508 + 502. Let y(d) = -13*d**3 + 2*d**2 - 30*d + 19. Is y(r) composite?
False
Let h be (-1 - -6)*(-66)/(-55). Suppose 2*j = -j - h. Is (87 + j/(-1))/1 prime?
True
Let k be 1/(-3) - (1 - 404/6). Suppose -2*t - 2*o + k = -17650, 44308 = 5*t - o. Is t a composite number?
False
Let k = 48 - 43. Suppose 3*h - 4188 = -6*l + 3*l, k*h = -15. Is l prime?
True
Let y = 19404 - -5815. Is y composite?
False
Let o = -75 + 87. Suppose 0 = 32*d - 26*d - o. Let c(s) = 145*s**3 - 2*s**2 - 2*s + 3. Is c(d) a composite number?
False
Let s(b) = 45*b**2 - 20*b - 1. Let a be s(5). Let x = a - 357. Is x composite?
True
Suppose o = -5*b + 12451, -3295 - 34058 = -3*o + 3*b. Is o prime?
True
Let l = 39009 + 17689. Is l prime?
False
Suppose 0 = -4*m + 5*g + 421773, -5*m + 12*g - 9*g = -527200. Is m a composite number?
False
Suppose 16327 = 2*x - 38323. Let z be x/20 + (-1)/4. Suppose 2*k - 4068 = -3*c + 5*k, -c = k - z. Is c prime?
True
Suppose 9 = 3*x - 3, -26 = 2*l - 3*x. Let c(b) = 10*b**2 + 23*b + 62. Is c(l) a composite number?
True
Let b(n) = 11*n - 53. Let r be b(5). Suppose -14*g + 134544 = r*g. Is g composite?
True
Let a be 4/(-16)*(-10 + -10). Suppose -a*v = 13*v - 41166. Is v prime?
True
Let n = -103484 - -174445. Is n composite?
True
Suppose 5 = 4*a - 7, -3*s + 183555 = -a. Suppose 21*f - 42365 = s. Is f composite?
False
Let k(c) = 27219*c - 398. Is k(3) a prime number?
False
Let y be 946/(-198) - (-4)/(-18). Let d(l) = -28*l**3 + 6*l**2 + 18*l - 3. Is d(y) prime?
True
Suppose 5 = -4*u - 3. Let i be u*3966*1/(-3). Suppose -i = -5*s - 149. Is s a prime number?
True
Let r(p) = 276*p**2 + 11*p - 2. Let w(j) = 276*j**2 + 10*j - 3. Let l(x) = -2*r(x) + 3*w(x). Suppose -20*k + 24 = -8*k. Is l(k) prime?
False
Let v = -167 - -169. Is 739*(3 + (-6)/v + 1) a prime number?
True
Let g = 1162882 - 746351. Is g a prime number?
True
Is ((10055352/9)/(-4))/(104/(-3) - -34) a composite number?
True
Let d be ((20 + -2)*(-2)/3)/(-2). Let g(o) = 52*o + 26 - 4*o - 7. Is g(d) composite?
False
Suppose -13*p + 130 = -11*p. Suppose p*y = 62*y + 3513. Is y a prime number?
True
Suppose -q = -0*g - 4*g + 18, -5*q + g - 109 = 0. Let o be q/(-10)*(-11 - -16). Is 257 + ((-88)/o - (-8)/2) a composite number?
True
Let g = 80 + -141. Let i = -39 - g. Suppose i*a + 4628 = 26*a. Is a composite?
True
Let f be 1/(-2*4/(-40)). Suppose -f*d + 11451 = 4*q, -3*d + 4*q = -q - 6841. Is d composite?
False
Let m(h) = -h**2 + 210*h + 18. Is m(53) a prime number?
False
Suppose 2*v - 18 = 40. Suppose 4*u + 4*h + 4 = 0, -3*u + 0*u + 5*h = -v. Suppose 0 = -2*r - 0*r + u*k + 7201, 0 = -4*r - 2*k + 14362. Is r a prime number?
True
Let f = -34 - -71. Let t = f + -31. Suppose -t*k + k = -1655. Is k a composite number?
False
Is 1309/(-748) - (-4167558)/8 composite?
False
Suppose c + 9 = 16. Let t be 247/7 - 2/c. Suppose 4*r + 229 = 2*h + t, 4*h + 4*r = 388. Is h a composite number?
False
Let c = 36 - 29. Let w(q) = -3*q + c*q - 3*q + q + 189*q**2. Is w(1) composite?
False
Let t(b) be the first derivative of 68*b**3/3 + 10*b**2 + 21*b + 131. Is t(-14) composite?
True
Let h(b) = 3434*b**3 - 15*b**2 + 56*b + 54. Is h(5) prime?
False
Let g(z) = 3*z**2 - 45*z - 304. Let r be g(-10). Let d = -27 + r. Is d prime?
True
Suppose 2*t + 5*a - 220868 = 11585, -5*t + 3*a + 581210 = 0. Is t a composite number?
False
Is (19963 - -10 - -3)*(0 - -2) - -1 a composite number?
False
Let y be (-15 - -21)*(-2 - 42/9). Let v(f) = -24*f - 71. Is v(y) composite?
True
Suppose -14 = d - 18. Let u(c) = -c**2 + 7*c - 8. Let i be u(d). Suppose -5352 = -4*j - i*h, -3*h + 4 - 1 = 0. Is j a composite number?
True
Is (2070/414)/((-2)/8*(-4)/137279) a composite number?
True
Let a be (1/3)/(-1 + 10/12). Let o be (-14)/(a + 3 - 0). Let g = o + 105. Is g composite?
True
Suppose 0 = -10*w + 16*w - 18306. Suppose w + 9424 = 5*i. Is i prime?
False
Let r(v) = -2*v**2 + 11*v + 1. Let s be r(8). Let a be s/(1 + 93/(-102)). Let f = -65 - a. Is f a prime number?
False
Let v(a) be the second derivative of 17*a**3/3 - a**2/2 + 17*a. Let w be v(5). Is 39/(-26) - w/(-2) composite?
False
Let r = -46261 + 68792. Is r a prime number?
True
Let l(v) be the second derivative of 17*v**4/12 + 2*v**3/3 + 2*v**2 - 9*v - 2. Is l(19) a composite number?
False
Let j be (-10)/(-6) - ((-7)/(-3))/(-7). Suppose p - 6*y - 1411 = -j*y, 5*p - y = 7017. Is p a composite number?
True
Let w be 48/(-5)*140/(-56). Suppose 0 = -2*m - w*m + 71942. Is m a prime number?
True
Let x(u) = 54*u - 54. Let t be x(-6). Let s = 291 - t. Is s composite?
True
Let s(q) = 54*q**3 + 3*q + 1. Let z(y) = y**3 - y**2 + y - 1. Let 