 of 23?
True
Let i = -226 - -322. Is i a multiple of 12?
True
Let b(j) = j**2 + 14. Suppose 2*w - 4*o + 8 = 0, -2*w - 3*o + 0*o + 27 = 0. Is b(w) a multiple of 10?
True
Suppose -40 = -z - 9. Suppose -4*w + 29 = -47. Let a = z - w. Is 3 a factor of a?
True
Let q = -743 + 1238. Is q a multiple of 45?
True
Suppose -1 = 5*g - 6, -3*l = 5*g - 470. Suppose 5*p - 80 = l. Does 12 divide p?
False
Suppose -32*l - 834 = -35*l. Suppose 3*b - l = -r, -2*b + 106 = -b + 3*r. Is 13 a factor of b?
True
Let s be 4/20 - (-1044)/(-20). Let h = s + 124. Does 9 divide h?
True
Suppose 3*i + 2094 = 9*i. Does 4 divide i?
False
Suppose -b + w + 20 = 4*b, 13 = b - 2*w. Suppose -b*u + 55 = 4*v + 4, 0 = v. Does 6 divide u?
False
Suppose -5*t + 10*t + 30 = 0. Let g be (t/2 - -6)*108. Suppose -84 = -x + 5*n, 0 = 3*x - 2*n + 5*n - g. Is 33 a factor of x?
False
Suppose 0 = 14*z - 13*z - 2. Suppose 0 = 4*c - 5*o - 40, -3*o = -z*c + 5 + 17. Suppose c*a - 16 = a. Does 3 divide a?
False
Let d be 1/(-2) + 14/4. Is 2*-6*((-172)/8 + d) a multiple of 28?
False
Let x(g) be the second derivative of -g**4/6 + 13*g**3/6 + 2*g**2 + 3*g. Suppose -3*v + 2*v + 3*o - 9 = 0, -5*o + 25 = 0. Is x(v) a multiple of 6?
False
Let w be (-2 - -7)/((-2)/4). Let z(q) be the third derivative of -q**4/8 + 5*q**3/6 - 26*q**2. Is 8 a factor of z(w)?
False
Suppose 9*d - 3*d - 12 = 0. Let v be 1 + -1 + -1 - -3. Is (-4 - d)*v/(-4) a multiple of 3?
True
Let d be (5 + -2)*6/(-9). Does 10 divide (-2)/(d*(-3)/(-60))?
True
Suppose 19*p = 15*p - 3*m - 67, -4*p - 2*m - 62 = 0. Let f = p + 88. Is 11 a factor of f?
False
Let f(l) = -16 + 6*l + 11*l - 11*l + l. Is f(4) a multiple of 12?
True
Let k(w) = w**3 + 7*w**2 - w - 2. Let t be k(-7). Suppose -l + 5*p - t = 0, -5*l + 65 = -p + 18. Suppose r + l = o, -o = 2*o + 4*r - 65. Does 5 divide o?
True
Let b = 24 + -13. Suppose -j = b*j - 864. Is 18 a factor of j?
True
Let l(z) be the third derivative of z**5/60 + z**4/4 + 2*z**3 - 185*z**2. Let c be (5*-1*-1)/(-1). Is 2 a factor of l(c)?
False
Suppose -5070 + 417 = -9*t. Suppose -2*q - 630 = 5*p - 10*p, q = -4*p + t. Is p a multiple of 9?
False
Let b(o) = 3*o**3 - 9*o**2 + 14*o - 84. Does 50 divide b(6)?
False
Let k = 659 + -449. Does 12 divide k?
False
Suppose -98 = -2*t + o, -2*t + 93 + 13 = o. Suppose -4*a + a = 3*i - t, -3*a - i = -47. Does 5 divide a?
True
Let q = 10 + -17. Let k be 40/(-7) + 2/q. Let d(p) = -3*p + 5. Is 19 a factor of d(k)?
False
Let w(p) = 31*p + 2. Let b be w(6). Does 16 divide b/6 + (-2)/(-3)?
True
Let s(f) = -4*f**2 + 6*f - 5. Let u(d) = -5*d**2 + 7*d - 5. Let b(w) = -4*s(w) + 3*u(w). Is 3 a factor of b(5)?
True
Let q = -5 + 3. Let c be q/(-1 + (-2)/(-6)). Suppose 2 = c*y - 25. Is 4 a factor of y?
False
Does 60 divide (188070/(-285) + 6/(-57))*-2?
True
Suppose -3*r - 98 = -5*f + r, 4*r + 8 = 0. Let v(a) = -4*a**2 + 30 + a**3 - 21 - f + 2*a. Does 25 divide v(6)?
True
Suppose 1848 = 5*j + 2*h, 1066 = 4*j - h - 402. Is j a multiple of 4?
True
Suppose -x + 3315 = 10*d - 7*d, d = -3*x + 1113. Is 12 a factor of d?
True
Let i(v) = 7*v + 1. Let k(d) = -13*d - 2. Let p(g) = 9*i(g) + 4*k(g). Let r(m) = m**3 - 4*m**2 + 1. Let l be r(4). Is p(l) a multiple of 10?
False
Let u(m) = -17*m + 9. Let b(l) = -34*l + 17. Let w(c) = -2*b(c) + 5*u(c). Let g(y) = 9*y - 6. Let h(s) = 7*g(s) + 4*w(s). Does 11 divide h(-4)?
True
Let g = -34 + 36. Suppose r - 119 = -g*k + k, -2*k + 4*r + 244 = 0. Is k a multiple of 20?
True
Let q(p) = 0 + 2 + 4*p - 3*p. Let z be q(9). Let s = z - 3. Is s a multiple of 4?
True
Suppose 4*r = 4*w - 0*r - 524, 3*w + r = 413. Is w a multiple of 29?
False
Let l = 270 - 160. Does 22 divide l?
True
Let k(u) = -8*u**2 + u - 2. Let n be k(1). Is 3 a factor of ((-3)/n)/(1 + 68/(-69))?
False
Suppose 4*r - 149 - 19 = 0. Suppose 2*z = r + 54. Does 16 divide z?
True
Let j(w) = -6*w**3 - 5*w**2 + w**2 + 5*w**3 - 3*w - w. Let l be j(-3). Let z = 47 + l. Is 25 a factor of z?
True
Let a = 79 - 78. Is 17 a factor of -57*a*5/(30/(-4))?
False
Let x be 12/32 + (-55)/40. Is (8/16)/(x/(-54)) a multiple of 27?
True
Suppose 2*s + y - 2 = 0, -5*s + 4*y - 2 = 19. Let b(u) = 58 + 54 - 11*u - 114. Does 3 divide b(s)?
True
Let l(s) = -s - 1. Let q(h) = h - 2. Let m be q(-1). Let y be (5/(-10))/(m/(-30)). Is 2 a factor of l(y)?
True
Suppose 0 = -3*p + 3192 + 279. Does 52 divide p?
False
Let l = 386 - 86. Is 25 a factor of l?
True
Let a(j) = -j**2 - 10*j + 28. Let v be a(-12). Suppose 2*o = -v*o + 42. Is o a multiple of 3?
False
Suppose -5*b + 4 = -1. Let k be (b/3*0)/(-1). Suppose 4*s + k*s = 24. Is 4 a factor of s?
False
Suppose -4*n + 392 = 4*m, 5*n - 573 + 65 = 4*m. Is 10 a factor of n?
True
Suppose 241 + 303 = 16*x. Is 34 a factor of x?
True
Suppose 9*y - 102 - 7026 = 0. Is y a multiple of 18?
True
Let s = 9 + -5. Suppose s*k + 2*z = z + 5, -k = -5*z - 17. Suppose -2*l + 244 = k*l. Is 21 a factor of l?
False
Suppose 5*t + 504 = 17*t. Suppose -171 = -r - t. Is 39 a factor of r?
False
Suppose -93 = 3*d + 3*h - 30, 3*h + 46 = -2*d. Let o = d + 98. Does 21 divide o?
False
Let y(w) = -7 + 7 + w + 12. Let p be (7/(-3))/((-1)/(-3)). Is y(p) a multiple of 5?
True
Let s(f) = 5*f + 4. Let p(x) = -3*x - 4. Let y(i) = -5*p(i) - 6*s(i). Is y(-11) a multiple of 12?
False
Suppose -2*q = 2*h - 0 + 2, 0 = -4*q + 4*h + 36. Suppose 134 = a + 2*t, 10*t - 6*t = q. Is 11 a factor of a?
True
Suppose 51 + 321 = 3*k. Let q be k/2*3/3. Let h = q - 37. Does 8 divide h?
False
Suppose 155*t - 163*t = -2688. Is 84 a factor of t?
True
Suppose -41 = -4*t + 275. Suppose 47 + t = 7*f. Does 6 divide f?
True
Suppose 5*k + x - 3*x = 294, -k + x = -57. Is k a multiple of 3?
True
Let u(i) = 7*i + 11. Let t be u(5). Suppose -o - 19 + t = 0. Is o a multiple of 5?
False
Does 15 divide 9342/90*(-20)/(-6)?
False
Suppose 0 = 2*l + 8, 6*l - 3*l = -5*r + 4358. Does 46 divide r?
True
Let g(d) = d**2 - 7*d - 3. Let t be g(8). Suppose t + 1 = 3*k. Suppose -k*s + 5*w + 65 = 3*s, 0 = -2*w. Does 3 divide s?
False
Let f(c) = -c**2 - 62. Let r be f(0). Let a = r + 113. Let m = a + -15. Is 18 a factor of m?
True
Let r be (-8)/28 - 2/(-7). Suppose 2*n + 16 = 4*z, 5*n + 16 = n + 4*z. Suppose -3*p - 4*b = -104, r = -n*p + p + 2*b - 34. Is 12 a factor of p?
True
Let u be 5/(5/(-27)) - 0. Let o = 37 + u. Suppose 0*a + 265 = 5*a - p, 2*p - o = 0. Is 13 a factor of a?
False
Suppose 0*u - 3*f = -4*u - 7, -25 = -5*f. Suppose 5*d - u*m = 218, 2*d - 198 = -3*d - 3*m. Suppose -2*h + h = -d. Is h a multiple of 10?
False
Let s be 100/15 + 2/6. Suppose 3*h - 3*t = 0, 5*h - 1 = t + s. Does 10 divide (-15)/h*(-32)/12?
True
Let k = -120 - -229. Is 31 a factor of k?
False
Let d(v) = v**2 - 10*v - 2. Let n be d(11). Suppose 15 - n = k. Let w(y) = 10*y - 16. Is w(k) a multiple of 6?
False
Suppose -3*g - 4*c + 11 = -0, c + 1 = 0. Suppose 0 = g*k + 4*s - 240, k + s - 22 - 26 = 0. Does 16 divide ((-44)/3)/((-32)/k)?
False
Is 1 - 0/(-4) - (-322)/1 a multiple of 19?
True
Let g(c) = c**3 + 8*c**2 - 3*c - 4. Let p be g(-8). Suppose 0 = -0*b - b - p. Let r = b + 30. Does 5 divide r?
True
Suppose -82*h - 23138 = -128*h. Does 16 divide h?
False
Let d(s) = -2*s**3 - 4*s**2 - s + 3. Let i be d(-2). Suppose 0 = 3*o - 5*x - 70, i*o + 2*x + 2*x = 55. Is 3 a factor of o?
True
Let r be 36/16 + (-2 - (-35)/20). Suppose -d + 163 = h - 20, 0 = -r*h - 5*d + 375. Does 45 divide h?
True
Let o be (21/9)/(3/(-144)). Let n = 212 + o. Is n a multiple of 20?
True
Let j = 23 + -12. Let o(k) = 8*k**2 - 3 + 7 - j*k + 4 + k**3. Does 13 divide o(-9)?
True
Let p(d) = d**3 - 20*d**2 + 57*d - 9. Does 47 divide p(21)?
False
Suppose -5*a = -0*a - 25. Let w = 153 - 153. Suppose 4*x - 139 = -w*x - a*s, -3*x + 4*s = -112. Is 18 a factor of x?
True
Let m be (-14 - -6)*(-2)/8. Is 3 - m/(67/69 + -1) a multiple of 3?
True
Let m(k) = k + 7. Let l be m(-3). Let w(p) = -l + 14*p - 8*p + 5 + 4*p. Does 7 divide w(2)?
True
Let l(m) = -11*m**3 - 11*m**2 - 35*m + 5. Is 59 a factor of l(-4)?
False
Suppose 6 = r - 4*w, 0*w + 7 = 3*r - w. Let s = -26 - -24. Does 9 divide (-2)/s*r + 16?
True
Suppose -1720 = -0*n - 4*n. Suppose 6*r = 8*r - n. Suppose -5*j - 15 = -r. Does 15 divide j?
False
Suppose 2*g + 100 = -2*m + 3*m, -85 = -m + 5*g. Does 29 divide 66/m*(146 - 1)?
True
Let o(c) = 121*c**2 + 22*c + 77. Is o(-5) a multiple of 22?
True
Does 8 div