e 2*l + j*b - 2*b = 98, 5 = -x*b. Is l a multiple of 22?
False
Let o(s) = 82*s - 252. Is o(21) a multiple of 70?
True
Let l(u) = -1. Let n(i) = i**3 - 9*i**2 + 6*i - 9. Let r(k) = l(k) - n(k). Suppose -4*w + 7 = -3*w. Is 10 a factor of r(w)?
False
Let j(v) = -3*v**3 + 36*v**2 - 20*v - 12. Let l(u) = u**3 - 12*u**2 + 7*u + 4. Let c(t) = -6*j(t) - 17*l(t). Let h be (-1 - -8) + 130/26. Does 8 divide c(h)?
True
Suppose 14*h - 5102 - 400 = 0. Is 6 a factor of h?
False
Let b = 10 - 6. Suppose -w + 2*w - i = 43, -b*i = -16. Is w a multiple of 47?
True
Suppose -2*b + g - 6*g = -35, -b = -4*g + 2. Suppose 11*a = b*a + 63. Does 26 divide a?
False
Suppose -o = -5*j - 411, 1131 + 84 = 3*o + 3*j. Is o a multiple of 15?
False
Suppose -7*g + 532 = -0*g. Let c = 130 - g. Does 18 divide c?
True
Let t(s) = -s**3 + 24*s**2 + 7*s + 123. Is 22 a factor of t(24)?
False
Is 9 a factor of 1456*((-11)/165 + (-32)/(-30))?
False
Suppose 3*h - 10 = -2*p + 5, 0 = 3*h - 5*p - 15. Is (-1 - -2)/(h/55) a multiple of 11?
True
Let g(v) = -6 - 11 - 4*v + 4*v**2 + 0*v. Does 17 divide g(7)?
False
Let y(r) = r**3 + r**2 - r - 2. Let g be y(-2). Let p = 7 + g. Suppose 0 = -p*x + 58 + 86. Does 16 divide x?
True
Suppose -7485 = -5*r + 370. Is r a multiple of 34?
False
Let r(d) = -7*d + 195. Is 35 a factor of r(-8)?
False
Let r(q) = -13*q - 6*q**2 + q**3 - 6*q**2 + 9 + 2*q**2. Let o be r(11). Let x(z) = -2*z**2 - 29*z - 6. Does 11 divide x(o)?
True
Let r(s) = -s**2 + 28*s + 53. Is r(18) a multiple of 4?
False
Suppose 0 = -4*i + 2*x - 11 - 11, i + 3*x = 12. Is (-12)/8 - (i - 137/2) a multiple of 14?
True
Let d be 206/(-8) - 1/4. Let w = d - -50. Does 11 divide w?
False
Suppose 4*s + 34 = -2*u, s + 3*u + 19 = -s. Is (10/16*-6)/(s/64) a multiple of 13?
False
Is 32 a factor of (475 - 1)*1/2?
False
Let c(t) = -11*t**2 - 6*t. Let x(y) = y**2 + y. Let u be ((-1)/(-3))/((-5)/15). Let l(v) = u*c(v) - 6*x(v). Is 15 a factor of l(2)?
False
Suppose 2*l + 2*c - 320 = 120, -3*l = -2*c - 670. Is l a multiple of 111?
True
Let k = -84 - -136. Let g = k - 23. Let m = g + -1. Is m a multiple of 5?
False
Let f(n) = -37*n. Let w(g) = 3*g - 13. Let c be w(3). Is 16 a factor of f(c)?
False
Let f(l) = -63*l**3 - l - 1. Let v = 12 - 9. Let m(b) = 64*b**3 + 2*b + 2. Let s(i) = v*f(i) + 2*m(i). Is 11 a factor of s(-1)?
False
Does 49 divide (-126)/24*(-56)/15*65?
True
Let h(p) = p + 5. Let a be h(3). Let z be a/12*(-3)/(-1). Suppose 0 = 5*y - z*f - 36, -3*y + f - 6 = -28. Is 8 a factor of y?
True
Let k = -83 - -259. Is 22 a factor of k?
True
Let i = -377 + 804. Suppose -3*d + 740 = -5*q, -d + i - 167 = -5*q. Is 40 a factor of d?
True
Is 10 a factor of (-22)/(-8)*-62*-2?
False
Let l = 201 + 36. Does 5 divide l?
False
Suppose 0 = 2*r - 2*d - 8, 3*d + 0*d = -5*r + 4. Does 33 divide (r - (-364)/16)*16/6?
True
Let r be -3 + (1 - (36 + -4)). Let a = -7 + -3. Let k = a - r. Is k a multiple of 24?
True
Suppose -20*s = -106 - 7734. Does 54 divide s?
False
Let r(i) = -2*i**3 - 7*i + 4. Let w be r(2). Suppose 5*g - 39 = 81. Is (-108)/g*w/3 a multiple of 13?
True
Let v be -4 + 3 - (2 + -9). Suppose 3*y - v = y. Let a = y + 8. Does 6 divide a?
False
Let k = -3516 - -5530. Is k a multiple of 19?
True
Let u(o) = o**3 - 10*o + 2*o + o**2 - 4*o**3 - 6 - 3. Let s(b) = b**3 - b**2 + b + 1. Let w(k) = 5*s(k) + u(k). Is 9 a factor of w(4)?
False
Let p = -215 - -348. Suppose -p = -12*b + 179. Is b a multiple of 11?
False
Let z = -40 - -181. Let y = z - 99. Is 10 a factor of y?
False
Let a = -64 + 68. Suppose -l = -2*o - 3, -3*l + 12 + 3 = -a*o. Is l a multiple of 9?
True
Is (-32)/4*(-7)/28*134 a multiple of 11?
False
Let a be 4/(-6) + (-22)/(-6). Suppose -n - 39 = 3*l + a*n, -30 = 5*l - 5*n. Is (6/l)/((-1)/57) a multiple of 10?
False
Suppose -3*g - 3*a + 36 = -4*a, 2*g = 2*a + 20. Is 5 a factor of g?
False
Let c be (-1)/2 - (-33)/22. Let i(x) = -3*x**2 - x + 2. Let h be i(c). Does 23 divide 3 + (-327)/(-3) - h?
False
Let f(n) = -185*n**3 - 3*n**2 - 9*n - 11. Let h(g) = -93*g**3 - 2*g**2 - 5*g - 6. Let y(l) = 4*f(l) - 7*h(l). Is y(-1) a multiple of 15?
True
Let a(g) = g + 0*g**3 + 1 + 4*g**3 - 3*g. Let h be a(1). Suppose -h*o = 5*z + 1 - 2, 0 = -4*z - 16. Does 3 divide o?
False
Let h = -90 - -84. Is 1*h*((-60)/8 - -3) a multiple of 2?
False
Suppose -4*n + 6*n = 20. Suppose -d = n*d - 1430. Is d a multiple of 6?
False
Suppose 2*o + 15 = 5*f - 14, o = -2*f + 17. Let z be (-365)/(-35) + (-3)/f. Let y(h) = -h**2 + 11*h + 14. Is y(z) a multiple of 12?
True
Let n be (30 + 0)*8/10. Suppose -k + 27 = 3*f, -5*f + 3*k = 8*k - 45. Let s = n - f. Does 7 divide s?
False
Is 49 a factor of 469/134*2*7?
True
Does 9 divide 40 - 6 - (-3 + 5)?
False
Suppose 0 = o - 3, -o = 60*a - 56*a - 5295. Does 8 divide a?
False
Let h be -4 + 131 + -2*1. Let j = h - 86. Does 9 divide j?
False
Suppose -2*q - 2*h - 86 = 0, -3*q - 43 = h + 96. Let p be -4*2/8 - 3. Let f = p - q. Is f a multiple of 16?
False
Let t(h) = -41*h + 257. Does 17 divide t(-5)?
False
Let p(y) = 57*y + 102. Is p(3) a multiple of 17?
False
Suppose 5*x - 3*r - 2794 = 0, -333 = -2*x + r + 785. Does 14 divide x?
True
Let n(x) = -x**3 - 4*x**2 + 3*x + 8. Let c be n(-5). Let w(u) = u**2 - 15*u + 13. Does 12 divide w(c)?
False
Let a = -2141 + 3496. Is a a multiple of 21?
False
Let u = -150 - -611. Is u a multiple of 71?
False
Let m = -8 + 11. Suppose 4*g = m*o, 2 = -2*g + 2*o - 0. Is 14 a factor of (2/1)/(g/42)?
True
Let p(l) = -l**3 + 13*l**2 - 36*l + 2. Let y be p(9). Is y/(8/2*16/416) a multiple of 13?
True
Let q(v) = -4*v - 23. Let x be q(-6). Suppose 5*w - 9 - x = 0. Suppose -r = -w*r + 36. Is 12 a factor of r?
True
Let q(f) = 45*f + 270. Does 80 divide q(17)?
False
Let w(g) be the second derivative of -5/3*g**3 + 0 + 2*g + 0*g**2. Is w(-3) a multiple of 10?
True
Let g(u) = -u**3 + u**2 - 8*u + 930. Is g(0) a multiple of 8?
False
Let a(r) = 2*r**2 + 55*r + 43. Does 54 divide a(-42)?
False
Let a = -6 + 11. Suppose -a*f + 2*f - 33 = 0. Let s(z) = -4*z - 14. Is s(f) a multiple of 10?
True
Let v(t) = -22*t - 169. Does 3 divide v(-9)?
False
Let n(c) be the second derivative of -13*c**5/10 + c**4/12 + c**3/3 + c**2 + 10*c. Is 27 a factor of n(-1)?
True
Let g be -1 + 73 - 9/(-3). Let z = -11 + 15. Suppose 0 = o + z*o - g. Does 15 divide o?
True
Let d = -9 - -73. Is 64 a factor of d?
True
Let q(h) = -2*h + 116. Is q(-10) a multiple of 17?
True
Let f(i) = 56*i**2 - 33*i + 31. Is 106 a factor of f(7)?
True
Let d = -163 + 304. Is d a multiple of 6?
False
Suppose 189*x - 185*x - 576 = 0. Does 27 divide x?
False
Let h(a) = a**2 - 5*a - 5. Suppose 25 = -5*u, -x = 3*x - 5*u - 65. Does 6 divide h(x)?
False
Suppose -2*d - 3*t + 1 = 0, -3*d = 2*t - 0 + 1. Does 21 divide 8/((-112)/(-3530)) - d/(-7)?
True
Let g = 82 - 162. Let l = g + 241. Is l a multiple of 23?
True
Let q(p) = -p - 3. Let v be q(-5). Suppose -3*i = -3*s + 2*i - 28, -i = -v. Does 15 divide 148/5 - s/15?
True
Let x = 31 + -16. Let n = 3 - x. Let h = 3 - n. Is 5 a factor of h?
True
Let y = 427 - 190. Does 13 divide y?
False
Let b = 336 - 282. Does 18 divide b?
True
Suppose -3*n - 5*g = -310, -7*n + 3*n + 3*g + 394 = 0. Is n a multiple of 44?
False
Suppose 3*s = 5 - 2. Is -1 - 1/((-2)/(191 - s)) a multiple of 12?
False
Suppose -288 = -z + 7*z. Does 25 divide (8/(z/30))/((-1)/20)?
True
Suppose -19*a + 8318 + 14501 = 0. Is 23 a factor of a?
False
Suppose -4*l = -2*d + 2686, -6667 = -22*d + 17*d - 2*l. Does 54 divide d?
False
Let i be 18/117 - 958/(-26). Suppose 12 - i = -f. Is f a multiple of 5?
True
Let j = 19 + -18. Does 3 divide ((-39)/(-65))/(j/15)?
True
Let k(g) be the second derivative of g**4/12 + 5*g**3/6 + g**2 + 5*g. Let c be k(-6). Is (c/(-2))/((-18)/99) a multiple of 14?
False
Let d(h) = h**3 + 2*h**2 + 2*h - 1. Let f be -4 - (3/1 - 5). Let a be d(f). Let z(y) = -y**3 - 4*y**2 - 6*y + 5. Does 20 divide z(a)?
True
Let j = -602 - -122. Is 22 a factor of j/(-22) + 12/66?
True
Suppose 4*n = -3*t + 5*n + 5, 3*n = -2*t + 18. Let b be (8/t)/((-3)/837). Is 26 a factor of b/(-18)*6/4?
False
Let a(s) = s**2 - 15*s + 59. Is 15 a factor of a(4)?
True
Suppose -5*l - 4*m + 235 = 0, 2*m - 220 = -5*l + m. Suppose 4*q - 38 = -2*s, 4*q - 2*s + 3*s = l. Does 6 divide q?
True
Suppose 8399 - 1568 = 9*g. Is g a multiple of 18?
False
Let a = -2 - -20. Is (-4)/a + 