rue
Let b(g) = -g + 54. Let k(d) = d**3 - 13*d**2. Let t be k(13). Is b(t) a multiple of 18?
True
Let w(x) = -9*x + 1. Let z(y) = y**2 + 4*y - 2. Let n be z(-4). Let r be w(n). Suppose -3*k + 29 = -r. Is k a multiple of 8?
True
Let t(q) = -q**3 + 5*q**2 - 4*q - 1. Let f be t(4). Let z be (-194)/(-4) - f/(-2). Let j = z + -16. Does 16 divide j?
True
Let m = -5 - -10. Suppose -38 = 3*d - m*d. Is 6 a factor of d?
False
Suppose -5*a + v = -30, 4*a + 5*v - 4*v = 15. Suppose -w - 113 = -a*b + 61, 5*w - 75 = -2*b. Does 12 divide b?
False
Suppose 0 = w + w - 450. Let z = 65 - w. Does 16 divide ((-3)/2)/(15/z)?
True
Suppose -121 + 31 = -3*m. Is m a multiple of 10?
True
Suppose u + k = -0*k - 1, 0 = -u + 2*k + 5. Let j(n) = 1. Let v(d) = -4*d + 12. Let q(o) = 12*j(o) - v(o). Is q(u) a multiple of 4?
True
Let v = -318 - -593. Does 53 divide v?
False
Let l be 2/(-6) - 398/(-6). Suppose -13 = u + 5*q - 66, 0 = 2*u + 2*q - l. Suppose -2*y = -3*y + u. Does 14 divide y?
True
Does 5 divide (16 + -19)*(-50)/6?
True
Let c = 203 - 57. Does 11 divide c?
False
Let g be (-76)/(-16) + (-2)/(-8). Suppose -2*v - 5*t - g = 0, -2*v - 5*t = -2*t - 5. Does 10 divide v?
True
Suppose -5*l + 3*s + 10 = -2*s, -13 = -4*l - s. Suppose -2*j + 6 = m - 5, -l*m + 31 = 5*j. Is 4 a factor of m?
False
Suppose -w + 9 + 13 = 4*z, -3*z - 3*w + 21 = 0. Does 5 divide z?
True
Let y(s) = -3*s - 3*s - 4*s + 6*s. Does 4 divide y(-3)?
True
Let w(x) = -x**3 + 6*x**2 - 2*x + 7. Let t be w(6). Let u = 5 + t. Let h = u - -5. Is h a multiple of 5?
True
Suppose 60 = 4*s - s. Suppose -2*i - 3*i = s. Does 13 divide (42/(-8) - -2)*i?
True
Is -3 - ((-1169)/35 + (-2)/(-5)) even?
True
Suppose 2*g - 6*g + 4*i - 136 = 0, -i = -2*g - 63. Let f = -5 - g. Is f a multiple of 10?
False
Let y(f) = -f**3 + 5*f**2 + 5*f + 6. Let d(p) = p**3 + 5*p**2 + 4*p. Let u be d(-3). Let l be y(u). Suppose l = -3*j - 0*j + 48. Is 8 a factor of j?
True
Suppose 5*l + 61 - 621 = 0. Is 40 a factor of l?
False
Suppose -5*t - 4*y = -371, -2*t + 2*y + 43 = -91. Does 14 divide t?
False
Let k(y) = -8 + 1 + y**2 + 1 + 6*y. Let v be k(-6). Does 12 divide (-930)/(-21) - v/(-21)?
False
Let s be (-8)/6 - (-91)/3. Let n = s + -17. Does 6 divide n?
True
Let h(j) = -j**2 - 13*j + 2. Let v be h(-9). Let t be 4/(-18) + v/9. Suppose -t*q + q = -24. Is q a multiple of 6?
False
Let b(j) = -j**2 + 7*j + 4. Let d be b(7). Suppose -f + 66 = d*n - 81, -3*f = -n + 27. Suppose q + n = 4*q. Is 12 a factor of q?
True
Let c(s) = -21*s**3 - 2*s**2 + 1. Is c(-1) a multiple of 12?
False
Suppose -4 + 2 = -2*g. Let s = g + 6. Is 7 a factor of s?
True
Let g = 15 + -6. Suppose g + 63 = 4*r. Does 18 divide r?
True
Let c = 112 - 78. Is c a multiple of 8?
False
Suppose 20 = 2*m + 6. Is m a multiple of 7?
True
Let f = 13 + -12. Is 10 a factor of -2 - (f - 24) - 2?
False
Let y(u) = 2 + 0*u - 4*u**2 + 5*u**2 - 2*u**2 - 7*u. Let l be y(-6). Suppose c - 29 = -5*n, -3*c - 58 = -l*c + 4*n. Does 6 divide c?
False
Let k(u) = -53*u - 55. Is k(-5) a multiple of 14?
True
Suppose 2*j + 38 = 3*u, u = -2*u - 4*j + 32. Is u a multiple of 9?
False
Suppose 5*v + j = 5*j - 19, 3*j - 12 = 3*v. Is 6 a factor of 21 - (1 - v/(-1))?
False
Let f(t) = -10*t + 1. Does 41 divide f(-4)?
True
Let z(a) = 4*a - 15. Is z(6) a multiple of 2?
False
Let j(a) = -9*a**2 + 0*a**3 + 2 - 14 - a**3. Let u be j(-9). Let c = 27 + u. Does 8 divide c?
False
Suppose -4*z + 58 = -5*k - 20, -4*z + k + 70 = 0. Is z a multiple of 3?
False
Let h(b) = 73*b + 2. Is h(1) a multiple of 15?
True
Let q(p) = p**2 - 2*p + 1. Let b be q(-2). Let d = b + -9. Suppose d = -0*w - 3*w + 45. Is w a multiple of 13?
False
Let v(z) = -z**2 + 3*z + 3. Let h be v(3). Suppose -h*m - 3*u + 99 = u, 4*m + 2*u = 122. Is 11 a factor of m?
False
Let g = 11 + -2. Does 4 divide g?
False
Let m(z) = z**2 + z - 2. Let f = -9 - -3. Is m(f) a multiple of 16?
False
Suppose 9 = -0*i + 3*i. Let l = 7 - i. Is 4 a factor of l?
True
Let b(k) = k**3 - 10*k**2 + 9*k - 2. Let g be b(9). Let z = 10 - -8. Let c = g + z. Is c a multiple of 8?
True
Let u be 1/2*26*-14. Is (3*1)/((-21)/u) a multiple of 14?
False
Is (-1089)/(-15) + (-6)/10 a multiple of 16?
False
Suppose -3*k = 2*z - 4*k - 256, 0 = 3*z - 4*k - 394. Is z a multiple of 18?
True
Suppose -350 = -3*c - 0*c - 2*v, 5*c + 5*v = 585. Does 31 divide c?
False
Suppose -5*i - 52 = -w, 2*i - 139 = -5*w + 2*w. Does 18 divide w?
False
Is ((-2)/3)/(14/(-1764)) a multiple of 16?
False
Suppose 10 + 2 = v. Does 6 divide (v/2)/(6/8)?
False
Is 2/(-6) - 214/(-3) a multiple of 12?
False
Suppose -2*y + 2*m + 2 = 0, y - 3 + 2 = -3*m. Is 11 a factor of 5 - -17 - (1 - y)?
True
Suppose 0*o = -o. Let k(u) = -u**2 - u + 22. Does 8 divide k(o)?
False
Suppose 5*b - 32 - 98 = 0. Is 9 a factor of b?
False
Let l = 6 + -9. Let y(c) = 10*c**2 + 2*c - 4. Let f be y(l). Let o = f + -55. Does 11 divide o?
False
Is 28 a factor of -1*(1 - 1) - (2 + -49)?
False
Let q = 78 - 52. Is q a multiple of 3?
False
Let r be 1/2 - (-5)/2. Let q be (-1)/((3/(-1))/75). Suppose -r*b = -2*b - q. Is 10 a factor of b?
False
Suppose -u + 5*b + 120 = 3*b, -4*b = -5*u + 588. Is u a multiple of 29?
True
Let w = 87 + -35. Is w a multiple of 13?
True
Suppose -48 = -3*i - 2*o + 2, -4*o + 60 = 4*i. Let p = -10 + i. Let h = 19 - p. Is 6 a factor of h?
False
Suppose 4*u = -4*x + 1192, -2*x = -6*u + u + 1476. Is 14 a factor of 2/(-7) + u/7?
True
Suppose 60 = 3*l - 9. Does 9 divide l?
False
Suppose -8*j = 514 - 1778. Does 18 divide j?
False
Suppose -x - 3*u = 3*x - 160, -u = 5*x - 200. Is x a multiple of 5?
True
Suppose -3*d + 19 = -2. Let v(i) = i**3 - 5*i**2 - 11*i + 7. Is v(d) a multiple of 10?
False
Suppose -3*o = -5*o - 4. Let i be (4/3)/(o/(-24)). Let w = 27 - i. Is 11 a factor of w?
True
Let z be ((-4)/(-3))/(4/6). Let c be (z/3)/((-3)/(-18)). Suppose p = -c*x + 80 + 93, 3 = -p. Is x a multiple of 22?
True
Suppose 0 = -r - 1 - 1. Let m be (101/r)/(1/2). Let k = m + 170. Does 25 divide k?
False
Suppose 8 - 3 = j. Suppose 5*m + f + 0*f = 273, j*f + 230 = 4*m. Does 13 divide m?
False
Let a = 105 - 59. Does 18 divide a?
False
Let q(k) = -6*k - 15. Does 9 divide q(-13)?
True
Suppose -5*h - 3 + 1 = -4*c, 0 = 5*h + 2*c - 16. Suppose h*l - 44 = 56. Does 25 divide l?
True
Suppose -4*f = -3*j + 605, 601 = 10*j - 7*j - 5*f. Does 18 divide j?
False
Let i = -35 + 63. Let q = 18 + i. Is q a multiple of 19?
False
Let o = -3 + 20. Is o a multiple of 3?
False
Let p = 344 + -204. Suppose 9*s - 280 = 4*s. Suppose z = -5*q - 4 + s, -5*z = q - p. Does 8 divide z?
False
Suppose 0*n - 20 = -5*n. Let t = 20 - n. Is 5 a factor of t?
False
Let g = -25 + 10. Let r = 35 + g. Is 8 a factor of r?
False
Let w be -1 - (-3 + (-15)/(-3)). Does 4 divide 2/w*(2 - 8)?
True
Let c be (-1)/(-1*1/3). Let o(h) = h**2 + h + 2. Does 5 divide o(c)?
False
Let d(f) = 24*f + 12. Is d(5) a multiple of 33?
True
Let h(l) = -5*l - 8. Suppose 9*o - 4*o = -35. Let k = o - -1. Is 11 a factor of h(k)?
True
Suppose 0*u + 3*u - 90 = 0. Is u a multiple of 10?
True
Does 19 divide (194/4)/(6/12)?
False
Suppose 153 - 5 = 2*d. Suppose 3*c = 2*l + 77 + d, -l = -3*c + 146. Suppose 2*o - c = y, -3*y + 0*y - 97 = -4*o. Is o a multiple of 12?
False
Suppose -382 = -2*u + 2*g, -4*g - 179 = u - 2*u. Is u a multiple of 17?
False
Is 26 a factor of 0 + (167 + 3 - -3)?
False
Let d(i) = -2*i + 1. Let c(h) = -h**2 - 6*h - 8. Let a(o) = o**2 + 6*o + 3. Let m be a(-3). Let j be c(m). Does 17 divide d(j)?
True
Suppose f + 4*f - 126 = -v, -98 = -4*f + 2*v. Suppose -2*x - 7 + f = -i, 0 = x + 2*i - 9. Is x a multiple of 4?
False
Let l be (-6)/(-4 - -7) - -3. Is 12 a factor of 580/12 - l/3?
True
Suppose u - 124 - 170 = 0. Is 49 a factor of u?
True
Suppose 0*j = -2*j + 40. Is j a multiple of 20?
True
Suppose 6*r - 7*r + 40 = 0. Suppose r = 3*m - 89. Let t = -21 + m. Is 11 a factor of t?
True
Let p(i) = i**2 + 6. Let d be (-54)/(-6)*4/6. Does 15 divide p(d)?
False
Suppose -4*t + 5*t = 25. Is t a multiple of 7?
False
Let n(b) = -b**3 - 3*b**2 - b. Let g be n(-2). Let r = g + 6. Is (2/1)/(r/22) a multiple of 11?
True
Let h = 664 - 352. Is 13 a factor of h?
True
Let n be (-6 - -5) + 0/(-1). Let r = 1 - n. Does 2 divide r?
True
Let d(s) = 2*s**2 + 11*s - 9. Does 14 divide d(-11)?
True
Suppose 0 = -2*s - 11 + 33. Is s a multiple of 6?
False
Suppose -