+ 11*w**3/2 - w**2. Is 8 a factor of q(0)?
False
Suppose 8*r + 295 = 5*m + 12*r, -2*m + 5*r + 85 = 0. Suppose -64*f + 59*f + m = 0. Does 4 divide f?
False
Suppose -4 = -p, 6*p - 24 = -2*f + p. Suppose -93 + 14 = -f*j + n, 0 = -4*j - 5*n + 193. Is j a multiple of 42?
True
Let o(w) = w**2 - 11*w + 11. Let j be o(10). Let t be 2 + j - (-14 - -7). Does 5 divide 225/t*4/6?
True
Suppose -2*w - w - 309 = 3*m, 5*m + w = -499. Let c be 1/(1 - m/(-102)). Suppose v - c - 2 = 0. Does 15 divide v?
False
Let d(g) = -g**3 - 12*g**2 - 9. Let k be d(-12). Let j be -3*((-24)/k + -3). Let l(f) = 25*f**3 - f**2. Is l(j) a multiple of 10?
False
Let g = 118 + -27. Is 7 a factor of g?
True
Let k(x) = 6*x + 10. Let n(f) = 17*f + 30. Let q(l) = -11*k(l) + 4*n(l). Let r(u) = 5*u + 20. Let o(v) = 7*q(v) - 3*r(v). Does 10 divide o(0)?
True
Let c = 34 + -31. Let m(l) = 13*l - 7. Is m(c) a multiple of 8?
True
Let g = 24 + -24. Suppose -14*v + 12*v + 254 = g. Let n = v - 64. Is 14 a factor of n?
False
Let o(u) = -3*u + 13. Let g = 2 - -9. Let j be o(g). Let l = -14 - j. Is l even?
True
Let x = -2 - -6. Suppose x*u - 120 = -516. Let w = 151 + u. Does 17 divide w?
False
Let h = 692 - 413. Does 18 divide h?
False
Suppose j = 2*f - 64, -j + 5*j = -4*f + 104. Suppose 27*o + 123 = f*o. Does 10 divide o?
False
Suppose -3*b + 4*p + 18 = 0, 5*b = b + 4*p + 20. Suppose -j + 205 = 4*j + 5*k, 81 = b*j + k. Is j a multiple of 8?
True
Let d = -36 + 73. Suppose -2*c - 3*p = -389 - 17, -181 = -c + 4*p. Suppose d = 6*v - c. Does 13 divide v?
True
Let t be (-8)/((-2)/(-9) - (-80)/(-36)). Suppose -t*z = -10*z + 528. Is z a multiple of 11?
True
Suppose 45*o = -v + 40*o + 1127, -2*o + 2294 = 2*v. Does 15 divide v?
False
Let g be 1/2 - (-49)/14. Let n = g + -1. Suppose -32 = -4*w + s, -s - 38 = -n*w - 14. Is 4 a factor of w?
True
Let y(p) = -6 - 4*p + 4 - 3 - p**3 + 8*p + 6*p**2. Let i be y(6). Suppose 4*n = i + 17. Does 9 divide n?
True
Suppose 3*j - 8310 = 3*t, 5*j = -2*t + 11614 + 2208. Is j a multiple of 113?
False
Let m(z) = 1357*z + 28. Is m(1) a multiple of 18?
False
Suppose -g - 7 = -21. Let a(h) = h**2 - 11*h + 7. Does 49 divide a(g)?
True
Let m(f) = -13 + 24*f - 29 + 7 - 15. Does 19 divide m(10)?
True
Let u = 5 + 8. Let a(m) = m**3 - 13*m**2 - 6*m + 14. Let r be a(u). Let b = r + 116. Does 13 divide b?
True
Let o be 21/14*(-2)/6*-1332. Suppose -3*v = -4*u + o, 3*u - 2*v - 36 = 463. Does 27 divide u?
False
Let v be (-171)/(-63) + 2/7. Suppose -v*j = -56 - 73. Does 16 divide j?
False
Let f be (-3)/5 + (-23)/(-5). Suppose -68 = -3*x - 0*l - f*l, -37 = -2*x - l. Is 4 a factor of x?
True
Let a = 160 + 56. Does 18 divide a?
True
Let u = -228 - -344. Let c be (-1 - 1)*2/1. Is u + (-32)/c + -4 a multiple of 30?
True
Let s(i) = i**3 - 14*i**2 + 14*i + 12. Let l = -5 - -18. Is 4 a factor of s(l)?
False
Let p = 69 - 28. Let k(d) = d**3 - 15*d**2 + 36*d - 7. Let u be k(12). Let z = p + u. Is z a multiple of 17?
True
Let s(d) = d - 8. Let y(l) = l. Let w(n) = 2*s(n) - 10*y(n). Is 30 a factor of w(-17)?
True
Suppose 3*x - f - 13 = 0, -21*f = x - 23*f - 11. Let u(k) = -k**2 + 2*k**3 - 2*k**2 + 0 + 1. Does 22 divide u(x)?
False
Is 6 a factor of ((-36)/16)/((-5)/80)?
True
Let j = 6 - 4. Suppose -2*b + 4*m - 2*m = -396, 0 = 4*b + j*m - 804. Is b a multiple of 50?
True
Let q = 539 + -250. Is 5 a factor of q?
False
Is (-50)/75 - 95/(-3) even?
False
Let c(i) = i**3 + 8*i**2 - 5*i + 3. Let t be c(-9). Let f = 50 + t. Is 17 a factor of f?
True
Suppose 3*i + 160 = 34. Let x = -34 - i. Is x a multiple of 8?
True
Suppose -2*l - 1994 = -7364. Is 15 a factor of l?
True
Let n(x) = 61*x**2 - 3*x + 2. Let o be n(-4). Is (o/(-75))/((-1)/15) a multiple of 18?
True
Suppose -79 = -6*d + 29. Is 18 a factor of d?
True
Let v = -1683 + 2759. Is v a multiple of 9?
False
Let s(v) = -9. Let j(m) = -m - 1. Let x(l) = 5*j(l) - s(l). Let c be ((-1)/2)/(2/16). Is 11 a factor of x(c)?
False
Let u be 2/(-10) - (-63)/15. Let f = 1 + u. Suppose -2*o = -f*y - 71, 0 = -3*y - 2*y - 25. Does 9 divide o?
False
Suppose -8 = m + m. Does 31 divide (-528)/(-55)*(-50)/m?
False
Let i(l) = -l**3 + l**2 + 3*l + 10. Does 4 divide i(0)?
False
Suppose 27*w - 25*w = -4*b + 680, -2*b + 2*w = -346. Is b a multiple of 171?
True
Let o be 55/19 - 42/(-399). Let i be o/((-5)/((-1840)/(-12))). Is i/((-7)/(7/2)) a multiple of 23?
True
Let u(k) = -k**2 + 10*k - 8. Let v be u(7). Let i = 17 - v. Suppose h - j = -h + 64, -i*h + 116 = j. Is h a multiple of 10?
True
Let c(z) = z**3 + 20*z**2 + 14*z - 70. Is c(-9) a multiple of 6?
False
Let d be -4 - (10/(-1) - -4). Suppose -d*u + 3*x = -0*x - 210, -u - 4*x + 127 = 0. Is u a multiple of 9?
False
Suppose 14*r - 10*r - 3656 = 2*j, 2*j = 0. Does 34 divide r?
False
Let d be (-46)/(-8) - ((-51)/12 - -5). Suppose -4*c - p = -13, -2*c = -0*c + 5*p + 7. Suppose 0 = -c*u + 1 - 9, -d*u + 180 = 5*g. Is 17 a factor of g?
False
Let h be 18/(-2)*((-8)/2 + 3). Suppose -3*s + 5*b = -36, -4*s - 5*b - 70 = -h*s. Is 8 a factor of s?
False
Let r = 3 + -1. Suppose r*x + 15 = 5*x. Suppose -383 = -x*p - 73. Does 31 divide p?
True
Suppose -4*x + 2*x + 4*p = 14, 0 = -3*x + 2*p - 9. Is 15 a factor of (561/12 - 6) + x/(-4)?
False
Let t = -25 - -30. Suppose -167 - 373 = -t*w. Is 39 a factor of w?
False
Suppose -3*d = 3*v - 18, 2*v = d + d - 4. Suppose d*y = 8 + 4. Suppose z - 47 = 3*g, 5*z - 2*g = y*g + 275. Does 21 divide z?
False
Let x(n) = -n**2 - 5*n + 4. Let k be x(-5). Let m(q) = -6*q**2 - 6*q - 16. Let b(t) = -5*t**2 - 5*t - 15. Let o(w) = 7*b(w) - 6*m(w). Is 3 a factor of o(k)?
False
Suppose -3*s - 5 = 2*s. Let m(n) = 91*n**2 - 11*n - 11. Let c(a) = 46*a**2 - 5*a - 5. Let t(w) = 13*c(w) - 6*m(w). Is t(s) a multiple of 12?
False
Let b(g) = 5*g**2 - g + 2. Suppose -4 = 2*y - 18. Is b(y) a multiple of 24?
True
Suppose -5*g + 70 = -70. Suppose -12*h + g = -8*h. Does 7 divide h?
True
Let v(w) = -w**3 + 8*w**2 + 12*w - 9. Let g be v(8). Suppose g = c - 23. Suppose 5 = q - 4*z, 36 - c = -4*q - 2*z. Is q a multiple of 11?
False
Suppose z - b = -40, -2*z - 5*b - 220 = 3*z. Does 3 divide ((-3)/6)/(1/z)?
True
Let z be 1*-2*45/(-10). Suppose z - 129 = -2*u. Is 8 a factor of u?
False
Let z be 0 + 1 + 1 - -166. Suppose c - z = -3*c. Is 25 a factor of c?
False
Let f = -37 + 42. Suppose -4*d - 4*r = -40, -2*r - 80 = -f*d - r. Does 4 divide d?
False
Suppose 0 = -11*n + 9*n - 24. Let j be (-633)/(-9) - 8/n. Suppose 7*f - 2*f + j = 4*h, -f + 29 = h. Is h a multiple of 6?
True
Let m(v) = 105*v + 12. Is 13 a factor of m(1)?
True
Suppose 24 = 4*p - 2*p. Suppose -5*z + 196 = -o, 5*z + 5*o - p - 208 = 0. Is z a multiple of 16?
False
Let i(p) = -p**3 - 9*p**2 + 4. Let u be i(-10). Is u/(-78)*2/((-8)/186) a multiple of 6?
False
Let h = -44 + 129. Is 17 a factor of h?
True
Suppose 0*f = 3*m + f - 3, 17 = m - 5*f. Let o be 8/(-6)*(-3)/m. Does 11 divide o/(-16) + 1416/64?
True
Suppose 0 = 3*l - l - 6. Suppose 2*g + l*g = 0. Suppose -5*n + n + 48 = g. Does 12 divide n?
True
Let t be ((-180)/(-8))/3*(-4)/(-6). Suppose -3*n = -t*j + 744, -4*j - 3*n + 604 = -n. Is 30 a factor of j?
True
Let v = 10 - 6. Suppose -6*m + 4 = -3*m + v*x, -3*m - 5*x = -5. Suppose m = 6*a - 4*a - 28. Is 7 a factor of a?
True
Suppose 60*z - 55*z = 580. Is z a multiple of 29?
True
Suppose l - 103 = -2. Is l a multiple of 52?
False
Does 46 divide (-6)/24*-1556*1?
False
Let h(a) = 4*a + 10. Let f be h(-5). Let b = -8 - f. Suppose -125 = -5*r + b*t, -5*t = -3*r - r + 100. Does 10 divide r?
False
Suppose -y + 155 = h, -3*h + 0*y + y + 449 = 0. Let z = h + -111. Is z a multiple of 6?
False
Let c(b) = 16*b - 24. Is c(7) a multiple of 44?
True
Suppose 4*r = -5*x + 145, 3*r + 0*x - 100 = -2*x. Let t = r + 9. Is 10 a factor of t?
False
Let k be 63/(((-4)/16)/(2/(-8))). Let o = -38 + k. Is 8 a factor of o?
False
Suppose -4*r + 4*v = v - 2245, 5*r + 4*v = 2814. Is r a multiple of 111?
False
Let u(c) = 4*c**2 + 5*c + 1. Let t(i) = 6*i - 2. Let m be t(1). Does 17 divide u(m)?
True
Let t = 6 - 5. Is t + 0 + -2 - -254 a multiple of 37?
False
Let m = -28 - -28. Suppose 3*h + 244 = 5*a - h, m = -4*a + 3*h + 195. Does 24 divide a?
True
Suppose -10*b = 1403 - 10763. Is 39 a factor of b?
True
Let p = 2797 - 1827. Is 6 a factor of p?
False
Let u be 6 + (-4)/((-6)/(-3)). Suppose 4*m + 2*x + 0*x = 308, -u*x = 