
Suppose 4*l - 2608 = 5*p, -4*p = -55*l + 52*l + 1955. Is 9 a factor of l?
True
Let b(n) = n**3 + n**2 - n. Let g(i) = -2*i**3 - 3*i**2 + 3*i + 2. Let t(s) = 4*b(s) + g(s). Is 4 a factor of t(2)?
True
Let o = -272 + 156. Let c = o - -221. Is c a multiple of 21?
True
Let f(c) = -60*c**3 + 5*c**2 - c - 14. Does 115 divide f(-4)?
True
Let d(s) = 10*s - 29. Let x be d(6). Suppose 4*w - 3*w = -4*z + x, 0 = 5*w + z - 174. Does 4 divide w?
False
Does 10 divide 1*813 + (-62 - -69)?
True
Is 15 a factor of (-5 - (0 - 864)) + -6?
False
Suppose -2*z + 4*z - 1892 = m, 1896 = 2*z - 3*m. Does 27 divide z?
True
Let c(b) = 3*b + 27. Is c(1) a multiple of 17?
False
Let x = 28 + -28. Let h(r) = 0 + x + 11 + r. Is h(6) a multiple of 17?
True
Let f = 13 - 13. Suppose f*l = -l - 9. Does 11 divide 0 - -21 - (l + 8)?
True
Suppose c - 3*c = -68. Let v be (2 - 3) + (1 - c). Let q = v - -70. Does 10 divide q?
False
Let h(v) = 3*v + 13. Let s(c) = -c**3 - 9*c**2 - 15*c + 1. Let x be s(-7). Is h(x) a multiple of 8?
False
Let o(j) = -3*j + 5 + 2*j + 5 - j**2 - 3*j. Let l be o(-5). Suppose 0 = -2*p + 4*b + 80, 5*b = -0*p + l*p - 175. Is 7 a factor of p?
False
Suppose -2*l = 2 - 4. Suppose 2*i + 2*n - l = -n, -2*i - 2*n = -4. Let o(c) = c**2 - 1. Does 24 divide o(i)?
True
Let a(w) = 6*w + 4. Let b be a(-4). Is 6 a factor of (-8)/b*1*40?
False
Suppose v - 261 = -2*v. Let l = v - 22. Suppose -3*u = 2*u - l. Is u a multiple of 13?
True
Let v = -8 - -13. Let i = 8 - v. Suppose i*r = 152 + 52. Does 28 divide r?
False
Let n be 10/4*28/14. Suppose n*o = 3*m - 228, 4*m + 3*o - 272 = -o. Does 7 divide m?
False
Suppose 0 = -5*z - 15, 9*s - 4*s - 4*z - 102 = 0. Let u = -2 + 2. Suppose u = l - 93 + s. Does 25 divide l?
True
Let n = -4633 + 6488. Is n a multiple of 5?
True
Let d(n) be the second derivative of n**4/3 + 4*n**3/3 - 9*n**2/2 + n. Does 17 divide d(-5)?
True
Suppose 3*n = -45 - 3. Let w be (-6 + 1)/(2/n). Suppose 2*a = -3*a + w. Is 8 a factor of a?
True
Let m = -11 - -10. Let n be -2 + -1 - (-12 - m). Let r(x) = x**3 - 8*x**2 + 9*x - 3. Does 21 divide r(n)?
False
Suppose 3*x + 5*v = 60, -v = x + x - 33. Does 24 divide 4044/30 + (-12)/x?
False
Suppose 3*b = 2*b + 39. Let o be (15/(-6))/1*248/20. Let h = o + b. Does 5 divide h?
False
Suppose -j + 715 = 5*d - 32, d - 159 = 3*j. Does 6 divide d?
True
Let a = 13 - 9. Let h(v) = -v + 5. Let n be h(0). Suppose a*z = -o + 2*o - 17, -n*z - 35 = -4*o. Is o a multiple of 5?
True
Let v = 6 - -6. Let k = -8 + v. Suppose 42 = -k*i + 114. Is i a multiple of 6?
True
Suppose -3*c + 2 = -10. Let u be (25 + c/(-4))*-1. Is 18/u - 135/(-4) a multiple of 11?
True
Is 3 a factor of 6/4*(6 - -2)?
True
Let q be ((-24)/10)/((-12)/(-40)). Let f be 2*(-4)/q - 13. Does 2 divide 1*3 + (-24)/f?
False
Let a(s) = -s**3 - 6*s**2 + 11*s + 20. Let k be a(-8). Suppose -6*b + 4*b + 4 = 0. Suppose -b*h + k = 24. Is 18 a factor of h?
True
Suppose 4*b - 2*b + 2*g = -18, -4*b - 32 = 2*g. Let r(w) = 4*w**2 + 8*w - 16. Is 31 a factor of r(b)?
True
Suppose 14*n + 1744 = 17*n + 4*w, -4*w - 1712 = -3*n. Does 16 divide n?
True
Suppose 5*v = 3*m + 1875, 387 = v - 8*m + 5*m. Does 6 divide v?
True
Let j = -46 - -55. Is 12 a factor of (j - 11) + -2 + 78?
False
Let b(d) = -22*d - 4. Let g be b(-2). Let l = g + -28. Is 6 a factor of l?
True
Let g(k) = -k**2 + k. Let j(f) = -11*f**3 + 4*f**2 - 8*f - 3. Let b(n) = 5*g(n) + j(n). Is 29 a factor of b(-2)?
True
Suppose -3*o + 5053 = -4*c, 5*o - 11*c + 14*c = 8412. Is o a multiple of 11?
True
Let g(f) = -21*f - 25. Let q(u) = -22*u - 27. Let i(x) = -4*g(x) + 3*q(x). Does 10 divide i(3)?
False
Let b = 585 + 335. Does 40 divide b?
True
Let t be (-2)/20*2 - (-14)/(-5). Is 35 a factor of 152 - 1 - ((-3 - t) + -1)?
False
Let h = 88 - 42. Let w = 332 + -323. Let x = h + w. Is x a multiple of 11?
True
Let g = -906 + 3712. Is 21 a factor of g?
False
Let r(f) = -f - 1. Let w be r(-1). Suppose 2*l + w*l + 12 = 0. Does 5 divide 52/5 - l/(-15)?
True
Let j be 2/(-4)*(-1 - -2 - 1). Suppose 0*d + 94 = 4*d - 5*s, j = d + 3*s - 32. Is d a multiple of 6?
False
Let s(v) = v**3 - 13*v**2 + 4. Let n be s(13). Let y(x) = -x**2 + 8*x. Is y(n) even?
True
Is (-255)/(-3) - ((-30)/3)/(-2) a multiple of 4?
True
Let p(m) = -32*m + 6. Let y be p(-4). Suppose -a - 434 = -5*c, -2*c + 2*a = -y - 46. Suppose -k + 3*k = c. Is 20 a factor of k?
False
Let b = 17 - 26. Let d(h) = -7*h - 11. Does 8 divide d(b)?
False
Let g(f) = 6 + f**2 - 13*f + 14*f + 4*f**3 - 3*f**3. Suppose z + 3*z = 0. Does 5 divide g(z)?
False
Let g(c) = -2*c - 4 + 3 - 3 + 37*c**2 + 3*c. Let x(f) = -f**2 + 1. Let q(h) = g(h) + 3*x(h). Is 17 a factor of q(1)?
True
Suppose 7*t - 35211 = -1261. Does 12 divide t?
False
Suppose -3*x + 4*n + 74 = -0*x, 2 = -x - 4*n. Let v(b) = -b**3 + 20*b**2 - 36*b + 13. Is 13 a factor of v(x)?
True
Suppose -12 = -4*a, 5*a - 13 - 90 = 2*q. Is (-8)/44 - 800/q a multiple of 18?
True
Let k(j) = 21*j + 2. Let s be k(-1). Let z = -234 + s. Is (1*3)/((-33)/z) a multiple of 9?
False
Let t(p) be the second derivative of -p**5/20 + 11*p**4/12 - 2*p**3 - 7*p**2 - 6*p. Is t(6) a multiple of 13?
False
Suppose -2*u = 2*m - 18, u + 4*u - 4*m = 0. Let c(s) = 33*s - 24. Is c(u) a multiple of 27?
True
Suppose 271*j - 277*j = -11436. Does 56 divide j?
False
Let t be (66/(-8))/((-4)/(-16)). Let h = 13 - t. Does 12 divide h?
False
Does 3 divide (-835*(-1)/20)/((-2)/(-16))?
False
Let z = -32 + 34. Suppose -779 + 235 = -5*v - w, -z*v + 3*w + 221 = 0. Does 19 divide v?
False
Let c(x) = -x**2 - 7*x - 6. Let l be c(-5). Suppose -2*g + 3*d + 13 = 0, -11 = -4*g + 5*d - l*d. Does 14 divide g/5 - (-68)/5?
True
Let j(r) = -r**3 + 17*r**2 + r + 16. Suppose -48 = -5*i + s + 34, 0 = 4*i - 3*s - 59. Is 13 a factor of j(i)?
False
Let k be (6/(-4))/(3/(-28)). Suppose 2*q - 10 = -4*r + 22, -q - k = -4*r. Suppose 2*l + 212 = q*l. Is 26 a factor of l?
False
Suppose -4*h + 0*k + 4*k = -108, -k = -3. Let y be -2*h*4/(-5). Suppose -3*g + y + 36 = 0. Is 7 a factor of g?
True
Let c(y) = 2*y**3 - 2*y**2 - 3*y + 3. Let a = 14 - 6. Suppose 3*r = -r + a. Is 3 a factor of c(r)?
False
Suppose 378*b = 385*b - 56. Is 8 a factor of b?
True
Let v = 30 - 18. Let j(y) = 11*y + 2. Let a(l) = 4*l + 1. Let k(g) = -8*a(g) + 3*j(g). Does 3 divide k(v)?
False
Let n be 403/5 - 3/5. Let w = n + 28. Suppose -3*d + w = -0*d. Is d a multiple of 12?
True
Suppose 5 - 13 = -4*p. Suppose 0 = 27*b - 92 + 38. Suppose p*x = -b*x + 68. Is x a multiple of 13?
False
Suppose 184 + 51 = y + 2*c, -2*y + c + 455 = 0. Suppose -5*m + g = -2*g - y, 2*g + 94 = 2*m. Is m a multiple of 22?
True
Suppose j - 6 = -2*j. Suppose g + 3 + 2 = 4*m, 5*g - 11 = j*m. Suppose -2*i + 3*r + 94 + 23 = 0, 0 = -m*i - r + 97. Is 20 a factor of i?
False
Suppose 0 = 2*c - 5*c + 6. Suppose h + 15 = 3*d - 4*h, c*d + 5*h - 10 = 0. Is d a multiple of 5?
True
Let h = -1419 + 2477. Does 12 divide h?
False
Suppose 3*f + 1376 = 3*h + 5*f, 2*h + 4*f - 904 = 0. Is h a multiple of 42?
True
Let z(m) = 28*m - 3*m - 3 + 5*m. Suppose 16*n - 20*n + 2 = 3*g, 0 = 2*n + g - 2. Is z(n) a multiple of 19?
True
Let i = 44 - 24. Let l be 8 + 264/(-32) - 49/(-4). Is (l/i)/(1/65) a multiple of 13?
True
Let z = 503 - 191. Is 13 a factor of z?
True
Let h = 220 + 20. Is 30 a factor of h?
True
Suppose -w + 4*v + 26 = 0, 0 = -w - 5*v + 5 - 15. Let n be (12/w)/(4/(-100)). Is 9 a factor of (2 - n)/2 + 2?
True
Suppose -2*b = -7*b + 22125. Is b a multiple of 15?
True
Let u(w) = -3*w - 26. Let d be u(-10). Suppose -143 = -3*g + j, -5*g = -0*j + d*j - 227. Is g a multiple of 12?
False
Let r be 10806/30 - 1/5. Suppose 9*d = 4*d + r. Is d a multiple of 12?
True
Let t(o) = -o**3 + 5*o**2 + 8*o - 8. Let j be 12/30 - 36/(-10). Does 10 divide t(j)?
True
Suppose -2*w - 6 = -8*w. Suppose -67 = 3*m - 5*y, 5*m + 77 + 41 = 2*y. Does 5 divide w/(-1 + m/(-21))?
False
Suppose -5*u + 2*d + 93 = 0, 4*d = -u - 3*u + 52. Let v = u + -30. Let q = v - -27. Does 7 divide q?
True
Suppose -o + 24 - 4 = 4*u, -3*o = 2*u - 20. Is o/3 - 56/(-3) a multiple of 20?
True
Let g(n) = n**2 + 8*n + 14. Let v be g(-6). Suppose 4*m = -2*d + 326, -86 = m - v*m - 5*d. Is 5 a factor of m?
False
Let u(o) = o. Let w be u(5). Suppose -w*s - 2*q = -37, -s = 3*s + 5*q - 16. Suppose s*p = 12*p - 210. Does 18 divide p?
False
Suppose 2*d + 3*c - 819 = -2*d, 