*2 - 3*l + 1. Let q be z(t). Does 14 divide 1*q/(2/(-134))?
False
Let a be -1*((-64)/10 - (-18)/45). Suppose -16 - 4 = 2*c. Is 3 a factor of (c/(-5))/(a/27)?
True
Is 24 a factor of 2 + -3 + (179 - -4)?
False
Let u be 3/(-3 - (-594)/197). Suppose -3*g = u + 76. Let w = g + 136. Is w a multiple of 10?
False
Suppose 113*r + 216 = 116*r. Is r a multiple of 18?
True
Let j(h) = -22*h**3 + h**2 + h + 1. Suppose 0*t = 6*t + 6. Is j(t) a multiple of 7?
False
Suppose 5*v = 2*c - 3, 3*c = 7*c - 3*v + 15. Let q = c + 7. Does 4 divide (11 - q) + -3 + -3?
True
Suppose 0 = 5*u - 4*u - 13. Suppose u + 134 = 2*k + g, -2*k = 4*g - 162. Is 19 a factor of k?
False
Let q(y) = -y**2 + 17*y + 9. Let d(z) = -4*z - 26. Let l be d(-11). Let m be q(l). Does 6 divide ((-3)/m)/(3/450)?
False
Let n be 73 - (2/(-6))/1*-3. Let c = n - 65. Does 2 divide c?
False
Suppose 2672 = -17*o + 11393. Is 7 a factor of o?
False
Let q = -634 + 1805. Does 82 divide q?
False
Let w = 407 + 127. Is w a multiple of 11?
False
Suppose -5*o = -4*w - 226, -4*o + 2*o + 5*w + 87 = 0. Is o a multiple of 17?
False
Let b(q) = -2*q + 52. Let a be b(24). Is a/(12/(-405))*-1 - 3 a multiple of 6?
True
Is 67 a factor of (112*(-10)/60)/((-1)/237)?
False
Suppose f - 5*a = 75, 7*a - 285 = -5*f + 2*a. Let w be (-4)/(-1 - (-1 - 1)). Does 14 divide w - -1*(-4 + f)?
False
Suppose 16*y + 1232 = u + 21*y, -2 = -y. Does 47 divide u?
True
Is 11 a factor of (108/(-24))/(12/(-88))?
True
Let m = 73 - -9. Suppose -5*s - m = -w + 53, 5*w - 3*s - 785 = 0. Is 20 a factor of w?
True
Let j be (14/63)/(1/9). Does 13 divide (48/15 + j)*10?
True
Let r be (1/1)/((-1)/(-14)). Suppose -k = -2*k - 3*x + r, -4*x = -3*k - 10. Does 6 divide k/(-3)*570/(-20)?
False
Suppose -1 = -2*x - 7. Let g be (-1 + 68)/(0 + 1). Does 19 divide 2 + (g - 2) + x?
False
Suppose -14*w = 2*w - 976. Is w a multiple of 18?
False
Let n(p) = -p**3 + 21*p**2 + 52*p + 9. Does 12 divide n(23)?
False
Suppose -5*b + 9 = 2*g, 3*b - 15 = 2*b + 4*g. Let k(v) = 3*v + 2. Is k(b) a multiple of 3?
False
Suppose 5*q - 83 = i, 3*q = -i - 2*q - 133. Let j = i + 196. Is j a multiple of 8?
True
Suppose -c - 4*o + 4463 = 0, -61*c + 57*c + 4*o = -17812. Does 11 divide c?
True
Let m be 5 + 1 + (-5 - -1). Let d be m/5 + 39/15. Is 25 a factor of (-447)/(-9) + d/9?
True
Let b be 17719/(-91) - 2/7. Let d = b + 273. Is d a multiple of 6?
True
Let m(x) be the third derivative of x**8/10080 - x**7/560 + 7*x**6/720 + x**5/10 + 3*x**2. Let p(u) be the third derivative of m(u). Is p(7) a multiple of 21?
True
Let i(w) = -43*w - 82. Is 64 a factor of i(-7)?
False
Let i = 1 + 2. Suppose 5*a = -2*d + 30, -a + i*d + 7 = -2*a. Does 6 divide 612/14 - a/(-28)?
False
Let c = -489 + 45. Let g = 642 + c. Does 45 divide g?
False
Let z be (-5)/20 + 121/4. Let k = z + -68. Let f = k + 90. Is f a multiple of 26?
True
Suppose 0 = 2*s - 16 + 12. Suppose -4*u + 754 = -0*o + 5*o, -s*u - 4*o = -380. Does 14 divide u?
False
Let s(i) = -200 + 396 + 14*i - 206 - i**2. Does 3 divide s(4)?
True
Let l(r) = -r**3 + 4*r**2 + 11*r + 4. Let n be l(6). Does 2 divide (-1 - (0 - 23)) + n?
True
Let y(x) = 26*x**3 - 2*x + 1. Let d be y(1). Suppose d*i + 106 = 27*i. Does 5 divide i?
False
Suppose 0*r = -3*r - 39. Let q = -13 - r. Is q + 2 - (0 + -15) a multiple of 8?
False
Let c = 17 + -11. Let k(g) = -g**2 + 7*g - 3. Let v be k(c). Is (-24)/18*v*-9 a multiple of 18?
True
Let l(j) = j**2 - 8*j + 5. Let p be ((-9)/(-4))/((-9)/24). Let i be 9 - (p/3 + 3). Is l(i) even?
False
Let q = -14 - -16. Suppose -4*v = 4, -q*v = -2*b - 7*v + 15. Let p(c) = c**2 - 5*c - 7. Does 34 divide p(b)?
False
Let b = 8 - 4. Let p be -524*(38/(-8) + b). Suppose -4*v + v = -4*l + p, -3*l - v + 285 = 0. Is 16 a factor of l?
True
Let c = 14 - -159. Is 4 a factor of c?
False
Let v(s) = -2*s**3 + 2*s**2 + 2. Let f be v(-2). Suppose 4*x = 50 + f. Does 19 divide x?
True
Let z = -31 + 44. Suppose 2*w + 2*c - 2 = 3*w, 4*w - z = c. Does 3 divide w?
False
Let b(x) be the second derivative of -3*x**5/20 + x**4/6 + 5*x**3/6 + 2*x**2 - 14*x. Is b(-3) a multiple of 22?
True
Suppose 2802 - 8962 = -10*q. Is q a multiple of 11?
True
Let f be -1*((-2 - -2) + 0). Suppose f = 52*b - 57*b + 855. Does 12 divide b?
False
Let i(f) = 5*f - 101. Is i(23) even?
True
Let h be (-2)/(-6)*1044/12. Let v = 63 + h. Does 46 divide v?
True
Let h be (-33)/(-9) + (-5)/(-15). Suppose -g + h = 1. Suppose 0*t + w = 4*t - 104, g*w = -t + 26. Is t a multiple of 16?
False
Let l = 1311 - -376. Does 19 divide l?
False
Let l(i) = 3*i - 4*i - 6*i - 3. Let r be l(-3). Suppose 3*q - 3 = -r, -3*j + 5*q + 37 = 0. Is j a multiple of 4?
True
Let n(z) = z**2 + 2*z - 5. Let y be n(-3). Let c be y/(-10) + (-146)/5. Let d = 41 + c. Is 12 a factor of d?
True
Suppose 3*y - 268 = -u - u, -4*y = -3*u + 419. Is u a multiple of 8?
False
Suppose 3*v = -4*g + 10, 3*v = 7*v - 5*g - 3. Let c be (-788)/(-12) - v/(-6). Let n = c + -10. Is n a multiple of 16?
False
Let b(h) = 10*h + 46. Does 16 divide b(5)?
True
Suppose -2*h + 4 = w, -w = -4*w - 3*h + 12. Suppose 0 = 3*q - q - 3*d + 8, 2*q - 2*d + w = 0. Is (-14 + 3)/((-1)/q) a multiple of 12?
False
Suppose -3*c + 4*c - 4*p = -34, -16 = 4*p. Let a = c - 45. Let k = a + 179. Is 12 a factor of k?
True
Let c be 1 - (6/(-2) - -3) - 4. Let u(j) = 12*j**2 + j - 5. Is u(c) a multiple of 10?
True
Suppose -4*f - 4 = 0, -4*p - 2 = f - 1. Suppose -2*b - h = -p*h - 29, -b + h = -19. Let c = b - -82. Does 36 divide c?
False
Let x(z) = z**3 + 18*z**2 - z + 8. Let y be x(-18). Let b = y - -22. Is b a multiple of 15?
False
Let g(b) be the second derivative of -b**5/20 + 11*b**4/12 - b**3/6 - 5*b**2/2 - 27*b. Is 17 a factor of g(10)?
True
Let k(y) = -17*y. Let i(t) = 86*t. Let d(n) = -2*i(n) - 11*k(n). Let l be d(1). Let b = l - -7. Is b a multiple of 6?
False
Let b(z) be the first derivative of 3*z**2/2 - 8*z - 9. Let u be b(4). Let h(w) = w**3 - w**2 - 3*w + 6. Is 14 a factor of h(u)?
True
Let k(x) = -7*x**2 + 1. Let u be k(3). Suppose 5*c = -2*l - 556, -3*c + 4*l - 324 = 2*l. Let z = u - c. Is z a multiple of 12?
True
Let v(h) = 433*h**2 + 2*h. Does 9 divide v(-1)?
False
Suppose -16*d + 36 = -12*d. Suppose -51 - d = -5*k. Is 6 a factor of k?
True
Suppose 0 = -37*b + 19*b + 23688. Is 7 a factor of b?
True
Suppose 2*g = p + 20, -3*p + 2*p = 4*g - 40. Suppose -5*w + g = -0*w. Suppose y + w*y = 162. Does 22 divide y?
False
Does 34 divide 5/6 + 479388/504?
True
Let x = 4 + -10. Let w = x - -16. Is (5/w)/(1/96) a multiple of 24?
True
Let f = 58 - 32. Suppose -29*z + f*z = -117. Is z a multiple of 39?
True
Suppose 5 = l + 23. Let h = l - -10. Is ((-5)/(-4))/(h/(-64)) a multiple of 7?
False
Let j(l) = 5 - 74*l + 2 + 76*l. Is j(13) a multiple of 8?
False
Suppose s - 16 + 13 = 0. Suppose 218 - 27 = s*x - 2*h, x = h + 63. Is 13 a factor of x?
True
Suppose -3*m - l = -1004, -1416 = -5*m - l + 254. Does 51 divide m?
False
Suppose -u - v = -2*v - 340, 3*v = 5*u - 1710. Is 23 a factor of u?
True
Let p = -11 - -15. Suppose p*z = -2*y + 2*z + 70, -2*y + 5*z + 70 = 0. Suppose -3*f + 30 = 5*g, 3*f + 2 = -4*g + y. Is 10 a factor of f?
False
Let m(s) = 2*s - 8. Let o be m(4). Suppose 4*t + 0*t - 980 = o. Suppose -178 = -3*b + y - 3*y, t = 4*b - 5*y. Is b a multiple of 15?
True
Suppose -2*q + 2*n = -442, 0 = 2*n + 2*n + 8. Is q a multiple of 29?
False
Let c = -2680 - -5139. Is 12 a factor of c?
False
Let x(m) = m**2 - 15*m - 69. Does 41 divide x(27)?
False
Let u(b) = -24*b**2 + 17*b + 14. Let f(p) = -8*p**2 + 6*p + 5. Let l(z) = -17*f(z) + 6*u(z). Let k be l(-1). Is 66/k*(-45)/6 a multiple of 14?
False
Suppose x - 4*b + 28 = 0, -2*x = -2*b + 6 + 26. Let l be 148/x - 2/(-6). Let q = l + 14. Is 2 a factor of q?
True
Suppose 0 = -5*n - 2*j + 452 + 1312, n + 3*j = 358. Is n a multiple of 32?
True
Suppose -10*u + 9*u = -4. Suppose -5*z + z + u = 3*d, 5*d = 5*z - 40. Suppose -214 = -7*f + z*f + 5*r, -2*r + 179 = 3*f. Does 10 divide f?
False
Suppose -2*h + 2 + 6 = 0. Suppose v - 8 = 2*v + h*a, 2*v + 3*a - 9 = 0. Is 4 a factor of v?
True
Let l(k) = 98*k - 64. Is 23 a factor of l(10)?
False
Suppose 4*z = -2*h + 360, -2*z + 4*h = -0*h - 170. Let f be (-6)/(-4)*1*(-122)/3. Let k = z + f. Does 4 divide k?
True
Let f(l) = 11*l - 4. Suppose -3*y = 7 + 8, -y - 21 = 2*m. Let u = m + 13. Is 13 a factor of f(u)?
Fals