
True
Suppose -3*i - 4*d - 72 = 0, -3*d = 4*i - 7*d + 124. Is 11 a factor of (i - 2)*(-2)/5?
False
Let f = 127 - 87. Suppose 0*a + 12 = v + 2*a, 0 = -3*v - 5*a + f. Is v a multiple of 20?
True
Let c = -5 + 7. Suppose 0*f = c*f - 28. Is 9 a factor of f?
False
Let w(g) = g**3 - 7*g**2 + 7. Let q be w(7). Suppose -2*d + q*x - 4*x + 19 = 0, 0 = x + 1. Is d a multiple of 3?
False
Let b(c) = -c + 13. Is 5 a factor of b(-12)?
True
Let s(w) = w**2 + 13*w - 7. Is 11 a factor of s(-16)?
False
Let f(p) = 2*p**2 - 3*p + 4. Let d be 6*(9/6)/1. Let k = 13 - d. Does 12 divide f(k)?
True
Is 20 a factor of (-2)/(2*1/(-20))?
True
Suppose 10 = 2*r + 4*m, 5*m + 1 = 5*r - 24. Suppose b - 83 = -r*w + 143, w = 4*b + 62. Is w a multiple of 25?
False
Suppose 5*s + 5*q + 2445 = 0, -3*s + 2*q - 1054 = 398. Let r = -326 - s. Suppose 0 = -3*i + 8*i - r. Is i a multiple of 19?
False
Let k be (-1)/(2*3/(-12)). Let i be (k/(-4))/((-2)/8). Suppose 0 = 4*n - n + 4*s - 79, -i*n - 3*s = -54. Is n a multiple of 17?
False
Let i(w) = w - w**3 + 2*w**2 + 5*w**2 + 0*w**2 + 9*w**2. Is 16 a factor of i(16)?
True
Let q(i) be the first derivative of 11*i**2 - 4*i - 2. Is q(4) a multiple of 21?
True
Suppose v + 20 = -2*i + 6, 3*v = -3*i - 21. Let k = 11 + i. Let l(m) = m**3 - m**2 - 5*m - 2. Is l(k) a multiple of 13?
True
Let v = -2 + -1. Suppose -5*u = -5*k - 25, -3*k - 3 = u + 2*u. Does 13 divide 1 + v + (u - -27)?
False
Let d = 32 + -23. Let h be 12/d*(-42)/(-4). Suppose 3*a + 0 = 4*o - 18, -h = -4*o + 5*a. Is o a multiple of 5?
False
Suppose -5*h + 11 = 6. Suppose -7 = 3*l - h. Is 25 a factor of ((-15)/6 + l)*-10?
False
Let s be (-4)/(2 - 0)*-4. Let d = 45 + -26. Let w = s + d. Is 11 a factor of w?
False
Let p = 6 + -1. Let j(y) = -y**2 - 5*y - 4. Let h be j(-4). Suppose -1 - p = -2*l - f, 3*f = h. Does 2 divide l?
False
Suppose -3*a = -2*f + 111, -3*f - 7*a = -2*a - 195. Does 10 divide f?
True
Let g be (-10 - 1)/(4/(-8)). Suppose -v + 4*h + g = 0, -v + 4*v - 5*h = 73. Is v a multiple of 13?
True
Let q = 17 - 23. Is ((-8)/q)/((-14)/(-210)) a multiple of 20?
True
Let j(x) = 2*x + 4. Let r be j(-5). Let w be 0*1/3 - r. Let t = w + -2. Is t even?
True
Let f = 7 + -4. Let y be 3/(-1)*(-2)/f. Is 11 a factor of (-1 + 12)*y/1?
True
Suppose 0 = c + 5*v + 18, -2*c - 10 = -v - 2*v. Let j = c - -17. Suppose j*w = 4*w + 90. Is 9 a factor of w?
True
Let q(x) = x + 2*x - 1 + 0 - 2*x. Let t be q(4). Suppose -2*i = t*a + a - 20, -4*a + 3*i = -20. Does 2 divide a?
False
Let z(f) be the second derivative of f**4/12 - f**3 + 13*f**2/2 - f. Let p be z(9). Suppose 5*j = 55 + p. Does 7 divide j?
False
Let t be 7/((-35)/6)*5. Let o be -3*(-2 + (-14)/(-6)). Let w = o - t. Does 5 divide w?
True
Let w = 15 - 9. Suppose 0 = -c - 2*c + w. Does 12 divide 36 + -2 + (3 - c)?
False
Suppose 2*a = 4*c - a - 151, 2*c + 4*a = 92. Does 24 divide c?
False
Let r = 127 + -184. Let h = -35 - r. Does 12 divide h?
False
Suppose 4*u + 3*o - 10 = 0, -u - 2*o - o = 2. Suppose g + 2*p + 2 = 4, -2*p + u = 2*g. Suppose g*k - 128 = -2*k - 4*r, -r - 160 = -5*k. Is k a multiple of 14?
False
Let r(c) = c**2 - 2*c - 2. Suppose -2*m - 5*h = 33, -m + 3*h = 4*m + 5. Does 11 divide r(m)?
True
Let m = -8 + 11. Suppose 0 = -m*z + 5*z + 10. Let d(w) = w + 10. Does 2 divide d(z)?
False
Suppose 450 - 72 = 2*z. Is 24 a factor of z?
False
Let q be 280 + (2 + 1 - 3). Does 7 divide q/21 - 4/(-6)?
True
Suppose 7*u + 232 = 3*j + 2*u, -436 = -5*j - 4*u. Is j a multiple of 14?
True
Let m = 1 - -1. Suppose m*f = -0*f + 32. Does 7 divide f?
False
Let q(h) = h**3 + 8*h**2 - 13*h - 14. Is q(-8) a multiple of 16?
False
Let f(u) = -11*u**3 - u**2 + 3*u + 3. Suppose -j = 3*j + 8. Does 27 divide f(j)?
True
Suppose -6*s = -3*s - 15. Is s a multiple of 3?
False
Let f(z) = -6*z**3 - 4*z**2 - z + 2. Let r be f(-2). Let t = -24 + r. Does 8 divide t?
False
Let g be (-5 + -1)*4/(-6). Suppose -7*p + g*a = -3*p - 16, a - 14 = -p. Is p a multiple of 6?
False
Let o be 2 + 10/(-2) + 11. Is (-24)/((42/o)/(-7)) a multiple of 16?
True
Let i(r) be the first derivative of -23*r**4/4 - 2*r**3/3 - r**2/2 - 6. Is i(-1) a multiple of 11?
True
Let s(r) = -2*r**3 - 5*r**2 + 3*r - 5. Let a = -9 + 3. Let g be s(a). Suppose 0 = -5*c + g - 24. Is c a multiple of 18?
False
Suppose w = -2*l + 70 + 100, 5*l + w = 428. Let j = 12 + -8. Suppose 3*i + 7 = a, j*a = a - 4*i + l. Is a a multiple of 10?
False
Let j(x) = x**2 - 6*x + 6. Let f be j(6). Let i(d) = 29*d + 9. Let v(n) = 10*n + 3. Let k(p) = 4*i(p) - 11*v(p). Is 16 a factor of k(f)?
False
Let c = 6 + 7. Does 13 divide c?
True
Let y(m) = 2*m**3 - 4*m**2 + m + 4. Let x be y(3). Let s = -3 + x. Is 11 a factor of s?
True
Let p(a) be the first derivative of a**4/4 - 5*a**3/3 + 3*a**2 - 4*a - 2. Let w be (3 - 26/6)*-3. Is p(w) a multiple of 4?
True
Let d = -5 + 8. Does 22 divide (-2)/d*900/(-24)?
False
Let v = 10 - 0. Let l(s) = -s**3 + 6*s**2 - 2*s - 3. Let k be l(5). Suppose -k - v = -2*b. Is b a multiple of 11?
True
Suppose 3*n - 254 = 73. Does 44 divide n?
False
Let d = 11 + 1. Does 12 divide d?
True
Let b(v) = 2*v**3 - 3*v**2 + 1. Let h be b(2). Suppose h*x = -43 + 238. Suppose -2*f + 41 = -x. Is f a multiple of 20?
True
Let b(r) = -r**2 + 6*r + 50. Let f be b(0). Let j be 28/6 - (-2)/6. Suppose -n - j*z + f = 0, 2*n + n = -z + 122. Is n a multiple of 17?
False
Suppose 0 = -7*z + 1031 + 33. Is 19 a factor of z?
True
Suppose 4*y + 1 + 3 = 0. Let z = y + 1. Suppose z = -v + 5*v - 40. Does 10 divide v?
True
Let l(r) = -5*r + 15. Let h(q) = -81*q + 240. Let v(g) = 2*h(g) - 33*l(g). Does 6 divide v(11)?
True
Does 29 divide 1 + 165 - 0*5/30?
False
Let i be (-7)/(-2) - (-3)/6. Let t(v) = v**2 - v - 2. Is t(i) a multiple of 6?
False
Let c(s) = -6 - 13*s - 1 - 3*s - 4*s. Is 13 a factor of c(-2)?
False
Suppose 1 - 11 = -5*q. Suppose -4*k + q*k + 68 = 0. Does 18 divide k?
False
Let o(c) = c. Let n be o(-6). Let h be (2/n)/(2/(-66)). Let l = h - 6. Is 2 a factor of l?
False
Let u(n) be the third derivative of -n**4/12 - 7*n**3/6 + 2*n**2. Is 3 a factor of u(-7)?
False
Suppose -7*h + 3*h + 8 = 0. Let w(q) = 10*q + 2. Is 11 a factor of w(h)?
True
Suppose 0 = -4*g + g + 21. Let h(d) = g*d + 9*d - 4*d. Is h(2) a multiple of 16?
False
Suppose -4*i = -4*z - 276, 4*z = -2*i + 2*z + 150. Suppose h = -h + i. Does 9 divide h?
True
Suppose -4*y + 400 + 20 = 0. Is 18 a factor of y?
False
Let j = -3 + 0. Let r(c) = -14*c + 4. Is r(j) a multiple of 23?
True
Suppose -3*c + 1 = -8. Is 18 a factor of c - -40 - (4 - 1)?
False
Let l(h) = h**2 + 5*h. Let m be l(-5). Suppose -4*g - 3*n + 72 = m, 2*g + n + n = 38. Is 5 a factor of g?
True
Let p(u) = -2 - 3*u - 4*u + 6*u. Let n be p(-2). Is 4 a factor of 4/(-1 + n - -2)?
True
Let p = 68 - -11. Does 14 divide p?
False
Suppose -2*n - 224 = -4*v, -5*n + 63 = 2*v - 61. Is 19 a factor of 4*(-4)/(-24)*v?
True
Let y(t) = 3*t + 4. Let m(a) = 2*a + 5. Let i(w) = 3*m(w) - 4*y(w). Is i(-6) a multiple of 14?
False
Is 17 a factor of (-11)/(-2 + 60/32)?
False
Suppose 0 = 4*v - o - o - 72, -2*v - o = -28. Let m(g) = -2*g**2 + 4*g**2 - v*g + 13*g. Is 18 a factor of m(6)?
True
Let i be 5 + -3 + 1 - 0. Suppose -i*f = -f - 1400. Is f/16 + (-1)/(-4) a multiple of 23?
False
Let i be ((-10)/6)/(2/(-6)). Suppose -i*a = 4*v - 319, -4*v + 0*a + 5*a + 329 = 0. Is 27 a factor of v?
True
Let h = -4 + 8. Suppose -h*m + 2 = -2*q - 126, -5*q = 3*m - 109. Suppose 51 = 4*n - 3*g, -m - 31 = -5*n + 4*g. Does 6 divide n?
True
Let q(h) = h**2 + 3*h - 13. Is q(-6) a multiple of 2?
False
Is 7 a factor of (8 + -2 - 4) + 39?
False
Let k(i) = -i**3 + i + 3. Let d be (3 + (-6)/3)*0. Let o be k(d). Let r(x) = 2*x**3 - 4*x**2 + 2*x + 3. Does 17 divide r(o)?
False
Suppose -2*a + 10 = -f, 20 = 4*a + f + 4*f. Suppose a*h = -0*h + 135. Suppose -3*m + h = 3*s, 2*s + m - 22 = 3*m. Is s a multiple of 5?
True
Suppose -s = 3*q - 7, -8 = -3*s + 2*q + 2*q. Let l be s*-1*(-9)/12. Suppose l*m = 24 + 39. Is m a multiple of 9?
False
Is 11 a factor of (33/(-22))/(6/(-904))?
False
Suppose 200 = 5*n - h + 6*h, h - 80 = -2*n. Is n a multiple of 4?
True
Suppose 5*c - c + 3*t = -15, -13 = 3*c + 4*t. Let n(b) = -b**3 - 3*b**2 - 5*b - 4. Let h be n(c). Let u = 26 - h. Is 11 a factor of u?
False
Let p = -159 - -237. Does 29 divide p?
False
Suppose 3*c + 14 = 50. Suppose -2*m = -b + c, 