 of (-54)/4*160/(-24)?
False
Let p be 65*-1 - -1 - 2. Let l = p - -92. Does 13 divide l?
True
Suppose 4 = -3*l + 67. Let n = l - 3. Does 8 divide n?
False
Let p = 905 + -485. Is 20 a factor of p?
True
Suppose -20 = 3*s - 8. Let f = s + 7. Let a(r) = 3*r**2 - 3. Is a(f) a multiple of 12?
True
Let u = 21 - -3. Is u a multiple of 10?
False
Let v = -16 - -21. Suppose -v*f + 8 = -22. Is f a multiple of 6?
True
Let i be (10/(-4))/((-1)/(-10)). Let c be (2 - (-189)/(-12)) + 3/(-12). Let x = c - i. Is x a multiple of 3?
False
Let r be ((-81)/(-2))/(5/10). Suppose 0*d = d - r. Is 27 a factor of d?
True
Let d = 31 - 9. Let o be (-105)/(-33) + (-4)/d. Suppose -o = 2*s - 19. Is s a multiple of 3?
False
Suppose 4*w = 8 + 8. Suppose 2*f - 4*s - 54 = 0, -65 = -5*f - w*s - 0*s. Does 7 divide f?
False
Let l(p) = p**3 + 11*p**2 - 13*p + 3. Is l(-12) a multiple of 8?
False
Suppose -2*m - 13 = -3*m - a, 44 = 3*m - 2*a. Is 270/m + 6/(-21) a multiple of 5?
False
Let b = 103 - -11. Does 19 divide b?
True
Let x be (-12)/(-2) - (4 - 2). Suppose -2*a = 5*t - 59, t - 2*a + x*a = 15. Suppose 2*h + h - 2*u - t = 0, -3*h - u + 26 = 0. Is 4 a factor of h?
False
Suppose w = -2*w + 84. Is 9 a factor of w?
False
Let r(u) = 26*u - 7. Is 13 a factor of r(4)?
False
Let o = 45 + -30. Does 4 divide o?
False
Suppose 0 = 6*u - 3*u + 12. Let l(p) = p**3 + 5*p**2 + 3*p - 1. Let g be l(u). Suppose m + g*m = 60. Is 10 a factor of m?
False
Let v = -1 + 4. Suppose -y + 16 = 4*t, -y + 19 = v*t + 2*t. Does 4 divide y?
True
Suppose 3*j = -3*p, -2*j + 5*j + 4*p = 0. Suppose -r - 4*r - 100 = j. Let g = 30 + r. Does 10 divide g?
True
Let c(i) = -i**2 + 16*i. Let r(u) = 2*u**2 - 32*u - 1. Let f(w) = -5*c(w) - 2*r(w). Is 5 a factor of f(17)?
False
Let r(z) = -10*z - 3. Let s = 11 - 15. Does 21 divide r(s)?
False
Let d be (-6)/12*8/(-1). Suppose 4*x - 5*n + 2*n - 17 = 0, -d*x + 4*n + 12 = 0. Is 7 a factor of x?
False
Suppose 5*o = -3*f + 175, 126 - 368 = -4*f + 2*o. Is 18 a factor of f?
False
Let i(f) = f**3 + 2*f**2 - 5*f - 3. Let r be i(-3). Suppose 2*s + 5 = -3*t + 29, t + 58 = r*s. Does 18 divide s?
True
Let h(r) = r**3 + 13*r**2 - 16*r - 6. Is 22 a factor of h(-14)?
True
Let n be (3 + -1)/((-6)/9). Let y be 6/4*(-80)/n. Suppose 0 = -3*r + y + 8. Is r a multiple of 8?
True
Let i be (-4)/(-6) + 2/(-3). Suppose x + 3*x + 3*h = 28, i = -2*x + h + 14. Is x a multiple of 7?
True
Suppose i + 3*d - 75 = 6*d, -2*d = i - 60. Is 22 a factor of i?
True
Let p = -8 + 10. Suppose -p*c - 90 = -2*w, 3*w - 213 = -2*w + c. Does 14 divide w?
True
Let t(m) = 10*m - 10. Let u(j) = 5*j - 5. Let x(h) = 3*t(h) - 5*u(h). Let q be x(-4). Let y = q + 39. Is y a multiple of 13?
False
Let z(j) = 7*j**2 - j + 8. Let d(b) = -15*b**2 + 2*b - 17. Let y(p) = 6*d(p) + 13*z(p). Let h be y(0). Suppose -h*w + 7*w = 70. Is w a multiple of 14?
True
Let o = -33 + 155. Does 22 divide o?
False
Let v be (-10)/(-4) - 4/(-8). Let f be (v + -2)/((-2)/(-4)). Suppose 123 = f*m + 39. Is m a multiple of 21?
True
Suppose -p + 24 = 2*v, 2*v = -4*p + p + 60. Let c = p - 11. Let t = 17 + c. Is 12 a factor of t?
True
Suppose 3*h + 4 = h. Let n = h - -4. Suppose i + 3*u = 14, -u = -i + n*i - 22. Is 14 a factor of i?
False
Let h(t) = t + 6. Let r be h(0). Suppose r*x - 9*x + 24 = 0. Does 8 divide x?
True
Let p(u) = -4*u. Let m be p(-1). Suppose -m*d + 0 + 12 = 0. Does 8 divide (-48)/(-9)*d/2?
True
Let o = 59 + -9. Is 4 a factor of o?
False
Let z(w) = w**2 - 4*w + 6. Does 21 divide z(-7)?
False
Let u(f) = -5*f + 168. Does 8 divide u(0)?
True
Is 9 a factor of (1 + -4 - -7) + 32?
True
Let b(g) = -g - 4. Is 2 a factor of b(-6)?
True
Let s(l) = -14*l**3 - 20*l**2 + 3*l - 143. Let w(n) = 5*n**3 + 7*n**2 - n + 48. Let p(f) = -6*s(f) - 17*w(f). Is p(0) a multiple of 18?
False
Let x = 6 + 0. Is x a multiple of 3?
True
Let l = -9 - -7. Is 5 a factor of l + -1 + 24 + -6?
True
Let z = 13 + 1. Is 6 a factor of (-745)/(-35) - 4/z?
False
Let p be ((-6)/(-5))/(4/10). Suppose 0 = p*j - 24 - 129. Is j a multiple of 14?
False
Let i = 7 + 33. Is i a multiple of 20?
True
Let d(b) = -b**3 - 8*b**2 + 8*b - 9. Let r be d(-9). Suppose 5*t - 2*y = 71, t + r*t - 2*y - 19 = 0. Is 13 a factor of t?
True
Let s = 213 + -110. Let k = s - 42. Let a = 89 - k. Does 9 divide a?
False
Let u(p) = -2*p + 2. Suppose -2*g + 3 = 1. Let a = -5 - g. Does 14 divide u(a)?
True
Suppose 24 = -4*w + 72. Does 12 divide w?
True
Suppose 4*g - 36 = -2*t - 10, 5*t - 35 = -4*g. Suppose -t*a = -3*o + 21, 0 = -2*o + o + 5*a + 23. Is 3 a factor of o?
True
Suppose 2*h + 2*x - 158 = 0, -3*h + 2*x + 238 = 4*x. Is 30 a factor of h?
False
Let g be 6*3/6 + 1. Suppose -3*m - 42 = -g*m. Is m a multiple of 15?
False
Is 14 a factor of 446/8 - 16/(-64)?
True
Suppose -2*d + 52 = 4*n, -4*d + 88 = -d + 4*n. Is d a multiple of 18?
True
Let o = 106 - 87. Is o a multiple of 3?
False
Does 18 divide -4 + 6/12*68?
False
Suppose 0 = -3*o - 5*n + 51, -o = -3*n - 0*n - 3. Does 10 divide (4/o)/((-2)/(-210))?
False
Let b = -39 + 116. Is b a multiple of 11?
True
Let s = -34 + 45. Is s a multiple of 7?
False
Suppose 0 = 4*s + 3*k - 57, -5*s + 3*k + 5 = -100. Let y = 12 + s. Is 15 a factor of y?
True
Is 24 a factor of (8/5)/(-4) + 3548/20?
False
Suppose -91 - 57 = c. Let l = c - -262. Suppose n + 2*n - l = 0. Is 18 a factor of n?
False
Let p be (3 + -11)/(-2) + 256. Suppose -6*m + 2*m + q = -p, 0 = -4*m + 3*q + 252. Is 29 a factor of m?
False
Let d = 161 - 82. Is d a multiple of 22?
False
Suppose -5*x + 2*i = -21, -8 = -3*i - i. Let g(f) = 4*f + 2. Is 7 a factor of g(x)?
False
Let h(i) = -2*i**3 - 7*i**2 - 5*i + 3. Let z(m) = -m**2 + 9*m - 12. Let n be z(8). Is h(n) a multiple of 13?
True
Let h be (-338)/(-8) - 1/4. Suppose 4*l + 21 = 2*i - 9, -2*l = -4*i + h. Let r(m) = m**3 - 10*m**2 + 13*m - 12. Is r(i) a multiple of 10?
False
Let p = -7 - -7. Let u = p - -4. Suppose 20 = 4*g, -5*o - u*g = -0*o - 290. Is o a multiple of 27?
True
Suppose 5*o + s - 21 = 5, -o = -3*s - 2. Let j be (2*-1 - 0) + 2. Suppose j*f - f = 4*m - 26, o*f - 55 = -5*m. Does 3 divide f?
True
Let l = -2 - -5. Suppose 2*w + 2*g - 14 = 0, -w - 8 - 5 = -l*g. Is w + 0 - 0 - -30 a multiple of 16?
True
Let u = 1 - -1. Suppose -o + u = -30. Does 16 divide o?
True
Let d(t) = t. Let x(z) = -12*z + 1. Let o(k) = -10*d(k) - 2*x(k). Let v be o(-4). Let q = v + 89. Is 17 a factor of q?
False
Suppose -l - 2 = -2*l, -5*m + 3 = -l. Is m - ((-3)/(-1) + -61) a multiple of 29?
False
Let z(c) = c**3 - 5*c**2 + 6*c - 1. Is 7 a factor of z(4)?
True
Suppose 93 - 623 = -5*q. Is q a multiple of 29?
False
Let n be 3/12 + (-5)/20. Suppose 0*d - 5*d + 240 = n. Is 16 a factor of d?
True
Let w(o) = o**2 - o. Let x(u) = -u**3 + 13*u + 4. Let q(z) = 6*w(z) + x(z). Let g be q(7). Suppose 2*j - 16 - g = 0. Is j a multiple of 10?
True
Let u = 5 + -7. Is (-3 - u - -2)*5 even?
False
Suppose 5*q + 1 + 19 = -5*x, -x = -q - 4. Let v be (3/6)/(3/198). Suppose 3*p + x*p = v. Is p a multiple of 5?
False
Is 42 a factor of 1486/8 + (-6)/8?
False
Suppose -2*m + 2 = 3*w, -5*w + 2 = 2*m + 4. Suppose 2*y - m*y = -10. Is -2*((-90)/4)/y a multiple of 9?
True
Let d = -140 + 196. Is d a multiple of 28?
True
Suppose 2*f = -t - 6, -3*t + t = 4. Let x(o) = 11*o. Let z(w) = 56*w - 1. Let v(m) = -11*x(m) + 2*z(m). Does 16 divide v(f)?
True
Suppose 20*y - 57 = 17*y. Is y even?
False
Let j = -14 + 17. Suppose -j*n + 44 = -97. Is n a multiple of 17?
False
Let j = 19 - -3. Is 5 a factor of j?
False
Suppose 4*l = 3*w + 172, -w + 6*w = -2*l + 112. Let j = l + -14. Is 16 a factor of j?
True
Let j be 5/(-1)*(-1 - 0). Suppose 2*k - j = 11. Suppose 0 = -2*v - 2 + k. Does 3 divide v?
True
Let n(t) = t**3 - 8*t**2 + t - 5. Let m be n(8). Suppose 68 = m*p + p. Does 10 divide p?
False
Suppose 44*r - 42*r - 138 = 0. Does 23 divide r?
True
Suppose -5*z + 6 + 9 = 0. Let i = z + 74. Suppose 0 = -l - 5*f + 22 - 6, -2*l - f = -i. Is 17 a factor of l?
False
Suppose -4*m - 71 = 2*a - 187, -4*a + m = -214. Does 27 divide a?
True
Suppose -3*z - 2*f + 5*f = -36, 2*z - 5*f = 36. Does 24 divide (-242)/(-5) - z/20?
True
Let b be -34 + -3 + (4 - 2). Let q = 67 + b. Is q a multiple of 16?
True
Let f be 50/6 - 1/3. Let y(n) = n - 5. Let o be y(f). Suppose 3*h - o*v + 3 = 0, -3*h + 4*v = 2*v. Is h even?
True
Let r = 13 + -8. Suppose -101 = -3*b - 5*