iple of 4?
True
Let v be (5/(-15))/((-2)/6). Let w = v - -18. Does 17 divide (2 - w)/(3/(-9))?
True
Let g(m) = 4*m + 6. Let j be (-140)/30*(0 - -6). Let u = j - -43. Does 15 divide g(u)?
False
Let t be 5*1*(32 + -31) - -12. Let m(r) be the third derivative of r**4/8 + 29*r**3/6 - 2*r**2. Is m(t) a multiple of 16?
True
Is (-4)/14 + 46852/371 a multiple of 9?
True
Let a = 137 + -94. Let v = 83 - a. Suppose 2*y - v = -4*t - 6, -4*t + 2*y + 46 = 0. Is t a multiple of 5?
True
Suppose -3*v + 6 + 21 = 0. Let p be v/(-3 + (-14)/(-4)). Suppose w - p = -w. Is 9 a factor of w?
True
Let s(a) = a + 19. Suppose -2*i - 2*i = -108. Let r = i - 27. Is 6 a factor of s(r)?
False
Suppose 6*h - 2337 = 2559. Is h a multiple of 17?
True
Let k be (30/(-25))/(3/(-10)). Suppose 0 = k*g + 3*x - 249, -55 = -2*g - 4*x + 67. Is 21 a factor of g?
True
Let y = -39 - -33. Is (-122)/y + 8/12 a multiple of 8?
False
Suppose -788 = -4*n + 3*z + 190, 10 = 5*z. Does 41 divide n?
True
Let y be (2/(-6))/((-7)/105). Suppose 2*i - 361 = -y*s, i + 0*s = -2*s + 179. Is 25 a factor of i?
False
Let j be (-4)/(-6) - (-435)/9. Let l = 85 - j. Does 9 divide l?
True
Let s be (-12)/(-9) + (-10)/(-15). Suppose -4*r = 5*m + r - 15, -4*r = -s*m. Suppose 4*h = -3*y + 134, -m*y - 4*h - 34 = -126. Is y a multiple of 23?
False
Suppose -156 = 3*j + 102. Let o = 152 + j. Is o a multiple of 22?
True
Let z = -299 + 183. Let d = -98 - z. Does 15 divide d?
False
Let f(s) = 7*s - 1. Let q be f(5). Suppose -2*l = -3*h + 68, -2*h - 5*l = -h - q. Suppose 0 = -0*r + 3*r - h. Is r a multiple of 4?
True
Suppose -2*y + 26 = 2*d - 0*y, -5*y - 43 = -4*d. Is 27 a factor of ((-65)/4 + 2)/((-3)/d)?
False
Suppose 3*v - 2*v - l = 145, -5*v - 3*l = -741. Is 49 a factor of v?
True
Suppose -319 = -d + 39. Suppose t + 0*t = 2*m + 171, 2*t = -4*m + d. Is t a multiple of 35?
True
Does 14 divide 0 + 298 - (-18 + 0 + 12)?
False
Let a(j) = -16*j - 24. Let o(x) = -5*x - 8. Let k(b) = 4*a(b) - 11*o(b). Is 16 a factor of k(-9)?
False
Let p(t) = t**2 - 10*t - 8. Let u be p(11). Suppose -5*o - 2*l = 2*l + 596, -4*o - u*l = 476. Is 16 a factor of o/6*9/(-6)?
False
Suppose q = -3 - 19. Let l(b) = b**2 - 2*b + 1. Let v be l(6). Let m = v - q. Is m a multiple of 27?
False
Is 76 a factor of (-18)/(-6) - 4 - -381?
True
Suppose -3097 = -2*w - 3*k, -3*w = 4*k - 5514 + 868. Does 14 divide w?
False
Suppose -3*y - 20 = -8*y. Is 22 a factor of (-6)/(-2*y/152)?
False
Let f = -329 - -455. Does 9 divide f?
True
Suppose 11 = 2*t + 1. Suppose -t*s + l = 3*l - 56, 5*s - 3*l - 66 = 0. Is s a multiple of 6?
True
Let j = -21 - -30. Suppose 6*n - j*n = -288. Does 4 divide n?
True
Let w(g) = g**2 + 10*g - 14. Let d(n) = -n - 1. Let f(a) = 5*a + 7. Let y(c) = -6*d(c) - f(c). Let o(r) = w(r) - 4*y(r). Does 30 divide o(8)?
False
Suppose -4*w + 10*w - 1152 = 0. Is 17 a factor of w?
False
Suppose -36 = -3*g + 4*q - 38, 3*g - q - 13 = 0. Let f(n) be the second derivative of -n**5/20 + 5*n**4/12 + 4*n**3/3 + n. Does 6 divide f(g)?
True
Let a(h) = h**2 + 3*h - 10. Let y(t) = t**2 - t + 1. Let r(w) = a(w) + 2*y(w). Is 22 a factor of r(-8)?
True
Is 10 a factor of 373/2 + (171/(-18) - -9)?
False
Let a(s) = 196*s**3 - 18*s + 29. Is a(2) a multiple of 15?
False
Let v(i) = i**3 - i**2 - i. Let w be v(-1). Is (-1806)/(-24) - w/(-4) a multiple of 18?
False
Let r(w) = 22*w**2 + 7*w + 33. Is r(-8) a multiple of 14?
False
Suppose 4*h + h = a - 1092, 0 = -3*h - 2*a - 663. Let k = h - -321. Is 26 a factor of k?
False
Let a(c) = -c**3 - c**2 + c - 34. Let i be 1 + (-1 + 3)/(-2). Let x be a(i). Let f = 20 - x. Is f a multiple of 14?
False
Suppose -s - 9 = 3*n, -4*s = -3*s - 5*n - 23. Suppose -91 + s = 2*c. Let o = c + 63. Does 5 divide o?
False
Suppose -q = 3*m - 64, 3*m - 2*q + 5*q = 66. Suppose m*p = 20*p + 68. Is p a multiple of 20?
False
Suppose -568 = h - 3*h. Does 71 divide h?
True
Let x = 85 + -82. Suppose 23 + 16 = q + 4*y, -3*q - x*y + 117 = 0. Does 9 divide q?
False
Suppose -35*i = -27*i - 840. Is i a multiple of 7?
True
Suppose -6*y + 15*y = -1746. Let n = 281 + y. Does 10 divide n?
False
Suppose 0*q + 27 = 9*q. Suppose -p = -g + 29, 0 = g + q*p - 2*p - 29. Does 13 divide g?
False
Suppose 614 + 661 = 2*w - 3*k, 3165 = 5*w - 3*k. Is 21 a factor of w?
True
Suppose -3*d - 2*l + 268 = 2*l, 0 = -l - 5. Is 12 a factor of d?
True
Suppose -4*w - 2 - 2 = 0, 5*c - 4*w = 2529. Let d(m) = m**3 + 6*m**2 - 7*m + 6. Let r be d(-7). Is c/15 + (-4)/r a multiple of 23?
False
Let m = 7 - 2. Let v(j) = 4*j**2 + 5 + 2*j - 3*j**2 - 1. Does 8 divide v(m)?
False
Let p = -9 - -346. Is p a multiple of 13?
False
Let b = -445 - -1189. Is 29 a factor of b?
False
Suppose -i + c + 242 = 0, -6*i = -2*i + 5*c - 941. Let f = i - 149. Does 18 divide f?
True
Let n(g) = 14 - 19*g**2 - 22*g**2 + 42*g**2 - 9*g. Let k(j) = -j**2 + 10*j - 14. Let y(z) = 2*k(z) + 3*n(z). Is 5 a factor of y(6)?
False
Let r(z) = 7*z - 191. Let x(i) = 2*i - 48. Let m(q) = -6*r(q) + 22*x(q). Does 15 divide m(0)?
True
Let r(i) = -7*i**3 - 9*i**2 + 2*i - 4. Let y(o) = -20*o**3 - 28*o**2 + 6*o - 13. Let z(b) = 17*r(b) - 6*y(b). Suppose -175 - 20 = 13*x. Is z(x) a multiple of 9?
False
Suppose 658 = -14*l + 21*l. Let g = -34 + l. Does 9 divide g?
False
Let r(g) = -g**2 + 19*g - 28. Let f be r(17). Suppose -f*m + 165 = -453. Is m a multiple of 15?
False
Suppose 15 = 5*n, 5*n + 705 = -8*j + 12*j. Is 16 a factor of j?
False
Let d = 552 - -145. Is d a multiple of 6?
False
Let g = -2227 - -2347. Does 5 divide g?
True
Let s(o) = -o**3 - 10*o**2 + 25*o - 17. Let h be ((-3)/(-9))/(2/(-78)). Is 15 a factor of s(h)?
True
Let j be (12/6 - 2) + -2. Let i(y) = 55*y**2 + 5*y - 2. Is i(j) a multiple of 52?
True
Let s = 57 - 35. Let w(g) = 12*g**3 + 2*g**2 + g. Let l be w(-1). Let c = l + s. Does 3 divide c?
False
Let n = 158 + -100. Let i(p) = 2*p**2 + 5*p + 4. Let l be i(-2). Suppose -20 = -q + l*w, -2*q - 4*w = w - n. Is q a multiple of 6?
True
Suppose -3*a = -4*r - a + 4, -3*a + 15 = r. Suppose -7*x = -r*q - 2*x + 252, 0 = -3*x. Does 8 divide q?
False
Let p(c) = -4*c - 3. Let x be p(-2). Suppose -x*r = -4*m + 79, -2*r - 3*r + 5 = 0. Let d = m - 6. Does 5 divide d?
True
Suppose 0 = 771*c - 776*c + 675. Is c a multiple of 45?
True
Let n(a) = 5*a**3 + 3*a**2 + 7*a - 6 + 6*a**2 - 4*a**3. Does 2 divide n(-8)?
True
Let h(p) = 3*p**2 - 2*p + 28. Let n(u) be the first derivative of 2*u**3/3 - u**2/2 + 27*u - 1. Let m(s) = -3*h(s) + 4*n(s). Is m(0) a multiple of 17?
False
Suppose 2*n + 5 = 5. Suppose n = 9*w - 0*w - 279. Is 4 a factor of w?
False
Suppose 7*x - 2*x = 5. Let z be -3 + ((-6)/(-2))/x. Suppose z = -4*g - 0*g + 36. Is g a multiple of 2?
False
Is 47 a factor of (0 - 5/25)*-5*846?
True
Let l = 386 - 208. Suppose 7*y - 3*y - 214 = 2*c, -l = -3*y - 2*c. Does 10 divide y?
False
Let x = 6 + -7. Is (5 + -3 - (18 - x))/(-1) a multiple of 17?
True
Let m = -11 + 15. Suppose -m*d + 8 = -2*d. Suppose -5*p + 108 = -u - u, 4*u = -d*p + 64. Does 6 divide p?
False
Let x(n) be the third derivative of -7*n**4/24 - 10*n**3/3 - 8*n**2. Is x(-8) a multiple of 4?
True
Let o be (-250)/10 + -3 + 2. Let r = -24 - o. Suppose -3*b + 4*z + 49 + 29 = 0, -r*b + z + 47 = 0. Does 22 divide b?
True
Let n = 1727 + -1194. Is n a multiple of 13?
True
Let t(d) = d**3 + 9*d**2 - 8. Suppose 0 = -3*a - 63 + 3. Let b = 12 + a. Is t(b) a multiple of 26?
False
Let k be 1/(1 - (-32)/(-28)). Let l(q) = -q**3 - q**2 + 8*q + 2. Let d be l(k). Suppose 5*f = -0*f + d. Is 15 a factor of f?
False
Suppose -5*v - 3*t = -5417, v - t = -v + 2169. Is v a multiple of 82?
False
Let m(g) = 4*g + 25 - 13 - g. Is m(6) a multiple of 30?
True
Suppose -293 = -5*w + 87. Suppose 4 = 5*l - w. Let h = -5 + l. Does 7 divide h?
False
Let q(z) = -106*z + 20. Does 39 divide q(-1)?
False
Suppose -54*i + 36473 + 41935 = 0. Is 22 a factor of i?
True
Let z(i) = 2*i**2 - 15*i + 28. Let x = 30 + -22. Is 18 a factor of z(x)?
True
Let i = 295 + -286. Is i a multiple of 9?
True
Let v be 0/(6/(-2) + 1). Let c be (-2 + (v - -3))*8. Is 6 a factor of 11 - (-4)/c*2?
True
Let v(i) = -21*i - 15. Let j(s) = 3*s + 2. Let f(k) = -27*j(k) - 4*v(k). Does 3 divide f(3)?
True
Let k be 0 - (40 - -2 - 2). Let c be 2/60*12 + 694/(-10). Let m = k - c. Is m a multiple of 13?
False
Suppose 112993 = 41*s + 14921. Is s a multiple of 13?
True
