 161. Is h a multiple of 5?
False
Suppose -i + 13 = -2*i. Let k = 70 - 71. Let n = k - i. Does 4 divide n?
True
Does 48 divide ((-1118)/10)/((-7)/35)?
False
Let l = 866 + -47. Does 6 divide l?
False
Let s(m) = -2*m + 14. Is 6 a factor of s(-20)?
True
Suppose -2*j - g = -84, 10*j - 133 = 7*j - 5*g. Is j a multiple of 8?
False
Let h(m) = 12*m**2 + 2*m - 1. Let j be h(-2). Suppose 0 = -2*r + 4*t - 10, 4*t - 23 = -r + 2. Suppose -r*b + j = 3. Is b a multiple of 4?
True
Let l(i) = -7*i + 17 - 4*i + 3*i - i**2 - 2*i. Does 17 divide l(-10)?
True
Suppose -3*f = -12 - 9. Let b(u) = -2 + u**2 + 4*u**2 + 2*u - u**3 + f + 2*u. Does 9 divide b(5)?
False
Let m be (53/(-2))/((-1)/2). Suppose -x - d + m = 0, 5*d - 62 + 347 = 5*x. Is x a multiple of 23?
False
Let m(z) = -z**2 + 8*z - 9. Let j be m(6). Let q(c) = 2*c**2 + 7*c - 8. Is 12 a factor of q(j)?
False
Suppose 9*s = 7*s - 130. Does 6 divide 14/(-56) + s/(-4)?
False
Let b = 213 - 166. Is b a multiple of 6?
False
Let t be 4/10 - (-18)/5. Let n be (-10)/(-2 - 30/(-16)). Suppose 2*k - 6*k = -3*o + n, 3*o = -t*k + 64. Does 12 divide o?
True
Let v(j) = 19*j**3 - 8*j**2 + 7*j - 82. Is 14 a factor of v(5)?
True
Let x be 21/9 + (-5)/15. Suppose -k = -2*v - 26, -v + x*v = -2*k + 42. Suppose w + 0*w - k = 0. Is w a multiple of 11?
True
Suppose -80 = -3*g - o + 39, 0 = -2*g + 2*o + 82. Does 10 divide g?
True
Let v be -4 - (2 - 10) - 931/(-1). Suppose -14*g + 3*g = -v. Is 5 a factor of g?
True
Let k = -88 + 42. Let x = k + 206. Is 20 a factor of x?
True
Let j be (-58)/8*-4 + -2. Let z = 282 - j. Is z a multiple of 15?
True
Suppose -2*h + 0*h = -180. Is h a multiple of 18?
True
Let v be 141/(-12) + 1/(-4). Let z(l) be the third derivative of l**5/60 + 7*l**4/24 - 11*l**3/3 - 100*l**2. Does 11 divide z(v)?
False
Let q(s) = 108 - 3 - 152*s**2 - 3*s + 153*s**2 - s**3. Is 35 a factor of q(0)?
True
Let l be ((-44)/(-6))/(8/12). Let p = l + 10. Is 8 a factor of p?
False
Suppose -f - 4 = 11. Let j = f + 5. Let p(z) = z**3 + 11*z**2 + 11*z + 13. Is 2 a factor of p(j)?
False
Suppose 16 = 2*r + 3*b, b + 9 = r + 3*b. Let h(v) = v**2 + 3*v - 4. Is 9 a factor of h(r)?
True
Suppose -6*c + 2120 + 3064 = 0. Is 6 a factor of c?
True
Let u be (-15)/10 + 12/(-8). Is 8 a factor of (4/6)/((-466)/156 - u)?
False
Suppose 0 = -v + 5*p + 629, 3*p = 52 - 37. Is v a multiple of 25?
False
Let v(u) = u**2 - 5*u - 3. Suppose w - 18 - 3 = -4*b, -b + 18 = -4*w. Let g be v(b). Suppose r - 178 = -4*m, -g*m + 37 = 4*r - 103. Does 11 divide m?
True
Let n(t) = 23*t**2 + 4*t - 13. Suppose -13*s = -11*s - 6. Is n(s) a multiple of 20?
False
Suppose -4*f - 8708 = 12*j - 16*j, 0 = f + 3. Does 16 divide j?
False
Let k(c) be the third derivative of -c**5/30 + 5*c**4/6 + 5*c**3/3 - 7*c**2. Let i(n) be the first derivative of k(n). Does 12 divide i(-7)?
True
Suppose -2*w = -5*p + 308 + 223, 5*p = 4*w + 537. Does 5 divide p?
True
Suppose -1543 - 3767 = -2*p. Does 14 divide p?
False
Suppose -26 = 3*m - 5. Let n be m*((-36)/(-21))/(-3). Does 5 divide (-54)/(-10) - n/10?
True
Let x = 427 - 215. Let k = 151 - x. Let z = -19 - k. Is 6 a factor of z?
True
Let j = 273 + -105. Is ((-7)/(-4))/(5 - 837/j) a multiple of 13?
False
Let r = 1 - -18. Suppose -4*u - 15 - 25 = 0. Let d = r + u. Does 5 divide d?
False
Is (-19)/(19/(-28)) + -7 even?
False
Let m(w) = -136*w + 72. Is m(-9) a multiple of 36?
True
Suppose 0 = -4*o + 99 + 81. Suppose 0 = 5*i + 4*u - 143, u + o + 82 = 4*i. Suppose -i - 121 = -4*h. Is h a multiple of 19?
True
Let l(g) = -g**3 - 12*g**2 - 19*g - 30. Suppose p + 17 = 3*y, -2*p - 47 + 17 = -4*y. Is 28 a factor of l(p)?
False
Suppose -x = 2, -4*t + 3*x + 4 = -6. Let h be -3 + 1 + t + 0. Is 8/(-4) - 13*h a multiple of 11?
True
Let g(i) = -15*i + 219. Is g(-7) a multiple of 9?
True
Let h(n) = -n. Let g(v) = -v + 1. Let y(a) = 9. Let m(i) = 5*g(i) - y(i). Let p(q) = 4*h(q) - m(q). Does 5 divide p(2)?
False
Let w = 1203 - 741. Is 42 a factor of w?
True
Suppose c + 3 - 5 = 0. Let j be -9 + 3 + 1 + -3. Let d = c - j. Is d a multiple of 5?
True
Does 81 divide 77 - ((-7)/(28/(-12)) + -7)?
True
Let q(o) = -9*o + 19. Let r be q(-11). Suppose v + 46 = r. Does 9 divide v?
True
Suppose 5*a - 5*v - 1780 = 0, -2*a = -v - 711 - 6. Does 47 divide a?
False
Suppose 10*d + 4358 - 13268 = 0. Does 26 divide d?
False
Suppose -35 = -4*q + 9. Let f(y) = 2*y - 6. Is f(q) a multiple of 4?
True
Suppose -76*n - 29*n = -144690. Is n a multiple of 26?
True
Let n(f) = -f**3 - 4*f**2 + 11*f - 8. Let u be n(-6). Let s be u/4 + 14/4. Suppose -s*g + 5*k + 126 = 0, 2*g + g = 3*k + 126. Is 14 a factor of g?
True
Suppose -w = 2*o + w - 150, o + 3*w - 65 = 0. Suppose -o = -3*t + 13. Does 31 divide t?
True
Let f = -12 - -14. Let c(z) = 4*z**2 - 46*z**3 - 3*z**2 - 3*z**f - 2 - 3*z. Is c(-1) a multiple of 15?
True
Suppose -2*y - 3*y = -v, 0 = 5*v + 3*y - 28. Suppose k + 52 = 2*t, -v*k + 2*t + 22 - 258 = 0. Let r = k - -86. Does 20 divide r?
True
Let w(d) = d**3 - 7*d**2 + 1. Let p be w(7). Let z = 135 + p. Is z a multiple of 34?
True
Let k = -247 + 130. Let d = 174 + k. Is 19 a factor of d?
True
Let b = -8 - -13. Suppose -b*q + 230 = -115. Does 14 divide q/2*8/12?
False
Suppose -42 = -6*y + 3*y. Let i be -5*(y + (0 - 4)). Let m = 60 - i. Does 22 divide m?
True
Let z = 276 + -168. Is z a multiple of 29?
False
Suppose 3*r = -3*o + 39, 3 = 3*r - 3*o - 36. Is r a multiple of 4?
False
Let u(n) = n**3 + 12*n**2 + 15*n - 16. Let q be u(-11). Let x = q + 113. Is 11 a factor of x?
False
Let z(o) = -o**2 + 4*o - 1. Let y be z(4). Let i = y + 1. Suppose i = 6*b - 3*b - 132. Does 11 divide b?
True
Let h(m) = -m**3 + 4*m**2 - 4*m + 5. Let l be h(4). Let o = l + 20. Let i = o - 4. Is i a multiple of 3?
False
Let x = -107 + 170. Let k be 144/x + (-2)/7. Suppose -k*w + 21 = -25. Is w a multiple of 19?
False
Let v = 4816 + -2745. Is 73 a factor of v?
False
Suppose 8*u = 7*u + 437. Let s = -250 + u. Suppose -2*p - 10 = 0, 5*w + 5*p - 348 - s = 0. Is w a multiple of 28?
True
Suppose 80 = 5*j - 0*j. Let u = -14 + j. Is 10 a factor of (-3)/(-6)*u*21?
False
Suppose -2*p - n + 9 = -1, -5*n = 0. Suppose 2*a - 136 = -0*a + 4*w, -296 = -5*a - w. Suppose 0*l - p*l = -a. Does 4 divide l?
True
Suppose -5*x + 0*u + 4*u + 225 = 0, 2*x + 3*u = 90. Is x a multiple of 4?
False
Let q(f) = 4 + 1 + 4*f - 3 + 0*f. Let m(v) = v**3 - 4*v**2 - 4*v - 3. Let g be m(5). Does 8 divide q(g)?
False
Let z(b) = 199*b**3 - b**2 - 3*b + 3. Let t be (-38)/266 - ((-16)/14 - 0). Is z(t) a multiple of 18?
True
Suppose -c + 2*f - 6*f = -31, 0 = -5*c + 2*f + 133. Let x = c - 13. Let z = x - 2. Is z a multiple of 4?
True
Let y be (-2)/(-4) - 11/(-2). Suppose -y*u = -u - 175. Suppose -3*r + u = -121. Is 13 a factor of r?
True
Let h(q) = -24*q + 15. Let w be h(4). Let g be (-96)/(-1 - -3) - 0. Let u = g - w. Is 10 a factor of u?
False
Let x be 3/2 - (-555)/10. Let f = 64 - x. Is f a multiple of 2?
False
Suppose -92 - 168 = -4*b. Is b a multiple of 9?
False
Let z(b) = 829*b - 36. Is z(3) a multiple of 43?
True
Let j(f) = -128*f + 53. Does 12 divide j(-6)?
False
Let f(d) = 4*d**2 + 11*d + 14. Let q be ((-9)/2)/(0 - 2/(-4)). Is 25 a factor of f(q)?
False
Does 14 divide (24/(-9) - -3) + (-3190)/(-15)?
False
Suppose 767 + 409 = 7*t. Is t a multiple of 7?
True
Suppose -7*w + 30*w = 4531. Does 11 divide w?
False
Suppose t = -5*a + 3*a + 13, 3 = 2*a - t. Suppose 2*l + 3*h = 96 + 115, -5*h - 411 = -a*l. Is l a multiple of 15?
False
Suppose 3*n - 11 - 1 = 0. Suppose -5*b - 5*t = -165, n*t - 45 = -b - t. Is b even?
True
Let s(g) = -g**3 - 8*g**2 + 9*g + 1. Let a be s(-9). Let t be a - (0 - 0/(-2)). Is 4 a factor of t/(2 + 31/(-16))?
True
Suppose 616 - 644 = -2*q. Suppose 3*t - 134 = -5*g, g - t + 28 = 2*g. Let x = g - q. Is 11 a factor of x?
True
Let c = 54 - 51. Suppose -132 = -3*w - 2*t, c*w + 5*t - 109 = 23. Is w a multiple of 3?
False
Let n(c) = -82*c + 48. Is n(-6) a multiple of 32?
False
Suppose -o + 0*o + 230 = 0. Suppose -o = 8*n - 13*n. Is 18 a factor of n?
False
Suppose 2*d = 2*y + 6*d + 28, -4*y - 116 = -4*d. Let q = 22 - y. Does 7 divide q?
False
Let g = -196 - -212. Let m(o) be the second derivative of -o**4/12 + 3*o**3 + 19*o**2/2 + o. Is 10 a factor of m(g)?
False
Let k = 1079 - 269. Is 81 a factor of k?
True
Let z(g) = 3*g - 7. Let s be z(3). Suppose