d(7). Let t = 39 - o. Is t a multiple of 10?
False
Suppose w + 4 = -h, -8 = -5*h - w + 3*w. Suppose -v + 2*o - 3*o + 28 = h, -84 = -3*v - 2*o. Does 11 divide v?
False
Suppose -4*p + 357 = q, q - 293 - 63 = -5*p. Is 59 a factor of q?
False
Let x = 80 - 66. Is x a multiple of 7?
True
Let j = 245 + -139. Is j a multiple of 29?
False
Let g(q) = q**2 + 5*q - 12. Does 9 divide g(6)?
True
Suppose 3*h - 5*a = 125, -a - 85 = -5*h + 138. Suppose -4*o = o - h. Is 6 a factor of o?
False
Suppose 0 = 2*b - 8 + 28. Let y = -6 - b. Suppose 86 = y*z + z + l, 22 = z - l. Is z a multiple of 9?
True
Does 8 divide 4872/204 + (-4)/(-34)?
True
Let q(h) = 3*h - 4. Let b(p) = -2*p - 1. Let z be b(-3). Is 4 a factor of q(z)?
False
Suppose 3*w - 3 = 0, -u - u - 83 = 3*w. Let k = u - -81. Is k a multiple of 11?
False
Let m = -25 - -52. Does 14 divide m?
False
Suppose -2*l = 2*l - 28. Let g(f) = -f**2 + 8*f - 3. Does 4 divide g(l)?
True
Suppose f = x - 17, -5*x + 154 = 5*f + 39. Suppose x = -2*b + 6*b. Suppose -21 = -4*d - b*n + 52, 0 = 5*d + 2*n - 70. Is 5 a factor of d?
False
Suppose 0 = -0*i - 4*i + 56. Let x be ((-3)/(-5))/((-2)/(-10)). Suppose x*q - 44 = -i. Does 5 divide q?
True
Suppose 4*n + 0*o + o - 719 = 0, 3*o = 5*n - 886. Let w = n - 105. Is 20 a factor of w?
False
Let r(h) = h**2 + 4*h - 5. Let j be r(7). Suppose j = 3*z - 0*z. Does 5 divide z?
False
Suppose -5*f - 20 = -5*w, 3*f + 4*w + 3 = 5. Does 3 divide (-5 - f)*(-8)/3?
False
Let g be (-6)/(-21) - 9/7. Let r be 0 + 2 - (g + 16). Let w = r + 21. Does 8 divide w?
True
Let u = 152 - 87. Suppose -u = -3*p - 26. Is 8 a factor of p?
False
Suppose -v = -3*v - 536. Is (-1 - 0)/(4/v) a multiple of 26?
False
Suppose 3*i - 60 + 13 = -5*c, 5*c = 5. Does 14 divide i?
True
Let y = -166 - -237. Suppose 5*c + 0*c - 2*m - y = 0, -5*m - 41 = -2*c. Does 13 divide c?
True
Is 4/14 + 750/21 a multiple of 9?
True
Let h(n) = -n + 25. Does 3 divide h(11)?
False
Let l(k) = k**2 - 7*k - 8. Let x be l(8). Let a(z) = z**3 - z + 32. Is 16 a factor of a(x)?
True
Let u = 50 + -18. Does 16 divide u?
True
Suppose -4*p = -5*v - 730, 4*p - 716 = 14*v - 16*v. Does 18 divide p?
True
Suppose 5*v - 207 = 3*t, -3*v + 0*t + 129 = -3*t. Does 13 divide v?
True
Let t = 7 - 7. Suppose t = -4*b + 2*w + 10, -3 = -b + 4*w - 11. Suppose 3*z - 21 = 3*k + 117, -z = -b*k - 55. Is z a multiple of 21?
False
Let u(k) = -4*k + 21. Is u(-6) a multiple of 15?
True
Let a(d) = 2 - d**2 + 0*d**2 + 2*d**2. Is 10 a factor of a(-5)?
False
Let m = 84 + -45. Is m a multiple of 9?
False
Let f be (-12)/(1/((-4)/6)). Suppose q + 1 = f. Is q a multiple of 7?
True
Let m be (33 - 1) + (5 - 3). Suppose 3*b - 5*s = m, b + 3*s + s = 34. Is 9 a factor of b?
True
Let d(r) = 4*r**2 - 3*r - 5. Is d(-4) a multiple of 14?
False
Let h = 5 - 0. Let a be (h/2)/((-1)/(-2)). Suppose 9 + 31 = a*s. Does 4 divide s?
True
Is 36 a factor of 9*2*(-18)/(-3)?
True
Let v(h) = -h**2 + 14*h - 21. Does 15 divide v(7)?
False
Let r(g) be the first derivative of 2*g**3/3 - 4*g**2 - g - 1. Is 20 a factor of r(6)?
False
Suppose 4*m - 5*g - 131 - 210 = 0, -4*g = 5*m - 416. Is 21 a factor of m?
True
Suppose 0 = -3*n - 18. Let c be n*(-3)/((-18)/(-15)). Let y = c - 6. Does 9 divide y?
True
Let r be 2/(-2) + 1 - -3. Does 10 divide (-40)/((-8)/(-4) - r)?
True
Suppose -d - 2*d + 4*h + 53 = 0, 0 = 5*d - 5*h - 80. Is d a multiple of 2?
False
Let f = -6 - -6. Let v = 22 - f. Is 11 a factor of v?
True
Let s = 6 - 12. Is ((-26)/3)/(2/s) a multiple of 13?
True
Let g = 60 - 18. Is 6 a factor of g?
True
Let w = 444 - 235. Does 11 divide w?
True
Suppose 20 = 5*k, 4*v + 3*k + 2*k - 668 = 0. Is v/5 - (-4)/(-10) a multiple of 15?
False
Does 15 divide ((-9)/(-12))/(1/40)?
True
Is 13 a factor of (156/8)/(6/8)?
True
Suppose -2*y + y = -20. Suppose -3*d = 4*b - y, -2*b = b + d - 10. Suppose 127 = b*s + 23. Does 19 divide s?
False
Suppose -4*g + 4 + 148 = 0. Does 22 divide g?
False
Suppose 0 = -0*g + 5*g - 5*n - 35, 3*g + 3*n + 3 = 0. Suppose l - 20 = -g*l. Is l a multiple of 3?
False
Suppose -4*x + 3*y + 11 = 0, 1 - 4 = -4*x - 5*y. Suppose -f + 2*s + x*s + 32 = 0, 0 = -5*s + 20. Does 12 divide f?
True
Suppose 4*y - y + 291 = 0. Suppose -3*f + 647 = 239. Let q = y + f. Is 13 a factor of q?
True
Let b(q) = 102*q**2 + 14*q + 13. Is b(-1) a multiple of 12?
False
Let a = 15 + -22. Let b(q) = -q**2 - 8*q + 4. Is 7 a factor of b(a)?
False
Let u(c) be the first derivative of 3*c**4/4 - c**3/3 + c**2 - 2*c + 8. Let x(y) = -y + 7. Let f be x(5). Does 11 divide u(f)?
True
Let d be (-18)/63 - (-37)/7. Suppose -5*z = -n - 71, 0*z - d*z + 75 = -5*n. Is 6 a factor of z?
False
Let n(u) = 5*u**2 + 5*u + 1. Let w be n(-4). Suppose w = -v + 3*a - 23, 4*v = -4*a - 400. Is ((-4)/6)/(4/v) a multiple of 15?
False
Let h(a) = -a**3 - 7*a**2 - 5*a - 5. Suppose -3*o + 52 = -4*p + 9, o + 4*p = 41. Suppose 4*j + o = j. Is 15 a factor of h(j)?
True
Let f(n) = -4*n**2 + 2*n + 11. Let z(q) = q**2. Let i(g) = f(g) + 3*z(g). Let l be i(8). Is l/2*(1 - 3) a multiple of 17?
False
Let g = 5 + -5. Suppose -3 = -x - 0*x. Suppose -n = -g*n - w - 5, -x*n + 4*w = -11. Is 3 a factor of n?
True
Suppose 3*r - 61 = 35. Is 32 a factor of r?
True
Let g = 2 - -1. Suppose n + g = 3*t - 3, 3*n = 3*t. Suppose 4*z = -5*b + 79, 7*b + z = t*b + 72. Does 8 divide b?
False
Let r(m) = -5*m - 7. Does 11 divide r(-8)?
True
Suppose -52 = -3*f - 4. Does 2 divide f?
True
Let m = 1 - 3. Let i = 0 - m. Suppose i*u = 3*u - 25. Is u a multiple of 10?
False
Let l be 0 + 0 - (-2 + 4). Let r be (-45)/(-5)*l/(-6). Is -1*r*110/(-15) a multiple of 11?
True
Let z be (-3 - -6) + (-1 - -1). Suppose 2*g = -h - 0 + 11, 3*h + 21 = z*g. Is 3 a factor of g?
True
Suppose 5*u - 2*m = -16, 0 = 5*u - 6*m + 2*m + 12. Let h = u + 4. Let y(d) = -d + 36. Is y(h) a multiple of 18?
True
Let i(z) = 88*z**2 + 1. Does 19 divide i(-1)?
False
Let a be 0 + (-4 - -3)*11. Let k = a - -15. Suppose 0 = 3*i - k*i + 9. Is i a multiple of 9?
True
Let c be 0 - 1/(3/9). Let m = -1 - c. Suppose 72 = 2*w + m*q, -w + q = -6 - 28. Is 17 a factor of w?
False
Suppose 2*n - 55 = 7*n. Let i = -7 - n. Let d = -2 + i. Is d even?
True
Let b = -7 - 1. Let x(r) be the first derivative of -r**2 - 2*r - 6. Does 8 divide x(b)?
False
Let z be -3*(-1)/((-6)/(-274)). Let n = -96 + z. Is 18 a factor of n?
False
Suppose 5*k - 316 = -d + 33, -4*d - 354 = -5*k. Does 10 divide k?
True
Is 30 a factor of 2/4 + (-1859)/(-26)?
False
Let a be 14/6*3*1. Suppose -q + a = 2. Suppose f - 5*f = -q*s - 44, -s = 0. Does 11 divide f?
True
Is 16 a factor of 3 + 16/(-4) + 21?
False
Let p(r) = 0*r + 5*r**2 - 4*r**2 + 2 + 5*r. Is 4 a factor of p(-6)?
True
Let r = 18 - 0. Suppose 2*c - r = w - 3*c, 5*c = 5*w + 10. Does 20 divide (-71)/(-2) + w/(-4)?
False
Let c be 2/7 + (-46)/14. Let z = -3 + 1. Is c*z/12*12 a multiple of 6?
True
Let r(c) be the second derivative of -4*c**3/3 - 6*c**2 + c. Does 13 divide r(-11)?
False
Let s = -28 + 51. Is 22 a factor of s?
False
Let s be 2/2 - (3 - 5). Suppose 4*c = -s*b + 58, -c = -5*b + 2*c + 145. Is b a multiple of 7?
False
Let x(m) = -m**2 - 8*m - 3. Does 12 divide x(-5)?
True
Is (210/50 - (-2)/(-10)) + 40 a multiple of 6?
False
Suppose 2*q - 4*q = -122. Let o = -87 + q. Let j = 4 - o. Is j a multiple of 11?
False
Let n be 70/6*15/5. Does 11 divide (-4)/2 - n*-1?
True
Let a(x) = 11*x**2 - 3*x - 7. Let y be a(5). Suppose 5*p = 3*d - y, d + p + p = 77. Is 27 a factor of d?
True
Let l be -6*((-2)/4)/1. Suppose -l*q + 3 = -0. Is 12 a factor of q/(93/(-47) + 2)?
False
Let b be 16/2 + -2 + 0. Suppose 0 = 2*c - c - b. Suppose 4*d - c = 5*r + 47, -3*d = 2*r - 34. Is 8 a factor of d?
False
Let r be (-1)/(-3) - 546/(-9). Suppose -2*k + x + 0*x = -94, -4*x - r = -k. Suppose -5*t - 4*y + 57 = 0, -2*t - 3*y + k = 2*t. Does 9 divide t?
True
Let j(t) = -35*t + 95. Is j(-5) a multiple of 24?
False
Suppose 0 = 3*a + a - 16. Suppose 0 = a*j - u + 6*u - 25, -4*j = -4*u - 16. Suppose -2*z = 4*p - 27 + 3, 2*p + j*z = 4. Does 4 divide p?
False
Let v be 131/1 + (-2 - -3). Suppose -3*c + 5*x - v = 0, -c - 52 = x - 0*x. Is 18 a factor of (3 - 0) + (2 - c)?
True
Let r(n) = 9*n**2 - 5*n**3 - n + 6*n**3 + 4*n + 4. Is r(-8) a multiple of 21?
False
Suppose 4*o = -h - 28, -3*h - 29 = 4*o - 3*o. Is 10 a factor of (-16)/6*30/h?
True
Let d be -3*(-3)/18*38. Suppos