 Is h a multiple of 3?
True
Let o = 1224 + -1087. Is 5 a factor of o?
False
Let f be 1 - 1 - (-21 + -14). Let q = 83 - f. Does 16 divide q?
True
Suppose 624 = 3*i + 3*o, -4*i + 0*o + 832 = -3*o. Is i a multiple of 8?
True
Let b = 109 + -83. Suppose -2*i + 3*o = -49, -3*i + 0*i + o = -70. Let k = b - i. Does 2 divide k?
False
Suppose 3*r + 6 = 4*o, 8 = 4*o - 4. Suppose -r*u = -6*u + 80. Is u a multiple of 10?
True
Let f be (-3)/5 + 8/(-20). Let y(q) = 128*q**2 - q - 1. Does 31 divide y(f)?
False
Suppose -4*r - 27 = -r. Let c be 1/(1 - (-6)/r). Suppose 196 = c*k + 58. Is 23 a factor of k?
True
Let b = 20 + -9. Suppose 3*z = 2*k - 7*k - b, -2*k + 4*z = 20. Is (-513)/(-45) - k/(-10) a multiple of 11?
True
Suppose 151 = -2*a + 6791. Does 56 divide a?
False
Suppose -14*t + t = -65. Suppose t*v - 587 = -4*b, -5*v = -b - 4*b - 605. Does 20 divide v?
False
Suppose 498 = 27*m - 231. Does 4 divide m?
False
Let r = 50 - -834. Is r a multiple of 13?
True
Let m(t) = 7*t**2 + 4*t + 1. Let o(j) = j**2 + j. Let h(u) = -m(u) + 5*o(u). Let p be h(1). Is 8 a factor of (-4)/6*(-29 - p)?
False
Suppose -60 = -2*h + h. Suppose -3*w + 4*v = -51, -5*v + 6 = 2*w - 5. Let f = h - w. Does 12 divide f?
False
Let r = -15 + 17. Let u = r + 8. Is 5 a factor of u?
True
Let b be -384*(28/(-12) - -3). Let m = -182 - b. Does 19 divide 2 - (m - 0)/(-1)?
True
Let y(w) = 5*w - 22. Let t be y(9). Let j = t + 1. Is 8 a factor of j?
True
Let b(l) = -l**3 - 2*l**2 - l - 6. Let k(p) = -p**3 - 9. Let x(q) = 3*b(q) - 2*k(q). Let r be (-2)/(-5) - 32/5. Is 9 a factor of x(r)?
True
Let g = 62 - 32. Let q be (g/20)/(1/24). Suppose 0*y + 5*y = -4*p + q, 0 = -5*p - 5*y + 50. Is 12 a factor of p?
False
Let t(x) = -x**2 + 25*x - 23. Suppose -115 = 2*c - 7*c. Is t(c) a multiple of 23?
True
Suppose -12 = -2*x + 2. Let s = 7 - x. Does 13 divide -4 - (-31 + s + 1)?
True
Let s be (-1374)/(-2) + 2/(-1) + 2. Let g = -380 + s. Is g a multiple of 15?
False
Is 20 a factor of (-300)/(8/(-96)*3)?
True
Let d be (-494)/(-10) - 15/(-25). Suppose -5*y = -0*y + 20, -d = -2*h - y. Suppose 5*p + 5 = 0, s + 5*p = -s + h. Is s a multiple of 5?
False
Suppose 5*f - v - 14 = 0, 3*f = -2*v - 2*v + 13. Suppose -f*o + 99 = -135. Is 12 a factor of -1 - o/(6/(-2))?
False
Let j be 58*((-5)/(-2) + -3). Let i = -2 - j. Is i a multiple of 9?
True
Suppose 0 = -5*z - p + 2239, 7*z - 2*z = 5*p + 2245. Is 7 a factor of z?
True
Let l(k) = 44*k**2 - 24*k + 213. Does 29 divide l(6)?
True
Let s be (-6)/9*99/6. Let r(y) = y**2 + 10*y + 4. Does 2 divide r(s)?
False
Is (-6)/(-3) + 246 + -19 + 23 a multiple of 42?
True
Suppose -10*g - 28152 = -46*g. Does 10 divide g?
False
Let w = 7 + 1. Let u = w - 33. Let o = 59 + u. Is o a multiple of 10?
False
Let g = 1391 + -111. Is g a multiple of 64?
True
Is (225/(-5))/(-4 - 102/(-26)) a multiple of 9?
True
Is 21 a factor of (-34136)/(-68) + (4/(-1))/(-2)?
True
Let r = -129 - -325. Is r/9 - (-14)/63 a multiple of 3?
False
Does 42 divide -14 + (-1923)/(-9) + 4/3?
False
Let a = 43 + -18. Is (-6)/10 + 190/a even?
False
Let c(f) = f**3 - 6*f**2 - 15*f + 8. Let z be c(6). Does 3 divide z/(-10) + (-1)/5?
False
Let x(l) = l**3 - l**2 - l - 19. Let y be x(0). Let c = y - -21. Suppose -2*z - c*z = -72. Is 18 a factor of z?
True
Let w = 184 + -151. Suppose -34*n + w*n = -105. Is n a multiple of 24?
False
Let u = -790 - -283. Let b = -247 - u. Is 20 a factor of b?
True
Let p be ((-6)/8)/((-11)/264). Suppose 24 - p = 2*z. Suppose -4*q + 86 = 3*h - 3*q, z*h - 5*q - 92 = 0. Is h a multiple of 6?
False
Let k(t) = 3*t + 20. Let b be k(-7). Let y be b + 2 - (5 - 42). Suppose -y = r - 2*r. Does 13 divide r?
False
Suppose 16 = -2*y + 3*w, -4*y - w - 17 = 1. Let c = y + -46. Let g = c - -105. Is 18 a factor of g?
True
Let s(r) = -r - 33. Let n be s(12). Is 6 a factor of ((-14)/(-5))/((-3)/n)?
True
Let a(m) = -19*m - 8. Let b be a(4). Let n = b + 33. Is (-340)/n - (-1)/3 a multiple of 7?
True
Suppose 4*v = -4*x + 1928, 4*x - 2123 = 4*v - 163. Is x a multiple of 18?
True
Suppose s = -2*s. Let j(d) = -d**3 - d**2 + 4*d + 20. Does 4 divide j(s)?
True
Suppose 4*x = 5*z + 1, -6*z - 7 = 5*x - 4*z. Let a be 8 - (x - -1 - 2). Suppose 2*u = -0*u + a. Does 3 divide u?
False
Let m(n) = -18*n**2 + 2*n - 13. Let r be m(5). Let w = -285 - r. Does 56 divide w?
True
Suppose 3201 = 2*f + 3*l, 14 = -3*l + 23. Does 28 divide f?
True
Is (1240/6 - 0)/(10/75) a multiple of 31?
True
Suppose -5*f - 3*a = -2940 - 4273, 2886 = 2*f + a. Does 16 divide f?
False
Let o be 0 - (-1)/2 - (-140)/56. Let i(v) = 3*v**3 + 4*v**2 - 3*v + 3. Is i(o) a multiple of 23?
False
Let f = -54 + 99. Suppose 2*g = 7*g - f. Does 6 divide g?
False
Let b(s) = 102*s - 57. Is 13 a factor of b(3)?
False
Is 9 a factor of 17 + 1 + 2/4*0?
True
Let p(v) be the second derivative of -v**6/120 + 7*v**5/60 + v**4/12 - v**3/3 + v**2 - 3*v. Let n(x) be the first derivative of p(x). Is n(7) a multiple of 6?
True
Let u(m) = m**3 + 4*m**2 + 2*m - 3. Let h be u(-3). Suppose -2*x - 2*x = h. Suppose 5*w - 223 = n, x*w + n - 137 = -3*w. Is w a multiple of 15?
True
Suppose 2552 + 331 = 3*m. Does 48 divide m?
False
Let h(g) = g**3 + 13*g**2 - 17*g - 13. Let s be (-1)/(-1) - (1 + -3). Let p be s + -3 - (14 - 0). Is h(p) a multiple of 29?
True
Suppose 0 = -14*i + 9*i - 1085. Let m = -139 - i. Is m a multiple of 13?
True
Suppose 5*l + 9357 = 3*k, 20*k - 5*l = 25*k - 15635. Is k a multiple of 11?
True
Suppose -582*i + 586*i = 1792. Does 33 divide i?
False
Let m(p) = 2*p + 3. Let c be m(3). Suppose 62 + 40 = 6*a. Is 4 a factor of (9/c)/(1/a)?
False
Suppose -1957 = -3*n + m - 3*m, -5*n + 3*m + 3268 = 0. Suppose -n = -3*i - 5*j, -4*j = 2*i - 4*i + 428. Is 12 a factor of i?
True
Suppose -10655 = -12*g + 15769. Does 18 divide g?
False
Suppose -1361 = 41*o - 14153. Is o a multiple of 8?
True
Let k be ((-12)/4)/(0 + -1). Suppose -3*z = k*t - 90, 7*t = -3*z + 2*t + 94. Suppose -5*d + 17 = 5*r - z, 2*r - 15 = d. Is r a multiple of 2?
True
Let r = 55 - 15. Suppose 2*a + 2*m = 40, -2*a + 6*m + r = 2*m. Does 20 divide a?
True
Let m(l) = -l - 12. Let t be m(-9). Let y = 6 + t. Suppose 39 = c + 3*z, -3*c + 0*z + 81 = -y*z. Is c a multiple of 9?
False
Let o(a) = -18*a + 10. Is o(-13) a multiple of 14?
False
Suppose -5*g = 127 - 382. Does 51 divide g?
True
Suppose 11 - 1 = 2*n + 4*d, 11 = -5*n + 2*d. Does 14 divide n - (-3 - -4)*-63?
False
Suppose -w - 5 = -3*s, 3*w - 37 = -3*s - 4. Suppose 2*r - t = w*r - 353, -5*t = -4*r + 294. Is (-3)/(-1) + (r - -5) a multiple of 21?
False
Let l(z) = 7*z - 7. Let n(w) = w. Let r(g) = -l(g) + 6*n(g). Does 4 divide r(2)?
False
Let b(j) = -4*j**3 + j**2 + j + 19. Is b(0) a multiple of 4?
False
Is 16 a factor of 31*245/5 - 10?
False
Let j be (8/(-14))/(14/(-49)). Suppose 7*v - 3*v - 16 = 0. Is 4 a factor of (2*v)/(1/j)?
True
Suppose -2*q + f = -35, 0*q - 40 = -3*q - f. Let l be 448/(-210) + 2/15. Is 5/l*(-84)/q a multiple of 4?
False
Suppose 3*i - 6 = 0, -4*d = -5*i - 0*i - 406. Does 4 divide d?
True
Suppose -4*x - 630 = -0*v + v, 4*v - 306 = 2*x. Let r = x - -229. Does 36 divide r?
True
Is 16 a factor of (-1 + 4)/(-12) + 15525/20?
False
Suppose 4*l = -0*l + 4, 0 = j + 2*l - 5. Suppose -j*u + 445 = 2*u. Does 24 divide u?
False
Let r = -6 + 8. Let v(k) = 0*k**2 - 4 + k**3 - 2*k**3 - 4*k**r + 3*k**3. Is v(3) a multiple of 14?
True
Let c = 3887 + -1967. Is 128 a factor of c?
True
Let d(p) = -2*p + 54. Let n = 111 - 121. Is d(n) a multiple of 37?
True
Let r be 4/(-22) + 240/110. Does 5 divide r - (-4 - (-20)/(-2))?
False
Suppose 4*b + 0 = -3*g + 24, 2*g - 5*b + 7 = 0. Suppose -g*t - t + 20 = 0. Suppose -20 = 5*h, 2*h + 72 = 2*z + t*h. Is 20 a factor of z?
True
Let q(c) = -33*c**3 + 2*c - 1. Let a be q(1). Let s = -11 - a. Suppose t - 6 = s. Does 8 divide t?
False
Let n(x) = -x + 15. Let p be n(12). Suppose 118 = 3*t - p*o - o, 3*o + 80 = 2*t. Let v = -12 + t. Is 16 a factor of v?
False
Suppose -4*z + 1158 = 5*p - 262, p = 2*z - 724. Is z a multiple of 24?
True
Let o = -87 - -64. Let n = 34 + o. Is n even?
False
Let a(l) be the first derivative of 2*l**3/3 + 4*l**2 - 6*l + 8. Let p be a(-6). Suppose -3*m + 4*i + i = -p, m - 6 = 4*i. Is m a multiple of 2?
True
Suppose 5*s - 212 + 892 = 3*g, -4*s - 4 = 0. Suppose -3*d - 5*h = -d - 85, g = 4*d - h. Does 13 divide d?
False
Suppose 4*w