of q?
True
Let o(w) = 4*w**2 + 2*w + 3. Let t be o(-1). Is 28 a factor of -2 + t + (113 - 4)?
True
Suppose 4*d = 4*a - 5*a + 463, -5*a + 2210 = -d. Does 24 divide a?
False
Let r be 2 + 22/(-8) - (-30)/8. Suppose 4*l - 288 = -l + m, -l = r*m - 48. Is l a multiple of 16?
False
Suppose -39*w = 5*b - 44*w - 2030, -2*b + 3*w = -812. Is b a multiple of 3?
False
Suppose -1 = -9*j + 71. Suppose -7*c - 37 = -j*c. Does 12 divide c?
False
Let l(g) = -2*g**2 + 9*g + 376. Is l(0) a multiple of 14?
False
Let s be 10/(2*(-4)/(-40)). Suppose -k + 50 = -5*m, -s = -2*k + 3*m + 29. Let z = k + -21. Does 14 divide z?
True
Let o = 2464 + -1133. Does 14 divide o?
False
Let o be 12 - (-3)/6*-6. Let k = -14 + o. Let m(q) = q**2 - 4*q + 7. Is m(k) a multiple of 20?
False
Suppose -5*b = 7 + 18, 8 = -2*f - 2*b. Let x be 50/30 + f/3. Suppose -q + 6*v + 10 = 2*v, -4*v + 80 = x*q. Is 15 a factor of q?
True
Suppose 0 = -5*l - 5*f + 240, -2*f + 72 = 4*l - 116. Let y = 175 - l. Is 9 a factor of y/15 + (-2)/(-5)?
True
Let c = -65 + 1400. Is c a multiple of 5?
True
Suppose 3*y - 6*y = 78. Is 2450/130 + (-4)/y a multiple of 7?
False
Let l(k) = 53*k - 3. Let i be l(-10). Let t = -254 - i. Is t a multiple of 12?
False
Let k(b) = 41*b**2 + 6*b - 6. Let y be k(1). Let n = y + 70. Is n a multiple of 8?
False
Suppose 1093 = 3*b - 4*j, 4*b + 0*j - 1464 = 2*j. Is b a multiple of 18?
False
Suppose 25 = -4*g + 1. Does 33 divide g/(-2) + 192/2?
True
Let w = -278 - -378. Is w a multiple of 13?
False
Let v = 90 - 52. Let s = v + -22. Suppose -w - 4*w = f - s, -3*w + 60 = 2*f. Is f a multiple of 12?
True
Let g = 426 - 220. Is 14 a factor of g?
False
Let f(q) = q**2 + 2*q - 3. Let s be f(2). Suppose -s*j = -7*j + 10. Suppose j*r + 120 = 10*r. Is r a multiple of 8?
True
Let y(h) = 15*h - 36. Let v be y(12). Let l = 174 - v. Does 10 divide l?
True
Let b(m) = m**3 - 23*m**2 + 25*m + 27. Let a be b(22). Suppose -u + a = 2*u. Does 4 divide u?
False
Suppose 0 = -7*q + 4*q. Let s be (q + -1)/(5/(-85)). Suppose -c = s - 27. Does 9 divide c?
False
Suppose 215 = z - 4. Suppose 4*o = -2*f + 322, -4*o - 425 = -4*f + z. Is 23 a factor of f?
True
Is 68 a factor of -51*(-9 - (-119)/(-21))?
True
Suppose -4*q + 5*u + 6341 = 0, -3*u = 2*q - 5226 + 2083. Does 105 divide q?
False
Suppose -4*q + 2*q - 2 = 0. Let x = 0 + q. Is (-26 - x)*10/(-25) a multiple of 3?
False
Let r(a) = -a - 1. Let q be r(-3). Suppose 4*j - q*f = -24, f + 2*f = -j + 8. Let z(u) = u + 12. Does 8 divide z(j)?
True
Let h(r) = 33*r - 14. Is 34 a factor of h(7)?
False
Let i = 655 - -2383. Does 41 divide i?
False
Let z be (-1)/((-2 - -1)/(0 + -3)). Does 5 divide ((-1)/z)/((-2)/(-186))?
False
Let j = 53 + 8. Let r = 386 + -211. Suppose -2*u + j = y, -r = -5*u - 0*y + 2*y. Is u a multiple of 11?
True
Let r = -26 - -21. Let k(q) = -4*q - 8. Let l be k(r). Suppose 3*i = -3, -h + 3*i + 25 = -l. Is 15 a factor of h?
False
Let s = 28 - 33. Let u = s - -13. Let v(k) = k**3 - 8*k**2 + 2*k - 1. Is 3 a factor of v(u)?
True
Let g(u) be the third derivative of -u**5/10 + u**3/2 - 4*u**2. Let l(o) be the first derivative of g(o). Does 8 divide l(-2)?
True
Suppose 14 = 3*n + 2*i, -1 = 3*n + 4*i - 17. Suppose 34 - n = 2*s. Is s*(-1 + (-28)/(-12)) a multiple of 9?
False
Let d = -27 - -2. Let o be ((-9)/15)/(5/d). Suppose -o*v = -v - 162. Is v a multiple of 23?
False
Suppose 4*j = -12, -g + 3*g = 4*j + 698. Does 19 divide g?
False
Let j be (6/15)/(1/100). Let p be (54/15)/(6/105). Let i = p - j. Is i a multiple of 8?
False
Let t(u) = u**3 - 6*u**2 + 8*u - 7. Let m be t(5). Let y(b) = 3*b**2 - 2. Let i be y(m). Suppose -4*d - 2*r = -i, -6*r - 191 = -4*d - 7*r. Does 16 divide d?
True
Let w(y) = 6*y + 4*y**2 + 20 + 3*y - 17. Does 14 divide w(-6)?
False
Suppose 3*n - 573 = -3*f - 0*n, -3*f + 4*n + 601 = 0. Let l = 343 - f. Is l a multiple of 30?
False
Suppose 10 + 14 = 6*j. Suppose 210 = k - i - 12, 0 = -2*k + j*i + 444. Is k a multiple of 28?
False
Let a(i) = i**2 - 45 - 17*i + 12 + 0*i. Is 11 a factor of a(22)?
True
Let r(b) be the first derivative of -b**2 + 3*b - 4. Let p be r(4). Let i = p + 9. Is i a multiple of 4?
True
Let n(l) = 3*l + 1. Suppose -4*s - 18 = -5*d, 7*d - 2*s - 18 = 3*d. Let i(k) = -2*k - 1. Let j(v) = d*i(v) + 5*n(v). Does 6 divide j(8)?
False
Suppose 0 = 5*a - 26 + 6. Suppose 6 = a*p - 6. Suppose 0 = -t - 5*m + p, 7*t - 3*m - 15 = 2*t. Is 3 a factor of t?
True
Suppose -10 = y - 8. Let q be (-171)/y - 15/(-30). Let i = q - 60. Is 8 a factor of i?
False
Suppose 31*j = 33*j - 30. Let n(m) = m**2 + 3*m - 1. Let k be n(3). Does 3 divide j*(-3 - k/(-5))?
True
Let k be 16/6*27/18. Suppose 2*x = -3*x - 3*d + 513, k*x + 5*d - 400 = 0. Is 35 a factor of x?
True
Suppose 5*p - 3*o - 997 = 0, 4*p - 803 = -6*o + 3*o. Is 29 a factor of p?
False
Let z(v) = 10*v**3 + 2*v**2 + 2*v - 4. Does 3 divide z(2)?
False
Let k be (0 - 1)/((-2)/10). Suppose 7 = z - 4*c, -4*c - 34 = -3*z + k*z. Is z/(-5)*(2 + 3) a multiple of 9?
True
Let h(r) = r**3 + 12*r**2 - 9*r - 4. Is 14 a factor of h(-6)?
True
Suppose -5*p - 271 = -2*z - 2505, 0 = 2*z - 6. Does 16 divide p?
True
Let i(h) = -h**2 + 7*h - 6. Suppose -2*q + 3 = -q. Let d be i(q). Suppose d = 2*z - 62. Is 17 a factor of z?
True
Suppose 0 = j + n, -n = 4*j - 8*j + 20. Suppose 5*r - j*r = 3. Suppose q - r*q = -50. Is q a multiple of 15?
False
Let i(p) be the second derivative of -3*p**3 - p**2 + 16*p. Is 9 a factor of i(-3)?
False
Suppose -2*b + 4 = -2. Let p be ((-65)/b)/((-4)/12). Is 4/6*(-2 + p) a multiple of 12?
False
Let q = -88 + 65. Let d be (-129)/2*4/(-6). Let f = q + d. Is f a multiple of 12?
False
Let o be 4/18 - 32*(-56)/36. Let m = 1 + -7. Let q = o - m. Does 28 divide q?
True
Let b be 1/(-2)*(-143 - -11). Suppose -3*v + b = 2*h, 0 = h - 2*h - 3*v + 30. Is h a multiple of 6?
True
Is 710/3 - 3/(-18)*2 a multiple of 79?
True
Suppose 3*t = 3*m + 48, m + m - 52 = -5*t. Is 6 a factor of 286/t + (-1)/(-6)?
True
Let k = 53 - 168. Is (-14)/10 + 1 - 26611/k a multiple of 11?
True
Let j = 209 + -170. Is j a multiple of 33?
False
Let g = 538 + -331. Suppose 549 + g = 7*j. Is j a multiple of 18?
True
Suppose k = 60 + 42. Let x = k + -72. Is 7 a factor of (9 + 0)*70/x?
True
Suppose 0 = -5*a - 5*a + 80. Suppose 4*d - 82 = g, 0 = a*d - 4*d + 2*g - 88. Does 7 divide d?
True
Let k = -274 - -551. Does 19 divide k?
False
Let z(y) = -y - 1. Let j be z(7). Let b(q) = -q**3 - 9*q**2 - 11*q - 8. Is b(j) even?
True
Suppose -3*i = 53 + 7. Let t(y) = y**3 + 6*y**2 - y + 7. Let d be t(-7). Let m = i - d. Is m a multiple of 7?
False
Let y(r) = -44*r**3 - 4*r**2 - 18*r - 44. Is y(-3) a multiple of 43?
False
Suppose -2*i - w = -2*w - 6, 2*i - 14 = -w. Suppose 2*q - 5*q + 139 = 5*m, m + i*q = 19. Let c = -9 + m. Is c a multiple of 10?
True
Let u be 15/12*4 - 0. Suppose -3*n + 105 = u*i, 4*i - n - 71 - 30 = 0. Is i a multiple of 7?
False
Let o(u) be the second derivative of u**5/20 + 11*u**4/12 + u**3/2 + 7*u**2/2 + 2*u. Let f be o(-11). Let g = 4 - f. Is 15 a factor of g?
True
Let h = 4 - -7. Let n = h - -24. Is n a multiple of 7?
True
Let l(q) = 2*q**3 - 7*q**2 - 4. Let t(i) = -i**3 - 6*i**2 + 7*i + 2. Let p be t(-7). Suppose -4*r - 7 = 1, j - 1 = -p*r. Does 17 divide l(j)?
False
Let h(z) = 150*z - 18. Does 13 divide h(4)?
False
Let o(g) = 9 - 21*g - 7 + 4*g + 3. Does 17 divide o(-4)?
False
Let i = -45 + 199. Is 22 a factor of i?
True
Is 8 a factor of (-1272)/(-15) - 32/40?
False
Let q be 1/3*(2 + 10). Let c(r) = 11*r + 2. Let b(k) = -12*k - 3. Let t(u) = -4*b(u) - 3*c(u). Is 16 a factor of t(q)?
False
Let s = 852 + -592. Does 5 divide s?
True
Let n be 1/((-4)/(-24))*1. Suppose w - n = 2*i, -4*i + 10 = w - 14. Let x = w + 53. Is x a multiple of 10?
False
Suppose 8*f - 6*f - 6 = 0. Suppose -f*r + 25 = 2*r. Suppose -r*l + 13 + 37 = 0. Is l a multiple of 2?
True
Let g(a) = -a**3 - 9*a**2 + 12*a + 23. Let o be g(-10). Suppose 96 = 3*i - 4*k, 3*i + k - 96 = o*k. Does 16 divide i?
True
Suppose -3*r + 1524 - 366 = -2*t, -5*r - t = -1917. Is r a multiple of 16?
True
Let q be 4 + ((-7)/((-14)/(-4)) - -2). Is 13 a factor of (-221 + -3)/(-4) - q?
True
Let b(q) = -4*q**2 - 2*q + 1. Let r be b(-2). Let k(g) = 2*g**2 + 17*g + 6. Let l be k(r). Let p = 105 - l. Is p a multiple of 22?
True
Let q(m) = 115*m**3 - 2*m**2 + m. Suppose -3*d - 13 + 16 = 0.