-17 - g = -2*c. Does 14 divide c?
False
Is -1 + (-6799)/(-3) - 61/183 a multiple of 3?
True
Let c(m) be the first derivative of -30*m**2 - 29*m + 66. Is 16 a factor of c(-3)?
False
Suppose -5*d = -199 - 261. Let u = -62 + d. Suppose 0 = -l + u + 82. Does 28 divide l?
True
Let r(g) = 4 - 10*g**2 - 5*g**2 + 16*g**2 - 4*g. Let h be r(4). Suppose -k = y - 22, h*k + 0*y - 3*y - 74 = 0. Is 8 a factor of k?
False
Suppose -34*w - 1519 - 121 = -42*w. Does 5 divide w?
True
Is 5 a factor of 11*(2422/7 - 5) - -4?
True
Let z(q) = 3*q - 107. Let r be z(37). Let c(d) = 16*d + 2. Does 22 divide c(r)?
True
Let n(m) = -2*m**3 + m**2 + 3*m. Let w be n(-3). Let y = w - 56. Let k(v) = -13*v - 3. Is 9 a factor of k(y)?
False
Let l(f) = f**2 - 11*f + 8. Suppose -4*i - 2*u + 54 = 0, 4*u = -2*i + 9 + 3. Is l(i) a multiple of 22?
True
Let c(l) = -6*l**3 + 24*l**2 + 92*l + 43. Is c(-8) a multiple of 68?
False
Let h(r) = 46*r**2 - 2*r + 1. Let v be h(-1). Is 98 + 0 + v/(-7) a multiple of 10?
False
Let u be (-2 - -2)/(-3 + 1 + 0). Let i be (6 + 0)/2 + 90 + u. Let p = 200 - i. Is 23 a factor of p?
False
Let z(m) = 11*m**2 + 9*m - 10. Let c be z(1). Does 29 divide (-58)/(-1)*55/c?
True
Let y(a) = -2*a**3 - 32*a**2 - 2*a - 18. Let v be y(-16). Suppose 0 = v*w - 1582 - 1162. Is 9 a factor of w?
False
Let x(k) = -2*k**3 + 23*k**2 + 13*k - 8. Let s be x(12). Suppose -5*m = -4*v + 147 + 120, 0 = -s*v - 2*m + 246. Does 63 divide v?
True
Let v(l) be the first derivative of -l**4/4 + 4*l**3 - l**2/2 + 14*l + 1. Let y be v(12). Does 11 divide y*11*(11 + (-3 - 1))?
True
Let l = 45 + -41. Suppose -5*s + 5*g = -240, l*s + 0*g = -3*g + 199. Suppose -2*r = -301 + s. Does 18 divide r?
True
Suppose 9*h + 4847 = -8*h + 29259. Is h a multiple of 7?
False
Suppose -9*y - 856900 = 9*y - 113*y. Is 110 a factor of y?
True
Let i = 12580 - -3265. Is 37 a factor of i?
False
Suppose -4*p - 4*i + 8424 = 0, 0 = 5*p + 41*i - 43*i - 10551. Does 19 divide p?
True
Let h = 13354 - 594. Does 29 divide h?
True
Let b(f) = f**2 - 13*f + 40. Let u be b(6). Let o be (-6)/u - -5 - (-1)/(-1). Is 8 a factor of o/((-121)/(-264) + 2/(-6))?
True
Let x be (-1 - 59)/((-24)/(-60)*-1). Let h(m) = -m**3 - 3*m**2 - 4*m + 2. Let n be h(-5). Suppose x = 3*s - n. Does 26 divide s?
False
Suppose -2*t - 18 = j, -105 = -3*j + 8*j - 5*t. Let q = j + 24. Suppose -3*v - 49 = -q*s, -2*s + 2 = 5*v - 3. Does 3 divide s?
False
Let a(r) = -1754*r + 379. Is a(-3) a multiple of 64?
False
Is 12 a factor of (4180/99 - 4/18)*1507/33?
False
Suppose 6*p - 36 = -0*p. Let i be (p/(-39))/(-1) + 75214/26. Suppose -15*f + 4*f = -i. Is 19 a factor of f?
False
Suppose -a - 14308 = -6*i + 3328, 4*i = -4*a + 11776. Is i a multiple of 245?
True
Let y = 5337 - 696. Is y a multiple of 21?
True
Let o = -148 + 84. Let i = 66 + o. Is 25 a factor of (-8220)/(-44) - (i - (-72)/(-33))?
False
Let p(g) = -18*g - 4 + 0*g**3 - 21*g + g**3 + 2*g**2 + 21*g. Let x be p(6). Suppose x = -5*i - 3*m + 953, 0 = -2*i + 2*m + 298. Is 10 a factor of i?
False
Suppose 646196 = 89*p + 4*p + 232346. Is p a multiple of 66?
False
Let t = -2200 + 2369. Is 13 a factor of t?
True
Does 20 divide 879168/114 + (10 - (-2 - -4))?
True
Let j(p) = -p**3 - 6*p**2 + p - 1. Let u be j(-6). Let v be (-7 - -3)*(-2)/((-8)/u). Suppose -7*d + 756 = v*d. Does 5 divide d?
False
Suppose 12*i + 18 = -6*i. Is ((-20)/i)/(-5) + 932 a multiple of 8?
True
Suppose -169*h + 162*h - 28 = 0. Is 9426/24 + 3 + (-1)/h a multiple of 66?
True
Let q = 6905 + -1055. Does 150 divide q?
True
Let f(k) = k**2 - 11*k - 78. Let c be f(16). Suppose 0 = -p - c*g + g + 382, p = -5*g + 378. Is 11 a factor of p?
False
Let v(m) = m**3 + 21*m**2 + 22*m + 55. Does 2 divide v(-11)?
False
Does 14 divide (-81)/18 - (-1512)/16?
False
Let k = -163 + -243. Let a = k + 907. Does 31 divide a?
False
Suppose -52*w - 148*w = 59*w - 4666662. Does 126 divide w?
True
Let p = 52 + -48. Suppose -p*c + 2842 = 10*c. Does 29 divide c?
True
Does 5 divide (-20272)/(-49)*(-3)/((-42)/49)?
False
Let c(z) = -2 + z + 8 + 2 + z**2 + 2*z. Let y be (-12 - -1) + 2 + 0. Does 18 divide c(y)?
False
Suppose 40133*o + 133254 = 40144*o. Is 8 a factor of o?
False
Let d be 927/(-1 - (-2)/1). Suppose 5*r - d = -4*j, j = 2*j - 3. Does 10 divide r?
False
Suppose 9 = -4*k + 7*k. Suppose -r = -k*n - 99, -3*n = -r + 2*r - 117. Is 16 a factor of (-15)/(-1)*(r/30 + 0)?
False
Let h be (-1*2/1)/((-5)/(-10)). Let l be (50/h)/((95/(-30))/19). Is 0 + 2/3*l/10 a multiple of 4?
False
Suppose 0 = -w - 5*t + 22, 4*w - t = 14 - 10. Is (-11 - -12)/(w/230) a multiple of 23?
True
Let g(r) = r. Let o(t) = 3*t**2 - 15*t + 27. Let k(u) = -3*g(u) + o(u). Let s be k(19). Suppose -5*n + 13*n = s. Does 17 divide n?
False
Let j = -7 + 13. Suppose -u + 4*u = j. Suppose -4*b + 48 = 4*t, -u*b = 4*t - 34 - 20. Is t a multiple of 2?
False
Let g = 110 - 97. Let m(o) = -o**2 + 18*o - 35. Is m(g) a multiple of 15?
True
Suppose -462*q + x + 5038 = -460*q, -10 = -5*x. Does 9 divide q?
True
Suppose -3*i + 42795 + 11735 = 2*i. Does 41 divide i?
True
Suppose -157*o = 108948 - 953922. Is 13 a factor of o?
True
Suppose 0 = 4*t + j - 0*j + 43, 4*t + 3*j = -33. Is ((-40)/3)/((23/t)/23) a multiple of 10?
True
Suppose 0 = 5*x - 3*x - 6. Suppose -x*l + 203 = -85. Suppose 24*u = 26*u - l. Is u a multiple of 40?
False
Suppose -c = -2*z + 9797, 5*c - 24515 = -9*z + 4*z. Is z a multiple of 82?
False
Let u = 261 - 161. Suppose -4*j + u = c, 3*c + 2*j + 454 = 7*c. Does 16 divide c?
True
Let p(x) = x**3 + 14*x**2 - 6*x - 42. Let u be p(-14). Is 66 a factor of (-1)/(-6) - (1 - 6041/u)?
False
Let g = -504 - -1306. Let v = g + -552. Is 38 a factor of v?
False
Let u = -346 + 443. Suppose 8 = 7*g - u. Does 3 divide g?
True
Let c(a) = -5*a + 15. Let d(t) be the second derivative of t**3 - 7*t**2 + 4*t. Let u(g) = 5*c(g) + 4*d(g). Is u(6) a multiple of 13?
True
Let m(i) = -i**3 - 9*i**2 + 4*i + 7. Let x be m(-9). Suppose 2*w = -5*q + 227, -3 = -q - 4. Let b = x + w. Is b a multiple of 15?
False
Suppose -3*b = 2*q - 16 - 0, 3*b - 11 = -q. Suppose -1275 = -5*c - 2*k, 2*c - 212 = -b*k + 304. Does 23 divide c?
True
Let h(v) = 10*v**3 - 10*v**2 + 30*v - 1. Is h(3) a multiple of 5?
False
Suppose 10*o - 52712 - 10480 = 51888. Does 14 divide o?
True
Let x(h) = -h**3 + 17*h**2 - 20*h + 12. Let l be x(17). Let v = l - -552. Is v a multiple of 14?
True
Let w(b) = 20*b + 9 - 33*b + 49*b - 30*b. Let d be (3/(-2))/(6/(-8)). Is w(d) a multiple of 8?
False
Suppose -7*u - 39 = 1158. Let z = 455 + u. Suppose 5*c = 251 + z. Does 10 divide c?
False
Let a = -9 + 10. Let h be a*(0/(-3) - -1)*1. Does 4 divide (((-20)/(-12))/5)/(h/18)?
False
Let c be (4407/117)/(1/3). Let y = c - 104. Does 3 divide y?
True
Suppose -4*y = -5*o + 54655, 12*o - 4*y - 21862 = 10*o. Is 19 a factor of o?
False
Let l be 270/(-50) - 4/(-10). Let d be ((-3824)/(-12))/2*(1 - l). Suppose -12*o + 760 + d = 0. Is 47 a factor of o?
False
Suppose 2*s = -0*o + 4*o - 152, 0 = 4*o + s - 140. Is 54 a factor of (1 + 26)/(o/864)?
True
Let t(l) = -3*l**2 + 3*l + 9. Let x(q) = 4*q**2 - 3*q - 10. Let w(f) = 6*t(f) + 5*x(f). Suppose -4*u - 4*a = -7*a + 32, 0 = 4*u + 4*a + 4. Does 7 divide w(u)?
False
Suppose 1638 = 13*y - 6*y. Let j = 316 - y. Is j a multiple of 41?
True
Let k(x) = -14*x**3 - 85*x**2 - 30*x. Is k(-12) a multiple of 8?
True
Let s be (6/1)/((-48)/(-64)). Let b be (1186/(-4))/((-4)/s). Let p = -393 + b. Is p a multiple of 40?
True
Suppose -w - 4*q = -q - 226, -q + 710 = 3*w. Suppose 0 = 6*o - w - 26. Is 3 a factor of o?
False
Let b be (4589/39)/((-1)/(-3)). Let r = 208 - b. Let k = -80 - r. Does 13 divide k?
True
Let s = -120 - -5615. Does 30 divide s?
False
Let r(k) = k**2 + 13*k - 45. Let a be r(7). Let m = 229 - a. Is 4 a factor of m?
False
Suppose 6 = 19*x - 16*x. Suppose x*s - 8 = 4*r - 8*r, -5*s = 5*r. Suppose 212 = 4*p - r*l, 2*p - 3*l - 212 = -2*p. Is 8 a factor of p?
False
Suppose 6*z + 39 = 3*z. Let p = z + 10. Does 13 divide p/(90/(-325) + (-3)/(-15))?
True
Let z = 484 - -692. Is z a multiple of 24?
True
Let i(s) = -4*s + 18. Let c be i(-10). Let z be -159*((-5)/(-3) - 2). Let l = z + c. Is 20 a factor of l?
False
Is 119 a factor of (-1 - 170)/(-19) + 35359?
False
Let n = 6305 + 2484. Does 101 divide n?
False
Let c(m) = -m**3 + 11*m**2 + 23*m + 23. Let j be c(13). Is 5