Is 31 a factor of (-2216)/v - n/18?
True
Let u = -36 - -40. Does 42 divide 1082/8 + 3/u?
False
Let u = 4 - 2. Let s be 12/(-8)*(-1 - -1 - 2). Suppose u*i = 5*b - s*i - 240, -i - 92 = -2*b. Is 12 a factor of b?
False
Does 46 divide (0 + 2)*7650/60?
False
Does 3 divide (-3582)/(-39) - 2/(-13)?
False
Does 9 divide ((-102)/(-2))/(78/260) - -1?
True
Let l(j) = -156*j + 12. Let a be l(4). Is 17 a factor of ((-1)/(-3))/((-6)/a)?
True
Let s(f) be the first derivative of f**4/4 + 7*f**3/3 + f**2/2 + 10*f - 18. Is s(-6) a multiple of 4?
True
Is 24 a factor of (6*2)/((-6)/(-3168)*12)?
True
Let y(c) = 3*c**3 + 6 + 12*c - 4 - c**3 - 18*c + 2*c**2. Is 25 a factor of y(3)?
False
Does 32 divide 106/583 - 10206/(-11)?
True
Let n be 2/(-8) - 158/8. Suppose 21*z = 584 + 25. Let q = n + z. Is 9 a factor of q?
True
Suppose -41*c + 22636 + 6023 = 0. Does 38 divide c?
False
Is (11 - (-24066)/77) + (-6)/11 a multiple of 2?
False
Suppose 5*w + 30 = 6*i - i, -i + 14 = -3*w. Suppose i*q + 2*q = 124. Let x = -17 + q. Is 3 a factor of x?
False
Let v(p) = 6*p + 162. Is 28 a factor of v(-13)?
True
Is 3 a factor of (216/324)/((-4)/(-2598))?
False
Let z = 7 + -4. Suppose 0*i + 875 = 5*i. Suppose -r + 69 = 2*c, 0 = -2*c - z*c - 3*r + i. Does 8 divide c?
True
Let w(a) = a**3 - a. Let u be w(-1). Is u - -55 - (20 - 17) a multiple of 26?
True
Suppose -11*y + 9822 = 87. Is y a multiple of 59?
True
Let d(f) = f**3 - 2*f**2 + 2*f + 2. Let k be d(2). Is k/(-6*2/(-6)) a multiple of 3?
True
Let u(c) = -c**2 + 2*c + 4. Let w be u(5). Let n = -3 - w. Is 17 a factor of (-6)/n + (-765)/(-12)?
False
Suppose 248 = r - 175. Is 16 a factor of r?
False
Suppose -20 = 52*z - 57*z. Suppose 0 = z*a + 9*a - 2236. Does 34 divide a?
False
Suppose -2*k - 3*h = -451, k + 3*h = 5*h + 208. Suppose -3*g + k = -226. Is 13 a factor of g?
False
Suppose 0 = -t + 6*t - 10. Suppose -t*b - 6 + 20 = 0. Does 14 divide b/((-21)/(-6))*7?
True
Let y = -393 - -849. Does 21 divide y?
False
Suppose -2*l + 8 = -0. Suppose -4*j + 12 = u - 0*u, l*j - 4 = -3*u. Suppose -3*n - 6 = -j*n. Is n a multiple of 3?
True
Let l = 26 + -6. Is 28 a factor of 1104/l + (-16)/(-20)?
True
Suppose 35*s - 29381 = 24*s. Is s a multiple of 29?
False
Let p = -8 - -3. Let f be p/(-5) + (-588)/3. Does 26 divide (4/(-10))/(1/f)?
True
Let x(s) = 35*s**2 - 3*s + 21. Does 3 divide x(5)?
False
Suppose -3*m + 5*k + 16 = 0, -4*m + 53 = -5*k + 35. Let v = 99 - -53. Suppose -10 = -m*h + v. Does 18 divide h?
False
Let b = -48 - -54. Is 9 a factor of (-4)/(-10)*(-6 - b)*-15?
True
Let c(x) = x**2 + 3*x + 3. Suppose -4*o + 48 = 12. Suppose o = 2*j - 5*j. Is 2 a factor of c(j)?
False
Let b = 1153 + -767. Does 45 divide b?
False
Let x = -536 + 1676. Is 76 a factor of x?
True
Let o = 312 - 198. Is 19 a factor of o?
True
Does 6 divide 356/(-3)*51/(-68)?
False
Does 6 divide 9 - (-265 + (-2 - 6))?
True
Let q be 1/(-2) + (-305)/(-10). Let o = -17 + q. Suppose z + 0*y - o = y, 0 = 5*z + 4*y - 47. Is 11 a factor of z?
True
Suppose -15*y + 5*d = -10*y - 3640, -2*y = -4*d - 1452. Is y a multiple of 61?
False
Let o = 268 - 128. Suppose -3*j - j + s = -o, j - 28 = 2*s. Is j a multiple of 9?
True
Suppose 0 = -3*p + 7*p - 12. Let i(b) = -b. Let j be i(p). Let d = 9 + j. Is 3 a factor of d?
True
Suppose -3 = -3*h, -6*h = -4*t - 2*h + 392. Let q = -31 + t. Is 13 a factor of q?
False
Does 30 divide (8*15/2)/(87/58)?
False
Let b(w) = -w**2 - 22*w + 291. Is b(0) a multiple of 53?
False
Suppose 0 = -18*c + 3*c + 450. Is 5 a factor of c?
True
Suppose -4*u + 3*u - 24 = -4*r, 0 = -3*u - 4*r - 24. Let h be ((-1)/3)/(2/u). Suppose h*f - 5*n - 33 = 0, 5*n - 112 = -3*f - 0*f. Does 29 divide f?
True
Let v be (-281)/5 + (-10)/(-50). Let r = v - -136. Does 11 divide ((-4)/(-10))/(2/r)?
False
Let i = 1068 - 630. Is 8 a factor of i?
False
Let c(l) = 83*l - 3. Let w be c(1). Suppose w = x + 10. Is 9 a factor of x?
False
Let m(k) = 2*k**2 + 33*k + 3. Is m(-17) even?
True
Suppose -4*x - 21 = -117. Suppose 0 = f - 64 + x. Is f a multiple of 20?
True
Let c(l) = 50*l**2 - 12*l + 6. Is c(3) a multiple of 60?
True
Does 14 divide 9/27 + (604/6 - -1)?
False
Suppose -f + 4*y = -91, 4*y = 3*f + 2*f - 471. Let k = f - 39. Let q = -35 + k. Is 21 a factor of q?
True
Let x = -16 - -16. Let f(p) = p**3 + p**2 + p - 7. Let n be f(x). Does 13 divide (-13)/(-3)*(13 + n)?
True
Let n = -1986 + 2534. Does 43 divide n?
False
Suppose -s + 5*k = 3, -2*s + 16 + 3 = -5*k. Is 22 a factor of s?
True
Let q = -2 + 703. Is q a multiple of 33?
False
Let o(l) = -l**3 - 7*l**2 + 10*l + 12. Let k be o(-8). Let v = 34 + k. Let w = v + -4. Is w a multiple of 13?
True
Let o(i) = 16*i**2 - 21*i + 57. Is 6 a factor of o(4)?
False
Let a(r) = -r**2 - 7*r - 5. Let g be a(-4). Let o be (-7 + g)*1/2. Let j = o + 20. Does 10 divide j?
True
Let w(s) = -s + 7. Let r be w(3). Suppose -2*p - 7 = 5*c, -r*p - 2*c = -3*c - 19. Suppose 0 = -p*b + 69 + 7. Is 13 a factor of b?
False
Let u be (0/(-5))/(-2) + 5. Suppose u*j - 81 = 339. Is j a multiple of 12?
True
Let f = -50 - -48. Is 36 a factor of ((-1080)/70)/(f/14)?
True
Let a(c) be the first derivative of c**3/3 - c**2 - c + 3. Let d be a(6). Is 8 a factor of -9 + d + 3 + -1?
True
Let z(u) = -u**3 - u**2 + u - 24. Let d be z(0). Let w = d - -26. Suppose 2*v - b - 47 = -2, 0 = w*v + 2*b - 54. Is 17 a factor of v?
False
Suppose t - 1066 = -j, 2*t - 5*t = 4*j - 3196. Suppose -12*o = -t - 1788. Does 34 divide o?
True
Let u = 18 + 77. Does 18 divide u?
False
Let k(c) be the third derivative of 3*c**5/20 - 5*c**4/24 - c**3 - 12*c**2. Is k(-3) a multiple of 13?
False
Let b(f) = f**3 - 13*f**2 + 2*f - 19. Let r be b(13). Suppose 0 = r*u - 2*u - 45. Does 2 divide u?
False
Let a be (-432)/(-120) - (-2)/5. Let x(b) = 9*b**2 - 10*b + 9. Is 16 a factor of x(a)?
False
Let y be 481/91 - (-2)/(-7). Suppose -32 = y*l + 18. Is (84/l)/((-8)/20) a multiple of 21?
True
Let h = 499 + -388. Is h a multiple of 5?
False
Let m(w) = w**2 + 16 + 12 - 12 - 16*w. Let k be m(11). Does 5 divide 2*-2*k/12?
False
Let b(h) = 153*h + 180. Is b(15) a multiple of 13?
False
Let k(u) be the second derivative of u**3/3 + 33*u**2 + 5*u + 7. Is 3 a factor of k(-25)?
False
Let g = -8 - -9. Let w(v) = 6*v - 1. Let x be w(g). Suppose -2*r - a - 29 = -97, -x*r - a = -167. Is r a multiple of 11?
True
Let y(l) = l**3 - 3*l**2 - 9*l - 7. Let a be y(5). Is (-96)/a - (17 - 21) a multiple of 33?
False
Let z be (-4)/10 - (-219)/(-15). Suppose h = 4*k - 6, -5*h - 7 = -k - 2*h. Does 19 divide (-1)/k - (-5 + z)?
True
Let a = 4 + -2. Suppose -4*b - 428 = -5*z, 6 = a*b - 5*b. Suppose 3*q = 4*n - 145, 0 = 2*n - q + 11 - z. Is 8 a factor of n?
False
Suppose -2*a = -14 - 46. Does 18 divide ((-27)/(-4))/(a/400)?
True
Let r = -31 + 99. Suppose 0 = 4*f - r + 40. Is f even?
False
Suppose -4*h + h - 12 = 0, 4*a = 3*h - 20. Let s(q) = -q**3 - 6*q**2 + 1. Let t be s(a). Suppose 3*i - t + 33 = 0. Is 16 a factor of i?
True
Suppose 0 = -31*n + 934 + 244. Is n a multiple of 34?
False
Let k(u) = 20*u + 10. Let n(p) = -13*p - 7. Let i(j) = -5*k(j) - 8*n(j). Let x be i(5). Let r = 61 - x. Is r a multiple of 13?
False
Suppose h + 726 = 4*r, 7*r - 536 = 4*r + 5*h. Does 13 divide r?
True
Suppose 192 = -5*i + 337. Let l = 10 - 5. Suppose -l*m + 6 = -i. Is m a multiple of 7?
True
Suppose -j = 5*b - 3*j - 1532, -3*b = -j - 919. Is b/15*(-10)/(-3) a multiple of 17?
True
Suppose 9*q - 11*q = -d + 2511, 2*d - 5014 = -4*q. Does 101 divide d?
False
Suppose 3*w + 26 - 106 = -b, -75 = -2*w - 5*b. Let g = 29 - w. Suppose -g*f + 31 - 7 = 0. Is 6 a factor of f?
True
Let d = 3 - 7. Let b(v) = -10*v - 4. Is 18 a factor of b(d)?
True
Let b = -33 + 29. Let s = 61 + b. Is 31 a factor of s?
False
Suppose 5*s + 4*u = 6*u - 48, 0 = u - 4. Let q = s + 13. Suppose -q*j + 240 = -j. Does 16 divide j?
False
Suppose -3*v + 5*a - 14 = 0, 2*v + 4*a = 5*v + 16. Let k(p) = 4*p**2 + 3*p + 42. Is k(v) a multiple of 19?
False
Let h = -99 + 241. Is 33 a factor of h?
False
Suppose -4*k + 27 = 11. Let s be (0 - (k + -3))*-31. Suppose -181 + s = -5*p. Is 5 a factor of p?
True
Suppose 2*a - 8 = -4*o, 0 = -5*o - 3*a - 2*a + 10. Suppose 0 = i - o*l - 4, -3*i = -i - 5*l - 4. Is i a multiple of 12?
True
Suppose -4*h - q = -3*q, -3*h + 2 = -q. Suppose -d - h = -2*d. Suppose -5*c - 90 = -d*w - c, -3*w = -5*c - 13