e
Suppose 61 = j + 4*t, -3*j - 7*t + 3*t + 223 = 0. Let w be (-12)/2*2/(-3). Suppose -w*f + j = -f. Is 6 a factor of f?
False
Suppose -2*z - 191 = -6*z + h, z + 5*h = 32. Is z a multiple of 16?
False
Let r = 17 + -15. Suppose r*a - 21 = -2*w - 3*w, 5*w = -4*a + 47. Is 5 a factor of a?
False
Suppose 149 = -4*t + 1813. Suppose -5*k - 4*c = -t, 2*k - 6*c + 2*c - 172 = 0. Does 10 divide k?
False
Suppose 4*s - 2*h - 504 = 0, 0*s = -s - 5*h + 126. Does 18 divide s?
True
Let d(k) = -317*k + 25. Is d(-1) a multiple of 3?
True
Suppose 2*q - 5*c + 2*c - 81 = 0, -4*c = -2*q + 80. Let m = 3 + q. Does 11 divide m?
False
Let x(w) = 22*w - 233. Is x(15) a multiple of 4?
False
Suppose -4 = -4*r - g, 3*r = 7*r - g - 12. Suppose 3*d - r*d - 2*u - 35 = 0, 3*u + 30 = d. Is 9 a factor of d?
True
Let m(d) = -47*d**2 - 7*d - 6. Let h be m(-1). Is 42 a factor of ((-1304)/10)/(-5 + h/(-10))?
False
Suppose -5*u + 2358 = -182. Is u a multiple of 10?
False
Let q = -72 - -244. Let b = q + -74. Is 16 a factor of b?
False
Let b(r) = 24*r - 18. Let s(t) = -t + 1. Let x(k) = b(k) + 15*s(k). Let d be ((-1)/1 - -2) + 5. Is x(d) a multiple of 17?
True
Suppose 0*x + 2*x + 114 = 0. Let t = 106 + x. Is 9 a factor of t?
False
Let c be ((-10)/(-4))/5*2. Is 11 a factor of 76 + (1 - c - -1)?
True
Suppose -4 = 2*u, q + 2*u - 2 = u. Suppose 5*d + 3*v - 59 = v, 53 = 5*d + q*v. Is 12 a factor of d?
False
Suppose 5*f + 7 = 82. Suppose 244 = -5*v + 3*y, -13*v = -8*v + 2*y + 254. Is 3 a factor of (-18)/5*v/f?
True
Let r(c) = -c + 58. Let h = -164 + 147. Does 25 divide r(h)?
True
Let c = -19 + 20. Suppose t + c = 4. Is (-9 + t - -1)*-9 a multiple of 15?
True
Suppose 5*a - 55 = -2*f + 3, a - f - 13 = 0. Let t(w) = 11*w - 4. Let l be t(a). Suppose -5*k = -102 - l. Is 21 a factor of k?
False
Suppose 0 = -3*o + 4*x - 22, -x - 28 = 5*o + x. Let q = o - -5. Let j(p) = 5*p**2. Is 2 a factor of j(q)?
False
Let m = 64 - 34. Suppose 21 + m = 3*p. Suppose -k + p = -6. Does 23 divide k?
True
Suppose -2*k - 2*k = -3*s, -3*k = 4*s. Suppose 3*q + 2*y - 268 = k, q + 0*y = y + 96. Let r = -60 + q. Does 10 divide r?
False
Let t be ((-33)/(-5) - 1)/((-8)/(-160)). Suppose t = -4*k + 5*k + d, -5*k - 2*d + 554 = 0. Does 17 divide k?
False
Let s = -105 + 570. Suppose -3*x = -5*w - 956, -4*x + 5*w + 803 + s = 0. Is 34 a factor of x?
False
Let t = -1 + 5. Suppose -t*b = -43 - 21. Does 3 divide b?
False
Is (7 + 126/9)*396/21 a multiple of 4?
True
Is 1064 + -1 - 3/(-2 + 1) a multiple of 25?
False
Suppose 10 = -5*j + 10*j. Does 45 divide 2704/12 - j/(-18)*-3?
True
Let b be 66/(-18)*3*-1. Let x(s) = s - 9. Let j be x(b). Does 6 divide j/(7/((-105)/(-2)))?
False
Let i(v) = 2*v**2 - 14*v. Let j be i(12). Suppose 2*g - 10 - 42 = 5*d, 3*g + 3*d - j = 0. Is 4 + (-2 - 5) + g a multiple of 14?
False
Let v = 14 - -14. Suppose -r + 2 = 4*k, -2*k + 0*k + v = 5*r. Is r a multiple of 4?
False
Is 8968/57*33/4 a multiple of 22?
True
Let l(c) = -c**2 - 11*c. Let w be l(-6). Suppose 6*m - 3*m - w = 0. Suppose r + 0*r + v = m, 4*r = -3*v + 39. Does 3 divide r?
True
Let r(c) be the third derivative of 0 - c**3 + 0*c + 1/12*c**4 - 6*c**2. Is r(4) a multiple of 2?
True
Suppose -3*j = o - 329, 2*j - 59 = -55. Is 19 a factor of o?
True
Suppose 0 = -5*l - 25, y + 4*l + 165 = -4*y. Let u be 44 + 2 + (12 - 10). Let s = y + u. Does 11 divide s?
False
Let x be (5 + -36*(-8)/(-60))*365. Suppose s - 2*o - 14 = -0, -s - 5*o - 21 = 0. Suppose -3*g + 4*y + 116 = 0, s*g - 119 - x = -4*y. Is 5 a factor of g?
False
Suppose 5*v = d + 10 + 2, -5*d = -v - 12. Suppose -g + 15 = 4*g. Suppose -g*t + 6 = -d. Is t a multiple of 3?
True
Let z = -63 - -53. Is 34 a factor of 2/z + -1*2942/(-10)?
False
Is 51 a factor of 10/(25/5) - -457?
True
Suppose -22*u - 5*u = -4968. Suppose -o = 0, -o = -5*l - 2*o + 1515. Let m = l - u. Is m a multiple of 35?
False
Let m = 3194 + -1914. Suppose 4*p - 5*a = 979 + 16, -a + m = 5*p. Does 15 divide p?
True
Let m(p) = -p**2 - 12*p. Let x be m(-12). Suppose x = 3*r - 4 - 2. Suppose -5*w - r*b + b + 235 = 0, 2*b = 0. Is w a multiple of 14?
False
Let o(b) be the second derivative of b**4/12 - 4*b**3/3 - 5*b**2/2 - 19*b - 1. Is o(10) a multiple of 3?
True
Suppose -2*c = 0, -5*c + 12 + 132 = 3*f. Is f a multiple of 26?
False
Let w = -211 - -276. Is 5 a factor of w?
True
Suppose -i - 25 = -4*z - 6, -4*z - i + 21 = 0. Suppose l - 102 = -2*y, -5*l + z*y + 562 = 2*y. Does 11 divide l?
True
Suppose 3*x - 576 = -405. Is x a multiple of 7?
False
Suppose 2*u + 5*k - 6 - 119 = 0, 0 = -3*u + 5*k + 175. Is 12 a factor of u?
True
Let d = -59 + 52. Let z(b) = b**3 + 9*b**2 + 3*b + 7. Is 14 a factor of z(d)?
True
Suppose -6*u + 3*u + 2*i = -1123, -3*i + 1859 = 5*u. Is u a multiple of 28?
False
Suppose -1 + 6 = -5*t, -2235 = -4*i - 5*t. Is i a multiple of 14?
True
Let x be (-5 - -3)/((-2)/8). Let c = x - -24. Is (-48)/c*(-22)/3 a multiple of 3?
False
Let l(v) = -32*v - 141. Is l(-15) a multiple of 3?
True
Let c(x) = -10*x + 156. Let a be c(0). Suppose 2*m + 2*o + 206 = 0, 0*m + 210 = -2*m - o. Let b = m + a. Is b a multiple of 22?
False
Let u = 113 - -200. Is u a multiple of 59?
False
Suppose -4*r + 5*u = 43, -6*u - 6 = 3*r - u. Let s(i) = -i**2 - 7*i - 8. Let l be s(r). Let b(x) = -3*x - 8. Is b(l) a multiple of 16?
True
Suppose 4*k - 2*k + 18 = 0. Let d(r) = r**3 + 10*r**2 + 8*r - 7. Let x be d(k). Suppose 4*p - 122 = f + 187, -4*p = x*f - 318. Is p a multiple of 16?
False
Is 28 a factor of (-52)/(-8 + 696/88)?
False
Let a(w) = 6*w - 7. Let i(r) = -19*r + 22. Let v(m) = 7*a(m) + 2*i(m). Let d be v(3). Suppose 5*t = -d*y + 2*y + 155, -3*t + 66 = 2*y. Is y a multiple of 9?
True
Let b be (0 - 1 - 1)/(17/34). Let l(s) = 3*s**2 - 8*s - 4. Is l(b) a multiple of 16?
False
Let b(z) = 169*z + 175. Does 85 divide b(5)?
True
Let x = -16 - 2. Let u = 194 + x. Is u a multiple of 44?
True
Let g(j) = j**3 - 5*j**2 - 8*j + 5. Let f be g(6). Let l(t) = t + 21. Is 14 a factor of l(f)?
True
Let s be 33/(1 + 0)*11/(-1). Let m = 601 + s. Is 14 a factor of m?
True
Let r = 7 - 5. Suppose 2*y + r*y - 104 = 0. Is y a multiple of 5?
False
Suppose 38*s - 29*s = 225. Suppose 2*n = b + 45, -4*b - 5 + s = 0. Is n even?
False
Let y = 32 - 48. Is 16 a factor of y/(1/3*2/(-6))?
True
Suppose 3*q + 3 = 3*n, -2*q = -n - 3 - 0. Suppose -3*m + 2*x + 330 = 2*m, -n*x + 297 = 4*m. Does 17 divide m?
True
Let u be (-5)/4 + (-27)/36. Let c be (u/(-8))/(2/104). Suppose -v - c = -2*v. Is 4 a factor of v?
False
Let o(b) = -b**3 + 11*b**2 + 4*b - 6. Suppose 0 = 9*y - 10*y + 11. Is o(y) a multiple of 19?
True
Suppose 3*h - 3*k = -9, 0*k - 4*k = h + 23. Let t = 12 + h. Suppose -2*q - 14 = -5*l - 98, -3*l + 210 = t*q. Is 11 a factor of q?
False
Suppose 1 = -2*l + 9, 4*p + 4*l = 28. Suppose -p*i + q = -109, -4*i - 2*q = 3*q - 120. Let z = 103 - i. Is z a multiple of 13?
False
Suppose 939 = 4*k + 5*g - 8241, -5*k - g = -11475. Is 15 a factor of k?
True
Let c(j) = -2*j**3 - 14*j**2 - 27. Does 62 divide c(-12)?
False
Let x be 155*1*6/10. Suppose 0 = 4*i - 203 - x. Let c = i - 38. Is c a multiple of 9?
True
Let q = -57 + 12. Is 19 a factor of q/(-15)*190/6?
True
Suppose 8 = x - 3*f + 2, 2*f = 4*x - 24. Let q be x/33 - 4/22. Suppose q*r = 4*r - 212. Is 14 a factor of r?
False
Let q be (-7)/(-7) - 20*-1. Let w = q + -23. Does 21 divide (w/(-6))/(7/2058)?
False
Let z(h) = -374*h**2 + 2 - 9*h**2 - 4*h - 90*h**2. Let b be z(1). Is b/(-7 + 2) - 2 a multiple of 31?
True
Suppose -86 = 2*i + 2. Let m = i + 63. Suppose m = -4*o + 91. Is o a multiple of 6?
True
Let d = 70 + 47. Does 30 divide d?
False
Let n be 80/(-36) - (-4)/18. Let p(x) = -3*x - 1. Let a be p(n). Let v(c) = 9*c - 11. Is 9 a factor of v(a)?
False
Let u be 1/(-2 + 1) - (-92 + -2). Let c = u + -22. Does 15 divide c?
False
Let s = 4 - 4. Suppose -3*p = -3*k + p + 64, p + 1 = s. Is 278/10 - 16/k a multiple of 9?
True
Let i = -733 + 1321. Is i a multiple of 11?
False
Suppose p = -2*p. Let h(f) be the second derivative of f**3/3 + 21*f**2/2 - 184*f. Is h(p) a multiple of 7?
True
Let q = 18 + -2. Let f = q + -7. Does 3 divide f?
True
Suppose 2*o - 24 = -3*i, i - 3*o - 21 = -2. Suppose 12*l - 300 = i*l. Is l a multiple of 40?
False
Let s(l) = l + 19. Suppose -h = 7*h - 32. Is 15 a factor of s(h)?
False
Suppose -210 = -5*i - n, 232 = 3*i + 4*n + 89. Let 