m - 84. Let p = z - -51. Is p a multiple of 6?
True
Is 12 a factor of 3/(-3)*(0 + -159)?
False
Suppose -53 = -4*t + 23. Let z = -17 + t. Suppose z*g = 2*u - 11 + 123, 5*g - 280 = -3*u. Is 14 a factor of g?
True
Is -1*(-1680 + (13 - 9)) a multiple of 53?
False
Let w(i) = -2*i - 18. Let k be w(-13). Let r = k + -7. Is (r + 0 - -29) + 3 a multiple of 9?
False
Is 2 a factor of (-236)/(-3) - (-2)/6?
False
Let t(z) = z**3 + 15*z**2 - 11*z - 21. Let k be t(-16). Let x = -66 - k. Does 7 divide x?
True
Let w(t) = -12*t + 18. Let m(d) = -13*d + 19. Let n(u) = -4*m(u) + 5*w(u). Is 14 a factor of n(-20)?
False
Suppose 0*v = v - 2. Suppose 191 + 313 = 7*q. Is 17 a factor of (q/(-16))/(v/(-48))?
False
Suppose -5*g - 35 = -5*l + 20, -g = l + 7. Let z = g + 5. Does 12 divide (-2)/z + (-170)/(-4)?
False
Let n be 3/(((-84)/488)/7). Let g be n/(-18) - (-2)/9. Suppose -4*r - 120 = -g*r. Does 10 divide r?
True
Let k(x) = 10*x + 11. Let q be k(-6). Let s = -34 - q. Is s a multiple of 5?
True
Let o be (4/7)/(20/(-70)). Is 7 a factor of (-2)/o*-2*-5?
False
Suppose -w = 4*y + 34 - 202, -126 = -3*y + 2*w. Let r be y/9 - 4/6. Suppose 5*t = -5*k + 3*k + 306, 0 = -3*t - r*k + 192. Is 17 a factor of t?
False
Let j = -131 + 131. Suppose j = -6*v + 14*v - 2464. Does 13 divide v?
False
Suppose 8*w - 4*w - 16 = 0. Suppose 49 = -w*u + 125. Is u a multiple of 4?
False
Let s(b) = -5*b**2 + 78*b - 9. Does 20 divide s(14)?
False
Let d(j) = j**2 + 9*j - 14. Let b be d(-11). Suppose b*l - 10 = 3*l. Suppose -3*s + 4*c = -38 - 44, l*s = -4*c + 28. Is 11 a factor of s?
True
Let l(h) = h**3 - 6*h**2 + 3*h - 13. Suppose 2*j - 6 = 8. Does 30 divide l(j)?
False
Suppose -2*y - 3*d = d + 32, 3*d + 9 = 0. Let v = y - -12. Suppose m - 44 = -3*m + v*z, -5*z = 3*m - 46. Does 7 divide m?
False
Let i = -6 - -9. Let m(b) = -11*b + 113. Let f be m(10). Suppose 4*q - f*l - 189 = 2*q, -l + 256 = i*q. Does 13 divide q?
False
Let y(p) = p**3 - 12*p**2 + 29*p - 16. Let f be y(9). Let i(n) = 3*n**3 - n + 1. Let l be i(1). Suppose -3*m + 15 = l*t - 0, -3*t = f*m - 13. Is m even?
True
Let l = -3 + 14. Let x = l + 17. Is x a multiple of 28?
True
Let w(i) = 2*i**3 + 11*i**2 - 16*i + 3. Is 7 a factor of w(-6)?
True
Let z be 5/(-1 - -2) - 2. Suppose -5 - 67 = -z*f. Let w = f - -9. Is w a multiple of 11?
True
Suppose 3*d - 31 - 22 = -2*s, 2*s = -d + 43. Suppose 12 = 4*p - p - 2*n, -5*n = -2*p + s. Suppose p*u + 5 - 25 = 0. Does 5 divide u?
True
Let r be (-1 - 1)/(3/(-30)). Suppose 5*m - r = -0*m. Suppose 5*i = -s + 24, 3*i = s - m*s + 96. Is s a multiple of 17?
True
Suppose 4*b + 2264 = 2*z, -5*z + 6742 = -b + 1046. Is 15 a factor of z?
True
Suppose -2*s - 208 = -2*o, o - 4*s = -o + 212. Is 16 a factor of o?
False
Suppose -4*x - 1 = -9. Suppose -z + x = -0*z. Suppose -v = -z*m - 48, -4*v + m = v - 240. Is 12 a factor of v?
True
Let f(n) = -32*n**3 - 2*n**2 - n. Let c be f(-1). Suppose -2*z = c - 363. Suppose 0 = 5*y + 6 - z. Is 16 a factor of y?
True
Let w = -156 - -360. Is w a multiple of 17?
True
Let g(n) = 5*n**2 + 2. Let u = -66 - -72. Is g(u) a multiple of 13?
True
Let m(o) be the first derivative of -o**3/3 + 11*o**2/2 - 23*o - 16. Is m(7) a multiple of 2?
False
Let v(c) = 2*c**3 - 4*c**2 + 6*c + 2. Let h be v(5). Let d = h - 94. Is 22 a factor of d?
True
Suppose 5*m - 2*m = -a + 67, -29 = -m + 3*a. Suppose 4*f + 10 = 3*f. Let r = f + m. Is 12 a factor of r?
False
Let w = 36 + -30. Let x be 2*3/w*-107. Let q = -22 - x. Is 16 a factor of q?
False
Let n = 1161 - 769. Does 7 divide n?
True
Let t(k) = 2*k - 3. Let a be t(4). Suppose 32 = a*u - 2*x - 81, 0 = 4*u - 2*x - 92. Does 4 divide u?
False
Let v(n) = n**3 - 29*n**2 - 230*n - 46. Does 32 divide v(36)?
False
Suppose 2*a - 332 = -m, 2*m = 2*a - 4*a + 666. Suppose m = 8*o - 346. Is 17 a factor of o?
True
Let i(g) = -g**2 + 8*g - 5. Let l be i(5). Suppose -3*a - l = 8. Let w = a - -13. Is w a multiple of 3?
False
Let b(u) = 34*u - 122. Is b(6) a multiple of 4?
False
Does 52 divide -10 + 18 + 5*154?
False
Suppose 0 = -d - 3*d - 224. Suppose 2 = 3*n - n. Does 28 divide ((-4)/8)/(n/d)?
True
Let o be 2 - -3*(-2)/(-3). Let p = -8 + o. Is 9 a factor of 0 - p/((-12)/(-93))?
False
Suppose 5*n + 2*m = -174, -n + 6*n + 192 = 4*m. Let f = n + 252. Is 43 a factor of f?
False
Let q(z) = z**2 - 5*z - 98. Is q(-23) a multiple of 26?
True
Let j = 33 + -257. Does 14 divide (-1 + -27 + 0)/(32/j)?
True
Let a = -163 - -187. Let m = 154 - a. Does 20 divide m?
False
Let u(t) = 666*t + 34. Does 85 divide u(3)?
False
Let l be (-5)/(-5 + (-16)/(-4)). Suppose -r + 0*r = -4*a - 33, -l*r = 3*a - 119. Does 15 divide r?
False
Let n(y) = -17*y + 402. Does 13 divide n(-16)?
False
Does 12 divide (16/(4/(-2)))/(4/(-302))?
False
Suppose 0 = 3*i - 4 - 2. Suppose i*j - 9 = -j. Does 7 divide 13 + (j/(-3) - -2)?
True
Suppose 5*w - 776 = -z, 3*w = -0*w - 3*z + 468. Suppose 2*i = 4*d - 355 - w, -d + 4*i = -138. Let h = -73 + d. Does 14 divide h?
False
Let v = -3021 - -4964. Is 25 a factor of v?
False
Let u(q) = 6*q**2 - 3*q + 2. Let y(p) = -p - 2. Let o be y(-4). Suppose -w = -0*w - o. Is 19 a factor of u(w)?
False
Let l(x) = -23*x + 6*x**2 - 3*x**2 + 27*x. Let b be l(3). Let a = b - 27. Is 4 a factor of a?
True
Suppose -i + 1593 = i - t, 0 = -t + 3. Is 38 a factor of i?
True
Let p(h) = 9*h**3 - h**2 - h. Let k be p(-1). Let o be (-1766)/7 - (-30)/105. Is ((-12)/(-14))/(k/o) a multiple of 5?
False
Let l = -11 + 22. Let n = l - 7. Is (78/4)/(2/n) a multiple of 13?
True
Suppose -3*o = -2*s + 812, -12*s = -11*s - o - 408. Is 69 a factor of s?
False
Let x(a) = -a**3 + a**2 + 11*a + 16. Let k be x(-6). Let o = k + -83. Is 17 a factor of o?
True
Suppose -n + 1 = h, n + h = -n + 3. Suppose -2*q - 108 = n*q. Let t = q + 38. Is 5 a factor of t?
False
Suppose v + 4*v + 3*h = 607, 2*v - 254 = -4*h. Let u = -62 + v. Is u a multiple of 39?
False
Let g be (0/1)/(16 - 14). Suppose -5*r + 306 + 129 = g. Is 50 a factor of r?
False
Let a(z) = -6 - 37 - z + 82*z**2 - 41*z**2 - 40*z**2. Is 3 a factor of a(-8)?
False
Suppose 2*d - 4*r - 2432 = 0, 5*r = -5*d + 6*r + 6080. Is d a multiple of 19?
True
Let g = 172 + -71. Suppose -u - 4*o + 23 = 0, u - 4*o = 4*u - g. Suppose 5*f + 3 = y - u, 114 = 5*y - f. Is 22 a factor of y?
True
Let d(h) = h**2 + 11*h + 28. Does 2 divide d(-20)?
True
Let w(v) = 12*v**3 + 2*v**2 + 3*v + 6. Let z be w(-2). Is 16 a factor of z/(3 - 5) - (1 + -5)?
True
Let s(x) = 2*x - 39. Let c(a) = 6*a - 118. Let k(u) = 5*c(u) - 16*s(u). Let p be k(15). Suppose p*v - y - 27 = 0, 12 = -3*v + 6*v + 2*y. Does 6 divide v?
True
Suppose -3*r = 6, r - 18 = -6*p + p. Suppose -157 = -5*y - z + p*z, 5*y + 5*z = 165. Is y a multiple of 7?
False
Let n = 0 - -51. Is 3 a factor of n?
True
Let b = 4 - 8. Let w(o) be the first derivative of o**3 + 4*o - 38. Does 13 divide w(b)?
True
Let z(b) be the second derivative of -b**5/20 + b**4 - 11*b**3/6 + 11*b**2 + 4*b. Is z(11) a multiple of 10?
False
Let t = 1174 + -678. Does 9 divide t?
False
Let z(j) = 3 - 5 - j**3 + 7*j**2 - 9*j + 1. Let t be z(5). Suppose 9*m - 30 = t*m. Is 2 a factor of m?
True
Let w = -453 + 476. Is w a multiple of 23?
True
Let j(q) = -q**2 - 7*q + 5. Let o be j(6). Let f(z) = 124*z**2 - 4*z + 5. Let x be f(1). Let g = x + o. Does 13 divide g?
True
Let j(o) = 2*o**2 + 2*o - 1. Let r be j(-2). Suppose r*x - 4*x = -68. Does 17 divide x?
True
Let m(u) = 10*u**2 + 134*u. Is m(-28) a multiple of 14?
True
Suppose -14*x = -756 + 56. Suppose -2*b - 3*u + 145 + x = 0, b + u = 96. Does 9 divide b?
False
Suppose -2*n - n = -18. Suppose 84*f - 76*f - 96 = 0. Is 126/f*40/n a multiple of 24?
False
Suppose 5*c = 29 + 26. Let j(w) = w**3 - 9*w**2 - 11*w - 17. Does 9 divide j(c)?
False
Suppose 0 = k - 2*k - 1. Does 37 divide 145 + 1 - ((6 - 2) + k)?
False
Suppose 0 = -4*d + 20, 0 = -2*s + 6*s + 5*d - 985. Does 12 divide (12/8)/((-1)/s*-3)?
True
Let c be (15/(-6))/((-1)/70). Suppose -c = -3*g + 44. Let u = g - 42. Is 27 a factor of u?
False
Let j(n) = -2*n + 14. Let r be j(6). Suppose r*b + 23 = 4*l + l, -4*b + 4 = 0. Suppose -15 - 90 = -4*g - l*v, -4*g = -4*v - 96. Does 5 divide g?
True
Suppose l = -9 + 45. Let d = l + 41. Is 35 a factor of d?
False
Let x(v) = -9*v - 2. Let w be x(-1). Suppose w*q - 3*q = 384. Let o = -3 + q. Does 31 divide o?
True
Let g = 1350 + -65.