 24 a factor of l(q)?
False
Suppose -2*k = k - y - 114, -34 = -k - y. Suppose g - 2*g = -k. Suppose -g - 35 = -4*u. Does 9 divide u?
True
Let w = 84 - 60. Is 8 a factor of w?
True
Suppose 4*u - 3*u + 5*p - 22 = 0, u + 4*p - 17 = 0. Let v be 0/u + 47 + -1. Let r = v - 10. Is r a multiple of 13?
False
Suppose 5*z - 2 = 4*z. Suppose z*q - 34 = 58. Is q a multiple of 18?
False
Suppose -90 = -3*q + 15. Suppose -2*y + q = 3*y. Suppose -y = -m - 4. Is m a multiple of 3?
True
Suppose -3*o + 0*o + 5 = -2*b, 2*b - 2*o = 0. Is b a multiple of 5?
True
Let w = -53 - -84. Let x = w - 5. Is x a multiple of 11?
False
Let y(d) = -d**3 - 8*d**2 - 6*d + d**2 + 10 + 0*d**3 + 0*d**3. Is 19 a factor of y(-7)?
False
Let h(j) = -j**2 - 10*j - 6. Suppose 3*m - 4*m = 8. Is h(m) a multiple of 3?
False
Is 4 a factor of 2/(-12) + (-588)/(-72)?
True
Let n(h) = h**3 + 11*h**2 + 2*h - 8. Is 11 a factor of n(-7)?
False
Suppose -3*j = -3 - 6. Suppose j*d = 7*d - 8. Suppose 2*i = -d*l + 16, 4*l - 16 = -2*i - 2. Is i a multiple of 9?
True
Suppose 0 = -2*g - 2*n + 4, -4*g - 3*n = -3*g + 6. Suppose 0 = -g*h + 3*h + 75. Does 12 divide h?
False
Suppose -5*z = -3*z + 12. Let a(j) = -2*j - 3. Is 2 a factor of a(z)?
False
Let v be (-2598)/(-21) - 2/(-7). Let q = v + -47. Is q a multiple of 18?
False
Suppose y = g - 3*y - 30, -4*y = 20. Suppose -s + 2 + g = 0. Is s a multiple of 12?
True
Suppose 2*v - 3*u = 14, 3*u + 8 = v + u. Suppose -3*g - z + 11 = 0, -v*g + 2*z + 20 = -2*z. Does 2 divide g?
True
Let v be (0*(-1 - -2))/2. Suppose 4*d = -v*d + 196. Is d a multiple of 13?
False
Let i(p) = 4*p + 0 + 4*p + 13 + p**2. Let z be i(-9). Suppose 3*y - z = 20. Is 5 a factor of y?
False
Is (-1)/(-5) - 2872/(-40) a multiple of 24?
True
Suppose -5*j - 116 = -2*s - s, -2*s + j + 82 = 0. Suppose s = w + w. Does 12 divide w?
False
Suppose o - 19 - 21 = g, 0 = 2*g - 5*o + 86. Is (g/(-4))/((-1)/(-2)) a multiple of 15?
False
Let p(x) = x**3 - 15*x**2 + 4*x + 5. Let v(n) = -2*n**3 + 29*n**2 - 9*n - 11. Let a(d) = 5*p(d) + 3*v(d). Is a(11) a multiple of 12?
True
Suppose -6*a = 4*m - a - 46, 5*a - 60 = -5*m. Is m a multiple of 13?
False
Let o(r) = -2*r**3 - 3*r**2 - 4*r - 3. Is 2 a factor of o(-2)?
False
Let d be 4/6 + 76/3. Suppose -3*y = 2 - 44. Let w = d - y. Is 5 a factor of w?
False
Suppose 0 = -8*u - 6*u + 658. Is u a multiple of 47?
True
Let g(f) = f**2 - f + 5. Suppose 4*q - 27 = t, 4*q - 29 = t - 2*t. Let u be g(q). Let w = u - 23. Is 12 a factor of w?
True
Let r(x) = -3*x**3 - 6*x**2 - 2*x + 2*x**3 - 3 + 9. Does 9 divide r(-6)?
True
Suppose c - 5*x - 35 = 0, 5*x = -7*c + 2*c + 235. Let m be 2 + -1 + -1 + 2. Suppose -27 = -p + 4*u, 5*p = m*u - 0*u + c. Does 3 divide p?
False
Let s = -45 + 190. Does 19 divide s?
False
Suppose -3*x = 4*f - 631, 5 = 7*x - 2*x. Is f a multiple of 21?
False
Is 11 a factor of (13432/48 - -3) + 2/12?
False
Let u = 18 + -13. Suppose 0 = -5*n - 5, 2*y + u*n = 5*y - 11. Is 7 a factor of 1*((7 - 2) + y)?
True
Suppose 0 = z + 4*z - 20. Suppose -z + 2 = -c. Is 5*(0/c - -1) even?
False
Suppose 0 = -c + 3, -3*c + 294 = 5*v. Suppose -5*l + 83 = 5*z - v, -l + 52 = -5*z. Is l a multiple of 5?
False
Suppose 41 = s - g + 3*g, 3*s - 123 = -4*g. Let a = s + -21. Does 5 divide (36/(-10))/((-6)/a)?
False
Suppose 12 = -6*q + 3*q. Let k be q/(-10) + 1996/10. Is 3*(k/(-3))/(-4) a multiple of 17?
False
Let c = -24 - -48. Does 8 divide c?
True
Is 20*5*9/6 a multiple of 25?
True
Let b be (0 - 7/(-2))*14. Let u = b - 35. Does 7 divide u?
True
Suppose -4*h - d = -5*h - 8, 10 = -3*h - 4*d. Let v be h/(-21) - (-4128)/7. Does 12 divide v/18 - (-6)/27?
False
Suppose 5*j = -2*x + 95, 3*x = 3*j + 4 - 40. Is j a multiple of 17?
True
Suppose 1 = -4*u + 9. Suppose 160 = u*s + 3*s. Is 18 a factor of s?
False
Let l(m) = -m**3 + m**2 + m - 5. Let v be l(0). Let i(o) = -o**3 - 5*o**2 - 4*o + 7. Is 22 a factor of i(v)?
False
Suppose 4*h - 9 = -n - 2, -3*h + 15 = 4*n. Let r = 3 + h. Is r a multiple of 3?
False
Let k(v) = v**2 - 3*v - 5. Is k(5) a multiple of 3?
False
Suppose i + 273 = 5*h, -3*i = 14 - 5. Is 24 a factor of h?
False
Is ((-65)/(-10) + -4)*42 a multiple of 8?
False
Suppose -78 = -4*c + c. Suppose -4*w - c = -2*s, s + 0*w + 4*w = -17. Suppose 3*z - 3*l = 81, s*z - 40 = -3*l + 23. Does 12 divide z?
True
Let h(s) = 4*s - 8. Does 4 divide h(5)?
True
Let f = 9 - -97. Suppose 2 = -j, 3*h + f = -5*j + 312. Suppose -3*l = -7*l + h. Is l a multiple of 12?
False
Suppose 2*h - 5*a + 284 = 4*h, -2*a = -4*h + 592. Does 50 divide h?
False
Let w(h) = -2*h + 6*h**2 + 1 + h**2 - h**3 - 2*h - 4. Let n be w(6). Let g = -4 + n. Does 5 divide g?
True
Does 6 divide (12/(-15))/((-12)/270)?
True
Let r(h) = h**2 + h - 1. Let d(y) = -2*y**2 - 18*y + 12. Let l(g) = -d(g) - 3*r(g). Is l(6) a multiple of 20?
False
Let r(a) = -2*a**3 + 2*a**2 + 3*a - 3. Let n be r(2). Suppose -3*p = -2*w + 6, -w = 4*p + 3*w + 8. Is 4 a factor of n/(-5) - (p + -1)?
True
Let b(i) = -4*i**2 - 2*i. Let n be b(-4). Does 2 divide 3/9 - n/12?
False
Let r(w) = w**2 + 8*w - 5. Is r(13) a multiple of 16?
False
Suppose -5*b + 4*u - 11 = 0, 0*b + 15 = -4*b - 3*u. Let f be 3/(-2)*14/b. Let w(v) = 3*v + 3. Does 12 divide w(f)?
True
Let b = 6 - 1. Let j(x) = 3*x**2 + 6*x + 5. Let i be j(-2). Let p = i + b. Is p a multiple of 7?
False
Let x(r) = -168*r**3 + 2*r**2 - 2. Does 42 divide x(-1)?
True
Suppose -4 - 3 = -3*v - s, -4*v = -3*s - 18. Suppose -5 = v*h - 20. Suppose -3*n - h*u = -86 - 26, 0 = 4*n - 3*u - 130. Is n a multiple of 17?
True
Is 11 a factor of (-546)/(-52)*8/6?
False
Does 7 divide (127 - (2 + -3))/1?
False
Suppose 0 = 4*w - 5*f - 245, -3*w - 97 + 282 = -5*f. Does 20 divide w?
True
Let u(c) = 4*c**2 + c - 9. Is u(-4) a multiple of 11?
False
Let j be (-3)/(3 + (-96)/28). Let v(q) = q**3 - 7*q**2 + 5*q - 5. Is 10 a factor of v(j)?
True
Suppose -2 = 4*w - 3*w + y, w - 23 = 4*y. Let d = 0 + w. Suppose 3*v + l + 0*l = 27, 3*l - 21 = -d*v. Is v a multiple of 10?
True
Let n(o) = -o**2 - 3*o + 5. Let y(m) = -2*m + 3. Let i(v) = -3*n(v) + 5*y(v). Is i(2) a multiple of 4?
False
Let h(u) = u**3 + 3*u**2 - 2*u - 2. Let r be h(-3). Suppose 0 = d - 23 - 7. Suppose -b - d = -r*b. Does 5 divide b?
True
Let p(o) = 6*o + 5 + 6 - o**3 + 6*o**2 - 3. Is p(6) a multiple of 12?
False
Let f(t) = 19*t**2 - 1. Let w be f(1). Suppose -2*x + 0*x + w = 0. Does 9 divide x?
True
Suppose 5*u = -4*y + 31, -5*y + 4*y - 8 = -4*u. Suppose 5*b - 2*s + 16 = 5, -y*s = 4*b + 20. Is 15 - (b + 1 + 5) a multiple of 12?
True
Suppose -4*t = 0, -k - 2*t + 3 = -2. Suppose 4*j + 3*z = 3*j - k, 5*j - z - 55 = 0. Does 9 divide j?
False
Let a(s) be the third derivative of -3/2*s**3 - 1/12*s**4 + 0 - 1/12*s**5 + 0*s - 1/120*s**6 - s**2. Is a(-6) a multiple of 14?
False
Does 27 divide 542/5 + (-4)/10?
True
Let z(w) = 2*w + 1. Let r be z(-3). Let n = r - -10. Does 3 divide n?
False
Suppose 0 = 3*w - 3*a - a - 10, 0 = -4*w - a + 7. Let u be (-1)/(w/(-20)*2). Is u*(-1)/(5/(-4)) a multiple of 3?
False
Suppose 3*h - 7*h = 0. Suppose h = -2*b - 2*b + 12. Suppose -b*l = 5*v - 55 - 34, 3*l - 57 = -3*v. Is 15 a factor of v?
False
Let l = 27 - 16. Suppose -k = m - l - 13, 4*m = 3*k - 107. Does 18 divide k?
False
Let k(z) = -z**3 + 2*z**2 - 15. Does 20 divide k(-5)?
True
Let m = -103 - -111. Does 3 divide m?
False
Suppose -2*c + 124 = -6*c. Let u = -27 + 96. Let o = c + u. Is o a multiple of 13?
False
Let y(r) = -4*r - 3. Suppose 0*o + 5 = -o, -2*a = 5*o + 37. Does 8 divide y(a)?
False
Let x = 7 - 5. Does 2 divide (x - (-2)/(-2)) + 4?
False
Suppose -16 - 16 = -2*s. Is s a multiple of 6?
False
Let y(k) = 52*k + 1. Let x = -9 + 10. Does 14 divide y(x)?
False
Suppose -3*j = -5*j + 18. Let a be (-654)/(-27) - 2/j. Let l = 38 - a. Is 14 a factor of l?
True
Is (0 + -3 - 39)/(-1) a multiple of 7?
True
Let q(j) be the second derivative of 1/6*j**4 + 1/2*j**2 + 2*j + 0 + 21/20*j**5 - 1/3*j**3. Does 11 divide q(1)?
True
Suppose 5*o - 885 = 2*o. Does 13 divide o?
False
Suppose 3*q + 2*q = 0. Suppose -c + 0*c + 16 = q. Does 8 divide c?
True
Let g(x) = 2*x**2 + 8*x - 5. Let j be g(-6). Suppose 3*a - a + 5*v = j, -v + 9 = 3*a. Is 3 a factor of (a/(-1) - -13) + 0?
False
Let w(i) = i**2 - 6*i - 124. Does 66 divide w(-20)?
True
Suppose -8*p - w + 467 = -4*p, -p + 3*w = -107. Is 12 a factor of p?
False
Let v(z) = -1 + 7