t m be -3 - 3/(-3)*6. Let k be o(m). Let i = k - -1. Is 17 a factor of i?
False
Suppose 0 = l - 4*o - 0*o - 544, 0 = o + 5. Suppose 4*i - 720 = -4*q - 216, -4*q + i = -l. Is 13 a factor of q?
True
Suppose -4*a - 5*j = -455, 0*j - 3*j = -2*a + 211. Let m be -11 - -11 - (-5 + 1). Suppose m*i = a + 146. Does 14 divide i?
False
Suppose 4*z = -z + 190. Let f = -14 + 26. Let m = f + z. Is m a multiple of 20?
False
Let g be ((96/(-10))/2)/(6/(-15)). Let h(k) = 3*k + 1. Let t be h(-1). Is 3 a factor of t/(-4)*g + 3?
True
Let n be (1 + (33 - -1))*(-10)/(-25). Suppose -19*s + 340 = -n*s. Is s a multiple of 17?
True
Suppose -458 = 14*g + 466. Does 18 divide (-1 + g)/((-9)/45)?
False
Suppose -3*w + 16 + 29 = f, 120 = 4*f - 3*w. Let u be 324/f + (-4)/(-22). Suppose -4*r + u*r - 270 = 0. Does 15 divide r?
True
Suppose 2*c = -o + 29, o - c = c + 33. Let d be (-2 - -1)*(-7 - -2). Suppose d*a + 6 = -4, -3*v - a = -o. Is v a multiple of 11?
True
Suppose c - 139 = 5*k, -6*k + 9*k - 471 = -3*c. Is 22 a factor of c?
True
Suppose 0 = -4*w + 8, 3*w = -4*b + 2*b + 36. Let j = 17 - b. Suppose -54 = -p - j*h, -p + 37 = 5*h - 32. Does 11 divide p?
True
Let i(z) = -z**3 - 8*z**2 + 9*z + 2. Let n be i(-9). Suppose -150 = -n*o - 52. Is o a multiple of 9?
False
Let w(g) = 189*g + 7. Is w(4) a multiple of 46?
False
Let z = 7 + -17. Let y be (-82)/z + 5/(-25). Does 26 divide (-314)/(-4) + (-4)/y?
True
Let n(y) = 4 - 5 + 2 + y + 4*y. Let w be 9/6 + 1/2. Is 5 a factor of n(w)?
False
Suppose 0 = 3*m - 1487 - 1483. Is m a multiple of 86?
False
Suppose 0 = -2*k + b - 63, 3*k + 4*b = 4*k + 49. Let z = k - -95. Does 18 divide z?
False
Let g(l) = -l**2 + l + 4. Let d be g(4). Let b(s) = s**3 + 8*s**2 - 8. Let p be b(d). Let u(n) = -n**2 - 9*n + 2. Is 4 a factor of u(p)?
False
Let j(t) = 16*t - 40 + 45 + 0*t**2 + t**2. Let o be j(-16). Suppose 0 = -3*f - 4*p + 132, -o*f + 215 = 4*p + p. Is 13 a factor of f?
False
Suppose -3*c + 5 = -g, -12 = -2*c - 2*c + 4*g. Let i be c + -1 + -7 + 12. Suppose 25 = 10*x - i*x. Is 5 a factor of x?
True
Let l(d) be the first derivative of -d**3/3 - 9*d**2/2 + 2*d - 21. Is l(-5) a multiple of 5?
False
Suppose 0 = -5*b + 8*b - 6. Let q(l) = -16*l**2 + 30*l - 47*l + l**3 + 22 + 32*l - l**b. Is 2 a factor of q(16)?
True
Let a be (-196)/(-12) + (-4)/(-6). Suppose 2*l - 9 = a. Is 5 a factor of l?
False
Let q = 22 - -2. Let d = q + -15. Is d a multiple of 4?
False
Let d(r) = -5*r + 363. Is d(-39) a multiple of 8?
False
Let b(z) = 3*z - 2*z**3 + 3*z**2 + 4*z**2 - 4*z**2 - 8. Let f(v) = -3*v**3 + 5*v**2 + 4*v - 12. Let l(n) = 7*b(n) - 5*f(n). Is 4 a factor of l(4)?
True
Suppose 0 = 2*t - 4*y - 2976, -8*t - 4*y - 7452 = -13*t. Does 8 divide t?
False
Let v(c) = -6 - 3 + 5*c - 2 + 0 + 4*c**2. Is v(-5) a multiple of 27?
False
Let i = -122 + 194. Let c = i + 225. Is 33 a factor of c?
True
Let w be -2 + 659 - (1 + (3 - 1)). Suppose -518 = -7*y + 3*y + 5*v, -w = -5*y + 3*v. Is y a multiple of 11?
True
Let d = 0 - -2. Suppose 3*g = -5*a + d, g + 0*a = -4*a - 4. Let m(x) = 3*x**2 + 7*x - 7. Is m(g) a multiple of 20?
False
Let a(p) = -p**3 - 14*p**2 - 3*p - 27. Let r(x) = 3*x - 32. Let g be r(6). Is a(g) a multiple of 12?
False
Let x be (-12)/2*3/(-6). Suppose 4*t = -x*v + 30 + 56, 2*t = -v + 30. Is v a multiple of 5?
False
Suppose 3*r + 2*s = -0*s + 275, 4*r - 3*s - 378 = 0. Is r a multiple of 6?
False
Suppose 0 = -22*q - 6951 + 34935. Is 53 a factor of q?
True
Suppose 3*q = q + 6. Suppose 3*k - 4*z = 9, 8*k - q*k + z - 15 = 0. Suppose -k*s = 5*b - 42, s + 2*b + 0*b = 15. Does 7 divide s?
False
Suppose 0*d - 1088 = -2*x + d, 4*d = -5*x + 2720. Suppose 2*g - 384 = -4*r, 4*g + x = 4*r + 172. Does 19 divide r?
True
Let a = 110 - 7. Let m = -57 - a. Is m/(-12) - 2/6 a multiple of 3?
False
Suppose -77*q + 57*q = -44080. Does 19 divide q?
True
Suppose -654 = -4*t - 114. Is t a multiple of 15?
True
Let l(y) = -5*y**3 + 5*y**3 - 3*y - 4*y**2 - y**3. Let i be l(-3). Suppose b - 5 - 29 = i. Is 19 a factor of b?
False
Let q(o) = -5*o - 1. Let p be q(-5). Suppose -l = 2*l + p. Let c = -5 - l. Is 2 a factor of c?
False
Let o(p) = -p**3 - 3*p**2 + 4*p - 14. Does 11 divide o(-7)?
True
Suppose -4*z + 4*m - 621 = -4013, -1711 = -2*z - 3*m. Is 16 a factor of z?
False
Suppose -2*c - 4*o + 6 = 0, c + 0*o + o = 3. Suppose 2*q - 161 = q - j, j = c*q - 495. Does 18 divide q?
False
Let f = -157 + 299. Suppose -2*r + r + f = 0. Is r a multiple of 14?
False
Let h = 159 - 295. Let k = 192 + h. Is k a multiple of 14?
True
Suppose -3*r + r + 5*z + 23 = 0, -5 = -5*r - 5*z. Suppose 74 = 3*m + q, -2*m - q + 58 = r*q. Suppose y - p - m = 3*p, -3*p = 2*y - 4. Is 2 a factor of y?
True
Does 30 divide 210/((9/6)/3)?
True
Suppose -5 = -5*w - 2*i, -3*i + 5 = 5*w + 2*i. Let d(m) = 3*m + 2. Let h be d(w). Does 13 divide (-15)/h + 82/2?
False
Suppose -2*w - 938 = -k, 7*k + 5*w - 4660 = 2*k. Is 38 a factor of k?
False
Let n(j) = 11*j**2 + 6*j + 19. Let m be n(-5). Suppose 3*w + 264 = 4*d, -2*w = 4*d - w - m. Is d a multiple of 11?
True
Suppose 3 + 1 = 4*t. Let u = t + -1. Suppose u = -3*w + 4*c - c + 168, 4*w - 192 = -4*c. Is 13 a factor of w?
True
Is 9 a factor of 9 - 6 - (-60)/4?
True
Let z be 24/(12/(-64)*-4). Suppose 3*u + 16 = 6*u - 2*s, -z = -5*u + 2*s. Is 14 a factor of ((-102)/(-4))/(6/u)?
False
Let j = 423 + -229. Suppose -4*x = 2*t - j, -t + x + 68 = -17. Suppose -6*m - 17 + t = 0. Is 12 a factor of m?
True
Suppose 12 = 5*z + 7. Is (-316)/12*z*-3 a multiple of 19?
False
Let a(i) = 21*i + 747. Is 4 a factor of a(0)?
False
Let x be (8/16)/((-3)/(-174)). Let j = x - 26. Suppose -23 = -w - j*z, 2*w = 5*w - 2*z - 69. Is 23 a factor of w?
True
Let v(l) = -l**2 - 15*l + 36. Let z be v(-17). Suppose -z*x - 540 = -14*x. Does 5 divide x?
True
Let j = -7 - -10. Suppose 0 = -5*i, j*n - 39 = -2*i + 3. Is 14 a factor of n?
True
Let s = -134 + 369. Suppose -5*m + 4*i + s = 0, -2*i = 3*m - 0*i - 163. Is m a multiple of 7?
False
Suppose 5*f + 4*f - 432 = 0. Suppose 0 = r - f - 20. Does 17 divide r?
True
Suppose 3*j - 45 = 3. Suppose -14*r + j*r = 0. Suppose 0*x + u = -2*x + 31, -x - u + 14 = r. Is 3 a factor of x?
False
Suppose b + 4*k = -0*b - 11, -4*b + 2*k = -28. Suppose b*w - 96 = 2*w. Does 14 divide w?
False
Let n be (-4)/16 - (-30)/(-8). Let s(l) = -l**3 - 3*l**2 + 3*l - 1. Let d be s(n). Suppose 0 = 5*o + 4*i - 31, -2*o = -2*i + d - 1. Does 3 divide o?
True
Let w(b) = 33*b + 1 + 3*b + 15*b. Let s(d) = d**2 - 5*d - 5. Let i be s(6). Is 30 a factor of w(i)?
False
Suppose 5*p + 316 = 4*c, -2*p + 3*p + 79 = c. Let k = c + 23. Is 17 a factor of k?
True
Let h = -142 - -85. Let x = h - -31. Let s = x + 32. Is 2 a factor of s?
True
Let w(f) = 4*f - 2. Let k be w(-3). Let n be (672/(-80))/((-2)/(-5)). Does 10 divide (-37)/(-2) + n/k?
True
Let s(q) = 53*q + 1. Let r(a) = 213*a + 3. Let l(w) = 2*r(w) - 9*s(w). Does 4 divide l(-1)?
True
Let y = 1640 - 1525. Is y a multiple of 22?
False
Let m(a) = 293*a - 207. Is 34 a factor of m(5)?
True
Let o(i) = -i**3 + 6*i**2 - i + 14. Let n be o(6). Suppose 0 = -2*g - 0*g + 16. Is 15 a factor of ((-78)/g)/((-3)/n)?
False
Let w = -1492 - -3907. Is 23 a factor of w?
True
Let c(m) = -7*m**2 + m**3 - 3*m + m**2 - 4*m - 14 - 5*m**2. Is 12 a factor of c(12)?
False
Let v(t) = 40*t - 127. Does 16 divide v(35)?
False
Let w(k) = k**2 - 2*k - 6. Let i be w(-12). Suppose -8*q + i = -5*q. Is 13 a factor of q?
False
Let f be (-1 + -13)/(-2) - 2. Suppose f*b - 411 - 339 = 0. Suppose a + a = b. Does 25 divide a?
True
Let r(k) = 5*k**2 + 66. Is r(0) a multiple of 6?
True
Let j = 11 - 16. Let r = j + 9. Suppose 4*d - r = 240. Is 13 a factor of d?
False
Let w = 29 - 24. Suppose -207 = -w*k + 13. Is k a multiple of 19?
False
Let h be ((-141)/6)/((-2)/4). Suppose -2*k - h = 5*v - 422, 4*v - 4*k = 300. Is v a multiple of 15?
True
Let k(b) = 22*b**2 + 3*b + 11. Let y be k(-2). Is 3 a factor of 109/4 + -8 + y/12?
True
Suppose -74 = -5*n + 4*a + 943, -3*a - 814 = -4*n. Is 39 a factor of n?
False
Let b = 81 + -75. Suppose 83 = b*z - 469. Is z a multiple of 12?
False
Let f(o) = -o**3 + 5*o**2 - o + 9. Let v be f(5). Suppose 5*y - 1065 = 4*x + x, -x = v. Does 42 divide y?
False
Let i = 330 + -262. Is i a multiple of 34?
True
Suppose -13*h + 16 = -9*h. Suppose -4*r = -16, -2*z + 208 = -h*r - 0*r. Does 21 divid