s + a = 4*s + 5*u, -s - 5*u = -5. Is 5 a factor of s?
True
Suppose -2*v - 2*v - 180 = -4*z, 0 = -4*z - 4*v + 172. Suppose z = 4*w + 4. Is 12 a factor of 16/w*(-15)/(-2)?
True
Let q be ((-6)/(-18))/(3/45). Suppose 60 = q*f - 305. Is 8 a factor of f?
False
Let a(w) = w**3 - 4*w**2 - 3*w - 6. Let d(h) = -4*h + 1. Let z be d(-1). Let m be a(z). Let q = m + 1. Does 5 divide q?
True
Let z(f) = -f**2 + 27*f - 19. Is z(9) a multiple of 10?
False
Let c(n) = -3*n**3 - 5*n**2 - 13*n + 19. Let u(j) = -5*j**3 - 7*j**2 - 19*j + 28. Let l(z) = 8*c(z) - 5*u(z). Is 33 a factor of l(8)?
True
Suppose -3*w + m + 91 = -20, 0 = -2*w - 5*m + 91. Suppose -3*v = w - 119. Is v a multiple of 26?
False
Let x be (-5)/((-20)/(-12)) - -101. Suppose -6*i + 4*i = -x. Suppose 0 = 7*b - i - 91. Is 7 a factor of b?
False
Suppose 6*l - 2*l - 16 = -2*c, -c = 0. Let f(s) = -s**3 + 5*s**2 + 9*s - 28. Does 5 divide f(l)?
False
Let h = -18 - -25. Let b(d) = 10*d + h*d - 7 + 3*d**2 - 4*d**2 - 12. Is 11 a factor of b(13)?
True
Suppose -34 - 120 = 14*y. Suppose 3*n + 31 = -23. Let m = y - n. Does 2 divide m?
False
Let v be (-174)/84*-2 + 1/(-7). Suppose 0 = -h - 3*y + 137, 4*h - 593 = v*y - 7*y. Is 18 a factor of h?
False
Let l(p) be the first derivative of -p**4/4 - 8*p**3/3 - 3*p**2 + 6*p - 3. Let d be l(-7). Is 1/(d/(-6)) - -2 a multiple of 3?
False
Let i(s) = -s**2 + 38*s + 26. Is 7 a factor of i(35)?
False
Suppose -w - 1 = 2*j - 7, -5*w - 14 = -j. Does 33 divide (j - 0) + (169 - 8)*1?
True
Suppose 44865 = 72*j - 29439. Does 8 divide j?
True
Let x be -6*(8/28 + 20/(-21)). Is 8 a factor of (x - -76) + 0/1?
True
Suppose 75 = 3*g - 2*g. Let m = g - 46. Suppose j = 2*u + m, 55 = 3*j - 3*u + 5*u. Is j a multiple of 7?
True
Suppose 2*d = d - 6. Let k(y) = 2*y**2 + 2*y + 6. Let c be k(d). Suppose 5*z - c = 3*z. Is 15 a factor of z?
False
Let u(a) = 4*a**3 - 11*a**2 + 9*a + 14. Does 19 divide u(5)?
False
Let l(h) = -3*h + 5. Let q(u) = -5*u + 7. Let o(p) = -7*l(p) + 5*q(p). Let f be o(-2). Let w = 29 - f. Does 21 divide w?
True
Let f(t) = -t**2 - 4*t - 3. Let r be f(-4). Let y(w) = -w**3 - 3*w**2 - w. Let d be y(r). Suppose 0 = 5*z - 2*o - 85, o - 40 = -2*z + d*o. Is 15 a factor of z?
True
Suppose 8*s = 3*s + 25. Let j = -94 - -131. Suppose -g + j = s. Does 7 divide g?
False
Let c be 3/2*(-48)/(-9). Suppose c*f = f. Suppose -3*i + 54 + 66 = f. Does 8 divide i?
True
Let z(r) = r**3 + 5*r**2 + 2*r + 2. Let h be z(-5). Let n = h - -9. Is ((-4)/n)/(-4) + 17 a multiple of 16?
False
Let n(h) = 6*h**2 + 20*h - 15. Is 44 a factor of n(-10)?
False
Let d(q) = -6*q**2 + 518*q - 57. Does 23 divide d(77)?
True
Suppose 3*h - h - 776 = -m, 4*h - 1568 = 2*m. Let z = h + -260. Is z a multiple of 10?
True
Suppose r + 2*r = 27. Let h = 7 - r. Does 12 divide h/(-3) - (-88)/3?
False
Let m be ((-72)/30)/(1/(-5)). Let z be m/8*(-40)/(-12). Suppose 4*v = 253 - z. Is v a multiple of 31?
True
Let h(k) = 3*k**2 - 3*k + 5. Let w(z) be the third derivative of -z**6/120 - z**5/15 - z**4/24 - 3*z**2. Let b be w(-4). Does 14 divide h(b)?
False
Suppose 6*t - 124 + 352 = 0. Let h = t + 56. Is 3 a factor of h?
True
Is 7 a factor of (-3 - 3594/(-24)) + 2/8?
True
Suppose 0 = -2*n - 0*n. Let y be n/(-1)*1/2. Suppose y = -5*u + 23 + 12. Is 7 a factor of u?
True
Let d = 142 + -139. Suppose -d = -j, w - 211 = 3*j - 36. Is w a multiple of 12?
False
Suppose 5*o - 10*o = -450. Suppose -94*t = -o*t - 120. Does 5 divide t?
True
Let x(g) = -2*g**3 - 18*g**2 + 18*g + 5. Is 20 a factor of x(-10)?
False
Is (-6*24/54)/((-1)/18) a multiple of 4?
True
Let z be -2*1/(-2)*2/1. Suppose -2*d + 62 = -z*y + 4*y, 4*y - 169 = 5*d. Is y a multiple of 9?
True
Suppose 4*i + 5*f = -2195 + 6367, 2*i + 4*f - 2086 = 0. Is 64 a factor of i?
False
Suppose -2*z + 4 = -2*r, 4 = 5*z - 2*r - 0. Let t(f) be the third derivative of -f**4/24 + 8*f**3/3 - 4*f**2. Does 16 divide t(z)?
True
Suppose 0*q + 3*q - 4*b - 25 = 0, -5*q = 4*b - 63. Let w(x) be the first derivative of x**4/4 - 11*x**3/3 + x**2 - x - 23. Is w(q) a multiple of 13?
False
Suppose -w - 11 = -4*b - 6*w, 0 = -5*b - 4*w + 16. Suppose 3*m + 75 = 2*v, -v - b*m + 10 = -0. Does 16 divide v?
False
Let t(i) = -i**3 - 65*i**2 + 19*i - 150. Does 72 divide t(-66)?
True
Let p(g) = 161*g**2 - 11*g - 11. Is 141 a factor of p(5)?
False
Let o(d) = d**2 + 6*d - 9. Let l be o(-7). Let y(g) = g + 1. Let f be y(l). Let t(u) = -5*u + 1. Is 6 a factor of t(f)?
True
Let c(t) be the third derivative of t**7/140 - t**6/720 + t**5/60 - 3*t**4/8 + 4*t**2. Let l(b) be the second derivative of c(b). Does 19 divide l(-2)?
True
Suppose -2*m - 2*d + 7*d + 213 = 0, -4*d - 302 = -3*m. Suppose 4*v - 322 = m. Does 8 divide v?
True
Let w(s) = 5*s + 19. Let n be w(-5). Is 16 a factor of ((-188)/3)/(7 + 44/n)?
False
Let y(j) = 44*j. Let b be y(5). Suppose 4*h + b = 4*d, 0 = 3*d - 2*h - 88 - 78. Is d a multiple of 14?
True
Suppose -v = -3*v - 8. Let l(i) = i**2 + 4*i + 6. Does 6 divide l(v)?
True
Let k = -607 - -1911. Is k a multiple of 22?
False
Suppose -708 + 28 = 8*x. Let g = -40 - x. Is g a multiple of 9?
True
Let u = 348 - 38. Is u a multiple of 31?
True
Suppose 11*o - 606 + 89 = 0. Suppose 0 = -2*c, k - 223 = -2*c - 0*c. Suppose -o = -5*m + k. Is m a multiple of 27?
True
Let v = 17 + -14. Let h be 35 + (1 - 0) - v. Suppose -1 = -o + h. Is o a multiple of 19?
False
Let r(d) = -d**2 - 8*d + 3. Let a be r(-7). Let f = -7 + a. Is ((-38)/f)/(8/(-12)) a multiple of 10?
False
Let a = 7 + -3. Suppose -u + 5*u = -2*h + 28, a = u - h. Suppose -u*o = -5*o - 92. Is 23 a factor of o?
True
Suppose 10*n - 800 = 5*n. Suppose -10 = 3*y - n. Is 10 a factor of y?
True
Let v(l) be the first derivative of -7*l**2/2 - 9*l - 2. Does 4 divide v(-5)?
False
Suppose -3*u + 0 = -6. Does 7 divide ((-1782)/21)/(-3) - u/7?
True
Suppose -3*g + 35 = 4*n, 5*n - 20 = -g + 2*g. Suppose 4*z + 45 - g = 0. Let d = 17 + z. Is 4 a factor of d?
False
Suppose 0*h + h + 184 = 0. Let t = -100 - h. Is t a multiple of 42?
True
Let h be (-62)/(-10) + 2/(-10). Let c = h + -10. Is 14 a factor of (21/c)/((-12)/32)?
True
Let u = -16 + 22. Suppose 94 + u = 5*z. Does 8 divide z?
False
Let u = 1163 + -789. Is 22 a factor of u?
True
Suppose 0 = -2*x + 2, 5*k + 9*x - 13*x - 2796 = 0. Is k a multiple of 17?
False
Suppose 10*v - 186 = 9*v. Is v a multiple of 13?
False
Let h(k) = -53*k - 98. Is h(-18) a multiple of 87?
False
Is 5/((-10)/(-12)) - -336 a multiple of 18?
True
Let v = 983 - 909. Does 3 divide v?
False
Suppose -r + 0*r + 22 = -5*l, -4*l - 8 = 4*r. Suppose 0 = q - 3*g + 88, -r*g = -4 - 4. Let n = q + 130. Is n a multiple of 10?
False
Let v = -1816 - -2988. Is v a multiple of 10?
False
Suppose -2*t = -i + 204, -21*t - 199 = -i - 24*t. Is 11 a factor of i?
False
Let l = 39 - 37. Suppose 0 = l*c - 69 - 39. Does 9 divide c?
True
Suppose 8*f - 1834 = 1094. Is f a multiple of 16?
False
Let j = 1034 - 42. Suppose 0 = 11*m - 15*m + j. Does 26 divide m?
False
Let r be 60/5*2/3. Let y be ((-2)/r)/((-2)/16). Suppose 0 = 3*a + 3*j - y*j - 10, 5*a - 2*j = 35. Is 5 a factor of a?
True
Let w(u) = 3*u**2 + 4 - u**2 - 7 + u**2. Let l = 4 + -1. Does 4 divide w(l)?
True
Let r(d) = -6*d + 7. Let y be r(-9). Suppose -2*b = 21 - y. Let x = 33 - b. Is 11 a factor of x?
False
Let n be (-5)/10 - (-262)/4. Let r = 123 - n. Is 7 a factor of r?
False
Suppose x - 3*g + 9 = -3, -5*x - 3*g = -12. Suppose -5*q + 54 + 22 = 4*t, -5*q + 2*t + 82 = x. Is 4 a factor of q?
True
Let d = -336 + 10. Let z = 731 + d. Is 11 a factor of z/12 - 6/8?
True
Suppose 4*r = 8*r. Let z be 10 - (-3 + (r - -3)). Suppose z = n - 14. Is n a multiple of 12?
True
Let n(p) = 40*p + 0 + 1 + 2 - 1. Let c = 32 + -31. Does 21 divide n(c)?
True
Let j(h) = -2*h**2 + 3*h + 36. Let y be j(6). Is (-21 - 1)*18/y a multiple of 3?
False
Let j(r) = -r + 8. Let p be j(-8). Is 12 a factor of (p/(-6)*144/(-8))/1?
True
Suppose 183 = 5*b + n, -4 + 10 = 2*n. Does 6 divide (1 - (-6)/(-4))/((-1)/b)?
True
Is (4 - 6 - -3) + 308 a multiple of 22?
False
Suppose 17533 = 30*n + 5983. Is n a multiple of 3?
False
Suppose -u - 1 = 0, -26*u = 3*a - 31*u - 962. Does 11 divide a?
True
Let r(c) be the second derivative of -c**5/20 + 2*c**4/3 - c**3 + 2*c**2 - 5*c. Is r(6) a multiple of 8?
True
Suppose -z = 2*z - 39. Let t(l) be the third derivative of l**4/12 + 16*l**3