 6*w - 12. Let r be y(8). Suppose i = 6*f - 2*f - r. Is f composite?
False
Suppose -12*g + 10*g = -35138. Is g composite?
False
Let r(o) = 15*o - 10. Let k(x) = x**3 + 4*x**2 - 3. Let h be k(-4). Let s be r(h). Let a = s + 112. Is a a composite number?
True
Let v = 137 + -128. Suppose -444 + 42 = 3*u. Let m = v - u. Is m a composite number?
True
Let n(i) be the first derivative of 7 - 25/2*i**2 + 4*i. Is n(-3) composite?
False
Let w(c) = -5*c**3 + c**2 - 1. Let s be w(1). Let j(p) = -11 - 12*p - 10 + 16. Is j(s) prime?
False
Let b(s) = -105*s - 16. Let u(o) = -106*o - 15. Let y(w) = 2*b(w) - 3*u(w). Is y(4) composite?
True
Let a = 28 + -26. Suppose -a*q - 5*q + 1393 = 0. Suppose -4*h + q + 61 = 0. Is h composite?
True
Suppose 24 = -y + 5*y. Suppose -2*c + 243 + 2389 = 0. Suppose -c = 2*r - y*r. Is r prime?
False
Let j be -3 + (0 + -1)*1. Is j + (4 - 3 - -268) prime?
False
Let z = -7491 + 12394. Is z composite?
False
Suppose 3*g = 7*g - 4*n - 192592, 0 = 2*n + 6. Is g prime?
False
Suppose 4*w + 48036 = 3*d + d, -3*w = -12. Is d a composite number?
True
Suppose -40480 = -5*m - 5*z, -m + 4*z + 16222 = m. Is m a prime number?
True
Suppose -6*u + 11*u - 3*y - 57883 = 0, -4*y - 34721 = -3*u. Is u a composite number?
False
Let t(h) = -2*h - 25. Let b be t(-14). Suppose -b*a + 327 = 4*n - 2954, 5*n + 3*a - 4102 = 0. Is n a composite number?
False
Suppose -13411 = -4*b + 7105. Is b composite?
True
Let t(l) = -6*l - 2. Let n be t(-1). Suppose 0 = n*s - 0*s - 1884. Suppose s = -23*k + 26*k. Is k composite?
False
Suppose n = 229 + 96. Suppose 16 = 5*g - 3*t, -5*g + 6 = -24*t + 26*t. Suppose q - n = -2*k, 34 = -g*k + 3*q + 347. Is k a prime number?
False
Is (-16)/(-112)*-1 - (-15108)/14 prime?
False
Suppose 120*h - 47*h - 4740109 = 0. Is h composite?
True
Suppose 5684 = -13*k - k. Let i = k + 777. Is i a prime number?
False
Is 6/(-57) + (-48129)/(-19) a composite number?
True
Suppose 0 = 5*q - q - 3760. Let k = q - 525. Is k a composite number?
True
Let l(k) = k**3 + 48*k**2 + 29*k - 59. Is l(-39) a prime number?
False
Let p be -6 - 4 - (-2 - -4) - 4. Let w(d) = -49*d + 15. Is w(p) a prime number?
False
Suppose 25 = 8*h - 3*h. Suppose r + 7186 = 2*s + h*r, 3*r + 10779 = 3*s. Is s a composite number?
False
Suppose 196*m - 193*m - 5403 = 0. Is m a prime number?
True
Let i(o) = 151*o**2 - 25*o + 23. Is i(14) a prime number?
True
Suppose -g - 2*p - 224 = -0*g, -5*g - 2*p = 1120. Let q = g + 418. Is q a prime number?
False
Let n = 2853 + -1454. Is n a prime number?
True
Let n = 5718 - 3383. Is n composite?
True
Suppose 57*w - 353177 = 46*w. Is w a composite number?
True
Let p(c) = c**3 + c - 4. Let a be p(0). Let d(b) = -3*b**3 + 2*b**2 + b + 2. Let v be d(a). Suppose 4*m = -2*r + v, 3*r - 72 = 3*m - 216. Is m a prime number?
True
Let i(c) = -128*c - 4. Let q be i(-2). Suppose -3*a + 2 + 7 = 0. Suppose v - 4*f = q + 163, a*v + f = 1258. Is v a composite number?
False
Let i(h) = h**3 + 34*h**2 + 44*h + 42. Is i(-25) a prime number?
True
Is 4/(-18) + ((-469616)/(-72))/2 composite?
True
Let p(i) = 18*i**2 - 12*i - 161. Is p(-6) composite?
True
Let a = 1859 - 1277. Suppose 2*f - 3*i - 580 = i, 2*f - 2*i = a. Is f + 1 + (0 - 2) a composite number?
True
Suppose 0 = -8*v - 2*v. Suppose -4*y + 2940 = -y + d, v = 5*y - 2*d - 4889. Is y a composite number?
True
Let a = 360 - 55. Is a a prime number?
False
Suppose -4*u + 5*n + 7028 = 0, 0*n + n = -5*u + 8785. Is u prime?
False
Let m be 1/(9/21 + 2/(-7)). Is (-10782)/(-42) - (-2)/m*1 a prime number?
True
Is ((-3)/12*-4)/(1/2053) prime?
True
Let v = 11 + -14. Let y be 3/(-1)*(v - -6). Let s(q) = -q + 1. Is s(y) a prime number?
False
Suppose 5*f = 105709 + 207636. Is f composite?
True
Let g(l) = 6*l**2 - 9*l + 1. Let d be g(-9). Suppose -2*s = -z - 878, 3*s + 2*z - d = 749. Is s a prime number?
True
Let u = -49811 + 112108. Is u prime?
True
Let l be (5 - 4) + (0 - -1). Suppose -l*g - 1563 = -5*g. Is g a prime number?
True
Let p(k) = k**3 - 5*k**2 + 3*k - 3. Let i be p(4). Let s = i - -11. Is 2*223*s/8 a prime number?
True
Let b(r) = -r**2 + 7*r - 1. Let d be b(4). Let s = 15 - d. Suppose -3*n - n + 2*k = -742, 5*n + s*k = 921. Is n composite?
True
Let w = 9 + -11. Let u be -125 - (0 - 2/w). Is u/6*15/(-9) composite?
True
Let f = 13010 - 8391. Is f a prime number?
False
Let w = 522 + -133. Let y be (-1)/2 - 56/(-16). Suppose -5*r + w = -4*l - 910, y*r - 780 = 3*l. Is r a composite number?
True
Let m(h) = -h - 50 + 99 - 44 + 17*h**2. Is m(7) prime?
False
Is 17/51 - (-10892)/3 prime?
True
Let x(c) = -16*c**2 - c. Let m be x(2). Let o be 5 - 3 - 3*m. Let y = 177 + o. Is y composite?
True
Let o be 8/52 + (-256)/(-26). Let x be (-51)/(-15) - (-6)/o. Suppose -x*t - 4*n = -2520, -3*t + 4*n - 2*n + 1915 = 0. Is t prime?
False
Suppose 27*f = 5*y + 22*f - 131210, 4*y = 2*f + 104958. Is y prime?
True
Let w(s) = -177*s**2 - 3*s + 1. Let t be w(-4). Let q = -1132 - t. Is q a prime number?
False
Is (-16)/(-24) + 43924/12 a composite number?
True
Let j(q) = 1307*q - 4. Let f be (0 + -1)/(3/(-6)). Let c be j(f). Suppose -t = v - 526, -t + c = 5*v - 0*t. Is v a prime number?
True
Suppose -21 + 0 = 2*r + 3*k, -2*r - 2*k - 16 = 0. Let t = r - -3. Suppose 5*v = -g + 213, 3*g - v = -t*v + 671. Is g a composite number?
False
Suppose f - 371 = 12. Suppose 0 = 2*a - 1201 + f. Is a prime?
True
Let d = 63 + -27. Is 5871/2*(-4)/d*-6 a composite number?
True
Suppose 0 = -5*x - 2*n - 0*n + 6, -2 = -5*x - 4*n. Suppose -c = -0*a + 4*a - 654, x*a - 3*c = 320. Is a composite?
False
Suppose -4*q + 3744 = 4*w, 3*q - q = -4*w + 3736. Let h be 2*(w/(-8))/(-1). Is (2 - 3)*(0 - h) a prime number?
True
Suppose 0 = -50*j + 141*j - 5155241. Is j a composite number?
True
Let t = -260 - -390. Let j = t - 47. Is j a composite number?
False
Let c(q) = 3*q**2 + 5*q**2 + 3*q + q**3 + 3*q - 3. Suppose 0 = 2*x - 5*x - 18. Is c(x) prime?
False
Let t(a) = -a - 2. Suppose 5*j - 8 = -3*c, 5*j = -0*c - 5*c. Let n be t(c). Suppose -n*p - 150 = -4*o, 46 = 5*o - 3*p - 144. Is o composite?
True
Let j be (2/(-4))/((-2)/(-16)). Let s(p) = p**3 - 9*p**2 + 15*p + 3. Let i be s(3). Is (-1 - j)*(-154)/i a prime number?
False
Suppose -599089 = -588*a + 569*a. Is a a composite number?
False
Suppose 4*r - 6666 = -2*b, 6*b - 1 = 5*b. Let j = r + -83. Is j a prime number?
True
Let n(u) = -8*u**3 + 3*u**2 - 22*u - 7. Let r be n(-8). Suppose -10788 = -5*f + r. Is f composite?
False
Suppose 245*v - 345619 = 214*v. Is v prime?
True
Is ((-54)/108)/(((-1)/(-434))/(-1)) prime?
False
Let x(h) = 4*h + 69. Let l be x(-16). Let k(c) = c**3 + c**2 + c + 9. Let r be k(0). Let f = r + l. Is f prime?
False
Let q = 662 + -32. Let m = q + -409. Let x = -64 + m. Is x a composite number?
False
Let q(x) = x**3 + 20*x**2 - 21*x - 7. Is q(-8) a composite number?
False
Let a = -118 - -122. Suppose -a*n + 4*i + 464 = 0, -6*n + 2*i = -n - 571. Is n a composite number?
False
Suppose 34*i = -0*i + 147118. Is i a composite number?
False
Suppose 0 = 3*i + 4*i - 112. Is (i/(-4) + -285)*-1 composite?
True
Let c be 10/15*(-3 + -3). Let j be 11/(4 + c - 1). Is -67*1*(j + 10) a composite number?
False
Let j be 645 - (-1)/3*-9. Let y = 1368 - j. Suppose -2*b = 4*u - y, 2*u + 151 = 3*b - 906. Is b a composite number?
True
Suppose 4*p - 6 = -3*o, -1 = 2*o - 5*p - 5. Let l be ((-1)/((-3)/4))/(8/18). Suppose -3*n - 659 = o*i - 6*i, -508 = -l*i + 5*n. Is i a composite number?
True
Let o = 47 + -47. Suppose -l - 957 = -a, o*a + 1926 = 2*a - 5*l. Is a a prime number?
True
Is ((8/12)/2)/((-1)/(-11829)) a prime number?
True
Let s(n) = -42*n**2 + 13*n - 12. Let j be s(13). Let m = 1550 - j. Is m a prime number?
False
Suppose 51857 = -24*o + 37*o. Is o a prime number?
True
Suppose 18*o = -27*o + 928170. Is o a composite number?
True
Let w(j) = j**3 + j**2 + 995. Let y be w(0). Suppose 0 = -5*n + 4720 - y. Is n prime?
False
Let p = -29 + 33. Suppose 3*j = 5*o + 4125 + 71, p*j + 4*o = 5584. Is j a composite number?
True
Suppose -2*y + 27741 - 5249 = 0. Suppose -156*c = -154*c - y. Is c a composite number?
False
Let b = -3958 + 18451. Is b a composite number?
True
Let i(y) = -156*y - 373. Is i(-7) a composite number?
False
Let c(l) = -3*l**3 + 11*l**2 + 150*l - 31. Is c(-18) prime?
True
Suppose -21*b = -55*b + 223006. Is b a composite nu