Is l(o) a multiple of 10?
False
Suppose 4*x - 121 = o - 17, -4*o - 119 = -5*x. Does 9 divide x?
True
Let w(v) = -3*v. Is 5 a factor of w(-5)?
True
Let i(s) = s - 2. Let o be i(-9). Let g = 12 - o. Is 8 a factor of g?
False
Suppose 2*a + 7 = 5*f, -2 + 1 = -4*a + 5*f. Suppose -3*i + 27 = a*m, -m - 10 = -5*i + 12. Suppose 0 = p - 2*z - 15, -i*p = -p - 3*z - 60. Does 15 divide p?
True
Suppose u - 6*u = 0. Let l = 15 + u. Is l a multiple of 6?
False
Suppose 0*t + 4*b - 185 = 3*t, -3*t - b = 190. Let s = -27 - t. Is 12 a factor of s?
True
Suppose m + 37 = 91. Does 18 divide m?
True
Let a = -22 - -18. Let o(t) = -1 - 4*t - 1 + t. Is o(a) a multiple of 3?
False
Let q be (-9)/(-6)*(4 - -2). Let d = q - -15. Does 8 divide d?
True
Suppose 0 = q - 6*q - 20. Let v(w) = -w - 3. Let u be v(q). Does 5 divide (-12 - -2)/(u*-1)?
True
Suppose -3*t + 52 = 4*g - 5*t, 0 = 5*g - t - 59. Is 10 a factor of g?
False
Suppose 13 = l + 2*q, 0 = 2*l + l - 4*q - 39. Let w = l - 0. Let u = w + -8. Does 3 divide u?
False
Let q(h) = -124*h**3 - 2*h - 3. Is q(-1) a multiple of 41?
True
Let t = -6 - -2. Suppose 3*x = 4*z + 4, -3*x + x + 10 = z. Let m = z - t. Does 4 divide m?
False
Let h(q) = q**3 + 3*q**2 + 3*q + 3. Let s be h(-2). Let m = 23 - s. Does 22 divide m?
True
Suppose 0 + 5 = -5*t. Let w be 0/1*(-1)/t. Suppose w = -0*y + y - 5. Is y a multiple of 5?
True
Let l(t) = -t**3 - 15*t**2 + t + 22. Let w be l(-15). Suppose -38 = -5*a + w. Is a a multiple of 9?
True
Suppose -c - 3*r = r - 97, -320 = -4*c + r. Does 9 divide c?
True
Suppose -4*b + 4 = -12. Let w(x) = -9*x - 1. Let d(o) = o - 1. Let z(g) = -2*d(g) - w(g). Is 18 a factor of z(b)?
False
Let h(d) = -d**2 + 8*d + 2. Let y be (-6)/(-3) - -1*4. Is h(y) a multiple of 7?
True
Let b(t) = t**2 + 8*t + 10. Does 15 divide b(-10)?
True
Let m(j) = j**2 + 4*j + 1. Let p be m(-4). Let x = 4 - p. Is 10 a factor of x*((-50)/(-6) - 1)?
False
Let n be 2*10/(-4)*-2. Let c = -26 - -44. Let r = c - n. Does 8 divide r?
True
Let g(s) = -s**2 - 9*s + 4. Let u be g(-7). Suppose -w + 18 = -3*d - 4*w, 4*d + u = -w. Is ((-4)/6)/(d/402) a multiple of 24?
False
Let q(l) = l**3 - 2*l**2 + l. Let h be q(2). Suppose 3*k - h = k, -29 = -3*n - 2*k. Suppose 2 = 2*w, -w - n = 4*i - 34. Is 3 a factor of i?
True
Let t(c) = -307*c + 3. Let y be t(-1). Suppose 6*k - 5*d = k + y, -4*d - 118 = -2*k. Is 13 a factor of k?
True
Suppose -3*f + f - 18 = 0. Is 14 a factor of 9/(-6)*222/f?
False
Let o = -12 + 27. Let k be 126/o + (-4)/10. Let r(y) = y**3 - 9*y**2 + 8*y + 9. Does 3 divide r(k)?
True
Let h be ((-12)/18)/((-4)/6). Suppose 2*u - 11 + h = 0. Suppose u*w + 5*s + 5 = 0, 31 = w + 3*w - 3*s. Is w a multiple of 2?
True
Suppose -4*n = n - 540. Is n a multiple of 27?
True
Let m(y) = -4*y - 2*y**2 - y**3 - 1 - y**2 - 3. Let w be ((-1)/(-2))/(2/(-12)). Does 8 divide m(w)?
True
Let a = 39 - -9. Suppose 0*x + a = 2*x - 2*g, 0 = -2*x - 5*g + 48. Is 8 a factor of x?
True
Let f = -7 - -3. Let i(p) = -5*p - 6. Does 9 divide i(f)?
False
Suppose -2*p - 5 + 1 = 0. Let g be 3/p*(-4)/3. Is g/3*(10 - 1) a multiple of 3?
True
Suppose -3*r = b + 30, -3*r - 12 = -0*r. Let k be b/3*2/4. Let x(i) = -2*i**3 - 3*i**2 + 3*i + 4. Does 22 divide x(k)?
True
Let m(z) = -2 - 1 + z**2 + 9 + 4*z. Is 10 a factor of m(-6)?
False
Suppose -28 = -2*f + f - 5*q, -5*f - 2*q = -25. Suppose f*i = -5*c + 60, 9 = i - 0*c - 2*c. Is i a multiple of 8?
False
Let c(f) = f**2 + 19*f + 25. Let n be c(-18). Let p(m) = -8*m**2 + m**2 + 0*m**3 + m**3 + 5. Does 3 divide p(n)?
False
Let r = -24 + 55. Does 10 divide r?
False
Is 1023/7 + (-3)/21 a multiple of 10?
False
Suppose 0 = -12*m + 9*m + 15. Suppose 2*n = -0*l - m*l + 30, 0 = -2*n - 3*l + 38. Does 25 divide n?
True
Let c(n) = -n**3 + 7*n**2 - 8. Is 14 a factor of c(6)?
True
Let s(h) = -5 + 11 - 4*h - 5. Is 12 a factor of s(-6)?
False
Is 18 a factor of (-225)/(-4)*(-160)/(-30)?
False
Let i be 1/4 + 43/4. Suppose -3*s = 2*s - 15, -s = -4*w - i. Does 13 divide w/(-4) - (-50)/4?
True
Does 16 divide 2/3 + 17*(-160)/(-15)?
False
Let j(t) = -4*t**3 - 35*t**2 - 45*t + 8. Let k(i) = -i**3 - 9*i**2 - 11*i + 2. Let f(x) = 2*j(x) - 9*k(x). Is 4 a factor of f(-10)?
True
Is 289/10 + 8/80 a multiple of 12?
False
Let i(l) = -l + 5. Let r be i(-4). Let d be (-2)/2 + -1 + r. Suppose n - 2 = d. Does 9 divide n?
True
Let j = 2 + -2. Suppose -2*w - v + 1 = 0, 0 = 5*w - 2*v - j + 2. Let h = 3 - w. Does 2 divide h?
False
Suppose 2*r + u - 3*u + 14 = 0, 2*r = 4*u - 18. Let o(t) = 22*t - 2. Let l(d) = 43*d - 4. Let j(a) = r*o(a) + 3*l(a). Does 11 divide j(2)?
False
Let k(i) = -i**3 + 9*i**2 + 7*i + 1. Does 26 divide k(9)?
False
Suppose -t - 142 = -5*l, -73 = -3*l + t + 11. Is l a multiple of 29?
True
Let y be -3 + (-34 - 3 - 0). Let k = 29 + y. Let h = 2 - k. Does 13 divide h?
True
Let p(j) = -j**3 + 5*j**2 + 4*j - 1. Let a be p(6). Suppose 5*f + 0 = -20. Let g = f - a. Is g a multiple of 3?
True
Suppose p = -5*o + 521, 0*o + p - 313 = -3*o. Suppose v = -3*v + o. Is 14 a factor of v?
False
Suppose 0 = -11*h + 2*h + 108. Is h a multiple of 3?
True
Let x(z) = 12*z + 9. Let c be x(-6). Let p = -35 - c. Is 14 a factor of p?
True
Let k(g) = -2*g**2 + 2*g + 10. Let q be k(7). Is 4 a factor of q/(-8) - 9/36?
False
Let g = 121 - 67. Is g a multiple of 18?
True
Let k be (-6)/(-21) - 19/(-7). Suppose 2*d - 256 = 4*n, -4*d + k*n = d - 654. Suppose 32 = -5*y + d. Is 13 a factor of y?
False
Suppose 13 + 28 = b. Is 41 a factor of b?
True
Suppose 20 = 4*g, t - 50 = 5*g + 225. Is t a multiple of 30?
True
Let n(q) = -3*q**2 + 44*q + 3. Let t(o) = 2*o**2 - 29*o - 2. Let v(a) = 5*n(a) + 8*t(a). Is v(13) even?
True
Suppose -16 + 169 = 9*m. Is m a multiple of 2?
False
Let a = 1 + 17. Let p = -8 + a. Is 10 a factor of p?
True
Let t be (-166)/(0 + (-2)/3). Does 14 divide t/9 - 1/(-3)?
True
Let f = -4 - -9. Suppose 4*c = -4*t - t - 33, 2*c + 29 = -f*t. Let j(m) = -m**3 + 2*m**2. Is 16 a factor of j(c)?
True
Suppose -3*i - 2 = -17. Does 5 divide i?
True
Let h(b) = -3*b - 22. Is 13 a factor of h(-12)?
False
Let k(q) = -q**3 - 5*q**2 + 6*q + 4. Is 30 a factor of k(-7)?
True
Suppose 0 = 42*d - 43*d + 85. Is 8 a factor of d?
False
Suppose c - 3*t - 81 = -c, 124 = 3*c - 5*t. Does 4 divide c?
False
Let s be 1/2*6*1. Let l(n) = 11*n - 21. Let q(b) = 3*b - 5. Let x(z) = -2*l(z) + 9*q(z). Is x(s) a multiple of 5?
False
Let g be 5/(-10) + (-34)/4. Does 20 divide (g/(-6) + -3)*-26?
False
Let k(x) = 34*x + 4. Does 36 divide k(2)?
True
Suppose 3 = w - 27. Suppose k + 2*k - w = 0. Does 5 divide k?
True
Let k = 163 - 38. Is 25 a factor of k?
True
Let j(m) = m + 9. Let z be j(-7). Suppose -z*f = -3*f. Suppose f*u + 56 = 4*u. Is u a multiple of 7?
True
Does 10 divide (3 + -4)*1 + 46?
False
Let z be (16/(-12))/(2/(-21)). Suppose 3*w = 25 + z. Is 4 a factor of w?
False
Suppose -4*c + 2*s = c + 267, -4*c + 5*s = 217. Let d = c - -101. Is d a multiple of 24?
True
Suppose 140 = 5*j - 115. Suppose -3*g + 8*g = -145. Let f = j + g. Does 11 divide f?
True
Let j(v) = 0*v**2 - 12*v - 4 + 0*v**2 - v**2 - 4*v. Is j(-11) a multiple of 17?
True
Suppose -3*q = -4*a - 23, -3*q + 10 = -3*a - 8. Is (21 - 6) + q + -1 a multiple of 15?
True
Does 18 divide (324/(-15))/3*(-45)/6?
True
Let k(x) = -5*x**3 - 2*x**2 - 2*x + 1. Let i(u) = u**2 + 7*u - 2. Let f be i(-7). Is 23 a factor of k(f)?
False
Suppose -3*c - 1 = -7. Does 13 divide 26*c*(-4)/(-8)?
True
Suppose -2*s - 2 = -10. Let d be 14/4*((-30)/21 - -2). Suppose -3*i - 116 = -s*u - 5*i, -d*i - 58 = -2*u. Is u a multiple of 20?
False
Let h = 22 + -12. Let r = h + 6. Is 8 a factor of r?
True
Suppose 4*a = -12 - 4. Let d be (a/(-10))/((-2)/(-10)). Suppose -d*v = -1 - 7. Is 4 a factor of v?
True
Suppose 0 = -h + 2, 5*h + 14 - 48 = -4*y. Let a = 42 + y. Is 16 a factor of a?
True
Suppose 2*i - 5*j + 2 + 6 = 0, -3*i + 34 = 4*j. Suppose i*x - 2*x - 180 = 0. Is x a multiple of 15?
True
Let o = -3 - -3. Let g = -30 + o. Let p = g - -52. Does 11 divide p?
True
Let c = 290 + -134. Is c a multiple of 26?
True
Suppose 4*q = -l + 111, 4 = -2*l - 6. Suppose 0 = -2*a - 3*s + q, 3*a - 4*s = -a + 88. Let f = a - 11. Is f a multiple of 4?
True
Let u(a) be the first derivative of 2*a**3/3 - 3*a**2 + 4*a - 4. Is u(4) a multiple of 9?
False
Let w be 21/(-35)*(-6 - -1). Suppose -4*x + w*x + 17 = 0. Is 17 a f