+ 7 = t. Is i(t) a multiple of 2?
True
Let f be -8 + 2 - -1 - 0. Let u = f + 8. Suppose u*n - 32 - 1 = 0. Is 3 a factor of n?
False
Suppose -5480 = -0*p - 2*p. Is 19 a factor of p/18 + 20/(-90)?
True
Let m(n) = -2*n**2 - 12*n - 4. Let z(t) = 6*t**2 + 35*t + 12. Let g(s) = 8*m(s) + 3*z(s). Is 2 a factor of g(-5)?
False
Let x be (-12)/42 + (-88)/(-14). Suppose 46 = 2*a - l, x*l + 66 = 3*a + 3*l. Is 5 a factor of a?
False
Let m = -65 + 31. Let b(h) = -17*h + 3. Let w be b(-3). Let q = m + w. Is q a multiple of 7?
False
Let n = 8 - 2. Let l(d) = -2*d**2 + 44*d - 165. Let o be l(5). Suppose 0 = -5*z - q + 421, -2*q + 416 = o*z - n*q. Does 21 divide z?
True
Let g = 154 - 21. Is g a multiple of 19?
True
Suppose -7 - 18 = -5*w. Suppose 9 = -w*m + 8*m. Is (-3 - -28)*(4 - m) a multiple of 4?
False
Let z(q) = 3*q**2 - 61*q + 18. Does 65 divide z(26)?
False
Suppose -u + 0 = 34. Does 16 divide -2 - u*10/4?
False
Suppose -9 = -m + 25. Suppose 0*q = -q + m. Suppose 2*n - q = 14. Does 11 divide n?
False
Let f be -2*5/3*-3. Suppose -3*q + f = -2, -u - 5*q + 53 = 0. Does 8 divide u?
False
Let u be (-1)/(((-16)/(-24))/(4/(-2))). Suppose -u*c = 4*z - 186, -4 = -2*c - 8. Does 19 divide z?
False
Suppose 0 = -3*q - 9*w + 12*w + 624, 0 = -2*q - 4*w + 428. Is q a multiple of 13?
False
Let d(l) be the first derivative of 9*l**2/2 - 5*l - 7. Let i(z) = -19*z + 11. Let n(y) = -5*d(y) - 2*i(y). Does 21 divide n(-4)?
False
Let i(v) = 0*v - 4*v - 4*v + v - 18. Is i(-12) a multiple of 11?
True
Let r(l) = 3*l**2 - 8*l - 4. Let x be (-8)/8 + (-1 - -22). Suppose 0 = 2*v + 3*v - x. Is 6 a factor of r(v)?
True
Suppose -17*b - 960 = -22*b. Is b a multiple of 48?
True
Suppose 484 + 356 = 5*a. Suppose -6 = w + w, 3*k + w - a = 0. Is k a multiple of 12?
False
Suppose -130 = -19*t + 41. Suppose 0 = -t*z + 2744 - 935. Does 14 divide z?
False
Suppose 14*m = 3169 + 2529. Does 11 divide m?
True
Is 13 a factor of (3800/(-19))/(4/(-10))?
False
Let t be 0/(-3) - -206*(-3)/(-6). Suppose 5*f + 4*p - 16 = t, -4*f = -3*p - 89. Does 21 divide f?
False
Suppose -j + 1475 = -415. Is j a multiple of 45?
True
Let f be 5/10 - 44/(-8). Does 8 divide 115/2 - (f - 18/4)?
True
Let r(u) = 11*u - 22. Let s be r(5). Suppose s*n + 335 = 38*n. Does 9 divide n?
False
Let n(l) = 22*l**2 + 63*l + 21. Is n(6) a multiple of 6?
False
Let l = 2689 - 2636. Is 8 a factor of l?
False
Suppose -4*u + 385 = -5*l - 500, 0 = -4*u - l + 903. Suppose 0*b = 3*j + 4*b - 231, -3*j - 2*b + u = 0. Is 19 a factor of j?
False
Let g(m) = -5*m**3 + 20*m**2 + 12*m - 21. Let t(k) = -3*k**3 + 10*k**2 + 6*k - 11. Let r(w) = -4*g(w) + 7*t(w). Is r(-10) a multiple of 24?
False
Let d(c) = -32*c + 1. Let x be d(-1). Suppose x = 2*f + f. Is 4 a factor of f?
False
Let v = -31 - -33. Let f(j) = 10*j**2 - 4*j + 4. Does 18 divide f(v)?
True
Let t(q) = q**3 - 8*q**2 + 13*q - 10. Let l be t(5). Does 4 divide (-556)/l + (-1)/(-5)?
True
Let n(o) = -5*o - 2. Suppose 0 = -12*f + 16*f + 8. Let v be n(f). Let j = v - 2. Is j a multiple of 2?
True
Let j = -1083 + 1353. Is j a multiple of 16?
False
Suppose 1 = -3*c - 2, 4*k - 4*c - 5032 = 0. Is 20 a factor of k?
False
Suppose -3*n - 36 = n. Let f = -26 - -39. Let k = f + n. Does 3 divide k?
False
Is 13 a factor of ((-87)/145)/(6/4)*-795?
False
Let z be 51*-2*-3 + -2. Suppose -2*h - l = -z, 3*h = 2*l + 644 - 174. Does 17 divide h?
False
Let m be 145/(-2)*(-84)/105. Suppose 0 = 3*g - m - 44. Is g a multiple of 34?
True
Suppose 0 = -2*p - 3*y + 2, 0 = p - 5*y + 2*y - 10. Let d(a) = -a**2 + 5*a. Let f be d(p). Does 3 divide f - (0 + 3/(-3))?
False
Let a(s) be the third derivative of -s**6/120 - s**5/15 - s**4/8 - s**3/2 - 3*s**2. Let k(l) = -l**3 + l**2 - l. Let z(t) = -a(t) + 2*k(t). Does 19 divide z(4)?
False
Let l(w) = -w**2 + 13*w - 25. Let c be l(10). Suppose r + 4 = 0, 3*b + 0 = -c*r + 46. Does 3 divide b?
False
Let f = -3 + 6. Let v = -5 - -3. Does 13 divide (6/f - 17)*v?
False
Let q = 893 - 86. Does 20 divide q?
False
Suppose 0 = s + r - 161, s - 159 = 13*r - 12*r. Suppose -2*c - 2*c = -28. Suppose -2*p = -c*p + s. Does 6 divide p?
False
Let b be 4 + (-2 - 3)*2/(-5). Suppose k = 5*k - p + 43, -2*k + 4*p - 18 = 0. Is (k + b)/((-2)/18) a multiple of 15?
True
Let c(l) = 7*l**2 - 8*l + 30. Does 3 divide c(3)?
True
Suppose 11*s - 1064 = 3*s. Is s a multiple of 19?
True
Is (20886/54 - -7) + (-2)/(-9) a multiple of 62?
False
Suppose -3*w + 4*y = 44, -3*w + 5*y = 2*y + 48. Let s be -5 + 7 + w/(-2). Suppose 5*m - 50 = 2*r - s, -m + 2*r = -6. Does 8 divide m?
True
Suppose 4*f + f - 5*y = 10, 24 = 3*f + 3*y. Suppose 4*h + f*h - 1881 = 0. Does 11 divide h?
True
Let o(i) = i**3 + 7*i**2 - 7*i + 8. Let t be o(-8). Suppose 5*n - 70 = -k, -k - n = -t*k - 66. Does 13 divide k?
True
Let r(h) = -2*h - 13. Let t be r(-8). Suppose -b = t*b. Suppose b = 4*m - 16, -5*c + 127 = -4*m + 43. Does 11 divide c?
False
Suppose 4*i = -2*k + 18, 0 = i + k + 1 - 6. Suppose i*l + 0 + 4 = 0. Is 26 a factor of (56/14)/(l/(-13))?
True
Suppose -j = 4*i - 1108, 5*i - 4*i - 5635 = -5*j. Is 30 a factor of j?
False
Suppose 2*r - r = 6. Suppose g - 22 = -2*v - r, 5*g + v = 44. Does 9 divide (-1000)/(-30) - g/6?
False
Let y = 5796 + -3457. Is 11 a factor of y?
False
Let c(s) = -146*s + 285. Is 25 a factor of c(-15)?
True
Suppose 4*b = 4*y - 0 - 20, -31 = -5*y + 3*b. Let q(v) = 2*v - 19. Let f(a) = 5*a - 56. Let g(l) = y*q(l) - 3*f(l). Does 21 divide g(5)?
True
Let f = 993 - 990. Let o = -13 - -19. Suppose 2*s + 142 = -2*i + o*i, -4*s - 104 = -f*i. Does 9 divide i?
True
Suppose -1 = -5*k + 4. Let s(b) = -89*b**3 + 2*b**2 - 1. Let o be s(k). Let f = -44 - o. Is f a multiple of 22?
True
Suppose -2821 = -4*z - 3*f, -91*f = 3*z - 90*f - 2112. Does 8 divide z?
False
Let g = -27 + 25. Let l(c) = 5*c**2 - 5*c - 1. Does 15 divide l(g)?
False
Let a(y) = -101*y + 10. Let x be a(-3). Let c = -171 + x. Is c a multiple of 12?
False
Let c = -645 + 1331. Let a = -382 + c. Suppose 0*j - 4*n - 96 = -j, -4*j + a = 4*n. Does 29 divide j?
False
Let j(i) = 7*i**2 - 9*i - 15. Let a be j(-5). Let f = -10 + a. Is f a multiple of 13?
True
Suppose 3*u - 9 = 3. Let o(d) be the second derivative of 17*d**3/6 - 2*d. Does 17 divide o(u)?
True
Let r = -378 - -960. Let w = r - 212. Is 37 a factor of w?
True
Suppose 6 = 5*f - 2*h, 3*f - 4*f + 9 = -3*h. Suppose -93 = -5*r - f*c - 4*c, 81 = 4*r + c. Does 5 divide r?
False
Let k(v) = 5*v**3 - 7*v**2 - 24*v - 28. Let b(j) = 11*j**3 - 13*j**2 - 49*j - 57. Let u(w) = -6*b(w) + 13*k(w). Is u(-13) a multiple of 28?
False
Let d(v) be the first derivative of -v**5/12 + 5*v**4/24 - v**3 + 2. Let l(u) be the third derivative of d(u). Is l(-3) a multiple of 11?
False
Let p(t) = 641*t**3 - 2*t**2 - 9*t + 11. Is p(1) a multiple of 26?
False
Let g(o) = -12*o - 204. Is 4 a factor of g(-18)?
True
Suppose -i - 6 + 10 = 0. Suppose 0 = i*t - 11 - 29. Let h(o) = o**2 - 9*o - 4. Is 5 a factor of h(t)?
False
Suppose 20*l = 9*l + 3234. Is l a multiple of 14?
True
Is 1 + -2 - -4*202/8 a multiple of 25?
True
Is 2357 + 0 + 3 - 3/(-1) a multiple of 17?
True
Is (-16 - -23) + (4 - 1) + 1830 a multiple of 93?
False
Suppose -2*t + u - 36 = 0, -u = 3*t - 6*u + 54. Let y(x) = -x - 2*x - 24 + x. Does 6 divide y(t)?
True
Let b(h) = -4*h - 4*h**2 - 4 - 5*h + 2*h + 5*h**2. Let m be b(7). Does 9 divide (27/m)/(12/(-64))?
True
Suppose 296 = c - 973. Is c a multiple of 16?
False
Let u be (-3)/(-3*(-1)/(-267)). Suppose 0 = -5*n + 38 + u. Is n a multiple of 27?
False
Let g = -5 - -21. Let k = -11 + g. Is 10 a factor of 1 + (-5)/(k/(-9))?
True
Suppose -6182 - 9302 = -14*r. Does 79 divide r?
True
Suppose 12*c = 616 + 308. Let x = c - -65. Does 18 divide x?
False
Suppose 18*t = 7*t + 143. Is 11 a factor of t?
False
Suppose -363*s + 371*s - 8448 = 0. Does 14 divide s?
False
Suppose -2*f = 3*w - 38, -f + 12 = w - 2. Suppose -w*c + 3*c = -238. Is 18 a factor of c?
False
Suppose 2*t - 18 - 2 = 0. Let s be (328/t)/(16/40). Is 19 a factor of (8 + -6)*s/4?
False
Let a(l) = -l**3 + 14*l**2 + 11*l + 20. Is 11 a factor of a(7)?
True
Let g(l) = 22*l - 38. Does 27 divide g(11)?
False
Let m = 16 + -54. Let n = m + 46. Is 4 a factor of n?
True
Let s be (-2)/(-7) - (-4)/(-14). Suppose 16*r = 990 - 334. Suppose s = 4*l - 87 - r. Is l a multiple of 16?
True
Let s(q) = 19*q**3 + 3*q**2 + 6*q