t h = v + 146. Is h a multiple of 11?
True
Let g be 10/(4 + 0 + -2). Suppose 2*z - 12 = 4*f - 228, -f = -3*z - 59. Suppose -3*p + f - g = 0. Is p a multiple of 8?
True
Let g = -12 + 14. Suppose -2*k = a - 51, 7*k - 4*k - g*a = 73. Is 10 a factor of k?
False
Suppose 0 = -0*k + k. Let m(p) = 15*p - 2. Let v be m(8). Suppose -4*z + 2*w + v = k, z = -5*w + 24 - 0. Is z a multiple of 17?
False
Let z(f) = 6*f + 43. Does 2 divide z(-6)?
False
Let i = 22 + -1. Does 18 divide i?
False
Suppose 4*v + 7 = 6*b - b, -5*b + 9 = -3*v. Suppose 4*o - 25 = b. Is 11 a factor of 56/5 + o/(-35)?
True
Suppose -a = 5*w + 2, -a + w + 0 = 2. Let o = 2 + a. Suppose o = p - 0*p - 7. Is p a multiple of 7?
True
Is -1*-26*17/2 a multiple of 37?
False
Does 14 divide (-42 + 0)*6/(-9)?
True
Let z(m) be the third derivative of m**4/12 - 2*m**2. Let a(o) = 11*o - 1. Let y(g) = -6*a(g) + 34*z(g). Is y(5) a multiple of 5?
False
Let w(s) = -3*s**3 - 3*s**2 + 5*s + 4. Let b be w(-4). Let g = 39 + b. Suppose 3*u - x = 127, 0*u - g = -4*u - x. Is 14 a factor of u?
True
Suppose 4*s + 7*c - 3*c = -8, 2*s - 4*c - 20 = 0. Suppose -5*g = -3*v + 32 + 13, 0 = 3*v - s*g - 36. Is 5 a factor of v?
True
Suppose -13 = -p + 2*b + 15, 2*b - 6 = 0. Is 17 a factor of p?
True
Let h(y) = 7*y - 5. Let d be h(8). Let c be 3 + 2 + 24 - 0. Let w = d - c. Is w a multiple of 11?
True
Is 11 a factor of 5 + -2 - 1*-8?
True
Suppose -4*w = -3*l + 14, 4*l + 0*l + 3*w - 27 = 0. Suppose r + l = 13. Let h(a) = a**3 - 8*a**2 + 8*a + 1. Is h(r) a multiple of 6?
False
Let k be ((-20)/6)/((-20)/30). Suppose 0 = -5*x + 3*g - 5*g + 208, 4*g = k*x - 214. Is 14 a factor of x?
True
Let i(b) be the third derivative of b**5/60 + b**4/24 + b**3/6 + 6*b**2. Does 7 divide i(4)?
True
Let w(m) be the second derivative of 1/3*m**3 + 3*m**2 + 0 - 3*m. Is w(6) a multiple of 13?
False
Let b(a) = -a**2 + 6*a - 5. Let m be b(4). Suppose -m*u - 3 = -4*u. Suppose 21 + 51 = u*y. Does 12 divide y?
True
Let a = -3 + 60. Is 19 a factor of a?
True
Suppose -3 = 5*f - 6*f. Suppose 2*c - 5*t = 30, t - f*t + 4 = 0. Is c a multiple of 9?
False
Suppose p = 2*p - 3. Let z(w) = 8*w - 4. Does 10 divide z(p)?
True
Let x = 51 - 21. Let o = x - 2. Does 14 divide o?
True
Does 15 divide (32 - 7) + (-1 - -2)?
False
Let p be ((-36)/24)/(6/(-8)). Suppose p*b + 5*j = 27, 2*j - 7*j + 25 = 0. Does 20 divide (80/12)/(b/3)?
True
Let t(p) = -2*p. Let a be t(-2). Suppose 6 = a*h + 2. Is (-9)/(h/(-3)*1) a multiple of 9?
True
Suppose 0 = 4*n + 34 - 46. Is 3 a factor of n?
True
Suppose -w - 7 = -2*n, 5*n - 24 = -3*w - w. Let g be (2/w - -1) + -3. Is (6 + -10)*(g + -8) a multiple of 16?
True
Suppose -150 = -4*r - 2*r. Does 11 divide r?
False
Let w = -4 - -7. Suppose -3*q = w*o, 0*q - 2 = -3*o - 2*q. Suppose f + o*f = 30. Is f a multiple of 5?
True
Let y(t) = 2*t**2 + 1. Let n be y(1). Suppose 0*x = n*v - 5*x + 16, -4*v - 14 = -3*x. Is 20*1/(-5)*v a multiple of 5?
False
Let q = -104 + 234. Suppose 3*d - 86 = 3*p - 7*p, 5*d + 4*p - q = 0. Suppose 3*s - d = 2. Is 3 a factor of s?
False
Let l be (-3)/1 + (-12)/(-3). Let f(x) = x**3 + x. Let q be f(l). Suppose -2*p = q*p + 3*a - 145, -p + 36 = a. Is 18 a factor of p?
False
Let w(q) = q**3 - 9*q**2 + 5*q + 11. Is w(10) a multiple of 23?
True
Let h(r) = 3 - r - 1 - 6. Let i be h(-6). Suppose -88 = -5*s + 5*v - 28, -i*s - 3*v = -24. Is 7 a factor of s?
False
Suppose o + 2*j = 4*j + 78, -3*j = 4*o - 268. Does 19 divide o?
False
Let m(g) = -g**3 - 6*g**2 - 2*g - 3. Is m(-6) a multiple of 6?
False
Suppose 6*x + 336 = 10*x. Does 14 divide x?
True
Let i = 385 - 254. Suppose -t + 3*t + 3*h = 93, 4*t - i = 5*h. Is 13 a factor of t?
True
Let l be 18/5 + (-15)/25. Suppose -l*a + 29 = 2. Is 7 a factor of a?
False
Let x be (-12)/2*(-7)/14. Suppose x*k + 6 = 0, 4*k = -6*h + 2*h + 32. Is h a multiple of 4?
False
Let z = 23 + -19. Is 10 a factor of (4/(-5))/(z/(-50))?
True
Suppose -2*g - 3 = -3*g, -2*g = -h + 26. Let x(r) = r - 5. Let o be x(-11). Let l = h + o. Is 8 a factor of l?
True
Suppose 0 = f + 5*s, 0*f - s = -f + 24. Is f a multiple of 5?
True
Suppose 5*o + 20 = g + 3*o, 3*g = 3*o + 75. Is 15 a factor of g?
True
Suppose 0 = -3*r - 6, -304 = -5*s + 5*r + 76. Does 41 divide s?
False
Suppose -2*j + 10 = -2*f, -2*f + f + 3*j = -3. Let b = 24 + f. Does 15 divide b?
True
Let o = 0 + 1. Let n be 2/o + (-4)/(-2). Suppose -2*d + 52 = n*b, -2*d + 5 = -b - 37. Does 11 divide d?
True
Suppose 127 = 3*h - 269. Suppose 0*j = -3*j + h. Is 22 a factor of j?
True
Let y(k) = 2*k**2 - 5*k + 1. Suppose -j - 6*n - 5 = -n, 0 = 3*j - 2*n - 2. Let z be (-3 + 7)/(1 + j). Is y(z) a multiple of 6?
False
Suppose 4*x - 2*l = -118, l + 86 = -3*x + 2*l. Let g = 45 + x. Is 9 a factor of g?
True
Let l = -5 + 51. Is 12 a factor of l?
False
Let r be 4/6 + 8/(-12). Suppose r*o + 12 = 4*o, 24 = 3*j + 5*o. Suppose j*b = 6 + 48. Is 9 a factor of b?
True
Let b = 35 - 19. Is b even?
True
Let c(m) = -m**2 - 8*m - 2. Is 4 a factor of c(-6)?
False
Let b(h) = -h**2 + 10*h - 2. Suppose 1 + 7 = 2*y. Does 11 divide b(y)?
True
Let i(s) = -s**2 + 6*s - 2. Let h be i(6). Does 16 divide h/(-4) - 90/(-4)?
False
Let t(h) = 83*h - 1. Let x be t(2). Suppose 4*f = -f + x. Does 15 divide f?
False
Let b(l) = 2*l - 17. Let a(d) = d - 6. Let w(n) = -11*a(n) + 4*b(n). Is w(-5) a multiple of 5?
False
Suppose 2*a - 204 = -0*a + 3*j, 5*j = -4*a + 364. Is a a multiple of 16?
True
Suppose 0*i + 3 = i. Suppose -4*n - 13 = -5*g, -i*n = -4*g - g + 11. Is 29 + (1 - (n - -4)) a multiple of 14?
True
Let j(p) = p**2 - 2*p - 11. Let c(x) = 5*x**2 - x. Let v be c(-1). Is j(v) a multiple of 10?
False
Let i(y) = 15*y**2 - y - 2. Is i(2) a multiple of 22?
False
Let p be 0/((-2)/(3 + -1)). Suppose -g + p*g = 2*r + 2, -2*r = -g + 2. Suppose g = -0*l - 2*l + 20. Is l a multiple of 10?
True
Let v = 1 + 1. Suppose 5*i - 4*t = t + 130, 5*t = -v*i + 24. Does 11 divide i?
True
Suppose -4*l + 720 = -0*l. Suppose -8*z = -10*z + l. Does 13 divide z?
False
Let x(i) = -3*i + 5. Let b be x(4). Let j = b - 45. Let u = j - -76. Does 24 divide u?
True
Let a = 53 + -38. Suppose -a - 21 = -o. Is 12 a factor of o?
True
Let f = -3 - -3. Suppose f = 4*x - 3*c - 217, x - 2*c = -4*c + 68. Is x a multiple of 29?
True
Let u = 24 + -10. Is 14 a factor of u?
True
Let p(u) = -6*u - 1. Let t be (35/(-15))/(1/6). Let r = t - -8. Is p(r) a multiple of 10?
False
Let c(f) = -2*f - 10. Let b be c(-16). Suppose -5*d + 23 + b = 0. Is d a multiple of 7?
False
Let g(y) be the first derivative of y**3/3 + 7*y**2/2 - 2. Let z be g(-7). Suppose z = -5*v + 16 + 44. Is 5 a factor of v?
False
Let q be 1/(-5) - (-241)/5. Let h = q - -29. Let f = -46 + h. Does 11 divide f?
False
Suppose -27 = -l + 9. Is 36 a factor of l?
True
Is ((-6)/8)/(1/(-92)) a multiple of 23?
True
Does 6 divide 9*((-3)/15 - (-78)/90)?
True
Suppose -4*k = 3*f + 61, 0*k + f + 52 = -3*k. Let p = 57 + k. Does 14 divide p?
False
Let w(m) = -m**3 + 4*m**2 - 4*m + 2. Suppose -6*l = -l - 15. Let k be w(l). Does 7 divide k/(-4)*2*14?
True
Suppose -4*b - 3*j + 2*j + 57 = 0, 0 = 3*b + 5*j - 64. Is b a multiple of 13?
True
Let c(m) be the first derivative of m**2/2 + 3*m - 2. Let b be c(5). Let p(u) = u**3 - 8*u**2 + u - 2. Does 3 divide p(b)?
True
Let r(d) = -3*d**3 + 2*d**2 + d. Let s be r(-1). Suppose s*f = -0*f + 8. Suppose -4*k - f*h + 4 = -2*k, -5*k - h = -26. Does 6 divide k?
True
Suppose -3*v - 2*v + 165 = 0. Is v a multiple of 7?
False
Let n(y) = -5 + y + 31 - 7. Let s be (3*-3)/(2 - 1). Is 6 a factor of n(s)?
False
Suppose 3*u - 56 = -4*m, -2*u - 4*m + 37 = -m. Let q be u*(3 - 18/10). Suppose f - 3 = -8*b + 4*b, -4*f - 4*b + q = 0. Is 7 a factor of f?
True
Suppose 4*y + 30 = -y. Does 9 divide y/12 - (-38)/4?
True
Let b = 10 + -17. Let p = 10 + b. Is p a multiple of 3?
True
Let s(j) = -j**3 + j - 2. Let c(o) = 1. Let p(a) = 2*c(a) - s(a). Suppose 4*y = -0*y. Does 3 divide p(y)?
False
Suppose -o = -2*v + 436, -3*v + 668 = -0*v - 5*o. Does 27 divide v?
True
Let x be ((-6)/5)/((-2)/40). Let v = -3 + x. Is (-94)/(-14) - (-6)/v a multiple of 3?
False
Let c = -1 + 3. Suppose 4*t - 5 = s, 5*t + 3 = -c*s - 7. Is 13 a factor of 1*(-1 + t) - -14?
True
Let m(d) = -2*d - 7. Let a be m(-6). Suppose a*l = l + 28. Is l a multiple of 4?
False
Let n(a) be the second derivative of -a**7/840 - a**6/60 -