- 10. Is m a multiple of 3?
True
Is (2 + -1)/((-59)/(-64369)) a multiple of 80?
False
Suppose 3*f = -3*m + 347 + 283, -5*m - 3*f = -1042. Does 5 divide m?
False
Is (14 - (295 + 10))*(1 + -4) a multiple of 61?
False
Suppose -20*i - 52 = -16*i. Let k = -10 - i. Suppose 2*g + 5 = 3*g, k*g = 2*o - 23. Does 10 divide o?
False
Suppose -45 = -18*y + 9*y. Suppose y*h - 216 = 4*p, -3*h - 4*p - 56 = -160. Does 20 divide h?
True
Suppose -11*w - 18*w = -5887. Is w a multiple of 29?
True
Let p be ((-234)/27)/((-4)/6). Suppose -9*v = -p*v + 8. Suppose 146 = v*w + 50. Is w a multiple of 13?
False
Let p = -336 + 651. Is p a multiple of 15?
True
Let i = -3 + 15. Suppose -q = -3*m + 26, -q + 2*q = 4*m - 35. Suppose -m - i = -z. Is z a multiple of 16?
False
Is (4060/42)/(2/3*1) a multiple of 17?
False
Suppose -k + 2*y + 1233 = 0, 24*k = 29*k + 5*y - 6105. Is 25 a factor of k?
True
Is 7 a factor of (-6 - -12) + 735 + -2?
False
Let k = 1375 + -1181. Is 7 a factor of k?
False
Suppose 8*c = 5*c - 102. Let j = c + 178. Does 18 divide j?
True
Let x be -12 - ((-4)/(-1))/1. Let d be (87 - 0)/((-24)/x). Let b = 23 + d. Is 18 a factor of b?
False
Let a(f) = -f**3 - 23*f**2 - 7*f - 38. Does 3 divide a(-23)?
True
Let h(y) = y**3 + 13*y**2 - y - 14. Let x = -47 + 34. Let r be h(x). Does 12 divide -3*26/3*r?
False
Let g(k) = -k**2 - 26*k + 2. Let l be g(-15). Suppose l = -0*i + 5*i + 4*h, -4*i = -3*h - 115. Is i a multiple of 12?
False
Let h = 190 + -154. Is 13 a factor of h?
False
Suppose 3*r + 5*v = 5573 + 1925, -v = 4*r - 9986. Does 39 divide r?
True
Let a(n) = 4*n**3 - 3*n**2 - 7*n - 6. Let q be a(-4). Is 4 a factor of q/(-9) + (1 - (-8)/(-6))?
False
Let d be 6/4*(-80)/15. Let n(y) = 4*y + 12. Let w be n(d). Does 2 divide (-5)/(w/28)*1?
False
Let j = 114 + -64. Suppose -130 = -3*f + j. Does 12 divide f?
True
Let q = -80 - -425. Is q a multiple of 14?
False
Let x(i) = -i**3 + 4*i**2 - 4*i - 17. Let m be x(7). Does 41 divide 72/m + 3526/16?
False
Let f = 188 + -51. Let s = 130 + 7. Suppose -4*l - f + 1 = -5*h, 5*h - 3*l - s = 0. Does 14 divide h?
True
Suppose 0*w - 3*w - 15 = 0. Let l = w + 8. Suppose 30 = l*b - 66. Does 16 divide b?
True
Suppose -425 = -31*a + 1125. Does 38 divide a?
False
Suppose -g = -r + 57, -6*r + 3*r = g + 37. Let q = 91 + g. Let k = 54 - q. Does 7 divide k?
False
Let b = -447 - -587. Does 70 divide b?
True
Let m be (-1*1)/((-2)/210). Let j(p) = p**2 - 14*p + 35. Let d be j(5). Is (d/25)/((-3)/m) a multiple of 6?
False
Suppose 3 = 2*a - 1. Suppose f + 34 = a*q + q, -q + 18 = f. Suppose 0 = 3*g - 148 + q. Is 12 a factor of g?
False
Suppose 7*x - 40 = -5. Suppose 3*f - 2*c = 252, c = -x*f + 3*c + 416. Is 41 a factor of f?
True
Let o = 13 + -3. Let k = o + -5. Suppose 3*n - 1 + 3 = -k*u, 5*n = 5*u + 50. Is n a multiple of 3?
True
Is -1 + 961 + -11 + 16 + -11 a multiple of 42?
False
Let k(n) = -n**3 + 10*n**2 - 3*n - 11. Let h be k(9). Let m = 64 - h. Is 3 a factor of m?
True
Suppose 0 = 5*d, 3*c - 2*c - 486 = d. Suppose c = 3*h + 3*h. Is 14 a factor of h?
False
Suppose k + 2*k = 360. Suppose 20 = -5*h + k. Let w = -6 + h. Does 14 divide w?
True
Let l(g) = -6 - 3*g + 8*g - 59*g**2 - g**3 + 65*g**2. Is 4 a factor of l(6)?
True
Does 26 divide ((-144)/5)/(22/(-2860))?
True
Is 320 + 3 + -9 + 6 a multiple of 32?
True
Let m = 252 + 190. Is 56 a factor of m?
False
Suppose 232 - 28 = -4*v. Let n = v - -105. Is n a multiple of 27?
True
Suppose 77 = x + 4*l - 7*l, 4*x - 244 = -4*l. Is x/((-5)/5*-1) a multiple of 10?
False
Suppose 18*v - 2261 = 11*v. Is 12 a factor of v?
False
Suppose -460 = -4*f + 4*y, f - 5*y - 79 - 40 = 0. Suppose 3*u + 63 = 2*s, -4*s - 4*u - 18 + 114 = 0. Suppose w + 4*v - 30 = s, 4*v = 2*w - f. Does 16 divide w?
False
Let v = 1 + 3. Suppose 3*w = g - 1, -2*w - 4 = g - 2*g. Suppose -g = v*s - 190. Is s a multiple of 15?
True
Let s = 148 + 104. Is s a multiple of 15?
False
Let o(l) = 2*l**2 - 28*l + 36. Let d be o(13). Suppose d*h = 5*h + 75. Is 2 a factor of h?
False
Let f(m) = -m - 1. Let c be f(-2). Let x be (8/c)/(-4 - -3). Does 4 divide ((-48)/4)/3 - x?
True
Suppose 440 = 5*s - 400. Is s a multiple of 9?
False
Let y(r) = r + 27. Suppose x = -3*x - 52. Does 14 divide y(x)?
True
Let u be 796/(-6) + (-36)/27. Let n = 201 + u. Let p = 109 - n. Is 12 a factor of p?
False
Let b = -74 + 52. Let w = b + 52. Is 8 a factor of w?
False
Suppose 56*j - 61*j + 1205 = 0. Let h = j + -122. Is 26 a factor of h?
False
Let t be 13/4 + 2/(-8). Let n be (4 - 11 - -4)/(6/(-10)). Suppose -2*l = 5*s - 7*l + n, s - 11 = -t*l. Is 2 a factor of s?
True
Suppose 5*z - 708 = -0*d - d, 2*d = -5*z + 711. Let i be z*(-1 - (-4 + 2)). Suppose -5*l = -3*j + 145, -2*j - 15 = 4*l - i. Is j a multiple of 12?
False
Let y = -65 + 40. Let a = y - -25. Suppose a = -5*z - 4*d + 269, -z = d + 2*d - 45. Is z a multiple of 19?
True
Let l(u) = 18*u + 60. Is 6 a factor of l(10)?
True
Suppose 2*t + 8 = -2*g, -3 = -3*t + 5*g - 55. Let h be (-15)/t - 1/(-3). Suppose -h*y - 4 = -14. Is y a multiple of 5?
True
Suppose -4*b = 4*z - 8, 0 = -0*b - b - 2. Suppose 5*g - 17 = z*t, -3*t + 5*g - 4*g + 1 = 0. Suppose 6*v - 2*v = -2*i + 380, 0 = -t*i. Is 19 a factor of v?
True
Let b = 422 + -325. Does 8 divide b?
False
Let g = 0 + -4. Let v be (g/10)/((-4)/80). Suppose -104 = -4*b - v. Is 8 a factor of b?
True
Suppose -3*d + 39 = -x - d, 5*x - 4*d + 207 = 0. Let q be 4*(-7)/28 + (118 - -2). Let n = q + x. Is n a multiple of 19?
True
Is 15 a factor of (3/9)/(35/25305)?
False
Suppose -12*k + 3346 = -12950. Does 7 divide k?
True
Let b = -137 + 136. Suppose 0 = 4*c + 4*k - 6*k - 38, -3*k - 24 = -3*c. Is 0 - b - (-16 + c) a multiple of 6?
True
Let g(i) = -i**3 + 23*i**2 - 22*i + 33. Suppose -5*q + 154 = 2*q. Does 7 divide g(q)?
False
Let o(l) = 7*l**2 - 27*l + 11. Let k(b) = -20*b**2 + 80*b - 33. Let g(r) = 6*k(r) + 17*o(r). Is 9 a factor of g(8)?
False
Let f(q) = 14*q**2 - 6*q + 3. Let z be -8*(-5)/(60/3). Is f(z) a multiple of 47?
True
Suppose -d + 4*d = -9. Let b be 1/d - 354/18. Does 10 divide b/3*(-27)/6?
True
Let l = 16 + -4. Suppose 3*r - 312 = -r. Suppose 11*y + r = l*y. Is y a multiple of 26?
True
Suppose 1 = p - 1. Suppose 5*z + 4*t = 20, -14 = -3*z + 5*t - p. Suppose -5*y + 155 + 140 = 4*f, y + z*f = 43. Does 21 divide y?
True
Let u = 131 - 47. Suppose z - u = -3*k, -2*z + 2*k + 59 = -101. Is z a multiple of 20?
False
Let m = 6 + -9. Let k(y) = 13*y**2 + 5 - y**3 - 15*y**2 - 2 + 0. Does 6 divide k(m)?
True
Suppose 0 = 11*o - 37 - 7. Suppose -o*v = -1077 - 163. Is v a multiple of 31?
True
Let b be (5 - 5)*1/2. Is 16 a factor of (55 - 6)/(b + 1)?
False
Suppose -2*u = 3*n - 367, 2*u - 89 = 3*n - 460. Suppose 4*p + 3*o + n = 578, -2*p = 3*o - 223. Does 26 divide p?
False
Let h(j) = j**3 - 6*j**2 - 8*j + 8. Let f be h(7). Let p be (-10)/(1*f/4). Is 4/10 + (-1064)/p a multiple of 8?
False
Let s(n) = 2*n**2 + 9*n - 180. Is s(30) a multiple of 27?
True
Let h = -251 + 484. Is 10 a factor of h?
False
Suppose n + 15*d - 11*d = 655, -3*n - 5*d + 1930 = 0. Is n a multiple of 13?
False
Let a = 13 - 36. Let c = 23 + a. Suppose -v + 3*v - 84 = c. Does 8 divide v?
False
Let b(l) = -l**3 + 25*l**2 - 12*l + 5. Is b(23) a multiple of 47?
False
Is 23 a factor of (-15)/((-30)/388)*2/1?
False
Let l = -1107 + 1562. Does 11 divide l?
False
Let k = -18 + 20. Suppose 7*f - k*f - 240 = 0. Is f a multiple of 16?
True
Suppose 2*b = 5*b - 12. Suppose k = -b*k. Is 15 - -1 - k/8 a multiple of 4?
True
Let h(a) = -20*a - 13. Let n be h(-4). Suppose 3*i = n + 251. Does 13 divide i?
False
Suppose 207 = -9*z + 12*z. Suppose 2*g - 3*v = 55 - 6, v = -2*g + z. Is g a multiple of 4?
True
Suppose 105 = -3*c + 264. Let d(u) = u**3 - 5*u**2 + 7*u - 12. Let a be d(4). Suppose 2*n + 5*t - c = -a*t, -n = -3*t - 54. Is 13 a factor of n?
True
Suppose 3*n + 239 = 257. Suppose -117 = -4*z + 3*q, n*q = q + 5. Is 6 a factor of z?
True
Let s(w) = -8*w - 10. Let p be s(-7). Let l be -8*(-14)/52 + (-54)/351. Suppose -p = -l*d + 54. Is 10 a factor of d?
True
Let s = -2901 - -1931. Is 20 a factor of ((-10)/25)/(2/s)?
False
Suppose 5*b = -10, 0 = -4*m + 2*b - 4*b + 1600. Is m a multiple of 23?
False
Let p(r) = -6*r. Let h = 9 + -5. Suppose -3*l + h*l = -1. Is p(l) a multiple of 2?
True
Let c = -38 + 72. Let m be c/4 - (-2)/(-4). Suppose 0*u = -m*u + 17