iple of 217?
False
Suppose -1311930 = -643*b + 428*b. Is 113 a factor of b?
True
Let m be -3 + 2 + 18 + -2. Suppose -12*a + m = -21. Suppose 0 = -9*u + 10*u - a. Does 3 divide u?
True
Suppose 2*v + 9478 = 56*y - 54*y, -5*v + 20 = 0. Does 10 divide y?
False
Let v = 4905 - 2467. Is 39 a factor of v?
False
Suppose -3*m + 7*z = -35833, 3*z = -24 + 39. Is 9 a factor of m?
False
Let f = 22431 + -19221. Does 9 divide f?
False
Let k(d) = -2056*d + 26. Let m be k(2). Is 5/65 + m/(-117) a multiple of 5?
True
Let f(p) = 13*p**2 + 13*p - 20. Does 12 divide f(-41)?
True
Suppose 3*s + 60711 = 3*x + 175776, -s + 38356 = -2*x. Does 16 divide s?
False
Let t = -1124 + 20619. Does 35 divide t?
True
Suppose -2*l = 4*u + 2, 2*l - 4*u - 2 = 12. Let t be 1/6 - 58*(-9)/108. Suppose -p + 0*q + 87 = -q, t*p = l*q + 429. Is 21 a factor of p?
True
Suppose x - 10 = 2*b - x, -b = x - 1. Is 6 a factor of b/(-8) - 1148/(-16)?
True
Suppose 6*l - 10 = 14. Suppose l*h + 236 = 80. Is 39 a factor of -18*(-5)/((-30)/h)?
True
Let h = 731 + 6698. Does 169 divide h?
False
Let s(b) = -2421*b - 52 + 14 + 2445*b. Does 10 divide s(7)?
True
Suppose -39*w + 14*w = -18*w - 35910. Does 285 divide w?
True
Suppose 2*i = -200 - 4. Let d = i + 102. Suppose d = 2*w - 68. Is w a multiple of 7?
False
Suppose s + 276 = -3*s. Let j = 99 + s. Is j a multiple of 15?
True
Let m(x) = 48*x - 19*x - 27*x + 9. Let f be m(1). Suppose 0*c - f*c + 1320 = 0. Is 21 a factor of c?
False
Let h = 67 + -38. Let s = -25 - h. Does 6 divide (s/45)/((-2)/40)?
True
Let s(d) = -2*d**2 - 3*d + 2. Suppose 0 = -11*y + 12*y + 2. Let c be s(y). Suppose c = 13*f - 2*f - 616. Is 31 a factor of f?
False
Suppose -95*y + 71 = 127*y - 373. Suppose 3*z - 3 = 2*z. Suppose 4*c + 16 = 0, -c + 15 + z = y*j. Is j a multiple of 2?
False
Is 5 a factor of (-37012)/(-18) - (-45)/(-30)*12/81?
False
Suppose 0 = -4*j - 30*u + 28*u + 24656, -4*j + 3*u + 24656 = 0. Is j a multiple of 134?
True
Suppose 0 = -9*k + 6986 + 574. Is k a multiple of 35?
True
Let s = -16 + 33. Suppose v - 5*c + 1 = s, 0 = -3*v + 2*c + 22. Suppose 5*n = v*n - 33. Does 33 divide n?
True
Let u = 255 - 136. Suppose -f - y + u = -6*y, 8 = -2*y. Does 11 divide f?
True
Suppose 687 = -18*r - 21651. Let g = -803 - r. Does 6 divide g?
True
Suppose -57*v = -52*v + 5. Is 3/(2 + -5)*(-467 + v) a multiple of 12?
True
Let o(m) = -m + 3. Let w(k) = k - 2. Suppose -9*u + 10*u = 6. Let a(c) = u*o(c) + 7*w(c). Is a(8) a multiple of 4?
True
Let u(q) = q**3 - 3*q**2 + q + 2992. Is u(0) a multiple of 4?
True
Is 12371 + 2/35*10*7 a multiple of 210?
False
Let h = 7758 + -2638. Is h a multiple of 5?
True
Let j(b) = 1 + 2*b**3 + 3*b + 0 + 4 + 1 - 3*b**2. Let k be j(3). Suppose -47*p = -k*p - 140. Is 4 a factor of p?
True
Suppose 10*c + 7337 = 10737. Does 10 divide c?
True
Suppose 2*b = 7*b + 4*s - 119, 0 = 4*b + s - 104. Does 27 divide (b/6)/((-1)/(-6)*1)?
True
Let q = 6733 - 1013. Is 55 a factor of q?
True
Let g = 5027 - -1742. Does 39 divide g?
False
Suppose 102*b - 18 = 108*b. Does 21 divide (9/3)/b - 1036/(-7)?
True
Is (-1398)/(-15)*(-1335)/(-178) a multiple of 23?
False
Suppose 228265 = 82*f - 11*f. Is f a multiple of 21?
False
Suppose -v = -4*z - 38, 0 = -3*z - z - 12. Suppose 4*l = -2*u + 3*u + 160, 0 = -4*u. Let i = v + l. Is 11 a factor of i?
True
Let f(j) = 108*j**2 + 107*j - 900. Is 89 a factor of f(9)?
True
Suppose 7*m + m + 456 = 0. Let h = m - -113. Suppose -51*j = -h*j + 440. Is 14 a factor of j?
False
Let a = 26585 + -23406. Does 17 divide a?
True
Let q(p) = p**3 + 13*p**2 + 14*p - 4. Let f be q(9). Is 17 a factor of (10/(-8))/((-4)/f)?
True
Let v(q) = 2*q**2 + 107*q - 577. Does 13 divide v(-61)?
True
Let z(w) be the second derivative of -w**4/2 - 2*w**3/3 - 13*w**2/2 - 23*w. Let v be z(-3). Let i = 77 + v. Is i a multiple of 2?
True
Suppose -l = l - 94. Let y = l + -47. Suppose -3*s + 0*s + 149 = 4*j, y = -2*j - 4*s + 72. Is 21 a factor of j?
False
Let y = 428 + -446. Suppose -3*u + 73 + 116 = 0. Let f = u - y. Does 9 divide f?
True
Is 38 a factor of (3704/(-10))/(6/30)*45/(-18)?
False
Suppose v = 1, t + 9543 = 6*t + 3*v. Suppose -5*l = 5*p - 1165 - 1190, t = 4*l - 2*p. Is l a multiple of 42?
False
Let q(n) be the second derivative of 161*n**4/6 + 5*n**3/6 - 2*n**2 - 4*n - 7. Does 9 divide q(1)?
False
Let n = -83 - -86. Let q(c) = -c**3 - 9*c**2 - 10*c - 10. Let h be q(-8). Suppose -n*y + 78 = h*f - 3*f, -f + 23 = -2*y. Is f a multiple of 2?
False
Let l = 12914 + 10675. Is l a multiple of 78?
False
Let c(t) = -16*t**2 + 42*t**2 - 1 + 85*t**2 - 3*t**2 + 2*t. Is 24 a factor of c(-2)?
False
Does 28 divide (3662/(-6))/((275/(-693))/25) + 1?
False
Is 70 a factor of 2/6*10*1054113/230?
False
Let m be ((-2)/(-4)*-12)/(6/(-4)). Suppose m*q - 3 - 9 = 0. Suppose -2*w = -5*v - 308, -q*w = 7*v - 3*v - 416. Is 36 a factor of w?
True
Let n(i) = i**3 + 11*i**2 - i + 4. Suppose 0 = 24*o - 19*o + 55. Let b be n(o). Let d = 28 - b. Is d a multiple of 10?
False
Suppose -b + 2469 = h, -5*b - 4*h = -5*h - 12321. Is 85 a factor of b?
True
Suppose -2*j - 3*g - 2 = 0, 0 = 5*j - 24*g + 28*g + 12. Suppose -u = -4 + 2. Does 8 divide 5 + (-110)/j - u/(-4)?
False
Suppose 12*b - 103 = -v + 7*b, 0 = -4*v - 5*b + 397. Suppose -17 = 3*a - v. Let o = 73 - a. Is 23 a factor of o?
True
Let s(h) = 68*h + 2014. Is 8 a factor of s(-26)?
False
Let w = 312 + -194. Suppose 4*x + 34 = w. Is 9 a factor of x?
False
Let u = -1550 - -7277. Is 83 a factor of u?
True
Let j be -3*(-3)/(-27)*-18. Let b = -60 + j. Does 34 divide (16/18)/(-4) + (-1956)/b?
False
Let h(w) = -14*w - 4. Suppose -5*m = -5*z + 170, 0*z - z = -2*m - 71. Let p = m + 31. Does 5 divide h(p)?
True
Suppose -12 = 5*m - 2*p, 5*p + 5 = -4*m - m. Let f(t) = t**3 - t**2 - 1. Let z(i) = 9*i**3 + 6*i**2 + 3*i + 7. Let k(w) = -6*f(w) - z(w). Does 19 divide k(m)?
False
Suppose 2*b = 16 + 112. Suppose -18*y = -16*y - b. Let c = y - 14. Does 8 divide c?
False
Let t = -4989 + 7290. Suppose -5*j + t = b, 5*b + 2080 = 3*j + 705. Is 7 a factor of j?
False
Let l(f) be the third derivative of 67*f**9/60480 - f**7/2520 + f**6/360 - f**5/4 - 14*f**2. Let c(y) be the third derivative of l(y). Is c(1) a multiple of 20?
False
Let y(d) = 12*d**2 - 118*d + 305. Is 31 a factor of y(17)?
True
Does 7 divide 441788/95 + 120/(-50)?
True
Suppose -f + 0*f = -6. Let r(q) = 9*q + 72. Let a be r(6). Suppose y - a = -f*y. Is 9 a factor of y?
True
Suppose 0 = 10*p - 25318 - 46922. Is 29 a factor of (-8)/6*p/(-16)?
False
Suppose 277*i + 12726 = 286*i. Suppose -5*b = -10, 5*u - 3*b - i = -0*b. Is u a multiple of 12?
False
Suppose x - 5*l - 848 = 0, 0 = -4*x + 2*x + 3*l + 1675. Let z = -221 + x. Does 9 divide z?
True
Suppose -5*p + 6*a - 4*a + 25 = 0, -p + a = -5. Suppose -p*i = -3265 + 405. Is 44 a factor of i?
True
Let v be (-4 + (-16)/(-4))/(-1). Suppose v = -i - 3*i - 100. Let a = i + 59. Is 21 a factor of a?
False
Suppose -164074 = -124*t + 58382. Does 26 divide t?
True
Let s(w) = -62*w + 31. Let t(x) = -31*x + 16. Let a(b) = -3*s(b) + 5*t(b). Let i be a(4). Is 15 a factor of (5/(-15))/((-1)/i)?
False
Suppose 4*a - q - 24887 = 0, -629*a + 627*a = -4*q - 12426. Is a a multiple of 49?
True
Let c(l) = l**3 + 14*l**2 - 29*l - 143. Does 8 divide c(-14)?
False
Is 111 a factor of ((-3)/(-5))/((-84)/(-139860))?
True
Suppose u - 2*u - 42804 = -5*p, -u + 1 = 0. Is 152 a factor of p?
False
Does 40 divide 150/6*-1*576/(-40)?
True
Suppose -38586 = -5*f + 104794. Is 107 a factor of f?
True
Suppose 4*x + 2*j = -2*j + 136, 5*x - 3*j - 186 = 0. Let s be 756/(-112)*(-4 + 0). Let v = x - s. Is v a multiple of 6?
False
Let x = -2006 - -4358. Is 112 a factor of x?
True
Let w(l) = l**3 + 9*l**2 - 7*l + 9. Suppose -3*y + 4*h - 22 = 2*h, 0 = h + 1. Let d be w(y). Suppose -d - 71 = -4*v. Is v a multiple of 49?
False
Suppose -m - 13 = -4*a - 0*m, a + 5*m = 19. Suppose 5*k = -a*q + 2*q - 12, 2*q - 4*k = 24. Is 278/q + (-14)/(-28) a multiple of 6?
False
Suppose s + 8 = -2*g, s + 3*g + 2 = 2*s. Let u(f) = -7*f**3 - f**2 + 2*f - 15. Is u(s) a multiple of 55?
False
Let a = 4104 - 2634. Does 100 divide a?
False
Let c = 23782 - 15222. Does 101 divide c?
False
Let h(w) = 2*w**2 + 19*w - 10. Let r be h(-9). Let f = 66 - r. Is f a multiple of 17?
True
Let i(n) = 12*n**2 - 3*n - 2. Let a be i(3). Let r(b) = 2*b**2 + 22*b - 15