or of d?
True
Let w be (-2)/6 - 20/30. Let g = 8 + w. Let o = -3 + g. Is o a multiple of 4?
True
Suppose -4*o = -2*v - 111 - 233, 3*o - 3*v = 252. Let f(p) = p + 14. Let w be f(-11). Is w/(-6) - o/(-16) a multiple of 5?
True
Let y(j) = 7*j**2 + 11*j + 17. Let m(a) = -13*a**2 - 21*a - 34. Let x(z) = -6*m(z) - 11*y(z). Is x(-7) a multiple of 6?
False
Let w = -53 - -298. Does 49 divide w?
True
Does 16 divide 4*(12 + -13) + 51*2?
False
Let m = -262 + 810. Suppose -5*l + 3*f = -m, 0*f - 100 = -l + 3*f. Is 24 a factor of l?
False
Suppose 13*d + 918 = -213. Let h(a) = a**3 - a**2 - 2*a + 1. Let m be h(2). Is 2 - m - (0 + d) a multiple of 22?
True
Let y = 0 - 1. Let x(m) = 12*m**2 + 5*m - 7. Let u(c) = 6*c**2 + 3*c - 4. Let p(g) = -5*u(g) + 3*x(g). Is 3 a factor of p(y)?
False
Does 2 divide (9/5)/(45/2325)?
False
Let c(s) = -568*s + 45. Is 53 a factor of c(-3)?
True
Let l = -16 - -22. Let w(d) = -d**2 + 6*d + 33. Let z be w(-4). Is z/(-21) - (-166)/l a multiple of 6?
False
Let n = -14 + 14. Let r = 5 + n. Suppose 2*z + 1 = -j + 60, -r*j + 4*z + 365 = 0. Is 17 a factor of j?
False
Let c be 36 + 1/3*-3. Let q = 41 - c. Is q a multiple of 3?
True
Is -16*(956/(-16) + 4) a multiple of 48?
False
Let o = -1025 - -1207. Is 14 a factor of o?
True
Let t(g) be the first derivative of -g**4/4 + 10*g**3/3 - 3*g**2 - g - 135. Let v(x) = -x**2 + 6*x + 8. Let d be v(6). Does 16 divide t(d)?
False
Let p be ((-13)/3)/(2/(-6)). Suppose -189 + 181 = -c. Let v = p - c. Does 5 divide v?
True
Let s be (4/(-3))/(10/(-30)). Suppose 0*z + s = -2*z. Is (-1180)/(-65) - z/(-13) a multiple of 18?
True
Let z(u) = u**3 + 6*u**2 - 8*u - 5. Let m be z(-7). Let g be 1 - m*2/(-4). Suppose 0 = -f + 4*h - 4, -10 = g*f - 5*f + h. Is f a multiple of 2?
True
Let b(i) = 3*i**2 + 5*i + 4. Let t be b(-6). Let f = t + -1. Is 8 a factor of f?
False
Suppose -2*m - 3*l + 365 = 0, 3*m + 4*l = 3*l + 537. Suppose -5*x = -2*k + 468, k = -3*x - m - 105. Is 22 a factor of (-5)/(5/(-3)) - x?
False
Let y = 40 - 31. Is 14 a factor of (340/(-15))/((-3)/y)?
False
Let d be (-20)/(-5)*((-9)/(-6))/1. Let w(o) be the second derivative of o**4/4 - 4*o**3/3 - 5*o**2/2 + 2*o. Does 15 divide w(d)?
False
Let d = -53 + 44. Does 14 divide (-95)/(-1)*d/(-15)?
False
Suppose 0 = -9*d + 431 + 109. Does 20 divide d?
True
Let x be (-4*(-3)/(-15))/((-2)/20). Suppose x*n - 38 = 6*n. Does 12 divide n?
False
Suppose -c = -16 - 8. Let d be 6/c + 1/(-4). Suppose b + 2*q - q - 28 = d, 3*b = -5*q + 76. Does 8 divide b?
True
Let y(s) = s**3 - 26*s**2 + 38*s + 2. Is y(26) a multiple of 18?
True
Let m = 39 - 40. Let p = 8 - 6. Is 2 a factor of (p - -3) + (-2)/m?
False
Does 17 divide -8 - (-20)/4 - -107?
False
Suppose 761*k = 757*k + 4440. Does 10 divide k?
True
Does 62 divide 6/12 + (-1113)/(-6)?
True
Let o(l) = -59*l - 48. Is o(-2) a multiple of 35?
True
Suppose -4*b - 2*c + 1 = -b, -3*b + 11 = 4*c. Let m be 6*b*64/(-36). Suppose -l = 5*o - 327, o - 5*l - 23 = m. Is o a multiple of 13?
True
Let d = -45 + 267. Suppose l + 2*l = d. Suppose -5*s + 21 = -l. Does 19 divide s?
True
Does 39 divide (-1)/((-24)/(-960)*(-5)/72)?
False
Let o be 1/1 + -2 + 9 + -8. Suppose o = -5*l + 3*x - x + 285, 285 = 5*l + x. Does 9 divide l?
False
Suppose -30 = 5*w - 155. Let x(a) = -2*a - w - 3*a + 3 + 2*a. Is 3 a factor of x(-14)?
False
Suppose 3*z + 0*z = 2*f + 362, 0 = -z + f + 121. Suppose -2*p + z = 4*p. Is 6 a factor of p?
False
Suppose -13*s - 2638 = -20968. Does 52 divide s?
False
Let n(y) = -14*y**2. Let w be n(1). Let i = 29 - 57. Is i/49 + (-386)/w a multiple of 27?
True
Suppose 5*m = -d + 447, 0*d - 5*d - 168 = -2*m. Let u = m - 57. Let f = 54 - u. Is f a multiple of 14?
False
Suppose -12*g + 3795 = -g. Is 10 a factor of g?
False
Suppose 3*c = l + 379, -c - 3*l = -7*l - 130. Is 14 a factor of c?
True
Suppose 0 = -31*p + 33*p. Suppose -5*h = -12 + 32, p = 5*g + 2*h - 472. Is 6 a factor of g?
True
Suppose -16*i = 8*i - 13104. Is 15 a factor of i?
False
Suppose 11856 + 758 = 53*x. Is x a multiple of 14?
True
Suppose -6*b + 3726 + 498 = 0. Is b a multiple of 79?
False
Suppose -22*d = -2*d - 6440. Is 7 a factor of d?
True
Let p(a) = a**3 - 4*a**2 + 6*a - 5. Let s be p(4). Let c = s + -13. Does 2 divide c?
True
Suppose -7*n + 16500 = 4*n. Is 31 a factor of n?
False
Let f = -154 - -264. Let i(p) = -18*p - 94. Let k be i(-5). Does 13 divide f/k*(-16)/10?
False
Suppose 5*w + 15 = 0, 1665 = 4*j + 3*w + 274. Is j a multiple of 10?
True
Let s(w) = 10*w**3 - 8*w**2 + 2*w - 12. Let f(i) = 9*i**3 - 7*i**2 + 2*i - 12. Let l(c) = 7*f(c) - 6*s(c). Does 13 divide l(4)?
False
Let c(u) = 6*u - 7. Is c(26) a multiple of 9?
False
Let t(s) = s**2 - s - 7. Let a be t(9). Let x = a + 35. Suppose 0 = 4*z - x - 32. Is 11 a factor of z?
True
Let r(a) = 2*a**2 + 11*a - 13. Let z be r(-11). Suppose 5*k + 192 = 2*k. Let x = k + z. Is x a multiple of 22?
True
Let u(o) = -4*o**2 + 3*o - 6. Let n be u(2). Let f = n - -26. Suppose f = x + 2*i - i, 5*x - 62 = -2*i. Does 2 divide x?
True
Suppose 14*h = 20*h - 13686. Is h a multiple of 13?
False
Let p(z) = -z**3 - 22*z**2 + 31*z - 64. Is p(-26) a multiple of 30?
False
Let w(p) = -p**2 + 7*p + 3. Let n be w(7). Suppose 0 = n*d + j - 581, -383 = -2*d - j + 3. Does 39 divide d?
True
Let j = 2 + 61. Does 9 divide j?
True
Let x = 255 + 26. Suppose p - x = -4*s, 3*p - 2*p = 2*s - 139. Suppose 7*c - s = 2*c. Is c a multiple of 4?
False
Suppose -5*b - 3*r = -15, 0 = b - 3*r + 2*r - 11. Suppose -4*c + b*c = 5*d + 241, 125 = c - d. Is 17 a factor of c?
False
Let p = 13 + -14. Let q be -15*p/(-3)*-1. Suppose -3*b + 6 = 0, q*n + 0*b = -4*b + 53. Is 3 a factor of n?
True
Suppose g - 5*a - 65 = 2*g, 5*a + 275 = -4*g. Let i = 23 - g. Is 32 a factor of i?
False
Suppose 17*h = 70*h - 8586. Is 6 a factor of h?
True
Does 17 divide (2/(-12))/(5/(-1360))*15?
True
Let y(i) = -2*i**2 - 19*i + 5. Is 3 a factor of y(-8)?
False
Suppose -5*k = 4*k + 2*b - 21752, -4*k = -5*b - 9697. Is k a multiple of 39?
True
Suppose c = -j - 7, 16 = -4*c - 4. Let t(o) = 20*o**2 - 4*o - 3. Does 17 divide t(j)?
True
Suppose -5*s = 5 - 0, 0 = -4*h - 5*s + 75. Is h a multiple of 5?
True
Suppose -2*j + 6 = -3*i, j - 4 = 4*i + 4. Suppose 6*o - 4*o = 5*h + 127, j = 4*o - 3*h - 275. Does 18 divide o?
False
Let o(h) = h**2 - 10*h. Let k be o(-12). Suppose n - 4*n = -k. Does 11 divide n?
True
Let d(h) = 50*h - 20. Let o(i) = 2*i. Let q(c) = 2*d(c) - 44*o(c). Does 43 divide q(26)?
False
Let z be 173 - 2/(-10)*0. Suppose -2*f = t - 42, 4*t + 2*f = -f + z. Is 14 a factor of t?
False
Let f be 26 + (-4 + 5)/(-1). Let r = 48 - f. Does 10 divide r?
False
Let a = 149 + 19. Does 40 divide 63/a - 1914/(-16)?
True
Let k(m) = 0 + 5*m**2 - 1 + m + 3*m. Suppose 25*q - 37*q - 48 = 0. Is k(q) a multiple of 16?
False
Suppose -7*g + 410 = 5072. Is (-51)/(-68) + g/(-8) a multiple of 24?
False
Suppose 0*p - 39 = 3*p. Let z = 5 - p. Does 9 divide z?
True
Is 12*16/(-4)*(-33)/8 a multiple of 18?
True
Let g be 10/3 - 5/15. Let o(u) = 18*u**2 - g + 7 - 5. Is o(-1) a multiple of 5?
False
Let f = -4 - -2. Is (f + -18)*44/(-16) a multiple of 19?
False
Let d = 13 - 2. Does 5 divide (15/(-2))/(d/(-66))?
True
Let r(q) = q**2 + 14*q + 3. Let d be r(-10). Let u = d + 67. Suppose 90 = 5*v - u. Is v a multiple of 12?
True
Let q = 19 - 19. Suppose -4*w + 1229 - 269 = q. Suppose -5*m = -m - w. Is m a multiple of 20?
True
Suppose 3*j + 3*m = 336, j - 90 = -5*m + 6. Does 58 divide j?
True
Let i(j) be the first derivative of 5*j**2/2 - 44*j + 3. Is i(23) a multiple of 17?
False
Let i = -65 + 140. Does 21 divide i?
False
Let p(u) = -10*u + 8. Let a = -37 + 21. Is p(a) a multiple of 24?
True
Let a = -1582 - -1919. Is 13 a factor of a?
False
Let c(l) = 5*l**2 + 10*l - 85. Does 10 divide c(7)?
True
Suppose -2 = 3*q - 146. Suppose -q = -4*m + 84. Suppose r = -v + 30, 5*r + m - 129 = -3*v. Does 7 divide v?
False
Let c(x) = x**3 - 3*x**2 - 9*x - 5. Let u be c(5). Suppose u*j = -8*j + 256. Does 16 divide j?
True
Let r(l) = 4*l**2 + 5*l - 26. Is r(12) a multiple of 52?
False
Let j = 24 + -30. Let u be 113 - (-5)/((-10)/j). Suppose -162 = -3*h - m, -2*m - u = -2*h - 0*m. Does 12 divide h?
False
Let t be 60/(-16) - (-2)/(-8). Let i(u) = 2*u + 8. Let a be i(t). Suppose 4*m - 77 = -g, -2*m - 71 = -g - a*g. Does 21 divide g?
False
Supp