of s(6)?
True
Let x = -5162 + 6452. Is x a multiple of 15?
True
Let b(k) = -5*k**3 - 5*k**2 - 13*k + 7. Let h(q) = -25*q**3 - 24*q**2 - 64*q + 33. Let l(i) = 11*b(i) - 2*h(i). Is 68 a factor of l(-4)?
False
Let c be 4*9*(-20)/12. Let h(w) = -w + 12. Let x be h(2). Does 8 divide (12/x)/((-8)/c)?
False
Let l be (((-56)/(-12))/7)/((-3)/(-63)). Let d(a) = -a**2 + 20*a - 29. Let b be d(l). Let k = 100 - b. Is k a multiple of 14?
False
Suppose 7*a = 4*a - 12*a. Let f be 60/(-18)*(a + -3). Is (-108)/(f/(-5)) + 1 a multiple of 10?
False
Let w = 740 + -794. Let x = -410 - -576. Let q = w + x. Is q a multiple of 28?
True
Let i(h) = 265*h**2 - 101*h - 2. Is 44 a factor of i(-5)?
True
Let q = 3509 - -3426. Does 13 divide q?
False
Let x(f) = 281*f**2 + 24*f + 92. Let q be x(-5). Suppose 5*b - q = 4*h, -2*b + b + 1394 = h. Is 29 a factor of b?
False
Let t(m) = 2*m**2 - 15*m + 27. Suppose -5*r + 0*r = -5*j - 5, -5*j + 1 = -4*r. Suppose -5*b - 2*v + 67 = 0, -r*v = 2*b - v - 31. Does 10 divide t(b)?
True
Let w(v) = 43*v**2 + 2*v - 25. Let m be w(-5). Let u = -236 + m. Suppose -2*y - u = -5*i - 0*y, -5*y - 10 = 0. Is i a multiple of 17?
False
Suppose 3582*u = 3571*u + 12936. Is u a multiple of 8?
True
Suppose -4*v - t = -41, 8*t - 4 = 4*t. Suppose 2*y + 17 - 51 = 0. Let l = y - v. Is 2 a factor of l?
False
Let s(t) = 4681*t**2 - 14*t - 15. Is 40 a factor of s(-1)?
True
Let i(n) = n**3 - 9*n**2 - 12*n + 8. Let c be i(6). Let y = 234 + c. Is 6 a factor of y?
False
Suppose -50*s + 13806 = -32*s. Suppose -4*x + 897 = -s. Is 52 a factor of x?
True
Let i(w) = -566*w - 713. Does 14 divide i(-10)?
False
Let l = 3226 + -790. Does 21 divide l?
True
Let d = 13668 - 3860. Is 25 a factor of d?
False
Suppose 5*s - 7*s + 1272 = -3*o, -1296 = -2*s - o. Is s a multiple of 12?
False
Let a(q) = -q**3 - 10*q**2 + q + 14. Let w be a(-10). Suppose -w*l + 1200 = 6*l. Does 5 divide l?
True
Suppose -6*v = -5*b - 2*v + 99446, 0 = v + 4. Does 14 divide b?
False
Suppose 37*p - 5519 = 179. Suppose 0 = -50*l + 49*l + p. Does 7 divide l?
True
Does 9 divide 2364/3 - (-13)/1?
True
Let n(y) = 6*y**3 - 4*y**2 + 3*y - 12. Suppose c - 4 = -3*c - 3*v, 3*c = -2*v + 4. Is 16 a factor of n(c)?
True
Suppose -6*h = -10*h + 4297 + 6951. Does 10 divide h?
False
Suppose -17218 = -12*l + 19*l - 92328. Is l a multiple of 74?
True
Let t = -1927 - -2893. Does 21 divide t?
True
Let k be (-23)/7 - -3 - 32/(-14). Suppose 3*l - k*l - 114 = -2*g, l + 60 = g. Suppose j = -2 + g. Does 13 divide j?
False
Suppose 8 - 5 = 3*k, 5*b - 3*k = -328. Is (2353/b)/(3/(-15)) a multiple of 18?
False
Let f be (-486)/(-24) + (-5)/20. Suppose -2470 = -f*c + 6270. Is c a multiple of 19?
True
Let r(z) = -489*z**3 - z**2 - z + 1. Let i be r(1). Let b = i - -586. Is 32 a factor of b?
True
Let x be 4/(12 - 20672/1720). Suppose 4*j - 5*j - q + 369 = 0, -4*q + 730 = 2*j. Let f = j + x. Does 17 divide f?
False
Let w(d) = -d**3 - 50*d**2 - 71*d - 982. Is 96 a factor of w(-49)?
True
Let g(x) = -3*x + 172. Let w(b) = 4*b - 172. Let h(s) = 7*g(s) + 6*w(s). Let t be h(0). Let c = -60 + t. Is 10 a factor of c?
False
Suppose 21*f + 669 = 24*f. Let n = -140 + f. Is 20 a factor of n?
False
Is 2 a factor of 240695/728 + (39/(-24) - -2)?
False
Suppose -514*h + 526*h = 26148. Is 6 a factor of h?
False
Suppose -4*d = -2*f + 40, -2*f + 3*d - 2*d + 31 = 0. Let v be (125/(-3))/(f/42). Let y = v - -338. Does 9 divide y?
False
Let v(z) = -z**2 + z + 32. Let h be v(6). Suppose h*c = 3*m + 1108, -10*c + 2780 = -5*c - 5*m. Does 80 divide c?
True
Suppose 2*o - 7*o = z - 80704, -3*o + 3*z = -48426. Does 40 divide o?
False
Let q be 5/(-3) - 2/(-9)*3. Let x(o) be the first derivative of 9*o**3 + 3*o**2/2 + 2*o - 3. Is x(q) a multiple of 26?
True
Suppose -2 + 23 = 3*p. Let f(h) = h**3 - 5*h**2 - 3*h - 1. Let j be f(p). Suppose 0*u - 4*u + j = 0. Is 2 a factor of u?
False
Is (-451)/((210/15)/(-210)) a multiple of 104?
False
Suppose 5*h = -3*q + h - 33, 0 = 3*q - 5*h + 60. Let x(y) = y**3 + 15*y**2 - y + 28. Let b be x(q). Let a = 93 - b. Is a a multiple of 5?
True
Suppose 23*p - 1464 = 19*p. Let f = 539 - p. Does 38 divide f?
False
Suppose -4*t - 3070 = -2*c, t - c = c - 769. Let y = -360 - t. Is y a multiple of 8?
False
Let b be 112/84 - 2206/(-6). Let j = b - 179. Is j a multiple of 11?
False
Suppose -11*p + 30568 = -123278. Is 18 a factor of p?
True
Let m(y) = -125*y - 232. Does 25 divide m(-21)?
False
Let p(k) = -2*k**2 - k + 5. Let h be p(0). Let j be (-166)/2 - h/((-15)/(-6)). Let i = -67 - j. Does 6 divide i?
True
Is 32 a factor of ((0 + -1796)/(-1))/((-19)/3040*-20)?
True
Let b = 10599 - 1191. Suppose 13*o - b = 2448. Is o a multiple of 19?
True
Suppose 0 = -3*c + 5*v + 1498 + 3277, 4*v - 4793 = -3*c. Suppose 10*d - 21*d + c = 0. Is d a multiple of 5?
True
Suppose -d + 5*f + 26 = 0, -2*d + 0*f - f + 41 = 0. Let q = 3 + d. Suppose -115 + q = -7*j. Does 2 divide j?
False
Let v(u) = 2*u**2 + 102 + 102 - u**2 - 206. Let w be v(0). Let p(d) = -41*d + 12. Does 15 divide p(w)?
False
Suppose -6*n - 96 + 594 = 0. Suppose -u + n = -152. Does 21 divide u?
False
Let r(v) = -v**2 - 87*v + 58. Let a be r(-26). Let n = a + -969. Is n a multiple of 45?
True
Suppose k = -4*n - 0*k + 19, 5*k = 5*n - 5. Suppose n*t - 6 - 198 = 0. Let h = 58 - t. Does 2 divide h?
False
Let w(t) = -4*t + 22. Let j be w(5). Suppose -j*c + 2450 = 5*c. Suppose 17*q = 12*q + c. Is q a multiple of 10?
True
Let a be (894 - 8*(-1)/(-2)) + -2. Is 3 - 3*a/(-9) a multiple of 13?
True
Let v(b) = 5*b**2 - 8*b - 20. Let x(n) = -9*n**2 + 15*n + 40. Let l be 108/(-24) - 2/(-4). Let m(p) = l*x(p) - 7*v(p). Is m(-9) a multiple of 18?
False
Let h(c) = c**2 + 9*c - 159. Let q be h(9). Let y(g) = -31*g - 11. Let t(f) = 15*f + 5. Let j(p) = 9*t(p) + 4*y(p). Is 6 a factor of j(q)?
False
Let x(j) = -291*j**3 + 5*j**2 + 35*j + 117. Does 24 divide x(-3)?
False
Suppose 0 = -3*j + 4*t + 12, 5*t - 5 + 6 = 2*j. Suppose d - 3*l = -j*l + 23, -l = -d + 23. Is 5 a factor of d?
False
Let u = 5467 + -4496. Is u a multiple of 3?
False
Let w be (-59 + -1)*(-3)/(-6). Suppose 8*n - 81 = 247. Let l = n + w. Does 11 divide l?
True
Let h be 9/(-63) + (-549)/(-21). Is 1998/h - (6 - (-480)/(-78)) a multiple of 3?
False
Suppose 4*j - 19 = -3*f, 0 = -5*f - 9 - 6. Suppose -8*v + j*v + 65 = 0. Let c = v - -7. Does 18 divide c?
True
Let d = -372 - -1496. Let h = 1705 - d. Is h a multiple of 17?
False
Let b(q) = -249*q - 112. Let t(y) = -83*y - 36. Let o(u) = 2*b(u) - 7*t(u). Is o(3) a multiple of 16?
False
Suppose -3*l - d + 2851 = 0, 98*d + 2846 = 3*l + 100*d. Is 8 a factor of l?
True
Let y = -617 - -1079. Suppose 0 = 36*k - 42*k + y. Does 11 divide k?
True
Suppose 4*f - 5*t = 30, 2*f + 3*t = 7 - 3. Suppose 2*q = -4*j + 1534, 4*q + f*j - 3088 = j. Does 37 divide q?
True
Suppose 0*g - h = 2*g - 3, g - 24 = 4*h. Suppose -p - 261 = -g*s, s - 4*p - 85 = -31. Does 50 divide s?
False
Let s = -4502 + 8004. Is s a multiple of 17?
True
Let g(a) = 10*a**2 - 2 + 4 + 10 + 8*a + 0 + a**3. Does 5 divide g(-9)?
False
Let q = -34 - -35. Let k = 0 + q. Is 37 + k - (6 + -8) a multiple of 10?
True
Suppose 0 = 7*n - 2*n - 20. Suppose -5*c - 4*m - 670 = 0, -n*c + c = 3*m + 399. Is 12 a factor of -1*1 - (c - -8) - -3?
True
Let o be -2*(-9)/(-30)*-10. Let g(l) = -5*l + l**2 + 14*l - 2*l**2 + 9 - 12. Does 15 divide g(o)?
True
Suppose 0 = 5*u - 5*b - 1000, 0 = 7*u - 9*u + 4*b + 396. Suppose -189*m = -u*m + 4836. Is 31 a factor of m?
True
Let j(g) = -4*g + 39. Let r be j(9). Suppose 12 = -r*x - 0*x. Is 7 a factor of 6/4 - (2 + 158/x)?
False
Let n be -6 + -8*((-2)/(-4) + -1). Does 11 divide (2 - 1 - n - -2)*5?
False
Suppose -5*t = 4*n - 7 - 5, -5*n - 10 = 0. Suppose -21*v = -16*v - 25, t*j = 5*v + 659. Is 19 a factor of j?
True
Let r(q) = -3*q - 29. Let j be r(-12). Suppose j = 4*s + 3*y, 0 = -5*s + 2*y + 3. Let t = 137 + s. Is 14 a factor of t?
False
Suppose 6*u = 22*u - 104864. Is u a multiple of 57?
False
Let z = -1856 + 1999. Does 12 divide z?
False
Let b(g) = 5*g**3 - 45*g**2 - 91*g - 11. Does 4 divide b(11)?
False
Let d be (-2 - -2)/(-4) + -72. Let i be (-20)/(-6)*d/15. Does 29 divide (-9)/(36/i) - -54?
True
Let d(l) = -3*l**3 + 7*l**2 - 35*l - 11. Is d(-11) a multiple of 33?
True
Suppose 4*k + 2984 = 4*t, -4*t + 873 - 139 = -k. Does 40 divide k/(-40)*(1 + 0)