et i = 293 + p. Does 13 divide i?
False
Let m(l) = -6*l**2 - 8*l**2 + 10*l - 9 + 2*l**3 + 3*l**2. Is m(7) a multiple of 43?
False
Let z = 19431 + -9171. Is 60 a factor of z?
True
Let s = 293 + -285. Suppose l - 776 = 5*o - s*o, 4*o = -l + 1036. Does 20 divide o?
True
Let x = -99 - -394. Let z = 299 - x. Is z a multiple of 2?
True
Let w = -18 + 23. Suppose 2*f + 4*s = 770, -5*f + f - w*s + 1528 = 0. Suppose -8*z + f + 23 = 0. Is z a multiple of 25?
True
Suppose 286800 = 520*a - 496*a. Is 29 a factor of a?
False
Let g(z) = -z**3 + 4*z**2 + 8*z + 4. Let o be g(5). Let y(b) be the second derivative of -b**4/12 + 10*b**3/3 + 8*b**2 + b. Is 14 a factor of y(o)?
False
Suppose 0 = -5*h + 29*h - 120. Suppose 10*o - 14340 = -h*o. Is 16 a factor of o?
False
Let n(t) be the third derivative of t**5/15 + 11*t**4/12 - 59*t**3/6 - 110*t**2. Is n(3) a multiple of 3?
False
Suppose 11617*s - 11622*s + 3800 = 0. Is 19 a factor of s?
True
Let b(u) = 24*u + 152. Let i be (-14 + 2)/3 + -2*1. Is b(i) a multiple of 5?
False
Let r = -8624 - -11728. Is 119 a factor of r?
False
Let s(k) = 158*k**2 + 10*k - 12. Suppose 12*d - 13*d + 1 = 0. Does 12 divide s(d)?
True
Let p be (-7)/21 + 1/((-9)/60). Let k(z) = z**3 + 5*z**2 - 17*z - 5. Let n be k(p). Suppose 16 = s + 4*g, -5*s + 3*g = n - 50. Does 4 divide s?
True
Suppose 26672 = 4*n + 4*r, -13280 = -15*n + 13*n + 5*r. Does 47 divide n?
False
Suppose -4*w = -s - 31 - 60, 2*s + 194 = 2*w. Suppose 0*j + 5*j = -230. Let p = j - s. Is 7 a factor of p?
False
Let v = 3379 + -2884. Does 11 divide v?
True
Suppose 0 = -2*v - j - 97, -5*v + 14 = 3*j + 254. Let h be ((-4)/3)/(17/v). Suppose -4 = -2*c - 5*u + 11, -3*c + h*u + 80 = 0. Is 10 a factor of c?
True
Suppose -2172 = -2*g + 860. Is g a multiple of 24?
False
Suppose -l + 3 = -5. Let x be 126/24 + (-2)/l. Suppose -2*d + 330 = 5*o, -2*o + 880 = x*d + 13. Is d a multiple of 16?
False
Let b(t) = -t**3 + 54*t**2 - 179*t + 190. Does 8 divide b(45)?
True
Suppose 36*m - 7*m - 34315 + 3952 = 0. Is m a multiple of 7?
False
Let a = 796 + -793. Suppose 5 = 3*z + s - 0, 3*s + 1 = -z. Suppose a*r + 4*k = 440, -405 = -3*r + z*k + k. Is 20 a factor of r?
True
Let f = -72 - -64. Let i(j) = -4*j + 85. Does 5 divide i(f)?
False
Let o(q) = 11*q + 0*q**3 - 16*q**2 - 2*q**3 + q**3 - 4. Suppose -4*k + 11*x = 15*x + 80, k + 2*x + 23 = 0. Does 49 divide o(k)?
True
Let d(q) = 57*q - 1217. Is d(36) a multiple of 3?
False
Suppose 3*t + 39 = -4*c, t - 52 = 5*t - 5*c. Let v = t + 25. Suppose -v = -5*n + 418. Is n a multiple of 18?
False
Let b(o) = -13*o + 5. Let c be b(7). Let p = c + 84. Let v(u) = -19*u - 11. Is 13 a factor of v(p)?
False
Is 12 a factor of 18/((-375)/(-360) + -1)?
True
Let i = 18313 - 166. Is i a multiple of 263?
True
Suppose 5*h + 5*k - 60 = 0, -4*k = -5*h - k + 60. Suppose 14*g - 1064 = -3*c + h*g, -3*g - 1413 = -4*c. Is c a multiple of 12?
False
Suppose -f - 32 = -9*f. Suppose 4*m + f*d - 1269 = d, 5*m + 3*d - 1584 = 0. Is 37 a factor of m?
False
Suppose 28*m - 226 = 110. Suppose 4*g + m*g - 6512 = 0. Is 8 a factor of g?
False
Suppose 0 = 14*a - 17 - 39. Does 6 divide (a/(-10))/(3/(-180)*1)?
True
Suppose -88 + 1808 = 4*s. Let a = 826 - s. Is a a multiple of 38?
False
Let z(b) = -14 - 4*b + 3*b + 21*b + 0*b - b**2. Suppose 0 = -5*m - f + 43, -8*f = m - 4*f - 20. Is z(m) a multiple of 41?
True
Let u = -880 + 880. Let f(x) = -8*x**2 - 2*x + 135. Does 5 divide f(u)?
True
Let z(s) = s + 14. Let h be z(-5). Let r(p) = -p**3 + 19*p**2 - 7*p + 82. Does 30 divide r(h)?
False
Let u be (-2)/(-4 - -8)*-254. Suppose u = 4*v - 989. Does 10 divide v?
False
Let c = 244 + -54. Suppose -14*x + 736 = c. Is x even?
False
Let n(f) = 3*f**3 + 9*f**2 - 44. Let z be n(6). Is z + -54 + 1 + 5 a multiple of 21?
False
Let h = -1652 + 591. Let x = -998 - h. Does 9 divide x?
True
Suppose 3*d - 27868 = i, 5*d - 3*i = 2*d + 27876. Suppose 24*c = 15*c + d. Is c a multiple of 13?
False
Suppose 28392 = 2*b + 4*i, -12*b - 3*i = -74023 - 96497. Is b a multiple of 68?
True
Suppose -40*g - 47*g - 158*g = -7668990. Does 22 divide g?
False
Let u(p) = -4*p**3. Suppose 0 = 163*m - 159*m + 16. Is u(m) a multiple of 24?
False
Let c(w) = w**3 + 65*w**2 - 964. Does 122 divide c(-63)?
False
Suppose 3*f + 5*n = 4315, 5*f - 24*n = -25*n + 7155. Is f a multiple of 22?
True
Does 11 divide 176/176*(-1)/(2/(-3244))?
False
Let v(f) = 1243*f - 3087. Is 18 a factor of v(8)?
False
Let w = 113 + -93. Let b be (w/12 + 3)/((-4)/66). Let z = b + 97. Does 3 divide z?
False
Let i be (-3)/((-21)/(-14) - 3). Is 8036/(-70)*(-7 + i) a multiple of 14?
True
Let h = 61480 - 31132. Is h a multiple of 22?
False
Let d(k) = 597*k + 597. Does 164 divide d(11)?
False
Suppose f - x - 13 = 0, 60 + 25 = 5*f + 5*x. Let n be 591/6 - f/(-10). Let p = n + -48. Is p a multiple of 30?
False
Suppose -c = -5*u + 14009, -u = 4*c + 94 - 2879. Is 10 a factor of u?
False
Suppose -4*q = 8*t - 10*t - 22712, 3*q + 5*t = 17086. Is q a multiple of 91?
False
Suppose -2*p + 10*p + 216 = 0. Let r = -13 - p. Suppose 6*h - 4*h - r = 0. Is h a multiple of 2?
False
Suppose -72*a + 592484 = -4*a. Is 13 a factor of a?
False
Let k = 5214 + 25498. Is k a multiple of 22?
True
Let q = 591 - 587. Suppose -2*s = -q*m + 4990, 0*s - 6218 = -5*m - 4*s. Is 15 a factor of m?
False
Suppose -15*j + 16*j - 15 = 0. Let t(v) = j*v - 32*v + 5 - 4. Is 13 a factor of t(-3)?
True
Suppose 3*u = y - 14, 5*u + 5*y = -4 - 6. Let b(g) = -11*g + 10. Let d(f) = -12*f + 11. Let s(c) = 3*b(c) - 2*d(c). Does 11 divide s(u)?
True
Let o(q) = 1 + 0*q + q**2 + 4*q - 2*q + 2*q. Let j be o(-5). Let w(p) = -p**3 + 4*p**2 + 12*p + 14. Is 4 a factor of w(j)?
False
Let p(y) be the second derivative of 0 - 1/20*y**5 - 35/2*y**2 - 9/2*y**3 - 13*y - 3/2*y**4. Does 21 divide p(-17)?
False
Let b(n) = -n**3 - 3*n**2 + 3*n - 1. Let j be b(-4). Suppose 3*r = 4*m + 331, -j*r = r - 3*m - 446. Is r a multiple of 16?
False
Let q = -33 - -35. Let k(p) = p**3 + 57*p - 19 + p**2 - 8*p**q - 40*p. Is k(7) a multiple of 10?
True
Let a(r) = 3364*r**2 - 9. Is a(2) a multiple of 27?
False
Let h(b) = b**3 + 23*b**2 + 26*b - 1. Let t(z) = -z**3 - 21*z**2 - 24*z. Let y(g) = 5*h(g) + 6*t(g). Let r be (-15)/(-9)*12/(-2). Does 7 divide y(r)?
True
Does 18 divide (-382461)/(-12) + -4 - ((-18)/24)/3?
False
Let o(z) = 22*z**3 + 15*z**2 + 46*z - 309. Is 12 a factor of o(13)?
False
Let u(l) = -18*l**3 - 2*l**2 + 3*l + 203. Is 149 a factor of u(-7)?
True
Suppose -10*v = -11*v + 2*c + 70, 5*v - 5*c - 365 = 0. Let b = 174 - v. Is b a multiple of 63?
False
Let a be 3/(-2) - 9/6. Let v be 712/7 + (-12)/(-42) - a. Is 9 a factor of 14/v - (-806)/30?
True
Let g(w) = -3*w**3 - 24*w**2 + 45*w - 84. Is g(-12) a multiple of 8?
True
Let n(i) = -4*i**2 + 6*i + 3. Let t(p) = -7*p**2 + 11*p + 6. Let r(u) = 5*n(u) - 3*t(u). Is r(11) a multiple of 44?
False
Suppose 4*k = -4*l - 28, 2*k = -l + 3*k + 3. Let b be (l - -3 - 11)*(-3)/2. Let c = b + 1. Is c a multiple of 6?
False
Let m(g) = g**3 - 3*g**2 + g + 11. Let v be m(-9). Let k = -652 - v. Is 53 a factor of k?
True
Let k = 1379 + 220. Is k a multiple of 41?
True
Let v(a) = -3*a**3 - 5*a**2 - 3*a - 311. Let x(y) = 5*y**3 + 8*y**2 + 5*y + 466. Let k(j) = -8*v(j) - 5*x(j). Let p be 1 + (4 - 4) - 1. Is 18 a factor of k(p)?
False
Let c = 9543 - 3296. Does 15 divide c?
False
Let s = 42 - 84. Let h = s + 48. Suppose -2*v - 408 = -h*v. Is v a multiple of 12?
False
Suppose 229*l - 28550 = 540123 + 1212031. Does 18 divide l?
True
Let z be 2*((-2)/(-1) + 228). Let s = -302 + z. Is s a multiple of 7?
False
Is 1 - 88654/(-6) - ((-348)/(-9) - 37) a multiple of 75?
True
Let b(j) = -10*j + 2300. Let o be b(0). Suppose 5*h + o = 3*g - 1238, -5*g + 5884 = -2*h. Is g a multiple of 14?
True
Is (-1)/(3 + 8/(146832/(-55069))) a multiple of 69?
True
Let o be 2/10 + 672/40. Suppose -l + 98 = -o. Suppose 5*a = -0*a + l. Is 23 a factor of a?
True
Suppose 15*y = 71162 + 25132 + 154821. Is 148 a factor of y?
False
Let s(l) = l**2 - 17*l - 46. Let p be s(-3). Suppose 3*o - p*o + 7392 = 0. Is 15 a factor of o?
False
Suppose -4*r - 270 = -5*b, -3*r = -r. Suppose 12*z = 3*z + b. Is 10 a factor of 422/z - (1/3 + 0)?
True
Let v(k) = k**3 + 7*k**2 - 9*k - 8. Let h be v(-8). Suppose h = 6*f - 98 - 70. Does 2 divide f?
True
Let f be (-3)/1*((-6)/9 + -3). Supp