**2 + 57*v - 691. Is w(10) prime?
True
Let p(g) = 59729*g**2 - 3*g + 4. Let r be p(-5). Is r/72 - (-3)/2 composite?
True
Suppose s - 11*s + 1300252 + 2492818 = 0. Is s a prime number?
True
Suppose -3*s + 4*s - 1702687 = -6*s. Is s a composite number?
True
Is 257161/2 + ((-221)/(-26))/17 a composite number?
True
Let j(t) = 103254*t**2 + 95*t + 23. Is j(-2) a prime number?
True
Let o(s) = 16*s**3 + 9*s**2 + 57*s + 11. Let t(z) = 45*z**3 + 26*z**2 + 170*z + 32. Let y(u) = 17*o(u) - 6*t(u). Is y(12) a composite number?
True
Is (0 + 8 + -9)/(6/(-2498322)) composite?
False
Let m = 350 - 385. Let f(j) = -539*j - 66. Is f(m) a composite number?
True
Suppose 3*w - w + 15 = 3*c, -2*w + 5*c - 25 = 0. Suppose 2*r - 75 - 451 = w. Suppose m = -2*a - 3*a + r, 222 = 4*a - 5*m. Is a a prime number?
True
Let a be (-38)/361 + (-78)/(-19). Suppose 22*w - 21*w - a = 0. Suppose -p = -f + 1039, p + w*p = 3*f - 3117. Is f prime?
True
Let h(g) = 11674*g**2 + 210*g + 43. Is h(10) a composite number?
True
Is 26710875/180 - (-4)/16 a composite number?
True
Is (298/(-3) - -1 - 1)*2034/(-12) composite?
True
Let y = -5 - 10. Suppose 4*n = -96 + 60. Is 42/n*y - 1 composite?
True
Is 1*(-89)/(((-4)/(-2498))/(-2)) prime?
False
Let r(v) = -2*v**3 - 5*v**2 + 2*v - 39. Let z be (4/(-5))/(1/10). Is r(z) composite?
True
Let f(w) = w**3 + 2*w**2 + w - 114. Let x be f(0). Let a = x + 112. Is -1726*2*1/a composite?
True
Suppose 6*p - 2*p - 408164 = 4*r, 0 = -p + 5*r + 102025. Suppose -3*a + 2*h - 7*h + 102037 = 0, 3*h - p = -3*a. Is a a composite number?
False
Let l be 14/3 + -4 + 1/3. Let a be (5 - 4 - -754)*3/l. Suppose -3*b = -5*u - 2954, 2*u + 269 = -2*b + a. Is b a prime number?
False
Let k(x) be the third derivative of -3*x**7/560 + x**6/720 - x**5/12 - 41*x**2. Let g(t) be the third derivative of k(t). Is g(-8) a composite number?
True
Let k = -153 - -155. Suppose -5*s + 4*o + 24767 = 0, -k*s - o + 9920 = 4*o. Is s a composite number?
True
Is 26755 + -2 - (-3 - (-1 + -6)) prime?
False
Let u(s) = -10*s + 17. Let g be u(4). Let x = g + 28. Suppose x*y = 4*y + 141. Is y composite?
True
Suppose -836 = q + c - 60700, c = 1. Is q a composite number?
False
Suppose 44 = -55*g + 154. Suppose g*q = -22*q + 148152. Is q composite?
False
Let k = -55 + 86. Let m = 34 - k. Is (m/(-2))/((7/886)/(-7)) a composite number?
True
Suppose d + 231*b = 233*b + 368571, 0 = 4*d + 4*b - 1474332. Is d a prime number?
True
Suppose -g - 4*g = 3*g. Suppose g = -12*d + 17*d - 20. Suppose 2*y - 362 = -d*z, 3*z + 376 = -y + 3*y. Is y composite?
True
Let o(b) = -3*b**3 - 3*b**2 + b + 3. Let t be o(-1). Suppose t*w + 5*z = 3403, -3*z + 5110 = 5*w - 3426. Is w a prime number?
True
Let x = 0 + -24. Let q be (12/x)/((-1)/(-122)). Let z = q - -378. Is z a prime number?
True
Is (2976/2280 - 8/76)/((-2)/(-215885)) a composite number?
True
Let c = 173 - 176. Is 2129 - (-8 + 2)/c a prime number?
False
Let w = -23507 - -41241. Suppose -7*q + w = -2*q - 3*u, -5*q = -4*u - 17732. Suppose 0 = 2*g, -n = -5*n - 2*g + q. Is n prime?
True
Suppose 464*o - 108441102 = 2*o. Is o a composite number?
False
Let n(w) = w**3 - 9*w**2 + w + 1. Let p be n(9). Suppose 20*h = p*h + 188610. Is h prime?
False
Let u(k) = 5*k**2 - 23*k - 52. Let g be u(-19). Let v = g + -1237. Is v a prime number?
True
Let v(x) = 5*x + 12. Let l be v(6). Let r = l + -80. Let h = 20 - r. Is h prime?
False
Suppose -3*y = 4*h - 1217207, 20*y = 4*h + 16*y - 1217200. Is h composite?
False
Is 356660/16*(67 - -1) + 6 + -2 a prime number?
True
Let q(t) be the third derivative of -277*t**4/12 + 35*t**3/6 - 140*t**2. Is q(-6) prime?
True
Let o(c) = -204*c + 3 - 10 - 140*c. Let z be o(-2). Let i = 1328 - z. Is i a composite number?
False
Let r = 40 - 40. Is r + 3 + (25970/7)/7 a composite number?
True
Is -2 + 936782/14 + 0 composite?
True
Let c = 85517 + 65696. Is c a prime number?
True
Let c(j) be the second derivative of 7*j**4/12 + 5*j**3/6 - 59*j**2/2 - 14*j + 3. Is c(-11) a composite number?
False
Suppose 0*d = d. Suppose -130*x + 126*x + 20 = 0. Suppose 5*k + 2*q - q - 1326 = d, 0 = 5*k - x*q - 1320. Is k a prime number?
False
Let o = 19652 + -14433. Is o a prime number?
False
Let g = 360 + -351. Is g/(-3) + 3/6*6164 composite?
False
Let l(s) be the first derivative of 53*s**3/3 + 2*s**2 - 3*s - 32. Let c be l(4). Suppose -4*h + 167 = -c. Is h a composite number?
False
Is -111 + 461207 - (3 + -26) a prime number?
True
Let o = 16 + -11. Suppose -8*x + 3 = -o*x. Is (-37)/(-3 + x - (-8)/8) a composite number?
False
Let c(p) = -12*p**2 + 1. Let u be c(2). Suppose s - 2*f - 353 = 0, 4*s - 1368 = -6*f + 3*f. Let l = u + s. Is l composite?
True
Let j be 4*1/(-2) + -15. Let w = j + 21. Let r(p) = 11*p**2 - 8*p + 11. Is r(w) composite?
True
Let l(w) = w**3 - 2*w**2 + 5. Let h be l(2). Suppose -5*d - i - 3*i + 7 = 0, -d - h*i + 14 = 0. Is (3 - (-13)/(-4))*d*1172 prime?
True
Suppose 9*c - 110571 - 3348 = 106302. Is c prime?
True
Suppose 69 - 65 = 2*u, 4*i + 4*u - 1046484 = 0. Is i a composite number?
False
Let w(p) = 2*p**2 - 3*p. Let t(z) = -z**2 + z. Let u(y) = -5*t(y) - 2*w(y). Let i(q) = 40*q**2 + 5*q + 6. Let f(x) = i(x) - 6*u(x). Is f(5) a prime number?
False
Let l(s) = -429*s**3 + 39*s**2 + 22*s + 47. Is l(-16) a composite number?
True
Let b = 15710 - -38243. Is b a prime number?
False
Let l(u) = -3*u - 53. Let q be l(-13). Let k(d) be the first derivative of -26*d**2 - 21*d - 4. Is k(q) a composite number?
True
Suppose 0 = -12*i + 439 + 521. Let a = i - -1631. Is a a composite number?
True
Suppose 139*y - 622 = 141*y. Let t = y + 652. Is t prime?
False
Suppose -753 = 3*w + 12960. Is (-6)/9 + w/(-3) prime?
True
Suppose -3*i + 15 = 3*b, -4*b + 5 = 5*i - 9*b. Suppose 4*o + 0*o + 5*p - 847 = 0, -210 = -o - i*p. Let a = o - 148. Is a a composite number?
True
Suppose -5*d = -6 + 31, -5*s + 232560 = 7*d. Is s prime?
False
Let l = 2115 - -10526. Is l a composite number?
False
Let d = -3050 - -10113. Suppose 0 = 3*l + l - 28. Suppose -l*x = -14*x + d. Is x composite?
False
Let u(n) = 4*n**2 - 31*n + 45. Let l be u(6). Suppose 5*v - l*d + d = 51039, v - 10211 = 2*d. Is v prime?
False
Let n be 16/7 + (-24)/84. Suppose 5*j = 8*z - 4*z + 13341, -2*j - n*z = -5340. Is j a composite number?
True
Let r(j) = 581*j**3 - 3*j + 3. Suppose 7 = 4*a - 3*m, -m = -5*a - 0*m - 5. Let d be r(a). Let z = 8836 + d. Is z composite?
True
Let n be (-120)/(-14) - (-14 - 816/(-56)). Suppose 3*v - 520 = -v. Suppose v = n*r - 406. Is r prime?
True
Let y = 5465 + -2698. Is y a prime number?
True
Let m = -863 + 863. Suppose -16*b + 120798 - 25838 = m. Is b a composite number?
True
Suppose h - u = 2*h - 40612, 2*h - 81194 = 4*u. Suppose -h = -11*s - 14944. Is s a prime number?
True
Let j = 69 + -30. Let h = j + -42. Is 316*(-2)/(8/h) composite?
True
Let k(o) = 2*o - 28. Let x be k(15). Suppose x*n = 3*s - 206, 2*s + 2*n = -s + 202. Let v = 99 - s. Is v a composite number?
False
Let s(g) = -22*g**2 - 6*g - 5. Suppose -3*k + 3*i = 8*i + 21, -3*k = -i + 21. Let f be s(k). Let b = -162 - f. Is b a prime number?
False
Let k = -4 + 2. Let z(a) = -93 + 277 - 90 - 156*a - 87. Is z(k) a prime number?
False
Suppose 3*n - 2975 = -3*b + 3910, -4*n - 2*b + 9172 = 0. Is n a composite number?
True
Let q be 5*(20/(-60) - (-10)/3). Let h(m) = 2*m**2 - 5*m - 2. Let v be h(4). Suppose q*d = v*d + 4015. Is d a composite number?
True
Suppose 22*x = 14*x + 80. Is (-38181)/(-22)*x/15 a composite number?
True
Let w be (-1)/(-3) + (-2)/6 + 4. Suppose 3*f - 6*f - 3 = -3*k, -w*k - f = -19. Suppose k*g = -g + 5975. Is g a prime number?
False
Suppose -3*t - 2448 = -5*t. Suppose 2*l + t = 3*d, -d - 4*d + 2040 = 4*l. Suppose -2*i - 42 + d = 0. Is i composite?
True
Let n(w) = 780*w**2 + 7*w - 35. Let v(q) = q**2 + 7*q + 4. Let p be v(0). Is n(p) a prime number?
True
Let t = -73169 - -394923. Is t a composite number?
True
Let l(d) be the third derivative of 187*d**5/60 + 2*d**4/3 + 7*d**3/3 - 2*d**2 + 11. Is l(-5) composite?
True
Suppose 10*f = 277952 + 10748. Suppose 13*n - f = 13263. Is n a composite number?
True
Let m = 51251 + -17391. Suppose 3*l + m = 13*l. Is l composite?
True
Suppose 2*j - 212*k = -209*k + 1097909, -3*k - 1646862 = -3*j. Is j a prime number?
True
Let x(l) = -19*l**3 - 6*l**2 + 2*l - 12. Suppose 2*y = 3*o + 223,