 4*x + r - n*r = 181, 5*x - 4*r - 233 = 0. Is x a composite number?
True
Let n(m) be the first derivative of m**3/3 + 3*m**2/2 + 13*m + 14. Is n(10) prime?
False
Let m(c) = -6*c**3 + c**2 + 2*c - 1. Let u be m(2). Let i = -75 - u. Let j = i + 60. Is j a composite number?
True
Suppose -4*f - 56 = -6*f. Let r be (-793)/(-7) + (-8)/f. Let x = -58 + r. Is x a prime number?
False
Suppose -5*l = -2*x - 9113 + 3322, -l - x + 1154 = 0. Is l prime?
False
Let v be 0 - (4 + 0)/((-22)/31603). Let s = v + 1051. Is s a composite number?
True
Suppose -6 = 2*v, -4 = 4*q - 4*v - 24. Suppose 0 = 3*x + q + 1, 2*x - 3728 = -5*y. Is y a prime number?
False
Let o = -1095 - -9683. Suppose -4*z + o = -4*x, 3*z + x = 2*x + 6445. Is z prime?
False
Suppose 0 = -7*i + 4*i + 52971. Is i prime?
True
Let s = -222 - -2998. Suppose -o + s - 877 = 0. Let w = o + -1276. Is w composite?
True
Let c = 379 - -484. Is c a prime number?
True
Suppose 0 = -5*p + 3*x + 5749, 7*p - 8*p + 1141 = -5*x. Is p a composite number?
False
Suppose 0 = -2*i - 4*d + 1278, 24*d = 5*i + 22*d - 3243. Is i a prime number?
True
Let m be (-14)/(2 - 2 - 1). Let d(c) = c**2 - 9*c + 36. Let x be d(15). Is (-4)/m + 24102/x a prime number?
True
Let y(z) = -1255*z**3 - z**2 - z. Let t be y(-1). Let p = t + -761. Let d = 291 + p. Is d a prime number?
False
Let b(g) = -2*g - 3*g + 9*g + 14 - 2*g. Is b(10) prime?
False
Let f(y) = y + 12. Let u be f(-10). Suppose 0 = u*g + 3*g - 3525. Suppose 5*a + 100 = g. Is a composite?
True
Let f(o) be the first derivative of 11/2*o**2 - 1/3*o**3 + 1 - 6*o. Is f(10) a composite number?
True
Let a(s) = -3*s + 355 + s + s. Let j be (0*2/4)/3. Is a(j) composite?
True
Suppose -26*r + 84778 - 15020 = 0. Is r composite?
False
Let u(d) = d**3 + 6*d**2 + 3*d + 21. Let v be u(-6). Is ((-27)/(-12))/v + 1513/4 prime?
True
Let b(s) be the third derivative of 11*s**6/40 - s**5/20 + s**4/6 + s**3/6 + 19*s**2. Is b(3) prime?
True
Let y = 562 + -237. Suppose y = 6*d - d. Let f = d + -30. Is f a composite number?
True
Let d = 436 + 1683. Is d a prime number?
False
Suppose w - 88 = -2*f, w = 2*w + f - 85. Let q = 173 - w. Is q prime?
False
Suppose 2*g + 5*w - 687 = 0, -3*g = -8*g + 5*w + 1630. Is g prime?
True
Let a(y) = -y**3 - 5*y**2 - 5*y - 2. Let l = 8 - 12. Let v be a(l). Suppose 3*i = -5*c + 307, -v*c = i - 70 - 52. Is c prime?
True
Suppose 8*i = 1605 + 1379. Is i a prime number?
True
Let v(f) = 23*f**3 + 5*f**2 - f + 16. Is v(5) composite?
False
Let b be (-4)/(-6)*(-2623 + -11). Let x = b + 4149. Is x a prime number?
True
Is 60/5 + 16320 + 15 composite?
True
Let p = 11 - 52. Let a be -1*5*(-1820)/(-50). Let k = p - a. Is k composite?
True
Let d(b) = 2*b - 5. Let c be d(4). Suppose -41 = c*a - 4*a. Suppose a = -3*i + 692. Is i prime?
False
Let f(c) = -3*c + 15. Let k be f(5). Suppose 5*n - 266 - 29 = k. Is n composite?
False
Is (-58842)/(-27) - (-15)/9 prime?
False
Is -5 - 78*(-5409)/18 a composite number?
True
Suppose 2*c - 4 - 2 = 0. Suppose -c*o - 5*d - 1 = 0, o - 4*d = -4*o - 14. Let a(x) = -32*x**3 + x**2 - 2*x - 1. Is a(o) prime?
True
Suppose -5*m + 7719 = -19116. Is m prime?
False
Let l(p) = -5*p - 5*p + p - 3. Let t be l(-4). Is t/12*184/2 a prime number?
False
Let u be -51*(-3)/9 + -4. Is (-13)/(u/(-3)) - -119*1 composite?
True
Let p(w) = 2001*w + 65. Is p(6) a composite number?
False
Suppose 0*b + b = -99. Let s = b - -232. Let m = s + -46. Is m prime?
False
Let x = 4368 + 8939. Is x prime?
False
Let b be (1*1504)/((-1)/(-1)). Let z = 2255 - b. Is z prime?
True
Let g(z) = -5*z - 20. Let c be g(-4). Suppose -u + 5269 = -4*k, u - 5269 = -c*u - k. Is u composite?
True
Suppose -3*f + 4*r = -32299, -3*f - 3*r + 32435 = 143. Is f a composite number?
True
Suppose 2*n = -2*p + 18, -2*n + 4*p = -0*p. Let y(x) = x - 2. Let i be y(n). Suppose 0 = -z + 4*m + 243, z - 41 = -i*m + 162. Is z a prime number?
True
Suppose -5*h + 5*r = -200, -2*h + 3*r - 24 = -3*h. Suppose -8*c = -5*c - 159. Suppose -h = -y + c. Is y a composite number?
False
Let n(b) = 2 - 7*b - 4*b + b**2 - 12. Let m be n(9). Is 1584/28 + (-12)/m a prime number?
False
Suppose 15*m - 708756 = 1026099. Is m prime?
True
Suppose 3*o = 34*o - 335141. Is o prime?
False
Let w(b) = 3*b**3 + b. Let f be w(1). Suppose 3 = f*a - c - 1, 4*a + 4*c = -16. Suppose a = -5*t + t + 356. Is t a composite number?
False
Let q(u) = -u**3 + u**2 + 5*u + 1. Let a be q(3). Is (5444/(-8))/(1/a) a prime number?
True
Let k = 403 + 4786. Is k a prime number?
True
Suppose 4*z + 111 - 11 = 0. Let r = 22 + z. Let f(o) = -76*o + 9. Is f(r) a prime number?
False
Is 6/4 - (3137/(-2) + 3) prime?
True
Let b(x) = 2*x**2 - 7*x - 15. Let f be b(7). Suppose f*o + 885 = 39*o. Is o composite?
True
Let r(b) = 444*b + 331. Is r(14) a prime number?
True
Suppose 2*p + 24 + 8 = 0. Let f(m) = -m**3 - 8*m**2 + 12*m - 17. Is f(p) composite?
True
Suppose 4*p - 20 = 4*f, p + p - 5*f - 13 = 0. Suppose -s + p = -3*s. Let r(o) = 8*o**2 - o. Is r(s) composite?
True
Suppose 0 = 48*l - 52*l + 3548. Is l a composite number?
False
Suppose q - 11 = 1. Suppose 3*a + 6 = -r, -5*r + q = a - 0*a. Suppose d = r*o + 1679, 4*d + 0*o + 3*o = 6686. Is d a composite number?
True
Let y = -1838 - -3292. Is y a prime number?
False
Let y = -8548 - -12069. Let i = -2206 + y. Is i a composite number?
True
Suppose 2*w = 1179 - 201. Let d = w - 238. Is d a composite number?
False
Let w(x) be the second derivative of 11*x**4/12 - x**3/2 - 3*x**2/2 - 72*x. Suppose 2*v = -3*v + 20. Is w(v) prime?
False
Suppose 2*z + 4*c = -3658, 0 = -2*z - 0*z - 2*c - 3658. Let j = -430 - z. Is j a composite number?
False
Let m be 1 + (-213)/6*-98. Let l = m + -2477. Is l prime?
False
Suppose -8*i - 16488 = -17*i. Let c = -745 + i. Is c prime?
True
Suppose -4*s = x - 19136, 0*s - s + 4805 = -5*x. Suppose 12*h - s = -261. Is h prime?
False
Let z(f) = 2*f - 36. Let n(r) = -r + 18. Let j(y) = 7*n(y) + 3*z(y). Let k be j(8). Suppose k = w - 619. Is w prime?
False
Let y(o) = -60*o - 13. Let i = 20 - 26. Is y(i) composite?
False
Let j(z) = 1756*z + 2. Let o be j(2). Let c = o + -1419. Is c a composite number?
True
Let x = -15 + 22. Let h(u) = 4*u + 9*u**2 + 1 + 1 + 3 - 7. Is h(x) prime?
True
Let a(u) = u**3 + 8*u**2 + 8*u - 5. Let b be a(-7). Let r(z) = -76*z + 5. Is r(b) prime?
False
Is (-24866)/(-14) - 6/(-7) composite?
False
Let v = -204 - -324. Let m be 2*(350/4 - -2). Let u = m - v. Is u composite?
False
Let d(s) = -s**3 - 7*s**2 - 6*s + 5. Let q be d(-6). Suppose -8 - 7 = q*l. Let c(t) = -27*t - 2. Is c(l) composite?
False
Let h(r) = -43*r + 41. Let a be h(-8). Suppose 118 - a = -b. Is b prime?
False
Let v = -90 + 93. Suppose 0 = v*r - 1783 - 1562. Is r prime?
False
Suppose -4*z + 5629 = 2*x + 2151, -5*z + 1748 = x. Is x a composite number?
False
Let j(g) = 366*g + 5. Let y(x) = -367*x - 4. Let u(h) = -3*j(h) - 4*y(h). Is u(1) a composite number?
True
Suppose -38*n + 559227 = -274987. Is n a prime number?
False
Suppose -2*x + 4*m - 142 = 602, 2*m + 1538 = -4*x. Let l = x - -881. Is l composite?
False
Let w(r) = r**3 - 8*r**2 + 7*r + 1. Let v be w(7). Suppose 384 = b + g, 0 = g - v - 4. Is b a composite number?
False
Let a = 15032 - 4033. Suppose 0 = -10*s - a + 46269. Is s prime?
True
Let z = 506 - -4676. Is z composite?
True
Let k(i) = -8*i**3 + i**2 - 2*i + 1. Let x be k(2). Is (668/6)/((30/x)/(-5)) a prime number?
False
Suppose 90*t - 80*t - 120030 = 0. Is t a prime number?
False
Suppose -2*r = 2*u + 2, 0*r + r + 25 = -5*u. Let y(i) = -7*i**3 + 5*i**2 + 1. Is y(u) a composite number?
False
Is (-72025)/(-15) + (280/(-21))/(-10) a composite number?
True
Is (-110943)/(-36) + -9 - (-2)/8 composite?
True
Let w(d) = -d**3 + d**2 - d + 3. Let u(v) = -v. Let a be u(0). Let m be w(a). Let o(i) = 260*i + 7. Is o(m) prime?
True
Suppose 182 = -2*t - 0*t. Is 6/14 - 37180/t a composite number?
False
Is (-23 - 2)*6637/(-5) a prime number?
False
Let z(n) = 4*n**2 - n - 13. Let s be z(-20). Let h = -768 + s. Is h prime?
True
Suppose 23*t + 17*t = -20880. Let o = 1434 - 323. Let g = o + t. Is g a composite number?
True
Let y be (-1523)/(-6) - (-1)/6. Suppose -3*b - y = -1475. Is b a prime number?
False
Let p be ((-291)/9)/((-2)/6). Let z(t) = 4*t**3 + 5*t**2 - 3. Let r be z(-3). Let o = p - r. Is o prime?
True
Is 2*-2*68416/(-256) a pr