ppose -17 = -5*d + 83. Does 20 divide d?
True
Suppose -11*g = -4*g - 595. Is 6 a factor of g?
False
Let b(t) be the first derivative of t**2/2 + 28*t + 3. Is b(0) a multiple of 28?
True
Suppose 4*w - 3*w + 10 = 3*q, 4*q - 20 = 0. Suppose 0 = 3*b - 3*k + 3, -w*b - k - 2 = -3*k. Let u = b + 7. Is 7 a factor of u?
True
Let p = 21 - 11. Is p a multiple of 2?
True
Let c be -3 + (-2 - 1) + 25. Let z be (-2)/(-3) + 22/3. Let u = z + c. Is 10 a factor of u?
False
Suppose -2*i - 51 - 9 = 0. Does 15 divide (-2)/2 + (1 - i)?
True
Let x(v) = 2*v**2 + 10*v + 14. Is 7 a factor of x(-7)?
True
Suppose -5*h = -2*o - 8, 6*h + 3*o - 9 = 3*h. Suppose 2*x = -4*n - 30, 4 = h*x + 3*n + 32. Is (1*x)/(1/(-1)) a multiple of 5?
False
Let s(t) = t**2 + 11*t - 2. Let m(d) = 3*d**2 + 33*d - 7. Let q(u) = -3*m(u) + 8*s(u). Is 11 a factor of q(-7)?
True
Suppose 0 = -3*n - 15 - 6. Is 23 a factor of (-23 + 0)/(n/7)?
True
Suppose 5*z = 2*j - 80, -3 = -3*j - 18. Let v = 22 + z. Does 4 divide v?
True
Let h be 5/(-10)*(-1 + 1). Is 14*(2 + h - 1) a multiple of 4?
False
Suppose u - o + 0 = -6, -4*u = 5*o - 21. Let m = 6 + u. Does 5 divide m?
True
Let p(b) = -7*b - 1. Is p(-1) a multiple of 6?
True
Let h = -10 + -5. Let v = 25 - h. Does 8 divide v?
True
Let q(r) = r + 41. Is q(-18) a multiple of 14?
False
Let v = 111 + -66. Does 15 divide v?
True
Let l = -51 - -37. Let w = -77 + 53. Let q = l - w. Is 5 a factor of q?
True
Suppose 153 = 5*l + u, 15 = -l + 2*l - 5*u. Does 10 divide l?
True
Suppose -g - 112 = -3*v - 3*g, 0 = -2*v + 3*g + 79. Does 7 divide v?
False
Suppose 4*i = 4*p + 224, -2*p = -8 - 0. Is i a multiple of 20?
True
Suppose q = 4*q - 33. Is q even?
False
Suppose -k + 3*w + 0 = 3, 27 = 3*k + 3*w. Does 6 divide k?
True
Suppose -4*r + 610 + 106 = 0. Does 33 divide r?
False
Let k(u) = u**3 + 6*u**2 + 4. Let h be k(-6). Let l be (3/(-1))/((-3)/h). Suppose -l*a = -2*a - 50. Is a a multiple of 14?
False
Suppose 0 = -3*z + 5 + 1. Let c(f) = -6*f + 1. Let g be c(1). Is z*g*3/(-6) a multiple of 3?
False
Let q(n) = n**3 - 4*n**2 - n + 2. Let w be q(4). Let l = w - -25. Does 12 divide l?
False
Suppose 4*i = -0*i + 108. Let y = -1 + i. Does 13 divide y?
True
Let m = -2 + 3. Let u be m + -1 + -3 - -9. Is (-56)/u*(-9)/6 a multiple of 7?
True
Suppose 176 + 24 = -5*c. Is 10 a factor of (84/(-14))/(6/c)?
True
Suppose -6 + 0 = -3*c. Suppose 3*w - p = -0*p + 20, 0 = -4*w + p + 25. Suppose 2*v = -c*y + 30, y - 2*y + 4*v = -w. Is 13 a factor of y?
True
Let c = 0 - 0. Suppose -2*k + 12 = k. Suppose -b + k = -c*b. Is b a multiple of 2?
True
Let t(i) = -i**3 + 6*i**2 - 5*i + 5. Let c be t(5). Suppose c*g + 4*p = 3*g - 32, 0 = 2*p + 2. Let q = 22 + g. Does 5 divide q?
False
Let t(v) = v**2 + 11*v - 7. Let r be t(-9). Let m = 15 - r. Suppose 5*w - 45 = m. Is 7 a factor of w?
False
Let w = -7 + 10. Let t(u) = -u**3 - 4*u**2 - 2*u + 0*u**3 + 3*u**2 - w. Is t(-2) a multiple of 5?
True
Let y = -34 - -76. Does 21 divide y?
True
Let q = 18 - 34. Let h be 760/q + 1/2. Let r = 73 + h. Is r a multiple of 24?
False
Let g be ((6*-9)/3)/1. Is 21 a factor of (-127)/(-2) + 9/g?
True
Let p = 234 + -186. Does 12 divide p?
True
Suppose -5*x + 342 = -4*x. Suppose 0 = -2*w + 3*c + 174, -4*w = -c - 2*c - x. Does 18 divide w?
False
Let a(b) = -26*b. Let d(w) = -w - 2. Let n be d(-4). Suppose 4 = -s + n. Is a(s) a multiple of 18?
False
Suppose c + 16 - 4 = 0. Let a = c + 27. Is a a multiple of 15?
True
Let y be (-159)/(-4) + (-2)/(-8). Suppose 5*w - y = 2*w + 4*t, -4*w = 3*t - 70. Is 5 a factor of w?
False
Suppose 2*d + 12 = 3*r, 2*d = -r + 3*r - 10. Let z = d - -51. Is 11 a factor of z?
False
Suppose -3*u + 52 = 133. Let m = u + 46. Is 19 a factor of m?
True
Let n = 27 - -31. Suppose 4*w - n = 22. Is 20 a factor of w?
True
Let d be 0*2/(-12)*3. Suppose d = -i - 4*c + 34, -4*i = 2*c - 92 - 72. Is 7 a factor of i?
True
Suppose 0 = -3*q + 2*t + 28, -31 = -3*q + t - 2*t. Is q a multiple of 6?
False
Is (13 + (-1 - 1))*(-3)/(-3) even?
False
Suppose -4*x = -6*x. Suppose -28 = -4*d - x*d. Is d a multiple of 4?
False
Let a(r) = 2*r + 5 - r - 3. Let h be a(0). Suppose h*k - 4*y + 0*y = 92, -k = 5*y - 60. Is 17 a factor of k?
False
Suppose -5*q + 2*b + 40 = -3*b, -q - 5*b = 10. Suppose -q*y = 3*g - 62, -3*g - 2*g = -3*y - 92. Is g a multiple of 6?
False
Let w be (-1 + 2/4)*20. Let b = w + 38. Does 14 divide b?
True
Let t = 20 + -17. Suppose -4*a = -t*w + 142, 3*a - 206 = -2*w - 2*w. Does 21 divide w?
False
Let x(i) = i**2 - i - 7. Let a(l) = -l**3 - l**2 - l - 1. Let c be -3 + (1/(-1))/(-1). Let q be a(c). Is 7 a factor of x(q)?
False
Let q be 3 + 2/(-1) - -3. Suppose 0*y + 4*c + 3 = 5*y, 2*c = q*y - 6. Suppose 2*b + 0*x = 5*x + 53, -4*x - 90 = -y*b. Does 15 divide b?
False
Let w = 115 + -87. Does 3 divide w?
False
Let h be (-475)/(-2)*16/20. Suppose 2*v + h = 4*k, 5*v = 5 - 0. Is k a multiple of 24?
True
Let v(i) = i - 13. Let c(w) = -4*w + 40. Let l(u) = -2*c(u) - 7*v(u). Is l(8) a multiple of 6?
False
Let a = -2 + -4. Let z(n) = -2*n - 9. Let d be z(a). Is 7 a factor of (-26)/(-2) + d/3?
True
Let q(i) = i**3 - 10*i**2 + 3*i - 5. Let h be q(10). Let y = -8 + h. Is 17 a factor of y?
True
Let r(g) = 3*g**2 - 2*g + 3. Suppose -2*v - 4 = 4*x - 0, -v - 3*x = 2. Let i be 8/v*12/(-16). Does 8 divide r(i)?
True
Let s be (3/(-6))/((-2)/(-4)). Let t = -21 + 33. Let l = t + s. Does 9 divide l?
False
Let r = 57 + -27. Does 20 divide r?
False
Let u = 415 + -94. Does 22 divide u?
False
Suppose 4*t - 127 = -i - 0*i, 0 = t + 5*i - 8. Is t a multiple of 13?
False
Let m = -9 - -21. Is m a multiple of 2?
True
Let x be 342/5 + 2/(-5). Suppose -g + 2*l - 6*l = -x, l = 4. Does 13 divide g?
True
Suppose 9*h = 1273 + 365. Is 13 a factor of h?
True
Suppose -2*b = 5*c + 13, 18 = 3*b - 5*c - 25. Is 11 a factor of b*(2/6 + 3)?
False
Let y = -47 + -3. Let u(m) = -17*m - 1. Let r be u(2). Let d = r - y. Does 15 divide d?
True
Let l(x) = 10*x**2 + 2. Let z be l(4). Suppose 4*r + 42 = z. Is 15 a factor of r?
True
Let i(f) = 6*f**2 + 15*f - 12. Let n(t) = -t**2 - t. Let y(g) = -i(g) - 5*n(g). Is 14 a factor of y(-9)?
False
Let d(f) = -15*f - 5. Is 5 a factor of d(-2)?
True
Let d = 4 - 1. Suppose l + 4*l = d*n - 62, -l + 24 = 2*n. Let h = n + -10. Is h even?
True
Let c(o) = -3*o - 5. Let w be c(-5). Suppose 0 = -5*s + w - 40. Is 11 a factor of (-4)/s*69/2?
False
Let t = -217 - -402. Suppose 3*p - 5*l = -l + 109, -5*p + 5*l = -t. Does 13 divide p?
True
Suppose 5*q = 2*q. Suppose q = -a + 5 - 3. Suppose -b + 4*v = -0*b + 11, a*b - 4*v = -6. Is 5 a factor of b?
True
Let g = 12 - 13. Let o(s) = -18*s**3 - 1. Does 3 divide o(g)?
False
Let j = -4 - -7. Suppose -5*f - 6 = -u, j*f = 4*f. Is 4 a factor of 30/9*u/5?
True
Let s be (0 - -2 - 2)/3. Let y be -3 + s - (-45)/9. Suppose -68 = -y*f - 2*f. Does 6 divide f?
False
Let t(s) = -s**3 - 6*s**2 - 6*s - 4. Let m = -9 + 17. Suppose m = -b + 2. Is t(b) a multiple of 16?
True
Let l(q) = 78*q - 23. Is 33 a factor of l(2)?
False
Let l(q) = 2*q - 1. Let u be l(2). Suppose 0*a - 15 = -u*a. Suppose -a*h + 97 = -83. Does 15 divide h?
False
Let x be (-18)/30 + (-193)/(-5). Suppose -22 - x = -y. Suppose 3*f - f = y. Does 15 divide f?
True
Does 9 divide (-3768)/(-15) + ((-96)/(-20) - 5)?
False
Let l = -22 - -25. Suppose a - 32 = -2*u + l*a, 4*u - 61 = 3*a. Is u a multiple of 12?
False
Let t be ((-6)/(-5))/(3/(-10)). Let w = -4 - t. Suppose -5*z + 4*m + 36 = w, 0*m = -4*z + m + 20. Is 2 a factor of z?
True
Does 7 divide 1/2 - (-205)/10?
True
Let v(p) be the third derivative of -p**6/24 - p**5/30 + p**4/24 + p**3/6 + p**2. Let n be (-33)/15 - 3/(-15). Does 12 divide v(n)?
False
Let a be (-5)/(-1 + (-2)/(-3)). Let s = a + 1. Does 16 divide s?
True
Let u be (9/(-6))/((-1)/58). Let n = u + -52. Is 11 a factor of n?
False
Suppose -4*s + 8*s - 8 = 0. Suppose -s*u + 54 = 6. Does 14 divide u?
False
Let j(x) = -x**2 + 29*x - 34. Does 14 divide j(26)?
False
Let l be (-4)/2*-1 - -2. Let p be 21 + l/6*-3. Let j = 31 - p. Does 10 divide j?
False
Let v = -11 - -16. Suppose w = -3*q - v, 2*w + 0*w - q = 11. Let f = w + 2. Does 4 divide f?
False
Suppose 20*d - 9*d = 1694. Is 18 a factor of d?
False
Let q(s) be the second derivative of s**5/20 - s**4/3 - s**3/3 + 3*s**2 - 4*s. Is 7 a factor of q(5)?
True
Let a(v) = -3*v - 4. Let t be a(-5). Supp