pose -2*m + 885 = 3*p, 0*m + 4*m - 1475 = -n*p. Is p a prime number?
False
Let u(s) = -116*s + 10. Is u(-39) a prime number?
False
Suppose 8*n = -9*n + 111911. Is n composite?
True
Let r(a) = -a**3 - 13*a**2 + a + 11. Let k be r(-13). Is 1/k + (-582)/(-4) prime?
False
Suppose 7*a + 157 = 59. Suppose -4*x = -5*x - 2. Is (-1)/x - 3619/a prime?
False
Let w(v) = -1745*v - 3. Let s be w(-1). Suppose 2*t - s = -0*t. Is t prime?
False
Let n(d) = -d + 14*d**2 + 34*d**2 - d**2 + 17 + 9*d. Is n(-6) composite?
True
Let a = 15 - 11. Suppose 3*r + g - 2968 = 0, 2*g + 331 = a*r - 3623. Is r a composite number?
True
Let l(x) = x + 52. Let j be l(0). Suppose -4*d + 25 = -g - 79, j = 2*d + 5*g. Is d prime?
False
Suppose 2*v + 3*b - 12 = 0, 8 = 2*b - 0. Suppose v = a - 5*i - 24, -2*a = -2*i - 2*i - 18. Is -4 + 3 + a + 120 prime?
False
Let n(m) = -3*m + 7. Let l be n(7). Let p = l + 14. Suppose -5*u + 2*s = -u - 822, p = -3*u + 4*s + 619. Is u composite?
True
Is (-15)/(-15) + (15257 - -1) a prime number?
True
Suppose 385*y + 9848 = 393*y. Is y a prime number?
True
Suppose -8*r + 5*r + 2*s = -50701, -3*r + 5*s = -50716. Is r a prime number?
False
Let p = 1084 + -466. Let c be 4 + -1 + (p - -1). Let a = c + -329. Is a composite?
False
Let k(d) = -d**3 - d. Let y be k(-1). Suppose 3*f = -178 + 526. Suppose -52 = -g + b, -2*g + f = y*b - 0*b. Is g composite?
True
Let n be 2 + (-20)/(-4)*(-6)/(-5). Is 1 - (20*n)/(-1) composite?
True
Let d(r) = 642*r**2 + r. Let c be d(-1). Suppose 5*z = -5*x - 1905, -2*x - 765 = 3*z - 2*z. Let w = c + x. Is w composite?
False
Suppose 0*v = 3*v - v. Suppose s = -m + 1542, -m + v*m - 5*s = -1562. Is m a composite number?
True
Let z = 285 + -447. Let k = 235 - z. Is k composite?
False
Suppose -5*s = 4*k + 77229, 0*s + 77230 = -5*s - 5*k. Let v be s/(-15) + 4/(-6). Suppose 0 = 2*u - v + 391. Is u composite?
True
Let h(v) = -47*v + 5. Suppose 0 = 2*f + 4*x + 46, -f + x = -4*x + 9. Let b = f + 11. Is h(b) prime?
False
Is (2 + 49/(-14)*-5563)*2 a prime number?
False
Suppose -4299 = -5*a + 331. Suppose 2*y + 136 - a = 0. Is y composite?
True
Suppose 310*u + 108762 = 316*u. Is u a composite number?
False
Suppose 25*q - 232580 = 5*q. Is q a prime number?
False
Let z(j) be the third derivative of -j**6/40 - j**5/20 + 5*j**4/12 + j**3/2 + 26*j**2. Is z(-7) a prime number?
False
Let t(c) = -2544*c - 385. Is t(-6) a prime number?
True
Let t(v) = 2*v**2 + 24*v + 22. Let a(c) = 2*c**2 + 25*c + 22. Let y(s) = -5*a(s) + 6*t(s). Is y(-27) a prime number?
True
Let s be -2 - 5/(5/(-6)). Suppose -s*a - a - 15 = 0. Is a - (-2 - 20/1) a composite number?
False
Suppose u - 56 = 3*u. Let h = 3 + u. Let c = h - -80. Is c prime?
False
Let m = 63 + -58. Is 7/(-35) - (-5816)/m a prime number?
True
Suppose 5*j = -3*y + 299, -2*y + 469 = 3*y + j. Let m = 140 - y. Is m a prime number?
True
Let m(x) = -12*x - 2. Let n be m(-1). Let p = n + -8. Suppose p*w + 901 = 5*f - 536, 4*w - 1431 = -5*f. Is f a prime number?
False
Suppose -2*w = 5*k - 12738, 0*w = 4*w + 2*k - 25492. Suppose w - 156 = 2*h. Is h a composite number?
False
Let w be 931/(-2) - (-9)/(-18). Let z = w - -993. Is z a composite number?
True
Let v(b) = -b**2 - 15*b - 38. Let i be v(-11). Is (3/i*-2)/(2/(-1778)) a composite number?
True
Let u(x) = 5170*x. Let i be u(1). Let y = i + -2408. Is y a prime number?
False
Let k = 26618 - 8596. Is k a composite number?
True
Suppose 16 = 3*m - 2*j, 4*m + 4*j - j = 44. Let f = 1 + m. Is 6/f*(-1041)/(-2) composite?
False
Suppose 0 = -5*p - 2*y + 12277, 9815 = -0*p + 4*p - 5*y. Is p prime?
False
Let h(m) = 75*m**2 - 27*m + 181. Is h(6) composite?
False
Suppose 0 = -3*v - 12, 3*d + 0*d - 2881 = 4*v. Let n(i) = 6*i + 42. Let o be n(-7). Suppose 9*k - 4*k - d = o. Is k a composite number?
False
Let u(o) be the third derivative of -o**5/60 - o**4/24 + 403*o**3/6 - 16*o**2. Is u(0) prime?
False
Let n = 32 + -30. Suppose -5*u + n*u = 15. Is -1 - 3 - 2525/u composite?
True
Let k(m) = 779*m - 283. Is k(16) a prime number?
False
Suppose 2*k - 534 = -o - 3*o, 0 = -o - 1. Suppose -2*c - k = 2*c + n, 5*n = 15. Let y = 127 + c. Is y prime?
True
Let k(m) = -8 + 0*m + 4*m + m. Let o(v) = 6*v - 8. Let l(p) = 3*k(p) - 4*o(p). Is l(-7) a prime number?
True
Let h = 2674 + -1576. Suppose 0 = -f + h - 211. Is f prime?
True
Let d(l) = -l. Let y(t) be the first derivative of -53*t**2 + 7*t - 1. Let p(q) = -2*d(q) - y(q). Is p(2) composite?
True
Suppose 255403 + 167838 = 13*l. Is l prime?
False
Suppose -2*z + z - 553 = 0. Let m = -271 - -349. Let a = m - z. Is a composite?
False
Is 7*(1 + -1 + -8 + 1125) a composite number?
True
Suppose -3*y = g - 10129, 0 = 5*y - 9*y + 3*g + 13514. Is y prime?
False
Let g(o) be the second derivative of 7/2*o**2 + o + 14/3*o**3 + 0. Is g(9) composite?
True
Let m(r) = 5*r - 11. Let c be m(8). Suppose 4*a = 3*a - 5*n + c, -a = 4*n - 25. Suppose 0 = -6*i + a*i - 2445. Is i composite?
True
Suppose 6*o - 29*o + 257255 = 0. Is o prime?
False
Is 17372/4*(-1 - -6)/5 a prime number?
False
Suppose h + 4*h = 0. Suppose h*d + 27 = 3*s - 2*d, s - 3*d = 2. Let o = s - -192. Is o a prime number?
False
Suppose 2*q + 3*r - 21746 = 27714, -74193 = -3*q - 3*r. Is q composite?
False
Let s(p) = 158*p**2 - 7*p - 5. Let g(y) = y - 9. Let m be g(7). Is s(m) a prime number?
True
Suppose 4*t + 3*i + 9 = 0, 0 = 3*t - i + 1 - 4. Suppose t = -0*b - 9*b + 1467. Is b a composite number?
False
Suppose 0 = 2*i + 2*o - 10, -2*o = -i - 0*o - 4. Suppose -i*f = 13*f - 6645. Is f composite?
False
Suppose u - 14488 = -i, -2*u + 3*i = -26268 - 2683. Is u a composite number?
True
Let q(b) = -30*b + 47. Let a = -162 + 144. Is q(a) composite?
False
Suppose 0 = -3*u - 2*u + 4*h + 121450, 4*u + 4*h - 97124 = 0. Is u a composite number?
True
Let f = 2017 + 1666. Is f a composite number?
True
Let a be (-5)/(150/(-5014)) + (-4)/30. Suppose d - 5*j = a, 3*d + j = -0*j + 565. Is d composite?
True
Let q = 2067 - -1842. Is q a prime number?
False
Suppose 2*r + 0 = -4. Is (r + 99)*(10 + -7) a composite number?
True
Suppose -1216 = -4*j - 4*g, -4*j - g + 1211 = 2*g. Suppose -3*y = -4*r - j, -y = y - 5*r - 211. Is y a composite number?
True
Suppose 0 = -79*c + 61*c + 358542. Is c composite?
False
Let j(l) = 2*l - 23. Let o be j(17). Is -1 + 3023/o + 38/209 a prime number?
False
Let n(j) = 2*j**3 - 3*j - 2*j**2 + 0*j**2 + 0*j - 2 + 6*j**2. Is n(3) a composite number?
False
Let w(u) = 23*u**2 - 5*u + 2. Let n be w(3). Suppose -n = 5*k + 1. Is 4/(-6) - 26273/k prime?
True
Let g(c) = c**3 + 6*c**2 - 11. Let j be g(10). Let x = j + -1123. Is x prime?
False
Let x(l) = 25*l + 2. Let o be x(-7). Let u be (-4)/(-10)*(2 - o). Suppose 3*r + u = 8*r. Is r prime?
False
Let g(l) = -142*l**2 - 2*l + 288*l**2 + 7 - 144*l**2. Suppose 5*s + 8 = -7. Is g(s) a prime number?
True
Let o = 42 - 34. Suppose -9 = -o*s + 47. Suppose -s*g = 2*g - 1719. Is g a composite number?
False
Let f(m) = -543*m + 61. Is f(-6) a composite number?
False
Suppose 107189 = 17*q - 812. Is q prime?
True
Suppose -2*r - 18962 = -4*s, -3*s + 5*r - r = -14219. Is s a prime number?
False
Let b(d) = d**3 - d**2 + 2*d - 2. Let l be b(1). Let o = l + 8. Is (26/o)/((-8)/(-32)) a prime number?
True
Suppose 6*k - 39186 = -8*k. Suppose 4*w - k = 2197. Is w a composite number?
False
Let s(x) = -x - 7*x - 7 + 5*x**2 - 2*x**2 + 10*x. Is s(6) prime?
True
Is 286 - (4 + 6 + -13) a composite number?
True
Suppose 0 = 6*f - 5*f + 2*i - 331, 989 = 3*f + 4*i. Suppose 0 = 5*s + 5*w - 1555, -4*w + 303 = 2*s - f. Is s composite?
False
Suppose 0 = t - 6*t. Suppose -y + 0*y + 2 = t. Suppose -y*v + 53 = -65. Is v a composite number?
False
Let v = -1817 + 9483. Is v prime?
False
Suppose 5*m - 13020 = 3*p - 6*p, -2627 = -m + 4*p. Suppose 5*j - 8692 = -m. Suppose 2*d = j - 327. Is d composite?
True
Let b(p) = -p**3 - 4*p**2 + 13*p + 4. Let w be b(-6). Is (6*(-10)/18)/(w/939) composite?
True
Suppose 2*b - 7*b - i + 155 = 0, 0 = b + i - 27. Suppose b + 29 = 2*f + 3*o, 67 = 2*f + 5*o. Is (34/(-4))/((-1)/f) a prime number?
False
Suppose -4*q = -4, -4*s = 4*q - q - 1095. Let g = s + -188. Let y = g - -2. Is y composite?
True
Suppose 5*p = 2*k - 35, -p - 2*p - 2*k - 5 = 0. Is 1 + p + 356/4 prime?
False
Let h = 18 + -16. Suppose 814 = -h*u + 4*u. Is u prime?
False
Let n be (-1 - -2)/(4/208)