2. Let a be u(1). Let j be (a - -8)/((-2)/(-6)). Is (j - -6) + 0 + 1 a composite number?
False
Let r(n) = n**3 + 33*n**2 + 13*n - 47. Let v be r(-29). Let m = v - 2063. Is m a composite number?
False
Let a be 118 + 9/(0 + 3). Let h be 3078/7 + (-2)/(-7). Let w = h - a. Is w a prime number?
False
Let p be (-4)/(-8) + (-23)/(-2). Suppose -l + 3*g = -8, 3*g - 5*g = -2*l + p. Suppose 2*s + h = 416, l*h = 4*h - 2. Is s composite?
True
Suppose 0 = -5*f - 3*h + 3947, -2*h + 886 = -3*f + 3239. Suppose 6*q + f = 3493. Is q a composite number?
True
Let u = 27 + -10. Suppose l - 9 = u. Is l a composite number?
True
Let g = 16 + -9. Suppose 670 = -g*z + 9021. Is z a prime number?
True
Let p be (-12)/(-4) - 2 - -5. Suppose -2*u = -5*y + p + 13, 0 = -u + 3. Suppose w - 4*z = 817, -2*z + z = y. Is w a prime number?
True
Suppose -73568 = -4*y + 5*b, -2*y - 2*b + 26139 = -10663. Is y prime?
True
Suppose -z + 4 = 163. Let f be (-1840)/12*6/(-4). Let r = z + f. Is r a composite number?
False
Let a = -16 - -18. Let n(r) = -4 + 0*r - 24*r**2 + 36*r**a + 5*r. Is n(3) composite?
True
Let o = 9521 - 5148. Is o a prime number?
True
Let p = 18 + -13. Suppose -4*s - h + 27 = 0, 0*s - 5*s = -p*h - 65. Let n = 27 - s. Is n a composite number?
False
Suppose 54*u = 412025 + 720949. Is u a composite number?
False
Let c(l) = 3*l**2 + 10*l + 3. Suppose 3*f = -f, 2*y - f = 0. Suppose 5*o + 60 - 14 = -3*i, -2*o - 3*i - 22 = y. Is c(o) a composite number?
True
Suppose 3*l + 2*d + 33 = 0, -l - 24 = -0*l + 5*d. Let v(o) = 7*o**2 - 14*o - 31. Is v(l) a composite number?
True
Let r(x) = x**3 - x**2 - x + 1. Let b(q) = -2*q**3 + 8*q**2 - 5*q - 6. Suppose -4 = -18*v + 22*v. Let h(y) = v*b(y) - 3*r(y). Is h(-8) prime?
True
Suppose -3*x + 3647 = -520. Let g = -983 + x. Suppose -4*w - 78 + g = 0. Is w composite?
True
Suppose 4*v = -z - 0 + 19, 3*v = -3*z + 21. Suppose -2*o - 458 = -z*c, -3*c - c - 3*o + 639 = 0. Suppose -176 = -4*j + c. Is j composite?
False
Suppose -s + 2*s + 16 = 2*r, -20 = 5*s + 2*r. Is 1/(s/78714*-3) prime?
True
Suppose 0 = -58*m + 59*m - 2. Suppose -m*i + 886 = 5*b, 3*b - 89 = -2*i + 797. Is i prime?
True
Suppose -v + 3*a = -0*a - 2821, 4*a = 3*v - 8468. Suppose 5*l - 1404 = -2*m, -2*l + 0*l = 4*m - v. Is m prime?
False
Let n(t) = t**2 + 11*t - 1. Let p be n(-10). Let h = p + 8. Is 1/h - 1308/(-9) composite?
True
Suppose -4*c - 12 = 4*t + t, 3*c - 14 = 2*t. Suppose -f + 3*p = 723 - 1880, 5*f - 5751 = -c*p. Is f prime?
True
Let x(u) = -15*u**2 - 6*u - 3. Let c(j) = -j**2 + 11*j - 14. Let m be c(10). Let p be x(m). Let g = 670 + p. Is g composite?
True
Let x(h) = -32*h - 11. Let k = -21 + 14. Is x(k) a composite number?
True
Let y(r) = 232*r + 7. Let b(p) = -2*p + 7. Let s be b(-2). Is y(s) composite?
True
Let q(r) = 1394*r**2 - 10*r - 2. Is q(-2) a composite number?
True
Suppose 2*b = 6*b + 72. Let w = 23 + b. Suppose 1983 = w*s + 518. Is s a composite number?
False
Let x(g) = g**2 + 6*g + 9. Let n be x(-4). Is 4*((-285)/(-6) + n) a composite number?
True
Suppose 402*p = 393*p + 116442. Is p prime?
False
Is (-1086836)/(-44) - ((-258)/(-33) + -8) composite?
True
Let o(d) = -107*d**3 + 4*d**2 - 7. Let f(a) = a**2 - 36*a**3 + 14*a - 2 - 14*a. Let q(j) = 7*f(j) - 2*o(j). Is q(-1) a prime number?
True
Suppose 0*a + 3*a + 45 = -3*r, r = 5. Is (-1)/5 - 7824/a prime?
False
Suppose 200107 = 110*u - 106*u + 3*b, 4*b = -u + 50030. Is u prime?
False
Suppose -5*u = -k - 1908, -2*k - 207 = u - 582. Is u a composite number?
True
Let f(q) = 8*q - 3. Let c(o) = o. Let m = 11 + -9. Let l be c(m). Is f(l) a composite number?
False
Let p(o) = 2759*o + 51. Is p(8) composite?
False
Let k(q) = 37*q - 11. Let u be 5*(-8)/(-60)*3*3. Is k(u) a prime number?
True
Let s = 26 + -14. Suppose -5*x - s = -32. Suppose -x*j + 472 = -124. Is j a composite number?
False
Let g be (-84)/10 - 10/(-25). Let m(k) = -4*k - 6. Let a be m(g). Suppose 29 = y - a. Is y a prime number?
False
Let h(p) be the first derivative of 0*p**2 + 337/4*p**4 + 0*p + 0*p**3 + 7. Is h(1) composite?
False
Let r(a) = 28*a - 2. Let l be r(2). Let v = -4 + 8. Suppose -2*g = -9 + 3, -3*i - v*g = -l. Is i a composite number?
True
Let v be (-3)/((-1)/(8/(-3))). Is (-9436)/(-12) + v/(-12) composite?
False
Let n be -4 - -3945*(-1)/4*-4. Suppose -5*y + n = 2*y. Is y composite?
False
Suppose 5675 - 26263 = -4*z. Is z composite?
False
Let l(i) = -6*i**3 + 2*i**2 - 3*i + 4. Let z be l(-4). Let u = z - 298. Is u prime?
False
Let w(x) = 14*x**2 - 4*x + 4. Let p be w(1). Is (3 - 21/p)/((-2)/(-1516)) prime?
False
Suppose 3*c = 1360 + 524. Suppose -c = -p - 3*p. Is p composite?
False
Let p be (2240/(-12) + 2)/((-2)/(-3)). Let u = 1139 + p. Is u a composite number?
True
Let b(g) = 367*g**2 + 61*g - 477. Is b(10) prime?
True
Let n = 16 - 13. Suppose -8*o + 45 = -n*o. Suppose -g + o = -42. Is g prime?
False
Is (-1)/2*1*-7817*2 composite?
False
Suppose 0 = -11*w + w + 10. Is -2 + (2/w - -734) a prime number?
False
Suppose -3*q + 5*t = -q - 22, 0 = -3*q - 4*t + 10. Let x(n) = -n**2 + 9*n - 13. Let k be x(q). Let b(j) = j**3 - 2*j + 4. Is b(k) a composite number?
True
Let b(i) = 239*i**2 - 7*i - 37. Is b(-6) a composite number?
False
Let i(d) = -44*d - 1. Let j be 4/6 - (-477)/(-27). Let b = 16 + j. Is i(b) composite?
False
Let x(d) = -2*d - 2. Let l be x(-2). Suppose l*z = -0*z. Suppose 2*r = -3*i + 56, z = 5*i + 5 + 5. Is r a prime number?
True
Let a be 6/4 + 63/(-6). Let u = a - -18. Suppose u*g - 2036 = 5*g. Is g prime?
True
Suppose -3*v + 15 = 2*v. Suppose 0 = 5*m + v*p - 577, -p - 456 = -4*m - 2*p. Is m prime?
True
Is (15018/15)/(207/(-45) + 5) a composite number?
False
Let j be ((-6)/(-2))/(3/(-9)). Let o = 112 + j. Is o prime?
True
Suppose 20 = 3*z + 2*z. Suppose 3*t = x + 16 - 2, 12 = t - z*x. Suppose -6*i = -t*i - 92. Is i composite?
True
Let d(x) = 3*x - 3. Let a be d(5). Let o(z) = 1 + 0*z + z + a - 7*z. Is o(-11) a composite number?
False
Suppose -5*z - 7 - 5 = 4*h, -h - 3 = 2*z. Suppose -3*f + z*f = -24. Suppose -f*q = -12*q + 476. Is q composite?
True
Let j = 13959 + -5990. Is j prime?
False
Let p(t) = 77*t**2 + 5*t + 3. Is p(-3) prime?
False
Suppose 11*h - 3*b = 7*h + 132269, 0 = 2*h + 4*b - 66162. Is h a composite number?
False
Suppose 4*o - 16 = -b, -o - 3*b + 0 + 15 = 0. Suppose 5*t - 4*s + 0*s - 2199 = 0, 4*t - o*s = 1759. Is t a composite number?
False
Suppose 18*g + 16 = 10*g. Is (14/(-4) - 2)/(g/772) composite?
True
Suppose -y = -2111 - 4020. Is y a composite number?
False
Let q(t) = -35*t + 4. Let p be q(-1). Suppose -p*l = -43*l + 7096. Is l composite?
True
Let i(n) = -16*n**3 + n**2 - 2*n + 2. Let x be -4 + 0 - 1/(-1). Is i(x) composite?
False
Let p = 1114 - 447. Is p prime?
False
Suppose 44*h = 39*h + 38455. Is h prime?
True
Let x be 6/8 + (-27775)/20. Let j = -945 - x. Is j composite?
False
Suppose 0 = -0*n - 9*n + 47997. Suppose -4*y - 2135 = -2*f - 5*y, -5*f = 4*y - n. Is f a prime number?
True
Suppose g = -3*s - 2*g - 87, -33 = s + 5*g. Let l = 29 + s. Is (334 - l) + (-24 - -20) a composite number?
True
Let k be -2*((-5)/2 - -1). Suppose -3181 = -4*d - f, -3*d + f = -2*f - 2382. Suppose -k*p + d = -0. Is p composite?
True
Is 7*66/(-3 - -9) prime?
False
Suppose 42 = 5*s + 67. Is (s - 63060/(-65)) + 2/(-13) composite?
True
Suppose 5*p = -2*o - 37, 8*o - 2*p = 4*o - 14. Is (1 + 29)/o - -3132 a prime number?
False
Let w(f) = 2*f**3 + 107*f**2 + 29*f + 7. Is w(-50) a composite number?
False
Suppose 0 = 788*l - 795*l + 20251. Is l a composite number?
True
Suppose 0 = -32*d + 25*d + 73591. Is d composite?
False
Let t(l) = 6*l**2 - 5. Let a be t(2). Suppose 5*o = -5*i + 80, -i = -3*o + 31 + 9. Suppose -o*n + a*n - 955 = 0. Is n a prime number?
True
Let x(c) = c**2 + 4*c**3 + 194 - c**3 - c + 2*c**3 - 4*c**3. Is x(0) composite?
True
Let z(i) = -7625*i + 14. Is z(-1) composite?
False
Let o(l) = -134*l**3 + 10*l**2 + 15*l - 44. Is o(-9) prime?
True
Let o = -22 - -25. Suppose -2*y + 823 = 2*w - w, 0 = -4*w + o*y + 3281. Is w a composite number?
False
Let w(d) = -d**3 + 25*d**2 - 45*d + 8. Is w(19) a composite number?
False
Let t(f) = -4*f + 18. Let h be t(3). Suppose 11895 + 1323 = h*k. Is k a composite number?
False
Let k(a) = -a**3 + 4*a**2 + 5*a + 7. Suppose -5*y + 1 + 34 = 5*t, 16 = 2*t + 3*y. Let r be k(t). Let j(n) = 10*n