 of 2?
True
Let v be (-135)/(-12) + (-3)/12. Is 3/(-6)*v*-2 a multiple of 11?
True
Let y be 2/(-13) + 564/(-52). Let r = y - -15. Is 3 a factor of r?
False
Suppose -22*s + 12 = -19*s. Is s/10 + (-216)/(-10) a multiple of 11?
True
Let r(p) = p + 5. Let t be r(0). Let u be 21 + -2 - (-5 + 2). Suppose -t*v = -67 + u. Is v a multiple of 6?
False
Let a be 0/((-4)/(-2)) + 2. Suppose -4*g - d + 192 = -2*d, a*g - 4*d = 110. Does 15 divide g?
False
Suppose -3*i + 3 = -9. Suppose 0 = -3*n + 4*d + 133 + 49, 2*n = -d + 103. Suppose 0 = -2*b + i*l + 40, l + 3*l = 3*b - n. Is 14 a factor of b?
True
Let w(x) = 5*x**2 - 6*x - 3. Let s(u) = -9*u**2 + 13*u + 6. Let j(t) = 4*s(t) + 7*w(t). Does 12 divide j(7)?
True
Does 34 divide 51/2*(24 - 20)?
True
Suppose -100 - 44 = -2*s. Suppose p = 4*p - s. Is p a multiple of 24?
True
Let d be (-2 - -3)/((-1)/(-4)). Suppose 10 = t + d*t. Let p = t + 7. Is 9 a factor of p?
True
Let r be (-1)/(1/3) + -477. Let s = -283 - r. Suppose 77 = 2*g - b, 5*g + 0*b - b = s. Does 20 divide g?
True
Let l(d) = -5*d + 3. Let m(t) = 6*t - 3. Let h(q) = -7*l(q) - 6*m(q). Let u be h(-11). Let c(f) = 2*f - 3. Is 13 a factor of c(u)?
True
Is 8 + 1 - (-5 + -2 + 5) a multiple of 2?
False
Is 16 a factor of (0 + (-4)/(-10))*120?
True
Suppose -292 = -3*g - g. Does 14 divide g?
False
Let a(n) = -n**3 + n**2 + 5*n - 3. Let w be a(5). Let l = w + 127. Is 16 a factor of l?
False
Suppose 24*l + 208 = 28*l. Does 13 divide l?
True
Suppose 4*p + p = 0. Suppose v + 77 = 4*k, k + p*v + v - 13 = 0. Does 9 divide k?
True
Let h(u) = -u**2 - 21*u - 9. Let s(b) = 20*b + 9. Let i(c) = 3*h(c) + 4*s(c). Let a(o) = -2*o**2 + 9*o + 5. Let x(l) = 5*a(l) - 3*i(l). Is 3 a factor of x(-4)?
True
Let g(u) = u + 32. Is 17 a factor of g(0)?
False
Is (0 - 5)*(15 - 30) a multiple of 5?
True
Let p(g) = g**2 - 7*g - 3. Let a be p(8). Suppose a*u - 5*j = 25, u + 4*j = -0*u + 10. Suppose 2*r = -6, -2*i + 2*r = u*r - 16. Is i a multiple of 7?
True
Let k(o) = -23*o + 4. Is 19 a factor of k(-2)?
False
Let q(d) be the second derivative of d**5/20 - d**3/6 + 49*d**2 - 4*d. Does 20 divide q(0)?
False
Does 11 divide (-676)/10*(-65)/26 - 4?
True
Suppose 0 = -2*x - 4, 0*p = -4*p + 5*x + 106. Is p a multiple of 12?
True
Let g(i) = i - 3. Let x be g(3). Let q be (x + -8)*(0 - 1). Let t = 7 + q. Is t a multiple of 7?
False
Let p = 28 - 1. Is 14 a factor of p?
False
Suppose 7*p - 12 = -q + 4*p, -5*p = -q - 20. Let n be 3 + q - 10/(-2). Suppose 10*t = n*t + 30. Is t a multiple of 7?
False
Let m = -20 - -31. Does 11 divide m?
True
Suppose 5*q + 18 = 5*i - 7, 2*q + 22 = 4*i. Suppose 3*n = -5*z + 479, -2*z - 3*n - 394 = -i*z. Suppose z + 67 = 4*a. Does 16 divide a?
False
Let i(y) be the second derivative of y**4/12 - 5*y**3/3 + 9*y**2/2 - 3*y. Let f be i(10). Is 3 a factor of 1 - 3 - (2 - f)?
False
Let q(b) = -b**2 - 2*b - 1. Let x be q(-1). Suppose x = -2*w + w. Suppose -4*k + 20 = -w. Is 4 a factor of k?
False
Let w(g) = g**2 + 2*g + 17. Let q be w(0). Let f = q - 6. Is 11 a factor of f?
True
Suppose 0 = -4*m, 4*j + 5*m + 24 = -0*m. Let h be 14/(-6) + (-2)/j. Does 5 divide 2*(9/2 + h)?
True
Suppose 4*y + h = 5*y - 3, -2*y + 5*h + 15 = 0. Suppose 6 = -0*c + 3*c. Suppose 0 = 2*x + c*x - k - 40, y = -3*k. Does 7 divide x?
False
Suppose v = 3 + 3. Let g be (-2)/v + (-17)/3. Is (-64)/g - 3/(-9) a multiple of 11?
True
Let m(t) = 6*t**2 - 2*t - 2. Let v(y) = y**3 - 11*y**2 + 9*y + 8. Let a be v(10). Does 13 divide m(a)?
True
Let c(h) = -21*h - 3. Is 39 a factor of c(-2)?
True
Let d(n) = 2*n - 8. Let i be d(6). Suppose -2*a = 5*h - 72, -3*h + 47 = -i*a + 9. Is 4 a factor of h?
False
Suppose 5*a = -45 + 310. Let h = a + -37. Is h a multiple of 5?
False
Let n = -2 - -5. Suppose -y + p = -0*y - n, -3 = -4*y + p. Suppose y = 6*w - 3*w - 234. Does 28 divide w?
False
Let y be 167 + -5 + 3*1. Let s = y + 5. Suppose -t + s = 4*t. Is t a multiple of 16?
False
Suppose 0*w - 398 = -2*v + w, -v + 3*w + 204 = 0. Is v a multiple of 18?
True
Suppose -o + 54 = -39. Does 31 divide o?
True
Let t(f) = 2*f**3 - 2*f**2 + f + 3. Is 13 a factor of t(2)?
True
Suppose -5*g + g + 8 = 0. Suppose 0 = -z - g*z. Suppose z*d + 11 = d. Is 5 a factor of d?
False
Suppose -4*g = o + 4*o - 172, o + g - 34 = 0. Does 15 divide o?
False
Let u(f) = 12*f + 1. Suppose -2*y - 8 + 0 = 0. Let b = 8 + y. Is 13 a factor of u(b)?
False
Let k(z) = z - 3. Let b be k(3). Suppose -t = -b*t. Suppose u = 6 - t. Is u a multiple of 3?
True
Let b = 5 - -11. Is b a multiple of 4?
True
Let w(g) = g**3 + 4*g**2 + 3*g + 5. Let p be w(-4). Let s = p + 11. Suppose -3*q + s*q - 4 = -5*z, -5*z - 8 = -2*q. Is 4 a factor of q?
True
Let g = -74 + 142. Is 17 a factor of g?
True
Let i(f) = 20*f**2 + 2*f. Let b be i(-2). Suppose -20 + b = 4*o. Is o a multiple of 4?
False
Suppose 10*x - 9*x - 55 = 0. Is 11 a factor of x?
True
Suppose -5*x = -4*y + 597, y + 2*x = -y + 312. Is y a multiple of 12?
False
Let y = 50 + -11. Let r = -33 - y. Let v = -44 - r. Is 14 a factor of v?
True
Let o = -4 + 23. Let f = o + 7. Does 26 divide f?
True
Let y(m) = -m**2 - 28*m - 52. Is y(-20) a multiple of 17?
False
Suppose -4*j - 57 = -3*j. Let p = 16 + j. Does 16 divide (0 + -2 - p)*1?
False
Suppose -r + 6 = r. Let n = r + 13. Is n a multiple of 8?
True
Suppose 0 = -5*u + d + 14, 2*d + 18 = 3*u - d. Suppose 0 = u*x - 7*x + 30. Does 4 divide x?
False
Let t(d) = -2*d + 44. Is 3 a factor of t(10)?
True
Let w = 12 - 8. Suppose 20 = w*j - 4*m - 16, -2*m = -4*j + 26. Suppose -105 = -9*s + j*s. Is 8 a factor of s?
False
Let f(l) = -62*l**3 + 2*l**2 + 4*l + 3. Is f(-1) a multiple of 11?
False
Suppose 336 = -0*p + 4*p. Does 13 divide p?
False
Let r(k) = -k**2 - 8*k + 9. Suppose 0 = -4*j - 34 - 2. Let y be r(j). Suppose y*x + 16 = 2*x. Is x a multiple of 3?
False
Let n be -1*2*132/24. Let i(s) = s**3 + 13*s**2 + 15*s + 15. Is 22 a factor of i(n)?
False
Let i be (-2)/10 - (-72)/(-15). Let l(p) = p**3 + 4*p**2 + 2*p + 5. Let t be l(i). Let x = -19 - t. Is 6 a factor of x?
False
Let p = -467 - -865. Is 40 a factor of p?
False
Suppose v + 0*v = 26. Is 11 a factor of v?
False
Let p be (2 - 54/4)*-6. Let z = p + -24. Is z a multiple of 15?
True
Suppose -6*p = -p - 150. Let q = -18 + p. Is 4 a factor of q?
True
Suppose -8*f + 6*f + 120 = 0. Does 7 divide f?
False
Suppose -3*i + 0*i = -12. Let a = 14 + -10. Suppose -a = -x + i. Does 7 divide x?
False
Let n(v) = v**3 + 10*v**2 + v + 2. Let d be n(-10). Is (-2)/d + 444/16 a multiple of 15?
False
Let c be ((-2)/(-3))/(2/9). Suppose -27 = 4*r - 4*t - 95, 43 = c*r - t. Suppose r + 14 = m. Is m a multiple of 9?
True
Suppose 4*q + n - 114 = 0, 2*n = -2*q + 4*q - 62. Let l = -7 - -9. Suppose l*f = -1 + q. Does 5 divide f?
False
Let g(p) = -p**2 - 8*p + 11. Does 2 divide g(-9)?
True
Suppose -4*v = 15 + 21. Let o = 18 + v. Is (o/4)/((-2)/(-32)) a multiple of 18?
True
Let k(w) = -11*w**2 - 2. Let t be k(-2). Let q = 168 + -92. Let p = t + q. Does 15 divide p?
True
Suppose -f + 42 + 66 = 0. Is 23 a factor of f?
False
Suppose 0 = -s - 4, -4*h = -6*h - 2*s - 2. Let n = 27 + h. Is n a multiple of 15?
True
Let r = -11 - -11. Is -18*(-3 - -1) - r a multiple of 9?
True
Let b be (-5)/(-1)*(4 + -1). Suppose b + 5 = a. Suppose 2*t = -0*t + a. Does 5 divide t?
True
Let a(s) = s - 76. Let n be a(-23). Suppose -3*k - 2*l - 120 = 0, -3*l = k - 21 + 68. Let d = k - n. Does 19 divide d?
False
Suppose -10 = -2*b - 2. Suppose 5*o = 20, 5*u - b*o = 4*u - 10. Is u even?
True
Suppose -2 = d - l, -3*d + 2 = 4*l - 3*l. Suppose 0 = -2*f + 2, -5*w + 4*f + 8 = -w. Suppose -w*r = -d - 9. Is r even?
False
Suppose -2*w + 4 = -16. Suppose 210 = 5*l + w. Does 20 divide l?
True
Let l(b) = -b + 5. Let h be l(-4). Suppose -o + h = -7. Does 16 divide o?
True
Suppose 5*k + 25 = 0, p - 412 = -k - 3*k. Is 36 a factor of p?
True
Let a(m) be the first derivative of -3*m**2/2 + 15*m + 3. Is a(-11) a multiple of 24?
True
Let q(f) = -10*f - 21. Is q(-16) a multiple of 25?
False
Suppose 5*u - 55 = 45. Is u a multiple of 7?
False
Let m(g) be the second derivative of g**3/2 + 2*g**2 + 2*g. Let a be m(5). Is a*-3*(-2)/6 a multiple of 14?
False
Suppose 13 = -3*x - 20. Let i(l) = l**2 + 7*l - 12. Is 11 a factor of i(x)?
False
Suppose 36 = p - 20. Is p a multiple of 7?
True
Suppose 2*h = 6*h - 4*p - 36, -p - 2 = 0. Is