10*b + 20. Is b a multiple of 2?
True
Let o(x) be the first derivative of x**5/20 + x**4/12 - x**3/2 + x**2 + 2. Let y(r) be the second derivative of o(r). Is y(-3) a multiple of 18?
True
Does 13 divide 3 - 1 - 245/(-5)?
False
Is ((-2)/(-4))/(7/168) a multiple of 6?
True
Suppose 0 = -5*d + 34 + 56. Does 3 divide d?
True
Suppose -16 = 4*w + 4. Let y be w/(-3)*3*-4. Let b = y + 34. Is b a multiple of 8?
False
Let m = 4 - 0. Let o = m + -26. Let y = o + 39. Does 10 divide y?
False
Let r(x) = -x - 3. Let y(q) = -q**3 - 9*q**2 - 9*q - 8. Let b be y(-8). Let z be r(b). Let f(l) = 3*l**2 + 3*l + 2. Is 20 a factor of f(z)?
True
Let c = 15 - -33. Does 16 divide c?
True
Suppose v = -3*v + 12. Let x(d) = -d**2 - d + 4. Let t be x(v). Does 15 divide (-10)/t*(25 + -1)?
True
Let k(r) = r**3 - 3*r**2 - r - 17. Is k(5) a multiple of 7?
True
Let v(f) = 23*f - 1. Suppose -w - 4*w + 10 = 0. Is 9 a factor of v(w)?
True
Let l = -20 - -17. Is 5 a factor of 2 + 13*(-3)/l?
True
Let m = 4 + 14. Is m a multiple of 9?
True
Let s = -33 - -50. Is 4 a factor of s?
False
Suppose 3*p - 279 = n, 3*p - 2*p = -2*n + 86. Is 23 a factor of p?
True
Let s be 658/6 + 12/36. Let z = s - 34. Is 19 a factor of z?
True
Suppose -4*q = 192 - 728. Let b(d) = -d**2 + 3*d + 13. Let w be b(5). Is q/6 - 1/w a multiple of 11?
True
Let y = 105 + -75. Is 8 a factor of y?
False
Let s = -18 + 34. Suppose s + 12 = 4*m. Suppose g = 4*q - m*q + 109, 160 = 4*q + 5*g. Is q a multiple of 15?
False
Suppose -3*d - x - 8 = 0, -1 = 5*d - 3*x + 3. Let l(n) = -9*n**3 - 4*n**2 - n + 2. Does 15 divide l(d)?
True
Let v(b) = -3*b**2 + 4*b + 3. Let w be v(-4). Let c = w + 21. Let m = c - -66. Does 10 divide m?
False
Suppose -3*v + 26 = -55. Is 3 a factor of v?
True
Let r = 9 + -6. Suppose -r*o = -5*o + 14. Does 6 divide o?
False
Let s be -2 + 2 - (-1 + -2). Suppose 0*l = -s*l + 90. Suppose 2*n = n + l. Is n a multiple of 17?
False
Let c(l) = 6*l. Let g be c(1). Suppose 0 = 5*u + 5, -j + 4*u = -g*j + 46. Is j a multiple of 10?
True
Let w(j) = -16*j - 12. Does 34 divide w(-5)?
True
Suppose -8 = -4*k + 16. Let c = 31 - k. Is 11 a factor of c?
False
Let q be -1*2 - -1*5. Let k(l) = l**3 + 7*l**2 + 4*l + 6. Let y be k(-5). Suppose -y = -q*u + u. Is 13 a factor of u?
False
Let v(x) = x**2 - x + 14. Let f be v(7). Suppose 5*z + 2*y - f = 0, -3*y = -6 - 3. Does 2 divide z?
True
Suppose 4*c = b + 2*b - 14, 4 = 4*c. Suppose -3*h = -3 - b. Suppose -h*y - y = -24. Is y a multiple of 6?
True
Let d(i) be the third derivative of 2*i**2 + 0*i - 1/2*i**3 + 0 + 1/4*i**4. Does 21 divide d(4)?
True
Let i = -5 + -4. Let d = i - -23. Is 4 a factor of d?
False
Let h be -3 + (7 - 1) + -2. Is 9 a factor of ((-3)/6*-106)/h?
False
Suppose 2*m - 10 + 0 = 0. Suppose -m*g + 48 = -2*g. Is 8 a factor of g?
True
Does 3 divide 0 + -1 + (-400)/(-20)?
False
Suppose 0 = -2*d - n + 13, -d - 5*n - 23 = -2*d. Is 2 a factor of d?
True
Let s be (-1)/5 - 4/(-20). Suppose -5*t = -2*w - 0*t, -4*w + 5*t + 10 = s. Is 9 a factor of (28/(-10))/((-1)/w)?
False
Let b(y) = 2*y + 2. Let j be b(-2). Suppose -2*k - 4*w = -8, k + 11 = -3*w - 2*w. Let u = j + k. Is u a multiple of 12?
True
Let f = -15 - -19. Suppose -4*w + 24 = 2*g, -2*g - g - 4 = -f*w. Is 2 a factor of g?
True
Suppose 2*n + 2*y - 2 = -0*n, -2*n = -3*y + 3. Suppose 4*f - 174 = -2*k, 1 = k - n. Is f a multiple of 21?
False
Suppose 30 = -3*v + 4*v - 4*i, 0 = -i + 3. Is v a multiple of 21?
True
Let u(l) = -l + 2 - 11 - 1. Let w be u(-7). Does 5 divide (6 - 0)*(-6)/w?
False
Suppose 2*u + 2*d - 6*d - 6 = 0, -5*u - 15 = -4*d. Let q = -5 - u. Let b = 19 + q. Is b a multiple of 9?
False
Suppose 3*j - a - 4*a = 26, -61 = -3*j - 2*a. Suppose -3*g - i + j = 0, 4*i = -2*g - 0*i + 28. Is g a multiple of 3?
False
Suppose 5*o = -17 + 142. Is 25 a factor of o?
True
Suppose t + y + 0*y = 150, -5*y - 20 = 0. Does 14 divide t?
True
Suppose -5*d = 2*j - 3*j - 441, 3*d = -4*j + 260. Is 8 a factor of d?
True
Suppose 0 = l + l - 10. Let h = l + -5. Is (8 - (-1 + h)) + -1 a multiple of 3?
False
Let a(x) = -4*x - 20. Is a(-10) a multiple of 13?
False
Suppose -4*n + 230 = j, n - 2*n - j = -59. Let u = n + -26. Is u a multiple of 5?
False
Let d be 39/((-3)/4*-2). Let i be ((-24)/(-10))/((-12)/(-40)). Let l = d - i. Does 18 divide l?
True
Let x(a) be the first derivative of 3 - 4 + 15*a**2 + 0. Is 11 a factor of x(1)?
False
Let x(k) = k**2 - 4*k + 1 + 1 + 1 + 1. Let l be x(4). Suppose -240 = -h - l*h. Is h a multiple of 17?
False
Suppose -3*l - 3*t + 11 = 2*t, 4*l - 3*t = -24. Does 5 divide ((-10)/4)/(l/12)?
True
Is 33 a factor of (-4 - 7/(-2))*-494?
False
Let a = 1 + 0. Let y be ((-2)/(-4))/(a/10). Let i = y + 7. Does 6 divide i?
True
Let n be (-18)/(-4) - (-6)/(-4). Let p be (1 + -2)/(4 - n). Let l(f) = 55*f**2 + f + 1. Is 16 a factor of l(p)?
False
Let s = 6 + -10. Let v be 45 + s + (0 - 0). Suppose 5*u = -3*t + v, 0 = 2*t - 4*t - 5*u + 29. Is t a multiple of 12?
True
Suppose 60 = -8*c + 10*c. Is 15 a factor of c?
True
Let w = 240 + -96. Is w a multiple of 36?
True
Suppose 0 = -3*g + 42 + 36. Is 10 a factor of g?
False
Let l(n) = n + 12. Let m be l(-11). Let c = 8 - m. Is c a multiple of 6?
False
Suppose -5*d - 6 + 156 = 0. Is d a multiple of 4?
False
Let n be (-2 - 30/1) + 3. Let g = n - -41. Does 11 divide g?
False
Let u(f) be the first derivative of -f**2/2 + 7*f + 2. Is 4 a factor of u(-5)?
True
Let t(s) = -17*s**2 - s. Let a be t(1). Let p be a/(-3) - (-1 + 3). Suppose 5*c = -20, -p*c = -2*q - c + 36. Is 12 a factor of q?
True
Let q = -34 - -133. Is q a multiple of 9?
True
Let p be 5*(34/(-5))/(-1). Let m(o) = -o + 2. Let w be m(0). Suppose -7*k + p = -3*k - 2*s, w*k - 11 = -5*s. Is k a multiple of 5?
False
Let w(v) = -v**3 - 6*v**2 + 2*v - 9. Let n be w(-7). Suppose 4*d - 12 = -t, 4*d + 10 - 30 = 0. Let g = t + n. Is 9 a factor of g?
True
Let t be (-4)/6 + (-140)/6. Let i = -16 - t. Let w = 13 - i. Does 4 divide w?
False
Let z(r) = r**3 - r**2 + r + 1. Let b be z(-1). Let q be (2 - 3) + b/(-2). Suppose 2*c - 19 + 7 = q. Is 6 a factor of c?
True
Suppose 5*j + 825 = 150. Is (-3)/(-3 - j/48) a multiple of 13?
False
Suppose -2*l = -11 - 9. Is 9 a factor of l?
False
Let h be -1 - (-3 + -2 + 4). Suppose 2*p - 3*a - 139 = h, 4*p = 2*a + 2*a + 276. Does 18 divide p?
False
Suppose 0 = -3*r + 5*r + 3*l - 8, -2*r = l - 8. Does 16 divide 142/9 - r/(-18)?
True
Does 14 divide 1/(-4) - (-6 - 2125/20)?
True
Let b be 2/4*(-2 - -10). Suppose -4*y + 5*x = -175, -5*x + 145 = b*y - 0*x. Is y a multiple of 20?
True
Suppose -3*t + 0*t + 372 = 0. Is 33 a factor of t?
False
Suppose 5*y - 3*d - 10 = -d, 4*d + 20 = -4*y. Suppose 0*s + 5*s = 2*x - 58, 2*x + 2*s - 44 = y. Does 21 divide (1 - (-2 + x))*-1?
True
Suppose 317 = 6*d - 103. Is d a multiple of 10?
True
Let y = -23 - -96. Is 21 a factor of y?
False
Suppose -v = 2*v. Suppose v = -5*o + 223 - 43. Is o a multiple of 25?
False
Suppose -2 = 3*q - 4*q. Is 9 a factor of (-1)/q*-4*9?
True
Is 29 a factor of 2 - (-60)/45*354/4?
False
Let u(v) = -32*v - 42. Does 25 divide u(-8)?
False
Suppose -7*y = -4*y + 36. Let n = 25 + y. Is 4 a factor of n?
False
Is (-1 + 508/12)/((-1)/(-3)) a multiple of 17?
False
Let u(f) = 11*f**3 + 3*f**2 - 2. Is 16 a factor of u(2)?
False
Suppose f = -4*f + 180. Let l be (-10)/(-6) - (-4)/(-6). Is f*1 + l*-1 a multiple of 12?
False
Let u = 163 - 96. Is u a multiple of 7?
False
Suppose -j + 12 = 3*i, 0*j + 4 = i + j. Suppose 5*d - 5*l - 40 + 15 = 0, -i*l = 3*d - 15. Is d a multiple of 2?
False
Suppose -3*j - j + 152 = 0. Is j a multiple of 9?
False
Does 12 divide ((-448)/35)/((-2)/5)?
False
Let u(h) = 4*h**2 - 2*h - 1. Let f be u(-1). Let q(v) = v - 5. Let i be q(f). Suppose i = g - 3*g + 12. Is g a multiple of 6?
True
Let x(q) = -2*q**2 - 17*q - 5. Is x(-8) even?
False
Let k = -4 + 8. Suppose -4*g + 62 = -2*a, 4*g - k*a = a + 53. Is 17 a factor of g?
True
Suppose 5*j + 0 - 10 = 5*l, -5*l = 4*j + 1. Suppose -b = -5 - j. Is 2 a factor of b?
True
Let q = 42 - 22. Does 10 divide -3 + (-1 + q - 1)?
False
Let c be (5 + 0)*(-1 + 2). Suppose 0 = c*b - 3 - 12. Suppose -2*y = b*y - 70. Is 11 a factor of y?
False
Let w be 3*1*(-2)/(-2). Suppose 3*p = -9, w*p - 7*p - 28 = -4*o. Suppose -1 = f + 3, -i = o*f. Does 8 divide i?
True
Let q be (-64)/(1 - -1) - 1. Suppose -73 = -6*p - 25. I