9 divide f?
False
Suppose 2*r = 4*k - 158, 2*r - 37 = -2*k + k. Does 14 divide k?
False
Let i(y) = -y**2 - 2*y + 1. Let l be i(-4). Let r = -4 - l. Is 2 a factor of r?
False
Let c(w) = 2*w**2 + 5*w - 4. Suppose -3*k - 20 = 2*k. Does 4 divide c(k)?
True
Suppose 3*w + 12 - 63 = 0. Suppose -w = -m + 6. Suppose -k = 2*l - m, 4*l = 2*k - 0*k + 50. Is 12 a factor of l?
True
Let p(m) = -m**3 - 10*m**2 - 11*m - 11. Let z be p(-9). Let t(h) = -h**3 + 7*h**2 + 3*h. Is 7 a factor of t(z)?
True
Is 10 a factor of (7 + 5)/(1/5)?
True
Let x(c) = 51*c**3 + 2*c**2 - 15*c + 2. Let a(u) = 25*u**3 + u**2 - 7*u + 1. Let w(f) = 13*a(f) - 6*x(f). Is 10 a factor of w(1)?
True
Let x(u) = -u**2 + 15*u - 6. Is x(13) a multiple of 9?
False
Let j(a) = 14*a - 1. Suppose k - 6 = -2*w, -2*w + 12 = 2*k + 2*k. Let l be j(w). Suppose -l - 37 = -4*x. Is x a multiple of 13?
False
Let n = -48 - -88. Is 10 a factor of n?
True
Let j(i) = 25*i**2 - 2*i - 1. Suppose -3*g + 5 = -2*c, -7*g = -2*g + 4*c + 21. Does 13 divide j(g)?
True
Let u be -1 + 0 + -1 + 10. Let f be 38/u + (-2)/(-8). Suppose 0 = -w + p + 30, -p = f*w - 61 - 77. Does 14 divide w?
True
Let n = 4 - 2. Suppose f + n = -0*f. Is 3 a factor of f/(-7) - 78/(-21)?
False
Suppose 0*i + 768 = 6*i. Is 16 a factor of i?
True
Is (8/(-3) - -2)/(4/(-294)) a multiple of 12?
False
Is (-2 + 18)/(5/10) a multiple of 22?
False
Let p = -14 + 26. Suppose h + p = 202. Suppose -5*m + h = 5*s, 0 = m + 5 - 1. Is s a multiple of 21?
True
Let f(r) = 4*r - 4. Let v(t) = t**2 - t + 3. Let w be v(3). Is f(w) a multiple of 11?
False
Let x(b) = -30*b + 1. Let n = 15 - 17. Is x(n) a multiple of 17?
False
Is 3 a factor of 2/(-9) + (-448)/(-72)?
True
Let i(s) = -3*s. Let j be i(-1). Suppose 1 = j*g - 2*g. Suppose 19 + g = 4*p. Is p a multiple of 5?
True
Let w = -14 + 29. Let r be 12/w*(1 - -4). Suppose r*m - 15 = -m. Is m even?
False
Let v = 18 - 3. Does 11 divide (55/v)/(1/6)?
True
Suppose -40 = -x - x + 4*n, 0 = -3*x - 3*n + 33. Is 2 a factor of x?
True
Let p(g) = g**3 + 7*g**2 + 6*g + 5. Let k be 4/10 + (-32)/5. Let z be p(k). Suppose -z*s = -s - 36. Does 9 divide s?
True
Let n(h) = 2*h**2 + 14*h - 12. Does 12 divide n(-12)?
True
Suppose 3*g - 42 = -6. Does 6 divide g?
True
Suppose 5*v - 19 = 4*d, -4*d + 3*d = 1. Let x = 4 + 0. Suppose -v = -f + x. Is f a multiple of 2?
False
Suppose -26 = -z + 16. Is 8 a factor of (-110)/(-7) - (-12)/z?
True
Let j = 36 + 191. Is j a multiple of 34?
False
Suppose 2*x - 4*y = 0, 5*x - 4*y - 5 = y. Let l be -4*(0 + x/(-4)). Suppose l*h = 10 + 4. Is h a multiple of 7?
True
Suppose 95*r + 220 = 97*r. Does 15 divide r?
False
Let y be (-1)/(1 + 8/(-6)). Suppose y*a = a. Let b = a - -5. Is b a multiple of 5?
True
Suppose 2*u + 2 + 8 = 0. Let l = 10 + u. Is l a multiple of 5?
True
Suppose 6*f + 63 = 3*f. Let q = f + 51. Does 15 divide q?
True
Suppose -11 = 3*g - 4*v, 4*g - 5*v - 1 + 14 = 0. Suppose -103 = -0*a - 4*a - g*d, 0 = -2*a - 5*d + 55. Does 16 divide a?
False
Let l be 1*(-2)/(-4)*34. Let b = l + -3. Is 11 a factor of b?
False
Let m(r) = 5*r - 5. Let s = 13 - 9. Let u be m(s). Suppose -4*q + u = -21. Is 9 a factor of q?
True
Suppose -4*i = x - 3, 2*x + 20 = 3*i + 2*i. Suppose 0 = -5*w - u + 144, i*u = 6*u - 16. Suppose 3*a - w = 17. Is a a multiple of 15?
True
Let p(i) = -4*i. Let o be p(1). Let d(g) = g - 2. Let r be d(4). Is (o/6)/(r/(-15)) even?
False
Let z(b) = 26*b + 10. Let h(k) = 9*k + 3. Let w(j) = -17*h(j) + 6*z(j). Is w(8) a multiple of 11?
True
Suppose 4*x = 4*f - 436, -2*f - x = 2*x - 228. Is f a multiple of 21?
False
Is -2 + -2 + 14 + -4 a multiple of 3?
True
Suppose 5 = -2*p - 23. Suppose 80 = 5*t + 5*z, 17 = 5*t + 3*z - 55. Does 14 divide t/42 + (-192)/p?
True
Let u be 13/2 - (-1)/(-2). Let v(c) = 9*c - 9. Does 15 divide v(u)?
True
Suppose 3*h + c = 70 + 80, 107 = 2*h + 3*c. Is h a multiple of 7?
True
Let p(c) = -2*c + 2. Let d = 2 + -4. Is 2 a factor of p(d)?
True
Let q = 319 + -169. Does 15 divide q?
True
Let q(p) = -p**3 - 8*p**2 + p + 9. Is 27 a factor of q(-9)?
True
Suppose 12 = -4*t + y, -12 - 12 = 3*t + 3*y. Let w(b) = -b**3 - 4*b**2 + b + 2. Let n be w(t). Is (n/(-4))/((-2)/(-16)) even?
True
Let a(j) = -j**3 - 3*j**2 + 6*j + 1. Let s be a(-4). Suppose 5*t - 3*t = 62. Let n = s + t. Is 12 a factor of n?
True
Suppose 0*j + 2*j - 3*o - 5 = 0, 4*j - 20 = -4*o. Suppose -3*c + 50 = g - 5*c, 0 = -3*g - j*c + 120. Does 22 divide g?
True
Let u = -99 + 63. Let y = 84 + u. Suppose -l + y = 2*l. Is 16 a factor of l?
True
Let t be -2 + (-3)/((-3)/7). Let v = -4 - t. Let y = v + 29. Does 15 divide y?
False
Let v = -51 - -92. Suppose 0 = c + 2*w - 16, 4*w + v = 5*c + w. Is 3 a factor of c?
False
Let o(n) = n**3 - n**2 - n + 2. Let l be o(2). Let h(d) = d**3 + d**2 + d + 2. Let g be h(0). Suppose 0 = -l*s + g*s + 6. Does 3 divide s?
True
Let v be (-672)/20 - (-2)/(-5). Let h = v + 64. Does 17 divide h?
False
Let o(w) = 18*w + 4. Is 37 a factor of o(8)?
True
Let x = 132 - 51. Let m = x + -58. Is 4 a factor of m?
False
Suppose 3*a = 4*o - 242, -4*a - 163 = -5*o + 160. Let x = a + 145. Is x a multiple of 21?
True
Let h = -75 + 138. Is 7 a factor of h?
True
Let g = 21 - 7. Suppose 5*d - t - 46 = t, g = 2*d - 3*t. Does 4 divide d?
False
Let t(u) be the third derivative of -u**4/6 - 2*u**2. Let o(s) = -s**3 + 4*s**2 - 2*s - 1. Let j be o(4). Is 18 a factor of t(j)?
True
Suppose -6*z = -2*c - 2*z - 14, 4*z + 1 = -c. Let g = 5 + c. Is (g + -9)/((-2)/8) a multiple of 18?
True
Let j(y) = 2*y**2 + 8*y - 6. Let v be j(-7). Let d = 55 + v. Is 29 a factor of d?
False
Suppose 3*n - 6 + 0 = 0. Let o(y) = -y**2 + 3*y - 3. Let r be o(n). Is (r/1)/((-1)/4) a multiple of 2?
True
Suppose -2*y + 10*y = 1440. Is y a multiple of 36?
True
Let x be -1 + 92 + -1 + 0. Suppose -y - y = -x. Is (-3)/((y/78)/(-5)) a multiple of 13?
True
Let t = 29 - 14. Suppose 3*n = 9 + t. Let z(g) = g**3 - 7*g**2 - 8*g + 7. Is z(n) a multiple of 2?
False
Suppose 0 = -5*x - 15, -4*h = -x + 12 - 75. Is h even?
False
Let u(w) = 15*w + 1. Let m = -2 + 5. Is 12 a factor of u(m)?
False
Suppose 8*z - 3*z = 160. Is z a multiple of 19?
False
Suppose -1 = -3*f + 5. Suppose 2*a = -f*a + 48. Is 3 a factor of a?
True
Suppose 0 = 3*f - 0 - 6. Suppose -f*a + 2 - 4 = 0. Is (-6)/(((-2)/(-11))/a) a multiple of 11?
True
Is 10 a factor of 0 + 1 + -2 + 58?
False
Let i(u) = 2*u**2 + u - 3. Does 18 divide i(3)?
True
Suppose 0 = -2*r - 5*f + 26, 2*r + 3*f - 22 = -f. Suppose -r*o = -0*o. Is 16 a factor of (o + 1)*(35 + -3)?
True
Suppose l + 275 = -2*l + 2*k, 453 = -5*l + 2*k. Let j = l - -149. Suppose -100 = -4*m + j. Is m a multiple of 15?
False
Let p(k) = -k + 1. Let n(u) = u**2 + 7*u + 5. Let g(b) = -n(b) - p(b). Let m be g(-4). Does 5 divide 1*(1 + 2 + m)?
True
Let g = -16 - -25. Suppose -25 = 4*q - g. Is q/(-10) + 148/5 a multiple of 15?
True
Suppose -14*i + 3205 + 1107 = 0. Does 30 divide i?
False
Suppose -7*k = -350 - 1232. Does 12 divide k?
False
Let m = -14 + 92. Suppose -2*y + 5*j = -63, 5*y - 129 = -4*j + m. Is 10 a factor of y?
False
Suppose -t = 5*f + 2*t - 99, 5*t = 2*f - 52. Suppose 2*n + 9 = f. Does 6 divide n?
True
Suppose 0 = -4*j + 5*k + 234 + 237, -2*j + 235 = -3*k. Is 29 a factor of j?
False
Let b be 2416/10 - (-6)/15. Let k = -162 + b. Suppose 6*v - k = 2*v. Does 20 divide v?
True
Let m(v) = v**3 - 10*v**2 + 3*v - 23. Is 11 a factor of m(11)?
False
Let p(u) = 3*u**2 - 3 + 2*u**2 + 6 - 2*u - 2. Let y be p(1). Is 37/2 - 2/y a multiple of 7?
False
Does 8 divide (-11 - -9)/(4/(-142))?
False
Let v = -4 - -5. Let p be (1 - 1 - v)*-12. Does 18 divide (p/10)/(3/90)?
True
Is (-9)/(-4)*6 + (-6)/(-4) a multiple of 5?
True
Suppose 7*g = 3*g + 124. Let p = 5 - 2. Suppose -2*k = p - g. Is 14 a factor of k?
True
Let b(v) = -v - 5 - 1 + 6. Let u be b(-5). Suppose -4 - 11 = -u*l. Is 3 a factor of l?
True
Let y = 2 + -2. Let l(q) = q**2 + y*q**2 + 4*q**3 + 3*q**3. Is 6 a factor of l(1)?
False
Let j(q) = q + 11. Let n = -4 + 4. Let d be j(n). Let w = d + -6. Does 5 divide w?
True
Let i(d) = -d**2 - 25*d - 43. Is i(-23) even?
False
Suppose -55 = -3*a + 32. Let l be 2 - 4/((-6)/(-3)). Suppose l = 4*y - 11 - a. Does 4 divide y?
False
Does 12 divide (-8)/14 + 9/((-315)/(-1630))?
False
Let i = -1 - -3. Let j be (2/(-4))/(i/(-44)). Is 9 a factor of j + (0 - (-2 + 2))?
False
Let t(