 8862, 3*b - 4*k = -962 + 27537. Is b a composite number?
True
Let j = -1084 + 2207. Is j composite?
False
Suppose 6*k - 71 = k + n, 0 = 2*k - 5*n - 33. Suppose -w = w + k. Let p(t) = t**3 + 8*t**2 + 4*t + 10. Is p(w) a composite number?
False
Let p(u) = 665*u + 31. Let w(f) = -10641*f - 495. Let b(n) = -33*p(n) - 2*w(n). Is b(-2) a prime number?
False
Let t be 12/(-2)*(1 - 2). Suppose -2*q = -t*q + 32. Let k(r) = 27*r - 13. Is k(q) composite?
True
Let t(x) = -43*x**2 + 5*x + 7. Let m(l) = 43*l**2 - 5*l - 7. Let w(a) = -3*m(a) - 4*t(a). Is w(5) a prime number?
False
Let w = -265 - -600. Is w prime?
False
Let k(t) = 832*t - 19. Is k(3) a prime number?
True
Let q(n) = -2*n**2 + n + 2. Let v be q(0). Suppose 10 = 3*f + v*f. Suppose -s - 3*j + 2*j = -188, -f*j = 6. Is s a composite number?
False
Let n = 21149 + -7734. Is n prime?
False
Is (-4)/6 + (-2531258)/(-246) prime?
True
Let b(i) be the first derivative of 105*i**3 + 13*i**2/2 + 25*i + 2. Is b(-2) a prime number?
True
Let d(u) = 145*u**3 + 0*u**2 - 28*u**3 + 3*u - 1 + 28*u**3 - u**2. Let n be d(2). Suppose 0 = -3*y - x + 1170, y = -2*y + 2*x + n. Is y prime?
True
Let s = 74 - 72. Suppose 4*z = -4*o + 11150 + 7774, s*z - o - 9468 = 0. Is z a composite number?
False
Let n(q) = -8*q**3 - 3*q**2 + 9*q - 6. Let b be n(-5). Let z = b - 221. Is z a composite number?
False
Suppose -76523 = -38*s + 79619. Is s a prime number?
False
Suppose 3*f + f + 8 = 0. Let i be (1/(-2))/(f/20). Is (i/20)/(3/2292) prime?
True
Is (-5)/(15/(-6474)) - (0 - 1) a prime number?
False
Let z(o) = 186*o - 1. Let d be z(5). Is d/(((-10)/(-5))/(2*1)) a prime number?
True
Let q be (-1)/6 - (-6)/36. Suppose q = -b - b + 382. Is b prime?
True
Let v(o) = -160*o - 493. Is v(-15) a composite number?
False
Let t be (2 + (-38)/5)/(4/(-4910)). Is (t/14)/(-1 + 1 + 1) a prime number?
True
Let b(s) = s - 68. Let q be b(0). Let y = -40 - q. Is (-2)/(-7) - (-580)/y a prime number?
False
Let m be (-8 + 1/(-1))*-1. Is 2*2 + (m - -98) a prime number?
False
Let q = -16479 - -30320. Is q prime?
True
Let l(r) = -37*r**3 + r**2 + 3*r - 2. Let t be l(2). Let j = t - -1685. Is j prime?
False
Let w(y) = 80*y**3 - 4*y**2 + 3*y + 3. Is w(2) a composite number?
True
Suppose 2*f = 4*x - 0*f, 0 = -5*x + 5*f. Let d be x/((-2)/(-4)*2). Is d - (-3 - 37 - 3) a composite number?
False
Suppose -88 + 85 = -o. Suppose -2*t - 107 + 824 = o*g, g = 4*t + 239. Is g a composite number?
False
Let t = 1365 - 556. Is t prime?
True
Let h = -209 + 337. Let z = h + 2243. Is z a prime number?
True
Suppose 0 = -2*i + 4*u + 68 + 16, -i - 4*u = -30. Suppose 2 - i = -4*o. Suppose -o*t + 785 = -4*t. Is t a composite number?
False
Let u(t) = -38*t - 2. Let y be u(-2). Suppose -11*k = -9*k - y. Suppose 4*l = k + 87. Is l composite?
False
Is 19/((-171)/(-3798)) + -3 a composite number?
False
Let p = 1637 + -3607. Suppose -6*s - s = 24703. Let k = p - s. Is k prime?
True
Suppose 8*h - 36 = -h. Let s(t) = 303*t**2 + 2*t - 1. Is s(h) a prime number?
False
Let r(z) = -z**2 + 5 - 8 + 2*z - 6 + 9*z**2. Is r(5) a composite number?
True
Is (-10)/(-2) + (14532/4 - -5) composite?
False
Suppose 4*v - 3*k = 4240 + 12168, v + k = 4109. Is v a composite number?
True
Let m be (-1231 - -4)*1/3. Let o = -192 - m. Is o composite?
True
Is (-325)/(-260) - (68846/(-8) + -2) composite?
False
Suppose -3*n = 9, 2*v + v = n - 12. Let y be 0 - v/((-10)/(-4)). Suppose -482 = -2*l - d, 0 = 3*l + y*d - 443 - 282. Is l composite?
False
Suppose -49557 = -223*g + 220*g. Is g composite?
False
Let z(g) be the third derivative of -91*g**4/24 - 11*g**3/6 - 30*g**2. Let h = -5 - 1. Is z(h) composite?
True
Let k = -151 - 167. Let q be 115*(-1130)/(-200) - 3/4. Let f = k + q. Is f prime?
True
Let m(s) = 69*s + 11. Let o(r) = 35*r + 5. Let q(a) = 6*m(a) - 11*o(a). Let t be 1 + -3 - (0 + -8). Is q(t) composite?
True
Let l = -44665 - -114346. Is l composite?
True
Suppose -16*z + 332529 - 43137 = 0. Is z a composite number?
True
Let g(b) = -b**2 + 3*b - 3. Let v be g(2). Let k = 3 - v. Suppose k*i + i = 265. Is i composite?
False
Let p(y) = -y**3 + 6*y**2 - 2*y + 4. Let c be p(6). Let q be (1 - c/4) + 1. Is 2/(-3)*(-3846)/q composite?
False
Suppose -o = -y - 2, 2*o - 4*y - y - 19 = 0. Let z be ((-15)/(-6) + o)*-852. Let i = -271 + z. Is i a prime number?
False
Let v be (-309)/(-24) - (-2 + (-15)/(-8)). Suppose -v + 124 = z. Is z a composite number?
True
Let t(r) = r - 3. Let u be t(4). Let h = 441 - -816. Suppose 0*l + 2*s - h = -5*l, u = s. Is l a prime number?
True
Suppose -237 = 3*p + 2*k + 4174, -4*p + 5*k = 5866. Let t = p + 2380. Is t a composite number?
False
Suppose -5*r = 2*v - 90391, 5*r + 3*v - 54240 = 2*r. Is r prime?
True
Let v(u) = u**2 + 3*u + 15. Is v(6) composite?
True
Let u = -5 + 5. Let i = 1 + u. Is (-1 - (i + 2)) + 267 a composite number?
False
Suppose 0 = -3*x + 5*l + 17, x = 2*l + 4 + 2. Suppose 0 = -x*d - 2*o + 390, d - 92 = -o + 6*o. Is d prime?
True
Let f = 6 - 6. Is 467 - f*(-1)/5 a composite number?
False
Let a = 6338 - 3729. Is a a prime number?
True
Let r(v) = 29*v - 12. Suppose 0 = -10*a + 11*a - 5. Is r(a) composite?
True
Suppose 176*b = 169*b + 10479. Is b composite?
True
Let d = 14 + -16. Is ((-1)/1)/(d/278) prime?
True
Is (120/(-36) + 3)/((-2)/29742) a prime number?
True
Suppose 11*p = 14318 + 278865. Is p a prime number?
False
Let p = -10 + 14. Suppose -p*y + 5*y = 923. Is y a composite number?
True
Let r(s) = 36*s**2 + 15*s - 5. Is r(4) a composite number?
False
Suppose 7*d - 31912 = -3849. Is d composite?
True
Let y(p) = 57242*p**3 - 2*p**2 + 3*p - 2. Is y(1) a composite number?
False
Let y(o) = 1391*o + 357. Is y(16) prime?
True
Let a be (-1)/2 + 3/6. Suppose a = -5*w + 4*w + 2153. Is w composite?
False
Let d(m) = m**2 + 8*m + 8. Let u be d(-8). Suppose u*a + 8 = 9*a. Is 630/a - 7/(-28) a composite number?
False
Suppose -5*k = -15, -6*o - 9907 = -7*o - 2*k. Is o prime?
True
Suppose -18*g + 23*g + 10 = 0. Is (3/g)/(3/(-598)) prime?
False
Is (-3 + 1)/(10/(-305645)) a prime number?
True
Suppose 25*v = 38*v - 55627. Is v prime?
False
Let g(j) = 25*j**2 - j + 35. Is g(-11) composite?
True
Let f(l) = 28*l - 19. Let c(v) = -29*v + 18. Let z(y) = 5*c(y) + 6*f(y). Is z(5) a prime number?
False
Let w(t) = 119*t**2. Let f = 12 - 7. Suppose -2 = -f*p + 3*p. Is w(p) composite?
True
Let z(l) = -9*l + 4. Let p be z(-4). Suppose -3*t - 2*o + p = 3*o, t + 10 = 3*o. Suppose -k - t*h + 220 - 29 = 0, -5*h + 402 = 2*k. Is k a composite number?
False
Let l(z) = -z**3 + 30*z**2 + 12*z - 40. Is l(27) composite?
True
Suppose 4*m = -2*s + 27952, 0 = -2*m + 6*m + 5*s - 27946. Is m a prime number?
False
Suppose 0 = 5*z - 2*a + 16, -3*z - 3 - 19 = 5*a. Let w be (z - (3 - -23))*1. Is w/(-45) - (-55)/3 prime?
True
Let a be 15/10*(-996)/9. Let l = a + 467. Is l a composite number?
True
Let r = -3 - 10. Let t(y) = 7*y**2 + 7*y + 6. Let b be t(r). Suppose g - 2*g = 2*d - 1118, 2*d - 4*g - b = 0. Is d a composite number?
False
Let v(m) = -2*m**2 + 3*m - 4. Let q be v(2). Let y(n) = -n**3 + 6*n**2 - 7*n + 5. Is y(q) composite?
False
Let h(y) = y**3 - 22*y**2 + 45*y + 97. Is h(32) a composite number?
False
Let f(q) = -q. Let c(i) = -i - 13. Let t(p) = 5*c(p) - 15*f(p). Is t(25) a composite number?
True
Suppose 4*m + 21 - 9 = 0, g + 3*m + 6 = 0. Suppose g*d - n + 3*n = 1327, -3*n + 1326 = 3*d. Is d composite?
False
Let t(j) = -3*j**2 + 6*j - 1. Let g be t(-8). Let k = g - -737. Let f = 747 - k. Is f composite?
False
Suppose -2557 - 40507 = -4*z + m, z - 10749 = -4*m. Is z a composite number?
True
Let f = 730 + -1408. Let h = 995 + f. Is h a composite number?
False
Suppose -z - 2*z - 324 = 5*g, -5*g = -5*z - 580. Let h be (2 - -1)*z/(-3). Suppose c - 5*l - 62 = 51, -c + h = -2*l. Is c prime?
True
Is -624057*(30/60)/((-6)/4) a composite number?
True
Suppose 3*s - 64277 = 5*t, -16*t = 5*s - 11*t - 107075. Is s a prime number?
True
Let f(n) = -n**3 + 22*n**2 - n - 3. Let d(o) = -o**2 + o. Let w(p) = 5*d(p) + f(p). Is w(14) a composite number?
False
Let l be (-6)/(4 - 3787/946). Let t = l + -853. Is t a prime number?
True
Let p(f) = -31*f**3 - f**2 - 4*f - 5. Let b(w) = -w**3 - 5*w**2 - 5*w - 6. Let y be b(-4). Is p(y) a composite number?
True
Is ((-4)/(-24))/(3 + 5477305/(-1825770)) a prime number?
True
Suppose t = 8*t. 