Suppose r = -7*s - 0*s + 1323. Is s a multiple of 6?
False
Let b(d) = -d**3 + 11*d**2 + 16*d + 14. Let t be 54/10*(-10)/(-6). Does 5 divide b(t)?
True
Suppose 9*r + 9*t - 7*t = 139334, -2*r + 5*t = -30925. Is r a multiple of 12?
True
Let o = -566 - -562. Let f(l) = 9*l**2 - 6*l - 9. Let i(q) = q**2 - q - 1. Let a(v) = f(v) - 6*i(v). Is a(o) a multiple of 9?
True
Let v be (-2)/(-4)*(-40)/(-30)*-1023. Let f = 1694 + v. Suppose -17*s + 13*s + f = 0. Does 24 divide s?
False
Suppose 2*c + 5*z = 22438, 27*c = 32*c - 22*z - 56095. Is c a multiple of 12?
False
Let b be -9 + (-176)/(-24) + 1536/9. Let h = b - -623. Is h a multiple of 22?
True
Let y(b) = -b**3 - 19*b**2 + 19*b + 6. Let t be y(-20). Suppose 4*u - t = -2*v, -4*u + 28 - 5 = v. Does 5 divide u?
True
Suppose 25*k + 17 - 117 = 0. Suppose 2*o + 6 = 0, 1368 = -3*i + k*i - o. Is i a multiple of 13?
True
Let p(s) = 359*s + 15020. Is p(104) a multiple of 44?
False
Let j(t) = 28*t + 10. Suppose 11*r - 4*r = -28. Let f = r - -9. Is 15 a factor of j(f)?
True
Let c be (-7 - (-55)/10)*(-3 + -21). Is ((-67)/(-6) - -3)/(6/c) even?
False
Does 12 divide (-8)/12 - 72376/(-6)?
False
Suppose 3*i - 119 = -698. Let k = 437 - i. Does 19 divide k?
False
Suppose 3*q = 5*q + 16. Let v(w) = -w**2 + 7*w - 18. Let k be v(q). Let c = k + 359. Does 17 divide c?
True
Suppose -129*p + 2801075 - 294693 = -443332. Is p a multiple of 222?
True
Suppose -q - 3*q - 248 = 0. Let b = 618 - 480. Let y = q + b. Is 5 a factor of y?
False
Suppose -3*t = -d + 3078, d - 3729 + 661 = t. Is 21 a factor of d?
False
Let l = 10109 - 647. Is 38 a factor of l?
True
Let q = -3797 + 9628. Is 32 a factor of q?
False
Suppose -5*k + 23 = -4*g, -4*k = 4*g - 5 + 1. Suppose -5*y - 26 = l, y + k*y = -l - 25. Let i = l - -40. Is i a multiple of 3?
False
Let m be (-110)/(0/1 + -1). Let g be -1*((-2)/(-12) + (-7)/42) - 83. Let t = g + m. Is 3 a factor of t?
True
Let c be ((-10)/(-4))/(9/90)*6. Suppose -2*i + 3*i - c = -5*g, -5*i = 25. Does 6 divide g?
False
Let r be 4/(-10) - (-27)/5. Let u = 663 + -68. Suppose 5*k = -v + 2*v - 195, -3*v + r*k = -u. Does 10 divide v?
True
Let f be (6/(-9))/((-2)/(-501)). Suppose 0 = 4*o - 307 - 849. Let c = o + f. Is 14 a factor of c?
False
Suppose -4*k + 27 = -3*c - 7, 0 = -5*c - 10. Suppose -127 = -5*y - 3*l, k*y - 42 = 5*y + l. Is 8 a factor of y?
False
Suppose 0 = 125*l - 471065 + 33571 + 68994. Does 44 divide l?
True
Does 203 divide 30880 + (20 + -13 - 3)?
False
Let s be (5 - 0)*504/70. Let r = -33 + s. Suppose -4*z + 5*f = -559, z + 3*f = r*z - 277. Is z a multiple of 15?
False
Suppose 5*n = -0*n - 5*s + 25, n = -2*s + 7. Suppose 2*b - 6*b - x + 124 = 0, 4*b = n*x + 108. Is b a multiple of 10?
True
Suppose -5*k + 465 = -40. Suppose -5*c = -4*u - k, -3*c + 104 = 2*c - u. Does 9 divide c?
False
Suppose 5*m = -343 + 273. Let o(a) = a**3 - 5*a**2 + 6*a - 2. Let w be o(6). Is 23 a factor of (-1144)/m + 20/w?
False
Let n(r) = 4860*r**2 + 7*r - 9. Does 38 divide n(1)?
False
Let u be (15/(-6) + 2)/((-4)/(-576)). Let i = -78 - u. Let y(g) = -20*g - 9. Is 29 a factor of y(i)?
False
Does 154 divide (784/(-6))/(15*(-80)/217800)?
True
Is 9/(45/(-10)) + 0 + 3017 a multiple of 45?
True
Let m(p) = -p**3 - 8*p**2 + 2*p + 51. Let w be m(-7). Is (-2)/24*-2158 + (-2)/w a multiple of 45?
True
Suppose -11*r - r + 309810 = 3*r. Is r a multiple of 171?
False
Let y = -47 + 66. Let v(j) = -j**2 + 19*j - 31. Let i be v(y). Let b = i - -59. Is b a multiple of 6?
False
Suppose -20*g = -94538 - 5396 + 9054. Is 8 a factor of g?
True
Let s = -28742 - -47658. Is s a multiple of 314?
False
Suppose 4*b - 3*f - 26085 = 0, 705 = -4*b - f + 26810. Does 57 divide b?
False
Suppose -31*t - 3*c = -32*t - 2, -5*t + c = -18. Suppose -2*o = 6, t*a + 7712 = 8*a - 4*o. Does 35 divide a?
True
Let d(b) = b**2 + 7*b - 1478. Does 25 divide d(56)?
True
Is 3 - (-21)/(-5) - 696075/(-375) a multiple of 35?
True
Is 10621 + 1 + (0/1 - 4) a multiple of 16?
False
Let s = 452 + -437. Suppose -3968 = -s*a - a. Does 9 divide a?
False
Let s = 774 - 1291. Let k be (1*5)/((-11)/s). Let x = k + -158. Is x a multiple of 7?
True
Suppose 3*t + 19 + 125 = 0. Let w = t - -82. Suppose -5*p - w = -6*p. Does 17 divide p?
True
Suppose -130*d = 32*d - 2535300. Does 103 divide d?
False
Suppose 66*t + 399 - 28581 = 0. Is 7 a factor of t?
True
Let i(l) = -13*l**3 + 92*l**2 - 24*l + 188. Is i(6) a multiple of 99?
False
Let i(c) be the third derivative of c**5/30 - c**4/12 + c**3/3 + 2*c**2. Let q be i(-3). Suppose -22*y - 204 = -q*y. Does 9 divide y?
False
Let f = -83284 - -120900. Is 11 a factor of f?
False
Let b(h) = -153*h - 51. Let j(f) = -7*f - 29*f - 13 - 2*f. Let m(w) = 2*b(w) - 9*j(w). Does 15 divide m(5)?
True
Let u(b) = 42*b - 7. Suppose 0 = 43*o - 41*o + 4. Let n be u(o). Let a = 102 + n. Is 11 a factor of a?
True
Suppose 0*s = 2*k - 4*s, 2*k - 5*s = -2. Suppose -3*r + 4*p - 46 + 18 = 0, 4*p = -r - k. Is 2 + (-4 - r) + 3 even?
False
Let v(p) = -27*p**3 - 3*p**2 + 18*p - 66. Let u be v(3). Let g = u - -1534. Is 13 a factor of g?
False
Suppose -2*z + 6171 = z + 3*r, 5*z - 3*r = 10245. Suppose -o + 3*d + 692 = 0, -z = o - 4*o + 3*d. Is o a multiple of 20?
True
Let v be (-3)/2*16/(-12). Is v/(-1)*3 + 39 a multiple of 3?
True
Let y = 473 + -469. Suppose -5*l - 2575 = -10*l + 5*o, l = y*o + 500. Does 8 divide l?
True
Let i be (-87692)/(-66) + (-5)/3. Let p = i + -446. Does 36 divide p?
False
Let t(b) = -112*b**3 + 2*b**2 - 22*b - 40. Is 307 a factor of t(-5)?
False
Let n be (-32)/12*42/8. Let l be 6/16 - (117/(-72) - 2). Is l/(-14)*n/4*2 even?
True
Suppose 0 = 40*l - 34*l - 1200. Let w = -27 + l. Is 11 a factor of w?
False
Let p = 3257 - 1560. Is 13 a factor of p?
False
Suppose 143045 = -85*a + 763375. Does 12 divide a?
False
Suppose -5*t + f + 91099 = 0, -5*t - 18*f + 91075 = -23*f. Is 19 a factor of t?
True
Suppose 0 = 5*f - 4 - 6, 4*j + 4*f = 0. Is 16 a factor of 1443/24 + 4 - j/(-16)?
True
Suppose -3*x = -48*p + 50*p - 8564, 4*p = 4*x - 11432. Is x a multiple of 17?
True
Suppose 3*r - 12 = -0. Suppose -r*y = 5*k + 17, 3*k + 13 = -k - 3*y. Is 296/(-10)*(k + -4) a multiple of 17?
False
Suppose 12 + 26 = 2*c. Let l(m) be the third derivative of m**4/6 + 47*m**3/6 + 82*m**2. Is 41 a factor of l(c)?
True
Suppose -17*h = -25*h + 8. Suppose 2*v + 3*v - 625 = 0. Is 23 a factor of (-24 - -22)*v*h/(-2)?
False
Let l(g) = -92*g - 26. Suppose 8*y + 5*j = 3*y - 15, j + 19 = -3*y. Does 29 divide l(y)?
False
Let z = 10349 + -6855. Is z a multiple of 36?
False
Suppose -68*j + 43442 = -10*j. Does 17 divide j?
False
Suppose 0 = -7*h + 444 + 599. Suppose -2*l + 2*v = 170, -4*l - 2*v - v = 326. Let m = l + h. Does 35 divide m?
False
Does 92 divide (-5348 - -12)/(-1*(-6)/(-12))?
True
Let c = -16 - 14. Let f = c - -2. Let n = 39 + f. Is 3 a factor of n?
False
Is 197 a factor of 31/((-3472)/48) - (-3 + 1009356/(-28))?
True
Let g = 2505 - 1425. Is g a multiple of 90?
True
Let d = 46 + -26. Suppose -7*l = -2*l - d. Suppose n + 108 = l*n. Is n a multiple of 12?
True
Suppose -2980*b + 2748 = -2968*b. Is b a multiple of 5?
False
Suppose -3*p + 12 = 0, -12 = -2*o - 0*p - 2*p. Is 30 a factor of 2159/o - 5/2?
False
Let h be (-5 - (-1 - 3))/(-1). Suppose 3*k - 159 = -3*q, 0*k = -k + h. Let o = q - 31. Does 3 divide o?
True
Suppose 4*t + 2080 = 20*t. Suppose 2*w + 50 = t. Is w a multiple of 10?
True
Suppose -3*v + 40310 = -88756. Is 22 a factor of v?
False
Suppose 47 + 18 = 5*t. Suppose t = 5*h - k, -k = -0*h + 5*h - 7. Suppose 704 = 5*c + 4*i, -c + 416 = h*c + 4*i. Does 16 divide c?
True
Suppose 23*u - 10899 - 6889 = 3280. Is u even?
True
Let z(l) = -3*l**3 - 5*l**2 - 7*l + 55. Is 8 a factor of z(-9)?
False
Suppose 0 = -193*w + 198*w - 3*z - 44716, -4*w - 4*z + 35824 = 0. Is w a multiple of 7?
False
Suppose 50*u - 64*u + 639100 = 96*u. Does 33 divide u?
False
Let f(x) = -x**3 + 5*x**2 + 11*x + 30. Let o be f(10). Let g = o - -665. Does 5 divide g?
True
Suppose 5*d = -c + 50, -3*c - 3*d + 55 + 143 = 0. Is 6 a factor of (7/(c/(-45)) - -1)*-22?
False
Let h = 1403 + 26766. Is h a multiple of 9?
False
Suppose 7*h + 46 = 53. Let c(v) = 204*v + 6. Is c(h) a multiple of 10?
True
Let y be (89/(-13) - 4/26)/(-1). Suppose -3*b + y*b + h - 24 = 0, 3*b + 5*h = 18. Suppose -15 = 5*r, b*o - 148 = o + r. Is o a multiple of 9?
F