 141. Is 10 a factor of u?
True
Suppose i - 16 = 5*i, -3*d - 2*i + 274 = 0. Does 3 divide d?
False
Let k = 156 - 54. Is k a multiple of 23?
False
Suppose -4 = 2*y, -4*n + 0*y - 2*y = -16. Suppose n = 5*w - 20. Suppose -4*h + 4*k - 3*k = -32, 5*k = w*h - 40. Is 8 a factor of h?
True
Is -5 - 0 - (3 + -20) a multiple of 11?
False
Let h = 28 + -40. Let g(n) = -2*n - 8. Does 16 divide g(h)?
True
Let v = -8 - -11. Suppose 65 = -8*p + v*p. Let k = -7 - p. Is 6 a factor of k?
True
Let m = 2 - 2. Does 5 divide (13 - m) + -5 + 7?
True
Let h(o) = 9*o**3 - o. Is 20 a factor of h(2)?
False
Suppose -4*i - 5*p + 206 = 0, -2*i + 3*i - 3*p = 60. Suppose 0 = 3*l - 66 - i. Is 11 a factor of l?
False
Let s = -59 - -203. Does 12 divide s?
True
Suppose -26 + 66 = -4*a + 5*r, 28 = -4*a + 2*r. Let c = 30 + a. Is c a multiple of 13?
False
Let j = -177 + 296. Is 6 a factor of j?
False
Let m(d) = d + 4 - d - 3*d + 1. Is m(-5) a multiple of 9?
False
Let f be (-4)/6*1*999/(-18). Let y = -4 - 3. Is 16 a factor of (-7)/y + (f - 0)?
False
Let m = -251 + 365. Is 26 a factor of m?
False
Let v = 44 + 41. Suppose v - 21 = -4*u. Let i = 23 + u. Is 6 a factor of i?
False
Let k(q) = -339*q**3 + q**2 + q. Let i be k(-1). Let n = i + -236. Let v = n + -72. Is v a multiple of 19?
False
Let s(a) = a - 1. Let f be s(1). Suppose 2*x - 6 = -f*x, 0 = b - 2*x. Is 6 a factor of b?
True
Let g = -4 + 9. Let q = g - -13. Does 18 divide q?
True
Suppose -270 = 4*q - 9*q. Let t = q + -38. Does 8 divide t?
True
Does 16 divide (9 + (-1 - 6))*43/2?
False
Suppose -369 = -4*i + 671. Is 39 a factor of i?
False
Suppose -1 = -3*a - 0*i - 2*i, -3*a = 5*i + 11. Suppose 0 = -u - a*u. Suppose u = p - 4 - 21. Is 10 a factor of p?
False
Let b(p) = p**3 - 7*p**2 - 7*p + 4. Let t = 0 + 0. Suppose -o + 8 = -t*o. Is b(o) a multiple of 6?
True
Let t(k) = -k**3 - 2*k**2 - k + 5. Does 15 divide t(-4)?
False
Let y(x) = x**2 + 5*x. Let i(m) = -7*m**2 - 1. Let v be i(1). Let h be y(v). Let f = -2 + h. Is 12 a factor of f?
False
Suppose -q - 15 = -6*q. Suppose -5*w - 5*j = -160, -q*w - 2*j + 100 = -3*j. Does 11 divide w?
True
Let m(d) = -d**3 + 8*d**2 - 5*d - 9. Let n be m(7). Suppose -3*a = -2 + n. Is 20 a factor of a + (-1)/(2/(-120))?
False
Let d(w) = w**2 + 5*w + 4. Let n be d(-5). Suppose -1 = -h - 0*h, 5*r - n*h - 16 = 0. Is 2 a factor of r?
True
Let j be -2 - 3/(-3) - -5. Suppose 6 + 10 = j*k. Let d = k + 6. Is 7 a factor of d?
False
Suppose -6 = -5*u + 4. Suppose -8 = -y - 2*o, -4*y - 2*o + 24 = 2*o. Suppose -y*g = -42 - u. Is 11 a factor of g?
True
Let h be (-135)/10*-1*2. Let g(t) = 1 + 8*t - h*t - 5. Is g(-3) a multiple of 19?
False
Is (-36)/(-18) + 4/(-2) + 30 a multiple of 6?
True
Let m be 1/3 + 110/30. Suppose -3*x = -5*o + 65, -o + m*o - 5*x = 55. Is 10 a factor of o?
True
Suppose -4*d + 3*k + 8 = -0*d, -10 = -5*d + 3*k. Suppose p - 4 + d = 0. Let i = 22 + p. Is i a multiple of 12?
True
Let v be 20/(-15)*(1 - -26). Is 2/(-9) + (-728)/v a multiple of 10?
True
Suppose 0 = 4*d - 0*w - 3*w - 111, -114 = -4*d + 2*w. Let i(u) = -u**3 + 25*u**2 - 25*u + 23. Let s be i(24). Is 19 a factor of (2/s)/((-2)/d)?
False
Let a = 633 + -357. Suppose -7*y + a = -3*y. Does 12 divide y?
False
Suppose -2*f = -7*f + 45. Suppose -3*i - f = 0, -5*i = h - 2*h + 23. Is 3 a factor of h?
False
Let i(b) = -2*b - 4. Let h be i(-3). Suppose -3*a = -h*o - 29, -a + 0 = o - 3. Let s(v) = -v**3 + 7*v**2 + 2*v + 10. Is s(a) a multiple of 8?
True
Suppose 0*i - 3*i = -12. Suppose -i*r = -0*q - q - 293, 358 = 5*r - 4*q. Let u = -17 + r. Is u a multiple of 19?
True
Let s(n) = n**2 - 4*n + 1. Suppose 0 - 8 = k. Let j = 14 + k. Is s(j) a multiple of 13?
True
Let s(u) = -u**3 + u**2 + 5*u - 4. Does 23 divide s(-5)?
False
Suppose 76 = 3*s - 2. Suppose d + 41 = k - 4*d, -k + s = -2*d. Is k a multiple of 7?
False
Let q = -102 - -204. Does 17 divide q?
True
Suppose -p + 4*p - 4*q - 11 = 0, 2*p = 3*q + 9. Does 8 divide (-3 + -9)*2/p?
True
Let x = 733 + -503. Does 10 divide x?
True
Let q = 229 + -145. Is 12 a factor of q?
True
Suppose -2 = -r + 2, -4*r - 32 = -a. Suppose 4*l - l = a. Suppose n = 5*w - 92, n - l = -w - 0*n. Is w a multiple of 9?
True
Let n = 1 + 2. Let j(y) = 5 - 4 - n*y - y. Is 8 a factor of j(-5)?
False
Let f = 18 - 9. Does 5 divide f?
False
Suppose -3*j + 2 - 11 = 0. Let i(y) = y + 5. Let f(w) = -6. Let c(s) = j*i(s) - 2*f(s). Is c(-4) a multiple of 9?
True
Let z be (12/8)/(1/2). Suppose -10 = -z*i - 1. Suppose 1 = -i*y + 5*f, -4*y - f + 37 = -0*f. Is y a multiple of 3?
False
Is 9 a factor of (-6)/(-10) - (4 + 860/(-25))?
False
Let z(r) = 3*r**2 - 11*r + 3. Let o(q) = -7*q**2 + 21*q - 7. Let p(v) = -2*o(v) - 5*z(v). Is p(11) a multiple of 8?
False
Let n(y) = y**3 - 31*y**2 - 31*y - 27. Does 2 divide n(32)?
False
Let v(c) = -8*c - 8. Does 16 divide v(-7)?
True
Let l(n) = -n**3 + 8*n**2 + 3. Let y be l(11). Does 5 divide (-2)/7 + y/(-35)?
True
Does 8 divide (1*(-2)/5)/((-4)/340)?
False
Let z be (-12)/(-4)*34/3. Suppose 0 = -4*x - 38 - z. Let m = x + 26. Is m a multiple of 5?
False
Suppose -5*k = -2*n + 351, 0*k - 935 = -5*n + k. Is n a multiple of 47?
True
Let z be (4/5)/((-1)/(-5)). Suppose a = -5*j - 13, 6*a + z*j + 44 = a. Let o = -4 - a. Does 2 divide o?
True
Let i(c) = 4*c**2 + 15*c - 7. Is 26 a factor of i(-10)?
False
Let w(n) = -3*n - 1. Let t be w(-1). Suppose 5*c = t*c + 105. Does 16 divide c?
False
Let d be 3/1 + (2 - 0). Let t be 107/d + (-6)/15. Let c = t + 1. Is 11 a factor of c?
True
Suppose 6 = -c + 16. Let o(v) = -v**2 + 5*v - 15. Let f be o(c). Let s = f - -105. Does 14 divide s?
False
Suppose h - 1323 = -8*h. Does 13 divide h?
False
Suppose -69 = -2*q + 5*w - 5, -q + 4*w + 32 = 0. Is q a multiple of 16?
True
Suppose -6*c - 5*n + 15 = -2*c, 12 = 4*n. Suppose c*t = 5*t - 210. Is 21 a factor of t?
True
Let g(h) = -8*h + 7. Does 9 divide g(-4)?
False
Let p(i) = -i**2 - 4*i + 1. Let u be p(-4). Suppose 2*n - 21 = 5*r, 0 = 4*n - r - 2*r - 21. Let h = u + n. Is h a multiple of 4?
True
Suppose 0 = -m + 4*m - 9. Does 23 divide 2 + -3 - (-141)/m?
True
Let v(k) be the first derivative of -k**4/4 - 8*k**3/3 - 9*k**2/2 + 2*k + 1. Is 16 a factor of v(-7)?
True
Is 33 - 0 - (-32 + 29) a multiple of 6?
True
Let r = 5 - 2. Let t(g) = 23*g - 4. Let x be t(r). Suppose -3*h = -0*h + 5*v - 53, 3*h - x = v. Is h a multiple of 10?
False
Let b be 3 - (4 + -3 + 1). Is 19 a factor of ((-190)/40)/(b/(-4))?
True
Suppose 0 = 5*t - 0*w - 5*w - 380, 0 = -5*t - 2*w + 373. Does 25 divide t?
True
Let n be 1/4 - 152/(-32). Suppose -n*l - 3*q = q - 170, 3*q = 2*l - 45. Is 10 a factor of l?
True
Suppose -48 = -0*k - 4*k. Is 6 a factor of k?
True
Let t = 8 - 3. Suppose 2*p = 3*p - t. Suppose 3*m = p*k - 34, k - 5 = 3*k + 5*m. Does 3 divide k?
False
Suppose 3*u + y = 1 + 7, 3*u - 3*y = 0. Suppose -3*t + u*t = 4. Let v = t + 20. Is v a multiple of 8?
True
Let m(w) = -w**3 + 6*w**2 + w + 4. Let o be m(3). Suppose 50 = -2*q + 7*q. Let i = o + q. Is 22 a factor of i?
True
Suppose 2*o = 4*f - 50, -4*f - 3*o = -2*o - 35. Is 2 a factor of f?
True
Let g = -20 + 32. Let f = g - -10. Is ((-5)/(-10))/(1/f) a multiple of 4?
False
Suppose 0 = 4*n + 4*t - 152, n + 9 = 2*t + 53. Suppose 3*g + 10 = n. Does 8 divide g?
False
Suppose -3*s + 7 - 1 = 0. Suppose 0*j + 12 = s*j. Is j a multiple of 6?
True
Let r(u) = -115*u**3 + 2*u**2 + 2*u + 1. Is 22 a factor of r(-1)?
False
Suppose 3*u - 50 = -2*h, -2*u + 0*u + 46 = -5*h. Is u a multiple of 3?
True
Suppose 17 - 446 = -3*l. Is l a multiple of 14?
False
Suppose 2*d + 6 = -4*m, m + 2*d + 5 = -4. Let b be (-6)/15*m*5. Does 10 divide (b/(-1))/((-2)/(-19))?
False
Let y be (-2)/(-3) + (-472)/(-3). Let f be y/14 + (-4)/14. Let w = f + -2. Does 7 divide w?
False
Let x be (-1 + -1)/((-4)/10). Let c(q) = 66*q**2 + 0 - q**3 - 60*q**2 - 4 - 3*q. Does 3 divide c(x)?
True
Let o(d) = 2*d + 1. Suppose -5*n + n + 16 = 0. Let l = 8 - n. Does 3 divide o(l)?
True
Let m = 29 - 15. Suppose 0 = -3*k - 4*j + 25, 0*k + m = -2*k + 5*j. Does 2 divide (-2)/k*(-9)/2?
False
Suppose 4*l = m - 2*m + 87, 0 = 2*l - 3*m - 47. Does 2 divide l?
True
Suppose v = 13*v - 732. Does 7 divide v?
False
Let z = -16 + 22. Suppose 0*h - 3*h + z = 0. Let u(y) = 9*y. Does 9 divide u(h)?
True
Let d = 23 - 1. Is d a multiple of 11?
True
Suppose -3*n - 3*f = -0*f - 396, 5*f = 