 a factor of (-67)/(-5) + 6/h?
False
Let t = 19 + -7. Is t a multiple of 3?
True
Does 22 divide 5/(10/(-6)) + 69?
True
Let i(m) = 2*m - 9. Let p be i(6). Suppose p*c = 178 - 7. Does 19 divide c?
True
Let j(m) = 19*m - 7. Is 7 a factor of j(2)?
False
Let d(s) be the first derivative of 33/2*s**2 + s + 4. Is 17 a factor of d(1)?
True
Let i(c) = c**3 + c**2 + c + 5. Let l(f) = -4*f**2 - f - 5. Let x(j) = j**2 + 1. Let u(y) = l(y) + 5*x(y). Let v be u(0). Does 4 divide i(v)?
False
Suppose -a = 2*h - 3 - 9, -2*h - 8 = -4*a. Does 11 divide 2/h - 325/(-10)?
True
Let d = 29 + 28. Is 19 a factor of d?
True
Let t = -138 - -257. Let r = t - 66. Does 9 divide r?
False
Let j = 5 + -5. Suppose g + 7 = -5*q + 33, j = 3*q. Does 13 divide g?
True
Suppose -4*i + 24 = -7*i. Let v = -6 - i. Is 6 a factor of 13*1 - (v - 1)?
True
Let y = 20 - -8. Does 28 divide y?
True
Let p be 1/(2/(-6)) - 0. Let i(r) = -r**3 - 3*r**2 - 3*r - 3. Is 6 a factor of i(p)?
True
Suppose 0 = -0*r + r. Suppose 2*i + 2*k = -2*i + 82, r = -2*i + 2*k + 26. Let s = i + 8. Is 11 a factor of s?
False
Let o(v) = 4*v**3 + v**2 + 2*v - 1. Let x be o(2). Let m = -26 + x. Let w = m - 6. Does 4 divide w?
False
Let m(y) = -4*y. Let i(w) = -w. Let c(o) = -9*i(o) + 2*m(o). Let p be c(0). Suppose -4*q + 171 = -3*j, -2*q + q + 3*j + 54 = p. Does 13 divide q?
True
Let b = -40 - 6. Let u = 88 + b. Is 17 a factor of u?
False
Suppose 4*d = -2*d + 30. Suppose d*z - 13 = 12. Does 2 divide z?
False
Let x = 10 - 6. Suppose 2*z - 34 = -4*u - 12, x*z - 35 = -5*u. Suppose 2*m = -u*m + 90. Is m a multiple of 18?
True
Suppose -4*l - 3*z + 0*z + 63 = 0, -2*z = 5*l - 70. Is 5 a factor of l?
False
Let o(b) = -b**3 + 3*b**2 + 2*b - 4. Let q be o(3). Let a be (0 - q) + (-1)/(-1). Does 17 divide -20*(3/(-15) + a)?
False
Let i = 28 - 17. Let z = 32 - i. Does 19 divide z?
False
Let a = 11 + 2. Suppose 5*w + 38 = a. Does 14 divide (-28)/(-6)*(-2 - w)?
True
Let p(v) = -v**3 - 3*v**2 - 2*v - 4. Let w be p(-3). Suppose -g - 32 = -5*y, 0*g = -2*y + 4*g + w. Is y a multiple of 3?
False
Let p(c) = c + 10. Let n be p(0). Suppose 2*b - 3*b + n = 0. Is b a multiple of 10?
True
Let p(z) = -z**3 + 11*z**2 + 15*z - 16. Is p(12) a multiple of 10?
True
Suppose 0*g = 2*g - 5*c - 21, -2*g = -4*c - 16. Does 5 divide g/5 + (-335)/(-25)?
False
Let w(d) = -79*d + 36. Does 28 divide w(-3)?
False
Let w be -5 + 7 + 1 + -1. Suppose -w*n = n - 45. Is n a multiple of 8?
False
Let t(c) = c**3 - 9*c**2 + 4. Is t(9) a multiple of 4?
True
Let j(q) = 43*q - 4. Is j(2) a multiple of 6?
False
Suppose -5*k + 37 = 297. Let c = -24 - k. Is 12 a factor of c?
False
Suppose 0 = 2*q - 4, 3*g + 3*q = -0*g + 105. Does 7 divide (2 - g/6)*-2?
True
Let i = -4 - -23. Does 19 divide i?
True
Let n = 95 - 61. Suppose 0 = -5*h + n - 4. Is 3 a factor of 2 - -2*3/h?
True
Let s = 58 + -40. Suppose -s - 14 = -v. Is v a multiple of 16?
True
Let s(g) = -g**3 - 2*g**2 - 3*g - 1. Let p be s(-2). Let t = 41 + 1. Suppose 5*n = u - 0*n + 10, 0 = p*u - 2*n - t. Is 5 a factor of u?
True
Suppose r - 74 = 5*h, 0 = -5*r + 4*h - 2*h + 301. Is 3 a factor of r?
False
Let r(d) = -3*d + 4. Let t = 2 - 6. Let w be r(t). Let h = w + -10. Is 4 a factor of h?
False
Let b(l) = -2 + 1 - 4 - 5*l + 0. Is b(-7) a multiple of 18?
False
Suppose -5*o - 2*j + 3*j + 21 = 0, 5*j + 1 = -o. Does 8 divide 3 - o/(-4)*27?
False
Let q(u) = -u**2 - 5*u - 2. Let b be q(-4). Suppose j - 2 = b. Is 3 a factor of (j + -2)/(2/7)?
False
Let q(i) = -9*i - 1. Does 2 divide q(-1)?
True
Let x(y) = 4*y. Let n be x(2). Let u = n - 1. Is u a multiple of 4?
False
Let a(s) be the third derivative of s**5/30 - 5*s**4/12 + 7*s**3/6 + s**2. Suppose 4*c - 3*i = 34, 4*c - 4*i = i + 38. Is a(c) a multiple of 16?
False
Suppose 2 = t - 2. Suppose b - 5*w + 140 = t*b, -b + 36 = -w. Is 8 a factor of b?
True
Let j(p) = 2*p**2 + p + 1. Let k be j(-5). Is k - (1 + -4) - 3 a multiple of 23?
True
Let s be (-1 + -53)*(-1)/(-1). Let f be (s/30)/((-1)/5). Let g = 0 + f. Is g a multiple of 9?
True
Let u = -3 + 2. Let q be (2/(-6))/(u/21). Let f = -2 + q. Is f a multiple of 3?
False
Suppose -9*w + 3*w + 648 = 0. Does 27 divide w?
True
Let j = -4 - -16. Let b be (0 - -1)/(3/j). Let c(q) = 3*q + 2. Is 7 a factor of c(b)?
True
Suppose 74 = w + d, 0*w - 72 = -w + d. Let h = w + -41. Is h a multiple of 11?
False
Suppose -2*m = 5*i - 4 - 17, 3 = i. Suppose 3*w = 4*y - 65, m*y - 39 = 3*w + 9. Is y a multiple of 13?
False
Let b(y) = -y**3 - y**2 - 8. Suppose 0 = m + m. Let h be b(m). Is 13 a factor of 4/h - (-98)/4?
False
Suppose 3*n = -3*j + 12, 3*j + 4*n - 6 - 6 = 0. Suppose -y + 3*y + 4*h = 78, 4*y - j*h - 192 = 0. Does 15 divide y?
True
Is 15 a factor of 1/(-3 - (-184)/60)?
True
Let f = 99 - 35. Is 32 a factor of f?
True
Let d(h) = 9*h**2 - 3*h - 2. Let r(i) = i**3 - 5*i**2 + 2. Let o be r(5). Suppose 0 = -o*a + 3*q + 8, 0*q - 16 = 4*q. Is 20 a factor of d(a)?
True
Let i be 8/(2 + 2) - -1. Suppose -38 + 2 = -i*x. Is x a multiple of 12?
True
Let l = 42 + -8. Is 16 a factor of l?
False
Let o(w) = w + 2. Let r be o(-2). Suppose -8*f + 3*f + 270 = r. Is 18 a factor of f?
True
Let t(k) = -25*k + 4. Does 25 divide t(-3)?
False
Let a be 152/(-10) - 2/(-10). Is (-4)/6 - 280/a a multiple of 9?
True
Suppose 0 = 3*i + 2*h - 13, -i - 2*h + 3 = -4. Suppose i*z + 34 = 181. Does 13 divide z?
False
Let r be -1 - (-73 - 0) - 0. Let l be (-3)/(-9)*(-45)/(-1). Suppose -r = -3*u - l. Does 19 divide u?
True
Suppose 0 = -3*s - 2*v + 4*v + 337, -4*s + 2*v + 448 = 0. Is 16 a factor of s?
False
Let t be (-1 - -1) + (-32)/(-2). Let k = 3 + t. Let z = k - 8. Is 11 a factor of z?
True
Let q(g) = 2*g + 3. Suppose 12*o - 20 = 8*o. Does 11 divide q(o)?
False
Suppose 718 + 842 = 13*k. Is 30 a factor of k?
True
Suppose -b - 305 = -3*c, 4*c + b = 8*c - 407. Is c a multiple of 17?
True
Let v be (5 - 2 - 18)*-1. Let p = 27 - v. Is 6 a factor of p?
True
Suppose -5*w - 10 = -0*w. Let i = 8 + w. Is 6 a factor of i?
True
Suppose -4*p - p = 0. Suppose p = 3*i - 12 + 3. Is (i - 2)/((-2)/(-86)) a multiple of 15?
False
Let g = 8 + 4. Let v = g + 15. Is v a multiple of 11?
False
Suppose -4*z = -5*d - 3*z - 43, 6 = 2*z. Let g be (-122)/d - (-3)/(-12). Suppose 2*u - 4*p = 24, -2*u + 7*u = -5*p + g. Is u a multiple of 6?
True
Let r(s) = s - 1. Suppose -c + 15 + 5 = l, -c + 20 = -2*l. Suppose c = 3*n + 2. Is 3 a factor of r(n)?
False
Let m(p) = -2 + 10*p + 2 - p**3 - 5 + 7*p**2. Let k be m(8). Let u = k + 10. Is 13 a factor of u?
False
Let h = -26 - -38. Let x be (5 - 1) + -3 + 2. Suppose -h + x = -d. Is d a multiple of 9?
True
Suppose -5*h + 74 = 3*j - j, -2 = -j. Is h a multiple of 13?
False
Suppose -2*m + 3 = 3*l - 2, -5*m - 5*l + 20 = 0. Is m a multiple of 6?
False
Let x = 534 - 356. Is 18 a factor of 8/20 + x/5?
True
Suppose 4*g = g. Suppose -u + g*u = 0. Let q = 3 - u. Does 2 divide q?
False
Suppose n = 9 + 16. Is 11 a factor of n?
False
Let j(b) = b + 52. Let a be j(0). Let r = 20 - -11. Let s = a - r. Is 21 a factor of s?
True
Let s(p) = p**3 + 4*p**2 - 5*p - 3. Let z be s(-5). Let b = -5 - -7. Is 2/z*(-51)/b a multiple of 7?
False
Let x = 324 - 218. Is 41 a factor of x?
False
Suppose -4*u + 45 + 107 = 0. Suppose 0 = 5*t - 3*w - 26, -5*t + u = 4*w - 3*w. Is t a multiple of 3?
False
Suppose 2*q = -4*d + 534, -3*d + 388 = 15*q - 11*q. Is d a multiple of 9?
False
Let q(a) = -8 + a**2 + 9*a + 0*a**2 + 2. Does 10 divide q(-11)?
False
Suppose -3*c + 18 = 2*x, 5*c + 3 - 13 = -2*x. Let j = x + -9. Let s = j + -4. Is 2 a factor of s?
True
Suppose 3*b - 69 = 2*g, 9 = -4*b + 29. Let z = 18 + g. Let c = 2 - z. Is 11 a factor of c?
True
Suppose -5*b + 576 = -3*b + a, -b = 3*a - 288. Is b a multiple of 12?
True
Does 4 divide 125/6 - (-17)/102?
False
Let o(c) = c**2 - 5*c + 7. Let j(s) = -6*s - 1. Let x(u) = -2*u**3 + 2*u**2 - 1. Let g be x(1). Let t be j(g). Is o(t) a multiple of 5?
False
Let n = -24 - -37. Is 2 a factor of n?
False
Let d = -90 + 162. Is d a multiple of 9?
True
Suppose 21 + 9 = -5*n. Let l(f) = -f**2 + 7*f - 6. Let x be l(6). Is 4 a factor of (2 + x)/(n/(-12))?
True
Suppose 4*k + 38 = 2*k. Let d = k - -27. Is 4 a factor of d?
True
Let n(l) = -l + 1. Let c be n(-1). Suppose 2*a = -c*a + 72. Does 9 divide a?
True
Is 29 a factor of (-1496)/(-51)*(-45)/(-6)?
False
Let h = -2 - -4. Let g(s) = 2