True
Suppose 6*m - 83 = 163. Suppose -x + 5*h = -41, 4*h - m + 173 = 4*x. Is 11 a factor of x?
False
Let w be -2 - -2 - -3 - 3. Suppose -2*x + 5*x - 4*z - 34 = w, 8 = -2*z. Suppose 12 = 3*q - x. Is q a multiple of 6?
True
Let h(d) = -9*d + 330. Is h(0) a multiple of 65?
False
Suppose 0*c - 5*a = 2*c + 629, 2*a = c + 292. Let l = c - -465. Does 20 divide l?
False
Suppose 0 = -2*j - 1858 + 6598. Is 13 a factor of j?
False
Let n = 1088 + -428. Suppose -8*l + 13*l = n. Is 16 a factor of l?
False
Suppose -3*t - 33 = 4*k, t = -k + 2 - 11. Is (k - 3)*(-8)/((-4)/(-1)) a multiple of 7?
False
Let g(b) = -24*b**3 + b + 2. Suppose -2*o - 5*u = -8, 0 = -4*o - 2*u + 7*u - 14. Is 5 a factor of g(o)?
True
Let m(d) = -9*d**2 + 7*d - 2. Let l be m(6). Suppose -28 = -5*w + 2*q + 15, -44 = -5*w + q. Is 20 a factor of (l/6)/((-6)/w)?
False
Suppose 4*a - 473 = -s, 3*a - 188 - 157 = -4*s. Let b = a + -39. Suppose -j = 4*j - b. Is 6 a factor of j?
False
Does 45 divide (132/(-15) - -6)*(-1350)/6?
True
Let l(g) = -2*g**3 - 13*g**2 + 3*g - 7. Suppose 2*n - 3*u = -2, n - 3*u = 3*n + 26. Is 3 a factor of l(n)?
True
Let p = -196 - -386. Let n = p + -114. Does 38 divide n?
True
Suppose -2*c + 4*h - 8*h + 6068 = 0, -c - 5*h = -3028. Is 49 a factor of c?
True
Let s = 198 - 40. Suppose -2*x + s = 120. Is x a multiple of 7?
False
Suppose -3*m + 0*m = 285. Let f = m - -261. Suppose -6*h - f = -8*h. Does 25 divide h?
False
Let p(a) = 8*a - 6. Let c be p(1). Suppose -3*s = -6*s + c*k + 70, 0 = s + 4*k - 28. Does 6 divide s?
True
Let s = -252 - -414. Suppose -4*b - 2*n = -s, 10*b + 2*n - 204 = 5*b. Does 20 divide b?
False
Let s(z) = 22*z**2 + 34*z + 145. Does 24 divide s(-4)?
False
Let f = -193 + 200. Is 3 a factor of f?
False
Let f(k) = k - 1. Let j(o) = -6*o + 8. Suppose 4*w - 22 = 5*t - 2*t, -4*t - 4 = w. Let p(m) = w*f(m) + j(m). Is p(-4) a multiple of 4?
True
Let r(h) = -5*h + 38. Let s(m) = -m + 1. Let c(f) = r(f) - 6*s(f). Does 8 divide c(0)?
True
Suppose -345 - 124 = -3*u - l, 2*u + 2*l = 314. Let h = -101 + u. Does 47 divide h?
False
Let r = -541 + 1066. Does 38 divide r?
False
Let r be ((-5)/15)/(0 - 3/36). Suppose 5*k + 4*g = -36 + 213, -r*k + 135 = g. Does 5 divide k?
False
Suppose w + 1 = 0, -2*d + 1 = 5*w - 10. Let v be (-15)/6*d/(-10). Suppose -v*t + 15 = -t. Does 2 divide t?
False
Is 15/(-135) + 3484/9 a multiple of 9?
True
Let v = 100 + -53. Does 5 divide v?
False
Suppose -3*i + m + 297 = -29, 16 = 4*m. Is i a multiple of 10?
True
Suppose 4*n - 98 = -3*n. Suppose 5*o - 194 = -n. Does 6 divide o?
True
Suppose -10*y + 66 = y. Suppose 0 = 2*p + y, 3*i + i - 4*p - 224 = 0. Is i a multiple of 12?
False
Suppose -5*t = t - 1506. Suppose 14 + t = 5*q. Is q a multiple of 16?
False
Let p(u) = -7*u**3 - 2*u**2 + 4*u - 1. Let r be p(2). Let j = r - -120. Is j a multiple of 11?
False
Does 21 divide (-78)/(40/(-42) + 12/18)?
True
Let j = -416 + 788. Does 33 divide j?
False
Suppose -3*u + 7 = 1. Suppose -u*f + y + 21 = 2*f, 0 = -2*f - 5*y + 27. Is 3 a factor of f?
True
Suppose 3*t + 5 = 4*t. Let s(i) = 13*i - 21. Is 11 a factor of s(t)?
True
Let l be ((-32)/(-10))/((-5)/(-25)). Suppose 20 = 3*s - d, 0 = 4*s + 3*d + d - l. Suppose -s*n + n = -65. Does 4 divide n?
False
Let c(d) = 6*d**3 - 2*d**2 - 3*d - 3. Let k(o) = -o**3 + o. Let a(m) = -3*c(m) - 21*k(m). Is 49 a factor of a(4)?
False
Suppose -5*t - 24 + 9 = 0, 2*t - 642 = -3*v. Is v a multiple of 5?
False
Let w be (126/27)/((-2)/(-3)). Suppose w*m = 4*m. Let f = m + 8. Does 3 divide f?
False
Suppose 45*o - 330 = 44*o. Does 30 divide o?
True
Let f(v) = -119*v - 3. Let b = -31 - -30. Is 10 a factor of f(b)?
False
Let g(n) = -6*n**2 + 25*n - 15. Suppose -k = t + 11, -3*t + 3*k - 55 = 2*t. Let r(u) = u**2 - 5*u + 3. Let h(d) = t*r(d) - 2*g(d). Is h(4) a multiple of 11?
True
Let v(s) = 285*s**3 - 6*s**2 + 3*s + 9. Does 64 divide v(2)?
False
Let g(x) = -304*x - 75. Is 31 a factor of g(-3)?
True
Let m = -5 + 8. Suppose -m*a + 209 = 41. Does 8 divide a?
True
Suppose 2*y - 4027 = 207. Is 48 a factor of y?
False
Let m = 878 - 828. Is 4 a factor of m?
False
Suppose -4*r = 2*f - 1994, 7 = -4*f + 3. Is 32 a factor of r?
False
Let q(c) = 8*c**2 - 62*c**3 + 16 + 124*c**3 - 63*c**3. Is q(7) a multiple of 22?
False
Let o = 78 + -33. Suppose 40*s - o*s + 565 = 0. Is 11 a factor of s?
False
Let g(r) = 3*r**2 + 7*r - 182. Is g(9) a multiple of 44?
False
Let a = -468 - -966. Is 47 a factor of a?
False
Suppose 21*b = 8315 + 6280. Is 20 a factor of b?
False
Let o be -11 + 34 + (2 - 0). Let j = 56 - o. Does 8 divide j?
False
Let c be 5 + (5 - 6) + (-1 - 1). Suppose 0 = q - 0*q + 5, c*t + 3*q - 17 = 0. Does 16 divide t?
True
Let x(u) = 19*u - 3. Let j be x(2). Let p = j + -9. Suppose 4*k - 146 = -p. Does 10 divide k?
True
Let s be (1/2*2*0)/3. Let o = 23 + s. Does 23 divide o?
True
Let p(g) = -g**2 - 5. Let b be p(0). Let y(t) = -33*t + 3. Is y(b) a multiple of 42?
True
Let x = -30 + 32. Suppose -j - 242 = -6*j - 3*u, u + 99 = x*j. Does 7 divide j?
True
Let h = 178 - -135. Is 16 a factor of h?
False
Let g(j) = 6*j - 9. Let o be g(5). Let p = o + -27. Is 7 a factor of (16/p)/((-8)/84)?
True
Let k(z) = -32*z**3 - 7*z**2 - 15*z. Let j(n) = 32*n**3 + 6*n**2 + 13*n. Let p(x) = 7*j(x) + 6*k(x). Let h = 0 - -1. Is p(h) a multiple of 11?
True
Suppose 4 = d + 9. Let l = 89 - d. Does 17 divide l?
False
Let g(s) = 19*s - 1. Let m be g(1). Suppose m + 66 = 4*w. Is (7/w)/(1/75) a multiple of 8?
False
Let v(c) = -4*c + 4. Let l be v(-5). Let s(u) = u**2 + 3*u - 2. Let r be s(1). Suppose -4*f + 3*f + l = r*h, 4*f - 60 = h. Is f a multiple of 4?
True
Suppose 218 = -4*r + 2*r. Let a = r + 167. Is a a multiple of 12?
False
Suppose -25*r - 700 = -3850. Does 63 divide r?
True
Let o be -5*(-6)/135 + 7609/63. Suppose o = v + 89. Does 4 divide v?
True
Let x = 562 + -380. Is 14 a factor of x?
True
Let j(x) = x**2 + 20*x - 9. Let w be j(-18). Let p = 34 + w. Let f = p + 30. Is 11 a factor of f?
False
Let s(v) = 168*v. Let l be s(1). Let r = l + -98. Is r a multiple of 14?
True
Let c(g) = 1 - 3 + 0 - g. Let m be c(-3). Is (m - 25)*6/(-9) a multiple of 4?
True
Suppose -66*f + 130 = -64*f. Is 23 a factor of f?
False
Let y be (8/(-3))/(12/18). Let r(t) = -t**3 - 3*t**2 - 2*t + 4. Does 12 divide r(y)?
False
Let n(f) = -22*f - 5. Let q = 1 - -1. Suppose 0 = q*r + 1 - 11, -4*x - 3*r + 7 = 0. Is 13 a factor of n(x)?
True
Let z(b) = -7*b + 3. Let w be z(3). Let o = w - -16. Is 45/(-1)*o/6 a multiple of 15?
True
Let m be (-1 - 8/4)*-1. Suppose 257 = -0*d + 2*d + m*k, 0 = -d + 5*k + 109. Is 31 a factor of d?
True
Let z = 671 + -587. Is z a multiple of 3?
True
Let c(a) = -a**2 - 66*a + 337. Does 15 divide c(-59)?
True
Suppose -9 = 8*w - 11*w. Suppose -k = -2*q + 85, 3*q + q + w*k = 165. Does 7 divide q?
True
Let l(u) = u**3 - u**2 + 4. Let f be l(0). Suppose 2*y + 5*n - 2 = y, f*n + 4 = 2*y. Suppose -3*w = y*t - 69, -92 = -4*w + t - 4*t. Does 7 divide w?
False
Let b(h) = h**3 + 8*h**2 + 5*h - 3. Let t(f) = -7*f + 30. Let u be t(5). Is b(u) a multiple of 13?
False
Let v(h) = h**3 - 8*h**2 + 4*h + 15. Let t(g) = -g - 5. Let j be t(-14). Does 20 divide v(j)?
False
Suppose 0 = 123*f - 131*f + 1336. Is f a multiple of 9?
False
Let n = -12 + 15. Suppose 82 + 53 = 4*w - n*x, -2*w + 55 = x. Is 5 a factor of w?
True
Suppose -3*y + 1400 = -4*v, 5*v = 4*y - 903 - 964. Is 78 a factor of y?
True
Let p(t) = 497*t + 1193. Is 33 a factor of p(8)?
False
Let r(a) = a**3 - 13*a**2 - 12*a + 9. Let k(t) be the second derivative of t**4/4 - 5*t**3/6 + t**2 - 9*t. Let s be k(3). Does 10 divide r(s)?
False
Let w be -1 - 4/2 - (-203 + 9). Let n = w - 47. Is n a multiple of 24?
True
Let l(v) = -19*v + 112. Is l(0) a multiple of 9?
False
Let n(r) = r**3 + 40*r**2 + 113*r + 36. Does 131 divide n(-33)?
True
Is ((-12)/(-16)*-76)/(2/(-56)) a multiple of 114?
True
Let k(b) = 3*b**3 + 5*b + 12*b**2 - 4*b**3 - 2 + 0*b**3 - 4*b**2. Let d be k(7). Suppose 4*m - 14 - d = 0. Is m a multiple of 24?
True
Suppose -15*a + 3777 = 1047. Is 7 a factor of a?
True
Let r = 42 - 30. Suppose 4*d - 2*t - 13 = -5, 3*t = 4*d - r. Suppose 5*y - 2 - 28 = d. Is y even?
True
Let d = 8 - 6. Suppose -22 = -d*p - 4. Is (-4)/(-6)*351/p a multiple of 5?
False
Let l be (-2)/6 + (-8)/(-24). Suppose 4*r + 4*m - 32 = 0, 0 = 3*m - l*m - 12. Suppose 