12974. Is f composite?
True
Suppose -22*i + 7 + 103 = 0. Is (1362/(-9) + i)/(1/(-39)) a prime number?
False
Let x(b) = 110294*b**3 - 3*b**2 + 6*b - 3. Is x(1) composite?
True
Let m(j) = 14*j**3 - 15*j**3 + 16*j + 9*j**2 - 137 + 9*j**2. Is m(16) prime?
True
Let t be (-1)/(-1)*(-7 - -10). Suppose -5*c - 9509 = -t*p, -3*c + 5656 + 658 = 2*p. Is p a prime number?
True
Is 92317 + (-15 - -23) + -26 prime?
False
Is 57*-1*(-1228)/12 a composite number?
True
Let s = 182 + 101. Let j = s - -12. Is j a composite number?
True
Let u(v) = -15*v**2 - 81*v + 26. Let c be u(-27). Let r = c - -12477. Is r composite?
True
Let w(i) = i**2 + 3*i - 1. Let v be w(-4). Suppose 2*d - 155 = 4*h - v*h, d + 665 = -4*h. Let b = 104 - h. Is b prime?
True
Let f = -14 + -1. Let j be (3/(-2))/(f/50). Suppose 0 = 3*z + j*g - 1148, 2*g + 1591 - 429 = 3*z. Is z prime?
False
Let c = 247684 + -66983. Is c prime?
True
Let s be 1*(-8 + 1 + 64). Suppose -59*b + 254 = -s*b. Is b a prime number?
True
Let t = -161 - -163. Suppose -t*r - 1770 = f - 21356, 0 = -f. Is r a prime number?
False
Suppose -46*a + 7*a - 117 = 0. Is (-28274 - 6)/(-2) + a composite?
True
Suppose 86*u - 5794705 = 6517141. Is u a prime number?
False
Suppose -2*t + 126479 = 10*m - 7*m, 3*t - 42169 = -m. Is m composite?
False
Let b = -47 + 45. Let t(h) = 2*h - 10. Let w be t(b). Is -1814*(w/4 - (-9)/3) prime?
True
Suppose 24*g + 711533 - 2488582 = 3592975. Is g a composite number?
True
Let x = 1073 + 14804. Is x composite?
False
Suppose -41*t + 15910990 = -22339565 + 13613122. Is t a composite number?
True
Let b(v) = 119799*v + 2009. Is b(8) a prime number?
False
Let j(y) = 4 - 3 - 7 - 2 + 69*y. Suppose -7*s + 3*s = -12. Is j(s) composite?
False
Let t be (-1398)/(-48) - 1/8. Let b = t - 4. Suppose -6*h + b = -401. Is h prime?
True
Suppose 0 = -2*u + 4*t - 1287 - 12557, -3*t + 27713 = -4*u. Let l = u - -13531. Is l a prime number?
True
Let f = 8696 + 4973. Is f a composite number?
False
Suppose 11*y + 107298 + 27790 = 27*y. Is y composite?
False
Let r(o) = -o**2 - 7*o - 10. Let h be r(-5). Let w = h + 2. Suppose 4*a = -w*k + 750, -486 - 1415 = -5*k + 3*a. Is k a composite number?
False
Suppose 4*f - 7*f - 3*b - 3 = 0, -4*b - 16 = 0. Suppose -f*i = -m - m + 4669, i - 2332 = -m. Is m a prime number?
True
Let g be (114/(-9) - -2)*1072971/(-116). Suppose -g = -2*z - 22*z. Is z a composite number?
False
Suppose 3*w + 4*s = 4*w - 4087, 16408 = 4*w - 4*s. Suppose w = t - 4*b, 4*t - 5369 = 5*b + 11092. Is t/(54/(-45)*2/(-4)) composite?
True
Let z be (-1 - -6)*(-15784)/(-10). Suppose 3379 = -6*g + 7*g - 4*p, 4*p = -16. Let v = z - g. Is v prime?
False
Let y = -45 + 42. Let r be 5 + -7 - y*139. Suppose 0 = 3*l - r - 194. Is l composite?
True
Let k(n) = n**3 - 87*n**2 + 306*n - 1157. Is k(170) a prime number?
False
Let w = -149 - -152. Let g(n) = -n**2 + 8*n + 9. Let o be g(9). Suppose 6*x - x + 4*q - 11417 = o, -q - 6857 = -w*x. Is x prime?
False
Let y = -471627 - -719590. Is y a composite number?
True
Let u be 2115/(-18)*3036/(-15). Suppose -515 = -21*i + u. Is i prime?
False
Suppose 0 = -o + 2*s + 339747, -33*o = -34*o - 3*s + 339787. Is o composite?
True
Let d be (-4)/2 - 2590/(-185). Suppose -4*c + 646 = -2*c. Suppose 11*h + c = d*h. Is h composite?
True
Let m(h) = -196*h - 7. Suppose -161 - 574 = 35*o. Is m(o) a composite number?
True
Let f(l) = -1508*l**2 + 10*l + 29. Let q be f(-3). Let d = q + 31874. Is d a prime number?
True
Let q = -92272 + 246759. Is q a prime number?
True
Suppose -5*d = -0*d - 250. Suppose 18 = -2*f + d. Is 23980/f - (1/(-4) - 0) a prime number?
True
Let x(j) = -155*j**3 + 15*j**2 - 5*j + 128. Is x(-11) prime?
False
Let i(z) be the second derivative of -z**4/12 - 11*z**3/3 - 9*z**2 - 2*z. Let r(x) = 6*x + 87. Let j be r(-17). Is i(j) a composite number?
True
Suppose 128 - 113 = 5*k, 4*k = -3*a + 91926. Is a prime?
False
Suppose 4*x + 3*p = 26221 + 335, 0 = -2*p. Suppose 0 = 10*j - 1231 - x. Is j a composite number?
False
Let u(j) = 1602*j - 5195. Is u(129) a composite number?
True
Let v = 380052 + 209851. Is v a composite number?
False
Is ((-42389753)/1127 + (-2)/23)/(-1) a prime number?
False
Let f(n) = 42 - 25 - 41*n + n**2 + 6*n**2. Let d be f(22). Is d/(0 - (-3 - -2)) prime?
True
Let p = 2430 + 4805. Suppose -834 - 6441 = -k. Suppose 4*u = 3*q + 2*q - k, 5*q - p = -4*u. Is q composite?
False
Suppose -125*x + 3676858 = -398392. Is x prime?
False
Suppose 0 = -2*t - 2*u + 11796, u + 2086 = 3*t - 15612. Is t prime?
False
Suppose f - n = 9, 4*n + 10 = 6. Suppose -f*x + 3*x + 4445 = 0. Is x a composite number?
True
Let n(p) = 498*p**2 - 85*p - 244. Is n(-3) a composite number?
False
Is (-36)/960*-8 - 520507/(-10) composite?
False
Let t = -1250 - -2298. Suppose 10*a + t = 75678. Is a prime?
False
Suppose -304*h = 119*h - 26313561. Is h composite?
False
Let z = 27432 + -8262. Suppose -3*s + 0*s + 5*o + z = 0, 0 = -3*s - 2*o + 19149. Is s prime?
False
Let u = -157238 - -491799. Is u prime?
True
Let g(s) = -33*s**2 + 163*s - 121. Let n(b) = 8*b**2 - 41*b + 30. Let o(w) = 2*g(w) + 9*n(w). Is o(23) prime?
True
Suppose 26*n - 34*n + 337672 = 0. Is n a prime number?
True
Let z = -185 - -2971. Let n = z - -1529. Is n a composite number?
True
Suppose 19086 = 2*s + 4*u, 5*u = -98*s + 93*s + 47690. Is s a composite number?
False
Let r(y) = 2*y**2 - y. Let q be r(-1). Suppose q*d - 2*h - 6811 = 0, 6*d = 3*d + 3*h + 6813. Is d composite?
False
Let d = -19324 - -34355. Is d a composite number?
False
Let y be 4 - (112/(-12) - 2/(-6)). Suppose -532 - 2887 = -y*h. Is h prime?
True
Let r(c) = c**3 + 4*c**2 + 46*c + 201. Is r(26) prime?
False
Suppose 0 = -13805*p + 13806*p - 295621. Is p a prime number?
False
Suppose 16*j - 24*j + 24496 = 0. Suppose j = 4*v - 2546. Is v a composite number?
True
Suppose -3*m + 31650 = -5*q - 33968, -m + q = -21876. Is m composite?
False
Suppose -14106487 = -452*t + 6607317. Is t prime?
True
Suppose 3*j - 30793 = 20*j - 329466. Is j a composite number?
False
Suppose v - 3*b - 2 = 0, -6*b = -b. Let u = 2883 + -1491. Suppose v*n = -0*n + 5*i + u, -4*i = -4*n + 2796. Is n a prime number?
True
Suppose 15712175 = 30*m - 5*m. Is m a composite number?
False
Suppose 69*t = 3719177 + 15577294. Is t a prime number?
True
Suppose 140*g - 180 = 134*g. Suppose 24842 = -28*n + g*n. Is n composite?
False
Let t = -256 - -450. Let w = t + 57. Is w a prime number?
True
Suppose 3*j + 80868 = 3*y, 23702 = y + 2*j - 3248. Suppose y - 73268 = -18*f. Is f a prime number?
False
Let m = 172325 - 97324. Is m composite?
True
Suppose -16 = -x - 6. Let s(v) = -v**3 + 15*v**2 - 12*v + 19. Let p be s(x). Suppose -4*c + 2965 = -p. Is c composite?
True
Suppose 0 = v - 4*a - 18, -a - 14 = -3*v - 2*v. Is (-1 + v)/(8/(-9496)*-1) a prime number?
True
Let b(q) = 10083*q**2 - 39*q - 247. Is b(-7) a composite number?
False
Is ((-6)/(-12))/((-4)/52820516*(-7)/2) composite?
False
Let f(a) = 55 - 30 + 245*a - 28. Let s be -2 + 15 + 0 + 1. Is f(s) a composite number?
True
Let d = 20989 - 11141. Let l = -5805 + d. Is l prime?
False
Suppose 0 = o + 4*z - 349331, 2*o - z - 355710 = 342907. Is o prime?
False
Suppose -4*k = -6*j + 4*j + 298, 4*j - 4*k = 592. Let w be (4/7)/((-6)/(-24171)). Suppose -j*a + 149*a = w. Is a a composite number?
False
Let u(j) = 33115*j + 101. Is u(2) composite?
True
Suppose -l = 4*x - 68366, 6*l = 20 - 56. Is x prime?
True
Let v(f) = 5 + 5 + 3*f**2 - 3 + 4*f - 4*f**3. Let z be v(-2). Suppose -47*y = -z*y - 3812. Is y a composite number?
False
Is (9517/(-2) + 3)*-2 a composite number?
False
Let f = -12235 + 53076. Is f a composite number?
False
Suppose 13*k - 899918 - 627027 = 3276152. Is k a prime number?
True
Suppose 4*l + 67 = -3*q + 23, 2*q - 3*l + 52 = 0. Let a = -16 - q. Suppose a*c = 2*d + 244, -4*c + 224 = 4*d - d. Is c a prime number?
True
Let z = 167972 + -63555. Is z a composite number?
False
Let f(b) = -49*b + 100. Let z be f(2). Is (93048/(-60))/(z/(-5)) prime?
True
Let x = -35 + 19. Let l(j) = -j**3 - 17*j**2 - 15*j + 16. Let t be l(x). Suppose o - 1577 = -4*n, t*n = -5*o - n + 7809. Is o a prime number?
False
Is 164*(-12552)/(-16) - (-1 + 2) a composite number?
False
Suppose -15*d = -117*d + 2274906. Is d a composite number?
False
Suppose 4*u - 551641 - 416281 = -2*q, 2*q = 4*u + 967890. Is q 