. Is t a multiple of 10?
True
Suppose -5*n = -2*n - 528. Suppose -5*w + n = 4*u, 5 = -2*w - 3*u + 81. Is 21 a factor of w?
False
Let a = -14 + 9. Suppose -2*y - 5*l = -13 - 33, -y - 2*l + 21 = 0. Let u = y + a. Does 5 divide u?
False
Suppose 0 = 3*n - 5*f - 250, n = -f - f + 65. Suppose 5*y + j - n = -2*j, 0 = -4*y + 3*j + 60. Is 13 a factor of y?
False
Suppose -2*r - 60 = 3*p + 1, 5*p - 4*r = -109. Is 58/7 - (-6)/p a multiple of 8?
True
Let d be (-2 - (15 - 2))*-1. Let s = d + -10. Let j = -2 + s. Does 3 divide j?
True
Let f = -4 + 8. Is f a multiple of 2?
True
Suppose 0 = 2*w - 3 - 3. Let l(m) = -m**3 + 6*m**2 + 3*m + 4. Is l(w) a multiple of 20?
True
Does 13 divide 45 + -5 + (1 - 2)?
True
Suppose 8*p - 105 = 39. Is p a multiple of 9?
True
Suppose 3*a + a - 66 = -2*j, -5*j + 15 = 0. Suppose -a = 3*u, 6*g + u = 2*g + 23. Is 2 a factor of g?
False
Let p = -2 - -12. Let a be 6/(-15) + (-26)/p. Let h = a - -6. Is h even?
False
Is 4 a factor of 6 + -4*20/(-16)?
False
Let j = -33 - -62. Let l = j - 1. Is 11 a factor of l?
False
Is (-312)/(-8) + (0 - 4) a multiple of 7?
True
Is 5 a factor of (-3)/(-6) + (-114)/(-12)?
True
Suppose 0*w - 6 = -3*w. Suppose 0*r + 5*r - 5*m = 30, -5*m = -w*r. Is 10 a factor of r?
True
Let v(a) = -a + 1. Let r be v(-3). Let x(q) = q + 1. Does 5 divide x(r)?
True
Let n = -13 - -3. Let t be (32/20)/((-4)/n). Suppose 5*k - 4*l - 92 - 77 = 0, 0 = 2*k - t*l - 70. Does 15 divide k?
False
Suppose 5*n - 38 = 4*b + 2*n, -b + 5*n = 18. Let k = -14 - b. Let r = k + 16. Is r a multiple of 3?
False
Is 29 a factor of (3/(-3) + -2)*58/(-3)?
True
Let y = 129 - -108. Is y a multiple of 34?
False
Let t be (-2)/9 + 58/18. Suppose 4*h - 30 = -2*c, -t*c + 3*h + 3 = -33. Is 5 a factor of c?
False
Suppose 5*u + 4*t - 1255 = -t, -4*u + 5*t + 1022 = 0. Does 11 divide u?
True
Suppose -q + 33 = -7. Is 10 a factor of q?
True
Let a be 10/(-25) - 724/(-10). Let h be 1/(-3) - 16/(-3). Suppose r + a = h*r. Is 14 a factor of r?
False
Let q(m) = -m + 4. Let h be q(3). Suppose 2*a + l = 3*a + h, 0 = -a - l - 3. Is 2*(2 - 9/a) a multiple of 8?
False
Suppose 0 = 4*h + 3*s - 42, 4*s - 34 = -4*h + 5*s. Is h a multiple of 6?
False
Let d(b) = 35*b**2 - 6*b + 6. Does 5 divide d(1)?
True
Let u(g) = -g**2 + g + 35. Let o be u(0). Suppose 0 = 3*k + 2*x - 89, 2*k - x - o = 15. Is 9 a factor of k?
True
Suppose -5*x + 103 = -137. Does 24 divide x?
True
Suppose -2*z = 5*q - 6, 2*q + 0*q + 4 = -4*z. Let t(o) = -9*o - 4 + q + 4 - o**2. Is t(-4) a multiple of 11?
True
Suppose -8*v - 75 = -635. Does 10 divide v?
True
Suppose -3*m = -8*m + 165. Let t = m - 1. Suppose 0 = -2*w + 40 + t. Is 12 a factor of w?
True
Let o(n) be the first derivative of n + 0*n - 4*n**2 + 1 + 1. Does 9 divide o(-1)?
True
Suppose -10 = -2*c, -n - 5*c + 6 = -25. Suppose 0 = 2*b + h, -n - 8 = b + 4*h. Is b even?
True
Suppose -2*s = 100 - 256. Does 6 divide s?
True
Suppose 2*g - 38 = 20. Suppose -4*v + g = -43. Does 12 divide v?
False
Suppose 2*a + 5 = 3*a. Suppose -3*m + 327 = a*i, -m + 9 + 121 = 2*i. Suppose 3*b + 5*k - 40 = i, 3*b + k = 83. Does 13 divide b?
True
Is ((-2)/6)/((-3)/261) a multiple of 6?
False
Suppose 6 = -2*g + 18. Suppose 2*w = d + 76, -g*w + 3*w + 5*d = -128. Is w a multiple of 12?
True
Let m(z) = -z**2 + 3. Let r be m(0). Suppose -5*u = 4*g - 105, -r*u + u - 50 = -3*g. Is 10 a factor of g?
True
Let q = -1 - -5. Suppose 3*u + 53 - 155 = -n, 0 = -2*u - q*n + 68. Suppose 3*p = 89 + u. Does 19 divide p?
False
Let m(a) = -a**2 - 15*a + 6. Does 8 divide m(-13)?
True
Let z = -392 + 761. Let t be (-2)/3*z/(-6). Let n = t - 27. Does 14 divide n?
True
Let o(q) = -7*q**3 - q**2 - 2*q - 2. Is o(-1) a multiple of 5?
False
Suppose -2*z - 12 = 2*j + 3*z, -4*j - 2*z = -8. Let i = j + 13. Is 14 a factor of i?
False
Let m(w) = -165*w - 1. Is 41 a factor of m(-1)?
True
Suppose k - 4*z = 4*k - 556, 3*k = -2*z + 548. Suppose j - k = -4*j. Does 18 divide j?
True
Let v = 9 - 3. Let r be (-2)/(-6) - (-22)/v. Suppose 3*q + r = 22. Does 4 divide q?
False
Suppose 116 + 164 = 5*s. Does 7 divide s?
True
Let m = -70 + 257. Does 17 divide m?
True
Suppose n + 4*k = -5, 4*n + 2*k + 2 - 10 = 0. Is 2 a factor of n?
False
Let x(s) = s**2 + 5*s + 7. Let i be 19/(-4) - (-2)/(-8). Is x(i) a multiple of 7?
True
Suppose -4*n + 309 = 61. Is 31 a factor of n?
True
Let x(h) = -h**3 - 5*h**2 + 2*h + 9. Let l be x(-6). Let r(v) = v + 13. Let g be r(9). Is 7 a factor of 6/l - (-392)/g?
False
Let s = 0 - 2. Let x be (-2)/3 + s/(-3). Suppose -4*a + 3*a + 16 = x. Is 8 a factor of a?
True
Let j(g) = 4*g**2 + 3*g. Let a = 9 - 13. Is 20 a factor of j(a)?
False
Is 41 a factor of (39/(-18))/(-13) - 491/(-6)?
True
Suppose 4*z + 0 = 4*l - 4, -3*l - 4*z = 4. Suppose 2*f + 126 = -2*v + 3*f, 5*f = l. Does 22 divide v/(-2)*8/6?
False
Let x = -8 + 179. Is 30 a factor of x?
False
Let w(d) be the first derivative of -5*d**2 + 2*d - 1. Let p be w(-2). Let y = -13 + p. Is y a multiple of 8?
False
Let m be -1*(-5)/1 - 0. Suppose -1 = -2*n + m. Suppose f - n*f = -12. Is 3 a factor of f?
True
Let t(g) = g**3 - 5*g**2 + g + 7. Let x be -2 + (-2 + 1)*-12. Suppose -x = -5*z + 15. Is 5 a factor of t(z)?
False
Let i(h) = -h - 5. Let s be i(0). Does 8 divide -1*(3 + s + -11)?
False
Let r be 1 + 2 - (15 + -5). Let s = -7 - r. Suppose s = -n + 2 + 34. Does 12 divide n?
True
Let w = -1 + 1. Suppose w*m - m = 5*u - 28, m + 17 = 4*u. Suppose 0 = -f + u + 48. Is f a multiple of 19?
False
Suppose 142 = 5*d - 2*w, -d - 3 = 5*w - 53. Does 10 divide d?
True
Let c be 117/2*8/(-6). Let s be (-2)/(-5) + c/(-30). Is s/((-9)/3)*-18 a multiple of 9?
True
Suppose 2*v + 55 = -3*o + 4*o, -4*o = -2*v - 214. Let k be (1 - 3) + 1 + o. Suppose 0 = -3*r - 10 + k. Does 13 divide r?
False
Suppose 2*f = 3*g - 6, 2*f = -f. Suppose 0 = y + 4*n + 2, -g*y + 18 = -3*n - 33. Does 11 divide y?
False
Let j be (1 + -2)/2*-2. Suppose -d = -j + 6. Is (d/(-3))/(1/6) a multiple of 4?
False
Suppose -15*f + 10*f - k + 85 = 0, 5*f - 4*k - 85 = 0. Is 17 a factor of f?
True
Let m(t) = -2*t - 75. Let p(k) = -k - 37. Let l(f) = 3*m(f) - 7*p(f). Does 13 divide l(0)?
False
Suppose 0 = a + 1 + 2. Does 4 divide -2*(a + -3 + -2)?
True
Suppose 0 = 5*x + 4*z + 6, 0 = -2*x - 2*x - 2*z. Suppose -x*f = -f - 13. Suppose -65 = -2*g - f. Does 13 divide g?
True
Let d be 0 + -27*(-3)/3. Let q = -12 + d. Is 6 a factor of q?
False
Let w be 7/14 - 106/(-4). Suppose 40 = 3*i + n - w, -3*n - 63 = -2*i. Let h = i - 8. Is h a multiple of 8?
True
Let t = 10 + -5. Let l = t + 8. Suppose 3*v - 32 = -k, v - 3*k + k = l. Is 11 a factor of v?
True
Suppose 2*c - 199 = 77. Is 23 a factor of c?
True
Suppose 3*r + 4*m = 8*m + 187, r + 2*m = 69. Suppose 50 = -0*d + 2*d + k, -4*d - 4*k + 108 = 0. Suppose -3*g + r = d. Does 14 divide g?
True
Let i(g) = -g**2 + g - 4. Let b be i(4). Is 10 a factor of b/(-12)*45/2?
True
Suppose -3*c + 4*m + m = 11, -3*c = 4*m + 2. Does 18 divide ((-168)/(-98))/(c/(-21))?
True
Suppose -5*n + 0*n + 550 = 0. Is 22 a factor of n?
True
Let w be (-74)/(-6) + (-4)/12. Suppose 0 = x - 4*x + w. Let q(z) = 2*z. Is 4 a factor of q(x)?
True
Suppose 1368 = 17*w - 60. Is w a multiple of 12?
True
Let u(l) = l**2 + 3*l + 11. Does 6 divide u(-6)?
False
Let d be ((-3)/(-2))/(21/70). Suppose 0 = 5*z - 4*j + 8 - 70, 5*j + 65 = d*z. Is z a multiple of 3?
False
Let t(b) = 0*b**2 - b**2 + 7*b**2. Let l = 7 + -9. Does 12 divide t(l)?
True
Let l be 7*(-3)/(3/(-1)). Let f(p) = 4*p + 10. Is f(l) a multiple of 24?
False
Does 9 divide 14/28 + 17/2?
True
Let q(c) be the first derivative of 2*c**3/3 - 4*c**2 + 6*c + 5. Is q(7) a multiple of 24?
True
Let n = 22 - -10. Is 25 a factor of n?
False
Let j(v) = v**3 + 4*v**2 - 5*v - 8. Is j(5) a multiple of 24?
True
Suppose 0 = -2*q + q + 55. Suppose -5*u - f + 97 = 0, 5*u - 5*f - q = 3*u. Is u a multiple of 10?
True
Suppose 0*f - f - 62 = 0. Let u = 13 + 77. Let w = f + u. Does 15 divide w?
False
Let w(y) be the first derivative of 2*y**2 - 10*y + 2. Is w(9) a multiple of 8?
False
Let r(c) = -16*c - 4. Does 15 divide r(-4)?
True
Suppose 5*m = -10 + 25. Suppose -4*d - 140 = -5*n, -2*d + 185 = 5*n + m*d. Is 8 a factor of n?
True
Let v = -2 - 0. Let g = v - -2. Suppose c - 5*c + 60 = g. Is c a multiple of 15?
True
Suppose 0 = -5*s + 5*b + 35, -b + 20 = -5*b. Suppose 0 = -s*t + 6*t - 52.