uppose -o - 60 = -5*o. Is o a multiple of 10?
False
Suppose 3*a - 3 = 3. Suppose 43 = a*c + y, 4*c + 5 - 88 = -3*y. Suppose -4*g + 48 = -3*n, g - 2*n + c = 2*g. Is 15 a factor of g?
True
Let d be (-6)/21 + 2/7. Let j = d - -18. Is j a multiple of 18?
True
Let x(g) = g**3 + g**2 + 49. Let h be x(0). Suppose 0 = -w - 2*c + h, -5*w - 2*c = 2*c - 275. Is 14 a factor of w?
False
Let o = 218 + -24. Is 18 a factor of o?
False
Suppose -4*j = 2*u + 2*u + 40, -3*j + u - 46 = 0. Let x = j - -28. Does 7 divide x?
True
Suppose 2*s = 3*s + 4*q + 2, -3*q + 5 = 4*s. Let u(r) = 1 - 5*r + r**2 + 0*r**s + 8. Is 10 a factor of u(6)?
False
Suppose 0*u + 5*u = 5. Is 6 a factor of -14*(u + 1 - 3)?
False
Let o be (-10)/(-14) + (-4)/(-14). Let s be o + 0 + 1 + 6. Let a(g) = g**3 - 7*g**2 - 5*g - 8. Is a(s) a multiple of 10?
False
Suppose 0 = 2*a - 7 - 31. Is a a multiple of 7?
False
Suppose -2*w - 97 = 5*j, 3*j = -j + 3*w - 73. Let u = j - -28. Is 9 a factor of u?
True
Suppose 0*s + 60 = 3*o - 2*s, o - 21 = s. Let t be ((-12)/5)/(o/405). Is 0 - (-1 - -1) - t a multiple of 19?
False
Let m(s) = 15*s**3 + 2*s**2 - 2*s - 3. Is 11 a factor of m(2)?
True
Suppose -d + 1 = a + 3*d, -5*a - 10 = 5*d. Let w(m) be the first derivative of -11*m**2/2 + m + 1. Does 13 divide w(a)?
False
Let q = 36 + -19. Is 5 a factor of q?
False
Is 5 a factor of ((-2)/6)/((-12)/3204)?
False
Let c = 350 - 78. Is 17 a factor of c?
True
Let g = 4 + 13. Does 5 divide g?
False
Let o(v) = 5*v. Let b(k) = k. Let a(w) = 6*b(w) - o(w). Let c be 1/(1/(-8)*-4). Does 2 divide a(c)?
True
Does 3 divide (11 - -1)/((-12)/(-18))?
True
Suppose -15 + 159 = 2*w - 5*p, 0 = 5*p. Is w a multiple of 21?
False
Suppose 101 = 4*m - 59. Suppose 3*h - 8*h + m = 0. Does 2 divide h?
True
Let l(m) = m**3 - 8*m**2 + 2. Let p be l(8). Suppose 5*a - 12 = i, -5*a + p = -3*i - 4. Does 2 divide a?
False
Suppose 43 - 172 = -3*p. Suppose 265 = -5*a + 980. Suppose -a = -4*j - p. Is 16 a factor of j?
False
Let b(s) = -s**2 + 12*s + 3. Let k be b(12). Is -2 + (25 - k)/2 a multiple of 2?
False
Let z = 81 + -53. Suppose 5*r + 3*w - 22 = 15, 4*w = -4*r + z. Suppose 4*d + r = 36. Does 4 divide d?
False
Suppose -5*h + 32 = 4*o - 0*o, o + 4*h - 19 = 0. Let u(c) = -c**2 - 3*c - 3*c**2 + 2 + 2 + 5*c**2. Is u(o) a multiple of 2?
True
Let y(d) = -d**3 - 13*d**2 + 22*d + 27. Is 21 a factor of y(-15)?
True
Suppose 5*y - i - 59 = -3*i, -y - 2*i = -15. Let l = y + -3. Is l a multiple of 8?
True
Let f(s) = 21*s**2 - 3 + 3 + 1 + 14*s**2 + 2*s. Does 17 divide f(-1)?
True
Let t = 72 + -12. Does 20 divide t?
True
Let o be -12*6/4 + -2. Let y = o + 57. Does 5 divide 6/(-21) + y/7?
True
Let l be 3/(-1 + (-1 - -3)). Let x(u) = -12*u - 5 + 3*u**2 + u + 4*u + 0*u**2 + u**l. Is x(-4) a multiple of 2?
False
Let h = 3 + -1. Suppose 2*o = 3*j - 15, 0*o + 3*o = h*j - 10. Suppose 0*n - 2*n + 20 = o. Does 7 divide n?
False
Suppose 7 + 3 = -5*f. Let j be 103/7 - f/7. Suppose 4*t - 5 = j. Does 3 divide t?
False
Suppose -5*f - 3*x = -405 - 384, -f + 151 = 4*x. Is f a multiple of 28?
False
Suppose -4*d + 3*a + 145 = -0*d, 9 = -3*a. Let o = -7 + d. Does 9 divide o?
True
Let z be (12/(-8))/((-2)/(-4)). Let l be ((2 - 2)/z)/2. Let b(y) = -y + 47. Is b(l) a multiple of 12?
False
Let n = 66 - 191. Let h = -59 - n. Is h a multiple of 22?
True
Let l = 295 - 183. Does 37 divide l?
False
Suppose -u - u + 36 = 0. Does 6 divide u?
True
Suppose -5*g = -5 - 15. Suppose -26 + 6 = g*m. Let o(p) = -3*p. Is 6 a factor of o(m)?
False
Suppose -3*x = -2*s - 3*s - 330, -102 = -x - s. Does 17 divide x?
False
Let k be (2/6)/((-3)/(-36)). Suppose -5*b + 33 = -4*g, -k*b + b + 39 = 4*g. Does 3 divide b?
True
Let y = -118 - -218. Does 17 divide y?
False
Suppose -4*h = 4*o + 32, -5*h - 2*o - 23 = 8. Let x be (0 + 18)*(-2)/(-2). Let z = x - h. Is z a multiple of 15?
False
Suppose 17*y = 19*y - 300. Is y a multiple of 9?
False
Suppose -3 + 14 = a. Is 19 a factor of 11/(a/60) - -1?
False
Suppose 5*w = 14 + 1. Suppose w*z = 3 + 24. Is 3 a factor of z?
True
Let q = 142 + -100. Is q a multiple of 21?
True
Let a(s) be the first derivative of 2*s**3 - s**2 + 3*s - 4. Is 23 a factor of a(2)?
True
Let a(y) = y - 6. Let i be a(6). Let l be (-1 + -9)*3/2. Is 16 a factor of 1 - l - i/1?
True
Let j(q) = 3*q**3 - 2 - 9*q**2 + 2 - 2*q**3 + 11*q + 6. Is j(8) a multiple of 15?
True
Suppose 2*s = -5 + 17. Does 2 divide s?
True
Suppose -290 = -5*n + 5*u, 0 = 5*n + 2*u - 418 + 114. Is 8 a factor of n?
False
Let n = 300 + -145. Suppose -n = -4*k - o + 4*o, 0 = o + 5. Suppose -2*g + 3 = -k. Is 13 a factor of g?
False
Let r be (-5)/15 + (-1)/(-3). Suppose 0*h + 4*h - 60 = r. Is 10 a factor of h?
False
Suppose w - 5*w + 4*f = -180, -5*w = -4*f - 222. Does 14 divide w?
True
Let k(f) = 12*f**2 - 14*f - 6. Is 52 a factor of k(-5)?
True
Let l(g) = -g**3 + 3*g**2. Let q be l(3). Let w(u) = -4 + 2*u + q*u**2 + 2*u**2 - 6*u. Is w(-3) a multiple of 13?
True
Let b = -25 - -37. Suppose b = q - 10. Is 11 a factor of q?
True
Suppose 0 = 2*i + 5*v + 32, -5*i - 13 = 5*v + 37. Let h(z) = -z - 3. Let w be h(i). Is 1/w + 50/3 a multiple of 9?
False
Suppose 4*o - 1 + 3 = 3*d, 0 = 5*d - 2*o + 6. Suppose 4*n = 3 + 333. Does 14 divide (n/(-2))/(1*d)?
False
Suppose 4*p - 15 = -3*l + 6*p, -2*p = -2*l + 10. Suppose 2*g + l*c = -12, 3 = -g - 4*c - 9. Is 3 a factor of g?
False
Suppose 3*l = -3*m + 30, 0*m - 2*m - 4*l = -18. Is m a multiple of 9?
False
Let i(r) = -r**2 + 6*r + 4. Is i(4) a multiple of 6?
True
Suppose -4*k + 41 + 35 = 0. Let b = -16 - k. Is 0/(-1) - (b - -5) a multiple of 18?
False
Let n be 2 - 14/(-4)*-2. Suppose 2*f = -0*f + 14. Let l = n + f. Is l even?
True
Let y = -7 - -12. Suppose 2*x + 0*x + y*h - 28 = 0, 5*x - 100 = -5*h. Is 11 a factor of x?
False
Let i(n) = 4*n**3 + 5*n**2 - 5*n + 2. Suppose t = -2*v + 5, 3*t - 6*t = 5*v - 14. Let b be i(t). Suppose -4*p - 44 + b = 0. Is p a multiple of 12?
True
Let o = 7 + -7. Suppose o = -2*k - c + 9, 12 + 3 = 5*k + 5*c. Is k a multiple of 6?
True
Suppose -b - 4 = -1, -3*u = -4*b - 114. Let c(s) = -s**3 - 8*s**2 - 8*s + 3. Let m be c(-6). Let v = u + m. Is v a multiple of 5?
False
Let f = 2 - -4. Let l(s) = 10*s - 1. Does 21 divide l(f)?
False
Suppose -2*o = -o - 4*s - 104, o + 3*s = 111. Is 34 a factor of o?
False
Let z = -15 - -31. Let l be z/(-2)*(1 - -1). Let o = -11 - l. Is o a multiple of 2?
False
Let d(l) = l**2 + 7*l + 7. Let g be d(-6). Does 2 divide -2 - -7 - -1 - g?
False
Suppose -5*l - 105 = 5*v, -60 = l + 3*l - 4*v. Let j = l - -28. Suppose -3*p + 35 + j = 0. Is p a multiple of 15?
True
Let m(p) = -2*p**3 - 29*p**2 + 7*p - 23. Let w(f) = -f**3 - 14*f**2 + 4*f - 11. Let l be (-80)/6 + 1/3. Let o(x) = l*w(x) + 6*m(x). Does 14 divide o(-9)?
True
Let h be (-88)/(-5)*(-45)/(-6). Suppose 5*y - 4*y - h = -4*k, 99 = 3*k + y. Does 9 divide k?
False
Let l(k) = -2*k**2 - 2*k. Let w be l(3). Let t be w*(-3)/12*2. Is 12 a factor of ((-18)/8)/(t/(-128))?
True
Let z(q) = q**2 + q. Let r be z(-1). Suppose -p = -r*p - 20. Does 9 divide p?
False
Let f(r) = 60*r**2 - 5*r + 4. Is 12 a factor of f(2)?
False
Suppose 4*r - 130 = -2. Is 23 a factor of r?
False
Suppose 4*a = 3*v + 32, -3*a = -3*v + 5*v + 10. Let b be -14*(0 - (-4 - -3)). Let f = v - b. Is 3 a factor of f?
True
Let g = -123 - -235. Is 14 a factor of g?
True
Let n(a) be the third derivative of a**6/12 + a**5/60 + a**4/24 - a**3/6 + 3*a**2. Is n(1) a multiple of 11?
True
Suppose 2*g - 93 = -3*v, 4*v - 147 = g + 4*g. Is 11 a factor of v?
True
Suppose r - 2*r + 2*h = -160, -h = 2. Is 35 a factor of r?
False
Is 1*136 + (-7)/28*4 a multiple of 45?
True
Let d = 7 - 2. Suppose 13 = -2*g - w, d*g + 4*w = -19 - 9. Is 5 a factor of -6 + (-1 - -4) - g?
True
Let r = 6 + 2. Is r a multiple of 8?
True
Suppose -p = -1 - 0. Let r = p + 2. Is 2 a factor of r?
False
Suppose -4*o + 6 = -18. Suppose -d = 3*k - 27, 5*d - 115 = o*k - k. Is 8/d + (-17)/(-3) a multiple of 6?
True
Let z(h) = -h**2 + 5*h - 4. Let q be z(3). Is -3 + -2*(-17)/q a multiple of 3?
False
Suppose -3*m + 3*t - t - 116 = 0, -m - 34 = -3*t. Is 0/(-1) - (m - -12) a multiple of 6?
False
Suppose -2*t = 3*t. Is 2 a factor of 13 - 10 - (1 - t)?
True
Let k be (-2)/(-3) + 10/(-15). Suppose 0 = -k*w + w + 12. Is 4 a factor of (w/(-15))/((-2)/(-10))?
True
Let c be 4/16 - 19/(-4). Suppose -w - c 