be h(5). Is 5 a factor of ((-8)/(-12))/(l/(-15))?
True
Suppose 2*z - b = -3*z - 186, 4*b = -5*z - 181. Does 20 divide 1*(-1)/1*z?
False
Let d(r) = 12*r + 44. Does 50 divide d(13)?
True
Let d be 14/35 + 6/10. Is 13 a factor of 115/(-10)*(-3 + d)?
False
Let b(c) = 2*c**3 - 2*c**2 - c - 1. Let a be b(2). Suppose 3*m + 3 = 4*m, -5*m + 25 = a*d. Suppose d*t = t + 14. Is 10 a factor of t?
False
Suppose -10*t + 49 = -861. Is t a multiple of 7?
True
Suppose -162 = -15*v + 9*v. Is 27 a factor of v?
True
Suppose -5*z + 15 + 131 = -2*c, 0 = 3*z - c - 87. Let a = 46 - z. Does 6 divide a?
True
Let o be 3*((-60)/9)/(-4). Suppose -33 = -2*b + 2*q + 27, o*b + q - 174 = 0. Is 13 a factor of b?
False
Does 12 divide (-35)/(-40)*2*48?
True
Let u be ((-16)/(-6) - 2)*6. Suppose 0 = -0*c + u*c - 36. Does 5 divide c?
False
Suppose c = -5*c + 792. Is c a multiple of 28?
False
Let p = 122 + -74. Does 16 divide p?
True
Let c(i) = -23*i - 1. Is 16 a factor of c(-1)?
False
Suppose 4*u - 32 = -0*u - 4*z, -u - 4*z = -23. Let f(w) = w**3 - 4*w**2 + w + 3. Let l be f(3). Let o = u - l. Is o a multiple of 6?
True
Let s(r) = 209*r**2 + 2*r - 4. Does 23 divide s(1)?
True
Let z(w) = -w**2 - 11*w + 0*w**2 + 2*w + 2. Let p be z(-8). Does 16 divide (-106)/(-5) + (-2)/p?
False
Suppose 0 = -k - 3 - 2, y = k + 106. Let q = -41 + y. Suppose -q = -10*v + 5*v. Is v a multiple of 10?
False
Let v be (-1)/(-1*(-1)/(-4)). Suppose 0 = s + b - 7, -3*s - 5*b - v = -23. Is 8 a factor of s?
True
Let s be (-2 - 0)/(2/11). Let z = 28 + s. Is 7 a factor of z?
False
Let q(h) be the first derivative of 7*h**3/3 + h**2 + 1. Suppose 0 = g + 17 - 15. Does 20 divide q(g)?
False
Suppose -5*h - 2*i = -525, -157 = -2*h - 5*i + 53. Is 17 a factor of h?
False
Let h = 6 - 3. Suppose -204 - 144 = -h*f. Suppose -f + 17 = -3*o. Does 12 divide o?
False
Let a = -3 - -6. Suppose 0 = -a*g + g + 98. Let p = g + -27. Is p a multiple of 14?
False
Suppose 2*t = -6 + 16. Suppose -t = m, 5*m = 2*n - 1 - 14. Let s = 8 + n. Is 2 a factor of s?
False
Let a = 4 + -1. Suppose -a*b + 6*b - 84 = 0. Is 11 a factor of b?
False
Suppose -26 = 4*b - 2*v - 90, -3*b - 5*v + 48 = 0. Suppose -3*l = -5*s + b, -5*s + 8 - 2 = 2*l. Let p = 3 + s. Does 2 divide p?
False
Suppose 0 = -3*j + 3*a + 246, -2*a + 95 = 3*j - 146. Is j a multiple of 27?
True
Let n(m) = m**2 + 2*m - 3. Let h be n(-4). Suppose 3*a - 5*s + 4 = 33, -h*s - 14 = 2*a. Suppose -4*o + 2*o + 27 = -5*d, d + 34 = a*o. Does 11 divide o?
True
Suppose 3*d - 6*d + 4*h = 2, -7 = 5*d - 3*h. Let a be d + 2 - (1 + -53). Suppose -5*f + a = -28. Is 16 a factor of f?
True
Let k(b) be the second derivative of -b**3/6 + 101*b**2/2 + 3*b. Let y be k(0). Suppose -4*t + 15 = -y. Is t a multiple of 14?
False
Let l = -5 + 6. Let r = 16 - l. Is 3 a factor of r?
True
Let v be ((-27)/(-4))/(2/8). Suppose -y + v = y - 3*h, 3*y = 2*h + 33. Let o = 37 - y. Is 14 a factor of o?
True
Does 29 divide (90/(-9))/(2/(-10))?
False
Suppose a + 99 = 2*a. Is a a multiple of 27?
False
Let w = -3 + 5. Suppose 14 + 14 = 4*l - w*p, -3*p = 6. Does 7 divide 24*(-1)/(-8)*l?
False
Let b(u) = -u**2 + 6*u - 3. Let f be b(5). Suppose h + f = -14. Is (-196)/h - 2/8 a multiple of 6?
True
Suppose 0 = 3*u - m + 4, m + 7 = -2*u + 6*m. Is 15 a factor of (u/2)/1*-106?
False
Is 17 a factor of 51*(-2 - (-16)/6)?
True
Suppose -5*o + o + 80 = 0. Is 10 a factor of o?
True
Suppose 5*f + 0*i - 6 = 3*i, -5*f - 10 = 5*i. Let b(k) = k**3 + k**2 + 26. Does 13 divide b(f)?
True
Is 0 + 4 - 4 - -75 a multiple of 20?
False
Let m(l) be the first derivative of -2*l**2 - 13*l - 5. Does 12 divide m(-10)?
False
Suppose -10 - 18 = 7*x. Does 13 divide 54 + (8/x)/1?
True
Let h = 2 + 0. Suppose -h*m + m = 0, 3*j - 12 = 2*m. Is j a multiple of 4?
True
Suppose -4*h - 5*q = -337, -2*q + 1 = 7. Does 18 divide h?
False
Let c = -65 + 87. Is c a multiple of 11?
True
Let d be 6/2 + -1 + 1. Let o be 26/d - 1/(-3). Suppose o = -2*c + 3*c. Is c a multiple of 3?
True
Let l be (3 - -3)*1/2. Suppose h - 2*m = 2, -5*h - 2*m + 19 = -l*m. Suppose -33 - 39 = -3*v - 4*k, 4*v + h*k = 100. Is 11 a factor of v?
False
Let t be (-8)/(-20) + (-16)/(-10). Suppose 3 = w - t. Suppose 4*j + 2*b - 118 = -18, w*j = 2*b + 116. Is j a multiple of 15?
False
Let p(v) = -v**3 + 11*v**2 - 9*v - 7. Let b be p(10). Suppose 4*g - b - 13 = 0. Is g a multiple of 2?
True
Let r = 90 - 15. Let p be 16/5*r/6. Suppose -p = -5*t - 4*q, -t + 2 + 7 = q. Does 4 divide t?
True
Let j be 2/7 + 10/14. Suppose 10 = -3*g + j. Is 8 a factor of (3/g)/((-1)/8)?
True
Suppose -4*h + 42 + 65 = 3*x, 78 = 3*h + 3*x. Let b = h - -1. Is b a multiple of 8?
False
Suppose -21*c + 17*c = -88. Is 9 a factor of c?
False
Suppose 0 = 5*i - 10 - 10. Suppose -i*l - 6 = -3*g + 14, l = 1. Let n(p) = 2*p + 4. Is 10 a factor of n(g)?
True
Let s(j) = 17*j - 24. Is 19 a factor of s(7)?
True
Let i(m) = m**2 + m - 1. Let v(k) = 5*k**2 - 9. Let c(r) = 6*i(r) - v(r). Let j be c(-6). Suppose -j*w + 3 + 21 = 0. Is w a multiple of 5?
False
Let i = 115 + -40. Is i a multiple of 22?
False
Suppose 10 + 5 = 5*t. Suppose -u + 1 = t. Is 12 a factor of (u - -3*1) + 11?
True
Let l(s) = -s**3 - 7 + 10*s + 18*s**2 - 8*s**2 + 0*s**3 + 2*s. Is l(11) a multiple of 3?
False
Let x = -36 - -57. Suppose a = -0*a + x. Is a a multiple of 18?
False
Let n(i) = 0*i + i - i - i - 2. Is n(-10) a multiple of 4?
True
Suppose 2*q + 1 = 3. Let t(j) = -2*j**2 + j**3 + j**2 + 9*j**3. Is t(q) a multiple of 3?
True
Suppose 2*x - 13*x = -1232. Is x a multiple of 26?
False
Suppose 4*n - 314 = -222. Is 7 a factor of n?
False
Suppose 9*f = 5*f + 196. Does 16 divide f?
False
Let l = 17 - -6. Suppose 2*u = -2, -4*f + 2*u = -101 + l. Is f a multiple of 8?
False
Let m be ((-7)/2)/(2/(-4)). Suppose 0 = -l + r + m, 2*l + 5*r + 23 = 4*l. Is 2 a factor of l?
True
Let g = -7 + 4. Let a = 5 + g. Is 131/5 - a/10 a multiple of 10?
False
Suppose 0 = h + 3*k - 80, 2*h + k + 17 - 197 = 0. Is h a multiple of 19?
False
Let f = 62 - 29. Is 11 a factor of f?
True
Does 14 divide 71/5 + 1/(-5)?
True
Let g(l) = -l - 1. Let s be g(-5). Suppose -2*u - 5*h = -19, -6 - 14 = -s*u - 4*h. Suppose 48 = 6*a - u*a. Is 6 a factor of a?
True
Let a(k) = 12*k**2 + 1. Let i be a(-1). Suppose -3*v + 18 = 5*y - i, 5*v + 15 = 5*y. Is 5 a factor of y?
True
Suppose 5*n - 355 + 65 = 0. Suppose 0*i - n = -2*i. Is i a multiple of 11?
False
Suppose -5*u - 2 + 12 = 5*t, 5*t + 4*u = 10. Is (-1)/t - (-84)/8 a multiple of 4?
False
Suppose n = 3, -3 = 3*h + 2*n + 15. Let k = 43 + h. Is 13 a factor of k?
False
Let o(h) = h**2 - 7*h + 5. Let m be o(7). Is (26 - m) + (2 - -1) a multiple of 10?
False
Let k = -19 - -17. Let s(c) = 2*c**2 - 4*c - 3. Is s(k) a multiple of 5?
False
Let n = -14 - -23. Let h(a) = -a**3 + 10*a**2 - 10*a + 12. Let l be h(n). Does 3 divide (0 + (-16)/(-6))*l?
False
Let r be (-15)/(-3) + (-1 - 1). Suppose r*i + s - 20 = -3*s, 5*i + s = 5. Suppose -3*v + 2*v - z + 6 = 0, v - z - 6 = i. Is 3 a factor of v?
True
Suppose 0 = 3*f + 2*f - 180. Is 10 a factor of (f/(-30))/((-3)/140)?
False
Suppose g - 4*k = 6*g - 342, -10 = 5*k. Is g a multiple of 14?
True
Let g = 42 - 3. Suppose g = 2*s - 51. Is s a multiple of 15?
True
Suppose k + 3 = -1. Let c(m) = 3*m**2 + 0*m - 2*m - 1 + 6*m. Is c(k) a multiple of 14?
False
Suppose 7*f = -2*f + 405. Does 5 divide f?
True
Let i(k) = 2*k - 12. Let a be i(6). Suppose 0 = -a*c + 2*c - 56. Is c a multiple of 14?
True
Suppose -4*l - 8 = 5*s, -3*s - 3*l - 6 = -0*s. Let u = 10 + s. Is 5 a factor of u?
True
Suppose y = 6*y - 10. Suppose y*w = 32 - 0. Is 4 a factor of w?
True
Is 6 a factor of ((-2)/(-5))/(1/20)?
False
Is 20 a factor of (1 - -14)/5 + 35?
False
Let k(s) = s**3 - 5*s**2 + 2*s - 6. Let j be k(5). Let q be 10/j + (-4)/8. Let w = 7 - q. Does 3 divide w?
False
Suppose 4*b - 3*m - 36 = -2*m, 5*m = 3*b - 44. Let w = b - 2. Does 3 divide w?
True
Let w(a) = -85*a + 2. Suppose -n - 6 = -8. Let u be w(n). Is 19 a factor of (-2 - -1)/(3/u)?
False
Let f be (-40)/12*(-9)/6. Suppose 0 = 2*j + 3*q - 117, 0*j - f*q = j - 55. Is j a multiple of 15?
True
Let f(w) be the second derivative of -95*w**4/12 - w**2/2 - w. Let i be f(-1). Is ((-6)/(-4))/((-9)/i) a multiple of 13?
False
Let h = 66 + -64. Suppose k + k = 8. Is 2 - k - (-40 - h) a multiple of 21?
False
Let l = 147 + -101. Is 23 a fa