oes 13 divide b?
False
Let t be 12/(-3 + 0 - -2). Is 20 a factor of t/(-15)*(-1170)/(-12)?
False
Let a(x) = -x**2 - 11*x + 3. Does 15 divide a(-9)?
False
Suppose 0 = -5*q + 9*q - 216. Does 54 divide q?
True
Suppose 31 - 11 = -l. Does 11 divide (-2)/5 - 868/l?
False
Suppose 0 = 2*g - 76 + 12. Does 4 divide g?
True
Suppose -6*n + n = -3*l - 79, 3*n = 4*l + 98. Let x = l - -46. Does 8 divide x?
False
Let j(l) be the third derivative of -l**5/60 + l**4/3 + 11*l**3/6 + l**2. Let a = 17 + -9. Is j(a) a multiple of 11?
True
Let j = 10 + -12. Does 5 divide 40/(-12)*12/j?
True
Suppose -3*t = -3*r + 142 + 29, -r + 69 = -5*t. Suppose 121 = 4*l + 21. Let p = r - l. Does 16 divide p?
False
Let v(u) = -u + 1. Is 2 a factor of v(-5)?
True
Let w = -3 - 2. Let v(m) = -m**2 - 7*m + 2. Is v(w) a multiple of 12?
True
Let l be 6/9*(-18)/(-4). Suppose 0 = 4*k - 5*x - 9, 0 = -l*k + 5*x + 3. Does 4 divide k?
False
Let j = -29 + 36. Is 4 a factor of j?
False
Suppose 90 = 5*a - v, 7*v = -4*a + 3*v + 48. Is 8 a factor of a?
False
Let u be (-6)/9 - (-226)/6. Let d = u - -3. Is 20 a factor of d?
True
Let j = 282 - 147. Is j a multiple of 27?
True
Suppose 442 + 62 = 3*i. Does 14 divide i?
True
Let d(j) = j**3 - 5*j**2 + 2*j - 7. Is 8 a factor of d(6)?
False
Suppose p = 4*p - 12. Suppose p = 3*m - 17. Does 2 divide m?
False
Suppose 3*s = q - 19, 5*s - 71 = -0*q - 3*q. Does 12 divide q?
False
Let o = -26 + 64. Is 8 a factor of o?
False
Let o(f) be the second derivative of 3*f**4/4 + f**2/2 - 3*f. Does 10 divide o(-1)?
True
Suppose -5*i = -d + 160, 5*d + i - 904 = -0*i. Suppose -4*u + d = -0*t + 4*t, 49 = u - t. Is u a multiple of 12?
False
Suppose 5*c - 336 = -2*d, c + 2*d - 31 - 41 = 0. Is 42 a factor of c?
False
Suppose -3*t = -4*o - 33, o = 3*t - 5 - 37. Is 15 a factor of t?
True
Suppose a = 2*a - 2. Suppose 3*h - a*h - 16 = 0. Does 16 divide h?
True
Let m(w) = w**2 + 4*w - 9. Let c be m(8). Let d = c - 43. Is d a multiple of 12?
False
Let q(z) = -2*z - 6 + 2*z + 18 - 7*z. Is q(-12) a multiple of 22?
False
Let q = -17 - -37. Is 5 a factor of q?
True
Suppose 0 = -4*q + q. Suppose 7*p = 2*p - 5, -l + 3*p - 69 = q. Let d = -32 - l. Is 15 a factor of d?
False
Let m(h) = h**2 + h + 4. Let j be m(-5). Suppose 2 = k - 3. Suppose -41 - j = -k*a. Is a a multiple of 10?
False
Let r be (52/8)/(2/4). Let x = r + -3. Is 17 a factor of 74/(-5)*(-25)/x?
False
Suppose 4*n - 6*l - 53 = -l, 3*l - 33 = -3*n. Suppose 4*c = -3*h + n, 0*h + 4*h - 16 = -c. Suppose 4*m + 5*b - 35 - 14 = c, -3*m + 5*b = -28. Does 7 divide m?
False
Let d(u) = 0*u**3 + 4 - u**3 + 2*u - u**3 - 11*u**2 + 3*u**3. Is d(11) a multiple of 13?
True
Is (-2)/(8/25)*(-47 - -15) a multiple of 20?
True
Suppose -4*z + 221 + 103 = 0. Is z a multiple of 27?
True
Let y = -3 - -18. Let u = y - 9. Is 69/u*(-4)/(-1) a multiple of 23?
True
Let r be (-3 + (-10)/(-3))*3. Is r*(2 - -1) + 21 a multiple of 24?
True
Let p = 85 - 54. Is p even?
False
Suppose 3*i - 72 = 159. Is 20 a factor of i?
False
Suppose -10*r + 74 = -8*r. Is r a multiple of 11?
False
Suppose 8*j - 3*j = 20, -2*i + 4*j = 10. Suppose 0 = -i*h - 0*h + 102. Is h a multiple of 17?
True
Suppose 4*j - 34 = 5*f, 4*j + f = -j + 28. Let z(y) = y - 2. Let s be z(j). Suppose 0*v + 32 = s*v. Is 4 a factor of v?
True
Suppose 6*n - 330 = n. Suppose -3*i = 3*s - n, 4*i - 4*s - 18 = 38. Is i a multiple of 18?
True
Let r be 5/(-30)*3*6. Let o = 11 + -5. Is 17 a factor of -122*(r/o + 0)?
False
Let s = 194 + -74. Is 22 a factor of s?
False
Suppose 4*h + 1 = -11. Let y be -1*(-17 - (h + 3)). Suppose -13 = -5*g + y. Does 3 divide g?
True
Suppose 6*d + 4*d - 600 = 0. Does 12 divide d?
True
Let l(y) = -y**2 + y + 80. Let s be l(0). Suppose -4*v + s = v. Is 16 a factor of v?
True
Let r(n) = -n + 2. Let u be r(8). Is 6 a factor of (-20 + 2)/(u/4)?
True
Let m(w) = 11*w. Is 11 a factor of m(7)?
True
Let d be ((-8)/(-10))/((-4)/(-10)). Suppose 3 = d*u - 3. Does 3 divide u?
True
Suppose -715 = 3*n + 2*n. Let g = -101 - n. Is g a multiple of 19?
False
Let n be 35/3 - 1/(-3). Suppose -4*j - 4 = -6*a + 2*a, 0 = 4*a - n. Is -1 - 0 - (j - 25) a multiple of 10?
False
Let r(m) = 2*m + 2*m - 2*m. Let z be r(1). Suppose 0 = -0*k + 3*k - z*f - 47, 2*k + 4*f = 58. Is 19 a factor of k?
True
Let g(a) = a**3 - 7*a**2 + 4*a - 2. Let t be 4/(-14) - 204/(-28). Does 23 divide g(t)?
False
Suppose 3*y + 6 = -0*y. Let w = y - 0. Is 2 a factor of w - -6 - (1 + 0)?
False
Suppose 2*v + 20 = 7*v. Suppose 0 = 4*i - v*a + 12 - 100, -4*a = -2*i + 44. Does 11 divide i?
True
Suppose 3*u - 64 - 71 = 0. Does 15 divide u?
True
Let u = -7 - 0. Let x = u - -2. Is (-436)/(-20) + (-1)/x a multiple of 11?
True
Suppose 6*r - 2*r = 8. Let c(w) = 6*w - 2. Does 3 divide c(r)?
False
Let l(s) = s**3 - 3*s**2 - 5*s + 1. Let g be l(4). Is (18 + 6/g)*1 a multiple of 9?
False
Suppose 0*c - 5*k = -c + 6, -3*c - 4*k + 18 = 0. Suppose -c*i = -i - 125. Suppose -4*z = -i + 1. Is z a multiple of 3?
True
Let a = 9 - 3. Suppose u = 5*u + 5*c + 10, 0 = u + 3*c + a. Suppose u = 2*t + 11 - 43. Does 16 divide t?
True
Suppose -x + 2*x - 53 = -u, -3*u = 2*x - 103. Suppose t + 2*t + 2*y = x, -4*t - 5*y = -77. Is 6 a factor of t?
True
Let s = 342 - 193. Suppose -r = -0*r - 43. Suppose -4*g = -s - r. Is g a multiple of 26?
False
Let y = -193 + 355. Suppose 3*l + y = -0*l. Let b = l - -78. Is b a multiple of 12?
True
Suppose -4*c = -6*c - 168. Suppose -150 = 4*l + n, -5*n = l - 2*n + 32. Let v = l - c. Is 23 a factor of v?
True
Suppose -3*s - 82 = -7*p + 2*p, 5*s = 4*p - 128. Let o = -12 - s. Is 12 a factor of o?
True
Let z be 1/((-3)/(-30) - 0). Let x(y) = y**2 - 7*y - 12. Does 5 divide x(z)?
False
Suppose 1 = 5*l - 24. Let z = l - 3. Is z a multiple of 2?
True
Let k(m) = -4*m - 7. Suppose 0 = -3*b - 9 - 6. Is k(b) a multiple of 5?
False
Let c be -2 + 12/(-2 + 5). Let p be ((-2)/c)/(2/(-4)). Let g = p + 3. Does 2 divide g?
False
Suppose -4*c + 6 = -2*c. Suppose -2*h + c*l = -h - 57, -2*h + 4*l + 124 = 0. Is 6 a factor of (-14)/(-3)*h/28?
True
Let v(f) = -f + 12. Let h be v(7). Let j(x) = x**2 - 3*x - 1. Is j(h) a multiple of 4?
False
Let p(f) = f**2 - 2*f - 4. Let r be p(4). Suppose 2*b = b + r. Is (2 - 0/(-2))*b a multiple of 8?
True
Suppose 3*n + 16 = 5*m, 2*m - 5*n + 10 = m. Suppose -2*s = m*x - 15 - 0, 0 = -s. Suppose -i + x = q, -50 = -5*i + q + q. Is 4 a factor of i?
True
Suppose 14*x = 15*x + 15. Is 16 a factor of (-6)/x + (-390)/(-25)?
True
Let l(r) = r - 3. Let q be l(-7). Does 4 divide 4/3*(-4 - q)?
True
Let l(t) = 36*t - 6. Let w(m) = -7*m + 1. Let q(r) = -3*l(r) - 16*w(r). Is q(4) a multiple of 9?
True
Let q(s) be the second derivative of 4*s**3/3 - 2*s**2 - 3*s. Does 14 divide q(3)?
False
Let v(w) = 1 + 0*w + w - 6. Let g be 4/18 + 79/9. Is v(g) a multiple of 3?
False
Suppose -4*y = -x - 3*x + 1864, 5*x - 2321 = -4*y. Does 10 divide x/12 + 3/(-4)?
False
Let d(t) = -t**3 - 4*t**2 - 8*t + 5. Is d(-5) a multiple of 7?
True
Let i = -1 + 5. Let s(c) = c**3 + c**2 - 2*c - 1. Is s(i) a multiple of 21?
False
Let l(v) = -15*v + 3. Let j(a) = 15*a - 3. Let w(r) = -5*j(r) - 6*l(r). Suppose 3*t - 2*h - 10 = 0, 0 = -3*t + 5*t - 4*h - 4. Does 20 divide w(t)?
False
Suppose 19 = 6*p + 1. Suppose 0*b - p*b + 5*j + 31 = 0, -5*b + j + 37 = 0. Is b even?
False
Suppose 27 = -3*u + 2*o, -2*u - 34 = 5*o + 3. Let k = u + 5. Let d(l) = -2*l - 2. Is d(k) a multiple of 6?
False
Suppose -5*o + 580 = 4*y, -y - 5*o + 300 = y. Is y a multiple of 20?
True
Let v be (-234)/(-3) - (0 + 3). Let l(r) = r**2 - 6*r + 4. Let f be l(6). Suppose f*t - v = -11. Does 12 divide t?
False
Let h = 3 - 2. Let g(o) = -69*o + 7. Let x(u) = 104*u - 10. Let s(b) = 7*g(b) + 5*x(b). Is 18 a factor of s(h)?
True
Let b(o) = o**3 + 12*o**2 + 5*o - 2. Does 32 divide b(-11)?
True
Let u be 4 + 1 + (3 - 6). Suppose u*s - 60 = -2*s. Is 8 a factor of s?
False
Let w(t) = 3*t + 20. Let s(v) = v + 7. Let y(i) = 7*s(i) - 2*w(i). Let d = 12 - 16. Does 3 divide y(d)?
False
Let l = 4 - 1. Let q(y) = 5*y**2 + y + 4. Is q(l) a multiple of 13?
True
Let o = 30 - -14. Is o a multiple of 5?
False
Let z be 4/(-6) - 14/(-3). Suppose 13 - 1 = z*y. Suppose -y*j + 4*j - 35 = -3*b, -4*b = j - 48. Is b a multiple of 5?
False
Let a(b) = -3*b - 7. Let j be a(-3). Is (3 - -3 - 1) + j a multiple of 2?
False
Let w = 380 + -219. Does