39*q**2 - 2. Suppose -3*x - 6 + 19 = 2*m, 2*m = -5*x + 23. Does 51 divide l(m)?
False
Suppose 2245*k = 2248*k - 1989. Is k a multiple of 39?
True
Let r(t) = t**3 + 7*t**2 - 20*t - 7. Let h be r(-9). Let n = 25 - h. Does 14 divide n?
True
Suppose -2*b + q - 16 = 3*b, -4*q = 4*b + 32. Let a = b - -16. Is 12 a factor of a*(1 + 6/9)?
False
Let o(u) = 4 - 31*u + 10 + 0*u. Does 20 divide o(-6)?
True
Suppose -2*o + 3 + 7 = 0. Let y be -3*(-6)/45*o. Suppose -2*s - 4*f + 80 = 2*s, y*s - 20 = 2*f. Is s a multiple of 5?
True
Let h(a) = 4*a**2 - 64*a - 31. Is h(19) a multiple of 6?
False
Let h be ((-58)/4*2)/1. Let o = h - -19. Let p(j) = j + 13. Is p(o) a multiple of 2?
False
Let y(i) = -i**3 + 49*i**2 + 64*i - 187. Is 4 a factor of y(50)?
False
Let r be ((-12)/(-48))/((-1)/(-12)). Let s be (r + 3 + -6)/1. Suppose 5*c - 172 + 27 = s. Is 14 a factor of c?
False
Let g be (-120)/(-18)*(-3)/(-2). Does 10 divide (-16)/(-80) + 218/g?
False
Suppose 0 = -32*g + 1584 + 61392. Is g a multiple of 48?
True
Let j(q) = 295*q**3 - 3 - 294*q**3 - 4*q**2 + q - 2*q. Is j(5) a multiple of 17?
True
Suppose -4*y = x - 16, 3*x - 7 = -19. Suppose -y*a + 4*a = 21. Does 3 divide (a - -7)*(-2)/4?
False
Does 40 divide 396 + (-5 - -3) - -6?
True
Let a = 0 - 0. Suppose a = -4*v + 4, 0*q - q + 5 = v. Suppose -4*l + 74 = -2*l - q*z, -2*z = 0. Is l a multiple of 20?
False
Suppose -4*h + 5*v + 1946 = -1610, -3*v - 3564 = -4*h. Is 11 a factor of h?
False
Let b(o) = 77*o**2 - 6*o - 5. Is 15 a factor of b(-5)?
True
Let j = -7 - -7. Suppose j = n - 4*n + 108. Is n a multiple of 18?
True
Let x be 32/48 - (-76)/3. Suppose 2 = -2*w + x. Is 12 a factor of w?
True
Let f = 53 - 85. Let a = 42 + f. Is a even?
True
Let x = -11 - -9. Let a = 2 + x. Suppose -7*d + 120 = -2*d + 4*t, a = 5*d + 2*t - 120. Is 12 a factor of d?
True
Let q(v) be the third derivative of 0 - 9*v**2 + 5/12*v**4 - 1/60*v**5 + 0*v + 2*v**3. Is 10 a factor of q(8)?
False
Let u(v) = 3*v**2 + 3*v - 2. Let n be u(1). Suppose -n*z + 3 + 17 = 0, 5*z = -3*k - 254. Is (-14)/21*k/2 a multiple of 12?
False
Let g be 30/8 + (-5)/(-20). Let j(d) = -1 - g + 3 - 4*d - 1. Does 9 divide j(-3)?
True
Let l(y) = -y + 5. Let j be l(5). Suppose -c + 0 + 3 = j. Let o = 6 - c. Does 2 divide o?
False
Suppose 922 = 3*u + r, -4*r = u - 123 - 199. Does 18 divide u?
True
Suppose c + 0*c + 11 = 5*j, -9 = -c - 5*j. Let b be 6 - (-8)/(c + -3). Suppose -192 = -b*i + 16. Does 13 divide i?
True
Suppose 3*l - 4*b = 72, 4*b + 11 = -1. Suppose l*j - 208 = 19*j. Is j a multiple of 13?
True
Suppose -3*g - 2 + 146 = 0. Suppose -2*v - 5*m = -25, -3*m + g = 3*v + m. Is 5 a factor of v?
True
Let w(i) = i**3 + 5*i**2 - 5*i + 8. Let r be w(-6). Suppose 2*p - 92 = -r*s, -2*s - 3*p - 170 = -6*s. Suppose -s = z - 5*z. Is 8 a factor of z?
False
Let w be (-10 + -2)/(2/(-9)). Suppose 3*k + 18 = t + w, 2*t = 0. Is 5 a factor of k?
False
Suppose 0 = 25*g - 10*g - 4365. Does 43 divide g?
False
Let c(y) = 66*y + 485. Is c(9) a multiple of 83?
True
Let p = 7 - 5. Suppose 2*b - 190 = 4*c, p*b + 2*b - 5*c - 371 = 0. Is b a multiple of 30?
False
Suppose 4*q + 3406 = 2*c, -11*c + 7*c + q = -6805. Is c a multiple of 21?
True
Is 6 a factor of 1568/20 - 6/15?
True
Let n be ((-189)/28)/(2*3/(-24)). Is (-2)/(-9) + ((-2748)/n)/(-1) a multiple of 51?
True
Is 5 a factor of (-270)/(-54)*24/10?
False
Suppose -d = -5*r + 2*r + 134, 2*d - 172 = -4*r. Is -2 + r/20 - (-358)/10 a multiple of 2?
True
Let i(s) = 4*s + 11 - 28 - 7*s. Let g be i(-7). Suppose -4*d - g*q + 280 = 0, -3*q = 2*d - 7*d + 366. Is 24 a factor of d?
True
Does 11 divide (-39)/(((-51)/(-2312))/((-2)/8))?
False
Let v be (3/(-2) + 1)*0. Let w be (13 - 10) + (-5 - v). Is 2 a factor of w + (18/3 - -3)?
False
Let i = 23 + -10. Let o(d) = d**3 - 14*d**2 + 16*d + 18. Is 8 a factor of o(i)?
False
Let x(w) = 2*w + 378*w**2 + w**3 + 0*w**3 + 2 - 388*w**2. Let j(s) = 10*s**3 + s**2 - 1. Let z be j(1). Is x(z) a multiple of 11?
True
Is -1 + 35768/56 - (-4)/14 a multiple of 55?
False
Suppose 4*x - 4*i - 420 = 0, 4*x - 9*x - 3*i + 525 = 0. Let w = x + -65. Does 33 divide w?
False
Suppose -13 + 5 = -4*v. Suppose v*g - 120 = -48. Is g a multiple of 9?
True
Let z be (3 - 4) + 1 - -10. Does 12 divide 602/z - (-4)/(-20)?
True
Suppose v + 4*v - j + 1678 = 0, -4*j = 3*v + 1016. Does 20 divide v/63*7*3/(-2)?
False
Let v be (-1448)/(-10) - (-6)/90*3. Suppose -4 = -4*x, -12*y + 13*y - 5*x = v. Is y a multiple of 9?
False
Suppose -4*f - 6 = 4*r - 2*f, 2*r - 2*f - 6 = 0. Let g = 44 + r. Let h = g + -25. Is h a multiple of 4?
False
Let n = -374 + 453. Does 10 divide n?
False
Let a(b) be the second derivative of b**5/20 + 2*b**4/3 + 7*b**3/6 + 12*b**2 - 21*b + 1. Is 7 a factor of a(-7)?
False
Let u = 2905 + -1692. Is 31 a factor of u?
False
Let f(s) = 2*s**3 - 38*s**2 + 4*s - 40. Does 3 divide f(19)?
True
Is 2*361 + (-30)/6 + 3 a multiple of 8?
True
Suppose 2*m + 4*a - 1772 = 0, 2*m - 3553 = -2*m - 5*a. Is m a multiple of 70?
False
Let f(x) = 2*x**2 - 3*x**2 + 6 - 4*x**2 - 5*x - x**3 + 0*x**2. Let r = 5 + -10. Is f(r) a multiple of 10?
False
Suppose 4*h + r = 2*r + 13, -5 = r. Is 29 a factor of (-4)/1*(-29)/h?
True
Let z(f) = f**3 + 13*f**2 + 21*f - 13. Let r be z(-11). Does 8 divide (-33)/r + 10/(-20)?
True
Let m be 8/(-2) - (10 - 127). Let l = m + 12. Is 25 a factor of l?
True
Let s be (-2)/(0 + 6/303). Let h(c) = -c**3 - 16*c**2 + 19*c - 25. Let m be h(-17). Let x = m - s. Is x a multiple of 13?
False
Let k be 4/(-18) + (-533)/(-9). Let b = k - 26. Is 18 a factor of b?
False
Let b(y) = y**2 + 3*y. Let c be b(-4). Suppose -326 - 46 = -c*z. Does 31 divide z?
True
Does 18 divide (2*65/(-15))/(1/(-27))?
True
Let z(g) = g**3 + 4*g**2 + 3*g + 3. Let w be z(-3). Suppose p + p + 449 = 3*d, -4*d + 598 = -w*p. Does 19 divide d?
False
Is ((-11 - -9) + -24)*-78 a multiple of 29?
False
Let j(c) = -19*c - 62. Is j(-8) a multiple of 9?
True
Let j(a) = -2*a + 16. Let p(s) = 2*s - 17. Let i(x) = -4*j(x) - 3*p(x). Is 2 a factor of i(11)?
False
Suppose c = 2*c - r - 853, -2*c = -4*r - 1708. Is 29 a factor of c?
False
Is 57 a factor of -1 - (-3)/5 - (-9018)/45?
False
Is -8*(-46 - 16)*(-2)/(-8) a multiple of 20?
False
Does 14 divide (-16)/((130/105)/(-13))?
True
Suppose -11*a - 4 = 7. Is 94/5 + a + 3/15 a multiple of 4?
False
Suppose t = -s + 280, 9*t = -4*s + 7*t + 1114. Does 7 divide s?
False
Let z = 23 - 20. Is 116 - (-1)/3*z a multiple of 17?
False
Let m(w) = -w**3 + 11*w**2 + 3*w - 5. Let p be 0 - 1 - 108/(-9). Let x be m(p). Suppose -4*n + x = -3*n. Is n a multiple of 7?
True
Let s be 2/(1/(-3) + 0). Let k be (84/9)/(s/36). Is 12 a factor of (k/20)/((-2)/30)?
False
Let x = 2277 - 1245. Is 5 a factor of x?
False
Let y(s) = 27*s + 1. Let j be y(-4). Let c = 58 - j. Is c a multiple of 13?
False
Let y(s) = 113*s**2 - s - 1. Suppose -9 = 8*r - 1. Let o be y(r). Suppose 3*i = 5*q + 149, -3*i + 0*i - 4*q = -o. Does 25 divide i?
False
Suppose -5*s + 30 = 4*v - 2*v, -4*v = -2*s + 12. Is 12/18*135/s a multiple of 11?
False
Let o be (1 + 180/(-16))*-8. Let v = o + 45. Does 18 divide v?
False
Let t be ((-69)/9 + 1)*3. Let l = -17 - t. Suppose z - 3*h + 43 = 3*z, l*z + h - 75 = 0. Is 10 a factor of z?
False
Suppose -s + 4 = i - 6, 5*s - 38 = -2*i. Let z be 0*((-3)/s - 0). Let n = z - -26. Is n a multiple of 13?
True
Let n(s) = 45*s**2 - 16*s + 17. Is 17 a factor of n(1)?
False
Let n be 8*(-2 - -3) + (-6 - -3). Suppose -2*i + 1 = -3*i + 4*y, -2*i + 4 = -n*y. Is 3 a factor of i?
False
Let j(h) = -2*h + 46. Does 56 divide j(-5)?
True
Suppose -1 = -4*o + 7. Suppose 0 = 2*h - 4*h - o*t + 442, t = -2*h + 438. Suppose 3*n - h = q, -2*n + 0*n + 145 = -q. Is n a multiple of 18?
True
Let j(f) = 7*f + 4. Is 65 a factor of j(18)?
True
Let f = 3795 - 1685. Is f a multiple of 12?
False
Let i(r) = 434*r**3 + 2*r**2 - r - 1. Let a be i(-1). Let m = a - -656. Is 28 a factor of m?
True
Is -1 + 1293/12 - (-4)/16 a multiple of 13?
False
Let t = -10 + 25. Let f = t - 17. Is 8 a factor of -6 + (1 - f) + 17?
False
Let q = -61 + 112. Let y = q - -47. Does 14 divide y?
True
Suppose 0 = 5*y - 15, -2*c - 4*y = -3*c + 24. Let i be (-2 - -6) + -25 - 1. Let j = i + c. Is 2 a factor of j?
True
Suppose -2*n + 28 = -2*w, 2*w - 2 - 6 = 0. Suppose -n = m + 13. Let y = 49 + m. Is y a multiple of 9?
True
Let l(v) be 