s 21 a factor of t?
False
Let j be (-2)/8 - 35/(-28). Is 5 a factor of j*-2 + 0 + 8?
False
Suppose 0 = 3*x + 29 + 19. Let z = x + 4. Let k = -2 - z. Does 10 divide k?
True
Suppose -m - 6 = -6*m - 3*n, 2*m = n - 2. Suppose -2*h + m*h = -4*v + 44, -32 = -4*v - h. Is v a multiple of 3?
True
Let b = -28 + 58. Is b a multiple of 15?
True
Let q be 4/(-6)*(2 - -1). Let d be (-1)/2*q - -1. Is (-100)/(-7) - d/7 a multiple of 14?
True
Let b be 6/9*(-30)/(-4). Suppose -x - 7*n + 2*n + 41 = 0, 0 = b*x - 2*n - 97. Is 7 a factor of x?
True
Let j(z) = -z**3 - z**2 - z + 105. Is j(0) a multiple of 7?
True
Suppose 2*p - 24 - 24 = 0. Does 12 divide p?
True
Let a = -124 + 175. Is 11 a factor of a?
False
Suppose 325 = 3*v + 5*f, 7*f + 334 = 3*v + 3*f. Is 12 a factor of v?
False
Suppose -5*m + 531 = -3*l, -2*m + 0*l + 219 = l. Is m a multiple of 24?
False
Let j(y) = -y**3 - 8*y**2 - 6*y + 10. Let m be j(-7). Suppose f = -m*f. Suppose -2*k - 2*k + 116 = f. Does 26 divide k?
False
Let d(c) = -1 - 5 - 5*c - 4. Let h be d(-7). Suppose 0*l + l - h = 0. Does 22 divide l?
False
Suppose 3*w + 0 = -3*m + 3, -3*w = -2*m + 22. Is m a multiple of 4?
False
Suppose -4*f + 2*j + 360 = 0, -7*j + 2*j + 112 = f. Suppose -f = -2*l - 0*l - 4*u, 4*u - 134 = -3*l. Suppose r - 3*r + l = 0. Is r a multiple of 13?
False
Let s(u) = 4*u**2 + 4*u - 10. Let l(x) = x**2 - x - 1. Let t(i) = -2*l(i) + s(i). Does 14 divide t(-6)?
True
Let n(h) = h**2 - 7*h + 6. Let w be n(6). Let b(l) be the first derivative of l**4/4 - l**3/3 + l**2/2 + 13*l + 1. Is b(w) a multiple of 13?
True
Let h(b) = 2*b - 10. Suppose 2*n = 3*c + 21, -3*n + 9 = -2*n - 2*c. Is h(n) a multiple of 5?
True
Let w be (7/(-3) - 0)*-3. Let o(y) = 5 + y - 2 - 1 - 1. Is 4 a factor of o(w)?
True
Let x(w) = -2*w**2 - 23*w - 5. Is x(-11) a multiple of 3?
True
Suppose 0 = 4*u + 3*c - c - 26, -5*u + 25 = -5*c. Is 8 a factor of (7 + -1)*21/u?
False
Let w(v) = 2*v**2 - 2*v + 18. Does 4 divide w(7)?
False
Let g = 38 - 16. Let m = g + -6. Does 8 divide m?
True
Let d = 189 + -271. Let j = d + 121. Is j a multiple of 13?
True
Suppose -m + 1 = -2*t + 4*m, 0 = -t + 4*m - 2. Let v be 0 - (-3 + 1 + -4). Suppose 46 + v = t*r. Is 26 a factor of r?
True
Let o = 117 - 79. Is 7 a factor of 3 - (o/(-2) + -2)?
False
Suppose -2*t + x = 4*x - 222, 3*t + 4*x = 332. Is t a multiple of 36?
True
Let h be 2 - (4/2)/1. Let y be (h/4)/(-4 + 2). Suppose -2*b - 15 + 55 = y. Does 7 divide b?
False
Let h be (-1)/((-3)/228*2). Is h/4*(0 - -4) a multiple of 16?
False
Suppose 7*y - 52 = 214. Does 6 divide y?
False
Suppose -3*d = -8*d + 20. Is 5 a factor of 7 + 1/(-2)*d?
True
Suppose 16 = -r - 5*x - 46, -3*r - 86 = -5*x. Let y = -133 - r. Is (-4)/10 + y/(-15) a multiple of 6?
True
Let f(h) = 56*h**2. Is f(1) a multiple of 21?
False
Let z be 3 - 14/(0 + 2). Is (3 - -1)/(-4)*z even?
True
Let g be 3 + (2 + -2)/2. Let o(v) = -3*v + 4*v**g + 4*v - 10*v**2 - 3*v**3 + 14. Does 12 divide o(10)?
True
Suppose 0 = -2*s - 3*s + 45. Let l be 45/12 - s/12. Suppose l*n - 33 = 2*n. Does 11 divide n?
True
Let g(u) = -u. Let w be g(0). Suppose 5*a - 17 + 2 = w. Suppose 0 = -3*v - 5*x + 103, a*v + 2*x - 127 + 39 = 0. Is 13 a factor of v?
True
Suppose 2*u + 3*a - 12 = 0, 0 = -2*u - 5*a + 1 + 11. Is u even?
True
Does 6 divide -9*6/(-45)*5?
True
Suppose 2*o - 33 = 21. Does 9 divide o?
True
Let r = -7 - -39. Does 22 divide r?
False
Is 9 a factor of ((-9)/(-4))/(3/36)?
True
Suppose 20 = -4*p, -4*p - p = -z + 43. Suppose -3*s = -12, -s - 7 = -5*a + s. Suppose z = 4*c - a*c. Does 11 divide c?
False
Suppose 7*s - 9*s + 62 = 0. Is s a multiple of 6?
False
Is 34 a factor of -2*9/(18/(-68))?
True
Suppose -5*y - 4*c + 802 = 0, -4*y + 7*c - 8*c + 646 = 0. Does 18 divide y?
True
Let i = 19 + -3. Suppose i = -5*q - 104. Is 6/2 - (-1 + q) a multiple of 10?
False
Let r be (9/27)/(1/63). Let v = r + 21. Is v a multiple of 11?
False
Suppose 0*u = -2*f - u + 5, 45 = 5*f - 4*u. Suppose v = f*h - 169, -3*v + 3 = 15. Is h a multiple of 16?
False
Let o(h) = -h**2 + h + 2. Let t = 4 - 4. Let w be o(t). Let y(s) = 10*s + 1. Is y(w) a multiple of 12?
False
Let m be (-39)/(-6)*(-1 + -1). Let b be 2 - (-1 - (-2 - m)). Suppose -p - 2 = -b. Is 12 a factor of p?
True
Let d(g) = -g**2 + 6*g. Let y be d(5). Is 23 a factor of 126/y + 2/(-10)?
False
Suppose 3*d = -s, 7 = -3*s + 5*d + 21. Suppose 12 = -s*u + 4*u. Is u a multiple of 12?
True
Let q be -1*(-2 - -1) + 1. Let k(u) = -5 - 2*u + q - 2*u. Is 2 a factor of k(-2)?
False
Suppose 0 = 5*g - 27 - 3. Is g a multiple of 6?
True
Let d be 1*38*(-1)/(-2). Let o = d + -14. Is o a multiple of 2?
False
Suppose -2*h - 2*f = -6*f + 8, -5*h + 5*f = 5. Suppose -10 = -5*k + 40. Suppose -h*o = 3*o - k. Is o even?
True
Let c(l) = -3*l**2 - l**2 + 6*l + 4 + l**3 - 2*l. Let b = 17 - 13. Does 13 divide c(b)?
False
Is 19 a factor of (574/(-10))/(-1) + 4/(-10)?
True
Let b(s) = 3*s**2 - 21*s + 32. Is b(13) a multiple of 28?
False
Suppose -2*w + 1 + 9 = 0. Suppose -2*j - g = -58 + 11, 95 = 5*j - w*g. Is j a multiple of 11?
True
Let u(f) = -f**3 - 6*f**2 + f - 2. Let o be u(-6). Does 6 divide o/(-12) + 98/6?
False
Suppose 5*r + 4*m - 37 = 0, 3*r + 2*m - 18 = m. Suppose 2*u + 3*c = 2*c - 14, -r*u - 35 = -c. Let j(a) = a**2 + 5*a + 2. Does 6 divide j(u)?
False
Is 28 a factor of (8/3 + 2)*12?
True
Suppose -4*s - 2*q + 518 = 0, -2*s = -q - 2*q - 263. Does 17 divide s?
False
Suppose 2*o + 2*h - 54 = -0*o, -o - 2*h + 27 = 0. Does 9 divide o?
True
Suppose 50 + 22 = 3*z. Does 9 divide z?
False
Let m(h) = 8*h + 11. Let s(z) = 1. Let r(i) = m(i) - 6*s(i). Let j(l) = -l**2 + 11*l - 16. Let w be j(8). Is 24 a factor of r(w)?
False
Suppose 5*y + 0*c + 315 = -2*c, 0 = -3*y - 5*c - 189. Is 7 a factor of (1 - -14)*y/(-35)?
False
Is 4 a factor of 42 + (-7 - -3)/(6/3)?
True
Let q(x) = x**2 - 6*x - 6. Let c be q(-8). Suppose d + 0*d + 4*m = c, -5*m + 470 = 5*d. Does 30 divide d?
True
Let u(d) = 13*d. Does 13 divide u(3)?
True
Suppose 4*b + 6*g = g + 763, -b = -4*g - 175. Is 50 a factor of b?
False
Suppose -3*z = 3*d + 65 - 17, 0 = 4*d + z + 61. Let s be 20 + 5/(d/(-6)). Suppose 4*x - s = 3*x. Is 11 a factor of x?
True
Let l(a) = -a**3 - 7*a**2 - 7*a - 3. Let s be l(-5). Suppose -4*h + 5*h + 38 = -3*f, -2*f = 3*h + 30. Does 14 divide (f/s)/(1/21)?
True
Suppose 3*l + 29 + 40 = 0. Let v = 20 - l. Is v a multiple of 15?
False
Let u be (12/9)/((-4)/(-6)). Suppose -u*h - z + 29 = 0, -h = -2*h + 4*z - 8. Is 4 a factor of h?
True
Suppose -s + 3*j = 8, -2*j = s - 0*s - 17. Is 3 a factor of s?
False
Let j = -5 - -7. Suppose -2*n + 42 + j = 0. Does 17 divide n?
False
Let t(x) = -x**2 - 2*x - 4. Let j be t(-4). Does 16 divide 4/6 + (-376)/j?
True
Suppose -1 = f - 4. Suppose 0 = -f*n + 2*d - 0*d + 14, 22 = 5*n - 3*d. Suppose -2*s = n*s + 4, -5*t - 3*s + 237 = 0. Is t a multiple of 17?
False
Let v(q) = -6*q**3 + 3*q**2 + q - 1. Let y be v(-2). Let c = y - 35. Is c a multiple of 9?
False
Suppose 2*h - l = -h + 94, h - 5*l - 22 = 0. Is 14 a factor of h?
False
Is 7 a factor of (-562)/(-18) - 2/9?
False
Suppose -3*j + 157 = -2*k + 4*k, 2*k = j + 153. Let s = k + -36. Is 9 a factor of s?
False
Let n = 26 - -4. Let f be ((-7)/2)/1*4. Let i = n + f. Does 16 divide i?
True
Suppose -3*s = 11 - 41. Is s a multiple of 10?
True
Is 1 + -1 + (9 - -64) a multiple of 10?
False
Let h(q) = -q**2 + 19*q + 5. Is h(14) a multiple of 15?
True
Let m = 3 + 0. Suppose -o - 16 = -5*q - 4, 14 = 4*q - m*o. Suppose -t = -16 - q. Is t a multiple of 18?
True
Suppose 5*p - 3*j = -0*p + 277, 4*j + 108 = 2*p. Suppose 0 = -6*x + 2*x + p. Is 7 a factor of x?
True
Is 3455/55 - 4/(-22) a multiple of 39?
False
Let a be ((-2)/(-3))/((-4)/(-18)). Let b be (-14)/a*-3*1. Let y = -7 + b. Is y a multiple of 7?
True
Suppose 1 - 4 = -n. Suppose 2*v = -n*r + 5*r + 70, -100 = -3*v + 4*r. Is 8 a factor of v?
True
Suppose 39 = -v + 4*x, -v = -2*x + 29 - 0. Let c(n) = -n**3 + 5*n**2 + n - 2. Let w be c(4). Let r = w - v. Is 17 a factor of r?
False
Suppose -5*b + 0*b + 60 = 0. Suppose 0 = -2*t + j + b, -2*j - 15 = -5*t - 7*j. Is 2 a factor of t?
False
Let d(m) = m**3 + 3*m**2 - 4*m + 1. Let x be d(-4). Does 12 divide (84/(-49))/(x/(-14))?
True
Suppose -3*b = 2*m - 0 - 6, 0 = -m. Suppose 2*s - 128 = -i, 0*s - 5*i = -b*s + 140. Suppose 0 = 5*v + 5*y - s, -23 = -2*v + y - 0*y. Is