 w be ((-30)/25)/(1/(-60)). Suppose 41*c - 40*c = w. Does 6 divide c?
True
Let i be 2/(-4*(-1)/(-38)). Let v = -4 - i. Suppose 0 = d - 57 + v. Does 21 divide d?
True
Let g = 14 - 7. Let y be (-2)/g + 46/14. Suppose b = y*b - 10. Is b even?
False
Let o be (24/15)/((-5)/(-75)). Let f = 12 + o. Is 36 a factor of f?
True
Let b(a) = 3 - 5*a + 5 - 3*a. Let y(z) = z**3 - 4*z**2 - z. Let c be y(4). Is b(c) a multiple of 8?
True
Let n be (-1 - -8) + (-9)/3. Suppose 3*a = -3*q + 6, n*a + 4*q - q = 11. Suppose -a*c - 20 = -85. Is 7 a factor of c?
False
Suppose 5*x - 48 - 7 = 0. Let p = 13 - x. Suppose -p*q + 13 = -7. Is q a multiple of 5?
True
Suppose -134*p + 4245 = -129*p. Is 41 a factor of p?
False
Suppose 509 = 4*p - 2*z - 259, 594 = 3*p + 3*z. Let w = p + -117. Is w a multiple of 11?
True
Suppose 2*d - c = -4*c + 1327, -3*d + c + 1985 = 0. Let u = 974 - d. Is 39 a factor of u?
True
Suppose 0*b + 10*b - 1060 = 0. Let h = b - -55. Is h a multiple of 16?
False
Let t(j) = 2*j**3 - 7*j**2 + 2*j - 3. Let s(p) = -p - 2. Let m be s(-7). Let g be t(m). Suppose -h = -4*i - 9 - g, 2*h + 4*i = 182. Does 24 divide h?
False
Let w(y) = -y**3 + 21*y**2 - 21*y - 136. Is 14 a factor of w(19)?
False
Let p = 1518 - 660. Is 78 a factor of p?
True
Suppose 7*o + v = 11*o - 448, -456 = -4*o + 3*v. Is 37 a factor of o?
True
Let k = -61 + 82. Suppose -18*l = -21*l + k. Does 6 divide l?
False
Let i(x) = -8*x - 35. Let z be i(-5). Suppose 5*y + 4*m - 85 = 0, -6 = -z*m + 19. Does 7 divide y?
False
Let k = 689 - 359. Is 30 a factor of k?
True
Let t be ((-13)/(-6))/((-8)/(-48)). Suppose 0 = -2*u + 99 + t. Does 8 divide u?
True
Is -485*(261/(-105) - (-28)/98) a multiple of 16?
False
Suppose h = 4*h + 39. Let y be 18/(-117) + (-15)/h. Let f = 7 - y. Is f a multiple of 6?
True
Let f = -41 - -40. Is 1*(f + 88 + -1) a multiple of 27?
False
Let i(j) = 2*j**2 - 4*j + 6. Suppose 35 = -g + 6*g + 5*a, 0 = -3*a + 12. Suppose 4*t - 3*r - 5 = 0, -10 = 3*t - g*r - 2*r. Is 13 a factor of i(t)?
False
Let s = -459 + 988. Does 23 divide s?
True
Let i(s) = -5*s**2 - 4*s - 3. Let f be i(-2). Let j = 18 + f. Suppose k + 23 = g, 0*g + j*k = g - 17. Is g a multiple of 26?
True
Let k = 52 - 37. Suppose -9*i + k*i - 396 = 0. Does 17 divide i?
False
Suppose 2*l + 2 = -b - 5, 5*l + 37 = 4*b. Suppose n = 4*n - b*y + 411, 5*n + 701 = y. Let a = -85 - n. Does 10 divide a?
False
Let p = 477 - 97. Does 20 divide p?
True
Let a(o) = -20*o**3 + 2*o**2 - 1. Let k be a(-1). Suppose 0 = g + 3 + 12. Let f = k + g. Is 3 a factor of f?
True
Let a(f) = f**3 - 7*f**2 + 3*f + 7. Let v be a(6). Let n = v + 17. Suppose -n = -5*s + 69. Is s a multiple of 10?
False
Let n(z) be the first derivative of 2*z**3/3 + 24*z**2 - 36*z - 20. Is n(-25) a multiple of 4?
False
Let c(h) = 10*h**2 + 13*h + 23. Is 47 a factor of c(-10)?
True
Suppose 8*s - 4*s + 1351 = 3*y, 3*s = 15. Is 44 a factor of y?
False
Let g(p) = -p**3 - 6*p**2 + p + 2. Let o be g(-6). Does 14 divide (-1200)/(-36)*(-18)/o?
False
Let w = 324 + -480. Let s = w - -420. Does 22 divide s?
True
Let u = 23 - 7. Suppose 19*d = 215 + 222. Suppose -d*b = -19*b - u. Does 4 divide b?
True
Suppose -2*q + 1482 = 4*c, -5*q + 5*c = -q - 2899. Is 7 a factor of q?
False
Let r = -2095 + 4363. Does 81 divide r?
True
Suppose 0 = -4*c - c. Suppose 5*y - 4*y - 10 = c. Let p = y - 6. Is 4 a factor of p?
True
Suppose -19*o + 44081 = -3400. Is o a multiple of 14?
False
Suppose 0*d = -28*d + 27384. Is 57 a factor of d?
False
Let j be (27/(-6))/(1/2). Let p = -23 - j. Let q = -12 - p. Is q even?
True
Let f(b) = -b**3 + 25*b**2 - 30*b + 12. Is 5 a factor of f(9)?
False
Suppose -3*l = 2*w - l - 966, 5*w + l - 2403 = 0. Is 32 a factor of w?
True
Suppose 9*o - 190 - 278 = 0. Is 14 a factor of o?
False
Suppose 0 = -12*i + 24 + 24. Suppose 0 = -3*k - d + 132, d = -i*k - d + 174. Does 15 divide k?
True
Let b(z) = 2*z - 12. Let i be b(12). Let y = i - 12. Suppose 5*t = -5, y*a - a - t + 40 = 0. Is a a multiple of 7?
False
Let q be 25/15 + (-8)/12. Let f(i) = 17*i**2 - i + 2. Is f(q) a multiple of 18?
True
Let s(p) = 37*p**2 + p + 1. Let g be s(-1). Suppose 0 = u + 4*r - 31, -u - r + 0*r + 25 = 0. Let a = g - u. Is 4 a factor of a?
False
Suppose 2*n = -3*p + 56, -1 = -3*n + 2*n. Is -85*1/(-5)*p/6 a multiple of 12?
False
Suppose 4*z + 1 = 5, -z + 73 = i. Is 18 a factor of i?
True
Suppose 0 = -0*i + 4*i - q - 13, -3*i = -3*q - 3. Suppose -x + 25 = -i*u, 2*u + 173 = 5*x + 6*u. Is 3 a factor of x?
True
Let j(u) = u**3 - 4*u**2 - 9. Let z be j(5). Suppose 13*q - 17*q = 0. Is 4 a factor of -3 - (q + 0 - z)?
False
Suppose -25*m + 23*m - 710 = -4*c, 0 = 4*c - 3*m - 709. Does 5 divide c?
False
Suppose -5*z - 5415 = -5*a, a + 2*a = -2*z + 3274. Suppose 18*v - 14*v - a = 0. Is v a multiple of 14?
False
Let m = -190 - -286. Suppose -13*l = -17*l - m. Is 14 a factor of (-63)/4*l/9?
True
Suppose 0 = -4*d + 20, 5*d - 31 = -5*p + 4. Is 26 a factor of (-2394)/(-36) - p/(-4)?
False
Does 15 divide -1 + 1898 - (-3 - (4 + -3))?
False
Suppose -4 = -0*c - c + 4*k, 5*c + k = 20. Suppose c*u = 5*u - 60. Does 12 divide u?
True
Suppose 30 = 5*t - 2*d, -1 = -2*t - 2*t - 3*d. Let f be t/14 - (-1412)/7. Let o = f - 112. Is o a multiple of 19?
False
Let q = 1886 + -1061. Is 25 a factor of q?
True
Suppose 4 + 8 = -2*b. Let i = -174 - -162. Let j = b - i. Does 6 divide j?
True
Let o be 9*(15/5)/9. Let q = o - -5. Is 8 a factor of q?
True
Let g(x) = 390*x**2 + 14*x + 42. Does 27 divide g(-3)?
True
Let w(f) = -f - 4. Let v be w(2). Does 26 divide (32/v)/((-10)/195)?
True
Let i be (2/(-4))/((-3)/30). Suppose 0*q + 2 = 2*q - m, i*m - 16 = -3*q. Suppose -7*j + q*j = -150. Is 20 a factor of j?
False
Suppose 132 = q - 477. Let c = -384 + q. Suppose -f = -6*f + c. Is 19 a factor of f?
False
Suppose 3*x = -188 + 818. Does 15 divide x?
True
Let l = 2535 - 1348. Does 9 divide l?
False
Let i = 123 - 203. Is 3 + 0 - i - -1 a multiple of 11?
False
Suppose -3*y + 3*a = -2*y - 19, -5*y = 4*a. Let l be (0 - 8)*8/12*-3. Suppose 4 = -3*h - y*i + 22, -2*i - l = -h. Is 6 a factor of h?
False
Does 2 divide (-43578)/(-108)*(-2)/(-3)?
False
Let p = 198 + 2577. Is p a multiple of 25?
True
Is (-4)/34 + (-301941)/(-901) a multiple of 13?
False
Let s = 521 - 169. Is s a multiple of 32?
True
Let b(h) = -h**2 + 3*h + 20. Let n be b(6). Let y(l) = -l**2 + 4*l - 1. Let z be y(5). Is z*n/2*-4 a multiple of 7?
False
Let d = 359 + -56. Let l be d*(-4 + 33/9). Let u = 202 + l. Does 21 divide u?
False
Let o = -124 - -127. Suppose 0 = 8*g - 3*g - 10. Suppose -g*j + 0*j = -u + 15, 0 = o*j. Does 3 divide u?
True
Let n be 0/4*3/(-6). Let h be 1 + 2 + n + -3. Suppose -j - 4*j + 275 = h. Is j a multiple of 15?
False
Suppose h = 3 - 0. Suppose -4*x + 582 = s + 4*s, 124 = s - h*x. Does 25 divide s?
False
Let f be (-14 + 14)*2/4. Suppose f = -3*i + 171 - 9. Is i a multiple of 27?
True
Let r(c) = c**2 + 4*c + 6. Let n = 21 - 15. Is 26 a factor of r(n)?
False
Suppose o - 19 = -6*z + z, 4 = o + 2*z. Let w be 10/(-4) + (-4)/8. Does 9 divide 32 + 2/o*w?
False
Suppose 441*w - 9724 = 437*w. Does 11 divide w?
True
Let q(l) = -48*l + 8. Let j(b) = -b. Let g(c) = -3*j(c) - q(c). Does 16 divide g(2)?
False
Suppose 15*v + 3*b - 1166 = 13*v, 1750 = 3*v + 4*b. Is 8 a factor of v?
False
Suppose -3229 = -18*c + 317. Let q = -55 + c. Does 20 divide q?
False
Suppose -741 = -5*t + p, -2 + 14 = 3*p. Let w = 254 - t. Is 22 a factor of w?
False
Let h = 2242 - 1054. Is 18 a factor of h?
True
Suppose 1154 = 4*s + v, -5*s - v = -0*v - 1442. Suppose 5*g + d = -4, -3*g + 0*d = -5*d - 20. Suppose 0*a + 4*a - s = g. Is 24 a factor of a?
True
Let m(z) = -2*z - 4. Let y be m(-3). Suppose w - 4*s - 8 = 0, -y*s + s - 21 = -5*w. Does 19 divide (-234)/(-4) - 2/w?
False
Suppose 9*g + 10*g - 6859 = 0. Is g a multiple of 9?
False
Suppose 3*x - 3*l = l + 1308, 0 = -2*x + l + 867. Is x a multiple of 25?
False
Let a be ((-20)/8 - -2)*6. Does 14 divide (-8 - -11) + (-33)/a?
True
Is 12 a factor of (5508/85*2)/((-2)/(-10))?
True
Let r(h) = -h**3 - 9*h**2 - 10*h. Let x be r(-8). Suppose -x = -3*y + 2*y. Suppose -2*g = 2*n - n - 6, -5*g - 3*n = -y. Is 2 a factor of g?
True
Let o(w) = -3*w + 11. Let t be o(9). Let n be -1 - t/(-1 + 5). Suppose n*h = -4*m + 48, -5*h + 159 = -3*m + 50. Is 4 a factor of h?
True
Suppose t + 4*z