 y = 3875 - x. Is y composite?
False
Let h = -257302 - -452960. Is h a composite number?
True
Suppose -1 - 17 = -2*f. Let h be 3*f*(-4942)/(-21). Suppose -1149 + h = 5*d. Is d prime?
False
Suppose -2*y - 544621 = -5*m, 2*y = -2*m + 187511 + 30329. Is m prime?
True
Suppose -9*t + 42 = -3*t. Let i(p) = 8*p + 27*p**2 - 5*p**2 - 7*p**2 + 4 + 8*p. Is i(t) a prime number?
False
Let j(w) be the second derivative of 19/2*w**2 - 16*w + 0 + 23/6*w**3. Is j(6) a prime number?
True
Let j(l) = -282*l - 12. Let k be j(-7). Let t = k - -2899. Is t prime?
True
Let h(c) = -15*c + 80. Let r be h(5). Suppose -4*u = -2*x + r*x - 23166, -5783 = -u - 5*x. Is u a composite number?
True
Let l(t) = -199*t**3 - 125*t**2 - 922*t + 1. Is l(-7) a composite number?
True
Let r(q) = -151859*q - 1391. Is r(-2) a prime number?
False
Let g(z) = z**3 - 7*z**2 - 15*z + 4. Let o be g(8). Let m = -22 - o. Is ((-20)/m)/((-4)/474) a prime number?
True
Suppose 0 = 45*x + 5 - 5. Suppose x = s - 498 - 1139. Is s a composite number?
False
Suppose 3*p + 11*m - 10*m - 6 = 0, 5*m = p - 2. Suppose c + 0*r - 5753 = -p*r, -5*c + r = -28732. Is c a composite number?
True
Suppose 7*y + 8509 = 10*y - 4*u, 0 = 3*y + 3*u - 8481. Is y a prime number?
False
Let y(s) = 4287*s + 45. Let k be y(2). Let c = k + -2390. Is c composite?
False
Suppose k - 267 = 944. Let v = k + -678. Is v prime?
False
Let u = -989 + 1723. Let k = u + 827. Is k composite?
True
Let k = -290 + 292. Suppose 0 = 4*i + 4*s - 52188, -2*i + 5561 = -k*s - 20525. Is i prime?
False
Let y(n) = -1 + 2 - 1331*n**2 - 2 + 1333*n**2 - n + 409*n**3. Is y(1) composite?
False
Let u(a) = 201548*a - 259. Is u(4) composite?
False
Let l(j) = 2*j**3 + 18*j**2 + 15*j - 7. Let t be l(-8). Is (13640 + 6/t)*2/4 a prime number?
True
Let q be 9 + -3 + 1/(2/(-6)). Let k(t) = 137*t - 13. Let c be k(q). Let f = c + -271. Is f a prime number?
True
Let a be (2 + -4 - (-4)/6)*-6. Suppose -a*o + 156 = -11*o. Is (-13)/o - 102/(-8) composite?
False
Let a be 10160/30*6/4. Suppose k + 67 = 2*p, 2*p = -5*k - a + 113. Is 2 - (-3)/((-3)/k) prime?
True
Let t(k) = 7*k**3 + 15*k**2 + 50*k - 61. Is t(11) a prime number?
True
Suppose 10784 = 9*n + 7*n. Let p = -2472 + n. Let k = -899 - p. Is k composite?
True
Suppose -36544 - 81338 + 3872 = -26*h. Is h a composite number?
True
Let t(u) = -17*u + 97. Let a be t(7). Is (-11)/(a/360) + 7 prime?
False
Suppose 8 = 2*k - 4*k. Let c(j) be the second derivative of 5*j**4 + j**3/2 + 5*j**2/2 + 40*j - 3. Is c(k) prime?
True
Suppose 2*r - 134510 = -2*r + 174342. Is r composite?
False
Let p(l) = 19770*l**2 + 32*l - 32. Let r be p(1). Is r - -2*1/4*2 prime?
False
Let w(z) = 2*z**3 - 253*z**2 - 73*z + 49. Is w(130) prime?
False
Suppose 34*i - 191 - 220 = -71. Suppose -h = 4*k - 0*h - 7, -k + 2*h + 4 = 0. Suppose 0 = -4*s - k*g + 5038, i*g - 6*g + 6330 = 5*s. Is s a prime number?
False
Let v(k) be the third derivative of k**5/4 + 2*k**3/3 + 27*k**2. Let u(f) = 2*f**2 - 10*f + 5. Let r be u(5). Is v(r) a composite number?
False
Let w = -13747 + 30132. Let i = w + -2634. Is i prime?
True
Suppose -111405 = 54*r - 57*r. Suppose r = -283*o + 290*o. Is o prime?
False
Let l = 351 - -439. Suppose l - 25187 = -31*j. Is j a composite number?
False
Suppose 43*n + 1620 = 47*n. Suppose 0 = -5*v + 4840 + n. Is v a prime number?
True
Let n be ((-41124)/(-16))/3 - (-2)/8. Suppose n*i - 5276 = 853*i. Is i prime?
True
Let d be 5*(-1187)/(-5)*2. Suppose -588 + 7266 = -6*r. Let m = d + r. Is m a prime number?
False
Let m = -16336 + 23543. Let v = m + -5028. Is v prime?
True
Suppose 0 = 2*k - 3*k + 4*o + 698, 6 = 2*o. Let v = k + -183. Let h = -220 + v. Is h prime?
True
Suppose -20246 - 18998 = -2*x. Suppose 3*q - x = t, -17*t + 18*t = -5. Is q a composite number?
True
Let l(t) = -51*t**3 - 3*t**2 + 5*t + 2. Let w be l(-5). Suppose 26*c + w - 22449 = 0. Is c prime?
False
Let g = -253 + 771. Suppose 3*i - 5*i + g = 0. Let n = i - 45. Is n composite?
True
Suppose 0 = -2*c - 0*c + 28. Suppose 3*k + g = 14, -3*g - c = 4*k - 9*k. Suppose 0 = 3*a + k*p - 1029, -1017 - 27 = -3*a + p. Is a a composite number?
False
Let z = 16 + -16. Suppose z = -w - 4*i + 3*i - 9, 0 = -5*w + i - 27. Is 4/w*21*46/(-4) prime?
False
Is (101734 - (56/(-7) - -5))/1 prime?
True
Suppose -4*f - 32 = 3*l, -f + 16 = 4*l + 50. Let b be ((-96)/(-20))/(-4)*150/9. Is (b/l)/(-5)*-958 a composite number?
False
Suppose -5*x = -15, 3*l = -5*x + 32830 - 1132. Is l composite?
True
Suppose -211*b + 219*b = 10072. Suppose 5*w = 346 + b. Is w prime?
False
Is -51173*(-11)/99*9 prime?
False
Suppose 29*n - 12927 + 1414 = 0. Is n composite?
False
Let n(p) = 154*p - 1. Let a = -9 + 9. Suppose 3*r - 26 = m, -49 = -5*r - a*r - 4*m. Is n(r) a prime number?
False
Suppose 1736 - 561 = 25*b. Suppose 45647 = 5*z - 2*s, 2*z + b*s - 49*s = 18254. Is z a composite number?
True
Suppose 0 = -2*x - 3*x. Suppose x = -2*s + 2 + 2. Suppose d + 3*d - 437 = -3*w, s*d - 211 = -3*w. Is d a composite number?
False
Let k be 10/(-8) - (2 + (-422250)/(-24)). Let n = k + 25350. Is n composite?
False
Let i = 605 + 2015. Is 12/(-21) - (i/(-28) - 4) a composite number?
False
Let r(z) = 836*z - 81. Let g be r(9). Suppose -g = -3*j + 1608. Is j a prime number?
False
Suppose 3*k + 3*h = 123, k - 4*h = -3*k + 148. Let r be (0 + -3)/(k/(-52)) + 3. Suppose -4*c - 561 = -r*c. Is c a composite number?
True
Suppose -23*k + 745552 = -6*k. Suppose 18*o = 2*o + k. Is o a composite number?
False
Let t(a) = a**3 - 6*a**2 - 15*a - 10. Let p be t(8). Is 2*(2 + (-949)/p) a prime number?
True
Let b be (45/(-2))/(2/348). Let k = b + 6544. Suppose -s - 2*g = 2*s - k, 5*s = -g + 4384. Is s a prime number?
True
Let l = 131 - 128. Is 83151/12*(6 + (-14)/l) composite?
False
Let h be ((-156)/(-9))/(2/3). Suppose h = k - 434. Let a = 763 - k. Is a a composite number?
True
Suppose 0 = 6*m - 2*m + 518592 - 2226604. Is m composite?
True
Let j(l) = 46*l**2 - 8*l + 13. Let a = 93 - 83. Is j(a) a composite number?
True
Let i = -13719 - -73514. Is i a composite number?
True
Let s = -5150 + 33548. Suppose -6*g + s = 180. Is g a prime number?
True
Let y = 475 - -11. Suppose 10322 = -8*b - y. Let n = -882 - b. Is n prime?
False
Suppose 0 = -x + 4*r, 2*x = 2*r + 44 - 14. Is 2/x - (-22156)/40 prime?
False
Suppose -9 = 3*i - 3. Let o(t) = -9*t**3 - 26*t**2 + 2 - 7 + 30*t**2. Is o(i) a prime number?
True
Let s = 43157 + -13774. Is s a prime number?
True
Let w(s) = 2547*s**2 + 15*s - 175. Is w(6) a composite number?
True
Suppose -2*y + 566528 = 3*x, -199546 - 83717 = -y - 2*x. Is y prime?
True
Let c be (-5)/(-35) + (-4)/28. Is (2 - -17)/(5/2735) + c a prime number?
False
Suppose -4115029 = -4*d - 0*d + 3*q, -3*d = 3*q - 3086298. Is d a prime number?
True
Suppose -3*l + 108 = -2*c, 3*l - 5*c - 89 - 10 = 0. Is l a prime number?
False
Let u(l) be the third derivative of 7*l**5/5 + l**4/24 - l**3/2 + 4*l**2. Let w = -104 + 102. Is u(w) prime?
True
Let j(y) = -24364*y + 41. Let d be j(-6). Suppose -2*a = -27*a + d. Is a a prime number?
True
Let h = -5991 + 24874. Is h prime?
False
Suppose -4*h + 80 = 5*n - 32, 3*n - h - 57 = 0. Let b be n/(4 - 0) + 938. Suppose -s + b = 162. Is s prime?
False
Let b = -1000 - 907. Let u be ((-36)/(-4))/(-3) - (b + 0). Suppose 3*a + r + u = 5*a, 0 = -3*a - 2*r + 2863. Is a composite?
False
Let c(h) = 27*h**2 - 4*h - 2. Suppose -4*m - s = 7, 3 = -2*m + 3*s - 4. Let w be c(m). Suppose w = 2*v - 60. Is v a composite number?
True
Suppose -17*f + 3 = -18*f. Is (f/6)/((16/(-4))/36376) a composite number?
False
Let f(w) = 27*w**2 + w. Let l(b) = -81*b**2 - 4*b + 1. Let o(x) = -8*f(x) - 3*l(x). Suppose -r = -6*r + 20. Is o(r) prime?
False
Let a(r) = r + 99. Let d be a(24). Suppose 121*o + 7330 = d*o. Is o a prime number?
False
Let g(a) = -12227*a + 411. Is g(-4) prime?
False
Let q(z) be the first derivative of 53*z**6/40 - z**5/30 + z**4/4 - z**3/2 + 35*z**2/2 - 14. Let c(j) be the second derivative of q(j). Is c(2) a prime number?
False
Let l(u) = 33*u**3 - 4*u**2 - 28*u - 44. Is l(17) composite?
False
Suppose 2*j - 323370 = -2*g, 3*j + 593717 = 3*g + 108710. Is g prime?
False
Let b = 169 + 47. Suppose -b*w + 5343 = -213*w. Is w a prime number?
False
Let d be (6223/21 + 5)*15/2. Suppose 0 = -t - 5*s + d, -2*t + t = -3*s - 2300. Is t a prime number?
False