e 0 = -2*v - 5*d + 2755, 13*d + 6805 = 5*v + 9*d. Is 35 a factor of v?
True
Let q be 1 - (12/8)/(3/2068). Let g = -696 - q. Does 26 divide g?
False
Is 20 a factor of ((-6)/(-4))/((-3)/(-10556))?
False
Let p(g) be the first derivative of -g**4/4 + 7*g**3/3 + 11*g**2/2 + 18*g - 1. Let i be p(9). Is 30 a factor of -6*(-7)/((-21)/i)?
True
Let n = 1486 - 470. Suppose -1825 = -5*v - 3*g, n = 3*v - g - 65. Does 33 divide v?
False
Let x(w) = 3*w**2 - 10*w + 19. Let s be x(5). Suppose 3*l + 8*l - s = 0. Is 25 a factor of (((-875)/l)/(-5))/(2/8)?
True
Suppose 102474 = 76*n - 87602. Does 6 divide n?
False
Suppose -378*l - 235 = -379*l. Does 5 divide l?
True
Suppose -g = -8*g - 10*g. Suppose g = 57*t - 45*t - 4104. Does 19 divide t?
True
Let d be 12/(-6) - (-2 + -11). Let w(a) = -2*a + 3*a + 6*a + 5*a - d. Does 15 divide w(5)?
False
Let x(b) = 490*b + 3010. Is 19 a factor of x(18)?
False
Is 2/(4257/327 + -13) a multiple of 7?
False
Suppose -4*j + 1120 = 2*l, -3 = 4*j + 5. Let n = l - 332. Let t = -165 + n. Is 30 a factor of t?
False
Let s(v) = v**3 + v**2 - 3. Let x be s(0). Let p(l) = 3*l**2 + 7*l + 1. Let z be p(x). Suppose z*k - 510 = k. Is k a multiple of 15?
False
Suppose -3*h + 495 = 8*s - 13*s, 2*s = 3*h - 189. Let v = 297 - s. Is v a multiple of 11?
False
Suppose -7*l + r - 7556 = 0, -l - 1060 = -9*r + 4*r. Let h = l + 2568. Does 31 divide h?
True
Let d(r) = -9*r**3 - r**2 + 12*r + 48. Is d(-4) a multiple of 20?
True
Let d = 532 + -279. Suppose 4*g = d + 119. Does 7 divide g?
False
Let x(g) = 12*g + 4. Let d be x(6). Let l(n) = -20*n - 1429. Let z be l(-77). Let h = z - d. Does 21 divide h?
False
Let h(o) = 132*o**3 + o**2 - 4*o + 4. Suppose -3*a = -25*a + 22. Does 19 divide h(a)?
True
Let l(g) = -2*g**2 + 20*g - 26. Let z be l(9). Let m(h) = h**3 + 12*h**2 + 7*h. Is m(z) a multiple of 20?
True
Does 3 divide -10235*(156/(-130))/2?
True
Let z = -24 + 47. Suppose -z = -3*o - 8. Suppose 4*n + o*q = 241, -40 = -4*n - q + 181. Does 22 divide n?
False
Does 11 divide 9250 + -1 + (-20)/(-10)?
True
Let o = -12026 + 13242. Is 9 a factor of o?
False
Suppose 27*l = 28*l + 303. Let w = l + 523. Does 8 divide w?
False
Is 12 a factor of 18708/24*5/15*6?
False
Suppose 7*c = 3424 - 1079. Suppose -g = -3*s + 187, c = 5*s + 25*g - 22*g. Is s a multiple of 5?
False
Let v = 69 + -73. Does 13 divide 48/(v*6/(-312))?
True
Let n = -3 - -21. Suppose 0 = -3*k - 5*m + 6 + 4, -3*m - n = -3*k. Suppose -c + 2*o = 2*c - 148, k*c = 3*o + 246. Does 12 divide c?
True
Let y = -161 - -259. Suppose 4*f + g - 320 = 5*g, 0 = f + 5*g - y. Suppose 3*m + 171 = 2*z, -z + 0*m + f = m. Is z a multiple of 6?
True
Let g(q) = -196*q + 156. Let a be g(5). Let m = a - -1407. Does 17 divide m?
False
Let a(x) = -2*x**3 - 4*x**2 - 13*x + 17. Let c(o) = 3*o**3 + 3*o**2 + 14*o - 17. Let q(r) = -4*a(r) - 3*c(r). Let l be q(8). Is 6 a factor of 5/(-40) + l/8*-89?
False
Let d(l) be the third derivative of -l**5/60 - l**4/3 - 11*l**3/6 + 13*l**2. Let r be d(-4). Suppose 0 = 2*v, 0 = r*c + 3*v + 6 - 36. Is c a multiple of 3?
True
Let c(n) = -507*n + 133. Is 174 a factor of c(-3)?
False
Suppose 2*c = -2*l + 22, l = -19*c + 22*c - 25. Is 34 a factor of ((-918)/c)/(1/(-4))?
True
Suppose 4*n - 22 = -3*j, 7*n - 10*n + 29 = -4*j. Is 161/(n + 0) + 7 a multiple of 15?
True
Let f(t) = -t**2 + 3*t + 6. Let k = 61 - 56. Let w be f(k). Is (0 - w/3) + 22659/117 a multiple of 22?
False
Suppose -4*z + 52 = -r, 4*z - 42 - 10 = -5*r. Suppose 9*d = -z + 13. Suppose d = 28*u - 33*u + 1250. Does 41 divide u?
False
Suppose 2828 = d + d. Let p = d + -704. Suppose 12*o + p = 2606. Is o a multiple of 9?
False
Let v be (124/(-8))/((-9)/18). Suppose v*l = 6*l + 14625. Is 39 a factor of l?
True
Let g = 11 - 6. Suppose -2*y - y - 3*b = -534, g*y - 918 = 2*b. Suppose u - y = -u - 5*w, 5*u = 3*w + 393. Is u a multiple of 11?
False
Let j be 227/(((-3)/(-30))/(2/20)). Let r = 601 - j. Is 22 a factor of r?
True
Let g = 2 - -83. Let p = 245 - g. Does 16 divide p?
True
Let m(s) = -2*s - 32. Let a = -8 + -7. Let z be m(a). Is 3 a factor of -3 - -7 - (0 + z)?
True
Let x(v) = 5*v**2 + 53*v - 22. Let p be x(-11). Suppose 25*q - 2685 - 7515 = p. Is 24 a factor of q?
True
Let z = -114 + 117. Let o(s) = s**3 + s**2 - 8*s - 2. Let l be o(z). Does 52 divide -2 - (-1436)/l - 21/35?
False
Let m = -701 - -1058. Let a = m - 309. Is a a multiple of 5?
False
Let r(u) = 131*u - 49. Let c be r(4). Let g = 1030 - c. Is g a multiple of 37?
True
Let h(b) be the second derivative of b**6/120 + b**5/12 - b**4/8 + 7*b**3/6 + 13*b**2/2 - b. Let k(l) be the first derivative of h(l). Is 2 a factor of k(-5)?
True
Let x = 14 + -24. Let i(z) = -2 - 1200*z - z**3 + 585*z + 619*z - 9*z**2. Does 10 divide i(x)?
False
Let w be (-2)/6*5*-12. Let f(o) = 158*o + 827. Let t be f(-6). Is (-4)/w - t/5 a multiple of 4?
True
Is (-104507)/(-52) - -9 - ((-15)/12 + 2) a multiple of 7?
False
Let l = -277 - -1075. Let k = 1473 - l. Is 27 a factor of k?
True
Suppose 42*h + 4*w - 8820 = 37*h, -h + 1755 = -w. Is h a multiple of 36?
False
Suppose 8949 = 3*t - 5415. Does 84 divide t?
True
Let d = 24002 + -15882. Is d a multiple of 58?
True
Let g be 1 + -6 + 3 + 49. Let d = g + -41. Does 8 divide (d/15)/(4/160)?
True
Let o = -6 - -11. Suppose 5*l + o*i + 860 + 1140 = 0, 0 = 4*l - 2*i + 1588. Is 2/(1588/l - -4) a multiple of 30?
False
Let y = 2208 - 268. Suppose 7*h + 85 = y. Is 38 a factor of h?
False
Suppose -3*c + 95 = 80. Suppose c*d - 27060 = -28*d. Is 41 a factor of d?
True
Let g(j) = -2*j**3 + 7*j**2 - 338*j + 12. Is g(-20) a multiple of 18?
False
Let u = -108 - -128. Suppose u*i - i = 3040. Is i a multiple of 8?
True
Let n(u) = -2*u - 15*u**2 - 15*u - 24*u**3 + 25*u**3 + 18. Suppose 4*t - 4*j = -5*j + 61, 3*j - 71 = -5*t. Is n(t) a multiple of 2?
True
Let z(i) = 624*i**3 - 6*i**2 - 10*i + 6. Let u(o) = -o**3 - o**2 + o - 2. Let m(p) = -5*u(p) + z(p). Is 37 a factor of m(1)?
True
Let k(d) = d**3 + 71*d**2 - d + 25440. Is 35 a factor of k(0)?
False
Suppose -5*m - 38*p + 142471 = -35*p, -5*p = -35. Does 110 divide m?
True
Let q(w) = 142*w**2 - 682*w + 4076. Does 98 divide q(6)?
True
Suppose 0 = 2*x - n - 5001, -3*n = -4*x - 5259 + 15264. Is x a multiple of 51?
True
Is (1318 + -18)*(3/6 + 6/4) a multiple of 40?
True
Let r(u) be the first derivative of 5*u**2/2 - 18*u + 16. Let y be r(5). Suppose -d = -13 - y. Is 5 a factor of d?
True
Let p be 734/10 - 9/(225/10). Suppose -493 = -2*i - p. Is i a multiple of 42?
True
Suppose 9 = y + 2*m - 0, 3*y - 19 = -2*m. Suppose -v - 3 = -y. Suppose -4*k = -v*o - 72, k + 7*o - 11 = 4*o. Is k a multiple of 4?
False
Let z = 10617 - 5974. Does 45 divide z?
False
Suppose -2*y = -5*v + 54, -3*y + 5*y + 22 = -3*v. Let o be 1 + y/(-5) + (-8)/20. Suppose -b + o*q = -56, -2*b = b + q - 220. Is 10 a factor of b?
False
Is 34648/6 - -1*(-4)/(-48)*4 a multiple of 7?
True
Suppose -g + 0*q - 444 = 5*q, 5*q = -3*g - 1362. Let w = g + 493. Is 5 a factor of w?
False
Suppose -6*f = -3*f + 5*s - 5, -4*s = -5*f - 4. Suppose -l - 5*w + 441 = f, 0*w = 2*l - 5*w - 867. Suppose 5*h + 98 + l = 4*y, 0 = h - 2. Does 34 divide y?
True
Let z = -79 - -85. Suppose z*p - 2802 = -462. Does 30 divide p?
True
Does 103 divide ((-8)/6)/(-2)*(-660096)/(-768)?
False
Let w be (((-7)/3)/(-7))/(2/534). Suppose 0 = w*n - 90*n + 540. Suppose -6*q + n = 114. Does 49 divide q?
False
Suppose 8*c - 392 = 9432. Suppose -2*s + c = -4*j, s - 2*s + 594 = 2*j. Is 66 a factor of s?
False
Let k(c) = 15*c**2 - 16*c - 266. Is 18 a factor of k(-14)?
True
Suppose -w + 7*y - 3*y - 59 = 0, y - 122 = 3*w. Let j = w + 41. Suppose -x - j*o = -4*x + 166, -x + 58 = -2*o. Is x a multiple of 8?
False
Let g = 14 - 18. Let r be g*20/(-32) - (-2)/4. Suppose -5*d - 133 = -r*t, 0 = d - 0 - 1. Is 15 a factor of t?
False
Suppose 28441 = 5*d - 2*i, 0 = 196*d - 194*d + 5*i - 11388. Does 8 divide d?
False
Suppose 0 = -47*u + 18250 + 32134. Is 3 a factor of 1/(u/214 + -5)?
False
Let t(v) = 24*v**2 + 38*v + 266. Is t(-28) a multiple of 182?
True
Let c = -201 + 206. Is (c + 4 + -7)*466 a multiple of 7?
False
Suppose 2*q - 5*q + 48 = 0. Suppose -2*r + 962 = 2*a, -3*a + q*r - 12*r = -1450. Is a a multiple of 17?
False
Let h = 54 - -20. Suppose -h*i + 15 = -75*i. Is 15 a factor of (-4 + (-35)/i)*-36?
True
Suppose 236*p + 8 = 238*p.