14*o. Is h(10) a multiple of 20?
False
Suppose 3*w - 3*c - 268 = -4*c, 4*c - 104 = -w. Is 8 a factor of w?
True
Let x(r) = -r**2 - 22*r - 2. Let n be x(-22). Suppose -2*t - 38 = -3*t. Does 6 divide (-3)/(t/(-18) - n)?
False
Let t(n) = 2*n**3 - 63*n**2 - 24*n + 14. Does 27 divide t(32)?
True
Suppose 0*a = 3*a - 39. Let m(i) = 4 + 5*i + 12*i + a*i - 5*i. Is 9 a factor of m(2)?
True
Let c(t) be the third derivative of -t**7/5040 + 7*t**6/360 - t**5/15 + 3*t**2. Let w(p) be the third derivative of c(p). Does 2 divide w(12)?
True
Is 3 a factor of 680/22 - (-104)/1144?
False
Suppose 4*c = 3*y + 3*c - 34, -2*y + 5*c + 14 = 0. Suppose 2*l - t = -4*t + 19, -26 = -3*l - 2*t. Suppose p = y + l. Is 10 a factor of p?
True
Let i be 2/5 - (-16)/10. Suppose 16 = 3*d + d + i*q, 25 = 5*d + 5*q. Suppose -n - d = 2, -4*n + 64 = 4*z. Is 5 a factor of z?
False
Let o(s) = 34*s + 7. Let n(j) = -1. Let l = 24 - 19. Let d(x) = l*n(x) + o(x). Does 18 divide d(1)?
True
Let a = 3 - -1. Suppose 4*d - r - 67 = -a*r, -4*r = 2*d - 26. Suppose t - d = b + 6*t, 4*b + 2*t - 14 = 0. Is b a multiple of 4?
False
Suppose -181 + 1021 = 4*h. Suppose -2*a = -5*a + h. Let s = a + -48. Is 11 a factor of s?
True
Let x be 7 - ((-2)/3)/(6/(-27)). Suppose 5*d - 3*j = 2*j + 15, 2*d - x*j - 8 = 0. Is d even?
True
Let d(y) = y**3 - 4*y**2 + 10*y + 3. Let n be d(5). Let c = n - 233. Let a = 239 + c. Is 14 a factor of a?
True
Let u(i) = -i**3 - 9*i**2 - 21*i - 100. Let l be u(-8). Suppose 0*b = -4*b. Suppose -2*f - f - 2*p + 64 = b, -56 = -2*f - l*p. Is f a multiple of 18?
True
Suppose -5*r - 162 + 531 = -h, 138 = 2*r + 2*h. Let z = 111 - r. Is 19 a factor of z?
True
Let b(i) = i**3 + 16*i**2 + 11*i + 6. Let c be 30/(-1)*(6/4 + -1). Is b(c) a multiple of 11?
True
Suppose 2*d = 3*d - 7. Suppose v + 4*r + d = 0, 0 = -2*v + 2*r - 5*r + 1. Suppose 5*k + 200 = -2*u + 5*u, 5*k + 320 = v*u. Is 20 a factor of u?
True
Let h(b) = -3*b + 4. Let t be h(3). Let v = t + 11. Is v even?
True
Suppose 3*g + j - 7 - 7 = 0, 0 = 2*j - 10. Let v = -21 + 53. Suppose 0 = 5*x - 3*l - 58 + 21, v = 4*x - g*l. Is 5 a factor of x?
True
Suppose 56*n = 62*n - 1002. Is 3 a factor of n?
False
Suppose 150 = w - 34. Does 23 divide w?
True
Let o = -1612 + 2284. Is 42 a factor of o?
True
Let z(j) = -j**2 + 9*j + 1. Let q be z(9). Let r = q - -2. Suppose 2*c = d - r*c - 19, -2*d + c + 56 = 0. Does 29 divide d?
True
Let a = 536 + -120. Is a a multiple of 32?
True
Let y = -366 + 786. Is 21 a factor of y?
True
Let s(b) = 4*b**2 - 6*b - 39. Let y be 2*(-2 - (3 + -9 + 0)). Is s(y) a multiple of 16?
False
Suppose 19*p = 14*p - 20, c = -2*p + 198. Does 22 divide c?
False
Suppose -b + 0*b + 5 = 0. Suppose -4*z - 3*g + 212 = 0, -b*g - 159 = -4*z + z. Suppose 47 + z = 2*h. Is h a multiple of 13?
False
Let j be 34/6 + (-2)/(-6). Let a = 627 - 624. Let l = j - a. Is 2 a factor of l?
False
Let f(w) = -835*w - 204. Is 34 a factor of f(-8)?
False
Suppose 8*q + 65 = 3*q. Let o = q + 23. Does 8 divide 11 - 5/(o/6)?
True
Let y(w) = -5*w - 28. Let g(u) = 11*u + 56. Let a(v) = -3*g(v) - 7*y(v). Is a(-10) a multiple of 4?
True
Let u = -141 - -148. Suppose 3*k + 6*h = u*h + 122, -2*k - 3*h + 85 = 0. Is 5 a factor of k?
False
Let u be 3/(-9) - (-70)/30. Suppose 2*l + 2*v = -40 + 202, -10 = -u*v. Is 25 a factor of l?
False
Suppose -40*p - 45 - 115 = 0. Suppose 0 = 3*l - 2*t - 40, -3*t + 2*t + 20 = l. Let m = p + l. Is m a multiple of 6?
True
Suppose -4*y - 5*r - 34 = 0, -5*y - 28 = 4*r - 5*r. Let h(d) = -5*d**2 - d - 6. Let u be h(y). Does 10 divide ((-2)/3)/(5/u)?
False
Is 7 a factor of 1197/(-15)*(-10 + 0/1)?
True
Suppose 2*u = -2*u. Let l = u + 6. Does 2 divide l?
True
Let r be 1 + 0 + 1 + -7. Let f(s) = -s**3 - 3*s**2 - s + 4. Let o be f(r). Let p = o - 3. Is p a multiple of 21?
False
Is 8 a factor of 5/(-35) + (-3082)/(-14)?
False
Let a(q) = 20*q - 5. Let v be a(5). Let l = 194 - 189. Suppose -2*g - 65 = -5*g + l*c, -5*g = 5*c - v. Does 10 divide g?
True
Suppose v - 5*v + 2*k + 40 = 0, 36 = 2*v + 3*k. Does 46 divide ((-746)/(-8))/1 - v/48?
False
Let d = -8 - -13. Let a = d + 15. Is 10 a factor of a?
True
Suppose -29*i + 8*i = -11760. Does 28 divide i?
True
Suppose 79 - 4 = -3*t. Let g = -2 - t. Is g a multiple of 15?
False
Let f(k) = -11*k + 16. Does 21 divide f(-10)?
True
Let j be -3 + -14*27/(-6). Suppose -2*v + 5 = -1. Suppose j = v*s - 2*s. Is s a multiple of 20?
True
Let t = 11 - 11. Let j(x) = t + 0 + 2*x + 1. Does 4 divide j(3)?
False
Let t = -52 + 290. Is 3 a factor of t?
False
Is 3 a factor of 97 + (-3 - -4 - 3 - -3)?
False
Suppose 0 = 5*z + u - 6030, -4*z - 2*u = -140 - 4684. Suppose -t = 5*t - z. Is 41 a factor of t?
False
Is (-30645)/(-99) - 6/11 a multiple of 6?
False
Let v = 40 - 39. Does 20 divide ((-3)/(-9) - v) + (-1204)/(-6)?
True
Suppose -1401 = -4*t - q, 699 = 2*t + q - 2*q. Is 25 a factor of t?
True
Suppose 921 = 3*y + 105. Is 8 a factor of y?
True
Let d(o) = -5 - 10*o + 0*o**3 - o**3 - 9*o**2 - 2*o**2. Let r be d(-10). Let t = 7 - r. Is 6 a factor of t?
True
Is 100 a factor of (1 - -3499) + -53 + 56 + -3?
True
Let d(v) = -v + 10. Suppose -4*h + 24 = -h. Let n be d(h). Suppose s - 66 = -n*s. Does 13 divide s?
False
Let z = 537 + -387. Is 5 a factor of z?
True
Let t = -44 - -80. Suppose 3*d + 3*a = 150, d - 16 = -2*a + t. Is 12 a factor of d?
True
Let k(o) = -16*o - 230. Is 6 a factor of k(-35)?
True
Suppose -678 + 100 = -2*l. Is l a multiple of 8?
False
Let m be (-2)/(-8) - 3/(-4). Suppose -k = m, 4*k + 61 = 2*x + 3*k. Does 14 divide x?
False
Let j(v) = 8*v**3 + 2*v**2 - 4*v + 4. Does 17 divide j(2)?
True
Let h be (2/3 - 2)/((-12)/18). Suppose -h*w = -8*w + 612. Is w a multiple of 17?
True
Suppose 28*k - 29665 + 7573 = 0. Is 18 a factor of k?
False
Let s(x) = x**2 + 3*x + 2. Suppose -2*l - 14 = j + j, j - 5*l + 37 = 0. Is s(j) a multiple of 11?
True
Let b(x) = 4*x - 2. Let v be b(1). Let w be ((-14)/(-4) - v)*18. Let s = -3 + w. Is s a multiple of 8?
True
Suppose 72 = 9*y - 648. Is 9 a factor of y?
False
Let n = -18 + 29. Suppose -6*b - 90 = -n*b. Is b a multiple of 18?
True
Let v(m) = 15*m**2 - 5*m - 18. Let i be v(-3). Let x = i + -92. Does 8 divide x?
True
Let c(l) = -11*l - 23. Let w be c(-11). Let f be 3/(9/3)*-68. Let u = w + f. Is 10 a factor of u?
True
Let r be 9 + -7 - (-3)/(-1)*-1. Suppose 132 - 457 = -r*l. Does 13 divide l?
True
Let q = 331 + 621. Does 56 divide q?
True
Suppose 2*s - 3*x - 19 = -0*s, -23 = s + 5*x. Let g(l) = -l**s - 2*l + 2*l**3 - 15 + 3*l**2 + 12. Is g(3) a multiple of 21?
True
Suppose 3*f - 12 = -2*p + 4*p, -5*p = 2*f + 30. Is 10 a factor of p/((-15)/260*2)?
False
Suppose -7*p = -3*p - 4*z - 280, 0 = -p - 4*z + 80. Is 3 a factor of p?
True
Let i(o) = -o + 9. Let f be i(5). Suppose 120 = -f*m + 8*m. Suppose -4*b + m = -178. Is b a multiple of 13?
True
Suppose -165 - 670 = -q - 3*w, -3*q = w - 2537. Is q a multiple of 32?
False
Let i(d) = -d**3 + 13*d**2 - 20*d + 10. Let b be ((-774)/(-8))/9 - 1/(-4). Does 4 divide i(b)?
True
Suppose -4*j - 3*p = -48, 0 = p + 4*p - 20. Is (-2)/3 + 600/j a multiple of 6?
True
Suppose -4*l - 3 = 3*b, 5 = -4*b - 2*l + 11. Let v(g) = g**3 + g**2 + g - 4. Let m be v(b). Is (-5)/m - 66/(-21) a multiple of 3?
True
Let i(s) = -3*s**2 - 3*s - 3. Let m be i(-3). Let z = m + 15. Does 10 divide 14/(-4)*z - 1?
True
Let a(t) = t**2 - 10*t - 6. Let k be a(11). Suppose k*b - 141 = -2*j, -3*j - 4*b + 237 = -5*b. Is j a multiple of 13?
True
Is 60 a factor of ((1560/9)/(-1))/((-106)/1431)?
True
Let s = 93 + -76. Suppose 0 = -s*w + 13*w + 492. Does 24 divide w?
False
Let y(f) be the first derivative of -f**3/3 + 13*f**2/2 - 2*f + 18. Is y(12) a multiple of 2?
True
Suppose -5*z - 156 = -1426. Suppose 69 = -5*i + z. Is i a multiple of 19?
False
Suppose 5*g - 4554 = 3*f, 2*g + 7*f - 10*f = 1818. Is g a multiple of 21?
False
Is (-2)/6 + ((-2226405)/45)/(-17) a multiple of 10?
True
Suppose 2*r = 8*r - 12. Suppose -g = r*g - 462. Does 43 divide g?
False
Suppose -21*m + 23472 + 13761 = 0. Is 9 a factor of m?
True
Suppose f - 64 = -f. Let k = 16 - -1. Let h = f - k. Is h a multiple of 9?
False
Let z(n) = n**3 + 5*n**2 - n - 3. Let g = -114 + 117. Is 8 a factor of z(g)?
False
Suppose -5*k - 95 = 10. Let s = -4 - k. Does 3 divide s?
False
Does 2 divide (-4)/(-20) - (-3822)/65?
False
Suppose 0 =