osite number?
True
Let s(p) = -5*p**3 - 12*p**2 + 12*p + 28. Is s(-11) a composite number?
False
Let o = -245 + 1504. Is o composite?
False
Let d(r) = -r**2 - 37*r - 33. Suppose -1 = u, 5*m + 3*u = -0*m - 103. Is d(m) a composite number?
False
Let t(u) = 23 - 21*u + 28 - 43 - 20*u. Is t(-3) a prime number?
True
Let c(q) = -2*q**3 + 8*q**2 + 15*q + 1. Let m = 25 - 31. Is c(m) composite?
False
Suppose -9 = -4*c - 29, 3*c = 2*p - 6013. Is p a prime number?
True
Let t(m) = 2*m**3 + 6*m**2 + 7*m - 16. Is t(11) a prime number?
True
Suppose -33*a + 13*a = -145820. Is a prime?
False
Suppose 0 = j + 4, 0 = o + 5*j - 7034 - 9549. Is o a composite number?
False
Suppose 0 = 2*d - 7*d. Let a = d + 5. Suppose -3*t + 166 = -a. Is t a prime number?
False
Suppose 2*i = 3*z - 537, 2*i = z - 3*i - 179. Let n = z - 437. Let y = n + 377. Is y composite?
True
Let q = -3336 + 10787. Is q prime?
True
Let d(b) = b + 2. Let u(a) = 4*a + 6. Let v be u(-2). Let q be d(v). Let k(j) = 2*j + 127. Is k(q) composite?
False
Is 1598328/84 + 10/(-14) a prime number?
False
Let x be (-1)/(-4) + (-10)/40. Suppose x = -5*h + 2*h + 1143. Is h prime?
False
Is ((-98292)/(-20))/(24/40) composite?
False
Let g(k) = k**3 + 9*k**2 - 12*k - 15. Suppose -4*w - 3*o = 40, 7*o + 40 = -4*w + 2*o. Let f be g(w). Suppose f*v + 334 = 1079. Is v prime?
True
Let m(b) = 20*b**2 - 2*b - 11. Is m(-32) composite?
False
Let u(s) be the first derivative of s**3 - s**2 - 5*s + 1. Suppose 3*m + m + 24 = -3*z, -2*z - 15 = 3*m. Is u(z) a composite number?
True
Suppose -3*a - 3 = 9. Let d be a/12 - 11797/(-3). Suppose 5*u - u = d. Is u prime?
True
Suppose 4806 = o - 3*p, -3*o + 4*o - 4846 = -5*p. Is o a prime number?
False
Suppose -3*u = v - 1502, -2*v + 993 = 2*u - 3*v. Is u composite?
False
Let v = 54 - 124. Let x = -290 - v. Let n = 13 - x. Is n prime?
True
Suppose 4*t - g - 323 = 0, -t - 2*t + 241 = -g. Let d = 137 - t. Is d prime?
False
Let h be ((-60)/(-25))/((-1)/(-110)). Suppose -5*b + h = -411. Is b*1 + -2 + -2 a prime number?
True
Let f(z) = -2*z - 16. Let m be f(-10). Suppose 3*b = -5*t + 1006, 4*t - 444 = m*b + 380. Is t a composite number?
True
Let j(x) = x**3 - 3*x**2 - 7*x + 4. Let i be j(6). Suppose 4*d = i + 54. Is d composite?
False
Let i = 40615 - 26721. Is i a composite number?
True
Let d be ((-8)/(-14))/(7/(294/12)). Is (0 + 1)*(d - -515) composite?
True
Let h(r) be the third derivative of -11*r**4/12 + 31*r**3/6 + 20*r**2. Is h(-10) composite?
False
Suppose -p - 25 = 4*p, p + 400 = 5*l. Suppose -l = -4*z + 141. Is z a composite number?
True
Let g(j) = 1038*j**3 - 3*j**2 + 6*j - 2. Is g(1) a prime number?
True
Let k(z) = -2*z + 6. Let d be k(2). Suppose -j - 874 = -3*j + d*m, 3*j = -4*m + 1325. Is j prime?
True
Let f(j) = j**3 - j**2 - j. Let i(s) = -25*s**3 + 6*s**2 + 10*s - 7. Let m(o) = -4*f(o) - i(o). Is m(3) prime?
False
Let n(a) = -16*a**3 + 29*a**2 + 5*a + 11. Is n(-6) composite?
False
Let l = 3180 + -2049. Suppose 0 = -2*b + l + 2047. Is b a prime number?
False
Suppose 0 = -6*b + 14*b + 7848. Let p = b + 1660. Is p a composite number?
True
Suppose 0 = 40*t - 38*t. Suppose t = 10*g - 7*g - 5403. Is g a prime number?
True
Suppose 0 = -5*k + 2*f + 14693, 4*k - 11757 = -2*f + f. Is k prime?
True
Is 10360 + (2 - -6*15/(-18)) a prime number?
True
Let g be 3/(-5) - 11696/(-85). Let v = 324 - g. Is v composite?
True
Let y(n) = -4*n + 20. Let h(q) = 4*q**2 - 2*q. Let w be h(2). Let j be y(w). Is (-21)/j - 529/(-4) composite?
True
Let o(g) = -3 + 5 - 4 + 1 - g. Let b be o(-9). Is -222*4/b*-1 composite?
True
Suppose 45 = -2*f + 7*f. Suppose f*j - 415 = 4*j. Is j a composite number?
False
Let x(c) = 2*c**3 - 4*c**2 + 4*c - 4. Let y be x(2). Suppose 0 = -y*n - h + 7791, -5*n = -3*h - 11850 + 2090. Is n composite?
False
Let q be (6/10 + (-18)/(-45))*-5. Is ((290/4)/q)/((-1)/46) prime?
False
Let a(f) = 11*f - 21. Let w be a(-5). Let n = 1428 - 975. Let c = n + w. Is c composite?
True
Let f = 536 - 118. Let v = -97 - -162. Suppose -3*k + v + f = 0. Is k composite?
True
Suppose t - 127 = 1380. Is t a prime number?
False
Let z(j) = j**3 + 2*j**2 + 2*j - 7. Let v = -128 + 132. Is z(v) composite?
False
Suppose 3*z - 20744 = -2*t - 0*z, -5*z + 41486 = 4*t. Is t a composite number?
False
Suppose 0 = 3*l - 5*g - 2829, -5*l = -3*g - 722 - 4009. Is 1/(-2 + 1900/l) a prime number?
False
Let r be (-4)/(-10) + (-27)/5. Suppose -c = 3*k + 9 - 4, k - 2*c = -4. Is ((-1)/k)/(r/(-310)) prime?
True
Suppose 0 = 60*v - 54*v - 171222. Is v prime?
True
Suppose -5*s - 4*f = -111, -2*s = -f - 33 - 1. Let r = s - 32. Let x = r + 59. Is x composite?
True
Let u(s) = 16*s**3 - 3*s**2 + s - 13. Is u(6) prime?
False
Suppose m = -3*a + 11153, 5*a - 6*m + 8*m - 18587 = 0. Is a a composite number?
False
Suppose 0 = -5*k - 3 + 23. Suppose -872 = -4*r - 4*t, -r + 0*t = k*t - 215. Is r a prime number?
False
Let u(v) = 46*v - 15. Let y(n) = 14*n**2 + 0*n + n - 2*n. Let w be y(1). Is u(w) a composite number?
True
Let s be -3 + 4 + -2 - -427. Suppose 2*x - 4*p = -0*p + s, 0 = 4*p + 12. Suppose 4*q + z = 768, -q + 0*z - 4*z = -x. Is q a composite number?
False
Is -6 - ((-290215)/7 - 22/(-77)) a prime number?
True
Suppose 5*y = -2*g + 211, g + 141 - 10 = 3*y. Let w = 140 - y. Is (-3)/((-3)/w) - 2 a composite number?
True
Suppose 51*t + 27*t = 3627156. Is t composite?
True
Let w be (3 - 5)*(-2 - 235). Suppose -11*c - w = -13*c. Is c a prime number?
False
Let i = -51 + 90. Suppose 0 = -2*b - i + 167. Let r = -31 + b. Is r a prime number?
False
Suppose 5*v = 4*v - 7. Is 2/v - 107/(-7) composite?
True
Suppose 5*i - 3*i = -8, 4*l + 5*i = 395184. Is l prime?
True
Let r(d) = 4*d + 10. Let a(p) = 12*p + 30. Let t(b) = 2*a(b) - 7*r(b). Suppose -2*l - 2*j - 8 = 0, l - 2*j = 6*l + 35. Is t(l) prime?
False
Let y(p) = -126*p - 61. Is y(-12) a composite number?
False
Suppose -3*x = -1362 - 6. Suppose 3*m = m + x. Suppose -3*g + 327 = -m. Is g prime?
False
Suppose 60*t - 23597 = 53*t. Is t a composite number?
False
Suppose 10594 = 2*m + 3*w, -5*m = 5*w - 6*w - 26468. Is m a composite number?
True
Suppose -7*n = -2*n + 4*h - 5, 5*n - 4*h - 45 = 0. Suppose 417 = 2*g - 5*l, -n*g = l - 6*l - 1080. Is g prime?
False
Suppose -9*v + 21073 = 4*v. Suppose -6*w + 7205 = -v. Is w composite?
False
Let r = -8 + 19. Let q be 3 + r/(-1 - 0). Let z(m) = m**3 + 10*m**2 + 8*m + 5. Is z(q) composite?
True
Suppose 2*k = -2*t + 31188, -5*t - 46758 = -8*t + 5*k. Is t composite?
True
Let i(a) = -92*a**3 - 3*a**2 - 9*a - 7. Is i(-3) a prime number?
True
Let x(p) = p**3 + 2*p**2 - 3*p - 3. Let s(g) = -2*g**3 - g**2 + g - 1. Let k be s(1). Let w be x(k). Let b(v) = -31*v + 4. Is b(w) a prime number?
True
Let l(w) = w**2 + 6*w + 8. Let s be l(-6). Suppose 14*j - 24648 = j. Is (-2)/(-6)*j/s a prime number?
True
Let d(j) = 7*j - 60. Let x be d(5). Let f(u) = -24*u - 59. Is f(x) composite?
False
Let j(l) = 929*l + 54. Is j(5) a prime number?
False
Let g = -149 + 172. Suppose -g*f = -8*f - 31830. Is f a prime number?
False
Let u(f) = -64*f**3 - 7*f**2 + 2*f + 2. Let h(d) = 127*d**3 + 14*d**2 - 5*d - 3. Let k(o) = 6*h(o) + 13*u(o). Is k(-5) a prime number?
False
Let c(h) = 3*h**2 + 10*h - 13. Let p be c(-12). Let j = 430 - p. Is j composite?
False
Let o(b) = 145*b**3 + 4*b - 7. Let u be o(-5). Is (-9)/15 - u/20 prime?
True
Let l(m) = 606*m**2 - 48*m + 1. Is l(4) a composite number?
True
Suppose 3*j + 6865 = w + 4*j, 5*j + 34325 = 5*w. Is w prime?
False
Suppose -2 = -2*j, -3*j - 62 = -3*t - 20. Is 3 - ((-13374)/t + 8/(-20)) composite?
True
Suppose 1981 = -6*f + 8*f - 3*t, 4*t + 1986 = 2*f. Is f a composite number?
False
Let w(s) = -s - 7. Let f be w(-4). Let k(d) = -2*d - 4. Let q be k(f). Is (13/q)/(4/184) prime?
False
Let o = -103 - -102. Is 476 - (-1)/o - -4 a prime number?
True
Let a = -49113 + 94060. Is a a prime number?
False
Let r = 6 - 1. Suppose 0 = r*y + 4*v - 811, -4*y = -3*v - 183 - 441. Is y prime?
False
Let n(h) = 101*h**3 - 9*h**2 + 64*h - 2. Is n(5) a composite number?
True
Let i(j) = -3594*j**3 + 2*j**2 - 2*j - 3. Is i(-1) a prime number?
False
Suppose -3*y - 56439 = -3*v, v - 5*v = y - 75242. Is v composite?
True
Let r = -13 - -13. Suppose -3*c + r*c = -24. Suppose 4*v + 136 = c*v. Is v composite?
True
Let b(y) = -287*y**3 - 2*y**2 + y + 2. Let r be b(-1). Suppose