) a multiple of 17?
False
Suppose 0 = -13*q + 5*q - 24. Is 5/3*(q + 9) a multiple of 10?
True
Suppose 0 = -0*v - 21*v + 1911. Is 22 a factor of v?
False
Suppose n - 5*i - 251 = -27, -i + 854 = 4*n. Let v = 396 - n. Is v a multiple of 15?
False
Let o = 1 + 8. Does 18 divide (o/4)/(7/168)?
True
Let f = 958 - -67. Is 41 a factor of f?
True
Let m(q) = 28*q + 112. Does 12 divide m(23)?
True
Suppose 4*h - 2*h - 4 = 0. Let m be -4 + (5 - h) - -5. Suppose m*g - 80 = 2*g. Is g a multiple of 10?
True
Suppose 0 = -2*q - 4*f + 42, -30 = -5*q - 0*f + 5*f. Suppose -2*u - 2*h = 3*u - q, 4*h = 4*u - 20. Suppose 82 + 68 = u*o. Does 25 divide o?
True
Let q(o) = -377*o**3 + o**2 + o + 1. Let v be q(-1). Let j be (v/(-24))/(1/(-4)). Let x = j + -35. Does 8 divide x?
False
Suppose 2*f - 217 = -3*k, -5*k - 4*f = -k - 296. Does 3 divide k?
True
Suppose 5*a - 4*h = 34, -2 = 2*h - 0. Let z = a - 2. Suppose i = -z*i + 205. Is i a multiple of 13?
False
Let r(s) = -12*s - 6 - s**3 + 1 + 8 + 2*s - 8*s**2. Let y be (14*1)/(9 - 11). Is r(y) a multiple of 6?
True
Let i = -155 - -262. Suppose -2*m = -i + 19. Let y = -26 + m. Is y a multiple of 18?
True
Suppose -4*y + 384 = 4*d, 3*d - 5*d + y + 189 = 0. Let m = -47 + d. Does 16 divide m?
True
Suppose -602*u = -598*u - 2628. Does 12 divide u?
False
Let l(d) = d**2 - 8*d - 1. Let j(f) = f**2 - 16*f - 1. Let p(s) = -3*j(s) + 5*l(s). Let z be p(-6). Let x = z - -11. Is 22 a factor of x?
False
Suppose -2*l = -4*g + 10, 0*g + 4*l - 32 = -5*g. Let u(d) = 3*d - g*d - 5 + 15*d**2 - 9*d**3 + 10*d**3. Does 6 divide u(-15)?
False
Let c = 881 - 536. Does 14 divide c?
False
Let d(r) = r**2 - 6*r. Let g be d(4). Is 106*2/g*-2 a multiple of 19?
False
Let a(j) = 3*j**2 - 11*j + 3. Let l(c) be the third derivative of -c**5/60 + c**4/24 - 2*c**2. Let d(f) = -a(f) - 5*l(f). Is 15 a factor of d(6)?
True
Suppose 0 = 3*z - z - 2. Suppose -k + 11 = 4*c, 4*k - 1 = 5*c + z. Suppose c*q - 24 = -q. Does 7 divide q?
False
Let v be -1 - (-2)/(2 - 3). Let i = v - -13. Is 7 a factor of (-2)/(-4) - (-145)/i?
False
Let k(w) = 16*w**2 - 6*w - 14. Does 14 divide k(-4)?
True
Let i be (-497)/(-28) + 2/8. Suppose v + 4*x - 32 = 0, -3*v + 5*x - 145 = -8*v. Let o = v + i. Is 26 a factor of o?
False
Let h(k) = 10*k**2 + 7*k + 4. Let l = 75 - 44. Let a = l - 33. Is 13 a factor of h(a)?
False
Let n(b) = -b**3 - 4*b**2 - 5*b - 4. Let t be n(-2). Does 26 divide ((-158)/t)/(4 - 35/10)?
False
Let p(q) = -3*q**3 - 27*q**2 + 19. Let z(g) = -g**3 - 9*g**2 + 6. Let s(a) = 3*p(a) - 8*z(a). Let h be -1 - ((-10)/(-2) - -3). Does 4 divide s(h)?
False
Let y be (-2 - 3)*21/(-15). Suppose -4*h + y + 9 = 0. Suppose 5*t + 220 = 2*s + s, 2*t = -h. Is 21 a factor of s?
False
Let h(a) = 43*a**3 + 2*a**2 - 2*a. Is 20 a factor of h(1)?
False
Let c(o) = 7*o**3 - 20*o**2 + 21*o + 13. Let v(x) = -8*x**3 + 21*x**2 - 22*x - 13. Let t(j) = -7*c(j) - 6*v(j). Does 28 divide t(12)?
False
Let c = 102 - 99. Suppose -29 = -c*t - 4*o, -4*t + 2*t + 50 = -5*o. Is t a multiple of 15?
True
Let b(y) = 4*y**2 - 7*y. Let u be b(5). Suppose -11 = -v - 0*v + c, -2*c = 5*v - 27. Suppose v*w + u = 12*w. Is w even?
False
Is 20 a factor of (7 - 4)/(5 - (-797)/(-160))?
True
Let z be (22/(-8))/((-1)/(-4)). Let m(b) = b**2 + 9*b + 15. Let o be m(z). Suppose -3*x = -l + o, -3*x = 7 + 2. Does 22 divide l?
False
Let d(f) = -7*f + 87. Let o be d(27). Let s be 3/3 + -1 + 0. Let q = s - o. Is q a multiple of 19?
False
Let a be (2 - 172)/5 - 1. Let y = a - -51. Does 6 divide y?
False
Suppose -7*x + 5*h - 2905 = -2*x, -2344 = 4*x + h. Let i = x - 1407. Is (-4)/26 + i/(-104) a multiple of 7?
False
Let r(i) = 10*i**2 - 9*i - 1 + 27*i - 15*i. Is r(2) a multiple of 19?
False
Let p(c) = 5*c**2 + 11*c - 10. Let q = 120 + -114. Is p(q) a multiple of 20?
False
Let y be -4 - (3 - 4)*-33. Let a = y - -63. Is 5 a factor of a?
False
Let h(q) = q**2 - 2. Let f be h(-3). Let a(r) = 9 + 7 - f - r + 1. Is 4 a factor of a(6)?
True
Suppose 5*k = -241 - 134. Does 10 divide (-2)/(3/k*1)?
True
Is ((6 - -5) + -66)/(-1) a multiple of 5?
True
Let o(l) = l**3 - 19*l + 20 - 5 + 3*l - 9*l**2. Let i be (0 + -2)*88/(-16). Is o(i) a multiple of 27?
True
Suppose -411 - 814 = -25*y. Does 7 divide y?
True
Let h = 79 + -40. Let v be -2 + 4 + -6 - 16. Let g = h + v. Is 19 a factor of g?
True
Let a(g) = 2*g**3 - 15*g**2 + 13*g - 10. Does 5 divide a(11)?
True
Let u = 11 + -17. Let v(r) = -9*r + 2 - 4 + 0*r + 4. Is v(u) a multiple of 14?
True
Let h = -2 + 7. Let f(a) = 14*a + 16 - 13*a - 7. Is f(h) even?
True
Suppose 0 = 4*v + 4*w - 712, -w - 692 = -3*v - v. Is 7 a factor of v?
False
Let d(m) = 17*m - 16. Let a = -104 + 109. Does 7 divide d(a)?
False
Suppose -2*l + 140 = -64. Is 10 a factor of l?
False
Suppose -4*o = 3*o + 28. Let g(c) = -2*c**2 - 13*c - 4. Is g(o) a multiple of 16?
True
Let w be 3/((-3)/(-2)) - -5. Is 35 + (-12)/w + (-8)/28 a multiple of 17?
False
Suppose 13*z - 9 = 4*z. Is 13 a factor of (-1)/(z*3/(-183))?
False
Let l be (3 - 0) + 15 + -13. Suppose v = -p + 4, 0 = 2*p + 3*v + l - 11. Is 6 a factor of p?
True
Let s be -1*(2 - 265) + 0. Suppose -4*t + 344 = -2*c, t = -2*t - c + s. Is t a multiple of 20?
False
Suppose 0 = 5*x - 0*x - 20. Suppose -3*q = 3*n - 543, 2*q + x*n = 7*q - 905. Suppose 4*v = -3*a + 128, 4*a + v = q - 6. Does 19 divide a?
False
Suppose -4*b = 4*w - 3 - 17, -w + 1 = 0. Suppose 5*o - 86 = b*o. Does 10 divide o?
False
Let g(r) = r**2 + 4 - 2*r**2 - 7*r + 0*r**2 + 2. Let x(m) = -m - 14. Let d be x(-8). Is g(d) a multiple of 4?
True
Suppose -8*u = 46 - 62. Let o(d) be the second derivative of 3*d**5/20 + d**3/2 - 3*d**2/2 - d. Does 12 divide o(u)?
False
Let x(h) = 3*h**3 - 8*h**2 + 7*h - 2. Does 10 divide x(4)?
True
Let z = 26 + -21. Suppose z*v = -312 + 1242. Is v a multiple of 29?
False
Let k be (-4 - 20)*(10/(-4) - -2). Suppose 8*h = k*h - 1044. Does 29 divide h?
True
Let z(y) = -11*y + 54. Is 5 a factor of z(-14)?
False
Suppose 77*v = 38*v - 585. Let y = 49 + -20. Let a = y + v. Does 2 divide a?
True
Let y be 5*(11 - 1 - (4 + 0)). Let d = y - 13. Does 17 divide d?
True
Suppose -g = -4*j + 298 + 70, j - g - 89 = 0. Does 93 divide j?
True
Does 14 divide 4192/24*(-3)/2*-1?
False
Is 18 a factor of (-12)/10*(-1390)/4?
False
Suppose 26 = 2*c - 4*g, -g + 8 = c - 2*g. Suppose a - c = -0*a. Suppose 2*k - 57 = k + a*f, -f + 176 = 4*k. Is k a multiple of 15?
True
Let x = 907 + 413. Is 20 a factor of x?
True
Let o = -619 - -1245. Does 16 divide o?
False
Let u(k) = k - 2. Let r be u(6). Let a(z) be the first derivative of 5*z**2/2 + 58. Is 3 a factor of a(r)?
False
Suppose -7*v + 2*v = 0. Suppose v = -0*d - 6*d + 222. Is d a multiple of 9?
False
Let g(n) = n**3 - 2*n**2 - 4*n - 2. Let s be g(-2). Let l = 12 + s. Suppose -l*v = -6*v + 36. Does 3 divide v?
True
Suppose -4*x + 56 = -t, 0 = -t - 0*t + 4. Let y = 12 - x. Let f(s) = 13*s**2 + s - 4. Is 22 a factor of f(y)?
True
Let q(i) = 35*i - 150. Is q(28) a multiple of 83?
True
Suppose -t = y - 516, -4*t + 1521 = 2*y - 537. Is t a multiple of 27?
True
Let u(z) = -18*z - 118. Is 19 a factor of u(-22)?
False
Suppose n = -2*n + g + 232, -4*g = 3*n - 212. Suppose -2*r = 2*r + n. Is 18 a factor of (-2 + 1)*(r - -1)?
True
Is (6/9)/((-1)/(-6)) - -308 a multiple of 39?
True
Suppose -220 = -6*q + 80. Is q even?
True
Suppose 12*d = 7*d. Suppose -3*l - 4*q = l - 624, 2*q = d. Does 13 divide l?
True
Suppose 20 = -4*d, 4*y - 5*d + 7031 = 21784. Is y a multiple of 86?
False
Let u(v) = -v**3 - 5*v**2 - v + 1. Let j = 24 - 29. Let k be u(j). Let d(t) = 7*t - 6. Is 12 a factor of d(k)?
True
Suppose -4*s + 258 = -7722. Does 21 divide s?
True
Suppose 2*j + r - 104 = 5*r, 2*j = 5*r + 108. Let s = -134 - -157. Let b = j - s. Is 9 a factor of b?
False
Suppose -58*k = -53*k - 85. Suppose 3*q - 13 - k = 0. Does 5 divide q?
True
Let y(u) = u**3 + 4*u**2 - 7*u - 7. Let h be y(-5). Suppose 0 = -h*b - d + 101, 53 = 3*b - 4*d - 38. Let x = 63 - b. Does 30 divide x?
True
Let j(a) = -a**2 + 22*a - 41. Let d be j(20). Is 0/(1 - 0/d) - -45 a multiple of 7?
False
Suppose 30 = 11*t - 6*t. Suppose t*k - k = 1115. Suppose 4*p + 0*a - k = 3*a, 3*p - 4*a = 169. Does 21 divide p?
False
Let q be (-41)/(-5) + 7/(-35). Suppose 13*f = q*f. Suppose 3*v - 2*z = 144, f = -3*v - 3*z + 50 + 109. Is 10 a factor of v?
True
Let h = 350 -