tiple of 10?
False
Is ((-1290)/6)/(-2 + 1) a multiple of 5?
True
Let m = -421 - -773. Is m a multiple of 10?
False
Let q = -4 + -352. Let g = -176 - q. Does 18 divide g?
True
Suppose -4*j + 7 = -d - 9, 4*d = 0. Suppose 0*g - j*w - 28 = -g, w = -g + 3. Is g a multiple of 2?
True
Suppose -p = 3*p - 84. Let b = p + 165. Let m = -129 + b. Is m a multiple of 19?
True
Let b(o) = o**2 - 2*o - 11. Let q(d) = 2*d**2 - 7*d - 32. Let v(c) = 11*b(c) - 4*q(c). Does 19 divide v(-5)?
False
Let v = -238 + 834. Is 11 a factor of v?
False
Suppose 0 = -3*l - 9, 0 = 3*o + o + 5*l - 17. Is 11 a factor of (-18)/(-24) - (-170)/o?
True
Let l = -43 + 164. Does 11 divide l?
True
Suppose 7*t = 11*t. Suppose -6*c + 102 - 6 = t. Is 16 a factor of c?
True
Suppose y = 5*x + 1845, -12393 = -5*y - 2*x - 3141. Is y a multiple of 37?
True
Let p be ((-88)/(-6))/(-1)*-3. Let i be p/10 + (-6)/15. Does 3 divide 142/12 - i/(-24)?
True
Let s = 107 + -57. Suppose -6*c + c = s. Let b(y) = -3*y - 13. Is b(c) a multiple of 17?
True
Let n(q) = -5*q - 1. Let o be 1/((-1)/(-19))*-1. Let l = o + 15. Is n(l) a multiple of 17?
False
Suppose 30 = 3*x + 1491. Let o = 691 + x. Suppose h - 3*z = 50, -4*h - 3*z + o - 34 = 0. Is 22 a factor of h?
True
Let l be (-33 + -3)*(-3)/2. Suppose -3*g + 9 = l. Let v = 22 + g. Does 2 divide v?
False
Let v = 110 + -4. Is 27 a factor of v?
False
Suppose k = 1 + 3. Suppose 2*g + 1 = g. Does 15 divide 4 - (k - g) - -91?
True
Suppose 938 + 70 = 7*j. Let m = -22 + 42. Let d = j - m. Does 36 divide d?
False
Let f(m) = 5*m**2 - 33*m + 158. Is 82 a factor of f(10)?
True
Suppose c + 82 = 5*k - 0*c, -3*c = 5*k - 74. Let i = 135 - k. Is 17 a factor of i?
True
Suppose -10*f + 20 = -6*f. Suppose f*m + 5 = -0. Is (-220)/(-28) - m/7 a multiple of 2?
True
Let o(r) = 2*r**3 - 10*r**2 - r + 5. Let d be o(5). Suppose -2*v + d*h = -3*h - 21, -3*v + 79 = 5*h. Does 12 divide v?
False
Let n be (-2)/(-4)*(1 - -179). Suppose -3*h = -5*o + 270 - n, 0 = -2*o + 3*h + 72. Is o a multiple of 18?
True
Let i(x) be the first derivative of 3*x**2 - 30*x + 15. Is i(18) a multiple of 31?
False
Let a(p) = -13*p - 1. Let s be a(-3). Suppose -4 = -3*w + 2*w, -2*r + 3*w + s = 0. Is 25 a factor of r?
True
Let c(t) be the second derivative of t**5/20 - t**4/4 + 2*t**3/3 - t**2 + t. Let j be 2 + 0 + -1 - (-92 + 91). Is c(j) even?
True
Let y = -854 - -1094. Does 48 divide y?
True
Is 36 a factor of 2 + -7 + (506 - -3)?
True
Let p = -62 + 66. Is p/(-14) + (-1749)/21*-1 a multiple of 22?
False
Suppose 756 = -101*d + 102*d. Does 68 divide d?
False
Suppose 5*t = 2*l + 11662 + 575, 5*l - 9816 = -4*t. Is t a multiple of 31?
True
Suppose -25*v + 29*v = 16. Suppose v*z - 726 = z. Does 31 divide z?
False
Suppose 5*d - 3*f - 103 = 0, -12 = -4*f + f. Let q be d + 3*4/(-6). Suppose -4*j = -11 - q. Does 7 divide j?
False
Suppose 0 = -5*g - 2*b + 4*b + 425, -3*g = 4*b - 281. Suppose g = 4*u + 3. Does 7 divide u?
True
Suppose 3*f - 2*j + 67 = 388, j = -2*f + 214. Let w = 154 - f. Is 8 a factor of w?
False
Suppose -t + z = -17, t = 3*t + 4*z - 22. Is 26 a factor of (-25)/t + 1330/15?
False
Let f(g) be the third derivative of -g**6/120 + 11*g**5/60 - g**4/4 + 10*g**2. Is f(8) a multiple of 24?
True
Suppose 2*f = 4*j - f + 12, -5*j + f - 15 = 0. Let c(z) = -z + 10. Let r be c(8). Is 24 + j/6*r a multiple of 8?
False
Suppose -46 = 6*v + 8. Let f = -9 - v. Does 14 divide f + 0 - (-25 + -6)?
False
Suppose 34*r + r - 18480 = 0. Is 8 a factor of r?
True
Let g(r) = -964*r + 165. Is g(-2) a multiple of 23?
True
Let t(c) = -c**3 + 5*c**2 + 3. Let h be t(5). Suppose 6*j - 169 = 59. Suppose -h*m - 5 = -j. Is m a multiple of 3?
False
Let m(t) be the third derivative of t**6/120 - t**5/60 - t**4/4 + 8*t**3/3 + 34*t**2. Is m(3) a multiple of 12?
False
Suppose -6*r + 14 = -10. Suppose -6*n - 25 = -n, -r*p = n - 283. Does 24 divide p?
True
Let i = -16 + 19. Suppose i - 7 = q. Does 28 divide ((-14)/q)/((-9)/(-216))?
True
Let b be (-2)/2*(3 + -1). Let m be ((-4)/5)/(26/1105). Is 1 - ((m - b) + -2) a multiple of 9?
False
Let b = -34 - -37. Suppose -b*r - 36 + 141 = 0. Is r a multiple of 7?
True
Let h(a) = 6*a**3 - 5*a**2 - 4*a - 1. Let n(m) = 5*m**3 - 4*m**2 - 4*m. Let y(l) = -4*h(l) + 5*n(l). Let b be 3 - (-1)/2*(8 - 6). Is 7 a factor of y(b)?
False
Let l = -295 - -316. Is 3 a factor of l?
True
Suppose t - 144 = -p, 154 = p - t - 0*t. Is 12 a factor of p?
False
Suppose 2*u + 7842 = 4*m, 0 = 3*u - 22 + 19. Is m a multiple of 53?
True
Suppose 0 = -z - 0*z. Suppose 0*i + i - 155 = -5*h, -5*h + i + 145 = z. Let d = h + 3. Is 6 a factor of d?
False
Let u be ((-3)/(-9))/((-3)/(-9)). Is (-4 + 26 - 3)/u a multiple of 6?
False
Suppose -v - 132 = 2*v. Let m = -9 - v. Is m a multiple of 13?
False
Let y(m) = -m**3 + 6*m**2 + 7*m + 10. Suppose 0 = -3*n + 18 + 3. Is y(n) a multiple of 3?
False
Let o(i) = 7*i**2 + 5*i - 29. Is 77 a factor of o(-5)?
False
Let c be (47/4)/(8/32). Let a = c + -11. Is 12 a factor of a?
True
Suppose 2 - 12 = -5*l. Suppose -l*b - 28 = 22. Is 4/(-10) - 2110/b a multiple of 14?
True
Let q = 5 + 26. Let o = -7 + q. Is 12 a factor of o?
True
Let b(f) = -11 + f**3 - 7 + 3*f - 7*f**2 + 7. Does 7 divide b(8)?
True
Let c be (-5 + 3)/((-2)/5). Suppose 2*m = c*z + 96, 4*z + 37 = m - 17. Is 10 a factor of m?
False
Suppose -6 = v - 8. Is 8 a factor of -92*2/(-4) + v?
True
Let l(n) = -n**3 + 9*n**2 + 14*n - 15. Let d be l(10). Let h = -15 + d. Let c(j) = -j**3 + 9*j**2 + 12*j + 1. Is 6 a factor of c(h)?
False
Let c(k) = 2*k**3 - 9*k**2 + 23*k + 46. Is c(11) a multiple of 48?
True
Let j = 6 - 2. Suppose 2*b + t + 24 = 0, -j*t + 3*t + 16 = -2*b. Let c = 36 + b. Is c a multiple of 8?
False
Let h(k) = 52*k**2 - 22*k + 6. Is h(5) a multiple of 18?
False
Let l be (2*-7 + (-6 - -3))/(-1). Let u(q) = q**2 - 10*q - 9. Is 11 a factor of u(l)?
True
Let f(p) = 19*p**3 + 2*p**2 - 5*p + 4. Let c(m) = -m**2 - 2*m + 25. Let h be c(-6). Is f(h) a multiple of 4?
True
Let j(r) = -r**3 - r**2 - r - 2. Let b be j(-2). Let m(k) = -5 - k - 1 + b*k + 6*k. Does 27 divide m(7)?
False
Suppose -3*i + 0*i = -18. Suppose -2*o = -i*o. Suppose k - 2*h - 3*h = 36, -5*k - 5*h + 60 = o. Is 10 a factor of k?
False
Suppose 4*m + 1316 = 2*n, -4035 = -5*n - 2*m - 697. Is 9 a factor of n?
True
Let y = 1454 + -15. Is 14 a factor of y?
False
Suppose 3*z + 0*w - 2308 = 2*w, 6 = -3*w. Suppose 5*q + 3*y - z = 0, -2*y - 3*y - 488 = -3*q. Is q a multiple of 13?
True
Suppose -11*i = -86 - 1157. Is 9 a factor of i?
False
Suppose -3*j + 1670 = -2*m, 4*m - 1700 = -3*j - 0*m. Is 35 a factor of j?
True
Let a = 10150 - 6769. Is a a multiple of 21?
True
Is (18/((-36)/26))/(1/(-38)) a multiple of 38?
True
Let x = 15 - 11. Let o be 46/(-10) - x/10. Does 12 divide (o - -4) + 9 + 4?
True
Let u(z) = z**3 - 7*z**2 + 17*z - 30. Is 12 a factor of u(8)?
False
Let f(h) = h + 217. Let k be f(0). Suppose 0 = 5*r - 0*v + 4*v - k, -2*v = -5*r + 229. Is 13 a factor of r?
False
Suppose 2*n = -4*j + 1492, 5*j - 754 = 3*j + n. Suppose -4*h + 3*m = -j, 3*h - 286 + 41 = -5*m. Is 10 a factor of h?
True
Let g be (-24)/10*(-55)/11. Let d be 3*((-32)/g)/2. Is d/18 - (-4560)/108 a multiple of 17?
False
Let q be 3 + 12/(-4) + -55. Let r = 81 + q. Is r a multiple of 3?
False
Let r = 30 - 37. Does 12 divide (-2)/r + (-1800)/(-70)?
False
Is 2 a factor of -4*75/(-40) + 3/(-6)?
False
Let q be 1*((-230)/2 + -2). Is 18 a factor of 3 + (q/(-3) - -2)?
False
Suppose -2*g = -2*p + 2*g, 0 = -g - 1. Is 27 a factor of (19 - p)*(-3 + (-3 - -15))?
True
Is 48 a factor of (0 + 1*1512)*1648/1236?
True
Suppose d + 10*d - 33 = 0. Suppose -d*k + 124 = 3*r - 155, 0 = -3*r + 4*k + 258. Does 6 divide r?
True
Suppose 0 = -5*h + 15. Suppose -3*w = -h*s + w + 21, -4*s = -3*w - 35. Does 2 divide s?
False
Let j = 10 - 22. Does 4 divide 246/(-9)*2*9/j?
False
Let u(h) = 3*h**2 - 4*h - 2. Let g be u(-3). Let q = -190 + 192. Suppose -26 = -i - q*w + g, -2*w = 0. Does 21 divide i?
True
Let q(c) = -c**2 - 18*c - 19. Is q(-12) a multiple of 21?
False
Let p(c) = -10*c - 6. Let q(z) = 10*z + 8. Let i(t) = -5*p(t) - 6*q(t). Suppose 0 = -r, -15 - 25 = 5*a - 3*r. Does 17 divide i(a)?
False
Let k = -216 + 106. Let p = k + 191. Is p a multiple of 9?
True
Let a(c) = -5*c + 7*c + 3 - 1 + 4*c**3 - c**2 - 15*c**3. Is 4 a factor of a(-1)?
False
Suppose -5*x + 11