 27 = 0. Is c a multiple of 11?
False
Let m be 194/3 + 10/(-15). Suppose -6*v + 2*v = -m. Is 7 a factor of v?
False
Let l(q) = 29*q + 4. Does 26 divide l(2)?
False
Let v(o) = o**3 - 4*o**2 - 5*o. Suppose -3*d + 3 = m, -5*d + 2*m = -m + 9. Suppose -4*f = -5*q + 50, 0 = 5*q - d*f - 2*f - 40. Is 14 a factor of v(q)?
True
Let y = 113 + -78. Is 6 a factor of y?
False
Does 16 divide ((-96)/(-20))/((-9)/(-150))?
True
Let x(p) = 5*p**2 + 4*p - 2. Let s be x(-4). Suppose 0 = -5*l + 2*k + 38 + 28, 4*l - s = -3*k. Does 14 divide l?
True
Suppose 3*d - 2*s - 199 = 0, -2*s + 4*s + 69 = d. Is 5 a factor of d?
True
Let n(w) = w**2 + 12*w - 13. Let d be n(-13). Let b(x) be the second derivative of x**4/12 + x**3/6 + 8*x**2 + x. Is 13 a factor of b(d)?
False
Let c be 34*2/(0 - -2). Suppose -4*o + p + p = c, -2*p + 13 = -o. Let i = 14 + o. Does 7 divide i?
True
Let l(d) = -d**2 - d - 78. Let s be l(0). Let g = s - -135. Is g a multiple of 15?
False
Let v(n) = -n + 40. Let q(y) = y**2 - 5*y + 4. Let u be 10/3 + (-4)/(-6). Let j be q(u). Is v(j) a multiple of 14?
False
Suppose 3*i - 3 = 3. Suppose -w = -5*g + i, -g + 43 = 4*w - 4*g. Let u = 0 + w. Does 13 divide u?
True
Let z(p) = 15*p + 8. Suppose -c - 3*i = 1, 3*i = -2*c + 7*c + 23. Let g(t) = 14*t + 7. Let s(x) = c*z(x) + 5*g(x). Does 13 divide s(3)?
False
Let x = 5 + 39. Let s = x + -5. Does 13 divide s?
True
Is 8 a factor of 192/(-18)*(-4 - -1)?
True
Let n(w) = -2*w + 0 - 1 + 0*w - 2*w + 3*w**2. Is n(4) a multiple of 16?
False
Let c(k) = -k**2 + 8*k - 9. Let s be c(7). Let t(w) = -37*w. Let r(i) = 56*i. Let b(x) = 5*r(x) + 8*t(x). Is 16 a factor of b(s)?
True
Suppose -3*d + 1 = -2*d. Let c(y) be the second derivative of 7*y**5/20 - y**3/6 + y**2/2 + y. Is c(d) a multiple of 3?
False
Suppose 0 = 3*d - 5 - 10. Suppose -5 = -l + m - 2, -l - d*m = -21. Does 2 divide l?
True
Let v be 1 - 13 - (1 - 1). Does 12 divide v/66 - 268/(-22)?
True
Let i(y) = -3*y - 1. Is i(-5) a multiple of 14?
True
Let l = 15 + -7. Is 8 a factor of l?
True
Let b(h) = 2*h**2 + 0*h**2 + 2*h**2 - 3*h**2 - 22. Is b(9) a multiple of 16?
False
Let q(u) = -u**2 + 7*u - 8. Let r be q(6). Let l(d) be the second derivative of d**4/4 + d**3/3 + d**2 + d. Is l(r) a multiple of 5?
True
Let l(u) = -u**3 - 6*u**2 + u - 2. Let n be l(-6). Let b be n/(-20) + (-123)/(-5). Let f = -9 + b. Is 16 a factor of f?
True
Suppose -3*w + 5*n = 26, -w - 3 = 3*n + 1. Is 4 a factor of ((-72)/42)/(1/w)?
True
Suppose -2*i + 313 = 3*i + v, 2*i + 2*v - 130 = 0. Suppose 6*r - 15 = 3*r. Suppose 3*g = i - r. Is 13 a factor of g?
False
Suppose 2*z + 4*r + 20 = r, 0 = -2*r - 4. Let m(x) = x + 10. Let s be m(z). Suppose h = s*h - 30. Is 15 a factor of h?
True
Let d(u) = u**3 + 9*u**2 + 6*u - 6. Let h be d(-8). Let w(v) = -4 - 2 + 5 + h*v. Is w(1) a multiple of 9?
True
Suppose -5*z + 441 = 3*g, -180 = -2*z - 0*g - 3*g. Is 22 a factor of z?
False
Let u = -1 - -1. Suppose 3*l - 45 = -u*l. Is l a multiple of 11?
False
Let p(a) = 44*a**2 - a. Let i be p(-1). Suppose -i = -0*n - n. Suppose -4*r + 87 = -n. Does 13 divide r?
False
Suppose y - 70 - 8 = 0. Is y a multiple of 24?
False
Suppose -4*p - 128 = -2*w, -w + 5*p = -81 + 29. Suppose -2*t + w = t. Suppose 0*y + t = y. Is y a multiple of 12?
True
Suppose 2*r = 2*k - 74, k - 2*r = -5*r + 21. Is k a multiple of 11?
True
Suppose -j + 6 + 46 = 0. Does 26 divide j?
True
Is 7 a factor of ((-4008)/15)/(-2) + (-21)/35?
True
Let s(k) = k**2. Let b be s(2). Suppose b*q - 6 - 10 = 0. Let h = q - -35. Is 14 a factor of h?
False
Suppose -4*h - 47 - 21 = 4*o, h + 5*o = -25. Suppose -22 = -5*s + 68. Does 8 divide (0 - s/h)*25?
False
Let d = -6 - -10. Suppose -2*o + 70 = x, -6*x + x - d*o + 320 = 0. Does 20 divide x?
True
Suppose -13 = 4*l + 67. Let b = -12 - l. Is 7 a factor of b?
False
Let j be ((-10)/(-6) - 3)*6. Is 9 a factor of (-441)/(-12) - (-6)/j?
True
Suppose -9*g + 496 = -5*g. Let t = g + -76. Is 24 a factor of t?
True
Let a = -1 - 3. Let f be (2/a)/(5/(-30)). Suppose f*i = 73 + 38. Does 15 divide i?
False
Let p(x) = 2*x**2 - 5*x - 2. Does 27 divide p(-7)?
False
Let f(r) = -10*r + 14. Let g be f(-6). Suppose 4*z - g = 14. Does 15 divide z?
False
Suppose 0 = -4*g - 4*l + 3 - 11, -3*g - 4 = 2*l. Does 9 divide ((g - -2) + -3)*-21?
False
Suppose 0 = -4*l + 2 + 10. Let b(x) = 0 + 2*x - x**3 - 2 + 2*x**l - 5*x**2. Does 4 divide b(5)?
True
Suppose 0 = 3*t - m + 17 - 175, -10 = 2*m. Does 12 divide t?
False
Suppose -5 - 10 = 3*m. Let l = -8 - m. Let k(y) = -y**3 - 4*y**2 - 3*y + 4. Is k(l) a multiple of 2?
True
Suppose r = 2, 2*f + 2*r = 4 + 4. Is 10 a factor of 3 + (f + 5 - -3)?
False
Let v be (-5)/(-10)*16/2. Suppose 0 = 4*a + v*i - 148, 33 = 3*a - 5*i - 78. Let g = -21 + a. Is g a multiple of 16?
True
Suppose 2*d + 179 = 3*j + 35, -2*j + 89 = d. Is j a multiple of 45?
False
Let v(z) = 6*z + 8. Let q(b) = 11*b + 15. Let y(n) = -4*q(n) + 7*v(n). Let x(t) = -t**3 + 6*t**2 - 2*t + 6. Let k be x(6). Is 3 a factor of y(k)?
False
Suppose 2*j + 3*j = -155. Let d = j + 45. Is d a multiple of 7?
True
Let u(k) = -2*k**2 + 36. Does 36 divide u(0)?
True
Let z(p) = p + 1. Let b(n) = 16*n + 20. Let l(d) = b(d) - 12*z(d). Is l(7) a multiple of 12?
True
Suppose a = 2*a - 40. Let y be (-3)/((-126)/a + 3). Does 2 divide (-1)/(-3)*(y + -2)?
True
Suppose 4*o = 11 + 5. Suppose 3*z + 12 = -3*x, -o*x - 3*z - 10 = -3*x. Does 2 divide (-1)/x - (-3)/3?
True
Let p(b) = b**3 + 9*b**2 - 12*b + 5. Let v be -3 - -3*7/(-3). Is 14 a factor of p(v)?
False
Let q(t) = -t + 12. Suppose -z - 30 = -4*z. Let k be q(z). Suppose -3*u + 5*j - 13 = 0, -k*u - 3*j + 4*j = -3. Is u a multiple of 3?
False
Let u = -99 + 147. Is 24 a factor of u?
True
Let v be (-50)/18 - 12/54. Let d be v + -1 - (-2)/(-2). Is (2 - d)/(2/6) a multiple of 7?
True
Suppose -s + 22 = 4. Is s a multiple of 9?
True
Suppose -2*c = -h + 104, 4*c - c = 3*h - 153. Suppose 4*v = -2*z + 170, -2*z + 39 = 2*v - 129. Let j = z + c. Is j a multiple of 15?
True
Let d(a) = -3*a - 3. Is d(-2) even?
False
Let p(g) = -7*g**2 - 4*g + 4. Let s(t) = 11*t**2 + 6*t - 6. Let q(z) = 7*p(z) + 5*s(z). Is 6 a factor of q(-2)?
True
Let d = 13 + -9. Suppose -d*w = -3*w - 27. Does 20 divide w?
False
Let t(m) = 11*m**2 + m. Let p be 4/(-3) - (-2)/(-3). Let b be t(p). Suppose 2*v = -v + b. Does 7 divide v?
True
Let r(g) = g**2 + 3*g. Let q(y) = -y**3 - 4*y**2 - 3*y - 1. Let a be q(-2). Let p be r(a). Suppose 3*j - 3*s - 45 = p, -2*s - 4 = -0*s. Does 7 divide j?
False
Let u be (4 - 30)*1/(-2). Let a = -4 + u. Does 3 divide a?
True
Let u be -3 + (3/3 - 0). Is (-2 + (-27)/6)*u a multiple of 9?
False
Suppose -3*i + w = -3*w - 34, w = 2*i - 26. Is i a multiple of 7?
True
Suppose 4*h = -3*g + 356, -4*g - 4*h + 60 + 412 = 0. Is 29 a factor of g?
True
Let y(g) = -2*g + 50. Is 9 a factor of y(-12)?
False
Let j(a) = 3*a. Let y be j(1). Let k = 12 - 12. Is k + ((-15)/(-1))/y a multiple of 2?
False
Let l(k) = -k**3 - 7*k**2 + 4*k + 6. Let h(p) = p**3 - 9*p**2 - 8. Let w be h(9). Is 19 a factor of l(w)?
True
Suppose -3*s - n + 779 = 45, 988 = 4*s - n. Does 41 divide s?
True
Suppose 0 = 2*x + m - 83 - 27, x - 45 = 2*m. Let d = x - -4. Suppose 0*a - v + d = 5*a, 63 = 4*a - 5*v. Does 6 divide a?
True
Let z(o) = -4*o + 2. Let b be z(2). Let a be -3*((-165)/(-9) - 1). Is 12 a factor of 4/b*(a - -4)?
False
Let q(y) = 37*y + 13. Is q(4) a multiple of 23?
True
Let z(s) = 2*s**2 - 3*s - 1. Let c be 1 + -1 - (-3)/3. Let y(l) = 4*l**2 + 2*l - 1. Let k be y(c). Is 17 a factor of z(k)?
True
Suppose 2*f - f = -g + 8, -2*f + g = -7. Let p = -49 - -49. Suppose -4*w + f*w - 39 = p. Is w a multiple of 27?
False
Let v(p) = -4*p - 3. Let j(i) = -13*i - 9. Let a(u) = 2*j(u) - 7*v(u). Let c be a(-2). Let r = c - -30. Is 11 a factor of r?
False
Suppose -x = 3*k - 3, 2*k + 0 = x - 18. Does 4 divide x?
True
Let b be ((-26)/8)/(1/(-4)). Suppose 212 + b = 3*z. Is z a multiple of 25?
True
Let u = -10 + 7. Is 12 a factor of (11*-3)/u - -1?
True
Let m(y) = -y + 27. Is m(6) a multiple of 5?
False
Suppose 3*g - 8*g + 65 = 0. Is 3 a factor of g?
False
Let f(h) = -h**2 - 12*h + 10. Let i(t) = -2*t**2 - 24*t + 20. Let n(y) = -5*f(y) + 3*i(y). Does 16 divide n(-9)?
False
Let y = 6 - 2. Suppose 18 = -2*o + y*q - 16, -2*o - 5*q = -11. Is 14 a factor of -1 - -3*(-2 - o)?
True
Let l(a) = 2*a**2 