 a multiple of 5?
False
Suppose -5*z = -0*z + 5*v - 5275, -5*v = -3*z + 3125. Does 36 divide z?
False
Let y(a) be the first derivative of 1 + 4*a - 1/2*a**2. Is y(-14) a multiple of 18?
True
Let k be 207/9 + 0 + -1. Let x = -18 + k. Suppose -x*b = -3*r - 145, 8*b - 5*r - 175 = 3*b. Does 8 divide b?
True
Let q(r) = -2*r**3 + 2*r**2 - 1. Let s be q(-1). Suppose -2*b + 58 = -s*j, 2*j + 43 = b - 3*j. Is b a multiple of 5?
False
Suppose 5*t + 30*q - 635 = 26*q, -2*t - 5*q + 271 = 0. Is 65 a factor of t?
False
Suppose 0 = 3*d - 2*g - 1258, 3*g = 4*d + g - 1674. Is d a multiple of 16?
True
Suppose 5*h + l - 1159 = -0*h, 5*h - 5*l = 1135. Does 9 divide h?
False
Suppose 2*o = -3*o + 10. Let m(a) = a**o + 7 - 6*a - 3 + 11. Does 14 divide m(10)?
False
Let j be (-4)/5 - (-1419)/55. Let h be (-20)/j*(-67 - -2). Let u = h + -36. Is u a multiple of 8?
True
Let p be (4/4)/4 + (-11)/(-4). Suppose -p*z + 2960 = 7*z. Is z a multiple of 37?
True
Let f(x) = -x**3 - 3*x**2 + 8*x - 6. Let i be f(-5). Suppose 415 = 3*o + 3*p - 7*p, 2*o = -i*p + 270. Is 19 a factor of o?
False
Suppose 3*y = -0*y + 2*d + 67, -3*y = 3*d - 57. Let i be (y/(-6) - -2)*10. Is 21 a factor of 328/6 + (-5)/i?
False
Suppose -3*r - 8 = -5*z, 3*r - 5*r + 5*z = 12. Suppose 3*i = -j + r*i + 472, 0 = -5*j - 3*i + 2328. Does 30 divide ((-2)/3)/((-8)/j)?
False
Let o(k) = 3*k + 6. Let l be o(-6). Let q be l*(6/(-3))/6. Is 30 a factor of ((-180)/8)/((-3)/q)?
True
Suppose 11 = z - 2. Is 20 a factor of 7*-6*z/(-7)?
False
Let s(o) = -141*o - 120. Does 17 divide s(-7)?
True
Suppose -3*z + 0*r + 4*r - 32 = 0, -z - 14 = -3*r. Is 2/z + (-1940)/(-80) a multiple of 3?
True
Suppose 0 = -57*l + 44*l + 3016. Is 12 a factor of l?
False
Suppose 0 = -3*y + 2*w + 12 + 2, 5*y - 17 = -3*w. Suppose y*h - r - r = 138, -h + 27 = r. Is h a multiple of 4?
True
Suppose 0 = -4*q + 5*n - 1 + 24, -3*q = 2*n. Suppose 0 = 4*v - q*r + 52, v + 2*r = -6 - 12. Let p(z) = -2*z - 8. Is 5 a factor of p(v)?
True
Suppose 5*g + 3 = -3*l - 10, -l = -2*g - 14. Let s be l/(-30) - 6314/(-105). Suppose 4*f - 47 = -2*w + 1, 0 = -5*f - 4*w + s. Is f a multiple of 4?
True
Let i = 15 - 13. Let y(t) = 0 + 2 - 2 - i - 3*t + 8*t**2. Does 14 divide y(-3)?
False
Suppose 11*j + 1423 = 8111. Is 38 a factor of j?
True
Let k be 1 - ((-16)/10)/(2/5). Is 13 a factor of (k + -18)/(33/(-15) - -2)?
True
Let b = 433 + -253. Is 10 a factor of b?
True
Let a(p) = -p**3 + 10*p**2 + 12*p + 1. Let o be a(11). Let f = o - 12. Suppose 105 = -f*x + 3*x. Is 17 a factor of x?
False
Let l(d) = 5*d - 3. Suppose 0 = 4*n - 2*v - 10, -3*n - 22 = 5*v + 3. Let p(m) = m + 2. Let a be p(n). Does 7 divide l(a)?
True
Let c(v) = 9*v**3 + 6*v + 1. Is 31 a factor of c(4)?
False
Suppose -8*i = 187 - 515. Suppose -5*y + i = -2*f - 92, 0 = y + 4*f - 9. Does 3 divide y?
False
Suppose -3*z + 18 = -3*a, -6*z + 4*z + 4*a = -16. Let f(c) be the first derivative of 2*c**2 - 9*c - 1. Is f(z) a multiple of 5?
False
Suppose 27*c - 4590 = 9*c. Is c a multiple of 15?
True
Let a = 38 + -32. Let z(d) = 10*d - 16. Does 20 divide z(a)?
False
Let u(j) = -j**2 - 58*j + 188. Let r be u(-61). Suppose 0 = -w - 3*w + 20. Suppose 5*o - r*z = 48 + 27, o - w*z - 35 = 0. Does 3 divide o?
False
Let f(r) = 8*r + 81. Is f(13) a multiple of 33?
False
Suppose 4*n - 5*z + 3*z = 64, 0 = 2*n + z - 36. Suppose 28 = 3*i - n. Does 9 divide i?
False
Let z = 28 - 6. Suppose 4*g + 2 - 98 = 4*t, 5*t + 12 = g. Let p = g - z. Is p a multiple of 5?
True
Let q = -7 - -12. Suppose -5*g - 13 = 3*u - 0*u, g + 3*u = -q. Is 13 a factor of g + -2 + 42 + 2?
False
Suppose -14 + 2 = -3*o - 2*q, -3*q - 12 = -3*o. Suppose 2*g + 5*k - 9 = 26, -3*k = -5*g + 10. Suppose 0 = -o*x - 5 - 3, h + g*x = 22. Is h a multiple of 20?
False
Suppose 2*d + 4*b = 24, 0 = 5*d - 10*d + 3*b + 34. Let q(v) = -11 + 1 - 2*v**2 - d*v**2 + 5 + 11*v + v**3. Does 20 divide q(10)?
False
Is 16 a factor of (-9)/(-15)*1530/2?
False
Let m = 169 + -166. Suppose 5*y = -4*n + 190, 4*n = m*y + 3*n - 114. Is 9 a factor of y?
False
Suppose -a - 3*a = -44. Let q(c) = c**3 - 11*c**2 + c - 5. Let g be q(a). Suppose -149 = -g*h + 2*h - 3*x, 4*x = -h + 47. Is 7 a factor of h?
True
Let y(u) = -u + 5. Let o be y(0). Suppose 4*x - 219 = h, 5 = o*h - 20. Is 14 a factor of x?
True
Let s(n) = 25*n - 107. Does 21 divide s(11)?
True
Suppose -14*v + 57 = -27. Let h(w) = -3*w + 32. Is h(v) a multiple of 7?
True
Suppose -3 = -f - 0. Let g be f/(-5) + 56/10. Suppose 2*k + 2*a = 40, -k = 4*a + g - 13. Is k a multiple of 9?
False
Is 9 a factor of ((-333)/(-666))/(1/(6*101))?
False
Let i = -203 - -511. Does 14 divide i?
True
Suppose d - 98 = -4*i, 40*i - 39*i = 2. Is d a multiple of 6?
True
Let c(w) = -w**2 - 11*w - 2. Let k be c(-10). Suppose -2*n + k = -y, 2*n + 4*y - 19 + 1 = 0. Suppose n*z = -0*z + 50. Does 9 divide z?
False
Let i(c) = -c**2 + 1. Let v be i(-1). Suppose v*g = 2*g - 60. Suppose 2*w - w = g. Is w a multiple of 15?
True
Is ((-216)/5)/(74/(-1295)) a multiple of 84?
True
Suppose 4*b - 864 = 8*b. Let r be ((-3)/2)/(6/8). Does 9 divide b/20*5/r?
True
Suppose 5*i = -3 + 8, -3*i = -4*q + 381. Does 29 divide q?
False
Suppose -19 + 73 = f - 2*l, 10 = -2*l. Is 2 a factor of f?
True
Let w(p) = -p**2 + 4*p. Let d be w(3). Suppose 0 = o - d*o + 48. Does 8 divide o?
True
Suppose 0*k - 3*k = -4*w - 29, -9 = w + k. Let x be (2 - w/(-2)) + 7. Suppose 0 = u - x - 4. Does 9 divide u?
True
Suppose 4*n + 5*b - 35 = 0, 4*n = 3*n + 3*b + 13. Let m = -2 - -7. Suppose m*i - n*i = -125. Is i a multiple of 4?
False
Let x(f) = -18*f - 178. Is 8 a factor of x(-43)?
False
Let k(r) = -r**2 - 18*r + 20. Suppose -n = -3*b + 11, 5*n - 4*b = n - 52. Let d be k(n). Suppose 6*v + d = 10*v. Does 15 divide v?
False
Suppose -u - 4*u = -20. Suppose -k - 79 = -2*h, -2*k + 157 = u*h - 3*k. Does 13 divide h?
True
Suppose 0 = 90*m - 80*m - 940. Is m a multiple of 28?
False
Let t(a) be the third derivative of -a**6/120 + a**5/10 - 5*a**4/24 + a**3/3 + a**2. Suppose -5*x + 21 = 2*x. Is 14 a factor of t(x)?
True
Let r(i) = i**3 - 9*i**2 + 8*i - 11. Let g be (-24)/10*(-15)/2. Suppose 2*t - g = -0*t. Does 19 divide r(t)?
False
Is 12 a factor of 340 + (1 - (-3 + 4))*-1?
False
Suppose 2*f = f - 3. Let n be 2 + 5 + f/1. Let i = -1 + n. Is i even?
False
Suppose 4*b - 23 = -27. Is ((-47)/1)/(b/1) a multiple of 13?
False
Suppose 4*t - 4*c = 12, 0 = 4*t - c - 7 - 2. Suppose 4*b - 6 = 2*w, 3*b - 1 = -0*w - t*w. Is 8 a factor of ((-190)/40)/(b/(-4))?
False
Let w = 313 - -233. Suppose -9*q = -3*q - w. Is 9 a factor of q?
False
Let m = 544 + -326. Let u = m - 141. Does 18 divide u?
False
Suppose -782 = -19*h + 111. Is h a multiple of 6?
False
Let q be 42/((-6)/(-3))*1. Suppose 0 = 4*b - 4 - 8, -3*o = 2*b - q. Suppose -o*d + 40 = -105. Is d a multiple of 9?
False
Suppose u - 4*y = 18, 5*y - 2*y + 23 = -4*u. Let f = 5 + u. Does 2 divide f?
False
Let h = -66 + 69. Is 13 a factor of 30/h*(68/8)/1?
False
Let o be (-6 + 6)/(-2 + 3). Suppose -l + 113 = -o*t - 3*t, -215 = 5*t + 5*l. Let y = t + 77. Is y a multiple of 19?
True
Suppose 0 = -5*x + v + 263, -2*x - 4*v + 44 = -70. Suppose x = 7*f - 479. Is f a multiple of 19?
True
Let t = 338 + -126. Is t a multiple of 4?
True
Let b(r) = 36*r - 42. Let y(j) = 5*j - 6. Let h(p) = 2*b(p) - 15*y(p). Does 8 divide h(-4)?
False
Suppose 5*u - 2*p - 14 = 0, 2*p + 3*p - 19 = -u. Let d(m) = -1 + 1 - 3*m + u + 0. Does 8 divide d(-4)?
True
Is 3 a factor of 14/7*(251 - -2)?
False
Let f = 29 - 41. Does 37 divide 3260/22 + f/66?
True
Let y = -180 - -305. Suppose 6*t - y = -4*s + t, s + t = 31. Is s a multiple of 6?
True
Let x = 43 - 11. Let u = x - 50. Let j = u - -32. Is j a multiple of 7?
True
Suppose 0 = 2*t + 3*w + 18, -50 = 2*t - 6*w + w. Let p = t - -32. Is 2 a factor of -4 + 1 + 1 + p?
False
Suppose -30 = -13*o + 8*o. Suppose -30 = y - o*y. Is y a multiple of 2?
True
Let c(j) = -2*j + j + 6*j + 0*j. Suppose 4*l - 5*t = 3*l + 26, -2*l - t = 3. Does 4 divide c(l)?
False
Let c(g) = -6*g**3 + 9*g**2 + 70*g - 8. Does 11 divide c(-6)?
False
Suppose 0 = -2*n + b + 44, -n + 5*n - 96 = -2*b. Suppose n = 3*g - 73. Is 24 a factor of g?
False
Let g = 144 - 441. Is ((-8)/(-6))/((-3)/g) a multiple of 33?
True
Let m(x) = 1. Let p(i) = i**3 + 6*i**2 - 8*i + 11. Let n(o) = 5*m(o) - p(o). Let a = -1051 - -1043. Is 11 a factor 