 = 3*t - 4*t - 4*x + 165. Is t a composite number?
True
Is -2 + 8 + 18478 - 3 a composite number?
False
Let v = -428 - -2192. Let r be (-1)/(-1) + -810 - 2. Let j = r + v. Is j composite?
False
Let u = 4069 + -2006. Is u a prime number?
True
Suppose -6*j + 2*j + 1421 = l, -2837 = -2*l - 3*j. Is l prime?
False
Suppose -4*q = -2*q. Suppose 3*p - 236 - 1 = q. Is p a prime number?
True
Suppose -13*p + 147565 = -46174. Is p prime?
False
Let c be 50*(-4 - (-26)/4). Let l(o) = 29*o**2 + 4*o + 3. Let r be l(-3). Let s = r - c. Is s a composite number?
False
Suppose x + 1881 = 4*x. Suppose 14*s - 11*s = x. Suppose s + 24 = t. Is t a prime number?
True
Let q(p) = p**2 - 14*p + 19. Let z be q(13). Suppose z*d - 5245 = d. Is d composite?
False
Let l = -8 + 12. Let q(a) = 2*a + l - 8*a**2 - 3 + 100*a**2. Is q(-1) prime?
False
Let t be -12 - (0 + 10)/5. Let k(x) = -32*x - 29. Is k(t) composite?
False
Let y = 1 + -3. Let s be (-1124)/(-3) - y/(-3). Suppose -2*r + 189 = o, 4*r - s = -0*r + 2*o. Is r composite?
True
Suppose -5 = -c, -4*j + 1007 = c - 6*c. Let s = j - 95. Is s composite?
False
Let r = -12 - -6. Let y = r + 9. Is 2*-17*(-3)/y a prime number?
False
Let c be 1703 + -3*(-1)/(-3). Let l = c - 911. Is l a prime number?
False
Let u(o) = -o**2 + 7*o - 5. Let f(d) = d**2 - d. Let h(j) = 5*f(j) + u(j). Is h(7) composite?
True
Let w be (1 - -5) + -12 + 12. Suppose 5*z + 867 = 2*n, 2225 = w*n - n - z. Is n a composite number?
True
Let v(q) = 2*q**3 - 14*q**2 - 25*q + 14. Is v(11) prime?
False
Let g be ((-10)/30)/((-1)/27). Let q be g/9 - (-1 + -2). Is (-331)/(-9) - q/(-18) composite?
False
Suppose 3*n - 5*a = 8, 4*n - 4*a - 17 = -1. Is n/(-3 + 9) - -1881 prime?
False
Let a be (-3)/((-12)/(-8)) - (5 + -9). Suppose 0*t = 4*t - 4592. Suppose 0 = -6*i + a*i + t. Is i a composite number?
True
Let t = -528 - -2261. Is t composite?
False
Let u = -619 - -1572. Is u a composite number?
False
Suppose 0 = m + m + 5*j + 7, 3*j = 3*m + 21. Let r(w) = -158*w + 5. Is r(m) a prime number?
True
Let f(c) = c**2 + 2*c + 28. Let j be f(0). Let n = j + 23. Is n composite?
True
Suppose -6*g + 58605 = -g + 5*q, 3*g - 35163 = q. Is g prime?
False
Let k be 4*((-21)/12 + 2). Let l be (2 - 0)*k/2. Is 95 + 1 - (l - 0) a prime number?
False
Suppose -3*m + 134833 = 10*w - 2*m, 5*m = 5*w - 67400. Is w a composite number?
True
Let k = -13 + 18. Suppose 14 = k*u - 11. Suppose -u*f = -2065 + 275. Is f prime?
False
Let s be (-22)/(-33) + (-7)/(-3). Suppose s*n - 9221 = -n + 3*a, -a + 5 = 0. Is n prime?
True
Suppose 0 = -2*s + 2*r + 2716, -5447 = -4*s - 2*r + r. Is s a prime number?
True
Let k(g) = 3*g**2 + 23*g + 21. Let t(o) = -2*o**2 - 12*o - 10. Let y(d) = 3*k(d) + 5*t(d). Let v be y(10). Suppose -2*a = v*a - 285. Is a prime?
False
Let k = -1 + 34. Suppose 18 = -31*b + k*b. Is b prime?
False
Let m be 6/(-5)*(-20)/(-8). Let q(l) = -850*l + 39. Is q(m) composite?
True
Suppose q = -2*y - 0*y + 784, -3*q + 2337 = y. Is q composite?
True
Let a(j) = 38*j**3 - j**2 - 17*j - 7. Is a(8) composite?
False
Suppose 386898 = -2*x + 8*x. Is x composite?
False
Let v(n) = 7*n**2 - 23*n + 89. Is v(29) prime?
True
Suppose 0 = 3*a - 617 + 77. Let w = a + 24. Suppose 3*f = -3*g + w, -3*g - 148 = -2*f - g. Is f prime?
True
Suppose 0 = 2*l - l - 333. Suppose 97 = 2*g - l. Is g a composite number?
True
Suppose -152698 = -5*p - 3*y, -3*p - 3*y = 43032 - 134652. Is p composite?
False
Let n(f) = f. Let k be n(9). Let u be -2 + -3*30/k. Is (-3)/u - 43/(-4) composite?
False
Suppose 2*q - 4*j + 181 = 2415, -4*j = q - 1123. Let z = 1906 - q. Is z a prime number?
True
Suppose 2*a - b - 7 = -2*b, -4*a = -2*b - 34. Suppose 0 = d - a. Is 1214/d + 2/3 composite?
True
Let k be 2/13 + (-230)/(-26). Let v be 2/k + (-4424)/63. Is 2/(-7) + (-155490)/v a composite number?
False
Let v(y) = 101*y**3 + 3*y**2 + 7*y + 11. Is v(6) composite?
False
Suppose 0 = -m + y - 4*y + 24, -5*y = -m. Suppose -3*i - 2*q = -7, m = -5*i - 2*q + 4*q. Let z(g) = -184*g**3 - g**2. Is z(i) a composite number?
True
Let u be 1/(5/45*3). Suppose -6*k - 759 = -u*k. Is 0 - (1 + -5) - k prime?
True
Let c be 42/(-21)*2*1. Is (-12)/24 - 4878/c prime?
False
Suppose 6893 = b - 4*f, 5*b - 29*f - 34501 = -27*f. Is b a prime number?
False
Let r(l) = -149*l - 38. Is r(-23) composite?
False
Let h(l) = -l**2 + 2*l + 4. Suppose 2*y + 2*b = -3*b + 37, -2*y - 4*b = -32. Let f be h(y). Let p = f - -99. Is p a prime number?
True
Let f(j) = 4*j + 5. Let h be f(-2). Let m be h/4*-4 - -163. Suppose -3*a = z - 3*z + m, -97 = -z - 2*a. Is z prime?
True
Let a(o) = -o**2 + 5*o + 4. Let x be a(6). Is x/(-2)*(-1146)/(-6) prime?
True
Let w = -226095 + 316810. Is w composite?
True
Let u be 3*((-10)/(-3))/5. Suppose 2*c + u = 3*c. Suppose -264 = -c*g + 674. Is g a prime number?
False
Let y(g) be the second derivative of -g**3 - 35*g**2/2 + 17*g. Is y(-19) a prime number?
True
Let y = 9 + -11. Let t(u) = -u**3 - 3*u**2 - 4*u - 2. Let o be t(y). Suppose 2 = -o*b, z = -3*z + 2*b + 350. Is z a prime number?
False
Let b = 1533 - 1089. Let j = 1113 - b. Is j prime?
False
Is (-4)/(-14) + (1 - (-14502)/7) a composite number?
True
Let q = 421 + 621. Is q composite?
True
Suppose 28409 + 25129 = 6*c. Is c a prime number?
True
Let k(n) = -3*n + 2. Let f(p) = -p - 1. Let j(l) = -2*f(l) + k(l). Let i be j(-2). Suppose -i = 2*z + m - 18, 10 = 2*z + 2*m. Is z composite?
False
Is (1*388/16)/(4/80) composite?
True
Suppose -82 = -3*d - 19. Suppose -16*r + d*r - 1855 = 0. Is r a composite number?
True
Let a be 1302/(-35) - 2/(-10). Let s = 684 + a. Is s composite?
False
Suppose -3*o + 2*o + 3 = -3*d, 2*o = -3*d - 30. Let r(f) = f**3 + 12*f**2 + 11*f - 17. Is r(o) prime?
True
Let w = 1 - -1. Suppose -w*n + 6*n - 5*a + 12 = 0, n + 3 = -4*a. Is 1 + 56 + n + 5 a composite number?
False
Let r(o) = o**3 - 7*o**2 + 9*o. Let p be r(4). Suppose b + 7 = -19. Let w = p - b. Is w a composite number?
True
Let k(s) be the third derivative of 5*s**6/2 - s**5/30 + s**4/8 - 5*s**2. Is k(1) prime?
False
Let f(l) = 38814*l**2 + 9*l - 4. Is f(1) a composite number?
True
Suppose 5*i + 2*x = 10016, 4*i = 7*x - 5*x + 8020. Suppose -3*r + i = 9*r. Is r composite?
False
Let j(b) = -b**3 - 34*b**2 - 29*b + 223. Is j(-37) a composite number?
True
Is 67884/44 + (-2)/(-11) composite?
False
Let w be (0 - 21)*(-1)/6*-2. Let l(c) = -6*c**3 + c**2 - 5*c - 13. Is l(w) a prime number?
True
Let q(u) be the third derivative of -u**6/120 - u**5/30 - u**4/12 + 5*u**3/6 + u**2. Suppose 0 = -h - 0*p + 4*p + 14, -3*h + 5*p = -7. Is q(h) a prime number?
False
Let h be ((-4)/(-10))/(7/35). Is 0 + 1 - (-86 - h) a prime number?
True
Suppose 5*x = 6*x + 948. Let y = x + 1327. Is y prime?
True
Suppose -3*b + 10 + 2 = 0. Suppose -12 = 5*y - b*l, 3 = -5*y + 3*l - 2*l. Suppose -4*i = 2*u - 994, u = 2*i - y*u - 507. Is i prime?
True
Let j = -4 - -12. Suppose 28 = j*x - 684. Is x a composite number?
False
Let n = -1640 + 15637. Is n a composite number?
False
Suppose 0 = 2*k + 2*v - 10 - 10, -22 = -3*k + v. Let r be ((-46)/k)/(4/(-16)). Suppose 0*h + h - r = 0. Is h a prime number?
True
Let i(g) be the second derivative of -3*g**5/20 - g**3 - 5*g**2 + g. Let m(b) = -34*b - 174. Let t be m(-5). Is i(t) a composite number?
True
Let y(a) = 51*a + 14. Let i(b) = -b**2 - 3*b + 3. Let z be i(-3). Suppose -z*q + q - 21 = -v, -5*q - 46 = -2*v. Is y(v) prime?
True
Let v(m) = -2*m + 34. Let z be v(16). Let k = 5991 - 4236. Suppose l - k = -4*l - z*c, 0 = l - c - 358. Is l a prime number?
True
Let k = -249 - -222. Suppose 3*t - 1 + 397 = 3*o, 0 = 2*t - 3*o + 260. Let l = k - t. Is l composite?
False
Let m = -10980 - -18021. Is m prime?
False
Suppose -290 = -v - 4*v - 4*n, 5*v + 3*n = 285. Let r = v + -94. Let k = 25 - r. Is k a prime number?
False
Let g = 1103 + -478. Let d = 889 - g. Suppose -3*s - 2*a + d = 0, 7*a - 270 = -3*s + 3*a. Is s a prime number?
False
Suppose 13 = -c - 56. Let r = c + 172. Is r prime?
True
Suppose h - 963 = -h - l, -2*h + 3*l = -959. Suppose h = 3*t - 1421. Is t a prime number?
False
Let p = -7 - -9. Let j(d) = 2*d**2 - 4*d + 3. Let t be j(p). Let i = 208 + t. Is i a composite number?
False
Let d be 222/(-42) - (-4)/14. Let c(a) = 15*a**2 + 2*a + 5. Let q be c(d). Suppose 5*s - q = 2995. Is s a composite number?
False
Let z(n) be the f