multiple of 50?
True
Suppose 0 = 4*w - 9*y - 6781 - 19940, 0 = -5*y - 5. Is w a multiple of 14?
True
Let r(q) = -q**2 - 16*q - 30. Let g be r(-5). Let x(o) = -o**3 + 26*o**2 - 13*o - 31. Is 17 a factor of x(g)?
False
Let y be (((-16)/(-2))/2)/(23/7682). Suppose 14*q - 4*i + 1337 = 17*q, 3*q - y = -5*i. Is q a multiple of 18?
False
Suppose -1816*d - 88240 = -1836*d. Is d a multiple of 74?
False
Let i(w) be the first derivative of w**4/4 - 7*w**3 + 19*w**2/2 + 44*w + 163. Is 43 a factor of i(22)?
True
Suppose 24961 = 13*x + 7060. Suppose 7733 = 14*z + x. Is 77 a factor of z?
False
Does 43 divide 248292/165 + (-1)/(-5)?
True
Let a(y) be the third derivative of y**5/60 - 11*y**4/24 - 5*y**3/2 - 38*y**2. Let b be (-21 - 7)*(-1)/2. Is a(b) a multiple of 7?
False
Let u = -524 - -736. Suppose 3*l - 112 = u. Suppose -5*f - l = -3*k, f - 167 = -4*k - 0*f. Is 12 a factor of k?
False
Suppose -11 = -z + 2*b, z + 4*b = -z - 2. Suppose 0 = -3*h - p + 1655, z*h - 3*p - 349 = 2428. Is 23 a factor of h?
False
Suppose -16*r + 18 = -19*r. Is 10 a factor of (2 - (-496)/(-12))/(r/18)?
False
Suppose -51*o + 50*o = 2. Let t be 9 + -2*1/o. Does 17 divide (68/t)/(273/(-70) + 4)?
True
Suppose 660*k - 657*k + 3*o = 124767, 0 = -k + 3*o + 41565. Is k a multiple of 51?
False
Suppose 13 = 5*p - 12. Suppose 40 = 10*k - 2*k. Suppose 4*g - 156 = p*t, k*t - 3*t = 5*g - 178. Is g a multiple of 11?
False
Let o(x) = 1678*x - 6082. Is 97 a factor of o(21)?
False
Suppose 44 + 5 = 7*y. Suppose -2*v + y = -1. Suppose -5*o + f = -485, -o - 2*f = v*o - 470. Is 16 a factor of o?
True
Suppose 0 = -4*g - 6*w + 3*w + 20, 3*g + 4*w = 15. Suppose 3*c = -g*c + 1608. Does 33 divide c?
False
Let m = 1281 - 558. Let b = m + 577. Is b a multiple of 26?
True
Let g(v) = v**3 + 15*v**2 + 25*v + 15. Let x(z) = z**3 + 14*z**2 + 26*z + 15. Let u(k) = -6*g(k) + 5*x(k). Let y be u(-19). Is 8 a factor of 59 - (1 + -2 + y)?
True
Let h(w) = 81*w**2 - 2*w + 2. Suppose 3*r + 2 = u, 7*u - 5*u - 15 = -5*r. Suppose -u*s + 1 + 4 = 0. Is 8 a factor of h(s)?
False
Suppose -43*v + 696 = 15*v. Let b = 8 + -17. Is 10 a factor of (-438)/b*3 - v/4?
False
Let w(u) = -u**3 + 26*u**2 - 25*u + 2. Let h be w(25). Suppose 4*r + h*c - 298 = 0, 19*r + c = 15*r + 297. Is 3 a factor of r?
False
Let j = -99 + 102. Let r(l) = 9 - 15*l + 7*l**j - 8*l**3 + 10*l**2 + 7 + 7*l**2. Is r(16) a multiple of 32?
True
Let v(j) = -73*j + 35. Let o be -11 + -3 + 6 + 3. Is v(o) a multiple of 50?
True
Suppose v = 0, -2*v + 40 = 5*f + 3*v. Let z(t) = -t**3 + 9*t**2 + 3*t + 10. Let d be z(f). Suppose 0 = -2*j + c + 139, j - d = -2*c - 26. Is 10 a factor of j?
True
Suppose 549941 = 117*p - 20785. Does 18 divide p?
True
Let a(m) = -m**3 + 3*m**2 - 1. Let c be a(2). Suppose c*p - 175 = -n - 0*n, -5*n = 2*p - 940. Is n a multiple of 19?
True
Let p = 37505 + 9321. Is p a multiple of 10?
False
Let m = -169 - -150. Let j(u) = -u**2 - 22*u - 53. Let w be j(m). Suppose -8*n = -w*n - 456. Is n a multiple of 33?
False
Is 50 a factor of ((-7)/((-637)/1300))/((-2)/(-1673))?
True
Let r(f) = 638*f**2 + 172*f - 1385. Is r(8) a multiple of 106?
False
Suppose 8 = b + 1. Suppose -5*q = -3 - b. Suppose -2*u - 74 = -q*s + 3*u, -5*s + 185 = u. Does 13 divide s?
False
Suppose -o - 32 = 3*o. Let s be 98/(-28)*-1*o/(-7). Suppose a - 140 = -s*u, -2*u = 3*a - 4*u - 448. Does 37 divide a?
True
Is 44 a factor of (140/28 - 0) + 8876/1?
False
Suppose 41*s - 259688 = -47*s. Does 17 divide s?
False
Let v(j) = 3*j**2 + 6*j - 14. Let d be v(2). Suppose 5*h + 15 = -7*s + 5*s, -2*h = d. Does 3 divide s?
False
Let f = -4377 - -7396. Does 8 divide f?
False
Suppose 18*j - 2966 = 976. Is 73 a factor of j?
True
Let m(u) = -u**3 + 7*u**2 - 6*u + 2. Let s be m(6). Suppose 0 = s*n + 4*k + 10, -n + 0*k + 2*k = -15. Suppose -n*x = -4*x - 21. Does 5 divide x?
False
Let c(d) be the second derivative of -7*d**3/6 + 83*d**2 + 83*d. Is c(21) a multiple of 17?
False
Does 17 divide 17/((-221)/(-91)) + 3 + 10870?
True
Suppose -201808 = -302*u - 23*u + 174542. Does 6 divide u?
True
Suppose -h - 10 = 4*h. Let c = h - -2. Suppose c*l = -5*l + 60. Is 4 a factor of l?
True
Suppose -31*a - 633 + 66012 = 0. Does 37 divide a?
True
Is 16 a factor of 112301/49 + -4 - (-2)/14?
True
Let p(y) = y**2 - 14*y + 89. Suppose -4*w + 3*o + 50 = 5*o, -4*w + 47 = 3*o. Is p(w) a multiple of 9?
False
Suppose 21*c - 64*c = -146286. Is c a multiple of 63?
True
Is 36 a factor of (37786 - -21)/11 + 19?
True
Let k = 1062 - 884. Suppose z - 1 = 0, -r - z + 510 = k. Is 68 a factor of r?
False
Let w(h) = -17*h + 12. Let v(g) = 2*g. Let j(n) = v(n) - w(n). Is 12 a factor of j(5)?
False
Suppose -3*b = 15, 12*c - 10*c - b - 17303 = 0. Does 13 divide c?
False
Let z = 5652 + -2068. Is 8 a factor of z?
True
Let q be (1 - 2)/(2/(-170)). Let j be 3/21 + (3 - (-1180)/(-28)). Let p = q + j. Is 10 a factor of p?
False
Suppose -2*a = -5*l - 13, 0*l + 5*l = -3*a + 7. Suppose 2*o = 2*b - 556, 16*b = 13*b - a*o + 799. Does 13 divide b?
True
Let n be 2*3/((-1 - -2)/2). Let x(p) = 2*p + n + 13*p + p**2 + 34. Does 20 divide x(-13)?
True
Let g = 1711 - 913. Suppose -3*x - g = -10*x. Is 19 a factor of x?
True
Suppose 3*i - 8 = -4*u + 4*i, 10 = 5*u + 2*i. Suppose 681 - 2335 = -3*t - u*j, 0 = 4*t - 5*j - 2213. Is t a multiple of 46?
True
Let l = -35 + 32. Let c = 21 + -9. Is (-9)/l*32/c even?
True
Let j(v) = -3*v + 10. Let h be j(14). Let x = -16 + h. Is (x/36)/((-2)/6) a multiple of 3?
False
Suppose m + 0 = 2*s + 6, 4*m - 15 = 5*s. Suppose 4*g = 4*n - m*g - 576, -2*n - 5*g + 281 = 0. Is 13 a factor of n?
True
Suppose 99*h = -28*h + 13*h + 21546. Is h a multiple of 3?
True
Suppose 0 = -g - 4*g. Suppose 16 + 13 = 3*f - 5*z, g = -4*f - 3*z. Suppose f*n = n - 3*r + 41, -4*n = 4*r - 80. Is 6 a factor of n?
False
Does 27 divide (-5 - 86411/(-51))*3?
False
Let j = 5029 - 2740. Does 109 divide j?
True
Let z(n) = 11*n**3 + 3*n**2 - 7*n - 7. Let h be z(-2). Let k = 222 + h. Does 7 divide k?
False
Suppose 3*b + 2*l + 1 = 0, 4 = b + 7*l - 2*l. Let p(y) = 630*y**2 + 2*y + 2. Is 70 a factor of p(b)?
True
Does 96 divide -14 - (-8 - (1732 + 2))?
True
Suppose -88*s - 168*s - 30537 = -343*s. Does 30 divide s?
False
Let w = -21 + 28. Suppose t = -2*a + 6*t - 4, -3*a + t + w = 0. Suppose 23 + 1 = 2*v + a*o, v - 4*o = 34. Is v a multiple of 3?
True
Suppose -655 = 5*m + 5*c, -2*m + 5*m = c - 397. Let l = -99 - m. Is 20 a factor of l?
False
Let j(n) be the second derivative of 2*n**3 - 10*n**2 + 19*n - 2. Is 5 a factor of j(5)?
True
Suppose -a + 4*g = -16, -3*a + a - 4*g = -44. Is 9 a factor of (11/(-1))/(a/(-100))?
False
Let q(d) = -4*d. Let n be q(0). Suppose -802 = -3*t - 5*k, 3*t - k - 781 - 9 = n. Is 25 a factor of t?
False
Let m(o) = 722*o**2 + 24. Is 41 a factor of m(-5)?
False
Let q(i) = i + 12. Let o(x) = -2*x - 7. Let v(j) = 9*o(j) + 4*q(j). Is 20 a factor of v(-12)?
False
Suppose -301 = -2*o - 2*o - 5*t, 2*t = 10. Let z be ((-150)/9)/(-5)*-9. Let v = z + o. Is v a multiple of 13?
True
Let p = 125 - 121. Let x = 30 - p. Suppose 24*i + 84 = x*i. Is 7 a factor of i?
True
Let a(c) = -c - 6. Suppose -2*j + 4 = -3*l - 6*j, 2*j - 50 = 5*l. Let t be a(l). Suppose -6 + 4 = -t*s, 0 = n + 2*s - 73. Is n a multiple of 19?
False
Let q(p) = 14*p**3 - p**2 + p. Let l be 2/7 + 1 + (-388)/(-14). Let x = -27 + l. Does 49 divide q(x)?
False
Let t(w) = 3*w**2 - 4*w + 6. Suppose -20 = -4*j + 4. Let r be t(j). Suppose 5*o - 2*o - r = 0. Is o a multiple of 3?
True
Is (-6306)/(-7)*119/34 a multiple of 39?
False
Let l(r) = -6. Let q(p) = 16. Let u(f) = 11*l(f) + 4*q(f). Let o(h) = -3*h**2 - 13*h - 30. Let g(z) = -o(z) + 6*u(z). Is g(-10) a multiple of 47?
True
Let y be 7*7/98*(25 - -1). Suppose -2888 - 2325 = -y*b. Is b a multiple of 30?
False
Suppose 34999 = 2*q + 5*n, 52466 = -14*q + 17*q + n. Is 87 a factor of q?
True
Suppose 0 = -30*t + 17*t + 52. Let p(y) = 90*y - 63. Does 10 divide p(t)?
False
Let d = 415 - 304. Let r = 84 + d. Is 65 a factor of r?
True
Let i be ((-30)/(-8) + 0)*(-48)/(-18). Is 61 a factor of 40/i + (-1692)/(-4)?
True
Let t(m) = -m**2 - 6*m - 5. Let n be t(-6). Let w(q) = -47*q - 177. Is 29 a factor of w(n)?
True
Let l(j) = -11*j**3 + 2*j - 1. Let q be l(-5). Let x = q + -697. Does 29 divide x?
True
Let r(b) = -33*b**3 - 24*b**2 - 108*b - 1117. Is r(-10) a multipl