*i = -3*v + 2*v + j, 5*v = 4*i + 242. Does 13 divide v?
False
Let d = -2499 - -5114. Is d a multiple of 3?
False
Suppose 0 = r + 4*y - 2160, -6*r - 4*y = -10*r + 8640. Does 40 divide r?
True
Suppose 36929 = 11*i - 29817 - 10188. Is i a multiple of 97?
False
Suppose -3*u - 2*f = -0*f - 119, 3*f - 159 = -4*u. Does 13 divide (-6)/u - 7102/(-26)?
True
Let v = 69 + -63. Suppose 23 + 7 = v*o. Let b(l) = 26*l + 12. Is b(o) a multiple of 15?
False
Let q(v) = 41*v + 11430. Is q(-64) a multiple of 7?
True
Let u(w) = -3*w**3 + 5*w**2 - 8605*w + 2*w**3 + 8 + 8615*w. Let k(i) = -5*i**3 + 2*i**2 - 1. Let y be k(1). Is 14 a factor of u(y)?
True
Let c = 751 + -1734. Let s = -584 - c. Does 57 divide s?
True
Let o be 10/(-3)*(-3)/(-2). Let s = 65 + -64. Is ((-280)/o)/(s + 0) a multiple of 14?
True
Suppose 29*k + 48 = 45*k. Suppose 0 = 12*b - 15*b + s + 2147, -k*b + 2155 = -5*s. Does 16 divide b?
False
Let n(g) = 2*g**2 - 31*g + 65. Let v be n(24). Suppose v = 9*b + 176. Is b a multiple of 3?
True
Let y(j) = -j**3 - 17*j**2 + 19*j + 20. Let l = 11 - 6. Suppose -5*m = -l*b - 90, -5*m - 11 - 61 = 4*b. Is y(b) even?
True
Let i(d) be the third derivative of -d**5/60 + 7*d**4/24 - 34*d**2. Let j be i(7). Suppose -l + 27 + 100 = j. Does 24 divide l?
False
Suppose 0 = 10*v + 8*v - 20430. Suppose -3*c = 5*z - v, 454 = 2*z + 7*c - 4*c. Is z a multiple of 10?
False
Let i be (2 + 2/(-3))/((-5)/1200). Let y be (-2 - 3)*i/50. Let n = y - -105. Does 33 divide n?
False
Suppose 0 = -5*q - 5*o + 67190, -q + 3*o = 5045 - 18455. Does 60 divide q?
False
Suppose -46 = h - 35. Let w(i) = i**2 - 19. Let y be w(h). Suppose 2*f + y = 4*u, 5*u + 0*f - 5*f - 135 = 0. Is u a multiple of 6?
True
Suppose 24*b - 29*b = -20. Suppose 4*n - 188 = 3*m, b*m + n = -143 - 114. Let a = -47 - m. Is a a multiple of 17?
True
Let q be 2*-2*(-28)/16. Let n be ((-2378)/123)/(2/(-12)). Suppose -q*d + n = -52. Is d a multiple of 24?
True
Suppose -2*b = a - 11, -2*b + 5*a = 2*a + 1. Suppose 4*x = -8, -6*w - 3*x = -b*w - 2624. Suppose -22*p + 17*p = -w. Is 25 a factor of p?
False
Suppose -435*q + 434*q = 2*r - 26154, -5*r = -4*q - 65359. Is r a multiple of 14?
False
Let o be (-14)/(-7)*-11*2/(-4). Let i(f) be the second derivative of -f**5/20 + 5*f**4/6 + 7*f**3/3 - 5*f**2/2 - 4*f. Does 7 divide i(o)?
True
Let o(u) be the third derivative of u**5/60 + u**4/4 - 15*u**3/2 - 34*u**2 - 2. Is o(6) a multiple of 2?
False
Let i(k) = -6294*k + 1728. Is i(-12) a multiple of 36?
True
Does 11 divide 696/1*(-22 - 276/(-9))?
False
Suppose -170*u + 30507 + 90023 = 0. Is 2 a factor of u?
False
Let l(x) = -4*x - 1. Let r be l(-6). Suppose 0*q = 3*y - 2*q - r, -13 = -y + 2*q. Suppose 0 = 4*m + 5*u - 166, -y*m = -0*u - u - 193. Is 28 a factor of m?
False
Let s = 17104 - 10708. Is 51 a factor of s?
False
Let z(l) be the third derivative of -l**7/2520 + 7*l**6/240 - 3*l**5/20 + 5*l**4/8 + 9*l**2. Let v(d) be the second derivative of z(d). Does 5 divide v(19)?
True
Suppose -4*b - 18 = -134*r + 133*r, 4*b + 12 = -2*r. Let g = -19 - -126. Suppose g + 42 = r*l - 3*c, -3*l - 5*c + 176 = 0. Is l a multiple of 18?
False
Is 12080/7 + 30/(-42) a multiple of 35?
False
Suppose -11*l + 20 = -6*l. Let q be 4/(16/(-93))*l. Let v = q - -180. Is v a multiple of 19?
False
Suppose 4*m + 2*c = 4647 + 14595, -m + c + 4815 = 0. Does 17 divide m?
False
Let t(y) = y**3 - y**2 + 8*y - 13. Let i be t(14). Suppose 5465 = 26*j - i. Is 13 a factor of j?
True
Let v = 9910 + -5731. Is 6 a factor of v?
False
Suppose -5*c - 726 = -38*c. Suppose c*g = 38*g - 2304. Is g a multiple of 36?
True
Suppose n + 18 = 4*m, -9 = -m - 2*n - 0*n. Suppose s = 4*s - 4*d - 135, 2*d - 225 = -m*s. Is 12 a factor of s?
False
Let l(d) = 4*d**3 + 37*d**2 - 20*d + 8. Let x(f) = 11*f**3 + 110*f**2 - 58*f + 25. Let j(b) = -17*l(b) + 6*x(b). Is j(15) a multiple of 6?
False
Let l be (2 - (-4)/(-8)) + (-9)/(-2). Let r(a) = 22*a - 11. Let f be r(l). Suppose -f = -3*j + 59. Is j a multiple of 31?
False
Let h(w) = -833*w + 48459. Does 16 divide h(0)?
False
Let w(q) = -3*q**3 - 6*q**2 - 8*q - 4. Let i be w(-3). Let u = i + 79. Suppose 3*v + 6*v - u = 0. Is v a multiple of 7?
True
Suppose -43*c + 69776 = 10178. Is 21 a factor of c?
True
Let g = 408 - 346. Suppose -i - 3*i = -528. Let a = i - g. Is a a multiple of 10?
True
Suppose -3*z - 7850 = 5*h - 45805, 0 = -4*z - 3*h + 50581. Does 40 divide z?
True
Suppose -4*o = -9*o + 10. Let f = -40 + 179. Suppose o*h - g = 93, 0 = 4*h + g - 56 - f. Is 24 a factor of h?
True
Let u be -3 - 0 - (-21)/3. Suppose z - 3*b - 7 = 0, 2*z + u*b + 24 - 68 = 0. Suppose -64 = -2*l - z. Does 12 divide l?
True
Let r(o) be the third derivative of -13*o**5/120 + 5*o**4/24 - 25*o**3/6 + 13*o**2. Let i(k) be the first derivative of r(k). Is 3 a factor of i(-1)?
True
Suppose -3275*q + 2 = -3277*q. Is (3949/(-22))/(q/6) a multiple of 18?
False
Suppose -4*a + 44 = -5*k + 11, -2*k + 54 = 4*a. Let f(d) = 7*d - 34. Does 25 divide f(a)?
True
Let m(f) = 4*f**2 + 11*f - 57. Let r be m(5). Suppose -106*g + 2232 = -r*g. Is 34 a factor of g?
False
Suppose 9*n = -15 + 105. Suppose 10*z - 15*z = n. Does 31 divide (304/z)/(0 - 1)?
False
Suppose 5*g - 57*j - 396 = -56*j, 0 = -2*j - 12. Is g a multiple of 16?
False
Is 13 + (-1972)/153 + 147093/27 a multiple of 90?
False
Let i(u) = -u**3 + 30*u**2 - 60*u - 14. Let j be i(27). Suppose 6*r = j - 169. Is 17 a factor of r?
False
Let f be (3/(-2))/(21/6 + -4). Let t(q) = 3*q**3 + 13*q + 10 + 6 - 4*q**f - 25*q + 10*q**2. Is 8 a factor of t(8)?
True
Suppose 5*z - 92 - 83 = 0. Let s(u) = -z*u + 24*u + 14*u - 7 + 2*u**2. Does 16 divide s(7)?
True
Let a = 308 - 192. Let h = a - 80. Is h a multiple of 4?
True
Does 11 divide (-38936)/((-2)/1)*(3094/(-136) + 23)?
False
Let j = -49208 - -74723. Is 15 a factor of j?
True
Let p(j) = j**3 - 16*j**2 - 38*j + 51. Let h be p(17). Let x = 164 - h. Does 10 divide x?
True
Is 2/3*(-94 + 10834) a multiple of 40?
True
Let d be (-6)/24*-28*2/7. Let x(p) = 25*p**2 + p - 5. Is 21 a factor of x(d)?
False
Is 13 a factor of 61678/10*(-12 + 17)?
False
Is 4*13/(-39) + 31244/6 a multiple of 19?
True
Let o(z) be the second derivative of -z**5/20 + 13*z**4/12 + 4*z**3/3 + 68*z**2 - z - 11. Is o(13) a multiple of 10?
True
Let q(s) = -92 + 88 + 43*s**2 + 0*s + 0*s. Is 8 a factor of q(-2)?
True
Let k = 5 - 14. Let c(f) = f + 5. Let h(b) = 1. Let t(y) = -c(y) - 2*h(y). Is 2 a factor of t(k)?
True
Let b = 230 - 143. Is 2/(0 - -4 - b/22) a multiple of 4?
True
Let t be (6 - 84/15) + 681/(-15). Does 14 divide (0 - (-72)/t)*210/(-4)?
True
Let t = 145 - 144. Is 4 a factor of t/(-9) - 1298*(-4)/72?
True
Let p be 284/10 + (-54)/(-90). Let r(y) = y**2 - 33*y + 272. Does 26 divide r(p)?
True
Suppose 2*x - y = 6, 2*x - 2*y = -4*y. Suppose 0 = -5*w + f + 2952, x*f + 199 = -2*w + 1375. Does 59 divide w?
True
Suppose 296130 = -135*v + 1138530. Does 4 divide v?
True
Suppose 4*f = -f - 150. Let v be 0 - 15 - 0/((-12)/4). Is 33 a factor of f/4*160/v?
False
Let j(v) = -v**3 + 10*v**2 - 7*v - 16. Let o be j(9). Suppose -o*d + 3*t + 61 = 8, t + 97 = 3*d. Suppose 12*q - d = 74. Does 7 divide q?
False
Let s be (-2 + (-4 + 5 - -14))*1. Does 13 divide 34 - (26/s)/((-2)/3)?
False
Let h be (15/(-2))/(5/(-20)*3). Let g be h/(-4)*(-144)/(-90). Does 14 divide -1*(-136)/(g - -5)?
False
Let c(x) = -5*x**2 + 10*x - 27. Let b(u) be the third derivative of -u**4/24 - u**3/6 + 36*u**2. Let f(a) = 6*b(a) - c(a). Does 15 divide f(6)?
True
Suppose 0*p - 57 = 5*p + 3*q, -4*q + 4 = 0. Let z be (7*2)/(0 - p/6). Does 35 divide 209 + (1 - z)*(-1)/(-2)?
False
Let v = -104 + 116. Let t be 102/9 - 4/v. Suppose -3*z + 13 = -t. Does 8 divide z?
True
Let m be 6/(-27) + 166/18 + 3. Let c be 14/m - 1 - 6/36. Suppose c = 2*a + 41 - 217. Is 12 a factor of a?
False
Suppose 2*o + 4*o - 72 = 0. Let g = -1 + -1. Is o + (g - 0/4) a multiple of 10?
True
Let l(c) = 490*c - 336. Does 31 divide l(6)?
True
Suppose 3*s - 9 = -3. Suppose v = -4*t - 2*v + 51, v - 25 = -s*t. Does 6 divide ((-153)/18)/((-2)/t)?
False
Suppose 3*u - 40 = 4*k, 4*u - 1 = -2*k + 45. Suppose 0 = 6*j - u - 438. Let o = j - 47. Is 14 a factor of o?
True
Let l(f) = 62*f**3 + 59*f**2 - 8*f + 20. Is 28 a factor of l(4)?
True
Suppose -m + 58 = s, 6*m - 136 = -2*s + 8*m. Let t = -34 - 5. Let w = s + t. Is 6 a factor of 