 r = -4 + 7. Does 3 divide r?
True
Let u = -4 + 6. Let s = u + -5. Let d = 19 - s. Is 11 a factor of d?
True
Let z = 0 - -2. Suppose z*c + c - 48 = 0. Is c a multiple of 16?
True
Is 6 a factor of ((-77)/(-21) + -3)/(1/144)?
True
Let g = -3 + 2. Is 8 a factor of g + ((-36)/(-2) - 1)?
True
Suppose 0 = 5*k - 5*g - 165, 5*g - 205 = 3*k - 8*k. Let i = -27 + 17. Let s = k + i. Is s a multiple of 27?
True
Let i = 11 + -11. Suppose -3*t - 17 + 98 = i. Is t a multiple of 9?
True
Suppose 24 = 2*u + 2*u. Suppose 0 = 2*p - u. Suppose -p*k - h + 30 = -2*k, 0 = h. Is k a multiple of 20?
False
Suppose 5*u = 4*u - 3. Let b be u + (-6)/(-3*1). Let y(l) = 20*l**2 + l + 1. Is y(b) a multiple of 20?
True
Let m = 7 - 10. Let r(y) = 3*y**2 + 2*y - 3. Does 9 divide r(m)?
True
Let i(f) = -f + 1. Let w be i(-1). Suppose k - 12 = -w*v, -3*v - 3*k + 2 + 10 = 0. Suppose 6 = l - v. Is l a multiple of 7?
True
Let o(y) = 20*y**3 + y**2 - 2*y + 1. Is 10 a factor of o(1)?
True
Let r(j) = -7*j + 26. Is r(-12) a multiple of 11?
True
Let a = 13 + -7. Suppose 4*y - y - a = 0. Suppose 22 + 0 = 4*h - y*g, -25 = -5*h + 3*g. Is 3 a factor of h?
False
Let f(a) = 16*a + 13. Is f(4) a multiple of 17?
False
Let k be 3/(((-1)/5)/(-1)). Let x = k - 3. Does 4 divide x?
True
Suppose -v + 6*v - 25 = -5*g, -4*v + g = -5. Suppose v*l + 5*f - 27 = 0, l + 4*f = 29 - 8. Suppose -5 + l = -c. Is c even?
True
Let x(d) = d**3 + 6*d**2 - d - 3. Suppose 3*c + s - 6 = -24, 5*s + 24 = -4*c. Let z be x(c). Suppose 4*h - z = 5. Is h even?
True
Let h(d) = -d + 2. Let l be h(-8). Let q = l + 20. Does 13 divide q?
False
Suppose 43 = -5*l + 3*s, 3*l = 5*s + 3 - 32. Let h be (-2)/l*2*-24. Is 18 a factor of 192/5 + h/(-20)?
False
Let j = -10 - 0. Let r = j + -5. Is 11 a factor of 48/15*r/(-2)?
False
Let x be (8/6)/((-6)/(-108)). Let z = x - 2. Is 9 a factor of z?
False
Let m(p) = -11*p**2 - 11*p - 3. Let g(k) = -10*k**2 - 10*k - 2. Let s(c) = -6*g(c) + 5*m(c). Let a be s(3). Is (3 + a/(-9))*-6 a multiple of 11?
False
Let r(o) = 6*o**2 - 7*o**2 + 8*o - 4 + o. Is r(6) a multiple of 14?
True
Let f be (1*6)/((-5)/(-55)). Suppose 3*c + 3*d = f, -7*c + 5*d = -4*c - 98. Suppose 9*u + 3*s = 4*u + c, 5*s - 13 = -4*u. Is u a multiple of 7?
True
Suppose -5*c + 2*f = -2*f - 16, 0 = -c + 4*f. Suppose -54 = 3*g - c*g. Suppose 4*p + 2*m - 56 = 0, g + 7 = 5*p - 2*m. Is p a multiple of 5?
False
Let x be (-42)/(-4)*(-6)/(-9). Suppose y + 4*k - 8 = 0, x*k - 45 = -3*y + 2*k. Is 6 a factor of y?
False
Let w = 80 - 45. Is w a multiple of 14?
False
Let q be ((-2)/(-3))/(8/60). Suppose -2*t - 5*j + 3 = -33, -q*t - j = -67. Does 9 divide t?
False
Suppose 3*k + 0*k - 306 = 0. Does 16 divide k?
False
Suppose 3*r - 13 = 20. Is 1*r/(33/18) a multiple of 3?
True
Let b = 75 + 9. Suppose -q - 3*q + b = 0. Does 20 divide q?
False
Let a(n) = n**2 - 3*n - 4. Let f be a(6). Let w = f - 36. Let x = w - -40. Is 11 a factor of x?
False
Is 13 a factor of 624/16*5/3?
True
Let w(p) = p**2 - 9*p + 9. Let l be w(8). Suppose 4*z + l = 21. Is z a multiple of 3?
False
Let s(y) = -2*y**3 - 2*y**2 - 4*y - 6. Is s(-3) a multiple of 21?
True
Let k(w) = -12*w + 1. Let b be (2 - 15/6)*2. Does 9 divide k(b)?
False
Let a(q) = -7*q + 4. Let h be a(7). Let n = h - -19. Is 14 a factor of (-4)/(6/(-3)) - n?
True
Let h(a) = -a - 7. Let i be h(-9). Suppose 2*m + 0*y + 540 = i*y, 3*y = -m - 286. Is 13 a factor of m/(-10) + (-2)/5?
False
Suppose -5*j + 3*h - 5*h = -309, -j = 5*h - 71. Is 8 a factor of j?
False
Is 3 a factor of 13/((-13)/(-48))*9/12?
True
Suppose -3*l + 197 = -v, 120 + 97 = 3*l + 4*v. Does 21 divide l?
False
Let u(p) = 46*p**2 + 4*p + 2. Let v be u(-2). Suppose 0 = 3*z - 7*z + 2*l + v, 5*z = 2*l + 224. Is 23 a factor of z?
True
Suppose 100 - 8 = 2*f. Let t be 6/(-48) + (-3)/(-24). Suppose t = 2*q - f + 8. Is q a multiple of 7?
False
Let b(i) be the first derivative of -i**4/4 - 5*i**3/3 + 3*i**2/2 - 8*i + 2. Is b(-6) a multiple of 4?
False
Let u = -72 - -360. Is 24 a factor of u?
True
Suppose 0*q - 20 = 2*q. Let y be (-1 + q/(-4))*-4. Is 8/12 - 200/y a multiple of 14?
False
Suppose -j + 4*j + 38 = -5*t, 9 = -t - 2*j. Let h = t - -52. Does 15 divide h?
True
Suppose 0*o = -4*k + 3*o + 23, 4*k = -o + 3. Suppose -k + 3 = g. Is (-8 - -6) + g + 6 a multiple of 3?
False
Is ((-24)/(-15))/(16/520) a multiple of 13?
True
Suppose d = -3*d + 8. Suppose 27 = d*i + 1. Is i a multiple of 4?
False
Let u(h) = -2*h - 2. Let n be (-3 - -2)/(-1)*0. Let b be (n - -2)/(-1) - 5. Is 12 a factor of u(b)?
True
Let v(o) = -o**2 + 19*o - 16. Is v(12) a multiple of 15?
False
Suppose -2*s - 2 = 0, 4*s = 2*m - 194 - 350. Does 18 divide ((-6)/9)/((-5)/m)?
True
Let y be 30/7 - 6/21. Suppose 9*t - y*t - 15 = 0. Let c = 10 - t. Is 7 a factor of c?
True
Suppose 4*q + 0*q = 84. Suppose -5*h + q + 4 = 5*g, h - 5*g - 11 = 0. Does 3 divide h?
True
Let h(b) = 9*b - 9. Is h(9) a multiple of 13?
False
Is (-7 - -8)/(1 - 61/62) a multiple of 26?
False
Let z(y) = y**3 - 5*y**2 + 5*y + 5. Let n be z(5). Is 50/6 + (-10)/n a multiple of 8?
True
Let x(j) = j**3 - 4*j**2 + 5*j - 7. Let b be x(5). Let t = -10 + b. Is t a multiple of 11?
True
Let w(v) = 3*v**2 + 9*v - 22. Does 20 divide w(-9)?
True
Let v = 15 - 9. Is v a multiple of 6?
True
Suppose 99 = 3*b - 33. Is 22 a factor of b?
True
Let a(q) = -q - 2. Let p be a(-2). Suppose p = -v - x + 19, v - 16 = 3*x - x. Let h = v + -8. Is h a multiple of 10?
True
Let i(q) = q**3 + 13*q**2 - q + 12. Is i(-13) a multiple of 8?
False
Suppose -5*p = -0*p - 20. Suppose 4*t + p*w - 40 = 0, -3*t + 27 = -0*t + 4*w. Suppose 2*z + 4*h = 32, -h + t = -2*z + 4*h. Does 6 divide z?
True
Let t(n) = -n**3 - 5*n**2 + n + 17. Is 12 a factor of t(-5)?
True
Let a(l) = 2*l - 4 - 3*l + 0 + 5*l. Let n(h) = -h**3 + 2*h**2 + 4*h + 1. Let z be n(3). Is a(z) a multiple of 12?
True
Let x be (-4)/(-10) + (-4)/10. Let u(d) = -2*d**3 + d**2. Let j be u(-1). Suppose x = -j*l - 9 + 33. Is 7 a factor of l?
False
Let h = -88 - -116. Is h a multiple of 7?
True
Let x be (-215)/(-15) + 1/(-3). Let b = x + 4. Is 6 a factor of b?
True
Let p = -5 + 7. Let m(k) = k + 2. Let n be m(p). Suppose 3*u + n*s - 107 = -10, 63 = 2*u + s. Does 14 divide u?
False
Suppose 4*a - 6 = 26. Suppose 4*i - 2*i - a = 0. Suppose -x + 59 = 3*b - 0*x, -79 = -i*b - x. Is b a multiple of 18?
False
Let s = 45 + 259. Does 18 divide s?
False
Let a(p) = -p**2 + 5*p + 17. Is 2 a factor of a(7)?
False
Suppose 590 = 2*q + 112. Does 20 divide q?
False
Let d be (-2)/(-12) - 830/12. Let p = -44 - d. Is 25 a factor of p?
True
Is 17 a factor of (0 - 0)/4 - -17?
True
Is 3*(7 - (5 - 4)) a multiple of 6?
True
Is 10 a factor of (4/(-2) + 21)*1?
False
Suppose -x + 208 = 3*v, 0*v + 52 = v - 4*x. Is v a multiple of 12?
False
Let n = 3 - 1. Let y be 16/(-1 - -3) + n. Suppose 0 = -2*a + y, m - a = -m + 23. Is 10 a factor of m?
False
Let j(k) = k**3 - 8*k. Does 32 divide j(4)?
True
Let i = -10 - -16. Suppose 3*t = -i + 24. Let g = -3 + t. Is 3 a factor of g?
True
Suppose 97*z - 1341 = 94*z. Is 13 a factor of z?
False
Suppose -t = -0*t - 19. Is t a multiple of 10?
False
Let p(z) = z**3 + 3*z**2 - z - 4. Let o be p(-3). Does 10 divide (-3)/o - (-27 - -4)?
False
Suppose -6*o = -1114 + 298. Does 17 divide o?
True
Let h(p) = -16*p**3 + p - 1. Let k be h(1). Let w = k + 31. Does 15 divide w?
True
Suppose -q = -4*l + q + 282, 146 = 2*l - 2*q. Let v be (-8)/(-6)*12/8. Suppose -5*h = -0*h - v*r - 102, -4*h + 5*r = -l. Is h a multiple of 11?
True
Suppose 0 = 5*m - 5*l - 100, 0 = -m + 3*m + 2*l - 52. Does 19 divide m?
False
Suppose 3*d = -5*x + 124, 4*d - 6*d = -x - 61. Is 3 a factor of d?
True
Let d(j) = -7*j - 4*j**3 + 0*j**2 + 6 + 3*j**3 + 6*j**2. Let p be d(5). Is 4/8 - 14/p a multiple of 4?
True
Suppose 3 = 3*h, -3*o = -0*o - 4*h - 269. Suppose f - r - 25 = 4, 4*f + r - o = 0. Does 12 divide f?
True
Let p(r) = -2*r - 4. Suppose 0 = -4*l - 25 - 7. Does 12 divide p(l)?
True
Let z = 34 + -4. Is 14 a factor of z?
False
Let o(j) = -37*j - 12. Is o(-5) a multiple of 15?
False
Suppose -3*y + 0*p = 3*p, 0 = -p. Suppose y*l = l - 27. Does 10 divide l?
False
Let p(x) be the first derivative of x**5/30 - x**3/3 + 1. Let r(l) be the third derivative of p(l). Does 5 divide r(3)?
False
Suppose 180 = s + 2*r, -3*s = s - r - 729. Is s a multiple of 26?
True
Suppose -2*d