t q be 5*(-2)/(-30)*9. Suppose 0 = -5*j + q*j + 614. Is j a prime number?
True
Let o(v) = v**3 - 3*v**2 - v. Let s be o(3). Let u be 185/(-2)*(-5 - s). Suppose 8*m = 3*m + u. Is m a composite number?
False
Let o be (-1)/5 + (-147)/(-35). Suppose -o*z - 5*z + 1998 = 0. Suppose -z - 353 = -5*g. Is g a composite number?
True
Let h(d) = 3*d**3 - 2*d**2 - 2*d + 1. Let g(n) = 7*n**3 - 3*n**2 - 5*n + 2. Let i(b) = 2*g(b) - 5*h(b). Is i(-4) prime?
True
Let r(g) = -4*g + 14. Let u(a) = -4*a + 13. Let i(s) = 4*r(s) - 5*u(s). Let o(c) = c. Let y be o(6). Is i(y) a composite number?
True
Suppose -4*m - 3*b = -13007, 0 = 26*m - 29*m + b + 9765. Is m composite?
True
Suppose 5*l - 19*i - 379831 = -16*i, -6 = 3*i. Is l prime?
False
Suppose -4*o + z = -62 - 57, -3*o = 5*z - 95. Is (-185)/o*(-12)/2 a composite number?
False
Suppose -2*a - 2*l - 2 = 0, -4*l = -4*a + l - 4. Let m(d) = -500*d. Let v be m(a). Suppose -3*h = i - v, 3*h - 4*i + 672 = 7*h. Is h a prime number?
False
Let k = -53 - -62. Is (-1 + -369)/((-9)/(k/2)) prime?
False
Suppose -4*t - 3*u = -5*u - 10, -2*t - 2*u + 2 = 0. Suppose 24*s - 1356 = 20*s + 2*y, -8 = -t*y. Is s a prime number?
False
Suppose 2*i = -2*v - 3*v + 4, 0 = i - 2*v - 2. Is ((-21)/9 - i/3) + 770 prime?
False
Let q be 70*(12/(-15))/(-2). Suppose -4*y + 8 = 0, 5*a = -2*y + 3*y + q. Suppose -a*r + 2 = -w - r, 5*w + 5*r - 140 = 0. Is w a prime number?
True
Let u = 18 + -53. Let l = 12 + u. Let w = l - -42. Is w composite?
False
Is (-93954)/(-102) - (-10)/(-85) composite?
True
Suppose -4*s = -2 - 6. Suppose 4*a = 3*d - 3335, 6 = a + s. Is d composite?
False
Suppose 3*d = -2*d + 2*c + 29, -4*d = 4*c - 40. Is (d/21)/((-1)/(-2373)) prime?
False
Let r = -10862 + 19131. Is r a composite number?
False
Let g(s) = 59*s - 3. Let o = 19 + -11. Let u be g(o). Suppose h - 2*h + u = 0. Is h prime?
False
Let d(s) = -1936*s + 218. Is d(-8) a prime number?
False
Suppose 6 = -3*j, 18 = -2*c + j + 3*j. Let t = -11 - c. Suppose b = -0*y + 4*y + 87, -3*b + t*y + 251 = 0. Is b a prime number?
True
Suppose 2*i = 3*y - 10, 2*i = -3*y - 0*i + 26. Let w be 21 + (-3)/(-6)*y. Is 167 + w/(-4) + 2 prime?
True
Let r(i) = -i**3 + 4*i**2 + i - 2. Let q be r(4). Suppose -q = -2*m + 2. Suppose m*j - 4*j + o + 518 = 0, 0 = -j + 2*o + 259. Is j composite?
True
Let v(g) = -g**3 + 6*g**2 - 5*g + 4. Let q be v(4). Let o be (q/(-12))/(2/(-6)). Suppose 0 = -o*i + 234 + 26. Is i composite?
True
Let h(o) = 665*o**3 - 2*o**2 + 4*o - 4. Let p be h(2). Is (2 + p)*(1 - (-4)/(-8)) prime?
True
Suppose -4*n - 2*w + 14 = 0, 3*n + 3 = 2*w + 17. Let s = n - -4. Let m(d) = -d**3 + 8*d**2 + 3*d + 1. Is m(s) prime?
False
Suppose 2*r = 0, -3*x + r = x - 20. Suppose 970 = 5*s - x*j, -5*s - 2*j = -4*j - 964. Let w = s + 41. Is w prime?
True
Let b = 10379 + -3228. Is b prime?
True
Let b(j) = 55*j + 192. Is b(21) a composite number?
True
Let u(y) = -y + 0*y + y + 9 + y. Let f be u(-7). Suppose -f*h - 17 + 271 = 0. Is h a composite number?
False
Suppose -5*f + 98 = 4*y, -f - 3*y = -2*f + 12. Is (9066/f)/(2/6) composite?
False
Let j(h) = 292*h**2 + 2*h + 19. Is j(-3) prime?
False
Let s be (91680/(-9))/8 + 6/(-9). Let a = 2983 + s. Is a composite?
False
Let t be 1/(-3) - (-12)/9. Suppose 0 = -3*i - 2*b - 3*b + 1, b = -i + t. Suppose 0 = -5*w - s + 157, i*w - 145 = -3*w + 5*s. Is w a prime number?
True
Let g = 95 + -37. Is g a prime number?
False
Let b be (-1)/5 - (-1106)/(-70). Let p(h) = h**2 - 9*h - 21. Is p(b) composite?
False
Let o(w) = -133*w**3 - 14*w**2 - 40*w - 145. Is o(-6) a composite number?
False
Suppose -4*f + r = -3*r - 44, -4*f + 2*r + 36 = 0. Is (f/(-3) + 2)*-2031 prime?
True
Suppose 0 = -18*g + 1435 + 101183. Is g a composite number?
False
Let j = 1841 + -702. Is j a composite number?
True
Suppose -3*k - 15 = -6*k. Let x(q) = -q**3 + 22*q**2 + 3*q - 64. Let h be x(22). Suppose 3*z = -k*w + 143, 3*w - h*w = 3*z + 43. Is w prime?
True
Let y = 0 + -4. Is 188 + 0 + -1 - y composite?
False
Let i be -47 - -914 - -2*1/(-2). Let f = -477 + i. Is f a prime number?
True
Let a = 326 + -205. Let p(c) = 2*c + 129*c**2 + c**3 - 3*c - 8 - 3*c - a*c**2. Is p(-7) a prime number?
False
Let n(z) = z + 1. Let c be n(-1). Let j be 210 - ((-4)/(-4) + -2). Suppose f - j = -c*f. Is f prime?
True
Suppose 5*a + 15 = 0, -y - y = 2*a - 8816. Is y composite?
True
Let m = 1 + 3. Suppose 1622 + 1722 = m*z. Suppose z = 2*x + 2*x. Is x composite?
True
Suppose 6*z - 504 = 1224. Suppose -z = -b - 5*n + 971, 0 = -5*n. Is b prime?
True
Suppose 476 = 2*z - 4*n, 8*z - 730 = 5*z + 2*n. Suppose 0 = -3*o - 0*o + z. Is o a prime number?
False
Let x(h) = 110*h - 61. Is x(4) prime?
True
Let h(w) = -7*w**2 + 4*w + 5. Let y be h(6). Let p = -570 - -453. Let a = p - y. Is a a composite number?
True
Suppose -31*u + 18 = -28*u. Suppose u*w + 1954 = 8*w. Is w prime?
True
Suppose 47*d = 15*d + 1063264. Is d prime?
False
Let u be (4 - 5)*-8 - 3. Suppose 0 = -j + 4*w + 1337, -u*j + 2*w = -3*j - 2644. Is j a composite number?
True
Let r(h) = -646*h**3 - 11*h**2 - 8*h + 10. Is r(-3) a prime number?
True
Let s = 14 - 13. Let c(d) = -5*d + 2. Let t be c(s). Is t*1*(-76)/12 a composite number?
False
Is (-186465)/(-10)*4/6 a composite number?
True
Let n(d) = d**3 + 41*d**2 - 22*d + 11. Let v(p) = 2*p**3 + 62*p**2 - 33*p + 17. Let l(h) = -8*n(h) + 5*v(h). Is l(12) a composite number?
True
Let d = -20 - -19. Let z be 794/(-6)*(d + 4). Let g = z - -1199. Is g composite?
True
Let h be -3*-21*(-6)/27. Let n(p) = -20*p + 15. Is n(h) a prime number?
False
Let w(v) = 4*v**3 - 4*v**2 + 26*v - 115. Is w(22) prime?
True
Suppose 5*s + 5*p = 75, 0 = 3*s + 5*p - 8 - 27. Suppose 22 = 7*u - s. Let r(d) = 81*d + 5. Is r(u) prime?
True
Let a = 11533 - 4755. Is a a prime number?
False
Let y(q) = -105*q + 16. Let j be y(-3). Let d = 602 - j. Is d a prime number?
True
Suppose -q + 5 = -41. Let l = q - -525. Is l prime?
True
Suppose 0 = -t + 4*t - 3*g + 2766, 5*g = -2*t - 1823. Let q be (-6)/8 + (-17655)/44 - -4. Let z = q - t. Is z prime?
True
Suppose 9*j - 4*j - 15 = 0. Suppose -21 = j*q + 3. Is (1724/q - 0)*-2 a prime number?
True
Suppose 3*b - 3977 = 4*h, -4*b + 5*b - 3*h - 1334 = 0. Is b a prime number?
True
Let p be -6 - (-2 + -1) - -6. Suppose 0 = k - 5*u - 396, -p*u + 6*u + 1152 = 3*k. Is k a composite number?
True
Suppose 8 + 16 = 4*b. Let f(w) = 3*w**3 - 6*w**2 - 13. Is f(b) composite?
False
Let c(a) = 10*a + 9. Suppose 3*t = 4*t + 4*l + 4, -5*t + 5*l = 20. Let n be t/(-6) + 120/9. Is c(n) composite?
False
Is 1/((-9)/(-176823)*9) a composite number?
True
Let v be 0/(-2) + (-3 - -9). Suppose -x - 2 = -4*l - 4, 0 = x - 2*l - v. Is 193/5 + x/25 a composite number?
True
Let i(h) = 3*h**2 - 4*h - 8. Let s be (-6)/10 + 12/(-30). Let d(f) = 6*f**3 + f**2 - f - 1. Let v be d(s). Is i(v) composite?
True
Suppose 3*v = 7722 + 165. Is v a composite number?
True
Let p be 2 + -1 + (-279)/3. Let d = -41 - p. Is d a prime number?
False
Let u be 4*(0 + 1) + -246. Let c = u + 621. Is c a composite number?
False
Let b(x) = 80*x - 53. Suppose -2*g = 2*m - 22, g - 3*g + 1 = -5*m. Is b(g) a composite number?
False
Is 55262/4*(0 + 2) composite?
False
Suppose -5*k - 3*q + 8258 = 0, 2*q - 8253 = -5*k + 4*q. Is k prime?
False
Let j be (296/5 - 5)*10. Suppose 0 = -2*m - j + 1788. Is m a composite number?
True
Suppose -u + 5611 = 5*v, -10*v + 13*v - 3381 = 3*u. Is v composite?
False
Let o(y) = -477*y + 79. Is o(-6) composite?
True
Suppose 2*n - 8149 + 1137 = 0. Suppose -k + d + 872 = 0, 4*k + 2*d = -3*d + n. Suppose 0 = 7*u - k - 1485. Is u prime?
True
Let r = -140 + 187. Is r prime?
True
Suppose 4*w + 124265 = 3*l, 17*l + 5*w = 14*l + 124274. Is l prime?
False
Let b(v) = 122*v**2 - 3*v - 33. Is b(-10) prime?
True
Let g(h) = h**3 + 12*h**2 - 6*h - 1. Let d be g(-12). Let j be (0 - (-15)/(-9))*-3. Suppose 61 = 5*s - j*i - 44, -i = 3*s - d. Is s a composite number?
False
Let t(n) = 93*n**2 - 208*n + 4. Is t(23) a prime number?
True
Let l(u) = u**2 + 9*u - 15. Let i be l(-11). Suppose -12*g + 1115 = -i*g. Is g a composite number?
False
Let v(p) be the second derivative of p**4/12 - p**3/6 - p**2 - 7*p. Let z be v(2). Suppose 4*x - 5*t - 768 = 0, z = -x + 3*t - t + 195. Is x a composite number?
True
Let l(d) = d - 1. Let s be l(-1). Is s - (-481)/(-1 - -2) a composite number?
F