. Is 4 a factor of l?
True
Let c = 24 + 10. Does 7 divide c?
False
Let k(p) = -4*p - 3. Let t be k(-2). Suppose -5 = 5*x - t*c, -x + 6 = -3*x + 3*c. Suppose x*v = 2*v + 36. Is 15 a factor of v?
False
Let j(t) = t**2. Let d(w) = w**3 + 2*w**2 - 2*w - 1. Let u(i) = -d(i) + 5*j(i). Is u(2) a multiple of 9?
True
Let l be (0 - (-3 - -2)) + 2. Suppose -4*t + 23 = r, 19 = l*r + 3*t - 14. Let u = r + -4. Is 3 a factor of u?
True
Let s(d) = 12*d**2 + 2*d - 2. Let c(y) = 7*y**3 - y**2 - 2*y + 2. Let i(t) = -t**3. Let z(u) = -c(u) - 6*i(u). Let f be z(2). Is 18 a factor of s(f)?
False
Let j = 29 - 15. Does 8 divide j?
False
Suppose 0 = -4*o + 3 + 29. Suppose -o = -5*k + 17. Is (6 - k) + 5*7 a multiple of 18?
True
Let b(s) = 5 - 6*s - s - 4*s. Let i be b(-4). Suppose 0 = 5*u - i - 61. Does 22 divide u?
True
Let v = 290 - 63. Suppose -4*r - 80 = -q - v, -q - 3 = 0. Is 17 a factor of r?
False
Suppose 0 = 5*j - 135 + 15. Does 12 divide j?
True
Suppose -2*c - 35 = -5*j + 43, 0 = -j + 3*c + 13. Does 4 divide j?
True
Let o(x) = x**2 + 4*x - 8. Let m be o(-6). Suppose m*i + 8 + 0 = 0. Is 9 a factor of i*((-13)/2 - -2)?
True
Let z(l) = -2*l - 4*l + 2*l - 10 - 2*l. Suppose 0 = -3*v + v - 18. Is z(v) a multiple of 13?
False
Is (72/40)/((-2)/(-10)) a multiple of 3?
True
Suppose 0 = s - 0*s + 4. Let r = s + 9. Suppose -2*j = -4, -4*j - 4 = c - r*c. Is c even?
False
Let u = -204 - -286. Is 20 a factor of u?
False
Let r be -5 - (-1 + -2) - -6. Does 7 divide r/6*84/8?
True
Let z be 11/7 - (-3)/7. Suppose z*r - 160 = -3*r. Is r a multiple of 16?
True
Let y = -5 + 3. Is 0*y/(-4) + 11 a multiple of 4?
False
Let n(u) = 10*u - 7. Is 8 a factor of n(8)?
False
Let g(r) = -41*r. Let i be 2*(0 - 1) - -1. Is 16 a factor of g(i)?
False
Let t(c) = 40*c**2 + 2*c + 1. Let z = 3 + -4. Does 13 divide t(z)?
True
Suppose -4*j + 270 + 38 = 0. Is j a multiple of 7?
True
Suppose 3*i - c - 283 = 0, 4*i - 4*c = 139 + 241. Is 9 a factor of i?
False
Does 14 divide 111 - (1 + -1 + -4)?
False
Suppose 2*d + 11 = 1. Let b = 16 + d. Suppose 5 + b = 4*v. Is v a multiple of 3?
False
Let o(a) = -2 - 3 + a - 8*a + 2. Does 8 divide o(-4)?
False
Suppose z + 3*z - 49 = -5*s, -z - 19 = -5*s. Suppose -2*h = 10 + z. Does 18 divide 82*(-2)/h*2?
False
Suppose 29*w - 20*w - 1962 = 0. Is 31 a factor of w?
False
Let h = -6 + 11. Suppose p - h*p + 28 = 0. Let a = p + 11. Is a a multiple of 9?
True
Suppose -3*b = -b - 276. Is b a multiple of 20?
False
Let o = 31 - -4. Suppose 3*x = 4*d - 29, -4*x = -5*d + 33 + 4. Suppose -4*a - d*t = -o - 49, 3*a - 36 = 3*t. Is 16 a factor of a?
True
Let f(h) = h**3 - 4*h**2 - 3*h - 9. Is f(6) a multiple of 16?
False
Is 2 a factor of 3 + (-1)/((-3)/6)?
False
Let p = 10 - 6. Suppose -p*h - 7*n + 3*n = 84, -4*n + 54 = -2*h. Let t = h + 34. Does 6 divide t?
False
Let f(w) = w**2 - 5*w - 3. Let g be f(6). Suppose -3*m = -g*c, 0*m - 3*m = 5*c - 16. Suppose 0 = 4*q - m*q - 84. Does 11 divide q?
False
Let j = 71 + -57. Is 2 a factor of j?
True
Suppose 54 = 4*z + 5*t - 74, 4*z - 128 = t. Let p = -16 - -23. Suppose p = -5*h + z. Does 5 divide h?
True
Let w be 76*(-2 - (-21)/6). Let s = w - 71. Is 8 a factor of s?
False
Suppose -3*f = -74 + 2. Is f a multiple of 8?
True
Let m(j) be the third derivative of -j**4/24 + 10*j**3/3 - 3*j**2. Is 5 a factor of m(10)?
True
Suppose 2*o - 6*o = -2*l + 8, 16 = 2*l - 2*o. Is 12 a factor of l?
True
Suppose -7*d + 10*d - 168 = 0. Is d a multiple of 14?
True
Suppose 0*h = -h - 2. Let o(y) = -2*y - 14. Let a be o(-8). Does 8 divide h - -17 - (-3 + a)?
True
Let s = 2 - 2. Suppose s = 5*b - 44 - 41. Is b a multiple of 11?
False
Let f be (2 + 0)*2/2. Suppose y = f*t - 0*t - 21, -t - 3*y = -21. Is 12 a factor of t?
True
Let g(v) = v**2 + 7*v - 17. Let z = -7 + -7. Is g(z) a multiple of 17?
False
Let g be (-36)/(-24)*(-148)/(-3). Suppose 0 = -0*j + 2*j - g. Is j a multiple of 10?
False
Is 10 a factor of ((-8)/20)/(0 - (-3)/(-1050))?
True
Let f be 1/(-2)*(-11 + 3). Suppose -f*p - 2*w + 3 = 5, -5*p + 2*w = -20. Does 6 divide (-2 - -2 - p) + 11?
False
Let c = -43 - -88. Is 18 a factor of c?
False
Let l = -10 + 14. Suppose 4*p + 4*s - 252 = 0, 0*s - l*s - 220 = -4*p. Does 20 divide p?
False
Suppose -5*z = -6*z + 24. Is 8 a factor of z?
True
Let j(c) = c**3 - 4*c**2 + 3*c - 2. Let x be j(4). Let t = x - 19. Let o(f) = -6*f - 3. Is 17 a factor of o(t)?
True
Suppose -9 = -5*k + 16. Let i = -5 + 18. Suppose -k*l = 5*f - i - 17, 4 = l - f. Is 3 a factor of l?
False
Suppose -2*t + 2*l + 2*l = -86, 0 = 2*t + 4*l - 62. Suppose 0*a + r - t = -a, -4*r = -4. Is 12 a factor of a?
True
Suppose 3*b + 3*r - 4 = 5*r, 5*b - 2*r = 8. Suppose o - 3*o = 3*q - 10, -5*o + b = -4*q. Is o a multiple of 2?
True
Let p be 0/((4 - 2)/2). Suppose 1 + 15 = j + 2*w, p = 5*j - 3*w - 80. Suppose -j = -2*d + 20. Does 8 divide d?
False
Let w(r) = 5*r - 19. Does 11 divide w(8)?
False
Let c(r) = 16*r. Does 13 divide c(4)?
False
Is (-4 - (-4 - 172)) + 4 a multiple of 44?
True
Suppose -3*o - 185 = 5*f, -5*o - 2*f + f - 301 = 0. Let m(p) = p**3 + 8*p**2 - 2*p - 4. Let a be m(-8). Is 8 a factor of a/10*o/(-9)?
True
Suppose 11 + 19 = -5*o. Is 3/o - 76/(-8) even?
False
Let s = -40 - -104. Is 16 a factor of s?
True
Let v(p) = 4*p**2 - 1. Let g be v(-1). Suppose 5*s - 56 = -3*l, -g*l + 10 + 36 = 4*s. Does 8 divide s?
False
Let c(d) = -8*d - 2. Let s(g) = 8*g + 3. Let m(v) = -6*c(v) - 5*s(v). Is 15 a factor of m(6)?
True
Suppose 15*w - 2*w = 3939. Is 11 a factor of w?
False
Is (495/(-25))/(3/(-10)) a multiple of 9?
False
Let k = -3 - 3. Let s be (-14)/(k/(-4) + -2). Let p = s + 6. Does 17 divide p?
True
Suppose -4*g + 20 = -16. Let y = 5 + 0. Let s = y + g. Is 14 a factor of s?
True
Let b be ((-203)/(-14))/(1/2). Suppose 0*s - 135 = -3*s. Let o = s - b. Is o a multiple of 16?
True
Let i = -28 + 15. Let m = i - -25. Does 7 divide m?
False
Suppose -4*h = -238 + 34. Does 8 divide h?
False
Let i = 179 - 257. Let s = -56 - i. Is 15 a factor of s?
False
Let l(b) = 9*b**2 - 9*b + 2. Does 34 divide l(6)?
True
Let f(q) = -q - 13. Let n be f(-8). Let a(w) = -w**3 - 3*w**2 - 4*w + 5. Is a(n) a multiple of 25?
True
Let i = 158 + -149. Is i a multiple of 2?
False
Suppose -2*c = 4 - 2. Let z be ((-12)/(-9))/((-8)/12). Does 15 divide 16 + 0 + (z - c)?
True
Suppose -l + 47 + 45 = 0. Does 12 divide l?
False
Suppose -5*t - 4 = -14. Suppose -5*d - 2*n + 115 = 2*n, -t*d + 46 = 3*n. Does 9 divide d?
False
Let n be (-22)/(-10) - 4/20. Let h be 70/1 - (-4)/n. Is (-1)/5 + h/10 a multiple of 7?
True
Suppose -3*r - 6 = k, 5*k + 2*r - 5*r - 24 = 0. Does 2 divide k?
False
Suppose 2*j + 0*j = -2. Does 13 divide (1 - 45/(-1)) + j?
False
Let d = 87 + -56. Is 31 a factor of d?
True
Suppose 0 = 5*w - 740 - 80. Is w a multiple of 17?
False
Let n = 5 + -1. Let t(c) = -17*c - 1 - n*c - 14*c. Does 17 divide t(-1)?
True
Suppose 2*l - 92 = -2*q, 2 = -5*l - 8. Does 12 divide q?
True
Let a(x) = x**2 - 7*x + 12. Does 9 divide a(7)?
False
Let p(b) = -2*b - 3 + 8*b**2 + 3*b - b + 4*b. Is 27 a factor of p(3)?
True
Let o(q) = 4*q**3 + q**2. Let y be o(1). Let c(n) = 15*n. Does 25 divide c(y)?
True
Let w be (-2)/11 + 92/22. Let c(t) = 2*t + 2 - w + 1. Does 8 divide c(6)?
False
Suppose 190 = 2*l + 3*l. Suppose -2*i = 6, -2*i - 1 = -k - 6. Let y = k + l. Does 15 divide y?
False
Suppose -4*f = -46 - 6. Let z = 0 - -4. Suppose -35 - f = -z*k. Is k a multiple of 12?
True
Let p(b) = 3*b. Let y(c) = 2*c - 1. Let w(g) = 6*p(g) - 7*y(g). Let r be w(5). Suppose r = 4*l - 3*s, 4*s + 0 = -4*l + 20. Does 6 divide l?
True
Let u = 15 + -4. Suppose 5*c = 2*w + 159, -5*w = -4 - u. Is 11 a factor of c?
True
Suppose 2*g + g + 2*h = 8, 5*h = 5. Let r(d) = d**2 + 3*d - 3. Is r(g) a multiple of 7?
True
Is 2625/(-7)*4/(-10) a multiple of 15?
True
Suppose -5*f = 4*y + 19, -3*f = -3*y + y - 15. Let b = 4 + y. Is 2/(b - (-26)/12) a multiple of 12?
True
Let l be (-1 - -4) + -1 - -3. Let x = -4 + l. Let b(t) = 6*t**2 + 1. Is b(x) a multiple of 3?
False
Suppose b - 2 = -0*b. Suppose j = s - 2*s + 5, j - 2 = -b*s. Is j a multiple of 8?
True
Let t = -1 + 75. Suppose 5*n - t = -9. Is n a multiple of 9?
False
Let w = -2 + 4. Suppose 2*a - w = -0*a. Is 16 a factor of (-66)/(2 - 4) - a?
True
Does 4 divide (0 - -5 - 10)*12/(-5)?
True
Suppose -4*k - 4 = -6*k. Suppose -2*t - k*t + 140 = 0. I