 0 = 4*q - z - 16. Is q a multiple of 11?
True
Suppose -39 = -y - 3*o, 5*y + 0*o - 255 = 5*o. Is y a multiple of 12?
True
Let n be (-7)/28 + (-5)/(-4). Let f(q) = -q**3 + q**2 + 2*q - 1. Let d be f(n). Suppose -d + 11 = 2*r. Is r a multiple of 5?
True
Let v(x) = -x**3 - 4*x**2 + 5*x - 5. Let q be v(-5). Let h be 8/q - 4/10. Is ((-1)/2)/(h/24) a multiple of 2?
True
Suppose 4 = -4*o, -2*q - 3*o + 45 = -28. Is q a multiple of 3?
False
Let f(b) = -3*b + 8. Let i(z) = 2*z - 7. Let g(c) = 6*f(c) + 7*i(c). Let x be g(-4). Suppose 4*j - 1 = x. Is 4 a factor of j?
True
Suppose -4*u = -3*x + 1, u + 4*x - 11 - 3 = 0. Suppose -2 = u*z - 3*z. Let r(k) = 7*k**2 - 3*k. Does 15 divide r(z)?
False
Is (-2)/(-6) + 1180/15 a multiple of 16?
False
Suppose -3*u + 14 = w, -2*w - 3*w = -10. Suppose 0*f - f = -u. Is 4 a factor of f?
True
Suppose -3*b = 2*b + 70. Let n = 26 + -3. Let w = n + b. Is 9 a factor of w?
True
Suppose 0 = -o + 8 - 4. Is 16 a factor of (16/(-5))/(o/(-40))?
True
Let i = 0 - 2. Does 6 divide ((-15)/i)/((-2)/(-4))?
False
Let i = -38 + 362. Is 18 a factor of i?
True
Let u(j) = 63*j**2 - 2*j - 2. Let r be u(-1). Suppose 5*b - r = 4*b. Is 21 a factor of b?
True
Suppose 7*s + 250 = 12*s. Is 10 a factor of s?
True
Suppose -136 = -5*m + 139. Is 9 a factor of m?
False
Suppose 334 + 161 = 9*y. Is 27 a factor of y?
False
Suppose 0 = 3*d + 251 + 82. Let f = d + 183. Does 16 divide f?
False
Let n = 33 - 22. Let b(v) = -v**2 + 12*v + 5. Does 6 divide b(n)?
False
Suppose 0 = -2*g - 5*b - 21, -3 = g + 2*b + 5. Suppose 0 = g*z - 2*p - 14, 5*p + 26 = 3*z - z. Suppose -7*j + z*j = -160. Is j a multiple of 20?
True
Let n = -13 + 25. Suppose -4*a = -a - n. Does 2 divide a?
True
Let x(h) = 2*h - 7. Let a be x(8). Suppose 3*i = -4*u + 19 + a, -10 = -i - u. Is i a multiple of 4?
True
Let s = 25 + -48. Let d = -11 - s. Does 6 divide d?
True
Suppose 10 = -f - 3*k - 2, 0 = -5*k - 20. Let x = -33 + f. Let d = x + 48. Does 11 divide d?
False
Is 296 - 10 - (1 + -3) a multiple of 72?
True
Let c = -7 + 11. Suppose 0 = 2*z - 3*z + 2*i + 8, -c*z + 84 = 5*i. Is 12 a factor of z?
False
Suppose 591 = 5*k + 3*r, 252 = 2*k + 3*r - 7*r. Is 12 a factor of k?
True
Suppose -2*n - 3*t + t + 330 = 0, -3*n - 5*t = -491. Does 11 divide n?
False
Suppose 0 = 2*p - p. Suppose 0*l + l + 5*x - 5 = p, -4*l = 5*x - 20. Is 2 a factor of l?
False
Let s(r) = r**3 - 8*r**2 + 3*r - 8. Let k be (-40)/(-18) - (-6)/(-27). Suppose -32 = -3*u + c - 3*c, -k*u + 20 = c. Is 10 a factor of s(u)?
False
Let x = 22 + -10. Let v(h) = h**3 - h**2. Let f be v(2). Suppose f*d = d + x. Is 2 a factor of d?
True
Let n(m) = 10*m + 20. Does 10 divide n(5)?
True
Let o = -23 + 131. Is 6 a factor of o?
True
Suppose 4*b - 2*b = -50. Let g = 70 + b. Is g a multiple of 15?
True
Suppose -5*d = -3*s + 20, -4*s - 13 = -4*d + 3*d. Let w be 2/d - 310/(-7). Suppose a + w = 5*a. Is a a multiple of 5?
False
Suppose 0 = -3*k + 5*u + 53, k + 7*u - 3*u + 5 = 0. Is 6 a factor of k?
False
Suppose -3*b - 20 - 4 = 0. Let j = 3 + b. Does 17 divide (-170)/(-2)*(-2)/j?
True
Let r(q) = q + 6. Let g be r(-6). Suppose -2*v - 2*v + 3*c + 53 = g, 49 = 2*v + 3*c. Is 6 a factor of v?
False
Is -2*3/((-12)/938) a multiple of 34?
False
Let h(v) = -3*v - 8. Let p(t) = -5*t - 1. Let c be p(1). Is 6 a factor of h(c)?
False
Let f be -8 - -3 - (0 + 2). Let d = 1 - f. Let i = 4 + d. Is i a multiple of 12?
True
Suppose -r = 0, 4*p - 3*r = -4*r + 52. Let u = p + -22. Let t = u + 32. Is 13 a factor of t?
False
Let m(g) = 4*g**2 - 3*g - 4. Does 28 divide m(-5)?
False
Suppose -4*r + 21 = -v, -4*v - 14 = 3*r - 5*r. Is r a multiple of 5?
True
Let o = 1 - -2. Suppose o*q = 5 + 4. Suppose 0 = q*b - b - 16. Does 8 divide b?
True
Let x be 12/9 + 4/6. Suppose -2*k + 101 = -5*n, 3*n + 103 = x*k - 0*k. Does 15 divide k?
False
Suppose -2*i + 24 = 2*i. Let f be 6 - (i - (-1 - -4)). Suppose -5*d + 3*v = -106, f*d + 0*v = -v + 72. Is 11 a factor of d?
False
Suppose 0 = -5*w - 3*o + o - 17, 4*w + 4*o = -4. Let d(q) = -2*q. Does 4 divide d(w)?
False
Let w(t) = 10*t + 4. Let i be w(-4). Let a = 60 + i. Let q = a - -10. Is 15 a factor of q?
False
Suppose -4*f + 4*r = 212, 0 = -3*f - 0*r - 5*r - 119. Let z = f + 78. Does 15 divide z?
True
Suppose 100 = -v + 3*v. Is 8 a factor of 820/v - (-4)/(-10)?
True
Does 14 divide (-4)/4*-74 + (-5 - -1)?
True
Let q = 2 + 10. Suppose -2*i - q = -104. Does 19 divide i?
False
Let f = -11 - 61. Let l = -39 - f. Is 16 a factor of l?
False
Let l(z) = 2*z**3 - 5*z**2 + 7*z. Is 10 a factor of l(3)?
True
Suppose -4*j = -5*c + 17 - 69, 0 = -5*c + 3*j - 49. Is (0 - -1) + (-1 - c) a multiple of 8?
True
Let h(r) = 5*r**2 - 4*r. Is 32 a factor of h(-4)?
True
Is 4/(-14) + (-2022)/(-21) a multiple of 26?
False
Let s(o) be the second derivative of o**4/12 - 5*o**3/6 - o**2 + 2*o. Let g be s(6). Suppose 4*a - 5*m + 14 = 39, 0 = g*a + 3*m - 49. Does 8 divide a?
False
Let j(z) = -z**3 + 8. Let y(f) = -f + 6. Let b be y(5). Let q = -1 + b. Is 8 a factor of j(q)?
True
Suppose -7*p - 12 = 3*x - 3*p, 2*p = x - 6. Suppose x = -u - 2*r + 51, -4*r - 154 = -4*u - 2*r. Is u a multiple of 20?
False
Suppose 3*q + 25 = -2*q. Does 8 divide ((-16)/(-6))/(q/(-30))?
True
Suppose n = -2*b + 7 - 45, -159 = 4*n + b. Is ((-8)/10)/(4/n) a multiple of 8?
True
Suppose 3*j + 2*j = 0. Suppose -3*l + 3*y = -24, -4*l + j*l - 2*y + 56 = 0. Suppose k + 3*t - l = 0, -2*k + 24 = 5*t - 0*t. Is 12 a factor of k?
True
Let c(a) = a - 5. Let i be (-2)/6 - (-88)/12. Let r be c(i). Suppose g = r*g - 16. Is 6 a factor of g?
False
Suppose 3*q + 40 = 5*y - 23, -3*q + 21 = 2*y. Is y a multiple of 10?
False
Suppose -4*a - 166 = -2*o, 2*a - 103 = 4*o - 465. Suppose 21 = 3*l + g - 39, 0 = 5*l + 4*g - o. Let j = l + -13. Is j a multiple of 3?
False
Let s be (-4)/(-1)*(-3)/(-12). Let i = -26 + 57. Suppose -2*o + i = s. Is 8 a factor of o?
False
Let b = 4 + 54. Does 29 divide b?
True
Suppose -5*m - 10 - 25 = 0. Let x = 10 + m. Suppose x*f + c + 0*c - 97 = 0, 5*c = 5. Does 13 divide f?
False
Let b be (-6)/15 + (-174)/(-10). Let p = b - -1. Is p a multiple of 5?
False
Does 8 divide 18/1*(-4)/(4/(-3))?
False
Let b(g) = -27*g - 30. Is 21 a factor of b(-5)?
True
Let c(r) = 3*r - 20. Let t be c(11). Let i = t + 63. Is i a multiple of 27?
False
Let k = -66 - -93. Is 15 a factor of 6 + -3 + k/1?
True
Let n = -95 - -316. Is n a multiple of 13?
True
Suppose -3*m = -4*n + 71, 2*n = -3*m + 4*m + 33. Is n a multiple of 4?
False
Let v(d) = -6*d**2 - 3*d + 2. Let m be v(1). Let p(n) = -4*n - 10. Is p(m) a multiple of 7?
False
Let m(w) = -w**2 + 7*w - 4. Let o be m(6). Suppose o*v + 20 = 3*v. Is 8 a factor of v?
False
Suppose 4*k = 5*k - 72. Is k a multiple of 18?
True
Suppose 0 = -3*h - g + 105, 0*h - 4*h + 139 = g. Is 21 a factor of h?
False
Suppose 2*y - 14 = 6. Is y/3 - 1/3 even?
False
Let n(u) = 15*u + 3*u**2 + 12 - 6*u**2 + 2*u**2. Does 8 divide n(12)?
True
Is 5 - (-3*15 + 2) a multiple of 16?
True
Let o(w) = -w**3 - w - 1. Let n(j) = -j**3 + 6*j**2 - 2. Let d(f) = -n(f) + 2*o(f). Let u be d(-7). Suppose -5*c + 102 + u = -y, 0 = 3*y + 15. Does 19 divide c?
False
Let g(v) = -110*v + 2. Is 22 a factor of g(-1)?
False
Let l(z) = -z**3 + 4*z**2 - 3*z + 5. Let b be l(4). Let h = -9 - b. Is 1/h + 46/4 a multiple of 11?
True
Is 28 a factor of 1/5 + 278/10?
True
Let q be 128/3 - (-8)/(-12). Let r = 70 - q. Is r a multiple of 14?
True
Let k(d) = -d**3 + 7*d**2 + 5*d. Let x be (-1 + 2)/(4/28). Is 14 a factor of k(x)?
False
Suppose -4*v + 42 = 2*z, -2*v - v - 4*z + 44 = 0. Let q = v + -4. Is 4 a factor of q?
True
Suppose -5 = -2*a - 1, -m - 3*a + 40 = 0. Suppose -u + 6*u + 3*s = m, 0 = -5*s + 15. Suppose 13 = u*w - 37. Is 9 a factor of w?
False
Is 5 a factor of 3/21 + (-418)/(-14)?
True
Suppose -63 + 27 = -3*o. Suppose -2*y + 4*l = -o, l + 2 + 6 = y. Is y a multiple of 10?
True
Let v = 14 - 5. Suppose v = 4*d - t - 3, 0 = -d + t. Suppose -5*w = -z - 84, w + 2*z + 3*z = -d. Is w a multiple of 13?
False
Suppose -3*k = -0*k - 5*x - 17, 0 = -k - x + 11. Let b = k - -1. Does 3 divide b?
False
Suppose -4*d = r + 128 - 3, -3*r = 3*d + 393. Let w = 218 + r. Is w a multiple of 11?
False
Suppose x - 7 = -0*x - 4*s, s = 2*x - 23. Let g(f) = f**3 - 10*f**2 - 12*f + 7. Let h be g(x). Is ((-6)/h)/((-6)/(-8)) even?
True
Suppose -4*d = -16, 2*d -