 be m(a). Suppose -u = -10*t + 5*t. Is 17 a factor of t?
True
Suppose k + 11361 = 4*u + 2290, -2*k - 9070 = -4*u. Does 84 divide u?
True
Let g = 444 - -404. Let h = 1238 - g. Is 10 a factor of 12/(-10)*h/(-12)?
False
Let f be (-54)/(-15) + 2/5. Is (-2)/4 - (-162)/f a multiple of 30?
False
Suppose 10*g = 28*g - 25560. Does 20 divide g?
True
Let b(r) = -8*r**3 - 51*r**2 + 13*r + 7. Is b(-7) a multiple of 3?
False
Let q = -49 + 70. Let m = -15 - -26. Let y = q - m. Is 5 a factor of y?
True
Let q be 1/5 - 16/5. Let v = -2 + q. Is v*5/((-100)/96) a multiple of 24?
True
Let f(o) = 17*o**2 - 6*o + 6. Is 3 a factor of f(3)?
True
Let p be (-1)/(14/(-4) - -3). Let w be (0/p)/(8/(-4)). Suppose -2*s = 2, w*s = -5*r - 3*s + 607. Is 35 a factor of r?
False
Let o(v) = -3*v**2 + 64*v - 27. Is o(19) a multiple of 13?
False
Suppose 0 = -4*g - g - 40. Let h(d) = -13*d - 9. Let w(u) = 20*u + 14. Let j(q) = g*h(q) - 5*w(q). Does 21 divide j(10)?
True
Suppose 0 = 3*z - 5*f - 19, 0 = 3*z - 3*f - 13 + 4. Let x be -1 - (z - (-5 + 2)). Does 30 divide (-204)/(-8)*(-4)/x?
False
Suppose -11 = -2*r - 5*d + 2, 0 = -r + 3*d - 21. Let b(v) = v**2 + 7*v + 13. Is 4 a factor of b(r)?
False
Suppose -4*l - 30 + 2 = 0. Let p = l + 11. Is p a multiple of 3?
False
Let l(s) = 5*s**2 + 2*s + 1. Let j be l(-1). Suppose 0 = -j*n - 0*n + 260. Suppose -n + 16 = -v. Is 20 a factor of v?
False
Let r = 2258 + -820. Is 68 a factor of r?
False
Suppose 45 - 37 = 4*n. Let l(v) be the first derivative of 15*v**2/2 - 1. Is 9 a factor of l(n)?
False
Suppose -60 = -4*p + s, 3*p - 6*s + 3*s = 54. Is 8 a factor of (-60)/9*(-21)/p?
False
Suppose 0 = 2*v + 3*v. Is 70*1*(v + 1) + 1 a multiple of 16?
False
Suppose -4*m = -5*y + 151, -2*y = 6*m - 9*m - 59. Let g = 193 + -124. Suppose -l = -y - g. Does 18 divide l?
False
Let j(t) = t**2 - t - 2 + 12*t**3 - 9*t + 5*t. Is 32 a factor of j(2)?
False
Suppose -r = -5*y, 3*y - 5*r = 4*y. Suppose -2*m + 2*b - 6*b = -352, 4*m + 4*b - 700 = y. Does 21 divide m?
False
Let c = 35 - 28. Suppose 5*x = c*x - 4. Does 7 divide (3 - x)*1 + 27?
True
Suppose -5*s = 1 - 16. Suppose s*z = 9, 741 = 4*c - 0*z - 5*z. Is 21 a factor of c?
True
Suppose -5*a + 1 = m - 65, -4*m = 4*a - 56. Suppose 5*w + 39 = 3*f, 2*f + w - a = -0*f. Does 4 divide f?
True
Let g(b) = 3*b + 5. Let p be g(-2). Does 11 divide 137 + 1/(p/(-5)) + -1?
False
Suppose 5*p + 2*s = 48, -2*p + 3*s = -3 - 1. Suppose -y = -5 + 17. Let a = p - y. Does 20 divide a?
True
Let i be (-3)/18 + 398/12. Does 16 divide i/(-44) + (-207)/(-4)?
False
Suppose -5*x - 11 + 1 = 0. Let v be (x - (2 - 2))/1. Is 10 a factor of (-1)/v + (-42)/(-4)?
False
Suppose -15 = 3*n, -11*u = -9*u + n - 1259. Is 24 a factor of u?
False
Let g = -44 + 56. Suppose 3*j + 10 = w - g, 21 = w - 2*j. Is 7 a factor of w?
False
Let d = 232 - 152. Does 10 divide d?
True
Is 62 a factor of (7 - 12)/(3/(-309))?
False
Let o be (0 - -2*4) + -3. Suppose -6*y = -o*y - 48. Does 11 divide y?
False
Suppose -24*b + 23902 = 13*b. Does 19 divide b?
True
Let c be -4 - (-67 - (2 + -3)). Suppose -p + 3*p = c. Is 5 a factor of p?
False
Suppose 5*m - 4985 = 4*z, -99*m + 2*z + 3994 = -95*m. Does 37 divide m?
False
Let x be (-449)/2 - (-84)/56. Let d = -344 + 681. Let w = d + x. Does 28 divide w?
False
Suppose 0 = -f + 2 - 1. Let b = -71 + 61. Is (b*f)/(20/(-50)) a multiple of 5?
True
Suppose 3 = -p + 2, 3*x - 3*p - 243 = 0. Is x a multiple of 36?
False
Suppose 593 = 4*z - 167. Is 10 a factor of z?
True
Let w(t) = t**3 + t**2 + 2. Let n be w(0). Let b be 7 + (n - 1) + -2. Suppose 5*d - b = -o + 55, 3*d - 3*o = 33. Is 6 a factor of d?
True
Suppose 4*a = -5*x + 4 - 211, 3*x = 5*a + 305. Let r(c) = 26*c + 19. Let t be r(3). Let g = a + t. Does 12 divide g?
False
Let g(m) be the second derivative of m**5/10 - 25*m**4/12 + 7*m**3/3 - m**2 + 13*m. Does 22 divide g(12)?
True
Let k(n) = 4*n**2 + 9*n**2 - 3 - 6*n**2 + n**2. Suppose 3*s + 3*a - 9 = -s, 2*a + 2 = 0. Is k(s) a multiple of 15?
False
Let t = -662 - -2023. Does 16 divide t?
False
Let y(w) = 3*w**2 + 3*w + 376. Does 8 divide y(0)?
True
Let a = -60 - -125. Let y = a - 9. Does 6 divide y?
False
Suppose -3*a = n - 1726, 4*a - 3446 = n - 3*n. Suppose 14*p - 3267 = n. Is p a multiple of 31?
False
Does 5 divide 8/18 - (-5 + 11836/(-99))?
True
Suppose 5*d + 4 - 17 = 2*b, -18 = -5*d - 3*b. Let n = d - -28. Is n a multiple of 25?
False
Suppose 1656 = 6*z - 288. Does 81 divide z?
True
Let z be -9 + (-7 - -5) - -3. Let k(f) = -f**3 - 6*f**2 + 10*f + 8. Is k(z) a multiple of 10?
False
Suppose -4*y - 5*v = -30, -3*v - 7 = -3*y + v. Suppose -20 = -3*w - b, 0 = b - 2*b + y. Suppose -u + 52 = 3*g + u, -5*g + w*u + 120 = 0. Is 10 a factor of g?
True
Let p(c) = 55*c + 124. Is 53 a factor of p(8)?
False
Let s(c) = 14*c**2 - 9*c + 12. Is s(-5) a multiple of 11?
True
Let z(q) = -q**2 - 2*q + 1. Let i be z(-5). Let h be 72/i - (-1)/7. Does 8 divide ((-18)/5)/(2/h)?
False
Let t(h) be the second derivative of h**4/12 - h**3/2 - 4*h. Let z be t(3). Suppose z*x + 47 = x + 3*u, 0 = -5*x - 3*u + 247. Is 25 a factor of x?
True
Suppose -9*q + 12*q = 18. Suppose 2*x + 192 = q*x. Let f = -14 + x. Is f a multiple of 17?
True
Let t(h) = -15*h - 155. Is 40 a factor of t(-21)?
True
Suppose -4*j + 9*t + 22 = 4*t, 2*j + 2*t = 2. Let s(q) = -4*q**3 - 3*q + j*q**3 - 2*q**2 - 2 + 4 + 0. Does 30 divide s(-4)?
False
Suppose -666 = 69*i - 75*i. Is 8 a factor of i?
False
Suppose 4*l + 4*d = 1904, 4*d + 958 = -7*l + 9*l. Is 20 a factor of l?
False
Is 46 a factor of (112974/513)/((-4)/(-18))?
False
Let r(p) = 5*p**2 - 4*p**2 - 14 - 8*p + 3*p. Is r(9) a multiple of 4?
False
Let s be (4/(-5))/((-37)/(-185)). Suppose 4*w = -5*d - 68, 4*w + 14 = -d - 38. Is -3*((-416)/w)/s a multiple of 18?
False
Suppose 2*f - f = -5. Let j(i) = i**3 + 6*i**2 + 2*i - 11. Let o be j(f). Suppose 0 = -d - 3*d - o*y + 172, 0 = -5*y - 25. Does 16 divide d?
True
Is 76 a factor of ((-21)/(-2) - 9)/(6/5680)?
False
Is (125292/132 - -8) + 2/(-11) a multiple of 8?
False
Suppose -60*m + 52*m = -64. Is 3 a factor of m?
False
Suppose 3*a = 47 + 127. Suppose -q + a = 1. Does 17 divide q?
False
Let f(r) = r**3 - 9*r**2 - 4*r - 7. Let v be f(9). Let a = -18 - v. Let t = -17 + a. Does 8 divide t?
True
Let k be (-7368)/108 - 2/(-9). Let o = k - -133. Does 13 divide o?
True
Let x = 8 - -4. Suppose -f = -4*n - 8 - x, 10 = -5*n. Is f a multiple of 4?
True
Suppose -1526 - 1114 = -24*r. Does 10 divide r?
True
Suppose x + 3*x - 220 = 0. Let c be 22/5 - (-33)/x. Suppose c*o - 76 = o. Does 6 divide o?
False
Suppose 15*a - 5644 = 971. Is a a multiple of 9?
True
Let n be (30/20)/((-3)/(-4)). Suppose 3*u = -3*r + 5*u + 110, -3*u - 65 = -n*r. Suppose -x - x = -r. Does 9 divide x?
False
Suppose 0*r - 1436 = -2*r + 3*j, -3*j = 5*r - 3548. Is r a multiple of 63?
False
Let c(l) = l**3 + 20*l**2 - 17*l + 10. Does 7 divide c(-20)?
True
Let t be 2 + (-5)/((-5)/62). Suppose -4*f + 36 = -2*u - t, 4*f - 104 = 4*u. Is 8 a factor of f?
True
Suppose -1 = n - 2. Is 8/(5/(-6) + n) a multiple of 24?
True
Suppose -4*b = 199 - 999. Suppose z + 4*z = b. Does 10 divide z?
True
Let k(y) = -2*y**2 + y + 5. Let x be k(-3). Let j be 1 - (2 - x)/3. Let d = 1 - j. Does 3 divide d?
True
Let z(q) = 32*q + 330. Is z(-5) a multiple of 10?
True
Let f be -7*12/9*18/(-12). Let v = 23 - f. Is 3 a factor of v?
True
Let f(z) be the third derivative of z**6/40 - z**5/15 + z**4/4 - z**3/2 + z**2. Does 5 divide f(2)?
False
Does 3 divide (-1 - -5) + (0 - -6 - -77)?
True
Suppose 5*g = -4*r + 8, g + r + r - 4 = 0. Suppose 4*w + 3*n - 7 = 11, g = w - 5*n + 7. Suppose 5*i + w*k = 30, -4*k + 2*k = -3*i + 37. Does 3 divide i?
True
Is 15 a factor of 398/((-9)/18 - -1)?
False
Suppose 2*r = -9 - 21. Let k = r + 13. Is 9 a factor of k + (1 - 0) + 54?
False
Suppose -2*r = -r + 9. Let a = r + 14. Suppose -4*z + z = 5*m - 75, -a*z + 91 = -3*m. Does 6 divide z?
False
Let j = 746 + -387. Let q = j - 208. Is q a multiple of 31?
False
Suppose q - 42 = -4*p, 3*p = -q - 3*q + 220. Is q a multiple of 6?
False
Let x(t) = t**3 + 8*t**2 + 8*t + 2. Let l be x(-7). Let d be (6/l)/(3/590). Is d/(-16) + (-1)/(-4) a multiple of 8?
False
Suppose -k = f - 749, -35*k + 31*k = 3*f - 2999. Does 16 divide k?
True
Suppose -2 + 8 = 2*r. Suppose -n - f = -2, -6 + 0 = 4*n - r*f. Suppose 2*d + 2*d -