tiple of 3?
False
Let m(l) = -6 - 2 + 12*l**2 + 4 - 20*l - l**3 - 5. Is m(8) a multiple of 29?
True
Let s(k) = -3*k**3 + 2*k. Suppose -5*u - 14 = -4. Does 12 divide s(u)?
False
Let x(i) = 5*i**2. Suppose 0 = 3*j - 34 + 49. Is 5 a factor of x(j)?
True
Let z = -11 + 11. Suppose -4*p - p + 80 = z. Let g = p - -40. Is g a multiple of 28?
True
Let c(l) = l**3 - 6*l**2 - 6*l - 7. Let b be c(7). Let z = 386 + -206. Suppose b*n = -5*n + z. Is 12 a factor of n?
True
Let d = 82 + -66. Let p = 12 + d. Does 13 divide p?
False
Suppose -t + 200 = -2*y + 4421, -5*y + 10546 = 4*t. Is y a multiple of 29?
False
Is 28/(-20) + 2 + (-42966)/(-90) a multiple of 3?
False
Let z be (0 + (-2 - -2))/(-3). Suppose -5*o + 182 - 22 = z. Let l = 57 - o. Does 25 divide l?
True
Let y(k) = 6*k**2 - 3*k + 27. Let f be y(-9). Suppose -7*p + 2*p = -f. Is p a multiple of 13?
False
Suppose 80 = 5*i - 2*i - k, 5*i - 156 = -4*k. Let w = -12 + -4. Let s = i + w. Does 7 divide s?
False
Suppose 0 = 4*d - 9 - 19. Let m = d + -2. Suppose -n - 32 = -m*n. Is n a multiple of 6?
False
Let y be 3*4/(-2)*-27. Suppose -4*l - l + 10 = 0. Suppose -y = -l*a - a. Does 9 divide a?
True
Let q(r) = -r**3 + 7*r**2 - 5*r + 2. Let c be q(5). Suppose c = 4*i - 33. Is i a multiple of 4?
False
Let s = 154 - 124. Does 26 divide s?
False
Let s(j) = 2*j**3 - 3*j**2 + 2*j - 1. Let b be s(2). Let z(w) = -5 + w - b - 5*w + 0*w. Is z(-9) a multiple of 12?
True
Suppose 4*g - 1235 = -p, -g + p = 3*p - 300. Does 12 divide g?
False
Let g = -79 - -11. Let c = g - -197. Is c a multiple of 10?
False
Suppose 4*j - r - 206 = 54, j + 2*r = 56. Is 70*(4 - j/20) a multiple of 16?
False
Let h be (-29)/2 - 1/(-2). Is 6 + (-1197)/h + 3/2 a multiple of 12?
False
Let k(c) = c**3 - 3*c**2 + 2*c - 2. Let h be (-6)/(-10) + (-60)/(-25). Let n be k(h). Suppose -2*i = z + 2*z - 180, -166 = -2*i + n*z. Is i a multiple of 29?
True
Let l(w) = -w**3 - 10*w**2 + 11*w - 2. Let s be l(-11). Let b be 1/s + (-105)/6. Is (-2)/3 + (-894)/b a multiple of 16?
False
Let m(a) = 3*a**2 - 4*a + 88. Let w(d) = 2*d**2 - 3*d + 89. Let q(g) = -4*m(g) + 5*w(g). Suppose 8*p - 4*p = 0. Does 31 divide q(p)?
True
Suppose -22 = -4*c + 14. Suppose 0 = r + 3, c = t + 2*t + 2*r. Suppose t*k - 3*k = 2*i + 72, 67 = 2*k - i. Is k a multiple of 31?
True
Let n = -51 + 76. Suppose -a + n = -0*a. Suppose -k - 3*w + 0*w = -25, -3*k + w = -a. Is k a multiple of 6?
False
Suppose 5 + 50 = -3*g + t, 0 = g + 3*t + 5. Let s = g - -23. Suppose s = n - 33. Does 22 divide n?
False
Suppose 3*f + 2*f = 5*o - 395, 2*o - 152 = -4*f. Does 13 divide o?
True
Let x(w) = 11 + 6*w - 4*w - w. Let u be x(-6). Suppose 131 = u*v - 4*l, 0 = 5*v + 2*l - 72 - 65. Is 21 a factor of v?
False
Let b(o) = o**2 + o - 1. Let r(l) = 2*l**2 + 6*l + 26. Let p(f) = 3*b(f) - r(f). Is p(-9) a multiple of 13?
False
Suppose 3*m = 15 - 75. Let r = m - -24. Suppose -r*a + 242 = 82. Is a a multiple of 21?
False
Let m(a) = -3*a**2 + 70*a - 22. Suppose 4*b = -0*w + 2*w + 70, 0 = 5*b + w - 91. Does 38 divide m(b)?
True
Suppose 10*l + 8 = 38. Suppose -l*g - 208 = -19*g. Does 8 divide g?
False
Let k be (-7 - -4)/((-6)/14). Suppose -r + 43 + k = 3*a, 4*r = -3*a + 56. Is 19 + a - (-3 + 1) a multiple of 9?
False
Let v(d) = 11*d**2 + 30*d + 76. Is v(-16) a multiple of 18?
True
Suppose 3*n - 9 = -3. Let g be 3/n*(-128)/(-6). Suppose -7 = z - g. Does 4 divide z?
False
Suppose -14*p = -662 - 3398. Does 15 divide p?
False
Does 9 divide 2 + -3 - 1098*(-4)/8?
False
Let j(t) = -2*t**2 - 3*t + 8. Let c(d) = 3*d**2 + 6*d - 15. Let n(r) = -4*c(r) - 7*j(r). Is n(3) a multiple of 13?
True
Let n(h) = h**2 + 13*h - 12. Let c(b) = 2*b**2 + 19*b + 8. Let f be c(-8). Is n(f) a multiple of 12?
True
Suppose 83 - 81 = 2*d. Is 10 a factor of (-1)/(d/(-1)) + 192/2?
False
Let o(n) = -n**2 - 3*n. Let t be o(-4). Let w(b) = -6*b**2 + 10*b**2 - b**2 - 2 - 10*b + 8*b. Is 10 a factor of w(t)?
False
Let l(n) = -3*n - 8. Let b(k) = k - 1. Let z(j) = 2*b(j) + l(j). Let h be z(-16). Let x = h + -1. Is x a multiple of 5?
True
Let b(q) = 6. Let j(a) = a - 3. Let s(l) = 3*b(l) + 6*j(l). Let w be s(1). Suppose -27 = -3*y + 4*k, 0*k + 2*k = -w. Is y a multiple of 5?
True
Does 37 divide (-80)/600 - 10684/(-30)?
False
Let o be 0 + -1*225/(-5). Let r be (4/(-5))/((-1)/5). Is (702/o)/(r/10) a multiple of 13?
True
Let r(f) = 12*f**2 + 2*f + 17. Does 17 divide r(-3)?
True
Suppose 0*q + q = -4*o + 113, 109 = q + 2*o. Let t = q - -185. Is t a multiple of 43?
False
Suppose 2*m = 5*m + 81. Let r = 29 + m. Suppose 0 = -3*n + 5*a + 78, -45 - 2 = -r*n + 5*a. Does 11 divide n?
False
Suppose -3*g + 4*o = -1716 - 1088, -g - 5*o + 941 = 0. Does 13 divide g?
True
Let b = -14 - -18. Suppose -w + b = 21. Let j = w + 57. Is 20 a factor of j?
True
Suppose -4*t - 241 = -q, -2*q + t + 226 = -q. Is 16 a factor of q?
False
Suppose 28 = 2*c - 0*c + 3*d, 4 = -d. Let l = c + -4. Is 4 a factor of l?
True
Let h be (2/(-4))/(405/80 - 5). Let y = h + 192. Is y a multiple of 23?
True
Let t(y) = y**3 + 10*y**2 + 14*y - 10. Let n be t(-8). Let l(r) = r**3 - 7*r**2 + 10*r - 9. Let v be l(n). Let z = -4 + v. Is z a multiple of 11?
True
Suppose 2*n - 78 = -5*u, 4*n + n + 21 = u. Suppose u = x - 33. Is x a multiple of 49?
True
Let q = -30 - -32. Suppose 5*c + 451 = -3*m + q*m, 0 = 3*c + 3*m + 261. Is (-26)/c - (-558)/7 a multiple of 14?
False
Let r = 12 - 8. Suppose r*u - 5*d = 2*u + 167, -d = 3*u - 276. Is 18 a factor of 1/(-5) + u/5?
True
Suppose 0*n + 4*n - 416 = 0. Is 40 a factor of (12/8)/(3/n)?
False
Let s(o) = 9*o + 7. Let j be s(5). Suppose -5*u + 23 = -j. Suppose -2*h = -37 - u. Does 24 divide h?
False
Let b(t) = -t + 4. Let d be 0/(-2)*(3 + -2). Let j be b(d). Suppose 2*f = 3*s - 54 - 61, -3*f = j*s - 159. Does 13 divide s?
True
Let f(d) = -d**2 - 8*d - 5. Suppose 2*g - 5*u + 14 = 0, -2*u + 47 - 12 = -5*g. Let j be f(g). Is 43 + j/(-1) + 2 a multiple of 26?
False
Suppose 0*d = 4*d - 2*d. Suppose -5*y + 1450 = 8*r - 3*r, d = 2*r + 3*y - 580. Is r a multiple of 37?
False
Suppose 9 = 3*t + 3. Suppose r - 2*d = 19, 0*r = -t*r + d + 23. Does 9 divide r?
True
Suppose 4289 = -11*x + 18303. Is 49 a factor of x?
True
Let m be 3*(5/30)/((-1)/2). Let u(x) = -212*x**3 + x. Is 9 a factor of u(m)?
False
Let p(y) = -104*y + 14. Let f(l) = -103*l + 13. Let x(r) = -7*f(r) + 6*p(r). Does 18 divide x(1)?
True
Let p = 37 - 37. Suppose 2*b + 3*d = -p*d + 136, 4*d = 0. Suppose 6*h - b = 4*h. Does 17 divide h?
True
Suppose 752 = 316*s - 315*s. Is 99 a factor of s?
False
Is (75/30 + 0 + 0)*104 a multiple of 24?
False
Let b = -28 + 37. Suppose b - 61 = -2*v + 4*x, 122 = 4*v + x. Is 5 a factor of v?
True
Let j = 101 - 70. Suppose j*f - 28*f = 90. Does 15 divide f?
True
Suppose 30 = c - 3*k, 3*c - 103 = -c - 5*k. Is c a multiple of 9?
True
Does 4 divide (-5208)/20*40/(-24)?
False
Let s(v) = -3*v**2 + 2*v - 1. Let y(i) = -7*i**2 + 5*i - 3. Let x(w) = -5*s(w) + 2*y(w). Let g(z) = 4*z**2 - 1. Let h(q) = g(q) - 2*x(q). Does 17 divide h(-3)?
False
Let c be ((-12)/(-21))/(4/28). Suppose 453 = c*k - k. Suppose -i - 4*o - k = -4*i, -i - 5*o + 25 = 0. Does 13 divide i?
False
Let h = -13 - -18. Suppose 2*a - h*a + 438 = 0. Let f = a + -74. Does 18 divide f?
True
Let k(f) = -f**3 - 21*f**2 + 12*f - 9. Is 35 a factor of k(-23)?
False
Suppose 2*p + 13 = x, -2*x + x - 2*p = 7. Suppose -x*n = 2*q - 0*q - 48, 5*q + n - 120 = 0. Is 12 a factor of q?
True
Is (-76 - -1036) + 0 + -4 a multiple of 4?
True
Suppose -1 = 5*n - 21. Is 9 a factor of (-1 - (-10)/n)/((-3)/(-150))?
False
Let m(d) = 40*d**2 - 15*d + 7. Is m(6) a multiple of 24?
False
Let c(v) be the third derivative of 0*v + 1/24*v**4 + 4*v**2 + 1/2*v**3 + 0 + 1/60*v**5. Is c(5) a multiple of 11?
True
Suppose -8 = 2*y, -2*m = -2*y - 342 - 260. Let i = m - 177. Is i a multiple of 20?
True
Let i be (-32)/40*-10*2. Suppose -d = -i - 24. Suppose -3*y = y - d. Does 4 divide y?
False
Suppose 0 = 4*p + 2*t - 398, -291 = -3*p - 0*t + t. Is 12 a factor of p - (1 + -5 - -6)?
True
Let s(q) = 42*q + 5. Let h be s(1). Let n = -21 + h. Is n a multiple of 20?
False
Let x(t) = t**2 + 5*t - 12. Let o be x(-6). Let j be (1 - o)*(1 - 0). Let z = 8 + j. Does 3 divide z?
True
Let i be (0 - -1) + (-2)/((-8)/(-1196)). Let l = -163 - i. Is 14 a factor of l?
False
Let r be -106 - -2*9/6. Let x = -35 -