et f = 29 - b. Is f a multiple of 12?
False
Suppose 0 = 4*t + 16, -4*g + 676 = -t - t. Does 38 divide g?
False
Suppose 13 = 3*r + 4, 0 = q + 2*r - 13. Let b(j) = j - 4. Does 2 divide b(q)?
False
Suppose 3*h = h. Suppose h = -3*m + j + 85, -3*m - 3*j + 67 = -2. Let f = 42 - m. Is 10 a factor of f?
False
Let y(p) = 2*p**2 - p - 1. Let w be y(2). Suppose -w*v - 9 = -4. Is v + 1 + 10*1 a multiple of 7?
False
Does 7 divide 43/2 - (-12)/(-8)?
False
Let s be 11/4 - 1/(-4). Suppose 106 = s*l - 29. Is l a multiple of 15?
True
Let v be (-1)/2 - (-25)/10. Suppose -v*a = -3*z - 6 - 14, 5*a - 5*z - 60 = 0. Is 4 a factor of a?
True
Suppose -4*a - 951 = -5*x + 6, 3*x - a = 577. Let t = x - 109. Is t a multiple of 28?
True
Suppose 0 = v, -v + 15 = 3*c - 6*v. Does 5 divide c?
True
Suppose -3 = -s + 53. Is 28 a factor of s?
True
Suppose 5*w + 370 = 135. Let q = -32 - w. Does 8 divide q?
False
Suppose 3*g + c + c = -36, -2*g = 5*c + 13. Let u = g + 32. Is u a multiple of 9?
True
Let s = -49 - -88. Is s a multiple of 13?
True
Let j = 7 - 13. Let z be (-2)/j - (-248)/(-24). Is (-2)/2 - z - -3 a multiple of 5?
False
Suppose u - 6*u = 5*p - 1125, 4*u - 901 = -5*p. Does 28 divide u?
True
Suppose 5*p + 0*h - 110 = h, -5*p - 4*h = -110. Suppose -p - 23 = -o. Does 19 divide o?
False
Let b = -36 - -63. Does 9 divide b?
True
Let k = 6 + -2. Let l(w) = w**3 - 3*w**2 + w + 2. Does 11 divide l(k)?
True
Suppose 0*d + 3*d = 2*r + 4, 4*d + 2*r = 24. Let h = 28 - d. Is h a multiple of 6?
True
Let c be 121/4 + 4/(-16). Is 15 a factor of 3/6*c*3?
True
Let j be (30/1)/(2/(-3)). Let g = j + 95. Let p = g - 33. Does 17 divide p?
True
Let x be (-2)/8 + (-170)/(-8). Let l be (108/(-14))/(3/x). Is 7/((-21)/l) + 2 a multiple of 10?
True
Suppose 4*m = -5 - 3. Let j = m - 226. Does 18 divide (j/(-16))/(6/16)?
False
Let n(k) = 2*k + 6. Let d be n(8). Suppose 7 = 3*o + h - 1, -2*h = 2*o - 4. Suppose -74 - d = -o*z. Does 12 divide z?
False
Let a(n) = 2*n**2 + 5*n - 7. Let v(s) = -3*s + 5. Let j be v(4). Let d be a(j). Suppose i + d = 3*i. Is 11 a factor of i?
False
Suppose -5*b - 6 = -8*b. Suppose 1 = -b*g + 21. Is 7 a factor of g?
False
Let h = 2 - -8. Suppose 5*d + h = 5*g, -d + 2*g = -2*g + 14. Suppose 3*l + 78 = d*i, 3*i - 7*i - 3*l + 174 = 0. Is i a multiple of 20?
False
Is (-770)/(-63) - -2*2/(-18) a multiple of 6?
True
Suppose 0 = -2*o - 2 + 60. Does 17 divide o/1 + (2 - 0)?
False
Suppose -k - 5*v = 4*k - 530, -216 = -2*k - 3*v. Is 6 a factor of k?
True
Suppose -3*m = 274 - 1534. Suppose -m = -t - 2*t. Suppose -6*i + 2*i = -t. Is i a multiple of 10?
False
Let z be (-4 - -6)/(2/(-8)). Let v = z - 4. Let o = v + 17. Is 4 a factor of o?
False
Let p be 2 + -1 - (3 - 0). Is 16 a factor of (2/p)/((-12)/324)?
False
Let g = 34 - -3. Let c = g - -3. Is 11 a factor of c?
False
Does 18 divide 8*(0 + (-36)/(-16))?
True
Suppose -2*l - 4*t = -44, 94 = 4*l - 0*l + 5*t. Is 13 a factor of l?
True
Let q(h) = -h + 8. Is 17 a factor of q(-9)?
True
Let n = 0 - 2. Let m = 6 + n. Is m a multiple of 2?
True
Let z be (0 + -1)*-2 + 46. Let j = -10 + z. Is j a multiple of 9?
False
Let g(s) = s - 8. Let p be g(6). Does 20 divide 0 - (360/3)/p?
True
Suppose -2*y - 10 = 0, -5*y = 4*b + 1 + 8. Suppose -10 = 5*m, -b*k - 53 = -7*k - 5*m. Is k a multiple of 14?
False
Let x(y) = 42*y**2 + 3*y - 1. Let q(h) = 125*h**2 + 10*h - 3. Let r(d) = -2*q(d) + 7*x(d). Is r(1) a multiple of 22?
True
Let n(x) = 6*x + 3. Let a(k) = k + 1. Let y(g) = 5*a(g) + n(g). Let m(t) = -11*t - 7. Let o(i) = -7*m(i) - 6*y(i). Is 17 a factor of o(3)?
True
Let n be (12/(-14))/(4/(-168)). Is 4 a factor of n/4 - 4/(-2)?
False
Suppose 0 = -h - 0*h + 5*l - 7, -5*l + 16 = 2*h. Suppose 4 = 5*i - h*i. Suppose 3*x - 5*k - 86 = -x, x + i*k = 28. Does 10 divide x?
False
Suppose -3*w = -w - 5*m - 144, -2*w + 138 = -2*m. Is w a multiple of 33?
False
Let w be (2 + -1)/(5/(-115)). Let x(z) = -2*z + 2. Let c be x(2). Does 11 divide (-5)/10 + w/c?
True
Let f = 131 + -73. Suppose f = t - 0*t. Does 23 divide t?
False
Let b = -9 - -54. Is b a multiple of 9?
True
Let t(s) = -s**2 + 10*s + 5. Let w(f) = f**2 - 2*f - 1. Let z be w(2). Let n = 10 + z. Is 14 a factor of t(n)?
True
Let h = 12 + -10. Suppose 0 = -4*g + h*g + 76. Does 19 divide g?
True
Suppose 2 - 10 = -4*m. Suppose 6*x - x - p - 20 = 0, -x = -m*p - 4. Is 4 a factor of x?
True
Suppose 20 = t - 24. Does 11 divide t?
True
Let j = -3 - -3. Suppose -2*r + 0*r + 44 = j. Suppose i + i = r. Does 4 divide i?
False
Let q(l) = -14*l**3 - 3*l**2 + 2*l + 4. Does 20 divide q(-2)?
True
Suppose 0 = -3*m - 12, -5*f + 5*m - 17 - 23 = 0. Is 8/f*(1 - 31) a multiple of 4?
True
Let l(f) = 6*f**2 + 15*f + 39. Is 27 a factor of l(-5)?
False
Let b(f) = 13*f - 5. Let j(i) = -i. Let p(t) = -b(t) - 2*j(t). Let r be p(-6). Suppose -u + r = 8. Is u a multiple of 21?
True
Suppose 2*j - j + 26 = 5*s, 4*s - j = 20. Suppose -o + 20 = -s. Does 17 divide o?
False
Let o(w) = -2*w + 9. Suppose -3 = -5*d - 4*a + 35, 3*d + 5*a - 28 = 0. Let q be o(d). Is 10 a factor of (q/(-3))/(1/22)?
False
Suppose 4*d = -4*j + 24, -5*d = -3*d + 4*j - 14. Suppose 0 = -d*r - 4*y + 168, -2*r - 7*y = -2*y - 57. Does 14 divide r?
False
Suppose -3*f + 27 = -2*f. Let x = f + -9. Is 9 a factor of x?
True
Let j be (-3)/(3 + 27/(-12)). Let b = j - -7. Let h(q) = -q**3 + 4*q**2 + q - 3. Is 3 a factor of h(b)?
True
Suppose 2*g + 0 = 6. Is 2*13 + g + -1 a multiple of 14?
True
Is 18 a factor of ((-2)/2)/(1/(-54))?
True
Suppose -20 = 2*c - 6*c. Suppose 2*r + 156 = 4*r - u, -c*r + 390 = 3*u. Suppose -2*v = v - r. Is 15 a factor of v?
False
Suppose 2*v + 0 + 6 = -4*x, -2*x - 28 = -4*v. Does 4 divide v?
False
Suppose 4*y = y + 6. Let r(t) = -t**3 + 3*t**2 - 2. Let u be r(y). Is (u - 3)*(0 - 24) a multiple of 10?
False
Let r = -65 + 37. Let t = 81 - r. Suppose t - 1 = 4*d. Does 14 divide d?
False
Let t(n) = -n**2 + 3*n + 7. Let a(q) = -2*q**2 + 5*q + 14. Let i(k) = -6*a(k) + 13*t(k). Let x be i(5). Is 19 a factor of x - 0*2/4?
False
Let q(o) = -o**2. Suppose w + 3 = 2*w - 3*h, 0 = w - 4*h - 4. Let a be q(w). Suppose u - 2*y = -4*y + 22, a = 5*u - 2*y - 110. Is u a multiple of 9?
False
Let f = 29 - 71. Let s = f + 77. Is 1*((-3)/(-3) + s) a multiple of 18?
True
Suppose -w = -5*a + 17, -2*w - 26 = -4*w - 5*a. Suppose m = w*m + 308. Is 13 a factor of 2/6 - m/6?
True
Suppose 0 = -2*b + 3*u + 174, -3*u - 258 = -3*b - 0*u. Suppose 0*z + 2*z = b. Suppose 0 = 5*i + 25, -2*h + 6*i = 2*i - z. Does 11 divide h?
True
Suppose -d = -r + 24, 5*d = -4*r + 39 + 48. Is r a multiple of 4?
False
Suppose q + 1 - 9 = 0. Let n(p) = p**3 - 8*p**2 + 7*p + 6. Is n(q) a multiple of 14?
False
Is (4/(-6))/(16/1224*-3) a multiple of 4?
False
Suppose -5*u = -67 - 43. Is 22 a factor of u?
True
Let p(n) = -11*n**3 + 2*n**2 + n. Is p(-2) a multiple of 16?
False
Let a(n) = n**3 + 5*n**2 - n - 1. Let s be 8/12 - (-11)/(-3). Is a(s) a multiple of 10?
True
Let q(s) be the first derivative of 5*s**3/3 + s - 1. Let b be q(1). Suppose b*a - 76 = 2*a. Does 19 divide a?
True
Let i(t) = t**2 + 13*t + 3. Is i(-15) a multiple of 9?
False
Suppose l + 20 = 2*c, 4*c + 3*l + 2*l = 26. Let z(h) = h**3 - h**2 + h + 1. Let s be z(0). Suppose -4*d = -c + s. Is d even?
True
Let h(g) = g**2 - 5*g + 9. Is h(6) a multiple of 5?
True
Let g = 4 - 4. Suppose -3*n - 5*t + 7 = -15, 3*n + 3*t - 30 = g. Is 8 a factor of n?
False
Let m(a) = -a**2 + 22*a - 15. Does 34 divide m(13)?
True
Let d(k) = -3*k**2 + k. Let s be d(1). Is (-1)/s*(-1 - -11) a multiple of 5?
True
Suppose 0*k + 10 = -k - 5*d, -4*k = -2*d - 26. Suppose -3 = -v, r + 8 - 31 = -k*v. Is r a multiple of 6?
False
Suppose -10*z = -16*z + 624. Does 8 divide z?
True
Let t(u) = -u**2 + 12*u - 3. Let n be 2 - 3 - (-10)/2. Let j be (-2 + 4)/(1/n). Is t(j) a multiple of 10?
False
Let b be (20/(-8))/((-2)/(-12)). Let o = b - -33. Does 9 divide o?
True
Let j be (0 - 3) + (2 - -68). Suppose 4*w + 7 = j. Does 15 divide w?
True
Suppose -132 = 4*k + 52. Does 21 divide -2 - (k + 4 + -2)?
True
Let u be (1 - 0)*76/2. Suppose l - u + 97 = 3*x, -2*l = -2. Does 10 divide x?
True
Let i(k) be the first derivative of 0*k**2 - 2 - 1/3*k**3 + 10*k - 1/4*k**4. Does 4 divide i(0)?
False
Suppose y = -2*y + 9. Suppose -1 = y*u - 82. Let a = -10 + u. Does 9 divide a?
False
Let a(g) = g**3 - 6*g**2 + 6*g +