1 + 27)/(4/378). Let c = 120 - -20. Let v = s - c. Is v composite?
True
Let q = 205592 + -14659. Is q composite?
True
Suppose -6 = -b + 5*u - 0*u, -5*b + 30 = -5*u. Is (-3433)/(-2) + -1*(-3)/b a prime number?
False
Is -5 - ((-110786)/10 + (-42)/105 - -3) prime?
True
Is (37080893/(-68) + ((-9)/(-2) - 4))*-4 composite?
False
Is (-2677041)/(-15) - (24 + 1416/(-60)) composite?
False
Let r(z) be the second derivative of 1151*z**4/4 - 7*z**3/6 + 9*z**2/2 - 36*z. Is r(-4) composite?
True
Suppose -336051 + 69561 = 16*x - 2468522. Is x prime?
False
Let x = 5110 - 5106. Suppose -h - 6 = -2*i, 3*i + 3 - 19 = -2*h. Suppose x*w - 6*w - 5*q + 6686 = 0, 0 = -4*w + i*q + 13428. Is w composite?
True
Let f = 111913 + -70694. Is f a composite number?
True
Suppose -2*y + 406 = 4*t - 3932, 3*y - 9 = 0. Suppose -4*i + r + r - 824 = 0, 3*r - 828 = 4*i. Let j = t + i. Is j prime?
False
Let c = 139489 + -37430. Is c prime?
True
Let j(f) = -f**3 + 14*f**2 + 2. Let v be j(14). Suppose 0 = -5*h - v*o + 1118, 546 = 2*h - 5*o + 93. Suppose -h - 701 = -5*i. Is i prime?
False
Let a = 203336 + -38925. Is a prime?
False
Let j = 13190 - -28809. Is j a prime number?
True
Let m = 17 + -3. Let i = m + -10. Suppose 0 = -4*k + 7*k + 2*t - 3357, 0 = i*k - 2*t - 4462. Is k composite?
False
Let x = 132874 + -53735. Is x prime?
True
Let w(n) = 4*n - 15. Let q be (2 - 18/4)/(4/(-8)). Let d be w(q). Suppose d*k - 4354 = 801. Is k prime?
True
Let q be (-18)/(-144) + (-2281)/8. Let p = 302 - q. Is p prime?
True
Is (-2354708)/(-14) - (5 - -1)*186/2604 composite?
False
Let n = 372 + -248. Suppose 123 = -s + 2*s - 4*y, 3*y + n = s. Is s prime?
True
Let k be (-4)/((-9)/3 + 2). Let j be (-3)/k - (189/28)/(-9). Is 4 - 3009/(-3 + j) a prime number?
False
Let x be (1 - (3 - 4)) + 7. Suppose x*w - 10*w = 1. Is 382/(3 - w/(-1)) composite?
False
Suppose r = -3*k + 37295, -43974 = -4*k - 4*r + 5766. Suppose -6*l = -k - 10004. Is l a prime number?
True
Let k(y) = -882*y**3 + 7*y**2 - 34*y + 5. Is k(-4) a prime number?
True
Suppose -5*i = -25, 5*x - 239 = 5*i + 431. Suppose x*d - 142*d = -20409. Is d prime?
True
Suppose -a = -3*m - 60847, -140*m + 121730 = 2*a - 137*m. Is a a prime number?
True
Suppose -182394 = -2*b + 4*d, -2*d - 110510 - 345523 = -5*b. Is b composite?
True
Suppose 3*f + 15 = 0, -8*d = -3*d + f + 25. Is (3/d)/(30/(-1113880)) a composite number?
False
Let a = -2770 - -2773. Suppose 4*b = -5*u + 58, -4*b = -6*u + 3*u + 22. Is (801/a)/(6/u) composite?
True
Let x be 51/(-102) - (23/2 + -1). Let d(z) = -133*z + 58. Let m be d(x). Let v = m - 434. Is v a composite number?
False
Let y(t) be the third derivative of t**5/12 + 31*t**4/6 + 17*t**3/6 - 3*t**2 + 15*t. Is y(18) prime?
False
Let n = 56044 - 9395. Is n composite?
False
Is 672512 - ((-118)/12 + 190/228) a composite number?
False
Let b(y) = y**3 + 7*y**2 + 13*y. Let c be b(-5). Let d = c + 163. Suppose f - d = -3*h + 2*h, 0 = -f - 5*h + 160. Is f composite?
True
Suppose 57 = -11*n - 174. Let l(u) = u**3 + 20*u**2 - 21*u + 42. Let q be l(n). Let z = q - -1175. Is z a prime number?
True
Let z(x) = -502*x + 66. Let c(p) = 1010*p - 133. Let g(y) = -3*c(y) - 7*z(y). Is g(10) composite?
True
Suppose -4112 = -r + 4*m, -6*r = -r + 3*m - 20537. Suppose -4174 = -5*a - p + r, 2*a - 3323 = 3*p. Is a composite?
False
Let c = 141639 + -67228. Is c a composite number?
False
Suppose 6*h - 1050313 = 10224953. Is h a composite number?
False
Let g = 12878 - -7971. Is g prime?
True
Suppose 83*q + 514023933 = 284*q. Is q prime?
True
Let h = 12049 + -1990. Is (h/(-14))/(((-3)/(-2))/(-3)) composite?
True
Let f = 2879142 - 757631. Is f a prime number?
False
Is 15251 - ((-9)/((-63)/(-56)) + 0) a prime number?
True
Suppose 5*t = -5*v + 290530, 277*v + 4*t + 174269 = 280*v. Is v composite?
False
Let g(x) be the first derivative of 4*x**2 - 7*x - 18. Let j(y) = -y. Let m(i) = -g(i) + 2*j(i). Is m(-3) prime?
True
Let x = -48202 - -134565. Is x composite?
True
Let a be 16/12 + 15/9. Suppose -11528 = -m + 4*b - 3463, 24169 = a*m + b. Is m a prime number?
False
Let d(q) = 240*q**2 + 540*q + 301. Is d(-65) prime?
True
Let z(y) = 3*y**3 - 3*y**2 + 6*y - 13. Let m be z(6). Suppose -44 = -3*l - m. Is 0 - (-3 + 4*l) a prime number?
False
Suppose 15*j - 7522652 = -195*j + 8911738. Is j prime?
True
Suppose 1012 = -20*h + 24*h. Let x = -68 + h. Is x a composite number?
True
Let n = 8 + -9. Let b be (1 - -1502)*n*(-10 - -9). Suppose 0 = -6*j + b + 399. Is j a prime number?
True
Let q(y) = -154*y - 1. Let h be q(6). Suppose 3*r = -3*v - 1572, 4*r + 2041 = -3*v - 59. Let m = r - h. Is m a composite number?
False
Is (-11 - -5) + 0 - -4 - -208419 prime?
False
Suppose 0 = -83*j - 90*j + 129026341. Is j prime?
True
Suppose -31*f = 2*f - 4754013. Is f a prime number?
True
Is 1/12 - ((-1817124)/144 + -15) a composite number?
True
Let u = 762756 - 335915. Is u a composite number?
False
Let o(f) = f**3 - 40*f**2 + 41*f - 78. Let x be o(39). Suppose x = 10*r - 35*r + 72125. Is r a prime number?
False
Let a(l) = -l**3 - 13*l**2 - 28*l + 23. Let u = 62 + -83. Is a(u) a composite number?
False
Let c = 2344 - -36067. Is c composite?
True
Suppose 40576 = -8*y + 16*y. Let q = 9814 - y. Is q a prime number?
False
Suppose 76079 - 38332 = 57*c - 54536. Is c composite?
False
Let j(b) = b**2 + 11*b - 96. Let q be j(-17). Suppose -q*o = -5*o - 2, 2*t + 3*o - 2284 = 0. Is t a composite number?
True
Suppose 56 = -12*f - 112. Let c be -2*3/(-5)*(-35)/f. Is 1*c + 5688/18 prime?
False
Suppose -9*w = 16 - 25. Is 1245 + w - (-9 + (-48)/(-8)) a composite number?
False
Suppose 87*u = 90*u - 1121181. Is u prime?
False
Let z = 58 + -55. Suppose -z*m + 6*m - 5 = -g, -5*g - 5 = 0. Suppose 0 = m*y - 25 - 37. Is y prime?
True
Let q(r) = -r**3 - 8*r**2 + 2*r - 8. Let k be q(-8). Let d be 6/k + 21/4 + -1. Suppose 0 = -d*n + 1 - 9, -2*n = 3*g - 10217. Is g a composite number?
False
Let y(d) = 16*d**3 + 3*d**2 + 2*d + 17011. Is y(0) a composite number?
False
Suppose 0 = -5*i - v + 564892, -22*i = -19*i + 5*v - 338922. Is i prime?
True
Suppose -32*c + 183748 = -28*c. Suppose 15*j - 82508 = c. Is j composite?
False
Suppose x + 29 = 39. Suppose -x*y = -6940 + 2080. Let o = 1465 - y. Is o prime?
False
Let q(p) = 247*p**2 - 29. Let m be q(12). Suppose m = 28*v - 21*v. Is v prime?
True
Let i(c) = 169*c - 8. Let p(h) = -2*h - 9. Let s be p(-21). Is i(s) prime?
True
Suppose -5*y - 2*h = -9*y + 24, -5*y + 30 = 2*h. Suppose 0*l - 4*l - 36 = 0. Is (-19054)/3*l/y a prime number?
False
Let m = -18496 - -54225. Is m prime?
True
Let b(g) = -2*g**2 + 8*g - 1. Let s be b(3). Let i be 114/1*(125/10)/s. Is (i - 0) + (-4 - -8) composite?
True
Let r = 53921 - 10498. Is r composite?
True
Suppose -7*r - 5*m = -6*r - 217388, -5*m - 217378 = -r. Is r prime?
False
Is (-126777)/(-9) + 0 - 6*9/(-81) a composite number?
False
Suppose -44*s + 2763308 = 103*s + s. Is s composite?
False
Suppose -6*h + 3*h = 3420. Let u(y) = y**3 - 45*y**2 - 15*y - 1060. Let t be u(47). Let f = t + h. Is f composite?
True
Suppose 183*u + 2158 = 185*u. Let t = 3720 - -373. Suppose -u - t = -4*k. Is k composite?
True
Let u = -185 + 207. Suppose -u*o = -28*o + 5514. Is o a composite number?
False
Let s = 4 + 10. Suppose 3*l + 2 = 3*x + 17, x + s = 4*l. Suppose -h - l*h + 1660 = 0. Is h a prime number?
False
Suppose -33*t = -32*t - 52. Suppose t = 3*g + 16. Suppose -4*i = 3*p - 767, -3*i + 3 = -g. Is p a composite number?
True
Let y(u) be the second derivative of 9*u**4/4 + 13*u**3/6 + 23*u**2/2 + u. Is y(11) prime?
True
Suppose 0 = 91*x - 93*x - 5*v + 54628, -5*x - 2*v + 136591 = 0. Is x a prime number?
False
Let g = -73 - -87. Suppose g*c - 9921 = 80477. Is c a prime number?
False
Let t(g) = -11*g**3 - 5*g**2 + 6*g + 2. Let z be t(3). Let w = z + 548. Let u = 965 - w. Is u composite?
False
Is (269 - 278) + 114274 + 0 a composite number?
True
Suppose 5*f = -5, -10*a + 8*a = 3*f - 3. Is 3 - -6463 - -6 - a a prime number?
True
Let v(i) be the third derivative of -i**6/120 + i**5/20 + 7*i**4/24 - 2*i**3/3 - 7*i**2. Let t be v(4). Suppose l + 357 = t*l. Is l a prime number?
False
Let n(v) = 116*v**2 - 35*v - 362. Is n(-9) a composite number?
False
Suppose q = -3*c - 3*q - 1417, 5*c - 4*q + 2319 = 0. Is c*(-6 + -3 + 5 + -3) a composite number?
True
Let g be (2 + -1)/(-2 