30479 = o, 25*d = -2*o + 27*d + 660958. Is o composite?
True
Suppose 4 + 11 = 3*d. Suppose -3*k - 949 = -d*u, -4*u = 3*k - 615 - 128. Let v = u - -138. Is v composite?
True
Let a = -7071 - -11177. Is a a prime number?
False
Let w(i) be the first derivative of -i**2 - 4*i + 9. Let r be w(-5). Suppose 3*q - r*q = -3489. Is q a prime number?
True
Let c(h) = -2*h**3 - 4*h**2 + h - 996. Let d(i) = i**2 + 1. Let g(u) = -c(u) - 3*d(u). Is g(0) composite?
True
Suppose 14 - 3 = -3*z - 5*m, m - 5 = -3*z. Let l(x) = 4*x - 6. Let j be l(z). Suppose -858 = -2*q - 4*g, -j*g + 4*g - 8 = 0. Is q a composite number?
True
Suppose 0 = i + 9*i - 560. Let b = 115 - i. Is b a composite number?
False
Let q = -154378 + 251907. Is q composite?
True
Let r be (48/15)/((-2)/(-35355)). Suppose 0 = -8*u + r + 1376. Is u composite?
False
Suppose -78 = 5*j - 3*s - 393, -j + 75 = -3*s. Suppose -58*l - j = -63*l. Let y(n) = -n**3 + 19*n**2 - 19*n + 17. Is y(l) a composite number?
False
Let q(y) = -3*y - 1 + 2*y**2 + 12*y + 2 - 4*y**2. Let z be q(8). Let n = z - -218. Is n a prime number?
True
Let s(m) = 13*m**3 + 5*m**2 - 7*m + 27. Suppose -10*d = -11*d + 4. Is s(d) composite?
False
Let u = -61 - -60. Is 62*(155/10 + u) a prime number?
False
Suppose 9 = 4*y + 3*m, y + 5*m - 15 = -0. Is (-5 - y) + (-15684)/(-6) a prime number?
True
Let s be ((-11757)/12 + 2)/(3/(-12)). Let f = 6766 - s. Suppose 20*j - f = 15*j. Is j composite?
False
Let r(y) be the second derivative of 15*y**3/2 - 41*y**2/2 - 254*y + 4. Suppose 2*t - 3*g - 17 = 0, 2*t - 5*t - 2*g + 58 = 0. Is r(t) a composite number?
True
Let d be (-1773)/(-63) + (-5)/35. Suppose -34*y + 108822 = -d*y. Is y composite?
True
Suppose -5*f + 531 - 1946 = -4*p, 2*p = f + 277. Let h be ((-4)/(-12)*3 + -17)*-1. Let v = h - f. Is v a composite number?
True
Suppose -68 = -4*b + 4*k, 0 = 2*b - 0*k - 3*k - 33. Let s be 23 - b - (-2)/(-2). Suppose 4*w + 7900 = s*g, -3*g + 2*w + 0*w = -5923. Is g composite?
False
Suppose 0 = -210*o + 256*o - 3107162. Is o composite?
False
Suppose -18 = -f - 4*j, 5*f - 3*f = 3*j - 8. Let y(r) = -34*r - 5*r**2 + 10*r**2 + 0*r**f + 16. Is y(15) prime?
True
Suppose 0*w - 3*w - 1190 = g, -1572 = 4*w + 5*g. Let i = w + 1071. Is i a composite number?
False
Let a(f) = -2*f + 11. Let r be a(5). Let l be (r*2)/((-4)/(-62)). Let j = 38 + l. Is j prime?
False
Let q(v) = 2*v**3 - 2*v**2 - 23*v + 39. Let j be q(19). Suppose o = 4*o + a - j, 3*a + 8417 = 2*o. Is o a composite number?
False
Suppose 0 = 2*z - 6, 3*l + l - 10 = 2*z. Let k(o) = -91*o - 271. Let a be k(-3). Suppose -a*u - 758 = -l*u. Is u prime?
True
Let h(j) = j**3 + 2*j**2 - 2*j + 5. Let c be h(-4). Let d = 29 + c. Suppose 475 - d = 5*u. Is u a prime number?
False
Suppose 0 = 5*d - d. Suppose d = 12*u - 17*u + 20. Suppose -2*v - 4081 = -3*o, 0 = -u*o + v - 554 + 5997. Is o composite?
False
Suppose 5*m + 22*k - 27*k + 40 = 0, -4*m - k - 22 = 0. Is 2/m - (-1608880)/156 prime?
True
Let b(u) = -4*u**3 - u**2 - 4*u - 2. Let v be b(-1). Suppose 4*i - 3*n - 3156 = i, -v*n = 2*i - 2139. Is i composite?
True
Suppose v - 44 = -0*v. Is -1*118*(-1562)/v a prime number?
False
Let a(p) = -p**3 - 14*p**2 + 13*p - 21. Let s be a(-15). Let j be -139 + 5/15*s. Let m = j + 410. Is m composite?
True
Let i(g) = g**3 - g**2 + g + 18. Let c be i(0). Suppose -16*o - 6 = -c*o. Is 3 + (-8)/o - (-740)/3 a prime number?
False
Suppose -32*l + 21 = -35*l, 4*v - 4016915 = l. Is v a prime number?
False
Let r(i) = -i**3 + 31*i**2 + 2*i - 60. Let o be r(31). Suppose -j + 3*h + o*h = -3821, 4*h - 11463 = -3*j. Is j composite?
False
Let i = 214662 + -89025. Is i prime?
False
Let i be ((-210)/20)/((-2)/(-4)). Let p(f) = 101*f - 15. Let u be p(i). Let r = u + 3793. Is r a prime number?
True
Let l = 1799 + -1807. Let p(x) be the third derivative of -x**6/120 - 2*x**5/15 - 5*x**4/12 + 5*x**3/2 + x**2. Is p(l) composite?
True
Is ((-42)/(-12) + 19/(-6))*104205 composite?
True
Let y(a) = a - 7. Let u be y(-3). Let d be 6/(-10) + (-46)/u. Suppose 0 = -d*n + 260 - 56. Is n prime?
False
Suppose 186792 = 29*t - 838909. Is t prime?
False
Suppose 266*b - 398737 = 2945149. Is b a prime number?
False
Let w(t) = t**3 + 20*t**2 - t - 20. Let r be w(-20). Suppose r*b + 1533026 = 34*b. Is b composite?
True
Let m(n) = 8*n**3 + n**2 + 4*n - 1. Let s be m(-2). Let x = 69 + s. Suppose 4*y - 11851 = 3*w, 4*y - y - 5*w - 8880 = x. Is y a prime number?
False
Let j(o) = 9*o**3 + 9*o**2 - 2*o + 11. Is j(18) prime?
False
Let k(f) = 56*f**3 + 10*f**2 - 41*f + 32. Is k(9) composite?
True
Suppose 2*y - 473105 = -a + 380178, 4266451 = 5*a - 2*y. Is a composite?
False
Let v(c) = -c**2 + 6*c + 8. Suppose 0 = -4*s - 2*h - 13 - 3, -s = -5*h - 7. Let z be v(s). Let n = z - -160. Is n a composite number?
True
Suppose 3049108 = 4*j - 82*l + 84*l, 0 = -2*j + 5*l + 1524554. Is j a composite number?
False
Suppose 0 = 15*i - 10592 - 44428. Suppose -27*t = -23*t - i. Is t prime?
False
Suppose 26*o - 23*o - 498156 = -2*z, 3*z - 2*o = 747195. Is z a composite number?
True
Let j = 504780 - -342864. Is (1*1/6)/(14/j) composite?
False
Suppose -g - 4*g = -3*g. Let z be 2*((-4)/8 + g)*0. Suppose -k + 4*k - 861 = z. Is k composite?
True
Let s(u) = 2*u**3 + 31*u**2 + 12*u - 42. Let t be s(-15). Suppose t*p = -3*o + 43440, 5*o - 4 + 19 = 0. Is p composite?
True
Suppose 38*h - 32*h = 12. Suppose -h*r + 5*d = 4*d - 2523, r + 5*d = 1234. Is r composite?
False
Suppose 0 = -62*b + 67*b - 2*u - 253187, -4*u - 202540 = -4*b. Is b a composite number?
True
Let a(o) = 210*o - 19. Let m(j) = j**2 - 7*j + 6. Let x be m(4). Let s be 4/x*5/(5/(-6)). Is a(s) a composite number?
False
Let k(r) = r**3 - 3*r**2 - 2*r + 21719. Is k(0) a prime number?
False
Let h be 19/38*(-1 + 11). Let m(r) = 25*r**2 + 5*r - 3. Is m(h) a composite number?
False
Suppose 2*w - 65130 = -5*c + 89639, -5*c + 154755 = -5*w. Suppose -10*s + c = 2653. Suppose 4*t - 2*r + 3*r = s, 0 = -5*t + r + 3533. Is t prime?
False
Is 4499/8*8 - (-1 - -1) prime?
False
Suppose 23827 = p - 5*u, 5*p - 2*u = -4*u + 119135. Suppose 4*y - p = -5*d, -y - 2*d = -4730 - 1229. Is y prime?
True
Suppose -2*s = -3*z - 13 - 38, 2*z = -3*s + 70. Let i(a) = -2*a**2 + 15*a - 36. Let g be i(s). Let d = 1301 + g. Is d prime?
False
Let n be (6 + (-26)/4)*(-1 - 113). Suppose n - 39 = -2*x. Let j(a) = 5*a**2 - 7*a - 25. Is j(x) a prime number?
True
Let f(z) be the second derivative of -z**5/10 - z**4/4 - 3*z**3/2 - 7*z**2/2 + 142*z. Let a = 19 - 29. Is f(a) composite?
False
Let b(k) be the first derivative of 196*k**3/3 - k**2/2 + 4*k + 29. Let j be b(-3). Suppose 3*d - j = 932. Is d a composite number?
True
Let p = -1 + -2. Let z(a) = -39*a**3 - a**2 - 7*a + 8. Let m(t) = -37*t**3 - 6*t + 7. Let d(f) = 4*m(f) - 3*z(f). Is d(p) a composite number?
False
Suppose 2*s + f + 12269 = 3*s, 61342 = 5*s - 2*f. Suppose -26*p - s = -39698. Is p composite?
True
Let g be 25/15*1*6. Let d(f) = g*f - 7 - 2*f + 12*f. Is d(3) prime?
True
Suppose 9*v = 11*v. Suppose -4*d - 2 - 10 = v, -22 = -4*t + 2*d. Suppose -w = s + t*w - 2744, 4*s - 10886 = -2*w. Is s composite?
False
Let k = 20841 - 13688. Is k composite?
True
Is ((-420)/30)/7 - (0 + 1)*-37209 composite?
True
Let a = -55 - -57. Let u be a/2*(5 + 525). Suppose 18*k - 16*k = u. Is k prime?
False
Suppose -68910 = -5359*q + 5353*q. Is q prime?
False
Let m(z) = 407*z**2 + 75*z + 245. Is m(-3) a composite number?
True
Suppose -2*g + 380414 + 115086 = 3*f, 0 = -g + 3*f + 247777. Is g a composite number?
False
Let c(h) = 3*h + 3349. Let d be c(0). Suppose -5*w - 4*o + 8361 = 0, -w + 3*o + d = w. Is w a prime number?
False
Let o(i) = -8133*i - 10882. Is o(-35) prime?
True
Let p = 35 - 31. Suppose -3*s = 0, -p*a = a - s - 25. Suppose a*i - 137 = 818. Is i prime?
True
Suppose -1841710 = -14*y + 523968. Is y a prime number?
True
Let r be (-240)/(-50)*(3/2 + 1). Suppose r*q - 1934 = 5398. Is q composite?
True
Suppose -694753 = -6*p + 5*m + 2035497, 4*p - 1820196 = -4*m. Is p prime?
False
Let n(i) = i**3 + i**2 + i + 829. Let r be n(0). Let u be -24*(188 + -9)*1/(-2). Let p = u - r. Is p a composite number?
False
Suppose 10*m + 8*m - 144 = 0. Suppose -4*n - 5*j = -m*j - 9184, -3*n - j = -6875. Is n composite?
False
Let w be (-120)/12 + 6 + (-774 - -1). Let y = 62 - w. Is y a prime number?
True
Le