p*t + 518. Is t a composite number?
True
Let y = 3041892 - 2148511. Is y a prime number?
True
Suppose 132 = -25*b + 31*b. Let d = 22 - b. Suppose 3*y + 2782 = 3*x - 1040, 3*x + 2*y - 3837 = d. Is x a composite number?
False
Let b = -5 - -6. Suppose -13*f + 12*f = -b. Is 1 - (-4 + -153) - f composite?
False
Let a = 34 - 30. Suppose -v + 0*t - 10 = a*t, -2*v - t = 34. Is -2*1 + (21 - v) a composite number?
False
Suppose 0 = 2*b - 11*b + 2315241. Is b a composite number?
False
Let r = 23371 - 10890. Is r composite?
True
Let v be (-136)/(-238)*(28/(-2))/(-2). Let j(w) = 366*w**2 + 2*w + 15. Is j(v) prime?
True
Let l = -406304 + 629847. Is l a prime number?
True
Let q(d) = 6*d + 76. Let n be q(-12). Suppose -4*h + n*m + 7638 = 5*m, -7626 = -4*h + 5*m. Is h composite?
True
Suppose 11 = h + 3*h + m, 2*m + 11 = 3*h. Suppose -282 - 528 = -h*l. Let f = 481 - l. Is f a prime number?
True
Suppose 0 = -2*b + 5*i - 35, -3*b + 3*i - 23 = 43. Let l(c) be the first derivative of c**3 - c**2/2 - 33*c - 1. Is l(b) prime?
True
Let z = -23111 - -94516. Is z prime?
False
Let n = 15232 - 6173. Let x = 12702 - n. Is x composite?
False
Let a be 6/(-36) - (-3901)/6. Let z(g) = 126*g + a*g + 21*g. Is z(1) composite?
False
Suppose 5*j = 196 - 701. Let d = j + 95. Is ((-1001)/14)/(3/d) composite?
True
Let k = 489673 - 282344. Is k composite?
False
Let u be (-22)/(-2*2/12*-6). Let h = -143 - u. Let r = -5 - h. Is r a composite number?
False
Let f(u) = -559*u**2 + 6*u - 5. Let t = 1 - 0. Let p be f(t). Let l = p + 3575. Is l composite?
True
Let m(o) = 10*o**3 + 29*o**2 - 14*o - 32. Let l = 65 - 57. Let s(a) = -7*a**3 - 19*a**2 + 9*a + 21. Let h(g) = l*s(g) + 5*m(g). Is h(-5) prime?
False
Is (21754/10 + ((-288)/(-9))/(-16))*5 a composite number?
False
Let l = -460 + 320. Let k be (3 - 5)*2582/(-4). Let r = k + l. Is r a prime number?
True
Suppose 3*o - 12 = 5*o + 4*r, -o - 3*r = 9. Suppose -5*s + 2*b + 1408 + 335 = o, -4*s + 5*b + 1391 = 0. Suppose -s - 377 = -6*g. Is g prime?
False
Let p(b) = 113*b + 221019. Is p(0) composite?
True
Let f(n) = -n - 64. Let m be f(19). Let x = m - -87. Suppose 3454 = 2*r + k, -k = -2*r + x*k + 3454. Is r a prime number?
False
Let r = -12994 - -58653. Is r composite?
False
Let t(s) = -101*s - 22. Let w be t(-11). Suppose -13*y + 4*g = -18*y + w, y + 3*g = 209. Is y a prime number?
False
Let g = 50545 + 80356. Is g composite?
True
Suppose l + 334373 = -0*l + 1090134. Is l a prime number?
False
Suppose 0 = -10*k + 5938 + 1722. Let q(f) = f + 9. Let j be q(-5). Suppose -k = -2*r - j*z, -3*r - 3*z = 2*r - 1901. Is r prime?
True
Suppose 0 = -4*p - 2*r + 401420, -22*p + 18*p + 2*r + 401436 = 0. Is p prime?
True
Suppose 21*m - 24*m + 46599 = 0. Suppose 6*n = -n + m. Is n prime?
False
Suppose 5*b = 5*m + 1644045, 50*b - m + 1644069 = 55*b. Is b a composite number?
False
Suppose -16*v + 15 = -15*v. Let u = -12 + v. Suppose -u*o = 2*m - 511, 4*o = -3*m - m + 1032. Is m prime?
True
Suppose 11376699 - 23012133 = 390*x - 295845204. Is x prime?
True
Let h = 34796 + 245613. Is h a composite number?
False
Suppose 0 = -12*f - 16*f - 72016. Let v = 4455 + f. Is v a composite number?
True
Let i(r) = r**3 - 4*r**2 - 5*r + 7. Let z be i(4). Let m be (-2)/z - 1412/26*-6. Let l = m - 171. Is l composite?
True
Suppose -4*f = 0, -5*s + 81136 + 329819 = -3*f. Is s a composite number?
True
Let d(l) = 187307*l + 339. Is d(2) prime?
True
Suppose 2*y = 4*t - 12422, 17*y + 3105 = t + 16*y. Is t prime?
False
Suppose -2*q + 3*b = -8357, -q - 12*b + 4186 = -15*b. Is q prime?
False
Let v(f) = 84*f + 56179. Is v(0) a prime number?
True
Let z be ((-1)/5)/(1/(-20)). Let t(g) = 208*g**3 + 2*g + 11. Is t(z) a composite number?
False
Let j(r) = -208*r + 853. Is j(-33) composite?
False
Let u(o) = 2*o + o - 12*o - 6*o**2 + o + 3. Let h be u(-7). Let y = 398 + h. Is y prime?
True
Is ((-30)/(-20))/(21/482678) a composite number?
True
Suppose 33 = -g + 8. Let r be 21/28*(1 + g). Is (-12)/r - (-3)/(9/1903) prime?
False
Let b = -46 - -87. Let o = 43 - b. Suppose -3*x + r = -1460, 0 = 2*x - o*r - 0*r - 980. Is x a composite number?
True
Is (40/(-60))/(-3 - (-607952)/303978 - -1) a prime number?
False
Let n = -89 + 90. Is (29 + 0)/((-5)/(n + -636)) prime?
False
Let v(h) = 71*h - 9. Let k(y) = -437*y + 52. Let g(w) = 2*k(w) + 13*v(w). Let d = 24 + -8. Is g(d) a composite number?
True
Is (3 + -25 - -23)/((-1)/(-71011)) composite?
False
Let r be ((-6)/(-10) - (-340)/100) + -3. Let v be (6 - (13 - r))*2/3. Is (v/8)/((-5)/13990) a prime number?
True
Suppose -37431 - 918843 = -4*s + 112466. Is s prime?
False
Let j(f) = 415*f**2 + 10*f - 1018. Is j(-21) a prime number?
True
Let q = 2984 - 43. Suppose 0 = -3*m - 2*n + 26935, 3*m - 23996 - q = -3*n. Is m composite?
True
Suppose 21*v - 126558 - 204293 - 28102 = 0. Is v prime?
True
Suppose -3*s - 15 = 2*s. Let b(v) be the first derivative of 118*v**3/3 + 2*v**2 + 17*v + 233. Is b(s) a composite number?
True
Let q(u) = 88*u**2 - 25*u - 604. Is q(43) a composite number?
False
Suppose 5*f = -5*c + 1026460, 5*c + 410619 = -5*f + 7*f. Is f composite?
False
Let f be (3 + 0)/(9/6). Suppose f = -3*r - 3*w + 8, 5*w = -3*r. Suppose 2*t + 3*g = 1490, -1983 = -2*t - r*g - 501. Is t a composite number?
False
Suppose 2*a + 913239 = 3*o, 0 = -3*a - 248 + 239. Is o a composite number?
False
Let x = -348 + 350. Is ((-626)/5)/(x/(-55)) composite?
True
Suppose n + j - 62103 = 0, -6*j - 4 = -10*j. Let i = 126553 - n. Is i a prime number?
True
Suppose 8*s - 5*r + 70 = 11*s, s - 5*r = -10. Suppose 17*a - 2138 = s*a. Is a a composite number?
False
Suppose -5*p - 2*i = 18, 2*p + 5*i + 0 = -3. Let v(k) = k + 9. Let h be v(p). Suppose h*n - 5*a = 325, -118 = -2*n - 0*n + 5*a. Is n prime?
False
Let t be (39/27 + -1)*261/58. Suppose 0 = m - 2*m + 5. Suppose 0 = -t*o - 5*n + 797, m*n = -6*o + 2*o + 1599. Is o prime?
True
Suppose 5*g = -7*q + 2*q + 22445, -q = -2*g + 8963. Let l be (g/8)/(1/(-2)). Let u = 1658 + l. Is u composite?
True
Let n(v) = -1024*v - 862. Is n(-30) a composite number?
True
Suppose -4*c = -7*c + 177. Suppose -308 = 66*t - c*t. Is (45694/t)/(2/(-4)) a composite number?
True
Let j(u) = u + 7*u - 9*u. Let h be j(-2). Suppose 0 = -d - h*d + 657. Is d prime?
False
Let x(q) = 202*q + 11. Let r(u) = -193*u - 12. Let g(w) = -4*r(w) - 5*x(w). Let b = -1 + -1. Is g(b) prime?
False
Is -7 - (-1 - 525306) - (5 + -4) composite?
False
Suppose 5*o + 3376 = p + 27683, 19438 = 4*o + 3*p. Is o composite?
False
Let b be ((-12)/(108/375))/((-2)/96). Let x = 4295 + b. Is x composite?
True
Let p(s) be the second derivative of 1/6*s**4 + 0 + 7/2*s**5 - 1/2*s**2 - 1/3*s**3 - 5*s. Is p(3) a composite number?
False
Let a = -11 - -16. Let q(v) = 74*v - 43. Let h(t) = 111*t - 65. Let s(p) = -5*h(p) + 8*q(p). Is s(a) composite?
True
Let u = -18943 + 26578. Suppose -10 = 3*t - 25, -5*o - 5*t = -u. Is o a prime number?
False
Let v = 28975 + -65307. Let x = v + 52893. Is x prime?
True
Let h be (-5)/((-10)/(-2)) + 2*1. Let x(n) = 9*n**2 - 1. Let f be x(h). Is ((-15)/(-20) - 10/f)*-2908 a prime number?
False
Suppose 50*v = 46*v + 12. Suppose v*m - d = 4*d - 4, m + d = 4. Suppose m*r - 233 + 51 = 0. Is r composite?
True
Let t(d) = 273*d**2 + 35*d + 1497. Is t(-52) a composite number?
True
Suppose -7866 = -23*m + 37835. Is m prime?
True
Suppose -14*l + 17 + 53 = 0. Suppose -14323 = l*f - 93708. Is f a prime number?
True
Let n(v) = 63*v + 57. Let l be n(-21). Let c = l - -2233. Is c prime?
True
Suppose -2*y = -4*b - 116, -2*b - 3*y - 12 = 62. Let l(t) = 4*t**2 + 71*t + 12. Is l(b) composite?
True
Is 19351640/5150 + (-34)/(-10) composite?
False
Let q = 10 - 19. Let h(m) be the first derivative of m**4/4 + 14*m**3/3 + 9*m**2/2 + 11*m - 103. Is h(q) composite?
True
Suppose 70*p + 10*p + 197*p - 4155 = 0. Suppose 0*c - 4*c + 2456 = 0. Suppose 17*h - c = p*h. Is h prime?
True
Suppose -5*y + 4*l = -373, 0*y + 376 = 5*y - 3*l. Suppose 80*r - y*r - 31923 = 0. Is r composite?
True
Let p = 24 + -16. Suppose -1216 = -p*c - 400. Suppose -c = -4*h + 70. Is h prime?
True
Let m = -5688 + 9501. Suppose -m = -2*y - 215. Suppose -o + 4*r + 319 + 134 = 0, -y = -4*o + 3*r. Is o a composite number?
False
Let x(y) = 1280*y - 81. Let u be x(12). Suppose -15*g - u + 53094 = 0. Is g composite?
False
Is 12/18*13262895/