13*j. Does 12 divide j?
True
Suppose -5*q = -4*q - 780. Suppose l + 4*l + q = 0. Let g = l - -303. Is 21 a factor of g?
True
Let g = 16415 - -9427. Is g a multiple of 6?
True
Let w = -152 - -52. Let q = w - -596. Is 11 a factor of q?
False
Let f = 6 + 4. Suppose -3 + 30 = 8*a - 13. Suppose a*i = f*i - 185. Does 34 divide i?
False
Suppose 3*o - 3*i - 5079 - 5067 = 0, 2*i = 4*o - 13544. Is o a multiple of 10?
True
Let z(s) = -s**3 + s**2 - s + 55. Let y be (88/6)/2 + (-6)/(-9). Suppose -4*m = -y*m. Is 11 a factor of z(m)?
True
Let b(t) = 28*t**2 - 24*t + 59. Let s be b(6). Let d = s + -473. Does 45 divide d?
True
Suppose -4999 = -7*v - 4817. Does 9 divide v?
False
Let h = -2152 - -4077. Does 13 divide h?
False
Let j(i) = 6*i**2 + 10*i - 20. Suppose -4*q + v + 36 = 0, 2*v + v = -12. Does 37 divide j(q)?
True
Suppose 0 = -2*i - 427 - 49. Is 6 - i/(-35) - (-1059)/5 a multiple of 16?
False
Let i(r) = 2*r**2 + 7*r. Let o = 25 + -25. Suppose -5*k + 8*k = v + 16, 3*v - 2*k + 34 = o. Is 39 a factor of i(v)?
False
Suppose 853 - 85 = -2*o. Let y = -63 - o. Let k = y - 191. Is k a multiple of 10?
True
Let k = 25 + -25. Let v = 8 - k. Is 9 a factor of 18/4*(6 + v)?
True
Let m(h) = -25*h - 155*h + 31*h + 3 + h. Does 14 divide m(-2)?
False
Let q(v) = -8*v**3 + 6*v**2 - 17*v - 23. Let x(w) = w**3 - w**2 + 2*w + 1. Let p(o) = q(o) + 4*x(o). Is p(-5) a multiple of 32?
True
Let p(t) = -198*t + 1236. Is 14 a factor of p(2)?
True
Suppose -4*g = -780 - 800. Let u = g + -257. Is u a multiple of 23?
True
Suppose -p = -5*p - 28. Let b be (3 - -12)/5*-29. Let c = p - b. Does 42 divide c?
False
Let p = 2141 - -2682. Does 28 divide p?
False
Suppose 3*f = 8*f - 35. Suppose 2*j - 2*n = -78, -j + f*n = 4*n + 31. Let p = 62 + j. Does 13 divide p?
False
Let c be 30/8 + -3 - (-60)/48. Suppose -5*k + 57 = c*z, 5*z + 5*k - 43 = 92. Is 3 a factor of z?
False
Let r(q) = 2*q**2 - 367*q - 7813. Is r(-20) a multiple of 3?
True
Let a(f) = -3*f**3 + 24*f**2 - 19*f + 11. Let l be a(9). Is 2 a factor of l/31*(-4 + -1)?
False
Suppose z = 2*x - 3746, -x + 1808 = -4*z - 86. Is 17 a factor of x?
True
Does 3 divide (-10 + 0)*((-10116)/(-15))/(-6)?
False
Suppose -16*q = 3*a - 17*q - 1130, 5*a - q - 1882 = 0. Let w = 679 - a. Is w a multiple of 32?
False
Let w = -41 - -42. Let i be 0 - -2 - w - (19 + -8). Let g = 19 + i. Is g a multiple of 7?
False
Let z = -167 + 87. Does 56 divide z/48 - 173/(-3)?
True
Let c(n) = -n**3 + 4*n**2 + 15*n + 10. Let b be c(9). Let m = b + 387. Is 11 a factor of m?
False
Let d(j) = j**2 - 7*j + 46. Let a be d(19). Let u = 319 - a. Is 3 a factor of u?
True
Suppose -y - 197 = 5*z + y, z + 5*y = -44. Let d be 6/z + 41/13. Does 13 divide -22 + 82 + (0 - 0 - d)?
False
Let g(y) = 2*y**2 - 8*y - 13. Let k be g(4). Let x(s) = -13*s + 183. Is x(k) a multiple of 22?
True
Let q(v) = -3*v**3 + 121*v**2 + 148*v + 37. Does 256 divide q(33)?
False
Let o(b) = 9*b**2 - 2*b + 20. Is o(-10) a multiple of 4?
True
Is 29 a factor of 2349700/96 + (-36)/864?
True
Let w be (-5 + -3 + -3)/(2/(-10)). Suppose -4*q = -4*z - 89 - 27, -2*z + 5*q = w. Let u = z - -36. Is u even?
True
Let w(v) = -17*v - 20. Let y be w(-20). Suppose s = u + 116, 3*s - y = -0*u - 4*u. Suppose -392 = -6*j + s. Does 35 divide j?
False
Suppose 794808 = 150*a - 93*a. Is 168 a factor of a?
True
Let n(r) = 22*r + 4. Let a(y) = y + 3. Let k(z) = 5*a(z) - n(z). Does 14 divide k(-1)?
True
Let o(s) = 6*s**2 + 18*s + 796. Is 14 a factor of o(-26)?
False
Let p(b) be the third derivative of 0*b + 0 + 2/3*b**3 + 1/2*b**4 + 1/120*b**6 - b**2 - 1/6*b**5. Is p(9) a multiple of 5?
False
Is (-10)/(350/(-19335)) - 138/322 a multiple of 24?
True
Let q = -7284 - -2646. Does 29 divide q/(-27) + 20/90?
False
Suppose -1574 - 1011 = -47*p. Suppose -127 = -5*w + 88. Let m = p - w. Is 12 a factor of m?
True
Suppose 1814*z = 1772*z + 1389108. Does 9 divide z?
False
Let h = -1985 + 10481. Is h a multiple of 164?
False
Let o be ((-4)/5)/((2/510)/(-1)). Suppose 3*h = -3*t + o, -5*h + 3*h + 2*t = -116. Is 22 a factor of h?
False
Let c = -222 + 234. Suppose c*q - 368 - 28 = 0. Is q a multiple of 5?
False
Let o be ((-470)/4 + 8 + -4)*-2. Suppose 10*c = 23 + o. Suppose -48 = c*z - 27*z. Does 3 divide z?
True
Suppose 0 = 5*k + 5*i + 495, -4*i + 436 = -k - 3*k. Does 18 divide 15*k/(-12) - (11 - 7)?
True
Suppose 17*s - 13*s - 12 = 0. Suppose -3*w + a - 3*a + 1317 = 0, s*w - 4*a - 1317 = 0. Does 23 divide w?
False
Let m(p) = p**2 - 7*p + 9. Let n be m(8). Let j = n - 17. Suppose -4*f + h + 283 + 175 = j, f - 4*h = 122. Is 9 a factor of f?
False
Let x = -100 - -104. Suppose 0*w + 2*t = -2*w + 288, -594 = -x*w + 2*t. Does 7 divide w?
True
Let j = -2594 - -3420. Does 7 divide j?
True
Let q be 4/(-10)*215/1. Let m be 40/4*q/(-4). Suppose m = 4*u - 65. Is u a multiple of 7?
True
Suppose -3*u + 4*f = -15885, -108*u - 5295 = -109*u + 10*f. Does 9 divide u?
False
Let j(z) = z + 25. Let f be j(-5). Suppose -17*x + f*x - 21 = 0. Suppose 0*a - 49 = -x*a. Does 7 divide a?
True
Suppose 5*o = 30, -2*j + 8076 = 2*o + 3*o. Is j a multiple of 9?
True
Let w(x) = 52*x**2 - 5. Let m(d) = d - 11. Let q be m(9). Does 5 divide w(q)?
False
Suppose -4*c = -10*c + 36. Suppose -5*u - 5*t = -70, u - c*u = 4*t - 72. Does 8 divide u?
True
Suppose 17 = 4*r + v, 3*v - 4*v = -5*r + 28. Suppose -2*b = r*g - 1328, 1324 = 4*g + g + b. Is 33 a factor of g?
True
Is 13 a factor of (9 - 6 - -4875) + 1?
False
Suppose 5*h = -3*n - 5206, -3*n - 252 = -5*h + 4994. Let g be n/(-10) + (-2)/40*4. Suppose -6*t - g + 624 = 0. Is 15 a factor of t?
True
Let z be ((-1)/((-1)/(-95)) - 3) + 3. Let a = z + 307. Suppose 49*v - 53*v + a = 0. Does 8 divide v?
False
Let l = 478 - 487. Let p(r) = 9*r**2 - 12*r + 5. Is 23 a factor of p(l)?
False
Let x(n) = 193*n**2 + 22*n + 67. Does 5 divide x(6)?
False
Let h be -123*80/(-12)*(-1 - -2). Suppose 2*l = -2*d + h, -2*l - d + 720 = -98. Does 3 divide l?
True
Suppose 7515 + 3225 = 10*i. Let z = i + -443. Is z a multiple of 38?
False
Let c be 104/78*(1 - 4/(-2)). Suppose 4*q + 4*n - 1424 = 0, -6*q + c*n = -4*q - 700. Is 17 a factor of q?
False
Suppose -118 = -6*m + 4*m. Let o = 378 + m. Is 49 a factor of o?
False
Let v(t) = t**3 - 111*t**2 + 1535*t + 181. Is v(95) a multiple of 43?
False
Let w(q) = 2*q**3 + 22*q**2 + 30*q + 116. Does 44 divide w(22)?
False
Suppose -5*v + 1634 + 1471 = 0. Suppose 5*h = 5*j - 1450, -4*h + 563 = 4*j - v. Does 25 divide j?
False
Let a(n) = 2*n - 26. Suppose 4*o - y = -3*y + 50, 5*y = 4*o - 71. Is 2 a factor of a(o)?
True
Suppose 1429 = 3*a + 4*g, 5*a + 2*g + g - 2400 = 0. Let k = a - 203. Is k a multiple of 14?
True
Let z be (-2)/8 - (-2805)/(-60). Let s be (2 - (-9)/(-9)) + (101 - 2). Let q = s + z. Is q a multiple of 5?
False
Let s = -766 + 766. Suppose s = -33*h + 35*h - 1736. Does 62 divide h?
True
Suppose t - 5*b = -t + 148, 6 = -3*b. Is 23 a factor of t?
True
Let g = -94 - -138. Let o = -19 + g. Let k = o - -13. Does 5 divide k?
False
Suppose -84*n + 74837 = -74*n - 40003. Is 66 a factor of n?
True
Let s = -5 + 0. Let h(x) = -27*x**2 - 3*x + 7*x + 57*x**2 - 27*x**2 - 15. Is h(s) a multiple of 18?
False
Suppose -5*z - 8 = -3. Let v be (2 - z - 12)*(-1 + -10). Suppose -5*p = g - 1212, -3*g - 137 = -p + v. Is p a multiple of 30?
False
Let f be 5*1 + -61 + 56. Suppose -149 = -3*h + y + 260, f = 4*h + y - 536. Is 4 a factor of h?
False
Suppose -3*t + c - 8 + 38 = 0, -2*c + 10 = t. Suppose -3*z + 43*m = 38*m - 575, 5*m - t = 0. Does 19 divide z?
False
Let t(r) be the first derivative of r**3 - 20. Let w be t(5). Suppose c + n - w = 53, 3*c - 376 = n. Is 21 a factor of c?
True
Suppose 70*b - 79*b = 92*b - 587315. Does 9 divide b?
False
Suppose 219 = w - 61. Let c = 348 - w. Is c a multiple of 4?
True
Let u(s) = s**3 + 7*s**2 + 3*s + 17. Let a be u(-6). Let q(m) = 0 + 1 - a*m + 30*m. Is q(-1) a multiple of 3?
True
Let v(y) = y**3 + 32*y**2 - 13*y + 57. Let g be ((-6)/2)/((36/(-128))/(-3)). Is 30 a factor of v(g)?
False
Suppose 10 = -2*r, -6*z + 7*z - 12 = r. Suppose 2*c + 9*i - z*i - 1462 = 0, 5*i = -20. Is c a multiple of 15?
True
Suppose 3*u + 64*u = 4*u + 2307690. Is u a multiple of 33?
True
Let n be -43*(-7)/((-7)/13). Let f = -181 - n. Is 9 a factor of f?
True
Let o = -108 - -897. Does 8 divide o?
False
Let b(o) = 13*o**2 - 11*o - 9. Le