*b - 20. Is 22 a factor of n(-13)?
False
Let w = -95 - -175. Does 8 divide w?
True
Let a = 41 + -65. Is 15 a factor of a/(-1) + -2 + 3?
False
Suppose -3*k + 4*f = 6*f - 164, 3*f - 106 = -2*k. Suppose -7*h = -3*h - k. Is 14 a factor of h?
True
Suppose 4*p = -t + 1, -t + 4*p = -1 - 8. Suppose 0 = t*z - 15, -4*z + 165 + 15 = 4*w. Does 13 divide w?
False
Let s(f) = f**3 - 3*f**2 - 4*f + 4. Let y be s(4). Suppose -3*o = -y*a - 100, 0 = o - 0*o. Is 21 a factor of ((-12)/(-10))/((-1)/a)?
False
Suppose -2*t = 8*t - 200. Suppose -5*f - 88 + 368 = 0. Let k = f - t. Is 12 a factor of k?
True
Suppose 2*w + 373 = 5*x, 3*x + 5*w = 6*x - 239. Let u = -42 + x. Suppose -4*h = -1 - u. Does 6 divide h?
False
Let i = 15 + -21. Let j = 7 - i. Does 6 divide j?
False
Let p(m) = m + 2. Let b be p(5). Let r = 27 - b. Is r a multiple of 6?
False
Suppose -139 = -12*w + 11*w. Is w a multiple of 7?
False
Suppose 2*r = r + 16. Suppose r = -5*x + 6*x. Does 9 divide x?
False
Let q(y) = -y**2 - 11*y + 5. Let n be -1*-2*(-1 + -2). Let k be q(n). Suppose -g - 5*x = -k, 3*g = x + 65 + 8. Is g a multiple of 10?
False
Let a(c) = 2*c**2 - 2*c - 1. Let t be a(-2). Suppose -24 = -z + t. Is z a multiple of 7?
True
Let g be (-8*1/(-2))/2. Suppose 125 = 3*r - 3*j + j, -g*r + 2*j = -82. Does 14 divide r?
False
Let a(g) = 2*g**3 - 2*g**2 - 2*g + 2. Suppose n - 15 = -4*n. Let y be a(n). Suppose y = 5*u - 43. Is u a multiple of 15?
True
Suppose -10*k = -13*k + 129. Does 10 divide k?
False
Is 8*4/((-8)/(-2)) a multiple of 2?
True
Let d = 3 + -1. Let v be (d - 4)/(-2) - 75. Let j = -43 - v. Does 10 divide j?
False
Let k = 14 - 10. Does 10 divide (-1016)/(-40) - k/10?
False
Suppose -33 = -k - 2*k. Suppose k = -h - 4*p, -h + 5*p = -3*h - 10. Suppose h*i - 3*v = 29, i - 4*v = 2*i + 8. Does 3 divide i?
False
Let q = 146 - 115. Is 3 a factor of q?
False
Let j(a) = -a**3 + 7*a**2 + a - 4. Let u be j(7). Let c = -2 + u. Let b(k) = 31*k**2 + k. Does 16 divide b(c)?
True
Let r(p) = 22*p**3 + 9*p**2 + 5*p - 7. Let i(j) = 33*j**3 + 13*j**2 + 7*j - 10. Let o(w) = 5*i(w) - 7*r(w). Suppose 0*d + 5*d - 5 = 0. Is o(d) a multiple of 12?
True
Let b = 7 + -5. Is 2 a factor of b?
True
Let n(i) = i**2 - 2*i - 3. Let j be n(-3). Suppose -5*y + 8 = -j. Is y a multiple of 4?
True
Is (-8)/((-8)/4)*96 a multiple of 16?
True
Is 18 a factor of 18/117 - (-464)/26?
True
Let z be 40*(-13)/(-8)*2. Let v be (-4)/18 - z/(-18). Does 5 divide v + (0 - (-5 - -3))?
False
Let f be (-105)/(-25) + 2/(-10). Suppose b + 0*b = -3*i + 14, f*b - i = 82. Does 9 divide b?
False
Let s be 51/2 + 2/4. Let m be 2 + (-3)/3 - (3 - 0). Is m/(-13) - (-438)/s a multiple of 9?
False
Let i(m) = m**2 + 3*m - 5. Let x(s) = s. Let k(b) = i(b) + 3*x(b). Suppose 3 + 11 = -2*t. Is k(t) a multiple of 2?
True
Suppose -40 = -2*f - 0. Is 11 a factor of f?
False
Suppose 0 = -0*u - 10*u + 1800. Is u a multiple of 25?
False
Let z(x) = x**2 - 2*x - 11. Let o be z(5). Suppose -5*t - o = -t, 0 = -2*w - 5*t + 5. Is 3 a factor of w?
False
Let b be (1/1)/(1/2). Suppose b*i = -i + 186. Let k = 98 - i. Is 13 a factor of k?
False
Suppose 302 + 162 = 8*t. Is 29 a factor of t?
True
Suppose -5*w = -2*n + 1, 2*n + 2*w = -7 + 1. Let a(k) = -k + 7. Let g(x) = -x - 1. Let l(f) = n*g(f) + a(f). Is l(0) a multiple of 3?
True
Let n be (3 - 4 - -74) + 4. Suppose 5*m = -0*m + 2*t + 114, 0 = 5*m - 3*t - 116. Suppose -n = -4*c + s - m, -5*c = -5*s - 80. Is 7 a factor of c?
False
Suppose -2*p = 2*p - 5*g - 20, 0 = -2*p + 4*g + 16. Suppose h - 5*r + 418 = p, -4*r + 2323 - 191 = -5*h. Does 7 divide 4/(-10) + h/(-20)?
True
Let s be 10*(18 + 4/2). Does 25 divide (18/(-12))/((-6)/s)?
True
Suppose 6 = b + b. Suppose -3*c = 5*a + 9, -a + b*c = -4 - 5. Suppose 5*v + 3*d - 44 = -d, -3*v - d + 32 = a. Does 7 divide v?
False
Is 50 a factor of 49 + (25/35 - (-2)/7)?
True
Does 18 divide (-797)/(-4) + (-110)/88?
True
Suppose -4*f - 28 = -2*h, 3*h + 3*f - 12 = -f. Suppose l + 5*z = -h, 4*z + z = -4*l + 28. Does 6 divide l?
True
Let c(a) = 6*a + 4. Does 13 divide c(5)?
False
Let g(w) = -w**2 + 10*w + 1. Suppose -5*c - 5 = -50. Does 8 divide g(c)?
False
Suppose -6*n + 147 = -3*n. Does 14 divide n?
False
Let h = -74 - -137. Is h a multiple of 9?
True
Let b(p) = 2*p**2 + 6*p + 10. Is 6 a factor of b(-5)?
True
Is (-1052)/(-28) + 6/14 a multiple of 20?
False
Is 4 + 1*(-74)/(-2) a multiple of 16?
False
Does 7 divide ((-8)/(-10))/((-16)/(-480))?
False
Let c = 54 + -30. Let v = -16 + c. Does 4 divide v?
True
Let t = -95 - -31. Let c = -34 - t. Does 10 divide c?
True
Suppose -126 = 3*f - 6*f. Is f a multiple of 7?
True
Suppose 9*n - 225 = 9. Does 26 divide n?
True
Let m = 30 + -19. Suppose v = m + 8. Is 7 a factor of v?
False
Let d(h) = -11*h**2 - h + 1. Let p be d(1). Let g = 37 - p. Is g a multiple of 14?
False
Let s(o) = o**2 + 9*o + 11. Let x = -3 + -6. Is s(x) a multiple of 6?
False
Let o(w) = -4*w + 0*w + 3*w + 12. Let s be o(12). Suppose s = 2*x - 0*x - 42. Is x a multiple of 8?
False
Suppose -1266 = 4*c - 10*c. Does 14 divide c?
False
Let u = -28 + 46. Is 9 a factor of u?
True
Let x(j) = j + 5 - 3 - j**2 + 8. Let v(t) = -2*t - 10. Let n be v(-5). Does 5 divide x(n)?
True
Let j(q) = q**3 - 8*q**2 + 10*q + 3. Suppose -2*c = c + 4*w - 9, -5*c + 32 = w. Is 12 a factor of j(c)?
True
Suppose 220 = 9*y - 4*y. Is 22 a factor of y?
True
Let v(o) = o**3 + 10*o**2 - 13*o - 13. Does 9 divide v(-11)?
True
Let u(t) = -t**3 + t**2 + 6. Let q be u(0). Let w(k) = -k**2 + 7*k - 3. Is 3 a factor of w(q)?
True
Suppose 0 = a + s + 68, 0*s + 380 = -5*a + 3*s. Let v = -119 - a. Let w = 83 + v. Is w a multiple of 16?
False
Let y = 64 + -42. Suppose -22*c - y = -23*c. Is 5 a factor of c?
False
Suppose -526 = -6*h + h + 3*u, 2*h - u = 210. Is h a multiple of 29?
False
Does 2 divide ((-10)/6)/(3/(-9))?
False
Suppose -3*p + 65 = -61. Let k = -24 + p. Is 6 a factor of k?
True
Let a = 24 + 0. Is a a multiple of 3?
True
Let k be ((-36)/(-14))/((-1)/(-7)). Suppose 0 = y - 0 - k. Does 10 divide (-38)/(-3) + (-12)/y?
False
Suppose 2*c = c - 2. Let z = c + 6. Suppose -4*g + 20 = 0, -o = 2*o + z*g - 32. Does 2 divide o?
True
Suppose -r + 12 = r. Suppose r = -0*v + 2*v. Suppose v*k = -2*k + 95. Does 8 divide k?
False
Let a(s) = 3*s**3 + s**2 - s. Let f be a(1). Suppose -4*l + 9 = -f*l. Does 9 divide l?
True
Let o(z) = -z - 1. Let h be (-1 - -3)/(4 + -6). Let g be o(h). Suppose -2*k = -g*k + 2*s - 6, 3*k + s - 17 = 0. Does 7 divide k?
True
Let n be 2/(-6)*(-42)/2. Let r = 5 + -8. Let x = n - r. Is x a multiple of 5?
True
Let v = -44 + 60. Is v even?
True
Suppose 0*l - 9 = 3*l. Let y(g) = -3 + g**2 - 3*g + 0 + 2. Does 8 divide y(l)?
False
Let s(r) = -r**3 + 11*r**2 + 2*r - 1. Is 6 a factor of s(11)?
False
Let m(v) = v**3 + 5*v**2 - 5*v + 7. Let z be (-6)/(-10) + (-84)/15. Does 15 divide m(z)?
False
Let x = -8 - -9. Suppose -3*j = -5*j. Does 6 divide (-1)/((j + x)/(-6))?
True
Suppose -2 = -b, -i + 0*b + 43 = 2*b. Is i a multiple of 13?
True
Let c be 16/20*(-10)/(-4). Suppose -60 = -2*i - c*i. Is i a multiple of 5?
True
Let w(s) be the second derivative of s**4/6 - 5*s**3/6 - 13*s. Let v(b) = -b + 3. Let m be v(-3). Is 11 a factor of w(m)?
False
Let y(v) = 14*v**2 + v - 1. Does 2 divide y(1)?
True
Suppose i + 2*r - 3 = -1, 5*r = 0. Suppose -h = -3*q + 7, 0*h + 4*q - 7 = -h. Is (-25)/2*i/h a multiple of 12?
False
Suppose -s = -2 - 0. Let i = 17 + -8. Let b = i - s. Is b a multiple of 7?
True
Suppose -4*c + 4 = -2*c. Suppose -c*r = -3*r + 3. Does 3 divide r?
True
Is 5 a factor of (-144)/20*-3 - 4/(-10)?
False
Suppose 76 = -0*s - 2*s. Let k = -22 - s. Suppose 3*y = k + 8. Is 7 a factor of y?
False
Suppose -3*u - 4*k = -4*u + 142, 0 = -3*k. Is u a multiple of 12?
False
Suppose -5*y + 674 = -p, 1 = -p - 3. Does 15 divide y?
False
Let z(r) = 26*r - 1. Suppose -2*l - 3*l - 15 = 0, 0 = -3*u - 5*l - 9. Let i be z(u). Does 18 divide i - (-2 + 0/2)?
False
Let y(h) = h**2 - 2. Let a be y(2). Suppose 0 = -5*j + o + 344, 4*j - a*j = -5*o + 143. Suppose 3*i - j = t - 5*t, 4*i = -5*t + 86. Does 9 divide t?
True
Let i be 3/4 - (-2)/8. Let y(s) = 7*s**2 - 1. Is 6 a factor of y(i)?
True
Let g(q) = -3*q - 11. Let d be (-2 - -4)*(-2)/4. Let o be (1 + 1)/(d/4). Is g(o) a multiple of 13?
True
Let p = 14 + 1. Is 8 a factor of p?
False
Suppose -1 + 4 = -a. Let i(