Let f = -17141 + 18687. Does 205 divide f?
False
Suppose -142 - 33 = 7*l. Let n = l - -31. Suppose n*j - 160 = 4*j. Does 10 divide j?
True
Is 66911 - -1*((-102)/459 + (-25)/9) a multiple of 59?
False
Is 116 a factor of (-3)/(-60) - (-7504618)/440?
False
Let m be 825/100 - 2/8. Suppose 3*h = m + 46. Suppose 14*z + 384 = h*z. Does 48 divide z?
True
Let k be (-2)/4*(-14)/(-3 + 10). Does 37 divide (k + -7)*(-4 + (-103)/2)?
True
Let p(d) = 61*d - 3. Let a(s) = -20*s + 1. Let o(z) = -14*a(z) - 4*p(z). Let k(w) = 9*w - 377. Let y be k(42). Does 14 divide o(y)?
False
Let l = -74 - -74. Suppose -3*x - z + 100 = -588, l = -2*x - 2*z + 464. Does 38 divide x?
True
Let z = 75 - -16. Let v = 165 - z. Suppose 0 = -4*h + v + 266. Is h a multiple of 16?
False
Let q(c) = -2782*c - 54. Does 62 divide q(-1)?
True
Let h(j) = -3322*j + 14. Let c be h(3). Let v be c/40*5/2*-1. Let p = v - 332. Is 18 a factor of p?
False
Suppose -22*b - 4*z - 94957 = -411761, 1 = z. Does 90 divide b?
True
Let h(i) = 434*i**2 - 85*i + 1. Is h(4) a multiple of 23?
False
Suppose -3*a + 2*a + 5*p + 230 = 0, 956 = 4*a - 2*p. Let h = 2 + 2. Suppose h*z - a = 44. Is z a multiple of 22?
False
Let i = 40 - 36. Suppose -i*w = -5*n + 8, -5*n - 2 + 28 = 2*w. Suppose s - 89 + 226 = 2*t, -2*t + n*s = -134. Is t a multiple of 18?
False
Let g(d) = 66*d - 8. Let n be g(5). Let o = 624 - n. Suppose 2*a - o = 5*i, 0 = -4*a - a + 3*i + 793. Is 19 a factor of a?
False
Suppose -2*u - 5*k = -u + 35, 4*u - 2*k = -162. Let w = -38 - u. Suppose 5*n = -2*t + 37, -4*t + 7*t - 27 = w*n. Is t a multiple of 11?
True
Suppose 2*l + 227 = -f - 337, -4*l - f = 1124. Let t be 1 + 1 - (0 + l + 3). Let g = t + -128. Does 17 divide g?
False
Let y(u) = u**2 + 4*u - 12. Let m(h) = -h**2 + 2*h + 12. Let i be m(5). Let x be y(i). Is x/((-375)/2030) - 2/10 a multiple of 27?
True
Suppose -14092 = -4*z - 2*r, -4*z - 88*r = -92*r - 14128. Is z a multiple of 6?
False
Let c = -219 + 239. Let w(a) = a**3 - 20*a**2 + 8*a - 24. Is 17 a factor of w(c)?
True
Is 50 a factor of -4*1/4*2 - -2152?
True
Let w = 468 - -230. Let d = w - -42. Is 21 a factor of d?
False
Suppose 0*p = -2*p + 6. Suppose 2*n + 0*o - 1166 = -2*o, -o - 1160 = -2*n. Suppose -n = -4*g - p*g. Is 13 a factor of g?
False
Suppose -2*j + v + 308 = 0, 2*j + 5*v + 3 = 335. Let s = j + -143. Is 13 a factor of s?
True
Suppose 0*b = -6*b + 234. Let a = -49 + b. Is (a/(-1 + -1))/((-2)/(-56)) a multiple of 17?
False
Is 31 a factor of 3287 - (8/(-48))/((-4)/24)?
True
Is 67 a factor of ((-20)/(-40))/((-4)/(-35184)) + 0?
False
Let b = 65 - 52. Let s(x) = -2*x - 3*x - 15 + x**2 + 4 - b. Is s(10) even?
True
Suppose 6*n - 20 = n. Suppose f = -f + n. Suppose -672 + 126 = -f*d. Is d a multiple of 53?
False
Let w be (-6)/(-42)*2*14. Suppose 3*u - 1448 = -w*f - 527, -2*u + 637 = -5*f. Does 71 divide u?
False
Let v(u) = u**3 + 4*u**2 - 5*u + 3. Let k be v(-4). Let x(c) = 13*c + 1. Does 14 divide x(k)?
False
Suppose 0 = 47*q - 26987 - 350987. Does 31 divide q?
False
Let y(j) = -j**3 + j**2 - j + 71. Let i = 63 - 58. Suppose 0 = 3*p - 2*p - i*p. Does 15 divide y(p)?
False
Let v = -4363 - -6763. Does 75 divide v?
True
Suppose 27*v - 31*v + 84 = 0. Suppose 10 = -5*i + 2*f + 2*f, -2*i + 5*f - v = 0. Suppose 3*r - i*r - 95 = 0. Is 24 a factor of r?
False
Let n(f) = f**3 - 35*f**2 + 47*f - 445. Does 16 divide n(35)?
True
Is (-8)/(240/(-63243)) + (-78)/(-20) + -4 a multiple of 31?
True
Suppose -45*b - 182475 = -33*b - 27*b. Is 6 a factor of b?
False
Let a = 99 + 98. Suppose 0 = 4*m - 757 + a. Is 4 a factor of m?
True
Let y(c) = 5569*c**2 + 86*c + 170. Is 43 a factor of y(-2)?
True
Let i(h) = -2*h + 2*h**2 - 23 - 16 - 5. Let f(u) = u**2 + u - 5. Let g be f(-4). Is i(g) a multiple of 14?
False
Let g = -1349 + 6099. Is g a multiple of 128?
False
Suppose 2*x = -3*q + 14, -7*q + 2*q - x + 28 = 0. Suppose -6714 = -q*g - 1584. Is -2 + 0 - (-4)/(20/g) a multiple of 31?
False
Let p = -8 + 20. Let a = 26 + -84. Let g = p - a. Is 35 a factor of g?
True
Let r be 2 - 5/3 - 33502/(-42). Suppose -r - 114 = -2*i. Is i a multiple of 38?
True
Let y = 1830 - 1152. Let b = 1910 - y. Is 23 a factor of b?
False
Let m be 4/(4 - 8) + -1. Let f = m + -7. Is 7 a factor of 21/(((-57)/18 - -3)*f)?
True
Let o = -6109 + 10602. Does 54 divide o?
False
Let y = 20 - 23. Let w be (-7 - y - -4) + 73. Let p = w + -35. Is 16 a factor of p?
False
Suppose -f - w + 10838 = 0, -f + 10846 = -155*w + 160*w. Is f a multiple of 6?
True
Suppose 227*i - 81*i - 228928 = 0. Does 7 divide i?
True
Let f(i) = -27*i**3 + 7*i**2 - 10*i - 25. Is f(-6) a multiple of 37?
False
Let f = -328 + -203. Let l = -174 - f. Does 17 divide l?
True
Suppose 5*s = 3*s + 4*g + 352, g - 362 = -2*s. Suppose -s*p + 1017 = -177*p. Does 6 divide p?
False
Let p(s) = -727*s + 1237. Is p(-11) a multiple of 14?
False
Let q = 31 - 26. Suppose 2 = k - 2, -q*k = y - 107. Is y a multiple of 29?
True
Let n(l) = -24 - 185 - 19*l - 29 - 44. Is 18 a factor of n(-24)?
False
Suppose 0 = -9*t + 3679 + 10253. Is 4 a factor of t?
True
Let v(y) = 18*y - 56. Let j be v(13). Let n = j + -76. Is 3 a factor of n?
True
Suppose 0*c + 2*t + 98 = 3*c, c = t + 34. Suppose -c = -s - 0*s. Is s a multiple of 10?
True
Let d(m) be the first derivative of 9*m**4/2 + 2*m**3/3 - 3*m + 89. Does 4 divide d(1)?
False
Suppose -30 = -4*s - 5*l, 2*s + 10*l - 5*l = 20. Let g(i) = -4*i**2 + 8*i**2 - 6*i - s*i**2 - 6. Is g(-4) even?
True
Suppose 0 = -3*f - 780 - 2469. Is ((-6)/(-4))/(-2 + f/(-540)) a multiple of 18?
True
Let i be 108/40 + (-15)/(-50). Suppose 3*s = 3*h - 87, -i*h - 2*s - s + 63 = 0. Does 5 divide h?
True
Let t(z) = 6*z - 12. Let f be (-2)/(-3) - ((-309)/9 - -5). Suppose 3*w + f = 4*j + 4*w, 0 = -3*w - 6. Is t(j) a multiple of 15?
False
Suppose 532*r - 528*r - 23091 = -u, -3*u + 2*r + 69357 = 0. Is 67 a factor of u?
True
Let i(r) = 20*r**2 - 27*r + 160. Is i(12) a multiple of 54?
False
Let y(p) = 2*p**3 - 6*p**2 - 9*p + 57. Is y(8) a multiple of 125?
True
Suppose 5*c = b + 49862, 1400*c - 1399*c - 10006 = 5*b. Does 24 divide c?
False
Suppose -3*g + 44162 + 43302 = 26*g. Is 9 a factor of g?
False
Suppose 0 = 5*b + 5, -3*b - 1077 = 3*q - 36318. Is 44 a factor of q?
True
Let q(y) = -46*y + 95. Let g be q(2). Suppose -2*n + 259 = g*l, -2*l + 64 = 62. Is n a multiple of 8?
True
Let g = 20076 - 12505. Is g a multiple of 4?
False
Suppose -23 = -z + 5*a, 16*a - 13*a + 3 = 0. Suppose -z*w + 17*w = -88. Does 7 divide w?
False
Suppose -3*u = -27 + 15. Let o be 15/9 - (-7)/((-42)/u). Suppose -o = d - 49. Is d a multiple of 4?
True
Suppose 28*g = 23*g + 4*z + 10662, 0 = 5*g + 4*z - 10678. Does 21 divide g?
False
Let k = 12 + -48. Let t = -42 - k. Is 44 - 2/3*t a multiple of 11?
False
Let o(v) = -18*v + 200. Let r be o(11). Suppose 4*t + 811 = r*p + 165, t = -2*p + 651. Does 13 divide p?
True
Let p = 22 - 175. Let m = 382 + p. Is 43 a factor of m?
False
Let h be (-8)/((-256)/12) - 9/24. Suppose 104 = 3*k - 5*y, 2*k + y + 0*y - 65 = h. Does 11 divide k?
True
Is (21 - (-64)/1)/((-2)/(-748)) a multiple of 14?
False
Let g(r) = -111*r**3 + r**2 - 2*r + 7. Is g(-3) a multiple of 52?
False
Let t(h) = h**3 - 2*h**2 + 24*h + 43. Is t(7) a multiple of 2?
True
Let p(u) = -u**3 - 34310 + 2*u**3 + 34604. Is 14 a factor of p(0)?
True
Let c be 7*(-6)/(-126) + (-1078)/(-6). Suppose -7*h + c = -19*h. Let g(k) = -2*k - 15. Does 15 divide g(h)?
True
Let y(n) = -163*n - 205. Is 40 a factor of y(-3)?
False
Suppose -n + 27*n - 148830 = 4*n. Is 41 a factor of n?
True
Suppose -52*a = -45*a - 56. Does 6 divide (0 - a) + (-23 - -91)?
True
Let n(f) = -4*f - 33. Let m be n(-9). Suppose 108 = g + z, -z - m*z = 16. Does 13 divide g?
False
Let v = -2 - -32. Suppose 2*y + 8 = v. Suppose 3*o - y = 43. Is o a multiple of 18?
True
Let n be 4/((-2)/7 + 18/112). Is 62 a factor of (248/14)/(n/(-336))?
True
Let p = -672 + 1625. Suppose 3*d = -197 + p. Does 12 divide d?
True
Let t(o) = 2*o**2 + 63*o + 13845. Is t(0) a multiple of 15?
True
Let y = -48 + -56. Let j = 67 - y. Is 9 a factor of j?
True
Is 4 a factor of (-20)/(-350)*1099*25?
False
Let b be (-4)/(-40) + 44577/30. Suppose 5*k + 2*h + 3724 = 0, -h + 2*h - b = 2*k. Is ((-4)/4)/(4/k) a multiple of 20?
False
Let d(j) = -j**3 + 3*j - 23. Let n(h) = -h. Let a(t) = -5*t + 14. Let w be a(3). Let k(