t d be (-8)/w*(-339)/(-2). Let i = -55 - d. Is i a prime number?
False
Suppose 3*u + 2198 = 5*u - 3*h, 3*u = 3*h + 3294. Suppose -u = -3*g - 337. Suppose 1 = 2*c - g. Is c a composite number?
False
Let v be (-1 - 2)*(-10)/15. Suppose -4*l + 5317 = -v*l + 5*r, 5327 = 2*l + 3*r. Suppose 3*n + 707 - 3370 = -b, 0 = -3*n - 5*b + l. Is n composite?
False
Let f = 15 + -13. Suppose -494 = -f*i - 74. Suppose 2*x - 137 - i = -3*m, -5*m + 519 = 3*x. Is x prime?
False
Suppose 0 = -j + 32 + 37. Suppose -a + 39 = 4*r - 5*r, 2*r = -a - j. Let d = r + 71. Is d a composite number?
True
Is ((-10662)/(-4))/(13/26) composite?
True
Is 40/16*(-6)/5*-311 a composite number?
True
Let u = -57 - -52. Is 5854/u*-1 + 4/20 composite?
False
Let m = 0 - 0. Suppose -9*g + d + 9 = -6*g, 3*d + 7 = -g. Is -1 + m + (g - -88) composite?
False
Let c(d) = -3*d + 2. Let o be c(-1). Suppose -q - o*n - 25 = 0, -5*n = -5*q + 2*q + 25. Suppose q = -5*h - 2*h + 301. Is h composite?
False
Suppose -16700 = -5*c - y, 3*c + 0*y - 10018 = -y. Is c prime?
False
Let j(b) = -b**2 - 16*b - 22. Let t be j(-14). Suppose 0*f - 6366 = -t*f. Is f a prime number?
True
Let h be (-32)/144 + (-2)/(-9). Suppose -143 = -4*r - 2*j + 101, h = -3*j. Let g = -24 + r. Is g a prime number?
True
Suppose -5*a + 15 = -s - 24, s - 25 = -3*a. Let m(x) be the first derivative of 29*x**2 + 15*x + 3. Is m(a) composite?
False
Let v = -60985 - -104436. Is v prime?
True
Let m(b) = 10*b**2 - 8*b - 25. Let a be m(13). Suppose a = 4*s + c, -c - 2165 = -5*s - 207. Is s a composite number?
True
Suppose -k - 5*s + 28 = 0, 4*k + 2*s = -2*s + 48. Suppose k = 3*q - q. Suppose -q*m + 0*x = -2*x - 38, 2*m - 34 = -4*x. Is m a prime number?
True
Suppose -3*h = 5*m + 37, 2*h - m + 71 = -3*h. Suppose -5*y + 557 = 4*b - 558, -4*y + 893 = 3*b. Is h/63 + y/9 a composite number?
True
Let q(f) = 157*f**3 + 7*f**2 + 2*f + 3. Is q(5) composite?
False
Let y(m) be the second derivative of 3*m**4 - m**3/2 - 3*m**2/2 - 2*m. Let v be y(3). Let j = v + -169. Is j composite?
True
Let z be 2*(1 - 2)/2. Let j be (1 + z)*1 - -2. Suppose -5*g - 4*v = -j*v - 1301, 2*g + 4*v = 530. Is g a composite number?
True
Let q(s) = 2893*s**2 + 49*s - 7. Is q(-8) a prime number?
True
Let b be 2/(-8) + (-187)/(-44). Suppose -b*j + 9 = -j. Suppose j*s = -2*s + 955. Is s prime?
True
Suppose -7*u + 21016 = 2613. Is u prime?
False
Let d(b) = 7*b**2 + 11*b + 39. Is d(-25) a prime number?
True
Let r = 2729 - 736. Is r composite?
False
Let p(s) = s**2 - 6*s - 4. Let u be p(8). Let c = u + 1. Is c prime?
True
Suppose -2*a - 20 = -5*b, 0*b + 3*b + 5*a - 43 = 0. Let o be (620/b)/(2/(-9)). Let v = o - -1006. Is v a composite number?
False
Let t(l) = -67*l**2 - l + 1. Let n be t(2). Let s = 158 + n. Let k = s + 238. Is k a prime number?
True
Suppose -7*k + k = -24. Suppose 6*d - 7*d = k. Is 10/d*446/(-5) a composite number?
False
Suppose 19*b - 335525 = 157658. Is b prime?
False
Let v be ((-1)/(-3))/(13/312). Suppose 0 = 2*m + v, -159 = -c - m + 104. Is c prime?
False
Let o be (-1)/(2145/(-1070) - -2). Let t = 93 + o. Is t composite?
False
Let x(f) = 146*f + 12. Let t be x(10). Suppose -3*o = t - 6230. Is (-6)/21 - o/(-14) prime?
True
Let s(b) = -5*b**3 + 4*b**2 - 2*b**3 + 4*b + 5 - 4*b**3 - 2*b**2. Is s(-6) composite?
True
Suppose -22910 = -12*n + 66814. Is n a composite number?
False
Let o = -1044 - -8551. Is o composite?
False
Let o(u) = 12*u - 18. Let a be o(9). Let i = a - 37. Is i composite?
False
Let h(y) = 33*y**2 - y - 7. Let f be h(-10). Let o = f - 2257. Is o a composite number?
True
Let s(c) be the first derivative of -c**2/2 - 9*c - 5. Let h be s(-7). Is (-2097)/h + (-10)/(-20) composite?
False
Suppose -691141 = -25*j - 58491. Is j a prime number?
False
Suppose 440638 = 11*j + 11*j. Is j prime?
True
Suppose -2*w = -4*w + 308. Suppose -6*h + w = -4*h. Is h composite?
True
Let k(w) be the third derivative of 1/20*w**5 + 0*w - 1/12*w**4 - 7*w**2 + 1/6*w**6 - 1/6*w**3 + 0. Is k(2) a composite number?
False
Is 1660806/234 - (-12)/(-26) a composite number?
True
Let i(k) = 16*k**2 + 5*k + 6. Let l be i(-4). Suppose -3*u - l = -g, -3*g = -4*g + 2*u + 245. Is g a composite number?
False
Let t(y) = -4*y + 21. Let z be t(4). Suppose 0 = x + z*x - 2958. Is x a prime number?
False
Let n be (6/(-10))/(8/(-40)). Suppose -3*i - n = -12. Suppose -5*l + 1370 = -i*l. Is l composite?
True
Suppose -2*m + 2342 = -5*r + 65, 0 = -4*m - 4*r + 4540. Is (10/4)/(4*2/m) a prime number?
False
Suppose -2*x = w - 8, 2*x - 7*x + w = -13. Let i be x - -932 - (-1 - 2). Is i/6 + (-32)/(-48) a composite number?
False
Suppose -j - 7071 + 746 = -3*a, 2*a - 4240 = -4*j. Is (a/25)/((-2)/(-5)) a prime number?
True
Let d = 9211 - 6284. Is d a composite number?
False
Let i(r) = 83*r + 139387. Is i(0) a composite number?
False
Is 1477 - 1*(0 - -4) a prime number?
False
Let p = 15 + -12. Suppose 372 = 3*n - 3*y, 0 = -p*n - n + 2*y + 490. Is n composite?
True
Suppose 5*h = 2*n + 103489, 3*h + 103510 = 8*h + 5*n. Is h composite?
True
Let y(z) = -z - 9. Let s be y(-14). Suppose a + 20529 = 4*x, s*x + 3*a - 10355 - 15302 = 0. Is 3/2*x/6 a composite number?
False
Let i(f) = 2 - 13 + 7 + 4*f + 57*f**2. Is i(3) composite?
False
Suppose -4*v + 3*f = 1894, 0 = -2*v + 5*f - 697 - 257. Let k be -2 - -2 - (2 - 941). Let t = v + k. Is t composite?
False
Let l = -23104 - -80985. Is l prime?
True
Suppose 0*i = -5*g - 2*i + 11, 2*i - 8 = -4*g. Suppose 0 = -3*o + s + 2021, -4*o + 2*s + 2690 = g*s. Is o composite?
False
Let b be (24416/(-24))/(4/18). Let y = -3067 - b. Is y a prime number?
True
Let l = -1272 + 3785. Is l composite?
True
Let s = 2434 - 933. Is s a composite number?
True
Let a(z) = 1047*z**2 + 14*z + 3. Is a(4) a prime number?
True
Is 145668/9 + (-63)/27 composite?
False
Let g(i) = 13*i - 49. Let w be g(4). Suppose -4*z - 3*s + 2061 = -758, -3*z + w*s = -2088. Is z a prime number?
True
Suppose 2*g = 183 + 11. Let o = 987 + -561. Suppose -g + o = a. Is a composite?
True
Let z be ((-1)/(-4))/((-2)/(-16)). Suppose -3*f - 6 = -3*j, 0 = -5*f + 3*j - j + z. Is 18/36 + 973/f prime?
True
Let h be 4/(2*2/218). Let s(k) = 2*k**2 + 2*k - 49. Let n be s(13). Let b = n - h. Is b a composite number?
False
Let k = -11 + 14. Suppose 3*d + 0*d - 2975 = -4*w, k*d - 3718 = -5*w. Is w a composite number?
False
Suppose -49*x = 69*x - 4456742. Is x a prime number?
False
Let i = -5 - -7. Suppose -4*w = 2*v - 558, v + 32 = i*w - 245. Let z = 60 + w. Is z a composite number?
False
Let r(a) = 3*a - 33. Let l be r(11). Suppose l = -6*x - 3210 + 11520. Is x a composite number?
True
Let z(k) = 0*k - 20 + 2 - 2*k + k. Let l be z(-13). Is (373/l)/((-8)/40) composite?
False
Let v = -4605 - -8112. Suppose 959 = 14*b - v. Is b a composite number?
True
Suppose 4*n = -5*s + 19, s = -n - 0*s + 4. Let u(w) = 497*w**2 + 2*w - 2. Is u(n) composite?
True
Let s be (3/((-3)/5))/(-1). Let m(g) = -g**3 + g**2 - g + 1. Let u(d) = 4*d**3 + d**2 + 11*d - 1. Let a(h) = 5*m(h) + u(h). Is a(s) composite?
False
Let z(v) = -20*v + 4. Let s be z(-17). Suppose 172 = h + 3*n, 5*h + 5*n - s = 566. Is h composite?
True
Is ((-52)/(-8) + -4)*(8789 + -7) prime?
False
Suppose -29*a + 374045 + 203432 = 0. Is a composite?
False
Let b = 4599 + -2554. Suppose 5*k = -4*z + b, 2*z + 2*z = -2*k + 818. Is k a prime number?
True
Is 1*(-2)/6*-27273 prime?
True
Suppose -10*o = -6*o - 7992. Let k = o + 2911. Is k a composite number?
False
Suppose 0*g + 2*g + 26 = 5*a, 0 = -3*a + 5*g + 27. Let q be a/8 - (-18)/4. Suppose q*c - 7*c + 62 = 0. Is c composite?
False
Suppose -2*v = -4*s + 3369 + 2459, 5*v + 4371 = 3*s. Is s a prime number?
False
Let x(z) = -z**3 - 16*z**2 - 15*z - 19. Suppose 16*l + 160 + 144 = 0. Is x(l) a composite number?
True
Suppose -2944 - 6344 = -12*z. Let y be 27/6 - 1/(-2). Suppose -z - 481 = -y*j. Is j a composite number?
False
Let z be (5 - 3)/((-3)/(-30)). Suppose 2*y - 36 = z. Let c = y + 19. Is c prime?
True
Let a(y) = -10*y - 9 + 5 - 17. Is a(-14) composite?
True
Let i(g) = -16*g + 53. Let v(k) = 2*k. Let o(t) = i(t) - 4*v(t). Is o(-11) a prime number?
True
Is 2/(-4)*(-17064 + 38) a prime number?
True
Let h(v) = -344*v + 449. Is h(-31) a prime number?
True
Let w(k) be the third derivative of 227*k**5/15 + k**4/4 - 7*k**3/6 + 9*k**2. Is w(1) a prime number?
Tr