(f) = -2*n(f) + r(f). Does 18 divide h(-3)?
False
Suppose 0 = 3*r + 3, 16*a - 2*r = 21*a - 28318. Does 8 divide a?
True
Let v be 153/18 + 2 + (-1)/2. Suppose -3*q = -v*q + 56. Suppose 3*x - 38 + q = -2*i, -10 = -2*x + 2*i. Is x a multiple of 2?
True
Suppose -4*d - 26 = -42. Let s be 24/96 + 11/d. Suppose 2*t - 141 = -s*t + 4*b, -4*t + 80 = 5*b. Does 5 divide t?
True
Suppose -4*a = -x + 23, 2*x = a - 2*a + 19. Suppose x*i = 14*i - 63. Is 21 a factor of i?
True
Suppose -46*u + 328800 = 29*u. Is u a multiple of 5?
False
Suppose -8*s = -5*s - 12096. Is s a multiple of 10?
False
Is (4/12)/((-30)/(-33930)) a multiple of 2?
False
Let m = -61865 + 88618. Is m a multiple of 11?
False
Is ((-1375)/(-125) + 262/4)/((-2)/(-196)) a multiple of 119?
True
Suppose 0 = 4*z - 47 + 27. Suppose 0 = -y + z*j + 103, -2*j + 32 = 2*y - 150. Let h = -45 + y. Is 24 a factor of h?
True
Let z(h) = -92 + 32 + 26*h + 35 - 80 - 90. Is z(15) a multiple of 15?
True
Suppose -44*m + 39*m = -10. Suppose -3*s - m*s + 315 = 0. Let n = -19 + s. Is 44 a factor of n?
True
Suppose 2000 + 1844 = -4*o. Let b = o + 1404. Is b a multiple of 9?
False
Let z be 190/(-2) - -3*16/24. Is 6 a factor of ((-837)/z)/(3*(-1)/(-2))?
True
Let z = -19 + -19. Let y = 34 + z. Is 10 a factor of 28 + ((-16)/(-12))/(y/6)?
False
Let m = 484 - 479. Suppose -5*x + 6662 = w, -214 = m*x - w - 6882. Does 19 divide x?
False
Is ((-20)/45)/(30/(-213705)) a multiple of 38?
False
Suppose 14*y = 24 + 60. Suppose 0 = -y*g + 971 + 631. Is 13 a factor of g?
False
Let t be (-11 - -4) + (-825)/(-1). Suppose t - 2638 = -28*a. Is a even?
False
Suppose -3*u = 2*j - 10901, -1744 = -j - u + 3706. Is 29 a factor of j?
False
Let o(q) = -6*q + 21. Let d(l) = -l - 1. Let k(c) = -12*d(c) - o(c). Let t be k(2). Does 13 divide 18/t - (1 + 392/(-6))?
True
Let v = -4041 + 4232. Is v a multiple of 3?
False
Let j(l) be the first derivative of -129*l**2/2 - 15*l - 8. Does 16 divide j(-2)?
False
Let s(d) = 2*d**2 + 90*d - 774. Is s(50) a multiple of 8?
False
Suppose -889 = -5*j + 2*m, -42*m + 43*m = 4*j - 713. Is j a multiple of 31?
False
Let l be ((-48)/84)/((-4)/(-14)). Let r be (64/(-4) - l)*(-6 - -4). Suppose 0 = 5*y - 853 + r. Does 33 divide y?
True
Suppose 3*m - 15 = 3*j - j, j = -5*m + 25. Suppose -3*b + 133 = 5*p, -7*p - 4*b + 42 = -5*p. Suppose 2*x - 1 = x - 2*l, 5*x + 4*l - p = j. Does 3 divide x?
True
Let w = 2776 - 2281. Is w a multiple of 3?
True
Suppose -4*l + 21 = 3*g, -3*l - 2*g + 1 = -14. Suppose -l*t - 2*v + 1334 = 0, 352 = 2*t - 4*v - 516. Is t a multiple of 26?
True
Suppose 121*d - 7 = 122*d. Let o(g) = -2*g**3 - 8*g**2 - g - 21. Is 35 a factor of o(d)?
True
Let y be (-1 + 6)/(2 - 1). Suppose -2*o = -y + 11. Is 238/(5 + o + 0) a multiple of 17?
True
Let r(f) = f**2 - f + 18. Let t(i) = 41 - 3*i - 13 + 0*i. Let s be t(12). Is r(s) a multiple of 18?
True
Suppose -42*c - 30436 = -5*p - 40*c, c = -6*p + 36513. Is p a multiple of 179?
True
Let q = 151 - 29. Let b = -114 + q. Suppose 3*m + 12 = 0, 0 = -6*x + b*x - 3*m - 480. Is x a multiple of 35?
False
Let p = 56 + -54. Suppose -p*m - 1 = -17. Suppose 2*g - m = 4*g, -2*s - 4*g = -190. Is 45 a factor of s?
False
Let f(q) be the first derivative of -q**2/2 + 18*q - 5. Let n be f(12). Suppose n*u - 10 - 680 = 0. Does 9 divide u?
False
Suppose 128*o - 1535895 = -27*o. Does 36 divide o?
False
Suppose 16*w + 69521 = 924737. Is 51 a factor of w?
False
Let n(q) = 21*q**2 - 1. Let k be n(-1). Is (k/6)/((-20)/(-450)) a multiple of 5?
True
Let m = 12887 + -4231. Does 16 divide m?
True
Suppose -2*b + 11 + 19 = 0. Suppose 3*m - b + 9 = 0. Suppose 0*i = -5*h - i + 504, h + m*i - 108 = 0. Does 20 divide h?
True
Is 47 a factor of -2*(13 + (-297)/18) - -45987?
False
Let a be (21/7 - (2 - 1)) + 1210. Suppose 1002 = 3*l - a. Is l a multiple of 9?
True
Suppose 2*p - 10 = 0, -3*c - p = 4*p + 44. Let v(t) = t**2 - 4*t + 20. Let m be v(9). Let f = c + m. Does 6 divide f?
True
Let l = 62 + -77. Is 23 a factor of 1960/l*3/(-2)?
False
Is -5 + 7625/4 + 15/12*-1 a multiple of 19?
True
Let g be 7 - (6 + 7 + -9). Suppose -s - 2*f = -0*s - 58, -g*s + 2*f + 166 = 0. Does 8 divide s?
True
Let u be -1 + (-7 + 9)/((-4)/(-62)). Let h be (24/9)/(-4) - u/(-18). Is h*(2*16)/(4/26) a multiple of 13?
True
Suppose 137*f - 1318989 = 257196. Is f a multiple of 15?
True
Does 8 divide 99/(-132)*(-3 - 553)?
False
Suppose -15*c + 11*c = 8, 2*c = -2*d + 11714. Does 93 divide d?
True
Let g = 141 + -132. Suppose 4*j - 4*z = 1304, g*j - 5*j - 1298 = z. Is j a multiple of 36?
True
Let l(a) = a**3 - 6*a**2 + 5*a - 10. Let i be l(6). Let d be i/(-90) - 626/18. Let z = d - -43. Is 2 a factor of z?
True
Let r(t) = -3*t - 8. Let b be r(23). Suppose -v = -3*n - 109, -2*n + 0 + 2 = 0. Let h = v + b. Does 6 divide h?
False
Let p = 295 - 308. Let i(y) = -44*y - 9. Does 6 divide i(p)?
False
Let v be (3/4)/(12/400). Suppose 4*g = -5*h + 74, g + 10*h - v = 12*h. Is 7 a factor of g?
True
Let t(w) = -9*w**2 - w + 1. Let i be t(1). Let a be (0 - 141/i)*3. Let z = a + -37. Does 7 divide z?
False
Is 3276/210*(-1 - -186) a multiple of 39?
True
Does 84 divide 3 - ((-248370)/(-425))/(2/(-25))?
True
Suppose -x - 3*g + 43 = -5025, 6*g - 6 = 0. Is x a multiple of 5?
True
Suppose 13*v = 9*v - 20, 2*z - 4777 = 5*v. Is 8 a factor of z?
True
Suppose -70*f + 67*f + 48 = 0. Suppose 0 = f*w - 12*w - 888. Is w a multiple of 6?
True
Let l(w) = -w**2 - 12*w + 23. Let k(x) = -x**3 + 5*x - 1. Let h be k(3). Let u be l(h). Suppose u*y + 510 = 16*y. Is y a multiple of 13?
False
Let p(g) = g**3 + 8*g**2 + 9*g + 9. Let q be p(-7). Is 4 - (q/(-1) - 14) a multiple of 2?
False
Does 53 divide (-5)/2*(14/(-322) + (-29241)/345)?
True
Suppose -192*y + 293400 - 65496 = 0. Does 2 divide y?
False
Does 20 divide (-350770)/(-35)*-4*(-15)/40?
False
Suppose -14*m - 11621 = -17*m - 83. Does 6 divide m?
True
Let f = -182 - -201. Suppose 10*b - f = 9*b - 2*m, 0 = m + 4. Is b a multiple of 3?
True
Suppose 90*w + 89*w - 1650917 = 0. Is 17 a factor of w?
False
Let p = 36 - 36. Suppose p = -4*b - 2*j + 122, 4*b + 49 = 5*j + 192. Let v = b + 52. Is 14 a factor of v?
True
Let c = -12680 + 33819. Does 16 divide c?
False
Let f = 8964 - -6892. Does 12 divide f?
False
Let o(m) be the third derivative of -m**5/30 - 29*m**4/24 - 37*m**3/6 + m**2 - 19. Does 5 divide o(-11)?
True
Let y(v) be the first derivative of -v**3/3 - 5*v**2/2 + 8*v + 3. Let j be y(-6). Suppose 0 = w + j*c - 30, w = 2*w + c - 31. Does 10 divide w?
False
Let l(k) = 239*k + 2818. Is l(7) a multiple of 19?
False
Let m be 2592/99 + (26/(-22) - -1). Suppose n - 5*r - 6 + m = 0, n + 3*r = 12. Suppose n = 11*w - 10*w - 4. Is w a multiple of 3?
False
Let o(s) = -s**2 + 14*s - 21. Let c be o(12). Suppose -62 = -c*m - 44. Let n(i) = i**3 - 4*i**2 - 2. Does 14 divide n(m)?
True
Let v = -26 - -30. Suppose v*w - 381 = -4*p - 125, -p = -4*w + 271. Let f = w - 25. Is f a multiple of 5?
False
Suppose 6*h = 4*m + 193724, 46*h = 43*h - 5*m + 96827. Is 38 a factor of h?
False
Suppose 0 = -2*q + l + 52021 + 15409, 0 = -4*q - l + 134842. Is q a multiple of 28?
True
Let w(v) = 136*v - 2189. Is w(49) a multiple of 25?
True
Let k be -1354*(-1)/16*-8. Let l = k + 1142. Is l a multiple of 7?
False
Is (-2 + -3 + 3)/(10820556/(-901710) - -12) a multiple of 29?
False
Let u(w) be the first derivative of 2*w**4 - 4*w**3/3 + w**2 - 8*w - 65. Is u(4) a multiple of 28?
True
Suppose -17*g + 2583 = -10*g. Suppose -9*t + g = -8*t. Let q = -226 + t. Is 16 a factor of q?
False
Let w(x) = 5035*x**3 - 8*x**2 - 4*x + 2. Let l be w(-1). Does 21 divide l/(-8) + (-1 - (-11)/8)?
True
Suppose 5*z - 3*o - 10 = z, 2*z + 3*o - 14 = 0. Let v(a) = z + 8*a + 6*a**2 - 18*a - 2. Is v(5) a multiple of 17?
True
Suppose 2*b = -3*d + 4488 + 10014, 3*d - 6 = 0. Does 28 divide b?
False
Let r be -6 - -228*48/(-18). Let u = 1255 + r. Does 86 divide u?
False
Let g(u) be the second derivative of u**4/6 - 20*u**3/3 + 13*u**2 + 26*u. Let k be g(20). Suppose -k - 414 = -11*v. Is 10 a factor of v?
True
Let r = 84 + -94. Is 52 a factor of (12384/120)/((-2)/r)?
False
Suppose -3*r + 22299 = 3*w, 91*r - 88*r = 2*w - 14891. Is w a multiple of 42?
False
Let l(h) = h**3 - 15*h**2 + 16*h + 14. Let f be 1*4/(-20)*-10. Let o(c) = c**3 + 2*c**2 - 2. Let k be o(f). Is 11 a factor of l(k)?
False
Let 