+ 1583. Is 19 a factor of y?
False
Suppose -5*j + 14*j = 27. Suppose -2*d - 74 = -r, 0 = -4*r - j*d + 5*d + 302. Is 38 a factor of r?
True
Let d(k) = k**3 - 2*k**2 - 3*k + 4. Let l be d(3). Suppose -2*n = -l*q + 1086, -n + 1365 = 5*q + 4*n. Is q a multiple of 16?
True
Suppose -5*p + 130 = 5*p. Is 13 a factor of p?
True
Suppose -5*f - 3*b - 10 = -8*b, -f = -3*b + 10. Suppose 22 + 13 = j. Suppose j = m + d, d + 19 = m - f*d. Is 11 a factor of m?
False
Suppose -9108 = -6*a + 33444. Is 18 a factor of a?
True
Let b(j) = -411*j + 4. Is b(-2) a multiple of 14?
True
Let k = 60 + -62. Is 2 a factor of (k + 0)/(2/(-28))?
True
Let x(o) = o**2 - 12*o + 25. Let v be x(10). Suppose -v*r + 9*r - 380 = 0. Is r a multiple of 9?
False
Let w = -9 + 13. Suppose y - 30 = o, w*y + 2*o + 3*o = 156. Does 17 divide y?
True
Let l(r) = -r + 27. Let u be l(-8). Suppose -3*i + u + 40 = 0. Does 20 divide i?
False
Let y(q) = q - 1. Let b(x) = -4*x + 11. Let n(u) = 2*b(u) + 14*y(u). Let d be n(-6). Does 3 divide 1*3 - d/7?
False
Let d(l) = -8*l + 15. Let r(s) = -4*s + 7. Let w(o) = 4*d(o) - 7*r(o). Is w(-5) a multiple of 9?
False
Let c(v) be the first derivative of 6*v + 1/4*v**4 - v**3 - v**2 - 3. Is 8 a factor of c(4)?
False
Suppose -3*x + 3*o - 7*o = -15, 2*o = -5*x + 39. Let d be 10/15*(4 + (-25)/10). Is 3 a factor of 16 - d - x/(-9)?
False
Suppose 18 = -5*p + 43, -5*d + 1790 = -2*p. Is d a multiple of 6?
True
Suppose -4*a + 0*f + 447 = 5*f, -4*a - 4*f + 452 = 0. Suppose 3*j - b = 234 + a, b = -2*j + 233. Is 14 a factor of j?
False
Suppose -w = 3*s - 20, -s = w - 6*w + 84. Suppose -o + 4*x - w + 75 = 0, 5*o - 275 = 5*x. Does 30 divide o?
False
Let d(t) = -4*t - 2. Let o be d(2). Let j be 176/o - (-30)/50. Let q = j + 24. Is q a multiple of 2?
False
Suppose 203 + 166 = 9*u. Does 2 divide u?
False
Is (18/(-2))/(81/(-4725)) a multiple of 21?
True
Suppose -20 = -2*u + 12. Suppose -v = -5*p + 13, 2*p - u = -v - 4*v. Suppose j + 3*r - 51 = -v*j, 2*j = 4*r + 28. Is 5 a factor of j?
False
Suppose -8 = -2*a + 32. Let p = 20 + a. Does 18 divide p?
False
Let f = -6 + 17. Suppose -5*h = -4 - f. Is 4/12 - (-41)/h a multiple of 7?
True
Let i(l) = -l + 11. Let p be i(6). Suppose 3*o - 4 = -4*s, -2*o - 2*o = -p*s - 26. Suppose -o*r - 2*b = -108, -4*r + 114 = 7*b - 2*b. Does 13 divide r?
True
Let j be (2/4)/((-3)/18). Let b = 281 + -329. Let y = j - b. Does 9 divide y?
True
Suppose 5*a = t - 2722, 5*a + 11353 + 2357 = 5*t. Is 41 a factor of t?
True
Suppose 17 = 3*d + 4*y - 38, y = -4*d + 56. Is 2 a factor of 21/7*d/3?
False
Let u(t) = -2*t**3 - 2*t - 1. Let g be u(-1). Suppose 4*q = -d - g, -6 = 2*q + 4*d - 2*d. Suppose -126 = -q*c - 3*c. Does 21 divide c?
True
Suppose 5*v + 6 = 16. Let m(u) = -u - 8. Let p be m(-11). Suppose p*x - 12 = 0, 0*g = v*g + x - 68. Does 8 divide g?
True
Suppose 31*v - 33*v = -116. Suppose -j = -5*j + 32. Let a = j + v. Does 26 divide a?
False
Suppose -9*w + 38*w = 4959. Is 22 a factor of w?
False
Suppose 5*b - 7489 = -889. Does 22 divide b?
True
Suppose -2*j + 0*j + 20 = 0. Suppose 0 = 2*f + 4*u - j, 45 = -5*f - 2*u + 6*u. Is 19 a factor of (f/((-20)/(-132)))/(-1)?
False
Let r(c) = -c. Let l be r(2). Let q be (l/4)/(-1)*0. Is 4 + q - (-4 + 1) a multiple of 4?
False
Does 11 divide (7/56 + 2111/8)*6?
True
Let d = 9 + -6. Suppose 0 = 2*r - d - 7. Is 3 a factor of r/(-4)*12/(-3)?
False
Does 3 divide ((-22)/4)/(12/(-48))?
False
Let d be (6/8)/((-6)/(-24)). Suppose 0 = -3*x - 2*o - 110, o = -d*x + 5*x + 71. Is (x/10)/((-12)/80) a multiple of 12?
True
Let y(c) = 53*c**2 + 7*c - 2. Does 9 divide y(2)?
False
Let s be (-8)/20 + (-228)/5. Let z be 2/(-2 + 4) - s. Suppose 3*x = 43 + z. Is x a multiple of 10?
True
Suppose -2*f + 5*n - 2*n + 90 = 0, -16 = 4*n. Is f a multiple of 39?
True
Let v be (0 - 0)/(7 - (6 + 5)). Suppose -o + 2*h + 62 = v, -5*h + 26 = 1. Is o a multiple of 15?
False
Let p = -843 + 1627. Is 14 a factor of p?
True
Suppose 2*f = -y - 258, -y - 162 = -2*f + 76. Let x = -169 - y. Does 20 divide x?
False
Let d be ((-3)/5)/(11/(-165)). Suppose -d*q + 28 = -7*q. Is 9 a factor of 1/4*6*q?
False
Suppose 2*y - 330 = 5*r - 3*r, 0 = -3*y - 3*r + 465. Is y a multiple of 11?
False
Suppose 15*n - 25 = 10*n. Suppose 5*g = 2*a + 3*g - 24, n*a = 3*g + 54. Does 3 divide a?
True
Let w(p) = 8*p**3 + 2*p**2 + 3*p - 4. Let m be w(2). Suppose 0 = -3*y + 34 + m. Does 18 divide y?
True
Suppose -1 = -2*j + f, -j - 2*f + 1 = 3. Suppose 4*v + 12 = 3*n + 6*v, -4*v + 12 = j. Let z = 11 - n. Is 5 a factor of z?
False
Let b(v) = 81*v**2 - 20*v - 19. Is b(-3) a multiple of 77?
True
Suppose 2*h = -4*l, 0 = -0*h + 2*h - l - 15. Suppose 30 = -t + h*t. Let i(b) = b**2 - 4*b - 2. Does 10 divide i(t)?
True
Let l be (-1 - 6/(-3))*-4. Is (164/(-8) - l)*-4 a multiple of 11?
True
Suppose 21*a - 1728 = 15*a. Is 12 a factor of a?
True
Let g = -10 + 12. Let b be 10 + g/(-4)*4. Let q = 12 - b. Does 4 divide q?
True
Suppose -z + 116 = -643. Suppose 3*j = -8*j + z. Is 23 a factor of j?
True
Let j be ((-9)/(-6))/((-3)/2). Let o be (165/6)/(j/(-2)). Is 1837/o + 4/(-10) a multiple of 8?
False
Let w(h) = 2*h**3 + 2*h**2 + 2*h + 40. Let z be w(0). Let y = z + 23. Is 13 a factor of y?
False
Let r be 69/9 - 1/(-3). Suppose -r*q - 63 = -11*q. Is 18 a factor of q?
False
Let h(v) = -v**3 - 5*v**2 - v + 2. Let b(t) = -2*t**3 - 1 - 3*t**2 - 2*t - 6*t**2 + t + 4. Let s(k) = -6*b(k) + 11*h(k). Is s(3) a multiple of 2?
False
Let i(k) = -k**3 + 2*k**2 + 8*k - 4. Let c be i(-6). Is (-2)/(-7) - c/(-7) a multiple of 17?
True
Suppose 0 = -53*k + 24*k + 15834. Does 14 divide k?
True
Let v = 441 + -301. Is v a multiple of 12?
False
Suppose 0 = 16*t - 21*t + 300. Suppose x + 274 = 4*d, -5*d - 4*x - t = -392. Is d a multiple of 17?
True
Suppose -2*r + 960 = 6*r. Is r a multiple of 9?
False
Let d(r) = 2*r**3 - 12*r**2 + 9*r + 29. Let p(v) = -v**3 + 6*v**2 - 5*v - 14. Let q(i) = 6*d(i) + 11*p(i). Is 12 a factor of q(7)?
False
Let s = 37 - -218. Is s a multiple of 15?
True
Let w(p) = 2 + 1 - 6 + 1 + 2*p. Let z be w(2). Is 24 a factor of (-92)/((-1)/z*2)?
False
Suppose -500 = -k + 2*i + 700, -3*i - 3 = 0. Is k a multiple of 94?
False
Let f = -109 + 106. Is 9 a factor of f*(821/(-15) + (-8)/(-20))?
False
Suppose -8*b = 294 - 1158. Suppose -2 = 3*k - 2*s, -3*s + 27 - 5 = 5*k. Suppose c - 3*y = 37, k*c + y - b = -20. Does 7 divide c?
False
Let o(q) = q**2 + q - 6. Suppose -3*j + 4*p + 7 = 0, -p + 0*p - 23 = -5*j. Does 6 divide o(j)?
True
Is 118 a factor of (-37156)/(-35) - (6 - 96/15)?
True
Let g be (-15)/(-35) - -3 - 6/14. Does 10 divide (g + -13)/(3/(-24))?
True
Let l(m) = -m**2 + 6*m + 2. Let r(f) = -3*f - 2. Let s be r(-2). Suppose s*d + v = 7, -3*d - 2*d - 3*v = 0. Is 3 a factor of l(d)?
False
Suppose 55*t - 58*t = 0. Suppose t = -10*x + 8*x + 154. Is 11 a factor of x?
True
Suppose -14*d + 9*d + 930 = 0. Let c = d + -95. Is c a multiple of 23?
False
Suppose -4*n = -9*n + 25. Suppose -6*g - 4*i + 252 = -2*g, 2*i + 329 = n*g. Let m = g - 23. Is m a multiple of 14?
True
Let i = 739 + -494. Does 35 divide i?
True
Is 54 a factor of (18/(-1))/((-10)/2340*6)?
True
Is 3 a factor of 21 + -1 + -1 + (-34 - -33)?
True
Let c(q) = -q**2 + 17*q + 24. Let b be (-1)/(-2)*60/3. Does 34 divide c(b)?
False
Let h be (-2210)/52*(-1 + -1). Let r = -69 + h. Is r a multiple of 16?
True
Let q = -1810 - 485. Does 14 divide q/(-25) + 1/5?
False
Let i = -2 - -5. Let a(h) = h**3 + 3*h**2 + 4*h + 7. Let k(f) = -2*f**3 - 5*f**2 - 7*f - 13. Let s(g) = -7*a(g) - 4*k(g). Is 21 a factor of s(i)?
True
Let m = -128 + 231. Is m a multiple of 16?
False
Let t(v) = 24*v + 4. Let l be t(2). Suppose 2*h = 6*h - l. Is 13 a factor of h?
True
Does 17 divide 0 + (-8)/2 + 18 + 339?
False
Suppose 5*r - 77 = m + 703, -3*m - 312 = -2*r. Suppose u = -0*u + w + r, -4*u + 622 = -3*w. Is 20 a factor of u?
False
Suppose -18*i + 11*i - 63 = 0. Does 19 divide (-1365)/i - 1/(-3)?
True
Let f be (-7 - (-23)/3) + 1136/6. Suppose -2*d - 3*d + f = 0. Does 20 divide d?
False
Let m(o) = 4*o**2 - 6*o + 12. Let n(i) = 2*i**2 - 3*i + 6. Let u(h) = -2*m(h) + 5*n(h). Let t be u(6). Is 4 a factor of (5/15)/(1/t)?
True
Let v be 2*-13 + (-3 - -7 - 6). Does 9 divide (-27)/(v/8 - -3)?
True
Let b be ((-12)/(-18))/((-2)/(-12)). Suppose 5*r + b = 3*z, -z + 3*r = -2 - 2. Does 17 divide (51/(-9))/(z/6)