Is n(-6) a composite number?
True
Suppose j + 8 - 12 = 0. Suppose -j*m + 1844 = -2424. Is m a composite number?
True
Let s = -12893 + 40936. Is s a prime number?
False
Let g = 33 + -31. Suppose -g*m + 8*m - 8790 = 0. Is m a prime number?
False
Let v be (-4)/(-6) - (-6)/18. Let n = v - -1. Suppose o - 3*t - 152 = 0, -2*t = 3*o + n*t - 443. Is o composite?
False
Is (0 - 1) + (0 - 0 - -1940) composite?
True
Suppose 4*r - 8045 = 2759. Is r composite?
True
Let y be ((-72)/48)/(1*2/4). Is (-1 - -4)*(y + (-796)/(-3)) composite?
False
Suppose b + 2*q - 7760 = -3*b, -3*b + 4*q = -5809. Is b a composite number?
True
Is ((-33)/22)/(6/16) + 6011 composite?
False
Suppose -12*c = 2*d - 10*c - 192072, 5*d = 4*c + 480171. Is d a composite number?
True
Suppose 3*y + 3*j - 5 = j, -5*y + 5*j = -25. Suppose y*g - 12 - 165 = 0. Is g composite?
False
Let l(b) = -b**3 - 22*b**2 + 7*b + 29. Suppose 5*f + 5*g - 36 + 136 = 0, 3*g - 101 = 4*f. Is l(f) a prime number?
True
Let i(a) = a**2 + 3*a**3 + 0*a**3 - 3*a**3 - a**3. Let n be i(0). Suppose n = 5*o - 451 - 34. Is o a prime number?
True
Suppose -y - 10 = -3*y. Let u(k) = -36 + 103 + 21*k**2 + 4*k - 39 - 32. Is u(y) composite?
False
Let v(g) = -g**3 - g**2 + 9*g + 1. Let p be v(-6). Let l be (27/15)/((-15)/(-25)). Suppose 0 = l*b - 4*b + p. Is b a prime number?
True
Suppose 0 = -123*v + 672619 + 497234. Is v a prime number?
True
Suppose -3*l + 5*m = -40233 - 36059, 2*m - 25449 = -l. Is l a prime number?
True
Let u(l) = l**3 - 11*l**2 - 11*l - 28. Let d be u(12). Let m(y) = y**2 - 8*y + 35. Is m(d) prime?
True
Let q(m) be the first derivative of m**7/840 - m**6/40 - m**5/20 - 3*m**4/8 + 4*m**3/3 - 3. Let c(p) be the third derivative of q(p). Is c(10) prime?
True
Let x = 0 - -3. Suppose 5*n + 68 = 2*i, -5*i + x*n = 4*n - 197. Is i prime?
False
Suppose 3*l - 19283 = 46270. Is l prime?
True
Let s(o) = -282*o - 529. Is s(-18) prime?
True
Let z(a) = -11*a**3 + 32*a**2 - 2*a + 80. Is z(-15) composite?
True
Let s = 227 - 94. Is s prime?
False
Let m(w) = 3720*w**3 + 2*w**2 + 7*w - 8. Is m(1) a prime number?
False
Let t be 8*(-2 + 3 - 0). Suppose t = 2*v - 2. Suppose -3*p + 2*d = -773, -p + 90 = v*d - 162. Is p a composite number?
False
Suppose 2*k = -3*k - 30. Let l be 5/(-15) - 2138/k. Suppose l + 279 = 5*g. Is g composite?
False
Let i = -22018 + 32136. Is i composite?
True
Let k be -1 + -646*(-3 + (-2)/(-4)). Suppose v + g - 1357 = 0, 5713 - k = 3*v - 4*g. Is v prime?
True
Let t be ((-2)/(-5))/(12/60). Suppose -2*w - t*w = u - 8, 2*w = -4*u - 38. Is (-3)/(-12) + (-2529)/u prime?
True
Suppose -4*t - 2*w - 2*w + 68 = 0, 2*t - 5*w = 41. Suppose -3*j = -t*j + 330. Is j composite?
True
Is (1191/(-18))/(17/(-1326)) composite?
True
Suppose 5*q + 17 = 2*w - 4*w, -4*w - 4*q = 4. Suppose -w*v - v + 1175 = 0. Is v prime?
False
Let c = 14389 + -6482. Is c a composite number?
False
Let p = 918 - 411. Let t = 722 - p. Is t prime?
False
Let q be (3 - 0) + 8/12*615. Is 7 + -3 + -2 + q a composite number?
True
Let a(h) = 3*h**3 + 21*h**2 - 45*h + 15. Let m(b) = -b**3 - 7*b**2 + 15*b - 5. Let l(u) = -4*a(u) - 11*m(u). Let q be l(-12). Let i = q + -344. Is i composite?
False
Let s = -7 - -19. Let b(t) = -t - 7. Let p be b(-2). Let x = p + s. Is x composite?
False
Let p = -49445 - -79704. Is p composite?
False
Suppose 0 = -4*d - d + 15. Let j be (1/2)/(d/144). Is (654/j)/(1/12) prime?
False
Let c = -14 + 17. Suppose -5*z + 2*d + 14 = 0, 4*d - 17 = -2*z + c. Suppose z*p - 4*j = 1620, -691 = -4*p + 3*j + 933. Is p composite?
False
Let t be (42/(-8))/(-5*9/(-240)). Let c be (-3)/1*4/6. Is (c/(-3))/(t/(-882)) a composite number?
True
Suppose 12 = -3*w, 0*w + 4*w = b - 38. Suppose b*j + 8 = 26*j. Is 10/(j/(-642)*-6) prime?
False
Suppose 2*b = b - 5*c + 24, 0 = 4*b + 2*c - 6. Let h be b/((-4 + 1)/1299). Let k = h - 242. Is k prime?
True
Let f(n) = n**2 - 13*n - 19. Let x = 28 + -2. Is f(x) prime?
False
Let f be (-2)/8*24/(-2). Let v be f/(-3) - (-22 + 4). Suppose v + 16 = g. Is g a prime number?
False
Let w(h) = -3*h**3 + h**2 + h. Let i be w(-1). Suppose -g = 2 + 1, 0 = -2*t + i*g + 43. Suppose t*d - 21*d = -2348. Is d composite?
False
Let c = -17 - -19. Suppose 648 - 130 = c*m. Is m prime?
False
Let r(b) = -b**2 + 6*b + 2. Let d be r(6). Is d/7 + (-39894)/(-21) + 1 prime?
True
Let m(x) = 13*x**3 + 5*x**2 + 7. Is m(5) composite?
True
Is (74427/(-3))/(-6 - (-3 + -2)) prime?
True
Let h be 8238/26 - (-6)/39. Suppose -5*f = -i - 3990, 2*f - 1272 - h = -i. Let l = f - 382. Is l a composite number?
True
Suppose 113504 = 3*d - 5*a - 40165, -5*d + 256084 = 2*a. Is d composite?
True
Let f(y) = y + 7. Let x be f(8). Let p be ((-3)/(-9))/(1/x). Suppose q - 271 = -p*o + 3*q, -3*o + 174 = -5*q. Is o a composite number?
False
Let a(q) be the second derivative of 71*q**3/2 - 12*q**2 + 10*q. Let s be a(12). Suppose o - 381 = -4*p + 246, 4*o + 4*p - s = 0. Is o a prime number?
False
Let y(k) = -118*k + 2. Let v be y(2). Let l be -33*(-3 - (-50)/15). Let q = l - v. Is q composite?
False
Suppose 3*f = -4*t + 18, 0 = -5*f + t + t + 4. Let c(b) = -8*b**2 - b - 5*b - 5 + 13*b**f + 12. Is c(-6) a prime number?
True
Let n(b) = 6*b**2 - 2*b + 2. Suppose m = -3*m + 16. Let t be n(m). Let w = t - 52. Is w prime?
False
Is -42*(-112228)/72 - 2/(-3) a composite number?
True
Let n be -23 + -4 + (-2 - -1). Let x(j) = -j**2 - j - 5. Let t be x(-7). Let v = n - t. Is v composite?
False
Suppose -156859 - 142022 = -9*r. Is r a composite number?
True
Let z(i) be the second derivative of -283*i**3/2 - 3*i**2/2 - 6*i. Let o be z(9). Is (-4)/10 - o/60 prime?
True
Let o = 151 + 771. Suppose 5*u - o = -z, -4*u = -8*u - 4*z + 728. Is u a prime number?
False
Let w(c) = c**2 - 17*c + 18. Let s be w(16). Suppose 4*i = 2*o + 210, s*o - 134 = -5*i + 133. Is i a composite number?
False
Suppose -z + 1038 = y - 2598, 4*z - 4*y = 14584. Is z a prime number?
False
Let r(u) = -339*u + 6. Let s be r(-3). Let h = s - 546. Suppose -3*l + 3*d = -h, 27 - 178 = -l + 5*d. Is l a composite number?
True
Let t(k) be the first derivative of -4*k + 13/2*k**2 - 9. Is t(15) a prime number?
True
Let z(w) = w**3 + 6*w**2 - 7*w + 3. Let i be z(-7). Suppose -8 = i*q - 29. Is 1 + 7/(q/204) composite?
True
Suppose 0 = -4*w + 16489 + 30003. Is w prime?
False
Let r(u) = -6*u + 26. Let f(k) = 3*k - 13. Let n(c) = 7*f(c) + 4*r(c). Let l be n(5). Is l + -4 + (198 - 1) prime?
True
Suppose 0*h + 2*h - 4*a - 16110 = 0, 5*h - 40251 = -2*a. Is h a prime number?
False
Let k = 8318 - -6809. Is k composite?
True
Let b = 6700 - 3837. Is b a composite number?
True
Is 4 + (2767 - -4) + -4 prime?
False
Let t(q) = q**2 + 4*q - 8 + 9*q**2 + 0. Let m be t(-6). Let c = -169 + m. Is c prime?
False
Suppose -19 = -4*p + 1. Suppose 4*q = 5*x - 4 + 17, 0 = -p*q + 5*x + 15. Suppose -3*y = -q*y - 53. Is y a prime number?
True
Suppose 2*y - 242 - 1384 = 0. Suppose 4*o + y = 2345. Suppose -o - 280 = -3*n. Is n prime?
False
Let r = 36 + -37. Is (4 + -4 - 199)/r a composite number?
False
Let r be 2 - -1*(-1 - (-1 + -3)). Is ((-1614)/30)/((-1)/r) composite?
False
Let g(b) = -65*b**3 - 14*b**2 + 9*b + 59. Is g(-5) composite?
False
Let l = 3 + 5. Suppose 2*u + 18 = l. Let k(d) = -138*d - 13. Is k(u) a prime number?
True
Suppose 31729 = 5*j - 2*y, 5*j + 644 = 3*y + 32370. Is j a composite number?
True
Suppose k - 5*k + 96 = 0. Let v = k + -17. Let q(b) = 3*b**2 - 12*b + 16. Is q(v) a prime number?
True
Suppose -2*d + 29 = -11. Suppose -5*t + 4*c = d, -3*c = 4*t - 19 + 4. Suppose 0*q - q + 223 = t. Is q prime?
True
Is 116/(-464) + (-41189)/(-4) composite?
True
Suppose i - 419 = -5*s, -4*i = -2*s - 2*i + 170. Suppose s = -2*x + 254. Is x composite?
True
Is 929313/70 + 9 + (-3)/(-30) composite?
True
Suppose -4*m + 215 = -3*n, -m - 3*n + 83 = 18. Suppose 135 + m = x. Is x prime?
True
Let o be 67/(((-6)/(-4))/(-3)). Let q be ((-11)/((-44)/36))/(2/(-82)). Let m = o - q. Is m a prime number?
False
Let g(q) = q**3 - 9*q**2 - 7*q - 13. Let m be g(10). Let u be 34/6 - 2/(-6). Let v = m - u. Is v a composite number?
False
Let l = -49564 - -71145. Is l a prime number?
False
Let c(q) = -4*q**3 + q**2 - 2*q + 1. Let j be c(1). Is 122 + j/(2 - 1) a prime number?
False
Let n = 56 - 15. Let d = -90 + n. Let t = d - -100. Is t a composite number?
True
Let i be (-429)/(-