. Suppose 5*v - 10 = m, -3*q + 7*q - 10 = -v. Suppose 5*i - w - w - 71 = 0, q*i + 4*w = 38. Is 5 a factor of i?
True
Suppose 198 = 4*t - 406. Is 83 a factor of t?
False
Let m = 701 - 194. Is 13 a factor of m?
True
Let f(z) be the third derivative of -6*z**2 + 0*z**3 + 0*z + 0 - 1/4*z**4. Is 8 a factor of f(-2)?
False
Suppose 72 = -2*t - 68. Let n = 175 + t. Is 7 a factor of n?
True
Let r = -12 - -16. Suppose 3*a = 5*s - a - 688, -a - 557 = -4*s. Is 8 a factor of r + -2 - s/(-10)?
True
Suppose -17*i = 1561 - 16657. Is 24 a factor of i?
True
Suppose 3*f = f - o, 4*f - 3*o = -20. Let x be (-2 + 3 - -133) + f. Suppose 0*q = -3*q + x. Does 13 divide q?
False
Suppose c - 1475 = -3*d, 3*c - 715 = 3*d + 3758. Does 9 divide c?
False
Let f be (-12)/10 + 0 - (-20)/(-25). Does 10 divide (f/2 + -3)/2 + 103?
False
Let c(p) = p**2 - 7*p - 23. Let q be c(8). Is 16 a factor of (1 - (-65)/q)*-48?
True
Suppose -15 = -5*j + 385. Suppose -42 = -2*u + j. Suppose -5*n + u = 6. Is 3 a factor of n?
False
Let w = 95 - 55. Let k be (270/(-4))/(-15)*(0 + 8). Is w/4*k/10 a multiple of 12?
True
Suppose 26*r - 93 = 25*r - 2*k, 4*r - 399 = k. Does 24 divide r?
False
Let i(l) = -2 + 0 - 4*l**2 + 4*l + 8*l**2 + 0*l**2. Let u be i(-4). Let p = u + -8. Does 6 divide p?
False
Suppose 3*h - 5*o - 5 = -h, 5*o + 5 = -5*h. Suppose h = 2*c, -2*w - 3 = c - 9. Suppose 0 = -4*l + 2*k + 280, -w*l + 165 = 2*k - 31. Is 17 a factor of l?
True
Suppose -57*c = -83*c + 59956. Does 16 divide c?
False
Suppose 0 = -2*y - 5*x + 8, -2*y - 5*x + 16 = 2*y. Suppose b = -4*z + 85 + 79, y*z + 868 = 5*b. Is b a multiple of 27?
False
Is -6*2*1578/(-24) a multiple of 42?
False
Let v = -170 + 221. Is 2 a factor of v?
False
Let v be 0*2/(-18)*3. Suppose v = -0*w - 2*w + 48. Is 24 a factor of w?
True
Suppose 3*m = -2*v - 3 + 12, 4*m - 12 = 4*v. Let l = -3 + v. Does 10 divide 2/l + 267/9?
False
Let m(s) = -2*s**3 + 38*s**2 + 3*s + 3. Does 29 divide m(6)?
True
Suppose 5*u + 2*j + 31 = 3449, 3*u + 4*j = 2062. Is 67 a factor of u?
False
Suppose -v + 2*v - 5*s = 8, 4*v + 4*s - 8 = 0. Let n be (-6)/v*(1 - 3). Suppose 0 = n*r - 25 - 247. Is 34 a factor of r?
True
Let m = 3766 + -1175. Does 19 divide m?
False
Let u(j) = j**3 + 22*j**2 - 52*j - 21. Is u(-24) a multiple of 25?
True
Suppose -23498 - 2422 = -18*l. Does 68 divide l?
False
Suppose 0*s = 3*s - 315. Does 11 divide s?
False
Let k be 0 - (-4*1/2 - -5). Is 4 a factor of (k + 1 - 2) + 28?
True
Does 8 divide (75/300)/((-1)/(-1516) + 0)?
False
Let d(g) be the second derivative of -1/2*g**3 + 3/2*g**2 + 3*g + 0. Is d(-3) a multiple of 11?
False
Suppose -l + 29 + 49 = 0. Suppose 0 = -2*h + l + 62. Does 23 divide h?
False
Suppose 0 = 5*j - 4*n - 24, 4 + 16 = 5*j - 5*n. Suppose 0 = -4*h + j*h - 96. Does 12 divide h?
True
Let p(d) be the third derivative of -d**5/60 + 7*d**4/8 - 11*d**3/3 + 17*d**2. Is p(18) a multiple of 17?
False
Let h(p) = 2*p - 1. Let g(l) = l - 1. Let b(a) = -3*g(a) + 2*h(a). Let i be b(6). Let c(k) = k**3 - 7*k**2 + 6*k. Is 21 a factor of c(i)?
True
Suppose 2*f + 1 = -17. Let d(o) = o**3 + 10*o**2 - 11*o - 40. Does 20 divide d(f)?
True
Suppose -2*s = -b - 5, -s + 2*s + 2 = 2*b. Suppose 2*p + 12 = 5*p. Suppose -s*k = -k - 5*u - 110, k + p*u = 31. Does 21 divide k?
False
Let g(j) = j**2 + 33*j + 309. Does 14 divide g(-22)?
False
Let m(c) = 2*c**2 - 12*c + 11. Let p be m(5). Is ((-2530)/165)/(p + (-10)/6) a multiple of 6?
False
Let a = -144 - -39. Suppose 0 = 7*b - 8*b + 2*d + 185, 0 = -4*d + 8. Let s = a + b. Is s a multiple of 42?
True
Suppose -4*c + 3*x = -663, -3*c - x - 80 + 574 = 0. Suppose c = 3*l + p, -l + 69 = p + 4*p. Is 9 a factor of l?
True
Let y = -68 + 72. Suppose -4*t + 588 = 4*u, y*t = 2*t - 8. Is u a multiple of 23?
False
Suppose -3281 = -25*f + 994. Is 5 a factor of f?
False
Suppose -146*q + 151*q - 6983 = -2*r, -5*r - 4165 = -3*q. Does 6 divide q?
False
Let a(k) = -k**3 - 4*k**2 - 5*k + 7. Let m(i) = -i**2 - 3*i + 6. Let s be m(-5). Let y be (10/s)/(9/18). Is a(y) a multiple of 24?
False
Let l(u) = 5*u**2 + 14*u + 44. Does 16 divide l(-16)?
False
Suppose s - 2*o - 4 = -3*o, 4*o = 2*s - 8. Suppose 28 = -s*c - 16. Let w = 32 + c. Is w a multiple of 8?
False
Suppose -b + 3*v + 7 = 0, -1 = -v - 6. Let d(h) = h**3 + 9*h**2 + 8*h + 20. Does 5 divide d(b)?
True
Let n be 12/20 - 3/5. Suppose n = -5*d + 10, 5*o = o - d + 1042. Suppose -2*l = 3*l - o. Is l a multiple of 13?
True
Let n(x) = -3*x**2 + 17*x**3 + x + 2*x**2 - 11*x**3 - 1 + 18*x**3. Let h be n(1). Let t = 0 + h. Is t a multiple of 23?
True
Let o(j) = j**2 - 10*j - 117. Is o(-18) a multiple of 43?
True
Suppose -5*c - 8 = 2*h, -2*h = -c + 11 - 3. Does 14 divide h/(-18) + 5/((-45)/(-2518))?
True
Let u(k) = -k**2 + 10*k + 3. Let x = 15 - 9. Let p(r) = 3*r - 9. Let z be p(x). Is u(z) a multiple of 12?
True
Suppose -15*x = -10*x + 5*i - 2455, -1989 = -4*x + i. Does 30 divide x?
False
Is 15 a factor of (-10)/55 - 149870/(-154)?
False
Let l be 4/(-6) - (-700)/(-30). Let o = l + 96. Does 15 divide o?
False
Let s(r) = r**2 - 8*r. Let x be s(8). Suppose g - 2*o = -8 + 2, -g = 5*o - 29. Suppose x*u = -g*u + 232. Is u a multiple of 15?
False
Suppose 6*y + 96 = 534. Let i = y + -53. Does 5 divide i?
True
Let v = -2 + 24. Suppose -y + 3*b + 92 = v, 210 = 3*y - 5*b. Is 15 a factor of y?
False
Let y(w) = w**3 - 6*w**2 - w + 13. Let s be y(6). Let d(o) = -s + 6*o**2 + 11*o**2 + 2*o - o**2 - o**3. Does 12 divide d(16)?
False
Let w = 239 - 50. Is w a multiple of 8?
False
Suppose -2*o - 12 = -5*o. Let r = 10 - 8. Suppose 5*b = -r*q + 71, b - 115 = -0*q - o*q. Is 28 a factor of q?
True
Let t = -16 + -322. Let x = t - -474. Does 13 divide x?
False
Suppose -4*y = w - 17, -2*y - 23 = -3*w - 0*w. Let q(o) = -o + 12. Let c be q(w). Suppose -4*b + 0*b + 144 = 4*t, -c*b = -t - 96. Is b a multiple of 28?
False
Suppose -42*s + 37146 + 27576 = 0. Is 67 a factor of s?
True
Let r(a) = 94*a + 24. Let m be r(21). Suppose 702 = -4*p + m. Does 54 divide p?
True
Let l(v) = v**3 + 18*v**2 + 10*v + 13. Let g = 59 + -76. Is 15 a factor of l(g)?
False
Let h be 2/6 - (25/15)/5. Suppose -3*g + 4*g - 40 = h. Is g a multiple of 20?
True
Let f(v) = -2*v**3 - 5*v. Let w be f(-4). Suppose w - 36 = 2*b. Suppose z = -0*z + b. Does 28 divide z?
True
Let f = 141 - -27. Is f a multiple of 21?
True
Suppose -4*j + 3*d + 436 = 0, -4*j - 2*d + 404 = 3*d. Suppose -3*p - 1 + 10 = 0. Suppose p*w = 17 + j. Does 14 divide w?
False
Suppose u = 6*u + 2*h - 1921, -4*u + 2*h = -1544. Does 35 divide u?
True
Suppose -5*f - 2*m - 1 = 0, 5*m + 1 = 2*f - 16. Suppose -f + 13 = 6*a. Suppose 236 = 5*t + a*x + 2*x, -5*t = x - 239. Is t a multiple of 8?
True
Let i = -1781 - -3471. Suppose 520 = -13*h + i. Is h a multiple of 18?
True
Suppose 0 = -2*f + 3*g - 59 + 304, 5*f = -4*g + 555. Suppose f = 5*z - 165. Is z a multiple of 6?
False
Let s(n) = 14*n + 31. Let x be s(14). Let y = 339 - x. Is 37 a factor of y?
False
Suppose 35*a - 29160 = -10*a. Is 27 a factor of a?
True
Suppose 19*i - 2*i - 14586 = 0. Is 39 a factor of i?
True
Let b be (108/(-8))/(76/24 + -3). Let t = 156 + b. Is 25 a factor of t?
True
Suppose 14 = 4*p + 42. Let k(v) = 2*v + 22. Does 2 divide k(p)?
True
Let d = 18 - 0. Suppose 0 = d*j - 16*j. Suppose -u + 5*b + 42 = j, 3*u - 4*b - 60 = u. Is u a multiple of 11?
True
Suppose 0*g - 18 = -6*g. Suppose q = g, 3*j - 10 = q + 29. Does 10 divide j?
False
Suppose 847 = 5*q + k - 3*k, 0 = k - 4. Is q a multiple of 20?
False
Is 5 a factor of 22/(637/105 + -6)?
True
Suppose -317 - 755 = -4*i. Is i a multiple of 40?
False
Suppose 0 = 2*f + 4*a - 34, 3 = 3*a + 6. Let u = f - -36. Does 14 divide u?
False
Suppose 3*a - x = 478 + 396, 3*x + 294 = a. Is a a multiple of 23?
False
Let f(c) = -2*c**3 - 7*c**2 + 129*c + 26. Does 16 divide f(-14)?
True
Suppose -2*q = -4*i + 12, q + 1 = 2*i - i. Suppose -i*f - 100 - 170 = 3*p, -4*p = -5*f - 235. Let h = f - -90. Is h a multiple of 13?
True
Suppose 10 - 114 = 2*r. Let g = -28 - r. Does 12 divide g?
True
Is 7/(-28)*0 + 32 a multiple of 12?
False
Let v = 848 - 638. Is 10 a factor of v?
True
Let m be -2*(-2)/(-1) + 2. Let x = -40 - m. Let k = x + 110. Is k a multiple of 28?
False
Let v = 72 + -6. Let k = v + 25. Is k a multiple of 13?
True
Suppose -4*f + 25 = f. Suppose c - 22 = -5*o, 2*o - 110 = -f*c + 7*o. Do