*u = -2*r - 98, u - 2*u - 3*r = -42. Does 10 divide u?
False
Let j be (7 - 1)*4/6. Let y = j - 10. Let h = 20 + y. Is h a multiple of 7?
True
Let x = 0 - -2. Does 17 divide 38*3/6 - x?
True
Is (400/125)/((2/125)/1) a multiple of 29?
False
Suppose 5 = 5*q, -2*p + 6*q - 3*q = -67. Is p a multiple of 13?
False
Does 21 divide (6/10 - 1002/(-30)) + -2?
False
Let k(o) = -4*o - 1. Let i be k(-1). Let c(d) = d**2 - d - 3. Let g be c(i). Suppose 3*y - 38 + 1 = f, g*f = -5*y + 57. Does 12 divide y?
True
Suppose 5*l + 123 - 443 = 0. Let v = l - 37. Is ((-45)/v)/((-1)/3) even?
False
Let s = 53 + -77. Let d be (-1*3)/(2/40). Let t = s - d. Is t a multiple of 12?
True
Let r(d) = d - 7. Let l be r(5). Suppose 32 = 4*w + 4. Let h = w + l. Is 3 a factor of h?
False
Is 7 a factor of 13 + 1 + 3 + 2*2?
True
Suppose -3*h = 2*u + 9, 5*h = -u + 6 - 0. Is 365/15 - (-3)/u a multiple of 8?
True
Let v = -55 + 81. Is 13 a factor of v?
True
Let m = -2 - -6. Let r(o) = o + 0*o**2 - 6*o - 4 + 2*o**2. Is r(m) a multiple of 8?
True
Suppose 2*w + 4*p - 172 = -0*w, 5*p - 256 = -3*w. Does 13 divide w?
False
Is (-736)/(-12) + 6/9 a multiple of 13?
False
Suppose 0 = 3*q - 9 - 6. Let w = q + 10. Let t = w - 6. Is t a multiple of 9?
True
Let m = 130 - 82. Is m a multiple of 12?
True
Let u = 111 + 34. Does 36 divide u?
False
Let o = -17 - -32. Is (32/(-6))/((-5)/o) a multiple of 8?
True
Let x be ((-6)/(-3) - 2)/(-2). Let u = x + 0. Suppose 2*i - 3 - 17 = u. Does 10 divide i?
True
Suppose -2*x = -5*q - 107, x - 4*q = -0*q + 61. Does 9 divide x?
False
Let b(i) = i**3 + 6*i**2 + 8*i + 6. Let o be b(-5). Let s be (o + 5)/(1*-2). Suppose s*f + 1 = -g, -4*g = -2*f + 18 + 6. Is f even?
True
Let a(j) = -j**2 + 35*j - 47. Is 25 a factor of a(22)?
False
Let h be (-6)/(-5)*(-2 + -18). Let v = h + 10. Is 72/v*14/(-2) a multiple of 12?
True
Let i = -52 - -172. Is i a multiple of 24?
True
Let n(g) = -2*g**3 + 3*g**2 + 3*g - 6. Let y(a) = -4*a**3 + 6*a**2 + 7*a - 13. Let s(o) = -9*n(o) + 4*y(o). Is s(2) a multiple of 6?
False
Let z be 75/6*72/5. Suppose 60 = l - f, -2*l + 5*l = 5*f + z. Is 20 a factor of l?
True
Suppose 0*i - 192 = -3*i. Is i a multiple of 16?
True
Let g(l) = 8*l**2 + 2 - 4*l**2 + 0 + 3*l**2. Is 15 a factor of g(-2)?
True
Let v = -27 - -46. Does 4 divide v?
False
Let h(f) = f**3 - 5*f**2 - 3*f - 7. Let m = -2 + 3. Let b be 5 + m*(-2)/(-2). Is h(b) a multiple of 11?
True
Is 10/5 - 5 - -47 a multiple of 22?
True
Suppose -y = -3*y + 142. Is y a multiple of 16?
False
Is (18/36)/(2/316) a multiple of 21?
False
Does 13 divide (-912)/(-10) + -4 + (-2)/10?
False
Suppose -4*h - 4*b - 40 = 0, -4 = h + 2*b - 4*b. Let y = -8 - h. Suppose 170 = -y*o + 5*o. Is o a multiple of 17?
True
Is 154 - (-1 + 9 + -4) a multiple of 30?
True
Suppose -3*g = 2*k + 56, 0 = g + k + 2*k + 28. Let o = 29 + g. Does 13 divide o?
True
Suppose a + 3*f - 39 = 0, -2*a + 5*f - 83 = -4*a. Suppose 5*l - 128 - 118 = 3*b, b - a = -l. Is l a multiple of 17?
True
Let h(d) = d - 6. Let f be h(5). Let i = 5 + f. Suppose -m + i = -9. Is m a multiple of 7?
False
Let s = 33 - -3. Is s a multiple of 9?
True
Let i(y) be the first derivative of y**4/4 - 5*y**3/3 - 2*y**2 + 6*y - 6. Is 9 a factor of i(6)?
True
Let j = -4 + 8. Suppose 0 = 3*p + j*n - 55 + 19, -4*n = 4*p - 44. Is p a multiple of 8?
True
Suppose -16*v = -10*v - 1560. Is 20 a factor of v?
True
Let t = 36 + -57. Does 8 divide (-330)/t - 2/(-7)?
True
Let y(a) = 2*a. Let n = -3 - 7. Let w = 16 + n. Is y(w) a multiple of 6?
True
Suppose 65 = 2*n + j, n - j = 6*n - 167. Is n even?
True
Suppose 5*z - 9 = -39. Does 8 divide 3/(-9) + (-98)/z?
True
Suppose -4*i + 6*i = -2*o + 14, 5*o + 2*i = 26. Suppose 0 = -6*x + 4*x - 3*k - 12, -2*x + 5*k = -o. Let d(l) = -l**2 - 4*l + 1. Does 4 divide d(x)?
True
Does 16 divide (71 + -4 + -3)*2?
True
Let o(z) be the third derivative of z**5/10 - z**4/24 - z**2. Let x = 24 + -22. Is o(x) a multiple of 11?
True
Suppose 3*v - 45 = -5*f, 3*v - 2*v - 32 = 4*f. Is 10 a factor of v?
True
Suppose 2*j + 120 = 3*k + 5*j, j - 112 = -3*k. Let i = k + -6. Does 15 divide i?
True
Let s = 1 - -1. Suppose 41 + 7 = s*p. Is 12 a factor of p?
True
Let q be (1/(-3))/((-1)/21). Suppose -4*n + q*n = -k + 6, -5*k + 48 = -3*n. Is 9 a factor of k?
True
Let d(m) be the second derivative of -m**5/20 + m**4/4 - m**2/2 - 2*m. Let u be d(2). Suppose 34 = -c + u*c. Is 13 a factor of c?
False
Suppose 2*p - 4*p = 5*v - 28, 0 = 3*p + 3*v - 24. Suppose -5*g = -1 - p. Is 0 + g/2*22 a multiple of 11?
True
Let n = -3 - -2. Is 8 a factor of 33 - ((-4)/n)/4?
True
Is (-18)/(-2*12/16) a multiple of 12?
True
Let h = 16 + -11. Does 2 divide h?
False
Let h = -24 + 181. Does 14 divide h?
False
Suppose 4*f - 554 = -f + 4*s, 4*f = 3*s + 444. Does 19 divide f?
True
Suppose -6 = -y + 4*t, 3*y = -3*t + 2*t + 5. Suppose -2*b + 4*h = -24, -3*h + y*h = -4*b + 48. Does 11 divide b?
False
Suppose 3*h + 0 = -5*k - 5, 3*k - 11 = h. Suppose -f = k*f - 45. Is f a multiple of 5?
True
Let i(t) = t**2 - 5*t - 42. Does 31 divide i(13)?
True
Suppose -m - 315 = -4*m. Does 40 divide m?
False
Let b(u) be the third derivative of u**5/60 + u**4/4 - 2*u**3/3 + 2*u**2. Does 3 divide b(-8)?
True
Let q(l) = -l**2 - l. Let x be q(-2). Let u = 4 + x. Suppose u*j - 22 = -f - 0*j, f = 4*j + 40. Is f a multiple of 9?
False
Let k = 29 - -38. Suppose j + 3*j - 3*h = 87, -4*j + k = h. Is 9 a factor of j?
True
Let g(s) = s**3 - 3*s**2 + 2*s + 2. Let k be g(2). Suppose 6*d = -5*y + 3*d + 588, -k*d + 353 = 3*y. Suppose -y = -3*r - 4*l - l, 0 = -l. Is r a multiple of 16?
False
Let n(y) = 3*y - 2. Let q be n(8). Suppose 5 = 3*j - q. Is j a multiple of 4?
False
Let d = 192 - -8. Is 35 a factor of d?
False
Let g(v) = 2*v**2 - 9. Does 7 divide g(-6)?
True
Does 2 divide 1 + 0 - (-2)/1?
False
Let q = -30 + 39. Is 9 a factor of q?
True
Suppose 0 = -2*m - 2*j + 88, 5*m + 4*j - 105 = 111. Is 6 a factor of m?
False
Does 9 divide (36/(-10))/((-20)/50)?
True
Let t(j) = -j - 1. Let i(k) be the third derivative of -19*k**4/24 + k**3/3 - 2*k**2. Let n(m) = -i(m) - 2*t(m). Does 7 divide n(1)?
True
Suppose 12 = -3*g, 0*i - 3*i + 3*g + 21 = 0. Suppose 137 = i*u + 11. Is 21 a factor of u?
True
Let b(x) = 69*x - 1. Is 17 a factor of b(3)?
False
Let i = -3 + 6. Suppose i*k - k + 3*a + 2 = 0, 3*a = -k - 7. Does 5 divide k?
True
Let a = 150 - 104. Is 15 a factor of a?
False
Let q(m) = 13*m**2 - 6*m + 7*m**2 + 7*m + 1. Does 20 divide q(-1)?
True
Suppose 41 = 3*z + 2. Let l = 0 + z. Is 13 a factor of l?
True
Suppose 3*x = -x. Suppose 2*j + v - 102 = 0, j - 2*j + 4*v + 42 = x. Is j a multiple of 17?
False
Does 6 divide -29*3/(-6 + 3)?
False
Suppose 5*u = -2*l + l + 26, 4*l - 3*u - 81 = 0. Suppose 0 = 2*f - l + 1. Let g = 21 - f. Is g a multiple of 11?
True
Is 16 a factor of ((-2)/(-4))/(7/546)?
False
Does 13 divide (-4)/((-80)/(-35))*-52?
True
Suppose -5*h - 135 = -4*n, 2*n + 3*h - 82 = 13. Is n a multiple of 8?
True
Let n(q) be the first derivative of -3*q**4/4 + q**3/3 + 3*q**2/2 + 2*q + 2. Is 12 a factor of n(-2)?
True
Let p(z) = -z**2 + 4*z - 9. Let y(v) = v**2 - 5*v + 8. Let u(x) = -2*p(x) - 3*y(x). Is u(5) even?
True
Suppose -11 = 6*m - 347. Does 8 divide m?
True
Let y(b) = -b - 66. Let m be y(0). Let l = m - -113. Is 16 a factor of l?
False
Let r(a) = -a**3 - 11*a**2 - 3*a + 12. Let l be r(-11). Does 13 divide 10/l - 410/(-18)?
False
Let m(q) = q**2 + 6*q + 5. Is m(6) a multiple of 22?
False
Let p be (-6)/(-4)*(-6)/(-9). Let g(m) = -1 + 7*m - 2*m + 8*m. Is 12 a factor of g(p)?
True
Suppose -50 = 5*m + 5*x, m + m - x = -35. Let d = m - -39. Does 9 divide d?
False
Let f(n) = -n**2 - n - 5. Let r be f(-5). Let q = r - -55. Is 10 a factor of q?
True
Let i = 262 - 166. Is i a multiple of 24?
True
Suppose 0 = 2*i + 5*z - 48, 5*i - 5*z + 30 - 150 = 0. Does 4 divide i?
True
Suppose 72 = 2*u - 10. Suppose -p - 5 = -u. Is p a multiple of 12?
True
Let x(t) = t**3 - 3*t**2 - 5*t + 5. Let w be x(4). Does 6 divide 14 + (3 - w)*1?
False
Suppose -2*z + 9 = -n, -5*n - 28 - 17 = 3*z. Let x be ((-6)/(-10))/(n/(-90)). Suppose -2*r = -5*r + x. Is r a multiple of 2?
True
Let w be (-58)/(-4) - 4/8. Is w/(46/14 + -3) a multiple of 13?
False
Let s be (-2)/(-14) - (-120)/42. Suppose s*w = 3, 2*h - w - 40 = -3. Does 10 divide h?
False
Let w(k) = k**2 + 8*k + 8. Let x be 