. Suppose 5*x - a = 2*x. Is x a multiple of 6?
False
Suppose 2*b - 71 + 9 = 0. Suppose k - 5 = b. Is 15 a factor of k?
False
Suppose 4*j + 328 = -0*r + 4*r, 4*j = r - 73. Is r a multiple of 17?
True
Let q(i) = -2*i**2 + 2*i - 1. Suppose 4*u + 0 = 4. Let h be q(u). Is -26*h/((-4)/(-2)) a multiple of 10?
False
Let d be (-8)/(-36) + 25/9. Suppose -6*r + 4*r + 80 = 0. Suppose 5*v + d*h = r, -5*h = -v - 17 - 3. Is 2 a factor of v?
False
Let i(j) = -j**3 + 11*j**2 - 3. Let n be i(11). Let w be (3/n - -1)*1. Suppose -5*b + 3 = 2*s, 0 = -5*b - w - 5. Is 4 a factor of s?
True
Suppose 2*j = 2*k - 422, 0 = -2*j + 1 + 1. Does 53 divide k?
True
Suppose 6*o - 10*o + 196 = 0. Does 7 divide o?
True
Let l be -1*2*5/(-2). Suppose 4*k - l*h = 47, 5*k - 7 - 36 = h. Is k a multiple of 8?
True
Suppose -11 = -5*s + 54. Is 3 a factor of s?
False
Suppose 0 = -5*m + 3*p - 20, -2*m = -3*m + 3*p - 4. Let l(n) = 2*n**2 + 4*n - 8. Is l(m) a multiple of 2?
True
Let y be 6/(-8) - (-294)/8. Let o = y - 14. Is 13 a factor of o?
False
Let u be 262/6 - 6/9. Let t = u + -25. Is t a multiple of 8?
False
Let x = 2 + -5. Let o(p) = -p**2. Let c be o(x). Let a = 18 + c. Is a a multiple of 8?
False
Let i(x) be the second derivative of -x**5/20 + x**4/2 + x**3/3 - 7*x**2/2 + x. Does 3 divide i(6)?
False
Let g be (-8)/(-12)*3/(-2). Let l = 7 + g. Let i(q) = q**2 - 3*q - 8. Does 5 divide i(l)?
True
Let t(c) = 3*c**2 + 6*c - 1. Does 18 divide t(-7)?
False
Let f = -6 + 10. Does 11 divide 2 - f - (-33 - 2)?
True
Suppose -3*r + 6*r + 168 = 4*w, w - 27 = -3*r. Suppose -3*t + 0*t = -w. Does 12 divide t?
False
Let r = -18 + 29. Suppose -5*k + 106 - r = 0. Does 16 divide k?
False
Let v = -265 - -400. Suppose -2*w - v = -n, -3*n + w + 264 = -n. Is (-2)/(n/(-43) - -3) a multiple of 11?
False
Suppose -4*k + 512 = 4*f - 140, 0 = -3*k + 4*f + 482. Does 24 divide k?
False
Does 6 divide 1*-4 - (5 - 33)?
True
Let i = -4 + 4. Let b be 9 + 1 + i/(-4). Let v = -6 + b. Is 2 a factor of v?
True
Suppose 56 + 24 = 4*n. Suppose -n - 20 = -4*a. Is 10 a factor of a?
True
Is 21 a factor of 77*1 + -2 + 2?
False
Let z(s) = -44*s - 72. Is z(-6) a multiple of 15?
False
Let u(v) = -v**3 - v**2 + 4*v. Let m be u(-3). Suppose -w + m = w. Suppose 0 = w*s + 45 - 207. Does 20 divide s?
False
Let k(s) = -s**2 + 8*s + 1. Let d be k(9). Let a be (-3)/12 - 26/d. Suppose 23 = a*l - 31. Is l a multiple of 6?
True
Let p = 212 - 140. Suppose p = j + 2*j. Let d = j + -16. Is d a multiple of 4?
True
Suppose 5*n - 945 = -3*o - 0*n, 1547 = 5*o - n. Does 31 divide o?
True
Is 55 a factor of 5 + 408*(3 - 2)?
False
Let h = -4 + 6. Suppose 102 = 2*k - h*f, 2*k - 3*f + 0*f = 107. Is k a multiple of 24?
False
Let t(s) = 5*s**2 - 12*s + 11. Is t(6) a multiple of 8?
False
Let u(o) = 24*o**3 - 2*o**2 - 2*o - 1. Suppose 2*k = -3*s - 14, 5*s - 3*s = -k - 9. Let v be u(k). Let t = v - -61. Is t a multiple of 18?
True
Let s(n) = 4*n**3 + n**2 - 2*n + 2. Is s(1) a multiple of 3?
False
Let d(v) = 3*v**3 + 3*v**2 + 3*v. Let j be d(-2). Let m(o) = -5*o + 3. Let l be m(-5). Let x = j + l. Does 5 divide x?
True
Suppose -p - 22 = 5*n - 112, 5*n - 3*p - 110 = 0. Does 16 divide n?
False
Suppose 8*s = 7*s + 5. Does 5 divide s?
True
Let s = 39 - 35. Is s a multiple of 4?
True
Let j be (2 - 3)/(4/(-104)). Let v = 62 - j. Is 9 a factor of v?
True
Suppose r + 11 = -c, 0*c + 3*c + 12 = 0. Let a(h) = -h**3 - 7*h**2 - h - 3. Let b be a(r). Suppose 2*s + 10 = b*s. Is s even?
False
Let q(n) = -5*n**3 - 9*n**2 + 3*n - 5. Let w(a) = -2*a**3 - 4*a**2 + a - 2. Let v(b) = 3*q(b) - 7*w(b). Let g be v(2). Does 12 divide 3*4 + 1 + g?
True
Let i(w) = 2*w + 16. Is i(14) a multiple of 22?
True
Let f(q) = 3*q**2 - q - 2. Let l(w) = 2*w**2 - w - 2. Let j(g) = 3*f(g) - 4*l(g). Is j(-2) even?
True
Suppose 6 = k + 3*r, 0 = -4*k - k - 4*r + 41. Is k even?
False
Let k(o) = 2*o - 5. Let h(q) = q - 3. Let z(g) = 8*h(g) - 5*k(g). Let d be z(-1). Is 20 a factor of (2 + -3)/(d/(-120))?
True
Suppose -2*l = -0*l. Suppose -2*q = -l*q - 10. Suppose -q = 3*j - 11. Is 2 a factor of j?
True
Let u = 11 - 5. Suppose 0 = k - 4*k - u. Is 12 a factor of 16/(-10)*15/k?
True
Suppose 0 = 5*n + 216 - 876. Does 33 divide n?
True
Let a be -1*(2 - 2 - -95). Let p be (8/(-20))/((-1)/a). Let z = -18 - p. Does 14 divide z?
False
Let t(u) = -5*u**3 - u - 1. Let y be t(-1). Suppose -d = -y*r - 12 - 11, 0 = -2*d + 2*r + 38. Is (-1)/((-2)/d) - 1 a multiple of 4?
True
Let s = 18 + -6. Suppose 0*u + 4*u - s = 0. Suppose 3*g = u*b + 33, -5*b + 4 - 46 = -4*g. Does 8 divide g?
False
Let c = -90 + 204. Let m = c - 80. Does 17 divide m?
True
Let q(m) = -2*m - 4. Let o be q(-4). Suppose -4*i = -2*a - 0*i + 74, -2*a - o*i + 82 = 0. Is a a multiple of 15?
False
Let y = -18 - -39. Is 12 a factor of y?
False
Let w = 1 - -2. Let x(q) = q**2 - 2*q + 1. Does 3 divide x(w)?
False
Let q(b) = -b**3 + 6*b**2 + 10*b - 9. Suppose 0*y + 4*r + 1 = 3*y, -17 = -y - 2*r. Let u(c) = c - 1. Let x be u(y). Is q(x) a multiple of 17?
True
Let i be (9 + -3)*(0 - -1). Suppose -i = -v + 15. Is v a multiple of 13?
False
Let f = 35 - -4. Does 13 divide f?
True
Let j(r) = r**3 + 5*r**2 + 5*r + 6. Let f be j(-4). Let a be ((-2)/f - 1) + 2. Suppose a = 4*b - 3*b + x, 0 = -3*b - 4*x - 5. Is b a multiple of 4?
False
Suppose -2*r + 3*y = -233, 4*r - 461 = 5*y - 0*y. Is 18 a factor of r?
False
Let x be (-102)/4*12/(-6). Let m = x + -22. Does 13 divide m?
False
Suppose 594 = 5*o - 0*o + 3*a, 0 = -2*o + a + 231. Does 22 divide o?
False
Suppose 5*m - 3*m + v - 59 = 0, 0 = m - 2*v - 42. Does 16 divide m?
True
Suppose i - c - 4 = 24, 6 = 3*c. Does 10 divide i?
True
Suppose -5*r + 10 = -30. Suppose 0 = 2*j - 8 - r. Does 4 divide j?
True
Let o = -27 + 42. Let v = o + 6. Is 6 a factor of v?
False
Is (7/2)/((-3)/(-6)) a multiple of 3?
False
Let z be (-5)/(-4) - (-1)/(-4). Let m = z - -4. Is (-5)/(m/(-16)) - 0 a multiple of 8?
True
Let f = -3 + 3. Let c be -1 + 3 - (f + 0). Is 12 a factor of 6/(c/(-4) - -1)?
True
Let f(t) = 3*t**2. Let a be f(1). Suppose 0 = 2*h + a*h + 400. Does 8 divide (12/10)/((-12)/h)?
True
Suppose 2*p - 136 = -2*p. Does 14 divide p?
False
Suppose -2*r + 3*r - 67 = -2*j, 3*j = -3*r + 93. Is j a multiple of 24?
False
Let c = 30 - 10. Does 20 divide c?
True
Does 3 divide 21 + (-1 - 0 - 20/10)?
True
Let i(c) = 67*c**2. Is i(-1) a multiple of 27?
False
Suppose -5*o + 5*s + 95 = -90, 0 = 3*s + 3. Is o a multiple of 3?
True
Let n(h) = -8*h + 8. Suppose -3*t + 8*t = -30. Let k be n(t). Suppose 0 = -2*i + 3*a + 12, 5*a - k = -4*i + 3*a. Is 10 a factor of i?
False
Let x(u) be the first derivative of -u**4/4 + 2*u**3 + u**2 - 3*u + 2. Is x(6) a multiple of 4?
False
Let y(s) = s**3 - 3*s**2 - 7*s + 1. Let k be (30/(-9))/(2/(-3)). Does 13 divide y(k)?
False
Is 23 a factor of (-105)/6*((-124)/10 - -2)?
False
Suppose 13 = -7*g + 55. Is g even?
True
Let w(t) be the first derivative of -t**4/4 - t**3 + 5*t**2/2 + 2*t - 2. Let p be w(-5). Let z = -19 + p. Is z a multiple of 4?
True
Let q(v) = 39*v + 36. Let p(b) = -8*b - 7. Let l(u) = 11*p(u) + 2*q(u). Is l(-2) a multiple of 5?
True
Suppose 88 = 8*i - 4*i. Is i a multiple of 11?
True
Let y(h) = 19*h**2 + 2*h - 1. Let l(j) = -20*j**2 - 3*j + 2. Let r(c) = 2*l(c) + 3*y(c). Suppose -4*z + 3 = -1. Is r(z) a multiple of 9?
True
Let b = 11 - -37. Is 48 a factor of b?
True
Let f(w) = -4*w**2 - 1. Let j be f(-2). Let l = j + 43. Is l a multiple of 13?
True
Let v(d) = d - 15. Let n be v(9). Is 5 a factor of (n/12)/((-1)/60)?
True
Suppose -20 = -2*o - 3*o. Suppose -d + 0*d + 11 = x, -1 = -x + o*d. Does 6 divide x?
False
Suppose 5*v = v + 36. Is 9 a factor of v?
True
Suppose 65 = 2*i - 5*d, -3*i - 5*d + 1 = -34. Does 5 divide i?
True
Let m(p) be the first derivative of 2*p**3 + p**2 - 2*p + 4. Does 9 divide m(-2)?
True
Let j(v) = v**2 + 9*v - 3. Let u be j(-8). Let q = 32 + u. Does 15 divide q?
False
Let k = 23 - 21. Let s(u) = 19*u - 3. Is 21 a factor of s(k)?
False
Is 19/3*3/((-1)/(-1)) a multiple of 15?
False
Suppose 10*r - 5*r - 5*h - 55 = 0, -4*r + 39 = h. Suppose 0 = -q + 6*q - r. Suppose 3*c = q*t + 108, -2*c + 61 = -6*t + t. Is 19 a factor of c?
True
Let t = 57 - -30. Let a = -51 + t. Is 17 a factor of a?
False
Let x be 2/(-4) + (-57)/2. Let n = -19 - x. Does 5 divide n?
True
Let g be (-2)/(-7) + 2280/105. Supp