/8)/((-1)/(-46)). Let r = v + c. Is r a multiple of 8?
False
Suppose 2 = 2*j + 8. Is -2*j/10*15 a multiple of 9?
True
Suppose -2*i - 2 + 6 = 0. Suppose i*v - 94 = -2*c, 0 = -4*v + 3 - 7. Suppose 48 = 2*t + u, -5*t + 72 = -2*u - c. Is 10 a factor of t?
False
Let j = 4 + 1. Suppose x - 6*x - 60 = -5*i, 2*i + j*x = 59. Is 17 a factor of i?
True
Suppose -r = -2*r + 11. Is r a multiple of 11?
True
Let a(t) = -7*t**2 - t. Let d be a(-2). Let h = d + 38. Is h a multiple of 3?
True
Let w = 17 - 5. Does 4 divide w?
True
Suppose -7*s + 72 = -4*s - 2*m, 0 = s - m - 25. Is s a multiple of 11?
True
Suppose 2*p + 3*p - 43 = -t, 2*t + 3*p - 51 = 0. Suppose y - t = 5. Is y a multiple of 8?
False
Suppose -2*u - u = 249. Let m = 135 + u. Suppose 3*r - i = -6*i + m, -2*r + 3*i = -22. Is r a multiple of 6?
False
Suppose -2*q = -5*z - 794, 5*q - 2004 = 2*z + z. Is 20 a factor of q?
False
Let g = 307 + -137. Is g a multiple of 34?
True
Suppose o + 325 = 3*h, -5*h + 2*h - 2*o = -322. Is h a multiple of 18?
True
Let c = 15 - 10. Is 18 - c/((-15)/(-6)) a multiple of 16?
True
Suppose 5*o - 4*v - 188 + 44 = 0, o - 2*v - 30 = 0. Is 7 a factor of o?
True
Suppose 2*a - 49 - 105 = -g, 5*a = 3*g + 407. Does 20 divide a?
False
Let m = -12 - -5. Let i = m + 12. Suppose 4*q + 165 = i*k, 0*q - 53 = -2*k - q. Is k a multiple of 10?
False
Let j be (4 + 0 + -2)*-1. Let b be 38 + ((-3)/3 - j). Suppose -2*c = b - 89. Does 10 divide c?
False
Let l(h) = 6*h + 1. Let s = -22 + 13. Let b be l(s). Let r = 88 + b. Is r a multiple of 14?
False
Let t(u) = -10*u + 7. Is t(-3) a multiple of 37?
True
Suppose 3*q - 123 = 21. Suppose 0 = 5*i - 42 - q. Is 6 a factor of i?
True
Does 11 divide ((-352)/(-6))/((-32)/(-48))?
True
Suppose 0 = -3*z + 4*z - 63. Is 21 a factor of z?
True
Let g be (-45)/(-10) + 9/(-6). Suppose -15 = -g*a, 3*q + 4*a = 54 - 10. Is q a multiple of 4?
True
Let u(o) = o**2 - 8*o + 5. Is u(-9) a multiple of 13?
False
Suppose -o + 35 - 1 = 0. Suppose -4*w - o = -126. Is w a multiple of 8?
False
Let a = 3 + 1. Let l be 27/6*a/6. Suppose l*x = 13 + 119. Is x a multiple of 16?
False
Let l(c) = 2*c - 3. Suppose o + 38 = 4*o + 4*z, 3*z = 3*o - 3. Does 9 divide l(o)?
True
Let j = 590 + -395. Is j a multiple of 12?
False
Let n(o) = o**2 + 2*o + 4. Let g be n(-4). Let b be (-3)/g - (-21)/4. Suppose -s = -b*s + 184. Does 17 divide s?
False
Suppose -a + y + 16 = a, -5*y = a + 14. Does 3 divide a?
True
Let l(i) = i**3 + 3*i**2. Let d be l(-3). Suppose -4*a + 32 = -d*a. Is a a multiple of 2?
True
Let r be (-2)/(-12) - (-29)/6. Suppose j = 3*b - 45, r*j = -17 + 2. Is 9 a factor of b?
False
Suppose -2*c + 3*c - 12 = 0. Let m be (c/(-7))/((-4)/14). Does 3 divide (m/4)/((-6)/(-44))?
False
Suppose -13 - 84 = -s. Does 12 divide s?
False
Let t(y) = 298*y**2 - 2*y. Let a be t(-1). Suppose 5*o = 5*k + a, -k + 2 = 1. Does 22 divide o?
False
Let i(m) = 5*m - 2. Is 8 a factor of i(2)?
True
Let d = -35 - -65. Is 15 a factor of d?
True
Let y(n) = 5*n - 6. Let m be y(5). Let v = 5 - m. Let o = 24 + v. Does 4 divide o?
False
Let o(u) = 17*u**2 + 4*u + 3. Does 7 divide o(-2)?
True
Let r(n) = 2*n**2 + 7*n - 6. Does 27 divide r(4)?
True
Let i(m) be the third derivative of -m**5/60 + m**4/3 - 5*m**3/3 - 3*m**2. Let s be i(7). Is (3/s)/((-1)/23) a multiple of 7?
False
Suppose -o - 4*f + 2504 = -6*o, 2*o + 1012 = -f. Is (o/(-70))/(1/5) a multiple of 9?
True
Let t(s) = s**3 - 4*s**2 + 2*s - 5. Let d be t(4). Suppose -2*j - j + d = 0. Suppose -5*x + j = -29. Does 6 divide x?
True
Let u(x) be the first derivative of x**4/2 - 2*x**3/3 + x**2/2 - 2*x + 1. Let y = 0 - -2. Is u(y) a multiple of 4?
True
Let y = 330 + -91. Suppose x - y = -3*l - x, 0 = 2*l + x - 161. Does 18 divide l?
False
Suppose 107*y = 111*y - 128. Is 2 a factor of y?
True
Let i(q) = -5*q**2 - 3*q - 6. Let v(o) = -3*o**2 - 2*o - 3. Let h(j) = 2*i(j) - 5*v(j). Let w be h(-3). Suppose -m = m - w. Does 9 divide m?
True
Let j(t) = -2*t**3. Let i be j(-2). Suppose i + 16 = 4*h. Is 5 a factor of h?
False
Is (5/(-2) - -2)*-62 a multiple of 18?
False
Let g(u) = u**3 + 9*u**2 - 7*u + 3. Let k be g(-9). Suppose 0 = a - k + 10. Does 16 divide a?
False
Let a(o) = o**3 + 3*o**2 + 4*o + 4. Let z be a(-3). Let f(p) = p**2 - 3*p - 2. Let x be f(5). Let q = x - z. Is q a multiple of 16?
True
Suppose -4*s = s + d - 194, -196 = -5*s + d. Does 12 divide s/3 + 2/(-2)?
True
Suppose -3*z = z - 8. Suppose 0 = -z*q + 5*q - 66. Does 11 divide q?
True
Suppose 2*p - 50 = p. Let s = -106 + p. Let b = 96 + s. Is b a multiple of 17?
False
Let b = 1 + 1. Suppose -5*m - 10 = 0, b*m = -d - 3*d + 52. Is 4 a factor of d?
False
Let l(s) = -s**3 + 10*s**2 - 7*s - 4. Does 12 divide l(9)?
False
Suppose -5 = -0*j - j. Is j a multiple of 3?
False
Let s = -76 - -129. Let c(j) = -j**3 - 3*j**2 - j. Let b be c(-3). Suppose -g - 15 = -z + 4*g, -s = -5*z + b*g. Does 5 divide z?
True
Let m be (6/(-4))/(24/(-592)). Suppose -27 - m = -4*o. Is o a multiple of 9?
False
Let n(g) be the third derivative of g**6/120 + 3*g**5/20 - g**4/12 - g**2. Let q be n(-9). Let k = q - 9. Does 9 divide k?
True
Suppose 4*v - 2*k + 66 = 0, -2*k = 3*v + k + 45. Let d = v + 28. Is 12 a factor of d?
True
Suppose -4*n = 4*b - 376, -267 = -3*b + 6*n - 4*n. Does 16 divide b?
False
Suppose 6*o - 4*o = 6. Let x = o + 0. Suppose -21 - 21 = -x*j. Is j a multiple of 7?
True
Let x be (4*(-2 + 0))/(-2). Let y = -2 + x. Suppose -y*f = 3*v - 6*f - 82, -5*v + 118 = -2*f. Is 11 a factor of v?
True
Does 5 divide 33/(-12)*6*32/(-12)?
False
Let x(h) = h**2 + h - 2. Let j be (-1)/5 - 192/40. Is 6 a factor of x(j)?
True
Let q be (-9)/(-2)*(-4)/3. Let r be -1*4*q/8. Let m = 0 + r. Is m a multiple of 2?
False
Let n(x) = -21*x - 72. Is n(-11) a multiple of 23?
False
Let t(f) = 2*f + 9. Let y(x) = x + 4. Suppose -7 + 19 = -2*v. Let s(g) = v*t(g) + 15*y(g). Does 11 divide s(6)?
False
Let q(w) = w**2 - 3*w + 4. Is q(6) a multiple of 11?
True
Let t be 0/(0/4 + 2). Suppose 8*l - 3*l - 220 = t. Is 21 a factor of l?
False
Let u(b) = -b**3 - 6*b**2 + 5*b + 10. Suppose 0*t - 5*t = 3*o + 11, 0 = -2*o - 4*t - 6. Is u(o) a multiple of 12?
True
Suppose 3*p = -p - 4. Let s(m) = -45*m**3 + m**2 + m + 1. Is s(p) a multiple of 23?
True
Let u be 0/(2*(-4)/4). Suppose -4*o + 3*f + 279 = 0, u*f + 3*f = -o + 51. Does 22 divide o?
True
Suppose 0 = -3*v - 11 + 5. Let k(d) = d**2 + 2*d + 3. Let j be k(-2). Let w = j - v. Is 2 a factor of w?
False
Suppose 5*n - 129 = 51. Does 36 divide n?
True
Suppose -2*w = 2*r + 1 + 7, 11 = -3*r - 4*w. Is 8 a factor of 58/r*(-10)/4?
False
Let g be (-1)/(1 + 2/(-4)). Let o be g/(-9) - 38/9. Let k(c) = -c**3 - 3*c**2 - c - 2. Does 9 divide k(o)?
True
Suppose 0 = -2*m + 144 + 178. Is m a multiple of 22?
False
Let g(h) be the first derivative of -8/3*h**3 + 1/4*h**4 + 2*h**2 + 2 + 0*h. Is g(8) a multiple of 16?
True
Is (-1 - -70) + (3 - 3) a multiple of 23?
True
Suppose -15 - 63 = -a. Suppose -4*r + a = 4*d - 90, 5 = r. Does 10 divide d?
False
Let m be (2/(-4))/(6/(-168)). Suppose 0 = -5*v + 5*c + 5, -c + m = v + 3*v. Suppose -2*a - v*a + 5 = 0, -4*n = -3*a - 185. Does 16 divide n?
False
Let s(l) = l**3 + 8*l**2 - 9*l - 15. Is s(-8) a multiple of 21?
False
Suppose -4*w + 5*u = -w - 424, 4*u - 379 = -3*w. Does 19 divide w?
True
Does 3 divide 1/(3 + 50/(-17))?
False
Let u = 50 - -6. Is 14 a factor of u?
True
Suppose -u = -2*u + 3. Suppose -u*k - k = -12. Suppose 46 = 2*i - 2*j, -5*i - j = -k*j - 112. Is 11 a factor of i?
True
Suppose -4*o + 60 = -0*o. Suppose 2*i = -3*i - 5*l - 50, -5*l = 15. Let n = o + i. Is 3 a factor of n?
False
Suppose -4*w - 360 = -9*w. Does 18 divide w?
True
Suppose 5*y = 70 - 30. Is y a multiple of 8?
True
Does 10 divide (-23)/((-156)/(-32) - 5)?
False
Suppose -3 = 4*y - 3*y. Let d(j) = -3*j - 2. Is d(y) a multiple of 7?
True
Suppose 4*t + 22 = 6*t. Is 11 a factor of t?
True
Let b = 20 - 12. Suppose 3*a - a = b. Suppose 2*o - a*o = -36. Is 9 a factor of o?
True
Let n = 0 - -4. Is 22/n - 1/2 a multiple of 5?
True
Let h = 3 + 0. Does 2 divide -2*h/6*-5?
False
Suppose -3*w - 2*w + 170 = 0. Suppose 0*m = m - 2*c - 4, -w = -m - 4*c. Is m a multiple of 14?
True
Let n be -21*(2 - (3 + 0)). Let r be (-6)/n - (-60)/14. Suppose r*a - 55 = -a. Is a a multiple of 11?
True
Suppose z + 0*z - 2 = 0, s - 2*z + 4 = 0. Let c(x) 