 factor of m(-12)?
True
Suppose l - 180 = 3*l. Let p be 6/(-15) + (-7)/(-5). Is (p/2)/((-3)/l) a multiple of 15?
True
Let w(n) = -10*n - 42. Does 33 divide w(-10)?
False
Let j(k) = 3*k**2 + 8*k + 17. Let g be j(-7). Suppose -6 - g = -2*m. Suppose -5*q + m = -2*q. Does 7 divide q?
False
Suppose 3*s - 2*g = 2*g + 787, 3*s - 751 = -5*g. Suppose -s - 22 = -3*v. Is v a multiple of 31?
True
Let j(o) = -15*o + 33. Let x be j(6). Suppose 3*m = -2*m + 540. Let f = m + x. Is 17 a factor of f?
True
Let t(u) = -22*u**2 + 15 + 6 + u**3 + 0*u - 17*u. Does 24 divide t(23)?
False
Suppose y + u = 94, -2*y + 4*u + 131 = -33. Is 6 a factor of y?
True
Is (-50)/((-8)/(1408/8)) a multiple of 55?
True
Let y = 10 + -8. Let f(t) = -8*t - 5*t**2 - 4 + 8*t**y - 4*t**2. Is 3 a factor of f(-5)?
False
Is -2*1/10 + 162090/450 a multiple of 24?
True
Let p = 371 + 253. Is 48 a factor of p?
True
Let q(b) = 3*b - 9. Let w(a) = 2*a - 11. Let l be w(15). Is 9 a factor of q(l)?
False
Let t(w) = w**3 + 12*w**2 + 8*w - 8. Let g(y) = -y**3 - 13*y**2 - 8*y + 9. Let d(k) = 4*g(k) + 5*t(k). Is 12 a factor of d(-6)?
False
Let z(c) = c**2 - 2*c + 1. Let k be z(1). Suppose k = 4*m - 9*m + 20. Suppose -2*s - 226 = -m*s. Is s a multiple of 26?
False
Suppose 5*q = 87*o - 90*o + 61, -19 = -o - q. Does 2 divide o?
False
Let h = 54 + -16. Suppose k + 14 = h. Does 2 divide k?
True
Let i(h) = -h**2 - 18*h + 9. Let f be i(-18). Let v(d) = d**2 - 8*d + 29. Is 3 a factor of v(f)?
False
Let p(g) = 3*g + 4*g - 13 - 5*g - 4*g. Let h = -17 + 6. Does 5 divide p(h)?
False
Let r(c) = 67*c**3 - 2*c**2 + 5*c - 6. Does 20 divide r(3)?
True
Let a be (-1)/((-7)/(-2) + -4). Let s be 1*(5 - (a + 1)). Let p(u) = 7*u. Is p(s) a multiple of 7?
True
Let v(g) = 5*g**2 - 5*g - 5. Let t be v(7). Suppose -5*d = -0*d - t. Does 6 divide d?
False
Suppose f - 2*x = 914, -5*x + 616 = -2*f + 2446. Is 49 a factor of f?
False
Let z(x) = x**2 - 14*x - 15. Does 32 divide z(29)?
False
Suppose 2*v = -11 - 9. Let q = v + 8. Let d(t) = -3*t**3 - t**2 - 2*t + 1. Is 15 a factor of d(q)?
False
Let v be 2/(-8)*1*-8. Suppose -v*d = -39 - 29. Suppose 3*u - 8 = d. Does 6 divide u?
False
Suppose 5*j - 5*s + 1560 = 0, 3*j - 4*s + 9*s = -960. Does 18 divide ((-24)/14)/(6/j)?
True
Let i be 4 - (-3 - (2 - 4)). Let l(z) = -4*z + z**3 + 5*z + 2*z + 5*z**2 + i. Does 4 divide l(-4)?
False
Suppose 3*f + 1499 + 148 = 0. Let v be (-2)/(-6) - f/(-27). Is (5/(v/48))/(-1) a multiple of 4?
True
Let b be 1/((-134)/68 - -2). Is 17 a factor of ((0 + -8)*b/4)/(-2)?
True
Let w = 1553 - 1085. Suppose -2*r + 72 + 158 = -3*c, 4*r = 4*c + w. Does 11 divide r?
True
Let t be (-66)/6 + 5 + (-6)/3. Let r(a) = -2*a - 12 - 6*a + 5*a. Does 12 divide r(t)?
True
Suppose 56 = 2*k - 58. Suppose 2*i + k = 209. Does 38 divide i?
True
Suppose 8 = 2*s - 5*p, -3*s = -7*s - 5*p + 46. Suppose s*i = 7*i + 34. Is 5 a factor of i?
False
Suppose 2*f = -3*l + 7, -2*l = -2*f + 10 + 2. Does 28 divide (8/20)/(l/(-115))?
False
Suppose 4*l = -6*y + 4*y + 256, 525 = 4*y - 5*l. Suppose -4*b + 26 = -y. Does 14 divide b?
False
Suppose 5*r - 10*r + 15 = 0. Suppose r*x = -4*f + x + 1266, x + 321 = f. Does 53 divide f?
True
Suppose 0 = 4*j + 2*o + 62, -4*o = j - 0*j + 12. Let t = -28 + 6. Let k = j - t. Is 2 a factor of k?
True
Let r = 66 - 36. Let n = 58 - r. Does 4 divide n?
True
Suppose 5*v = -j + 220, v = -4*j + 2*v + 985. Suppose 7*x - j = 2*x. Does 4 divide x?
False
Does 3 divide 244/4 + (-4)/4?
True
Let s = 440 + -288. Is 9 a factor of s?
False
Let x(c) = -c**2 - 11*c - 6. Let z be x(-10). Suppose 160 = 3*b + l, -l + 230 = z*b - 3*l. Suppose -17 - b = -3*v. Is 12 a factor of v?
True
Suppose 5*h + 5*v - 16569 = 2*v, 5*h - 16573 = -v. Is 11 a factor of h?
False
Let v = -466 - -1216. Does 30 divide ((-36)/45)/((-4)/v)?
True
Suppose 6*n = 4*n - 2*c - 18, -4*n - 5*c - 34 = 0. Let u = 65 - n. Does 5 divide u?
False
Let m(s) = 13*s**2 + s + 3. Let f(y) = -y. Let l(t) = 5*f(t) + m(t). Let d be l(2). Let q = d + -32. Is q a multiple of 3?
True
Let t = 34 + -21. Let w = t + -11. Suppose w*q = -3*q + 270. Is q a multiple of 13?
False
Suppose -2*c - 7028 = -4*k, 2849 = 3*k + 3*c - 2404. Is 45 a factor of k?
True
Suppose 2*d - 1 = 13. Let p(j) = 4*j**2 - 3*j + 17. Is 24 a factor of p(d)?
True
Let o(w) = -w**3 + 7*w**2 - 2*w + 6. Is 18 a factor of o(-6)?
True
Let v = -3 - -291. Let z = v + -33. Does 51 divide z?
True
Let f(j) = -j**2 - j. Let l(c) = 9*c**2 - 8*c - 3. Let z(d) = -5*f(d) + l(d). Does 5 divide z(-2)?
False
Suppose 0 = 22*h - 6664 - 7438. Is 53 a factor of h?
False
Let q be 3/33*2 - (-14)/(-77). Suppose 6*z - 20*z + 1680 = q. Is 8 a factor of z?
True
Suppose 182*p - 276 = 176*p. Does 23 divide p?
True
Let v be (-4)/(-12) - (-1 - (-136)/12). Does 61 divide (v/1)/(-7 + 5)*61?
True
Let r(j) = -j**3 - 4*j**2 - 3*j + 2. Suppose -3 - 21 = 6*n. Does 4 divide r(n)?
False
Suppose 33*x - 36*x = l - 361, 2*l - 722 = 3*x. Is 38 a factor of l?
False
Let r(m) = m**2 - 6*m + 8. Let g be r(6). Let h be g/(-10) + (-87)/(-15). Suppose -h*w + 129 = -186. Does 16 divide w?
False
Let n be 1/5 + (-183)/15. Let i be ((-5)/(-15))/(2/12). Let v = i - n. Is v a multiple of 14?
True
Suppose -7*u + 11382 = -3402. Does 22 divide u?
True
Let p(q) = -123*q**3 + 3*q**2 - q - 3. Is p(-1) a multiple of 4?
True
Let z be (-15)/10*-58 - -3. Suppose -z = 5*b - 10*b. Does 18 divide b?
True
Let r(o) = o + 49. Suppose -m + 10 = 4*v - 66, 5*m + 57 = 3*v. Let w = v - 19. Is r(w) a multiple of 19?
False
Is 11 a factor of 8815/(-123)*(-36)/10?
False
Let v be (-2)/(-4) + (-1)/(1 - -1). Suppose v*s - 4*x = 2*s - 92, s + x = 45. Does 43 divide s?
False
Suppose -4*j - 1280 = -0*j - 4*p, -4*j + 2*p = 1282. Let d = j + 537. Is 12 a factor of d?
True
Let m = 775 + -513. Is 81 a factor of m?
False
Let a = -82 - -158. Let u = 142 - a. Does 28 divide u?
False
Let n be 5*(104/(-20) - -4). Let i(x) = -x**2 - 7*x - 15. Let h be i(-6). Does 12 divide 282/h*n/4?
False
Let q = -40 + 316. Suppose 5*r - 3*f = q, -4*f + 60 = r - 3*f. Is 19 a factor of r?
True
Suppose 4*w - 1308 = 5*x - 9*x, 5*w = 5*x - 1585. Does 24 divide x?
False
Let p(y) = -3*y**2 + 3*y**2 + 5*y + y**2 + 2. Is 26 a factor of p(-8)?
True
Let o be 2 + (-4 - 1) + 3. Suppose 3*r - 19 - 17 = o. Is 4/r*(-27)/(-1) a multiple of 9?
True
Suppose 5*f - 8 + 20 = 4*d, 5*f - 20 = 0. Does 16 divide d/(-2) + 7 + 45?
True
Let f = 22 + -21. Let d = 23 + f. Does 12 divide d?
True
Let k = -49 + 57. Suppose 12*x + k = 13*x. Is x a multiple of 4?
True
Let t = 386 - 218. Is t a multiple of 8?
True
Suppose 56*r - 29*r = 6264. Does 29 divide r?
True
Let x(y) be the third derivative of y**5/60 - 19*y**4/24 + 2*y**3 + 10*y**2. Is 6 a factor of x(19)?
True
Let n(q) = -3 + 4*q - 7 + 7*q. Let o be 4/3*(-162)/(-36). Does 15 divide n(o)?
False
Does 42 divide 21/(((-435)/70)/(-3) + -2)?
True
Let n be (-40)/(-32) + 2/(-8). Let t = 19 - n. Is t a multiple of 18?
True
Let j = 405 - 317. Does 5 divide j?
False
Suppose -2*g + 5*g - 9 = 0. Suppose w - 2*w + 2*b + 6 = 0, b = -g*w + 4. Suppose 3*o = 5*r + 50, -5*o + w*r + r + 62 = 0. Is o a multiple of 10?
True
Suppose b + b + 68 = -5*v, v = -3*b - 24. Let s = -66 + -15. Is 3/v - s/4 a multiple of 5?
True
Let t = 179 - 149. Suppose -3*z + t + 69 = 0. Is 3 a factor of z?
True
Suppose -14 = -a - 49. Let d = 71 + a. Is 7 a factor of d?
False
Let p = 2047 - 1599. Does 28 divide p?
True
Let s(l) = -76*l - 450. Does 22 divide s(-23)?
True
Is (-21)/56*-4*(-350)/(-3) a multiple of 10?
False
Suppose 3*y - 2*y = -8. Let p be y + 8 + 1 + -1. Suppose -28 = -p*u - u. Is u a multiple of 20?
False
Suppose 0 = 3*g + 72 - 912. Is 35 a factor of g?
True
Suppose -3*r - 447 = -3*b, -3*r - 731 = -5*b - 5*r. Suppose 333 = 10*c - b. Is c a multiple of 16?
True
Let i(p) = p**3 - 9*p**2 - 16*p + 11. Let b(s) = -s**3 + 6*s**2 + s + 5. Let q be b(6). Is i(q) a multiple of 11?
True
Suppose -180 = -t + 68. Does 13 divide t?
False
Suppose 461 - 110 = 3*o. Is (-312)/o*(0 - 78) a multiple of 13?
True
Let f be 30*-4*(-2)/10. Let y be (f/9)/(2/15). Is 4 a factor of (-80)/14*(-70)/y?
True
Is 115/2*(-1032)/(-430) a multiple of 23?
True
Suppose 0 = -5*d - 10, 0 = 4*w - 4*d + 16 - 3832. Is 14 a factor of w?
True
Let y(c) = c**2 - 3*c - 2. Let x be (3 + -4 + 3)*1. Suppose -7 = -o - x*z, -o - 9 = -2*o - 4*z. Is 