b a multiple of 34?
False
Let c = -20 - -38. Let r = 23 - c. Does 3 divide r?
False
Suppose -8*o = 7*o - 120. Is o even?
True
Suppose 0 = -0*u + 4*u - 120. Suppose u = -2*p + 5*p - 3*a, 5*a = 20. Let d = -9 + p. Is 5 a factor of d?
True
Suppose g + 6 = -4*j + 15, -2*j + 3*g = -15. Suppose j*i - 5*n - 36 = -6*n, -3*i + n = -36. Does 4 divide i?
True
Is 14 a factor of 6*(12/2 + 0)?
False
Is 3 + 2*(-207)/(-6) a multiple of 18?
True
Suppose 3*n = -n + 204. Is 9 a factor of n?
False
Let c(j) = -j**2 + 5*j + 1. Let h be c(4). Suppose -5*r - 5*u - 34 + 109 = 0, 110 = h*r - 2*u. Is r a multiple of 10?
True
Suppose 0 = -5*y + 3*b - 6*b + 95, 0 = y - b - 11. Does 16 divide y?
True
Let h = 14 - 6. Suppose -w - 2 = -h. Suppose 5*a + x - 18 = 2*a, -a + 3*x = -w. Is 6 a factor of a?
True
Suppose 4*t = 2*s + 12, 4*s + 0 = t - 3. Is 5 a factor of 4/6 - (-49)/t?
False
Let o = 1 + 2. Suppose -2*k = -j + 83, -j - k = -19 - 61. Is ((-4)/o)/((-18)/j) even?
True
Suppose m + 0*m + 4*k + 14 = 0, -3*k - 1 = -4*m. Let r be (-3 - (-8 - 1)) + m. Suppose r*c = n + 32, -4*n = -3*c + n + 7. Is c a multiple of 3?
True
Suppose 0 = -4*z + 7*z - 108. Is 12 a factor of z?
True
Let b(k) = k**2 - 4*k - 2. Let p = -7 - -2. Is b(p) a multiple of 19?
False
Suppose -2*r + 11 = -13. Suppose -v + r = 2*v. Is 3 a factor of v?
False
Suppose -5*q + 194 = 34. Is 15 a factor of 1 + (q - (0 + 3))?
True
Let t(m) = 16 + 2*m**2 + 15 - 3*m - 28. Suppose 4*y + 3 = 5*y. Is t(y) a multiple of 12?
True
Suppose -4 = -q + 4. Let l = 67 + q. Does 25 divide l?
True
Let m(f) = 4*f + 5. Let b(j) = -3 - 4*j - 5*j - 7. Let k(o) = -4*b(o) - 10*m(o). Is k(-7) a multiple of 9?
True
Suppose -2*h + 3*h = 25. Let w = 61 - h. Is w a multiple of 18?
True
Suppose 4*t - 3*j = 425, t + 2*j = -3*j + 135. Does 35 divide t?
False
Let h(u) = 9*u - 4. Let f(b) = 19*b - 7. Let r(j) = -6*f(j) + 13*h(j). Is r(9) a multiple of 3?
False
Let v(x) = -x**2 + 6*x + 6. Let u be (-396)/(-63) + (-2)/7. Is v(u) a multiple of 5?
False
Let h = 404 + -215. Is 21 a factor of h?
True
Suppose 4*f - 5 = -37. Is ((-30)/f + 2)*4 a multiple of 6?
False
Let w be (-3)/12 + 3/(-4). Let h = 37 - w. Is 10 a factor of h?
False
Suppose -5*f + 428 = -3*f - g, -5*f + 1077 = g. Is 43 a factor of f?
True
Let y be 15/(-10) + (-283)/(-2). Suppose -y = -5*x - 5*r, 0 = -0*r + 2*r - 4. Is x a multiple of 26?
True
Let x = 15 - -8. Suppose -4*t = -4*g + 20, 0 = 2*t + 4*g - 2. Does 10 divide -1*(0 - x - t)?
True
Suppose 2*z - 113 = q - 4*q, 184 = 5*q - z. Is 9 a factor of q?
False
Suppose 0 = -x - 4*x + 5*h + 85, x + 5*h - 11 = 0. Suppose 0 = -3*y - 3*v + 87, 4*y = 3*v + x + 114. Does 13 divide y?
False
Suppose -3*a = r + 2*a - 19, -2*a + 9 = -r. Let q(t) = -19*t - 1. Is q(r) a multiple of 18?
True
Suppose 0 = -3*t + 418 + 506. Is t a multiple of 11?
True
Suppose -3*v - 2 = 10. Is ((-2)/v)/(1/64) a multiple of 16?
True
Let g be 1*((-9)/3 + -16). Let w = -1 - g. Is 9 a factor of w?
True
Suppose -6*a = -2*a - 2*h - 60, -3*h = 0. Let m be (-6)/(-15) + 819/a. Suppose s + m = v, 2*v - 3*s - 107 = -0*s. Is v a multiple of 24?
False
Suppose 3*x = 6*x - 144. Suppose p - 4*j = x, 0*p - 4*p - 2*j + 138 = 0. Is 12 a factor of p?
True
Let y = -4 - -7. Suppose 3*q = 4*f - 73, y*f - 4*q - 83 = -23. Does 11 divide f?
False
Suppose 3*i - 18 = 3. Suppose -16 = 3*r - i*r. Suppose y - 6*y - 215 = -5*x, -204 = -r*x - 4*y. Is x a multiple of 12?
False
Let j = 23 - 41. Let d = 30 + j. Is d a multiple of 12?
True
Let l = 37 + -25. Let g = 23 - l. Let x = g + 5. Is 8 a factor of x?
True
Let y(f) be the first derivative of 7*f**2 + 1. Let o be y(1). Is 3 a factor of (-46)/(-14) - 4/o?
True
Suppose 0*a - 77 = -7*a. Does 4 divide a?
False
Suppose 2*z = i - 41 - 36, -2*i + 2*z = -150. Does 24 divide i?
False
Suppose -1 = -2*d + 3*m + 51, -3*d - 3*m + 63 = 0. Does 23 divide d?
True
Let k(q) = -4 + 42*q + 3 - 3*q. Let o(y) = -y**3 - y + 1. Let a be o(0). Is k(a) a multiple of 14?
False
Suppose -2 = -3*w + 2*v, 3*w + 4*v + 1 = 15. Is 7 a factor of 1/w + (-21)/(-2)?
False
Let s = -7 + 32. Let k = s + -6. Is k a multiple of 8?
False
Let b be -25*1/((-5)/4). Suppose -4 = l - 2*w, l - 2*l - 4*w + b = 0. Let n(v) = 6*v - 5. Does 19 divide n(l)?
True
Let w(t) = t**3 + 4*t + 1. Suppose 3*f - 13 + 4 = 0. Suppose f*k - 5*k = 4*v - 8, 3*k + 18 = 4*v. Is 16 a factor of w(v)?
False
Suppose -c = 2*i + c - 74, -3*i = 5*c - 121. Is 16 a factor of i?
True
Let m(s) = s**3 + 7*s**2 + 8*s + 4. Let d be m(-5). Suppose 4*j - 38 = d. Does 10 divide j?
False
Suppose 0 = 11*a - 16*a + 440. Is a a multiple of 22?
True
Let j = -54 + 114. Is 20 a factor of j?
True
Does 13 divide -3 - -8 - (-1 + -65)?
False
Let w be (-29)/(-4) - 8/32. Suppose 0 = 2*l + w - 47. Is l a multiple of 8?
False
Suppose 3*y + x = -2*y + 109, 2*y = -3*x + 41. Is 11 a factor of y?
True
Let r(s) = -s**3 - 5*s**2 + s - 1. Let t be r(-5). Is 13 a factor of (t + 4)/(1/(-12))?
False
Let b = 6 + 95. Is b a multiple of 6?
False
Let m(f) = 6*f - 3 + 0*f**2 + f**2 + 4. Let s be m(-6). Let p(t) = 16*t. Is p(s) a multiple of 16?
True
Let y = 5 - 0. Suppose y*i - 4*u = 292 - 76, -4*i = 4*u - 144. Is i a multiple of 10?
True
Let z = 16 + -23. Let o = 122 + -85. Let y = z + o. Is 15 a factor of y?
True
Suppose 4*t + 5 = -11, 3*f - 16 = 4*t. Suppose -n + f*n = -22. Does 8 divide n?
False
Suppose -2*j - 4*v - 1 = v, -3*j + v = -7. Is (-18)/(j - (1 - -2)) a multiple of 15?
False
Let i(h) = 9*h + 15. Is 14 a factor of i(3)?
True
Let r be 70/5*(9 + -1). Is 19 a factor of 8/24 - r/(-6)?
True
Suppose n = 3, -3*n = -4*p - 2*n + 125. Is 11 a factor of p?
False
Let h = 52 - 12. Suppose 0 = -3*g + 9 - 39. Is 4 a factor of (g/8)/((-5)/h)?
False
Suppose 0 = r + 31 - 8. Let x = r - -133. Suppose 0 = -c + 6*c - x. Is 11 a factor of c?
True
Let d(l) = 8*l - 3. Is 2 a factor of d(1)?
False
Let d(n) be the first derivative of n**2 - 11*n + 2. Let i be d(8). Suppose i*k - z - 169 = 0, -5*k = 2*z - 133 - 24. Does 21 divide k?
False
Suppose 6 = 4*s - 90. Is s a multiple of 24?
True
Let c(q) = 3*q + 2. Let b be c(2). Suppose d - 4*d = -36. Let y = d - b. Is 2 a factor of y?
True
Suppose 5*s - 240 = -0*s. Suppose -6 = 3*o - s. Is o a multiple of 14?
True
Let z be 1758/3 + (1 - 2). Is (2/(-6))/((-5)/z) a multiple of 13?
True
Let o = -146 - -230. Does 42 divide o?
True
Let h(b) = -b + 5. Let t be h(-3). Is 7 a factor of t/(-12) - (-62)/3?
False
Suppose -2*i = -3*i + 90. Does 17 divide i?
False
Suppose -3*f + 78 = 3*f. Is f a multiple of 13?
True
Let y = 17 - -6. Is 8 a factor of y?
False
Suppose 2*u - 3*g + 24 = 155, 0 = -2*u - 5*g + 107. Suppose 4*q + 79 + 93 = 0. Let t = q + u. Is 18 a factor of t?
True
Suppose -3*v + 4*j - 6 = 0, -2*v + 21 = -5*v - j. Let p = v + 44. Suppose 0 = 5*q - 4*q - p. Does 19 divide q?
True
Suppose 4*u - 264 = -f, 4*f + 253 + 77 = 5*u. Does 22 divide u?
True
Let x(q) = -q + 12. Let m be x(10). Suppose -i - 5*p = 6, 4*i = m*p + 1 + 63. Let y = 2 + i. Is 8 a factor of y?
True
Let d(y) = 2*y - 10. Suppose 4*o + 25 = k, 2*k + 4*o = k - 7. Is d(k) a multiple of 3?
False
Let v = -1 + 1. Let c(a) = -a**2 + 5*a - 2. Let q be c(4). Suppose v = -0*p - q*p + 4*m + 24, -4*p - 4*m = 0. Does 2 divide p?
True
Let u = 89 + -26. Is u a multiple of 9?
True
Let b(w) = -w**2 - 17*w + 1. Does 13 divide b(-15)?
False
Let u(r) = 6*r**3 + r**2 - 4*r + 1. Is 5 a factor of u(2)?
True
Let b be -7 - (2 + 1 + -4). Let x(r) = r**2 - 6*r + 8. Is 20 a factor of x(b)?
True
Suppose 2*m = 2*g - 64, 0 = -3*g - m + 2*m + 92. Does 5 divide g?
True
Suppose 5*c - 3*c = -2. Let q = c + 4. Suppose q*s = 5*b - 176, 0 = -s - 4 + 2. Is b a multiple of 17?
True
Is (342/15 + 0)/((-3)/(-15)) a multiple of 12?
False
Let g(i) = i**2 - 7*i - 16. Does 3 divide g(10)?
False
Let w(o) = 2*o**2 - 5*o + 6. Is w(4) a multiple of 18?
True
Suppose 2*o - 10 = 0, 0*o - 2*o = -5*x - 615. Let y = -41 - x. Is y a multiple of 21?
False
Let i(x) = -x**3 + 2*x**2 - 7*x - 6. Let u(f) = -f**3 + 3*f**2 - 8*f - 6. Let c(h) = 5*i(h) - 4*u(h). Suppose 10*q = 5*q - 20. Is c(q) a multiple of 17?
False
Let v(n) = -n + 3. Let l be v(0). Let o be -1 + -51 + (l - 1). Is ((-3)/2)/(5/o) a multiple of 8?
False
Let v(y) = -y**3 + 5*y**2 - 5*y + 5. Let n = -7 - -11. Let r be v(n). Does 3 divide (r*-5)/(-3 + 2)?
False
Let y(v) = -v**3 - 3