of v?
True
Let b = 2 + -4. Let x be b + (2*12)/2. Suppose 0*h - x = -2*h. Is 2 a factor of h?
False
Suppose 0 = r - 3*r - 14. Let w be (-2)/r - 10/(-14). Is (7/w)/((-1)/(-2)) a multiple of 7?
True
Suppose -h - 8 + 2 = 0. Let m be (-10)/h - 1/(-3). Suppose -5*w + m*k = -0*k - 49, -2*k + 61 = 5*w. Does 4 divide w?
False
Suppose -2*k = -4*k - 4*f, 5*k - 2*f = 12. Suppose -k*j + 85 = 3*o, 4*j = -0*j + 8. Does 6 divide o?
False
Let q be 9/6 + (-42)/(-4). Let p be (-1)/(-3) - 4/q. Is p - -17 - (3 - 2) a multiple of 8?
True
Suppose 0 = -j + 4*d + 3, 0 = 4*d + 4. Let z = j - -3. Is (-1)/(1/(-14)*z) a multiple of 3?
False
Let l(c) be the second derivative of -c**3/6 + c**2 + c. Let v be l(0). Is v + -1 + 0 - -21 a multiple of 11?
True
Suppose -3*l - 3*x + 15 = 0, 2*l - 3*x - 1 = 9. Is l a multiple of 3?
False
Let b = -2 + 6. Suppose 0 = -b*k - 4, 0 = -4*u + 5*u + 3*k - 2. Does 5 divide u?
True
Suppose 0 = -g + 80 - 14. Suppose 0 = z - 3*y - 21, -7*z + 3*y = -3*z - g. Is 5 a factor of z?
True
Suppose 0 = 4*u - 12, -5*u = k + k - 147. Does 22 divide k?
True
Let o(m) = m**2 + 8*m + 3. Let f be o(-6). Let k = f + 13. Is 4 a factor of k?
True
Let a(m) = -3*m**3 - 3*m**2 + 3*m + 3. Does 9 divide a(-2)?
True
Let x(w) = 7*w - 4. Does 13 divide x(8)?
True
Let n = -35 - -74. Let u = n + -16. Is u a multiple of 11?
False
Let l(x) be the first derivative of x**3/3 + x**2/2 + 3. Is l(-4) a multiple of 6?
True
Let w = -3 - -35. Let c = w - 12. Is c a multiple of 20?
True
Let s(l) = l**2 + 6*l - 5. Let q be s(-7). Suppose q*w - 79 - 3 = 0. Is 19 a factor of w?
False
Suppose -4*o - 2 = -5*o. Suppose 49 = o*b + 9. Is b a multiple of 20?
True
Suppose -g + o + 1 + 5 = 0, 0 = -2*g + 4*o + 4. Does 14 divide 284/10 - 4/g?
True
Suppose -5*d - 21 = -181. Let n = d - 17. Is n a multiple of 13?
False
Suppose 2*n = -3*n. Suppose 6 + 12 = 2*k + a, n = -5*k - 3*a + 46. Is k a multiple of 4?
True
Let l(d) = -38*d + 1. Let r be l(-2). Let x be 28*(-4)/(32/(-6)). Suppose -x = 4*w - r. Does 14 divide w?
True
Let y = 4 - 10. Let j = -6 - y. Does 5 divide (j - 2*-5)/1?
True
Let j(a) = -a**3 - 2*a**2 + 3*a + 4. Let d be j(-3). Suppose -d*t - 5*c = 12, 4*t + 4*c + 6 = -6. Let r = t + 7. Does 2 divide r?
True
Let w be 2 + -4 + 0 + -6. Does 11 divide (w - -4) + 30 - -2?
False
Suppose 4*s + 36 = -3*o, o = 4*s - 2*s + 8. Let t(k) = -k**3 - 7*k**2 - 9*k - 1. Is t(s) a multiple of 7?
False
Let r be (-5 + 1)*(-6)/12. Suppose 0 = -v - 0 + r. Suppose 0*y - 22 = -v*y. Is 11 a factor of y?
True
Let p be (-1)/(-6) - 1/6. Suppose -4*b + 56 = 2*y, -2*b + p*b = -2*y - 34. Suppose 2*r - b = 9. Is 12 a factor of r?
True
Let x(h) = 4*h**2 - 1. Suppose 2*w + 3*c = -c, 0 = 4*w + c - 7. Suppose 0 = w*n + 2*n + 8. Is x(n) a multiple of 11?
False
Let l = -1 + 3. Let q = l - 4. Is 5 a factor of (-3)/(-1) - -10 - q?
True
Let s = -21 - -61. Is 10 a factor of s?
True
Let h(l) = -6*l - 2. Let g be h(-3). Suppose -q = -g - 1. Let z = q + -12. Is z a multiple of 2?
False
Suppose -4*c - 4*q + 20 = -8, 2*c + 4*q = 18. Suppose -25 + 149 = c*o + 4*v, -5*v = 2*o - 53. Is o a multiple of 8?
True
Suppose 2*b + 5*l = -2*b + 792, -4*b + 4*l = -828. Does 9 divide b?
False
Suppose 24 = -4*p - 0*p. Is 11 a factor of 0 - p/(12/70)?
False
Let a be (3 - 1)/(4/102). Let p = -46 - -11. Let x = a + p. Is 8 a factor of x?
True
Let x be (4/10)/(10/100). Suppose -10 = -x*m + 126. Does 17 divide m?
True
Does 21 divide -4*21/(-14)*(-134)/(-6)?
False
Let a(i) be the first derivative of i**4/4 + 7*i**3/3 - i**2 + 9*i + 9. Does 5 divide a(-7)?
False
Suppose 4*l + l - 95 = 0. Let c = -3 + l. Suppose 5*s - 55 = -5*z, z - c = -0*z + 4*s. Is z a multiple of 6?
True
Let y(t) = t**3 + 9*t**2 + 4*t + 4. Let h be y(-8). Let k = 65 - h. Does 21 divide k?
False
Let g = -2 - -4. Let r be (-6)/3 - (-4)/g. Is 6 a factor of (5 - r)*18/15?
True
Let l(a) = 3*a - 17. Is l(15) a multiple of 4?
True
Let m be 2/5 - 156/(-10). Let s = m + -9. Suppose -5*z + 2*l = -68, 20 = 3*z - 3*l + s*l. Is z a multiple of 5?
False
Suppose -m = -3*c - 32, -5*c - 12 = -3*c + 4*m. Let p be 2/(-5) + (-44)/c. Suppose 5*k = -3*i + 63, 0 = -3*i - p*k + 32 + 28. Is 8 a factor of i?
True
Let w(b) = b**2 - 8*b + 9. Let k be w(6). Let t = 0 - k. Suppose 3*n - 5*f = 30, -t*f + 5 = 4*n + 2*f. Does 3 divide n?
False
Suppose -b - k + 45 = 4*b, -4*b - 3*k = -36. Does 10 divide (-2)/b + (-546)/(-27)?
True
Suppose 31 + 5 = u. Is ((-2)/3)/((-6)/u) a multiple of 2?
True
Suppose 10 = 2*a - 10. Let x = a + 22. Is 8 a factor of x?
True
Let c(l) = -l**3 - 11*l**2 - 12*l + 3. Let f be c(-10). Let q = 44 - f. Is q a multiple of 8?
False
Let r(y) = -3*y**2 + 4*y + 11. Let u be -2 - (-1 + 2) - 1. Let k(o) = -2*o**2 + 5*o + 10. Let q(j) = u*k(j) + 3*r(j). Is 8 a factor of q(-5)?
True
Let z = -80 - -128. Does 12 divide z?
True
Suppose 0 = -3*o - 2*o. Suppose o = 3*t - 8 + 38. Does 10 divide 10/(t/(-6) - 1)?
False
Let s(a) = -a - 1. Let p be s(-5). Suppose 20 = p*i - 0*i. Suppose 55 = 5*f + 5*j, 4*f + 26 = i*f + 4*j. Is 6 a factor of f?
True
Suppose -w - 63 = -4*f, 22 = 2*f + 2*w - 12. Let m = 23 - f. Is 7 a factor of m?
True
Let c = -6 - -8. Let p = 1 - c. Let w = 33 - p. Is w a multiple of 20?
False
Let x(o) = -o**3 - o**2 + 8. Suppose -2*z = -3*l + 3, 4*z - 2*l + l = 9. Suppose z*q = -q. Does 8 divide x(q)?
True
Suppose 0 = -2*n + 4*y + 84, 0 = -2*n + y + 85 - 13. Let s = 53 - n. Is 6 a factor of s?
False
Is 565/7 + (-44)/(-154) a multiple of 18?
False
Suppose 0 = y + a, -y - 3*a - 16 = 2*a. Suppose 5 = 3*x - y. Suppose -2*z + 14 = 2*c, 2*z + x*z - 4*c - 44 = 0. Is z a multiple of 8?
True
Suppose k - 3*m = 2*k + 1, m + 1 = 0. Suppose -2*u = 8, -u = -k*g + 70 - 14. Is g a multiple of 13?
True
Let w(z) be the third derivative of z**5/60 + z**3 - z**2. Is w(5) a multiple of 15?
False
Let y = -6 + 44. Does 10 divide y?
False
Let r = -71 - -81. Is r a multiple of 8?
False
Let k be ((-14)/(-42))/((-2)/(-12)). Suppose o = 3*j + 19, k*o = -o - 5*j + 1. Is o a multiple of 2?
False
Suppose -4*l + 32 = -4. Is 5 a factor of (l*1)/((-1)/(-1))?
False
Let h(y) = y**3 + 5*y**2 - y + 5. Does 3 divide h(-5)?
False
Let v = 8 + -68. Let j be (-2)/(2 - 0)*v. Suppose 2*y + j = 5*y. Is y a multiple of 15?
False
Let w = 21 - 9. Suppose 0 = -v - 0*v + w. Is 4 a factor of v?
True
Let k(i) = -i**2 - 4*i. Let p be k(-3). Let v = -86 + 111. Suppose -76 = -p*a - v. Is 10 a factor of a?
False
Suppose -7*w + 5*w + 150 = 0. Is w a multiple of 16?
False
Let w(j) = j + 4. Let i be w(-8). Let t(a) = 5*a**2 + 5*a - 2. Is t(i) a multiple of 20?
False
Let b(l) = 3*l. Let v be b(1). Suppose v*t - 80 = -2*t. Is t a multiple of 8?
True
Let q(l) = 19*l**2 + 7*l + 7. Is 16 a factor of q(-2)?
False
Suppose 3*t = -t. Suppose t = k - 3*k - 3*g + 77, -4*k = -2*g - 162. Is k a multiple of 20?
True
Let y(b) = -b**2 - 10*b + 5. Let w be y(-10). Suppose 2*n + 2*n - 4*m - 68 = 0, -w*n = m - 67. Does 7 divide n?
True
Suppose 5*i + 18 - 3 = 0. Let q(m) = 3*m**3 + 2*m**2 + 3*m + 3. Let c be q(i). Let z = 101 + c. Is z a multiple of 11?
False
Suppose -4*n + 140 - 23 = -5*x, -61 = -2*n + 5*x. Let h = n - 11. Is 10 a factor of h?
False
Is (82/3)/((-22)/(-33)) a multiple of 13?
False
Let z(a) be the first derivative of -a**4/4 - 3*a**3 - a**2 + 8*a - 5. Is 13 a factor of z(-9)?
True
Let x = 6 - 4. Suppose -6*j + 104 = -x*j. Is 14 a factor of j?
False
Let b = -1 + 5. Suppose -c - 5 = b*c, 4*c = 2*g - 44. Is g a multiple of 10?
True
Let j = -155 - -322. Is 11 a factor of j?
False
Let y(q) = 7*q**2 + 5*q + 10. Does 5 divide y(-4)?
False
Suppose -2*u - 5 = -3*u. Suppose -p + u = -22. Is p a multiple of 21?
False
Let k(j) be the third derivative of j**5/20 + j**4/12 - j**3/6 + 3*j**2. Suppose -4*t - 2*n - 3*n + 12 = 0, -t + n = 6. Is 5 a factor of k(t)?
False
Let r = 8 - 10. Let b(m) = -7*m - 3. Is b(r) even?
False
Suppose -8 = 2*w - 0*w. Let h(m) = -m**3 - 3*m**2 + 5*m. Let s be h(w). Let x(i) = i**3 + 6*i**2 + 5*i - 1. Is 4 a factor of x(s)?
False
Suppose 3*r - 2*r = 14. Suppose w + r = 43. Does 10 divide w?
False
Let c = -8 + 9. Let l(s) = 4 + 11*s - 4. Does 11 divide l(c)?
True
Suppose -v + 176 - 33 = 0. Suppose 3*l - v = -56. Is 9 a factor of l?
False
Let m be (-4)/20 + 578/(-10). Does 4 divide (-3)/(-4) + m/(-8)?
True
Suppose i - l - 287 = 0, -1083 + 221 = -