 Is x a multiple of 17?
False
Suppose 0 = -5*d - 3*f + 190, 2*d = 8*f - 11*f + 76. Is d a multiple of 9?
False
Suppose l - 78 = 4*l. Let t = l + 59. Is 33 a factor of t?
True
Let m = 21 + -18. Let i be (m/9*0)/1. Suppose x - 4*z - 2 = i, 5*x - z = z + 100. Is x a multiple of 6?
False
Let c(s) = -s**2 - 8*s + 12. Let x(u) = u**2 + 7*u - 11. Let l(i) = 4*c(i) + 5*x(i). Let v be l(5). Suppose v = 3*y - 0*y. Is y a multiple of 5?
False
Suppose -1522 = -4*j + 4814. Is j a multiple of 132?
True
Suppose 7 + 8 = -5*v - 4*z, 5*v - 2*z = 15. Is (v + 0)*(31 + 5) a multiple of 25?
False
Suppose -5*p + 5*j + 1042 = -588, 5*j = -4*p + 1295. Is 25 a factor of p?
True
Is (24/(-4) - -333) + 2 + 1 a multiple of 47?
False
Suppose -20 = 4*d + 2*u + 2*u, 0 = d + 2*u + 2. Let g be 18*d/12*-1. Let a = 47 + g. Is a a multiple of 15?
False
Suppose -2*p - 3*r = -470, -p = -r + 3*r - 237. Is p a multiple of 11?
False
Let r(t) be the first derivative of -15*t**2/2 + 14*t + 8. Is r(-3) a multiple of 7?
False
Let n = 21 - 20. Does 5 divide 4*((-58)/(-6) + n/3)?
True
Let q(b) = -5*b - 30. Let h be q(-11). Let d be 29/((-3)/(-5 - -2)). Suppose -z + i = -d + 4, -4*i = z - h. Is 8 a factor of z?
False
Suppose 2*u + 5*u - 294 = 0. Suppose 0 = 11*c - 13*c + u. Does 3 divide c?
True
Let n be -4 + (-195)/(-24) + 3/(-24). Suppose -x = 5*q - 16, -x + 80 = 3*x + n*q. Is 3 a factor of x?
True
Let y(v) = 55*v**2 - v - 2. Let f be y(2). Let b = 21 + f. Let i = -161 + b. Is i a multiple of 11?
False
Let r(b) = -b**3 + 6*b**2 + 3*b - 13. Let i be r(6). Suppose -530 = -i*h - 0*h. Does 16 divide h?
False
Suppose -15*d + 13*d = -3530. Is 10 a factor of d?
False
Let d(w) be the third derivative of -w**4/24 + 4*w**3/3 - 7*w**2. Let l be d(4). Suppose 2*f + 218 = l*f. Is 30 a factor of f?
False
Let o = -182 + 237. Is o a multiple of 3?
False
Let i(o) = -17*o + 79. Let q be i(16). Let s = 278 + q. Is s a multiple of 17?
True
Does 50 divide 2 + (-2421)/(-3) + -9?
True
Is (90/(-24))/(2/(-40)) a multiple of 3?
True
Let x be -210 + (-12)/(1 + -5). Let k be 3/2 - x/(-6). Let l = 50 + k. Is l a multiple of 17?
True
Let d be -2 + 0 - (-6)/4*26. Let n = 175 - d. Does 23 divide n?
True
Let g(u) = 5*u - 2. Let h be g(2). Let k be ((-12)/h)/(2/(-68)). Let m = k + 12. Does 17 divide m?
False
Suppose 7*g - 3732 = -491. Is 12 a factor of g?
False
Suppose -p - 312 = -q, -891 - 10 = -3*q - 4*p. Is 58 a factor of q?
False
Let x(r) = r**3 + r**2 + r + 14. Let v be x(0). Let c be (2 - -3) + -13 + 5. Is 15 a factor of (-3 - c - -1) + v?
True
Let w = 1456 - 928. Is w a multiple of 24?
True
Let m = 1318 - 1277. Is 4 a factor of m?
False
Let g(w) = -w**3 - w**2 + w + 20. Suppose -4 = 4*o - 4*u - 0, -3*u + 3 = 0. Is g(o) a multiple of 10?
True
Let u(b) = 6*b**2 - 13*b - 124. Is 3 a factor of u(-6)?
False
Is ((-522)/27)/(-1 - 4/(-12)) a multiple of 24?
False
Suppose 8*t = 12*t + l - 237, 0 = -3*t + 2*l + 186. Suppose 48 - t = -g. Is g a multiple of 7?
False
Let f(q) = q + 1. Let b be f(-1). Suppose 10 = 5*y + 30, 3*t - y - 7 = b. Is -2 + (3 - -5 - t) a multiple of 2?
False
Let x be ((-22)/(-33))/(-1*1/36). Does 9 divide 6/8 + (-702)/x?
False
Suppose 0*a - s = 3*a - 41, 0 = 3*a + 5*s - 37. Let i = 8 - a. Is 17 a factor of ((-594)/i)/(2 + -1)?
False
Let n = 1002 + -619. Is n a multiple of 9?
False
Let u(b) = -7*b + 0*b**2 + b**2 + 2*b**2 - 2*b**2. Let r be u(-5). Suppose 2*d = d + r. Does 23 divide d?
False
Let v = 779 + -568. Does 15 divide v?
False
Suppose -26*w + 18*w = -4752. Is w a multiple of 18?
True
Let y(c) = -124*c + 3*c**2 + 127*c + 1 + 1. Is 8 a factor of y(-7)?
True
Is (8 - 14 - 22)*(-30 - -1) a multiple of 15?
False
Suppose 3*y + 2*k = -52, 2*y - k = -6*k - 31. Let n be (y/24)/(1/(-20)). Is 16 a factor of 1143/n + (-4)/20?
False
Let q(o) = -3*o + 12. Let k be q(3). Suppose 2*m = -2*r + k*m + 35, -4*r = 4*m - 88. Is 19 a factor of r?
True
Let s(m) = 8*m**2 - 9*m - 3. Let x be s(-6). Suppose 0 = -4*b + 69 + x. Is 34 a factor of b?
True
Suppose -1421 = -k + 5*g, -4*k - 2*g = -8120 + 2546. Is 49 a factor of k?
False
Let o(a) be the first derivative of 7*a - 6 + 2*a**2 + 1/3*a**3 - 1/4*a**4. Is 11 a factor of o(-3)?
False
Suppose -9*r = -6310 - 30617. Is 126 a factor of r?
False
Suppose 15 - 5 = 2*z. Suppose -629 - 931 = -z*t. Is t a multiple of 39?
True
Let a be (-3119)/7 - (-24)/42. Let b = a + 675. Does 24 divide b?
False
Let h = 639 - -321. Is h a multiple of 24?
True
Suppose t = 9*t - 8528. Does 41 divide t?
True
Let b(s) = -2*s + 11. Let y be b(-4). Let k = y - -21. Is k a multiple of 10?
True
Let p(y) = -y + 20. Let w be (-9 - 0)*(-12 + 11). Is p(w) even?
False
Is 26 a factor of (666 - (-8 + 11))/((-6)/(-28))?
True
Let f(i) = 4*i - 18. Let a(s) = -s + 4. Let o be a(-7). Is 11 a factor of f(o)?
False
Let p = 52 - 52. Suppose -5*b - 360 = -5*j, -2*j - b + 128 + 31 = p. Is 11 a factor of j?
True
Let z = -9 - -15. Suppose -5*g + 5*y = 40, g + z + 2 = -4*y. Is g*2/(4/(-4)) a multiple of 8?
True
Let a(m) = 2*m**3 - 7*m**2 + 6*m + 7. Let r(d) = -10*d**3 + 34*d**2 - 30*d - 35. Let o(c) = 11*a(c) + 2*r(c). Is 26 a factor of o(6)?
False
Let w = -7 + 12. Does 12 divide ((-16)/w)/((-8)/120)?
True
Let m(f) be the second derivative of -f**6/120 + 7*f**5/60 + f**4/12 + f**3/6 + f**2/2 - 2*f. Let h(y) be the first derivative of m(y). Is h(7) a multiple of 6?
False
Suppose 10*j - 60311 + 1421 = 0. Is j a multiple of 13?
True
Let l(b) = 106*b**2 - 2*b - 3. Suppose 2 + 0 = -2*d. Does 15 divide l(d)?
True
Let t(z) = -z**3 + 7*z**2 + 5*z - 9. Let r be t(6). Let c = r + -50. Is 4 a factor of c?
False
Let n(q) = -2*q**2 - 9*q - 43. Let m be n(-5). Suppose 0 = -2*x - x - 12. Is 8 a factor of m/(-15)*(-30)/x?
True
Let o(k) = k**2 + 8*k - 19. Suppose -34 = 2*i - 8. Does 16 divide o(i)?
False
Let b(m) = -10*m + 133. Is 3 a factor of b(4)?
True
Let v = -536 + 900. Does 13 divide v?
True
Suppose -5*q = -2*q - 3861. Is q a multiple of 99?
True
Let p = 297 - 153. Suppose -3*s = a - 26, -3*s - 48 = 3*a - p. Is a a multiple of 5?
True
Suppose -5*b = -4*m + 830, 4*m + 0*m + 2*b = 844. Suppose 0 = p + 2*p - m. Does 10 divide p?
True
Suppose -t + 690 = 87. Is 10 a factor of t?
False
Suppose 138 = 3*z + 27*t - 31*t, 0 = -4*z - 4*t + 212. Is 15 a factor of z?
False
Suppose 2*r + 2*x - 87 = -3*x, -5*x - 159 = -4*r. Let n(f) = -f**2 + 9*f + 2. Let m be n(5). Let d = r + m. Does 21 divide d?
True
Let p be (-3 + (-7)/(-2))*0. Let r be (-4)/(-2 - -1) + p. Suppose r*l = 5*l - 42. Is l a multiple of 14?
True
Suppose 4*i = -g + 997, g = i + 973 + 34. Is g a multiple of 89?
False
Let o(h) = 4*h**3 - 2*h**2 + h. Let l be o(2). Is l - (7 - (5 + -2)) a multiple of 11?
True
Suppose -3*h + 2*f + 2009 = -0*f, 3*h - f = 2011. Let q = -473 + h. Is 41 a factor of q?
False
Let a be 3/((-18)/(-312)*1). Let h = 50 + -74. Let j = h + a. Does 20 divide j?
False
Let t = 447 - 79. Is t a multiple of 16?
True
Let x be -6*(-2)/3*(-14 + 23). Let j = -50 + 19. Let h = x + j. Does 2 divide h?
False
Suppose i + 54 = -5*p, 0*p + i = 2*p + 16. Let a = p - -50. Is 20 a factor of a?
True
Let b(t) = 3*t**3 - t**2 + 15*t + 7. Does 27 divide b(5)?
True
Suppose 0 = 5*j + 4*m - 3204, -4*m - 2251 = -5*j + 985. Is j a multiple of 16?
False
Let n(i) = -i**3 - 17*i**2 - 15*i + 11. Let t be n(-15). Let c = 324 + t. Suppose -5*q - c = -5*d, -q = 3*d - 8 - 58. Is 11 a factor of d?
True
Suppose 22*c - 23*c = 4*i - 880, 4*i + 4352 = 5*c. Is c a multiple of 13?
False
Let u(f) = -2*f**2 - 5*f + 4*f**2 + 2*f**2 - 3*f**2 + 3. Does 17 divide u(7)?
True
Let d be (-1 - (5 + -3)) + 90. Let s = 173 - d. Does 13 divide s?
False
Let k = 1953 + -1699. Is 5 a factor of k?
False
Let v(f) = f**3 - 14*f**2 - 14*f - 11. Let l be v(15). Is (3 - l) + 14 + 1 a multiple of 7?
True
Suppose -a - 16 = -66. Suppose -4*s + a = -70. Does 6 divide s?
True
Let t(y) = 20*y**2 + 18*y + 24. Is t(5) a multiple of 19?
False
Let r(m) = 2*m**2 - 5*m - 8. Let t be r(4). Suppose 7*k - t*k - 114 = 0. Is 3 a factor of k?
False
Let u = -156 - -281. Is u a multiple of 8?
False
Suppose 1 = 2*k + 55. Let p = k + 46. Does 19 divide p?
True
Let i(m) = m**3 + 4*m**2 - 2*m - 4. Let a be i(-4). Is -2*(-6 - a - -4) a multiple of 4?
True
Suppose -2*z = l - 68, -5*l + 365 = 4*z + 55. Is 58 a factor of l?
True
Let z = 2050 + 272. Does 27 