x - 13, -x = 2*y + 3*y - 13. Suppose -3*b - y*r + 406 = 82, -333 = -3*b + r. Is 7 a factor of b?
False
Suppose 3 = -3*o, 1238 = 4*q - 9*o + 11*o. Is 23 a factor of q/4 - 8/(-16)?
False
Let m(p) = 2*p - 29. Let s be m(18). Is 2 a factor of (43 + s)*1 + -1 + 2?
False
Does 64 divide (-104162)/(-15) - ((-2332)/(-165) - 14)?
False
Let x be 1 + 3/(-5) - 8579/(-115). Let n be (-30)/x*(-29 - 1). Suppose -6*h = -156 - n. Is 7 a factor of h?
True
Let y be -1*3/(-4) + (-2758)/(-56). Suppose -782 = -4*g + y. Does 8 divide g?
True
Suppose 2*f - 2502 = 4*q - 672, -2*f + 5*q = -1823. Does 3 divide f?
False
Suppose 7 = -k + 5*m, -k - 9 = -2*m - 5. Is 779 + k/(-9) + 340/90 a multiple of 29?
True
Suppose 0 = -6*s + 9*s - 576. Suppose 3*z - s = 153. Does 5 divide z?
True
Suppose -44669 - 39181 = -25*k. Does 3 divide k?
True
Let u(l) be the third derivative of l**6/120 + l**4/24 + 8*l**2. Let p be u(1). Suppose 4*g + 2*f + 271 = 981, 346 = p*g + 4*f. Does 18 divide g?
False
Let d = -22576 - -26941. Is 291 a factor of d?
True
Let r(g) = -g**2 - 10*g + 96. Let h be r(-17). Let u be 1/(((-2)/2)/(-69)). Does 6 divide (58/(-6))/(h/u)?
False
Suppose -22*f - 7086 + 838 = 0. Let a = f - -374. Is a a multiple of 15?
True
Let r(i) = 3*i**2 - 12*i - 32. Suppose 5*s + 5*x + 15 = 0, 3 = -s - 3*x - 2. Let c(l) = -l**2 + 4*l + 6. Let m be c(s). Does 25 divide r(m)?
False
Let p be (3/(-2))/((-4)/(-136)). Let l = -46 - p. Suppose l*x = -q - q + 207, x = 3. Is 8 a factor of q?
True
Let s(l) = 135*l**2 - 20*l - 200. Is s(-10) a multiple of 9?
True
Let g(i) = -i**2 - 7*i + 44. Let v be g(-10). Let o(x) = 16*x + 28. Is 6 a factor of o(v)?
True
Suppose -9*n - 19*n = -8232. Suppose 0 = -f + 1, -i + 6*f + n = 2*f. Is i a multiple of 65?
False
Is ((-30)/5 - 143)/(570/144 + -4) a multiple of 24?
True
Is 5 a factor of 6/9*-3 - (-638 + -5 - -5)?
False
Let r be (-42)/(-3 + (5 - 4)). Suppose -13*t = -r*t + 3968. Suppose 0*c = -4*c + t. Is c a multiple of 31?
True
Let w be ((-210)/(-55) - 4) + 788/(-22). Does 12 divide w/(-4)*(0 + (-392)/(-3))?
True
Let o = -28612 - -60931. Is o a multiple of 57?
True
Let s(u) = -u**2 - 27*u - 93. Let w be s(-23). Is 14 a factor of w*2*(5 + -2 + -269)?
True
Suppose 116 = 2*i - 4*i. Suppose p + 3*m - 24 = 64, 3*p - 243 = -2*m. Let g = i + p. Does 21 divide g?
True
Let r = 1670 - 1490. Is r a multiple of 30?
True
Let k be (-4 - 148/(-16))*(72 + 0). Let g = k - 265. Is g a multiple of 7?
False
Let i = -430 - -424. Let o(q) = -121*q - 299. Is 7 a factor of o(i)?
True
Let g(m) = -m**2. Let q(c) = 4*c**3 + 4*c**2 - c + 1. Let f(h) = 4*g(h) + q(h). Let o be f(0). Is o - 0 - 6 - -2 - -165 a multiple of 10?
False
Let j be 35/(10 + -5)*-1. Let q(t) = t**3 + 6*t**2 - 7*t. Let l be q(j). Suppose 4*w - 278 + 86 = l. Is 12 a factor of w?
True
Suppose 0 = r - 2*r + 3*i - 6, 5*r = 5*i. Suppose -2*n + 8 = -q - 4, -r*n = 4*q + 37. Is 5 a factor of (1/((-1)/q))/(7/42)?
True
Suppose 4*m - 33 + 9 = 2*g, -3*m + 28 = -4*g. Suppose 0 = -2*s + l - 4, 0*s - m*s = -5*l - 4. Is (s + (-18)/(-5))*(-200)/2 a multiple of 6?
False
Let f(o) = -412*o**3 - 3*o**2 - 17*o - 28. Does 8 divide f(-2)?
False
Suppose 4*f - 1288 = 3200 + 13668. Does 3 divide f?
True
Let m(x) = -36*x - 106. Suppose -80*w = -90*w - 30. Is 2 a factor of m(w)?
True
Suppose 124 = 5*o - 4*n, 6*o - 3*o - 68 = -4*n. Suppose 21*p + 85 = o*p + 4*i, 3*p - 89 = -5*i. Does 9 divide p?
False
Let y(c) = 3*c**2 - 15*c - 42. Let r(k) = k + 4. Let j be r(-10). Is 39 a factor of y(j)?
True
Let f be 0 + -5 - (26 + -37). Suppose -21 = 3*v - f. Let g = v - -104. Does 11 divide g?
True
Let c(p) = p**2 + 14*p - 14. Let a = -122 + 133. Is 13 a factor of c(a)?
False
Let l = -227 + 112. Let j = 237 - l. Is j a multiple of 20?
False
Let l = -50 - -52. Suppose 2*t = 0, 0 = u - l*t - 4 - 6. Let m(b) = b**2 - 7*b + 25. Is m(u) a multiple of 12?
False
Suppose 0 = 10*w - 9*w + 15. Let v = w - -81. Is 9 a factor of v?
False
Let i be -5 + 7 + 67*4. Suppose 4*m - i = 2*o, 11*m = 7*m + o + 265. Is m a multiple of 8?
False
Let z(d) = 5*d + 20. Suppose 15*p - 16 = 14*p. Is 25 a factor of z(p)?
True
Let r(n) = -1. Let m(s) = 2*s + 7. Suppose -5*v - c + 27 = 0, 5*c + 4 = 4*v - 6. Let p(u) = v*r(u) + m(u). Does 5 divide p(8)?
False
Let g(r) = 13*r**2 + 13. Let v be g(5). Suppose -478 = -2*t - v. Is 35 a factor of t?
True
Let d(a) = 3*a - 37. Let i(m) = m**2 - 11*m + 25. Let t be i(6). Let h be d(t). Let l = h - -92. Is 4 a factor of l?
True
Let t(q) = -599*q - 3464. Does 19 divide t(-12)?
True
Let w(r) = 22*r**2 + 94*r - 620. Does 93 divide w(7)?
True
Let v(q) = -29*q + 3423. Is v(-86) a multiple of 97?
True
Suppose -28*a = -33*a + 5. Is 2 a factor of a + 68 - (1 - -3 - 5)?
True
Suppose 2*h = -4*b + 7*h + 1924, -4*h = 4*b - 1924. Suppose b = 2*g - 3*i, 3*g + 3*i = 2*i + 705. Is 32 a factor of g?
False
Suppose -15 = -3*i, -918*h + 913*h + 2*i + 4190 = 0. Is 56 a factor of h?
True
Suppose 61 = 3*x - 2*n + n, n = x - 19. Let v(d) = 10*d + 3*d - x*d + 2*d**2 + 9 + 12*d**2. Is 43 a factor of v(4)?
False
Let k = 3339 + 1468. Is k a multiple of 35?
False
Let r = -87 + 761. Suppose 0*o - 5*d + 698 = 2*o, 2*o - d - r = 0. Suppose 3*m - o - 45 = 0. Is m a multiple of 11?
False
Let m(v) = -v + 1. Let s be m(7). Suppose -36*p - 44*p = -78*p - 152. Is s*p/(-12) + 4/(-2) a multiple of 2?
True
Does 94 divide (24/(-10))/((1971/41670)/(-73))?
False
Suppose 6*p = 22 - 10. Suppose -5*t - 7 = 8, -p*i + 404 = -4*t. Does 14 divide i?
True
Suppose -125 - 98 = -4*y + 3*i, i = 3. Let q = y - 48. Does 16 divide (q/4 + -3)*(-31 - 1)?
True
Suppose 0 = t + 4*p - 729, -7*t = 15*t - 5*p - 16410. Is 18 a factor of t?
False
Let k(d) be the first derivative of -11*d**2/2 - 205*d + 155. Does 14 divide k(-25)?
True
Suppose -5*y = -2*z + 12470, 42*z + 6246 = 43*z + 3*y. Does 27 divide z?
False
Let v be (-1 + -1)*(142 - 48). Let r = v + 683. Is r a multiple of 15?
True
Let w be (-296)/(1/2 + (-221)/416). Suppose -20*l + w = -428. Does 27 divide l?
False
Suppose -31*b - 5094 - 5043 = 0. Is ((-117)/(-27))/((-1)/b) a multiple of 8?
False
Suppose -72*r + 71*r = p - 12936, 12936 = p - 3*r. Does 42 divide p?
True
Let o = -1600 - -723. Let a = o - -1953. Is a a multiple of 57?
False
Suppose 1328*h - 2348 = 1326*h. Let l = h - 496. Does 17 divide l?
False
Let w = -8 - -18. Let v be -1 - -5 - (9 - w). Suppose 5*q = 3*u + 843, 5*q - 3*u = -v*u + 838. Is 21 a factor of q?
True
Let g = 25 - 20. Suppose -g*v - 70 = -40. Is 12 a factor of (2 + v)*(0 - 16)?
False
Suppose -239*c + 246*c = 13860. Suppose l - c = -2*s, 0*l = -3*l. Does 15 divide s?
True
Let o = 184 - 190. Is 54/4 + (-9)/o a multiple of 5?
True
Let s be (-36)/(-9)*(-14)/8. Let y be (-46)/s - 24/42. Suppose -w - 100 = -y*w. Is w a multiple of 11?
False
Suppose -1108 - 2992 = -4*x. Is 102 a factor of x + 1 + -8 + 2?
True
Let h(j) = 5*j**3 - 42*j**2 + 24*j - 14. Let q be h(19). Suppose -83*y + q = -54*y. Is y a multiple of 9?
True
Let l(a) = a**3 + 11*a**2 - 25*a + 31. Let s be l(-13). Suppose -s*q + 11264 = 4*q. Is q a multiple of 8?
True
Suppose -5*h + h - 5*w + 36 = 0, 0 = -5*h - 2*w + 28. Let s be ((-1)/h)/(1/(-16)). Let m(n) = 5*n - 10. Does 4 divide m(s)?
False
Let x(j) = 2*j**3 + 2*j**2 - 12*j + 10. Let g be x(3). Does 13 divide (21/(-14))/((-1)/g)?
False
Let j(b) = 2*b**3 - 3*b**2 - 4*b - 19. Let i(q) = -2*q**2 - 26*q + 5. Let f be i(-13). Is 4 a factor of j(f)?
True
Let c = -12 - -8. Let m be 4 + c + 0 - -261. Let s = m - 167. Does 21 divide s?
False
Suppose 4 = 2*f, -5*f = -j - 0*j - 11. Let q(b) = 141*b**2 - 2*b - 2. Let x(v) = 70*v**2 - v - 1. Let l(o) = -6*q(o) + 13*x(o). Is 16 a factor of l(j)?
True
Suppose 3*g = -2*g + k + 25, -5*k = 3*g + 13. Suppose -s + 255 = v, -4*v + 3*v = g*s - 1020. Is -8 + 6 + s/3 a multiple of 6?
False
Is (-1114)/(-4)*((-4)/(-6))/(18/54) a multiple of 58?
False
Suppose 0 = -24*n + 11024 - 416. Is n a multiple of 85?
False
Suppose 0 = -5*j + j + 624. Suppose v - 4*v - 2*l = 386, 641 = -5*v - l. Let c = j + v. Is c a multiple of 6?
False
Let i be (38/(-3))/(4/66). Let t = 142 + i. Let c = 96 + t. Is 3 a factor of c?
False
Suppose -2*k = -5*m + 187, -5*m + 0*m = -3*k - 183. Suppose p = i - 4*i - 125, 3*p + m = -i. Is (26/39)/((-4)/i) a multiple of 7?
True
Is (-8700)/80*-28 - (-7)/(-1) a multiple of 31?
True
Let