se
Suppose 4*x - 18 + 0 = 3*d, -4*x - 3*d = -6. Suppose -x*m + 6 = 2*z, -5*z - 2*m + 28 = -m. Let g(h) = -h**3 + 6*h**2 + h. Is 3 a factor of g(z)?
True
Let l(c) = -c**3 + 7*c**2 + 7*c - 6. Suppose 3*v + 0*g - 4*g - 37 = 0, 4*g - 12 = -4*v. Is 9 a factor of l(v)?
False
Let r = 3 - 4. Let k be (-3)/((-28)/(-16) + r). Let y(d) = -d**3 - 4*d**2 - 5*d + 2. Does 15 divide y(k)?
False
Suppose 3*p = -3*g + 204, 0 = -10*p + 5*p - 3*g + 336. Let i = -39 + p. Is i a multiple of 9?
True
Let g be 18/(-45) + (-1 - 434/(-10)). Does 12 divide 0 + (-6)/(-21) - (-5112)/g?
False
Let v(j) be the first derivative of 3*j**2/2 - 11*j + 6. Let d be v(5). Suppose 50 = d*y + 3*i - 5*i, 5*y - 5*i = 50. Does 15 divide y?
True
Let x = -657 - -1587. Does 31 divide x?
True
Suppose -4*g = 12 - 20. Suppose 5*b + 4*d - 164 = 8*d, -68 = -g*b + 4*d. Does 8 divide b?
True
Let i = -446 - -591. Is 2 a factor of i?
False
Is 15 a factor of 45/(-2*3/(-18))?
True
Let p(i) = 44*i + 3. Let s(z) = -133*z - 9. Let b(d) = 8*p(d) + 3*s(d). Let r be b(-2). Let x = r - 41. Is 25 a factor of x?
True
Let o = 1655 + 415. Does 23 divide o?
True
Suppose -5*f + a - 3*a = -10, -5*f + 5*a = -45. Let w(n) = 24*n + 9. Is w(f) a multiple of 28?
False
Suppose -18*d + 14278 = -4442. Does 85 divide d?
False
Let r(p) = -37*p + 1271. Is 18 a factor of r(8)?
False
Suppose -5 = y - 3*r + 3, -4*y - 5*r = -36. Let b = -49 - -54. Suppose -36 = -2*o + p, 3*p + 28 = b*o - y*o. Is 8 a factor of o?
True
Suppose -5*x + 2*j + 179 = 0, -29 = -3*x + 3*j + 73. Is 2 a factor of x?
False
Suppose -u + 28 = 19. Let x(y) = -4*y**2 - 16*y + 15. Let m(j) = j**2 + j - 1. Let d(v) = -5*m(v) - x(v). Does 8 divide d(u)?
True
Let r = -25 + 259. Is 18 a factor of r?
True
Let u(i) = 4*i - 27. Let m(b) = -b + 9. Let l(o) = -17*m(o) - 6*u(o). Does 13 divide l(-8)?
True
Suppose 89*n - 88*n = 292. Let z = -158 + n. Is 14 a factor of z?
False
Let d = 1841 + -1815. Does 2 divide d?
True
Let i be 17/51 - (-5)/3. Does 21 divide (-41)/(-1) - (-2)/i?
True
Let t = 10 - 8. Suppose -20 = -t*q - 0. Does 5 divide q?
True
Let f = 131 + 1. Does 12 divide f?
True
Suppose -d = -4*n + 6*n - 104, 203 = 2*d - n. Is 12 a factor of d?
False
Let h(y) = y + 2 + 4*y**2 + 2*y**2 - 3*y**2 - 2*y**2. Is 2 a factor of h(2)?
True
Let t be -4 + 0 - -8 - -2. Suppose -3*g - 9 = 2*r - t*r, -4*r + 12 = 0. Does 14 divide ((-80)/(-56))/(g/35)?
False
Let n be (-3 - -19) + -1 + -2. Suppose -d + 7 = -4*y, 4*d - y = -0*y + n. Suppose -d*j + 26 = -2*j. Is j a multiple of 13?
True
Let b(z) = 4*z**2 - 4*z + 3. Let d(u) = u**2 - 2*u + 3. Let y be d(2). Let g be b(y). Is (g/(-6))/(1/(-12)) a multiple of 18?
True
Suppose -9 = -2*r - 3. Suppose -r*d + 108 = d. Does 12 divide d?
False
Let t = 97 + 25. Is 3 a factor of t?
False
Suppose 3*n - 3 = 12, -5*n = -5*k. Suppose -2*a = -k*x - 220, 3*x - 5*a + 132 = -0*x. Let z = x - -62. Is z a multiple of 6?
True
Is 70 a factor of 20/(4/1932*6)?
True
Suppose -8*o + 5*o = 0. Suppose o = -7*b + 274 + 188. Does 22 divide b?
True
Let l(w) be the third derivative of w**6/120 + w**5/60 + w**4/12 + 5*w**3/6 - 10*w**2. Is 2 a factor of l(0)?
False
Let x(j) be the first derivative of j**4/4 + 99*j + 32. Is 13 a factor of x(0)?
False
Suppose 180 = 5*g + 5*c + 50, 0 = -2*g + c + 61. Let j = g - -3. Does 8 divide j?
True
Suppose -10 = 2*r, -h - 4*r + 24 = -r. Let o = h + -25. Suppose 28 = o*b - 10*b. Is 2 a factor of b?
False
Is ((-6)/16)/(-3) + (-86273)/(-184) a multiple of 67?
True
Suppose 0 = 4*g + 3*q + 31, -4*g - 7*q + 2*q - 33 = 0. Let z(u) = -4*u - 9. Does 16 divide z(g)?
False
Suppose 93 = 3*u - 3. Suppose -b = 3*b - u. Is b a multiple of 4?
True
Let x(a) = -5*a + 62. Let v be x(12). Suppose -3*d + 173 = -2*i, -3*d + v*i = 5*i - 153. Is 3 a factor of d?
False
Let p = -80 + 82. Suppose 12*f + p*f = 2128. Is 19 a factor of f?
True
Suppose 5*u + 230 = 3*r, 0 = 5*u - u + 4. Suppose k - 2*w = 6*k - 75, -r = -5*k - 3*w. Is k a multiple of 5?
True
Let m be 1/((-1 - 4)/(-25)). Let y = m + -3. Suppose y*x = x + 12. Is 7 a factor of x?
False
Let c(x) = 24*x**2 - x + 1. Does 3 divide c(-2)?
True
Suppose -19*n + 253 = -18*n. Does 4 divide n?
False
Let o(t) = 0 + 0 + 7*t - 9. Let x be o(5). Suppose -b + 1 = -x. Does 11 divide b?
False
Suppose -1403 = -9*j - 251. Is j a multiple of 16?
True
Suppose -2*t = -j + 1376, 1373 = j + 41*t - 46*t. Is j a multiple of 44?
False
Let b = -6 - -6. Suppose 0*p + 2*p = b. Suppose p = -g - 4*g + 120. Does 12 divide g?
True
Let j(r) = -r + 1. Let a be j(7). Let t = 8 + a. Is 85/t - (-3)/(-6) a multiple of 7?
True
Suppose 0 = -2*g - 3*a + 5*a, -21 = -4*g - 3*a. Suppose 5*j = 4*m - 67, -g*m + j - 5*j + 27 = 0. Is m a multiple of 4?
False
Suppose 0 = 3*t - 3*p - 0*p - 126, -172 = -4*t + 2*p. Suppose w = -0*w - t. Let s = 62 + w. Is 18 a factor of s?
True
Does 88 divide 1149 + 134/(-26) + (-52)/(-338)?
True
Suppose -4159 = -2*x + 3*u, 5*x = 2*u + 10862 - 481. Does 37 divide x?
False
Let w(q) = -q**3 + 4*q**2 - 5*q + 5. Let p be w(3). Does 14 divide (210/4)/p*(-224)/140?
True
Let f = -88 - -190. Let w = 11 + f. Let a = -77 + w. Is a a multiple of 18?
True
Suppose 0 = -11*b + 7220 + 2020. Is 60 a factor of b?
True
Let i = -500 + 720. Suppose 7*b - i = 2*b. Suppose 0*k = -k + b. Is 19 a factor of k?
False
Let j(h) = -h**2 - 10*h - 3. Let w be j(-5). Suppose 2*g - w = g. Is 11 a factor of g?
True
Suppose -5*k = -t + 27, -5*t + 1 = -2*k + 4. Let b(w) = -111*w - 2 + 50*w + 49*w + 0. Does 10 divide b(k)?
True
Let g(k) = -2*k + 7. Let z be g(5). Let l(i) = -2*i**2 + 2*i. Let u be l(z). Does 11 divide 1/(-6) + (-796)/u?
True
Let u = -20 + 11. Let f(w) = -35 + 14*w + 40 + 6*w**2 - 4*w**2. Does 11 divide f(u)?
False
Suppose h - k + 2*k = 6, -3*h - k = -12. Let p be ((-8)/(-3))/4*3. Is 6 a factor of (14 - 2)/(p/h)?
True
Let y be ((-10)/25)/(1/(-10)). Suppose p - 3*p + 265 = -5*f, -2*p - y*f + 238 = 0. Suppose p = 5*n + 5*z - 90, 4*z - 37 = -n. Is n a multiple of 15?
True
Suppose -47 = -4*q + 5. Let p = -13 + q. Suppose -4*d + 3 + 297 = p. Does 25 divide d?
True
Let j = -24 + 23. Let s(v) = 43*v**2 + 4*v + 3. Does 3 divide s(j)?
True
Let d(i) = 7*i**2 + 15*i - 4. Is 5 a factor of d(4)?
False
Suppose -u = 5*a - 14, -4*a - 5*u + 5 + 2 = 0. Suppose -5*v = -2*x - a*v + 26, 3*x - 5*v = 41. Is (-2)/3 - (-284)/x a multiple of 8?
False
Let k be (-2 + 0)/(10/20). Does 9 divide ((-63)/(-14))/((-2)/k)?
True
Let x(t) = -16*t - 1 + 158*t**2 - 159*t**2 + 18. Does 10 divide x(-7)?
True
Suppose 0 = -r - 2*a - 8, 2*r - 3*a - 19 = -0*a. Suppose 5*f + 4*v - 916 = 0, -223 = -r*f - 5*v + 140. Is f a multiple of 23?
True
Let j = 47 + -32. Suppose 5*x - q = -4*q + 15, -5*x + 3*q = j. Is 11 a factor of 1*-11*(x + -3)?
True
Let i be -3 - 2 - (6 + -1035). Suppose 0 = 31*y - 27*y - i. Does 30 divide y?
False
Suppose 0 = 237*m - 234*m - 336. Is m a multiple of 28?
True
Let m be 27/(-12)*(-3 + 4/12). Let l(p) = p**3 + 2*p**2 - 10*p + 15. Is l(m) a multiple of 19?
False
Suppose c = -c + 6. Suppose 5*q + 7 = -c. Does 17 divide ((-4)/10)/(q/170)?
True
Let c = -1383 - -1635. Is 5 a factor of c?
False
Suppose -d + 3 = 0, -d = -3*u + 2*d + 438. Suppose -520 + u = -7*r. Is r a multiple of 17?
False
Let m(r) = 2*r**2 + 3*r + 10. Let s(p) = p**2 + 4*p - 15. Let a be s(-7). Is m(a) a multiple of 10?
True
Let w be 150/(-8)*(-48)/(-18). Let h = 151 + w. Let d = 162 - h. Is 17 a factor of d?
False
Let g = 14 + 35. Let a = 169 - g. Is a a multiple of 12?
True
Let k(x) = x**3 - 4*x**2 + x - 48. Is k(8) a multiple of 6?
True
Let c = 3 - 3. Suppose c = -o + 3*o - 8. Suppose o*n - 3*n + 2*s - 4 = 0, 5*s + 5 = -n. Is n a multiple of 10?
True
Suppose 2366 + 4222 = 6*m. Is 9 a factor of m?
True
Let d be 30/120 + (-1)/(4/2009). Is d/(-12) - (20/24 + -1) a multiple of 6?
True
Suppose 19*h = 34*h - 480. Is h even?
True
Let b be 36/54 - 1256/(-6). Let y = 425 - b. Is 34 a factor of y?
False
Is (2/(-2))/((-21)/2646) a multiple of 18?
True
Let p = 25 - 13. Suppose -x - 6 = -p. Let a = 40 - x. Does 17 divide a?
True
Let z(p) be the third derivative of p**6/120 - p**5/20 - p**4/8 - 4*p**3/3 - 8*p**2. Is z(6) a multiple of 27?
False
Let x be 7*(-2 - 54/(-21)). Suppose -x*a - l = -256, a + 5*l - 6 = 39. Is a a multiple of 5?
True
Suppose 4*j - 8 - 12 = -4*z, -5 = 5*j - z. Suppose -5*r - i + 19 = j, 2