z - 25*z = 4*m + 40436. Is z composite?
True
Let g(k) = -136*k**2 - 5*k + 4. Let b be g(-4). Let d be 1/((32/336)/((-1732)/6)). Let y = b - d. Is y prime?
False
Suppose 4863 = 5*u - 4677. Is (-1 + u)/(-2 - (-1 - 2)) composite?
False
Suppose 561 + 138 = u. Let a = -107 + u. Let m = a - -1047. Is m a prime number?
False
Let k = 1361 - 304. Let x = 3186 - k. Is x composite?
False
Let p be 21/(-9) - (-2)/(-3). Let c(i) = -5*i**3 - 10*i**2 - 6*i - 10. Let v be c(-7). Is (-1 - p)/(1*6/v) a prime number?
True
Suppose -8*f + 6029487 = 1006964 - 5852605. Is f a prime number?
False
Suppose 24 = 4*p - 2*g - 0*g, 5*p - 15 = -5*g. Let h = -2 + p. Suppose h*s - 514 = s. Is s a prime number?
True
Suppose -20*i + 13*i + 35 = 0. Suppose 0 = -i*x + 3 + 7. Suppose x*g - 689 - 1125 = 0. Is g a composite number?
False
Let y(x) = 2*x + 38. Let n be y(-19). Let a be n/(-1) - (-1 - (-4)/(-1)). Suppose -a*f + 338 = -7. Is f prime?
False
Suppose 3*z = -2379 - 657. Suppose x - 5*x + 6380 = -4*c, -3*x = 3*c + 4785. Let p = z - c. Is p prime?
False
Suppose -1175*m = -1253*m + 10279698. Is m a prime number?
False
Let g(y) = 6*y + 10. Suppose 0 = 4*z - 10 - 38. Let u be g(z). Suppose k - 112 - u = 5*p, -4*k = 2*p - 710. Is k composite?
False
Let p(v) = -13997*v**3 - 2*v**2 - 7*v - 5. Is p(-1) a composite number?
False
Let k(p) = 26 + 49 - 30 + 25 - 841*p + 18. Is k(-3) prime?
False
Let c(l) = 119982*l + 2147. Is c(10) a composite number?
True
Is (-1 + (-3 - 2))/((-36)/33772170*5) composite?
False
Is (-4 - 18835792/10)*(-220)/176 a composite number?
False
Suppose 0 = 5*a - 33 + 8, 0 = 5*w - 3*a - 1362800. Is w prime?
True
Suppose -5*m + 3*m + 45 = 5*y, -2*y = m - 19. Let k(o) be the first derivative of 8*o**3 + 5*o**2/2 - 10*o - 123. Is k(y) a prime number?
True
Let r = -243 + 247. Suppose 2*k = 5*n - 11577, -3*k + 7510 = r*n - 1770. Is n prime?
False
Suppose 0 = 8*a - 9*a + 10. Let l(i) = 16*i**3 - 1 + 4*i - 11*i**3 + 20*i**2 - 6*i**2 + 10. Is l(a) prime?
True
Let j(x) = -144*x - 19. Let a be j(6). Let p = a + 2772. Suppose 2*d + 4*n = -d + p, -4*n = 4. Is d composite?
False
Let p(h) = -20 + 40 - 21 - 20*h - 67*h. Let y be p(-7). Suppose -4*b + y = -1068. Is b a prime number?
True
Let f(d) = -456*d + 197. Let q be f(-10). Let n(u) = 306*u**2 + 3*u + 1. Let g be n(3). Let k = q - g. Is k a composite number?
False
Let q = 137560 - -9781. Is q prime?
True
Suppose 659551 = 11*k - 3530910. Is k composite?
False
Suppose -101*r + 107*r - 78564 = 0. Is r a prime number?
False
Let q = 86 + -80. Suppose -7*c - q = -c. Is (c/((-8643)/(-4322) + -2))/2 a prime number?
True
Let h(k) = k**2 + 17*k - 119. Let c be h(7). Suppose 13*i - c*i + 45180 = 0. Is i a composite number?
True
Let q = -26 + -49. Let r = q - -80. Suppose -r*a = -10*a + 4075. Is a composite?
True
Suppose 3*i = x - 39944, -29 = i - 36. Is x composite?
True
Suppose 318*g + 293886 = 336*g. Is g a composite number?
True
Let b = 50 + -100. Let w = -91 - b. Let n = w - -96. Is n a prime number?
False
Let s(k) = -16*k**2 + 4*k + 14. Suppose 5*g + 20 = -2*n, -g + 47 = -2*n - n. Let h be s(n). Let z = 5447 + h. Is z a prime number?
True
Let m = 37342 + -10121. Let x = m + -40982. Let d = -9188 - x. Is d a composite number?
True
Let l = 97 - 90. Let i(b) = -b + 12. Let g be i(l). Suppose -y - 4515 + 1166 = -f, -g*f - 4*y = -16781. Is f prime?
False
Let d(v) = -4033*v + 507. Is d(-8) composite?
False
Let a(l) = 59435*l + 2389. Is a(12) composite?
True
Let n be 5*(4 + 24/(-5)). Let i(h) be the second derivative of -h**5/4 + h**4/6 + 5*h**3/6 - h**2/2 - 12*h. Is i(n) a composite number?
False
Suppose -2*f + 373 = -s + 2*s, -561 = -3*f - 2*s. Let o = f - -446. Is o a composite number?
False
Let v = 25 + -25. Suppose -l - s - s + 14 = v, 0 = 2*s - 4. Is 2*(-1 + 4395/l) a composite number?
False
Let s(f) = -f**2 - 7*f + 2. Let p be s(-7). Let o be (p - (-9)/(-3))*1*-3. Suppose 0 = 2*j - 3*k - 766, -3*j + o*k + 1151 = -2*k. Is j composite?
True
Let n(m) = 468*m**2 - 19*m - 151. Is n(-6) a prime number?
True
Suppose -2*g - 57*f = -62*f - 230299, g + 5*f - 115142 = 0. Is g a prime number?
False
Let o(c) = c**3 - 6*c**2 + c - 13. Let j be o(6). Let q be (-9)/(j/4 + (-1)/(-1)). Suppose 14*r - q*r = 998. Is r composite?
False
Let y(f) = -f**2 - f + 4291. Let q(p) = -p**3 - 15*p**2 + 36*p + 34. Let i be q(-17). Is y(i) a prime number?
False
Let u(q) = -1032*q + 427. Let g be u(-20). Let n = -13884 + g. Is n a prime number?
False
Let w be (-1)/((-2)/12522) - (-28)/7. Suppose -r - w = -8*r. Is r composite?
True
Suppose -13530 = -17*i + 15*i. Let c = -4490 + i. Suppose 8091 = 8*b + c. Is b composite?
False
Suppose -z + 357803 = -15*t + 19*t, 0 = 4*z + 3*t - 1431095. Is z prime?
True
Let f = 185 - 190. Is 6772/(-6)*(28/8 + f) prime?
True
Let y(r) = 1186*r - 2137. Is y(39) a composite number?
True
Suppose 0 = -56*w + 60*w - 1024. Suppose 2*q + 2986 = 2*n, n - w - 1232 = -4*q. Suppose 0 = 5*b, 4*h - 2*b - n = b. Is h composite?
False
Suppose 2*l + 0*l = -l. Suppose -3*a - 192 - 195 = l. Let h = a + 208. Is h composite?
False
Let x(o) = -o**3 - 8*o**2 - 10*o - 17. Let d be x(-7). Let a be d - (212/24 + (-2)/(-12)). Is (-4953)/a - (-1 + (-3)/(-5)) composite?
False
Let k(y) = -3*y**3 + 2*y**2 + 17*y - 13. Let x(r) = 13*r**3 - 5*r**2 - 51*r + 39. Let s(l) = -7*k(l) - 2*x(l). Is s(-10) prime?
True
Suppose -2280342 = 6*k - 4*a - 7353484, 0 = k + 3*a - 845542. Is k composite?
True
Let s be ((-8)/20 - 0)*-50. Let h = -16 + s. Suppose h*z - z - 3765 = 0. Is z a composite number?
True
Suppose -545*s + 586*s - 3315837 = 90812. Is s a prime number?
True
Let a = 116336 + -59313. Is a a composite number?
True
Suppose 2*p + p - 141 = -g, -594 = -4*g - 2*p. Suppose -g*l + 141*l = -170055. Is l composite?
True
Suppose 0 = -4*z + 23*z + 190. Is 1813 - 4 - (8 + z) prime?
True
Suppose -300958 = -s + 6*n, -539204 = -3*s + n + 363636. Is s a composite number?
True
Let h(g) = 1160*g - 56 + 8 + 25. Is h(3) a prime number?
True
Let a be (3456/(-56))/(-6) + 4/(-14). Is (-74)/185 - (-138734)/a composite?
False
Let j = 31 + -28. Let i be (8/32 + (-34)/(-24))*j. Is (((-95)/4)/i)/(1/(-716)) a prime number?
False
Let r = -16444 - -185703. Is r a prime number?
True
Let o = 45 + -43. Is -321*(-66)/36*o a composite number?
True
Suppose d + 3686 = 6*d + 2*q, 2*d + 2*q = 1484. Is d a composite number?
True
Suppose -k - 10 = -18. Suppose -13*t + k*t - 2350 = 0. Is (2 + 1)/((-6)/t) a composite number?
True
Suppose 4*f + 5 = -5*w, -3*f + 10 = -2*f - w. Suppose 3*o + 2054 = -f*v + 600, 4*v + 2*o = -1162. Is 18 - 15 - (v + -1) a prime number?
True
Let a(v) = v**3 + 8*v**2 - 5*v - 35. Let u be a(-8). Suppose -3*z = -2*o + 3602, u*o + 2*z = 101 + 8904. Is o composite?
False
Suppose 3*n - 50 = -s, 4 = -2*s + 4*s. Suppose 4*l = 908 - n. Is l a prime number?
True
Let d(y) = -6*y + 2107. Let p(k) = -11*k + 4212. Let o(j) = -5*d(j) + 3*p(j). Is o(0) a composite number?
True
Suppose -t = -3*y + 140453, -3 - 7 = 2*t. Suppose -3*a = -58787 - y. Is a prime?
True
Let g be (10 + 4835/15)/((-2)/(-12)). Suppose 2*o - g = 3*j, -8*o - 3*j = -11*o + 2985. Is o composite?
False
Suppose -6*p = -3*p + 12. Suppose 0 = 5*f - 17 + 2, -l = -5*f + 49323. Is (p/6)/(8/l) a composite number?
True
Let v(q) = -2088*q**3 + q**2 + 4*q + 3. Let g be v(-1). Let p = 269 + g. Is p a prime number?
True
Let j = 493 - -538. Let l = j - -1088. Is l a composite number?
True
Let x be (-69810)/(-14) - (-36)/63. Let p = -2814 + x. Is p a composite number?
True
Let d(u) = -239*u + 29. Let b be d(2). Let l = -270 - b. Is l composite?
False
Let w(s) = -9555*s + 749. Is w(-6) a composite number?
True
Suppose 8*f = 12 + 108. Is 12/f - 5/(-25)*42211 a prime number?
True
Suppose 204*k - 25*k - 23503128 = -85*k. Is k composite?
True
Let f(t) = t**3 + 9*t**2 + t + 5. Suppose 3*d - 19 + 61 = -5*a, 12 = -4*a. Let c be f(d). Is (c + 3)*(8337/(-1))/3 composite?
True
Suppose 125213 = -8*f + 12*f + 3*x, -3*f + 5*x = -93946. Is f prime?
True
Suppose 4*a + 4*t = 55732, 69647 = 5*a + 33*t - 37*t. Is a a prime number?
True
Suppose 4*y + 8 = 0, 5*m - 2*m - 3378 = -3*y. Suppose 4*p - 5668 = m. Suppose -1933 = -3*v - 2*k, k + 860 = 4*v - p. Is v a prime number?
True
Suppose p + p = -6. Is (-2385)/p - -1 - 5 prime?
False
Suppose 5*q + 7 = 22, -4*q = -