Let b(a) = 3*a - 15. Let n be b(6). Let k(v) = -3*v + 10*v**2 - 7*v + v**n + 2*v + v**2 - 8. Does 40 divide k(-11)?
True
Suppose -27 - 99 = -d. Let y be (1 + -2)/(2/(-12)). Suppose 5*k - d = -y. Does 23 divide k?
False
Suppose 0 = 5*y - 3*j + 1183 - 5297, -y + 2*j + 827 = 0. Is 10 a factor of y?
False
Let p be 0 + 0/(-3 + 5). Let x be (p - 2) + -1 + 3. Suppose -4*m + 19 + 29 = x. Does 4 divide m?
True
Let b(r) = r**2 - r + 5. Let s be b(-3). Suppose 0 = -o - u - 2, -o + 0*u - 4*u - s = 0. Suppose 2*t + 5*a = 37, -a = -2*t + o*a + 46. Does 21 divide t?
True
Suppose -f + 5*g = -3, 0 = 2*f - 2*g - 0*g - 22. Suppose f*q = 15*q - 372. Suppose -24 = 3*a - q. Is a a multiple of 18?
True
Suppose 11610 = -29*a + 38*a. Is a a multiple of 10?
True
Let z be ((-5)/2 - -3)*6. Suppose 5*s + 0*s = -3*f + 137, 5*f = -z*s + 95. Does 5 divide s?
True
Suppose -k + 11 = 2*a, -7*a + 15 = -2*a. Suppose -p + 3 = k. Let s = p - -13. Is s a multiple of 5?
False
Let p = 30 + -28. Suppose 55 = t + p*t + 2*v, 3*v + 54 = 2*t. Does 7 divide t?
True
Suppose -95 = -4*r + 2*w + 57, -5*r - 2*w + 199 = 0. Suppose 1 = -2*i + r. Let v = 25 + i. Does 22 divide v?
True
Suppose -104 = -3*c + 256. Suppose -3*h + c + 94 = r, -4*h + 300 = 5*r. Is h a multiple of 7?
True
Let d(l) = 91*l + 170. Does 8 divide d(20)?
False
Suppose -4*c = -2*x + 12 + 190, 2*x - 3*c - 204 = 0. Does 4 divide x?
False
Let f be -54*((-6)/(-4) - 3). Let i = f + -75. Is i a multiple of 6?
True
Let y be (8/14)/(152/5852). Suppose k - 74 = 5*v, -3*v + 4*k - 73 + 32 = 0. Let q = y + v. Does 2 divide q?
False
Let u(g) be the first derivative of -g**3/3 + 15*g**2/2 - 25*g + 5. Is u(12) a multiple of 4?
False
Is (312/(-14))/((-10)/175) a multiple of 57?
False
Suppose -4*i + 3 - 11 = 0. Let r be ((-15)/(-6))/(i/(-20)). Suppose 0 = -3*c - 5*n + 35, n + 102 = 5*c + r. Is 15 a factor of c?
True
Is 19 a factor of (-8 + (-8345)/(-10))*4/6?
True
Let o(x) = x**3 - 3*x**2 + x + 5. Suppose -p + 5*p = 0. Suppose p = -5*b + 3*b + 6. Is o(b) a multiple of 8?
True
Let c = -176 + 486. Does 5 divide c?
True
Suppose j + 2*j - 12 = 0. Let i be (-18)/27*(-30)/j. Suppose -320 = -i*g - 4*r + 71, -r + 157 = 2*g. Is 25 a factor of g?
False
Suppose 7*l - 1338 = 1049. Suppose 17*g - 6*g - l = 0. Does 10 divide g?
False
Let m = -57 + 47. Is (m/6)/(6/(-144)) a multiple of 4?
True
Let d(g) = -142*g - 139. Is d(-3) a multiple of 6?
False
Is 35 a factor of 19/((-9)/104 + (-1)/(-8))?
False
Suppose 5*f + 2*m - 4908 = 0, -50 = 2*m - 58. Is 4 a factor of f?
True
Let t = -33 + -162. Let z = 279 + t. Does 38 divide z?
False
Let f(t) = -t**3 - 5*t**2 - 3*t - 12. Let i be f(-5). Is 17 a factor of ((-10)/3 - -3)/(i/(-459))?
True
Let f = -13 - -13. Let n = 21 + 29. Suppose f = -6*o + o + n. Is o a multiple of 10?
True
Let c(z) = -5*z**2 + 2*z - 1. Let h be c(1). Let k be -68 - -1*h/4. Let d = -41 - k. Is 14 a factor of d?
True
Let l = -9 - -65. Suppose x = 5*q - 13, -4*x = 2*q - l - 2. Does 3 divide x?
True
Let v(b) = 36*b**2 + 35*b - 99. Is v(3) a multiple of 3?
True
Let v = 27 + -24. Suppose k + 2*k + 8 = -2*p, v*p - 5*k + 50 = 0. Is 18 a factor of 2/10 - 178/p?
True
Let m be (-1 + -14)*(-6)/15. Suppose -3*n = -m*n + 207. Does 23 divide n?
True
Let j = 67 - 53. Let r(s) = 26*s - 47. Does 24 divide r(j)?
False
Suppose 3*k = 3*s + 7602, 3*k + 2*s - 2218 - 5409 = 0. Is k a multiple of 14?
False
Let d(r) = 2*r**2 + 27*r - 8. Is d(-17) a multiple of 2?
False
Is 18 a factor of (-2 - -134) + 9/((-9)/2)?
False
Suppose -3*p - 4*h = -150, 0 = -3*p - 0*p + 4*h + 126. Is 4 a factor of p?
False
Let s = 159 + 2. Suppose -4*i - 5*w + s = 0, 4*i + 2*w - 190 + 44 = 0. Is 8 a factor of i?
False
Suppose 4*y = 2*p + 46, 13 + 21 = 3*y - p. Let t(f) = 28*f - 52. Is t(y) a multiple of 16?
True
Suppose 9*w = 15*w - 108. Is w a multiple of 2?
True
Suppose 0 = -3*v + 6*v. Let x be v - (-6)/(-2) - -5. Suppose x*y = -29 + 87. Does 11 divide y?
False
Let q be (2/6)/(2/12). Suppose v = 3*l + 66, -96 = 5*l + q*v + v. Is 20 a factor of (270/l)/(9/(-42))?
True
Let w be 1/(((-45)/(-20))/9). Suppose 0 = w*k - 138 - 102. Is 10 a factor of k?
True
Let y = 138 - 202. Let f = 232 + y. Is 14 a factor of f?
True
Suppose 6*y - y - 105 = 0. Suppose p = -5*m - 0*p, 5*p - y = -4*m. Is 12 a factor of 2 - 2 - 34*m?
False
Let m = -180 - -209. Is m a multiple of 2?
False
Suppose 1001 = 8*i - 1175. Does 8 divide i?
True
Let h(l) = l**3 + 15*l**2 - 7*l - 52. Does 12 divide h(-15)?
False
Suppose -4*x + 5*r = -7*x + 15, 5*r - 25 = -5*x. Suppose -4*u - 4*h + 680 = 0, 856 = 5*u + x*h - 3*h. Is u a multiple of 21?
False
Let h(v) be the first derivative of v**6/360 - v**5/60 - v**4/24 - 4*v**3/3 - 5. Let z(f) be the third derivative of h(f). Is 14 a factor of z(7)?
False
Let z = 1 + 7. Suppose 3*c + z*c = 363. Is 7 a factor of c?
False
Let i = -1405 + 2620. Is i a multiple of 45?
True
Suppose -3*f + 241 = -479. Is 8 a factor of f?
True
Let v = -27 - -55. Is v a multiple of 6?
False
Let i(t) = -2*t**3 + 7*t**2 + 7*t - 6. Let d be i(4). Suppose d*v = 3*v + 288. Is v a multiple of 28?
False
Let y(k) = k**3 + 12*k**2 + 5*k + 12. Let g be y(-11). Suppose -2*m - 28 = g. Let f = m + 96. Is f a multiple of 6?
False
Let n be (-2)/(-6)*9 + 135. Let o = n + -35. Suppose -7*q = -8*q + o. Is 21 a factor of q?
False
Let i = 14 - 34. Let s = i + 26. Suppose -2*r - 100 = -s*r. Does 19 divide r?
False
Suppose 0 = c + h - 1 + 5, 3*c + h = -20. Let p = 33 + -20. Let j = p + c. Is 5 a factor of j?
True
Suppose 4*i + 5 = 3*i - 5*d, 0 = 3*i - d - 1. Let k be (3 + i - -46)*1. Let b = k - 27. Does 11 divide b?
True
Let p be ((-1)/1)/((-10)/20). Suppose 5*m - 6*t + 225 = -p*t, t - 90 = 2*m. Is 55/2 - m/(-30) a multiple of 13?
True
Let x(r) = -r**3 - r**2 + 7*r + 7. Suppose -16 = 4*y + 2*t + 4, 0 = -y + 2*t. Is x(y) a multiple of 9?
True
Suppose -3*a = -v - v + 14, -5*a - 2*v = 50. Let p = a - -11. Suppose 141 = p*d + 2*l - l, 5*d - 4*l - 218 = 0. Is 13 a factor of d?
False
Suppose -4*z - 122 = 50. Is (z/(-3))/(7/21) a multiple of 9?
False
Let o(r) = -r**2 + 6*r + 29. Let l be o(9). Let y(x) be the second derivative of x**5/10 + x**4/12 + x**3/6 - x**2/2 + x. Is y(l) a multiple of 7?
True
Let a(h) = -7*h - 40. Suppose 42 = -63*t + 60*t. Is 9 a factor of a(t)?
False
Let x(q) = -q**2 + 27*q + 46. Is x(20) a multiple of 13?
False
Let t = 526 + -337. Does 7 divide t?
True
Let m be 1041/45 + 8/(-60). Suppose 10*b = m + 27. Is 5 a factor of b?
True
Let l = 3073 - 1638. Is 5 a factor of l?
True
Let n = -983 - -1004. Is n a multiple of 21?
True
Let p(u) = 4*u**3 - 10*u**2 - 13*u + 12. Let c(k) = -7*k**3 + 19*k**2 + 25*k - 24. Let t(b) = -3*c(b) - 5*p(b). Let o be t(8). Does 3 divide o - (-7 + 2) - -2?
True
Let w = 3410 - 2178. Does 77 divide w?
True
Does 4 divide (1/(-4))/(105/(-269220))?
False
Suppose 0*u = -4*u + 28. Let r(i) = -13*i + 9. Let n be r(u). Does 16 divide 1 + (-9)/3 - n?
True
Suppose 10*r = 16*r - 1008. Does 28 divide r?
True
Suppose -a - 3*k = -85, 9*a - 5*a + k = 340. Does 7 divide a?
False
Suppose 0 = -2*m - 2 - 0, -5*m = -5*b + 215. Let a = -18 + b. Does 7 divide a?
False
Let q = 70 + -65. Let v(t) = -3*t**3 + 3*t**2 - t + 1. Let y(j) = j**3 + j**2 + j + 1. Let n(o) = v(o) + 2*y(o). Is 5 a factor of n(q)?
False
Suppose -13*j + 240 = -17*j. Let c = 84 + j. Is c a multiple of 24?
True
Let y = -47 + 61. Let b(d) = d**3 - 15*d**2 + 12*d + 34. Does 6 divide b(y)?
True
Suppose 0*s - s + 2 = 0, 46 = 4*z - s. Suppose 4*k + z = 2*k. Is 0 + 51 - k/(-2) a multiple of 24?
True
Suppose -5*z - 3*y + 238 = 0, 0 = -z + y + 3*y + 43. Suppose 2*p - 13 = z. Is 6 a factor of p?
True
Suppose -3*w + 4*w = 0. Suppose w*z + 36 = z. Suppose 4*a - z = a. Is a a multiple of 3?
True
Let a be 1227/12 - 1/4. Suppose -r = r + 6, 0 = -5*q + 4*r + a. Is 15 a factor of (30/(-4))/((-3)/q)?
True
Let j = 469 - 294. Does 9 divide j?
False
Let v(d) = -4*d + 72. Let p(i) = i**2 - 2*i - 13. Let k be p(0). Is v(k) a multiple of 14?
False
Let k(r) = -2*r + 44. Suppose -g - 7 = -2*g. Is k(g) a multiple of 15?
True
Let c(g) be the second derivative of -77*g**3/6 - 3*g**2/2 - g. Let p be c(-3). Suppose 5*o + 3*m - p = 4*m, 3*o - 4*m - 147 = 0. Is o a multiple of 7?
False
Suppose -5*q + 2550 = 5*k, q - 9*k = -12*k + 510. Is q a multiple of 6?
True
Let u be 2/1 + -9 + 8