) + 0 - 2. Suppose -3*f - 2*f + 25 = s. Is g(f) a multiple of 13?
False
Suppose 0 = k + 2 - 0. Let f(v) = 2*v**2 - 2*v - 1. Is 3 a factor of f(k)?
False
Let s(t) = -t**2 - 5*t - 9. Suppose 35 = d - 6*d. Let l be s(d). Let p = -16 - l. Is p a multiple of 7?
True
Suppose 7*u - 741 = 260. Is 11 a factor of u?
True
Suppose l - 70 = -5*u, 4*l + 3*u = -0*u + 229. Is 38 a factor of l?
False
Suppose -9 - 15 = -3*k. Let n = k + -5. Is (-129)/(-5) - n/(-15) a multiple of 14?
False
Let u(g) = -g**3 - 16*g**2 - 8*g - 16. Let m(c) = -c**3 - 15*c**2 - 9*c - 15. Let t(n) = -3*m(n) + 2*u(n). Is t(-12) a multiple of 13?
False
Suppose 3*r = -2*n - 144, 0 = 4*r + 4*n + 168 + 28. Let q = -26 - r. Let i = -8 + q. Does 6 divide i?
True
Let u(z) = 3 + 2 - 2 + z. Let j be u(0). Suppose -3*b + 43 = 2*r - 0*b, 0 = 3*r - j*b - 57. Is r a multiple of 10?
True
Suppose 205 = 5*h + 2*f - 7*f, 3*h + 5*f = 83. Does 18 divide h?
True
Let c(y) = y**2 + 3*y. Let s be c(-4). Suppose s*n = -5*d + 55, -3*n + 36 = 3*d - 0*n. Is d a multiple of 7?
True
Suppose -2*r + 3 = 15. Let q(f) = -f**3 - 7*f**2 - 9*f - 8. Let o be q(r). Let x = o + -5. Is x a multiple of 5?
True
Let f(i) = i**2 - i - 4. Let o be f(3). Suppose -g - o*g = 0. Suppose -5*q + 10 = g, 6*q + 13 = c + 3*q. Is c a multiple of 14?
False
Suppose 0 = -5*j + 538 + 167. Is 22 a factor of j?
False
Suppose 3*y - 223 - 365 = -4*m, 784 = 4*y + 5*m. Does 28 divide y?
True
Suppose -b + 110 = 29. Does 8 divide b?
False
Let u = -417 + 145. Does 4 divide 2/5 + u/(-20)?
False
Let j = -27 - -45. Does 18 divide j?
True
Let h = -4 - -4. Let t = h + 1. Let p = 8 - t. Is p a multiple of 7?
True
Let v = -80 - -112. Suppose -f + v = f. Is 13 a factor of f?
False
Let s(t) = t**2 - 7*t + 8. Let a be s(6). Suppose 6 = p + a*p. Is 2 a factor of p?
True
Let j(i) = 7*i + 7. Let d be j(-6). Is -3 + (-1 - (d + 3)) a multiple of 17?
False
Let u be (84/(-10))/(4/60). Let t be 2/(-3)*u/12. Does 4 divide (t - -1) + 2*1?
False
Suppose -4*f + 143 = -169. Suppose -5*d + 2 + f = 0. Is d a multiple of 16?
True
Let h(n) = 2*n**2 + 8*n. Does 8 divide h(-10)?
True
Suppose -2*t + 88 = 2*t. Is 11 a factor of t?
True
Let o be (-834)/(-11) + 4/22. Is -65*(o/(-20) + 3) a multiple of 11?
False
Let u(h) = -13*h - 2. Is 8 a factor of u(-2)?
True
Is 2/3 - ((-122)/6 + 0) a multiple of 7?
True
Let u(n) be the third derivative of -n**7/2520 + n**6/720 + 9*n**5/20 + n**4/24 - 2*n**2. Let z(m) be the second derivative of u(m). Is z(0) a multiple of 18?
True
Does 17 divide (-2)/((-2 + 7)/(-85))?
True
Let x = 8 - 3. Let s(q) = q**3 - 5*q**2 - 2*q - 3. Let g be s(x). Let a = -2 - g. Is 10 a factor of a?
False
Let k = -64 + 124. Does 10 divide k?
True
Let a(x) = -x**2 - 5*x + 4. Let c be (-4)/(-18) + 141/(-27). Let d be a(c). Suppose d + 14 = f. Does 10 divide f?
False
Let y(t) = -t**3 - 7*t**2 - 2*t + 7. Is y(-7) a multiple of 13?
False
Let l be (-28)/10*(-35)/(-7). Does 11 divide l*3*(-2)/3?
False
Let j(q) = q**2 - 9*q + 4. Let i be j(9). Suppose -r + 180 = i*r. Is r a multiple of 16?
False
Suppose -5*w + 4*w = -15. Is (-74)/(-10) - 6/w a multiple of 5?
False
Is (-1)/2 + (-132)/(-24) even?
False
Is 31 a factor of (-2)/6 - (-1806)/18?
False
Suppose v = 5*z + 40, v = -v + 2*z + 96. Let s be v/18 + 12/54. Is 4 a factor of ((-4)/s + 0)*-3?
True
Let p be (1 - 0)*36 - 0. Suppose -2*i - 2*l - 2*l + p = 0, -4*i + 3*l + 61 = 0. Is 9 a factor of i?
False
Let v(q) = -q**3 + 3*q**2 + 3*q + 2. Suppose 9 = 4*j - 3. Is 4 a factor of v(j)?
False
Let u(d) = -11*d - 24. Does 46 divide u(-7)?
False
Let x be (-11)/7 - (-6)/(-14). Is ((-182)/x - 2) + 4 a multiple of 16?
False
Let m(o) = -o. Let q = 4 - 5. Let p be m(q). Suppose p = 2*r - 9. Is r a multiple of 5?
True
Let g = 137 - 88. Is g a multiple of 22?
False
Let o be (-396)/(-14) + (-4)/14. Let a be (5 - 5)/((-6)/(-3)). Suppose a = -j - 0*j + o. Is 14 a factor of j?
True
Let v be 1/(-2)*(3 + -57). Suppose 4*w - 2*x + v = 111, 0 = 2*x. Is w a multiple of 7?
True
Let d(j) = -j**3 - 6*j**2 + 7*j + 6. Let n be 2/(((-4)/9)/(-4)). Let g = 11 - n. Does 3 divide d(g)?
True
Let j = 422 + -251. Is 31 a factor of j?
False
Let a = 32 + -1. Does 5 divide a?
False
Let n be (-120)/(-21) + (-2)/(-7). Suppose 2 = 4*b - n. Is 2*(5 - b)*3 a multiple of 6?
True
Is 128/6 + (-5)/15 a multiple of 4?
False
Suppose 0*t = -2*t + 2. Let p(u) = 2*u**3 - 2*u**2 - 6*u. Let w(c) = -c**3 + c**2 + c - 1. Let y(b) = t*p(b) + w(b). Does 21 divide y(4)?
False
Is 8 a factor of (-148)/(-18) + 6/(-27)?
True
Let b(i) = 11*i + 5. Let u be b(-4). Let x = 67 + u. Is x a multiple of 11?
False
Let h(j) = -j + 4. Let l be h(-4). Suppose -c = c - l. Is 4 a factor of c?
True
Let y(g) = -g**3 + g + 11. Let c = -2 - -5. Suppose -c*w = 15, -3*r - r = -2*w - 10. Is y(r) a multiple of 6?
False
Let b(g) = -g - 9. Let n be b(-4). Let x = -7 - n. Let u(j) = 2*j**2 - 2*j - 2. Is u(x) a multiple of 10?
True
Let u(a) = -8*a - 5. Let k = -9 + 5. Let b be u(k). Suppose -29 - b = -2*v. Does 14 divide v?
True
Let y be 2142/27 + 2/(-6). Suppose -5*s + y = -6. Is 10 a factor of s?
False
Let j be ((-405)/(-15))/(3/4). Suppose -4*d = -4 - 8. Suppose y = -d*y + j. Is 9 a factor of y?
True
Let v(q) = 3*q - 1 + 0 + 4 - 2 + q**2. Is 13 a factor of v(-7)?
False
Let o = -93 - 19. Let x = -52 + -21. Let b = x - o. Is b a multiple of 13?
True
Suppose 5*u = 5*y - 5, 0 = -0*u + 3*u + 5*y - 5. Is (2 + u)/((-14)/(-21)) even?
False
Let d be 3*(-1 - 7/(-3)). Suppose -t + 22 = 2*p, 5*p + d*t = 3*p + 28. Does 10 divide p?
True
Is 46 a factor of 2 - -225 - 3 - -2?
False
Suppose n - 5*o = -3, -4*n + o + 20 = -3*o. Is n a multiple of 7?
True
Let d be 2*(-1 - (5 + 2)). Let k = 29 - d. Does 13 divide k?
False
Let q(v) = 2*v - 2. Let n(c) = -c**3 + c**2 - c + 35. Let m be n(0). Suppose 0 = 5*r + y - 35, 5*r - y - y = m. Is 12 a factor of q(r)?
True
Suppose 10 = -l + 43. Does 11 divide l?
True
Let k(y) = -3*y + 1. Let d be k(1). Let n(o) = 5 - 17*o + 0 - 4. Does 13 divide n(d)?
False
Suppose -z + 5*z - 740 = 0. Is 41 a factor of z?
False
Let j = 3 - 5. Is -8*(j + -1 - -2) a multiple of 4?
True
Let t = 215 - 95. Let f = 178 - t. Is f a multiple of 15?
False
Let t = 154 - 97. Let h be (2 + 0)/((-3)/t). Let b = -27 - h. Is 5 a factor of b?
False
Let x = 13 - 7. Is x a multiple of 5?
False
Suppose -2*o - 3*g + 486 = 2*o, 122 = o + g. Does 20 divide o?
True
Suppose -2*j - 2*j - 14 = -2*z, -4*z - 5*j - 37 = 0. Does 12 divide 35*(z - (-51)/15)?
False
Suppose 5*h + 22 + 18 = 0. Let w = h + 13. Does 3 divide w?
False
Suppose 10*k - 273 = 3*k. Is k a multiple of 34?
False
Let b be (3/(-2))/((-2)/16). Suppose -5*g + 2*g = -b. Suppose g*u - u - 51 = 0. Is u a multiple of 8?
False
Let o be 16/(4 + -1 - 1). Let k(c) = -c**3 + 4*c**2 + 4*c. Let t be k(5). Let a = o + t. Is a a multiple of 3?
True
Does 30 divide ((-2)/(-3))/(2/267)?
False
Let h be 2/7 + 299/7. Suppose 4*s - 5*i + 91 = 0, 73 = -2*s - i - 2*i. Let n = s + h. Does 7 divide n?
True
Let k(m) = m + 206. Let n be k(0). Suppose -5*u + 220 = 5*c, -5*c = -3*u - 54 - n. Does 11 divide c?
False
Suppose 2*g - 20 = -0*g. Let f be g + 0*(-1)/(-3). Is 17 a factor of (-1 + -1)*(-85)/f?
True
Let b(d) = 19*d**2 + 2*d - 3. Let w(r) = r - 1. Let l(u) = b(u) - 3*w(u). Let f be l(1). Suppose -5 = t - f. Is t a multiple of 13?
True
Suppose -4*i = 3*n - 1, -3*i - 2*i = -4*n - 9. Let h be (4/(-6))/(i/(-33)). Suppose h = 4*t - 2*t. Is 6 a factor of t?
False
Suppose -4*f - 3*t + 34 = -2*f, -3*f + 25 = -2*t. Let v(z) = 10*z - 2. Let b be v(1). Let y = f - b. Is 2 a factor of y?
False
Suppose -200 = a - 4*r + 2*r, 4*a - 5*r = -815. Let o = -150 - a. Suppose -f = f - o. Is 15 a factor of f?
True
Let h be 3/2*(1 + -3). Let q = h + 9. Is q a multiple of 6?
True
Let a be (-4 + 6)/((-2)/(-4)). Let t(w) = 7*w + 1 - a*w + 5*w. Is t(3) a multiple of 12?
False
Suppose -5*p + 110 = -5*c, -3*p + 4*p + 5*c = 10. Does 10 divide p?
True
Suppose -6*m + 9*m = 6. Suppose 3 = 5*h - m. Suppose l - 25 = h. Is 14 a factor of l?
False
Let m(b) = -5*b**3 - 2*b**2 + 0*b**2 + b + b**2. Let l be m(1). Let w(a) = 2*a**2 + 6*a - 6. Is w(l) a multiple of 14?
True
Suppose 7 = -m - 4*p, -4*p = 2*m + p + 2. Is 2 a factor of m?
False
Suppose -5*a = 5*l - 2*a + 32, 5*l + 24 = -a. Let d(s) = -7*s**2 - 13*s + 2. Let n(u) = 3*u**2 + 7*u - 1