= 2*q - 38, 155 = 3*n - 4*q. Suppose n = u - 24. Is u a composite number?
True
Suppose 0*v = -2*u - v + 378, -4*u + 780 = -4*v. Is u prime?
True
Suppose -4*w + w = -9. Let v(s) = -s**3 + w + 7*s**2 - 4 - 2*s - 2. Is v(4) a prime number?
True
Let u(z) = 31*z**2 - z + 1. Let d be 3/1 - 8/4. Is u(d) composite?
False
Let d = 3 - -1. Suppose r - 3*r - 216 = -d*h, 4*h = 3*r + 214. Is h a composite number?
True
Let l = -2 + 0. Let i be (-3)/(l - 1) + 4. Suppose 0*w + 15 = i*w. Is w a composite number?
False
Suppose 5*o - 1669 = -4*l, 3*l - 31 = -2*o + 631. Is o a prime number?
True
Is 6*5/((-40)/(-284)) prime?
False
Let g = -15 + -283. Suppose -4*i + w = -13, 0 = -3*i + w - 4 + 14. Is (14/(-4) + i)*g prime?
True
Let d be (-2)/(24/(-15) + 2). Let a be 6/(-30) + 9/d. Is 143 + a + -2 + 6 a prime number?
False
Suppose 2*m - 4*m - 39 = 5*h, h + 6 = -m. Let v(d) be the first derivative of -d**3/3 - 10*d**2 - 10*d + 2. Is v(h) a prime number?
True
Suppose -146 - 77 = -o - 4*x, 2*o = x + 446. Is o prime?
True
Let p(g) = -68*g - 9. Is p(-5) composite?
False
Suppose 0 = -8*s + 11*s - 1497. Is s a composite number?
False
Suppose 0 = 4*v + v - 655. Is v prime?
True
Let w = 7 - 5. Let r(d) = -d**3 + d - 3*d - 5*d**w + 2*d - 1. Is r(-6) prime?
False
Let g = 5 - 6. Let q be g/((2/4)/(-1)). Suppose -3*p - 6 = 0, q*f + 5*p = -0*f + 40. Is f a composite number?
True
Let m(x) be the second derivative of -x**5/20 - 7*x**4/12 - x**3/2 - 5*x**2/2 + x. Is m(-8) a prime number?
True
Is (1358/3)/(6/9) a prime number?
False
Let x(p) = -p**3 - p**2 - p + 35. Let i be x(0). Suppose -s - 4 + i = 0. Is s a composite number?
False
Let q(c) = 16*c**2 - 7*c + 1. Let f(y) = y - 1. Let v(u) = 4*f(u) + q(u). Suppose -w - 1 = 1. Is v(w) composite?
False
Is 2053 + 5/(-15)*0 a composite number?
False
Let j be (3 - 5 - -149) + -2. Suppose 3*m - 386 = j. Is m prime?
False
Let n(h) = -178*h**3 + h**2 - 1. Let c be n(1). Let s = c - -299. Is s composite?
True
Let y be (-7146)/(-10) - (-4)/10. Suppose 2*p = -3*p + y. Is p composite?
True
Let l = 1 + 2. Suppose 0 = -4*t, l*j + 74 = 3*t + 365. Is j a prime number?
True
Let k(p) = 52*p - 7. Is k(2) prime?
True
Let q = 23 + -12. Is q a composite number?
False
Let b(f) be the second derivative of 0 + 5*f**2 + 2/3*f**3 + 2*f. Is b(13) a composite number?
True
Let r(v) = v**2 - 11*v + 3. Is r(12) a prime number?
False
Suppose 0*s + 2*t + 161 = s, -4*t - 485 = -3*s. Is s a prime number?
True
Let r be 1/1*65/13. Suppose 120 + 62 = c + r*p, 0 = 5*c + 2*p - 933. Is c composite?
True
Let i be 3/4 + 4/16. Suppose -2*c + 8 = 0, -c = 4*n + c - 24. Is ((-140)/(-16))/(i/n) prime?
False
Let q = 2309 - 964. Is q a composite number?
True
Let a = 11482 - 6837. Is a prime?
False
Let a(c) = -4*c**3 - c**2 + 21 + c**3 + 2*c**3 - c. Let m = 0 - 0. Is a(m) a composite number?
True
Let z = 1924 - 443. Is z a composite number?
False
Suppose -4*s = -29 - 15. Is s a prime number?
True
Let c = 6647 + -3940. Is c prime?
True
Is (-4)/(-18) - (-19957)/63 composite?
False
Let y(q) = 818*q - 5. Is y(7) prime?
False
Let a = -13 - -28. Suppose -a = -2*v - 2*l - l, 0 = 2*v - 3*l - 33. Let d = 31 - v. Is d composite?
False
Let h(o) = o + 9. Let n be h(-5). Suppose 6 = -x + n*x. Let r(k) = 26*k + 1. Is r(x) a prime number?
True
Let f(u) = 46*u**2 + u. Suppose 3*l - 4 + 1 = -3*y, 4 = -4*l. Let w be (-5)/(-7) - y/(-7). Is f(w) a composite number?
False
Let y(k) be the third derivative of k**5/60 + 5*k**4/12 - k**3 + 3*k**2. Is y(-13) a prime number?
False
Let w = -18 + 20. Suppose -3*m = w*x - 59, x + m - 14 - 18 = 0. Is x a composite number?
False
Suppose 0 = 4*i - 2*k - 84, 2*i = 3*i - 2*k - 21. Let d = i - -98. Is d composite?
True
Let h = 18 + -25. Let f(w) = -2*w - 1. Let t(o) = -10*o - 4. Let b(m) = 16*f(m) - 3*t(m). Is b(h) composite?
True
Suppose a = 3*a - 8, 4*p + 5*a = 376. Is p prime?
True
Suppose -489 = 10*z - 9079. Is z a composite number?
False
Let j(u) = u**3 - 3*u**2 + u - 5. Let d be j(4). Let z = 28 - d. Is z composite?
False
Suppose -107 = -4*n + 249. Is n composite?
False
Let i(g) = 6*g**2 + 5*g - g - 1 - 3 - g**3 - 3*g. Let v be i(6). Suppose 82 = 2*j - v*h, 2*j + h + h = 66. Is j a prime number?
True
Suppose 4*l - 2 = 154. Is l a prime number?
False
Is (886/(-8))/((-12)/48) a composite number?
False
Let b(x) = -342*x - 7. Is b(-4) composite?
False
Let v = 1 + 0. Let m(s) = -1 + 22*s - 1 + 1. Is m(v) prime?
False
Let y(i) = 582*i - 37. Is y(3) a composite number?
False
Suppose 0 = 2*n + 2, j + 3*n - 46 = 78. Is j a composite number?
False
Is (-1330)/(-7) + 3/(-1) a composite number?
True
Let w = 20 - 13. Let k = w + -4. Suppose n = k*n - 178. Is n prime?
True
Suppose j - 121 - 260 = 0. Is j a prime number?
False
Let k = 6829 + -4666. Suppose k = 4*d - d. Is d composite?
True
Is 8015/63 - (-4)/(-18) a prime number?
True
Let i(o) = 77*o + 1. Let s = 1 - -13. Suppose -4*z + u = -s + 2, 12 = 2*z - 2*u. Is i(z) a prime number?
False
Let b = -3 + -6. Suppose 0 = -3*u + u - 56. Let r = b - u. Is r prime?
True
Let t(y) = -y - 7. Let s be t(-9). Suppose s*w + 185 = 7*w. Is w a composite number?
False
Let n(m) = -31*m**3 + 4*m**2 + 2*m - 1. Is n(-4) prime?
True
Let o be (-1)/2*1*-4. Suppose 2*y + 768 = 4*t, -386 = -o*t - 0*t + 2*y. Is t prime?
True
Let b(n) = 3*n**3 + n**2 + 5*n - 9. Let p(i) = -2*i**3 - i**2 - 4*i + 8. Let u(v) = 3*b(v) + 4*p(v). Is u(4) a prime number?
False
Let z(c) = 18*c**2 + 7*c. Let y be z(7). Let g be y/105 - (-2)/15. Is (-4)/(-18) - (-385)/g a composite number?
False
Let l = 496 + -347. Is l composite?
False
Suppose 0 = 4*c + 17 + 23. Let n(a) = -12*a + 7. Is n(c) prime?
True
Let d(f) = f**3 - 3*f**2 - 4*f + 6. Let p(v) = -v**2 - 5*v. Let l(n) = 2*n**2 + 10*n. Let t(r) = -3*l(r) - 5*p(r). Let i be t(-4). Is d(i) a prime number?
False
Suppose 4*k - 2*s - 280 = 242, -5*k + 655 = -2*s. Is k composite?
True
Let p be (1 + 0)*-1*2. Let u = -28 - -30. Is (-375)/(-6)*u - p a prime number?
True
Suppose 2*k = -5*b + 3*k + 997, b = 3*k + 205. Is b a prime number?
True
Let d(p) = -4*p + 7. Let n(t) = 2*t**3 - 2*t**2 + t. Let j be n(2). Suppose k + x + 12 = 2*x, 0 = -2*x + j. Is d(k) a prime number?
False
Suppose g = 6*g - 805. Is g prime?
False
Let r(k) = 5*k**2 + 12*k - 10. Is r(-9) prime?
False
Suppose 2*z + z + 15 = 5*b, -b - 5*z = -3. Suppose 15 = -0*a + b*a. Is a/(-30) - 1742/(-12) composite?
True
Let s be -3 + (-3 - -90 - -2). Let i = 143 - s. Is i a prime number?
False
Suppose -5*c - 5*z - 505 = -6*z, -375 = 4*c + 5*z. Let u = 150 + c. Suppose r + u = 6*r. Is r composite?
True
Is (-1009)/2*(-1 + -1) prime?
True
Is -79*2*(-6)/12 prime?
True
Let v(k) be the second derivative of -97/6*k**3 + 0*k**2 + 0 + 3*k. Is v(-1) a prime number?
True
Suppose -2*o - 14 = -4*x, -3*o - 17 = -3*x - 2*x. Suppose -g - 145 = x*l - 449, 3*l - 3*g - 243 = 0. Is l a composite number?
True
Is -2 + 2/((-4)/(-122)) a composite number?
False
Let b = 3 + -9. Let w = -2 - b. Suppose w*i - 2*i - 28 = 0. Is i a composite number?
True
Is 770/18 - 2/(-9) a composite number?
False
Let u be (-2)/6 - (-31)/3. Let o(h) = 2*h - u*h - h**2 - 1 + 7. Is o(-8) a composite number?
True
Is (0 - ((-40812)/8 - 4))*2 prime?
True
Suppose -46 - 376 = -3*n + 2*i, -i + 428 = 3*n. Is n composite?
True
Suppose 2*n - z - z = 8, 4*n = -z + 11. Suppose 0*v + 555 = n*v. Suppose 3*b = 2*r + 2*r - v, -3*b = -3. Is r prime?
True
Let k = 10 + -6. Let s(v) = 4*v**3 - v**2 - 5*v - 3. Let l be s(k). Suppose -c - 5*d = -79, -3*c - 2*d - 3*d = -l. Is c a composite number?
True
Suppose 4*j = -k + 109, 163 = 5*k - 4*j - 454. Is k a prime number?
False
Let c = 11 - -8. Is c a composite number?
False
Let i = -100 + 154. Let q = 69 + i. Is q a composite number?
True
Let z be ((-51)/2)/(4/88). Is (z/(-9) - 3)*3 a composite number?
True
Suppose -58 = 2*j - 412. Is j prime?
False
Is (-5 - -11)*(-19)/(-2) composite?
True
Suppose 5*g - 2*o - 3*o - 35 = 0, -3*g + o + 13 = 0. Suppose 15 + 138 = g*h. Is h a composite number?
True
Let v = 0 - -5. Suppose 2*l - 1 - v = 0. Suppose 100 = l*n + n. Is n a composite number?
True
Let d(p) = -p**2 + p + 86. Let a be d(0). Let u = a - 53. Is u a prime number?
False
Let p(j) be the third derivative of -j**5/60 - j**4/3 + 4*j**3/3 - j**2. Let s be p(6). Let k = -54 - s. Is k a prime number?