 a + 100 = 6*a, 3*a = l. Suppose -p + 62 = j. Does 14 divide j?
True
Suppose 38 = 3*q - 2*q. Is 9 a factor of q?
False
Is (-56)/(-5)*45/18 a multiple of 10?
False
Does 23 divide (-1194)/(-8) + -1 + 18/24?
False
Let l = -122 - -197. Suppose 4*c - l = 1. Suppose 0*z + c = g - 3*z, 3*g = 3*z + 33. Is g a multiple of 3?
False
Let v(s) = s**3 - 9*s**2 - 6*s + 22. Does 20 divide v(10)?
False
Let o = 1 + 1. Does 23 divide 1 - ((3 - o) + -46)?
True
Let x(q) = q**3 + 7*q**2 + 7*q - 2. Let p be (-1)/(3 + (-93)/30). Suppose -2*i - 3*s = -2, -4*s + 26 = p. Is 11 a factor of x(i)?
False
Let h(b) = 2*b**2 + 5*b - 2. Let x be h(3). Let q = x - 10. Is 21 a factor of q?
True
Let h(m) be the third derivative of 0 - 2*m**2 + 1/3*m**4 + 1/12*m**5 + 0*m - 1/120*m**6 - 7/6*m**3. Is h(6) a multiple of 4?
False
Let m be (-2)/(-8) + 1/(-4). Suppose -x - 9 + 1 = m. Let o = x - -12. Does 4 divide o?
True
Let t(q) = 35*q - 66. Is t(7) a multiple of 28?
False
Suppose 2*a + 18 = 5*x - 0*x, 0 = -4*x + 3*a + 13. Suppose 4 = x*t - 8. Suppose -2*d - t*i + i + 22 = 0, -3*d - i = -31. Does 5 divide d?
True
Let h = -246 + 491. Is 17 a factor of h?
False
Suppose 3*i = -s + 4, -10 = 3*s + 3*i + 8. Let c = s - -44. Let r = c - 2. Is 10 a factor of r?
False
Let o = -18 + 32. Suppose -2*i = 4*c + 7 + 39, c = -i - o. Let a = c - -47. Does 15 divide a?
False
Suppose -36 = -b + 2*u, u - 5*u + 192 = 4*b. Let h = b + -65. Let l = -14 - h. Is 6 a factor of l?
False
Let y(m) = 2*m**2 + 15*m - 11. Let n(z) be the first derivative of z**3 + 23*z**2/2 - 17*z + 2. Let o(k) = 5*n(k) - 8*y(k). Does 7 divide o(-4)?
True
Suppose m = -3*m - 4*k - 16, -4*m = -k + 16. Does 4 divide (-3 - m) + 4*2?
False
Let n = -32 - -53. Suppose i = -3*d + n, 4*i = i + 4*d + 63. Suppose f - i - 3 = 0. Is f a multiple of 18?
False
Suppose 9 = 3*u - 6*u. Let o be ((-2)/2)/(u/30). Suppose o = 5*q - 3*q, 3*v = 4*q - 5. Is v a multiple of 4?
False
Suppose 0 = -2*w + w - 4. Does 16 divide -1 - 196/(16/w)?
True
Let s = 8 - 5. Suppose -2*p = s*i - 5*p - 60, 0 = -2*i + 3*p + 36. Is 12 a factor of i?
True
Let m(z) = z**3 + 10*z**2 + 9*z + 2. Let b be m(-9). Let y(w) = -w - 12*w**2 + 3*w**b - 9 - w**3 - w. Is 9 a factor of y(-9)?
True
Let n(p) = p**3 - 4*p**2 + 2*p + 4. Let l = -6 + 10. Does 4 divide n(l)?
True
Suppose 3*x + 2*f - 8 = 0, x - 3 = -3*f + 9. Suppose x = -2*n + n + 18. Is n a multiple of 9?
True
Let v(l) = -l**2 + 14*l - 3. Does 5 divide v(13)?
True
Suppose -3*v - 35 = 2*v. Let n = v - -12. Suppose 0 = n*b - 72 - 53. Is b a multiple of 15?
False
Let n(z) = -z**3 - 2*z**2 - 6*z - 2. Is 18 a factor of n(-4)?
True
Let v(g) = -g**3 + 9*g**2 + 8. Let o be v(9). Suppose -4*y + 2*y + o = 0. Suppose 72 = 2*l - y*j, 5*l + j = 111 + 80. Is l a multiple of 19?
True
Let s(m) = -m**3 + 13*m**2 - 13*m - 4. Let i be s(11). Suppose 3 = -2*h + i. Is 23 a factor of h?
True
Suppose 0*b + 2*b = 0. Suppose 5*x - 3*o - 40 = b, 5*x + 5 = o + 35. Is 3 a factor of x?
False
Let i = 19 - 12. Let f = -5 + i. Is 5 a factor of 3 + 12/(f/2)?
True
Let z = 8 + -4. Suppose -z*s + 39 = -53. Suppose 0 = 5*r - 123 + s. Is 10 a factor of r?
True
Let c = -9 + 14. Suppose 4*i + 0*i + 40 = l, c*l - 128 = -4*i. Is l a multiple of 14?
True
Suppose 0 = 3*w + 63 - 297. Suppose 2*s - w = -0*s. Does 21 divide s?
False
Let v(g) be the second derivative of g**4/12 + 5*g**3/6 - g**2 - 3*g. Let a be v(3). Suppose -a = x - 67. Does 17 divide x?
False
Let c = -7 + 11. Suppose -3*v + 6*v + 8 = -c*j, -5*j = 10. Suppose -5*m - 5*a + 65 = v, a + 32 = 3*m + m. Is m a multiple of 4?
False
Let a(p) = 2*p. Let d(n) = n. Let h(q) = -4*a(q) + 5*d(q). Does 9 divide h(-3)?
True
Let m(b) = 4*b + 4. Let o be m(7). Let n be 324/7 + 14/(-49). Let x = n - o. Is x a multiple of 7?
True
Let n be (-231)/(-9) + (-2)/(-6). Suppose 0*s - 8 = -3*d - 2*s, n = 5*d - 3*s. Suppose -y + 20 = d*y, 238 = 5*g + 2*y. Does 17 divide g?
False
Let d be (2 - -1 - -2)/1. Suppose 5*z - 90 = -4*x + 30, 0 = z + d*x - 3. Is 14 a factor of z?
True
Let m = 152 - 107. Is 302/18 + 10/m a multiple of 14?
False
Let p(k) = -4*k - 15. Does 17 divide p(-10)?
False
Suppose -b = -x + 35, -3*x + 6*x = 2*b + 104. Does 8 divide x?
False
Let c(p) = 2*p**2 + 4*p + 1. Is c(-4) a multiple of 17?
True
Let k(y) = 4*y - 8. Let o be k(-7). Let v be (-8)/6*(2 + 1). Is v/6*o/8 a multiple of 3?
True
Suppose 2*b + 2*j = 30, -j = 5*b - 2*j - 45. Suppose -5*a + 3 = -7. Suppose b = a*l - 2. Does 5 divide l?
False
Suppose -21 = -4*p + 143. Let v = p - 24. Is v a multiple of 6?
False
Is ((-4)/((-4)/(-35)))/(-1) a multiple of 5?
True
Suppose 350 = -3*z + 8*z. Is 24 a factor of z?
False
Let d(r) = r**3 - 13. Is d(6) a multiple of 8?
False
Suppose 22 - 57 = -5*c. Is c even?
False
Suppose -202 = -4*x + i, 2*x + 4*i = -0*x + 110. Let j = x + -7. Is j a multiple of 22?
True
Does 8 divide (-632)/(-24) + (-6)/(-9)?
False
Let r(d) = -d**3 - d**2 - d + 225. Is r(0) a multiple of 45?
True
Let b = -9 - 7. Let a = 4 - b. Is 6 a factor of a?
False
Let i = 3 + 27. Does 10 divide i?
True
Let i be 6/((12/(-9))/(-4)). Let o = i + 1. Is 8 a factor of o?
False
Suppose p + 4*f = 3*p + 18, -2 = 2*p + 4*f. Let q be -10*(p/2 - -2). Suppose 3 - 15 = 2*j + 4*z, 0 = 2*j - q*z - 24. Does 2 divide j?
True
Suppose 4*q = 11 - 7. Suppose -s = -0*s - q, -5*i + 86 = -4*s. Is 5 a factor of i?
False
Let t(d) = -37*d**3 - 3*d**2 - 3*d - 1. Does 12 divide t(-1)?
True
Suppose 2*u = 502 - 22. Is 12 a factor of u?
True
Let r be 2/4*(8 - -6). Is 18 a factor of (r - 25)/(-1 - 0)?
True
Let o(c) = -2*c - 2. Let u be o(-3). Suppose 3*p = -p - 20, -66 = -u*g + 2*p. Does 14 divide g?
True
Suppose 4*i - 3*c = -0 + 5, -5*i - c + 11 = 0. Suppose 76 = 4*a - j, -a - 4*a + i*j + 98 = 0. Suppose -o + a = 2*o. Does 6 divide o?
True
Let f(r) = -7*r + 66. Let h(n) = 13*n - 66. Let u(p) = -7*p + 33. Let m(w) = 3*h(w) + 5*u(w). Let b(q) = 3*f(q) + 5*m(q). Does 14 divide b(0)?
False
Let g be 2454/36 - 1/6. Let n = -27 + g. Does 10 divide n?
False
Suppose 18 + 2 = 4*z. Does 5 divide z?
True
Suppose 4*o - 15 = -b, -3*o + 3 = 2*b - 4*o. Let g be 2*6*(1 + 0). Is 12 a factor of 2/b - (-424)/g?
True
Let m = 20 - 8. Suppose -12 - m = -4*o. Is o even?
True
Suppose 2 = 2*h, -r - 4 = -4*h - 2. Let j = 0 + r. Suppose 19 = 3*t - 2*s - 11, -j*s = -6. Does 6 divide t?
True
Let v be (-20)/(-16)*(4 + 0). Suppose -8 = -3*y - 2*t, v*y + 4*t - 14 = -2. Suppose 66 = 3*a + h, -5*h = a - y - 18. Does 10 divide a?
False
Suppose 4*l = l - 5*d + 218, -d - 354 = -5*l. Is l a multiple of 7?
False
Suppose 0 = 2*c + 6, 0 = -a + 5*c - 0 + 14. Let u be 0 + (-262 - a)/3. Is 8 a factor of (-2)/5 - u/5?
False
Suppose 0*i + 268 = 4*i + 4*j, 2*j = -3*i + 199. Let u = i - 44. Let k = -11 + u. Is 9 a factor of k?
False
Suppose 22 = 2*n - 0. Let o = n - -1. Does 12 divide o?
True
Suppose 0 = -5*y + 2*g + g + 78, -5*y + 5*g = -80. Let d be -1 + (0 - y)*-1. Is -1*(d - 0)*-1 a multiple of 7?
True
Let a be 6/(-24) + 245/4. Let k = a - 15. Is 8 a factor of k?
False
Let i be 0/(-3) + -21 - 3. Let m = 5 - i. Is 20 a factor of -1 - m/1*-1?
False
Suppose i = -2*q + 34, i - 6*i + 5*q = -125. Let s = -14 + i. Is 14 a factor of s?
True
Let d(s) = s**3 - s - 4. Let y be d(-3). Let u = 58 + y. Is u a multiple of 14?
False
Let k = -2 + 18. Is k a multiple of 8?
True
Suppose 0 = 5*n - 5*y - 460, -7*y = -3*y + 4. Is n a multiple of 12?
False
Suppose -5*a - 2 = 3*w, 5*a = 4*w - 5 - 4. Let z be w*-1 + (3 - -20). Suppose 0*n = -2*n + z. Is n a multiple of 11?
True
Let r be (-20)/2 + 3 + 3. Let h = 12 + r. Let f = h - -12. Is 10 a factor of f?
True
Let k(c) be the second derivative of c**5/20 + c**4/12 + 7*c**2 + 3*c. Is 4 a factor of k(0)?
False
Suppose 9*n - 4*n = -90. Is 7 a factor of -1 - 2 - (n - -8)?
True
Let t(s) = s - 17. Let k be t(10). Is 12 a factor of 4/(-14) + (-86)/k?
True
Let n be (-3)/6 - (-77)/2. Suppose -o - 9 + n = 0. Does 13 divide o?
False
Suppose -4*d = 2*k - 25 + 3, 3*k - 9 = 2*d. Suppose -3*s + 14 = 4*i, -5*s + 3 = -4*i + 1. Suppose -d = -n + i. Does 3 divide n?
False
Is 10 a factor of (-8)/8 - (-1 + -90)?
True
Suppose 4*u = 2*u + 3*k + 242, -376 = -3*u - 2*k. Suppose -20 = -3*g + u. Is 6 a factor of ((-3)/(-2))/(9/g)?
False
Let w(r) = 4*r**3 - 1. Let b be w(1). Suppose 0*k + 2*k = b*x + 33, -2*k + 63 = 3*x. Does 12 divide k?
Tru