Let h be i(v). Suppose -x = x, 0 = 5*m + 3*x - h. Is m a multiple of 10?
False
Suppose 8247332 - 1618092 = 530*w. Does 160 divide w?
False
Let r(b) = -b**2 + 12*b - 32. Let p be r(7). Suppose -3*h + 32 = -2*k, p*h - 6*h + 29 = k. Suppose -o + 32 = -h. Is o a multiple of 8?
False
Is 115 a factor of (-2)/(-19) - ((-48)/156 + 11759364/(-741))?
True
Suppose 0 = -2*q - 2*s + 2586, 1395*q + 1289 = 1396*q - 3*s. Is 34 a factor of q?
True
Let d(n) = n**2 + 14*n + 15. Let z be d(-13). Let p be ((-3 + 2)*-6 - z) + 1. Suppose -p*c - 4*m = -7, -5*c + 6*c - 2*m - 7 = 0. Is c a multiple of 2?
False
Let i be (-21)/(-14)*(-50)/(-1). Suppose -4*a = -3*p + 96, -a + i = -4*a + 3*p. Does 25 divide ((-18)/a)/3 - 1048/(-7)?
True
Suppose -n + 2*s - 5 - 9 = 0, -s + 42 = -3*n. Let c be (-4)/14 + 4 + (-4)/n. Is c - (-205 + (-12)/3) a multiple of 17?
False
Let p(v) be the first derivative of 5*v**3/3 - 5*v**2/2 + 6*v + 18. Is 8 a factor of p(2)?
True
Suppose 63*w - 82368 = 61*w. Does 11 divide w?
True
Let j = -13339 + 35879. Is j a multiple of 49?
True
Suppose 0 = 2*b + 3*v - 557, 1667 = 34*b - 28*b + 5*v. Is b a multiple of 6?
False
Suppose -1 + 5 = -o. Let i(r) = r**3 + 5*r**2 + r - 7. Let b be i(o). Is (1 - 2)*(0 + -30*b) a multiple of 30?
True
Suppose -f - 319601 = -5*i, -95*f + 96*f = 2*i - 127841. Does 40 divide i?
True
Let x(z) = -10*z + 7. Let s be x(-3). Let r = 7 - s. Is r/(4 - 95/20) a multiple of 20?
True
Suppose 0 = -5*b - 517 - 483. Let q = 903 + b. Does 19 divide q?
True
Let b(a) = -15*a. Let d be b(-13). Let f = d - 96. Suppose -i + 102 + f = 0. Is i a multiple of 42?
False
Let k = 51 + -36. Suppose -23*o - k = -18*o. Let j(h) = -5*h - 8. Is j(o) even?
False
Let v(k) be the third derivative of k**5/60 + 13*k**4/24 - 5*k**3/3 + 4*k**2. Let p be v(-14). Is 17 a factor of p/(-6)*2331/(-14)?
False
Let t be (-13)/(-3) - 3/9. Suppose 0 = -52*l + 57*l + 2*n - 14, 3*l = -5*n + 35. Suppose -u - t*d = -56, l*u - 173 = -4*u + d. Is 6 a factor of u?
False
Let j = -7911 + 41465. Is 63 a factor of j?
False
Let p = 28052 - 14900. Does 137 divide p?
True
Let d(i) = i**3 + 11*i**2 - 6*i - 23. Let c be d(-11). Is 3 a factor of c + 6 + 6/(-1)?
False
Is 202 a factor of (0 + (-11912)/(-12))*378/36?
False
Suppose 702 = 68*w - 67*w. Does 9 divide (154/21 + -7)*w?
True
Let x(u) = 372*u**2 - 49*u + 24. Is 75 a factor of x(-5)?
False
Let l(c) be the first derivative of -c**4/12 + 4*c**3 - 3*c**2/2 + 19*c - 8. Let s(z) be the first derivative of l(z). Is 28 a factor of s(21)?
False
Let f(m) = -9*m**2 - 7*m + 23. Let s be f(6). Let d = -28 - s. Does 15 divide d?
True
Let g(w) = -5*w - 34. Suppose -14*x + 18 = -11*x. Suppose x*u = -u - 70. Is 8 a factor of g(u)?
True
Let h(r) = -15*r - 206. Let g be h(-14). Does 19 divide ((-162)/4 - g)*(-4)/2?
False
Let z be (-140)/(-210) - 20/(-6). Suppose 4*a = k + k + 6, -3*a + 15 = 2*k. Suppose 0 = -k*u + z*u - 108. Is u a multiple of 18?
True
Let n(c) = 149*c + 110*c + 264 - 295*c. Does 9 divide n(-12)?
False
Let j = -585 + 567. Is 25 a factor of (-80)/(-15)*j/(-3)?
False
Is 103 a factor of (-618)/((-40)/630*3/2)?
True
Suppose -20918 + 12547 = -30*j + 79199. Is 21 a factor of j?
True
Let z(u) = 4*u**3 - 3*u**2 + 6*u - 7. Suppose 18 = -28*j + 34*j. Let t be z(j). Suppose 20 - t = -g. Is 36 a factor of g?
True
Let v(q) = q**2 + 14*q + 11. Suppose 9*a + 74 = -4*z + 8*a, -4*a = 8. Let x be ((-24)/z)/(-2) - (-43)/(-3). Is v(x) a multiple of 13?
True
Let r be (2/(-1))/(50/(-8) + 6). Let f be (3/4)/((-6)/(-16)). Suppose f*y = 6*y - r, 3*j - 3*y = 162. Is j a multiple of 48?
False
Let o(q) = 2*q + 19. Let r be o(-7). Suppose 4*g + 2*p - 56 = 0, 40 = r*g + p - 6*p. Suppose -14*c + 470 = -g*c. Does 47 divide c?
True
Let x = -122 - -170. Suppose 4*q - 186 = 3*g, -3*g = 3 + 3. Suppose x = v - j - q, j = -2*v + 192. Is 19 a factor of v?
True
Let k(d) = -2*d**3 - 4*d**2 + 5*d - 91. Let n(x) = -x**3 - 5*x**2 + 3*x - 90. Let v(c) = -2*k(c) + 3*n(c). Does 13 divide v(9)?
True
Suppose -5*u = -z - 81, -2*z + 3*z = -4*u + 63. Suppose 0 = u*y - 20*y + 16. Suppose -5*r + 3*p + 140 = 0, 110 = y*r - 5*p + 3*p. Is r a multiple of 5?
True
Suppose 31058 = 4*z - 5*u + 8*u, -2*u + 31052 = 4*z. Is z a multiple of 10?
True
Suppose o = 2*k + 10, -5*k - 19 - 13 = o. Does 5 divide 8/24 - (0 - (-658)/k)?
True
Suppose -6*c = 4 - 22. Suppose 4*u = c*v + 19 + 7, 9 = u - 2*v. Suppose -4*d = -u*d + 63. Is d a multiple of 21?
True
Suppose -181*f + 7383654 - 227743 = 78*f. Is f a multiple of 203?
False
Let h(d) = d**2 - 11*d + 3. Let l be h(11). Suppose -5*m + 6 = l*c - 5, 5*m - 5*c + 5 = 0. Suppose 4*k = 79 + m. Is 3 a factor of k?
False
Suppose 2*m + 4*a = 176 + 108, -724 = -5*m + 4*a. Is (m/(-40))/((-2)/30) a multiple of 10?
False
Suppose 4*w = 2*h + 207 + 321, -4*h - 3*w = 1089. Is (h/12)/(6/(-200)) a multiple of 30?
True
Suppose -37*l + 858279 = -1525076. Does 251 divide l?
False
Let j = -3592 + 5494. Is 1 + j/16 + 9/72 a multiple of 3?
True
Suppose 0 = 4*s + 4*s + 568. Let u = s + 174. Let j = u - 98. Is j a multiple of 3?
False
Let r be 0 - (42081/33 + 4/(-22)). Is 14 a factor of 15/(-6) + r/(-6)?
True
Let m = 1067 - 697. Is 5 a factor of m?
True
Suppose -3*p + 20 - 17 = 0. Let a be 1*(p + -5 - -4)/(-4). Suppose 3*r - 16*r + 897 = a. Is 11 a factor of r?
False
Let j(v) = -v**2 - 7*v + 11. Let x be j(-8). Is x/(-6) + 2/(-4) + 337 a multiple of 12?
True
Let t = -3 - 25. Let g = t + 55. Let m = g - 9. Is 9 a factor of m?
True
Suppose 0*c - 6 = 3*c. Let s be 4*(-2 + (c - 36/(-8))). Suppose s*l - 37 = 3*d + 35, d = -3*l + 130. Is l a multiple of 42?
True
Suppose 0 = 3*t - 4737 + 4428. Is 7 a factor of t?
False
Suppose 4*z + m - 2*m + 151 = 0, m = -1. Let k = 42 + z. Suppose 4*s + 3*n = 108, 6*n = k*n - 8. Does 8 divide s?
False
Suppose -20*v = 5*w - 15*v - 105925, 0 = w - v - 21187. Is 11 a factor of w?
True
Let t(j) = -2*j + 16. Let s be t(11). Let p(h) = -3*h**3 + 7*h**2 + 4*h + 32. Is p(s) a multiple of 77?
False
Let x = -22 + 27. Suppose 64 = -3*t - x*t. Is 17 a factor of (t/(-6))/(8/288) + 3?
True
Suppose 5*c + 4*d = -31, -c - d = 2*d + 4. Let g(v) be the third derivative of v**5/60 - v**4/12 - v**3/2 + 3*v**2. Is 20 a factor of g(c)?
True
Suppose -388*g = -387*g - 28. Let t(l) = l**3 - 27*l**2 - l + 63. Is 21 a factor of t(g)?
True
Let u = -70 + -22. Let l = 195 + u. Does 3 divide l?
False
Let k = 8171 - -1139. Does 98 divide k?
True
Let w be (5 + -9 - -4) + 130. Let b be w/14 + (-10)/35. Is (0 + 7)*4/(12/b) a multiple of 2?
False
Let k be 3*(2/3 + 2). Suppose 3*t + k - 2 = 0. Does 15 divide -3*t/(-3) + (2 - -90)?
True
Let r be (-148)/5 + (-12)/30. Let n = -31 - r. Let z(j) = -103*j**3 - 2*j**2 - j. Does 26 divide z(n)?
False
Let x(q) = -q**2 - 2*q + 29. Let r be x(-6). Suppose 5*b - 2*d - 228 - 1232 = 0, -3*d = -r*b + 1465. Is 29 a factor of b?
True
Let g(d) = -77*d - 12. Let w be -3*(-100)/(-84) - (-3)/(-7). Let v be g(w). Suppose -l - m = -146, 6*m - 2*m = -2*l + v. Is l a multiple of 18?
True
Let a be 3/2*30/9. Suppose -2*h + 4*u + 0*u = 12, 2*u = -a*h - 30. Is 16 a factor of h/(-39) - 3535/(-91)?
False
Suppose f = -6*f + 28. Suppose 6*k + 851 = 7*k + f*t, -t - 2605 = -3*k. Is k a multiple of 50?
False
Suppose -47*b - 3282 = -10*b - 210001. Is b a multiple of 208?
False
Suppose 0 = 112*i - 40*i - 87768. Does 23 divide i?
True
Let j be (-80)/15*21/(-2). Is (j/6)/((-12)/(-72)) a multiple of 14?
True
Suppose -8294 = -6*u - 0*u - 7*u. Is u a multiple of 125?
False
Let t be (0 - 10)/(((-45)/(-80))/(-9)). Suppose -5*c - 225 = t. Let f = 103 + c. Is 13 a factor of f?
True
Let q(m) = 20*m + 13. Let g be q(0). Suppose -19*z = -g*z - 234. Is 21 a factor of z?
False
Let d = -16052 - -43175. Is 27 a factor of d?
False
Suppose 13*n = -607 + 3155. Is n a multiple of 4?
True
Is -307*(7/(70/(-540)) - -3*1) a multiple of 5?
False
Let f = -2074 - -3474. Suppose -3520 - f = -15*s. Is s a multiple of 8?
True
Let y = 8908 - -16292. Is 315 a factor of y?
True
Let f = 18 + -10. Let z(c) be the second derivative of c**4/4 - 3*c**3/2 + 9*c**2 + 700*c. Is 45 a factor of z(f)?
False
Let a = 25 + -19. Suppose -a*i - 3 = -21. Suppose i*n + 2*d - 5*d - 711 = 0, n - 2*d = 240. Is n a multiple of 39?
True
Suppose 0 = 5*l + 99 + 21. Let w(j) = j**3 + 3*j**2 - 20 - 13 - 2*j + 21*j**2. Is w(l) a multip