oes 18 divide u?
False
Suppose -z + 35 = -5*k, -5*k - 3*z + 8*z - 55 = 0. Let i = k + 16. Is i a multiple of 5?
True
Suppose -4*d + x + 14 = 0, -2*d - 3*d + 11 = 2*x. Suppose 0 = 3*l + 1 - 4, d*v = 2*l + 73. Is v a multiple of 16?
False
Let s(a) = -19*a + 10. Is s(-11) a multiple of 10?
False
Let r = 5 - 10. Does 22 divide 2/r - 664/(-10)?
True
Let k be 1/7 + 209/7. Let s be ((-68)/12)/((-2)/(-6)). Let t = k + s. Is t a multiple of 4?
False
Let g = 5 + -5. Let k = 0 + g. Suppose o + 3*r - 8 = k, -r + 76 = 5*o + 2*r. Is o a multiple of 17?
True
Let f(d) be the first derivative of -6*d**2 - 5. Let n be ((-6)/8)/((-4)/(-16)). Does 17 divide f(n)?
False
Is 4 a factor of -2 - 100/(-16) - (-1)/(-4)?
True
Is (-12*1)/(9/(-24)) a multiple of 32?
True
Suppose -19 = -3*w - 8*d + 3*d, 1 = -3*w + 5*d. Let h(g) = -g + g**3 - w - 2*g**2 - 2*g + 5*g. Is h(4) a multiple of 16?
False
Let d(h) = 3*h - 18. Let z be d(10). Suppose 0 = 3*b - 0*b - z. Does 3 divide b?
False
Let z(n) = 5*n**3 - 2*n**2 - 1. Let l be z(3). Suppose 0 = 5*s - s + m - l, 52 = 2*s - m. Suppose u + 0*u = s. Does 14 divide u?
True
Is (-1)/1 - -1*23 a multiple of 11?
True
Let c = 6 + -2. Let j = c + 16. Does 19 divide j?
False
Suppose -5*p + 107 = -4*n + 33, -n - 15 = -p. Is p a multiple of 5?
False
Let l be 6/(-21) - (-46)/14. Suppose -5*s + s - 5*o + 74 = 0, l*o - 15 = -s. Let f = 1 + s. Does 11 divide f?
True
Suppose 2*y = -x + 1, 5*x - y = -4*y - 30. Let n be (12/9)/(2/x). Let c = 4 - n. Is c a multiple of 10?
True
Suppose -5 + 0 = -5*l. Let q(g) = 0*g + 10*g + 19*g. Is 13 a factor of q(l)?
False
Let b(p) = -3*p + 27. Let k = 21 + -21. Is b(k) a multiple of 10?
False
Let k be ((-22)/(-5))/((-2)/(-10)). Is k + (-1)/3*-3 a multiple of 23?
True
Let t be (-1)/4 + 13/4. Suppose t*i = 2*i - 1, -4*i - 19 = -5*x. Suppose x*r = r + 40. Is r a multiple of 15?
False
Let d(j) = j**2 - 8*j - 5. Let r be d(7). Let b(f) = f**3 + 12*f**2 - 5*f - 5. Does 12 divide b(r)?
False
Let v(k) = -k**3 + 10*k**2 + 2*k - 8. Is 12 a factor of v(10)?
True
Let u(r) = -3*r - 14. Let w be u(-6). Suppose g + 58 = 2*t, w*t - 3*g - 185 = -65. Is 9 a factor of t?
True
Let k(z) = z - 4*z - 3*z + 0*z. Let u be k(-1). Let d(v) = 3*v + 6. Is 10 a factor of d(u)?
False
Suppose 3*p - 10 - 14 = 0. Let f = -3 + p. Is 4 a factor of f?
False
Let n(p) = p**2 - 7*p + 6. Let t = -7 + 13. Let o be n(t). Suppose o = 2*u + 2*u + 3*x - 52, 5*x = u + 10. Is u a multiple of 5?
True
Let w(a) = a**2 + 2*a. Suppose 3*g = 5*g + 8. Let u be w(g). Suppose 4*h - 56 = -u. Does 12 divide h?
True
Suppose -3 + 0 = -u. Let n = 0 + -1. Is (-100)/(-6) - n/u a multiple of 5?
False
Suppose -3*c + 3 + 9 = 0. Suppose 2*o + 0*o + 4*y - 80 = 0, -c*y = -2*o + 120. Is o a multiple of 10?
True
Let f be -6*(-1)/(-2) + 58. Suppose -5*g + 294 = -146. Let o = g - f. Does 14 divide o?
False
Let g = 63 - 43. Is g a multiple of 20?
True
Let o(h) = h. Let m be o(5). Suppose m*x - 12 = 608. Suppose -3*q + k = 2*q - x, 0 = -q + 5*k + 44. Is 9 a factor of q?
False
Let d(f) = -68*f + 4. Is d(-4) a multiple of 12?
True
Let m(b) = -b**3 - 5*b**2 + 6*b - 1. Let k be m(-6). Let z be k + 6*6/9. Suppose -37 + z = -2*o. Does 11 divide o?
False
Let a = -18 - -9. Is (0 + (-96)/a)*3 a multiple of 16?
True
Suppose m - 8 = -b - m, -16 = -3*b - 4*m. Let f(q) = 3*q**2 - q**3 + 2*q**2 + b*q**3 + 3*q - 6. Is f(5) a multiple of 9?
True
Suppose 0*f - 5*f + 45 = 0. Suppose 0 = -5*r + 3*h + 47, 2*r - 4*h + f*h - 25 = 0. Does 5 divide (-3)/(-6)*(r + 0)?
True
Let y(x) = -x**3 + 5*x**2 - 5*x + 7. Let a be ((2 - 0) + 3)*1. Let h be y(a). Let q = h + 42. Does 13 divide q?
False
Let r = -60 + 214. Let w = -92 + r. Is w a multiple of 17?
False
Suppose q - 10 = 6*q. Is ((-10)/6)/(q/12) a multiple of 10?
True
Let d = 17 - 9. Suppose 5*z + 5*q = 135, -4*z + 2*q + d + 70 = 0. Let t = 42 - z. Does 10 divide t?
True
Let x(z) = z + 8. Let l be x(9). Suppose -3*f + 2*s + 40 = 0, f + 2*s - l - 7 = 0. Is 9 a factor of f?
False
Suppose -1150 + 25 = -9*f. Does 13 divide f?
False
Suppose 31*h - 162 = 25*h. Is 9 a factor of h?
True
Let u be 34/(-187) - (-508)/11. Does 12 divide 1 + (u - -4)/2?
False
Suppose 54 = 5*i - 201. Is i a multiple of 7?
False
Suppose -3*r + 5*i = -11, -5*i - 16 + 1 = -5*r. Suppose -g = 3*g. Suppose -r*l + 18 = -g*l. Does 9 divide l?
True
Suppose -5*l = -8 - 7. Suppose -l*f + f - y = -65, y + 145 = 5*f. Does 15 divide f?
True
Is 45/3 - 1*3 a multiple of 12?
True
Let k(a) = -2*a + 13. Let i be k(0). Is 5 a factor of -1 + (-3 + i - -1)?
True
Is 2 a factor of ((-42)/(-9))/(10/45)?
False
Suppose -1 = -4*t + 23. Does 5 divide t?
False
Suppose 3*y = -3*a + 93, 4*a = -2*y + y + 31. Let f = -30 + 74. Suppose -f = -5*g + y. Is 5 a factor of g?
True
Let v(m) = -m**3 - 7*m**2 - m + 11. Is 4 a factor of v(-7)?
False
Suppose -172 = -4*l - 4*k, 5*l - 9 - 161 = 4*k. Does 38 divide l?
True
Let j(k) = 3*k**2 - 8*k + 1. Does 30 divide j(8)?
False
Does 7 divide -1 + 231/4 + (-15)/20?
True
Suppose -2*z + 2464 = 4*a, -3*a + 3*z - 611 = -4*a. Suppose 6*l - a = -209. Is l a multiple of 20?
False
Suppose 4*s + 0*s - 5*w = 143, 0 = 5*w + 15. Is 4 a factor of s?
True
Let p = 75 - 42. Does 21 divide p?
False
Let q(a) = -16*a - 8. Suppose -2*m - 10 = -0. Does 18 divide q(m)?
True
Let w(k) = k**3 + k**2 - 3*k - 1. Let a(o) = o**3 + o**2 - 3*o - 1. Let u(m) = 3*a(m) - 4*w(m). Let t be u(-3). Let p = t - -1. Does 4 divide p?
False
Let h = -218 + 374. Does 52 divide h?
True
Let d(z) = z**2 - 3*z - 2. Let a be d(5). Let r = 14 + a. Does 22 divide r?
True
Let b(r) = -12*r**3 + r**2 + r. Suppose 5*a + 3 + 2 = 0. Does 12 divide b(a)?
True
Let a be 8/1 - (-6)/(-2). Suppose -53 = -2*c - a. Is c a multiple of 6?
True
Let z(q) = 7*q**2 + 4*q + 3. Let x(t) = -6*t**2 - 4*t - 4. Let i(b) = -6*x(b) - 5*z(b). Is 23 a factor of i(-10)?
True
Suppose -3*h = 110 - 383. Let k = h - 64. Is k a multiple of 22?
False
Suppose 2*g = 2*f - 18, -g - 4 = -4*f + 23. Suppose 2*b + f = l, -26 = -l + 5*l + 2*b. Does 2 divide l*((2 - 0) + -3)?
True
Suppose k + 4*r - 420 = -k, -4*r = -2*k + 460. Is 20 a factor of k?
True
Let k(n) = n - 7. Let d be k(7). Suppose -132 = -4*v - d*v - 3*m, -3*v + 70 = -5*m. Let c = v - -9. Does 13 divide c?
True
Suppose 7*k - 23 = -4*r + 4*k, -2*r = 2*k - 12. Let p(l) = 8*l - 4. Let q be p(r). Suppose -4*j - j - 15 = 0, -3*d + q = -5*j. Is 7 a factor of d?
True
Let o(j) = -2*j**3 + 2*j**2 - 1. Let c be o(-1). Let a be ((-6)/(-4))/(c/(-6)). Does 12 divide (a/4)/(3/(-96))?
True
Let i = 175 + -91. Is 28 a factor of i?
True
Let l be (-3)/3 + 1 + 2. Let n be 2/(-4)*0 + l. Suppose 3*v - 25 = -b + 20, 0 = n*v - 4*b - 30. Is v a multiple of 15?
True
Let n = 33 - -3. Is n a multiple of 10?
False
Let u(x) = 3*x**2 + 22. Is 2 a factor of u(0)?
True
Let a be -1*-10*3/6. Suppose 2*j + 1 = 201. Suppose 0 = a*f - j - 35. Does 8 divide f?
False
Suppose 3*d - 14 - 670 = 0. Does 12 divide d?
True
Let k(b) = -3*b - 3. Let l be k(5). Is 12 a factor of l/5*(-20)/6?
True
Suppose -5 = 2*y + 3. Let w = -10 + 14. Is 5 a factor of 6/y - (-46)/w?
True
Suppose 4 = -4*n + 16. Suppose u + n*u + 12 = 0. Let z(k) = -9*k. Is z(u) a multiple of 17?
False
Suppose 4*t - v - 2*v = 23, 0 = 3*v + 3. Suppose -4*b + 38 = t*u, 5*u - 4*b = -9*b + 35. Is u a multiple of 5?
True
Let b(y) = -12*y**2 + y. Let d be b(-2). Let l be 1/(98/d - -2). Let v = 13 + l. Is 18 a factor of v?
False
Let c = 26 - -12. Suppose 5*v - 44 = 3*x, 5*x = -3*v + x + c. Does 9 divide v?
False
Suppose 2*o - 72 = -4*i, 5*i + 47 = 4*o - 58. Does 15 divide o?
True
Let r = 157 + -87. Let a = 5 - 2. Suppose a*o = -2*o + r. Is 7 a factor of o?
True
Suppose 3*a + x - 5 - 4 = 0, 2*x + 6 = 0. Suppose 32 = a*f - 120. Is 12 a factor of f?
False
Let t be 14/(-4)*(-8)/(-4). Let b(r) = r**2 + 8*r + 4. Let j be b(t). Let d(q) = -4*q - 4. Is d(j) a multiple of 4?
True
Suppose -5*h + 3*n + 612 = 0, -h + 4*h - n = 364. Suppose 8*g - h = 3*g. Is g a multiple of 12?
True
Suppose -2*q - 84 = 5*q. Does 17 divide 13/((-3)/q - 0)?
False
Suppose 0 = -6*o - 272 + 1052. Does 26 divide o?
True
Is ((-84)/(-10))/((-15)/(-100)) a multiple of 14?
True
Suppose -334 = -2*d + 5*n - 2*n, 2*n = 4. Is d a multiple of 17?
True
Suppose -2*x - 194 = -5*h, -x = -4*h - 4*x + 146. Is h a multiple of 19?
True
Suppose 37 + 9 = 2*m. Let b