k = 1 - -5. Does 39 divide (26/k)/(6/108)?
True
Let o = 2271 - 2050. Does 11 divide o?
False
Let d be (50/(-35))/(-5)*28/2. Suppose d*u - 5*u = -117. Is u a multiple of 18?
False
Let q = 12 - -19. Let a = q - 37. Is -4 - (a - -3) - -47 a multiple of 21?
False
Suppose 0 = -v - 4*f + 9*f + 621, 0 = v - 4*f - 619. Is v a multiple of 67?
False
Let z(k) = 44*k + 66. Is 11 a factor of z(21)?
True
Suppose 0 = -2*q + 5*t + 32, t - 19 - 1 = -2*q. Suppose 3*m - 864 = q*m. Does 13 divide ((-52)/6)/(12/m)?
True
Let j(v) = 13*v + 1. Let c = 5 + 3. Let h = c - 7. Does 14 divide j(h)?
True
Let c(m) = 2*m**3 + 14*m**2 - 12*m - 14. Is 10 a factor of c(-7)?
True
Let r(t) = 21*t - 223. Does 29 divide r(12)?
True
Is 66/(-21)*(23 - 86) a multiple of 18?
True
Suppose a + 4*a = -5*k + 3765, 9 = 3*k. Does 76 divide a?
False
Let d be (-1)/5 - 258/(-15). Let w(t) = -t**2 + 17*t + 12. Let f be w(d). Let r(m) = 5*m + 2. Is r(f) a multiple of 14?
False
Let l be 9/21 + 17/(-7). Is 20 a factor of (-2 + -6)/l + 54?
False
Let g(b) = -b**3 - 19*b**2 - 22*b + 100. Is g(-19) a multiple of 14?
True
Let m be 4*(-5)/(-10) - -12. Suppose -m - 86 = -4*y. Is y a multiple of 25?
True
Let t = 60 - 55. Suppose -k = k - 4*g - 46, 0 = -t*g + 15. Is k a multiple of 7?
False
Let f(n) = 2*n - 9. Let g be f(-4). Let m = g - -21. Is m even?
True
Suppose -3981 = -43*w + 7457. Is 7 a factor of w?
True
Suppose 3*d = -4*a + 25, 5*a + 20 = -3*d + 49. Let g = d + 17. Suppose 2*q = q - 3*s + g, -22 = -2*q + 3*s. Does 7 divide q?
True
Let b be -5 + 21 + -5 + 3. Suppose 4*k - 2*y = 68, k - 2*y = -0*y + b. Is 5 a factor of k?
False
Let l be (121/22 - 2/(-4)) + -2. Suppose -2*f = 5*b - 568, -l*f - 320 = -b - 2*b. Is 28 a factor of b?
True
Let k = 74 - -62. Let z be k/3 + (-2)/(-3). Let i = -22 + z. Is i a multiple of 12?
True
Let t(y) = y**2 - 5*y - 3. Let o be t(4). Let b(f) = f**3 + 7*f**2 - 5*f + 14. Is b(o) a multiple of 19?
False
Let l = 1479 - 874. Is l a multiple of 73?
False
Let u(z) be the first derivative of 3*z - 3 - 5/2*z**2. Is u(-3) a multiple of 18?
True
Suppose 0 = 4*j - 37 - 15. Let q = 0 - -6. Suppose -n = -3*v + v - q, 5*v = 2*n - j. Is n a multiple of 2?
True
Let d be ((-35)/(-10) + -3)*-2. Let g = d + 57. Is g a multiple of 14?
True
Let d(b) = b + 1. Let n be d(9). Does 8 divide n/15 - (-380)/6?
True
Let d = 2835 + -1155. Is 105 a factor of d?
True
Suppose 61*u - 63*u - r = -1169, 3*r = 3*u - 1776. Does 21 divide u?
False
Let l be 0 + -1 - -4 - -7. Let h be 1/(-6) + 2/12. Suppose -2*a - 2 = -l, 3*w - 4*a - 92 = h. Is w a multiple of 17?
False
Suppose -p + 202 - 1236 = -r, -5*r = -2*p - 5158. Is r a multiple of 24?
False
Suppose 0 = 2*g - 4*c - 26, -4*g + 5*g - 3*c - 16 = 0. Is g a multiple of 3?
False
Let k = 639 + -307. Does 11 divide k?
False
Suppose -207 = 5*r + 233. Suppose 112 = -2*a - 14. Let j = a - r. Is 10 a factor of j?
False
Suppose 0 = l + 2*l + 27. Let i(m) = -m**2 - 10*m - 6. Let q be i(l). Is 15 a factor of (-1)/q + 181/3?
True
Let d = -10 - -14. Suppose -h = -2 + 8. Let i = d - h. Does 4 divide i?
False
Let z(v) = 46*v + 4. Let a(s) = s - 8. Let l be a(13). Let n be z(l). Suppose 4*q - 90 - n = 0. Does 27 divide q?
True
Suppose 3*q = 5*w + 3500, -16*w - 2 = -17*w. Does 39 divide q?
True
Is (-15)/10*590/(-3) a multiple of 5?
True
Let d = -8 - -13. Let k be (0 - -2) + -1*d. Is 7 a factor of 13 - k/(-3 - -6)?
True
Suppose 184 = 2*b + u, -6*u = -b - 5*u + 98. Does 11 divide b?
False
Suppose -4*z = -4, -z - z - 914 = 4*o. Let f = o + 525. Is f a multiple of 37?
True
Let y = 312 + -101. Is 17 a factor of y?
False
Let n be (-2 + (-1)/(-2))/(3/(-18)). Is (-4 + (-48)/n)*-3 a multiple of 14?
True
Let q = 31 + 1. Let h = q - 12. Is h a multiple of 20?
True
Let y be (-16)/10 + 9/15. Let o = y + 4. Let v(l) = 5*l**2 - 2*l + 3. Is 19 a factor of v(o)?
False
Suppose 4*k - 3 = y, -12 = 4*k + 3*y - 7*y. Is 12 a factor of (-1 - (-12)/8)*672/k?
True
Suppose -2*v + 3*c + 28 = -15, 0 = -3*v + 4*c + 67. Let j = 20 - v. Does 20 divide (20/3)/((-3)/j)?
True
Let n(i) = 5*i**2 + 3*i + 1. Let c = 16 - -1. Suppose -5*x = -4*j, -3*x + x = -5*j - c. Is 23 a factor of n(x)?
True
Suppose 10*l + 2*r = 14*l - 8680, -4*r = -16. Does 20 divide l?
False
Let b = 1 - -1. Suppose -b*a + 0*s - 18 = -4*s, 0 = -a - s. Let m(k) = -14*k + 1. Is 15 a factor of m(a)?
False
Let p(q) = 3*q + 20. Let c be p(-5). Is 25/10*44/c a multiple of 4?
False
Let c be 307/2*1 - 2/(-4). Let k = 31 + c. Is 37 a factor of k?
True
Suppose -l + t = -3*l + 1369, -l + 3*t = -688. Suppose 2*g = r - 99 - 32, -5*g = 5*r - l. Does 27 divide r?
True
Let r(f) = -f + 15. Let c = 48 - 52. Does 17 divide r(c)?
False
Suppose h - 1127 = -3*d + 2*h, 3*d + 4*h = 1102. Suppose 2*r + d = 4*r. Is r a multiple of 17?
True
Let r(h) = -297*h - 484. Is 10 a factor of r(-6)?
False
Suppose r = 6*x - 5*x + 24, -12 = -r + 5*x. Is 15 a factor of r/(-9) + 108*1?
True
Suppose 0 = 4*i - 4*u + 80, -i - i - 37 = -5*u. Is 30 a factor of (-6704)/(-56) - 6/i?
True
Let m be (0 - (0 + 2 + -2))/(-1). Suppose -10*x + 5*x + 115 = m. Does 3 divide x?
False
Suppose 5*u - 16 = u. Suppose -16 = u*v, h - 5 = v + 2. Suppose -4*s - 20 = 0, -h*q + 4*s + 126 = s. Does 11 divide q?
False
Let p = 18 - 17. Suppose d - 71 = p. Suppose 4*u = -0*u + d. Does 6 divide u?
True
Suppose 0 = -v + 10 - 6. Suppose -2*p = -2*j - 96, 2*p + p = v*j + 142. Is 10 a factor of p?
True
Suppose -9730 = -16*p + 56478. Does 16 divide p?
False
Let u(j) = 2*j**3 - 7*j**2 + 5*j + 5. Let t be ((-24)/21)/((-4)/14). Is u(t) a multiple of 41?
True
Suppose 2*y - 6 = -22. Let o = 64 + y. Is 7 a factor of o?
True
Let r(x) = -x + 4. Let j be r(3). Let q = 3 - j. Suppose 10 = q*n - 10. Is 7 a factor of n?
False
Suppose 5*v = 18*v - 5980. Is 20 a factor of v?
True
Suppose -4*x = -0*x - 192. Let g = x - 28. Is 8 a factor of g?
False
Suppose -3*x = 2*h - 9, -x - 41 = -6*h + 3*h. Let b be ((-200)/h)/(2/(-6)). Is 14 a factor of -5*5/(b/(-88))?
False
Let t(u) be the second derivative of u**4/4 + u**3/6 + 31*u**2/2 + 4*u. Let z(f) = 4*f**2 + 2*f + 30. Let j(v) = 3*t(v) - 2*z(v). Does 13 divide j(0)?
False
Let u(m) = -2*m**2 - 3*m + 8. Let d be u(3). Let f = d + 22. Does 3 divide f?
True
Let k = -10 + 4. Let g be ((-3)/k)/((-5)/(-80)). Suppose 5*f - g = 52. Is f a multiple of 3?
True
Suppose 0 = -5*g - 15, 0 = -4*v + 2*g + 3*g + 283. Let h = v + -47. Suppose 68 = 3*x + h. Is 9 a factor of x?
False
Let k(c) = -c**3 - 6*c**2 - 6*c - 2. Let d be k(-5). Let z be (3 - 3/d) + 0. Suppose r = -z*r + 84. Is 14 a factor of r?
True
Let h = 52 + 21. Let l = 117 - h. Does 3 divide l?
False
Let h(r) = -39*r + 22. Let a be h(-4). Suppose 2*d - a = -18. Is d a multiple of 40?
True
Suppose 3*h - 2676 = -4*o + 1518, -6 = 3*h. Is o a multiple of 30?
True
Let b(l) = l**3 + 6*l**2 - 2*l. Suppose -5*c = -2*c + 12. Is b(c) a multiple of 13?
False
Let n(h) = h**3 - 2*h**2 - 2*h - 3. Let k be n(3). Suppose 7*r - 5*r - 400 = k. Suppose 53 = s - 2*g, -4*g = -4*s + g + r. Is s a multiple of 11?
False
Suppose 770 = 7*i - 2*i. Is 14 a factor of i?
True
Suppose -3*l + 101 = -5*t, 83 = -5*t - 2*l - 33. Let x = t + 86. Is 24 a factor of x?
False
Let r = 13 - -110. Does 3 divide r?
True
Suppose 920 = 52*q - 48*q. Suppose 10*u - 710 = -q. Does 4 divide u?
True
Suppose -39 - 213 = -14*z. Is z a multiple of 9?
True
Let r(l) = 16*l**2 - 4 + 18*l - 7 - 9 + 3 - l**3. Let x be r(17). Suppose 3*w + 6*d - d - 77 = x, 4*w + d - 80 = 0. Is w a multiple of 8?
False
Suppose 0 = t + 3*h - 401, 4*h + 1263 = 3*t + h. Is 52 a factor of t?
True
Suppose -c = -z + 117, 15*z = 11*z - c + 468. Is 6 a factor of z?
False
Suppose 7 = 3*n - 8, -4*t = n - 1741. Does 14 divide t?
True
Let o(p) = -p**3 + 8*p**2 - 8*p - 11. Let c be o(5). Suppose 5*b = c + 26. Is b a multiple of 10?
True
Suppose 11*g - 5*g = 0. Suppose g*x - 196 = -4*x. Does 7 divide x?
True
Let f(y) = y**3 + 13*y**2 + y + 14. Let x be f(-13). Is -116*x/(-1)*1 a multiple of 9?
False
Suppose 1749 = 3*w + 3*q - 714, 5*w - 4115 = -3*q. Does 59 divide w?
True
Suppose -39*r = -37*r - 4. Suppose -o = r*z + z - 584, -2*z + 4*o + 394 = 0. Does 39 divide z?
True
Let y = -2726 - -5227. Is 12 a factor of y?
False
Let k(g) be the second derivative of 7*g**4/12 + g**3/6 + g**2/2 + 4*g. Is 4 a factor of k(2)?
False
Suppose 0 = -2*