-2*o. Is (o + 0)*(-4)/1 a multiple of 8?
True
Let l = -43 - -133. Is 9 a factor of l?
True
Suppose f - 3*f + 330 = 0. Suppose 3*a - 4*k = -k + f, -4 = k. Is a a multiple of 9?
False
Suppose -127 = -z - 5*v, -715 = -5*z - 3*v - 2*v. Let w = z - 242. Let t = w - -134. Is 11 a factor of t?
False
Suppose l - 3*l = -350. Does 5 divide l?
True
Let z(d) = -91*d**2 - 7*d + 2. Let b be z(-2). Suppose -4*x = -0*r + 4*r + 60, -2*r - 3*x - 29 = 0. Is 22 a factor of b/r - 1/(-4)?
True
Let d(m) = 52*m**2 + m - 1. Let k be d(3). Suppose -94 = 4*g - k. Does 19 divide g?
False
Does 57 divide (((-461)/2)/(-1) - -6)*2?
False
Let h be 3/2*(-1462)/(-129). Let z(i) = i**2 + 3*i - 44. Is z(h) a multiple of 9?
False
Let i = -27 - -25. Let c(f) = -3*f**3 - 2*f**2 + f + 3. Does 17 divide c(i)?
True
Let k = -37 + 34. Does 2 divide 12/(-10)*5/k?
True
Suppose 0 = 2*k + 8. Let r be (2/k)/(5/(-50)). Suppose 8*w - 18 = r*w. Does 6 divide w?
True
Let g = -1 - -5. Let i = 184 + -84. Suppose -g*y = -2*y - i. Is y a multiple of 31?
False
Let q = -646 + 791. Is 19 a factor of q?
False
Let p be (-5)/(-10) - 1/(-2). Suppose 0 = 2*q - q + p. Does 5 divide q/4 + 87/12?
False
Let g(v) = 541*v**3 + v**2 - v + 1. Let a be g(1). Suppose -5*h + a = -2*x + 6*x, -415 = -4*h + 3*x. Does 16 divide h?
False
Suppose -3*z + 2*a = -1624, -365 = -2*z + 4*a + 723. Is 27 a factor of z?
True
Suppose -4*q = -5*f - 107, -2*f - 2*f - 112 = -4*q. Suppose -5*m + q + 36 = 2*x, -4*m = -4. Is 16 a factor of x?
True
Suppose -3*r = 4*u + 184, 3*u + r + 75 + 68 = 0. Is 4 a factor of (-8 - -7)*(u - -2)?
False
Let z(t) = -11*t + 3*t**2 - 12 + 14 + t**3 + 7*t**2. Let q be z(-11). Suppose -q*p + 215 = 5*w - 5*p, p = 0. Is w a multiple of 17?
False
Suppose -11*f - 3*f = 126. Is 52*f/(-24)*10 a multiple of 13?
True
Suppose -2*h - 5 = -g + 2*h, -g + 3*h = -5. Suppose 0 = -l + g*i + 18, -2*l - i = -4*l + 18. Does 7 divide l?
False
Suppose 36*x - 606 = 34*x. Suppose x = 10*u - 137. Is 6 a factor of u?
False
Let j = 61 - 57. Suppose -4*v + 201 = j*m + 29, 0 = -5*v - 4*m + 215. Is 17 a factor of v?
False
Let x be (3 + (0 - 3))/2. Suppose x*w + 10 = 5*w. Suppose -w*p + 32 = -0*p. Does 8 divide p?
True
Let s = 102 + -94. Suppose 2*l = s, r + 0*l = 5*l + 221. Is r a multiple of 29?
False
Let u = -153 - -230. Suppose u = 6*a - 649. Is 10 a factor of a?
False
Suppose -32*i + 455 = -31*i. Suppose 0 = -3*g - 5*z + 934, -5*z + i = 5*g - 1115. Is 53 a factor of g?
True
Let w(y) = -y - 6. Let x be w(-9). Let c(p) = 5*p**2 - 1. Let r be c(1). Suppose -58 = -3*h + r*n, 0 = x*h - n - 21 - 25. Does 10 divide h?
False
Let j be 7 - -6*5/(-10). Suppose -j*m = 5*b + 6 - 76, m + 2*b = 19. Is 2 a factor of m?
False
Let d = -27 - -33. Let q(x) = -x**2 + 7*x + 9. Does 15 divide q(d)?
True
Suppose 3*i - 5*k - 2 = 5*i, 0 = i + 4*k + 4. Suppose 0 = 5*h - i*f - 101, -2*h + 26 = -0*h + 2*f. Does 4 divide h?
False
Let u be 3 + (-4 - (-3 + 0)). Suppose -4*n - z + 1 = -2*z, 0 = u*n + 2*z - 8. Suppose 0 = -j + n, -4*v = -5*v - 3*j + 78. Does 25 divide v?
True
Let i(f) = f**3 + 3*f**2 - 2. Let v be i(-2). Suppose -163 = -v*c + 277. Suppose -4*l + c = l. Is l a multiple of 22?
True
Suppose 3*m - m = 4. Suppose m*t + 39 = w - 2*t, 0 = -2*w + 5*t + 78. Does 13 divide w?
True
Let v = -12 - -16. Suppose 2*h = 100 + v. Does 9 divide h?
False
Does 30 divide -15*(0 + 175/(-15))?
False
Let k(l) = 11*l + 38. Let y(p) = 12*p + 39. Let i(j) = -5*k(j) + 4*y(j). Is i(-10) a multiple of 12?
True
Let t(h) = -h**3 + 5*h**2 + 9*h - 13. Let v be t(6). Suppose -v*a + 2*a + 87 = 0. Is a a multiple of 29?
True
Suppose -5*q - 6131 = -4*f - 4*q, -1535 = -f + q. Does 19 divide f?
False
Suppose -3*v + 398 = -5*l - 28, -3*l - 3*v - 270 = 0. Does 9 divide (l - -2)/(-1*(1 + 0))?
False
Let i(o) = -o**3 + 10*o**2 - 4*o - 11. Let j be i(11). Let c be j/(-6) - (-8)/12. Does 17 divide ((-34)/(-4))/(5/c)?
True
Let u be (-6)/3 + 3 - -3. Suppose u*w - 2 - 18 = 0. Let j(h) = -h**3 + 7*h**2 - 6*h + 2. Does 12 divide j(w)?
False
Let a(x) = 175*x - 440. Let c(g) = 8*g - 20. Let o(i) = -2*a(i) + 45*c(i). Does 5 divide o(5)?
True
Let h(w) = -55*w + 1036. Is h(-31) a multiple of 13?
False
Suppose 7*m - 39 = 2*m - 2*f, -f + 30 = 4*m. Suppose -136 = 3*n + 2*s + m, -s + 187 = -4*n. Let l = 33 - n. Is 23 a factor of l?
False
Suppose -2*y + 1258 = 3*o, -4*o + 857 = -4*y - 827. Is o a multiple of 5?
True
Let b(n) = 9*n - 35. Let s be b(8). Let y = 181 - s. Is y a multiple of 36?
True
Suppose 0 = h - 2*h. Suppose 3*f - 54 + 18 = h. Does 12 divide f?
True
Suppose 20*q - 5*q - 495 = 0. Is 11 a factor of q?
True
Let o(r) = -2*r**3 + 43*r**2 + 27*r - 47. Does 23 divide o(22)?
False
Let p(y) be the third derivative of -y**6/60 + y**5/60 - y**4/8 - y**3/3 - 11*y**2. Is 3 a factor of p(-2)?
True
Suppose -2*t = 5*n - 7*t - 1400, n + 3*t - 268 = 0. Does 12 divide n?
False
Let p(g) = -9*g - 22. Is 3 a factor of p(-5)?
False
Suppose -6 + 3 = -n. Suppose 0 = -2*o - n + 7. Does 12 divide (-45)/(o*9/(-24))?
True
Let x = -23 + 23. Suppose 0 = -5*g + 2*p + 54, -2*g = -x*g - 3*p - 15. Is g even?
True
Suppose 2*d = -2*q + 338, -335 = -2*d + 4*q - 3*q. Let u = -287 + d. Let v = -74 - u. Does 20 divide v?
False
Let y = 5 - 0. Suppose -d + 2*l - 10 = 3*d, -3*l = y*d - 15. Let s(w) = w**3 + w**2 - w + 30. Is 9 a factor of s(d)?
False
Suppose 0 = -2*u + 5*f + 5033, -4*f + 6164 = 3*u - 1351. Is 9 a factor of u?
False
Let b(w) = w + 11. Let y be b(25). Is y/(-45) + 0 + 718/10 a multiple of 10?
False
Is (-522)/(-8) + (-21)/(-28) a multiple of 3?
True
Let p be (0 - -9)*(4 - 3). Suppose -p*h + 12*h = 15. Suppose 0 = h*f + 4*c - 471, -c + 3 + 1 = 0. Is f a multiple of 27?
False
Let g(o) = 4*o**3 - 2*o**2 + 42*o - 239. Does 17 divide g(6)?
False
Suppose -4*l + 4 = 0, -p + 2*p + l = 11. Suppose p*z = 11*z - 47. Is z a multiple of 15?
False
Let r(d) = d - 2 - d**3 + 3*d**2 + 0 - 3*d**2. Let p be r(0). Is 10 a factor of -6*((-36)/8 + p)?
False
Let o(a) be the first derivative of -a**4/4 - a**3/3 - a**2/2 + 28*a + 3. Does 7 divide o(0)?
True
Let z(u) = -8*u**3 + u**2 + u - 1. Let h(w) = 9*w**3 - w**2 - w + 1. Let k(b) = -6*h(b) - 7*z(b). Is 5 a factor of k(2)?
False
Suppose -5*f - 1095 = -2*c, 2665 = 5*c + 18*f - 16*f. Is 19 a factor of c?
False
Suppose -195*n + 184*n = -5313. Does 21 divide n?
True
Let n(s) be the second derivative of 5*s**3/3 + s**2/2 + 3*s. Suppose -3 = -3*r + 2*r. Is 17 a factor of n(r)?
False
Let k be 6*(5/(-2) - -3). Suppose 172 = k*c + 5*d, -2*d = -4*c + 249 - 37. Is c a multiple of 10?
False
Suppose j - 3*j = -34. Let y = j - -76. Is 11 a factor of y?
False
Let j(r) = -r**2 + 19*r - 2. Let n be j(19). Is 2 a factor of 4 + 3 + n + -3?
True
Let s(f) = 1 + f - 19 + 2 + 23*f - 3*f**2. Let c(v) = -v**2 + 8*v - 5. Let w(u) = -8*c(u) + 3*s(u). Is 3 a factor of w(6)?
False
Let r(t) = -4 - 40*t**3 - 7*t - 2*t**2 + 38*t**3 - 6*t**2. Is r(-5) a multiple of 27?
True
Suppose 0*q - 16 = 2*q. Let l be 21/(-28) + (-22)/q. Suppose -l*z = -z - 20. Is z a multiple of 5?
True
Let p(w) = w - 1. Let x be p(2). Let j(n) = 67*n**2 + 2*n - 2. Is j(x) a multiple of 11?
False
Let t(r) = r - 94 + 9*r + 75. Does 4 divide t(5)?
False
Let n(c) = 5*c**2 - 14*c + 73. Does 14 divide n(5)?
False
Let g be -4*1/6*-3. Suppose w = 3*u - 1615, 3*u - 1625 = -g*w - 2*w. Does 10 divide (-1)/(-3) - u/(-21)?
False
Let c = 488 - 207. Is c a multiple of 9?
False
Is 32/272 - 5/(425/(-356480)) a multiple of 16?
False
Let y = 61 - 35. Is 19 a factor of y*(-172)/(-24) + 3/(-9)?
False
Suppose 274 - 2562 = -8*r. Is r a multiple of 11?
True
Suppose -3*i + 2*a + 11 = 3*a, 1 = i - a. Suppose 78 = i*o - o. Is o a multiple of 10?
False
Let x(o) = -1 - 4*o**2 - o + 2*o - o**2 + 6*o**2. Let q be x(0). Is (q - 0)/((-9)/144) a multiple of 5?
False
Let u(o) = -22*o - 8. Let v be u(-5). Let z = v + 17. Does 48 divide z?
False
Suppose -3*s + 13685 + 9851 = 5*f, -3*f - 3*s + 14118 = 0. Is f a multiple of 24?
False
Suppose 2*b - 21 = -3. Let a(t) = t. Let o(c) = -3*c - 14. Let w(m) = 5*a(m) + o(m). Is w(b) a multiple of 4?
True
Let n(w) = -w**3 - 5*w**2 - 2*w + 11. Let c be n(-4). Suppose 113 = c*s - 139. Is s a multiple of 28?
True
Suppose -3*u + 63 = 72, -5*f + 6137 = -4*u. Is 25 a factor of f?
True
Let j(f) = -8*f + 2. Let n(k) = -k**2 + k - 1. Let u(d) = -j(d) - 2*n(d)