 z(j)?
True
Does 13 divide (9/18)/((-6)/(-156))?
True
Does 22 divide ((-16)/(-20))/((-4)/(-10)) + 247?
False
Is 41 a factor of (2333/5 - 0) + 414/1035?
False
Let y be (-4)/(-6) + (-10)/15. Suppose -3*m + 11 = -y*s - s, 2*s = 3*m - 7. Suppose 0 = -s*z + 109 - 37. Is 9 a factor of z?
True
Let d = -460 - -862. Does 67 divide d?
True
Does 70 divide 1/(-7)*-2 - 2073/(-21)?
False
Suppose 4*l - 928 = -4*i, 5*l - i = 484 + 706. Is l a multiple of 36?
False
Let k(g) = -g**3 - 12*g**2 + 14*g + 27. Let v be k(-13). Is v/63 + 259/9 a multiple of 10?
False
Suppose 41*s - 35*s = 216. Is s a multiple of 9?
True
Let d(s) = s - 1. Let c be d(-4). Let o(j) = -34*j + 19. Is 21 a factor of o(c)?
True
Suppose -7*w = -13*w. Suppose 0*s + 3*s - 165 = w. Is 5 a factor of s?
True
Suppose -1 = 2*y - 11. Suppose 0*i - 29 = -i + y*j, -5 = -5*i - 3*j. Suppose 3*m + 90 = 5*d, -i*m - 4 = d + 1. Is 4 a factor of d?
False
Let y(z) be the second derivative of -z**5/20 + z**4/3 + 5*z**3/6 + z**2 + 4*z. Let k be y(5). Suppose -k*g + 6 + 12 = 0. Is 3 a factor of g?
True
Suppose 2*g = -6, 3*p - 57 = 3*g - 18. Suppose p + 55 = t - 5*r, 4*t = -r + 239. Does 8 divide t?
False
Let a = -80 - -164. Let w = a - 35. Is 7 a factor of w?
True
Suppose 0 = 7*x - 2763 + 75. Is x a multiple of 6?
True
Is -64 + 84 + (-2 - (-1 - -1)) a multiple of 13?
False
Let o(p) = 22 - p + 16 + 4 - p**2. Is 7 a factor of o(0)?
True
Let v be (-2)/6 - 21/(-9). Suppose -d + 5*b = 24, 4*b = d - 4*d - 15. Is 7 a factor of v/d*-6*21?
True
Let k = 17 - 4. Suppose 2*o - k = -2*b + b, 0 = -o + b - 1. Suppose -5*q + 110 = 3*u + 2*u, 128 = 5*u - o*q. Is 12 a factor of u?
True
Let o be ((-34)/(-3))/(-2)*12. Let t = o - -92. Does 4 divide t?
True
Let g be -3 - (-4 + -3 + 28 + 3). Suppose -w + 4 = 0, 2*r + w - 86 = -w. Let i = r + g. Is 12 a factor of i?
True
Let r(n) = n**2 + 5*n - 14. Let o be r(2). Let p(m) = m**2 - m + 150. Is 34 a factor of p(o)?
False
Let v = 293 - 414. Let l = 138 + v. Is l a multiple of 2?
False
Suppose 2*b - b + 1 = 0. Let l be b*(-7 + 3) + 2. Suppose 2*v + 5*s - 48 = 0, -2*v + 8 = s - l*s. Is v a multiple of 14?
True
Is 55 a factor of 5/(-9*5/(-20295))?
True
Let c(u) = -2*u - 6 + 1 + 2. Let f be c(-3). Suppose 4*a - g - 46 = -3*g, 0 = 5*a - f*g - 30. Does 3 divide a?
True
Let j(g) = -g**2 + 10*g - 19. Let d be j(6). Suppose 10 = -0*p + d*p. Is 20 a factor of -11*p/(-4)*14?
False
Let g(o) be the second derivative of -o**4/12 - 4*o**3/3 - 3*o**2 + 6*o. Let p be g(-8). Is 20 a factor of (p/15)/1*-160?
False
Let w = -113 - -41. Is 2 a factor of (-20)/6*w/16?
False
Let n(z) = z**2 - 3*z - 6. Let a be n(5). Suppose 5*c = 4*m - 138, -4*c = m - a*m + 110. Let b = c - -65. Is 13 a factor of b?
True
Suppose -2*p = -3*s + 60, -2*p + 33 = s - 7*p. Suppose 4*k + 0 = 8. Suppose -d + k*d = s. Is 9 a factor of d?
True
Let c be (2 + -3)/((-2)/16). Let i be (10/c)/((-2)/(-8)). Suppose -4*j = 5*f + j - 195, 199 = i*f + j. Does 18 divide f?
False
Let k(o) = 36*o**2 - 77*o - 4. Is k(-8) a multiple of 27?
True
Let s(d) = d**3 + 25*d**2 - 29*d - 40. Let o be s(-26). Let u = 13 + o. Is 17 a factor of u?
True
Let o = -775 + 1574. Does 43 divide o?
False
Is (-153)/6*(-220)/6 a multiple of 19?
False
Let a be 1/(-5) + 342/(-15). Let b = a - -25. Suppose -x + 144 = b*x. Is x a multiple of 12?
True
Suppose -159 - 273 = -12*a. Is a a multiple of 4?
True
Let f(l) = -2*l**2 - 13*l - 6. Let r(s) = -5*s**2 - 27*s - 12. Let p(o) = 9*f(o) - 4*r(o). Let u be 60/(-8)*4/(-5). Does 4 divide p(u)?
True
Let c = -141 - 15. Let b = -72 - c. Does 7 divide b?
True
Suppose -121*t = -132*t + 176. Is t a multiple of 4?
True
Let m(p) = -p**2 - 8*p + 11. Let s be m(-9). Let f(k) = 9 + 3*k**2 + 2 + k**2 - 3*k**s - k. Is f(0) a multiple of 6?
False
Suppose -3*a = 6 - 0. Let i(w) = 8*w**2 + 2*w. Let b be i(a). Does 12 divide 12*(0 + b/16)?
False
Let r = 3221 + -1393. Does 15 divide r?
False
Let a(r) = 18*r**2 + 2*r. Let t(p) = -p + 4. Let u be (-10)/(-30) + 8/3. Let o be t(u). Is 10 a factor of a(o)?
True
Suppose -o - 9 = -3*k, 10*o - 5*k + 35 = 5*o. Does 14 divide (-4)/o + 8/(-12) + 14?
True
Suppose -384 = -16*y + 10*y. Is 8 a factor of y?
True
Let x(g) be the third derivative of -19*g**4/24 - 4*g**3 - 10*g**2. Is 10 a factor of x(-6)?
True
Let a = -4 + 7. Suppose -4*q + 79 = 3*w, 0*w = 3*w + a*q - 84. Let b = 9 + w. Is b a multiple of 14?
True
Let l(r) = -r**3 + 14*r**2 - 11*r - 12. Let m be l(12). Suppose m = x + 2*x. Is x a multiple of 24?
True
Suppose -4*u - 20 = 4*j, j - 15 = 2*u + u. Suppose -2*m + 3*m = 64. Suppose -7*k + 9*k - m = j. Does 15 divide k?
False
Let r(q) = 0 - 1 + 4*q - 3 + 0*q. Is r(9) a multiple of 14?
False
Suppose -72*p - 6015 = -5*f - 76*p, 2*f + 3*p - 2406 = 0. Is f a multiple of 61?
False
Suppose 14*x - 3*x - 715 = 0. Is 2 a factor of x?
False
Let z(m) = 104*m**3 - 7*m**2 + 5*m - 2. Does 14 divide z(3)?
True
Let d(v) = -v**2 - 6*v - 2. Suppose -5*o = -3*a + 29, -3*a = -2*o + a - 20. Let f be d(o). Is (f/(-9))/((-6)/27) a multiple of 2?
False
Let w = 24 - 18. Suppose w*f - 189 = 57. Is 10 a factor of f?
False
Let n(c) = -c**2 - 20*c - 7. Suppose -2*x - 16 = 6. Does 22 divide n(x)?
False
Let m(r) = -4*r**2 - 17*r - 9. Let d(g) = -3*g**2 - 16*g - 8. Let z(b) = -5*d(b) + 4*m(b). Is z(11) a multiple of 5?
True
Suppose k = p - 1, p - k = 2*k - 7. Suppose p*v = v + 16. Is 3 a factor of v?
False
Let f(a) = 6*a - 3. Let s(n) = -5*n + 2. Let k(p) = -4*f(p) - 5*s(p). Let b be k(-4). Does 25 divide 3 - ((-6)/b - 80)?
False
Let m = -1236 - -3293. Is m a multiple of 121?
True
Suppose 0*a = -2*a + 10. Suppose 4*u - a = 3*m, 0 = -5*m - 0*m + 25. Suppose 0 = 2*b - 2*s - 14 - 16, -3*s - 81 = -u*b. Is b a multiple of 6?
True
Let v = -44 - -62. Suppose 0 = 17*d - v*d + 24. Is 8 a factor of d?
True
Suppose -10 = 4*v - 30. Suppose v - 7 = -i. Suppose 2*p - i*s = 2*s + 80, 2*p + s = 95. Is p a multiple of 14?
False
Let n(i) be the third derivative of -31*i**4/24 + i**3/6 - 10*i**2. Let z be n(-1). Suppose 10*t - z = 8*t. Does 16 divide t?
True
Let t(n) = -2*n + 14. Let i be t(6). Suppose -o + 167 = 3*p, 0 = -2*o + i + 2. Does 15 divide p?
False
Suppose -6 = -5*x + 4, 5*x - 30 = -5*k. Suppose k*v = -2*v + 456. Does 14 divide v?
False
Suppose 0 = 2*o + 5 - 1, -2*r + 3*o = -26. Suppose 6*s - r = s. Does 9 divide 2/(s/(-2))*-9?
True
Let m(t) = 3*t**2 - 3*t - 2. Let d be m(-1). Suppose d*b - 105 = -i + 18, 154 = 5*b + i. Is b a multiple of 31?
True
Let a(b) = 8*b**3 + 2*b**2 - 4*b + 2. Let w be a(2). Let s be (5/(-2)*-2)/((-12)/(-12)). Suppose -s*j + 2*j = -w. Is j a multiple of 7?
False
Let m be 3 + 4*2*-4. Let y = 40 + m. Let a = 20 - y. Is a a multiple of 3?
True
Let d be 22 + (-4)/(16/(-12)). Let s = 39 + d. Suppose 0 = -5*m + 4*l + s, -l + 4 = -m + 4*l. Does 4 divide m?
True
Suppose 2*r + 390 = 5*r - 3*i, -5*r + 2*i + 662 = 0. Does 4 divide r?
False
Suppose 0 = t - 4, -2*u + 13*t + 3470 = 18*t. Does 15 divide u?
True
Let p = 3 + 4. Let u = p - 5. Suppose 0 = -w - 3*n + 20, 4*w = 4*n - u*n + 10. Is 2 a factor of w?
False
Is 14 a factor of 733/7 - (-24)/84?
False
Let k(r) = r**3 - 12*r**2 - 12. Let d = 8 - -4. Let y be k(d). Let l = 16 + y. Is 4 a factor of l?
True
Let q(n) = -n**2 + 18*n - 2. Let r(z) = 2*z**2 - 36*z + 4. Let w(u) = -7*q(u) - 4*r(u). Does 7 divide w(13)?
True
Suppose b + 3*r - 758 = 10, -3*b = -r - 2264. Does 36 divide b?
True
Let b be 613/4 - (6 - 46/8). Is -4 + -2 + -3 + b a multiple of 30?
False
Let j(t) = -4*t**3 - 10*t**2 + 13. Let p(v) = -10*v**3 - 2 + 11*v**3 + 1 + 0 + v. Let q(r) = -j(r) - 3*p(r). Is 8 a factor of q(-10)?
False
Suppose u + 8*u - 36 = 0. Suppose u*b + 17 = 1, h = -3*b - 2. Is 10 a factor of h?
True
Let t = -9 + 11. Suppose -h = 3*f - 9, t*h - 3*f - 2 = -f. Suppose -3*j + h + 63 = 0. Is j a multiple of 13?
False
Let r(x) = -x**3 - 12*x**2 - 14*x - 3. Let t = 39 - 4. Suppose 0 = -v + 2*b - 1, -t = 4*b - 15. Is 16 a factor of r(v)?
False
Let z(w) = 38 - 3*w**2 - 36 + 12*w**2 + 3*w + w**3. Suppose 32 = -3*b - b. Is 14 a factor of z(b)?
True
Let x be 0 - 2*(-12)/8. Let z(w) = 59*w + 3. Does 36 divide z(x)?
True
Suppose 18*i - 2800 = 10*i. Is 25 a factor of i?
True
Suppose 2*n - 107 = 55. Is n a multiple of 9?
True
Suppose -19*m + 36 = -16*m. Suppose -m*t + 18*t - 276 = 0. Is 8 a factor of t?
False
Suppose 