e u?
False
Let q(w) = 21*w - 8. Let n be q(4). Suppose 2*m - o + 3 - 47 = 0, 5*o = 4*m - n. Is 3 a factor of m?
True
Let s(v) = 5*v**2 + 2*v - 6. Let w be s(2). Let l = 2 + w. Suppose 2*b + l = 84. Is 13 a factor of b?
False
Let z = 135 - 131. Suppose -336 = -3*u - 3*f, 0 = -z*f + 6 + 2. Does 10 divide u?
True
Let j = -18 - -20. Suppose l = 2*g - 2*l - 159, -g - j*l = -62. Does 12 divide g?
True
Let v(b) = -2*b**3 - 57*b**2 + 22*b - 39. Is v(-29) a multiple of 18?
False
Let c = -537 + 726. Let a be (34/6)/((-1)/21). Let g = c + a. Is g a multiple of 35?
True
Suppose 3*b = 4*l - 28, 0 = 2*l + l + 15. Suppose -2*k + 6 = -4. Let x = k - b. Does 10 divide x?
False
Let s(g) = 2*g - 12. Suppose -10 = -q - j, -2*j - 21 = -5*q + 1. Let a be s(q). Is (-4 + (a - -2))*-25 a multiple of 10?
True
Let c(u) = 8*u - 3*u - 2*u**2 - 1 + 0 + u**2. Let f be c(3). Suppose 0 = 3*j + 3, 0 = t - f*j - 54 + 13. Is 12 a factor of t?
True
Let x(t) = -5*t + 30. Let j be x(6). Is 7 a factor of (-3 + 4 + j)*42?
True
Let o(n) = -101*n + 105. Is 26 a factor of o(-9)?
True
Let w(m) = 6*m**3 + m**2 + 4*m + 2. Let n(b) = -b**3 - 1. Let q(o) = n(o) - w(o). Does 19 divide q(-2)?
True
Let t = 250 + 50. Does 7 divide t?
False
Let h(j) = j + 23. Let n be h(-18). Suppose -3*d - d - y = -153, -n*y = -5. Is d a multiple of 38?
True
Let o(s) = 5*s - s**3 - 10*s + 12*s**2 - 10*s + 2*s + 4. Let x be o(10). Let w = x + -14. Is w a multiple of 20?
True
Let w be (17/(-5) - -3)/((-2)/350). Suppose 9*a - 101 = w. Does 3 divide a?
False
Let x(z) = -z**3 - 19*z**2 - 23*z + 17. Let w be x(-18). Let s = w + -41. Does 22 divide s?
True
Let n(f) = 4*f - 4. Let z be n(3). Let r(l) = -l - 5*l - l + 3 - 5*l + 2*l**2. Is 7 a factor of r(z)?
True
Let a be (6 - -1) + 0/3. Suppose 4*f + a + 9 = 0. Is 15 a factor of (f - 2)*(-39)/6?
False
Let x = -41 + 346. Is x a multiple of 16?
False
Suppose 25*i - 621 - 954 = 0. Is i a multiple of 4?
False
Let h(p) be the first derivative of -p**2 - 10*p - 121. Let s = -10 - -2. Is 2 a factor of h(s)?
True
Let p(y) = y**2 - 6*y + 23. Let z be p(15). Suppose -2*b = -3*x + 107, -9*b = 4*x - 4*b - z. Is x a multiple of 8?
False
Let w = 14 + -23. Let k = w - -12. Let c(m) = 8*m**2 - 2*m - 4. Does 31 divide c(k)?
True
Suppose 1441 + 6819 = 20*i. Is i a multiple of 17?
False
Let h = -40 - 28. Let d = -39 - h. Is 3 a factor of d?
False
Let c(n) be the second derivative of n**5/20 - n**4/6 + n**3/2 + n**2 + n. Let f = 40 - 36. Is 23 a factor of c(f)?
True
Let v(t) = t**3 - 5*t**2 - 4*t - 10. Let d be v(6). Suppose p - 61 = -3*m, -m - p - d = -21. Is m a multiple of 15?
False
Let n = 15 + -11. Suppose -4*r - 33 = -s, -n*s - 2*r + 41 = -19. Let u = -9 + s. Does 8 divide u?
True
Suppose 5*g - 9 = 6. Let f(z) = -z**3 + 5*z**2 - 3. Let l be f(g). Suppose -3*p = -l, 2*r + 4*p = 3*r - 32. Does 13 divide r?
True
Suppose -5*b + 15 + 5 = 0. Suppose -4*k + 78 + 120 = g, b*k + 792 = 4*g. Is g a multiple of 22?
True
Suppose 2*s = -f + 5, 5*f - s = 1 + 13. Suppose 11*b = -0*b. Suppose -234 = -b*t - f*t. Is 26 a factor of t?
True
Let o = 1044 + -649. Does 13 divide o?
False
Let h be (372/16)/(2/8). Suppose 0 = -4*v + h + 255. Suppose 3*u + 4*d = v, -3*u + 2*u - 4*d = -21. Does 12 divide u?
False
Let j = -13 - -16. Suppose -a + j = -0. Suppose -a*m + m = -44. Does 22 divide m?
True
Let c(d) = d**3 - 2*d**2 + 3*d - 4. Does 41 divide c(8)?
False
Suppose 35*l - 30*l - 2280 = 0. Is l a multiple of 12?
True
Let h be -1 + -2 + -4 + 9. Let c be (21/(-4) - h)*-8. Suppose -5*i + 42 = -c. Is i a multiple of 14?
False
Let c(n) = -n**3 + 13*n**2 - 11*n + 63. Is c(11) a multiple of 4?
True
Let q = 542 + 1236. Does 14 divide q?
True
Let n = 313 + -261. Let p be 7 + (-1 - 0 - -2). Suppose -n = 4*f - p*f. Does 4 divide f?
False
Let c be 9/12 + (-309)/(-4). Suppose s = -r + c, 3*s - 5*r = 203 + 63. Is 22 a factor of s?
False
Suppose -2 = -2*c - 4*r, 0*r - 5*r = 4*c - 7. Suppose -4*f + 6*y = c*y - 114, 0 = -2*f - 5*y + 44. Does 9 divide f?
True
Suppose 0*i = -4*i + 4. Let m be ((-28)/(-35))/(i/(-20)). Let f = m + 36. Is f a multiple of 14?
False
Suppose 3*s = -0*s - b + 2445, -12 = 4*b. Does 48 divide s?
True
Let y = 128 - 123. Suppose -3*x + 363 = y*b - 532, -b - 1501 = -5*x. Is 29 a factor of x?
False
Let a be (109 - 4 - 4) + -4. Let p = a - 67. Does 4 divide p?
False
Suppose -12 = 8*a - 5*a. Let l be -23 - (a + -1 + 2). Let h = l + 72. Does 8 divide h?
False
Let y(s) = -12*s + 5. Is y(-10) a multiple of 20?
False
Suppose -6*o = -57 + 3. Let k = 9 + o. Suppose s + k = 2*s. Does 7 divide s?
False
Suppose 2*u - 33 + 23 = 0. Is 2 + (3 - u - (-59 - 0)) a multiple of 7?
False
Suppose -67*a = -61*a - 1428. Is a a multiple of 17?
True
Suppose 6*n = n + 25. Let t(q) = -2. Let j(z) = 5*z - 15. Let d(f) = j(f) - 6*t(f). Is d(n) a multiple of 7?
False
Let r(q) = -5*q**3 + 5*q**2 + 11*q + 5. Let l(t) = t**3 - t**2 - 2*t - 1. Let d(c) = 11*l(c) + 2*r(c). Let b be d(1). Is 15 a factor of b/(2*(-1)/50)?
False
Suppose 16*t - 2819 + 115 = 0. Is t a multiple of 13?
True
Let m = 389 + -298. Does 91 divide m?
True
Suppose -9 + 3 = -2*m. Suppose -m*u = -2*u - 11. Is u even?
False
Suppose 2*b + 82 + 9 = 5*o, -3*o - 3*b + 63 = 0. Let q = o - -11. Is q a multiple of 10?
True
Let n(v) = v**3 - 2*v**2 - 3*v - 1. Let w = 42 + -38. Is 10 a factor of n(w)?
False
Let h(o) = o**2 + 12*o + 14. Let f be h(-7). Does 4 divide (-6)/f + 1032/14?
False
Let i be 0/(-1) + ((-2)/(-2) - -107). Suppose 2*r + i = 2*m + 382, 5*r - m - 697 = 0. Is 14 a factor of r?
True
Suppose -8*a + 3*q = -7*a - 606, 0 = -5*a - 4*q + 2935. Does 19 divide a?
False
Is 0/36 - (-1247 + -1) a multiple of 78?
True
Let c(b) = b**3 - 9*b**2 - 2*b + 12. Let o be c(9). Let u(d) = -8*d + 10*d + 3 - 12*d + 5 - d**2. Is u(o) a multiple of 16?
True
Let y be 563/(-3) + 7/(-21). Let q = 288 + y. Is 7 a factor of q?
False
Is 6 a factor of ((-104)/3)/((-1)/9)?
True
Suppose 0 = 3*l + 3 + 72. Does 3 divide l/(-10)*(-1 - -7)?
True
Suppose 0 = 2025*g - 2027*g + 98. Does 6 divide g?
False
Let r be 38/2 - (1 - -2). Let y = r + -14. Suppose 7 = -y*m + 19. Is m a multiple of 6?
True
Is 40 - 1/(-15)*-5*3 a multiple of 25?
False
Let a = -22 - -72. Suppose a = 4*v - 6. Is 7 a factor of v?
True
Suppose -2*x + 4*c - 2 = 0, -4*c - 7 = -4*x + x. Suppose x*a - 180 = 4*a. Is 18 a factor of a?
True
Let l be 2/(-6) - 4/(-12). Suppose z - 2 - 2 = l. Suppose -2*t = -26 + z. Does 3 divide t?
False
Suppose -3*d - 7*d = -20. Is 1 - (d + -55) - 1 a multiple of 8?
False
Is (-35)/175 + (44268/5)/3 a multiple of 13?
True
Let s = -30 - -38. Suppose -s*x = -12*x. Suppose 0 = 5*j, 3*p + 3*j + j - 27 = x. Is p even?
False
Let j be (-3)/(-18) + (-1313)/(-6). Let q = j - 146. Is 44 a factor of q?
False
Let p = 26 - -10. Does 5 divide (132/p)/((2/6)/1)?
False
Suppose 0 = -z - 5*k + 1440, 2*k - 7280 = -5*z - 3*k. Does 20 divide z?
True
Let x be 312*3/((-18)/8). Does 25 divide (-110)/(-44)*x/(-10)?
False
Suppose i - 5*k + 30 = 6*i, 2*k - 21 = -3*i. Suppose -7*y - 74 = -i*y. Is 7 a factor of y?
False
Let q be 12*((-6)/4)/(36/192). Is 3 a factor of ((-9)/(-4))/((-18)/q)?
True
Let o = 37 + -47. Is (60/8)/((-5)/o) a multiple of 5?
True
Let q = 2352 + 1510. Is q a multiple of 59?
False
Let n be (-10 - -13) + (-1 - 1). Let d be 4 + (-2)/(-4 + 2). Let q = d + n. Does 4 divide q?
False
Suppose -7*y + 30 = 5*b - 2*y, -4*b = -4*y. Let w be (-12)/4 + 15/3. Suppose -4*f + 5*f = 4*t + 42, w*f - b*t - 64 = 0. Is f a multiple of 9?
False
Let h(f) = 5 - f**3 - 27*f - 20*f**2 + 7*f - 22. Let x be h(-19). Let u = x - -28. Does 10 divide u?
True
Let s = -53 - -50. Is 80/s*234/(-24) a multiple of 13?
True
Let y(l) be the second derivative of -l**3/6 + 29*l**2/2 - 2*l. Is 6 a factor of y(17)?
True
Suppose -v = 2*f - 373, 5*f + 5*v = -368 + 1313. Is 8 a factor of f?
True
Suppose 68 = 5*a - 4*u, -15*u + 19*u + 44 = 3*a. Is a a multiple of 4?
True
Suppose 3*o + 3*l = -48, 66 + 22 = -5*o + 3*l. Let w = o - -17. Suppose 3*d - 53 + 14 = w. Is d a multiple of 4?
False
Let z(k) = k**2 + 36*k - 31. Is 11 a factor of z(-45)?
True
Let z(x) = 4 + 1 + x**2 + 0 - 9*x. Let t be 14/(0 - -2) - -3. Does 3 divide z(t)?
True
Let d = 36 + -19. Suppose 3*z = 4*z - d. Does 7 divide z?
False
Suppose -7*z + 1120 = z. Does 5 divide z?
True
Is 5 a factor of 70148/78