-2*r - o + 29 = 0. Is 4 a factor of r?
True
Let c = 95 - 11. Suppose -l - 2*l = -c. Is (-2)/(2/l*-2) a multiple of 8?
False
Let d(a) be the first derivative of -a**3/3 - 11*a**2/2 + 11*a - 1. Is d(-10) a multiple of 11?
False
Let n(r) = r + 4. Let y be n(-2). Suppose -3*a - 11 = -0*m - 2*m, -y*m + 7 = a. Suppose 3*g - 5 = m. Is g a multiple of 2?
False
Suppose -3*s = -2*s - 10. Let a(m) = 7*m - 7. Is a(s) a multiple of 21?
True
Suppose -5*c + 424 = 3*c. Is 14 a factor of c?
False
Let h = -162 - -237. Is h a multiple of 15?
True
Let f(t) = t**3 - 2*t**2 + 1. Suppose v - 4*v = 5*s - 35, 2*s + v - 13 = 0. Let k be f(s). Suppose 4*m - k = 71. Does 13 divide m?
True
Suppose -l = -2, -2*l - 284 = -2*c - c. Does 39 divide c?
False
Let o be (-399)/(-6) + (-2)/4. Suppose 0*g - o = -2*g. Suppose 32 = 5*m - 2*l - g, -4*m + 2*l + 52 = 0. Is m a multiple of 9?
False
Suppose 0 = -3*z - o + 42, -3*z - 4 = -4*z + 3*o. Let h be (z/4)/((-2)/8). Let i = 27 + h. Is 7 a factor of i?
True
Let p = -9 - -14. Suppose 277 - 2 = -p*k. Let i = -32 - k. Is 8 a factor of i?
False
Is (162/21)/(2/28) a multiple of 18?
True
Let h(y) = 9*y + 2 + 4 - 2. Does 11 divide h(2)?
True
Let s(p) = -4*p**2 - 5*p - 4. Let z(i) = 21*i**2 + 26*i + 20. Let g(y) = -11*s(y) - 2*z(y). Is g(3) a multiple of 10?
False
Let f(u) = 4*u**2 - 4*u - 9. Is 5 a factor of f(-2)?
True
Let h = -5 - -8. Suppose 2*o + h*q = 133, o - 4*q - 56 = -2*q. Let m = -38 + o. Is m a multiple of 9?
False
Is (-12)/(-1) + (-11 - -13) a multiple of 6?
False
Is 209 + (-10 + 5 - -1) a multiple of 33?
False
Suppose -k = k - 48. Does 12 divide k?
True
Let m(i) = -i**3 + 7*i**2 - 2*i - 6. Let k be m(6). Let w = -13 + k. Suppose -t + w*q - 4*q + 34 = 0, -82 = -3*t - 2*q. Is 13 a factor of t?
False
Is (1/2)/(2/1140) a multiple of 34?
False
Suppose -3*b + 317 = -259. Is 32 a factor of b?
True
Suppose -3*r + 3 = -3. Let n be (-2)/(-2) - 142/r. Let m = -42 - n. Is 14 a factor of m?
True
Let n = 402 - 222. Does 36 divide n?
True
Let k be (-6)/33 - 64/11. Does 11 divide (-128)/k - (-2)/3?
True
Let n(i) = -i**2 + 14*i - 7. Let x be n(10). Let m = -19 + x. Does 7 divide m?
True
Suppose 2*v = 3*z - 91, 3*z - 5*z + 86 = 5*v. Is z a multiple of 11?
True
Does 15 divide (27/18 + (5 - 1))*30?
True
Suppose -5*l + 220 = 3*r, l + 4*l - 260 = 5*r. Let f = -24 + l. Is 23 a factor of f?
True
Let q(v) = -v**3 - 13*v**2 + 14*v - 4. Let u be q(-14). Let k be ((-4)/(-6))/((-1)/(-15)). Is 16 a factor of u*(-4 + 3 - k)?
False
Let i be (3 + (-27)/7)*7. Let u(q) = -2*q + 12. Is 12 a factor of u(i)?
True
Let q = 10 + -10. Let n be (-1)/(-2) + 2/4. Is 12 a factor of -2 + q + 15 + n?
False
Suppose -4*l + 14 = 2. Suppose l*d - 405 = -2*d. Does 27 divide d?
True
Let y = 14 - -32. Let a = 77 - y. Is a a multiple of 15?
False
Let m(l) = -l**2 - 5*l - 4. Let d = -2 + -1. Let z be m(d). Suppose -3*y - 9 = o - 44, 4*y = z*o - 40. Is 8 a factor of o?
False
Suppose -5*z + 250 = 4*y, -2*z - z - 5*y = -137. Does 6 divide z?
True
Suppose 4*i + 4*l - 10 = 70, 0 = -3*l - 3. Suppose 5*p + 73 = 3*a, a - i = -0*a + 5*p. Does 13 divide a?
True
Does 4 divide (-111)/(-27) - (-1)/(-9)?
True
Suppose -3*s - 5*y - 22 = 0, -4*s - 5*y = 13 + 8. Let a be (-1 - 0)*s*0. Suppose -3*m - m - j + 59 = a, j = 2*m - 37. Does 16 divide m?
True
Let q = 173 - 133. Is q a multiple of 14?
False
Let s(n) = -n + 102. Does 12 divide s(0)?
False
Let r(n) = 17*n**2 + 2*n - 2. Does 8 divide r(1)?
False
Let a(n) = 4*n + 4. Let l(j) = 4*j + 3. Let r(f) = 4*a(f) - 5*l(f). Let k(t) = -t + 1. Let h be k(2). Is r(h) a multiple of 2?
False
Suppose -2*l + 4 = -8. Is l a multiple of 6?
True
Is (-2)/((-3)/(444/8)) a multiple of 25?
False
Let i(s) be the first derivative of -2 - s - 8*s + 3*s + s**2. Is 4 a factor of i(6)?
False
Let q(v) = 0 - 2*v + v**2 + 1 + 0. Let s be q(7). Suppose -n + s = n. Does 5 divide n?
False
Let r(l) = -26*l**3 - 2*l**2 - 4. Is r(-2) a multiple of 25?
False
Let s = 38 + -32. Does 6 divide s?
True
Let n = 109 - 62. Is 26 a factor of n?
False
Suppose -a + 3*l = -4 - 0, -a + 20 = l. Does 16 divide a?
True
Let n(j) = -j + 4. Let p be n(6). Let f(m) = -7*m**3 - 2*m**2. Let r be f(p). Is -36*(-4)/(r/9) a multiple of 17?
False
Let w(v) = -4*v**2 - 3*v. Let p(n) = -n**2 - 1. Let t(c) = 3*p(c) - w(c). Let h be t(4). Is 135/h - (-6)/10 a multiple of 6?
True
Let l be 2/(-4) - (-85)/10. Suppose 40 = l*p - 4*p. Is p a multiple of 5?
True
Suppose 0 = -4*p - 1 + 33. Is p a multiple of 3?
False
Is (-2972)/(-14) + 4/(-14) a multiple of 18?
False
Suppose 0 = l + 21 - 116. Is 22 a factor of l?
False
Suppose -n = -4*q + 19, q + n - 4*n = 13. Does 9 divide ((-13)/q)/((-1)/4)?
False
Is 14 a factor of ((-1670)/(-15))/(4/6)?
False
Let u(r) = r**3 + 3*r**2 - 3*r + 3. Is u(-3) a multiple of 5?
False
Let a(s) = -s**2 + 14. Let x(k) = -2 + 3 + 4*k**3 - 3*k**3 - 2*k. Let z be x(1). Is 7 a factor of a(z)?
True
Let x be (10/4)/((-1)/(-2)). Let g = x + 0. Suppose -5*s - 55 = -d, 5*d + g*s - 194 = 3*s. Is 16 a factor of d?
False
Let d(z) be the first derivative of -z**4/4 - z**3/3 - z**2/2 + 33*z + 2. Is 11 a factor of d(0)?
True
Let r = 4 + 11. Is 11 a factor of r?
False
Suppose 3*j - m - 1 = m, -2*j - 5*m + 26 = 0. Suppose k = 3*k + j*u + 1, -k - 3*u = 5. Is k even?
True
Suppose 0 = -2*j - 96 - 18. Is (j/12)/(3/(-24)) a multiple of 19?
True
Suppose 0*a - 8 = -2*a. Suppose 3*i = 4*i - 3. Suppose -a*r - 76 = -0*v - 4*v, -3*v + 63 = i*r. Does 10 divide v?
True
Suppose 3*h - 2*h = -3*z + 35, 0 = -4*h + 20. Is z a multiple of 4?
False
Suppose 5*l = 3*k + 139, -5*l + 0*k + 127 = k. Is l a multiple of 6?
False
Let j = -43 + 108. Is 36 a factor of j?
False
Is 16 a factor of ((-16)/10)/(2943/(-420) + 7)?
True
Suppose 73 - 1 = d. Suppose 5*f = 2*f + d. Does 12 divide f?
True
Suppose 0 = -9*v + 170 + 37. Is v a multiple of 3?
False
Suppose -2*z + z + 5*n = 15, 0 = z + 4*n - 21. Suppose -d = -z*d + 24. Is d a multiple of 2?
True
Let r(g) = 7*g + 5. Let y be r(9). Is y/(-1 - (-3)/1) a multiple of 17?
True
Let z be -3*(0 + 38/6). Let k = z - -33. Does 7 divide k?
True
Let n = -7 + 7. Suppose -y + 4 + 224 = n. Suppose 4*k - y - 24 = 0. Is 27 a factor of k?
False
Suppose -5*u + 65 = -5. Does 4 divide u?
False
Suppose 483 = 76*a - 73*a. Is a a multiple of 7?
True
Let p(b) = 7*b**2 + b - 9. Is p(3) a multiple of 8?
False
Let a = 331 + -93. Is 34 a factor of a?
True
Let k be (1 - -1) + (2 - 20). Let y(x) = x**2 + 13*x - 20. Does 28 divide y(k)?
True
Let m(x) be the second derivative of -x**6/40 - x**4/24 - x**3/3 + x**2/2 - 3*x. Let r(c) be the first derivative of m(c). Is 11 a factor of r(-2)?
False
Let s(u) = -u**2 - 6*u + 1. Let c be s(-5). Is 7 a factor of (c/5)/(3/40)?
False
Suppose -5*f = -18 - 2. Suppose f - 16 = 3*n. Let h(w) = w**3 + 7*w**2 + 6*w. Is 8 a factor of h(n)?
True
Suppose -3*u + 45 = -4*j, 2*j - j + 35 = 2*u. Is u a multiple of 6?
False
Let q(h) = -8 + 0*h + h - 4*h. Is q(-6) a multiple of 10?
True
Let d(z) = 4*z**2 - 6. Let l be -1 + -1 + -3 - -2. Does 10 divide d(l)?
True
Let l(v) = 2*v**3 + 2*v**2 - 2*v - 1. Let m be l(-2). Let b(t) be the second derivative of -2*t**3/3 - 7*t**2/2 + t. Is b(m) a multiple of 5?
False
Let q = 4 - 1. Suppose -2*w + 31 + 33 = -5*d, q*w - 114 = 3*d. Is 12 a factor of w?
False
Suppose 5*o = -4*d + 2*o + 23, -d = -3*o + 13. Let s(f) = 2*f - 17. Let q be s(15). Suppose -d*y + 11 = -q. Is y a multiple of 5?
False
Suppose 0 = -2*j - 5 + 1. Let u be (-4)/j*(-21)/(-2). Let s = 47 - u. Is s a multiple of 9?
False
Let u = 22 + 6. Does 7 divide u?
True
Let p be ((-36)/10)/((-15)/100). Suppose 5*x = p + 11. Is x a multiple of 7?
True
Suppose -4*f + c - 599 + 1763 = 0, c - 582 = -2*f. Let k = -204 + f. Is 29 a factor of k?
True
Let x be 1/(14/4 - 3). Suppose 6 = x*s, -3*w + 5*w = 4*s + 16. Is w a multiple of 14?
True
Let o(u) = u + 10. Let b be o(-8). Let p be -2*2/(b + -3). Suppose -56 = -0*k - p*k. Is 14 a factor of k?
True
Let j = 22 - -119. Is j a multiple of 62?
False
Let j = 77 - 29. Does 12 divide j?
True
Let l = 44 + -92. Let b = -22 - l. Is 7 a factor of b?
False
Suppose -3*f + 20 = 2*f. Suppose -10 = 2*g, f*g + 85 = i + 2*g. Is 25 a factor of i?
True
Let o(f) = f**3 + 2*f**2 - 4*f + 2. Let j be o(-5). Let a = -9 - j. Is 12 a factor of a?
False
Suppose -4*k = 16, 0*r - 4*r + 152 = 