 -214. Let b = -52 + a. Is b a multiple of 30?
True
Suppose 0 = -22*j + 13*j + 18. Does 16 divide (-1598)/(-10) + j/10?
True
Is 22 a factor of ((-2)/(-3))/(17/(-658053)*-17)?
True
Suppose 0*x - 5*p = -x - 15, -37 = -5*x - 3*p. Suppose 2*t - 4*n - 16 = 0, -n + 28 + 12 = x*t. Is 7 a factor of (-1 - -3)/(t/104)?
False
Suppose -5*v - 71 = -0*k + 3*k, 0 = 5*k - 5*v + 145. Let w = k - -65. Is w a multiple of 22?
False
Suppose 6 = 6*u - 12. Suppose u*x = 201 + 96. Is x a multiple of 17?
False
Let g(m) = 2*m**3 + 12*m**2 - 14*m - 37. Does 17 divide g(7)?
True
Suppose 0 = 3*f + 3*w + w - 101, -5*f = -w - 199. Let t = 243 - 228. Let r = f - t. Does 12 divide r?
True
Suppose 2*f = -3*f - 5*i + 45, -5*i - 5 = 0. Let n = f - -11. Does 21 divide n?
True
Suppose 7*r + 149490 = 73*r. Is r a multiple of 105?
False
Let p(d) = -10 + d**3 + 11*d + 1 + 15*d**2 + 0*d**2. Let v be p(-14). Let c = v - 20. Is 13 a factor of c?
True
Let r = -4 - -7. Suppose -2 + 14 = r*h. Suppose 0*s - h*s = -188. Does 16 divide s?
False
Suppose 52*w + 9 = 53*w. Is (-153)/(12/4)*(-30)/w a multiple of 34?
True
Let x(v) = -v**3 + 6*v**2 - v + 8. Let t be x(6). Suppose 3*u - 4*u - 5*l + 16 = 0, -t*u - l + 32 = 0. Is 3 a factor of u?
False
Let s = -166 - 64. Let v = 335 + s. Suppose v - 1 = 4*d. Is 10 a factor of d?
False
Suppose -5*x = 4*h - 372, 0 = -3*h - 4*x + 75 + 204. Let t = -75 + h. Does 9 divide t?
True
Let s(a) = 16*a + 381. Is 8 a factor of s(33)?
False
Suppose -2*b - 12*d + 1581 = -15*d, 0 = 3*b - 5*d - 2369. Is b a multiple of 16?
False
Let m be 2/3*(-1 - 53). Let a = 21 + m. Is 8 a factor of 6/a + (-366)/(-15)?
True
Let f(y) = 523*y + 636. Is 8 a factor of f(4)?
True
Suppose 0 = -2*z, q + 2*z = 6*z - 8. Let r be (-2)/2 - 1352/q. Is 32/(-6)*r/(-16) a multiple of 12?
False
Suppose -3*c = -8*c + 3*l + 45, l - 7 = -2*c. Is 8/c - 112/(-6) a multiple of 10?
True
Suppose s - 2*m = 32, s + 3*m = 14 + 33. Is s a multiple of 5?
False
Let w(a) = 85*a - 913. Is 11 a factor of w(33)?
True
Let p = -36 + 71. Let y = -26 + p. Is 9 a factor of y?
True
Let h be (-3 - 0)*(1 + -2). Suppose t = -4*k + 38, 6*k - h*k = 0. Suppose 3*y - 28 - t = 0. Is 18 a factor of y?
False
Let q(h) = -3*h - 3. Let y(s) = s. Let p(n) = -q(n) - 6*y(n). Is 14 a factor of p(-19)?
False
Suppose -o - o - 20 = 0. Let b = -10 - o. Does 12 divide 4/(b + 4/50)?
False
Let k be (-28874)/14 + (-24)/(-56). Does 44 divide k/(-14) + (-6)/21?
False
Let q be 6*(12/(-9))/(-1). Suppose -4*g - 4*a = q, -3*g - 2*a = -3 + 4. Is g even?
False
Suppose -11*m + 4894 = -2036. Suppose m = 5*z + 4*z. Is z a multiple of 6?
False
Let p(s) = 397*s**3 - 2*s**2 - 23*s + 24. Is p(1) a multiple of 3?
True
Let q(c) = -c**3 + 16*c**2 - 31*c - 18. Let t be q(13). Is 22 a factor of -6 + 10 + t + 2?
False
Suppose 4*v + 13 = -11. Let i(j) = -5*j - 11. Let c(k) = 26*k + 56. Let d(u) = 3*c(u) + 16*i(u). Is d(v) a multiple of 3?
False
Let p(z) = -z + 14. Let s be p(12). Let n(f) = 27*f + 3. Is 19 a factor of n(s)?
True
Suppose -3*m = -3*b + 4824, 2*b - 1452 = 5*m + 1758. Is 115 a factor of b?
True
Suppose -672 + 504 = -2*i. Does 42 divide i?
True
Let c = 6 - 1. Is 27 a factor of -61*((-3)/c)/(5/25)?
False
Suppose -5*i - 2*g = -30, 1 + 0 = -i + g. Suppose i*u - 26 = 38. Does 11 divide u?
False
Suppose -22*a = -17*a + 55. Is 55/a*(-18)/10 a multiple of 2?
False
Let d(j) = j**2 - j - 15. Is d(14) a multiple of 16?
False
Let k(o) = o**3 + 16*o**2 + 52*o + 1. Does 2 divide k(-7)?
True
Suppose 0*u = u - 72. Let z(p) = p**3 + 15*p**2 - 5*p - 35. Let g be z(-15). Let f = u - g. Does 16 divide f?
True
Suppose -8*l + 30 = -11*l. Let f be 2/l - (-136)/(-20). Let k = f - -31. Is 10 a factor of k?
False
Let b(k) = k**3 + 3*k**2 + 3*k. Let i be b(-2). Let a be (-128)/4 + 2*i. Does 3 divide 2/(((-32)/a)/4)?
True
Let w = -26 + 28. Suppose 4*a - 4 = 2*a, a - 170 = -w*d. Is d a multiple of 21?
True
Let x(t) = 16*t**2 - 3*t - 1. Is 4 a factor of x(-2)?
False
Is (-36)/(-8) - 16398/(-4) a multiple of 76?
True
Let i(s) = -2*s**2 - 39*s + 29. Let r be i(-20). Suppose -u + 10 = -r. Is u even?
False
Let w(m) be the first derivative of m**5/120 + 7*m**4/24 - 10*m**3/3 - 1. Let d(y) be the third derivative of w(y). Is 4 a factor of d(5)?
True
Suppose -g + 11 = 3*x - 0*x, -2*g = x + 3. Suppose -c - 61 = q - 6*q, -4*c - 49 = -x*q. Let j = 0 + q. Is j a multiple of 13?
True
Let v be -1 - ((-2)/(-2) - 3). Suppose f = -2*l + 33, l = f + 1 + 20. Suppose 5*b - l + v = i, -2*i + 11 = -b. Is i a multiple of 8?
True
Suppose -18*z + 21*z = 822. Suppose 3*x = 4*k - 411, 2*k + z = -2*x + 7*k. Let r = x - -230. Is r a multiple of 30?
False
Suppose 0 = -0*l + l - 23. Suppose -4*b = 2*k - 0*b - 20, 5*k + b = l. Is k a multiple of 3?
False
Does 4 divide 5*(9 + 96)*1?
False
Let y = -5 - 1. Does 5 divide (0 + 2/y)/((-3)/675)?
True
Let i = 1087 + -1007. Suppose 51 + 13 = 2*z. Suppose 0 = -m + i - z. Is m a multiple of 12?
True
Let f(g) = 66*g - 2. Let t be f(2). Is 8 a factor of (t/15)/(2/6)?
False
Let i(k) = 3*k**3 + 125*k**2 - 67*k - 40. Is i(-42) a multiple of 88?
False
Suppose 98*p = -21525 + 266329. Is 70 a factor of p?
False
Suppose -2*g + 18 = -g - 5*l, -2*g - 5*l = 9. Suppose 4*w = -g*p + 348, 12*p = -2*w + 16*p + 196. Is w a multiple of 15?
True
Suppose -7*t = -10*t. Let g be t + (-3)/3 + 4. Suppose 3*r = q + 27, -r - g*q = -8*q - 9. Does 9 divide r?
True
Suppose -10*q + 7051 - 2061 = 0. Is q a multiple of 4?
False
Let a(x) = x**3 - 4*x**2 - 3*x - 1. Let r be a(5). Suppose -5*v - 49 = -r. Is 138*((-12)/v)/3 a multiple of 23?
True
Suppose -4*n + 1190 = -5*j, 0 = -3*j + 3 + 3. Is 30 a factor of n?
True
Suppose 3*a = a + 24. Let w be (18/a)/(2/(-8)). Does 20 divide ((-9)/w)/((-2)/(-36))?
False
Suppose 3*u + 2*d = 2604, u - 5*d = 3*u - 1725. Is 10 a factor of u?
True
Let q(r) = 3*r - 24. Is 12 a factor of q(17)?
False
Let j(x) = x**3 + 5*x**2 + x - 2. Let l(z) = z**2 - 12. Let p be l(3). Does 6 divide j(p)?
False
Let l = 33 + -40. Let q(v) = v**2 + v + 16. Is 13 a factor of q(l)?
False
Let j be (2 + 2/2)/1. Let m be 60/(-2 + -8) + 32. Suppose -2*k - m = -j*k. Is k a multiple of 18?
False
Suppose 0 - 6 = -2*y. Is 34*y - (-4)/2 a multiple of 26?
True
Suppose 1482 + 4182 = -6*x. Is 10 a factor of (-22)/55 + x/(-10) + 2?
False
Let o(t) = -t**2 - 9*t + 3. Let m(z) = -2 + 0 + 18*z + 2*z**2 - 4. Let k(c) = 4*m(c) + 7*o(c). Does 3 divide k(-11)?
False
Suppose -m = 4*d - 50, -m - 5*d + 16 + 39 = 0. Suppose -3*c = 2*c - m. Is 5 a factor of c?
False
Let d(r) = 0*r + 6 - 9 - r. Suppose 4*u + m + 26 = 0, 5*m + 1 - 3 = 2*u. Is d(u) even?
False
Suppose -3*l + 352 = 5*v - 397, 499 = 2*l + 3*v. Let f = l + -167. Is 12 a factor of f?
False
Let b be 0/1 - (5 - -1). Let j(h) = h**2 + 4*h + 1. Let v be j(-5). Is (-117)/b + (-3)/v a multiple of 19?
True
Let x = -993 - -677. Let k = -212 - x. Does 13 divide k?
True
Suppose 4*a - 72 = 2*n, -4*a + 2*n - n = -74. Is 5 a factor of a - 2*2/(-4)?
True
Suppose -3*n - 2*t + 70 = -300, t = 5*n - 595. Is 8 a factor of n?
True
Let o = -15 - -19. Suppose -o*t = -70 - 6. Does 4 divide t?
False
Suppose 0 = -r - 32 - 78. Let d = 169 + r. Is d a multiple of 15?
False
Let o(s) = -3*s**2 - 70*s + 17. Is 3 a factor of o(-22)?
True
Let t = -391 + 462. Is 40 a factor of t?
False
Suppose -5*v = -v + 4. Is 2 a factor of (v - -5)/(-2 + 3)?
True
Let v = 407 - 316. Is v a multiple of 7?
True
Suppose -4*q = l - 3*l - 106, -q + 4*l = -44. Suppose -4*v = -4*n - 8, -5*v + q = 3*n - n. Suppose 0 = -n*r - 0*r + 12. Is r a multiple of 2?
True
Let a = -530 - -545. Does 3 divide a?
True
Suppose 21*w = w + 26240. Is 25 a factor of w?
False
Does 10 divide 4 + (8 + -2762)/(-9)?
True
Is 2 a factor of 357/9 + 5/15 + 1?
False
Let u = -1410 + 2005. Does 17 divide u?
True
Let p(c) = -c - 1. Let y be p(-6). Let f = y - 3. Let o(v) = 7*v**3 - 2*v**2 - 2*v + 1. Is o(f) a multiple of 25?
False
Is 11 a factor of 1 - (5 + -354 - (2 + 0))?
True
Let a = 48 - 19. Suppose 4 = -0*m - 2*m. Let g = m + a. Is 12 a factor of g?
False
Suppose 5*s + 0*v - 19 = -v, 0 = 2*v - 8. Let m be (0 - s/9)*0. Suppose m*o = -5*o + 140. Is 14 a factor of o?
True
Suppose 0 = 2*x, p + 0*p = -x + 380. Is p a multiple of 19?
True
Let o be 1 + -32*(-14)/4. Suppose -4*i = i - 1000. Let k = i - o. Is 29 a factor of k?
True
Suppose 4*m + 17 = -7*j