ose -6*z + 4*z + 98 = 0. Is z a multiple of 14?
False
Let q = 48 + -21. Does 9 divide q?
True
Suppose l - 5*o - 27 = 0, 0 = -3*l + 6*l - o - 39. Is 4 a factor of (-2)/3 + 140/l?
False
Suppose 319 = 3*o + 5*k, -o + 0*k + 5*k + 93 = 0. Let y = o - 67. Is y a multiple of 18?
True
Suppose -4*g - y - 246 + 761 = 0, -g + 2*y = -131. Is g a multiple of 43?
True
Let i(h) be the third derivative of -5*h**4/12 + h**3/3 + 5*h**2. Does 5 divide i(-1)?
False
Suppose -m - 5*a + 18 = 0, 2*m - 3*a - a = -6. Suppose 2*b = g - 6, -3*g - 2*b + m*b = -8. Suppose 0 = g*u - 43 + 3. Is 10 a factor of u?
True
Let y(g) = -15*g**2 - 2*g**2 + 5*g**2 + g. Let k be y(1). Let l = -7 - k. Does 4 divide l?
True
Does 4 divide 23/2 - (-6)/(-12)?
False
Let s be (-5)/(-30) + (-106)/(-12). Suppose -4*l - w = -s, 0 = l - 2*w - 2 - 7. Suppose 0 = -5*v - 15, l*u + 23 = -3*v + 65. Does 11 divide u?
False
Let v(p) = 2*p - 2. Let d = -4 - -6. Let m be v(d). Does 6 divide (-1)/(m*3/(-120))?
False
Let t = -1 - -18. Is 4 a factor of t?
False
Let k = 40 - 1. Is k a multiple of 13?
True
Let a(b) = b**2 + 15*b + 19. Let d = 2 - 18. Is 7 a factor of a(d)?
True
Let h(d) = -d - 2. Let t be h(-4). Suppose -t*b = -2 - 2. Suppose b*n - 39 = 3*f, 3*n = 4*n + 5*f. Is 15 a factor of n?
True
Does 21 divide ((-41)/(-4))/((-2)/(-16))?
False
Let y(m) = -m**2 - m + 23. Suppose 8 = -4*q, -3*f - 2*q - 2*q - 8 = 0. Is y(f) a multiple of 13?
False
Let c = 482 - 299. Is c a multiple of 34?
False
Suppose -1 = u - 2*n, -u - n = -4*u + 12. Suppose 0 = 5*t + s - 78, 15 + 57 = u*t + 4*s. Does 16 divide t?
True
Suppose -8*n + 14 + 18 = 0. Is 558/30 - n/(-10) a multiple of 3?
False
Suppose 5*f = 5*d - 25, -10 + 42 = -4*f - 2*d. Suppose 8 = 2*j - 6*j. Is j/(2/(f + 1)) even?
True
Let w = 8 - 6. Suppose -h + w*r + 13 = -0*r, -5*h = r - 65. Is 13 a factor of h?
True
Let h be (-3)/(-5) - (-46)/(-10). Let n(m) = m + 4. Let q be n(h). Suppose q = -2*c - 2 + 6. Does 2 divide c?
True
Suppose 2*a - 84 = -j, -j + 44 = -5*a + 6*a. Is a a multiple of 5?
True
Let g(t) = t**3 - 3*t**2 - 5*t. Let r be g(4). Let w be 2 + 1*r - -34. Suppose -4*v + 12 + w = 0. Is v a multiple of 3?
False
Suppose 4 = -3*r + 10. Does 21 divide (-3 + 2 - r)*-9?
False
Suppose -2*c + 18 + 54 = 0. Is 36 a factor of c?
True
Suppose -2*a + 0 - 2 = 0. Is 5 a factor of ((-9)/1)/(a/1)?
False
Let o(l) = -l**3 + 3*l**2 - 2*l - 2. Let j be o(3). Let q = -13 - j. Let b(y) = y**3 + 5*y**2 - 5*y + 5. Is b(q) a multiple of 16?
False
Suppose -5*m + 3*w = -6, -2*w - 3*w = -m - 12. Suppose -4 = 2*h, -m*c - 2*h = 2*h - 43. Let z = c - 12. Does 5 divide z?
True
Suppose 102 = -3*c + 4*c. Does 17 divide c?
True
Suppose 0 = 3*x - 72 - 108. Does 12 divide x?
True
Suppose -3*j + 0*j = m - 16, -30 = -5*m - 5*j. Suppose -2*c = m + 7. Let t(n) = 2*n**2 - 3*n. Is 18 a factor of t(c)?
False
Let i(w) = -w**2 + 10*w - 10. Let o be i(8). Let d(b) = -b**3 + 6*b**2 + 2*b - 8. Let r be d(o). Let c = 6 - r. Is 2 a factor of c?
True
Let o(w) be the first derivative of w**4/4 - 2*w**3/3 + w**2/2 + 4. Let d be o(2). Is (-4)/(-3)*6/d a multiple of 2?
True
Let c = 13 + -7. Suppose 0 = -2*s - 6 - c. Let d = 12 + s. Is 3 a factor of d?
True
Suppose 2*y - 3*b - 78 - 45 = 0, -3*y + 4*b = -186. Is y a multiple of 21?
False
Let f be (1/3 + 0)*42. Suppose 57 = 2*r + 3*i, 0 = 2*r - 4*i - 106 + f. Is r a multiple of 10?
False
Let j = -31 - -100. Does 23 divide j?
True
Let m(t) = t**2 - 17*t - 16. Does 34 divide m(21)?
True
Suppose -3*w + 897 = -3*y, 0*y = -4*w - 5*y + 1151. Is w a multiple of 21?
True
Suppose -4*v + 40 = -4*z, -2*v + z = -0*v - 23. Let c be (v - 1)/(-4 + 5). Let l = c + -8. Is l a multiple of 4?
True
Let a be (2/(-3))/(4/(-24)). Suppose 4*q - p - 95 = 0, -q - q = a*p - 34. Is 23 a factor of q?
True
Suppose 5*k = -0*k. Suppose f + 2*h - 21 = 0, f + 3*h = -k*h + 25. Does 10 divide f?
False
Suppose 0 = 2*r - 3*r + 30. Is r a multiple of 15?
True
Let s = -9 - -13. Suppose -s*r = r - 40. Does 3 divide r?
False
Let o(n) = 6*n**2 + n + 2. Let d(q) = -q + 10. Let j be d(7). Suppose z = -z + 5*k - 6, -4 = z - j*k. Is o(z) a multiple of 15?
False
Suppose 6 = -0*g + 3*g, 2*g = -2*j. Does 12 divide 1*(-86)/(j + 0)?
False
Let v(b) be the third derivative of 5*b**4/24 + b**3/3 - 4*b**2. Let s be v(2). Let h = s + -6. Does 2 divide h?
True
Suppose -11*h + 117 = -8*h. Is h a multiple of 13?
True
Suppose 4*x - 3 = 1. Let t(f) = 56*f**2 - 2*f + 1. Does 22 divide t(x)?
False
Let u = 113 - 41. Does 24 divide u?
True
Let i = 17 - 13. Is i a multiple of 4?
True
Let n(u) = 1. Let t(o) = -7*o - 3. Let q(s) = -4*n(s) - t(s). Let c be q(3). Suppose -c = -z - z. Is z a multiple of 7?
False
Let x be 11/2 + (-2)/4. Suppose -93 - 52 = -x*u. Is 7 a factor of u?
False
Suppose -18*y + 23*y = 1450. Is y a multiple of 21?
False
Suppose 16 = 3*r - 5. Let u = r - 4. Is 2 a factor of u?
False
Let r = 4 + -10. Let j(x) = x**3 - 4*x**2 - 4*x + 1. Let f be j(5). Does 3 divide ((-9)/f)/(r/32)?
False
Suppose -19 = -o + 13. Is 28 a factor of o?
False
Let o = -3 - -9. Is 12 a factor of (-75)/1*(-2)/o?
False
Let j = 102 - 43. Is 5 a factor of j?
False
Suppose -r + 74 + 17 = 0. Let o = -36 + r. Is 15 a factor of o/(-2)*(-8)/5?
False
Let q(l) = -13*l - 1. Let s be q(1). Let z = s - -23. Does 5 divide (6/z)/((-2)/(-57))?
False
Let f(z) = -6*z - 1. Let u(c) = -c**3 - 5*c**2 + 7*c + 1. Let q(a) = -3*a + 3. Let b be q(3). Let s be u(b). Is 22 a factor of f(s)?
False
Let s = 20 + -14. Is s a multiple of 3?
True
Let u(m) = 7*m**3 + 17*m**2 + 17*m + 4. Let v(s) = 3*s**3 + 8*s**2 + 8*s + 2. Let l(c) = 2*u(c) - 5*v(c). Is 3 a factor of l(-5)?
True
Let i be (-4 - (-2 + 0)) + 0. Let u be -3*(i + (-48)/(-9)). Does 12 divide u/(-1) + 2 + 0?
True
Let d(y) = 3*y + 16. Does 7 divide d(4)?
True
Let g = 1 + -1. Suppose -2 = -3*o - n - g, -4*n = 4*o + 8. Let f = o + 1. Does 3 divide f?
True
Let s be 67*(-3)/(3*-1). Suppose -2*f + 22 = -4*y, 0*f + 5*f - 4*y = s. Is f a multiple of 15?
True
Let d be (-6)/27 - 76/(-18). Let m be ((-4)/3)/(d/(-6)). Suppose -2*r = m*r - 88. Does 10 divide r?
False
Let l = -5 - 8. Let a = l + 17. Is a a multiple of 4?
True
Let x(y) = -26*y**2 + y - 4. Let g be x(-3). Let t = 121 + g. Does 7 divide 6/9 - t/9?
True
Let c(f) = 7*f**3 - f. Let p be c(1). Suppose a + 4 = p. Is 2 a factor of a?
True
Let m = -39 + 9. Let f = m + 57. Is 13 a factor of f?
False
Suppose -4*f + 5*i + 67 = 3, -2*i - 30 = -2*f. Is 4 a factor of f?
False
Suppose 0 = -2*v - v + 264. Is v a multiple of 20?
False
Suppose 8 = 2*v, -2*n - v + 5 + 3 = 0. Suppose -n*y = -2*h + 28, -77 = -5*h - 3*y + y. Is h a multiple of 11?
False
Let l be (-44)/(-10) + (-10)/25. Suppose 4*b - 8 = -3*w, l*b + w - 3 = 5. Does 4 divide b/(-5) - 126/(-15)?
True
Let q(l) be the first derivative of l**4/4 + l**3 - 5*l**2/2 + 2*l - 2. Let i be q(-4). Is ((-177)/6)/((-3)/i) a multiple of 20?
False
Is 15 a factor of (-8)/16 + 93/6?
True
Let q be 1*(-33)/(0 + -3). Suppose -q = -4*i + 1. Is i even?
False
Let j = 86 + 48. Is 21 a factor of j?
False
Suppose v + 5*b - 21 + 0 = 0, 0 = 2*v - 5*b + 3. Is 2 a factor of v?
True
Let d(n) = n**3 - 5*n**2 - 4*n - 8. Let j be d(6). Suppose 0 = -j*g - 4. Let c(r) = -8*r**3 - 2*r**2 - r. Is c(g) a multiple of 3?
False
Let o = -13 - -11. Is (-1)/o + (-250)/(-20) a multiple of 4?
False
Let j(k) = k**2 + 7*k - 9. Is j(5) a multiple of 8?
False
Let d(r) = -r**2 - r + 4. Let q be d(0). Suppose 3*p - 189 = -0*p - 3*g, -279 = -q*p + 5*g. Let h = p - 40. Is h a multiple of 26?
True
Suppose 72*w = 77*w - 890. Is w a multiple of 29?
False
Does 20 divide 147 + (0 + -1)/(10 - 9)?
False
Suppose 2*s - 4*y - 16 = 0, -5*y + 0*y - 30 = -5*s. Suppose -5*x - 139 = -3*w, -2*w - 3*x + 112 - 13 = 0. Let v = w - s. Does 16 divide v?
False
Let j(g) = g**3 - 12*g**2 + 3*g - 5. Let c be ((-12)/(-5))/((-1)/(-5)). Is j(c) a multiple of 11?
False
Let y be (3/3*0)/2. Is 21 a factor of y - 2 - (-40 - 3)?
False
Does 61 divide 291 - 4/8*(-2 + -2)?
False
Let x(o) = o**3 + 7*o**2 + 9*o + 12. Is 7 a factor of x(-5)?
False
Suppose -5*h - 197 = -1022. Suppose 3*g = d + 2*d + h, -g + 67 = -4*d. Does 18 divide g?
False
Let m(h) = 31*h**2 - h. Is m(1) a multiple of 6?
True
Let f(z) = 6*z**3 + z**2 + z. Let h be f(-2). Let k = 65 + h. Is k a multiple of 6?
False
Suppose -2*n + 11 = -1. Let 