= 488 - 119. Is i a multiple of 41?
True
Suppose 0 = -i + 3*d + 18, 0 = 3*i + 2*d - 6 - 4. Suppose 3*u + 12 = i*u. Suppose 0 = 4*j - 5*f - 3, -4*f - 5 = -u*j + 3. Is j a multiple of 5?
False
Suppose -2*t = -2 - 152. Let h = t + -28. Is h a multiple of 3?
False
Let p(l) = 5. Let x(q) = q. Let o(a) = p(a) - 2*x(a). Let s be o(-15). Is 230/14 - 15/s a multiple of 16?
True
Is 6 a factor of 3/10 - 107294/(-220)?
False
Let a be (-134)/(-10) - -6*7/70. Suppose h = -a + 65. Is h a multiple of 5?
False
Let b = -797 - -1145. Does 6 divide b?
True
Is 28 a factor of 6/21 + (-7820)/(-70)?
True
Suppose -6*m + 3*m = -264. Suppose 0 = 2*h - 4*h - 100. Let l = h + m. Is l a multiple of 13?
False
Let p = 57 - 33. Suppose -v + 2 = -p. Suppose 5*d - 3*d = v. Is 9 a factor of d?
False
Let z(w) = -5*w**3 + 0 + 2*w - 1 - 5*w. Is 15 a factor of z(-2)?
True
Let f = 28 + 40. Is 2 a factor of f?
True
Let b(c) be the first derivative of -3*c**2/2 + 10*c + 4. Let j be b(-9). Suppose -5*x + 5*n + 110 = 0, x - n + 3*n = j. Is x a multiple of 9?
True
Let u(w) be the second derivative of 17*w**4/3 - w**3/3 + w**2 + 25*w. Is 45 a factor of u(2)?
True
Let m = -1 + 5. Let z(c) be the third derivative of -c**6/120 + c**5/15 + c**4/4 - 7*c**3/6 - 33*c**2. Is z(m) a multiple of 8?
False
Suppose -3*o + 5*q + 8 = -8, 0 = -5*o + q - 10. Let v = o + 19. Does 11 divide v?
False
Let y(l) = -l**3 + 5*l**2 + 24*l + 8. Let k be y(8). Let j(c) = c**2 + 5*c - 5. Let r(q) = q**2 + 4*q - 6. Let o(n) = -5*j(n) + 6*r(n). Does 16 divide o(k)?
False
Let b(h) = 4*h**2 + 124*h - 77. Is 14 a factor of b(-32)?
False
Let d = -226 + 442. Does 27 divide d?
True
Let a(c) = -76*c**3 + c**2 - c - 1. Let w be a(-1). Let f = w - 2. Is (-24)/9*f/(-10) a multiple of 14?
False
Suppose 2*g - 2*j = 1658 + 792, g - 5*j = 1229. Does 68 divide g?
True
Let d(h) = -h**2 + 35*h - 13. Let y be d(24). Let w = -90 + y. Is w a multiple of 15?
False
Suppose -8*j - 353 = -2729. Does 15 divide j?
False
Suppose -56 - 4494 = -35*k. Is 10 a factor of k?
True
Let v be (-20)/(-4) + -2 + 53. Suppose 0 = -2*c - 10, q - v = 4*c + c. Is q a multiple of 22?
False
Let o be 4*4/16 + 2. Suppose 0 = o*w + w - 16. Suppose w*u - 80 = 4*y, -4*u - y = y - 50. Is u a multiple of 3?
True
Suppose 5*x + 3 - 1 = -3*g, -4*x + 28 = -5*g. Let q(h) = 1 - 8 + 5*h**2 - h + h**x + h**2. Does 19 divide q(3)?
False
Suppose 0 = 8*v - 2 - 14. Is 11 a factor of (44 + -1)/(v/(-24)*-3)?
False
Let l(o) = o**3 - 5*o**2 + 5*o - 1. Let g be l(4). Is 2 + (397 + -1)/g a multiple of 10?
False
Let i = 838 - 595. Is i a multiple of 9?
True
Let v(l) = -l**2 + 19*l - 21. Let a be v(18). Is a/(6*(-4)/472) a multiple of 7?
False
Let x be (-48)/18 - (-2)/3. Let v be x/(-4) + 1443/26. Does 25 divide -1*7*(-400)/v?
True
Suppose i + 5 = -z + 2*i, 2*i = 5*z + 19. Let b be (6/(-9))/(z/9). Suppose -y - 2*w + 231 = b*y, -2*y - 5*w = -143. Does 20 divide y?
False
Let a(i) = -2*i**3 + 3*i**2 + 4*i - 4. Let g be a(6). Let h be g/(-64) + 1/4. Is 12 a factor of ((-8)/h)/((-11)/330)?
True
Let t = 762 - 721. Does 2 divide t?
False
Suppose -3 = -4*r + r. Suppose g + 15 = 104. Suppose 4*b + 3*f = g, 3*f = -r - 2. Is 23 a factor of b?
True
Suppose -977 = -4*z + 5*y, 4*z = -2*y + 4*y + 962. Is z a multiple of 23?
False
Let q(b) be the third derivative of -b**6/12 - b**5/15 + b**4/8 - b**3/6 + 3*b**2. Let c be q(2). Does 16 divide (-13)/c - 600/(-14)?
False
Let y(b) be the first derivative of 28*b**3/3 + b**2/2 - 2. Let t be y(-1). Let n = 66 - t. Is n a multiple of 22?
False
Suppose -3*a + 3 = -2*a. Suppose -99 = -a*c + 9. Is c a multiple of 20?
False
Suppose 2*a - 10 = -3*j + 2*j, j + 4*a = 4. Let n = j + 35. Does 17 divide n?
True
Suppose -5*l + 38 = 4*k + 6, -4*k - 4 = -4*l. Suppose 0 = -3*m - 4*s + 95, 6*s - 5*s = -k*m + 89. Is m a multiple of 4?
False
Let o(x) = 157*x**2 + 16*x - 30. Is o(2) a multiple of 14?
True
Is 4/((-24)/(-834)) + 3 a multiple of 19?
False
Let x(g) = 16*g + 1. Let m be x(-4). Let h = -55 + -40. Let o = m - h. Does 10 divide o?
False
Suppose 0*v - 298 = -3*r - 2*v, 4*r + v - 394 = 0. Is 35 a factor of r?
False
Let q(f) = -f**2 - 5*f + 7. Let o(z) = 4 - 4 - 2 + 3. Let d(p) = 4*o(p) - q(p). Is 13 a factor of d(3)?
False
Let i = 975 - 91. Is 15 a factor of i?
False
Let s = -15 - -29. Let q = 50 + s. Let b = q - 18. Is b a multiple of 23?
True
Suppose 0*b + 2*b + 2*y = -46, 4*y = 4*b + 76. Let v = b + 27. Suppose 4*z + 2*s = v*s + 180, 0 = -s - 5. Is 10 a factor of z?
True
Suppose 5*i = 5*g + 560, -4*g - 126 + 448 = 3*i. Is 10 a factor of i?
True
Let v(q) = -q**2 + 31*q + 182. Is 15 a factor of v(32)?
True
Let z(y) = y**2 - 6*y + 5. Let s = 13 - 8. Let m be z(s). Suppose m = -b - b + 4*h + 50, 3*h = 6. Is 29 a factor of b?
True
Suppose 1686 = 21*u - 18*u. Is u a multiple of 30?
False
Let u(l) = l**3 + 13*l**2 - 13*l + 11. Let t be u(-14). Let c(f) = -4*f**3 - 6*f**2 + 2*f. Does 28 divide c(t)?
False
Let q(w) = -2*w**3 + 2*w**2 - 3*w + 992. Does 11 divide q(0)?
False
Suppose 0 = -2*b + 4*n + n - 7, -3*b + 5*n + 2 = 0. Suppose -2*s = -b - 3. Suppose -2*z + s + 42 = 0. Is z a multiple of 8?
True
Suppose 3*n = 4*n + 14. Let j be (-12)/(-4) + (2 - n). Let l(z) = 3*z. Is l(j) a multiple of 15?
False
Suppose -11 = -6*w + 5*w. Let q = 97 - w. Is q a multiple of 18?
False
Let y = 129 - 79. Suppose 0 = -k + s + 16, -6*k = -k + 5*s - y. Is 13 a factor of k?
True
Let v(d) = -21*d - 52. Is v(-25) a multiple of 38?
False
Suppose -3*p + 166 = n, -5*n + 12 - 265 = -4*p. Let r = p + -32. Suppose 3*u - r = -2*k, k = -3*u + 14 + 12. Is u a multiple of 4?
False
Let c(o) be the third derivative of -o**4/12 + 4*o**3/3 + 5*o**2. Let j be c(4). Suppose 200 = -j*i + 2*i. Is 33 a factor of i?
False
Suppose 0 = -3*c - 0*c + 75. Suppose 0 = -5*t + 10*t - c. Does 5 divide 4/t*(-175)/(-10)?
False
Let n = 386 - 369. Does 17 divide n?
True
Suppose 0 = 4*a - 8*a. Suppose z + 5*t - 19 = 0, -t = -2*z - a*t + 16. Is 2 a factor of z?
False
Suppose 0*d = -3*f + 3*d + 15, 0 = -3*f + 2*d + 19. Let q = f + 3. Suppose -y - 3*a - q = -2*y, -3*y - 3*a = -60. Is y a multiple of 5?
False
Let c(x) = -x**3 + 4*x**2 + 3*x + 2. Let b be c(5). Let p(s) = s**2 + 6*s - 2. Let l be p(b). Suppose l*m + 486 = 20*m. Is 27 a factor of m?
True
Let k be 75/20 + 1 + 9/(-12). Suppose 0 = -k*c + 4*s + 332, -4*c + 4*s - 2*s + 328 = 0. Is c a multiple of 10?
False
Suppose -41 = -6*u - 11. Let x(d) = 6*d**2 - 2. Let k(o) = -o**3 + 12*o**2 - o - 4. Let i(g) = u*x(g) - 3*k(g). Does 21 divide i(3)?
False
Suppose 5*f = -3*j + 6, 8*j = -5*f + 3*j + 10. Suppose a - 5*a + 360 = f. Is a a multiple of 18?
True
Let x = -41 - -42. Let z(r) = 53*r**2 + 1. Is 4 a factor of z(x)?
False
Let f(w) = w**3 - 8*w**2 - 10*w + 6. Let b be f(9). Let h be ((-21)/6)/(b/(-42)). Is 19/(-76) + h/(-4) a multiple of 4?
True
Let w = -2523 + 4574. Is w a multiple of 7?
True
Let i be (1 + -11)*(-3 + 4). Let t(s) be the third derivative of s**5/60 + s**4/3 - 3*s**3 + 46*s**2 - 2. Is 2 a factor of t(i)?
True
Let x be (-3 - 3/(-1)) + 0. Suppose z = -x*z + 287. Suppose 216 = 3*d + h, 0*d + h = -4*d + z. Does 10 divide d?
False
Suppose 0 = -4*b + 7*b - 24. Let m be 64/b - 3*1. Suppose s - m*s = -144. Does 26 divide s?
False
Let l = -16 + 16. Suppose 2*c - 4 + l = 0. Suppose 0 = -c*v + h + 121, -2*h - 297 = -5*v - 5*h. Is v a multiple of 15?
True
Let d = -23 - -30. Let z = 19 + d. Is z a multiple of 13?
True
Let q be (-40)/(-12) - 2/6. Suppose q*y + 42 - 171 = 0. Is 28 a factor of y?
False
Let q(o) = 11*o + 2. Let d be q(1). Let u(j) = j**2 - 7*j - 13. Does 13 divide u(d)?
True
Suppose 6*p - 5930 = 322. Is 22 a factor of p?
False
Suppose 16*m - 4*z + 1954 = 17*m, 3*z + 5787 = 3*m. Does 18 divide m?
False
Let n be (-2 + 0)*(-158)/4. Let x = n + -43. Is x a multiple of 6?
True
Suppose 2*w - 29 = -23. Suppose -w*q + 20 = -10. Is 10 a factor of q?
True
Let p be -2 + 1*96/3. Suppose 20 + p = -5*l + 4*t, -3*l = -3*t + 33. Let f = 11 + l. Is f a multiple of 3?
False
Let h(d) = 113*d**3 + 7*d**2 - 3*d - 4. Let f(r) = 38*r**3 + 2*r**2 - r - 1. Let u(x) = 7*f(x) - 2*h(x). Does 20 divide u(1)?
True
Does 43 divide 6/39 + -1 + 2247/13?
True
Let y(u) = u**2 - 27*u + 1159. Is 19 a factor of y(0)?
True
Let z = 74 + -44. Suppose -5*t - k = -74, -z = 3*t - 4*t - 4*k. Is 14 a factor of t?
T