Let u be ((-10)/4)/(m/(-2)). Is 2/u + (-153)/(-5) prime?
True
Suppose -3*l + 299 = -43. Let i = l + -37. Is i composite?
True
Suppose -4*g = -5 + 1. Suppose 0 = s - 2*b + 10, -6 = -2*b. Is 1353/12 - g/s prime?
True
Let l(c) = c**2 - 11*c - 7. Let i(x) = 4*x**2 - 32*x - 20. Let z(w) = 6*i(w) - 17*l(w). Is z(5) a composite number?
False
Let c(m) = 43*m - 9. Is c(4) a composite number?
False
Let m = 8 - 5. Let r be 1*-2*6/4. Let b = m - r. Is b prime?
False
Let l = 272 - 161. Is l a composite number?
True
Let t = -321 - -103. Let f = -117 - t. Let c = f - 54. Is c a composite number?
False
Let k = 0 + 2. Suppose 5*s + 687 = 4*q, -2*q + 3*q - 276 = k*s. Let c = s + 206. Is c composite?
False
Let a = 1540 + 1237. Is a composite?
False
Let b(n) = 373*n**2 + 2*n - 2. Is b(1) a prime number?
True
Is 14/133 - 140060/(-76) a prime number?
False
Suppose 0 = 5*j + 3*u + 5, 0 = -5*j + 5*u - u + 30. Suppose -321 = -5*q + 4*p, j*p + 2*p = -2*q + 134. Is q a composite number?
True
Suppose t + 164 = 705. Is t prime?
True
Suppose 0 = 3*p + 3*x - 105, 0*x - 140 = -3*p + 4*x. Suppose -5*m + p = -m. Is m prime?
False
Let o = 816 - 329. Is o composite?
False
Suppose 2*v + y + 79 = 2*y, -2*v - y - 89 = 0. Let p = v - -62. Let j = p + 6. Is j a composite number?
True
Let s = -263 + 1002. Is s a prime number?
True
Let m = 42 - -150. Let j = m - 127. Is j composite?
True
Is (-5)/(3*4/(-444)) a composite number?
True
Let w = 12 - 9. Suppose -4*z + 117 = c, 0 = -w*z - 9 - 0. Is c a prime number?
False
Suppose -3 = -4*w + 13. Let j be (-5 + w)/((-2)/(-28)). Let l = -1 - j. Is l a composite number?
False
Suppose 2*c = -2*k + c - 3, -k = 2*c + 6. Suppose 2*s + 450 = 4*g, 3*g - 7*g - 2*s + 430 = k. Suppose -3*o + o + g = 0. Is o composite?
True
Let t = 640 + -432. Let g = t + -125. Is g a prime number?
True
Let v = 2 - -9. Is v a prime number?
True
Let m be (2/4)/(1/46). Suppose 2*h - h = m. Is h a prime number?
True
Let j(g) = -g**3 - 11*g**2 - 12*g - 7. Let k be j(-9). Let a = 358 - k. Is a a composite number?
False
Is (-1)/(-7) - 11/((-231)/18162) a composite number?
True
Let b(t) = 263*t**2. Is b(1) composite?
False
Let f = -185 - -333. Suppose 0 = 5*y + 15, 2*y - 410 + f = -4*r. Is r a composite number?
False
Suppose k = -5 - 0. Let p be (k/2)/(1/(-2)). Let m(w) = w**2 + 6*w - 2. Is m(p) composite?
False
Is -1 - (0 + (637 + 3)/(-4)) a prime number?
False
Let d(c) be the first derivative of c**3 - 5*c**2/2 + 5*c - 1. Let i(s) = s**3 - 5*s**2 + 5*s + 1. Let l be i(4). Is d(l) prime?
False
Is 3338/5 + ((-60)/25)/4 a prime number?
False
Let f(i) = -i**2 + 3*i + 5. Let c(q) = -11 + 4*q - 4*q**2 - 7*q + 6*q**2 - 4*q. Let z(a) = -2*c(a) - 5*f(a). Is z(-8) prime?
False
Let j(c) = -6*c + 23 - 16 + 21*c. Is j(6) a composite number?
False
Suppose -336 + 1562 = 2*w. Is w composite?
False
Let p(c) = -1526*c + 17. Is p(-4) a prime number?
True
Let a = 272 + -115. Is a a composite number?
False
Suppose -3*t - 220 = -4*l + 14940, 4*l - 5*t = 15168. Is l composite?
True
Let c(k) = 3*k - 5. Let w be c(6). Let m = 35 - w. Is m a prime number?
False
Suppose -4*v + 4*o + 2196 = -0*v, 0 = 2*v + 4*o - 1122. Is v a composite number?
True
Suppose -14 = -6*u - 2. Suppose -u*g + 27 = -25. Is g prime?
False
Let g(l) be the third derivative of -l**5/60 - l**4/24 + 67*l**3/6 + 2*l**2. Is g(0) composite?
False
Let d = 100 + 27. Is d composite?
False
Let d = -285 + 772. Is d prime?
True
Is 40/(-20)*1*-631 prime?
False
Let c = 97 - 52. Let a = c + -16. Let t = 118 - a. Is t prime?
True
Suppose 116 + 181 = -3*k. Let y = k - -190. Is y composite?
True
Let l(q) = q**3 - 5*q**2 - 2*q + 6. Let c be l(7). Suppose 0 = 4*z, c = 3*o - z - z. Is ((-6)/(-4))/(3/o) a composite number?
True
Suppose 5*v - 393 = 122. Is v composite?
False
Suppose -14 = 2*s + 2. Let a(q) = q**3 + 10*q**2 + 8*q + 3. Is a(s) composite?
False
Let i(t) = 89*t + 7. Is i(6) composite?
False
Let h(y) = -y - 7. Let d be h(-6). Let q(f) = -f**3 + f**2 + 3*f - 1. Let r be q(2). Is (r*-17)/d + -2 a composite number?
True
Suppose c + 52 = -96. Let h = 231 + c. Is h composite?
False
Suppose 3831 = -0*t + 3*t. Is t composite?
False
Suppose -1616 = 5*r + 4*y, -5*y + 8 - 327 = r. Let l(o) = 63*o**2 + 2*o - 4. Let f be l(-3). Let v = f + r. Is v a prime number?
True
Let u(k) be the second derivative of -k**4/12 - 2*k**3/3 - k**2 + 2*k. Let o be u(-4). Is (-25)/(-1 + 0/o) composite?
True
Let z = -39 + 20. Let c = 162 + z. Is c a composite number?
True
Let l(i) = -1 + 11*i**2 + 2*i**2 + 0 + 5*i**2. Is l(4) composite?
True
Let g(t) = t**2 + 7*t + 3. Let n be g(-5). Let o = -3 - n. Suppose i + 60 = 4*i + 3*l, -o*i - 5*l + 81 = 0. Is i a prime number?
True
Suppose 0 = -4*o + 3*o - 1. Let w(g) = -53*g**3 - g - 1. Is w(o) a prime number?
True
Suppose -20*u + 705 = -17*u. Is u composite?
True
Let x be 176/10 - 2/(-5). Let w = x + -5. Let y = w - -2. Is y a composite number?
True
Suppose 0 = -u - 2*u - 6. Let t be u/(-5) + 208/5. Let m = t + -19. Is m composite?
False
Let b(o) = -o**3 + 4*o**2 - o - 3. Let a be b(3). Suppose -a*w - j + 801 = 0, 2*w - 2*j - 267 = w. Is w a composite number?
True
Suppose 5*m - 18 = -5*c + 52, 4*c - 48 = -2*m. Is c/(-5) - (-82 + 1) composite?
False
Suppose -3*w = 2*w - 14515. Is w a prime number?
True
Let a(j) = -j**2 + 7*j + 10. Suppose -2*y - y + 12 = 0. Suppose -3*o = -u - 2 + 9, -21 = -3*u - y*o. Is a(u) prime?
False
Suppose 5*h = -x + 6315, 0 = -5*h - 4*x + 2118 + 4212. Is h composite?
True
Is ((-400)/(-12) - -3)/(3/9) prime?
True
Is 125/4 + 17/(-4) + 4 a prime number?
True
Let l = -4 - -7. Let j(v) = 4*v**3 - v**2 - 2*v - 2. Is j(l) prime?
False
Let h(a) = -a**2 + 11*a - 3. Suppose 2*n - 42 = -2*i + 20, 3*i + n - 87 = 0. Suppose 0 = -3*v - 3*y + 33, 5*v - i + 1 = 2*y. Is h(v) composite?
True
Let m(a) = a**3 + 18*a**2 - 18*a - 24. Is m(-17) composite?
False
Suppose -r - 6*l = -3*l - 6, r = -5*l + 12. Is (211/r)/(4/(-12)) a prime number?
True
Suppose 4377 = 8*t - 5*t. Is t composite?
False
Suppose 38*j - 33*j = 22465. Is j prime?
True
Suppose -3*c = 5*d - 562, 564 = 5*d - c + 2*c. Is d composite?
False
Let v be 7/((-14)/(-4)) - 6. Is 1 - (-371 + 4/v) a prime number?
True
Is 6/(-3) - (-1 + -1575) a prime number?
False
Suppose 25 = -5*o + 10*o, d + 3*o - 254 = 0. Is d a composite number?
False
Suppose -2*v + 2 - 12 = 0, 5*v = 4*q - 1517. Is q a prime number?
True
Let z = -915 + 1384. Is z a prime number?
False
Is 10341/24 - 8/(-64) prime?
True
Let h(o) = -6*o**2 + 10*o**2 + 17*o**3 - 3 - o - 6*o**2. Is h(4) composite?
False
Let p(f) = -462*f - 37. Is p(-12) a composite number?
False
Suppose 2*a + 0 = 182. Is a prime?
False
Let k = -172 - -349. Is k a prime number?
False
Is ((-19)/38)/(2/(-4996)) composite?
False
Suppose -680 = -35*f + 27*f. Is f a prime number?
False
Suppose -2*f = 2*f - 892. Is f a prime number?
True
Let u be ((-12)/(-5))/((-4)/(-20)). Suppose m = 45 - u. Is m a composite number?
True
Suppose -3*r - 15 = 3*s, -4*s - r + 4*r = -8. Is (-33 + s)*22/(-4) composite?
True
Suppose 256 = -3*c + 2275. Is c a composite number?
False
Let v be -3*(3 - 2) + 10. Let g(t) = 20*t - 1. Is g(v) composite?
False
Let y = 131 - 88. Let m = 62 + -41. Let r = y - m. Is r composite?
True
Let o(a) = -a**3 + 7*a**2 + 3. Let y be o(7). Let z = y + -1. Suppose -3*l - s = -150, 2*s + z*s + 216 = 4*l. Is l a prime number?
False
Let x = 10 + -18. Let o = x - -43. Is o a prime number?
False
Let t(q) = -271*q - 1. Let n(z) = -z**2 + 6*z - 1. Let k be n(6). Let s be t(k). Suppose -3*v - 39 + s = 0. Is v a composite number?
True
Suppose 0*l - 2*l = -110. Suppose 5*a + 17 - l = -v, -5*v + 253 = 4*a. Is v a composite number?
False
Suppose 3*o + 13 = 4*u - 143, o = -4. Is ((-24)/u)/((-4)/2514) composite?
False
Let l(u) = -u**3 + 1 + 7 + 8*u**2 - 2 + u. Is l(8) composite?
True
Let o be (-4)/(-22) - 72/33. Let m be 14 + (o - 0) + 4. Suppose -4*y = -m - 196. Is y a prime number?
True
Let q = -47 - -19. Let z = 43 + q. Let t = z - 5. Is t prime?
False
Suppose -20 - 24 = 4*h + 2*d, -h + 5*d = 22. Let p be (h/(-3))/((-3)/(-342)). Suppose -3*g + 5*b = -p, -2*b - 308 = g - 3*g. Is g composite?
False
Let q = 1280 - 819. Suppose -5*o + q = 166. Is o a prime number?
True
Let f be (4 + -8)*1/(-2). Suppose -g = 4*y - 105, -f*g + 433 = 3*g - 3*y. Is g comp