e s(f)?
False
Let j = -82 + 161. Is 23 a factor of j?
False
Let w(v) = 12*v**2 - 116*v + v**3 + 56*v + 2 + 57*v. Is w(-11) a multiple of 11?
False
Suppose 3*x = 4*x - 71. Is (-3)/(-27) + x/9 a multiple of 8?
True
Suppose -3*f = 4*f. Suppose d - 4*d + 390 = f. Does 27 divide d?
False
Let j(p) = p**3 - 4*p**2 + 3*p + 2. Let y be j(3). Suppose y*t = v + v - 36, 2*v - 4*t = 28. Is 4 a factor of v?
False
Suppose 8*a + 20 = 12*a. Suppose -4*n = -a*w - 114, 0 = 3*n + 2*n - 5. Is 8 a factor of w/77 + 116/14?
True
Suppose 5*v + 16 = -c, 3*v - 2*c = -8 + 1. Is ((-5 - -4) + -8)*v a multiple of 3?
True
Suppose v - 4 = -1, 3 = -3*s + v. Suppose 2*l = d - 16, s = 5*d - 3*d + 2*l - 26. Let f = d - -30. Is 22 a factor of f?
True
Let f be (2/4)/((-6)/(-2340)). Let i be 2/(-10) + (-26)/(-5). Suppose 4*m + g = 552 - 135, 0 = 2*m + i*g - f. Is m a multiple of 30?
False
Suppose -3*l + 16 = 4*d, 2*d = -2*l - 1 + 11. Suppose -2 = -v + n - 2*n, 0 = 2*n + l. Let c(a) = 7*a - 5. Is c(v) a multiple of 5?
False
Let j(o) = o**2 - 4*o. Let v be j(4). Suppose v = 8*q - 10*q + 48. Is 5 a factor of q?
False
Let u = -55 - -45. Does 22 divide 5/u + (-246)/(-4)?
False
Let a = -62 + 62. Suppose -3*r - 3*s + 27 = a, -2*r + 11 = 5*s - 4. Is r a multiple of 10?
True
Let r(v) = -v**2 - 13*v + 14. Let n(y) = -4*y**2 - 52*y + 56. Let q(l) = -l**2 + 8*l + 7. Let p be q(9). Let c(h) = p*n(h) + 9*r(h). Is c(-13) a multiple of 4?
False
Let q = -106 + 17. Let i = -257 - -132. Let z = q - i. Is 12 a factor of z?
True
Let l = -126 - -287. Is l a multiple of 7?
True
Let d = 194 - -4. Is d a multiple of 66?
True
Let t be (-219)/(-21) - 4/(-7). Let p = t + -10. Does 7 divide p + -2 + 1 - -7?
True
Is 2*(-899)/(-2)*2 a multiple of 74?
False
Let g = 21 - 13. Let z = g - 6. Suppose 12 = z*k - 0. Is k a multiple of 3?
True
Is ((-1690)/(-195))/(1/105) a multiple of 21?
False
Suppose -16 = -4*z + 5*l + 5, 3*l - 9 = -3*z. Suppose -5*o = -g - 202, -z*g - 67 = -3*o + 61. Let u = -15 + o. Is 25 a factor of u?
True
Suppose 0 = 7*v - 5*v. Suppose 0 = -4*o - 5*j + 20, -8 - 12 = -4*o - 4*j. Suppose -4 = 4*u - v*u, -o*u + 2 = i. Is 7 a factor of i?
True
Let o(i) = i**3 + 14*i**2 - 15*i + 4. Let f be o(-15). Suppose d - 4*v - 1 - 1 = 0, -3*v + 65 = f*d. Is 7 a factor of (-6)/(-21) + 94/d?
True
Is 6875/7 - (-67)/(-469) a multiple of 86?
False
Let f(q) = -q + 22. Let o be f(-10). Suppose 3*c = 3*u + o + 235, -3*u = 2*c - 198. Does 31 divide c?
True
Let q(x) = -7*x**3 + 2*x**2 - 1. Let b be q(1). Is (-5 + b)/(2*(-3)/12) a multiple of 2?
True
Let u be ((-8)/(-12))/(1/(-3)). Is 2 a factor of (u*7/(-4))/((-2)/(-4))?
False
Suppose -3*f - 26 - 59 = -s, -3*f + 9 = 0. Is s a multiple of 2?
True
Let o(n) be the first derivative of -n**2/2 + 3*n + 7. Let b be o(-9). Does 11 divide (-148)/(-6)*b/8?
False
Let r(u) = 5*u - 4. Let c be r(9). Suppose -c - 49 = -i. Does 17 divide i?
False
Let v be 1 - -105 - (2 - 0). Suppose 5*d - v = 501. Suppose -3*r + 2*k + 73 = k, -d = -5*r + k. Is 8 a factor of r?
True
Let d(c) = 22*c + 12. Is 10 a factor of d(9)?
True
Suppose -2*f + 60 = -n + 5*n, 5*n + 2 = f. Suppose -8*m = -10*m + f. Suppose 4*x - 145 - m = 0. Is x a multiple of 24?
False
Suppose -19*g + 1836 = -13*g. Does 23 divide g?
False
Suppose -424 = -2*y + 6*n, -n + 8 = n. Is y a multiple of 8?
True
Let f = 12 - 8. Suppose 4*o = 0, f*r - 4*o = r + 81. Does 10 divide r?
False
Let o(k) = 5*k - 12. Let q(p) = -2*p + 11. Let j be q(5). Let a(w) = 4*w**3 + w**2. Let g be a(j). Is o(g) a multiple of 13?
True
Let c = 12 - 27. Let q(g) = g**3 + 16*g**2 + 17*g + 17. Let k be q(c). Let j(v) = -4*v. Does 9 divide j(k)?
False
Let m(a) = 4 - 9 - 7 - 28*a - 6*a**2 + 4*a**2. Is 9 a factor of m(-12)?
True
Suppose o + 58 = -5*b, 2*b + 0*o - 5*o = -34. Is 27 a factor of 1/1*-9*b?
True
Let a(b) = b**2 + 9*b + 2. Suppose -i = -o + 6 + 3, -i - 2*o = 12. Does 3 divide a(i)?
True
Let d be (-6)/(-4) + (-484)/(-8). Suppose 0 = 5*m - 5*l - 160, -d = -2*m + 3*l - 0*l. Is m a multiple of 17?
True
Suppose 5*s + 15 = 5*p + s, -4*s = -2*p + 6. Is (-1510)/(-70) + p/7 a multiple of 13?
False
Let l = 1682 - -1990. Is l a multiple of 9?
True
Suppose 2*y - 55 = q - 5, 57 = -q - 5*y. Let n = 59 + q. Does 7 divide n?
True
Let k(z) = 27*z - 33. Does 5 divide k(4)?
True
Let l = 195 - 90. Is l a multiple of 11?
False
Let f be 4/14 - (-174)/(-21). Let n = f - -25. Is n a multiple of 2?
False
Suppose -5*l - 2*r + 250 = 0, -2*l = 2*l + 4*r - 200. Let b = l + -33. Is 17 a factor of b?
True
Let u = 266 - 68. Suppose s + s = u. Is 18 a factor of s?
False
Let d(o) = -2*o + 8*o**2 + 0 - o**2 + 4 + 2*o**2. Suppose 0 = -3*w - 0*t - 2*t + 8, 10 = -5*t. Is 36 a factor of d(w)?
False
Let q = -1111 - -3031. Does 15 divide q?
True
Suppose 0 = -105*d + 103*d + 592. Is d a multiple of 8?
True
Let n(u) = 38*u**3 - 8*u - 3. Let p = 19 - 8. Let o(h) = -13*h**3 + 3*h + 1. Let s(m) = p*o(m) + 4*n(m). Is 3 a factor of s(1)?
True
Let j = -39 + 42. Is 12/j + (-13)/(-1) a multiple of 2?
False
Suppose 2*r - y = 10 + 1, 22 = 5*r + 3*y. Suppose -2 = r*g - 12. Suppose 2*z - g*b - 34 = -0*b, 13 = z - 5*b. Is 6 a factor of z?
True
Suppose 2*z - 71 = -5*i, 0 = -3*i + z + z + 49. Is 5 a factor of i?
True
Suppose -2*s = -20 + 4. Let r = s + -7. Is -14 + 14 + (32 - r) a multiple of 13?
False
Let m(c) = 2*c**2 + 3*c - 14. Let y be m(-8). Let z = y - 58. Is 15 a factor of z?
False
Let j(q) = -q**3 - 17*q**2 + q + 24. Let b be j(-17). Suppose 5*o = b*o. Suppose -2*f = -5*k - 28 + 146, -3*k - 5*f + 77 = o. Is 21 a factor of k?
False
Suppose 29*t - 6803 - 12772 = 0. Is 27 a factor of t?
True
Suppose v - 4*f + 32 = -12, -3*f - 119 = 4*v. Let q = v - -29. Does 12 divide q*16/(-36)*27?
True
Suppose -3*w = 4*m - 1292, 4*m - 24*w = -29*w + 1292. Does 17 divide m?
True
Let u = -1709 + 3031. Does 13 divide u?
False
Let c(g) be the second derivative of -g**5/20 + 3*g**4/4 - 4*g**3/3 - 9*g**2/2 - 4*g. Let q be c(8). Let i = q - -34. Is i a multiple of 17?
False
Let v be -21 - (2 - (-2)/(-1)). Let o = v - -40. Does 18 divide o?
False
Does 4 divide 318*(21/9 - 2)?
False
Let s be -36*(-1)/(-2)*-3. Let u = -19 + s. Does 7 divide u?
True
Let h(d) = -6*d**3 - 5*d**2 + 9*d - 2. Does 53 divide h(-6)?
True
Let i(v) = v**2 + 5*v - 2. Let z be i(-6). Suppose 6 = -4*b + 2*n, z = b + 4*n - 8. Suppose b = 2*q, -5*q = 3*g - q - 84. Is 12 a factor of g?
False
Let k be -8 + 8 + (7 - 2). Suppose r + k = -0. Let a = r - -15. Does 4 divide a?
False
Let i(f) = f + 1. Let s(r) = -r**2 - 3*r - 11. Let u(d) = -4*i(d) - s(d). Let t be u(8). Is 18/t + 136/14 a multiple of 7?
False
Suppose 2*h + 12 = 4*h + 4*d, 0 = -3*h + 2*d - 6. Suppose h = 4*m - m - 357. Is 17 a factor of m?
True
Suppose -5*q - 411 = -3*g - 1226, 2*q = -3*g + 347. Let a = q - -101. Does 42 divide a?
False
Suppose 240 = 9*n - 156. Is n a multiple of 2?
True
Suppose 0*n + 1 = n + 5*w, -63 = -5*n + 4*w. Let k = 11 - n. Suppose k = f + f - 10. Does 2 divide f?
False
Is 22 a factor of 1154/3 + (-55)/132*4?
False
Let i be 3*(-3 - 1576/(-12)). Suppose i + 191 = 6*r. Is r a multiple of 16?
True
Let p(w) = -w**3 - w**2 + w. Let v(g) = g + 5. Let z be v(-6). Let s(a) = -2*a**3 - 11*a**2 + 4*a + 13. Let x(q) = z*s(q) + 3*p(q). Is x(6) a multiple of 9?
False
Let j(u) = 31*u + 41. Suppose -5*d = 2*q + 4 - 36, -4 = 2*d + 5*q. Is 17 a factor of j(d)?
True
Let f be (-6)/8 - 120/(-32). Suppose 3*t + 210 + 69 = 2*n, 418 = f*n - 4*t. Is n a multiple of 17?
False
Suppose 5*x - 39 - 66 = 0. Let d = x + 2. Let m = 40 - d. Is m a multiple of 17?
True
Suppose -3*v = -6*v + 5*w + 311, 4 = -w. Suppose v - 33 = 4*l. Is l even?
True
Let a(y) = 3*y + 10. Let p be -8 + (-1)/(1/(-4)). Let o be a(p). Is 23 a factor of (91/o)/(5/(-10))?
False
Let x = -542 + 787. Suppose -i + 85 = -x. Is i a multiple of 12?
False
Suppose -9216 = -36*o + 12*o. Is o a multiple of 16?
True
Suppose r + 4 - 6 = 0. Let f be (5 - -1)*(1 - r). Let j = 34 + f. Does 11 divide j?
False
Let s be 2/(2/(-13)) - 1. Let o be 7/((-49)/14)*14/4. Is (-62)/(-4) - o/s even?
False
Let k(j) = -j**3 + 18*j**2 + 10*j + 25. Let u be k(17). Suppose 2*y - 6*y + u = 0. Is y a multiple of 15?
False
Suppose -2*y - 70 = 3*y. Is 9 a factor of -4*1/y + (-61)/(-7)?
True
Let a(i) = i**3 - i**2 + 2*i + 3. Let d be a(-2). Let t = -107 + 76. Let q = d - t. Does