5*y + 3 + 6*y + 13*y - 37*y. Is 8 a factor of u(v)?
False
Let h(f) = f**3 + 13*f**2 - 48*f + 30. Let c be h(-16). Suppose -c*k + 4833 = 1203. Is 31 a factor of k?
False
Let z = 6869 - 3792. Is z a multiple of 85?
False
Suppose s = 6*s - 20. Suppose -4*g + 388 = 5*x, 0 = s*g - x + 52 - 464. Let b = g - -26. Does 13 divide b?
False
Let f(y) = -14*y**2 + 4*y + 3. Let j be f(-1). Let b be (-3096)/j + 2/(-5). Let v = b - 106. Is 10 a factor of v?
True
Let s be (3/6)/(2/(-44)). Let c(l) = 15*l**2 - 140*l + 11. Let w be c(10). Let z = s + w. Is z a multiple of 20?
True
Let d be 1779*1/3*(-60)/(-2). Is 14 a factor of -2 - ((-1)/4 - d/40)?
False
Suppose 24*c - 42*c = -17*c - 272. Is c a multiple of 9?
False
Suppose -a + 2 = -0. Suppose -4*r - 426 = -3*f, -5*r = -a*f + 6*f - 568. Is 28 a factor of f?
False
Suppose 2*k = -3*l - 19 + 20, 0 = -3*l + 4*k + 25. Let f(w) = 1 + w**3 + 5*w**3 - 2*w + 3*w - 3*w**3. Does 12 divide f(l)?
False
Let a be (-28)/(-6)*22896/168. Suppose -2*f - 639 = -3*p, 0 = -p + 4*p - 3*f - a. Does 11 divide p?
False
Let u = -442 + 1702. Is 42 a factor of u?
True
Let j(q) = -6*q**3 + q**2 + 19*q + 139. Does 11 divide j(-14)?
True
Let r(d) = -2*d**3 - 11*d**2 - 7*d - 5. Let w be r(-5). Is 21 a factor of (1 + (-232)/w)/(81/(-405))?
False
Let d(p) = -p**3 + 19*p**2 + 7*p - 12. Let v be d(9). Let h = v + -441. Is 14 a factor of h?
True
Let l be (3 - (-60)/(-8))*(-16)/6. Suppose 5*z - 20 = 5*s, 0 = -3*s - 0*s - l. Suppose 3*j + j - 28 = z. Is j a multiple of 7?
True
Does 160 divide ((-869)/(-44))/((-3)/(-1752))?
False
Let m = 26 - 21. Suppose -3*q + 14 = -t - 9, -m*q + 25 = 0. Is (1/1 + 0)/(-2)*t even?
True
Suppose -18*x = -14*x + 27*x - 4061. Let g = -36 + -60. Let q = x + g. Does 5 divide q?
True
Suppose 22 = -0*r + 4*r - 2*w, -3*w = 3. Suppose -r*s + 49 = t - 135, s = 2*t - 412. Does 10 divide t?
False
Suppose 5*b = 3*o - 198, -107 = -2*o - 2*b - 3*b. Let f = o + -52. Let y = 27 - f. Does 6 divide y?
True
Suppose 4*f - 10*o + 23*o = 45376, 2*f - 22688 = -3*o. Does 16 divide f?
True
Suppose 57380 = 100*n - 80*n. Is 19 a factor of n?
True
Let d(u) = -u**2 - 18*u + 3. Suppose 4*a = 207 + 9. Suppose q = -l - 9, -l + 3*l + a = -5*q. Is 15 a factor of d(q)?
True
Let a = -3491 - -6479. Is 15 a factor of a?
False
Suppose 5*t + 1034 = 6*t. Suppose -3*g + 5*g = 3*b - t, 3*b - 5*g = 1037. Suppose -2*l = -a + 3*a - 348, -2*a - l = -b. Is a a multiple of 28?
False
Let q be 13037/15 - (-12)/(-90). Is q - (2 + 7/(-7)) a multiple of 12?
False
Let l be (-3)/((-10)/(-8)*(-6)/(-20)). Let h be ((96/18)/l)/((-4)/(-6)). Does 21 divide h - (1 - 4) - (-113 - -5)?
False
Let o = -100 + 55. Let q be (162/5)/((363/(-110))/(-11)). Let g = o + q. Is g a multiple of 7?
True
Suppose -73 = -7*y - 17. Let l be ((-34)/y - 1)*-16. Suppose -4*f + l = 2*h - 2*f, 0 = -5*h + f + 210. Is h a multiple of 5?
False
Suppose 105035*c = 105047*c - 18108. Does 6 divide c?
False
Suppose 0 = -4*o - 5*n + 7249, 3*n = -6*o + 3*o + 5436. Suppose 4*w - j = 1500, 5*w - 4*j - 64 = o. Is 25 a factor of w?
True
Let o(c) = -22*c**3 + 142*c**2 + 1314*c + 8. Does 158 divide o(-10)?
True
Let f = -67 - -74. Suppose m + 232 = 5*j, 153 = f*j - 4*j + 4*m. Suppose 0 = -2*z + j + 73. Does 20 divide z?
True
Suppose -29*j = j - 99240. Does 55 divide j?
False
Is (16/(-10))/(64/(-3048)*(-6)/(-200)) a multiple of 127?
True
Suppose 0 = -4*n + 20, 6*q - 10*q - n = -9253. Is 152 a factor of q?
False
Let h = -340 - -340. Let w(a) = a**2 - 4*a - 4. Let z be w(6). Suppose h = 3*v + z - 116. Is 20 a factor of v?
False
Is 113631/196 + 2/8 a multiple of 6?
False
Suppose -504 = -a + 4*a. Let n = -81 - a. Suppose 2*d = 59 + n. Is 11 a factor of d?
False
Let y be (-1)/(-5) - (-1364)/(-20). Let t = y + 111. Let c = -23 + t. Is 10 a factor of c?
True
Let a be (-4 + 10 + -6)/(-4). Suppose 4*r + 13 + 117 = 3*x, 3*r + 3 = a. Is x a multiple of 15?
False
Suppose -116*f + 484643 = -1218204 - 1005173. Is 25 a factor of f?
False
Let k = 8618 + -7067. Is k a multiple of 33?
True
Let o = -13463 + 35434. Is o a multiple of 170?
False
Let s(j) = j**3 + 11*j**2 + 8*j + 12. Let w be 432/(-44) + 6/(-33). Let z be s(w). Suppose -z*y + 31*y + 26 = 0. Does 6 divide y?
False
Suppose 17809 = 4*d - 5*f, d - 2*f - 1109 = 3347. Is d a multiple of 114?
True
Suppose -4*c + 10 = c - 5*n, 0 = c + 2*n - 5. Suppose 0*u + c*p - 351 = -2*u, -311 = -2*u + 5*p. Suppose 51*g = 50*g + u. Is 21 a factor of g?
True
Let s be 4/(-10) + (-34)/(-10) + -27. Let y be s/(-9)*246/(-8). Let u = y - -171. Does 7 divide u?
False
Let z = 331 + 501. Is z a multiple of 6?
False
Let n be (-1 + -270)/(-20 + 19). Suppose -3*q = -5*t + 892, 3*q + 93 + n = 2*t. Is t a multiple of 16?
True
Let u(m) = -m**3 - m**2 + 10*m + 3. Let j be u(-4). Let p(a) = a**2 - 5*a - 18. Let k be p(9). Suppose j*c + 1960 = k*c. Is c a multiple of 28?
True
Let x be (-4)/(-14 + -2) - 573/(-12). Let t be (4/8)/((-2)/x). Is 30 a factor of ((-2 - -8)/t)/((-2)/240)?
True
Let n(y) = 193*y - 6. Let i be (1/(-1) - -4) + -2. Let j be n(i). Is 29 a factor of (-34)/j + (1784/11 - 0)?
False
Let c = -93 - -383. Let i = c - 204. Is 5 a factor of i?
False
Let r be (-7)/(-1)*-2*22/(-44). Suppose 4288 + 1536 = -r*p. Is 4/30 - (-1 + p/60) a multiple of 15?
True
Let n be 0 + (4/1 - 0). Suppose 3*c - 4*c - 2*b - 10 = 0, 0 = -n*c - 3*b - 15. Suppose c = 2*p - 5*z - 47, 2*p + z = 51 + 14. Is p a multiple of 31?
True
Let g(z) = -10*z + 44. Let d be g(3). Suppose d*o = 1742 + 2276. Is o a multiple of 41?
True
Let h(i) be the second derivative of -i**5/20 - 7*i**4/6 - 23*i**3/3 - 7*i**2 - 51*i. Is h(-14) a multiple of 23?
False
Let s = 82 + -47. Let c = s + -72. Let x = c + 178. Is x a multiple of 47?
True
Let t(r) = -r**2 + 40*r + 57. Suppose -7*v = -0*v - 203. Let i be t(v). Suppose 2*y = 6*y - i. Is 47 a factor of y?
True
Let p = 231 - 122. Let r = p - 105. Suppose 0 = 5*u - 2*w - 787 - 115, -2*w - 720 = -r*u. Does 17 divide u?
False
Let w = -5 + 7. Let m be (25/(-10))/(w/(-8)). Let d(x) = -x**3 + 11*x**2 - 6*x - 13. Is 9 a factor of d(m)?
True
Let q(a) = -a**3 + 34*a**2 + 69*a + 66. Let l be q(36). Let b(v) = -17*v**2 - 2*v. Let z be b(2). Let x = l - z. Is x a multiple of 5?
True
Let h = 6124 - 634. Does 61 divide h?
True
Let c(b) = -141*b - 2058. Is 45 a factor of c(-73)?
True
Suppose 56888 = 51*c - 23284. Is 97 a factor of c?
False
Does 94 divide (1 - 1970/(-4))*19080/1113?
True
Let z be (-18)/15*(-3 - 57/(-9)). Does 11 divide (-250)/(9/15*5 + z)?
False
Let a be 5 - (0 - (7 + -412)). Let x = a + 1011. Is 47 a factor of x?
True
Suppose h = -3*k + 1747 + 614, 0 = 4*h + 12. Is 11 a factor of k?
False
Suppose -3*l + 21*l = 126. Suppose -p = l*p - 560. Is 2 a factor of p?
True
Let q be 8/(-36) - (-245)/(-45)*4. Let a(j) = -13*j + 112. Does 20 divide a(q)?
False
Suppose 1139 = 17*r + 6698. Let a = r + 1065. Is 38 a factor of a?
False
Let t = 1732 + -358. Is t a multiple of 2?
True
Let i = -5861 + 9037. Does 39 divide i?
False
Does 85 divide ((-4480)/10 - 11)*-10?
True
Let t(f) = 2*f - 9. Let m be t(15). Suppose 26*o - m*o = 10. Suppose -5*r = 15, 3*q - 126 = -2*q + o*r. Is q even?
True
Let q(m) = -m**2 - m. Let h(w) = -8*w**2 - 15*w - 1. Let o(n) = -h(n) + 4*q(n). Is 3 a factor of o(-4)?
True
Let q = -145 + 146. Does 17 divide 54/12*38 - (q - 1)?
False
Suppose 0*g + g + 5*s + 11 = 0, s + 23 = 5*g. Suppose 3*u - g*o = 3215, 2*u + 4*o = 3*u - 1069. Is 37 a factor of u?
True
Suppose 3*d = 2*v - 4747, -3*v + v - 3*d = -4717. Suppose -c = -3*c + 20. Does 44 divide v/c - 6/(-15)?
False
Suppose 3*i + i - 14 = 2*v, 0 = i - 3*v - 11. Let u(l) = -8*l**3 - l**2. Let a be u(i). Let g = a + 71. Does 2 divide g?
False
Let q be 1 - 0 - (-2 - -3). Let i(b) be the third derivative of b**6/120 + b**5/60 - b**4/24 + 89*b**3/6 - b**2. Is i(q) a multiple of 11?
False
Is (10295/710)/((-1)/(-22)) a multiple of 2?
False
Suppose 20*r + 149940 = 160*r. Is 119 a factor of r?
True
Let t(d) = 2*d**2 + 5*d + 4. Let u be t(-2). Suppose -u*o - 8 - 110 = -x, -o = -2*x + 242. Does 7 divide x?
False
Does 12 divide (9/15)/1 - (-470481)/265?
True
Let r(l) = 11*l - 2. Let o(h) = -12*h + 3. Let u(v) = 6*o(v) + 7*r(v). Let w be u(-7). Does 29 divide 4*w/6*(-4 - -1)?
False
Suppose 0 = -h + 2*p + 39, 3*p + 32 = 4*h - 134. Let u = 34 - h. Does 14 divide -3 