 Suppose -i = 7*n - 6242. Is n a multiple of 20?
True
Suppose 4*a - 3*g = -0*g + 767, 5*a - 3*g - 961 = 0. Suppose a = 4*r + 1010. Is 34 a factor of 2*(-27)/6*r/18?
True
Let w = -595 - -675. Let h be (-18)/15*40/6. Let t = w + h. Does 25 divide t?
False
Let i = 38 + -21. Let j = i + -12. Suppose -36 = -a - 4*w, 5*a + j*w - 45 - 135 = 0. Is a a multiple of 12?
True
Suppose 5*f = -2*k, 2*f - 3*k = 17 + 2. Suppose 5304 = 37*h + f*h. Is h a multiple of 6?
False
Let h be 5 + 3 + (-17 - -7). Let i = h + 56. Is i a multiple of 2?
True
Suppose 13*l - 2050 = 9*l - b, 10 = 5*b. Let y = -332 + l. Is y a multiple of 17?
False
Let g(z) = z**3 + z**2 + 2*z. Let v be g(0). Suppose -2*b + 0*n - 2*n + 4 = v, -2*n = -4. Let a(r) = -2*r**2 - r + 167. Is a(b) a multiple of 36?
False
Suppose 0 = -46*i + 50*i - 40. Let c(m) = 3*m**2 - 21*m + 108. Is c(i) a multiple of 15?
False
Suppose -1861*o + 1855*o + 18480 = 0. Is o a multiple of 11?
True
Let y(o) = -24*o - 28. Let x be y(-13). Suppose 4*r + x = 8*r. Does 18 divide r + (2/1)/(-2)?
False
Let z = -15636 + 24372. Is z a multiple of 91?
True
Is (-3)/(81/6) - (-394949)/1467 a multiple of 3?
False
Let g be 6/15 - (-10)/(-25). Suppose -7*v + 15 + 20 = g. Suppose -2*s + 2*w + 300 = 6*w, 2*s = -v*w + 300. Does 15 divide s?
True
Let j(f) = -49*f + 2. Let l = -405 - -398. Is 15 a factor of j(l)?
True
Suppose 5*n - 3*j + 904 = 0, 568 = -3*n + 3*j + 28. Let i = -117 - n. Does 65 divide i?
True
Suppose -4*s - 611*r = -608*r - 197259, 197187 = 4*s - 5*r. Is s a multiple of 42?
True
Suppose 0 = 3*o - o - 22. Suppose 10 + o = -3*w. Let i = w + 21. Is i a multiple of 7?
True
Suppose 10 - 6 = 2*p. Suppose -3*q + 248 = -p*v, 0*v + v + q = -119. Let k = -83 - v. Is k a multiple of 38?
True
Let a = -3850 + 4445. Does 5 divide a?
True
Suppose -31*s - 27080 = -5*v - 26*s, 21643 = 4*v - 7*s. Does 14 divide v?
False
Let h = 73 - -91. Is -5*8/(-10) + h a multiple of 28?
True
Suppose 0 = -2*z + 4, -4*g + 3*z - 33 = 45. Let m(y) = -y**3 - 14*y**2 + 50*y + 20. Is 23 a factor of m(g)?
False
Let a(z) be the third derivative of 227/60*z**5 - 1/6*z**3 + 0 + z**2 + 0*z + 1/8*z**4. Does 13 divide a(1)?
False
Let s be 93/(-9) + 2/6. Let j(r) = -r**3 - 4*r**2 + 23*r + 95. Is 15 a factor of j(s)?
True
Suppose 12*j - 60 = 2*j. Suppose -v - 2*w + 2 = 3*v, -2*w = j. Let y(p) = 23*p - 4. Is 6 a factor of y(v)?
True
Let q(m) = m**3 - 35*m**2 - 93*m + 472. Is q(40) a multiple of 66?
True
Is 153 a factor of 91496/13 - (-170)/(-1105)?
True
Suppose k - 6 = -2*u + 80, -5*k - 3*u = -395. Suppose 173 = 77*x - k*x. Is x a multiple of 8?
False
Suppose -50*v + 324 = -44*v. Suppose -3*l - 159 = -3*q - 36, -4*l + 82 = 2*q. Let k = q + v. Does 30 divide k?
False
Suppose 9370 = 41*z - 11212. Is 10 a factor of z?
False
Let o(d) = d**3 - 15*d**2 - 18*d + 21. Let u be o(16). Is 15 a factor of 8/2*1 - 451/u?
True
Let n be 6/96*6 + (-315)/72. Let j(k) = -9*k**3 + 4*k**2 + 3*k + 1. Let a(x) = 8*x**3 - 3*x**2 - 2*x - 1. Let r(c) = -6*a(c) - 5*j(c). Does 29 divide r(n)?
False
Let y be (28/(-35))/((4/(-370))/1). Let q = 77 - y. Suppose 0 = -0*m + q*m - 138. Does 9 divide m?
False
Suppose 672 = -4*f - 4*g, -f + 3*g = -0*g + 160. Let a be (1 + -7 + 4)*f. Suppose a = 7*i - 207. Is 11 a factor of i?
True
Let c(o) = -2*o**3 + 95*o**2 - o - 92. Is 38 a factor of c(40)?
False
Let g(n) = 3*n**2 - 52*n - 73. Is g(23) a multiple of 106?
True
Does 33 divide 4 - 652236/(-13) - 16?
True
Let z = 109 - 106. Let y(l) = 45*l**2 + l - 5. Let o be y(z). Let k = -254 + o. Does 9 divide k?
False
Suppose 11*y - 32288 + 107377 = 18*y. Is y a multiple of 10?
False
Suppose 28*a + 0*a = 3*a + 4525. Is 3 a factor of a?
False
Let d = 4369 - 2986. Is d a multiple of 128?
False
Let w(b) = 2810*b**2 - b. Let t be w(1). Suppose 5*h = -5*g + 1214 + 1601, 5*h + 2*g - t = 0. Does 51 divide h?
True
Let d(u) be the first derivative of -19*u**2 - 11*u + 1937. Let x = 3 + -7. Is 21 a factor of d(x)?
False
Does 268 divide 3*13/39 + 4/((-8)/(-65926))?
True
Let o(q) = -50*q**3 + 6*q**2 - 25*q + 54. Is o(-6) a multiple of 17?
True
Suppose 21*y + 5270 = 38*y. Let m = y + -245. Does 12 divide m?
False
Suppose 0 = -m - 161 + 3446. Suppose -3*z + 1990 + 1295 = -2*n, -4*n - m = -3*z. Does 37 divide z?
False
Let u = -338 - 257. Let m = 832 + u. Is 3 a factor of m?
True
Suppose -47 = 5*p - 72, -2*s = 5*p - 43497. Is s a multiple of 247?
True
Let o(n) = n**3 - 26*n**2 - 39*n. Let k be o(28). Suppose -k - 399 = -7*y. Suppose 0 = 5*d + v - y, 0*d - 57 = -3*d + 3*v. Is d a multiple of 4?
True
Let p = 355 + 12. Suppose s + 4*s + p = 4*z, s = 3*z - 278. Suppose x = c - z, -271 = -3*c + x - 2*x. Does 21 divide c?
False
Let u(p) = -53*p - 46. Suppose 0 = 14*g - 22 + 162. Is 22 a factor of u(g)?
True
Let l(w) = 92*w**2 + 6*w + 30646. Is l(0) a multiple of 8?
False
Let m(o) = 458*o**3 + o**2 + 5*o - 10. Is 14 a factor of m(2)?
True
Suppose -3561*w + 3548*w + 19591 = 0. Is w a multiple of 3?
False
Suppose 5*p = 5*w + 16 - 46, 3*p - 10 = -4*w. Does 40 divide -1 + (3 + -285)*p?
False
Let j(i) = -i**2 - 5*i - 2. Suppose 65*u - 2 = 66*u. Let d be j(u). Suppose 4*q + 3 = -d*l + 47, -3*l = 4*q - 43. Is 8 a factor of q?
False
Suppose -5*w = -3*x - 147, 4*w - 2*x = 2*w + 58. Let o = w + -20. Is (-15)/o*(-192)/9 a multiple of 4?
True
Let b = -301 + 298. Is 13 a factor of 80/24*42 - b?
True
Let a = -444 - -475. Suppose -3574 = -a*f + 8826. Is f a multiple of 80?
True
Suppose -7*b = -2486 + 547. Does 8 divide b?
False
Is (-10 - (-30)/6) + (529 - 2) a multiple of 29?
True
Let d be (-4*5)/(-3 + 1 + 1). Let t(h) = -d - 17*h - 2 + 19*h. Does 4 divide t(20)?
False
Suppose 5*f = 3*f - 3*k + 76, 2*f = 5*k + 76. Let a(j) = -31 - 5*j**2 - j**3 - 33 + f. Is a(-7) a multiple of 22?
False
Let i = 34 + -32. Suppose 105 = -i*p + 3*p. Suppose -9*t + 6*t = -p. Does 5 divide t?
True
Let o be (-16)/(-3)*(21 - 18). Suppose o*l = 11*l + 350. Suppose m - l = -4*m. Is 14 a factor of m?
True
Suppose f + 9 + 1 = -3*r, -2*r + 4*f + 12 = 0. Let k = -36 + 58. Let n = k + r. Is 4 a factor of n?
True
Let a(q) = -q**3 + 12*q**2 + 31*q - 29. Let z be a(14). Suppose -4*h - z + 9 = 0, 0 = 3*m - h - 1153. Is m a multiple of 8?
True
Suppose -4*m + f = -24121, 3*m + 49*f - 54*f = 18095. Does 30 divide m?
True
Suppose 0 = 2*c - q - 16432, 0 = 8*c + 5*q - 77093 + 11383. Is 53 a factor of c?
True
Suppose -26594 - 6969 = -d + 3*z, 6*z = 5*d - 167833. Is d a multiple of 31?
False
Suppose -4982 = 3*u - 5*w, -6*u + 3*u - 4979 = -2*w. Is 55 a factor of (3*(-3)/27)/(1/u)?
False
Does 3 divide 9879/74*(3 + -1)?
True
Let p(i) = -i**3 - 164*i**2 - 62*i - 882. Is 256 a factor of p(-164)?
False
Let l be -1 + 0 + 3 + 0. Let f = 1167 + -1104. Suppose 3*g = 2*w - f, 3*w + l*g - 58 = w. Is 25 a factor of w?
False
Let c be 1*-1*(64 - 72). Suppose -c*r = -3120 - 240. Is 14 a factor of r?
True
Let w(a) = -16331*a - 414. Is 15 a factor of w(-1)?
False
Let c = 52514 + -30384. Is 10 a factor of c?
True
Let m(y) = -y**3 - 3*y**2 - 27. Let g(x) = x**3 - 2*x**2 + 2*x - 1. Let p(d) = g(d) - m(d). Is 4 a factor of p(0)?
False
Let u be -2 + -5*(-8)/(-20). Is 13 a factor of (3 - -1) + u + 572?
True
Let u be 18*4/8 - -1. Suppose 5*b = -u + 20. Suppose -b*y + 66 = y. Is 11 a factor of y?
True
Suppose 16696 = -9*l + 13*l + 4*o, -5 = o. Does 2 divide l?
False
Let c = 6911 + -4065. Is c a multiple of 179?
False
Let c(w) = -w**3 + 25*w**2 + 24*w + 60. Let l be c(26). Suppose -l*f = 3*f - 6215. Is f a multiple of 50?
False
Suppose 3*v = -5*r - 48, 0 = -2*r + v - 8 - 20. Let x = 16 + r. Suppose 5*g + j - 195 = 62, -x*g = j - 206. Is g a multiple of 17?
True
Suppose 30*y + 2*t = 33*y - 1525, -5*t + 2525 = 5*y. Is y a multiple of 3?
True
Let k = -6038 + 11440. Does 146 divide k?
True
Let r = -814 - -827. Suppose -10*s + r*s = 930. Does 5 divide s?
True
Suppose 2863*p = 2865*p - 34932. Is p a multiple of 213?
True
Suppose -3*f = -5*b + 31351, -19613 = -5*b + 2*f + 11741. Is 28 a factor of b?
True
Let n = -643 + 6441. Is n a multiple of 28?
False
Suppose 227*v - 229*v + 854 = 0. Let d = 781 - v. Does 19 divide d?
False
Let u = -61 - 10. Let q = 115 + u. Suppose -h + 2*k + 52 = 6*k, -h - 2*k + q = 0. Does 36 divide h?
True
Suppose -4*q + q + 9 = 0. Let t be q/(-6)*-1*68. Suppose n - 4*k - t = 0, -n - k = -0*n - 44. Is 7 a