iple of 18?
True
Let o be 1/(2*3/402). Suppose -4*k + o + 9 = 0. Let t = -3 + k. Is 8 a factor of t?
True
Let j(b) be the second derivative of b**5/60 - b**4/6 - 5*b**3/6 + 5*b**2/2 + 6*b. Let r(l) be the first derivative of j(l). Is 9 a factor of r(-4)?
True
Let t(a) = 15*a - 9. Let y = -18 - -21. Does 18 divide t(y)?
True
Let k be 3 + (12/(-3))/(-4). Let d be (-4)/(k/(-2)) + 46. Let p = d + -20. Is 14 a factor of p?
True
Let z(n) = 4*n**2 - 3*n + 11. Does 12 divide z(25)?
True
Let f be (-3 - -2)*(-6 - -6). Let c(y) = y + 5. Let n be c(f). Suppose n*o + 259 - 844 = 0. Does 31 divide o?
False
Let y(i) = -i**2 + 13*i + 9. Suppose 3*c + 3*f - 17 = 4, 2*c - 5*f = 35. Is 3 a factor of y(c)?
True
Suppose 1197 = 3*n + 3*b - 4*b, 4*b - 1612 = -4*n. Does 25 divide n?
True
Suppose 0*n + 671 = 3*p - 4*n, 928 = 4*p + 3*n. Is p a multiple of 4?
False
Suppose 2*o - 41*n = -43*n + 166, -2*n + 409 = 5*o. Is 2 a factor of o?
False
Let h(b) = b**2 - 6*b + 8. Suppose 3 = y - 2. Suppose -y*o + 3*f + 53 = 0, -3*o - 2*f + 14 = -14. Is 30 a factor of h(o)?
False
Let u be (-2)/(-6) - (-58)/12*2. Does 25 divide 2421/45 - (18/u + -2)?
False
Let j = 34 + -26. Suppose -j*x = -6*x - 6. Is x a multiple of 3?
True
Suppose -4*p + 292 = -2*p. Suppose 0*n - x = 5*n + p, -n - x = 26. Let l = -11 - n. Is 9 a factor of l?
False
Suppose -33 = -3*d - 6. Let v = d + 11. Is 10 a factor of v?
True
Suppose 14*p - 11*p = 0. Does 8 divide (816/(-12))/(-1 + p + -1)?
False
Does 33 divide ((-12531)/(-21) - 14/(-49)) + 0?
False
Suppose -u = 2*b - 1440, u = b - 430 - 293. Does 7 divide b?
True
Suppose -11*q - 1419 = -13*q - 3*i, -2*i - 1404 = -2*q. Is q a multiple of 15?
True
Let m(t) = 3*t - 14. Let w be m(6). Suppose w*q = q - 3, -3*q = -h + 53. Is 10 a factor of h?
True
Let h = -84 - -329. Does 14 divide h?
False
Suppose -980 = -8*v + 36. Does 12 divide v?
False
Suppose 4*s + 4 = -4. Let m(x) = 2*x - 4. Let p be m(s). Does 26 divide 40 + 1/((-2)/p)?
False
Let t = -208 - -214. Is 6 a factor of t?
True
Suppose -3*i - 2244 = c, 5*i - 5*c + 2992 = i. Is ((-6)/2)/(33/i) a multiple of 6?
False
Let m(p) = p + 21. Let s be m(-8). Suppose -s*h + 420 = -6*h. Is 6 a factor of h?
True
Is 6 a factor of -2 - 3/(-9) - 1336/(-6)?
False
Let w(m) = m**2 + 3*m - 4. Does 18 divide w(-17)?
True
Does 3 divide (-2)/(-14) - 1697920/(-1568)?
True
Let q = -1145 - -4088. Is q a multiple of 109?
True
Let l = 2050 - 799. Is l a multiple of 9?
True
Suppose 2*j - 6336 = -4*j. Is (3/4)/(11/j) a multiple of 12?
True
Suppose -5*d - 79 = -809. Is 46 a factor of d?
False
Let n be ((-3)/(-2) - 1)*86. Let u(l) = l**3 + 15*l**2 + 24*l - 13. Let y be u(-13). Let t = n + y. Is t a multiple of 14?
True
Suppose -5*y + 640 = -5*a, -8 = a - 3*a. Is y a multiple of 12?
True
Suppose -2*l - 2 = -0. Let o be (436/8 + l)*-2. Let c = -33 - o. Is c a multiple of 18?
False
Suppose -2*f - 11 - 51 = 0. Let h be 7/21 + (-251)/(-3) + 0. Let y = f + h. Is 14 a factor of y?
False
Let b(l) = -2*l**3 + l + 1. Let p be b(-1). Let h(m) = -2 - p - 5*m + 3. Is h(-1) a multiple of 4?
True
Let g(k) = -114*k - 27. Does 7 divide g(-4)?
False
Let j(o) = o**2 - 8*o + 19. Let p be j(3). Let a = 27 - p. Is a a multiple of 13?
False
Suppose -3*q - 354 = -6*c, -4*c + 5*q = -99 - 149. Is 29 a factor of c?
False
Let i(v) = v**2 + 80*v + 559. Is 5 a factor of i(0)?
False
Suppose -20 = -5*j - 2*a, -2*a = -7*j + 2*j + 20. Suppose -3*p + 4*x = 33, 3*p - 5*x + 29 = -j. Let b = 15 + p. Is b a multiple of 2?
True
Suppose 4*t + 5*d - 219 = 0, 2*t + 2*d = d + 105. Suppose -6*a = -t - 51. Is 3 a factor of a?
False
Suppose 3 = -5*r + 738. Suppose -x + 5*j = 2*j - r, 5*j + 149 = x. Is 18 a factor of x?
True
Does 18 divide -3 + 2 + 3 - (-3860)/5?
True
Let l(w) = -2*w + 6. Let m be l(-2). Let k = -5 + m. Suppose -184 - 96 = -k*v. Is 14 a factor of v?
True
Let x be -5*(-1 - (-3)/5). Suppose -4*t - 65 = -3*h - 21, -16 = -x*h - 4*t. Let a = 6 + h. Does 18 divide a?
True
Suppose -3*j = -4*j + 4*t - 8, 0 = 3*j - 5*t + 3. Suppose -8*c + 4*b + 76 = -j*c, -25 = 5*b. Is c a multiple of 5?
False
Is 46 a factor of (260/(-8))/1*68/(-5)?
False
Let k be (-3 + 0)*7/(42/(-4)). Suppose -3*m + 3*n = -m - 117, k*m + n - 97 = 0. Is 19 a factor of m?
False
Suppose 0 = m + 26 - 31. Suppose m*u - 682 = 203. Does 25 divide u?
False
Suppose 0 = -f - 5*l + 463, -205*f + 912 = -203*f - 4*l. Is 22 a factor of f?
False
Is 12 a factor of (-6)/1 - (17 - (670 - 1))?
False
Let h(o) = 2*o**2 - 2*o - 6. Let q be h(-2). Does 12 divide 54*(-9)/q*-3?
False
Suppose 0 = 3*c + 35 - 311. Is c a multiple of 12?
False
Suppose 735 + 445 = 5*p - 2*i, -4*p = i - 944. Is 59 a factor of p?
True
Let j(v) be the second derivative of v**4/12 + 7*v**3/6 - 13*v**2/2 + 9*v. Is 4 a factor of j(-11)?
False
Let h(y) = -2*y**3 + 4*y**2 + 9*y - 21. Is 32 a factor of h(-6)?
False
Let l(f) = -3*f**3 + 20*f**2 + 6*f + 22. Let g(w) = w**3 - w**2 - w. Let p(x) = -4*g(x) - l(x). Is 3 a factor of p(-16)?
False
Let c = 72 - 40. Suppose -2*d + 0*d + 8 = t, 3*t - 2*d - c = 0. Let v = 5 + t. Is v a multiple of 15?
True
Suppose u = -5*i - 16, -4*i = 5*u - 6*i - 55. Let v(j) = 8*j - 21. Is 38 a factor of v(u)?
False
Suppose 3*w - 7*w - 5504 = -4*i, i - 1386 = -w. Suppose -i = -5*n - 4*m, 3 = 2*m - 5. Does 39 divide n?
True
Let a be (-2)/5 - (-264)/60. Suppose 0 = 3*r - 3*m - 135, -3*r = a*m - 176 + 55. Is r a multiple of 7?
False
Let s be 25/3 + (-1)/3. Let j = s - 10. Is 26 a factor of j/6 - 1014/(-18)?
False
Let b = -410 - -696. Is b a multiple of 5?
False
Is (6 + -7 - -103) + 3 a multiple of 21?
True
Let m be (-5920)/(-48)*(-1)/(2/(-15)). Suppose 0 = -4*s + y + 989, -3*s + y + m = 183. Is s a multiple of 23?
False
Let c be (8 + 2 + -5)*7/5. Suppose c*q - 12*q = -180. Is q a multiple of 9?
True
Let r be (-627)/(-9) + 3/9. Suppose -2*l + 2*n = -2*n - r, -5*n = -4*l + 140. Does 4 divide l?
False
Let d = 3806 + -328. Is d a multiple of 74?
True
Suppose 0*l + 2*i + 956 = 5*l, 9 = -3*i. Is l a multiple of 7?
False
Let u = -10 + 19. Suppose 4*v - 7 = u. Let w(q) = 9*q - 9. Does 10 divide w(v)?
False
Let t = 19 - 16. Suppose 5*o = -5, -2*o = -t*m - 0*o + 38. Is 18/24 - (-711)/m a multiple of 20?
True
Suppose -5*y = -5*a - 5, 5*a - 2*a + 3*y + 15 = 0. Let o be a*410/(-45)*3. Let g = o + -55. Does 15 divide g?
False
Let h be (2/3)/((-8)/(-636)). Suppose 0 = -2*a - 3*g - h, 4*a + 3*g = -96 - 19. Let z = a - -132. Is z a multiple of 21?
False
Let q(h) = 148*h**2 - 2*h + 41. Does 76 divide q(5)?
False
Suppose 2*l + 6*l + 168 = 0. Does 3 divide (-4)/14 + (-132)/l?
True
Let i(l) = -6*l + 1. Let g be (-3)/2*32/(-12). Let u(a) = a**3 - 4*a**2 - 2*a + 6. Let h be u(g). Does 3 divide i(h)?
False
Let i(o) = o + 13. Let b be i(-9). Let q be 10/1*b/8. Let m(k) = k**2 + k + 6. Is m(q) a multiple of 12?
True
Let v = 239 + -144. Is 8 a factor of v?
False
Suppose -4*w = -0*u - 3*u - 23, -4*w - 2*u + 18 = 0. Suppose -w*s + 33 - 8 = 0. Suppose 2*n - 132 = -n + 3*f, f = -s*n + 208. Does 14 divide n?
True
Let g(a) be the second derivative of -a**4/12 - 7*a**3/3 - 13*a**2/2 - 13*a. Does 20 divide g(-11)?
True
Suppose 2*g - 9 = -21. Let j(n) = -n**3 - 4*n**2 + 11*n + 1. Is j(g) a multiple of 4?
False
Let d be (1/(-3))/((-4)/(-60)). Let h be (4 + d)*(0 - 0). Suppose h*f - f = -47. Is 12 a factor of f?
False
Does 9 divide (42/(-7))/((-24)/9540)?
True
Let w(l) = 35*l - 20. Let v(s) = s - 1. Let t(y) = -2*v(y) + w(y). Does 27 divide t(3)?
True
Suppose 5*g = -h + 172, 4*g + 688 = -24*h + 28*h. Is 3 a factor of h?
False
Let u(l) = l**2 - l + 2. Let m be u(2). Let s be -2*2/m + -17. Let t = -5 - s. Is 7 a factor of t?
False
Let j be 6/(-2)*(-6)/(-9)*-1. Does 14 divide -6*j/(12/(-98))?
True
Let z be 4/(-14) - 2960/(-70). Let r be (-112)/z*(-66)/8. Suppose -52 = -5*l + 4*g, -l + r = 5*g - 0*g. Is 12 a factor of l?
True
Suppose -13*t + 42 = 3. Suppose -93 = -t*b + 9. Does 12 divide b?
False
Suppose 4 = -2*t - 0. Let k(n) = 3*n**2 - 27*n - 9. Let a(p) = -p**2 + 13*p + 4. Let d(m) = t*k(m) - 5*a(m). Is d(-9) a multiple of 16?
True
Suppose 55*x = 56*x - 131. Is x a multiple of 4?
False
Suppose 0 - 5 = 5*v, 4*y = 2*v + 6594. Is y a multiple of 25?
False
Let v = -299 - -1034. Suppose -y - 6*y + v = 0. Is y a multiple of 20?
False
Let d(q) = -q**3 - 3*q**2 + 8*q - 2. Suppose 0 = -5*i - 12