 15 = -h + w. Is 10 a factor of h?
True
Suppose 3*g = -i + 2, 2*g + 12 = 2*i - 0*i. Let j be 12*((-22)/4)/g. Is 22 a factor of (-4 + 3)*j/(-3)?
True
Let l = -6 + -7. Let g be (-2)/l - (-80)/(-13). Let t(m) = m**2 + 3*m - 8. Is 5 a factor of t(g)?
True
Suppose 39600 = -434*i + 449*i. Does 48 divide i?
True
Is 112 + -2 + -5 + -1 a multiple of 4?
True
Let u(s) = s**3 + 6*s**2 - 16*s - 11. Let c be u(-8). Let n(f) = -3*f + 32. Is 13 a factor of n(c)?
True
Let c be 4 + (0 - -8) - 0. Let i(d) = 2*d + 8. Let g be i(-4). Let t = g + c. Does 4 divide t?
True
Suppose 0 = -d + 4, 5*b + 7*d = 10*d + 5683. Is 11 a factor of b?
False
Suppose 2*c - 249 = -c. Suppose -5*d + 72 + c = 0. Suppose 4*y - 3*g = -6*g + 39, -5*g + d = y. Is y a multiple of 3?
True
Let y = 3362 - 2495. Is y a multiple of 13?
False
Let f be 4/12 + 136/6. Let k be (-4)/(2*(-1)/f). Let p = k - 16. Is p a multiple of 10?
True
Suppose -3*j = -91 + 28. Let s = 18 - j. Does 25 divide 30/(-9)*(s - 12)?
True
Suppose 49*v + 280 = 53*v. Suppose 2*n + 5*n - v = 0. Is n a multiple of 2?
True
Suppose 4*k + 224 = 6*k + 2*h, 3*h = 5*k - 568. Is k a multiple of 5?
False
Is (24/(2 + 1))/((-13)/(-1430)) a multiple of 9?
False
Let s be (63/4)/((-21)/(-168)). Let i = s + -68. Does 24 divide i?
False
Let h be (3 + -9)/((-12)/8). Suppose -297 = -3*l + 2*l + 5*z, -h*l = 4*z - 1236. Is 45 a factor of l?
False
Suppose -4*f + f = -735. Does 5 divide f?
True
Suppose 70 = -2*v - 42. Let c = 102 + v. Is 7 a factor of c?
False
Suppose -172 = 2*o - 0*o. Let k = -77 - o. Is 2 a factor of k?
False
Let z(r) = -103*r**3 - r**2 - 8*r - 9. Does 13 divide z(-2)?
False
Suppose 467*z - 470*z + 1710 = 0. Is 10 a factor of z?
True
Let w be (-12)/(-30) - 106/(-10). Suppose -6*f = -f - m + 15, 0 = 3*f - m + w. Is 19 a factor of (-68)/f*(3 + -1)?
False
Is 8 a factor of ((-3440)/30)/(1/(-6))?
True
Suppose 0 = 5*o + b - 19, 3*o + 3*b - 10 = 11. Suppose -o*c - 1 - 11 = 0. Let x(m) = -19*m + 2. Is x(c) a multiple of 13?
True
Let m(s) = -164 + 82 - s + 78*s**2 + 81. Is m(1) a multiple of 19?
True
Suppose 2*u - w - 5 = 0, -4*u = u + 2*w - 17. Suppose 0 = 2*p + u*r + 1365, -p - 3*r - 2745 = 3*p. Is p/(-14) - 14/49 a multiple of 13?
False
Suppose 2*l + 4 = 0, -4*h + 2668 = -3*l - 4926. Is h a multiple of 15?
False
Let s = 1775 - 1645. Is 4 a factor of s?
False
Let a be (-2)/5 - 12/(-30). Suppose a = -24*d + 22*d - 10. Is (-32)/d - (-6)/(-15) a multiple of 4?
False
Let w = -16 - -19. Suppose u + 3*i + 0*i = 33, 0 = -w*u - 2*i + 106. Suppose -b + 26 = -5*h, 4*b - 2*h - u = h. Is 6 a factor of b?
True
Let h = 209 + 77. Is 51 a factor of h?
False
Let g(c) be the second derivative of -4*c - 1/2*c**3 + 0 + 1/12*c**4 + 7/2*c**2. Is 14 a factor of g(-6)?
False
Let b(q) = -q**3 - 4*q**2 + 6*q + 4. Suppose 0 = -r + 3*r + 16. Is 44 a factor of b(r)?
False
Let p(z) = 10*z**2 + 166*z. Is 23 a factor of p(-23)?
True
Let l = 20 + -33. Let n = l + -86. Let t = -64 - n. Is t a multiple of 22?
False
Let z(r) = -5 - 13*r + 10 + 14*r. Let s be z(-4). Does 18 divide s/(-4) + (-1302)/(-24)?
True
Let m(o) = -o**3 + 4*o**2 + 3*o - 9. Suppose 3*p - 5*z + 7 = 0, 0*p - 21 = -p - 3*z. Suppose -x = -10 + p. Does 2 divide m(x)?
False
Let k(t) = 4*t + 7*t + 0 - 10 + 1. Is k(7) a multiple of 20?
False
Suppose 4*x - 3*u - 6 = 3*x, -2*x = -u - 2. Let p = -73 + 146. Suppose x = 5*i - p - 77. Is i a multiple of 10?
True
Is 9 a factor of (-24)/(-16)*(2 + 2)*24?
True
Suppose -17*p + 311535 = 98*p. Is p a multiple of 21?
True
Is 7 a factor of 27 - (0 - -6)/(-6)?
True
Suppose 3*j - 630 = -4*j. Is j a multiple of 18?
True
Let s(v) = 3*v**3 + 7*v**2 - 5*v - 7. Let d be s(9). Let x = 0 - -10. Is 10 a factor of d/70 + 4/x?
False
Let p(o) = 2 + 13*o + 4*o + 34 + 2*o**2. Is p(-9) a multiple of 13?
False
Let a be (-1 - 1)/(1/(-2)). Suppose 0*v - 4 = a*v, -2*o + 3 = v. Suppose w = 6*y - y - 451, 0 = o*w - 8. Is 23 a factor of y?
False
Let k = -1598 + 2414. Is 102 a factor of k?
True
Let p(f) = -f**2 + 30*f - 34. Let s be p(29). Is 14 a factor of (2/s)/(5/(-4175))?
False
Suppose 7*a + 3*c = 2*a + 700, -a = -2*c - 140. Let r = a + -62. Is 11 a factor of r?
False
Suppose 2*h - 4*z = 256, -2*h + 2*z + 439 = 173. Let f = -78 + h. Is 12 a factor of f?
True
Suppose 0 = p + 2*p + 162. Let a be p/10 - (-4)/10. Let u = 6 - a. Is u a multiple of 11?
True
Let d be (72/14)/(1/(-7)). Let p(s) = s**2 + 27*s + 6. Let l be p(-26). Let k = l - d. Does 16 divide k?
True
Suppose -d = 2*p - 37, 5*p - 97 = -d + 3*d. Let q = -22 + p. Let a = 12 + q. Does 9 divide a?
True
Suppose -5*q - j = -10*q + 1390, q - j - 282 = 0. Does 17 divide q?
False
Let h = -66 + 75. Suppose h*j - 7*j - 616 = 0. Is 27 a factor of j?
False
Let y = 1583 + -929. Does 27 divide y?
False
Let x(y) = 2*y - 2. Let d be x(0). Is d/4*(2 - -2) - -290 a multiple of 36?
True
Does 7 divide (123/15 + -9)*5355/(-6)?
True
Let z(f) = 7*f**2 - 4*f + 14. Is 5 a factor of z(4)?
True
Suppose -2*n + 216 + 1692 = 0. Is n a multiple of 5?
False
Let l = 253 + 272. Is 23 a factor of l?
False
Let l be 2 + (-4 - (-5 + 4)). Suppose 2*g - 43 = 5*r + 86, -3*r - 75 = -2*g. Is 29 a factor of 3 + r/l + -1?
True
Suppose -s + 4*s + 18 = -3*z, 0 = 2*z + 5*s + 6. Let k be 2/(-4) - (-28)/z. Is 9 a factor of (-31)/(-3 - 8/k)?
False
Let c = -773 - -899. Is c a multiple of 6?
True
Let b(h) = h**3 - 6*h**2 + 2*h - 14. Does 29 divide b(10)?
True
Let f = -121 + 115. Is (-1 + (-8)/f)/((-7)/(-651)) a multiple of 6?
False
Suppose -2*b = -c - 118, 12*b - 9*b = 2*c + 179. Is b a multiple of 2?
False
Suppose 0 = z + 5*j - 265, 2*j - 634 + 64 = -2*z. Is 29 a factor of z?
True
Suppose -4*c + 32 = 3*l, 0 = -c + 6*c + 5*l - 35. Is 13 a factor of (4/7)/((-10)/(-35)) + c?
True
Let x be (-612)/(-14) + 2 + (-36)/21. Suppose 6*y = 2*y + 16. Suppose c - 5 = -2*j + 10, y*c + 4*j - x = 0. Is c even?
False
Suppose -4*y + 22 = n, -n - n = 4*y - 24. Suppose n*m - 37 = -9. Does 5 divide m?
False
Let i(b) = 9*b**2 - 16*b + 10. Let v(a) = 8*a**2 - 15*a + 9. Let s(f) = -4*i(f) + 5*v(f). Is 3 a factor of s(4)?
False
Suppose -794 = -4*k - f, -2*k + 3*f + 192 = -k. Is k a multiple of 3?
True
Let g(b) = -28*b + 485. Does 30 divide g(16)?
False
Suppose -55 = -2*x - 3. Let h be (x/(-65))/((-2)/40). Suppose -h*u + 560 = -0*u. Does 20 divide u?
False
Let o(p) = -p**3 - 3*p**2 + 3*p - 4. Let j be o(-4). Suppose j = -7*n + 2*n - 5*g, -g - 15 = -4*n. Is 15 + 0 + (0 - n) a multiple of 3?
True
Suppose 17 = -4*r - 3. Does 16 divide -24*(r + 0) - 4/2?
False
Suppose p - 40 + 19 = 0. Does 3 divide ((-90)/p)/((-7)/49)?
True
Let k(n) = -2*n + 13. Let w be k(21). Let d = 41 + w. Is 9 a factor of d?
False
Let o(t) = -t**3 + 6*t**2 - 4*t - 4. Let n be o(5). Is (50 - n) + (-4 - 0) a multiple of 6?
False
Let j(r) = 2*r**2 + r - 2. Let d be j(3). Does 3 divide d/(-57) + 25/3?
False
Let c(o) = -292*o**3 - o**2 - 8*o - 5. Does 10 divide c(-2)?
False
Suppose 3 = 5*y + h, 3*y - 15 = -y - 5*h. Let m be 1/((-20)/(-12) - 2) - -6. Suppose -4*d + 59 + 101 = m*i, i - 3*d - 62 = y. Does 14 divide i?
True
Suppose -y + 91 = 1. Is 18 a factor of (-1 - -43)*y/105?
True
Suppose -5*i = -10*i + 4*c + 30, -10 = 2*c. Suppose -2*d - 4*x = 3*d - 340, 0 = -i*x - 10. Does 24 divide d?
True
Suppose -2*y = w - 686, 4*w = w + 5*y + 2014. Does 6 divide w?
True
Let x be ((-6)/12)/(1/(-250)). Suppose 4*w = 565 - x. Is w a multiple of 22?
True
Let w = -6 - 5. Let g be (-614)/w - (-6)/33. Suppose 0 = 2*d + 14 - g. Does 21 divide d?
True
Is (-16)/6*17145/(-20) a multiple of 90?
False
Let s be (-1)/(-2 + 60/32). Suppose 2*a - s = -2*a. Suppose 0 = -4*b - 3*u + 38, b + 4*u - 32 = -a*b. Is b a multiple of 4?
True
Suppose 9*r - 5*r = -28. Let f = r - -14. Is f a multiple of 2?
False
Suppose 18150 + 9186 = 51*i. Does 55 divide i?
False
Let k(d) = 9*d + 4. Suppose 5*a + 52 = 9*a. Is 23 a factor of k(a)?
False
Suppose -32*c - 4 = -36*c. Let n(s) = 1 + 10*s + 0 + 13*s. Does 12 divide n(c)?
True
Let h = -1526 + 1608. Does 15 divide h?
False
Let j(p) = 11*p - 7. Let z be (-3)/(-1*(-15)/(-10)). Is j(z) a multiple of 2?
False
Let j = -409 + 744. Suppose -4*c + j = c. Is 12 a factor of c?
False
Suppose 4*l - l + 958 = 4*k, -1182 = -5*k - 4*l. Is k a multiple of 34?
True
Suppose -17*k = 1596 - 4401. Does 20 divide k?
False
Let s(j) be the first derivative of -j**4/