uppose -t + 51 = -2*u + 4*u, 107 = 4*u + t. Is u a multiple of 7?
True
Let g(j) = 2*j**3 - 4*j**2 + 3*j - 3. Is 8 a factor of g(3)?
True
Suppose y - 50 = -5*d - 7, -d = -3*y + 81. Suppose -2*f = -4*z - y, 0*z - 3*z + 7 = 2*f. Is f a multiple of 8?
True
Let t = 26 - 6. Does 10 divide t?
True
Let t(y) = -7*y + 1 - 6 + 3*y. Suppose 0 = -0*q + 3*q + 18. Is 19 a factor of t(q)?
True
Let c = 10 - 7. Suppose 26 = c*f + 4*t, 2*f - 2*t + t = 21. Is f a multiple of 4?
False
Suppose -3*s + 4*s = 5. Suppose -3*t = -4*w - s, -t = 2*w + 9 - 4. Does 17 divide 32 - (2 + w - 2)?
True
Suppose 4*k = 3*h - 91, 2*h = k - 4*k + 55. Let s = 52 - h. Is s a multiple of 23?
True
Let n(s) = -s**3 + 5*s**2 + s + 6*s**3 + 3*s. Let i be n(-3). Does 16 divide (i/(-8))/(3/8)?
False
Suppose -10 = -5*u, 2*z - 30 = -3*z - 5*u. Suppose 3*i = -z*s + 8*i + 125, -3*s = 2*i - 111. Is s a multiple of 17?
False
Let t = 66 + -33. Let q = t - 6. Is q a multiple of 6?
False
Suppose -3*a - a - 20 = 0. Let t = 10 - a. Is 15 a factor of t?
True
Let b(d) = -d + 9. Let a be b(7). Suppose -a*m = -24 - 10. Is 5 a factor of m?
False
Does 22 divide ((-1056)/(-20))/(2/10)?
True
Let c = 17 + -2. Suppose -11*b - 120 = -c*b. Is b a multiple of 10?
True
Suppose -d - 4*z = -5, -3*d = 2*z - 12 - 13. Is 2 a factor of d?
False
Let d(b) = b**3 + 3*b**2 - 2*b + 4. Let i be d(-3). Let y be (-54)/(-7) - 4/(-14). Is 2*5*y/i a multiple of 4?
True
Let p be (3/(-9))/(3/(-18)). Suppose p*f = 3*f - 78. Does 26 divide f?
True
Let z be (12/(-1) - -2)/(-2). Let u be (-3)/z - 24/10. Does 5 divide u + 0 + -3 + 16?
True
Let q(v) = 3*v**3 + 2*v - 1 + 9*v**2 - 4*v**3 - 6*v**2. Let t be q(3). Suppose -t*n - y = -25, -3*n - 5*y = -y - 15. Is n a multiple of 4?
False
Let z = 5 - 3. Is 19 a factor of z*3/(-18)*-57?
True
Suppose -3*c - c = 4*w - 316, -5*w - 4*c + 390 = 0. Is w a multiple of 14?
False
Suppose 3*z - 6*z = -60. Let d = z + -2. Is d a multiple of 9?
True
Let t be (-102)/(3 + (-1 - 1)). Does 17 divide (-90)/27*t/5?
True
Let b(l) = 13*l - 10. Let h be b(-3). Suppose -2*x - 4*d = 178, -4*d = -5*x - 3*d - 500. Let g = h - x. Is g a multiple of 16?
False
Let x be 154 + 0 + -3 + 1. Suppose -x = -4*f + 4*q, -4*f + 3*q + 172 = 4*q. Does 21 divide f?
True
Suppose -5*m + 31 = -19. Suppose 3*t - m = 5. Is 5 a factor of t?
True
Suppose 5*d - 74 = -5*q + 2*q, 4*d = 5*q - 185. Does 8 divide q?
False
Let j = -13 + 24. Suppose 5 + j = 4*r. Suppose 0 = -5*p - r*k + 140, -p - 2*k = -3*p + 38. Does 8 divide p?
True
Let x be (-3)/(-15) + 222/15. Suppose n - u - 4 = 2, -n + x = -4*u. Suppose -3*d + 138 = 5*y, -5*y - n*d = -d - 137. Is 27 a factor of y?
True
Suppose v = -4*s + 24, s - 6*v - 27 = -v. Is 3 a factor of s?
False
Suppose -3*p + 8*g - 5 = 3*g, 4*p + 4*g - 4 = 0. Let q = 4 + p. Suppose -3*z - 6 = -h - 1, -55 = -q*h + 5*z. Is h a multiple of 7?
False
Let p(u) = 2*u**2 + u + 5. Let v(i) = -4*i**2 - i - 11. Let s(d) = 7*p(d) + 3*v(d). Suppose -21 = 2*x + 5*y, -4*x - 4*y - 24 = -0*y. Is s(x) a multiple of 8?
True
Let a = -2 + -12. Does 3 divide (63/a)/(6/(-8))?
True
Let j(k) = -15*k**3 - k**2 + 4*k. Is j(-2) a multiple of 7?
False
Suppose -8*v + v + 644 = 0. Does 9 divide v?
False
Let c(l) be the second derivative of l**3/3 + 9*l**2/2 - 3*l. Let p be c(-6). Let v = p - -18. Is 15 a factor of v?
True
Let p be (-8 + 9)*8/2. Suppose -3*x + 75 = -2*x + p*y, x = 5*y + 30. Is x a multiple of 15?
False
Let g = 292 + -13. Let d be -4*(g/(-12) + -2). Suppose -n = -3*v + 84, 3*v - d = 2*n - 17. Does 14 divide v?
True
Suppose -2*z = -86 - 224. Is z a multiple of 29?
False
Suppose 87 - 12 = 3*g. Is ((-120)/g)/(3/(-10)) a multiple of 16?
True
Let r(c) = c**3 - 4*c**2 + 3*c - 6. Let f be r(4). Let n(v) = 5*v - 9. Let o be n(f). Suppose o = 2*d - 21. Does 8 divide d?
False
Let d = -35 - -92. Does 13 divide d?
False
Let h(b) = -b**3 + 6*b**2 + 5*b - 2. Is h(-3) a multiple of 6?
False
Suppose -95 = 2*r + 3*r. Let a(u) = -u**2 - 5*u - 2. Let c be a(-4). Is 2 + (0 - r - c) a multiple of 12?
False
Let p(t) = -10*t - 2*t**2 + t**2 + 13 + 0*t**2. Is p(-9) a multiple of 22?
True
Let h(k) = k**2 - k + 20. Does 10 divide h(0)?
True
Suppose 2*t = -7 - 5. Let d(z) = z + 6. Let h be d(t). Suppose h = -j - 4*j + 35. Does 2 divide j?
False
Let j = -17 - -12. Let t(a) = 5*a**2 + 4 - 8*a**2 - 3*a**2 - 6*a - a**3 + 3. Does 12 divide t(j)?
True
Let u be -2 - (-3 + -1) - -4. Suppose 4*o + u = p - 10, 3*o + 9 = 0. Is p even?
True
Suppose 3*f - 8*f = -295. Is 27 a factor of f?
False
Let v(d) = d**2 + 6*d. Let x be v(-5). Let n = x - -10. Suppose -3*q = -2*a + 6*a - 21, -2*a = n*q - 21. Does 2 divide a?
False
Let y = 14 - -12. Does 8 divide y?
False
Suppose -x + 5*a - 180 = -6*x, 5*x = 4*a + 207. Is 7 a factor of x?
False
Suppose -4*u + 32 = 2*z, 3*u = 17 - 8. Let j = z + -7. Suppose -l - 4*q = -8, -5*l + j*q + q = -16. Does 4 divide l?
True
Suppose d + 6 = 4*d, 3*y - d = 25. Does 9 divide y?
True
Let o = 6 - -33. Is 8 a factor of o?
False
Let a be -35 + (-4)/(-6)*-3. Let m = 69 + a. Is 16 a factor of m?
True
Suppose -4*k + 288 + 116 = 2*s, 5*k - s - 512 = 0. Is 17 a factor of k?
True
Let m = -45 - -123. Does 13 divide m?
True
Suppose 2 - 124 = -5*g + 4*d, -4*d - 56 = -2*g. Suppose 0 = -4*a + 34 + g. Does 7 divide a?
True
Suppose g = 3*j - 5, 0 = -5*j + 3*g + 2*g - 5. Suppose -j*d = -5*d - 2*b + 114, -d + 69 = 5*b. Suppose 0*r - d = -3*r. Is r a multiple of 9?
True
Suppose -8*p + 3*p - 4*k = -63, -2*k = p - 15. Does 11 divide p?
True
Let w(q) = 10*q**3 + q**2 + q + 1. Let j be (8/12)/(2/(-3)). Let b be w(j). Let a = b + 33. Is a a multiple of 12?
True
Let a(l) = -l**2 + 8*l + 7. Let m be a(7). Let u = -10 + m. Suppose 3*f - 247 = -u*r, 241 + 39 = 5*r - 2*f. Is r a multiple of 22?
False
Is 4 a factor of ((-186)/4)/((-9)/18)?
False
Suppose 0*z - 96 = -6*z. Is z a multiple of 4?
True
Let q be (-1)/(-3) - (-28)/6. Suppose 9*m = 8*m + q. Does 4 divide m?
False
Let o(b) = -b**2 - 20*b + 1. Does 23 divide o(-13)?
True
Suppose y - 6*y = b - 125, -2*b = 5*y - 245. Is 10 a factor of b?
True
Let m(w) = w**3 - 7*w**2 + 6*w + 8. Let l be m(6). Suppose -4 = -2*n + l. Let r = 10 - n. Does 3 divide r?
False
Suppose -3*c = -2*u - 12, c - 5*c = 2*u - 30. Let a = 0 - -8. Let j = c + a. Is j a multiple of 7?
True
Is 3 - (-3 - -4 - 4) even?
True
Suppose 3*q - 196 = 2*q. Suppose 0 = -2*m - 2*m + q. Does 13 divide m?
False
Suppose 15 = 4*q + 3. Suppose -3*r + 5*f = -3, -f - 36 = -5*r - q*f. Is r a multiple of 3?
True
Let d = -245 + 97. Let v be d/(-18) - (-2)/(-9). Does 2 divide (2 - v/6)*6?
True
Does 18 divide (-2)/3 + (-17080)/(-105)?
True
Suppose -2*z + 1 = -3. Suppose z*p + 3*x - 27 = 4*x, 5*x + 36 = p. Let n = -7 + p. Is n even?
True
Let w(p) = -36*p - 18. Is w(-3) a multiple of 49?
False
Suppose -3*f = -4*h - 19, -4*f + 57 = 3*h - 2*h. Suppose 0 = -3*t + 29 + f. Does 7 divide t?
True
Let k = 4 + -3. Let h be (8/k)/((-2)/(-8)). Suppose -4*g = 4*d - 7*g - h, -2*d + 22 = -3*g. Is d a multiple of 3?
False
Suppose -2*g = 4*q - 30, -2*g - 3*q + 5 = -4*q. Suppose 44 = g*n - 141. Is n a multiple of 13?
False
Let l be ((-48)/(-9))/((-1)/(-3)). Let r(b) = b**2 - 2*b. Let j be r(3). Suppose -2*h - 8 = 0, -4*h = j*a + l - 51. Is 7 a factor of a?
False
Let a(c) = -c**3 - 4*c**2 - 4*c - 1. Let v be a(-3). Suppose -v*u = -3*t + 33, 5*u - 30 = -2*t - 3*t. Suppose k = 4*k - t. Does 3 divide k?
True
Suppose -3*h = 14 + 4. Let g be 5/(-3) + 2/h. Is 10 a factor of ((-7)/(-3) + g)*33?
False
Let d = -69 - -105. Suppose -u - d = -4*u. Is 3 a factor of u?
True
Does 13 divide (-182)/21*(-3)/2?
True
Let z = -185 + 132. Let p = z + 98. Does 15 divide p?
True
Suppose 2*p - 48 = -4*g, 4*p + 24 = g + 129. Is 8 a factor of p?
False
Let g(p) = p**2 - 2*p + 13. Let f be g(9). Let x = f + -27. Is 11 a factor of x?
False
Let r be 4/18 + (-2680)/(-90). Suppose 5*f + 5*n - r = -0*f, 0 = -n + 3. Suppose -38 = -f*l + 34. Is l a multiple of 12?
True
Let j(f) = -f**2 - 7*f + 6. Let s be j(-8). Let g(v) = v**2 - 3*v. Let l be g(2). Is 2 - s/l - -2 a multiple of 3?
True
Let b(h) = -h + 2. Suppose 4*w = 4, 5*w - 38 + 5 = 4*t. Does 9 divide b(t)?
True
Let r(f) be the third derivative of -f**6/20 - f**5/60 - f**4/8 - f**3/3 - 4*f**2. Let z be r(3). Does 20 divide z/(-5) + (-2)/5?
False
Let i = 7 + -7. Suppose i*w = 2*w + 90.