 Does 23 divide l?
False
Let w(q) be the third derivative of 0*q**5 + 1/6*q**3 + 1/24*q**4 + 0 + 0*q + 5*q**2 - 37/120*q**6. Is w(-1) a multiple of 18?
False
Suppose 18*l - 21*l + 30 = 0. Suppose -3*x - l = -31. Suppose h = -i + 53, -2*i + 106 = -4*h + x*h. Does 15 divide i?
False
Let w = 134 + -16. Suppose 9*g - w = 989. Is g a multiple of 25?
False
Let y = 38 - 36. Suppose 2*m - 3*g + 17 = 4*m, 42 = 4*m - y*g. Is 7 a factor of m?
False
Suppose 2*l - 5*l + 23 = 4*d, -5*d + 3*l = -22. Suppose d*s = -58 + 268. Is s even?
True
Let a = -154 - -74. Let b = a + 113. Suppose -b = -3*r - 0*r. Is r a multiple of 11?
True
Suppose -3*j - 59 = 3*i - i, 0 = 2*j - 4*i + 66. Let y = -5 - j. Does 18 divide y?
True
Does 11 divide (-14 + 11)/((-3)/176)?
True
Suppose 0 = 7*a - 17*a + 11760. Is 56 a factor of a?
True
Suppose 0 = -22*x + 5436 + 3958. Does 8 divide x?
False
Suppose -13*u = -2*u - 6215. Is u a multiple of 10?
False
Let b be (3/2)/((-2)/(-4)). Let i(t) = -t**2 - 18*t - 1. Let s be i(-17). Suppose x = s + b. Does 9 divide x?
False
Suppose 5*s - 5004 - 161 = 0. Suppose 6*h + d = 4*h + 412, -5*h + s = 4*d. Let v = h + -139. Is 22 a factor of v?
True
Let i(t) = -t**2 + 6*t - 6. Let s be (-315)/42*-1*2. Let x(l) = l**2 - 14*l - 11. Let g be x(s). Is 2 a factor of i(g)?
True
Let d(o) = -o**2 + 17*o - 12. Is d(12) a multiple of 4?
True
Is 32 a factor of ((-64)/20)/((-6)/900)?
True
Let f(x) = x**3 + 5*x**2 + 6. Let n be f(-5). Let r = 18 + n. Does 9 divide r?
False
Let v = 275 - 178. Is v a multiple of 10?
False
Suppose 0 = 2*t + t, -3*t = -2*g + 150. Is 3 a factor of g?
True
Suppose -2*m + 24 = k + k, 0 = 5*k + m - 72. Suppose 9*d = 4*d + k. Suppose -l = -d*l + 32. Is 9 a factor of l?
False
Suppose -8*c - 4812 = -11*c. Does 25 divide c?
False
Let o(l) = -3*l**2 - 21*l + 4. Let c be o(-7). Is 13 a factor of (c + 16 - 2)*13/3?
True
Suppose q - 41 = 53. Let a = q + -55. Is a a multiple of 6?
False
Suppose -7*t + 275 = 100. Is t a multiple of 17?
False
Suppose -2*a - 25 = -3*l, -4*l + 13 = 3*a - 9. Let x(t) = t**3 - 4*t**2 - 3*t + 11. Is x(l) a multiple of 10?
False
Suppose 2*b - 5 = -k + 9, -5*b + 24 = -3*k. Suppose q - b = 2. Is (-204)/(-9) - q/12 a multiple of 12?
False
Suppose -8*w + 12078 = 1902. Does 53 divide w?
True
Let s(o) = -9*o - 87. Is s(-20) a multiple of 11?
False
Let l = -41 - -41. Suppose 0 = g - l*g - 84. Is g a multiple of 21?
True
Suppose 2*i - i = 10. Suppose 86 = 4*j - i. Suppose 2*s - j - 40 = 0. Does 8 divide s?
True
Let p(x) = x**3 - 11*x**2 - 7*x - 1. Let g be p(12). Suppose -3*v = -4*v - g. Let h = -25 - v. Is h a multiple of 17?
True
Let d(p) = -10*p + 1 + 14 - 6. Let h(t) = -19*t + 17. Let f(u) = 7*d(u) - 4*h(u). Does 16 divide f(7)?
False
Suppose d - 4 = 0, 2*d - 485 = -q + 107. Is q a multiple of 73?
True
Let d(z) = z**3 - 4*z**2 - 7*z - 8. Suppose 19*j = -29 + 181. Is 32 a factor of d(j)?
True
Suppose 3*l - 5*n = -337 + 1100, -2*l - 2*n + 514 = 0. Does 20 divide l?
False
Let l(s) = 87*s**3 - s**2 + s - 1. Let p be l(1). Suppose -p - 162 = -4*k. Let y = k - 36. Does 26 divide y?
True
Suppose -562*b + 561*b + 516 = 0. Is b a multiple of 12?
True
Suppose -4*n + 4*c + 352 = 88, -n - 3*c + 54 = 0. Let p = n - 27. Let t = -22 + p. Is t a multiple of 7?
True
Let l(q) = -10*q**3 - 3*q**2 - 53*q - 79. Is 28 a factor of l(-7)?
False
Let v = -31 + 34. Suppose v*b = 4*l + 405, -4*l - 675 = -5*b - l. Does 30 divide b?
False
Let s = -499 - -3515. Is s a multiple of 116?
True
Let z(w) = w**2 + 12*w + 24. Suppose -2*i + 3 = 23. Let n be z(i). Does 14 divide (14/n)/((-8)/(-112))?
False
Let k(b) = 0*b + 0*b + 6*b - 2*b - 9. Let z = -3 + 12. Is 9 a factor of k(z)?
True
Let y(z) be the third derivative of z**6/120 + 7*z**5/60 - z**4/12 + 5*z**3/6 + 4*z**2. Let p be y(-5). Let c = p - 23. Is 24 a factor of c?
False
Suppose -g - 3*f + f + 227 = 0, -4*g + 884 = 2*f. Is 12 a factor of g?
False
Is 16 a factor of (23/(184/5136))/((-9)/(-24))?
True
Let y(l) = 6*l**2 - 7*l - 13. Does 18 divide y(9)?
False
Suppose -z + 3 - 5 = 0. Is 18 a factor of 3 - (0 - z) - (-115 - -1)?
False
Let b = 152 + 172. Is 27 a factor of b?
True
Let p(s) = -702*s + 312. Does 17 divide p(-3)?
False
Suppose -3 = -i + 5. Suppose 15 = i*n - 3*n. Suppose n*a = -u - u + 33, 24 = 3*a - u. Does 3 divide a?
True
Suppose -6612 = -16*n + 13324. Is 14 a factor of n?
True
Suppose -142 = -3*x + 68. Let l = -37 + x. Is l a multiple of 13?
False
Suppose 6*l - 3 = 21. Is (l/4 - -49) + 2 a multiple of 4?
True
Let v(m) = 2 + 17 + 19*m - 18*m. Let a be v(-15). Suppose h - a*h = -54. Is 9 a factor of h?
True
Suppose 2*q - 2*c = 2114 + 4372, 0 = 5*c - 20. Does 27 divide q?
False
Does 19 divide (0 - 5034/(-15)) + (-20)/(-50)?
False
Suppose -k = -3*v - 2*v + 17, 0 = -4*k - v + 16. Suppose k*c - 132 = 120. Does 14 divide c?
True
Suppose 0 = 3*z - 32 + 44, 5*z = 5*i - 3000. Does 11 divide i?
False
Let j(t) = -3 - 3*t**2 + 15*t - 2 + 2*t**2. Suppose -114*u - 88 = -122*u. Is 14 a factor of j(u)?
False
Is 112 - (54/(-189) - 32/(-14)) a multiple of 26?
False
Suppose 5*u + g = -4*g + 440, u = -4*g + 100. Suppose 4*v - u = -20. Is 5 a factor of v?
False
Let y be 1*1/(-8) + 1150/368. Suppose 123 = y*j - o - 233, -2*o = 2*j - 224. Is j a multiple of 8?
False
Let a = -89 + 95. Is 19 a factor of (1*a)/2 - (-847)/11?
False
Let r(d) = -107*d + 1391. Is r(-7) a multiple of 20?
True
Suppose -3*u + 5*k + 2577 = 0, -3*u + 0*u - 2*k = -2556. Does 75 divide u?
False
Suppose 2*w - w = -8. Let s be w/12*3*-2. Suppose -18 = -2*a + s*q, 3*a - 3*q = 2*q + 29. Is 5 a factor of a?
False
Let r(t) = -t**3 - 4*t**2 + 4*t + 9. Suppose 20 = -17*a - 82. Is r(a) a multiple of 32?
False
Let s be ((-69)/21)/(-1) + (-12)/42. Suppose 0 = -s*w - 6, 4*w = -4*c - c + 772. Does 31 divide c?
False
Let u(a) = -2*a**3 - 6*a**2 + 4*a + 10. Does 10 divide u(-6)?
False
Let p(t) = 2*t**2 - 11*t + 9. Let a(u) = u - 1. Suppose 5*f + 11 = 36. Let r(v) = f*a(v) + p(v). Is 11 a factor of r(6)?
False
Suppose -4*k + 204 = 676. Let a = k + 190. Suppose -5*p + 2*p = -a. Does 8 divide p?
True
Let x(w) = w - 17. Let i be x(8). Let u(f) = -f**2 - 13*f. Does 7 divide u(i)?
False
Let s = -3556 + 5788. Does 62 divide s?
True
Let v be (-12)/7*35/(-10). Suppose -3*a = 5*g, 2*g = a + v*g + 7. Suppose -2*k + 36 = 4*w - 3*k, -5*k = a*w - 45. Is w a multiple of 9?
True
Let k = -439 - -1079. Is 10 a factor of k?
True
Suppose 2*a - 1 = 6*l - 3*l, -4*l - 13 = -5*a. Suppose l*g - 8 = 1. Is (-9)/(-6)*28/g a multiple of 7?
True
Let j = -16 + 20. Suppose -j*n + 220 = -2*n. Is n a multiple of 22?
True
Does 3 divide (-23)/((-2576)/(-64)) - (-7988)/14?
True
Suppose 2*y - 5*y = -360. Suppose -60 = -2*b + 3*t, -3*b - y = -7*b + 2*t. Does 4 divide (4/(-5))/((-6)/b)?
True
Let t(j) = 29*j**2 + 117*j + 1227. Is 13 a factor of t(-10)?
False
Suppose 0 = -3*r + 6*r + 36. Let o = r + 9. Does 16 divide 2/6 - 143/o?
True
Let f(c) = -c - 2. Let h be f(3). Does 5 divide 3*h/(-12)*1*20?
True
Suppose -5*y = -4*d - 18, 4 = 2*y - y - d. Suppose -2*c = 5*l + 18, -y = 2*l + 2. Does 5 divide (15/c)/(24/(-64))?
True
Suppose -2*d - w + 74 = 0, 2*w + 96 = 5*d - 80. Let f = -15 + d. Does 7 divide f?
True
Let m = -1 - -39. Is m a multiple of 3?
False
Let q = -60 + 62. Suppose -q*l - 2*u + 6 = -0, -37 = -4*l + u. Is 2 a factor of l?
True
Let b(r) = -r**3 + 7*r**2 + 7*r - 8. Let t be b(4). Suppose -3*p = 5*n - 93, -p = -3*n + t - 1. Is 5 a factor of n?
False
Let h be ((-14)/(-6))/(2/(-6)). Let u(m) = -m**3 - 8*m**2 - 6*m + 5. Let a be u(h). Does 18 divide -146*a/(-4)*-1?
False
Let b(q) be the third derivative of q**5/60 + 5*q**4/8 + 19*q**3/3 + 33*q**2. Is 24 a factor of b(-16)?
False
Does 13 divide (-3)/((10/(-5))/468)?
True
Let m(y) = -184*y**3 + y**2 + 2*y - 3. Let z be m(1). Let f = -36 - z. Is f a multiple of 32?
False
Suppose -6*y + 2*y + 3*q = 87, -4*q - 60 = 2*y. Is 38 a factor of (-5445)/y - 7/(-56)?
False
Let l(t) = -115*t + 236. Is 22 a factor of l(-10)?
True
Is 45 a factor of (-1)/4 - ((-7419)/12 + -1)?
False
Suppose -t = -5, 4*j + j - 4*t = -170. Let q = 92 + j. Does 10 divide q?
False
Let c(h) = h**2 - 1. Let t(q) = 4*q**2 - 4*q + 1. Let w(l) = 5*c(l) - t(l). Does 8 divide w(-7)?
False
Let y be 4/(-2) - (10 + 35). Let l = 68 + y. Is l a multiple of 6?
False
Let v(d) = d**3 - 2*d**2 + 625. 