3 + 52 = -x. Let o = -65 - x. Is o a multiple of 13?
False
Does 17 divide 10*(-20)/(-1 - 4)?
False
Let h(y) = y**3 - 5*y**2 - 4*y - 8. Suppose -5 = -2*d + 5. Suppose 5*o + d*g - 34 = o, -4*o + g = -22. Does 4 divide h(o)?
True
Let v = 14 + -9. Suppose -v*y = -h - 54, -5*y - 2*h + 34 = 2*h. Does 5 divide y?
True
Let g be (-99)/(-27) + (-1)/(-3). Is 4 a factor of (-2)/g - (-147)/14?
False
Let v be -1*(1 + (-4 - 0)). Let l be v*1/(-2)*-2. Is 78/9 + (-2)/l a multiple of 4?
True
Suppose -2*y + 20 = -4*y. Let k = 28 + y. Is 12 a factor of k?
False
Let j(s) = -s**3 - s**2. Let d be j(-1). Suppose d = -2*l + 7*l - 180. Is 12 a factor of l?
True
Let o be 3 - (-3)/6*2. Let x be 4*(2 + 5/o). Suppose -4*k + 12 = 0, 2*z - x - 4 = -k. Is 7 a factor of z?
True
Let b(v) = 5*v**2 - 2*v**2 + 3*v - 5 - 2*v**2. Let y be b(-10). Let d = y - 46. Is 10 a factor of d?
False
Let g be (-4)/(-14) + 48/28. Suppose -a + 3*n = -18, -3*n = 2*a - g*n - 29. Is 15 a factor of a?
True
Let n = 20 + -14. Let u(k) = 2*k - 6. Let q(c) = -c + 5. Let d(p) = 6*q(p) + 4*u(p). Is 18 a factor of d(n)?
True
Let t = 22 - 14. Does 3 divide t?
False
Let w(d) = 4*d**3 + 2*d**2 + d - 2. Let z be w(1). Suppose -2*t - 3 = 4*c - c, -3*t = -3*c - 18. Is 2 a factor of (-1 - 1 - c)*z?
False
Does 12 divide 141 - 8/(32/20)?
False
Let c = -25 + 32. Is 2 a factor of c?
False
Suppose v - 4 = 4*n, -3*n + 6*v - v - 3 = 0. Let x = n - -4. Suppose x + 2 = c. Is c a multiple of 2?
False
Let u = -126 - -198. Is u a multiple of 36?
True
Let r(g) = -7*g**3 + 4*g**2 + 7*g - 11. Let o(w) = -15*w**3 + 7*w**2 + 15*w - 23. Let p(t) = -6*o(t) + 13*r(t). Is p(10) a multiple of 5?
True
Suppose 0*v + 3 = v. Suppose -g = -v*g + 6. Does 11 divide 18/(-4)*(-10)/g?
False
Let l = -17 - -36. Is l a multiple of 3?
False
Is 28 a factor of 4/((-2)/(-1)) + (-1558)/(-19)?
True
Let s = -35 + 39. Does 2 divide s?
True
Is 17 a factor of 204*1/(7 - 4)?
True
Let h(s) = 7*s**2 + 2*s - 2. Let f be h(-2). Suppose g - f + 0 = 0. Is g a multiple of 9?
False
Let j(y) be the second derivative of y**4/12 + y**3 - y**2/2 - 2*y. Let g be j(-5). Let n(i) = i**3 + 6*i**2 - i - 2. Is n(g) even?
True
Let z be ((-8)/(-2))/((-12)/(-6)). Is (z*1)/((-6)/(-51)) a multiple of 6?
False
Let g(o) = 116*o**2 - 3*o + 3. Does 22 divide g(1)?
False
Suppose -q - 1 = -4. Let j = 7 + q. Is j a multiple of 10?
True
Suppose -5*l + 117 = 4*m, 4*m - 127 = 4*l + 17. Suppose 3*u = -6 + m. Suppose -u = -2*o + 11. Is o a multiple of 6?
False
Suppose -2*a + 0 = -56. Let m = 24 + -43. Let x = a + m. Does 9 divide x?
True
Let j = -66 - -39. Let g = j - -47. Does 20 divide g?
True
Suppose 5*q - 197 - 283 = 0. Is q a multiple of 24?
True
Let b = 255 - 177. Is 10 a factor of b?
False
Suppose -35 = -2*h + 9. Suppose 5*b = 3*r - 0*b - h, -4*b + 8 = 4*r. Let k(q) = 6*q - 4. Is k(r) a multiple of 7?
False
Let r = 27 - -8. Is 4 a factor of r?
False
Let j(m) = -10*m**3 - 24*m**3 - 1 + 9*m**3. Let u be j(1). Let h = u + 48. Does 17 divide h?
False
Let u(s) = s**3 - 23*s**2 + 29*s + 14. Does 14 divide u(22)?
True
Suppose 4*o - 34 + 0 = 3*q, -4*q + 5*o - 44 = 0. Let r(u) = -u**3 - 5*u**2 + 3*u + 4. Is r(q) a multiple of 6?
False
Is (16/20 - -2)/((-1)/(-50)) a multiple of 20?
True
Let x(p) be the first derivative of p**4/4 - 3*p**3 + 3*p**2/2 - 10*p + 3. Is x(9) a multiple of 9?
False
Is (-3)/15 - (-1255)/25 a multiple of 10?
True
Let h be (-4)/(-3)*(-12)/4. Let m(p) = p**3 + 5*p**2 + 2*p - 1. Let d be m(h). Let q = -3 + d. Is 3 a factor of q?
False
Let m(j) = j**2 - 6*j + 7. Let v be m(5). Suppose v*p - 39 = -p. Is p a multiple of 2?
False
Does 27 divide (-10)/(6/(-243)*3)?
True
Suppose -6*q + 200 + 52 = 0. Is 21 a factor of q?
True
Let s = 165 - -29. Suppose 21 - s = -5*g + i, 2*i = 3*g - 101. Is g a multiple of 9?
False
Let d be 0 + -1*(-2 - -3). Is (-2)/(d/((-123)/(-6))) a multiple of 26?
False
Let j = 2 - 2. Is 13 a factor of (-65)/(-5) - (0 - j)?
True
Suppose 0 = -19*p + 25*p - 168. Is p a multiple of 7?
True
Let w = -29 + 55. Suppose w = -j + 3*j. Is j a multiple of 13?
True
Suppose 3*x = 2 - 8, 4*t + 2*x = 8. Suppose -t*b = -b - 82. Suppose c = -0*c + b. Does 18 divide c?
False
Let q be -1 + 5/(15/12). Suppose -q*a = 2*a - 270. Is 14 a factor of a?
False
Is 15 a factor of 10/15 - (-399)/9?
True
Suppose -5*r + 33 = 2*d, 2 = 4*r + 14. Does 3 divide d?
True
Suppose 11*h - 18*h = -868. Is h a multiple of 19?
False
Suppose 0 = -9*d + 4*d + 140. Suppose 0*y + d = y + 4*f, 5*y + f - 121 = 0. Does 6 divide y?
True
Suppose -13*k + 280 = -5*k. Does 7 divide k?
True
Let p = -105 + 183. Is p a multiple of 39?
True
Suppose 4*i + 20 = -4*o, 3*i + 5*o = o - 20. Let p(y) = y**3 - y**2. Let z be p(i). Suppose 2*t = -4*w + 60, z*w = 5*t + 4*w - 126. Does 11 divide t?
True
Suppose 9 = 3*c - 15. Suppose c*v = 5*v - 3. Let x(u) = -13*u - 1. Is 12 a factor of x(v)?
True
Let d = 7 + 78. Is 42 a factor of d?
False
Suppose -f - 27 + 7 = 0. Let q = -8 - f. Is q a multiple of 11?
False
Let k = 71 + -39. Let y = -3 + k. Does 17 divide y?
False
Suppose 85*h + 1260 = 90*h. Does 36 divide h?
True
Let p = 41 + -27. Does 7 divide p?
True
Suppose -d = -2*h - 13, h + 0*h + 9 = d. Let m = 0 + d. Suppose 4*l - 130 = 4*k + 2, -81 = -2*l + m*k. Is l a multiple of 14?
True
Let k(n) = -n**3 - 8*n - 5. Does 16 divide k(-4)?
False
Let l(m) = 5*m + 1. Let o(b) = 9*b + 2. Let a(y) = -7*l(y) + 4*o(y). Is a(7) a multiple of 4?
True
Let s(q) = -13*q**3 + 1. Let d = -5 + 6. Let y be s(d). Does 7 divide ((-112)/y)/(4/6)?
True
Let h(u) = -73*u**3 + u**2. Is h(-1) a multiple of 13?
False
Let u(c) = -15*c**3 + 4*c + 5. Is 12 a factor of u(-2)?
False
Suppose -4*g + 27 = -g. Let a be 4/6 + (-33)/g. Is (-112)/(-12) - (-1)/a a multiple of 9?
True
Let y = 135 - 93. Suppose y = n + 6. Does 18 divide 2/(-2)*-1*n?
True
Suppose 3*y - y = -4. Let q = y + 4. Suppose -5 = -q*i - 2*b + 13, 0 = -i - 3*b + 19. Is 3 a factor of i?
False
Let k = 10 + -4. Let m = k + -1. Suppose h = 4*h - m*s - 54, -3*s - 83 = -4*h. Is 10 a factor of h?
False
Let b(f) = -3*f - 1. Let l be b(3). Let n be (-584)/l - (-12)/(-30). Suppose n = 2*p + 14. Is 11 a factor of p?
True
Let y(x) = -x**3 + 2*x**2 + 3*x + 4. Let g be y(3). Suppose g*k - 1 = 11. Is k a multiple of 2?
False
Suppose 4*s = 5*l - 235, 5*s - 2*s - 66 = -l. Let y = 71 - l. Is 10 a factor of y?
True
Let h be 1 + 4 + 1 + -3. Suppose -h*b + 5*b = f + 70, 0 = 5*b + 5*f - 190. Is 12 a factor of b?
True
Let t = 28 - -137. Let c = t + -67. Suppose x - 10 = -b, -5*x - b = 28 - c. Is 10 a factor of x?
False
Let s be (-1)/2 - 14/(-4). Let v be -105*(-1)/(-2)*(0 + -2). Suppose -105 = -s*f + v. Is 18 a factor of f?
False
Let z(v) = -6*v**2 + v. Let x(b) = 5*b**2 - b. Let t(w) = -5*x(w) - 4*z(w). Let s(g) = -3*g**2 - 5*g - 3. Let j(f) = s(f) - 2*t(f). Is 7 a factor of j(-4)?
False
Suppose 2*x - 5*l + 45 + 101 = 0, 5*l = -2*x - 146. Let q = x - -127. Does 24 divide q?
False
Let x(o) = -o**3 - o + 5. Is x(0) a multiple of 3?
False
Let y(s) = -s**3 + s**2 - 4*s - 5. Let z be y(4). Let o = 115 + z. Is 20 a factor of o?
False
Let j = -8 + 12. Suppose -3 - 7 = -2*p, -35 = -g - j*p. Is g a multiple of 15?
True
Suppose 3*s + 40 = -s. Is 13 a factor of s/35 - 783/(-21)?
False
Let z be (-3 - 0/(-1)) + 3. Suppose 3*n - 5*n + 48 = z. Is 15 a factor of n?
False
Let x = -23 - -82. Let b = x + -23. Is b a multiple of 12?
True
Let w = 131 + -21. Is w a multiple of 9?
False
Let o = -391 - -626. Is o a multiple of 25?
False
Suppose 2*l + 3*l = 60. Let p be 4/l + 2/(-6). Let f(w) = -w + 11. Is f(p) a multiple of 5?
False
Suppose -2*z + 4 = p - 3, 0 = z + 2*p - 5. Suppose 0 = z*s + 2*s. Suppose s*g - 54 = -3*g. Is g a multiple of 9?
True
Let u = -9 + 8. Let w = 28 - u. Is w a multiple of 9?
False
Suppose 0 = w - 2. Is ((-4)/3)/(w/(-72)) a multiple of 13?
False
Let i = -16 - -32. Suppose 2*c + i = -4*s, 3*s + 3*c = -2*s - 22. Does 11 divide (1 - 1) + 24 + s?
True
Is 9 a factor of 0 + 28/(6/(-4) + 2)?
False
Let q(o) = -17*o**2 + o. Let w be q(1). Suppose 5*j - 20 = j + 4*y, j = -4*y - 10. Is 4 a factor of (-3)/(3*j/w)?
True
Let y = 3 + 0. Suppose f = -4*t, -y*f - 3*t + 7 = 2*t. Is f a multiple of 2?
True
Suppose -4*j - 6 = 5*p + 4, 2*j + 18 = 4*p. Let o(i) = i + 2. Let t be o(j). Is ((-2)/t)/(2/21) a multiple of 7?
True
Let v be 3 - 4/