126*h - 409. Is a(-74) composite?
True
Suppose 3*h + 274157 = o, -548320 = -2*o + 22*h - 19*h. Is o a prime number?
True
Let o(g) = 20885*g**3 + 5*g - 3. Let c be (-6)/((-12)/4)*1/2. Is o(c) a composite number?
False
Suppose 4*i + 34933 = 2*q - 22593, 0 = -i - 1. Is q prime?
False
Suppose 0 = -10*x + 7*x - 5*x. Suppose 5*y - 18966 + 6571 = x. Is y a prime number?
False
Suppose l + 12*x = 11*x - 3, -3*x - 17 = -l. Suppose -15728 = -l*n + 3*g, 11834 = 2*n - 4*g - 3896. Is n a prime number?
False
Suppose -12*v + 10*v - 1789667 = -21*v. Is v a composite number?
True
Suppose 129935 = 11*q - 172334. Is q a composite number?
False
Suppose 453377 = 5*r - 2*a, -4*r + 3*a + 269312 + 93384 = 0. Is r composite?
False
Let l = -19424 + 31260. Suppose 16 = 4*t, 2*t + 1817 = -3*c + l. Is c a composite number?
True
Let l be (-2*614)/((-6)/(-12)). Is (l/(-32))/((-1)/(-4)) composite?
False
Let b(h) = h**2 - 9*h + 15. Let c be b(7). Let t(m) = m + 2. Let o be t(c). Suppose 0 = 2*y + o*y + 4*r - 15071, 15063 = 5*y + 2*r. Is y a composite number?
False
Suppose 0 = j + 2*h - 2720, -h = -2*j + j + 2726. Suppose -2*f = 2*f - c - j, -4*f + 2724 = -5*c. Suppose -995 - f = -4*t. Is t a prime number?
True
Let t be 32/48 - (-14)/(-3). Is (-2 - -4)*(-6366)/t prime?
False
Let y(q) be the first derivative of -53/2*q**2 + 29*q + 28. Is y(-16) a composite number?
False
Suppose 8*p - 6*p = 0. Is (p + 120116)*(45/20 + -2) a prime number?
True
Let i(j) = -j**2 - 5*j + 1041. Let t = 0 + 0. Let q be i(t). Suppose 0 = 19*y - 16*y - q. Is y a composite number?
False
Suppose 0 = -10*b - 0 - 40. Let s be b/(-36)*-3*9. Is (767 - 0) + 0 + s + 3 a composite number?
True
Let i(w) = 149*w**3 + 46*w**2 - 204*w + 11. Is i(4) a prime number?
True
Let h(v) be the second derivative of -4*v**5/5 + v**4/3 + 5*v**3/6 + 5*v**2/2 + v. Let p(a) = -a**3 + 24*a**2 - 138*a - 74. Let o be p(12). Is h(o) prime?
True
Suppose -5*n - 147352 - 479694 = -19*n. Is n a composite number?
False
Let q = 304 - 298. Suppose -q*t + 30535 - 2341 = 0. Is t composite?
True
Let x = -22 - -1392. Let s = 689 - 1502. Let i = x + s. Is i a composite number?
False
Let s(f) = 23*f**2 - 250*f - 1262. Is s(-5) prime?
True
Suppose 26*y - 137449 = 1614717. Is y composite?
False
Let b(l) = 3265*l. Let n be b(1). Let s = 1618 + -1614. Suppose -2*x = -2*j - 1320, -s*j + n = 5*x - 2*j. Is x a prime number?
False
Let b(a) = a**3 + a**2 + 5039. Suppose -k + 3 = -o, -2*o - k + 3 = -o. Is b(o) prime?
True
Suppose -19*y - 93 = -397. Suppose -14*o - 1842 = -y*o. Is o a composite number?
True
Is (-3866802)/(-435) + (-2 - -3)/(-5) a composite number?
True
Suppose 127955 = -5*b - 41555. Let d = -8111 - b. Is d a prime number?
False
Let u = -55 + 52. Is (15/u - -314) + 2 prime?
True
Suppose 138 - 180 = 6*t. Is (-1)/((7/251)/t) prime?
True
Let x = 65 + -44. Let b be 32/2*(4 - x/6). Let q(u) = 148*u - 19. Is q(b) prime?
False
Suppose -b - 3*f + 2738 = -f, 0 = -2*b + 4*f + 5468. Suppose -14*v + 5426 = -b. Is v composite?
True
Let c(p) = 7621*p - 5582. Is c(15) prime?
False
Let m(j) be the second derivative of -371*j**3/6 - 19*j**2/2 - 18*j. Let l be m(-4). Suppose l = -4*k + 5*k. Is k prime?
False
Let a(y) = y**2 + 12*y + 33. Let x be a(-8). Let j(n) = 159*n**3 - 2*n**2 + 3*n - 3. Is j(x) composite?
False
Let z(v) = v**3 + 7*v**2 + 4*v - 9. Let c be z(-6). Suppose -3*j = 5*a + 49, c*j + a = 5 - 46. Let m(q) = -q**3 - 4*q**2 + 13*q + 5. Is m(j) composite?
True
Let c(o) = -3*o - 13. Let r be c(-6). Is (-11161 - r)*(30/(-9) - -3) composite?
True
Let o = 19092 + 43177. Is o a prime number?
False
Suppose 2*l - 26178 - 818 = -2*q, -40500 = -3*l - q. Is l composite?
True
Let i = 48 - 42. Is (373/4)/(i*(-6)/(-144)) prime?
True
Is ((15/(-6))/(-5))/((-228)/(-77406456)) prime?
True
Let q(n) = -5585*n**3 + 16*n**2 - 7*n - 1. Is q(-3) a prime number?
True
Let t(i) be the second derivative of i**4/12 + i**3/2 - 35*i**2/2 + 107*i. Is t(26) a composite number?
False
Suppose 9053958 = 5*x + 2994403. Is x composite?
False
Let m = 2414 + -2172. Let c(x) = -2*x**3 + 3*x**2 + x - 1. Let a be c(3). Let u = m - a. Is u a composite number?
True
Let l(n) = -1136*n**3 - n**2. Let j be (2/(-12))/((-2)/12). Let q be l(j). Is q*(-4)/(48/4) a prime number?
True
Let v(z) = 116*z**3 + 2014 + 4*z**2 - 14*z - 2032 + 13*z**2. Is v(7) composite?
True
Suppose 5*i - 52 + 27 = 0. Suppose -i*x + 616 = -2*d, x + 16*d - 116 = 14*d. Is x composite?
True
Let r(g) = -g**2 - 81*g + 25091. Is r(0) a prime number?
False
Let c be ((-16)/40)/(1/(-5)). Let l be 12732 + (-4 - (-6 + c)). Suppose -5*g + l = 547. Is g prime?
True
Suppose 3*j = 0, -j + 89276 = -k + 237435. Is k composite?
True
Let h be (-1)/((-4)/4) + -1. Let f(s) = s**3 + s + 7. Let d be f(h). Suppose -2*i - 3*p = -249, 0 = -4*i - d*p + 4*p + 507. Is i composite?
True
Suppose -2*b + 3*d = -22949, -4*b + 5*d + 48732 - 2839 = 0. Suppose l + 2*p - b = -4*l, -2*l - 3*p + 4589 = 0. Is l prime?
True
Suppose 5*h - 2*y = 1543797, -3 = -3*y + 9. Is h a prime number?
True
Let o(q) = -q**2 - 8*q - 12. Let x = -37 - -34. Let i be o(x). Suppose -153 = i*r - 1806. Is r composite?
True
Suppose 11 = -5*n - f, 3*n - 1 + 2 = -2*f. Is 2/(n/(-18) - (-4593)/(-27774)) a prime number?
True
Let a = 5358 - 4379. Is a a composite number?
True
Suppose 73*j + 5684 = 75*j. Let g = j + -65. Is g composite?
False
Suppose 2*g + 0*s = s - 12, -g = s + 3. Let y(b) = -2585*b + 36. Is y(g) prime?
False
Suppose 0 = -t + 27393 - 1112. Is t prime?
False
Let g = 244514 + -3223. Is g a composite number?
False
Suppose 0 = -5*l + 7*p - 5*p + 137, p - 91 = -3*l. Suppose -l = -c + 24. Is c a composite number?
False
Suppose -2*w + 2*l = -29538 - 13082, 0 = 5*w + l - 106568. Is w prime?
True
Let z(n) = -3*n**3 + 4*n**2 - 11*n + 24. Let c(a) = a**3 - a**2 + a + 1. Let p(w) = -5*c(w) - z(w). Is p(-6) a prime number?
False
Suppose 7720700 = 217*r - 1712182 + 1308185. Is r prime?
True
Suppose 42*v - 38*v - 3*s - 1860857 = 0, -v + 465160 = 7*s. Is v a prime number?
True
Let s(o) = -10*o**2 + 2*o + 18229. Is s(0) prime?
True
Let t(r) = -r**2 - 9*r - 15. Let u be t(-6). Suppose -i - 397 = -5*y + 109, -2*y = u*i + 1569. Let p = i - -784. Is p a composite number?
False
Let d(n) = 33*n**3 - 4*n**2 + 5*n - 2. Let j be d(1). Let x(w) = 252*w - 347. Is x(j) a composite number?
False
Let h = 111 + -108. Suppose -h*p + 197 = -4*i, -3*i + 8 = -i. Is p prime?
True
Suppose 3*u = -i + 79567 - 30572, -u - 2*i + 16335 = 0. Is u prime?
False
Suppose 0 = -31*m + 8*m - 55706. Let b = 4179 + m. Is b composite?
True
Let b(y) = -10*y + 9. Let p be b(1). Let h be (p/(-2))/((-3)/(-30)). Suppose -3*s + 4996 = -h*d, -5*s - 6618 = -9*s - 2*d. Is s a prime number?
True
Let b(r) = 6*r**2 - r - 2. Let p be b(4). Suppose 0 = 2*x - p - 12. Suppose -2*z - 4*d = 3*z - 121, -3*z = -3*d - x. Is z prime?
False
Suppose -132*m + 138484316 = -8*m. Is m a prime number?
True
Suppose -259*c = -319*c + 8806620. Is c a composite number?
False
Suppose 0 = 2*u + 6, 0 = -2*f - 0*u - 5*u + 247. Suppose 70*h = 57*h + 1560. Let w = f + h. Is w prime?
True
Suppose 0 = -4*p - l + 229240, 2*p + 32682 - 147312 = 2*l. Is p a composite number?
True
Suppose 2*m - 3*n - 2 = 9, 3*m + 3*n = 9. Let f(y) = -y + 2*y + 4*y + 190*y**2 - m*y. Is f(1) a prime number?
True
Let i(y) = y**2 + 5*y - 13. Let z be i(-4). Let x = -76 + z. Is (x/(-3))/(1/((-12)/(-4))) a prime number?
False
Suppose -427*n = -231*n - 213*n + 503455. Is n prime?
False
Suppose -7*m - 4*m + 93093 = 0. Suppose -i + m = -l - 0*l, i = 5*l + 8447. Is i a prime number?
True
Let p(l) = l**2 - l - 11. Let c be 23/(-161) + (-58)/(-14). Let b be p(c). Is -2 - (-12)/4 - b*-20 a composite number?
True
Is 52/(-91) - (-4427325)/49 composite?
False
Let o = 25126 + -11535. Is o a composite number?
False
Let y = -69 - -72. Let l(x) = -61*x**2 - 2*x + 8. Let m be l(y). Let t = m + 1144. Is t prime?
False
Suppose -4*z + 187 + 24 = -5*g, 4*g = -z + 37. Let f = z - 45. Suppose 2*n = f*n - 974. Is n a composite number?
False
Let c(g) = -g**3 + 4*g**2 + 10*g - 6. Let m be c(6). Let p(a) = -2*a**2 + 15*a - 31. Let n(q) = q**2 - q. Let u(y) = 6*n(y) + p(y). Is u(m) prime?
True
Let t(x) = -2*x**3 - 25*x**2 - 31*x - 65. Let h be t(-22). Suppose 3*g + 0*g - 13084 = -4*a, 0 = 3*a - 4*g - h. Is a a prime num