+ -265. Suppose 4*h - 128 = f. Is 23 a factor of h?
False
Suppose -p + 5*r + 82 = 0, 2*p + r + 0*r = 131. Suppose p = 5*z - 13. Does 16 divide z?
True
Suppose 4*t - 36 = -0*t. Let k(x) = -x**3 - 28*x**2 - 52*x + 4. Let s be k(-26). Suppose -t - 203 = -s*l. Does 16 divide l?
False
Suppose 3*k + 252 = 4*s, 2*k + 229 = 5*s - 79. Does 20 divide s?
True
Let k(r) = -27*r**3 + r + 1. Is k(-1) a multiple of 27?
True
Is 4/(-8) - (-127)/2 a multiple of 21?
True
Let h be 26/3*39/(-26). Let p(i) = -i**3 - 12*i**2 + 3*i - 2. Is p(h) a multiple of 27?
False
Suppose -4*h - 4*v = 0, h + 3*v + 2*v = -12. Suppose 0 = -k + h + 3. Is 6 a factor of k?
True
Suppose 0 = -4*r + 36 - 0. Does 22 divide r/3 - -31*1?
False
Suppose -m + 2 = -1. Suppose 119 + 37 = m*f. Is f a multiple of 13?
True
Let q(a) = 3*a**2 + 5. Let m be q(4). Let c = 97 - m. Is c a multiple of 22?
True
Let n be 168/16*(-4)/(-3). Suppose -2*z - 2*b + 2 = -n, -b - 52 = -5*z. Is 4 a factor of z?
False
Suppose -3*v = -u - 0*u + 19, -3*u + v + 89 = 0. Is u a multiple of 10?
False
Let x = 144 - 103. Does 22 divide x?
False
Suppose 3*h + 3 = -9. Does 7 divide h/((-12)/9) - -4?
True
Suppose 2*p - 5*k = p + 27, 0 = 4*p + 4*k - 36. Let t = p + -1. Suppose 0 + t = u. Does 11 divide u?
True
Suppose 0 = -2*o - i + 20, 2*i + 20 = 4*o - i. Suppose -4*p - 3*n + 145 = -o, -2*n - 136 = -3*p. Is p a multiple of 15?
False
Let h = -39 + 51. Is h a multiple of 12?
True
Let v = -27 + 17. Let s = v + 6. Let w(t) = -8*t. Is w(s) a multiple of 16?
True
Suppose -s + 2*s = -33. Let r = s - -93. Is 20 a factor of r?
True
Suppose 2*i - i = 40. Does 5 divide i?
True
Let b = 31 - -69. Is b a multiple of 20?
True
Suppose 105 = l + 2*l - 2*n, -4*l = n - 129. Is l a multiple of 19?
False
Let i(g) = 15*g - 6. Is i(3) a multiple of 10?
False
Is 2 a factor of (-40)/(-3) - (-6)/9?
True
Suppose -f - f - 4*n + 6 = 0, -3*f - n - 1 = 0. Let k be (-1)/(f/20*2). Does 2 divide (k/2 + -2)*1?
False
Let f be 277 + (-1)/((-3)/(-3)). Is (f/(-2))/(-3) - 2 a multiple of 16?
False
Let b(j) be the second derivative of -j**3/6 + 9*j**2 - j. Is b(0) a multiple of 6?
True
Suppose -2*m - 2*n + 4*n = -14, -3*n - 9 = 0. Suppose q = 5 - m. Suppose g - 2 = q. Is 2 a factor of g?
False
Suppose -3*o = 2*m - 13, -o = m + 1 - 4. Let q(r) = 3*r + 14. Does 10 divide q(o)?
False
Suppose 3*h = -27 + 123. Is (h/20 - 2)*-180 a multiple of 18?
True
Suppose -2*u + 5*f = 3*u - 85, 5*u - 2*f - 76 = 0. Is u a multiple of 14?
True
Let x(h) = -15*h**3 - 2*h**2 + 3*h + 5. Does 18 divide x(-2)?
False
Suppose -2*w = -2*b + 46, -2*w - 49 = -3*b - 2*b. Does 4 divide ((-1)/2)/(1/w)?
False
Suppose 3*b - 69 = -p + 35, -130 = -4*b + 3*p. Does 34 divide b?
True
Suppose 3*c - 11 + 2 = 0. Does 3 divide c?
True
Let x(w) be the first derivative of 6*w - 3/2*w**2 + 1/3*w**3 - 2. Is x(5) a multiple of 13?
False
Suppose 145 = 6*q - q - 5*x, 0 = -5*x. Is 11 a factor of q?
False
Suppose -23 + 178 = 5*t. Suppose -9*q + 8*q = -t. Is q a multiple of 18?
False
Let p(d) = -d**2 + 3*d - 1. Let s be p(4). Let f(i) = -7*i + 1. Is 18 a factor of f(s)?
True
Let l(w) = -2*w + 7. Does 15 divide l(-4)?
True
Suppose 10*m - 6*m = 8. Suppose m*y + 0*y + 22 = 5*a, -3*y + 5 = 2*a. Is a a multiple of 3?
False
Let t(p) = 2*p**3 - 5*p**2 - 2*p - 6. Does 5 divide t(4)?
False
Is 44 a factor of 224 - 44 - (10/2 - 1)?
True
Let o(c) = 11*c**2 - 1. Suppose 0 = -5*y + 2*x + 5, 0 + 17 = -2*y - 3*x. Does 4 divide o(y)?
False
Let a be 1/4 - (-123)/(-12). Let c = -9 - a. Is 4 a factor of (-45)/(-12) - c/(-4)?
True
Let x = -1 + 1. Suppose x*n - n = -2. Suppose -4*u + 35 = -r, -5*u + 3*u = -n*r - 10. Does 5 divide u?
True
Suppose 5*o + 5*b = 95, -o + 11 = -2*o + 5*b. Let p = -6 + o. Is p a multiple of 8?
True
Suppose 0 = -2*x - 2*x + 80. Is x a multiple of 3?
False
Let d = 170 - 47. Suppose -2*k = k - d. Does 21 divide k?
False
Let x(i) = i**2 + 18. Is x(-10) a multiple of 48?
False
Suppose -13 + 88 = 3*t. Is 5 a factor of t?
True
Suppose -3*z + 35 + 7 = 0. Suppose z = -2*c + 62. Does 8 divide c?
True
Let w = 199 + -116. Suppose 0 = 3*y - 7 - w. Does 10 divide y?
True
Suppose -20*o = -25*o + 365. Is o a multiple of 18?
False
Suppose -5*n + 157 = 2*f + 31, 4*f + 108 = 5*n. Does 6 divide n?
True
Is 31 a factor of ((-3)/2)/(13/(-806))?
True
Let o(v) = 70*v**2 - 1. Let y be o(-1). Suppose 2*j - y = -j. Suppose t - j - 3 = 0. Is 13 a factor of t?
True
Let i(h) = -2*h + 8. Let c be ((-12)/(-10))/(1/(-5)). Let q be i(c). Suppose -3*k = -k - q. Is k a multiple of 5?
True
Suppose 1 = -4*k - 3, 3*g + 5 = -5*k. Suppose g = 6*b - 2*b - 36. Does 9 divide b?
True
Does 11 divide ((-95)/(-15)*3)/(-1 - -2)?
False
Let z(f) = -39*f + 4. Does 15 divide z(-2)?
False
Suppose h + 24 = 5*r, 0 = -4*r - h - 2*h + 23. Suppose 0 = -3*s + 4*o + 34, -2*o - 32 = s - r*s. Is 6 a factor of s?
True
Let p(f) = 13*f - 10. Let s be p(7). Let v = s - 38. Let z = 60 - v. Does 17 divide z?
True
Suppose 8 = 4*w, -3*b + 16 = w + 92. Let u = -18 - b. Does 8 divide u?
True
Let u(d) = d**2 + 2*d + 2. Let m be (-3 - 0)*(-4)/(-6). Let y be u(m). Suppose -y*b - 68 = -6*b. Does 6 divide b?
False
Let s(j) = 5*j + 4*j - 7 - j. Let c be s(6). Suppose v + h - 49 = -v, -3*v = -5*h - c. Is v a multiple of 8?
False
Let a = -35 - -53. Is 18 a factor of a?
True
Let q = 136 - 51. Is 17 a factor of q?
True
Let h(u) = -u + 21. Let o be h(8). Suppose -8*s = -o*s + 95. Is s a multiple of 5?
False
Let k(m) = -2*m + 23. Does 5 divide k(4)?
True
Is 30 a factor of (2/(-4) - -2 - -3)*86?
False
Let n be (-1)/(-1) - (-1)/(-1). Suppose n = -3*a + 2*a + 4. Does 2 divide a?
True
Suppose -5*b - 3*l + 179 = 0, b - 4*b + 96 = -2*l. Is b a multiple of 17?
True
Let r(l) = 4*l**2 - 9*l + 6. Does 32 divide r(6)?
True
Suppose 6*x - 120 = -4*x. Is x even?
True
Let g be (-2)/5 - 1504/(-10). Let v = 2 - 2. Suppose v*z - 5*z + g = 0. Is z a multiple of 15?
True
Suppose -2*w = 5 - 1, -2*j + 484 = -3*w. Is 50 a factor of j?
False
Suppose 0 = 2*m + 4*f + f - 11, -4*m = 2*f + 2. Let x = 5 + m. Is 2 a factor of x?
False
Suppose 181 = 5*o - 44. Suppose 34 = 4*w + 5*y - o, -3*w - 3*y + 60 = 0. Is w a multiple of 7?
True
Let j(d) = -6*d**3 + d - 1. Let h be j(1). Is (10/h - -1)*-51 a multiple of 17?
True
Suppose 0 = z - 6*z + 40. Suppose z + 5 = k. Is k a multiple of 10?
False
Let n be (1/(-2))/((-1)/(-12)). Is (-3)/((-1)/((-8)/n)) a multiple of 2?
True
Let g be (-16)/8*(-2)/1. Suppose 4*y = -4*u + 2*y + 30, 0 = g*u + 5*y - 21. Suppose 5*x - 16 = u. Is 2 a factor of x?
False
Does 22 divide -1*(3 + -5) - -31?
False
Let m be (40/(-3))/((-7)/21). Let l = -10 + m. Is l a multiple of 15?
True
Let i be -2*(-1)/2*4. Suppose 0 = -i*f + 6*f - 46. Does 16 divide f?
False
Let q(o) = -o**3 + 10*o**2 - 11*o. Is q(8) a multiple of 10?
True
Suppose -4*c - 310 = -2*k, 4*c - 9 = 11. Suppose 2*j = 7*j - k. Is j a multiple of 33?
True
Let i(n) = 7*n**2 + 2*n - 2. Does 34 divide i(-4)?
True
Let a(w) = 4*w**2 - w - 10. Is 6 a factor of a(4)?
False
Suppose -q + 79 + 202 = 0. Is 17 a factor of q?
False
Suppose 5*u + 296 = 4*k + u, 4*u + 368 = 5*k. Is 41 a factor of k?
False
Let q = 279 - 193. Suppose -q = -5*h - 31. Is h a multiple of 7?
False
Suppose -4*m = 5*k - 68, 5*m - 51 = -4*k + 7. Is 12 a factor of k?
True
Suppose 3*w + g - 290 = 0, -2*g = -2*w + 152 + 36. Is 22 a factor of w?
False
Let g(l) = l**3 + 14*l**2 - l - 14. Let m be g(-14). Is 7 a factor of m + 0 - (-16 + -5)?
True
Does 19 divide 392/12 - -1*(-2)/(-6)?
False
Let h(t) = -2*t + 12. Let x be h(-9). Suppose -x = -2*l - l. Let u = l - 0. Is 10 a factor of u?
True
Let q = 6 - 4. Let h(j) = -j - 1 + q + 3*j**2 + 11*j**2. Is h(1) a multiple of 14?
True
Suppose -3 = -v + 9. Does 3 divide v*-1*(-2)/8?
True
Suppose b + 1 = 0, 3*t + 2*t + 5*b - 85 = 0. Suppose 90 - t = d - 2*j, -3*d = 5*j - 172. Suppose -d = -3*r - 4. Is 11 a factor of r?
False
Let t = 35 + 54. Is 12 a factor of t?
False
Let t = 0 - 1. Let j be (-2 + 1)/(-2 - t). Let m = j + 9. Is m a multiple of 10?
True
Suppose 2*g - 297 = 137. Is 31 a factor of g?
True
Let h = -13 + 8. Let j(i) = -i**2 - 7*i - 7. Let q be j(h). Suppose -q*o = -5*v - 62, -1 - 1 = o + 4*v. Is 7 a factor of o?
True
Let r(t) = t + 6. Is r(16) a multiple of 4?
False
Let c = 8 - 0. Is 8 a factor of c?
True
Let i be (-1)/(-2) - 93/(-6). Suppose 13 = c