t + 1. Let x be l(-2). Let y = x - -1651. Is y/72 + 4/(-18) a multiple of 10?
False
Let z be (-356)/(-28) + (-4)/(-14). Suppose y + 2*h = -4 + 11, -3*y - 5*h = -19. Suppose -20 = 5*k, 2*p + y*k - z = -3*p. Is 3 a factor of p?
False
Suppose -6 = -3*s + 3, 4*v - s = 45. Suppose -3 = -t + 5*y, -6*y + 2*y = -v. Is 9 a factor of t?
True
Let x(u) = u**3 + 8*u**2 + 5*u. Suppose 3*d + 59 = 17. Let w = d + 8. Is x(w) a multiple of 9?
False
Is 27 a factor of (324/1)/(12*(-5)/(-660))?
True
Let z(n) = 2*n**2 - 3*n + 5. Let b be z(3). Suppose -7*v + 0*v = -b. Suppose s - 7 - v = 0. Does 4 divide s?
False
Let w(j) = -2*j - 3. Let b be w(-3). Suppose -3*i + f = -b*f - 608, 3*f + 609 = 3*i. Suppose -c - i = -7*c. Is 9 a factor of c?
False
Suppose 3*v + 3*d - 399 = 0, d - 389 = 35*v - 38*v. Is 8 a factor of v?
True
Let p be -6 - -2 - (-945)/9. Suppose 0*d = 5*g + 4*d - p, -d - 1 = 0. Is g a multiple of 6?
False
Suppose f + 18 = -n, -f + 25 + 2 = -2*n. Is 13 a factor of (-6)/((n/93)/5)?
False
Let y(j) = -j**2 + 65*j - 506. Does 8 divide y(46)?
True
Suppose -5*m + 2320 = -5*h, -4*m - 3*h + 1335 = -549. Does 31 divide m?
False
Suppose -2*r - 5 = -7. Let h be (r + -5)/(0 - -1). Is 8 a factor of h/(-8)*4 - -12?
False
Suppose 2*y - 3 = -5, 4*f + 4*y - 9212 = 0. Is 72 a factor of f?
True
Let n(q) = -9*q**3 - 14*q**2 + 14*q - 3. Does 92 divide n(-7)?
True
Let j(l) = -203*l - 1018. Is 25 a factor of j(-6)?
True
Let v = 358 - 212. Let r = -65 + v. Does 27 divide r?
True
Does 26 divide 0 + -5 + 8/(64/536)?
False
Suppose -7*k - 39*k = -26634. Does 18 divide k?
False
Let o be (16/(-12))/(-2)*3. Let r be (-3)/(-2)*o/(-3). Does 35 divide -6*(-18 - r) - -3?
True
Suppose 0 = 5*n - 20, 7*h - 3832 = 6*h - n. Does 132 divide h?
True
Suppose 20265 + 1047 = 16*g. Does 12 divide g?
True
Suppose 14 = h - 7. Suppose -3*c = -r + 13, 4*r = 4*c - r + h. Does 15 divide (-2)/4 + (-122)/c?
True
Suppose -26*h + 16*h + 300 = 0. Is 5 a factor of h?
True
Let o(x) = 13*x**2 - 15*x + 8. Is 16 a factor of o(8)?
True
Let h = 493 + -235. Is h a multiple of 43?
True
Let z(w) = 12*w**2 + 68*w + 43. Is z(-18) a multiple of 9?
False
Suppose -22 = 2*d - u, u + 5 = -d - 3. Let v = -4 - d. Is v a multiple of 6?
True
Suppose -5 - 7 = 2*c. Let g(d) = -1109*d + 6 + 1103*d - 8 - 10. Does 24 divide g(c)?
True
Let f be (21/14)/(6/8). Suppose 0 = f*l - 6*l - 36. Let b(i) = -14*i - 6. Does 30 divide b(l)?
True
Let g be -18*1*15/10. Suppose -s - z = -16, -89 = -s - 3*s + z. Let x = s - g. Does 20 divide x?
False
Suppose -28*c = -4*z - 24*c + 3384, -z + 4*c + 834 = 0. Does 10 divide z?
True
Suppose 5*h - 2*p - 4797 = 0, 3*h - 1923 = 2*p + 956. Does 56 divide h?
False
Suppose 88 = 4*c + 816. Let r = -104 - c. Is r a multiple of 15?
False
Suppose -2*t = -5*s + 16042, 142*s + 16066 = 147*s + 4*t. Is s a multiple of 49?
False
Let l(q) = -q**2 + 71*q + 394. Is 52 a factor of l(45)?
False
Let y(s) = -s + 10. Let i be y(10). Suppose -2*x + 5*p - p - 212 = i, 3*p = -3*x - 309. Is 13 a factor of 1/(10/x)*-5?
True
Let p = 549 + -391. Is 35 a factor of 1 + p + 6/(-3)?
False
Let s = 1143 + -779. Is s a multiple of 7?
True
Let k = 6 + -4. Suppose 6*c + 3*f - 12 = c, 0 = -5*c - k*f + 8. Suppose -2*i - l + 52 = c, 2*l = 2*i + 4*l - 52. Is 10 a factor of i?
False
Suppose 0 = 2*v - 2*a - 0 - 2, -3*a = 4*v - 32. Suppose -54 + 1 = v*y - 4*s, 16 = -y - s. Let w = y - -26. Is 13 a factor of w?
True
Let f = 244 + 177. Does 86 divide f?
False
Let p be 0 + (1 - 3 - -4). Suppose x = -p*x + 126. Is 12 a factor of x?
False
Let h(a) = 0 - 3 - 3*a + a. Let l be h(7). Let y = 72 + l. Does 18 divide y?
False
Let j = 1 - -1. Suppose 0 = -n - 2*q - 15, 0 = -j*q - 3*q - 10. Let l = n - -35. Is 8 a factor of l?
True
Let v(s) = -12*s - 135. Does 2 divide v(-15)?
False
Let b = -42 - -46. Let v(q) = 31*q + 9. Is v(b) a multiple of 19?
True
Let i be (-6 + 7)/((-1)/(-7)). Suppose -4*s + b + 17 - i = 0, 3*s + 4*b = -2. Suppose -s*w + 2*z + 148 = 6*z, -4*w = z - 317. Does 27 divide w?
False
Let f(t) = 3*t**3 + 6*t**2 - 10*t - 2. Is f(3) a multiple of 18?
False
Is 91 a factor of (-35 - 3/1)*156/(-8)?
False
Let r(j) = -117*j + 15. Let f(z) = -29*z + 4. Let c(m) = 21*f(m) - 5*r(m). Does 32 divide c(-5)?
False
Let x(c) = -9*c**2 + 10*c. Let j(a) = -a**2 + a. Let w(s) = 5*j(s) - x(s). Let v be w(5). Let g = v - -1. Does 19 divide g?
True
Is -6 - (-7 - 332 - 12/(-4)) a multiple of 55?
True
Suppose -29 = -5*d + 5*s - 4, 0 = -4*s - 16. Suppose 5*c - 245 = 100. Is 10 a factor of (c*d)/(1 - 0)?
False
Let l(y) = -3*y**2 - 7*y. Let x(m) = -6*m**2 - 13*m + 1. Let i(h) = 7*l(h) - 4*x(h). Let z be i(2). Is (-573)/(-21) + (-4)/z a multiple of 9?
True
Suppose 3*r + 2*v - 3*v - 8 = 0, 4 = 4*r - 3*v. Let i be 464/(-10) + r/10. Let f = i - -69. Is f a multiple of 23?
True
Suppose 6 = -0*v + v - u, 0 = -v - 5*u - 24. Let p(n) = 4*n - 1. Let t be p(v). Suppose -a + t*a = 48. Is 9 a factor of a?
False
Let o be ((-203)/14 - -3) + 2/(-4). Does 43 divide ((-105)/o)/((7/24)/7)?
False
Let q(r) = -14*r**2 + r - 5. Let g(s) = -7*s**2 - 3. Let d(c) = -c**2 + 14*c - 3. Let o be d(14). Let t(u) = o*q(u) + 5*g(u). Does 7 divide t(2)?
False
Suppose 2*k - 58 - 92 = 0. Suppose 5*l + 438 = -4*a + k, -3*l - 3*a = 216. Let g = -47 - l. Is 28 a factor of g?
True
Let j be (-61 - -64) + (-6 - 1). Let z(r) be the third derivative of -r**6/120 - r**5/30 - 7*r**3/6 + r**2. Is z(j) a multiple of 5?
True
Let v be ((-60)/(-42))/((-1)/(-14)). Is 12 a factor of (56/v)/(2/40)?
False
Let q(s) = 25 - 24 + s**2 + 14*s**3 - s + 0*s. Suppose w - 4*w + 19 = 4*v, 5*w + 15 = 5*v. Is 4 a factor of q(w)?
False
Suppose 328*c + 172 = 330*c. Does 22 divide c?
False
Suppose -7 - 133 = 4*j. Let n = j + 66. Let f = 44 - n. Is 12 a factor of f?
False
Suppose -21*h + 3425 + 8230 = 0. Is h a multiple of 13?
False
Let l = 1622 - 470. Is l a multiple of 36?
True
Suppose -4*i - 6 = -6*i, -2*i = -g + 102. Does 5 divide g?
False
Let h = 84 - 28. Suppose 4*t = 4*w - h, -t + 58 = 5*w + 18. Does 3 divide w?
True
Let b(v) = v**3 - 6*v**2 - 6*v - 3. Let h be b(7). Is 106 - (2 - -2)/h a multiple of 35?
True
Suppose -2*r - 2*q = -1316, -5*q - 646 = -r - 0*r. Is 20 a factor of r?
False
Let i be -4 - ((-9 - -6) + 2 + -2). Is 4 + 0 - (-31 + i) a multiple of 4?
True
Let r(i) = 3*i**2 + 3*i**3 - i**2 - i - 2*i**2 + 4*i**2. Let g be r(-4). Is 6 a factor of g/(-10) - (-6)/(-15)?
True
Suppose -5*m = 8 + 2. Let j be (m/6)/((-4)/48). Suppose -l - 3*l + x = -19, j*x - 20 = 0. Does 3 divide l?
True
Let j = 450 - 76. Is j even?
True
Suppose 2*r - 15 = -3*s, -2*r = 2*r + 4*s - 20. Suppose r = -5*i + n + 1030 - 205, 4*i = -2*n + 660. Is 15 a factor of i?
True
Suppose -6*w + w - 75 = 0. Let g be w/(-9) + (-4)/6. Is 4 a factor of 155/10 - g/(-2)?
True
Let r(c) be the second derivative of c**3 + 0 - 3*c + 5/12*c**4 + 3*c**2 - 1/20*c**5. Does 6 divide r(6)?
True
Suppose -3*a - 5*g + 9 = a, a = -2*g. Suppose 84 = a*b - 0*b. Is b a multiple of 14?
True
Let o(b) = -2*b**3 + b**2 - 2*b. Is 5 a factor of o(-3)?
False
Suppose 5*o - h + 22 = 58, 0 = -4*o + h + 28. Suppose o*y - 196 = 6*y. Is 14 a factor of y?
True
Let f be (-60)/(-18) - (-1)/(-3). Suppose 0 = -f*j - 112 + 34. Is -2*-2*j/(-8) a multiple of 5?
False
Let w(k) = 69*k**2 + 6*k - 5. Let y be w(2). Suppose v + 173 = 3*r, -5*r - 5*v + y = -4*v. Is 13 a factor of r?
False
Let k(s) be the third derivative of 3*s**5/20 - s**4/6 + s**3/3 - 14*s**2. Suppose p + 1 = -3*f, 8 = 5*p - 2*f - 4. Does 10 divide k(p)?
True
Suppose -49*m = -46*m - 672. Does 56 divide m?
True
Suppose -2*o + 441 - 95 = 0. Is o a multiple of 34?
False
Suppose -n + 63 = -4*t, -5*t - 41 = -2*n + 37. Let p = -3 - t. Let o = 41 - p. Does 17 divide o?
False
Let v = -242 + 634. Let f be 4/5 + v/35. Is (f/(-7))/(6/(-105)) a multiple of 15?
True
Suppose 0 = 5*i + m - 390, -m = i - 3*m - 67. Let u = i - 21. Is u a multiple of 20?
False
Suppose -5*t = -2*h + 84, 2*t = -h + t + 28. Suppose -3*j - m + h = 0, -4*j = 4*m - 8*m - 16. Is j a multiple of 5?
False
Let s be (-2)/10 + (-54)/30. Let j be (3 + s + -2)*2. Is 12 a factor of (-240)/j*6/15?
True
Let f = 14 + 0. Let a(l) = -l**3 + 13*l**2 + 14*l. Let s be a(f). Suppose 17 = 5*m - 3*g - 107, 3*m - g - 72 = s. Does 10 divide m?
False
Suppose 2*z + 1 = 5*f - 1, 4 = 3*z - 4*f. Let b(y) = -5*y**2 +