. Let u be (-5)/(-10)*20 - 4. Is 37 a factor of o(u)?
True
Let t(c) = 3*c**2 + 8*c - 3. Let f be t(5). Suppose 0 = -3*b - 3*v - 6 + 3, -2*b - v - 1 = 0. Suppose d + 3*d - f = b. Is d a multiple of 8?
False
Suppose 8*h + 142 = 10*h. Suppose 4*g - 25 - h = 0. Is g a multiple of 9?
False
Does 5 divide ((-192)/10)/(4/(-10))?
False
Let t(s) = 2*s + 271. Is 8 a factor of t(-17)?
False
Let l = 464 + 26. Is 10 a factor of l?
True
Suppose -21*u + 5842 = 2*u. Does 4 divide u?
False
Let v be 2 + 3/(9/642). Suppose 0 = -0*m + 4*m - v. Does 9 divide m?
True
Let q(i) be the first derivative of -2*i**3/3 - i**2/2 + 3*i - 4. Let b be q(0). Is (10/b)/((-20)/(-390)) a multiple of 16?
False
Is 14 a factor of (-608)/(-6) - 1 - (-2)/(-6)?
False
Let y = -194 - -248. Is 2 a factor of y?
True
Suppose -4 = -6*s + 8. Let d be 0*(-1)/(-2)*-1. Suppose d = -u + 5*j - 1, s*j = 3*u - 24 - 25. Does 19 divide u?
True
Is 2*5*1232/32 a multiple of 55?
True
Let q = -24 + 11. Let u be -1 - -2 - 8411/q. Does 18 divide (u/30)/(9/30)?
True
Is (-22)/(-11)*1*-1*-53 a multiple of 10?
False
Let g = -84 - -88. Is g a multiple of 3?
False
Let r(k) = 4*k**2 + 9*k + 3. Let v(h) = -7*h - 5*h**2 - 3 + 0 - 2*h. Let x(u) = 6*r(u) + 5*v(u). Is x(6) a multiple of 10?
False
Let f = 107 + -100. Suppose -f*s = -3*s + 8, -5*j - 3*s + 434 = 0. Is 6 a factor of j?
False
Does 2 divide (-120)/30 - (-7 - 0)?
False
Let n be (3 + -81)/(4/(-8) - -1). Let b = -84 - n. Is 11 a factor of b?
False
Suppose -35*a + 25426 = 86. Is 20 a factor of a?
False
Let w(h) = 7*h**2 + 24*h + 97. Does 10 divide w(-11)?
True
Suppose 2*a + 3*p - 116 = -0*p, -p = 4*a - 212. Suppose 4*y - 388 = -a. Is y a multiple of 28?
True
Let z = -134 - -240. Let k(l) = l**3 + 5*l**2 + 5*l + 4. Let r be k(-6). Let d = z + r. Is d a multiple of 11?
True
Let p(d) = 0*d**2 + 0*d - 5*d + 17 - d**2. Is 8 a factor of p(-6)?
False
Suppose -4*n = -0*n + 32. Let m = 24 + n. Suppose -50 = -3*d + m. Is d a multiple of 22?
True
Suppose 5*a - 59 = -44. Suppose 4*t - 58 = -h, 4*h - t = a*t + 132. Does 18 divide h?
False
Let d(z) = z + 21. Suppose 0 = -3*r - 4*l + 3 - 2, l - 3 = 2*r. Let w be r/(2/(2*15)). Is d(w) a multiple of 2?
True
Let q be 6 - 6/9*6. Let c be 4 - 2 - q - -4. Suppose -3*a - 2*a - 55 = -c*j, -j = 2*a - 30. Does 4 divide j?
True
Suppose -3*s = 3*j + 48, -4*s + 3*j - 22 = -2*s. Is -1 + (-8)/28 + (-424)/s a multiple of 26?
False
Let z(s) be the third derivative of s**5/15 - s**4/8 - 4*s**3/3 - 16*s**2. Is 37 a factor of z(-6)?
False
Let d = 23 + -236. Let n = -105 - d. Is 28 a factor of n?
False
Let z = 1537 + -534. Is 3 a factor of z?
False
Let g be (-2)/(-4)*-14*(-35 - 1). Suppose 0 = 6*k - 3*k - g. Does 14 divide k?
True
Let a(i) = 4*i + 476. Is 18 a factor of a(50)?
False
Let m(g) = -5*g + 16. Let w be m(5). Is (-6)/18 - 543/w a multiple of 10?
True
Let x = -946 - -2048. Does 17 divide x?
False
Let v = 228 - 163. Suppose 417 = 2*k + v. Is 22 a factor of k?
True
Let n = -454 + 839. Suppose -7*g - 14 + n = 0. Is 20 a factor of g?
False
Suppose 0*q = 2*i + 3*q - 43, -5*q = 5. Suppose 14 - 8 = 3*b. Suppose -i = -p - b. Is p a multiple of 7?
True
Suppose 18 = r - 0*r. Suppose 6*j - 8*j + r = 0. Is j a multiple of 5?
False
Let k = -34 - -2. Let a = k - -28. Is 7 a factor of (-302)/(-8) - (-3)/a?
False
Suppose 2*o = 4*t - 0*o - 44, -21 = -t + 3*o. Is 943/t - 8/(-36) a multiple of 15?
True
Is 8 a factor of (4/6)/(2277/756 - 3)?
True
Suppose 6*v = -7*v + 897. Suppose -v = -4*j + 651. Is j a multiple of 20?
True
Let l(t) = 34*t + 3. Let s(w) = -136*w - 13. Let x be (1 - 1) + 18/(-1). Let g(o) = x*l(o) - 4*s(o). Is g(-1) a multiple of 22?
True
Let j be (8/24)/(1/4)*-3. Is (-268)/(-2) - ((5 - 3) + j) a multiple of 24?
False
Let t(k) = -2*k - 6. Let u be t(-10). Let d(p) = p**3 + p + 14. Let w be d(0). Suppose w = 3*g + f, 0 = -5*g - 0*f + 3*f + u. Is g a multiple of 2?
True
Let l = 25 - 159. Let n = 226 + l. Is 17 a factor of n?
False
Suppose 10 = -2*u + 5*y, 0 = -5*u + 2*y + 20 - 3. Let o(q) = q**2 - 5*q + 18. Does 2 divide o(u)?
True
Is 29322/243 + (0 - 2/(-6)) a multiple of 22?
False
Let t(z) be the third derivative of -13*z**4/12 + z**3/3 + 28*z**2. Does 7 divide t(-1)?
True
Suppose -3*k = 2*g - 142, 5*g - g + 112 = 3*k. Is 3 a factor of k?
False
Suppose -4*h - 38 = -2*k + 22, 0 = -k + 4*h + 36. Suppose -y - 1 + 5 = 0. Is 11 a factor of (57/y)/(18/k)?
False
Suppose 1035 = 6*d - 1389. Is 24 a factor of d?
False
Let w be 14/((-9)/((-18)/4)). Let f(a) = -a**3 + 10*a**2 - 15*a + 8. Is f(w) a multiple of 5?
True
Let c(t) = 15*t + 115. Is 38 a factor of c(5)?
True
Suppose -3*k + 0*k + 13 = 4*v, 5*k = 4*v - 21. Let x(b) = -2*b**3 + 3*b**2 + 5*b - 1. Let u be x(4). Does 16 divide (0/(-2) + k)*u?
False
Let c(f) = -f**2 + 6*f - 12. Let v(b) = 6*b**2 - 29*b + 60. Let l(y) = 11*c(y) + 2*v(y). Let j be l(-7). Let a = -15 - j. Is 4 a factor of a?
True
Suppose -4*q + 10 = 2*v, -35 = -q - q + 5*v. Suppose q*a = 62 - 17. Let j(u) = u**3 - 10*u**2 + 10*u + 5. Does 14 divide j(a)?
True
Let y be (-33)/(-9) + (-3)/(-9). Let w(g) = -g**3 + 17*g**2 + 24*g + 26. Let v be w(18). Suppose 7*r = 2*r - 3*l + v, y*r - 102 = -5*l. Is r a multiple of 7?
True
Let b be (-3 - -2)*7*-4. Suppose -4*s + m = -308 - b, -s + 3*m + 84 = 0. Suppose 8 + s = 2*x. Is x a multiple of 13?
False
Let j = -800 + 1211. Let b = j + -219. Does 12 divide b?
True
Let x(u) = -52*u + 1. Let f be x(-1). Let n = 78 - f. Suppose -2*z + 45 = 3*d, -2*d - 2*z + 5 = -n. Is 4 a factor of d?
False
Suppose -l + 0*l + 3 = 0. Suppose 0 = -l*w + 13 - 52. Let t = -7 - w. Is 2 a factor of t?
True
Let u = 47 - 52. Let t(o) = -16*o + 14. Is t(u) a multiple of 12?
False
Let n(j) = -17*j - 47. Is n(-20) a multiple of 3?
False
Suppose -20*n + 15*n + 15 = 0. Suppose -5*c = -c + 4*l - 12, -3*c = -2*l - 9. Suppose n*x = -5*i + 5*x + 38, -5*x = -c*i + 19. Does 6 divide i?
False
Let g(b) = 3*b + 45. Does 49 divide g(28)?
False
Let m be 1 - (-3 + 1 - 0). Suppose -29 = m*g - 5. Let w = -4 - g. Is 4 a factor of w?
True
Let p(w) = -3*w**3 - w - 1. Let h be p(-1). Suppose -5*u = h*d - 3*u - 147, -d + 45 = 2*u. Does 14 divide d?
False
Let o = 1093 + -499. Does 54 divide o?
True
Suppose -21*d + 27*d = -162. Let u = d - -63. Is u a multiple of 18?
True
Let h = -85 - -90. Suppose -90 = -3*j - h*q, -3 = -4*q + 9. Does 25 divide j?
True
Does 73 divide (-2 - -2) + (552 - 7)?
False
Let l = 67 - 163. Let x = l + 402. Is x a multiple of 51?
True
Suppose 2*l = 4*m + 3 - 17, 2*l = 2*m - 8. Suppose 32 = m*u - 5*n, u + 3*n = 5*u - 28. Suppose 92 = s + 2*s - u*t, 2*s + 4*t = 68. Is 6 a factor of s?
False
Suppose 4*k = 2*i + 60, 0 = -6*i + 3*i + 2*k - 78. Does 13 divide (-155)/(-4) - 6/i?
True
Let j(a) = 23*a**2 - 2*a + 29*a**2 + 5 - 5. Is j(-1) a multiple of 18?
True
Let s(t) = -68*t - 207. Is s(-7) a multiple of 3?
False
Suppose 2*w - 5*w - 9 = 0. Let d = w - -33. Is d a multiple of 10?
True
Let c(p) = -23*p - 1443 + 1441 - 25*p. Is 19 a factor of c(-4)?
True
Suppose -59*u = -58*u - 159. Is 16 a factor of u?
False
Let u be (14 - 8)*(-2)/(-4). Suppose -5*q + 520 + 7 = -4*a, u*q - a - 319 = 0. Is q a multiple of 17?
False
Suppose d - 2*n - 282 = 0, 5*d - 5*n - 1162 - 253 = 0. Is 23 a factor of d?
False
Suppose -x - 26 = -3*k + x, -k = -2*x - 14. Suppose k*o = 343 - 55. Does 12 divide o?
True
Does 14 divide -3 - (6 + 501)*-1?
True
Let g = 7 - 17. Let l be (9/2)/(g/20). Let q = 18 + l. Is q a multiple of 2?
False
Suppose -s + 3*s + 4*s = 0. Suppose 6*q - 150 - 108 = s. Is 3 a factor of q?
False
Let m(u) = u**3 + 17*u**2 + 12*u + 52. Does 38 divide m(-11)?
True
Let o(w) = 2*w**3 - 11*w**2 - 6*w + 24. Is o(8) a multiple of 9?
False
Does 15 divide 6*(-5)/(2*3/(-21))?
True
Let q be 3/(-6*2/(-96)). Suppose 0 = i + 2*w + 12, -5*i - 3*w + 29 - 96 = 0. Let r = i + q. Does 8 divide r?
False
Let j(q) = q**2 + 3*q + 2. Let i be j(-3). Let f(b) = 2*b**2 - 2*b - 1. Let x be f(-4). Is 12 a factor of (x/2)/3*i?
False
Suppose 0 = 3*w + 4*u + 147, -3*w + u - 3*u - 147 = 0. Let c = w - -107. Does 15 divide c?
False
Let g(q) = 59 - 45 - 5*q + q**2 + q. Does 30 divide g(-8)?
False
Let c(a) = 26*a - 123. Is c(13) a multiple of 7?
False
Let i = 11 + -2. Suppose 4*l = 1 - i. Is 18 a factor of ((-3)/l)/(3/72)?
True
Suppose -2*x = -1 - 9. Suppose -74 = -x*m + 3*m. Is 3