+ 1 + (-13)/13. Suppose n = 380*s - 376*s. Suppose s = 9*d - 180 - 306. Is 9 a factor of d?
True
Suppose 0 = -4*f + 28, 4*d - 13*f - 34282 = 5*f. Does 46 divide d?
True
Let m be (14/28)/((-3)/(-6)) + 57719. Is (m/36)/10 + (-2)/(-3) a multiple of 23?
True
Suppose 1643 = -5*c - 477. Let i = c - -522. Is 7 a factor of i?
True
Let i be -21*(5/3 + 0). Let j = i - -27. Does 3 divide (j/5)/((-28)/350)?
False
Suppose 572908 = 59*h + 89*h. Does 49 divide h?
True
Let d(c) = c**2 - 24*c - 23. Let a be d(25). Suppose 5*i = a*i - 1635. Is 41 a factor of (i/(-35) + 3)*7?
False
Let j(u) = 4*u**2 + 19*u + 37. Let a be j(-3). Is (-148)/(a/32 - (-18)/(-28)) a multiple of 58?
False
Let v be (-195)/(-75) - 4/(-10). Let w(x) = 35*x**2 - v*x + 9*x**3 - 36*x**2 + 3 + 8*x**3. Does 3 divide w(1)?
False
Is 11 a factor of (42 - (-9 - -4))*(-564)/(-3) - -8?
True
Suppose -5*v = 4*b - 173, 0 = -v + 161*b - 163*b + 37. Let q be (0 - 0) + (38 - -1). Suppose 216 = q*r - v*r. Is 13 a factor of r?
False
Let s be (-1 + 2)*-3 + 13. Let n be (s/(-25))/((-1)/35). Let k = 56 - n. Is k a multiple of 6?
True
Let z(w) = -49*w**3 + 31*w**2 + 15*w + 92. Is 8 a factor of z(-8)?
False
Let o = -32 - -41. Let c(i) = 32*i + 146. Does 7 divide c(o)?
True
Let d(c) = -5*c**3 - 18*c**2 - 2*c - 25. Let y(x) = -6*x**3 - 19*x**2 - 2*x - 25. Let o(v) = -7*d(v) + 6*y(v). Is 13 a factor of o(9)?
True
Let v(x) = 17870*x**2 - 177*x + 178. Is v(1) a multiple of 23?
True
Let l(k) = -30*k - 156 + 0 - 84 + 0 + 152*k. Is l(10) a multiple of 56?
False
Let s = 57 + -82. Let l = -21 - s. Suppose 0 = -2*i + 5*w + 118, 0 = -0*i - 5*i - l*w + 262. Is 23 a factor of i?
False
Suppose 7 = -4*k - 13, 4*h - 3*k = -9. Let r be (-10)/(-12) - (-9 + 325/30). Does 15 divide r/3 + (-584)/h?
False
Suppose 2*t + 3648 = 14*t. Suppose 11 - 2 = g + 5*l, l = 4*g - 36. Suppose -t = -g*p + p. Is 19 a factor of p?
True
Suppose -10*x + 14*x + 12 = 0, -4*p + 29 = x. Suppose -p = -2*z, -4*t + 2688 = t - 3*z. Is 18 a factor of t?
True
Let n = 43 - 47. Let m be 2/(-8) - (n + (-2338)/8). Suppose -4*q + 0*q = 3*w - m, -4*w = 5*q - 369. Is 11 a factor of q?
True
Let g = -939 + 2203. Does 16 divide g?
True
Suppose 4*c - 13 = -5. Suppose -10*p - 3*q + 4765 = -5*p, -c*p = 5*q - 1887. Suppose 0 = -5*n + 119 + p. Does 27 divide n?
False
Suppose 11*r - 1 + 1 = 0. Suppose 5*c - 3*h = 356, -4*c + r*h - 3*h + 274 = 0. Is c a multiple of 6?
False
Let y be (3 - (-30)/24)*52. Let c = y + -131. Does 15 divide c?
True
Suppose 0 = -u - 139 + 141. Suppose 1651 = 3*d - u*s, 6*d + 2*s = 3*d + 1643. Does 29 divide d?
False
Let m(n) = 12*n - 135. Let f(d) = 4*d - 45. Let k(v) = -8*f(v) + 3*m(v). Is k(13) a multiple of 7?
True
Suppose 2*z = -2*w + 12062, 7 = 4*z + 31. Is w a multiple of 20?
False
Let o(q) = 2*q + 4 - 34*q - 5 + 14. Does 41 divide o(-6)?
True
Let x(k) = 1343*k**2 - 7*k - 1. Let n be x(1). Suppose -4*p + 1047 = c, 5*p - 7*c + 3*c = n. Does 11 divide p?
False
Let j(z) = 8*z - 12. Let t be j(7). Suppose -t*d + 720 = -41*d. Is d a multiple of 8?
True
Suppose 194 = 3*i - 4*f, -17*i = -13*i + f - 246. Suppose 2*t + 42 + i = m, -3*m + 300 = -3*t. Is 12 a factor of m?
True
Let t(k) = k**3 + 5*k**2 + 7*k + 5. Let x be t(-3). Suppose -s = -p - x*p + 8, 3*p + 2*s = 11. Suppose p*l - l = 336. Is 28 a factor of l?
True
Suppose 0 = 3*b - w - 61212, 0*b - 61188 = -3*b + 5*w. Does 19 divide b?
True
Suppose -5*f = 4*r - 1967, 0 = 4*r + 548*f - 549*f - 1997. Is 25 a factor of r?
False
Suppose -572*b = -585*b + 184184. Is b a multiple of 14?
True
Let h(n) = -n**2 + 25*n - 41. Let x be h(23). Suppose x*q = 1928 + 1387. Does 17 divide q?
True
Let z(u) = 13*u**2 + u. Let t be z(1). Suppose -25*o + t*o + 6336 = 0. Is 24 a factor of o?
True
Let n be (19 - (-1 - 1)) + 0. Let q be (-24 - -25)*(35 + 2) + 5. Let m = q - n. Is m a multiple of 16?
False
Let l = 180 - 122. Suppose 2*u + 16 = -3*o + 39, -4*o - 2*u + 28 = 0. Suppose 3 = -o*b + l. Is 2 a factor of b?
False
Let w(f) = -3*f**3 + 18*f**2 - 44*f - 15. Is 13 a factor of w(-7)?
False
Suppose 11*i - 22704 - 36729 = 0. Does 100 divide i?
False
Let n(i) = -i**3 + i**2 + 6*i. Let w be 3 - 0/(-13)*(-1)/2. Let h be n(w). Suppose -336 = -3*o - 2*o - 2*r, h = -5*o - 3*r + 334. Is 6 a factor of o?
False
Suppose 0 = -p + 61 - 57. Suppose -306 = p*h - 10*h. Let a = 85 - h. Is a a multiple of 7?
False
Suppose -12 = -2*l + f - 1, -5*l + 25 = -2*f. Suppose l*n + 0*n - 288 = 0. Is n a multiple of 13?
False
Let l = 34180 + -25291. Does 10 divide l?
False
Let t(d) = d**3 + 6*d**2 + 6*d + 9. Let z be t(-5). Suppose 4*y + 241 + 591 = z*n, 0 = 4*n - 5*y - 829. Does 20 divide n?
False
Suppose 2*t = -30*t + 55424. Let h = -813 + t. Does 86 divide h?
False
Does 11 divide (4 - -19) + (73 - -10101)?
True
Suppose 0 = -5*l + 5*z + 7640, -7658 = -20*l + 15*l - 4*z. Does 10 divide l?
True
Let s(t) = -t**3 + 2*t - 3. Let d(n) = n**2 + 9*n - 12. Let v be d(-8). Let f = v - -17. Is s(f) a multiple of 2?
True
Suppose 4*s = 2*u + 24, 2*s = -s + 4*u + 28. Suppose 2*q + 488 = s*f, f - q - 29 - 95 = 0. Is 24 a factor of f?
True
Let u be (-2)/6*2*-3. Let a = u + -12. Let r(q) = 2*q**2 + 10*q + 5. Is r(a) a multiple of 21?
True
Let z(g) = -9*g**3 + 14*g**2 - 6*g - 5. Is z(-4) a multiple of 39?
True
Let r(m) = -m**3 + 9*m**2 + m - 7. Let x be r(8). Let u = x - 63. Is 9 a factor of 15/(135/1116) + 2*u?
False
Suppose 173 = 2*w + 185, -3*d = -2*w - 1407. Does 48 divide d?
False
Let h be (-2)/(-5)*(-12 + 288/4). Suppose 0 = 80*r - h*r - 77616. Is r a multiple of 14?
True
Let x(i) = i**3 + 10*i**2 - 3*i - 25. Let y be x(-10). Suppose 0 = -2*n - n - 4*j - 7, -5*n - 35 = -y*j. Is (n - (-21)/3)/(4/34) a multiple of 4?
False
Let g be ((-6 + 0)/(-12))/(1/8). Suppose -2*c - 3*n + 1317 = -g*n, 0 = -3*c + 2*n + 1977. Does 24 divide c?
False
Let m be (-1)/(5/(-1020)) + -5. Let b(w) = -2*w**3 - 10*w**2 - 211*w + m*w + 4 + 2. Does 15 divide b(-6)?
True
Let o(h) = -1. Let a(b) = -5. Let y(m) = a(m) - 6*o(m). Let r(g) = -g**2 + 9*g + 24. Let v(i) = r(i) - 6*y(i). Does 6 divide v(10)?
False
Let w(n) = -709*n + 8292. Does 39 divide w(9)?
True
Suppose 0 = -3*z - 3*m - 7035 + 135423, 0 = -z + 2*m + 42793. Does 12 divide z?
False
Let y(n) = n - 16. Let r be y(-13). Let u = 29 + r. Suppose -4*g = o - 0*o - 316, u = -5*g + 2*o + 382. Does 13 divide g?
True
Let r = -290 - -826. Suppose p - 560 = -4*q, -p - 6*q = -8*q - r. Is 34 a factor of p?
True
Suppose -5*t - 3*n = 0, -n = 2*t - 2*n. Suppose t = 5*v - 73 - 482. Suppose -4*r + 7*r - 120 = -a, -3*r = -2*a - v. Does 11 divide r?
False
Let q(l) = l**2 - 3*l + 14. Let z be q(0). Let n = z + -9. Let v(h) = 18*h - 12. Is 39 a factor of v(n)?
True
Let l = 157 + -148. Suppose -s - 2976 = -l*s. Let y = s + -240. Is y a multiple of 22?
True
Let z(l) = 14*l**2 - 18*l - 86. Let r be z(-9). Let q = -612 + r. Does 26 divide q?
True
Let n(z) be the second derivative of 3/2*z**3 - 12*z**2 - 1/3*z**4 + 9/20*z**5 + 2*z + 0. Is 14 a factor of n(3)?
True
Let u(k) = 10*k**2 - 100*k + 455. Is u(25) a multiple of 5?
True
Is 29 a factor of (15 + (-260565)/(-45))*3?
False
Suppose b - 62 = 3*d, 7*b + 3*d + 112 = 9*b. Suppose -55*r = -b*r - 620. Is 62 a factor of r?
True
Suppose -3*h + 3*r - 48 + 3 = 0, 3*h + 4*r = -59. Let k be ((-663)/h)/(-1 + 0). Let n = 101 - k. Is n a multiple of 11?
False
Does 16 divide (785/(-4))/(65/(-1144))?
False
Let n(p) = p**3 + 12*p**2 + 4*p - 10. Suppose -6*v - 58 = 14. Let t be n(v). Let i = t + 65. Does 7 divide i?
True
Suppose -88*i - 47*i + 2709276 - 924981 = 0. Is i a multiple of 11?
False
Let w(x) = -x**2 - 1. Let h be w(5). Let l be 3 + 4 - (37 + -23). Let k = l - h. Is 4 a factor of k?
False
Suppose 5*t - 310 = 3*r, 0 = 38*t - 36*t + 5*r - 93. Suppose 70*b = t*b + 99. Does 3 divide b?
True
Let x = 27 + -19. Let c be (-2)/(-2*4) - (-542)/x. Suppose 5*i + c = 298. Is 7 a factor of i?
False
Let c = -1321 - -42181. Does 289 divide c?
False
Suppose -17 = -6*n + 7. Suppose n*z = z + 5*s + 80, -2*z + 2*s = -56. Does 10 divide z?
True
Suppose 0 = 3*g - 12 - 3. Let s(w) = 2*w**2 + 9*w + 12. Let o be s(-2). Suppose -5 = r, 7*d - g*r - 860 = o*d. Is d a multiple of 11?
False
Let v = 362 - 224. Suppose -2*a + v = 350. Let q = -61 - a. Does 19 divide q?
False
Is 25 a factor of (79384/(-11))/(9600/440 - 22)?
False
Suppose -2*m + 