 0*b + b + 4*g - 19 = 0, g = 5*b - u. Does 7 divide b?
False
Suppose 286 = 4*q - 254. Does 15 divide q?
True
Let z(v) = v**2 - 2. Is z(-9) a multiple of 19?
False
Suppose -t = -4*t + 9. Suppose -t*d + 62 = -70. Is 22 a factor of d?
True
Let h = 737 - 472. Is 53 a factor of h?
True
Suppose 2*y = -3*h + 247, 4*y + 143 = 2*h + y. Does 12 divide h?
False
Suppose 24 = 3*b - 24. Does 4 divide b?
True
Suppose -4 - 2 = -r. Is 4 a factor of r?
False
Suppose 2 = -a, -49 = -5*w - 0*a - 3*a. Suppose 4*f + w = 55. Is f a multiple of 11?
True
Let k be (438/(-12))/((-2)/4). Let t = -40 + k. Is 14 a factor of t?
False
Is 3 - (-5)/(5/(-3)) - -26 a multiple of 24?
False
Suppose -5*i - 10 = -0*i. Let b = -7 - -9. Does 9 divide (i + 21 - 0) + b?
False
Let p = 0 - 3. Let b = p - -2. Is 7 a factor of b/(-5) + 117/15?
False
Suppose -4*d + 2*t + 52 = 0, -4*d - 4*t + 6 = -2*d. Is 4 a factor of d?
False
Suppose -3*z + 1490 = 2*z. Suppose -304 = -4*u + u - 2*m, -3*u + z = -m. Is u a multiple of 35?
False
Suppose 0*k - 2*k = -230. Does 23 divide k?
True
Let s(i) = -2*i + 9. Does 25 divide s(-8)?
True
Does 6 divide 570/(-4)*(-8)/12?
False
Let d = 257 + -185. Is 6 a factor of d?
True
Let i(x) = x**2 - 3*x + 1. Let h = 6 + 0. Is i(h) a multiple of 19?
True
Let m(t) = t**3 + 18*t**2 - 20*t - 4. Does 6 divide m(-19)?
False
Let a(b) = 4*b**2 + 2*b**2 + b**3 - 2 - 2*b - 7*b. Does 12 divide a(-7)?
True
Let w(y) = 7*y**3 - 14*y**2 + y. Let x(b) = -15*b**3 + 29*b**2 - 2*b - 1. Let q(m) = 13*w(m) + 6*x(m). Let j be (4 - 2)/((-1)/(-4)). Is q(j) a multiple of 2?
True
Suppose z - 2 = 3, 2*z - 205 = -5*c. Let r = c - -9. Is r a multiple of 24?
True
Let j(m) = -14*m - m**2 - 24 - 11 + 18. Let l be (24/10)/(2/(-10)). Is 4 a factor of j(l)?
False
Let i(p) = -p**3 + 6*p**2 - p - 7. Let q be i(5). Let x = q + -6. Does 7 divide x?
True
Suppose k - 148 = -z + 45, 4*z + 2*k - 782 = 0. Does 22 divide z?
True
Let p be (-133)/(-42) - 1/6. Suppose p*j - j - 44 = 0. Is j a multiple of 22?
True
Let d(x) be the first derivative of -x**3/3 + 9*x**2/2 - 5. Is d(6) a multiple of 9?
True
Suppose -3*t + 336 = 4*t. Is t a multiple of 16?
True
Let m(l) = 5*l**3 - 49*l**2 - 57*l + 57. Let n(p) = p**3 - 12*p**2 - 14*p + 14. Let s(g) = -2*m(g) + 9*n(g). Is s(-9) a multiple of 13?
True
Suppose -m = -3*m + 92. Is m a multiple of 13?
False
Suppose 2*z - 19 = 1. Is ((-42)/z + 0)*-5 a multiple of 11?
False
Let g = -30 - -46. Is 2 a factor of g?
True
Let n be 3/(-6) - (-22)/4. Suppose -28 + n = -c. Let b = -16 + c. Does 7 divide b?
True
Is 5 a factor of (-1)/(-2)*(10 + 0)?
True
Suppose 6*u - 120 = 3*u. Is u a multiple of 20?
True
Let m be (-3 - -6)/(-6)*-48. Let r be 810/m - (-3)/(-4). Let l = 63 - r. Is l a multiple of 13?
False
Suppose -12 = -0*a - 4*a. Suppose 3*j - 2*j = a. Suppose 4*w = 3*o + 65, j*o + 49 = 5*w - 30. Is 7 a factor of w?
True
Let h(l) be the third derivative of l**5/15 + l**4/12 + 3*l**3/2 - 5*l**2. Does 24 divide h(4)?
False
Let k = -1 + 3. Suppose -2 = p - k*p. Let j(c) = c**3 + 2*c**2 + c - 2. Is j(p) a multiple of 16?
True
Let v(i) = i**3 + 6*i**2 + i - 4. Let l(b) = -b**2 + b + 4. Let g be l(0). Suppose -g*m - 31 = -11. Is v(m) a multiple of 11?
False
Let h(k) = 5*k + 5*k**3 + k**2 + 4*k**2 - k**2 + 0*k. Let x(i) = 6*i**3 + 4*i**2 + 6*i - 1. Let j(r) = 5*h(r) - 4*x(r). Is 8 a factor of j(-3)?
False
Suppose -2*v + 84 = 2*v. Is v a multiple of 7?
True
Let q be (-21)/((-1 - -2)/20). Suppose h + 3*h = -16. Is 13 a factor of q/(-16) + 1/h?
True
Let u = 2 + 13. Let x = u + 2. Is x a multiple of 11?
False
Is 14 a factor of 1 - -2 - (7 - 32)?
True
Suppose 0*o - 2*o = 0. Suppose -3*x + o*x + 37 = -w, -3*x + 2*w + 32 = 0. Is 4 a factor of x?
False
Let y be 1/(-3) + 7/3. Let a(l) = y*l**3 - l + 0*l + 13*l**3. Does 7 divide a(1)?
True
Is -1 - -15 - (3 - 1/1) a multiple of 4?
True
Let i(r) = -2*r - 3. Suppose -2*c = -4*c - 6. Let o be i(c). Suppose 2*h - o*h + 16 = 0. Does 6 divide h?
False
Let u = 2 + 2. Suppose u*b - o - 119 = 2*o, 0 = -o + 3. Is 16 a factor of b?
True
Let o(p) = p**2 + 9*p + 10. Let s be o(-8). Suppose -3*v = s*u - 28, 3*v + u - 25 - 7 = 0. Is 9 a factor of (-10)/4*v*-1?
False
Let q = -118 - -222. Is q a multiple of 26?
True
Let y = 11 + -14. Let x(m) = 5*m**2 - 5*m - 5. Is 18 a factor of x(y)?
False
Let d be (-1 - (1 - 52))*(-18)/36. Suppose -3*u + 61 = -p + 2*p, 12 = 3*u. Let s = d + p. Does 13 divide s?
False
Let r(a) = 6*a - 17. Let s(o) = 1. Let p(f) = r(f) + 4*s(f). Is p(17) a multiple of 17?
False
Suppose 2*j = 3*r - 0*j + 1, 0 = -4*j + 20. Suppose y - r*p = -4*y - 37, 5*p - 45 = 5*y. Is (12/y)/(12/(-80)) a multiple of 6?
False
Suppose 3*a - 355 = -79. Is 5 a factor of a?
False
Let b(s) = 5*s**2 + 5*s - 2. Let g be b(-4). Is -4 + g + 2/1 a multiple of 21?
False
Suppose 133 = 3*g - 5. Is g a multiple of 18?
False
Suppose 5*v = -6*v + 1815. Is v a multiple of 33?
True
Let r = -8 - -10. Is 16 a factor of (11 - r)/(3/16)?
True
Suppose 3*f + f = 4*z, f + 4 = 3*z. Let s be 2 - (-1)/2*6. Suppose -s*i + 38 - 5 = v, -2*v + 42 = -z*i. Is v a multiple of 9?
False
Suppose 0*l + 136 = 2*l + 2*p, 0 = l + 5*p - 52. Is l a multiple of 17?
False
Let c(y) = -y**2 - y + 2. Let x be c(-2). Let n be ((-2)/(-4) - 2)/(8/(-16)). Suppose x = -3*j - w + 3*w + 131, 0 = -n*j + 4*w + 139. Does 11 divide j?
False
Let v(h) = -h**2 + 5*h. Is 2 a factor of v(4)?
True
Let x be 3/9 - (-5)/3. Let s be 46 + (-3 - (-3 + x)). Is 15 a factor of 3/9*s*3?
False
Suppose 1595 = 10*b - 355. Is 11 a factor of b?
False
Suppose -2*i - 6*s + 126 = -s, -3*s = 4*i - 238. Is 26 a factor of i?
False
Let x(w) = -w**2 + 15*w - 1. Is 11 a factor of x(7)?
True
Suppose 0 = 4*x + 5*l - 175, x - 5*l = -3*l + 60. Suppose -2*k + 4*r = 7 - 71, -119 = -4*k - r. Let h = x - k. Does 20 divide h?
True
Suppose -3*b - 27 = -4*u + 10, -2*b - 3*u - 19 = 0. Let t(n) = n**2 + 11*n + 8. Is t(b) a multiple of 5?
False
Suppose 0 = -0*g + 5*g - 3*o - 1, 4*o = 2*g + 8. Suppose -2*p - 1 = -55. Suppose -g*c = -21 - p. Is c a multiple of 12?
True
Let u(q) = 2*q**2 - q + 1. Let z be u(1). Suppose -3*s + 9 = -d - 20, 0 = -3*s - z*d + 41. Is s a multiple of 11?
True
Suppose 0*r - 18 = -r. Let j be r/(-10) + 3/(-15). Is -1 + 30 + 2 + j a multiple of 24?
False
Suppose 0 = 5*h - 13 - 12. Let x = 32 + 3. Suppose -h*k + u = -x, 5*k + 0*u = -3*u + 35. Is 7 a factor of k?
True
Suppose 15 = -5*l + 5. Let b be (l/(-3))/(3/(-9)). Is 48*b*2/(-4) a multiple of 18?
False
Let w be 7 + (-4 - 0 - -2). Suppose -w*v + 4 = 34. Let g(f) = -f**2 - 9*f + 4. Is g(v) a multiple of 11?
True
Suppose 4*f = -2*x + 322, 4*f - 3*x = 7*f - 243. Is 40 a factor of f?
True
Let l(k) = 6*k**2 + k + 13. Is l(-4) a multiple of 15?
True
Let c be 7 + 1 + 1 + 2. Let n be (-9)/6 - c/(-2). Suppose n*v - 30 - 50 = 0. Is v a multiple of 10?
True
Let t(m) = -9*m**2 + 2*m**2 + 3*m**2 + 5*m**2 + m - 5. Is t(5) a multiple of 8?
False
Let z be 24/10 - 9/(-15). Suppose 4*o - 28 = -z*c, 3 = c + o - 7. Suppose -2*i = -22 - c. Does 7 divide i?
False
Suppose 2*m + 106 = 3*i, -7 - 5 = -3*m. Let a = i - 27. Is 11 a factor of a?
True
Let h be 3/3 + 0 + 20. Suppose -2*i = -h - 51. Does 12 divide i?
True
Suppose -7*u + 25 = -2*u. Let g(m) = m**3 - 5*m**2 + 2*m - 1. Does 9 divide g(u)?
True
Let l = 279 + -199. Suppose 9*d + l = 14*d. Is 5 a factor of d?
False
Let x(j) = 2*j**2 - 7*j - 10. Does 21 divide x(-6)?
False
Let c(x) = 2*x + 8 - 5*x - 5*x. Is c(-6) a multiple of 23?
False
Is 11 a factor of 8/(-4)*(-44)/8?
True
Let r be (12/8)/((-6)/40). Let u = -3 - r. Does 6 divide u?
False
Suppose 4*r - 2*r - 56 = 0. Is 14 a factor of r?
True
Does 4 divide ((-20)/3)/(((-160)/30)/16)?
True
Suppose 3*z - z - w = 23, 4*z + w = 55. Suppose 5*u - z - 3 = t, 0 = t - u. Suppose -3*l + 6 + 0 = 0, t*l + 56 = 4*a. Is a a multiple of 8?
True
Suppose 43 + 77 = 4*d. Is 11 a factor of d?
False
Let d be 3/(-6)*(-10 + -4). Suppose 0 = d*r - 8*r + 5. Is r a multiple of 4?
False
Let k = -1 - -78. Is k a multiple of 11?
True
Suppose -3*j - h = 49, 0 = h - 3 + 7. Let i be (j/(-12) - 2)*4. Is 0 + 28 - (i + 5) a multiple of 13?
True
Let j = 2 - 2. Let w = 18 - 13. Suppose j = w*y - 2*y - 75. Is 12 a factor of y?
False
Suppose 3*b = 2*b + 2. Let n = 11 + b. Is 9 a factor of n?
False
Let n be (-6293)/(-35) - 2/(-10). Suppose n = 3*y + y. Is 9 a