iple of 12?
False
Suppose -3*r + m = 25, m + 25 = -2*r + 10. Let b = r + 12. Suppose 3*h = 2*d + 155, -2*h + b*d + 102 = 2*d. Does 19 divide h?
False
Let f = -6 - -8. Let c be 9*-1*f/(-6). Let v = 6 + c. Is 4 a factor of v?
False
Does 30 divide (-3)/(-4)*(7 + 233)?
True
Does 5 divide (-6)/(-4)*(-608)/(-24)?
False
Suppose 2*v = -4*r + 22, 30 = 4*v - v + 3*r. Does 3 divide v?
True
Let w(a) = -a**3 + 5*a**2 - 3*a - 4. Let b be w(3). Suppose -2*s = -b*s - 846. Is s/(-9) - 1/3 a multiple of 8?
False
Let s = -3 + 5. Suppose 7*d = s*d - 165. Is 4 a factor of (-2)/(6/d)*1?
False
Suppose 15 = -0*b - 3*b. Let f be 32*(45/(-4))/b. Suppose 5*g + 80 = 3*l, -f = -4*l - g - g. Is l a multiple of 20?
True
Let q(x) = x**3 + 8*x**2 + 6*x - 3. Let t be q(-7). Let s = t + 8. Is 12 a factor of s?
True
Let q = 87 + -26. Is q a multiple of 54?
False
Suppose -3*y + 8*y = -495. Let k = -60 - y. Is k a multiple of 13?
True
Let z(r) = r**2 - 1. Let o be z(2). Let j(c) = c**3 + c**2 + 4*c - 3. Is 12 a factor of j(o)?
False
Suppose 5*r = -5*m + 230, -4*r = 3*m - 2*r - 137. Is 6 a factor of m?
False
Let c = -1 - 1. Let n be 1/(-2) + (-11)/c. Suppose n*y + 10 = 0, 6*q = q + 5*y + 80. Is 5 a factor of q?
False
Does 9 divide 28679/153 + 4/(-9)?
False
Let i = -10 - -9. Is 7 a factor of i/(-1 - 40/(-42))?
True
Let k = 18 - 13. Suppose -k*d + 15 = -6*z + z, 5*d + 5*z - 5 = 0. Suppose -d*l - 36 = -2*a, -2*a - 4*l + 3 + 9 = 0. Does 5 divide a?
False
Is (-296)/(-40) - (-3)/5 a multiple of 8?
True
Let m(c) = 11*c. Let x(k) = -12*k + 1. Let q(p) = -6*m(p) - 5*x(p). Is q(-4) a multiple of 5?
False
Let b be 10*((-17)/(-5) - 3). Let h(q) = q**2 - 4*q + 6. Does 3 divide h(b)?
True
Suppose -3*l - 7 = 2*r, -5*l - 7 = -2*r + 3*r. Is ((-6)/r)/(3/8) a multiple of 8?
True
Let z = -44 - -88. Does 22 divide z?
True
Suppose 137 = 3*y - 7. Suppose 0 = -3*h - 2*c - 62, -3*h - 22 = -2*c + y. Let x = 47 + h. Does 10 divide x?
False
Suppose -22 = -3*i - 5*y, 0 = i - 10*y + 5*y - 34. Is ((-50)/8)/(i/(-56)) a multiple of 25?
True
Let j be 98 + (3 - 7 - -1). Suppose 5*f - 4*s - j - 295 = 0, -f + 5*s = -99. Does 20 divide f?
False
Let c = -30 - -21. Let v = c - -83. Is v a multiple of 14?
False
Let j be 2/(-9) + 10/45. Let o be (j + -3)/((-9)/6). Suppose -44 = o*t - 3*t. Is t a multiple of 22?
True
Is ((144/(-28))/(-1))/(6/63) a multiple of 27?
True
Let q(i) = -6*i + 1. Let s(g) = -30*g + 6. Let a(j) = -11*q(j) + 2*s(j). Is 11 a factor of a(6)?
False
Let z = -1 - 4. Let s be z + 2 + 2 + -2. Is 40/(-2)*s/6 a multiple of 10?
True
Suppose 5*y + 4*d = 83, -11 = -y + 2*d - 0*d. Suppose -2*n = -v - n + 18, 5*n + y = 0. Is v a multiple of 4?
False
Suppose 0 = -6*p + p + 10. Suppose -2*b = -p*t + 14, 1 = -5*b - 4. Suppose t*r = r + 70. Does 14 divide r?
True
Let t = 63 + -21. Does 11 divide t?
False
Let a(c) = c + 7. Does 6 divide a(5)?
True
Suppose 3*a = 5*a, 4*a = 2*d - 6. Suppose -2*c + 3*c - 5*q = 12, 0 = -4*c - d*q + 48. Is 5 a factor of c?
False
Suppose -4*x + 660 = -972. Suppose 306 = 4*k - 5*s - 45, -4*s = 5*k - x. Let c = -56 + k. Is c a multiple of 14?
True
Let h = -27 - -18. Let f(m) = m + 1. Let u(w) = -6*w. Let n(c) = h*f(c) - u(c). Does 9 divide n(-6)?
True
Let s(x) = x**3 + 10*x**2 - 6*x - 3. Let j(p) = p**2 - p. Let v(d) = -5*j(d) + s(d). Is 5 a factor of v(-4)?
False
Let v = 213 - 101. Suppose m - v = -m. Suppose m = 5*j - 3*c, -3*j - c + 47 - 5 = 0. Is 13 a factor of j?
True
Suppose m + 3*m - j = 291, 296 = 4*m + 4*j. Suppose -4*o = 5 - m. Is o a multiple of 13?
False
Suppose -111 + 12 = -3*i. Suppose -f - i = -4*n, 5*n - 4*f - 27 = 28. Does 4 divide n?
False
Suppose -672 = -6*k - 6*k. Is k a multiple of 8?
True
Let d(f) = -f**3 + f**2 - f + 3. Let z be d(0). Suppose -z*g + 9 = -3. Is 9 a factor of 3*(1 - g)*-1?
True
Suppose 2*q = 3*x + 7*q - 28, -5*q + 23 = -2*x. Let a(y) = 20*y**3 - y**2. Is a(x) a multiple of 6?
False
Let s(z) = 23*z**3 - z. Let m be s(-1). Let l be m/(-5) - (-4)/(-10). Suppose 16 + l = 5*j. Is j a multiple of 2?
True
Let n(o) = o**3 - 7*o**2 + 5*o - 6. Is 9 a factor of n(7)?
False
Let d(z) = -1057*z + 203. Let k(l) = -88*l + 17. Let s(p) = -4*d(p) + 49*k(p). Let j(b) = 17*b - 4. Let i(y) = -21*j(y) - 4*s(y). Is i(-1) a multiple of 7?
True
Let g(k) = 1. Let l(p) = p - 1. Let q(j) = -3*g(j) - 4*l(j). Let d be q(2). Is 4/14 - 75/d a multiple of 11?
True
Suppose 54 = -2*v - 70. Suppose -4*o - 4*a - 472 = -0*a, -2*a = o + 123. Let h = v - o. Is 19 a factor of h?
False
Let v = 17 + 4. Let z = 40 - v. Is 8 a factor of z?
False
Let u(x) = -1. Let v(k) = -k + 1. Let h(m) = 6*u(m) + 7*v(m). Does 18 divide h(-7)?
False
Let w be 6/9 - 140/(-6). Suppose 2*b + 0 = -3*h + 23, -4*h = 4*b - w. Does 4 divide h?
False
Let d = -141 + 268. Suppose 5*y + 7 = d. Is 12 a factor of y?
True
Let f(w) = -w**2 - 7*w. Suppose 4*p + 1 = -15. Is f(p) a multiple of 12?
True
Suppose j = -c - 3*j, -j + 105 = -5*c. Is 7/2*(-2 - c) a multiple of 21?
True
Let y be ((-8)/(-5))/((-1)/(-5)). Let x be (-2*1)/((-2)/y). Suppose -x = -3*q + 4. Is 4 a factor of q?
True
Suppose -x + 16 = -4. Does 8 divide x?
False
Suppose 10*c - 400 = 5*c. Is 20 a factor of c?
True
Let g be (8 - 5)/(3/9). Suppose 0 = 4*d - 5*z - 31, 5*d + 2*z - g = 38. Does 9 divide d?
True
Suppose -4 = q + q, -q - 34 = -4*l. Suppose 2*o - l = -0*o. Suppose 3*z - 4*y = -17 + 85, y + 82 = o*z. Is z a multiple of 20?
True
Suppose 0 = 10*c - 670 + 190. Is 24 a factor of c?
True
Let y be (-1 + -1)/(0 + 2). Is 1 - -3 - 0/y a multiple of 4?
True
Suppose -378 = -4*r + 362. Suppose -r = -4*o - o. Let z = o + -7. Is z a multiple of 15?
True
Let w = -1 - 8. Let y be w/(-7) + (-6)/21. Does 10 divide (-1 - -4) + 12*y?
False
Suppose -378 - 342 = -4*s. Is 36 a factor of s?
True
Let f(k) = 2*k**2 + k + 1. Let b be 48/21 - (-2)/(-7). Is f(b) a multiple of 11?
True
Suppose -14*z + 9*z + 480 = 0. Is 12 a factor of z?
True
Suppose 0 = -2*s + 5*m + 129, s - 96 = -5*m - 9. Is 36 a factor of s?
True
Is 7 a factor of (-91)/(-21)*(-2 - -5)?
False
Let t(x) = -x + 10. Let s be t(6). Suppose -3*w = s*b - 2*b + 19, w = -2*b - 13. Let z = 5 + w. Does 2 divide z?
True
Let z = 227 - 112. Suppose 5*b = -0*b - z. Let n = b + 59. Is n a multiple of 18?
True
Suppose -6 = -6*l + 3*l. Let j(r) = 0*r**l - 56*r**3 + 1 - r**2 + 3*r**2 - 2. Does 20 divide j(-1)?
False
Suppose 108 = 3*l - 423. Is l a multiple of 13?
False
Suppose 54*z + 72 = 58*z. Is z a multiple of 9?
True
Let n(b) be the first derivative of b**4/4 + 2*b**3 - 2*b**2 - b - 1. Does 6 divide n(-6)?
False
Let r(n) = 2*n**2 - 4*n - 6. Does 16 divide r(-4)?
False
Suppose -94 = -5*v + 21. Is v a multiple of 5?
False
Suppose l = 2*h - 0*l, 4*h + 3*l = 20. Suppose 5*c + 2*u = 402, -5*u + 85 = h*c - c. Is c a multiple of 15?
False
Suppose -5*n + 18 = -42. Suppose -4*p = -p - n. Suppose 0 = -p*h + 2*h + 48. Is 12 a factor of h?
True
Is 24 a factor of (-2)/(-3 - (-114)/39)?
False
Suppose 51 = 3*f - 5*n, 3*n = -2*f + f + 3. Suppose 4*i = 4*j - f + 56, 0 = 4*j. Is 11 a factor of i?
True
Let c(x) = 18*x. Let g be c(3). Suppose q + g = 3*q. Is 9 a factor of q?
True
Let o(l) = l**3 + 3*l**2 + 3. Let h = -1 - 2. Let j be o(h). Is 3 a factor of (j/(-4))/((-2)/8)?
True
Let n = -39 + 94. Is n a multiple of 11?
True
Let x = -2 - -266. Is x a multiple of 66?
True
Suppose 154 - 434 = -4*v + i, i = -5*v + 350. Is 20 a factor of v?
False
Let y = 8 + -5. Suppose -4*n + y*n = x + 1, n + 2*x + 6 = 0. Let j(z) = z + 2. Does 2 divide j(n)?
True
Let r(d) = 107*d**3 + 1. Let p be r(-1). Let j = p - -150. Does 22 divide j?
True
Let t be 6/(-4)*8/(-6). Suppose a = -t*j - 94, 2*a + 0*a - 4*j + 172 = 0. Is 18 a factor of ((-30)/(-25))/((-2)/a)?
True
Let k be ((-12)/30)/(1/10). Is k/10 + 227/5 a multiple of 16?
False
Suppose 99*u - 245 = 94*u. Does 23 divide u?
False
Let n(m) = m**2 + 9*m + 6. Let b be n(-7). Let t = -3 - b. Let w = 0 + t. Does 4 divide w?
False
Let y be 6/9*(7 + -1). Suppose 5*n - 56 = -4*c, -n + 2*n = -y*c + 24. Is 5 a factor of n?
False
Suppose 5*r - 5*b = 280, b - 203 = -4*r - 2*b. Let w = r - 27. Is w a multiple of 12?
False
Let i be 28/12 + 1/(-3). Is (-20 + 4 + i)/(-2) a multiple of 2?
False
Suppose -3*m - 22 = -4. Let w be (0 + 1)/((-3)/m). Suppose -w*g + y = -5*g + 102, -3*y = -5*g + 170. Is g a multiple of 11?
False
Let w = -43 - -67