b = r*g - d, -59 = -6*b + 2*b - 3*g. Does 4 divide b?
False
Suppose -3*d - 5*n = -4*d + 24, 32 = 4*d - 4*n. Let g = 22 + -20. Suppose g*q - 9 = q - 2*m, -d*q + 14 = -3*m. Does 3 divide q?
False
Let m = 7 - 1. Let x(s) = s**3 - 2*s**2 - 4*s**2 + 3 + s + 4. Is 13 a factor of x(m)?
True
Is 2/9 + (-7)/(63/(-178)) a multiple of 7?
False
Let m(u) = -21*u - 1. Let h be (0 - -4 - 2)*-2. Is m(h) a multiple of 14?
False
Let m(t) = -3*t - 5. Let l = 21 + -8. Suppose l = -5*o - 12. Does 8 divide m(o)?
False
Let q be -1 - (1 + (-6)/(-3)). Let s(f) = -2*f - 4. Let n be s(q). Is 16 a factor of (16/(-5))/(n/(-20))?
True
Suppose -r + 4 - 1 = 0. Let a = 54 - 32. Let c = a + r. Is 16 a factor of c?
False
Let j(q) = q**3 - 5*q**2 + 3*q - 3. Does 31 divide j(7)?
False
Let n(w) = 3*w**3 + 5*w**2 - 8*w - 10. Let a(c) = -10*c**3 - 14*c**2 + 24*c + 29. Let g(h) = -2*a(h) - 7*n(h). Let d be g(-8). Does 5 divide d - (-2 + 0 + 4)?
True
Suppose -r - r = 0. Let n(g) = g**2 + g + 17. Is 6 a factor of n(r)?
False
Suppose 4*g + 92 = 4*r, 6*g + 3*r + 39 = 3*g. Let d = -11 - g. Is d a multiple of 7?
True
Let t be (-2604)/(-9) - (-6)/9. Is 1*-1 + t/5 a multiple of 19?
True
Let w(g) = 2*g**3 + 7*g + 9. Let u(y) = y**3 + 3*y + 4. Let f(q) = 7*u(q) - 3*w(q). Let i be f(0). Is i*4*4/8 a multiple of 2?
True
Let j be 4/(4 + 0) - -135. Let p = j + -76. Does 22 divide p?
False
Let g(t) = -t - 2. Let u be g(4). Let s(c) = c**3 + 6*c**2 - 6. Let x be s(u). Let v = x - -16. Is 5 a factor of v?
True
Let h = -6 - -17. Suppose 2*l - h - 3 = 0. Is l a multiple of 2?
False
Let t(u) = 0 + 4*u + u**3 + 0*u**2 - 1 - 2 - 3*u**2. Let c be t(3). Is 336/9 + 6/c a multiple of 13?
False
Let x(i) = i**3 + 7*i**2 + 3*i - 5. Let r be 1*(-4 - (-1 + -2)). Let z be 3 + r + 7/(-1). Is x(z) a multiple of 15?
True
Let z be (0/((-2)/1))/2. Suppose z = o - 0*o - 2. Suppose -v = 3*h + 37 - 97, -2*h - o*v = -40. Does 10 divide h?
True
Let n(p) = -p**3 - 5*p**2 + p - 6. Does 12 divide n(-6)?
True
Let n = -19 + -13. Let f = 34 - n. Let g = -36 + f. Does 15 divide g?
True
Let o(f) be the first derivative of -f**2 - 4*f + 1. Let i be o(-3). Suppose -5*j - 5*l + 195 = 0, i*j = -j + 4*l + 117. Is 21 a factor of j?
False
Let l(n) = -6*n**2 - 2*n - 2. Let v be l(-2). Let x(j) = -4*j - 3. Let u be x(-10). Let h = v + u. Is 15 a factor of h?
True
Let c = 80 - 37. Is 28 a factor of c?
False
Let x be -14*(-3)/2*1. Let a = -14 + x. Suppose 5*p = 2*g + 65, -g = -3*p + a*p - 52. Is p a multiple of 8?
False
Let l = 182 + -173. Does 3 divide l?
True
Suppose -x - 5*y = -3, 0 = -3*x + 5*y + 7 + 2. Suppose -4*f + 68 = -4*a, 5*a = -x*f + a + 65. Does 18 divide f?
False
Let b(m) = -m + 5. Let h(u) = -4*u + 14. Let a(r) = -16*b(r) + 5*h(r). Is 6 a factor of a(-7)?
True
Suppose 5*w = j + 322, -5*w - 112 = j - 430. Is w a multiple of 32?
True
Suppose 2*n - 15 = -9. Suppose 60 = -k + n*k. Does 10 divide k?
True
Let w be 3/2 - (-3)/6. Let c be -1*w*96/(-6). Suppose 5*m + 21 = 4*d - 21, -3*d = -4*m - c. Is d a multiple of 8?
True
Suppose 0 = -3*z - 2*m + 52, m + 48 = 2*z + 5*m. Does 2 divide 94/z + (-4)/(-14)?
False
Let n = 149 + -86. Is 21 a factor of n?
True
Let s be 2/6 + (-16)/12. Let n be (1 + s)*(-1)/2. Suppose 0*l + l - 20 = n. Is 10 a factor of l?
True
Suppose 0 = 9*f - 4*f - 150. Suppose -n + 2*q = q, -f = n + 5*q. Is n/(10/6) - -38 a multiple of 11?
False
Let w = 0 + 0. Suppose -2*l + w*l + 14 = 0. Does 3 divide l?
False
Suppose 5 = 4*q - 7. Suppose -7*d = -q*d + 2*x + 32, 32 = -4*d + 3*x. Is 144/10 + d/20 a multiple of 7?
True
Suppose 4*s - 5*s + 21 = -j, -2*s = 3*j - 27. Does 6 divide s?
True
Suppose 2*t - 4*t + 330 = 2*l, -t + 4 = 0. Is 23 a factor of l?
True
Let g(f) = f**3 + 10*f**2 - 11*f - 10. Does 25 divide g(-6)?
True
Suppose 3*t = 5*h - 12, 0 = -5*h - 0*h - 4*t + 19. Is -86*(h/(-2) - -1) a multiple of 18?
False
Suppose x = -3*x + 16, -4 = -2*k - 2*x. Let a be (5/5)/((-1)/k). Suppose a*h + h - 6 = 0. Is h even?
True
Suppose 3*d - 24 = d. Let q = -8 + d. Suppose 15 = -5*r, -3*m - r = -q*r - 90. Is 15 a factor of m?
False
Let z(l) = -27*l - 3 - 3 + 23*l + 2*l**2. Is 8 a factor of z(5)?
True
Is (11/(11/(-50)))/((-2)/4) a multiple of 36?
False
Let v = -22 - 14. Is 14 a factor of ((-15)/(-9))/((-2)/v)?
False
Let m be 2/(-1)*(-264)/16. Suppose m = 10*u - 7*u. Is u a multiple of 7?
False
Is 18 a factor of 61 + (0/(-2) - -3)?
False
Let h be (2 - 0) + -1 - 68. Let b = -110 + 215. Let i = b + h. Is 18 a factor of i?
False
Suppose 4*d - 5*q = -4*q + 277, -2*d + 4*q + 142 = 0. Is 16 a factor of d?
False
Suppose 46 = -f - 2*o + 135, -5*o = 2*f - 180. Is 17 a factor of f?
True
Let k be (-2)/(-1 - -3) - -1. Suppose -2*z - 3 - 5 = k. Is 6 a factor of (2/z)/(4/(-104))?
False
Suppose 154 = 10*w - 3*w. Is 8 a factor of w?
False
Let g = 407 - 191. Is g a multiple of 18?
True
Suppose -15 = 5*c, h + c - 707 = -4*h. Suppose -6*d + 242 = -h. Is d a multiple of 37?
False
Suppose 133 = 2*h - 67. Suppose 6*m - h = m. Is 20 a factor of m?
True
Let u = 6 - -19. Suppose -2*h = 3*h + u. Is 37 - h - 3*-1 a multiple of 15?
True
Let p(x) = x. Let t be p(1). Is 5 a factor of -15*t*2/(-6)?
True
Does 6 divide -3*(18/15)/(15/(-250))?
True
Suppose -3*t - 4*w + 2*w = -119, -162 = -4*t - w. Does 5 divide t?
False
Let k(t) = 3*t**2 + t + 21. Let l(i) = -59 + i**2 - 3*i + 17 - 8*i**2. Let f(a) = 5*k(a) + 2*l(a). Is f(0) a multiple of 19?
False
Suppose 4*k - 6*k = -64. Is k a multiple of 13?
False
Suppose -3*w + 3 + 75 = 0. Is 4 a factor of w?
False
Let q(p) = p**3 - 4*p**2 - 19*p + 18. Is 31 a factor of q(7)?
False
Let f(v) = -v**3 + 11*v**2 + 5*v - 7. Is 24 a factor of f(11)?
True
Let y be (-22)/(-3) + (-2)/(-3). Let k = -5 + y. Suppose 4*i + 0*i + k*a - 36 = 0, 2*a = 5*i - 68. Is i a multiple of 12?
True
Let s = 9 + 13. Is 18 a factor of s?
False
Let m be ((-9)/(-6))/(-1)*-6. Let o be 116/3 + (-6)/m. Suppose 0 = 2*h + 4*s - 58, -3*s + 34 = 3*h - o. Does 19 divide h?
True
Suppose 1 = s - 3*j + 2, -5*s + j = -9. Suppose 0*g - s*g = 0. Suppose g = p - 3*p + 38. Is 13 a factor of p?
False
Suppose -4*q + 255 = -105. Does 15 divide q?
True
Suppose 0 = 2*h - 4*n, 5*h - 3*h - 5*n = 2. Is 6/(-8) + (-59)/h a multiple of 7?
True
Let t = -81 - -105. Is t a multiple of 12?
True
Suppose 4 = h - n, h + 2*n - 1 - 3 = 0. Suppose h = r - 13. Is r a multiple of 17?
True
Does 16 divide (-4)/(-22) + 45520/110 + 2?
True
Let a be 80*3*6/(-45). Let d = -17 - a. Does 6 divide d?
False
Let c be (2/6)/(1/9). Suppose c*l + 1 + 5 = 0. Does 13 divide (13/l)/(3/(-6))?
True
Let c(h) = -3*h**2 - 4*h - 3. Let g(n) = -15*n**2 - 20*n - 16. Let x(w) = 11*c(w) - 2*g(w). Let l be x(-5). Let s = 94 + l. Is s a multiple of 19?
True
Suppose 0 = 3*n - 3*f - 213, 6*f = -5*n + 8*f + 352. Does 7 divide n?
True
Let o(q) = 4*q**2 + 2*q. Let c be o(4). Let k = -28 + c. Does 15 divide k?
False
Let i(w) = 12*w**2 + 2*w + 2. Is i(-3) a multiple of 13?
True
Let s be (-2)/(-9) - (-2)/(-9). Suppose g + s*g - 2*v - 7 = 0, -v = -4. Does 6 divide g?
False
Suppose d = -4*d + 30. Is 2/4 + 165/d a multiple of 14?
True
Let u = 16 - 26. Let t be (4 + 5)*u/(-3). Suppose 0*b + 3*b - t = 0. Is b a multiple of 10?
True
Is 1/(-3)*3 + 137 a multiple of 37?
False
Suppose -2*h = -315 + 109. Does 21 divide h?
False
Let t(g) = 3*g + 17. Let r be t(-5). Suppose 45 = w + 4*w + z, -r*w + z = -25. Is 7 a factor of w?
False
Let j(c) = 7*c + 5. Let x(b) = -11*b - 8. Let s(g) = -8*j(g) - 5*x(g). Is 2 a factor of s(-5)?
False
Suppose -12 = -2*m + 68. Suppose 5*u - 5 - m = 0. Is u a multiple of 9?
True
Suppose 11*n = 20*n - 45. Let h = 9 + 31. Suppose 0 = 3*m - n*m + 3*d + 40, 2*m = -d + h. Does 10 divide m?
True
Suppose -2*x + 40 = 6. Suppose -5*h + 152 = x. Is h a multiple of 11?
False
Suppose -j + 0*j - 2 = 0. Let n(u) = u**3 - 7*u**2 - 8*u + 11. Let h be n(8). Is 9 a factor of (-1 - j) + -3 + h?
True
Suppose -t + 2*n + 18 = 0, t - 11 = -0*t - 5*n. Is 8 a factor of t?
True
Let g(v) = v**3 + 4*v**2 - v - 2. Let u be g(-4). Suppose -z - u*z = -15. Suppose -z*o + 3 + 7 = 0. Is o a multiple of 2?
True
Let f(h) = -2*h**3 - 9*h**2 - 6*h + 8. Let k(l) = l**2 + l - 1. Let y(x) = f(x) + 5*k(x). Is y(-3) a multiple of 6?
True
Let i = -3 + 41. Does 19 divide i?
True
Let k(l) = 2*l + 6. Is k(19) a multiple of 14?
False
Let h = -18 + 26. Suppose h*j 