Is (2 - -26) + 6/(-3) a multiple of 10?
False
Is 7 a factor of (-4)/6 - (-56)/3?
False
Suppose -3*t - d = 2*t - 35, 3*t = 4*d + 44. Suppose f = -f + t. Is 4 a factor of f?
True
Let y(i) = i**3 + i**2 - i + 2. Let q be y(0). Suppose -t - 24 = -q*u + 18, 2*u = -3*t + 58. Suppose 0 = 3*b - r - u, -7 - 3 = -5*b - 4*r. Is b a multiple of 6?
True
Let h = -24 - -97. Is 17 a factor of h?
False
Suppose -32 = -b - 29. Suppose 3*y - 6*y = 0. Suppose 20 = 4*o + 2*l, y = -b*l - 6 - 0. Does 4 divide o?
False
Let a = 17 - 15. Is a even?
True
Suppose -6*a + 62 = -5*a. Is a a multiple of 11?
False
Let p be (-1 + -1)/((-6)/21). Suppose 4*v = -2*y + 226, 5*y + p = -v + 77. Suppose 2*f = 2*w - 48, -2*w - 2*f - 19 = -v. Is 21 a factor of w?
True
Let t(j) = -j**3 - 6*j**2 - j. Let w be t(-6). Let g = w + 4. Is 76/g - (-4)/10 a multiple of 4?
True
Does 17 divide -122*(2/1)/((-2)/4)?
False
Suppose 72 = -t + 5*t. Is 5 a factor of 266/t - (-2)/9?
True
Let h(c) = -47*c + 1. Is h(-1) a multiple of 24?
True
Does 5 divide (-9 - 9/(-3))*-2?
False
Suppose -70 = -3*z + 14. Is 4/(-14) + 1072/z a multiple of 14?
False
Let r(y) = -y**3 + 5*y**2 - y + 7. Let p be r(5). Suppose 0 = h - p - 1. Does 26 divide -39*((-2)/h + 0)?
True
Let g = -1 + 1. Suppose g = 6*y - 9*y + 63. Is y a multiple of 15?
False
Suppose -3*y = f - 36, -3*y + 63 = 2*f - 0*y. Suppose 5*s + 3*d = 113, -s - 2*d = 3*d - f. Is s a multiple of 11?
True
Suppose -u + 4*n = 9*n - 26, u = n + 44. Is (0 - (-4 - 0)) + u a multiple of 12?
False
Is 2 a factor of (-6*(-18)/(-3))/(-2)?
True
Let m be 14/4*(-60)/(-70). Suppose 198 = m*c + 18. Does 18 divide c?
False
Let w = -4 + 5. Suppose 26 = 4*i - 3*u, -i - 3*u - 2 = -w. Suppose -i*n + 24 = -n. Is 6 a factor of n?
True
Suppose 4*t - 18 = -5*s, -3*t + 3*s = 2*t - 4. Let v be ((0/(-2))/3)/t. Is 5 a factor of (-7)/14*(v - 10)?
True
Suppose -b = -3*b + 120. Is b a multiple of 12?
True
Let n be 1/(-3) - 2/3. Let j = 6 - n. Suppose 0 = v + j - 47. Does 20 divide v?
True
Suppose -22 = 2*w - 4*z, z - 9 = 5*w + 1. Does 9 divide 4 + -3 - 28*w?
False
Suppose 0 = 3*m + 2*f + 2*f - 19, -75 = -5*m + 2*f. Does 3 divide m?
False
Suppose -2*c + 1 = -9, -d - 4*c + 30 = 0. Let m be (236/(-6))/(d/(-15)). Suppose -4*l + m = -3*n, 0*n = -n + 3. Does 6 divide l?
False
Let t = 450 - 265. Is 19 a factor of t?
False
Let t(b) be the third derivative of b**6/120 - 2*b**5/15 + b**4/3 - 2*b**3/3 - 2*b**2. Does 3 divide t(7)?
True
Suppose -3*k - 5*y - 13 = 0, 0 = 5*k + 4*y - 13 + 39. Let t(l) = l**3 + 7*l**2 + 6*l + 3. Is t(k) a multiple of 2?
False
Is 8 a factor of -24*(1 + (-2)/1)?
True
Suppose h - 5*v - 20 = -h, -4*v - 13 = -h. Suppose -6 = 3*q, -h*q + 91 = 3*a - 22. Does 25 divide a?
False
Let v be (-6)/(-9) - 1192/(-12). Let d be 2 - 1/(-2)*0. Suppose -2*y - y = 4*x - v, -x = d*y - 60. Does 14 divide y?
True
Suppose 0 = 3*t + 5*u - 2, 5*t - u = 22. Suppose -125 = -t*g - g. Is g a multiple of 25?
True
Suppose -3*x + 9 - 555 = -3*d, 2*x = -5*d + 931. Is d a multiple of 37?
True
Let i be 2/4 + 446/4. Let y = 2 + 3. Suppose y*j + 7 = i. Is j a multiple of 14?
False
Let r(d) = -10*d**2 - 3*d + 4. Let q(m) = 3*m**2 + m - 1. Let o(y) = 7*q(y) + 2*r(y). Is 2 a factor of o(-2)?
False
Suppose -3*u - 9 - 9 = 0. Let s = u + 15. Does 3 divide s?
True
Suppose 5*u = 817 + 303. Suppose -u - 42 = -7*b. Is b a multiple of 25?
False
Suppose 2*n - 94 = -z + 6*n, 2*z - n - 195 = 0. Suppose 2*p - z = 2*x, -5*p - 7*x + 3*x = -290. Let i = p - 24. Is i a multiple of 15?
True
Suppose 1 = 3*p - 2*p. Let f(l) = -3 + 11 - p - l. Is f(0) a multiple of 7?
True
Let q(k) = 6*k + 6. Let w(m) = 0 - 1 + 4*m + 5 + 0. Let f(h) = -5*q(h) + 8*w(h). Is f(2) a multiple of 6?
True
Suppose -3*k - 4*y + 22 = 0, 4*k - 39 - 7 = -2*y. Let n = k - -25. Is n a multiple of 13?
True
Let x = -39 - -59. Suppose 4*i - 252 = 3*b, 5*b + 0 = -x. Does 15 divide i?
True
Let v(m) = -m**2 + m - 1. Let b(i) = 2*i**2 - 9*i. Let n(y) = -b(y) - 3*v(y). Is n(-6) a multiple of 3?
True
Is (3/(-9))/((-3)/999) a multiple of 16?
False
Let v(p) be the first derivative of p**3 + 3*p**2/2 + 2*p + 1. Is v(-3) a multiple of 10?
True
Let m(b) = 23*b + 1. Let p be m(-1). Let u be (-5)/(30/9)*p. Let d = -22 + u. Is d a multiple of 4?
False
Suppose -16 = 4*i, 5*r - 2*r - 44 = 2*i. Is 12 a factor of r?
True
Suppose 2*c = 2 + 298. Let u = -160 + 54. Let d = c + u. Does 22 divide d?
True
Let j(r) = -1 + 12*r**2 - 2*r**2 - 6*r**2 + 15*r**2. Does 5 divide j(1)?
False
Let l be (-1 - -3) + 6 + -4. Suppose -2 = -3*t + l. Suppose t = -4*p + 26. Is 2 a factor of p?
True
Let v(b) = 3*b - 2. Let s be v(-6). Let x = s - -41. Does 21 divide x?
True
Let d(s) = 3*s + 1. Let a be d(-1). Let o(c) = 7*c**2 - 3. Let n(h) = h**2 + h. Let l(k) = -2*n(k) + o(k). Is 7 a factor of l(a)?
True
Let k(n) = -n**3 + 13*n**2 + 21*n - 39. Does 55 divide k(12)?
False
Let q(y) = -y**3 - 6*y**2 + 6*y - 7. Let t be q(-7). Let c(b) = -b + 4. Let v be c(t). Suppose -2*d - 2*d + 2*n = -30, 5*d + v*n = 5. Is 3 a factor of d?
False
Is (-1 + -2)*140/(-30) a multiple of 7?
True
Let a(t) = -7*t**2 - 3*t - 2. Let z be a(-2). Let u(m) = m - 8. Let l be u(6). Is 11 a factor of -2 + l + 3 - z?
False
Let s(z) = 2*z**2 - 8*z + 0*z**2 - 2*z - 3. Is s(7) a multiple of 11?
False
Let v(l) be the third derivative of -l**6/12 + l**5/60 + l**4/12 + l**3/6 - l**2. Does 5 divide v(-1)?
True
Let s = -6 + 9. Let g(l) = -5*l**2 - 6*l - 5 + 0*l**s - l**3 + 4*l. Is 5 a factor of g(-5)?
True
Let c be -2*2*-6*1. Let b = -11 + c. Does 12 divide b?
False
Let m = 5 - -275. Does 8 divide m?
True
Suppose 108 = -3*d + 573. Is d a multiple of 31?
True
Suppose -3*l - 3*s + 277 = -236, 2*s = -5*l + 864. Suppose l + 22 = 4*v. Is 18 a factor of v?
False
Suppose 2*w + o = -13, -o + 16 - 1 = -5*w. Let y = w + 11. Does 5 divide y?
False
Is 3/(-3) + 55/1 a multiple of 18?
True
Suppose -4*b + 303 = 63. Suppose -4*n + 24 = -4*j, -j + 6*j = -4*n + b. Is 8 a factor of n?
False
Let q = -50 + 91. Is 7 a factor of q?
False
Is (-3*(-129)/36)/((-3)/(-12)) a multiple of 43?
True
Suppose c = -4*y + 40, -5*y - 265 = -7*c + 3*c. Let o = -32 + c. Is o a multiple of 10?
False
Let k(r) = 2*r**3 + 6*r**2 + 3*r - 3. Let i be k(-4). Let g = i + 85. Let m = g + -26. Does 9 divide m?
False
Let f(b) = b**3 - 6*b**2 - 8*b + 5. Let x be f(7). Is x/(2/(-3)) + 13 a multiple of 8?
True
Suppose 4*b + 2*o - 161 + 47 = 0, 0 = b - 5*o - 45. Suppose -3*s + 2*s = t - b, 27 = t + 2*s. Is t a multiple of 12?
False
Let j = -37 + 67. Is j a multiple of 15?
True
Let p(x) = -8*x**2 + 6 - x**3 - 2 + 5 + 4*x. Let t be p(-10). Let h = t - 121. Is h a multiple of 19?
False
Let o(u) = -u + 4. Let a be o(2). Suppose -2*y + 17 = 3*d, -a*d + y + y = -28. Is 9 a factor of d?
True
Let d(t) = t**3 + 4*t**2. Let p(i) = i**2 + 5*i - 2. Let f be p(-5). Let r be d(f). Suppose -3*h = -2*h + 3*a + 8, h = a + r. Does 4 divide h?
True
Let c(d) = -15*d - 3. Let a be c(-5). Suppose -5 = g - a. Is 11 a factor of g?
False
Suppose 6*m + 30 = 8*m. Does 5 divide m?
True
Let o(x) = x**2 + 9*x - 8. Let j be o(-10). Suppose j*l - 19 = -4*c - 1, -66 = -5*l - 3*c. Is 15 a factor of l?
True
Let r(z) = 5*z - 3. Let f be 3/(2 - 10/8). Suppose 2*x - f*k = -16, 2*k + 13 = 4*x + 3*k. Is 7 a factor of r(x)?
True
Suppose -4*r + r = 984. Is r/(-16) - 1/2 a multiple of 10?
True
Let x(a) = 14*a - 1. Let c(r) = -56*r + 3. Let l(m) = 2*c(m) + 9*x(m). Is 11 a factor of l(2)?
False
Suppose 2*m = 5*q + 6*m + 195, -156 = 4*q - 5*m. Let i = -17 - q. Is i a multiple of 5?
False
Let j(b) = -b + 3. Is 7 a factor of j(-11)?
True
Let h(z) = 2*z - 4*z - 11 - z. Is 8 a factor of h(-8)?
False
Suppose 0 = -p - 0*p + 23. Suppose -k + p = 7. Suppose -2*o + k + 4 = 0. Is o a multiple of 5?
True
Let a(b) be the first derivative of b**3/3 + b**2 - 9*b + 4. Is 18 a factor of a(6)?
False
Suppose 0 = 5*m - u - 884, 164 = m - u + 4*u. Is 11 a factor of m?
True
Let o(q) = 4*q - q**2 + 1 + 1 + 3*q**2 - q**3. Let d be o(-3). Suppose d = 4*f + 3*c, -2*f - 2*c = 2*c - 30. Is 3 a factor of f?
False
Suppose -3*f = 2*h - 11, 5*f + 4*h = 2*h + 17. Let d(g) = g**2 + 3*g + 2. Is d(f) a multiple of 8?
False
Is 190/(-3)*3/6*-6 a multiple of 11?
False
Let z = -156 - -231. Is 15 a factor of z?
True
Suppose -4*k + 12 = -k. Let x be 1*-6*(-2)/k. Suppose p = 5*y - 77, 42 = -