 7 divide u?
True
Is 72 a factor of ((-80253)/(-222))/(2/4)?
False
Let b(t) = -9*t**2 + 2*t + 0*t + 10*t + 8*t**2 + 15. Let j be b(13). Suppose 2*n + j*n = 288. Does 11 divide n?
False
Suppose -5*l + 4*s = -5900, -15*s = -5*l - 12*s + 5905. Is l a multiple of 16?
True
Let y(q) be the first derivative of 2*q**3/3 - 2*q**2 + 18*q + 32. Is 19 a factor of y(-6)?
True
Suppose 218 + 34 = 4*a. Is a a multiple of 21?
True
Let l = -29 + 32. Suppose -l*g = -3 - 30. Is 11 a factor of g?
True
Let v(r) = 55*r**3 - r**2 + r. Suppose -3*q + 18 = 2*m, 20 = 2*q + m + 3*m. Suppose 2*h + 0*o = -q*o + 6, -5*h = o - 6. Is 11 a factor of v(h)?
True
Let i be 18/(-3)*(-2)/6. Suppose i*t = o + 51, -5*o + t = -t + 247. Let v = o - -76. Is 10 a factor of v?
False
Let y(t) = -t**2 + t + 1. Let l(a) = -4*a**2 + 7*a - 3. Let n(k) = l(k) - 5*y(k). Is 5 a factor of n(-6)?
False
Let x(y) be the first derivative of -2*y**2 - 17*y - 48. Let v be 1*(-3 - 0) - 2. Is 2 a factor of x(v)?
False
Suppose -7 = -n - 2. Suppose -n*q = k - 22, 6*k - 3*k + 5*q - 46 = 0. Suppose 2*j - k = j. Is j a multiple of 3?
True
Let q(p) = -5*p + 1. Let w be q(-3). Suppose -c + w = 3*c. Suppose -c*k + 100 = 2*n, k - 3*n = -2*n + 22. Does 12 divide k?
True
Suppose -7*d = -3*d + v - 15, v = -d. Suppose 98 = 2*i + d*i. Is 7 a factor of i?
True
Let y(w) = 23*w**2 - w. Let v be y(1). Suppose 0 = -7*c + v + 118. Does 10 divide c?
True
Does 3 divide 70/22 - (-140)/(-770)?
True
Suppose -2080*m = -2085*m + 7110. Is 79 a factor of m?
True
Suppose 0 = -t - 3*j + 2, 4*t - j - 8 = -0*j. Suppose -66 = -p - t*p. Is 10 a factor of p?
False
Let g be (-11)/3 + (-8)/24. Let y be (3 - 6 - -5) + g. Does 4 divide y*5/(-4)*6?
False
Suppose 7*d = 965 + 50. Let p = d - 66. Is 28 a factor of p?
False
Suppose -2*d + 1534 = -2*j + 420, -5*d = 11*j - 2801. Does 6 divide d?
True
Suppose 1629 = 5*f - 2*c - 2271, -762 = -f + 4*c. Is 23 a factor of f?
True
Suppose 0 = 19*h - 46*h + 7182. Suppose 0*s + s - 135 = 0. Is h/18 - (-30)/s a multiple of 3?
True
Is 7 a factor of (-65)/(-2)*(-28)/(-10)?
True
Is ((-6)/2 - -172) + -3 a multiple of 19?
False
Suppose 0 = -r + 2*n + 18 + 56, -5*n - 370 = -5*r. Suppose 4 - r = -d. Does 7 divide d?
True
Let r(i) = 2*i**2 - 6*i - 4. Let k be 0 + -6*(-30)/9. Let j be k/8*(3 - 1). Does 4 divide r(j)?
True
Suppose -98*h = 12898 - 48570. Does 28 divide h?
True
Let o be 0/(-3)*2/4. Is (-2 - (o + -2)) + (1 - -11) a multiple of 4?
True
Suppose 0 = -4*v + 25*v - 17829. Is 20 a factor of v?
False
Let q(t) = -5*t**3 - 3*t**3 + 3 + 0*t**2 + 6*t**3 + 3*t - 5*t**2. Let b be q(2). Let v = 32 + b. Is 5 a factor of v?
True
Let p = -9 + 13. Suppose 0 = n - s - s + p, 5*n - 5*s + 5 = 0. Suppose 4*u - w - 76 = 3*u, n*u - 144 = 4*w. Is u a multiple of 16?
True
Let h(f) = -f**2 - 5*f + 4. Let d be h(-7). Suppose -s = -3, -76 = -2*c + 7*c - 2*s. Is 6 a factor of (-11 - d) + (-1 - c)?
True
Suppose 223*p - 5200 = 215*p. Is 5 a factor of p?
True
Is (1494/33)/(23/253) a multiple of 7?
False
Let s(c) = c**3 + 3*c**2 + 6*c + 1. Let l(d) = 2*d**3 + 5*d**2 + 11*d + 2. Let t(f) = -6*l(f) + 11*s(f). Let x be t(4). Let m = 28 + x. Is m a multiple of 3?
False
Suppose b = -4*l + 3, 2*l + 20 = 3*b - 17. Let h = b + 19. Is h a multiple of 6?
True
Is 52 a factor of 200/12*(-39)/(-2)?
False
Let h = -34 + 4. Let d = h - -100. Is d a multiple of 13?
False
Let n = 21 + -10. Let k(g) = -g**3 + 12*g**2 - 4*g + 12. Does 19 divide k(n)?
False
Let x(m) = m**2 - 25*m + 12. Is x(33) a multiple of 23?
True
Is (12 - (-234)/(-27))/(1/798) a multiple of 133?
True
Let f(p) = -p**3 + 42*p**2 - 58*p - 64. Is f(40) a multiple of 17?
True
Let j(q) = -119*q**3 + 7 - 9*q**2 + 7*q + 118*q**3 + 3. Let h(k) = k**3 + 8*k**2 - 8*k - 9. Let y(a) = -3*h(a) - 4*j(a). Is 9 a factor of y(-12)?
False
Let d(x) = -1 - 5*x + 3 - 5 + 2*x**2. Suppose -g + 291 = 296. Does 12 divide d(g)?
True
Let f = 3 - 9. Let v be f/(-2) + (-14)/7. Does 13 divide v/((8/26)/4)?
True
Suppose -185 = -5*r + 485. Does 11 divide r?
False
Suppose 0 = -0*r - r + 4. Let k be (-3)/r*-4 + 13. Let v = 6 + k. Is 11 a factor of v?
True
Suppose 0 = 3*k - 67 - 149. Is 12 a factor of k?
True
Let d(u) = 8*u - 15. Let a be d(5). Does 12 divide ((-310)/a - 0)*-5?
False
Let f = -1417 + 2502. Is 24 a factor of f?
False
Suppose s = -2*s + 2*c + 58, 5*c - 20 = 0. Is s even?
True
Let v(p) = -p**3 - 6*p**2 - p - 4. Let t be v(-6). Suppose 1 - 7 = t*x. Let i(w) = -w**3 + w**2 + 2*w - 2. Does 14 divide i(x)?
True
Let u = -32 - -11. Let s = u - -33. Is 3 a factor of s?
True
Is 33 a factor of 2 + (-471)/(-5) - 2/10?
False
Let n = -33 - 36. Let b = n - -108. Does 10 divide b?
False
Suppose 3*y - 34 = -5*u, -u - 3*u - 5*y + 35 = 0. Suppose u*b - 378 = 87. Suppose 0 = -4*f - 9 + b. Does 5 divide f?
False
Let z(n) = -2*n**3 - 6*n**2 - 12*n + 64. Does 30 divide z(-8)?
False
Suppose 0 = -10*h + 14*h - 8. Suppose 5*k + 2*p = 348, k + 2*p + h*p - 84 = 0. Is k a multiple of 6?
False
Let y(r) = 30*r**2 - 47*r - 19. Does 17 divide y(-10)?
True
Let o = -14 + 126. Is o a multiple of 14?
True
Let y = 20 - 17. Suppose 0*d + 3*w - 63 = -3*d, -y*d - 5*w + 65 = 0. Suppose -3*u + 2*u = -d. Is 14 a factor of u?
False
Suppose -f + 1 = -8. Suppose -2*l - l = -f. Suppose 0 = 2*o + 6, -l*p + o + 0*o + 90 = 0. Is 12 a factor of p?
False
Let q(x) = -1 + 98*x - 2 + 5 + 12*x. Does 8 divide q(1)?
True
Suppose 5*b = -a + 269, 984 = 4*a + b - 4*b. Is 50 a factor of a?
False
Suppose 2*f + 5*j = 3252 - 798, 2*f = 5*j + 2474. Does 28 divide f?
True
Suppose -3*v - 30 = o, 0*o - 4*o = 3*v + 93. Suppose 3*c = -21*d + 22*d - 14, -5*c - d - 34 = 0. Let y = c - o. Is 8 a factor of y?
False
Suppose 0 = -4*v + 42 - 10. Suppose -v*n + 105 = -375. Is n a multiple of 20?
True
Let a = 469 + -128. Is a a multiple of 32?
False
Suppose -2*f = 2*f + 36. Let a(u) be the second derivative of u**4/12 + u**3/2 - 4*u**2 - u. Does 13 divide a(f)?
False
Let o = 7 - 5. Let d be (15 - 0/o) + -4. Is 5 a factor of 1300/110 + 2/d?
False
Let l = 1601 + -978. Is l a multiple of 6?
False
Let z(r) = -r**3 - 2*r**2 + r - 4. Let u be z(-3). Suppose -g - 4*a + 139 = -0*g, -5*g - a = -733. Suppose 0 = u*p + p - g. Does 28 divide p?
False
Suppose 0 = -52*x + 3112 + 944. Does 3 divide x?
True
Suppose -17*i + 23*i = 3024. Is 42 a factor of i?
True
Suppose -5*f = -25*f + 15680. Is 32 a factor of f?
False
Suppose 3*d - 350 = -2*d. Suppose -166 = -2*b + d. Does 15 divide b?
False
Let c be (0 - -1)*18/(-1). Suppose -7*m = -279 - 43. Is (2 - c/(-3)) + m a multiple of 14?
True
Let p = 53 - 56. Is 12 a factor of (-6*p/(-8))/(2/(-32))?
True
Let o(y) = 4*y + 15. Let l be o(-4). Is 7 a factor of ((-660)/4 - -2)/l?
False
Let w = -60 + 428. Is 16 a factor of w?
True
Let c(n) = -n**2 + 12*n + 25. Let d be c(14). Does 9 divide 54 - ((-33)/55 + d/(-5))?
True
Let y = 340 - 183. Let w = -89 + y. Is 15 a factor of w?
False
Let v = -1 + 3. Suppose -t + 3*h + 39 = 17, -34 = -v*t + 4*h. Let w = t + 7. Is w a multiple of 7?
True
Suppose -5*g - 8 = -4*s, g - 8 = 3*g - 4*s. Suppose -2*t - 2*o = -253 + 987, g = t - 2*o + 358. Is 9 a factor of 4/(-18) - t/18?
False
Let r(l) = l**2 - 5*l + 2. Let x be r(4). Let d = 5 + x. Let b(n) = -n**3 + 6*n**2 - 4*n + 3. Is b(d) a multiple of 9?
True
Is (-16)/10 - (-37212)/20 a multiple of 48?
False
Let p(j) = -j**3 + 21*j**2 - 16*j - 28. Let o be -8 - -7 - (-42)/(-2 + 4). Is 30 a factor of p(o)?
False
Suppose -4*u + 85 = -5*g, 4*g = -0*g + 12. Is 5 a factor of u?
True
Suppose 87*g = 89*g - 100. Is 5 a factor of g?
True
Suppose 0 = -0*g + 3*g + 3. Does 12 divide g*114/(-2) + 3?
True
Let o(t) = 3*t**3 - 8*t**2 - 18*t + 3. Let d be o(9). Suppose 0*r = -10*r + d. Does 23 divide r?
True
Let i(r) = 20*r**2 + 1. Let h be i(-1). Let z = h + -11. Does 5 divide z - (0 + -1 + -1)?
False
Let w(a) = -a**3 - 17*a**2 - 4*a - 66. Is 10 a factor of w(-18)?
True
Let u = -25 + 104. Suppose -u*d = -81*d + 20. Is 7 a factor of d?
False
Let n be 5/1 - (-19125)/25. Suppose -44 + n = 6*v. Does 9 divide v?
False
Let j(b) = 3*b**3 - 11*b**2 - 7. Does 55 divide j(8)?
True
Suppose 4*q - 177 = q. Let c = -32 + q. Does 13 divide c?
False
Does 15 divide 1472/(-12)*(4 + -7)?
False
Let l = -262 + 598. Suppose 2*q - 3*a = 168, -a - 3*a = 4*q - l. Does 28 divide q?
True
Let c = 8 + 7. Let a be c/25 + 36/15. Su