pose -2595 = -12*y + c*y. Is y a composite number?
True
Let t(m) = -727*m**3 - 4*m**2 + m + 4. Let s be t(-1). Let n = s - -7193. Is n composite?
False
Suppose -48 = -5*r + r. Let f(u) = 16*u**2 - 19*u + 14. Let v be f(r). Let d = 3024 - v. Is d a prime number?
False
Suppose -5*r + 4*x = 1929, -1160 = 3*r + 15*x - 20*x. Let c = 1296 + r. Is c a composite number?
False
Suppose -5*r = -j - 28748, r - 2*r + 5737 = 4*j. Suppose 18711 = 4*k - r. Is k a composite number?
True
Let k = -41319 - -184156. Is k composite?
False
Let x(p) = p**2 + 20*p - 75. Let i be x(-23). Is -3548*-3*i/(-72) composite?
False
Let a(p) = 5*p**2 - 3*p + 3. Let j be (-5)/((-15 - -14)/(2 + -1)). Let s be a(j). Is -3*s/(-11) + (-22)/(-121) a prime number?
True
Let l(u) = -16*u - 21 + 3*u + 6*u. Let d be l(-5). Suppose 0 = d*v - 53108 - 3578. Is v a composite number?
False
Let p(y) = y**3 + 6*y**2 + 3*y - 7. Let z(w) = -w**3 - 8*w**2 + 9*w - 5. Let d be z(-9). Let r be p(d). Suppose -r*x + 713 = -2*x. Is x composite?
True
Let k = 59349 - 37908. Suppose -k = 11*m - 1608. Let a = -776 - m. Is a composite?
True
Is 974188/69 - 23 - ((-2)/6 + 1) a composite number?
True
Let w = -76 + 124. Suppose 2*n + 10*n = w. Suppose 2*a = k - 43, -k + 38 = n*a - 23. Is k a composite number?
True
Suppose -7*h - 1964 = -14088. Let w = -395 + h. Is w prime?
False
Suppose 4*x - 4*z = 16, -17*z + 25 = -22*z. Let h(y) = -12672*y**3 - 5*y**2 - 6*y - 2. Is h(x) a composite number?
False
Let j be 42 - ((-33)/(-15) - (-2)/(-10)). Let u be (0 - j) + (-6)/(-3). Let b = u + 447. Is b a prime number?
True
Suppose 8*r - 3*r = i + 22, r = 4*i - 7. Suppose 5*g = -2*a - 911, -g - i = 2*g. Let x = -16 - a. Is x prime?
False
Is (-46465)/(-13 + 1 + 11) composite?
True
Let x = 1135 - 769. Let r be (-10)/(-1)*23/2. Let f = x - r. Is f prime?
True
Suppose 4*n + 50665 = 5*q, 6*q = 9*q + 4*n - 30399. Let b = 19666 - q. Is b composite?
False
Let t(y) = 62*y + 187. Let n(x) = 15*x**3 - x**2 + 3*x - 2. Let g be n(1). Is t(g) composite?
False
Suppose 31*j = 77737 - 17876. Let f(v) = -8*v**3 + 4*v - 4. Let g be f(-5). Let w = j - g. Is w prime?
False
Let n be (74/4)/((-3)/258). Is (n - 5)/(-2) - 1 composite?
False
Suppose 0 = 84*y - 83*y - 6. Suppose -2*x = 5*q - 8977, 3*q = -y*x + 7*x - 4472. Is x composite?
False
Let l be 4*((-2)/(-6))/(8/120). Let f be ((-8)/l + (-148)/30)*3. Is 2438/6 + f/(-24) a composite number?
True
Let j = 5640 - 2290. Let i(w) = -w**3 + 5*w + 2. Let z be i(-2). Suppose r - 658 = -3*x, -5*r = 3*x - z*x - j. Is r composite?
False
Let w(z) = -232*z - 40. Let l be w(7). Let b = l + 3395. Is b prime?
False
Let a be 60/14 + (-20)/70. Suppose -7*x = -19 + 5. Suppose 2*f = x*c - 1934, -a*f = -0*f. Is c a prime number?
True
Let w = 507014 + -261203. Is w prime?
False
Suppose -5*r = 4*l - 25, 5*l + 25 = -7*r + 12*r. Let f be (0 - 2) + (-328)/1. Is 542/((-88)/f - (-2)/r) composite?
True
Let y(p) = 56193*p - 194. Is y(15) a composite number?
False
Let w(v) = 3*v**3 - 3*v**2 + 2. Let l be w(2). Suppose l*h = h + 44603. Is h a composite number?
True
Let g = -142698 + 308795. Is g prime?
False
Suppose 5*m - 222635 = 3*o - 808028, -3*m - 975623 = -5*o. Is o a prime number?
True
Suppose 0 = 30*l - 39*l + 198405. Is l a composite number?
True
Let f = 3362391 - 1570084. Is f prime?
False
Suppose -4*a - 165 + 153 = 0. Let d be -5 + 2*1519 + a. Let n = d + 79. Is n composite?
False
Let j(k) = 985*k**2 + 4*k - 55. Is j(6) a composite number?
True
Let h = 42 - 46. Let x(v) = -94*v**3 - 3*v - 13. Let l be x(h). Suppose a = 5*r + 6*a - l, -2*r + 2420 = -5*a. Is r composite?
True
Let y(l) = 13856*l - 389. Is y(2) composite?
True
Suppose -697326 = -23*q + 4951175. Is q a prime number?
True
Let r be -5 - (-3 - 1 - 6). Suppose r*g - 229 = 66. Is g a prime number?
True
Let o(y) = -61*y - 151. Let f be o(2). Is (622076/f)/(2/(-3)) a composite number?
True
Let b be (-194988)/(-10) + 11/55. Suppose y = -4*d + 3895, -y - b = -6*y + 4*d. Is y a prime number?
False
Let l = -171 - -191. Let x(r) = -r**3 + 30*r**2 - 38*r + 67. Is x(l) composite?
False
Let y(o) = -60*o**3 + 69*o**3 + 3 + 0 + 3*o**2 + 102*o**3 + 0 - 5*o. Let m(t) = t**3 - 5*t**2 + 2. Let v be m(5). Is y(v) composite?
True
Suppose -17*t = -57*t + 320. Suppose t*w - 73192 = -0*w. Is w composite?
True
Suppose -33697*g = -33678*g - 68884253. Is g a composite number?
False
Suppose -126*i = -142*i + 493904. Is i composite?
False
Let j = -5 - -6. Let r(y) = -8 + 9*y - 7 + j. Is r(7) a composite number?
True
Let r = -11330 - -19710. Let o = r + -111. Is o composite?
False
Let t(x) = 12*x + 23691. Let z be t(0). Suppose 10*u = 13*u - z. Is u composite?
True
Let j be 3362/(-2) - (1 - 1). Suppose -30*m + 56*m - 61464 = 0. Let l = j + m. Is l a composite number?
False
Suppose 235747 + 2005866 = 2*g + 3*x, g - 4*x - 1120823 = 0. Is g composite?
False
Let s(u) = 70*u + 16 - 60 - 335*u. Is s(-3) composite?
False
Is 77812592/88 + (-13)/(-1) + -4 a prime number?
True
Suppose -n = x - 8, -5*n - 5*x + 32 = -2*x. Let t = 2471 - n. Is t composite?
False
Let k(d) = -15*d + 12. Let f be k(-13). Let t = 308 - f. Suppose 4*q = -2*g + 3803 - t, 7382 = 4*g - 3*q. Is g a prime number?
True
Let u(a) = 1715*a**2 - 39*a - 61. Is u(-6) prime?
False
Let r(w) = -w**2 + 3*w + 7. Let i be r(-7). Let y = 3705 + -3917. Let h = i - y. Is h a prime number?
True
Is (131/(-786))/(1/(-8400894)) composite?
True
Let h = -6977 + 39303. Suppose 0 = -7*s - 7*s + h. Is s prime?
True
Suppose -5*l + 2*l - t = -11608, -5*t = -4*l + 15509. Suppose -20*j = 355 - 435. Suppose l = j*x - 477. Is x a prime number?
True
Suppose 33 = 14*n - 23. Let f be (2 + 1 + 5666)/(2/n). Let b = f - 6305. Is b a composite number?
True
Let u = -186473 - -317448. Suppose 16*x - u = -783. Is x a prime number?
False
Let w = 136025 + -77774. Is w a composite number?
True
Let a = -8661 - -17008. Suppose 2*j - 6237 = -u, a = u - 5*j + 2138. Is u prime?
True
Let k(i) = 36*i + 2. Let l(j) = j. Let a(s) = 2*k(s) + 18*l(s). Let q be a(4). Suppose -q = -n - o - 2*o, 0 = 5*o + 25. Is n prime?
True
Let s = 11272 + 10150. Is s composite?
True
Suppose 5*z - 75 = -i, 15 = z + 3*i - 5*i. Let f(v) = 36*v**2 + 15*v - 62. Is f(z) a prime number?
True
Suppose u = -0*u + 3*c + 20, -2*c = -5*u + 35. Let w = -8976 + 4236. Is w/50*u/(-2) a composite number?
True
Let j(n) = 143*n**3 - 7*n**2 - 22*n - 11. Is j(9) prime?
True
Let w(s) = -11 - 14*s + 61*s**2 + 124*s**2 - 15*s + 22*s. Is w(-2) a prime number?
True
Suppose -1461286 = -17645*y + 17611*y. Is y a prime number?
True
Let u(b) be the second derivative of b**6/8 + b**5/120 - 3*b**4/8 + 3*b**3/2 - 4*b. Let s(g) be the second derivative of u(g). Is s(7) prime?
True
Suppose -60*i + 266330 = 32390. Let f = i + -1368. Is f a prime number?
True
Let z be 1*-3*(0 + (-10)/6). Suppose 0 = 3*w + z*x - 26, -4 = -4*x + 12. Suppose 0 = -w*i + 176 + 906. Is i a prime number?
True
Let d(c) = 18*c**3 + 3*c**2 - 30*c + 13. Suppose 8*o + 4*u = 6*o, -20 = 5*u. Is d(o) a composite number?
False
Let u(k) = 5*k - 21. Let q(y) = 11*y - 41. Let l(b) = -2*q(b) + 5*u(b). Let o be l(7). Is o + (-9)/(-4) - (-15090)/24 a prime number?
False
Let p = -93 - -51. Let h = p + 46. Is h/10 + (-9715)/(-25) a prime number?
True
Suppose 0*j - j + 3 = 0. Is (186/(-12 - -14))/(j/491) composite?
True
Let j be (-2)/(-8) + -3993*7/(-4). Let p = j + -4175. Is p prime?
False
Let a(x) = 22*x**2 - 99 - 3 - 70 - 22 - x**3 + 35 + 31*x. Is a(19) composite?
True
Is (4423775/(-2) + 0)*((-3311)/215 - -15) composite?
True
Suppose 124*p - 140734944 = 5445928. Is p a composite number?
True
Suppose -4 = 6*t - 16. Let x be (-30)/(-4)*(t - 16/12). Suppose -a - 2697 = -6*a - 2*i, x*a - 5*i - 2725 = 0. Is a a composite number?
False
Is 97/4*(-104)/(-338)*11791 a prime number?
False
Let h(g) = 186*g**2 - 10*g - 2 - 4 + 1 - 4. Is h(-5) a prime number?
True
Let h(g) = 6*g - 18. Let x be h(14). Let s(q) = q**2 - 5*q - 2. Let u be s(5). Is u + 0 - 0 - (-1 - x) a prime number?
False
Let v be (-60)/21 + 3 + 2/(-14). Suppose -y - 3*a + 13 = 0, 5*y - a - 8 - 25 = v. Suppose 0 = -4*t + 3*k - y*k + 1260, 0 = -2*t + k + 636. Is t composite?
False
Suppose -b + 15 = -6*b, 2*q = 4*b + 106. Suppose -q*n + 4684 = -43*n. Is n a prime number?
True
Let u = -552564 + 1155587. Is u prime?
True