 x?
True
Let r(j) = 6*j**2 - 3. Let k = -7 + 10. Is 17 a factor of r(k)?
True
Let g(b) = 2*b + 54 - 50 - 8*b. Let t be g(-6). Suppose 0 = 3*p - p - t. Does 20 divide p?
True
Does 4 divide 1/3 + (-44)/(-12)?
True
Suppose w + 0*w + 10 = 0. Let u = -6 - w. Suppose -4*a + 50 = q + u, q = 5*a - 53. Does 5 divide a?
False
Let q be (-40)/12*(-6)/4. Suppose 6*o + 25 = o, -u = q*o - 40. Does 13 divide u?
True
Let x(v) = -4*v + 2. Let t = 0 - 2. Let h be 5 + t + -5 + -3. Is x(h) a multiple of 16?
False
Suppose -2*i = 3*i + 15. Let a be 2 + (-1 - 6/i). Suppose a*t = -t + 44. Does 8 divide t?
False
Let f(s) = s + 15. Let g be f(-15). Suppose 4*d + g*d - 96 = 0. Is d a multiple of 7?
False
Let b(k) = -k**2 - 14*k + 10. Let g(h) = -h**2 - 6*h - 9. Let p be g(-6). Is 10 a factor of b(p)?
False
Suppose 2*y - 74 = -3*c, -c = -0*c - 2. Is y a multiple of 15?
False
Suppose -3*l - 2 - 4 = 0, -36 = -4*n + 4*l. Is n a multiple of 3?
False
Let b(t) = 64*t - 2. Let x be b(2). Is 2/(-4) + x/4 a multiple of 14?
False
Let a be (-60)/(-9)*12/5. Suppose 3*z + 1 = a. Is z a multiple of 5?
True
Let w(l) = 3 + 2 - l**3 + 7*l**2 - l**2 - 4*l. Suppose -1 = 3*d - v - 9, 20 = 5*v. Is w(d) a multiple of 9?
False
Suppose 0 = -5*l - 4*x - 12, x = -2*l + 3*x + 6. Suppose 5*f + 3*p - 345 = l, -5*p = -3*p. Does 23 divide f?
True
Does 11 divide 22 - 0/((-2)/1)?
True
Is (81/15)/((-2)/(-10)) a multiple of 11?
False
Let m(h) = -h**2 - 6*h + 4. Does 9 divide m(-5)?
True
Is (33/2)/((-11)/(-22)) a multiple of 11?
True
Let z be 26/(-10) + (-10)/25. Let w(g) = 6*g**2 + 3*g - 3. Does 21 divide w(z)?
True
Let n = 2 + 0. Suppose -7*a + 100 = -n*a. Is a a multiple of 10?
True
Let o(z) = z - 3. Let a be o(6). Let v = 74 - 51. Is 14 a factor of v/a*(-3)/(-1)?
False
Suppose 0 = -2*q + 29 + 3. Is 8 a factor of q?
True
Suppose c + 12 + 10 = 3*m, 4*m - 44 = 5*c. Suppose i + m = 40. Is i a multiple of 17?
True
Suppose -1170 = -4*z - z. Let i be z/8 - (-15)/20. Suppose -i = -0*u - 3*u. Does 10 divide u?
True
Suppose 3*m = 9, 4*y - 2*m - 20 = 30. Is y a multiple of 4?
False
Suppose -4*t = -9*t + 10. Suppose -t*s + 7*b = 2*b + 10, s + 4*b - 21 = 0. Does 2 divide s?
False
Let o(f) = -f**3 - 5*f**2 - f + 4. Let s be o(-5). Suppose -l + s = -t, 2*t + 37 = -5*l + 103. Is l a multiple of 6?
True
Suppose -2*h = 4*o - 12, -15 = -5*o + 4*h - h. Suppose o + 9 = 2*k. Is 4 a factor of k?
False
Let x be 1 - (-2 - (0 - 1)). Suppose 4*s = -4*v + 20, -4*v + 6*s + 4 = x*s. Suppose -3*t - 2 = -3*o - 5, -3*o = -t - v. Is t a multiple of 2?
False
Suppose 0 = 2*j + 4, j - 7 = -h - 2*h. Let w(z) = 2*z**3 - 2*z**2 - 5*z + 3. Does 12 divide w(h)?
True
Let s be 57/2*2/(-3). Let x = 41 + s. Is x a multiple of 11?
True
Let u(b) be the second derivative of -5*b**3/2 - 3*b**2/2 + b. Let l(y) = -2*y + 1. Let d be l(2). Is 16 a factor of u(d)?
False
Let v(y) = -2*y**2 + y + 1. Let d be v(-1). Let h = d + 2. Suppose 4*p + h = 2*s - 12, -12 = -3*p. Is 7 a factor of s?
True
Let c = -5 + 9. Let v(w) = 3*w - 1 + 5*w**2 - c*w**2 + 3. Is 15 a factor of v(-7)?
True
Let w = 712 + -400. Is w a multiple of 9?
False
Suppose -118 = -116*l + 114*l. Does 2 divide l?
False
Let g be 4 - 1 - 7 - -3. Is (-456)/(-6) - (g - 0) a multiple of 17?
False
Let o = -38 - -104. Is 6 a factor of o?
True
Let h(o) = o**2 + o + 11. Suppose 0 = 4*t - 4*f + 20 + 12, -2*t - 4 = 2*f. Is 21 a factor of h(t)?
False
Let r be 2 + 0 - -17*1. Suppose -5*q = -6 - r. Suppose 0 = -3*z, q*g - 3*z = 10 + 115. Is 12 a factor of g?
False
Let a(z) = 6*z**2 - z + 1. Let p be a(1). Is 4 a factor of (-1)/p - (-906)/36?
False
Let f(k) = k**3 + k**2 + 2*k + 18. Is f(0) a multiple of 5?
False
Suppose -3*f + 0 = -4*g - 9, 5*g - 12 = -4*f. Suppose 45 - 9 = 2*c. Suppose 0 = f*m - 18 - c. Is m a multiple of 6?
True
Suppose m - 4 = 35. Let v = -19 + m. Does 14 divide v?
False
Let x(g) = -4*g - 13. Is 14 a factor of x(-11)?
False
Let t(v) = -8*v + 2. Let z be t(7). Let o = z + 79. Is 19 a factor of o?
False
Let d(h) = 3*h**3 - 19*h**2 - 33*h + 18. Let w(p) = -p**3 + 6*p**2 + 11*p - 6. Let c(u) = -2*d(u) - 7*w(u). Let j be c(7). Let y = -46 + j. Does 15 divide y?
True
Let p(w) = -w**2 - w + 1. Let k(i) = -8*i**2 - 4*i + 4. Let d(f) = -k(f) + 5*p(f). Is d(1) a multiple of 3?
True
Suppose -5*j = -25, t - 95 - 50 = 4*j. Is t a multiple of 33?
True
Let u = -103 - -149. Suppose -5*d + 46 = 4*w, -3*w - 4*d - 1 = -35. Suppose 3*o - u = w. Is 10 a factor of o?
True
Let k(h) be the third derivative of -7/60*h**5 + 0*h + 0 + 1/120*h**6 + 1/4*h**4 + 0*h**3 - h**2. Does 14 divide k(7)?
True
Suppose -4*o - 19 = -3, -98 = -3*i - o. Is i a multiple of 17?
True
Let w be 49/3 + 2/(-6). Suppose 2*m + w = 6*m. Suppose 2*y - 109 = -5*k - y, -m*k - 5*y = -95. Does 10 divide k?
True
Let j(b) be the first derivative of b**4/4 - 5*b**3/3 + 3*b - 3. Let z be j(6). Suppose 3*w + 3*o - z = -0*o, -2*o = -5*w + 51. Is w a multiple of 11?
True
Suppose 3*x - 4*f - 16 = -0*x, 3*x - 5*f - 20 = 0. Suppose x = 5*n + 3*c - 185, -2*n - 2*c + 77 = 3. Is n a multiple of 9?
False
Suppose 2*u - 338 = -5*o + o, 670 = 4*u + 5*o. Suppose 0 = -6*t + t - w + u, 4*t = -5*w + 153. Does 15 divide t?
False
Let j(w) = 10*w - 2. Let u be j(3). Let s = -2 + 18. Let y = u - s. Does 6 divide y?
True
Let q = -410 + 614. Is q a multiple of 24?
False
Suppose 2 - 1 = -w. Is (w/3)/((-4)/564) a multiple of 8?
False
Let q = 2 - -2. Is 7 a factor of ((-78)/q)/3*-2?
False
Suppose 0 = 5*x - 6 - 9, -4*x = 3*v - 591. Is v a multiple of 7?
False
Let v(j) = -j**3 - 7*j**2 - 7*j - 2. Let q be v(-6). Suppose 0 = -q*c + 14 + 18. Suppose 0 = p - 3 - c. Is p a multiple of 8?
False
Is 5 - -25 - 0 - (2 - 1) a multiple of 9?
False
Let z(i) = -i**3 + i. Let o(x) = -5*x**3 + 7*x**2 + 8*x + 10. Let p(h) = o(h) - 6*z(h). Let s be p(-7). Is (6 + -3)*s/(-1) a multiple of 12?
True
Suppose 5*g + 3*t - 272 = 0, -3*g = -4*t + 8*t - 172. Does 27 divide g?
False
Let t(d) = d**2 + 5*d + 14. Is 7 a factor of t(-7)?
True
Suppose -3 = z - 4*k - 5, -k = 5*z - 31. Let q be ((-2)/(-4))/(z/84). Suppose 2*r - q = 4*i - 5*i, -5*r - 4*i = -10. Is 6 a factor of r?
True
Let v be (-1)/(-3) + (-8)/(-12). Let w be 2*(18/2 - v). Suppose -4*m + m + w = -n, 3*n - 29 = -2*m. Is m a multiple of 2?
False
Suppose -5*o = 2*q + 2*q + 35, -5*o + 3*q = 0. Is 6*o*-3 - 3 a multiple of 17?
True
Let r = 32 + -7. Suppose 9 = -4*i + 5*c, i - 5*c + 3 - 12 = 0. Is 16 a factor of (30/r)/(i/(-80))?
True
Let q be 2/(-5) + 153/(-5). Suppose 4*m + m = -5*d - 210, 0 = 2*m - 2*d + 96. Let j = q - m. Is j a multiple of 6?
False
Does 6 divide (82/2 + 0 - 4)*1?
False
Let l(d) = -d**2 - 8*d - 9. Let h be l(-6). Suppose -12 = h*k - 3*m, 3*k + m + m = -27. Is 14 a factor of -1*(2*k + 0)?
True
Suppose 4*c + q - 43 = 0, 2*q - 23 = -3*c + 8. Is c a multiple of 6?
False
Suppose 3*b = 2*b + 8. Is 8 a factor of b?
True
Let k(j) = -j**2 - 6*j + 3. Does 5 divide k(-5)?
False
Let m(k) = 13*k - 12. Let a(z) = 7*z - 6. Let t(i) = 13*a(i) - 6*m(i). Is t(6) a multiple of 18?
True
Let g be (16/(-6))/((-2)/(-9)). Let w = g + 29. Let z = w + -6. Is z a multiple of 11?
True
Let r be 1/(1 - (-9)/(-12)). Suppose 3*b = -r*f + 342, f + b = -f + 170. Is 28 a factor of f?
True
Let z be 6/(-4)*256/(-6). Let x = 111 - z. Suppose -5*m - x = -3*w, -6*w - 4*m = -w - 66. Is w a multiple of 12?
False
Suppose 0 = 2*t + 10, 4*j + t - 232 = -3*t. Is j a multiple of 21?
True
Let j = 6 + 5. Does 7 divide j?
False
Let l(v) = v**3 - 4*v**2 + 4*v - 4. Let c be l(3). Let d be (2 + c)*(-2)/(-1). Let n = 9 - d. Is n a multiple of 2?
False
Suppose -9*l = 102 - 264. Is l a multiple of 4?
False
Is 7*4/(-2)*-4 a multiple of 14?
True
Does 18 divide (-648)/(-5) - (48/(-10))/(-8)?
False
Let j be ((-1)/2 - -1)*-2. Let n be 0*j/(3/3). Suppose n = -3*w + 72 + 33. Is w a multiple of 13?
False
Let i(z) be the first derivative of 10*z**2 + 5*z - 3. Is i(4) a multiple of 27?
False
Suppose -n + 2 = 5*y, 0 = 4*n - 0*n - 5*y - 8. Suppose 0 = -q + n - 5. Is 13 a factor of 19 - (1 + -2 - q)?
False
Let p(x) = -3*x + 9. Is p(-10) a multiple of 15?
False
Suppose -a - 2*s - 30 + 89 = 0, 180 = 3*a + 5*s. Is a a multiple of 7?
False
Let r(s) = -5*s - 37. Let a(h) = 2*h + 12. Let f(i) = 7*a(i) + 2*r(i). Is 17 a factor of f(7)?
False
Suppose -14 - 1 = -5*h. Let q be (h/6 + 0)*6. Suppose q = -r +