et x(c) = c - 3. Let v be x(8). Suppose 572 = q + v*i, -3*q = i - 5*i - 1773. Let o = q + -294. Is o a prime number?
True
Let j(t) = -2*t**2 + 3*t - 194. Let o(f) = 193 + f + 2*f - 3*f - 2*f + f**2. Let c(k) = 2*j(k) + 3*o(k). Is c(0) prime?
True
Let z(y) = 6*y - 19. Let b be z(9). Suppose -n + b = -0*n. Is 5/2*11018/n a prime number?
True
Suppose -3*n = 4*x - 150, 0 = -5*n - 2*x + 3 + 247. Suppose 5*y - n = -2*j, -4*y = -3*y + 2. Let b = 323 - j. Is b a prime number?
True
Suppose -3*k + 19817 + 5674 = 0. Is k prime?
False
Suppose 4*p + 4*s - 187021 - 11211 = 0, 0 = -4*s - 16. Is p a prime number?
False
Suppose 0 = -15*a + 70219 + 59636. Is a composite?
True
Let a = 1221 + -588. Is a a prime number?
False
Let p(i) = -i**2 + i + 1. Let m(h) = 3*h**2 + 3*h + 4 + 0*h - 5*h + 5. Let s(n) = -m(n) - 4*p(n). Is s(14) a prime number?
False
Suppose -5*j = 4*z - 8953, j + 2236 = -4*z + 5*z. Is z prime?
True
Is (16/(-4) + -88)*447/(-12) prime?
False
Let c be (-4)/18 - (-29)/9. Let v(j) = 17*j - c + 3 - j**2 - 5 - 12. Is v(13) prime?
False
Suppose 2*y = -6*y + 80. Is (-1 + 1643)*5/y a prime number?
True
Suppose -11940 = -5*p - 5*a, -p + 9542 = 3*p - a. Is p a prime number?
False
Let t = 65 - 39. Is (628/6)/(t/39) composite?
False
Suppose -120 = 5*m - 440. Let w = m - 24. Suppose 3*k = -o + w, -5*o + 183 = -4*k + 2*k. Is o composite?
False
Suppose 3*t - 13 = 4*i - 5*i, 5*i - 23 = -t. Is ((-23)/i)/((-5)/340) composite?
True
Suppose b + 4*i + 0*i - 61 = 0, 0 = -b + 3*i + 26. Suppose a - 150 = -b. Is a prime?
True
Let c(b) = b**2 - 9*b + 16. Let i be c(3). Is (1/i)/(20172/10088 - 2) composite?
True
Is (59870/5 + -1)*1/3 composite?
True
Is 3527*(-4 + 6) - (2 - -1) a composite number?
True
Let r(f) = -f - 3. Let h be r(-5). Suppose 0 = -h*m + v + 311 + 193, 3*v = -5*m + 1282. Is m a prime number?
False
Is (-11546 - 0)*((-3)/(-2) - 2) a prime number?
False
Let b(x) be the first derivative of -23*x**2 + 15*x - 2. Is b(-6) prime?
False
Let z(u) = -14*u + 22*u + 35*u - 9. Is z(4) a prime number?
True
Let q = 8492 + -861. Is q composite?
True
Let f(q) = 221*q**2 - 8*q + 14. Is f(3) composite?
False
Let b(w) = -26*w**2 - 6*w + 11. Let m be b(6). Let v = m + 2190. Is v a prime number?
True
Suppose -52 = -6*r + 80. Is r a composite number?
True
Let j = -28 + 28. Suppose j = l - 2*l. Suppose -4*t - 3*b + 91 = l, 2*b = 3*t - 2*b - 37. Is t composite?
False
Let h(s) = s**3 + 8*s**2 + 6*s - 12. Let i(j) = -2*j**2 - 4*j. Let f be i(-3). Let q be h(f). Suppose -u + q + 94 = 0. Is u composite?
True
Let a be (-22)/(-8) - 2/(-8). Let x be 1/(a + 44/(-16)). Let w = x + 130. Is w a prime number?
False
Suppose -2*s = 5*o - 4105, 0*o - 2*o = 3*s - 6185. Suppose 1219 = 4*a - s. Is a composite?
False
Suppose 8*g - 8439 = 601. Suppose -11156 - g = -2*b. Is b composite?
False
Let i = 2713 - 1826. Is i a prime number?
True
Suppose 4*y = -p + 568, y + 0*p - 3*p - 129 = 0. Let o = y - -73. Is o a composite number?
True
Is (4 - (-5081 + -2))/((-15)/(-15)) a prime number?
True
Let z = -54515 - -76756. Is z a prime number?
False
Let d = 45378 + -31457. Is d a composite number?
False
Suppose -133186 = -12*o - 29494. Is o a composite number?
False
Suppose 820 = 5*y - y. Suppose 5*j + 4*l = 18, -3*j + 4*j - 4*l = -6. Is 4/(5*j/y) composite?
True
Let b = -190939 + 279894. Is b a prime number?
False
Let f(n) = 2*n**2 - 11*n - 22. Suppose 52 = 5*i + 7. Let r(b) = b**2 - 6*b - 11. Let k(y) = i*r(y) - 4*f(y). Is k(12) composite?
False
Let c = 44140 + -26514. Is (-2)/6 - c/(-21) a prime number?
True
Let m be 8/(-16)*(1 - 5). Suppose -g + 1768 = m*g + 2*i, 5*g + i = 2935. Suppose 0 = -2*z + 3*n + g, -7*n = -2*n. Is z prime?
True
Let r be 12/(-4) + 11 - -4. Suppose r = 3*i, -o + 181 + 130 = 4*i. Is o prime?
False
Suppose 10 = 5*q, s + 4*q - 13 = 10. Let k = 18 - s. Suppose 2*w - k*z + 379 = 4*w, 2*w - 4*z = 386. Is w composite?
False
Let b(m) = -11 + 0*m + 14 + 88*m**2 - 10*m - 10. Is b(-6) a composite number?
False
Let w be (-4)/1 - (391*-1 + 1). Suppose -w = -3*i + 247. Is i composite?
False
Let b(w) = -w**2 - 7*w - 3. Let s be b(-6). Is (s/(-6) + 0)*-998 a composite number?
False
Let p be (1/(-2))/(17/102). Let x be ((-6)/p)/(2/(-223)). Is 3/(-7 - -4)*x prime?
True
Suppose 2*d = 5*t + 230, 5*d - 44 = -5*t - 274. Let f = 80 + t. Is f a composite number?
True
Let y = -7950 - -11171. Is y a composite number?
False
Let a = -8405 - -12762. Is a prime?
True
Is (-7 - -6456)*5/5 a prime number?
True
Let o = 12 + -103. Let u = -13 - 163. Let b = o - u. Is b prime?
False
Let d(h) = 12*h**2 + 5*h - 5. Let k be d(-8). Let p(x) = x - 4. Let w be p(7). Suppose 4*r = -3*g + 848, -5*r + k = w*g - 334. Is r composite?
True
Suppose -2*f - 2*f - 252 = 0. Let w be 1/(f/(-15) + -4). Suppose w*p = 489 + 566. Is p a composite number?
False
Let r(z) = 289*z**2 + 11*z + 19. Is r(-3) a prime number?
False
Let t be (4/(-1))/(4/(-34)). Let u be (-18)/(-6) + -2 + t. Suppose 4*x - 35 = -x - 3*z, 3*x - z = u. Is x a composite number?
True
Let n(z) = -7*z + 3. Let x(f) = f. Let w(j) = -n(j) - 3*x(j). Let k be w(3). Is 6/k*12 - 2 a composite number?
True
Suppose 0 = -s + 3 + 1. Suppose 5*c + p = -p + 20, s*c - 16 = p. Suppose -q = -o - 4*q + 376, q = -c*o + 1471. Is o a prime number?
True
Let y(x) = -x**2 - x + 1. Let k(a) = -4*a**3 + 7*a**2 + 10*a - 8. Let v(w) = -k(w) - 2*y(w). Let z = -500 - -505. Is v(z) a prime number?
False
Let a(t) = 15*t - 186*t**2 + 8*t - 13 + 0*t + 188*t**2. Is a(14) composite?
False
Let d = 5 + -20. Let i be -46*3/d*5. Is (i/(-3))/(12/(-54)) prime?
False
Let a be (-3 - (0 - 3)) + 2665/1. Is (-48)/(-21) + -2 + a/7 a prime number?
False
Suppose -7*g + 13846 = -5*g. Suppose 6*p - 2335 - g = 0. Is p composite?
False
Let h(m) = 46*m - 151. Is h(17) a prime number?
True
Suppose -f + 5*g + 25 = 0, 3*g = -f - 3 - 4. Suppose -1239 = -f*q + 2*d - 6*d, -q = 2*d - 243. Is q a composite number?
False
Let n(j) = -j + 3. Let o(y) = y**3 - 10*y**2 + 8*y + 6. Let z be o(9). Let b be n(z). Suppose b = 2*c + 3*p, 3 + 29 = 4*c - 4*p. Is c a prime number?
False
Let o(s) = -s**3 + 2*s**2 + 2*s + 2. Let h be o(3). Let j be h/(16/20 - 1). Suppose -49 = j*v - 119. Is v prime?
False
Is (4 + -1 - 2)/(3/11379) prime?
True
Let s(m) be the first derivative of 119*m - 1/2*m**2 - 2 - 1/3*m**3 + 1/4*m**4. Is s(0) a prime number?
False
Suppose 0 = 8*p - 9227 + 571. Is p a prime number?
False
Suppose -5*x = -54 - 16. Let q be 12/7 - (-4)/x. Suppose -r = -0*d - q*d + 137, 3*r - 15 = 0. Is d a prime number?
True
Let a be (1 - 1 - -1)*5. Let b(p) = -150*p + 3. Let x be b(-3). Suppose 2788 = a*y + x. Is y a composite number?
False
Suppose 3*z = -2*z. Suppose z = 5*w - 855 - 620. Is w prime?
False
Let j(m) = -222419*m - 2. Let l be j(2). Is ((l/18)/(-10))/((-2)/(-3)) a prime number?
False
Let h = -8 - -8. Suppose -5*b + 1538 + 6177 = h. Is b a composite number?
False
Let f = 4954 - 307. Is f a prime number?
False
Is ((-873568)/48)/((-4)/6) a prime number?
True
Suppose 0 = m + 3*m + 2*y - 3412, 3*y = 2*m - 1706. Is m composite?
False
Suppose -2*s = 5*f + 850, -3*f - 3*s - 634 = -115. Let x be (-1)/((-508)/f + -3). Let t = -21 - x. Is t a composite number?
True
Let o = 977 + -160. Is o a composite number?
True
Let i(l) = 2*l**2 + 17*l - 14. Suppose 4*t - 3*w = 26, 2*t + 2*w - 2 = 4. Suppose 5*m - 7*m + t*g + 35 = 0, 4*g + 64 = 4*m. Is i(m) a prime number?
True
Let c(t) = -4758*t - 5. Let v be c(-1). Suppose -17*w = -10*w - v. Is w a prime number?
False
Let i be 10/2 + 4 + (-8 - -4). Suppose v - 1045 = k, -v - i*k + 3167 = 2*v. Is v composite?
False
Suppose -39162 = -2*l - 5*f, 17187 = -3*l - 4*f + 75916. Is l prime?
True
Let f(j) be the first derivative of -j**4/4 + j**2/2 + 557*j - 6. Is f(0) a prime number?
True
Let z = -3 - -57. Suppose n = z + 95. Is n a composite number?
False
Let q(y) = -15*y**2 - 19*y + 10. Let m = 36 + -29. Let f(a) = -22*a**2 - 28*a + 15. Let c(v) = m*q(v) - 5*f(v). Is c(6) a composite number?
True
Is (-9337)/(((-6)/18)/(5/15)) a composite number?
False
Let q(p) = -p**3 + 2*p**2 + 2*p. Let i be q(2). Suppose -3*c - d = -2, 5*c = -d - i*d. Is (c + 1)*26205/30 prime?
True
Suppose -w - 89188 = -5*o, 0*o - w = o - 17834. Is o composite?
False
Let x = 15221 - 7190. Let d = x + -5698. Is d composite?
False
Suppose r - 5 