 a factor of f(15)?
False
Let c = 115 - 45. Suppose 5*d + h - 306 = 0, -c = -d - 0*h + 2*h. Suppose 8 = -3*n + d. Is n a multiple of 5?
False
Let m be 4/(-8) - (-1694)/4. Suppose 0 = -5*g - 123 + m. Suppose -5*x + g = -3*x. Does 30 divide x?
True
Let d be (-2)/(-4) + 1218/12. Let r(n) = -2*n**3 - 2*n**2 + n + 7. Let b be r(3). Let i = d + b. Is 8 a factor of i?
True
Let n(m) = m**3 - 5*m**2 + 5*m - 12. Let v(t) = t**2 + 4*t - 55. Let c be v(6). Does 13 divide n(c)?
True
Suppose 55*f = 44*f + 9724. Is 17 a factor of f?
True
Let k = -5 + 2. Let b be k/(-2) - 2/(-4). Suppose -b*q = -25 + 1. Does 6 divide q?
True
Let m(k) = 4*k - 14. Suppose 30 = -4*c - 2*f, -3*c - 6 = -2*f + 6. Let d be (-84)/c*2/4. Is m(d) a multiple of 14?
True
Let p(v) = 3*v**3 + 8*v**2 + 8. Let q(l) = 5*l**3 + 17*l**2 - l + 16. Let x(j) = 7*p(j) - 4*q(j). Let k = 30 + -18. Is 20 a factor of x(k)?
True
Let h(z) be the second derivative of z**6/360 - 3*z**5/40 + 5*z**4/24 + z**3/2 - 5*z. Let a(s) be the second derivative of h(s). Does 8 divide a(10)?
False
Let k(b) = -b**2 + b + 20. Let t(p) = p**2 - p - 20. Let y(v) = -3*k(v) - 4*t(v). Is y(0) a multiple of 17?
False
Suppose -26*i + 13 = -13. Let g be 2/2 + -3 + 4. Is (g - (-75)/3)/i a multiple of 8?
False
Suppose 105 = -4*h + 3*k, -h = -0*h - k + 26. Let c = 43 + h. Is c a multiple of 11?
False
Let a(d) = 3*d + 6. Let w be a(-4). Let z = w - -11. Suppose 4*k - 71 = -z*j + 61, -k - 142 = -5*j. Is 7 a factor of j?
True
Suppose -826 = -16*s + 38. Does 33 divide s?
False
Is 4 a factor of (1 - 1570/(-25)) + 8/40?
True
Let v(f) be the first derivative of 8*f**3/3 + f**2 - 16*f + 36. Is v(-4) a multiple of 26?
True
Is (-20)/24*-6 - -1 even?
True
Let k(t) = -282*t + 162. Is 12 a factor of k(-3)?
True
Let b be 4 + (-1)/(5/(-135)). Let k = -27 + b. Suppose -z + u = -k*z + 93, 125 = 4*z + u. Is z a multiple of 7?
False
Let r(h) = -9*h. Let j be r(-1). Let p(k) = -k + 12. Let q be p(j). Suppose 0 = q*u - 7*u + 156. Is 16 a factor of u?
False
Let w(m) = -8*m - 181. Let t be w(-23). Let y be 2/(-2) - 94/(-2). Suppose -t*o + o = -y. Is o a multiple of 17?
False
Let g be ((-9)/12)/((-6)/56). Let b(s) = 4*s - 17. Is 9 a factor of b(g)?
False
Let h(g) = g + 12. Let q be h(0). Is (q - 8)*(-15)/(-4) a multiple of 6?
False
Suppose -2 = -i + 1. Suppose 2*w = f - 412, i*f - 776 - 492 = -2*w. Suppose -20 = -0*l + 4*l, -5*r = -2*l - f. Is r a multiple of 23?
False
Let i(g) = -11*g - 1. Let z = 5 - 6. Let d be i(z). Suppose k - 2*k + d = -p, -14 = -3*k - 5*p. Is 4 a factor of k?
True
Let p be (-3 - 0) + (-150)/(-40)*4. Suppose -p*o + 22*o - 990 = 0. Is 11 a factor of o?
True
Let m = 407 + -248. Let h = m - 60. Is h a multiple of 33?
True
Let c(h) = -h**3 + 16*h**2 + 4*h - 52. Let k(o) = o**3 - 16*o**2 - 3*o + 52. Let r(x) = 4*c(x) + 3*k(x). Is r(16) a multiple of 20?
True
Suppose 2*o = 2*l + 52, l + 24 = 2*o - 23. Let g be 9 - 0 - 6 - (0 - 0). Let h = o - g. Is h a multiple of 9?
True
Let n = 12 - 8. Suppose -112 = -n*i + 32. Is 6 a factor of i?
True
Suppose 45 = n + 8*n. Suppose -n*q + 12*q = 343. Does 7 divide q?
True
Suppose -10*m = -13 - 7. Suppose -35 = -m*j + 75. Is 8 a factor of j?
False
Suppose 3*o - o = -8, 5*o + 23 = b. Suppose -5*w = b*m - 496, 4*w - 2*m = 2*w + 192. Is 25 a factor of w?
False
Suppose -12 = r + r. Let v be 5*(-7)/(35/r). Suppose -2*x + v*x - 56 = 0. Is x a multiple of 9?
False
Let o = -47 - -45. Is -4 + o + 2 - -13 a multiple of 2?
False
Let k = -823 - -2230. Is k a multiple of 7?
True
Suppose -34 = -5*n + l + 2*l, -2*l - 31 = -5*n. Suppose -6 = n*h - 1. Is 10 a factor of h + 0 - -1*11?
True
Is (-219465)/(-765) + 2/(-17)*-1 a multiple of 9?
False
Is 84 a factor of (57/(-5))/(32/(-4480))?
True
Let z(r) = -8*r**2 + 10*r**2 + 8*r**2 - 13 + 4*r + r**3. Does 7 divide z(-9)?
False
Suppose 23*j = 22*j + 1, 0 = 4*v - 5*j - 323. Does 2 divide v?
True
Let x be 16/12*-3 + 6. Is 23 a factor of -141*x/9*-3?
False
Let w(t) be the second derivative of 7*t**3/2 - t**2 + 14*t. Does 4 divide w(2)?
True
Suppose 0 = -3*h + 4*g + 1410, -3*g + 951 = 2*h - 2*g. Let j = h - 206. Is j a multiple of 10?
False
Suppose 0*t + 2210 = 26*t. Is 34 a factor of t?
False
Let u be (-16)/(-3) - 12/(-18). Is ((-14)/u - -1)/(2/(-99)) a multiple of 11?
True
Let x(j) = 9*j + 13. Let y be x(4). Let v = -17 + y. Let q = v + 68. Is q a multiple of 20?
True
Suppose -3*o - 18 = -6*o. Suppose o*u = 2*u + 76. Does 15 divide u?
False
Let l be 11313/45 + 36/(-15) + 3. Suppose 5*x + 4*k = l + 1, 0 = 3*x - k - 162. Does 22 divide x?
False
Suppose 5*w = -374 + 3494. Is 39 a factor of w?
True
Suppose 0 = 74*p - 75*p, -400 = -h - 2*p. Is h a multiple of 10?
True
Let t(s) = -s**3 + 2*s**2 + 3*s + 2. Let p(r) = -r**2 + 6*r + 18. Let x be p(8). Suppose 5*w - 10 = x*z - 24, 0 = -2*w - 8. Does 18 divide t(z)?
False
Is 57 a factor of 3/(-5) + 73513/55?
False
Let z(h) = -h**3 + 2*h**2 - h. Let s = -11 - -13. Let m be z(s). Let p = 9 + m. Does 6 divide p?
False
Let s(k) = -k**3 + 2*k**2 + 5*k + 1638. Is s(0) a multiple of 18?
True
Suppose 2*v + 2*u - 462 = -70, 5*v = -2*u + 968. Is v a multiple of 11?
False
Suppose -l = -3*l + 8. Suppose -3*b = -4*v - 0*v + 11, l*v + 4*b = 32. Suppose 5*d - 2*i - 48 = 98, v*i = d - 43. Is 12 a factor of d?
False
Suppose -7*h + 24 = -3*h. Suppose -h*d + 321 = -9*d. Let k = 152 + d. Is 10 a factor of k?
False
Suppose 0 = 27*b - 31*b + 8. Suppose 4*m = 2*m - 2. Is b/2*30 - m a multiple of 18?
False
Let d(w) = 4*w**2 - w - 2. Let j(a) be the second derivative of a**4/12 - 2*a**2 - 2*a. Let r be j(3). Is 13 a factor of d(r)?
False
Suppose 5*g = 2*c - 1185, -3*c = 2*g + 3*g - 1840. Let s = c + -365. Does 12 divide s?
True
Suppose 11*z - 40 = 9*z. Is 4 a factor of z?
True
Let p = -34 - -34. Suppose -5*h + a + 243 = p, -3*h + a = -a - 150. Does 12 divide h?
True
Suppose 19*z - 115 = 797. Is z a multiple of 48?
True
Suppose 2*u - 482 = -5*n + 5614, -3*u = 6. Does 8 divide n?
False
Let f be 0 - (258/3 + 4). Suppose -64 = b - 13. Let o = b - f. Does 13 divide o?
True
Suppose -2*m = 9 - 27. Does 7 divide ((-294)/4)/(m/(-12))?
True
Let h(r) = 215*r**2 - 2*r + 1. Let v be h(1). Suppose 2*n - v = -3*n - 2*z, 0 = 3*n + 4*z - 134. Is n a multiple of 21?
True
Suppose -139 = 2*r + 3*r + k, 2*r + k + 55 = 0. Let v be 34/(-4) - (-42)/r. Does 10 divide v/(-20)*356/2?
False
Is 10 a factor of (-7)/((-42)/(-40))*(-137 - 1)?
True
Let u be (-264)/(-26) + (-18)/117. Suppose 10 + u = s. Is 10 a factor of s?
True
Let i(s) = -s**2 - 11*s + 7. Let u = -24 + 14. Let h be i(u). Suppose -h = x - 47. Does 30 divide x?
True
Let v = 119 - -355. Does 43 divide v/3 + 0 - -3?
False
Suppose -3*q - 64 = 5*c, -6*q = -3*q + 3*c + 72. Let j = q + 97. Is j a multiple of 21?
False
Let u(o) = 2*o**3 - 74*o**2 - 9*o - 110. Does 12 divide u(38)?
True
Let c = 847 - -109. Is 51 a factor of c?
False
Suppose 0 = 76*k - 75*k - 332. Is k a multiple of 9?
False
Let m = 15 + -9. Suppose a = 5*a - n + 5, 0 = -2*a + 2*n - 4. Let u = m + a. Is u even?
False
Let u(v) = v + 20. Let q be u(-16). Is 2*(0 + 22) + (2 - q) a multiple of 18?
False
Let c(d) = d**2 + 8*d + 8. Let g be c(-6). Let s be -10*((-23)/5 - g). Is s/(-2) - (1 - 14) a multiple of 5?
True
Let h(m) = 4*m**2 + 42*m - 29. Does 67 divide h(-21)?
False
Let f(v) = v**2 - 7*v. Let p be f(8). Let o be -1 + 4 + (p - 2). Suppose -261 = -5*u + o. Is u a multiple of 18?
True
Suppose -7722 = -31*f + 9*f. Does 13 divide f?
True
Let p = 95 - 0. Let c = 215 - p. Is 22 a factor of c?
False
Is (-3 + 4)/(4 - 11243/2811) a multiple of 44?
False
Let i = 37 - 19. Suppose 4*b = -3*y + 86 - 12, y - i = -b. Is 5 a factor of b?
True
Let n(d) = -d + 16. Let a be n(-7). Suppose 4*m = -19 + a. Is 12 a factor of 0 + m/((-4)/(-296))?
False
Let f(v) = 3*v**2 + 25*v - 25. Does 13 divide f(13)?
False
Let m be 4 + (4 - 3 - -445). Suppose 21*l = 16*l + m. Does 25 divide l?
False
Let a = -38 + 43. Suppose -a*j - 105 = -770. Is j a multiple of 28?
False
Does 8 divide (-1600)/(-24)*84/16?
False
Let i(j) = 22*j + 1. Let s be i(2). Let h be (-5)/(s/66)*-3. Let t = h - 1. Is 7 a factor of t?
True
Let x = 2290 + -508. Is 18 a factor of x?
True
Let p(x) = -x**3 + 32*x**2 + 3*x - 8. Does 22 divide p(32)?
True
Let b = -23 + 26. Suppose 0 = -b*o - 5*t + 150 + 19, 5*t - 10 = 0. Does 12 divide