 = 2*l(g) - 3*w(g). Does 29 divide v(3)?
False
Let t be 2/9 - (-6163)/(-9)*-1. Suppose 1783 = 6*h + t. Is 12 a factor of h?
False
Let z = 16634 - 9671. Is z a multiple of 10?
False
Let p(w) = -14*w**3 - 9*w**2 + 30*w + 40. Is 20 a factor of p(-8)?
False
Suppose 2*q = 5*c + q - 53, 2*c = -5*q + 32. Suppose -m - c = -3*n + 8, 3*m + 37 = 5*n. Is 5 a factor of n?
True
Does 26 divide 9 - (-2485 + -4)*5?
True
Suppose -3*i - 1718 = -2*b, -32*i = -3*b - 37*i + 2558. Is 11 a factor of b?
False
Suppose 475 = 3*w + 25. Let a = w + -4. Does 43 divide a?
False
Let o(d) = 9*d**2 + 2*d + 14. Suppose -k + 2*n + 74 = -0*n, 0 = 3*k + 3*n - 204. Suppose r + 66 - k = 0. Is o(r) a multiple of 22?
False
Suppose -17*r - 22*r - 2086 = -41*r. Is 16 a factor of r?
False
Let t(r) be the third derivative of 0*r - 5/12*r**4 + 0 - 4*r**2 + 1/2*r**3. Is t(-2) a multiple of 6?
False
Let o(r) = 24*r**3 - 4*r**2 - 3 - 9*r**2 + 16*r - 23*r**3. Let z be o(12). Suppose z - 3 = b. Is 16 a factor of b?
False
Suppose 3*t + q - 2 = 0, -4 + 12 = -2*q. Suppose 3*m - t*m - 2*r = 313, -4*m + 1292 = 2*r. Does 9 divide m?
False
Let k = 16822 - -881. Is k a multiple of 9?
True
Let k(q) = q**3 - 6*q**2 - 7*q - 11. Let n be k(10). Suppose 0*r - r = -n. Is 29 a factor of r?
True
Let q(v) be the first derivative of -5/2*v**2 + 1/3*v**3 + 14*v + 37. Is q(15) a multiple of 11?
False
Is 11 a factor of (-1)/6 - (-5 - 157976/48)?
False
Is 14 a factor of 13010 - (0 - ((-8)/2 - 0))?
True
Let h(u) be the third derivative of 143*u**4/24 + 5*u**3/2 + 5*u**2. Does 17 divide h(3)?
False
Suppose 6*w - 3*w + 4*j - 2374 = 0, j - 1 = 0. Suppose 7*h + 195 = w. Is 15 a factor of h?
False
Let i(s) = -523*s - 3. Is i(-6) a multiple of 11?
True
Let n(v) = -2*v**2 + 41 + v - 13*v - v**3 + 5*v. Is n(-8) a multiple of 37?
True
Suppose 2*s + 0*s = -2*c + 60, s - 40 = -3*c. Let j = -23 + s. Suppose j*u - 275 - 47 = 0. Is 22 a factor of u?
False
Suppose 2*f = 6*f + 380. Let c = 214 + f. Suppose d + c = -5*l + 631, 518 = 5*l + 4*d. Is l a multiple of 34?
True
Suppose -4*o + o = 27. Let t(v) = -v + 9. Let x be t(o). Let r = 40 - x. Is r a multiple of 6?
False
Does 32 divide 7*(29/7 + -3) + 3576?
True
Let a(m) = -46*m + 11*m - 138 + 25*m. Does 7 divide a(-17)?
False
Suppose -2*m + 71*b = 68*b - 1575, -3*m + 2356 = 2*b. Is m a multiple of 6?
True
Let h = 50 - 47. Suppose 18*x - h*x = 3060. Does 17 divide x?
True
Suppose -68*t + 15 = -67*t. Let q(j) = 7*j**2 - 43*j + 15. Let y(r) = -11*r**2 + 65*r - 23. Let s(z) = -8*q(z) - 5*y(z). Does 11 divide s(t)?
True
Let b be 2/3 + (-13)/(-3) + -1. Suppose -626 - 1918 = -b*o. Is o a multiple of 29?
False
Suppose 3*a = 2*y - y + 67, -52 = -3*a + 4*y. Is -136*((-156)/a)/(-1 + 2) a multiple of 17?
True
Let g = -184 - -166. Let f(w) = -46*w - 75. Does 13 divide f(g)?
False
Let g be 906/15 - (-14)/(-35). Suppose 0 = -2*o + 8*o - g. Suppose 98 + 321 = 4*w + 5*x, 0 = 2*x + o. Is w a multiple of 13?
False
Let d = 50 + 61. Suppose 2*z - 138 = -3*x, 0 = 2*z - 2*x - 37 - d. Does 9 divide z?
True
Let l = -335 - -472. Suppose 5*i - 162 = -3*s, -10*i + 5*s + l = -6*i. Does 33 divide i?
True
Let r(k) be the second derivative of -23*k**3/6 - 33*k**2 + k - 36. Is 17 a factor of r(-11)?
True
Suppose -2*w = -109 - 115. Let z = w - 73. Is 13 a factor of z?
True
Let f be 1/(-6) + 23535/(-54). Let a = f - -477. Does 5 divide a?
False
Suppose 0 = 199*b + 1677240 - 5357347. Is 64 a factor of b?
False
Let j(g) = -2*g**3 - 22*g**2 + 32*g - 43. Is 44 a factor of j(-20)?
False
Suppose -7*x + 12*x = -7*x. Suppose 2*b - 10 + 0 = x. Suppose b*w = -15, 4*m - 4*w + 7*w - 831 = 0. Is 32 a factor of m?
False
Let k = 47090 + -11787. Does 102 divide k?
False
Let u(i) be the second derivative of 3*i**5/20 - 11*i**4/12 + 19*i**3/6 - 11*i**2/2 + 14*i + 3. Is 52 a factor of u(9)?
True
Suppose -2 = h + 3*t, -h + t = 4*h - 54. Let z = 5 + h. Let r = z + -1. Is 3 a factor of r?
False
Does 64 divide (-1 - 65/25)*(-2939 - -4)?
False
Let v(q) = 10*q**2 - 13*q + 876. Is 58 a factor of v(28)?
True
Let i(z) = 73*z**2 - 5*z - 6. Let l be (-23)/(-207) + ((-20)/(-9))/(-2). Is 4 a factor of i(l)?
True
Suppose -339 = a - 0*a. Let m be 4*(a/(-4) - 2). Suppose 4*r - m = -75. Is 16 a factor of r?
True
Let h(l) = 66*l - 24. Suppose 6*p = 7*p - 12. Does 24 divide h(p)?
True
Suppose 0 = 5*k - 5762 - 9088. Suppose -125*s - k = -131*s. Is 15 a factor of s?
True
Let v be (12/(-8))/(3/(-1810)). Let z = v + -858. Is z even?
False
Suppose -l + 19 = 75*s - 73*s, 0 = -5*s + l + 30. Suppose -s*h + 2136 = -1721. Does 29 divide h?
True
Let z be (16/720*18)/((-2)/(-2450)). Suppose f = -3*f + 1232. Let g = z - f. Is g a multiple of 13?
True
Suppose 101*q - 308811 - 144842 = 499080. Is 9 a factor of q?
False
Suppose 4*o = -5*t + 2*o + 631, 0 = 4*t + 2*o - 506. Let x = t - 22. Is x a multiple of 10?
False
Let k = -399 - -626. Let l = k + 235. Suppose -181*d + l = -178*d. Is d a multiple of 22?
True
Let u(f) = 7*f**2 - f**3 - 11*f - 2*f + 16*f**2 + 22 - 1. Let s be u(21). Suppose 11*v = v + s. Is 12 a factor of v?
False
Suppose 6*c - 4429 - 6587 = 0. Suppose v + c = 4*t, 12*v + 472 = t + 15*v. Does 20 divide t?
True
Let o = 1491 + -991. Suppose 19*n = 21*n - o. Suppose t = 6*t - n. Does 12 divide t?
False
Suppose -4*t = -29*x + 26*x - 14109, -5*t = -5*x - 17635. Is t a multiple of 12?
True
Let j = 185 - 186. Is -1 + (-120)/j - (-14 + 17) a multiple of 16?
False
Suppose 0 = 117*s - 153*s + 128304. Is 9 a factor of s?
True
Suppose -4*y = -5*x + 232728, 2*y = -4*x + x + 139672. Is 23 a factor of x?
True
Let c(m) be the second derivative of -m**4/12 - 13*m**3/6 - 23*m**2/2 + m. Suppose 3*i + 21 = 3*j, -2*i + 7*i + 3*j + 35 = 0. Is 11 a factor of c(i)?
False
Suppose -2*v = -l - 1382, -3*v = -0*v - 5*l - 2094. Is 16 a factor of v?
True
Let d(b) be the first derivative of b**4/4 + 7*b**3/3 + 9*b**2/2 + 20*b - 589. Suppose s - 2 + 7 = 0. Is 7 a factor of d(s)?
False
Let v = -4221 + 15762. Is 4 a factor of v?
False
Let c(a) = -22*a**3 - 2*a**2 - 6*a - 1. Let l be c(-3). Let p = l - 335. Is 15 a factor of p?
False
Let s(w) = 37*w**2 - 19*w - 6. Let k be s(3). Suppose -3*n = 2*u - 336, -3*n = 5*u + 2*n - 830. Let t = k - u. Does 18 divide t?
True
Let n = 6 - 30. Let k(h) = -h**2 - 28*h - 145. Let u be k(-7). Does 14 divide (-824)/n - u/3*-1?
False
Let m be ((-1284)/48)/(3*(-2)/(-24)). Suppose -4*k - 597 = -141. Let y = m - k. Does 7 divide y?
True
Let q(l) = -l**2 + 16*l - 23. Let j be q(14). Let m = -5 + j. Suppose m = 8*i - 50 - 38. Does 3 divide i?
False
Let j(n) = 47*n**3 - n**2 + 14*n - 4. Is 82 a factor of j(8)?
True
Let v(b) = -5*b - 90. Let a be v(-18). Suppose a = 6*x - 543 + 105. Does 17 divide x?
False
Suppose 0 = -5*v + 8*v + 306. Let p = v + 148. Let h = p - -12. Does 29 divide h?
True
Let l(a) = -5601*a - 2577. Is 39 a factor of l(-5)?
True
Is 123 a factor of -7 + (-19860)/(-45)*12?
True
Let x(g) = 234*g**3 + 3*g**2 - 5*g - 29. Is 62 a factor of x(5)?
False
Let j be 6 - 5 - 9 - (1 - 2). Does 14 divide 22/(-77) - 688/j?
True
Suppose -3*i + 0*i = -5*v + 40, -10 = 2*v + 4*i. Suppose 0 = 3*r - v*r + 544. Is r a multiple of 17?
True
Suppose a = -0*h - h + 39, 4*a + 195 = 5*h. Let m = h + -37. Suppose s = 2, 97 + 135 = v - m*s. Is 32 a factor of v?
False
Is 94 a factor of (11 + 9 + -10 - 57)*(-166)/1?
True
Let w = 3857 + -1307. Is w a multiple of 85?
True
Let a(d) = d**3 - 30*d**2 + 99*d - 1402. Does 22 divide a(29)?
False
Is ((2 - 5)*-4)/(7/2128*8) a multiple of 38?
True
Suppose -2*u - 20432 = -4*s, s = -4*s + 5*u + 25535. Is s a multiple of 13?
True
Let g = -317 + 299. Does 21 divide (-5 - -413)*g/(-8)?
False
Suppose -8*y + 101*y - 52377 = 14*y. Is 51 a factor of y?
True
Let s = 14 + -10. Suppose 2*a - 5*r = 16, -r = 6*a - 4*a - s. Suppose -2*u + 106 = t + 3*t, -3*u + 159 = -a*t. Is u a multiple of 23?
False
Suppose 2*h - 1904 + 594 = 0. Let l = h + -447. Does 3 divide l?
False
Let p(r) = 251*r**2 - 133*r - 516. Is p(-4) a multiple of 48?
True
Suppose 35*l - 333 = 87. Let w(h) = 12*h - 84. Is w(l) a multiple of 8?
False
Let z = 44 + 0. Suppose 54*m = z*m + 1350. Is m a multiple of 15?
True
Let p be (-114)/(-95)*1110/9. Let x = 24 + -88. Let h = x + p. Does 21 divide h?
True
Suppose -2*i - 18 = -18. Suppose i*t + 6 = 3*t, -4*t - 58 = -h. Is 6 a factor of h?
