tiple of 7?
False
Suppose 3618 = 3*h - 3*b, 0*b + 6040 = 5*h + 5*b. Is 9 a factor of h?
False
Let j(n) = 11*n - 13. Let k be 49/7 + (0 - 3). Let c(h) = 2*h - 2. Let t be c(k). Does 15 divide j(t)?
False
Let m = 424 + -84. Suppose -6*l = -2*b - 11*l + 5, 2*b - 1 = -l. Suppose 2*w + 2*w - m = b. Is w a multiple of 30?
False
Let h(q) = -5*q**3 - 5*q**2 - 10*q - 10. Is h(-4) a multiple of 5?
True
Let k(l) = 2*l - 1. Let i be k(3). Suppose -2 = i*j - 3*y - 537, 0 = -j + 4*y + 124. Is 26 a factor of j?
True
Let z(m) = 2*m + 2*m**2 + m**3 + 6*m**2 + 5*m. Let x be z(-7). Suppose x = -2*y + 61 + 13. Is y a multiple of 19?
False
Let m be (-55)/25 + (-2)/(-10). Let r(c) = 6*c**3 - 5*c - 7. Let w(x) = -19*x**3 + 14*x + 20. Let k(s) = 17*r(s) + 6*w(s). Does 33 divide k(m)?
True
Suppose 0 = 4*s - 3*a - 73 - 166, 0 = -s + 4*a + 76. Is 8 a factor of s?
True
Is 120/14*-161*2/(-4) a multiple of 6?
True
Suppose 14 - 8 = 3*g. Let c = 41 + -37. Suppose -4*p - p - c*h = -235, -3*p + 139 = g*h. Is 13 a factor of p?
False
Let g = 5981 - 3497. Does 18 divide g?
True
Let o(g) = -4*g**3 + 2*g**2 - 4. Let s = 0 - 2. Let d be o(s). Suppose -2*x + d = -0. Is x a multiple of 6?
True
Let q(k) be the third derivative of k**5/60 - k**3/6 - 5*k**2. Let j(r) = -10*r**2 - 4*r - 6. Let g(p) = -j(p) + 2*q(p). Does 22 divide g(-2)?
True
Let o(i) = -8*i + 3. Does 2 divide o(-9)?
False
Suppose -4*q = -2*b - 2, b - 4 = 1. Let h(a) = a**2 + 16*a + 17. Let p be h(-15). Suppose 5*z - 4*s - 88 = -26, p*z - 34 = -q*s. Is z a multiple of 14?
True
Suppose 14545 = 22*t - 8555. Is 42 a factor of t?
True
Let k = -1976 + 2816. Is 24 a factor of k?
True
Suppose p + 4 = -3*i, 0*i = 4*i + 12. Let h(d) = -3*d + 9. Let j be h(p). Does 15 divide (-14 + -1)*(3 + j)?
True
Let w(m) = -374*m + 3. Is w(-1) a multiple of 8?
False
Let b(o) be the third derivative of o**5/60 + o**4/8 - o**3/3 + o**2. Let p be b(-3). Does 3 divide p + 5 + 4/2?
False
Let h = 207 + -178. Suppose 39*o = h*o + 1100. Is o a multiple of 11?
True
Let i(t) = 6 + 7*t**2 - 3*t - 3 + 5*t. Is i(-2) a multiple of 9?
True
Let u = 4488 + -2817. Does 41 divide u?
False
Suppose -4*s = -5*s + 8. Let o = -5 + s. Suppose -115 = -o*d - 37. Is 8 a factor of d?
False
Let m = 41 - 34. Let q(x) = -x**3 + 6*x**2 + 10*x - 7. Let i be q(m). Does 3 divide (-6)/i*(-3 + -4)?
True
Let d(c) = -c**3 + 5*c**2 + 8*c - 7. Let h be d(6). Suppose h*f - 4*i - 1605 = 0, 3*f - 2*i + 4*i = 963. Does 9 divide f/6 + 3/6?
True
Suppose 0 = 4*b - 2*d - 7 + 27, 0 = -4*b - d - 14. Let a be (4 - 1)*b/(-3). Let c(h) = 7*h - 4. Is c(a) a multiple of 8?
True
Suppose 0 = -20*a + 24*a + 120. Does 2 divide 1/3 - a/54*3?
True
Let y(t) = -t**3 - 12*t**2 + 6*t + 19. Let x be y(-14). Suppose 2*p - 228 = -2*d, p + 2*p - 2*d = x. Is 37 a factor of p?
True
Let w = -4 + 7. Suppose -7*j = -w*j. Suppose -u + j*u + 6 = 0. Is u a multiple of 6?
True
Let k = 39 - 59. Let p = -20 - k. Suppose p*a + 4*a - 17 = -3*h, a + 5*h - 17 = 0. Is a even?
True
Let z(g) = 2*g**2 + 18*g - 40. Let l be z(-14). Let x = l + -52. Is 12 a factor of x?
True
Let g(a) = a**3 - 6*a**2 + a - 1. Let b be g(6). Let k be 1/((-3)/(-9) + 0). Suppose -b*x + 3*t + 104 = -93, 124 = k*x + 4*t. Is x a multiple of 20?
True
Suppose -t + 5*g - 3*g = -34, 0 = -3*t + 2*g + 98. Suppose 5*k = k + t. Is 5 a factor of (55/22)/(2/k)?
True
Let g = -321 - -488. Let w = g + -40. Is 18 a factor of w?
False
Is 7 a factor of 804/8*(6 + 12/(-9))?
True
Let z = -107 + -73. Let w = -124 - z. Is 9 a factor of w?
False
Let s be (-2)/4 - (-435)/10. Suppose -8 = l - s. Does 5 divide l?
True
Let l(u) = -5*u**3 - 16*u**2 - 10*u - 1. Let p(x) = -4*x**3 - 15*x**2 - 10*x - 3. Let y(o) = 3*l(o) - 4*p(o). Let i = 3 + -14. Is 10 a factor of y(i)?
True
Suppose 0 = -4*u - 11 + 3, -5*u - 61 = -y. Is 8 a factor of y?
False
Let v = -4 + 6. Suppose -4*t + 174 = 2*f, -106 = -2*t - v*f - 16. Let c = t + -29. Does 13 divide c?
True
Let z be (51/(-4))/(-3) - (-1)/(-4). Suppose -b - 3*s + 86 = 2*s, -3*b = -z*s - 296. Is 12 a factor of b?
True
Is 111 a factor of 6/2 + 1885 + (-3)/3?
True
Suppose 154284 = 17*x + 52*x. Does 26 divide x?
True
Let y(l) = -188*l + 12. Is y(-1) a multiple of 20?
True
Suppose 41*n + 34*n = 257400. Is 24 a factor of n?
True
Suppose 96 = 34*n - 2794. Does 2 divide n?
False
Suppose -c - 2*c = -6. Suppose -c*i - 6 = 8. Let t = i + 33. Does 26 divide t?
True
Let q = 29 + -25. Suppose -7*r - 20 = -3*p - 3*r, -2*r - 10 = q*p. Suppose p = 4*y - 3*y - 4*n - 34, -2*y = n - 32. Does 6 divide y?
True
Let j(b) = -b**3 + 30*b**2 - 41*b + 15. Is 13 a factor of j(27)?
False
Let n = -297 + 987. Does 10 divide n?
True
Suppose -2*k - 20 = y - 609, 0 = -5*k + 3*y + 1478. Is k a multiple of 59?
True
Let k = -33 - -76. Suppose -469 = -8*p + k. Does 16 divide p?
True
Let d(o) = o + 24. Let t be d(-10). Suppose 0 = -t*r + 13*r + 40. Does 10 divide r?
True
Let p(c) = 10*c**2 - 4*c + c**2 - 13*c + 12*c + 2. Does 7 divide p(-2)?
True
Suppose 702 = 3*n - h, 0 = -5*h + 4*h. Does 78 divide n?
True
Let n be (20/(-8))/((-2)/4). Suppose 0 = -n*w + 2*d + 211, -4*w = -0*w + d - 161. Is 11 a factor of w?
False
Let x = 20 - 2. Suppose 6*y - x = 3*y. Suppose q - 20 = y. Does 26 divide q?
True
Let c = 5611 + -3913. Does 14 divide c?
False
Let h(k) = -k**3 - 3*k**2 - 4*k + 17. Let s = 50 + -54. Is 49 a factor of h(s)?
True
Suppose -25 = -c - 5*m, -m = -c - 1 - 4. Suppose c = -37*j + 35*j + 32. Is j a multiple of 4?
True
Let f = -31 + 35. Suppose c - 2 - 2 = 0, -t = -f*c - 26. Does 21 divide t?
True
Let j(i) = -i**3 - 10*i**2 + 28*i + 320. Does 40 divide j(-10)?
True
Let k(s) = s**2 + s + 11. Let r(v) = 22. Let x(u) = 9. Let a(q) = 5*r(q) - 12*x(q). Let b(f) = -11*a(f) + 2*k(f). Is b(-5) a multiple of 10?
True
Suppose -u = -4*o - 106, 3*u = -0*u + 5*o + 325. Is 21 a factor of u?
False
Is 8 a factor of 1 + 1540 + 0/(0 + -6)?
False
Let u(d) be the third derivative of d**8/10080 + d**7/5040 - d**5/15 - 5*d**2. Let m(f) be the third derivative of u(f). Is m(2) a multiple of 10?
True
Suppose -3*y = 6, 2*a + 5*y + 226 = 3768. Does 48 divide a?
True
Let t be -15 + 67 + -4 + 0. Suppose -z = z - t. Does 8 divide z?
True
Let r = 87 + -58. Suppose -2*j = r + 39. Let o = 21 - j. Does 15 divide o?
False
Let b(w) = w**3 - 4*w**2 + 2*w - 4. Let c be b(4). Suppose -c*a - 9 = 19. Is (-9)/(-1 + a/(-10)) a multiple of 10?
True
Let g be (-91)/(-39) - (-4)/6. Suppose g*u + 161 = -0*u + 4*i, -4*u = -5*i + 215. Let k = -31 - u. Does 8 divide k?
True
Let z = -47 - -308. Is 75 a factor of z?
False
Suppose -3*x + 3 = -0. Let d(i) be the third derivative of 101*i**4/24 + i**3/3 + i**2. Is 41 a factor of d(x)?
False
Let r(v) = -2*v + 19. Let m be r(8). Suppose m*j - 144 = -3*j. Is j a multiple of 8?
True
Let r(u) = -u**3 - u**2 + u. Let j be r(-1). Let w be j + (4 - (-3)/3). Let q(n) = 18*n - 8. Is 22 a factor of q(w)?
False
Suppose -5*b + 7928 = -0*b + 2*o, 2*o = 8. Does 72 divide b?
True
Let f(w) = -w**2 + 22*w - 72. Is 35 a factor of f(12)?
False
Let w be (-186)/(-3) - (4 + -1). Suppose -56 = 4*o - 3*p, 7*o - p = 2*o - w. Let q = o + 28. Is q a multiple of 17?
True
Suppose -d = 4*r - 0*d - 274, -2*r + 140 = -d. Let t = -41 + r. Suppose -h - 3 = -5*z, -2*z + 38 + t = 5*h. Does 8 divide h?
False
Let w be (14 - 25)*(0 + -1). Let p = w + -4. Does 2 divide p?
False
Let l(b) = b - 10. Let u be l(10). Let s(t) = t**3 + 3*t**2 + 3*t + 210. Does 21 divide s(u)?
True
Let n be (-3 + 5)/((-573)/189 + 3). Let t = -48 - n. Does 15 divide t?
True
Suppose 10*c = 3*c + 168. Let o = 36 - c. Is o even?
True
Let v be (0 + -32)*(12/(-16))/1. Suppose -q = b - v, q - 5*b = -q + 20. Is 8 a factor of q?
False
Let w be 3 + (-4 + 2 - -4). Suppose 0*b - 40 = -w*b. Let g(y) = y**2 - 4*y + 1. Is 11 a factor of g(b)?
True
Does 38 divide 418/1 - 0/(-29)?
True
Let p be (-105)/10*2 - -1. Let g = 4 - p. Is g a multiple of 4?
True
Let k = 91 + 1832. Does 23 divide k?
False
Let d(j) = -11 + 4*j - 10 + 24 + j. Suppose -2 = o - 5. Is d(o) a multiple of 10?
False
Let f(g) = -4*g + 87. Is 7 a factor of f(6)?
True
Let o = -86 - -21. Let u = o + 254. Is 27 a factor of u?
True
Let k(w) = 25*w**3 - 5*w**2 + 10*w - 4. Is k(2) a multiple of 49?
True
Let b(y) = 328*y - 181. Is b(9) a multiple of 7?
False
Suppose -3*v + 20 = -k, -2*v + v + 4 = -3*k. Suppo