- 2*g. Let x = 1 - -2. Is 20 a factor of n(x)?
False
Let x(j) = -j**2 - j + 6. Let i be x(0). Suppose -8*u + i*u + 12 = 0. Suppose -y + 15 = u. Is y a multiple of 6?
False
Let l = -86 - -90. Is 1184/12 + l/(4*3) a multiple of 9?
True
Let o(m) = 7 + m + 0*m**2 - m**2 + 4*m**3 - 5. Let q be o(-2). Let h = q - -50. Is h a multiple of 14?
True
Suppose -1896 = -4*p - 4*s, -4*p + 1904 = -2*s + 4*s. Does 9 divide p?
False
Let s(x) = 4*x**2 + 31*x - 46. Is s(7) a multiple of 85?
False
Let k(u) = -8*u**3 + 2*u**2 - u. Let d be k(1). Let i(t) = t**3 + 9*t**2 + 9*t + 13. Does 12 divide i(d)?
True
Let r(d) = -1720*d + 9. Is 91 a factor of r(-1)?
True
Let x(u) = 2*u**2 - 36*u + 45. Is x(23) a multiple of 16?
False
Suppose 0 = 50*n - 61*n + 52250. Is 10 a factor of n?
True
Let s(n) = -11*n + 1. Let y be s(-4). Let u = y - -39. Is u a multiple of 14?
True
Let k = -791 + 1244. Is k a multiple of 10?
False
Let r = 69 - 27. Let g be (r/(-8))/(3/(-40)). Let p = g - 9. Is p a multiple of 13?
False
Suppose -6*a = -11*a + 15. Suppose 0 = -3*c + n - a*n + 137, -n = -5*c + 224. Suppose 15 = -3*v + c. Is 7 a factor of v?
False
Suppose -2*u - 2*m = -4*m - 72, 0 = 5*u + m - 162. Let k be -5*(1 + u/(-15)). Suppose 0 = -k*z + 2*z - 3*i + 94, 4*i = 8. Is 7 a factor of z?
False
Does 60 divide ((3/(-4))/1)/((-35)/33600)?
True
Suppose 0 = -r - 4*z - 27, 0 = 2*r - r - 3*z - 8. Let o = r + 9. Suppose 4*u - o*u = 108. Is u a multiple of 18?
True
Is 41 a factor of 9/27*(-2 + 1970)?
True
Let u = 198 + -62. Suppose -u = -4*b + 2*g, -2*b - 2*g - 2*g = -48. Does 8 divide b?
True
Suppose 0 = -11*x + 2099 + 871. Does 15 divide x?
True
Let f(t) = 4*t - 36. Let p be f(0). Let l = -19 - p. Is l a multiple of 13?
False
Does 27 divide (-2)/2*(12 - 66)?
True
Let a(h) = 18*h**2 - 87*h - 7. Is a(7) a multiple of 5?
False
Let x = -11 - -16. Suppose -m = -0*m - x. Suppose -g - 186 = -3*a - 0*g, m*a - 5*g = 300. Is 24 a factor of a?
False
Suppose -35*b + 30072 = -21*b. Is b a multiple of 12?
True
Let v(u) = u + 11. Let j be v(-11). Suppose -5*b = -j*a + 2*a - 59, -b - 173 = -4*a. Is 7 a factor of a?
True
Suppose q + 0*q = 6. Let s be 2*(-2 + 27/q). Suppose 0 = -s*n + 2*n + 135. Does 8 divide n?
False
Let z be 24/9*(-12)/(-8). Suppose -15 = 5*x, 3*x - 81 = -z*i + 214. Is i a multiple of 16?
False
Suppose 48 = 2*r - 40. Let k = r - 64. Is (-2)/10 - 1124/k a multiple of 14?
True
Is 63 a factor of (204/272)/((-6)/(-6128))?
False
Let p(i) = i**3 + 19*i**2 + 35*i - 3. Is p(-12) a multiple of 13?
True
Let b be 52/(-10)*(-58 + -2). Suppose w = 10 - 0. Suppose w*l = 6*l + b. Is l a multiple of 28?
False
Suppose 10 = 9*b - 7*b. Suppose 4*d = 5*t - 83 + 364, -b*d = t - 315. Is d a multiple of 16?
True
Let b(y) be the second derivative of y**4/12 - 13*y**3/6 - 18*y**2 + 18*y. Is b(17) a multiple of 3?
False
Suppose 3*f - 3*w - 2130 = 0, 4*f - 4*w = -5*w + 2865. Does 14 divide f?
False
Suppose 2*q = -5*p + 6*p - 289, -5*p + 4*q + 1475 = 0. Does 23 divide p?
True
Let v(n) = 3*n**2 + 2 - 1 + 2 + n**3 + 10*n**2. Let a be v(-13). Suppose -l = -a*l + 96. Does 16 divide l?
True
Let z = -6 - -9. Suppose -a + 41*f + 5 = 42*f, -a + 13 = 5*f. Suppose 0 = -2*p + z*i + 59, 0 = -a*p + p - 5*i + 35. Does 5 divide p?
True
Let r(p) = -2*p**2 + 3*p + 1. Suppose 4*i - 5*i = 0, 12 = 3*z + 5*i. Let b be r(z). Let a = -10 - b. Does 9 divide a?
True
Let k(w) = -2*w**3 + 2*w**2 + w - 3. Let z be k(2). Is 13 a factor of 5 + z/(18/(-212))?
False
Let u = 51 - 30. Suppose p + 6 = -3*k + u, 3*p = -2*k + 17. Suppose -s = k*s - 130. Is s a multiple of 26?
True
Let h = 80 + -75. Suppose -m = 1, 215 = 7*l - 3*l + h*m. Is l a multiple of 55?
True
Suppose 4*t - 9 = -5*i + 2*i, -2*t = 2*i - 2. Let y(o) = 2*o**2 - 7*o - 2. Let c be y(t). Is ((-9)/2)/((-7)/c) a multiple of 17?
False
Let a = -34 + 41. Let l(i) be the first derivative of i**4/4 - 7*i**3/3 + 5*i**2/2 - 9*i + 1. Is 13 a factor of l(a)?
True
Let n = -16 + 10. Let k(g) = -39*g**3 + 2*g**2 + 6*g - 1. Let h(o) = -39*o**3 + 2*o**2 + 7*o - 1. Let i(y) = n*h(y) + 7*k(y). Is 10 a factor of i(-1)?
True
Suppose -21 = -3*c - t, -4*c = -9*c + t + 43. Let i(q) = q + 1. Let b be i(c). Does 7 divide 183/b + (-4)/(-6)?
True
Suppose -8*v + 2940 = -18*v. Is v/(-35) - 8/20 a multiple of 8?
True
Suppose -48*c + 8499 + 6525 = 0. Is 6 a factor of c?
False
Suppose -3*j + 2*j - 3 = -5*s, 5*j = s - 15. Let i = -430 + 622. Suppose s = -2*b - 6*b + i. Is 9 a factor of b?
False
Suppose 6 = 5*m - 2*m. Let h(f) = 2*f**3 - 2*f**2 - f - 2. Let x be h(m). Suppose -8 - 236 = -x*l. Does 13 divide l?
False
Let h(l) = l**2 - 13*l - 3. Let j be h(13). Let y be 12*-1*4/6. Does 3 divide -1*(y - 0) + j?
False
Is 12 a factor of (-161)/23*360/(-14)?
True
Let p(z) = z**2 - 2 - 4*z - 3*z + z. Let w be p(9). Suppose -r + 17 = -w. Does 14 divide r?
True
Let f be ((-102)/85)/(1 - 26/20). Suppose f*q - 6*q = -120. Is 39 a factor of q?
False
Let i(y) = 2*y**3 - 11*y**2 - 14*y + 7. Let u be i(9). Suppose -u = -0*w - 2*w. Is 35 a factor of w?
False
Suppose 5*i + 3*d + 375 = 8*i, -i + 100 = 4*d. Does 20 divide i?
True
Suppose 3*w - 159 = -i, 3*i + 3*w + 759 = 8*i. Does 17 divide i?
True
Suppose d + 4*d = -n + 770, 3*n = 0. Is d a multiple of 6?
False
Let m(n) = -n**2 + 6*n - 3. Let p be m(4). Suppose 0 = -p*q + 3*i - 0*i + 646, -3*i + 506 = 4*q. Suppose 8 = -2*y + q. Is 12 a factor of y?
True
Let u be (-642)/9 + 1/3. Let k = u - -106. Let b = k + -7. Does 8 divide b?
False
Suppose -6*b + 214 = -1064. Let t = b + -81. Is t a multiple of 11?
True
Let c(g) = 3*g**2 - 2*g - 1. Let y be c(-1). Suppose -m = y*z - 66, -3*z = 3*m + 8 - 62. Does 3 divide z?
False
Let o be -4 + ((-4)/(-4) - -2). Is 30 a factor of (-23)/((3/6)/o)?
False
Suppose 21 = 7*o - 4*o. Let w(t) = -4*t + 40. Is w(o) a multiple of 3?
True
Let b(q) = -261*q - 44. Does 25 divide b(-4)?
True
Suppose -2*s = -3*o - 453, -s + 3*s = -3*o + 483. Does 13 divide s?
True
Suppose 48*s - 112678 = -41398. Does 11 divide s?
True
Is 11 a factor of (-17 + 5)*22/(-6)?
True
Let a(s) = -7*s + 219. Is 6 a factor of a(-2)?
False
Suppose 4*r - 7*r + 879 = 0. Suppose 4*g - g - p - r = 0, 0 = -5*p + 5. Is 14 a factor of g?
True
Let u = -48 + 50. Suppose 3*y = 2*q - 337, -u*y = 4*q + q - 814. Is 9 a factor of q?
False
Suppose 2*h = 6, 2*h + 0*h = 3*m + 18. Does 34 divide (-102)/m*(-12)/(-9)?
True
Let z = -242 + 481. Is z a multiple of 6?
False
Let h = 0 - -4. Suppose -25 = -g - h*g. Suppose -32 - 68 = -g*f. Is 5 a factor of f?
True
Let h(b) = b**2 - 3 + 10*b + 4*b - 6*b. Let j be h(-8). Is 1 - j*16/2 a multiple of 10?
False
Does 46 divide -12*(4 + -5)*46?
True
Let o = 15 + -14. Let v be 0*o/(2 + -5). Suppose -r - r + 216 = v. Is r a multiple of 36?
True
Suppose -4*x + 0 = 5*h + 37, 5*x + 4*h = -35. Suppose 4*o = 147 + 1. Let c = x + o. Is 22 a factor of c?
False
Suppose 3*j + 2 + 1 = 0, -r + 14 = -2*j. Suppose -3*k + r = -k. Suppose 3*o - 6*o = -k, 0 = -v - 2*o + 28. Does 12 divide v?
True
Let d(o) = o**3 - 3*o**2 - o + 2. Suppose -2*k - 15 = -7*k. Let b be d(k). Is ((-5)/2 + b)*-12 a multiple of 14?
True
Suppose -30 = -5*p + 15. Suppose -2*q - p = -3. Is 18 a factor of (2/(-6))/(q/414)?
False
Let v(l) = -l**2 + 19*l + 20. Suppose 4*p + 80 = 9*p. Is 34 a factor of v(p)?
True
Suppose -2*g + 6*g - 1572 = 0. Suppose 7*o = 4*o + g. Is o a multiple of 36?
False
Let n(o) = o**2 + 4*o - 1. Let h be n(9). Is h/3 - 92/(-69) a multiple of 20?
True
Suppose 0 = 3*p + 11*p - 28. Suppose -b + 89 = p*a, -173 = -2*b + a - 6*a. Is 9 a factor of b?
True
Let l = -307 - -363. Is l a multiple of 4?
True
Let p = -7 - -9. Suppose -3*z = -2*b - p*b - 2, 0 = z + 3*b + 21. Is (-262)/(-11) + z/(-33) a multiple of 9?
False
Let j(r) = 336*r**2 + 10*r - 20. Does 72 divide j(2)?
False
Let i = -145 + 1051. Does 9 divide i?
False
Let i(d) = 7*d**2 - 51*d + 290. Is 8 a factor of i(5)?
False
Suppose 0*v - 3*w + 19 = -2*v, 3*v + 2*w + 9 = 0. Does 8 divide (-332)/v - 2/5?
False
Let w(u) = -u**2 + 40*u + 104. Does 3 divide w(41)?
True
Let k be (-152)/(-6) + 2/(-6). Let g be (-2 + -15)*(5 - 4). Let w = k - g. Does 21 divide w?
True
Let n be 3/(-1) - (6 - 7). Is n/(((-15)/55)/3) even?
True
Suppose 4*q = u + 252, 6*u = -q + u + 84. Let x = q - 43. Is 11 a factor of x?
False
Is 2203/15 - (4/(-30) - 0) a multiple of 49?
True
Let z = -8