 207 = -5*j. Suppose -j*b + 13*b = s. Is 12 a factor of b?
True
Suppose -15*y = -0*y - 411810. Does 7 divide (y/296)/((-2)/(-8))?
True
Let h(r) = 193*r**2 - 4*r - 20. Let l be h(-3). Suppose l = 12*b - 2651. Is 73 a factor of b?
True
Let j(n) = n**3 - 13*n**2 - 10*n + 130. Let i be j(13). Suppose -3*s - 13 + 1 = i, 0 = 3*h + 2*s - 5842. Is h a multiple of 54?
False
Suppose -293 = -2*o - 29. Is 78 a factor of (-4 + o)*3*39/12?
True
Does 9 divide -8 - (-4)/(-3)*167988/(-8)*1?
True
Let u(m) = 3*m**2 - 17*m - 42. Let d be u(10). Let v = d + -17. Is 5 a factor of v?
False
Let d = 662 - 659. Suppose 5*w - x = 12 + 2462, d*w - 2*x = 1490. Does 8 divide w?
False
Let a = -882 + 885. Does 87 divide a/(-18) + (-2645)/(-30)?
False
Let h be 19 + (7 - 30/3). Suppose -10*p = h*p - 9984. Does 48 divide p?
True
Suppose 5*u - 12 = -3*a, 3*a + u = -0*u + 12. Suppose -a*o + 1172 = r, -2*o - 3*r + 837 = 261. Suppose -19*f + 13*f = -o. Is f a multiple of 7?
True
Suppose 27405 = 10*n - 10694 - 10631. Is n a multiple of 11?
True
Let b(s) be the third derivative of 13*s**5/20 - s**4/12 + 7*s**3/3 - 6*s**2 - 7. Does 16 divide b(3)?
False
Let j(h) = -29*h + 34. Let f be j(1). Suppose 4*i = -m + 88, f*i = m - 43 - 27. Does 5 divide m?
True
Let h(i) = 2*i**2 - 2*i - 7. Let n be h(3). Suppose 9 = n*x - 6. Suppose -x*s - 40 + 103 = 0. Is 7 a factor of s?
True
Suppose -2*y = 10*y + 24. Let g be y/11 + (-1176)/66. Is 13 a factor of 13/(-3*2/g)?
True
Does 63 divide (0 - -1)*129 + (3 - -10 - 16)?
True
Does 157 divide (-19)/(741/286)*(-6123)/2?
True
Let s = -7104 + 10272. Is 144 a factor of s?
True
Let p be 1/(-5 + 1 + 826/206). Suppose -p = -2*r + 507. Is 7 a factor of r?
False
Suppose 0 = 4*n - 8*m + 6*m + 3512, 3*m = -3*n - 2634. Let j = n - -914. Is 2 a factor of j?
True
Suppose 2 - 14 = -3*z. Let b be (-25)/(-10) - (-1 - (-6)/z). Suppose b*s = -5*l + 42, l + 40 = 4*s - 0*l. Is 11 a factor of s?
True
Let g = 10302 - 7389. Is 7 a factor of g?
False
Let h(u) = -95*u**2 - 2*u + 14. Let x(v) = 47*v**2 + v - 6. Let l(d) = 6*h(d) + 13*x(d). Does 8 divide l(-2)?
True
Let m = -138 + 58. Let h be 3616/m - (0 + (-1)/5). Let o = h + 93. Does 34 divide o?
False
Let i(z) = z**3 + 5*z**2 - 7*z - 5. Let j be i(-6). Let v be (1 - 1/j)/(-2). Let f = 17 - v. Is 2 a factor of f?
False
Suppose 303*n = 321*n. Suppose -4*q + n*z = -3*z - 4407, q - 1092 = 4*z. Is q a multiple of 23?
True
Suppose -1235 - 149 = -8*a. Is a a multiple of 4?
False
Suppose -101*o = -96*o - 25, -2*y - 5*o = -63529. Does 63 divide y?
True
Let w = 2693 + 8960. Is 47 a factor of w?
False
Let j(o) = -o**3 + 22*o**2 + 146*o + 21. Does 29 divide j(-9)?
True
Let m = -344 + 342. Does 39 divide -5 - ((-3)/m*-2 + -626)?
True
Let y(w) = 277*w**2 - 210*w - 1449. Is 14 a factor of y(-7)?
True
Let u(y) = 2*y - 17. Let a be u(7). Is (a/(-6)*-478)/(-1) + 3 a multiple of 22?
True
Suppose 0 = 24*l - 109185 - 307007 + 56552. Is 15 a factor of l?
True
Let o(k) = 8*k**2 + 2*k + 53. Let z = 157 + -164. Does 13 divide o(z)?
False
Suppose -2*w + 402 = -v - 1041, -4*v = 3*w - 2181. Is w a multiple of 74?
False
Let n(g) = 27*g**2 + 14*g + 66. Let a = 9 - 15. Is n(a) a multiple of 18?
True
Let t = 301 - -24. Suppose -18*v + 1907 = -t. Is 73 a factor of v?
False
Does 22 divide ((-60)/18*6/(-25))/((-5)/(-191675))?
True
Suppose 0 = 15*s - 60553 - 12464 - 4698. Is 44 a factor of s?
False
Let g = 7583 + -5350. Is g a multiple of 3?
False
Does 83 divide (-165354)/(-12) + ((-77)/14)/(-11) - 2?
True
Is 6 a factor of (-1097018)/(-312) + 1/(-12)?
True
Let k be 2 - 54/(2 + -1). Let u = 40 - k. Suppose 0 = 87*j - u*j + 570. Is j a multiple of 17?
False
Let z be 3*(-2)/18 + (-10)/(-3). Suppose 4*a + 4*u - 20 = 0, -4*u = -3*a - 6*u + 10. Suppose z*p = h - a*p - 10, -5*h + 18 = p. Does 4 divide h?
True
Let l(q) = -7*q - 1. Let h be l(-2). Let t be ((-93)/(-2) + -3)*(-10)/15. Let m = h - t. Is 21 a factor of m?
True
Let r(u) = 6*u**3 - 5*u**2 + 4*u + 2. Let t be r(4). Suppose -4*f + t = -834. Suppose -2*v + 3*h = -f, -4*v + 3*h + 251 = -318. Does 14 divide v?
True
Suppose -3*z - 164 = -7*z. Let i(b) = -b**2 - 2*b + 19. Let w be i(-8). Let t = z + w. Does 3 divide t?
True
Let s(o) be the first derivative of -o**3/3 + 10*o**2 - 6*o + 137. Suppose 0*j + 16 = 2*j. Is 30 a factor of s(j)?
True
Suppose 12 = -3*m - 2*i + 28, -3*m + 1 = -i. Let n be (-3 + 1 - 145)*(0 - m). Suppose 0 = 4*f - n - 374. Does 23 divide f?
False
Suppose -4*t = -q + 32, 0*q = q - 3*t - 34. Suppose 2*c = q - 78. Let n(u) = u**2 + 19*u + 20. Does 9 divide n(c)?
False
Does 13 divide 30/((-6066)/(-756) - 8)?
False
Let b(g) = g**2 - 3*g - 5. Let c = 42 - 50. Let f be b(c). Suppose -w = x - f, -460 = -5*w + 5*x - x. Does 22 divide w?
True
Let y = -6 - 36. Let i(n) = -n**2 + 11*n + 4. Let p be i(17). Let r = y - p. Is 14 a factor of r?
True
Suppose 43*s - 307 = 295. Suppose 2*l = -0*l + 24. Suppose -l*d + s*d = 58. Is 5 a factor of d?
False
Let x(f) = 78*f**3 - 79*f**2 - 4*f - 26. Is x(7) a multiple of 37?
True
Let k(n) = n**3 - 17*n**2 + 16. Let y be k(17). Suppose y*m = 41*m - 5850. Is m a multiple of 39?
True
Suppose 0 = -4*h - 3*p + 14, -4*p - 14 + 6 = 0. Suppose h*g - 7785 = 5*i, -4*g + i + 0*i + 6237 = 0. Does 20 divide g?
True
Let m(c) be the third derivative of 1/6*c**5 - 18*c**2 - 5/24*c**4 - 1/120*c**6 + 0 + 11/6*c**3 + 0*c. Is m(8) a multiple of 11?
True
Let j(i) = i**2 + 14*i + 15. Let k be j(-13). Suppose 0 = -2*p + k*h + 12, -h + 4 = -5*p + 38. Suppose -t + 15 = p. Is t a multiple of 3?
False
Let y = 11510 + -605. Is 15 a factor of y?
True
Let v = 48 + 4. Suppose -5*a + 95 = -2*u, -2*a - u = u - v. Is 4 a factor of a?
False
Let k(u) = -u**3 - 26*u**2 - 13*u + 4. Let l(x) = x**3 + 25*x**2 + 12*x - 5. Let c(a) = 6*k(a) + 7*l(a). Is c(-8) a multiple of 59?
False
Let h be (8/(-6))/(15/(-45)). Suppose -a - 4*g - g + 50 = 0, a - h*g = 32. Is 20 a factor of a?
True
Let s(d) = 31832*d - 16. Does 82 divide s(1)?
True
Let y(s) be the second derivative of -s**5/20 - s**4 + s**3/3 + 13*s**2 + 3*s. Let l be y(-12). Suppose 2*z - 8 = -l, 201 = 2*x + 5*z. Is x a multiple of 11?
False
Let o(x) = -18*x + 21. Let k(g) = -1. Let h(n) = -5*k(n) - o(n). Is 60 a factor of h(18)?
False
Suppose 0 = -13*z - 111 + 410. Let j(t) = 22 - 23*t - z*t + 71*t - 29*t. Does 10 divide j(-7)?
True
Let k(m) = -57*m - 17. Let d be 2/(-13) - 925/325. Does 14 divide k(d)?
True
Let q = -7523 + 12783. Is q a multiple of 54?
False
Let r(d) = 33*d - 4. Suppose 4*m = 8*m - 4*t - 24, 0 = m + 4*t + 4. Let o be -2 - 6/(-9)*18/m. Is r(o) a multiple of 29?
True
Let y = 1612 - 92. Suppose 7*t = -3*t + y. Is t a multiple of 19?
True
Suppose 0 = 5*u - 35 - 105. Suppose u = 7*o - 3*o. Suppose -6*w = -o - 569. Is 11 a factor of w?
False
Suppose -7*a - a - 25469 = -125805. Is 27 a factor of a?
False
Let m = 27114 + -11320. Is m a multiple of 53?
True
Is 182 a factor of (454/(-5) + (-400)/(-500))/((-2)/489)?
False
Let p be (-32)/10*50/(-20). Let i = -9 + p. Is 15 a factor of 4/(5 - 1) + 82 + i?
False
Suppose 19*k - 23*k = -4*f - 30924, 4*f + 23192 = 3*k. Is k a multiple of 36?
False
Let r be ((-694)/3)/((-6)/90). Suppose -10*w = -0*w - r. Does 20 divide w?
False
Let j be (-52)/12 + 4 + (-38)/(-6). Suppose x - 8 = -j. Suppose 182 = 4*l + 5*k, 45 + 47 = 2*l + x*k. Is l a multiple of 24?
True
Suppose 52*o + 50*o - 5110423 = 662369. Is o a multiple of 16?
False
Is ((-118872)/60)/((-24)/210 + (-10)/35) a multiple of 13?
True
Does 60 divide ((36/15)/1)/(((-144)/(-23175))/16)?
True
Let t = -84 + -93. Let a = t + 1365. Does 11 divide a?
True
Let i = -48 - -46. Let w(t) = -t**2 - 5*t - 5. Let g be w(i). Is 48 a factor of (-27)/6*g*(-134)/3?
False
Let s = -55 + 59. Suppose -1454 = -s*r - 398. Does 11 divide r?
True
Let a(x) = -x**2 - 4*x + 4. Let h be a(-2). Suppose -5*w + r = -3*r - 28, -3*w + h = 2*r. Is 12 a factor of 26/(-3)*(-30)/w?
False
Suppose m + m - 8 = -k, -3 = m - 3*k. Suppose m*t + 44 = -4*p, 5*p = -3*t + 6*p - 19. Does 42 divide 2/t - (-561)/4?
False
Let b(q) = 2*q + 82. Suppose -n + 2 = 0, -3*c + 5*c - 36 = n. Is 8 a factor of b(c)?
True
Let l(w) = 2*w + 17. Let v be l(-6). Suppose -x = v*f - 28, -6*x + 2*x - 32 = -4*f. Suppose -96 + 0 = -f*p. Does 2 divide p?
True
Let z = -5105 - -5300. Let i(r) = -99*r**2. Let b be i(1). Let p = z +