- 4 - 4. Is z a multiple of 2?
True
Let u = 9 + -3. Suppose 0 = 4*g - u*g + 164. Let m = g - 54. Does 14 divide m?
True
Let v(r) = -r**3 - 3*r**2 - r. Let u be v(-3). Let f = 6 - u. Suppose 0 = 5*j - b - 52 - 48, 5*b + 82 = f*j. Does 19 divide j?
True
Let c(w) = w - 1. Let x be c(5). Suppose -3*g = 2*g - z - 146, -76 = -2*g - x*z. Does 15 divide g?
True
Let o(y) = 3*y + 54. Does 3 divide o(0)?
True
Suppose 3*o = -0*o + 42. Let j(t) = 0*t - 3*t + 1 + o*t**2 + t. Does 7 divide j(1)?
False
Let k(u) = -26*u + 30. Is 53 a factor of k(-7)?
True
Suppose 4*z - 12*z = -104. Let h(w) = -29*w. Let i be h(1). Let c = z - i. Does 19 divide c?
False
Suppose -2*u + 2*i - 24 = 0, 2*i - 41 = 4*u - u. Let q = 0 - u. Is 6 a factor of q?
False
Let p be ((-130)/(-8))/((-2)/(-8)). Suppose -p = -s - 21. Is s a multiple of 22?
True
Let r = -16 - -16. Suppose -l + 26 = p, -p + r*p = 5*l - 138. Is 5 a factor of l?
False
Is 13 a factor of 1/2 + (-110)/(-4)?
False
Suppose -4*c = b - 17, 3*b = -3*c + 9 + 6. Let y = 1 + c. Is y a multiple of 5?
True
Suppose 3*g = -2*g + 4*j + 5, 4*g + 4*j = 40. Suppose 0 = -h - 3*p - 8, -2*p = 3*p + g. Is 6 a factor of (6/5)/((-1)/h)?
True
Let y(k) = -k**3 - 11*k**2 + 12*k + 12. Is 5 a factor of y(-12)?
False
Let u = 7 - -25. Does 8 divide u?
True
Let h(q) be the second derivative of -q**3/6 - 7*q**2/2 - 2*q. Let g be h(-10). Suppose 74 = g*f - 4*u + 19, 3*u = 4*f - 78. Is 18 a factor of f?
False
Suppose 8*f - 113 = -17. Is 7 a factor of f?
False
Suppose -21 = -6*n + 3*n. Let f be 2/n - (-107)/(-7). Does 4 divide f*((-1 - 2) + 2)?
False
Let c(m) = m**3 - 9*m**2 + 13*m - 10. Is c(8) a multiple of 10?
True
Let x(j) = -j**2 + j - 1. Let z be x(0). Let h(i) = -7*i**3 + i**2. Is 8 a factor of h(z)?
True
Suppose -2*h = -73 - 47. Does 5 divide h?
True
Suppose o + 4*d - 65 = 71, 0 = 5*o + 5*d - 725. Does 37 divide o?
True
Let u(w) = w**2 - 6*w. Let l be u(6). Suppose -5*g - 9 - 1 = l. Does 2 divide 0 + g - (0 + -4)?
True
Is (-3 - -1)*500/(-8) a multiple of 21?
False
Suppose -11 + 38 = 3*p - 3*g, 4*p = -3*g + 8. Suppose j + 16 = p*j. Is 2 a factor of j?
True
Suppose 8*k - 444 = -12. Is k a multiple of 28?
False
Let z = 12 + -9. Is 8 a factor of (-72)/14*(-14)/z?
True
Let z(t) = -23*t - 11. Does 9 divide z(-4)?
True
Let g(c) = -19*c + 7. Is 20 a factor of g(-4)?
False
Let l = -9 + 13. Suppose -i - 2*o + 4 = 0, l*i = 4*o + 72 - 20. Let t = 14 - i. Is 4 a factor of t?
True
Suppose 3*o = 2*l - l + 24, 0 = -4*l - o - 135. Let h = l + 63. Is h a multiple of 10?
True
Suppose -c + 2 + 1 = 0. Suppose 0 = c*u - 4*y - 160, 4*u - 2*y = 2*y + 220. Is u a multiple of 20?
True
Suppose -3*r + 2*r + 8 = 3*d, 4*d = 4*r - 16. Is r a multiple of 5?
True
Let k(v) be the first derivative of -v**6/120 + v**5/15 - v**4/24 + v**3/3 + v**2 - 2. Let u(d) be the second derivative of k(d). Does 5 divide u(3)?
False
Let u = -7 - -6. Does 7 divide (-2)/(17/19 + u)?
False
Suppose -6*g = -0*g - 360. Does 12 divide g?
True
Suppose 4*z + 2*l + l - 35 = 0, -20 = -3*z - l. Suppose -3*i + 7 = -z. Is 2 a factor of i?
True
Let w = 1 + -4. Let v = 16 - w. Is v a multiple of 5?
False
Let l(n) = n**3 - n**2 - n + 1. Let p be l(1). Suppose p = 3*a - 14 - 1. Suppose 4 = -w, 3*c - 2*c + a*w + 4 = 0. Is 7 a factor of c?
False
Let n be (-116)/16 + (-3)/4. Let u = n - -15. Does 7 divide u?
True
Let h be (33/6)/((-1)/2). Let g = -7 - h. Is g a multiple of 3?
False
Let j(f) = 2*f**3 - 2*f**2 + 1. Let t be j(-1). Is 3 a factor of 19/5 - t/15?
False
Suppose 6*n = 119 + 169. Does 6 divide n?
True
Suppose 3*r - 9 = -0*r, -41 = -5*f - 2*r. Let t = -1 + f. Is 2 a factor of t?
True
Suppose -2*b - 4*x = 48, 46 = -4*b + x - 5. Let h = b - -23. Does 4 divide h?
False
Let o(m) be the second derivative of m**5/20 + m**4/6 - m**3/6 - 3*m. Let a(z) = 3*z**3 - 2*z - 1. Let k be a(-1). Is o(k) even?
True
Let l(c) = -7*c - 2. Let a(o) = -3*o - 1. Let u(x) = 9*a(x) - 4*l(x). Does 3 divide u(5)?
False
Let i(y) = y**2 + 4. Let b be i(-8). Suppose b - 8 = 5*j. Does 11 divide j?
False
Suppose k - 11 = -2*l, -k - 3*k - 4*l + 28 = 0. Let g(r) = 68*r - 1. Let i be g(1). Does 11 divide i/k - (-4)/(-12)?
True
Suppose -g + 57 = 2*g. Suppose 0 = -5*i + 1 + g. Is i a multiple of 4?
True
Suppose -5*d = -52 - 133. Is d a multiple of 23?
False
Does 7 divide (-2)/(3 - (-160)/(-52))?
False
Let w(r) = -r**2 + 16*r - 24. Is w(10) a multiple of 6?
True
Suppose 0 = -3*j + j + 10. Suppose -j*v + 12 = -38. Is v a multiple of 3?
False
Suppose 0*g - 4*g + 12 = 0. Does 16 divide 58/g + 2/(-6)?
False
Suppose 10*q - 7*q - 102 = 0. Is q a multiple of 7?
False
Suppose 0 = -4*w - 5*k + 332, -2*w + 219 = 2*k + 53. Does 19 divide w?
False
Suppose 3*h + 2*h + 15 = 0. Let q be (-30)/(-9)*h - 3. Let x = -3 - q. Is x a multiple of 3?
False
Let r(u) = -3*u**2 - 2*u**3 + 4 + 3*u**3 - 4*u**2 + 6*u. Let s be r(6). Suppose s*x - 3*x = 6. Does 3 divide x?
True
Let z(a) = -11*a**3 - 4*a**2 - 15*a + 15. Let w(p) = -4*p**3 - p**2 - 5*p + 5. Let v(i) = -8*w(i) + 3*z(i). Let r = -13 - -8. Is v(r) a multiple of 21?
False
Let a(t) = -t**2 + 4*t - 1. Is a(3) a multiple of 2?
True
Let w(n) = n**3 - 7*n**2 - 9*n + 12. Let b be w(8). Suppose 4*d - 121 = -0*l + l, 4*d + b*l - 116 = 0. Is 10 a factor of d?
True
Let n(u) = 139*u**3 + u**2 - 1. Is n(1) a multiple of 15?
False
Let v(y) = 28*y + 1. Let q(w) = 83*w + 3. Let b(p) = 3*q(p) - 8*v(p). Let j be b(4). Suppose -4*s + 0*t - 2*t = -148, t = 3*s - j. Does 14 divide s?
False
Let w be 5/2 - (-2)/(-4). Suppose 0 = -4*l - 3*a - a + 80, 4 = w*a. Does 8 divide l?
False
Does 12 divide 2/(373/(-125) - -3)?
False
Let v be 0*(-2 + (-6)/(-4)). Suppose v*s = s. Suppose s*l - l = -9. Is l a multiple of 9?
True
Suppose -2*z + 4*z - 16 = 0. Is z a multiple of 2?
True
Let m = 5 - -18. Is 14 a factor of m?
False
Suppose -l - l - 6 = 0. Is ((-22)/l)/((-1)/(-9)) a multiple of 22?
True
Suppose -5*m + 7*m = 8. Suppose 4*v = 3*r - 125, -2*v + 80 = 2*r - m*v. Is 16 a factor of r?
False
Let a = -14 - -28. Suppose 0 = -f + 2*f - a. Does 7 divide f?
True
Let l be (-5)/20 - 42/(-8). Suppose 3*d = -l*t + 17, t - 5*d + 3*d = 6. Is 2 a factor of t?
True
Suppose 0 = 4*d + 2*w - 112, -2*d + 0*d + 56 = 2*w. Does 14 divide d?
True
Let i = 0 + 3. Suppose -i*w + 52 = -w. Is 14 a factor of w?
False
Let b = -42 - -103. Does 6 divide b?
False
Let c be (-632)/72 + 4/(-18). Let n(j) = -j**2 - 10*j + 9. Is n(c) a multiple of 13?
False
Let l be 2/(-6) + (-7)/(-3). Suppose -13 = -3*z + 2*q - 5, -2*z + 10 = q. Suppose 2*r = 5*a - 58, -27 = -z*a + l*a - 3*r. Is a a multiple of 4?
True
Let z(r) = -9*r - 26. Is z(-7) a multiple of 37?
True
Let u(i) = -3*i + i**2 - 1 + 3*i + 4*i - 3*i. Let k be u(1). Let n = 4 + k. Does 2 divide n?
False
Let w(u) = 4*u - 7. Is w(5) a multiple of 8?
False
Let g(c) = c**2 + 5*c + 8. Let y be g(-6). Let u = y + -10. Suppose -3*j - u = 5*p - 79, 3*j - 30 = -2*p. Is p a multiple of 10?
False
Suppose -180 = -5*z - 4*z. Is z a multiple of 4?
True
Let i be ((-9)/(-6))/((-3)/(-8)). Suppose 1 = -i*d + 5. Let l(k) = 8*k**3 + 2*k - 1. Is 9 a factor of l(d)?
True
Suppose -l + 5 = k, l + 5*k - 15 = 2*k. Suppose -2*f + 2*d = -l*f - 38, 2*f + 2*d = 22. Is f a multiple of 15?
True
Suppose -2*b + 35 = -59. Suppose -4*g - 40 = -3*o, -2*o + g = o - 55. Let n = b - o. Is 9 a factor of n?
True
Suppose 0 = 3*o + o - 20. Suppose o*a + 3*g - 2*g - 210 = 0, 210 = 5*a + 2*g. Is 18 a factor of a?
False
Suppose -19*r - 140 = -26*r. Is 20 a factor of r?
True
Let a(l) = 4*l + 4. Let y = 13 + -5. Let x = y - 3. Does 12 divide a(x)?
True
Let l(j) = j**3 - 15*j**2 + 17*j + 26. Does 34 divide l(14)?
True
Let t(a) = 12*a**2 - a + 3. Is t(-2) a multiple of 20?
False
Suppose 2*t - 43 = 3*k + 2*k, 0 = 2*k + 10. Let g(z) = -z**3 + 8*z**2 + 12*z - 2. Is 10 a factor of g(t)?
False
Suppose -2*w = -93 + 3. Is 9 a factor of w?
True
Let a(k) = -12*k - 9. Let p(z) = 11*z + 9. Let t(u) = -6*a(u) - 7*p(u). Let h(o) = -5*o - 8. Let r(l) = 7*h(l) - 6*t(l). Is r(-3) a multiple of 13?
True
Suppose 2*k + k = 207. Suppose -2*s + 0*y = -y - 103, 4*y = s - k. Is s a multiple of 19?
False
Is 38 a factor of -1 - ((-823)/5 - 4/10)?
False
Does 14 divide (1/(-2) + 0)*-84?
True
Let s be 19 - (-1 - (2 - 1)). Let a = 40 - s. Is 12 a factor of a?
False
Let r be 8/36 + 43/9. Suppose 0 = -4*b + 