oes 67 divide s?
True
Let i be (1*3)/((-4)/(-20)) + -3. Is 24/(-16)*(-272)/i a multiple of 34?
True
Is 19 a factor of (-8667353)/(-1635) + ((-8)/30)/2?
True
Suppose 5*l - 1270 = 325. Suppose -231 - 203 = -2*n. Let v = l - n. Does 34 divide v?
True
Suppose -9*o - 4632 + 14334 = 0. Is o a multiple of 20?
False
Suppose -2*w = -7*w - 20. Let s = w + 9. Suppose 39 + s = 2*a. Is 14 a factor of a?
False
Let b = 9 + -4. Suppose 2*c + 4*u - 47 = -3*c, 0 = -b*c + u + 32. Let k(s) = 2*s - 6. Is k(c) a multiple of 8?
True
Let z(r) be the first derivative of r**3/3 - 13*r**2/2 - 3*r - 19. Is 11 a factor of z(-9)?
False
Let j = 565 - 1314. Let t = 1079 + j. Is t a multiple of 55?
True
Suppose 2*u - 151 + 11 = 0. Suppose -4*t + 26 = u. Is 10 a factor of (t/(-2) - 0)*10?
False
Suppose -4*i + 5*j = -204, i - 3*j - 23 = 21. Suppose -i - 129 = -5*k. Does 29 divide k?
False
Let m(t) = -2*t**3 - t**2 - 3*t + 4. Let p be m(-4). Suppose 8*f - 9*f = -p. Is f a multiple of 37?
False
Let i(w) = 3*w**2 + 29*w - 6. Let g be i(-10). Let x(a) = 22*a - 29. Is x(g) a multiple of 12?
False
Let o(c) = 19*c - 8. Suppose -11 + 27 = 2*p. Is o(p) a multiple of 30?
False
Does 45 divide (-1*(-3)/(-6))/((-6)/9180)?
True
Let j = 35 - -37. Suppose -k + 146 = k + 5*v, 3*v = -k + j. Is 39 a factor of k?
True
Suppose -11*z - 744 = -3*z. Is 24 a factor of (-12)/(-1 + z/(-102))?
False
Suppose 9 = 4*o - 3*g + 1, -g - 1 = -o. Is 8 a factor of 14/((9 - 4)/o)?
False
Suppose -134*u = -124*u - 26440. Does 13 divide u?
False
Let r(t) be the first derivative of -t**3/3 + 7*t**2 + 12*t + 5. Let d be r(15). Is (d/(-1))/((-4)/(-28)) a multiple of 7?
True
Let g = -143 - -189. Is 5 a factor of g?
False
Let t(r) = -2*r - 3. Let g be t(-4). Suppose -4*i = -2*b - b - 53, g*i = b + 80. Is 8 a factor of i?
False
Let r be 10/(-2)*(-2 + 1). Let i be 2 - 4 - (-3)/(-1)*-2. Suppose r*z - 278 = f - 2*f, -i*z = 5*f - 235. Does 34 divide z?
False
Let h(s) = s**3 - 8*s**2 - 5*s - 20. Suppose w - 4 = 5*w, -2*y + 5*w + 25 = 0. Is 34 a factor of h(y)?
False
Let z(d) be the first derivative of 5*d**4/2 + 2*d**3/3 - 3*d**2/2 - 2*d - 6. Let q be z(-2). Let t = -40 - q. Does 28 divide t?
True
Is 32 a factor of (15 + -5 + -8)*(-3309)/(-6)?
False
Let p = 87 - 85. Suppose -2*m - m + 836 = -p*w, 4*m - 4*w - 1112 = 0. Is 40 a factor of m?
True
Suppose -l + 1 = -1. Let j(u) = 2*u**2 + 6*u - 4. Let n be j(-5). Suppose n + 20 = l*h. Is h a multiple of 9?
True
Let w = -818 - -888. Is w a multiple of 3?
False
Let t(i) = 115*i - 69. Is 43 a factor of t(14)?
False
Let w(l) = l + 1. Let m(t) = t**2 - t - 2. Let b(f) = 4*m(f) + 6*w(f). Let h be b(1). Let i(q) = 5*q - 4. Is 16 a factor of i(h)?
True
Suppose -4*l + 5*v = 9, -3 + 15 = -4*v. Let q(k) = -k + 6 + 7*k - 2*k + k**2. Is 12 a factor of q(l)?
False
Let t(b) = b**2 - 5*b + 4. Let l be t(6). Is (12/l - 1)*115 a multiple of 7?
False
Suppose u - 5*l + 4 = 2*u, 5*u = l + 20. Suppose 4*k + 40 = -u*t, 2*t - 4*k = -2*k - 8. Does 4 divide ((-12)/t)/(5/35)?
True
Let f(g) be the second derivative of g**5/20 - g**4 - 8*g**3/3 - 3*g**2 - 9*g. Does 17 divide f(14)?
False
Let z = 10 - 16. Let q(t) = -t**3 - 7*t**2 + 6*t. Let g be q(-8). Let n = g + z. Is 5 a factor of n?
True
Let t(x) = x**2 + 4*x + 5. Let i be (1 + 6)*(2 + -4 + 1). Does 26 divide t(i)?
True
Let h = 2492 - -453. Is 19 a factor of h?
True
Let d(w) = -2*w**3 - 5*w**2 - 4*w - 5. Let o(b) = -2*b**3 - 6*b**2 - 4*b - 5. Let c(j) = 5*d(j) - 4*o(j). Is 2 a factor of c(-2)?
False
Let t = 202 + -121. Let h = 3 + t. Does 20 divide h?
False
Suppose 30*v - 117109 + 27079 = 0. Does 50 divide v?
False
Suppose -3*q - i + 91 = 0, -3*q - 5*i = -105 + 22. Let o = q + -21. Suppose -c + 5*h + o = 0, 2*c + 3*h - 30 = -c. Is c a multiple of 10?
True
Let g = 272 - 156. Is 12 a factor of g?
False
Let i be 1/3 + 66/18. Let u be i/(-8)*122*-3. Suppose 2*c + 55 = u. Is c a multiple of 18?
False
Let i(g) = 3*g**3 - 36*g**2 + 4*g + 78. Is i(13) a multiple of 5?
False
Suppose 4*o - 20 = -0*o. Suppose 2*z = -2*l + 14, z - 4*z = -o*l - 29. Does 4 divide z?
True
Let v(q) = q**2 + 22*q - 84. Is 14 a factor of v(-28)?
True
Let o = -1150 + 2119. Is 135 a factor of o?
False
Let c = -25 - -202. Let w = 248 - c. Is 18 a factor of w?
False
Suppose -126 = -5*k + 84. Is 9 a factor of (k/49)/((-2)/(-21))?
True
Is (-6)/(-15) - 35799/(-15) a multiple of 5?
False
Let q = -36 - -38. Suppose -190 = -5*w - 4*b, -w = q*w - 3*b - 114. Suppose 2*s - 12 - w = 4*t, -5*s + 136 = t. Does 3 divide s?
True
Suppose -4900 = -4*c - 3*c. Does 28 divide c?
True
Does 9 divide 88 + 3/(18/30)?
False
Suppose 5*h = -3*a + 2*h + 3, -5*a + 4*h = 40. Suppose z + 512 = -z. Does 9 divide z/(-14) - a/(-14)?
True
Let k(h) = h**2 - 9*h - 6. Let d be k(17). Suppose -c - d = -3*c. Does 13 divide c?
True
Suppose 314 = -4*g + 1238. Suppose 0 = 3*n + 4*n - g. Suppose n - 778 = -5*h. Does 40 divide h?
False
Let m(x) = -2*x + 15. Let y be m(6). Suppose 0 = -5*p - 3*b + 116, 5*p = y*b + b + 102. Suppose 2*f + p = 3*f. Does 22 divide f?
True
Let g(r) = 2*r + 16. Let q be g(8). Suppose q = -4*o + 12*o. Suppose -4*u + 234 + 102 = -o*l, -u + 84 = 5*l. Does 21 divide u?
True
Is 25 a factor of 15*(-1)/2*(-576)/10?
False
Suppose -67*i + 58*i = -16560. Does 23 divide i?
True
Suppose 3 = -2*v + 2*f + 17, 2*f = -5*v + 7. Suppose -4*o - 2 = -2*y - 0*o, -o + 17 = v*y. Suppose 0*k + 80 = y*k. Is 8 a factor of k?
True
Suppose 2*d + 5*j = 0, 4*d = -4*j + j. Suppose 4*k + k - 930 = d. Is k a multiple of 31?
True
Suppose -2*x + c = -35, -c - c = 5*x - 65. Suppose x = 2*q + 3*q. Suppose q*d + 4*u = -2*d + 162, -5*d - u = -153. Does 16 divide d?
False
Suppose -2*x = -0*y - 2*y - 2, -2*x + 5*y + 17 = 0. Is 8 a factor of x/(-18) - (-3146)/99?
True
Suppose -3*d - d + 3*x + 468 = 0, 0 = 5*x. Suppose 0*v - 2*v = -4*w + 126, 0 = -4*w - v + d. Does 15 divide w?
True
Let d = 45 + -40. Suppose -2*n + 5*r = 4, -d*n - r + 0*r = -44. Does 7 divide n?
False
Suppose 5*c - 3 - 2 = 0, 5*c - 217 = -4*s. Let t = s + -36. Is 9 a factor of t?
False
Suppose -5*l = -w + 5*w - 22, -3*w = -5*l + 1. Suppose -4*m + 6 = 3*g - m, -g + 3*m = -l. Suppose 5 = -y - 5*s, g*y + s = 5*y - 17. Is y even?
False
Let n = 2467 - 1387. Is n a multiple of 40?
True
Let b be (-3 + 2)/(9/9). Let t(q) = -86*q**3 - 2*q**2 - q. Is 17 a factor of t(b)?
True
Let n be (-28)/5 - (-12)/(-30). Let z(s) = -27*s + 58. Does 20 divide z(n)?
True
Let h(n) = -30*n + 735. Is h(7) a multiple of 105?
True
Suppose -z = -p + 6, 2*p + 1 = -z + 4. Suppose 4*x - 8 = 0, -p*o = -7*o - x + 482. Is o a multiple of 15?
True
Let a(n) be the first derivative of -n**2/2 - 8*n - 4. Let f be a(-10). Suppose 15 = f*h - 13. Is h a multiple of 7?
True
Let h(m) = m**2 - 3*m + 5. Let g be h(4). Suppose -32 = 7*v - g*v. Does 10 divide v/2*16/8?
False
Let g be (1/2)/((-9)/(-36)). Does 10 divide (-1 + g)/((-2)/(-88))?
False
Let y = 863 + -639. Does 3 divide y?
False
Suppose -55 = -2*s + 5. Suppose -s*a + 32*a = 216. Is a a multiple of 27?
True
Suppose 0 = 4*l - 4*x - 44, -3*l - 5*x - 20 = -69. Let p(d) = d**3 - 14*d**2 + 15*d - 11. Is 4 a factor of p(l)?
False
Let u be (-4752)/(-45) - (-2)/5. Suppose 37 + u = i. Is i a multiple of 24?
False
Let x(l) = 3*l**3 + 4*l - l**2 - 2 + 80*l**3 + 30*l**3. Is 28 a factor of x(1)?
False
Let j be (4/3)/(3/1728*2). Suppose -5*a = 3*n - 491, j = 4*a + 5*n - 14. Is a a multiple of 7?
False
Let j = 123 - 121. Suppose 173 = 3*i + 3*r + j*r, 2*i + 5*r - 117 = 0. Is i a multiple of 5?
False
Is ((-1491)/15 - 7)*-5 a multiple of 11?
False
Suppose 0 = -2*r + 4*r - 18. Let m(p) = -5 + 0 + 2*p + 3 + 0. Is 5 a factor of m(r)?
False
Let u = -436 + 444. Let z(l) = -5*l + 5. Let y(q) = q. Let c(g) = -2*y(g) - z(g). Is c(u) a multiple of 19?
True
Suppose 0 = 2*u - 3 + 1, -3*w + 3*u = -99. Does 2 divide w?
True
Suppose -597 = -4*o - 129. Let b(i) = i**3 - 6*i**2 - 30*i + 1. Let j be b(9). Is j/o + (-1624)/(-18) a multiple of 24?
False
Suppose -2*t = x - 444, 0 = -2*x - 0*x - t + 897. Is 75 a factor of x?
True
Suppose 4*v = 5*v - 2. Suppose -3*i + i = -v. Let a(q) = 12*q**3 - 2*q**2 + q. Is 4 a factor of a(i)?
False
Let t(p) = -p**3 + 11 + 0*p**3 - 4*p + 3 - 2*p**2 + 3*p. Let o be t(0). Is 33 a factor of ((-581)/o)/((-1)/2)?
False
Suppose 4*y - 38 = 26. Is 4 a factor of 27/(-216) + 178/y?
Fal