 = -3*d + 2*u - 7*u + 90. Is 4 a factor of d?
False
Suppose 6*q - 3*q + 735 = 4*w, 0 = 2*w - 2*q - 370. Does 90 divide w?
True
Let d be ((-11)/(-22))/((-2)/(-732)). Suppose 0 = -25*z + 24*z + d. Is 9 a factor of z?
False
Let x = -26 - -57. Suppose 29*g - x*g + 44 = 0. Is g even?
True
Let f = -1 + 3. Let l(i) = 2*i - 4. Let o be l(f). Suppose -5*h + 140 = -o*h. Is 11 a factor of h?
False
Suppose 0*q - 2*x = -3*q + 457, -5*q + 2*x = -755. Let l = -61 + q. Suppose l = -2*p + 6*p. Is p a multiple of 11?
True
Let s(z) = -z**2 - 4 + z**3 - 5 + 11 - 4*z. Is 21 a factor of s(4)?
False
Suppose -5*k - 1335 = -5*l, -5*l - 431 + 1801 = 2*k. Does 17 divide l?
True
Let r(g) = -g**3 - 13*g**2 - 11*g + 17. Let c be r(-12). Suppose i + i - c*m - 70 = 0, 140 = 5*i + 5*m. Is i a multiple of 10?
True
Suppose -4*i + 2*i = 10, 5*i = -3*c + 2942. Does 43 divide c?
True
Suppose -x - 7*x = -16. Suppose x*f - 84 + 24 = 0. Does 10 divide f?
True
Suppose -9*k = -6*k - 426. Is 62 a factor of k?
False
Let o(t) = -7*t**2 + 6*t + 11. Let d(y) = -11*y**2 + 9*y + 17. Let r(l) = 5*d(l) - 8*o(l). Does 14 divide r(-7)?
False
Let a(k) = -k**2 - 8*k + 3*k**2 + 6*k - 6*k + 5. Is a(-4) a multiple of 23?
True
Let s = -106 + 147. Suppose -42 = -s*y + 40*y. Is 7 a factor of y?
True
Let j(o) = o**2 + 7*o + 14. Let b = -22 - -20. Let x(i) = -3*i**2 - 2*i. Let t be x(b). Is j(t) a multiple of 5?
False
Let p(x) be the second derivative of x**3/3 + 5*x**2/2 - 3*x. Let c be p(-2). Let o = c + 26. Does 13 divide o?
False
Let t be (1 + -12)/((-3)/9). Suppose -x - 2*r + 7 = -t, 5*r + 76 = 3*x. Let y = x - 20. Is 12 a factor of y?
True
Let u(p) = 3*p + 3. Let o be u(-2). Let s(r) be the first derivative of -35*r**2/2 + 8. Is 20 a factor of s(o)?
False
Let o be 2/(-4) - 3*1907/6. Is 14 a factor of (o/(-54))/(1/6) + -2?
False
Suppose 0 = -5*b + 4*h - 5*h + 3912, h = -3*b + 2346. Is 29 a factor of b?
True
Let t(o) be the second derivative of -5*o**3/2 - 39*o**2/2 + 33*o. Is t(-10) a multiple of 37?
True
Let s(u) = -2*u**3 - 6*u**2 - 6*u - 2. Let r be s(-4). Suppose r = n - 20. Is 11 a factor of n?
False
Suppose 34 = -5*t + 19. Is (-295)/t - 1/3 a multiple of 20?
False
Suppose 31 - 109 = -3*h. Does 18 divide (7 - (0 + 5)) + 1*h?
False
Is 44 a factor of -5*1 - 276/(-4)*9?
True
Let p = 1 - -24. Suppose -p*f + 72 = -22*f. Is 6 a factor of f?
True
Let l = -83 + 84. Does 10 divide 116/29 + 166/l?
True
Let h = 56 + -36. Suppose 0 = 5*b - b - h. Suppose b*s - 180 = -6*g + 3*g, 2*g - 107 = -3*s. Is s a multiple of 13?
True
Let a = -765 - -1205. Is a a multiple of 55?
True
Suppose 0 = 3*t + 3*t. Suppose t = 2*i - 9*i + 168. Is i a multiple of 2?
True
Suppose 219 = c + y, -7*y = 2*c - 12*y - 424. Is c a multiple of 31?
True
Is 51/(-136) + 275/8 a multiple of 17?
True
Suppose -4*u = -5*l + l + 52, -2*l - 4 = 4*u. Suppose l*a - 3*a = 35. Is 7 a factor of a?
True
Suppose 2*z - 2*w = -w + 7, 2*z - 4*w = 10. Is 30 a factor of 4/(z/(-6)*4) + 113?
False
Is (0 + (-2 - -1))/(15/(-1065)) a multiple of 3?
False
Let i = -978 + 1461. Is 7 a factor of i?
True
Let d be ((-508)/5)/(2/(-5)). Suppose h = 3*h - d. Suppose 4*j - 9 = h. Is 17 a factor of j?
True
Let u = 246 + -156. Suppose 43 = 5*w + 13. Suppose -y + w*y = u. Is 5 a factor of y?
False
Suppose 0 = -99*f + 95*f + 480. Is 16 a factor of f?
False
Let w(q) = -7*q + 35. Let t be w(8). Let c be (-81)/2 + (-4)/(-8). Let n = t - c. Is 8 a factor of n?
False
Let u be 25/10*10 + -3. Suppose 19*l - u*l + 195 = 0. Is 13 a factor of l?
True
Let a = -540 - -777. Does 3 divide a?
True
Let c be 3/(-2)*22/(-3). Let j(k) = k**2 - 11*k + 10. Does 10 divide j(c)?
True
Let s(h) = -h**3 - 5*h**2 - h + 5. Let t be s(-4). Let u = 13 - t. Does 8 divide u?
False
Does 55 divide (103/206)/(2/3216)?
False
Let c be 304/(-7) + (-33)/(-77). Let g = 32 + c. Let w = g + 21. Is w a multiple of 3?
False
Suppose -10707 = -13*i + 8533. Does 37 divide i?
True
Let x = -709 + 1749. Is 61 a factor of x?
False
Let r(d) = 2*d**2 + 3*d + 1. Let t be r(-2). Suppose 10 = -2*o + 3*a, -4*o - 11 = -t*a + 15. Let i = 5 - o. Is i a multiple of 13?
True
Let y = 454 + 155. Does 7 divide y?
True
Let l(r) = -2*r**3 + r**3 - 2595*r**2 + 2579*r**2 - 5*r - 33 + r. Is l(-16) a multiple of 3?
False
Let n = -8 + -3. Let i = -57 - -30. Let y = n - i. Does 8 divide y?
True
Let l(y) = 8*y**3 - 15*y**2 + 24*y + 21. Let o(h) = 7*h**3 - 15*h**2 + 23*h + 22. Let n(v) = -6*l(v) + 7*o(v). Is n(14) a multiple of 35?
True
Suppose 0*u = -u - 5*f + 324, 0 = -3*u + 2*f + 972. Let c = -158 + u. Is c a multiple of 35?
False
Let w be 32/20 + (-6)/(-15). Let p be (w/4)/(2/12). Suppose p*v = -2*v + 35. Is v a multiple of 7?
True
Let k(x) = 3*x**3 - 62*x**2 - 58*x + 83. Let h(t) = 2*t**3 - 41*t**2 - 39*t + 55. Let v(i) = -8*h(i) + 5*k(i). Is 8 a factor of v(19)?
True
Let m(t) = -49*t**3 - 7*t**2 + 6*t + 5. Is 49 a factor of m(-3)?
False
Let j(t) be the first derivative of -t**2/2 + 5. Let q be j(-3). Suppose 5*w + 35 = a, q*w + 244 = 5*a + w. Is 17 a factor of a?
False
Suppose -5*m = -3*k + 202, -3*k = -5*m + 2*k - 200. Let f = m - -58. Does 17 divide f?
True
Let u(t) = -5*t**2 + 5*t - 6. Let s(i) = i**2. Let b(p) = -4*s(p) - u(p). Is b(8) a multiple of 10?
True
Let h be (-96)/(-56) - 2/(-7). Suppose h*b - 4 = -p, 0*p = 5*b - 3*p - 32. Suppose 4*t = w - 81, -3*t + 256 = b*w - 2*t. Is 11 a factor of w?
False
Let l(b) = 10*b**2 + 55*b + 24. Let k(s) = -3*s**2 - 18*s - 8. Let n(f) = 7*k(f) + 2*l(f). Let u(z) = z**2 - 9*z + 12. Let h be u(5). Is 28 a factor of n(h)?
True
Suppose 105 = -4*q - 7. Let k be ((-72)/q)/((-1)/(-42)). Is (4 - k/(-16))*4 a multiple of 14?
False
Suppose -145*u - 7200 = -157*u. Does 13 divide u?
False
Let k(v) = 2*v**3 - 2*v**2 + 3*v - 3. Suppose 5*y + 2*c - 22 = -0*c, -c = -y + 3. Suppose 2*q = 4*q - y. Does 11 divide k(q)?
True
Suppose -5*p - 1 = -2*p + 2*j, 5*p + 1 = -3*j. Is 9 a factor of (4/p + -4 - 1)*-36?
True
Let d = 27 + -34. Let v = -7 - d. Suppose -56 = -v*o - o. Does 14 divide o?
True
Let p(r) = 9*r**2 + 31*r**3 - 13*r**3 - 17*r**3 - r + 9. Is p(-9) a multiple of 18?
True
Let p(f) = -18*f + 116. Is 19 a factor of p(-14)?
False
Let h(b) = -12*b - 25. Suppose 0 = 3*c - 7*c - 3*a - 28, -a - 4 = 0. Is 23 a factor of h(c)?
True
Suppose -148*p + 145*p = -1743. Does 18 divide p?
False
Let v = 11681 + -6449. Is v a multiple of 109?
True
Let t be ((-9)/2)/((-6)/88). Let d be 252/t + 2/11. Suppose 0 = -v + 4*v + d*u - 168, -2*u = 2*v - 110. Is v a multiple of 13?
True
Suppose x = 8 - 16. Is (x + 28)/((-1)/(-4)) a multiple of 16?
True
Suppose -37*k + 6 = -35*k. Suppose -k*d + 262 = -4*o - o, -o - 86 = -d. Does 9 divide d?
False
Does 10 divide (-9)/24 - (-139797)/56?
False
Let r = 7 - 3. Suppose -r*a + 8 = -2*a. Is 17 a factor of (1/a)/(6/1032)?
False
Let f(n) = -n**2 - 31*n - 92. Is 25 a factor of f(-12)?
False
Let z(q) = 16*q**2 + 6*q - 10. Let s be z(-7). Suppose 8*h = 1836 - s. Suppose -h = -3*y - 0*y. Does 10 divide y?
False
Let l(b) be the first derivative of -b**4/2 + b**2/2 + b - 1. Let y be l(-1). Is 14 a factor of (-40)/(-1 + 0) + y?
True
Let k = -105 - -113. Is 8 a factor of k?
True
Let y be ((-3)/(-12) + (-291)/12)/1. Is 12 a factor of 12/y*(0 + -162)?
False
Suppose -11*i = -12*i - 53. Let p = -17 - i. Is p a multiple of 12?
True
Is 8 a factor of 479 + (-15)/5*-2?
False
Suppose 8*w - 13030 + 2886 = 0. Is w a multiple of 14?
False
Suppose 3*g - 5*v + 208 = 2*g, -1040 = 5*g - 2*v. Suppose -3*b = -4*j + 255 + 62, 3*j = 15. Let m = b - g. Is 29 a factor of m?
False
Let s = 495 - 123. Suppose -9*z + 3*z = -s. Does 12 divide z?
False
Is (6/(-4))/((-147)/167384) a multiple of 98?
False
Let o(c) = 3*c**2 - 15*c + 12. Suppose 0 = -5*g + 26 + 4. Is 4 a factor of o(g)?
False
Let a = -806 + 1157. Is a a multiple of 13?
True
Suppose 0 = 8*g - 1362 - 1046. Is g a multiple of 24?
False
Suppose 12 = -3*f, 2*j + 5*f + 10 = -3*j. Suppose -7 + 63 = 4*y + 4*p, 8 = 2*y - j*p. Is 9 a factor of y?
True
Suppose 0 = -2*c - 10, 2*k + 6*c = 2*c + 820. Suppose n = -4*n + k. Suppose -h + n = h. Does 14 divide h?
True
Let h(o) = o**2 + 3*o + 2. Let p be h(-3). Let v = p + 1. Is 3 + (v - (-93)/3) a multiple of 19?
False
Let l = -148 - -190. Is l even?
True
Suppose 0 = -3*n + 2*z + 1551, 2*n - 4*n = 3*z - 1047. Suppose -3*k + 4*j = -n, 0*j -