u - 2966. Suppose -21*y - 467 = -u. Is y a multiple of 17?
True
Suppose -4*v = -n - 24, 3*n = -v + 2*v - 61. Let w = -21 - n. Is 22 a factor of 22*(w + 2)/1?
True
Suppose -5*r - 103 = -t + 102, 4*t + 3*r = 935. Suppose 8*u - t - 234 = 0. Does 14 divide u?
False
Suppose 5*d = t + 20, 3*t = -3*d + 6*d - 12. Suppose t = 2*h - p + 10, -4*h - 16 - 14 = 3*p. Does 3 divide (-4)/h - 7/(-3)?
True
Suppose n - 4*n = 27. Let f = -4 - n. Let r = f + 29. Is r a multiple of 17?
True
Let a(o) = -2*o**2 + 22*o - 14. Let c be a(10). Suppose 6*i = 3*i - c. Does 4 divide (i - -28 - -1) + -4?
False
Is 48 a factor of 3 - -114*((-100)/(-8) - -6)?
True
Suppose -r + 72 + 130 = 4*j, 0 = 2*r + 5*j - 407. Suppose 3*i = -5*t + 143, -5*i + 4*t + 94 = -r. Is 8 a factor of i?
True
Suppose 56 + 16 = -4*f. Is (-469)/(-5) + f/10 + 2 a multiple of 12?
False
Let f(u) = u**2 + 5*u - 4. Let b be f(-5). Let j = 22 - 11. Let h = j + b. Does 5 divide h?
False
Let y(a) = -a**3 - 6*a**2 + 4*a + 14. Let r(v) = -5*v + 22. Let p be r(6). Is y(p) a multiple of 23?
False
Let f = -168 + 352. Is f a multiple of 44?
False
Is -5 + (-1)/((-5)/4490) a multiple of 55?
False
Suppose -3018 = -2*p - 4*p. Does 54 divide p?
False
Suppose y = -5*h + 644, -2*h = h - 4*y - 368. Suppose -4*v + 52 = -h. Does 7 divide v?
False
Let v(k) = -k**3 - 44*k**2 - 4*k - 116. Is v(-44) a multiple of 16?
False
Suppose 40*u + 46 = 5*j + 37*u, u = -4*j + 30. Let d = -38 + 62. Is j/d - (-167)/3 a multiple of 14?
True
Let z = 28 + -24. Does 19 divide z - (3 - -2) - -39?
True
Let z(c) = c**3 + 5*c**2 - 3*c - 4. Let w be (2 + -32)*(-2)/3. Suppose 0*n - w = 5*n. Is z(n) a multiple of 16?
False
Let q(w) = 3*w + 19. Let p be q(-6). Let m = 5 + p. Does 3 divide m?
True
Is 4 a factor of ((-16)/(-48))/(2/2658) - 5?
False
Let p be ((-3)/7 + 1)/((-4)/(-14)). Suppose 2*v - 398 = 5*f, -f + p*f = v - 196. Does 21 divide v?
False
Let n be 16/(-24)*(-7 - 2). Suppose 2*i + n = 18. Suppose 36 = 6*d - i. Is d even?
False
Let a = -2160 + 4589. Is 8 a factor of a?
False
Suppose -q = 5*h - 161, -4*h = -0*h + 5*q - 112. Suppose 3*c - h = 3*v, 0 = 2*c - 5*v - 16 - 15. Is c a multiple of 8?
True
Let a(d) = -3*d + 31. Let s be a(9). Suppose -3*k = s*t - 69, 0*k = 3*t + 5*k - 38. Does 3 divide t?
True
Suppose 18*a + 396 = 2826. Is a a multiple of 53?
False
Let s = 134 - 64. Is s a multiple of 10?
True
Let f(o) = -o**3 - 11*o**2 - o + 19. Let y be f(-8). Let t = y + 398. Does 35 divide t?
False
Let t be 4/20 + (-33)/15. Let f be 41 - ((-3)/3 - t). Suppose 7*x - f = 2*x. Is 3 a factor of x?
False
Let w(r) = -r**3 - 1. Let i be w(-1). Suppose 12*f - 7*f - 150 = i. Does 6 divide f?
True
Let i = 52 + -50. Suppose 5*d + 0*t - 536 = t, -d + i*t = -109. Is d a multiple of 14?
False
Suppose -2*q + 2*b - 23562 = 3*q, -4 = -4*b. Let o be q/(-32) - (-3)/4. Suppose 0 = 4*f - k - 332, -f + 5*k + o = f. Is 28 a factor of f?
True
Suppose 3*o - 518 = 4*c, 3*c + 9 = 21. Let v = o - -4. Does 17 divide v?
False
Let q(l) = l + 1. Let b(u) = 4*u - 10. Let d(a) = -b(a) - 4*q(a). Let z(n) = 17*n - 13. Let m(x) = 5*d(x) + 3*z(x). Does 18 divide m(7)?
False
Let f = -529 + 1233. Does 44 divide f?
True
Let u = 197 - 41. Does 8 divide u?
False
Suppose 4*i - 2*k - 2 = 0, -2 + 3 = -3*i + 2*k. Suppose -8 - 7 = -i*u. Suppose -u*m + 2*m + 27 = 0. Does 3 divide m?
True
Suppose 2*m + k = 215, 2*m - k = -4*k + 225. Does 5 divide m?
True
Let l(p) = -p**3 - 12*p**2 + 3*p + 15. Let h(j) = j**3 - 13*j**2 + 10*j + 14. Let b be h(12). Let s be l(b). Does 22 divide (16/10 - 2)*s?
False
Let o(p) = p**3 - 11*p**2 - 15*p + 117. Is 24 a factor of o(15)?
True
Let k(y) = y + 14. Is k(12) a multiple of 4?
False
Suppose 3*r + 45 = j, 0*j + j + 5*r - 85 = 0. Let p(s) = -s**2 + 21. Let t be p(0). Suppose -3*h + t + j = 0. Is 9 a factor of h?
True
Let f(g) = g + 3. Let z be f(-3). Let c = z - -11. Suppose -7 = -2*x + c. Is x a multiple of 3?
True
Suppose 5*k - 439 = -69. Let s = -26 + k. Is s a multiple of 6?
True
Is 14 a factor of 284*1/(-3 - 98/(-30))?
False
Let c = 651 + -646. Let v = 11 + -8. Suppose -v*w - 160 = -3*t + w, -4*t + 214 = -c*w. Is t a multiple of 14?
True
Suppose 2*z = -y + 12, 2*y + z = 3*y - 3. Suppose -y = 3*f - 162. Is 26 a factor of (f/5)/((-10)/(-75))?
True
Let t(m) = 35*m**2 - 5*m - 10. Let w be t(-4). Suppose 0*k + 6*k - w = 0. Does 19 divide k?
True
Let x be 0/(2 - (10 + -4)). Let k(p) = 2*p + 69. Is 23 a factor of k(x)?
True
Let k(h) = -2*h - 16. Let j be k(-7). Let n be 4886/49 + j/(-7). Suppose -5*i + 290 = -n. Is i a multiple of 26?
True
Let c = -277 + 537. Is 20 a factor of c?
True
Suppose s - 1889 = -4*g, -2*g - 1879 = -6*g + s. Is 33 a factor of g?
False
Let h = 12 + -9. Suppose 0 = h*n + 87 + 57. Let d = -32 - n. Is 8 a factor of d?
True
Let b = -28 - -25. Is (3 + 10/b)*-33 a multiple of 3?
False
Let c be (7 + -4 - 4)*2. Let a = 5 + c. Is 2 a factor of a?
False
Suppose -66 + 126 = o. Does 20 divide o?
True
Let w(k) = -11*k - 2 + 2 + 25*k. Let t be w(8). Let i = t + -74. Is i a multiple of 12?
False
Suppose 3*n = -n + 64. Is (n/5)/(3/15) a multiple of 8?
True
Suppose 0 = -12*o - 2674 + 14302. Is o a multiple of 51?
True
Let m(h) = 2*h**2 + 5*h - 4. Let u(a) = -a**2 + 5*a - 4. Let c be u(3). Suppose -4*z + 0*z = -4*o + 28, 0 = c*o + 2*z + 2. Is m(o) a multiple of 14?
False
Let z be (1080/(-32))/((-6)/112). Suppose 0 = 11*v - 6*v - z. Is v a multiple of 14?
True
Let f(g) = 11*g**3 - 5*g**2 - 9*g - 10. Does 17 divide f(4)?
True
Let h(d) = -d**2 + 5*d + 6. Let r be h(7). Let l be (-10)/((-3)/(84/r)). Is 130/14 + 10/l even?
False
Let q(i) = 5*i**2 + 1 + 4 + 4 + 4*i - 6*i**2. Let d be q(-3). Does 17 divide ((-136)/5)/(d/30)?
True
Let r(y) be the first derivative of y**4/4 - 8*y**3/3 - 13*y**2/2 - 10*y + 16. Is 6 a factor of r(10)?
True
Suppose -3*b + 92 = -4*f, -31 = -4*b + 5*f + 90. Does 4 divide b?
True
Let t(c) = -2*c + 13. Let g be t(6). Is (-319)/2*(-2)/g - -2 a multiple of 19?
False
Let d(s) = -s + 1. Suppose -5*n + 4 = -n. Let c be d(n). Suppose w - 34 - 35 = c. Is 23 a factor of w?
True
Suppose 5*w = -3*a - 427, 4*a + 0*w + 578 = 2*w. Let l = 215 + a. Does 4 divide l?
False
Let d(r) = 68*r - 12. Is d(19) a multiple of 80?
True
Let h be 65/(-2)*12/(-15). Let s be (-10)/(-65) + 438/h. Suppose 86 - s = 4*f + q, -4 = f - 4*q. Is f a multiple of 16?
True
Let t = 6186 - 3652. Is 67 a factor of t?
False
Let o(l) = -7*l + 7. Let r be o(-12). Suppose -r + 11 = -j. Is 14 a factor of j?
False
Suppose 0 = 4*b - 4*z - 60, -b - 3*z = -11 - 4. Suppose -1270 = -b*u + 290. Is 26 a factor of u?
True
Let j be -20 - 33 - 2*(-2)/(-4). Let m = 6 - j. Does 20 divide m?
True
Let d(o) = 413*o**2 - 26*o + 19. Let q be d(4). Suppose 3*a - 2*b = 3*b - 264, 440 = -5*a + 3*b. Does 21 divide (-1)/8 - q/a?
False
Let r(k) = -k**2 + 35*k - 13. Let m be r(-27). Does 30 divide ((-10)/(-16))/5 - m/8?
False
Let s(t) = -4*t - 4*t**2 + 2*t + 1 + 15*t**2 + 4*t. Let p be s(-1). Suppose 22 + p = m. Does 10 divide m?
False
Let q(o) = 4*o**3 - 3*o**3 - 4*o + 0*o + 3*o - o**2. Let y be q(2). Suppose m - 3*t - 5 = 0, -5*t = m + y*m - 71. Does 17 divide m?
True
Suppose -2*i = 2 - 430. Does 49 divide i?
False
Suppose -18*y = -1496 - 3490. Is 14 a factor of y?
False
Let m(w) = -2*w**2 - 82*w + 132. Is m(-42) a multiple of 8?
True
Does 66 divide ((-3)/(-4))/(2/704)?
True
Suppose m = -3*m + 3*j + 57, 4*m + 2*j - 42 = 0. Let o be m/48 + (-18)/8. Is 11 a factor of (-23)/3*6/o?
False
Let n be 454 - (-2)/(6/(-3)). Suppose -3*c - n = -3*v - 0*c, -v + 169 = 5*c. Does 31 divide v?
False
Let y = 20 - -9. Let o = y + -20. Is 2 a factor of o?
False
Let b be ((-40)/60)/(1/(-6)). Suppose t = b*y + 224, 0*y = -4*t + 2*y + 826. Is 32 a factor of t?
False
Suppose -2 = 3*r + 166. Let c be (-5 + 2)/(4/r). Suppose -3*g + v = -v - c, 3*g - v - 42 = 0. Is g a multiple of 5?
False
Let v(t) = 8*t + 12. Let f be v(7). Suppose -76 - f = -3*x. Does 16 divide x?
True
Let q = -528 - -979. Does 11 divide q?
True
Let r(t) = 2*t**2 - 8*t - 1. Let q be r(-6). Let i(w) = 1343*w - 119. Let a(d) = -56*d + 5. Let h(n) = q*a(n) + 5*i(n). Is 17 a factor of h(1)?
True
Suppose -9*a = -18*a. Suppose 4*p - 161 - 199 = a. Does 15 divide p?
True
Let r be 4*(-4 + (-28)/(-8)). Is 2 a factor of (-54)/(-8) - r/8?
False
Is -2 + (-7)/(-4) - 4374/(-24) a multiple