2. Suppose z - 15 = -5*n, 4*n = 4*z - 2*z + 26. Is t(z) a multiple of 6?
False
Suppose 4 = 4*d, d = h - 37 - 8. Let k be (-3)/4 + h/8. Suppose -k*u - 5*w + 15 = 0, -2*u - 2*w + 30 = -6*w. Is u a multiple of 5?
False
Is 9 a factor of (-7 + 8)*72/2?
True
Suppose 34 = 4*t - 558. Is 37 a factor of t?
True
Let m(k) = k - 2. Let c be m(6). Let n(g) = g**2 - 6*g + 8. Let s be n(6). Suppose 3*b = c*b - s. Is 8 a factor of b?
True
Suppose -h = -0*h + 2. Let j be 7 + (0/1)/4. Let r = j + h. Is 5 a factor of r?
True
Is 1 - (-4 + 2 + -72) a multiple of 12?
False
Let q be (-8)/(-16)*(0 - 2). Let r = q - -2. Let f = 47 - r. Does 13 divide f?
False
Let s = 50 - -100. Does 6 divide s?
True
Suppose -2*v + 2*r = -184, -5*v + 4*r + 484 - 19 = 0. Suppose 5*a = -4*z + v, 6*a - z = 2*a + 65. Is 7 a factor of a?
False
Suppose 2*l - 20 = 4*k, 0*l - 5*k - 4 = l. Let u = 311 + -180. Suppose -5*y - l = -u. Is 10 a factor of y?
False
Let m = -12 + 14. Is 82*(m + (0 - 1)) a multiple of 19?
False
Does 13 divide (-2)/(-3) + (-462)/(-9)?
True
Let d be ((-15)/18*3)/(5/(-4)). Let u = 19 + -1. Suppose 0 = d*r - u + 2. Is r a multiple of 4?
True
Let v(t) be the first derivative of -t**6/360 - 11*t**5/120 - 3*t**4/8 + t**3/3 + 1. Let b(o) be the third derivative of v(o). Does 3 divide b(-9)?
True
Let m = -19 - -19. Suppose -4*b + 2*q = -m*q - 44, -8 = -4*q. Is 5 a factor of b?
False
Suppose v - 8 = 9. Is v a multiple of 2?
False
Let g = 35 - 84. Let b be (g/2)/((-2)/4). Suppose 3*n - 4*h - 148 = 0, -n + b = -3*h + 2*h. Does 21 divide n?
False
Suppose -3*n - 169 = -5*s + 29, -2*s - 3*n = -75. Does 6 divide s?
False
Let h be (-4)/(0/3 - 1). Suppose h*d - 46 = -14. Is d a multiple of 3?
False
Suppose -13*o + 16*o - 285 = 0. Does 19 divide o?
True
Let n = -23 - -1. Let v = 32 + n. Is 4 a factor of v?
False
Let a(h) = 9*h - 8. Let s be a(-8). Let p = -55 - s. Let n = p + -8. Is 17 a factor of n?
True
Let a = -4 - -9. Let h = -5 + a. Suppose h = 7*c - 4*c - 48. Does 8 divide c?
True
Suppose 2*p = -2*p. Suppose p = 3*j + 2*j - 55. Does 10 divide j?
False
Let j(n) = 3*n + 12 + 11 - 2*n. Does 14 divide j(0)?
False
Let h(f) = -5*f - 3. Is h(-7) a multiple of 16?
True
Is 12 a factor of 3*-1 - (-123 - 0)?
True
Is 2*(-4 - 26/(-4)) a multiple of 5?
True
Let p = 470 - 259. Is p a multiple of 13?
False
Let z = 321 - 201. Suppose 0 = 6*v - v - z. Is v a multiple of 12?
True
Suppose -1 = -3*z + g - 2*g, 0 = 5*z - 3*g - 25. Let u be (-1)/z*1*-2. Let y = 10 - u. Does 3 divide y?
True
Suppose 25 = -0*b + 5*b. Suppose 0 = -x + b + 3. Let n = x - 2. Is 6 a factor of n?
True
Suppose -2*h = -122 + 62. Does 3 divide h?
True
Let r(b) = -b**3 + 21*b**2 + 4*b - 16. Is 10 a factor of r(21)?
False
Is 69*3/9 - -2 a multiple of 5?
True
Let y = -42 - -194. Is 38 a factor of y?
True
Let c(y) = 2*y**3 + 15*y**2 + 7*y - 1. Does 13 divide c(-6)?
True
Suppose 3*x - 4*x + 144 = 0. Does 18 divide x?
True
Let s = 91 + -57. Is 6 a factor of s?
False
Let m be -1*(1 - 0) + 45. Let z = 83 - m. Is z a multiple of 11?
False
Let h be (12/(-8))/((-1)/2). Let k(m) = 5*m - 4. Let j be k(h). Is (-2)/3 - j/(-3) a multiple of 3?
True
Let z(p) = -31*p - 10. Let b(m) = 61*m + 19. Let y(g) = -6*b(g) - 11*z(g). Is y(-2) a multiple of 23?
True
Let c(u) = -49*u**2 + u - 2. Let q be c(-2). Does 10 divide q/16*(-12)/5?
True
Does 3 divide (-10)/(-35) - (2 + (-225)/21)?
True
Suppose -6*q - 62 = -8*q. Let a = q - 17. Is 9 a factor of a?
False
Let j(h) = h**3 - 22*h**2 + 7*h + 14. Is 31 a factor of j(22)?
False
Let k(j) = -13*j + 13. Does 31 divide k(-12)?
False
Let i = 169 - 26. Is i a multiple of 11?
True
Suppose 102 = m + 4*g, 5*m + 204 = 7*m - 3*g. Is m a multiple of 8?
False
Let i(f) = -f**3 - f**2 - 2*f + 3. Let d be i(-3). Suppose 3*z - 75 + d = 0. Is 8 a factor of z?
True
Suppose -5*k = -3*k. Let d be 3 + (-2 - 1) + (1 - -19). Let s = d - k. Is 10 a factor of s?
True
Let t be 0/(-1) + 2 + 0. Suppose -t*f = -4*f. Suppose f*q + q - 18 = 0. Is q a multiple of 9?
True
Suppose 0 = -2*g - 3*g - 3*i + 691, -2*g + 266 = -4*i. Does 21 divide g?
False
Suppose 210 = 2*m + 3*m. Suppose 0 = 5*z + 4*u - 72, 4*z - m = z - 3*u. Does 16 divide z?
True
Let v be (-1 - -2) + 34/(-2). Let z = v + 25. Is 9 a factor of z?
True
Suppose 5*m - 32 = -4*p, 4*p - 4*m + 5 - 1 = 0. Suppose 4*l = z + 8*l - 69, p*z - 193 = 2*l. Is z a multiple of 19?
False
Suppose 0 = w - 110 - 7. Is 13 a factor of (w/(-52))/(2/(-56))?
False
Let v = -184 + 356. Is 38 a factor of v?
False
Let o(g) = g**3 + 4*g**2 - 7*g - 6. Let w be o(-5). Suppose 2*n = w*f + 44, 5*n - 5*f - 142 = -3*f. Does 10 divide n?
True
Suppose 0 = b + 3*j + 10, -b + 4*j = 3 - 28. Suppose b*q - 114 - 16 = 0. Suppose -q = -2*a + 6. Does 10 divide a?
False
Let z = 113 - 46. Is 19 a factor of z?
False
Let x(g) = 22*g - 16. Is x(13) a multiple of 40?
False
Suppose -3*f - 13 = -4*n, -5*n + f = -2*f - 17. Let q(w) = -w**2 + 5*w. Let x be q(n). Suppose 170 = x*c + c. Is 17 a factor of c?
True
Is 25 a factor of 183*((-2)/24 + (-3)/(-4))?
False
Let a be 2 + (-4 + 6 - -121). Let z = a + -75. Is z a multiple of 10?
True
Suppose -2*p - 10 = -2*w, -6*w - 3*p = -w - 9. Suppose w*u = u + 36. Is u a multiple of 14?
False
Let q = 42 + -18. Let n = q + -6. Is n a multiple of 18?
True
Suppose 0 = 5*n + 5*j + 53 - 728, -391 = -3*n + 4*j. Suppose h + 38 = v + 5*h, -4*v + 3*h + n = 0. Is v a multiple of 17?
True
Let s(u) = u**3 - 5*u**2 - 5*u - 3. Let i be s(6). Suppose -j + 0*j + 4*a - 6 = 0, i*j = -a + 8. Suppose 22 = 3*d - j. Is 4 a factor of d?
True
Let i = -12 + 17. Suppose -4*n = 3*s - 104, 0 = -n + i*n + 2*s - 104. Is 10 a factor of n?
False
Is 14 a factor of 6/(-15) + 486/15?
False
Is (-3 + (-10)/6)*-3 a multiple of 12?
False
Let m(g) = 42*g**3 + g**2 - 1. Suppose -3*p + 2 = -1. Is m(p) a multiple of 21?
True
Let b(q) = -11*q. Suppose 0 = -f - h + 4*h - 12, 3 = -3*f - 2*h. Does 30 divide b(f)?
False
Let b(r) be the first derivative of -r**2 + 8*r + 1. Is b(-4) a multiple of 16?
True
Let b(u) = -5*u + 6 - 1 + 26*u. Let l be b(6). Suppose 3*q + 2*y - 100 = 6*y, -4*q + 3*y = -l. Does 16 divide q?
True
Let w be 1/(-2) + (-44)/(-8). Suppose 0 = -w*r + 15, 4*m + 0*m + 4*r = 84. Does 12 divide m?
False
Suppose 4*n + 5*f = 0, -5*n = 7*f - 2*f. Suppose 0 = 3*k - 3 - n. Let x = k - -8. Is 7 a factor of x?
False
Suppose -2*l - l + 3 = 0. Let v be (4 - l)*(-1 - 0). Is 14 a factor of -2 - (v + 2 + -38)?
False
Let m(p) = -p**2 - p - 1. Let v(i) = -4*i**2 + 9*i - 9. Let t(h) = -3*m(h) + v(h). Suppose 0 = -0*a - 2*a + 18. Does 9 divide t(a)?
False
Let w = 293 + -163. Is w a multiple of 10?
True
Let t be (-2)/(-9) - 16/(-9). Does 13 divide 78/(-4)*t/(-3)?
True
Let c = -2 + 4. Suppose c = -s + 32. Does 15 divide s?
True
Is 22 a factor of 36 + (0*2/4 - 2)?
False
Suppose 2*s - 141 = -g - 29, 0 = 2*s - 10. Does 8 divide g?
False
Let o(k) = k + 14. Is 16 a factor of o(7)?
False
Let f(i) = -i**2 - 14*i - 6. Let b(v) = -v**2 - 2*v + 2. Let n be b(-4). Is f(n) a multiple of 21?
True
Let b = 12 - 13. Let q = b - -35. Does 34 divide q?
True
Let s = 9 - 0. Suppose 0 = 2*g - s - 31. Does 8 divide g?
False
Let o be (-4)/14 + (-16)/(-7). Suppose 5*j + 29 = 2*p, -o*p + 9 = -5*p - 3*j. Suppose 4*s = y + 64 + 135, -p*s - y + 107 = 0. Is s a multiple of 22?
False
Suppose 0 = -2*z - 6 + 58. Is z a multiple of 13?
True
Suppose -4*n + 2*i + 35 = -3, -5*n - 4*i + 28 = 0. Let d(f) = 5*f - 12. Is d(n) a multiple of 7?
True
Let f be (-10 + 0)*(-2)/5. Let i(j) = 4*j**2 - 7*j + 4. Let p be i(f). Is 10 a factor of 3*(p/6)/2?
True
Let q be (-5)/2*(-24)/30. Suppose -s = -q*w - 136, 2*s + 3*w + 132 = 404. Suppose 4*n - y - y - s = 0, 173 = 5*n - y. Is 15 a factor of n?
False
Let c be -3*(-2)/6*0. Suppose 4 = 2*o - c*o. Is 3 a factor of ((-6)/(-4))/(o/4)?
True
Does 12 divide (-3 - -11) + -4 - -11?
False
Suppose 0 = -2*n - 11 + 31. Let s = 19 - n. Is 7 a factor of s?
False
Suppose -3*z = 2*w + 3*w - 353, 0 = 2*w + 10. Suppose 3*x + 3*v + 0*v = z, 5*x + 4*v - 205 = 0. Is 15 a factor of x?
False
Let y = 46 - 21. Does 10 divide y?
False
Let g(z) = -z**2 - 15*z + 13. Let b be g(-15). Does 5 divide (b - -12)*3/5?
True
Suppose 0 = -4*g + 16, -2*g = -y - 0*g + 28. Does 18 divide y?
True
Let v = 11 - 6. Suppose 3*t - 68 = -5*m, -v*t - 26 = 2*m - 114. Does 15 divide t?
False
Let w(