, -2*c + a = 2*f. Is c composite?
False
Is 2/8 - 960685/(-220) a composite number?
True
Let x = 195622 + -106361. Is x prime?
True
Let y(m) = -88*m**2 + 3*m + 2. Let n(x) = 88*x**2 - 2*x - 2. Let u(i) = 6*n(i) + 5*y(i). Is u(1) a prime number?
True
Let l be ((-4)/7)/(4/(-14)). Suppose 0 = -l*d - 2*d + 4. Is (d/(-3))/(-1)*159 prime?
True
Suppose 0 = p + 2*h + 7, -5*h + h - 20 = 0. Let q(l) = l**3 - 4*l + 3. Let z be q(p). Suppose 4*d - z = 106. Is d a prime number?
True
Let s = -520 + 897. Is s a prime number?
False
Suppose -9*p - 7056 = 7*p. Let k(u) = 3*u**3 - 5*u**2 + 3*u + 1. Let b be k(7). Let o = p + b. Is o a prime number?
False
Let p be (2 - (-1142)/(-6)) + (-11)/(-33). Let h = 135 - p. Is h a prime number?
False
Let x = 16 + -14. Suppose -x*v = l - 989, 4*v + l = -4*l + 1963. Is v a prime number?
False
Suppose 0 = 7*o + 557 - 6486. Let g = 2106 - o. Is g composite?
False
Let r(v) = -867*v - 8. Is r(-5) a composite number?
False
Let f(l) = l**2 + 11*l + 10. Let b(y) = y**2 + 5*y + 5. Let m(r) = 5*b(r) - 3*f(r). Is m(-8) a composite number?
True
Let l(i) = -i**3 - 5*i**2 - 28*i + 10. Is l(-16) a composite number?
True
Let p(d) = 2*d**2 + d - 2. Let b be p(-3). Is (b/13)/((-1)/(-223)) prime?
True
Suppose -26*y + 310264 = -18*y. Is y a composite number?
False
Let z be (6/(-1))/(8/(-56)). Let b = -33 + 70. Let j = z + b. Is j composite?
False
Suppose 3*i - 2*i + 13 = 5*s, 5*s - 19 = -2*i. Suppose -3*y - i*y = -745. Is y prime?
True
Is ((-235970)/56)/(2 + (-84)/32) composite?
True
Let d(f) = -12*f**2 - f + 2. Let k be d(-2). Let x = k - -77. Is x composite?
True
Suppose 0 = b - 15 - 128. Is b composite?
True
Let z(f) = 49*f**2 + 4*f + 13. Let o be z(-4). Let n = o + -518. Is n prime?
True
Let m = 14253 - 4292. Is m composite?
True
Suppose 0 = 9*b - 6 - 12. Suppose b*z = -2*g + 68, -5*z - 102 = -2*g + 1. Is g composite?
True
Suppose 0 = -5*f + 1 + 9. Let m be 8/28*14/f. Suppose h - m*h + 67 = 0. Is h a composite number?
False
Suppose -60*j = -63*j + 21009. Is j composite?
True
Suppose -2*y + 978 = 3*i, -5*i - 5*y = -i - 1304. Let x = -141 + i. Is x a composite number?
True
Suppose -93*g + 6244 = -65*g. Is g a composite number?
False
Suppose 9*j + 42 = 3*j. Is 191/2*(9 + j) prime?
True
Suppose f - 8 = -f, -4*f + 20 = -k. Let a be (-1 - k/8)*0. Suppose -n = -3*x - 115, a*x = n + 4*x - 143. Is n composite?
False
Let q(g) = g - 5. Let o be q(7). Suppose 3*c - o*c - 16 = 0. Suppose -4*u = -0*u - c. Is u a composite number?
True
Let z be 2/2 - (380 + -2). Let h = 1522 - 732. Let n = z + h. Is n prime?
False
Let t be -1*1*(5 + -462). Suppose -33*p + 34*p - t = 0. Is p a composite number?
False
Suppose 12130 - 1485 = 5*z. Is z a prime number?
True
Suppose -35*j + 32*j = -24207. Is j composite?
False
Let b(g) = 52*g**3 + 6*g**2 - 15*g - 39. Is b(10) composite?
True
Suppose -3*x + 9 = 3. Suppose x*r = -16*r + 34218. Is r prime?
True
Let k = 8 + -5. Suppose 175 = 5*i + k*l, 3*i - 175 = -2*i - l. Is i a composite number?
True
Let g(q) = q**3 + 63*q + 59. Is g(41) prime?
True
Suppose r + 523 + 539 = 0. Is r/(-5) + 87/145 composite?
True
Let g = 3184 + -119. Is g prime?
False
Let l be 66/(0 - (-6)/4). Let m be -1*((-1)/7 + (-7410)/21). Let t = m + l. Is t composite?
False
Suppose 40*a + 273813 - 2888093 = 0. Is a composite?
False
Suppose 5*j + 2*a + 2726 - 7314 = 0, 0 = -3*j - 3*a + 2751. Is j - ((-4)/12 - (-4)/(-6)) a composite number?
False
Is (15 - -20065) + (-1 - -10) composite?
False
Let k(o) = 83*o**2 + 8*o - 23. Is k(8) composite?
True
Let n(v) = 16*v. Let x be n(1). Let j(m) = -7*m - 6. Let b be j(-8). Let r = b - x. Is r composite?
True
Let u = 2007 - -1426. Is u prime?
True
Suppose 0 = 21*p - 4971 - 7356. Is p a composite number?
False
Let n be (6/8)/(1/12). Suppose 3*k + n = 6*k. Suppose -c + k*c - 70 = 0. Is c prime?
False
Suppose -13*i = -8*i - 10. Suppose -u + i*u = 82. Is u a prime number?
False
Let m(f) = -f - 1. Let s(h) = -7*h + 5. Let u(b) = -6*m(b) + s(b). Let w be u(11). Suppose w*p + 28 = 2*p. Is p prime?
False
Suppose 0 = 407*g - 399*g - 34448. Is g composite?
True
Let b(u) = 5*u - u**3 - 2*u**3 + 16 + 11 - 21 + 6*u**2. Is b(-4) prime?
False
Let c(x) = x**3 + 9*x**2 + 8*x + 2. Let l be c(-7). Let z = 81 - l. Suppose -s + z = -30. Is s a prime number?
True
Let c be ((-2)/(-3))/((-20)/(-270)). Let z(q) = 44*q - 15. Is z(c) composite?
True
Let j = -4 - -7. Suppose -j*l + 7*l = 18472. Suppose -5*r + l = 1253. Is r a composite number?
False
Suppose 7*o + 25*o - 1931296 = 0. Is o composite?
False
Suppose -l + 272 + 443 = 0. Let r(i) = -i**3 - i**2 + 3*i - 1. Let b be r(-3). Suppose d - 143 = -k, 0 = -3*d + b*d + 3*k - l. Is d a prime number?
False
Suppose -2*d + 4*b - 152 = 0, 164 = -2*d - 5*b + 3*b. Let q = 229 + d. Is q a composite number?
False
Suppose 24 = 3*z - 5*a, -2*z + 27 = 2*z - 5*a. Suppose -2994 = -3*k - z*k. Is k a prime number?
True
Let d = 713 - 710. Is d a prime number?
True
Let t(i) = i - 5. Let u be t(11). Suppose 3*n = -0*n + u. Suppose -4*h = 20, -b + n*h - 2 = -223. Is b a composite number?
False
Suppose a = -3*w + 12, -w + 16 = 3*w. Suppose -7*n + 4*n = a. Suppose n = 2*g + 2, 7*g + 24 = z + 2*g. Is z a composite number?
False
Let i(z) = 14*z**2 + 22*z + 119. Is i(-8) composite?
False
Let c = -57 - -66. Is -398*(c/(-12))/(6/4) prime?
True
Let r(k) = k**2 - 6*k - 25. Let h be r(9). Suppose 0 = -4*x + 2*f + 3622, 0*x + h*x = -f + 1817. Is x prime?
True
Suppose -11563 = -28*t + 32369. Is t a prime number?
False
Suppose 4*k = -v - 3, -5*v = -5*k - v + 12. Let n(i) = -i**2 - i + 703. Is n(k) a prime number?
False
Let q(f) = f**2 + f. Let a be q(-2). Suppose -a*i + 4*k + 370 + 132 = 0, 0 = 5*k. Is i a prime number?
True
Suppose 0 = 7*g - 3*g + 2*r - 14, -3*g - 3*r = -15. Is 5206 - (7 - g)*1 composite?
True
Let v(z) = 2*z**2 + 13*z - 1. Let w = -75 + 111. Let d be 8/(-12)*w/(-4). Is v(d) a prime number?
True
Suppose -4*s + 1961 = -3*g, -4*s + 978 = -2*s - 4*g. Is s prime?
True
Suppose -9347 = -7*h - 44. Is h composite?
True
Is (-15)/(-30) - 3044/(-8) composite?
True
Let h = -96 - -175. Let o = h + 172. Is o a composite number?
False
Let v = 4039 - 1100. Is v a prime number?
True
Suppose 2*a - 2*r - 10 - 2 = 0, -4*r - 15 = -3*a. Let b be ((-6)/(-8))/(4/16). Is 596/b - (-3)/a a prime number?
True
Let r = 1699 - -1984. Is r prime?
False
Let q = 77 - 74. Suppose -2969 = -q*g + 625. Is g a prime number?
False
Let p(r) be the first derivative of 589*r**3/3 + r**2/2 - r + 14. Is p(1) a prime number?
False
Suppose 11*h = 18*h - 13251. Is h prime?
False
Suppose -q - 2 + 6 = 0. Suppose 2*i - 4788 = -q*d, -5*d + 4319 + 1640 = -4*i. Is d prime?
False
Let k be (-1)/(-1 + 0) + (-272 - 4). Let o = 360 - k. Is o prime?
False
Let i be (-6)/(-9)*-3*-2. Let c(a) be the first derivative of 3*a**4/4 - 5*a**3/3 - a**2 + 5*a - 16. Is c(i) a prime number?
True
Suppose -4*h + 2712 = -t - 0*t, 2*t + 8 = 0. Suppose 0 = -2*r - r - 3*o + 2031, -5*o - h = -r. Is r a prime number?
True
Let m = 15765 + -10808. Is m prime?
True
Suppose -5 = -5*f, 5*f = -2*v + 2*f - 353529. Is (2/1)/(17/(v/(-12))) composite?
False
Suppose 2*y = v + 37, -5*v - 11 - 30 = -y. Suppose -m - 4*q = -23, -m + 4*m - 5*q + y = 0. Suppose m*k = 5*k - 1282. Is k composite?
False
Let a(g) = 550*g + 3. Let o be a(4). Suppose 0 = -0*n + 4*n - r + o, 4*n + 5*r = -2233. Let h = 83 - n. Is h prime?
False
Let t(a) = a**3 - 4*a**2 - 6*a - 6. Let z be t(10). Is (z/24)/((-3)/(-60)) composite?
True
Let t(f) = 113*f**2 + 50*f - 29. Is t(12) a prime number?
True
Let r be 1116/33 - 8/(-44). Let q = 303 - r. Is q prime?
True
Let c(j) = 2*j**2 - 14*j + 21. Let d be c(6). Suppose -12*p + 16143 = -d*p. Is p a prime number?
True
Let c(t) = -11*t**3 + 3*t**2 + 4*t + 3. Let a be c(-3). Let f = 618 - a. Is f composite?
True
Suppose -s + 10774 = g, -12*s - 6 = -14*s. Is g composite?
False
Suppose 2*w + 5*l - 2952 = 0, 63*l = 61*l + 4. Is w a prime number?
True
Let z(i) = 2*i - 8. Let q(c) = c**3 - 5*c**2 + c + 1. Let n be q(5). Let o be z(n). Suppose -d = o*d - 30. Is d composite?
True
Let g = 1577 - 18447. Is g/(-50) + 2/(-5) prime?
True
Suppose -25 = -4*m - m. Suppose 0 = -3*r + m*r. Suppose r*c - 3*c = -66. Is c composite?
True
Let d = -8311 - -14088. Is d a prime number?
False
Suppose 212644 + 84266 