Suppose -18*f - 1170 + 8730 = 0. Is f a multiple of 20?
True
Suppose 8*u - 3*u = 690. Is u a multiple of 69?
True
Let j = -194 + 126. Let r = 99 + j. Does 2 divide r?
False
Suppose -2*b - 1868 = -2*d, -5*d + 2*b = -5448 + 793. Is d a multiple of 80?
False
Let m(t) = -7*t**3 + 19*t**2 - 29*t + 5. Let g(a) = -4*a**3 + 9*a**2 - 14*a + 3. Let p(s) = 5*g(s) - 3*m(s). Is 34 a factor of p(12)?
True
Is 15 a factor of (92/(-10))/((-4)/(-600)*-1)?
True
Suppose 0 = u + 5*r - 310 - 283, u - 2*r - 579 = 0. Let b be (-18)/(-81) + u/9. Suppose 25 = -4*h + b. Is 3 a factor of h?
False
Suppose -7 = -4*k + 9. Suppose 5*r = -m + 100, -k*m - 5*r + 310 = -3*r. Is m a multiple of 25?
True
Let j(z) = 13*z**2 - z + 2. Is 26 a factor of j(2)?
True
Let l(u) = -122*u - 71. Does 20 divide l(-4)?
False
Let k be 69/2 - (-36)/(-24). Let c be (-4)/22 - (-6)/k. Suppose c = -5*u + u + 20, -3*s + u = -70. Does 6 divide s?
False
Let t = 380 + -252. Let c = t - 57. Does 7 divide c?
False
Let l be 2/5 - (-39)/15. Let i be (-10 + -2)/((-5)/(20/(-6))). Is l + (3 - (i + -1)) a multiple of 4?
False
Is 13 a factor of 6/21 + 351285/231?
True
Let b be (-2 + 5)*8/6. Suppose 5*j - 24 = -3*z, j = -z + 5*z - 32. Suppose z*s - b*s - 92 = 0. Is s a multiple of 12?
False
Let g(b) = 57*b**2 - 9*b. Is 22 a factor of g(2)?
False
Is 8 a factor of ((-68)/(-6))/(180/810)?
False
Let x = 90 + -162. Let u = x + 180. Suppose -6*f + 3*f + u = 0. Does 36 divide f?
True
Let l(c) be the second derivative of c**4/12 + c**3 - 9*c**2 - 26*c. Does 25 divide l(10)?
False
Let n(z) = -26*z**3 + z**2 + 3*z - 2. Let h be n(-2). Let b = 304 - h. Does 25 divide b?
True
Let y = -79 - -77. Let d(c) be the first derivative of -5*c**2/2 + 6*c - 2. Is d(y) a multiple of 16?
True
Let x be (-3)/(-9) - 2/(-3). Let j be (-3)/((-1)/(-1) - 2). Does 17 divide 55 - (-3)/(j/x)?
False
Suppose 0*g - 2*g - 6 = 0. Is 43 a factor of (-204)/(-3) - 3/g?
False
Suppose -4*h = 12*h - 208. Is 5 a factor of (h/(-1) + 1)/((-9)/27)?
False
Let r be -6 - -1*(-1 + 18). Let k(v) = 6*v - v**2 + 9*v + 3 - 2*v. Does 25 divide k(r)?
True
Let a = 18 + 111. Does 19 divide a?
False
Suppose -4*y + 2*k + 303 = -y, 4*y - 5*k - 397 = 0. Is 8 a factor of y?
False
Suppose -2*h - 6 = -2*r, -h + 4*r - 2*r = 1. Is 9 a factor of (-5)/25 + (-51)/h?
False
Let n(y) = -y**2 - 2*y + 312. Is 26 a factor of n(0)?
True
Let m = 3 + -1. Let h(k) = k**2 - k + 1. Let o be h(m). Does 6 divide 2 + -3 + 16 + o?
True
Let t = -82 - -76. Let k(y) = 2*y + 27. Is k(t) a multiple of 15?
True
Is ((-70)/(-21))/(4/(-1080)*-2) a multiple of 9?
True
Let c be 182/12 - (-7)/(-42). Let f = 6 - c. Let v(g) = g**2 + 7*g - 1. Is 17 a factor of v(f)?
True
Suppose -3*k + 4*f - 24 = -k, 32 = -4*k + 4*f. Suppose -4*p = 59 - 3. Is (-192)/p - k/14 a multiple of 3?
False
Let p be 2 + 0 - -13 - 3. Suppose -p = -u + 20. Is 10 a factor of u?
False
Let p(h) = -h**3 - 6*h**2 + 8*h + 10. Let j be p(-7). Suppose 6*n - 339 = j*n. Is 20 a factor of n?
False
Let u(l) = 4*l. Let d be u(1). Suppose 628 = 5*c + 4*f, -3*c + 2*c - d*f + 132 = 0. Suppose 0 = -h - h + c. Does 25 divide h?
False
Let v(n) = 2*n**2 - 78*n + 79. Let s be v(38). Suppose 0*a + 8 = t + 3*a, 2*a - 10 = -3*t. Suppose -s*r + 0 = -t*x + 8, r - 37 = -5*x. Is x even?
False
Suppose 5*j - 20 + 0 = 0. Suppose 6*s = i + 3*s - 116, -2*s - 494 = -j*i. Does 39 divide i?
False
Let d(n) = 10*n**2 + 4*n - 7. Let m be d(5). Suppose 2*t = 2*j + j + m, -3*t = 4*j - 352. Suppose 5*u = -34 + t. Is u a multiple of 18?
True
Let t be 62 - 0/(4 + -3). Let v = t + -29. Is v a multiple of 33?
True
Suppose 3*s + 3*f - 288 = 0, 3*f - 2 = 4*f. Let q = -64 + s. Does 7 divide q?
False
Let x = 535 - 285. Is 31 a factor of x?
False
Let x(o) = -2*o**2 - 33*o + 5. Is 3 a factor of x(-15)?
False
Let w = 9 + -3. Let y = w + -60. Does 17 divide 12 + -14 - (y - -1)?
True
Let o(x) = -x**3 - 7*x**2 + 17*x + 14. Is o(-10) a multiple of 23?
False
Suppose d - 4*q - 1931 = -220, -2*d + 4*q + 3422 = 0. Does 29 divide d?
True
Suppose -3*s - 5 - 1 = 0. Let b(h) = -94*h + 8. Is b(s) a multiple of 41?
False
Let m(k) = -2*k**2 - 2 + 5 + 2*k - 4*k**2 + k**3. Suppose 4*n - 3*n = 3*x - 24, -2*n = 2*x - 8. Is 14 a factor of m(x)?
False
Let v(b) = -b**3 + 6*b**2 + 8*b + 9. Let w be v(7). Suppose -3*a + 18 + 12 = 4*q, -2*a - 4*q + w = 0. Is 11 a factor of (7/a)/(1/86)?
False
Let j be (-8 + 4 + 2)*(-2)/(-4). Let v(b) = 75*b**3 + 13*b**2 - 2. Let m(u) = 37*u**3 + 6*u**2 - 1. Let o(y) = -13*m(y) + 6*v(y). Is 16 a factor of o(j)?
True
Let h(j) = -j**3 - 8*j**2 - 6*j + 10. Let p be h(-7). Let m be 0/p - (0 + 0). Suppose m = q + q - 148. Is 21 a factor of q?
False
Let s(t) = t - 2. Let q be s(7). Suppose 6*f - 3*h = 3*f + 351, 4*f + 3*h = 482. Suppose -33 = -l + 5*o, -l + f = 2*l + q*o. Is l a multiple of 15?
False
Let r(h) = 20*h**3 + 2*h**2 - 3*h. Is r(2) a multiple of 18?
True
Let s(p) = 3*p - 5. Let y(u) = 5*u - 9. Let f(z) = -7*s(z) + 4*y(z). Let l be f(5). Does 2 divide (-2)/l + 48/18?
False
Let z = -2 + 10. Suppose z*w + 84 = 12*w. Is 3 a factor of w?
True
Suppose -k = -2, -2*k = -4*d - 9 - 3. Is d/(-7) - 1575/(-147) even?
False
Let o(n) = -2*n + 7. Let v(y) = 3*y - 8. Let l(m) = -4*o(m) - 3*v(m). Let t be l(-6). Suppose 2*p = -3*p + t*j + 79, -p + j + 17 = 0. Does 5 divide p?
True
Let s(f) = f + 16. Let h be s(-6). Let b be (4 - (0 + 9 - 4))*13. Does 6 divide 11/1 - (b + h)?
False
Let r(g) = g**3 - g**2 - 2*g + 11. Let b be r(0). Let c = b - 14. Is ((-5)/2 - c)*62 a multiple of 8?
False
Let d(r) be the second derivative of 1/2*r**2 + 1/6*r**3 + 29/4*r**4 + 0 + 6*r. Is 11 a factor of d(-1)?
False
Suppose 4*z - 10*c - 171 = -7*c, -4*z - 4*c + 192 = 0. Is 9 a factor of z?
True
Let y = 268 - 111. Is 24 a factor of y?
False
Suppose -13*m = -8*m - 10, -3*m = i - 331. Is 8 a factor of i?
False
Let c = 18 - 15. Suppose c*m = 149 + 1. Does 10 divide m?
True
Suppose -5*t = -21*t + 336. Suppose 24*n - 126 = t*n. Does 6 divide n?
True
Let p(z) be the third derivative of z**5/10 - 5*z**4/12 - 3*z**3 + 24*z**2. Does 18 divide p(-4)?
False
Let o(z) be the second derivative of z**5/10 - 3*z**4/4 - 4*z**3/3 + 7*z**2/2 + 13*z. Is o(6) a multiple of 12?
False
Let h be 5 + 0 - (11 + -11). Suppose -4*s = 5*w - 58, -41 = -4*w - 0*w - h*s. Is 14 a factor of w?
True
Let a(x) = x - 1. Let t(h) = -6*h - 30. Let g(j) = -8*a(j) - t(j). Does 20 divide g(9)?
True
Let t = -1373 - -1455. Does 2 divide t?
True
Suppose 2*j + 75 + 5 = 0. Let g(a) = -a**3 + 2*a**2 + 2. Let h be g(5). Let x = j - h. Is x a multiple of 11?
True
Suppose 139875 = 87*y - 20727. Is 13 a factor of y?
True
Suppose 0 = 3*l - 5*i - 24, -3*i - 11 = -2*l + 5. Let o(j) = j**2 + 5*j - 12. Does 23 divide o(l)?
True
Suppose -4*s + 551 = -5*k - 92, 4*k = 3*s - 482. Does 9 divide s?
True
Let d(f) = 50*f**2 - 9*f + 6. Is d(2) a multiple of 4?
True
Suppose 20 = 4*w - 5*v - 6, 2*w - 4*v - 16 = 0. Suppose -5*c = w*c - 1512. Is c a multiple of 41?
False
Let k = -1719 + 2408. Does 28 divide k?
False
Let y(m) = 26*m**3 + 3*m**2 + 4. Let h(s) be the first derivative of 25*s**4/4 + 2*s**3/3 + 3*s + 1. Let r(t) = 4*h(t) - 3*y(t). Is r(1) a multiple of 7?
True
Let t(s) = s**3 - 7*s**2 + 4*s - 12. Let d be t(6). Let c = d - -33. Let z(o) = o**3 - 8*o**2 - 2*o - 13. Does 12 divide z(c)?
False
Let a(y) = -y**3 + 7*y**2 - 5*y + 2. Let n be a(6). Let l(q) = 7 - q**3 + 7*q - 5 + n - 13*q**2 + 6*q**2. Is l(-8) a multiple of 6?
True
Suppose -5*f + 10 = 0, -2*f + 17 = i + f. Suppose -13*o + 276 = -i*o. Is 23 a factor of o?
True
Let r be (-145)/(-10) + 3/6. Let c = r + -15. Suppose -16 = -n - c*n. Does 16 divide n?
True
Let s(l) = -6*l + 8 - 9*l - 16*l - 5*l. Let t be s(-6). Does 15 divide t/5 - (-1)/5?
True
Suppose -4*s + 4*h - 6*h + 988 = 0, -244 = -s + h. Suppose s = o + o. Suppose l = n - 4*l - o, -2*n + l + 255 = 0. Is 32 a factor of n?
True
Is 42 a factor of ((-7840)/15)/(-1)*3?
False
Is 7 a factor of 1*-3*(-4 - 4)?
False
Let h be (0 + 1/(-2))/((-4)/(-48)). Is 48/(-120)*(-3)/(h/(-80)) a multiple of 4?
True
Let i be 5 + 4 - 3/(-1). Let x be 0*(-2 + 6)/i. Let d = x + 4. Is d a multiple of 2?
True
Suppose 0*i = -x + i - 4, x = -4*i - 4. Let l(p) = p**2 + p + 8. Does 10 divide l(x)?
True
Let k(g) be the second derivative of g**5/20 - g**4/2 + 3*g**3 - 3*g**2/2 - 19*g. Does 36 divide 