2*q + 4*g + 38, 2*q + g = 3*q - w. Is q a composite number?
True
Suppose 0 = -28*i + 24*i + 17996. Is i prime?
False
Let y(f) = 64935*f - 134. Is y(3) composite?
False
Suppose 2*g - 54920 = -3*j, -4*g - 6*j + 10*j = -109820. Is g prime?
True
Let n = 4970 + -3132. Is n composite?
True
Let v = 27 + 8. Let r be 259/v - 2/5. Suppose 93 = -4*b + r*b. Is b a composite number?
False
Let p(u) = 24*u - 30*u - 41*u - 57*u + 19. Is p(-3) a prime number?
True
Let i be 0 + 2/((-4)/(-6)). Suppose -51 - 171 = -i*z. Is z a composite number?
True
Let x be 0 - -1 - (-10 + 6). Suppose 2337 = x*k - 1378. Is k composite?
False
Is (-176438)/(-14) - (-104)/364 composite?
True
Let c = -2311 + 7092. Let d = -3158 + c. Is d prime?
False
Let t = -1 + 3. Let f(c) = 17*c**2 - 5*c + 4. Let h be f(6). Suppose -2*x - 6*d + h = -2*d, -t*d = 5*x - 1497. Is x prime?
False
Let x be ((-3)/2)/(11/(-22)). Suppose 3*y - 798 = -3*s, -67 = -x*s - y + 729. Is s a composite number?
True
Let h(l) = 20*l**2. Let f be h(-1). Suppose g + f = -g - 5*y, g - 16 = 4*y. Suppose 2*d + g*d - 446 = 0. Is d a composite number?
False
Suppose -v + j + 419 = 0, -4*v - 389 + 2062 = -5*j. Suppose 3*i = i + v. Is i a composite number?
False
Is (-201312)/(-28) - 6/(-21) - 3 a prime number?
True
Let p = -1581 - -2854. Is p prime?
False
Suppose -3*b = -2*u + 7, 2*b = -3*u + b - 6. Let s = u - 1. Is (-1)/(s/(-1 - -219)) a composite number?
False
Let n(q) = 8*q**2 + 33*q + 45. Is n(-14) prime?
True
Suppose 0 = -4*m + i - 61, -5*i = -3*m - 3*i - 52. Let y = m - -17. Is -7*((-18)/y - 1) composite?
True
Let m = -25 - -43. Let k be 2*(-2)/(-4) - 0. Let i = k + m. Is i composite?
False
Let o(g) = -6 - 3 + g**2 - 2 - 6*g + 6*g**2. Is o(10) a prime number?
False
Is (570/135 - (-4)/(-18)) + 49 a composite number?
False
Let g = -2780 - -4603. Suppose 3*x - g - 604 = 0. Is x composite?
False
Let t(a) = -a**2 + 9*a - 1. Suppose -2 - 4 = 2*b. Let m = b + 10. Is t(m) composite?
False
Let t = 5819 + -1498. Is t composite?
True
Let i(f) = -30*f - 3. Let w be (0 + (-2)/(-6))*0. Suppose 0*l + 15 = -l + 4*a, -5*l + 2*a - 21 = w. Is i(l) composite?
True
Suppose 3*v - v = -x + 16523, 4*v + 4*x = 33040. Is v prime?
True
Suppose -156*j - 32934 = -162*j. Is j prime?
False
Let u(r) = r**2 - 10*r + 1. Let h(d) = d**2 + d. Let z(f) = h(f) + u(f). Let k(y) = -y. Let t(x) = 2*k(x) + z(x). Is t(-8) a composite number?
True
Suppose 0 = 11*f - 3*f + 7568. Let j = f + 1347. Is j prime?
True
Let s be 14/4*(-120)/(-70). Let l = -4 + s. Suppose -4*f + 6*f = -4*c + 464, l*c = -2*f + 234. Is c a prime number?
False
Is (818/3)/((-336)/(-54) - 6) composite?
True
Let v(o) = -3 - 239*o - 100*o + 2. Suppose 37*c + 5*g = 33*c - 23, 5*c = -2*g - 16. Is v(c) a prime number?
True
Let z(f) be the first derivative of 43*f**2/2 - f - 4. Let c be z(1). Is ((-28)/c)/((-2)/474) composite?
True
Suppose 5*x + 5*k = 50, 9*x = 4*x - k + 62. Let m(t) = t**3 - 7*t**2 - 12*t + 11. Is m(x) prime?
False
Let w(g) = -4*g**2 - 12*g + 11. Let p be w(10). Let t = 1648 + p. Is t prime?
False
Suppose -302 = 7*y - 92. Let q = y - -145. Is q a prime number?
False
Suppose 0 = -3*u + 2*t + 21359, 5*u + 15*t - 35599 = 18*t. Is u a prime number?
True
Let z(t) be the second derivative of -t**4/12 - 2*t**3 - 7*t**2 + 3*t. Is z(-6) composite?
True
Suppose -3 = -u + f, 3*u - 5*f - 6 = 7*u. Let j = 51 + -61. Is (u - -1)/(j/(-1855)) composite?
True
Let r(t) = -9 + t - t**3 + 3*t**2 + t + t + 3. Let b be r(4). Let j(l) = l**3 + 10*l**2 - 10*l + 6. Is j(b) a composite number?
True
Let b(s) be the first derivative of s**4/2 - 2*s**3/3 - 2*s + 2. Let g be b(2). Suppose -3*w + 859 = 4*i, -3*w = -i - g*w + 226. Is i prime?
True
Let i = 91626 + -63425. Is i a composite number?
False
Let f be (-4937)/(-5) - (-4)/(-10). Suppose -2*q = -6*q + 3*t + 1337, 3*q + 3*t = f. Suppose 3*g = 1 + q. Is g composite?
True
Let f = 4460 + 557. Is f prime?
False
Let v be (-86401)/49 + 4/14. Let x = v - -508. Is (0 + 3)/((-15)/x) composite?
False
Let c(z) = z**3 + 9*z**2 - z - 6. Let y be c(-9). Suppose y*p + 4*i - 1619 = -2*p, -2*p = 4*i - 638. Is p a composite number?
True
Let u = -86 + 87. Let f(g) = 2159*g**2 - 5*g + 1. Is f(u) composite?
True
Let i(d) = -d + 9. Let b be i(8). Is ((1 + -2)*2 - -373)*b a prime number?
False
Suppose -4*d + 0*d + 4807 = n, 3*n = 4*d - 4795. Is d a composite number?
False
Let n(o) be the first derivative of -25*o**4/4 - o**3/2 - 3*o**2 + 8. Let s(k) be the second derivative of n(k). Is s(-3) a composite number?
True
Suppose -119307 = -4*f + 5*y, -2*f = y - 5517 - 54126. Is f prime?
False
Suppose 0*b = -2*b + 6, 0 = -y - 3*b + 244. Let v = 614 - y. Is v a composite number?
False
Let t(x) = 94*x**2 + x. Let h(f) = -f**2 - 9*f - 7. Let s(q) = -9*q**2 + 2*q - 1. Let i be s(1). Let u be h(i). Is t(u) composite?
True
Let m(o) = 45*o**2 + 7*o + 11. Let b be m(-7). Let t = b - 114. Is t a composite number?
False
Suppose 15138 = 7*t - 13240. Is t prime?
False
Let v(g) = 2*g**3 + 6*g**2 + 4*g - 9. Suppose 4*m = 7 + 13. Is v(m) composite?
True
Let b = -5 + -8. Let d(v) = -261*v + 14. Is d(b) composite?
False
Let c be -5*(4 + 112/(-20)) + -3. Suppose -4933 - 1461 = -c*h - 3*s, 3846 = 3*h + 5*s. Is h composite?
False
Let h(y) = -3*y**2 + 4*y + 12. Let i be h(-9). Suppose -5*m = -307 - 3793. Let x = m + i. Is x prime?
False
Let b(t) = -t + 15. Let x be b(8). Suppose 2*p + 5*n = -20, 2*p + n - 3 + x = 0. Suppose 3*y + 2*y - 1675 = p. Is y a prime number?
False
Let n(a) = -a**2 + 9*a - 5. Let d be n(8). Suppose -2*g - 6 = d*y - 3*g, 0 = -y + 3*g + 6. Is (-120)/(-2) - (-3)/y a composite number?
False
Let b(o) be the third derivative of 11*o**4 + 41*o**3/6 + 6*o**2. Is b(8) prime?
True
Suppose p - 8000 = -3*p. Suppose -4*k + r + 807 = -p, k - 686 = -5*r. Is k a prime number?
True
Let y(k) = k**2 + k + 1. Let t(r) = 4*r**2 - r - 1. Let i(j) = t(j) - 5*y(j). Let g be i(-4). Is ((-3)/g)/(21/(-8974)) prime?
True
Let b(j) = -40*j**3 + j**2 + 4*j - 8. Is b(-3) a prime number?
True
Let a be (-1 + 1)/(-8 - -5). Suppose 13*b - 8*b - 1495 = a. Is b a prime number?
False
Suppose -4*c = -2*f + 58, -5*f + 4*c + 163 = 48. Is f a prime number?
True
Let t be 6*-1*(-10)/15. Suppose -y = t*v - 56, -3*v + 4*y + 0 + 42 = 0. Is ((-7)/v)/((-3)/318) a composite number?
False
Let a = 7050 + 739. Is a a composite number?
False
Suppose -12333 = -26*x + 25*x. Suppose 0 = 5*i - 2*i - x. Is i composite?
False
Let q(k) = -28*k - 9. Let y(g) = -g**3 - 4*g**2 + g - 4. Let d be y(-4). Let f be q(d). Suppose f = n + 70. Is n composite?
True
Let b(f) = -5*f**3 + f**2 - f - 1. Let p be b(-1). Let q(v) = v - 6. Let c be q(p). Suppose c = -4*n + 234 + 218. Is n composite?
False
Is 1 - -1*(4 - -7496) composite?
True
Let j = 13 + -6. Let s be (9 - 10)/((-1)/j). Is ((-149)/(-4))/(s/56) composite?
True
Is 24/(-44) - 228645/(-99) a composite number?
False
Suppose 9 = 4*l + 1. Let p(v) be the first derivative of 3*v**3 + v**2/2 - 6. Is p(l) a prime number?
False
Let k(o) = 116*o**2 + 6*o + 3. Let y be k(3). Suppose y = 5*j - 3*z - 2*z, -2*j = z - 420. Is j prime?
True
Let m(d) = -9*d + 6. Let z be m(-9). Let k be (-2 - -4)/((-4)/(-6)). Suppose k*n = -30 + z. Is n composite?
False
Suppose -3*j = -4*j + 5. Suppose j*v - 698 = 3*v - 4*t, 0 = -5*t - 25. Is v a composite number?
False
Let v(g) = 3*g - g**3 - 3 - 6*g**2 + g**2 + 0*g**2. Let q be v(-5). Is (q + -1)/(5/(-35)) a prime number?
False
Suppose 2 - 10 = -4*x. Suppose 0*o - 4*o = x*l - 220, 0 = 3*o. Let k = l - -9. Is k a prime number?
False
Let m be 0 - 7/(7/6). Let f be (2 + m)*(-435)/(-12). Let k = f + 216. Is k prime?
True
Let t be (93/(-12) + 3)*-4. Suppose 83 + t = z. Suppose 161 = d - z. Is d a prime number?
True
Suppose 0 = 5*y - 0*c - 2*c - 10655, 5*c = -y + 2158. Let k = 1256 + y. Is k a composite number?
False
Suppose -7*w + 30076 + 10706 = 0. Suppose -551 = 5*n - w. Is n composite?
True
Suppose 4*p = -5*i + 128, 2*p + 3*i - 2*i = 58. Suppose -p*h = -24*h - 423. Is h prime?
False
Suppose 17230 = 43*r - 38*r. Is 2/(-90)*-6 + r/30 composite?
True
Let q(c) be the second derivative of -2*c**5/3 - 3*c**4/8 - 3*c**3/2 + 4*c. Let g(s) be the second derivative of q(s). Is g(-6) a prime number?
False
Let s be 6/2*1/3 - 61. Is (-64116)/s - (8/(-10))/2 prime?
True
Suppose -4*x + 11 = 