 13*v - 22. Let a be l(-11). Is (286 + (a - (-1 + -1)))*1 a multiple of 24?
True
Let c be (10 - 7)*7360/(-15). Let v = -926 - c. Is 78 a factor of v?
True
Let d(w) be the first derivative of w**3/3 - 3*w**2/2 + w + 26. Let v be d(2). Does 33 divide (-14 - -12)/(v/100)?
False
Suppose -3*c + 762 = -3*t, 5*c - 685 = -t + 609. Suppose -6*f + 4134 = c. Suppose 498 = 3*k + 2*d + 16, d - f = -4*k. Is 29 a factor of k?
False
Let g(v) = -v**2 + 8*v. Let x be g(8). Suppose x = -5*t + 402 + 1398. Suppose 0*l = 3*l - t. Is 30 a factor of l?
True
Let x(l) = -l**2 - 36*l - 17. Let d be x(-23). Let m = -53 + d. Is 51 a factor of m?
False
Let b(r) = -13*r - 34. Suppose 0*l - 5*l = -40. Let p be -10 - (l - 7)/(1/(-4)). Is b(p) a multiple of 11?
True
Suppose 0 = -166*p + 156*p + 60. Suppose 12 = -p*x + 2*x, -2382 = -2*o + 2*x. Is 12 a factor of o?
True
Suppose y - 12*s = -11*s + 35, 4*s = -3*y + 70. Does 33 divide ((-8952)/y)/((-9)/(270/12))?
False
Let r(s) = -9 - 9*s + s**3 - 2 + 10*s**2 - 2. Let x = 13 + -23. Is 11 a factor of r(x)?
True
Suppose -2 = -0*w - 2*w + d, 3*w = 2*d + 4. Suppose 10*u - 6*u - 16 = w. Suppose 2*f - 103 = -t - 4*t, 2*t + 170 = u*f. Does 11 divide f?
True
Let c(b) = b**3 + 5*b**2 - 4*b + 4. Let v be (0 - 1) + 28 + -22. Is c(v) a multiple of 5?
False
Suppose -2*n - 2*y - 4 = 0, 4 = -5*y + 14. Let j(c) = c**2 + 3*c + 8. Does 6 divide j(n)?
True
Let m(u) = 190*u**3 + 11*u**2 - 4*u - 9. Is m(3) a multiple of 21?
True
Let i = -9736 + 17502. Does 63 divide i?
False
Let y = 323 - 229. Suppose -705 = -5*v - 5*l, v - l + y = 231. Does 23 divide v?
False
Let r = -301 + 195. Let z = r + 79. Is -3*(-2)/z - 1430/(-117) a multiple of 6?
True
Suppose -5*c + z + 126767 = -49333, -4*c - 2*z + 140880 = 0. Is c a multiple of 109?
False
Let q be (-612)/8*2/(-3)*1. Suppose -4*g + 65 = -q. Let h = g + 44. Is h a multiple of 24?
False
Let n(u) = 115*u - 5569. Is n(100) a multiple of 9?
True
Let l(j) = j**3 - 13*j**2 - 3*j + 25. Let x be l(14). Let q = x - 113. Does 11 divide q?
True
Let c be (-6)/(-24) + 61/(-4). Let f(u) = -u**3 - 15*u**2 + 2*u + 28. Let l be f(c). Does 10 divide l/(((-35)/50)/7)?
True
Let m be (-4)/4 + -7 + 12. Suppose m*g - 183 = 7*f - 8*f, 5*g = f + 231. Is g a multiple of 15?
False
Suppose 31*u - 30294 = -3*u. Does 9 divide u?
True
Suppose -3*w + 3*i + 13 = -71, 0 = -3*w - 5*i + 84. Suppose -249 + w = -o. Is o a multiple of 13?
True
Let b be ((-1)/3)/(1/(-6)). Let m(j) be the second derivative of 11*j**3/2 - 2*j**2 - 873*j. Is 8 a factor of m(b)?
False
Let q(x) = 0 - 2 - 6 + 11*x. Let n be q(-4). Let s = n + 112. Is s a multiple of 15?
True
Suppose f + 7 = o, 4*f - f - 2*o + 23 = 0. Let w be (2 - 1)*(f + (7 - 2)). Is 1 - w - (-11 + 0) a multiple of 16?
True
Does 8 divide 6/39 + 392022/39 + (3 - 2)?
False
Let j(o) = 10*o**2 + 10*o - 3. Let p be j(-4). Suppose 9*c + p = -4*c. Is 18 a factor of -22*(34/(-9) - (-2)/c)?
False
Let r be (-3)/(3/(-436)) + 2 + 1. Suppose -k + 857 = k - 5*v, -v = k - r. Suppose -358 = -2*i - 4*w - 72, -3*i + w = -k. Is i a multiple of 29?
True
Let s(t) = t**2 + 4*t - 17. Let l be s(-8). Suppose 8*a - l = -7. Suppose -j = -3*b - 83, 4*b = -j + 75 + a. Is 10 a factor of j?
True
Let i be ((-4)/((3 + 1)/24))/(-2). Let x = 62 - i. Is x even?
True
Suppose 71*r + 2 = 72*r. Let n be (-152)/(-6)*3*r. Let k = 413 - n. Is k a multiple of 25?
False
Let p(q) = -2*q**3 - 121*q**2 - 336*q - 106. Is 42 a factor of p(-58)?
True
Suppose 0 = 8*x - 12*x + 60. Suppose 9*l - x = 3. Suppose l*q - 119 = 43. Is 9 a factor of q?
True
Suppose -2*q + 9972 = 6*h, -31 + 33 = h. Is q a multiple of 113?
False
Let a(x) = 17*x + 2. Suppose 0 = -3*z + 14 + 91. Let r be (z/(-21))/((-5)/6). Does 20 divide a(r)?
False
Let y = -281 + 284. Is 3 a factor of (-3652)/(-20) + y + (-36)/10?
False
Let n be (11/(-33))/(1/201). Suppose -819 = 12*f - 21*f. Let z = n + f. Is z a multiple of 3?
True
Is 6 - -1*44316/12 a multiple of 27?
True
Suppose -6*z - 798 = -9*z. Let s(g) = 2*g - 7. Let j be s(6). Suppose 2*a + z = j*n + 3*a, -a - 4 = 0. Does 27 divide n?
True
Is ((-29322)/(-108))/(9 - 11 - 151/(-74)) a multiple of 17?
False
Let t be 4*-1 - (5 - (-1 - -229)). Let v be 2/(-12) - t/(-18). Suppose 0 = 16*g - v*g - 80. Is 10 a factor of g?
True
Suppose -5*y + 6*y + i = 205, -5*y - 2*i = -1034. Suppose -2 = 2*p, 4*p - 8*p = -2*l + y. Is l a multiple of 10?
False
Does 136 divide -21 + (-5 - -17) - 2*-719?
False
Let l be 4/8 + (-1665)/6. Let y = l + 407. Let x = y - 51. Is 14 a factor of x?
False
Does 23 divide (-3)/84 - 3156273/(-812)?
True
Let b = -9355 + 12191. Is b a multiple of 6?
False
Let q = 38 + -84. Let l = q - -46. Suppose -h + 4*h + 5*g - 287 = l, -2*h - g = -196. Is 22 a factor of h?
False
Does 82 divide (-8880)/28*(-63)/6?
False
Suppose -67 + 77 = -5*h. Let v be (-10)/25 + (-12)/(-5) + h. Suppose 3*b - 7*b + 320 = v. Does 16 divide b?
True
Suppose 37*t - 2552 = -21*t. Is t even?
True
Let d be (-4)/((-48)/20) + 1/3. Let v be d + (-1)/(-1) - -2. Suppose 0*h - 4*h + 5*s = -35, -v*s - 20 = -3*h. Is h a multiple of 5?
True
Let l(b) = -b**2 + 8*b - 4. Let z be l(8). Let x be (-66)/11*10/z. Is 6 a factor of (18/x)/(-2 - 122/(-60))?
True
Suppose -154*v + 157*v + 1671 = 0. Let w = v - -677. Is 6 a factor of w?
True
Let v = 3782 + -1494. Is v a multiple of 16?
True
Let q = 15 - 17. Is (-3717)/(-36) - -10 - q/(-8) a multiple of 4?
False
Suppose 0*u = -3*u, 0 = 5*p - 2*u - 70. Suppose -2*a - 5*s + 26 = 0, -3*s = -3*a + 4 + p. Let j(k) = 8*k - 16. Is 10 a factor of j(a)?
False
Let z be (-28)/3 - (-68)/51. Let g(r) = 3*r + 120. Does 9 divide g(z)?
False
Suppose -10*q = 7*q + 4352. Let c = q + 319. Is c a multiple of 7?
True
Let w = 12504 - 5282. Does 42 divide w?
False
Let z be 6/4*(2 - 12/9). Does 5 divide ((z*15)/(-3))/((-14)/140)?
True
Does 8 divide (-11796 - -2)/((-2)/(-32)*-4)?
True
Suppose -816 = -2*h + 8. Suppose -4*w + 120 - h = -i, -277 = -i - w. Is i a multiple of 7?
True
Suppose -23*c + 46247 = -64360. Is 21 a factor of c?
True
Let a(w) = 2*w**2 - 38*w + 5. Let f be a(19). Suppose q - 493 = -4*s - 41, 434 = q - f*s. Does 37 divide q?
True
Let k be ((-66)/(-198))/((-1 + -1)/(-30)). Suppose k*s = 3*s - a + 7, 0 = -5*s - a + 13. Suppose 5*j + v = s*j + 40, 0 = 5*j - 4*v - 78. Does 12 divide j?
False
Suppose 3*o + 2*o = 3*x + 39557, 4*o - 5*x = 31643. Is 10 a factor of o?
False
Let x(h) = -h**2 + 11*h - 25. Let l be x(9). Let c be (-34)/8 + 2 - l/28. Let a = 1 - c. Is 3 a factor of a?
True
Let q(m) = -22*m**3 + 14*m**2 + 3*m - 21. Does 6 divide q(-4)?
False
Let z(s) be the second derivative of -s**5/20 - s**4/2 + 5*s**3/6 - 4*s**2 + 18*s. Let j be z(-7). Suppose 2*t + 43 = 3*h, -t + j*t = 3*h - 49. Does 4 divide h?
False
Let q = -45 - -43. Is (9 + (-10)/q)*25 a multiple of 21?
False
Let g(o) = 75*o. Suppose 2*j - 2 = 3*p - 14, -3*j - 17 = -4*p. Does 6 divide g(p)?
True
Suppose -5*n = 17*c - 14*c - 36379, -c - 3*n + 12129 = 0. Is 20 a factor of c?
False
Let c be 4/(-3)*420/(-40). Suppose 3*w - 22 = -4*z + c, -5*w - 4*z = -68. Let y = 44 + w. Does 20 divide y?
True
Let f(s) = 2*s + 5. Let a be f(-4). Let h = 150 - a. Does 20 divide 2 - 4 - 4*h/(-6)?
True
Let t(q) be the third derivative of -5*q**4/24 + 11*q**3/3 - 3*q**2 + 13*q. Is t(-8) a multiple of 56?
False
Let o(k) = 681*k - 139. Is o(4) a multiple of 55?
True
Let y(q) = 424*q**2 - 30*q + 48. Does 144 divide y(3)?
False
Let c(v) = -7*v - 25 + 2 - 3. Does 5 divide c(-8)?
True
Suppose -3*a = 2*a - 15. Let q be -1 - -3 - a/(6/(-4)). Suppose 40 + 19 = j + 3*b, 0 = -q*j + 5*b + 185. Does 12 divide j?
False
Suppose -95 - 25 = -10*h. Suppose h*f - 31*f = -15314. Does 8 divide f?
False
Let m = 14028 + -1943. Does 10 divide m?
False
Let i = 15 + 5. Suppose -k = -d + 10, d + i = 6*d. Is 30 a factor of k/(-9)*4344/16?
False
Let d be 2/(-11) + 654/33*-1. Let c = d - -380. Is 20 a factor of c?
True
Let y be 56 + -2*((-30)/(-4))/(-5). Let a = 54 - y. Is 702/5 - (1 + 3/a) a multiple of 35?
True
Suppose 11*j + 838 = 68. Does 22 divide j*((-132)/20 + 3 + -3)?
True
Let k be 2/(-11) + (-8 - (-4064)/88). Suppose -4255 = 15*b - k*b. Is b a multiple of 37?
True
Suppose 5*d - 7*c + 2*c + 495 = 0, -5*d - 5*c - 505 = 0. Let l = d - -249. Is l a multiple of 11?
False
Suppose 4*k + 2153 = 5*y - 4*y, -3*k = -y + 2156. Is y a mult