ppose 3*o - 776 = r. Is o a prime number?
True
Suppose -3*i = -5*o + 2*i - 2845, 2*o + 2*i = -1122. Let u = o + 1706. Is u prime?
False
Suppose -12*n = -10*n + 2. Is (-5746)/(-17) + n + 4 composite?
True
Let x(i) = -116*i - 9. Let s = -31 - -29. Is x(s) prime?
True
Suppose 2*k = -k - 33. Let l = k + 15. Suppose 4*v = l*z - 144, 3*z + 4*v - 17 = 56. Is z a prime number?
True
Let o be (4/(-10))/((-2)/10). Suppose o*l - 8 = -0*l. Suppose -l*z - 26 = -150. Is z composite?
False
Suppose 2 = 12*s - 13*s. Let i(u) = 30*u**2 - 11*u + 1. Is i(s) prime?
False
Suppose 45*y = 42*y + 2*b + 60549, -y - 2*b + 20183 = 0. Is y prime?
True
Suppose 4*w + 254 = -94. Let g = w + 166. Is g a composite number?
False
Let q = 171 - -736. Is q a prime number?
True
Let k = 24303 - 11822. Is k composite?
True
Suppose -5*d + 71580 = 2435. Is d prime?
True
Suppose 0 = -n + 3*v + 37, 2*v = -5*n - 16 + 133. Let q = n + -15. Let y(l) = l**3 - 5*l**2 - 3*l - 1. Is y(q) a prime number?
False
Is 306/(-34) - (-3 + -160585) a prime number?
True
Let k = 1686 - -116. Let y = k - 835. Is y composite?
False
Let w = -5 + -1. Let l(q) = -2*q**3 - 4*q**2 + 4*q + 1. Is l(w) prime?
False
Let y(s) = -30*s + 28. Let j(r) = 60*r - 57. Let g(b) = 3*j(b) + 5*y(b). Is g(13) composite?
False
Let f = 710 + -473. Suppose 4*l + f = 1009. Let s = l + -138. Is s prime?
False
Suppose -22 = -3*u + y, -2*u + 4*y + 6 = -2. Let x(w) = -w + 3 + 4 - 4 + w**2. Is x(u) composite?
False
Let l(i) = i**3 + 11*i**2 + 12*i + 12. Let o be l(-10). Let k be (-16)/(-4)*(-254)/o. Suppose -v - k = -4*m + 2*v, -4*m + 120 = 4*v. Is m a prime number?
True
Suppose 18*f - 37*f + 444847 = 0. Is f prime?
False
Let b(f) = 98*f**2 + 5*f + 11. Is b(-3) a prime number?
False
Let f(x) = -x**2 - 4*x - 1. Let w be f(-3). Let b be w/(4/(-8)*-2). Let t = 5 + b. Is t composite?
False
Suppose -3*d - 9 = 3*s - 8*s, 4*d = -2*s - 12. Suppose 5 = x, -j - x + 3 + 13 = s. Is j a composite number?
False
Let y = 14 - 11. Suppose 0 = y*u - 607 - 92. Is u a prime number?
True
Suppose 1587 = -5*u + 8*u. Suppose -t + 0*t = 2*q - 509, -t = -3*q - u. Is t composite?
True
Suppose -g + 1 = -3. Suppose -p - 3*k = -0*p - 14, 4*p + 5*k = 28. Suppose p*m - 59 = -2*n + 41, -154 = -3*m - g*n. Is m a composite number?
True
Let i(j) = 16 + 58*j**2 - 13*j**2 - 4*j - 20. Is i(-3) prime?
False
Let w(a) = a**2 - 2*a + 20. Let f = -68 + 83. Is w(f) composite?
True
Let n(h) = -149*h - 6. Let l(i) = 299*i + 13. Let g(j) = 2*l(j) + 5*n(j). Let f be 2/(-6) + (-8)/3. Is g(f) prime?
False
Suppose 757 = -4*o + 17537. Is o a prime number?
False
Let x be (-6 - (-32)/6)*(1 + -739). Suppose 0 = 2*o - x - 352. Is o a composite number?
True
Let w(t) = -5*t**3 - 10*t**2 + 2*t - 11. Suppose -6 = 3*z, 0*x - x - 10 = z. Is w(x) a prime number?
False
Suppose -17141 - 5629 = -23*d. Let b be 1*1402*1/(-2). Let i = d + b. Is i a prime number?
False
Let o(l) = -26*l**3 + 2*l + 1. Let n be o(-1). Let u be (-15)/n + 24/(-10). Let t(s) = -2*s**3 - 3*s**2 + 2*s + 2. Is t(u) composite?
False
Let t be (4 - 2 - 14)*-97. Suppose 2*u = -2*s + 464, -5*u + t = -0*u + s. Is u a composite number?
False
Let g be 8/3 + (-3 - (-7)/3). Suppose -g*y + 1826 = 4*r, -2*y - 3*r = -5*y + 2784. Is y a composite number?
True
Suppose -4*n + 1 = 9. Let m(u) = u**3 + 2*u**2 + u + 2. Let x be m(n). Suppose x = -8*r + 5*r + 267. Is r composite?
False
Let l(h) = -2*h - 19. Let w be l(-12). Is 4107/(-6)*w/((-10)/4) a composite number?
True
Let l(q) = -q + 8. Let b be l(5). Suppose 5*n - 5*u = n + 225, b*u - 162 = -3*n. Is n prime?
False
Let i be (-14)/(-2) - (7 - -2). Suppose -y + 11 = -4*j + 3*j, y - 17 = 4*j. Is (-2775)/(-27) - i/y a prime number?
True
Let a be 2 + (4 + -4)/(-2). Suppose -5*y + p - 5*p + 2 = 0, -4 = a*p. Suppose y*i - 2*z - z = 521, 3*i - 2*z = 784. Is i composite?
True
Let v be 0 + 0 - 2/((-10)/8575). Suppose -6*r = -v - 2071. Is r composite?
False
Let g = 26 + -17. Let l(f) = -68*f - 24. Let r(w) = -45*w - 16. Let y(q) = -5*l(q) + 7*r(q). Is y(g) composite?
False
Suppose 0 = 2*y - y. Suppose y = 3*h - 238 - 143. Is h prime?
True
Let u = -1331 - -2340. Is u composite?
False
Let w = -2755 + 4106. Suppose 4123 = 3*r - 2*m, -3*m + w = r + m. Is r a composite number?
True
Let k(r) = r**3 + 7*r**2 + r + 7. Let d be k(-7). Let x(z) = -2*z + 583. Is x(d) a composite number?
True
Let g = -3182 - -5106. Suppose -g = 8*z - 8316. Is z prime?
False
Suppose 6*v + 2443 = 7*v. Is v composite?
True
Suppose 0 = -5*u - 4*p + 177095, -55*p = 5*u - 58*p - 177095. Is u composite?
False
Let j(n) = 23*n**3 + 10*n**2 - 6*n - 9. Let u(f) = f**3 + f**2. Let b(i) = -j(i) + 6*u(i). Is b(-4) a prime number?
True
Is (2/3)/((192/(-3129228))/(-8)) composite?
False
Suppose 5*f - 10*f = -1615. Suppose -5*m + f = -632. Suppose 4*i - m - 77 = 0. Is i a prime number?
True
Suppose a - m - 8188 = 0, 5*a = 4*a - 4*m + 8173. Is a a composite number?
True
Suppose 3*g = -0*n + 2*n + 16, n + 22 = 5*g. Suppose g*u + j - 7 = 0, -5*j = u - 6 + 28. Is 2/(-2)*(-339)/u a prime number?
True
Let w(m) = m**2. Let d(r) be the second derivative of -7*r**4/3 + 2*r**3/3 + 2*r**2 - 7*r. Let k(h) = -d(h) - 5*w(h). Is k(3) composite?
False
Is ((-26447)/(-18) + (-34)/(-153))*2 a composite number?
False
Let g(d) = d**2 - 6*d + 5. Let m be g(6). Suppose 970 = m*h + 5*n, -h + 3*h + n - 385 = 0. Is h prime?
True
Suppose 0 = 5*x + 2*h - 3, -3*x - 6*h + 17 = -h. Let l(y) = 138*y**2 + 3*y + 2. Let n be l(x). Suppose -n = -4*z + 83. Is z composite?
True
Is (26/78)/((-4)/(-168648)) a composite number?
True
Let i be (-2 - 2 - -5)*3. Suppose 4*u - 1577 = -i*x, 4*x + u - 2061 = 4*u. Let k = -14 + x. Is k prime?
False
Suppose -5*w + w = -16. Suppose 0 = -w*m + 7*m - 948. Suppose c - 2*k = 79, 0*k - m = -4*c + 2*k. Is c a prime number?
True
Suppose 4*t + 2*d - 4363 - 26549 = 0, -5*t + 4*d = -38614. Is t a prime number?
False
Let v(c) = 239*c - 48. Is v(29) a prime number?
True
Let o(c) = -370*c**2 + 2*c - 1. Let q(k) = -k**2 - k. Let i(l) = -o(l) - 2*q(l). Is i(1) a composite number?
False
Suppose -o + 72 = 18. Let r be (-6)/21 + o/42. Is (7/21)/(r/42) a prime number?
False
Let h = -522 + 984. Let m = h - 263. Suppose 3*u = 2*x - 370, -x - 2*u = -0*x - m. Is x a composite number?
False
Let u = -15953 + 25476. Is u composite?
True
Suppose -4*t - 9 = 3, 4*z - 43 = -3*t. Suppose -51 = -2*y - z. Is y prime?
True
Let o = 17 + -15. Let m(t) = o - 3 + 3 + 7*t. Is m(3) a prime number?
True
Is (44/(-6))/((-2)/6) composite?
True
Suppose 5*f + 0*y = -4*y + 24, y + 20 = 2*f. Let u = f - 5. Suppose v + 1004 = 5*v - u*c, 0 = 5*v - 5*c - 1255. Is v composite?
False
Let v(i) = 2*i**2 - 2*i**2 + 1 - 11*i + 5*i**2. Let w be 225/27 - 2/(-3). Is v(w) composite?
False
Suppose -7*p + 2*p = -65. Let z = p + -10. Suppose 2*d = -z*d + 565. Is d composite?
False
Let r be (-185)/(-20) - 3/12. Suppose -3*s = 3 + r. Is s/(-1) - 255/(-3) prime?
True
Suppose -9*z = -1244 - 205. Is z a composite number?
True
Let f(h) = -h**3 - 4*h**2 - 11*h - 8. Let w be f(-4). Is w/144 - (-2)/(-8)*-3283 composite?
False
Let o = 36 + -21. Suppose -4*k = k - o. Suppose k*r = -0*r + 2*b + 185, -r + 3*b = -71. Is r a composite number?
False
Let q(d) = 6*d**3 - 8*d**2 - 4*d - 10. Let g(v) = v**2 - 2*v - 1. Let s be g(4). Let y be q(s). Suppose 2035 = 5*w - 5*j, -2*w = 2*w - 5*j - y. Is w composite?
True
Let g = -19041 + 36658. Is g composite?
True
Let u(a) = a**3 + 2*a + 787. Let k be (-4)/2*(-10 - -9) + -2. Is u(k) composite?
False
Let d(s) = s**3 - 5*s**2 + 4*s + 3. Let c(n) = -2*n + 4. Let f be c(0). Let y be d(f). Suppose -8*x = -y*x - 515. Is x composite?
False
Let n(y) = 0*y + 18*y - 6*y - 1 + 4. Let f(i) = 1. Let q(c) = 4*f(c) - n(c). Is q(-4) composite?
True
Let x = 11952 - 5981. Is x a composite number?
True
Suppose 240764 = 4*g + 52944. Is g composite?
True
Suppose o = -m - 2547, 2*o - 4*o + 3*m = 5084. Let a = -1478 - o. Is a prime?
False
Let j(p) = 29*p + 5. Let o(m) = 3*m**2 - 21*m - 10. Let d be o(8). Is j(d) composite?
True
Suppose -21*w + 12*w + 29511 = 0. Is w a prime number?
False
Let c = 91 + -40. Suppose 0 = -9*v - 2 - 124. Let w = c + v. Is w a prime number?
True
Let o = 97 + -1287. Let p = -763 - o. Is p a prime number?
False
Let z(d) = d**3 + 19*d**2 - 21*d - 16. Let l be z(-20). Suppose -w + 6 = 4