(q) + 2*x(q). Is 10 a factor of v(-10)?
True
Let x = 44 - 17. Suppose 5*w - 18 = x. Does 20 divide 246/w + (-1)/3?
False
Let o be -15 - -2*4/8. Let f(n) = n + 28. Is f(o) a multiple of 7?
True
Let b(w) = w**2 + 9*w + 4. Let k be 70/(-8) - 2/8. Let l be b(k). Suppose -p + l = -11. Is 14 a factor of p?
False
Let b(u) = 5*u**2 + 2*u + 2. Let y be b(-1). Is 20 a factor of y*8 + -1 + 1?
True
Does 2 divide 6/(-27) - 114/(-27)?
True
Suppose 0 = 3*x + 12, 0*g - 184 = -g - 4*x. Let j = g + -136. Does 13 divide j?
False
Suppose 26*r = 24*r + 68. Is 3 a factor of r?
False
Suppose j = -4 - 8. Is 18 a factor of 1/((j/248)/(-3))?
False
Let t = 1 + 12. Let u(s) = -2*s**2 + 16*s + 2. Let i be u(8). Let l = t - i. Is l a multiple of 11?
True
Let c = 28 + -19. Suppose c*p = 4*p + 30. Let w = 13 - p. Is 2 a factor of w?
False
Suppose 4*h + 2080 + 25 = 5*v, -v - 3*h = -402. Does 54 divide v?
False
Let p = -2 - -10. Let l(o) = -o**3 + 8*o**2 + o - 9. Let k be l(p). Does 4 divide 3/(-3)*4/k?
True
Let t(w) = -2*w**3 - 5*w**2 - w + 4. Let o be t(-3). Suppose 2*h = o + 78. Is h a multiple of 28?
False
Let d be 1/(-4)*2*-14. Suppose d*r = 9*r - 20. Is r a multiple of 3?
False
Let t(j) = -j**2 - 4*j + 8. Is t(-5) a multiple of 3?
True
Suppose 0 = 5*i - 39 - 71. Let l = 5 + i. Is l a multiple of 9?
True
Let g be (-226)/(-6)*(-3)/1. Let y = -78 - g. Is y a multiple of 19?
False
Suppose 10*s - 966 = 3*s. Is 23 a factor of s?
True
Let w be (0 - -12)/(9/(-6)). Let a = 2 - w. Suppose 4*m - 3*m - a = 0. Is 4 a factor of m?
False
Does 17 divide 86/4*(0 + 6)?
False
Suppose 173 = 3*s + 5*a, -2*s - 5*a - 193 = -5*s. Let u = -23 + s. Is 19 a factor of u?
True
Let q = -46 + 78. Suppose -q = -a - a. Suppose -5*z + a = j, -5*j + 2*z = 3*z - 176. Is 12 a factor of j?
True
Let b(o) = o + 6. Suppose 0*w + 3 = -w. Let z be b(w). Suppose -2*v + 5*t + 53 = 0, z*v - 161 = -2*v + 3*t. Is 22 a factor of v?
False
Suppose 0 = 4*r - 0*r - 484. Let i = r + -65. Is i a multiple of 21?
False
Let h(w) = w**3 - 4*w**2 - 2*w + 6. Let c be h(4). Let a = 28 + c. Does 13 divide a?
True
Suppose 154 = 5*k + 3*a, -a = -0*k + 4*k - 126. Suppose 93 = -3*r + q + k, 2*r + 3*q = -26. Let g = r + 65. Is g a multiple of 22?
False
Let c be (-62)/(-6)*(1 + 2). Suppose 17 + c = 3*o. Is o a multiple of 16?
True
Suppose 0 = -2*o + 4*o - 16. Suppose 2*a = 4*a - 10. Suppose a*y - o = 107. Does 18 divide y?
False
Let w(x) be the first derivative of x**2 + 8*x + 1. Is 16 a factor of w(6)?
False
Let i(l) = 6*l - 4. Let x = -5 + 7. Suppose 0 = x*s + 3*s - 15. Is 14 a factor of i(s)?
True
Suppose -11 = -4*h + 5. Is h/(-6) + (-94)/(-6) a multiple of 5?
True
Suppose -3*j - 3*s + 0*s - 42 = 0, -3*j - 46 = -s. Let i(t) = -3*t - 9. Let f be i(-6). Let u = f - j. Is 16 a factor of u?
False
Does 9 divide (-544)/(-10) + 2/(-5)?
True
Let u be (-9)/12 - (-23)/4. Let w be (-4)/(1 - (-102)/(-98)). Suppose 4*x - 6*x - w = -4*o, -2*o - u*x + 19 = 0. Does 12 divide o?
False
Let l(f) = 48*f**2 - f. Suppose -4*z - 14 = 2, -23 = -3*x + 5*z. Is 14 a factor of l(x)?
False
Let x(g) = 2*g**3 - 6*g**2 + 7*g - 8. Is x(4) a multiple of 13?
True
Suppose 4*l - 5*a + 16 = 0, 5*a + 0 = -3*l + 23. Let n be (-2 - 1*-2) + l. Is 11 a factor of (0 + n)*(-2 - -13)?
True
Suppose -h + 154 = -262. Let d be (-10)/(-35) - h/(-14). Suppose 5*a - 150 + 40 = 2*u, -2*u = 2*a - d. Does 10 divide a?
True
Let s(k) = 18*k - 4. Is s(14) a multiple of 31?
True
Let t = -42 + 26. Let a = -4 - t. Is a a multiple of 6?
True
Suppose 6*h - 568 = 2*h. Suppose 3*d + 69 = 3*s - 0*s, 0 = 5*s + 4*d - h. Is 13 a factor of s?
True
Suppose 225 = 4*t + 3*n, 2*t + 0*n = -n + 111. Does 18 divide t?
True
Let b(a) = 7*a**2 + 2. Is b(3) a multiple of 16?
False
Suppose z - 13 = -4*y + 48, -3*y + 5*z = -17. Is y a multiple of 12?
False
Does 16 divide 1/(-6) - (-626)/12?
False
Let i be 4*(-2)/12*-27. Suppose -2 = s - i. Is 16 a factor of s?
True
Let q be 600/8 - (3 + -1). Let g = q + -17. Is g a multiple of 28?
True
Suppose -3*g + 32 = 311. Suppose 174 = -5*u - 491. Let c = g - u. Is c a multiple of 20?
True
Let n be (10/(-8))/(2/(-8)). Suppose 0 = -2*u - 4*q + 60, -n*u + q + 183 = -0*u. Is u a multiple of 12?
True
Let i = 0 - 2. Let n be (-5)/(-10) + i/4. Suppose n*y = -5*y + 60. Is y a multiple of 12?
True
Let r be (-24)/(-60) - (-97)/(-5). Let h = r - -37. Does 6 divide h?
True
Suppose w = 21 - 16. Suppose -2*l = -4*q + 52, -w*l - 8 - 2 = 0. Is q a multiple of 12?
True
Let p = -116 + 171. Let f = -54 - -17. Let u = f + p. Is 18 a factor of u?
True
Let y(r) = 26*r**3 + r - 1. Let p = 3 - 2. Does 21 divide y(p)?
False
Let p(x) = -2*x**2 - 2*x - 2. Let z = 4 - 6. Let r be p(z). Does 14 divide r/15 - 152/(-5)?
False
Let c be (-1)/((-192)/190 + 1). Let v = -47 + c. Suppose 3*s - v = 90. Does 16 divide s?
False
Suppose -26 + 6 = -4*f. Suppose -v + 63 = f*o, o - 277 + 46 = -3*v. Suppose 2*i + i = v. Does 13 divide i?
True
Let j(x) = -3*x - 7. Suppose -s - 71 = 5*r, 0 = r - 2*s + 9 + 3. Let h = r - -6. Does 7 divide j(h)?
False
Let y(u) = u**3 - 2*u**2 - 5*u + 4. Let g be y(3). Let z be (1 - -67) + 4/g. Does 22 divide (z/8)/(3/8)?
True
Does 14 divide 64/3 + (-9)/27?
False
Let u be -4*1*(-3)/6. Does 8 divide 2/(u + (-21)/12)?
True
Suppose -2*v = -v - 3. Suppose a = -v*q + 31, 4*q + 0*a = -2*a + 38. Is q a multiple of 12?
True
Suppose 3*q - 12 = -0*q. Is q a multiple of 4?
True
Let v(n) = -n**2 + 11*n + 3. Let f(b) = b + 1. Let a(y) = -3*f(y) + v(y). Is a(6) a multiple of 5?
False
Let f = 1 - -1. Let i be f/7 - 764/28. Let z = -4 - i. Does 8 divide z?
False
Let b(g) = g**3 + 9*g**2 + 9*g - 1. Let f be b(-8). Let v = f + 17. Is v a multiple of 4?
True
Let a(n) = -6*n - 4 + 13*n**2 + 11 - 14*n**2. Let o be a(-6). Is 108/14 + 2/o a multiple of 6?
False
Let o(n) = 5*n + 7*n**2 + 12 + 5*n - 6*n**2. Let g be o(-9). Suppose 2*y + p = 79, 5*y + g*p = -2*p + 205. Does 19 divide y?
True
Let u = 2 + -1. Let r be -18*((-2)/4 - u). Suppose -4*l + l = -r. Is 9 a factor of l?
True
Let l(g) = -g**2 + 16*g - 13. Is 10 a factor of l(13)?
False
Suppose -3*m + 75 = 3. Is 6 a factor of m?
True
Suppose 3*u - 2 = 5*g, 0*u = -5*u - 5*g - 50. Let w(c) be the second derivative of c**4/6 + 5*c**3/6 - 5*c**2/2 - c. Is 16 a factor of w(u)?
False
Let x(t) = t + 6. Let c be x(8). Let j be 2/(-2) + (6 - -1). Let s = c + j. Does 8 divide s?
False
Suppose 7*n - 3*n = -32. Let g = n - -11. Is g a multiple of 2?
False
Let c(a) = a + a**3 + 3*a - 6*a**2 - 10*a + a**2 + 7. Does 2 divide c(6)?
False
Suppose 0 = 5*t + 2 + 23. Let a(i) = -13*i. Is 14 a factor of a(t)?
False
Let i(g) = 9*g**2 - 2*g - 1. Is i(2) a multiple of 17?
False
Suppose 0 = 4*p + p - 5. Suppose -4*x + p = -47. Is 12 a factor of x?
True
Let u(h) = -h**3 - 6*h**2 + 5*h - 8. Let c be u(-7). Suppose -3*l = 4*j - 20, -j - 2*l + 4*l = c. Is 12 a factor of 39 + (12/j)/(-2)?
True
Let r(i) = 8*i - 40. Does 16 divide r(13)?
True
Let d = 45 + -29. Is 8 a factor of d?
True
Let g(k) = 3*k**2 - 2*k - 2. Let u be g(-2). Let j = u - 6. Let f = -1 + j. Does 7 divide f?
True
Let f = -11 + 18. Let y(r) = r**3 - 6*r**2 - 7*r + 5. Let w be y(f). Suppose -4*j + 44 = -a + w*a, -j - 37 = -3*a. Does 12 divide a?
True
Suppose 3*n - 5*n = 0. Let a(b) = 0*b + b**2 + b + 2 + n*b. Is a(-5) a multiple of 14?
False
Let d = 165 + -1017. Is ((-1)/(-2))/((-6)/d) a multiple of 19?
False
Let n(i) = 9*i - 3. Let j be n(-3). Let t = j - -45. Is t a multiple of 15?
True
Let g = 12 + 72. Does 6 divide g?
True
Let g = 13 + -11. Suppose 46 = 3*t - 0*t + g*f, -5*t = 3*f - 75. Does 12 divide t?
True
Suppose 4*i + b - 259 = -2*b, 4*i - 4*b = 252. Does 20 divide i?
False
Does 16 divide (-6)/(2*-1) - (8 - 21)?
True
Suppose -j + 4 = j. Suppose j*w + n - 11 = 8, 2*n + 16 = 2*w. Is w a multiple of 2?
False
Suppose 4*l - 132 = 2*z, l = -2*l + 3*z + 93. Does 7 divide l?
True
Is 5 a factor of (1 - (-2)/4)*330/9?
True
Let p = 9 + -5. Suppose -s - p*s = -80. Is s a multiple of 6?
False
Suppose 0 = -0*d + 4*d. Suppose d = 2*m + h - 65, 4*m - 2*m + 5*h - 85 = 0. Is 15 a factor of m?
True
Let s = 7 - -3. Suppose 5*l = -s, 4*d = 3*d - 4*l + 22. Is d a multiple of 10?
True
Suppose 2*y + 3 = 9. Let x = 6 - y. Let m(o) = 4*o + 4. Is 8 a factor of m(x)?
True
Suppose 2*u + 8 = -4*n, 4 = 7*u - 3*u + 3*n. Suppose 0 = 2*g - u*g + 192. 