 - 14 = 5. Let d = -5 + 8. Is (d - o) + 34 + 2 a multiple of 17?
False
Does 18 divide -1224*(2/6)/((-22)/33)?
True
Let m(d) be the third derivative of -d**4/24 - 2*d**3/3 + d**2. Let f be m(-2). Is 25/f*(-12)/15 a multiple of 3?
False
Let t be (-4)/8 + (-21)/(-6). Suppose -69 = -2*c - c + t*g, -3*g = 4*c - 57. Is c a multiple of 18?
True
Let g(s) = -65*s + 138. Is 6 a factor of g(2)?
False
Let s(k) = 15*k**2 + 3*k + 32. Does 59 divide s(6)?
True
Suppose -6 = -r - 2*r. Let c(m) = 16*m**2 + 2. Is c(r) a multiple of 33?
True
Is 34 a factor of ((-2)/1 + -66)*(23 - 25)?
True
Suppose 0 = c - 3*q + 8, q = c - 6 + 14. Let o = -415 + 285. Is 13 a factor of o/4*c/5?
True
Let k(c) = -c**3 - 15*c**2 - 2*c - 3. Let o be 1 + (2 - 5) - 13. Is k(o) a multiple of 25?
False
Let k(s) = -s**2 + 13*s + 9. Does 7 divide k(10)?
False
Let g(y) = -2*y**3 - 3*y**2 - y + 2. Let l be g(3). Let q = 146 + l. Is q a multiple of 32?
True
Suppose 4*d + 2*r - 8 = 0, -3*d - 4 = -8*d - r. Let s be ((-21)/(-4))/(6/48). Let l = d + s. Is l a multiple of 14?
True
Let u(b) = 129*b**2 - 1. Suppose 13*y - 1 = 12*y. Let g be u(y). Suppose g = 3*n - 7. Does 15 divide n?
True
Suppose -1115 = 98*n - 99*n. Suppose -18*s = -n - 1099. Is 21 a factor of s?
False
Let p(z) = 5*z**3 - 2*z**2 + z. Let l be (-18)/(-16) - 15/120. Let i be p(l). Suppose -i*j = 4*o - 2*j - 294, 0 = -5*o + 4*j + 348. Does 17 divide o?
False
Let d(s) be the third derivative of s**4/24 + s**3/3 + 5*s**2. Is d(12) a multiple of 14?
True
Suppose -3*t + 20 = 101. Suppose 4*x = 7*x - 99. Let p = x - t. Is p a multiple of 15?
True
Suppose 4*g - 7 = 4*k + 5, 2*k + 9 = 3*g. Suppose k = 5*v - 7*v + 78. Let x = -3 + v. Is x a multiple of 12?
True
Let i(g) = g + 4. Let j be i(-7). Let m be 3*j*(-1 - 0). Is m/(-12) + (-54)/(-8) even?
True
Let l(m) = 9*m - 2. Let q(n) = n**3 - 5*n**2 + 7*n - 7. Let c be q(4). Let x = c + -4. Is 3 a factor of l(x)?
False
Suppose -11*j = -6*j - 15. Is -4 + (j - 2/(-1)) + 54 a multiple of 6?
False
Suppose -4*r = -3*u + 3225, u = 2*u + 3*r - 1088. Is 94 a factor of u?
False
Let j(a) be the first derivative of 2*a**3/3 + 5*a**2/2 - 6*a - 11. Does 10 divide j(4)?
False
Suppose 3828 = -46*s + 52*s. Does 51 divide s?
False
Let y(q) = q + 36. Is y(10) a multiple of 46?
True
Let g = 89 + -49. Suppose -n + 29 = 4*b, 3*b + g = 2*n + 2*b. Suppose -n = -5*r + 2*r. Is 2 a factor of r?
False
Suppose -15*c = -23*c + 48. Suppose -3*n - 11 = -2, n = -2*f - 3. Let y = f + c. Is 6 a factor of y?
True
Suppose 3*w + 39 + 18 = -3*l, -4*w = -2*l + 58. Does 2 divide (w/20)/(((-4)/(-70))/(-1))?
True
Suppose 66*c = 67*c - 144. Is c a multiple of 4?
True
Let q = -1577 + 2490. Is 20 a factor of q?
False
Let w = 705 - 141. Is 21 a factor of w?
False
Let k = -20 - -15. Let f(v) = -21*v - 1. Let o(w) = 41*w + 2. Let d(s) = k*f(s) - 3*o(s). Does 6 divide d(-2)?
False
Let x = 25 + -11. Suppose 53 = 5*b + i, -3*b - 2*i - x = -5*b. Is b a multiple of 7?
False
Let s(r) = -21*r + 4. Let c(q) = q + 1. Let n(k) = -42*k - 4. Let z(t) = -10*c(t) - n(t). Let g(y) = -7*s(y) - 5*z(y). Is g(-6) a multiple of 20?
True
Let c = 201 - -231. Is 24 a factor of c?
True
Suppose -562 = 5*n + 163. Let h = -5 - n. Is h a multiple of 9?
False
Is 23 a factor of 18/(-30) - 10624/(-40)?
False
Suppose -3*h - 198 = -9*h. Is 24 a factor of h?
False
Let f = -571 + 1000. Does 39 divide f?
True
Suppose -2*i = -5*t + 2769, 4*i = -3*t - i + 1680. Suppose -t - 201 = -7*q. Is 18 a factor of q?
True
Let b(k) = 11*k - 1. Let n(i) = -i**2 + 3. Let z be n(0). Let x be b(z). Suppose -a - 5*r + x = 0, -a + r + 50 = 12. Does 7 divide a?
False
Let t(h) = h**2 - 5*h - 2. Let u be t(6). Is 22 a factor of ((-54)/(-24))/(-9) - (-753)/u?
False
Does 19 divide 15/(90/(-456))*(-2)/4?
True
Suppose 10 = x - 97. Let m = x + -55. Suppose 4*h + 0*h - 2*o - m = 0, -4*o = 3*h - 50. Does 7 divide h?
True
Does 53 divide (0 - 2/7) + 53790/105?
False
Let s(q) = -5*q**2 + 7*q - 7. Let c(m) = -m**2 + m. Let v(w) = 6*c(w) - 2*s(w). Is v(6) a multiple of 22?
True
Suppose -9*z + 15 = -6*z. Suppose -2*o = -0*o + 3*m, o = z*m + 26. Let d(t) = t**2 + 3*t. Is 27 a factor of d(o)?
True
Suppose d = -3*x + 43, -3*x = 2*d - 4*x - 100. Let l = d - 20. Is 4 a factor of l?
False
Suppose -7 = 5*k + 13, k = -g - 7. Does 28 divide (0 + g)/(-2*(-9)/(-1176))?
True
Suppose -j = -2*m - 0*m + 7, 5*j - 25 = -5*m. Suppose 0 = 4*g - 7 - j. Suppose 4*k - 252 = -5*v, 0*k = 2*v + g*k - 102. Is 24 a factor of v?
True
Let n be 16 + (-16)/4 + 1. Let h(a) = a**2 - 12*a - 9. Let s be h(n). Suppose -s*c + 379 = -49. Is c a multiple of 28?
False
Suppose -3*b + 5*x = 49, -b - 3*x + 32 = -3*b. Let z = b + 14. Is (3/z)/(33/187) a multiple of 6?
False
Let u(v) = -v**3 - 9*v**2 + 9*v - 5. Let s be u(-10). Suppose -41 = 3*b + s*q - 172, -25 = 5*q. Does 26 divide b?
True
Suppose 0 = 3*k - l + 893, 5*k + 4*l + 1503 = 26. Let b = 81 - k. Does 14 divide b?
True
Suppose -3*h = l - 2*h - 364, -2*l = 4*h - 734. Is 40 a factor of l?
False
Let i = -25 + 250. Let x = i - 131. Let a = x - 52. Does 21 divide a?
True
Let z(t) = 5*t**2 + 14*t - 1. Let r be (-2)/1 + -1 - 3*1. Is 14 a factor of z(r)?
False
Suppose n - 3*p = 23, -4*p = -n - n + 36. Is 5 a factor of (10/n)/(14/168)?
True
Let a(k) = 9*k**2 + 6*k + 9. Does 61 divide a(-7)?
False
Suppose -y = -4*u - 8, -3*y - 1 = 2*u - 11. Let p(j) = 15*j + 1 - 1 - 2*j + 2. Does 18 divide p(y)?
True
Let v(f) be the first derivative of -f**3/3 - 8*f**2 - 17*f + 2. Suppose 91 = -6*c + 7. Is 5 a factor of v(c)?
False
Let z(a) = -a**2 - 23*a + 8. Let g be z(-7). Let f = 0 + g. Suppose 13*y - f = 11*y. Does 10 divide y?
True
Is 23 a factor of ((-56)/20 - -2)*(-3250)/20?
False
Let o(x) = -x**3 + x**2 + x. Let t be o(2). Let q = 5 + t. Is 9 a factor of (-2 + q/1)*18?
True
Suppose -p + 3 = -12. Suppose -p*a - 4 = -11*a. Is 10 a factor of 0 - (a - 16) - -3?
True
Suppose -47*i + 45*i = -6. Is 224 + 1 - (i + -3) a multiple of 9?
True
Suppose 3*w - 782 - 3114 = 5*r, -4*r = 2*w - 2590. Does 71 divide w?
False
Suppose -16*i = -12*i. Suppose d - 22 - 50 = i. Does 10 divide d?
False
Suppose 4*b - 2723 = -5*z + 78, 5*b = -3*z + 3485. Is 19 a factor of b?
False
Suppose 5*y = -g + 72 + 6, 2*y = -6. Let q = g - 38. Does 11 divide q?
True
Let z = -171 + 1299. Is 7 a factor of z?
False
Suppose 0 = -5*v + 3*v - 410. Let x = v + 330. Is 25 a factor of x?
True
Suppose 0 = 4*l + 4*d - 3612, -4*l = 5*d - 1970 - 1637. Does 82 divide l?
False
Let o = -474 + 731. Is o a multiple of 19?
False
Let t = 185 + 269. Is 7 a factor of t?
False
Let y = 70 + 1452. Does 29 divide y?
False
Let v(x) = 0*x - 4 - 8*x + 2*x. Suppose 2*h + 8 = -r, -5*h - 5*r = -6 + 21. Is v(h) a multiple of 8?
False
Let q = -511 - -911. Is q a multiple of 20?
True
Suppose 0 = 3*h - 4*z + 6*z - 187, -2*h + 120 = -z. Let s = h - -128. Is 27 a factor of s?
True
Let s = -20 - -28. Suppose 3*y - s*y = -730. Let b = y + -78. Is 16 a factor of b?
False
Suppose 1259 = 3*r - y, 0*r - 1261 = -3*r - y. Does 10 divide r?
True
Let z = 2996 + -1794. Is 33 a factor of z?
False
Let y = 702 + -359. Is 2 a factor of y?
False
Suppose 0 = 3*g - 4*y + 26, -y = 3*y - 20. Let j(c) = 2*c**2 + 7*c + 8. Is j(g) even?
True
Is 16 a factor of 5 - 750/(3 - 8)?
False
Suppose -11*b = -12*b - 2*l - 96, 5*b = 3*l - 415. Let h = b - -108. Does 5 divide h?
False
Is 6774/3 - 420/(-42) a multiple of 12?
True
Let a = -2 - -6. Is 5 a factor of (144/28)/(a/14)?
False
Let i = -69 - -53. Let n(a) = -a**2 - 17*a + 9. Is 9 a factor of n(i)?
False
Does 2 divide ((-21)/(-35))/(1/85)?
False
Let m = 9 - 3. Let d(o) = 2*o**3 - 5*o**2 - o + 11. Let g(v) = v**3 - 2*v**2 + 5. Let a(l) = 3*d(l) - 5*g(l). Does 8 divide a(m)?
False
Let i(l) = l**2 + 2*l - 2. Let v be i(-2). Does 11 divide 28/(-42)*165/v?
True
Let k(f) = -f**3 - 2*f**2. Let g be k(-2). Let w = 10 + g. Is 6 a factor of 192/w + (-1)/5?
False
Let p = -2 + -4. Let q(h) = -h**3 - h**2 + h + 1. Let i(a) = 6*a**3 + 13*a**2 + 2*a - 3. Let d(o) = i(o) + 5*q(o). Does 10 divide d(p)?
False
Let o(n) = 22*n - 3. Let l(q) = -q + 1. Let m(h) = 4*l(h) + o(h). Suppose -5*f + 0*f + 10 = 0. Is 22 a factor of m(f)?
False
Let g be -5 - ((-3)/(-1) - 6). Let t(w) = w**3 + 5*w**2 + 4*w + 5. Does 4 divide t(g)?
False
Let w be (1 + 13)/((-2)/(-8)). Suppose -9*k - 116 = -5*k. Let r