se h = f - 17. Is 15 a factor of f?
False
Suppose -37 = 17*o - 1465. Is 7 a factor of o?
True
Let b be 4 + -10*(-3 - 2). Suppose -3*t - 18 - 136 = -5*l, -5*t = -2*l + b. Is 8 a factor of l?
True
Let n = 109 - 77. Is 14 a factor of 32 - (n/2)/4?
True
Let l = 761 - 269. Does 123 divide l?
True
Let t(v) = 2 + 4*v**2 - 6*v**2 - v**3 + 4*v + 3*v. Is t(-5) a multiple of 6?
True
Let z(o) = 3*o - 29. Let d(r) = -r + 15. Let f(u) = 5*d(u) + 2*z(u). Let n be f(-14). Suppose n*b + 19 = 187. Is 23 a factor of b?
False
Let p(b) = 29*b**2 - 1. Let o be p(-1). Let i be 7/(o/8) + 1. Suppose 16 = i*t - 17. Is t a multiple of 9?
False
Let d(s) = -6*s + 156. Does 36 divide d(-10)?
True
Let r be 54/15 - 10/(-25). Suppose 0 = -3*j - r + 19. Suppose -92 = -j*u + 3*u. Is u a multiple of 9?
False
Suppose -36*r = -55*r + 14630. Does 35 divide r?
True
Let i(a) = a**2 - 2. Let v = -16 + 20. Let d be i(v). Let w = 24 - d. Is w a multiple of 3?
False
Let x be (0 + -2 - -2)/(-4). Suppose -5 = -u - 0, x = -5*d + 3*u + 380. Let r = d + -52. Is 9 a factor of r?
True
Is ((-4144)/(-20))/((-18)/(-90)) a multiple of 74?
True
Suppose -22*w + 14*w = 96. Let n(o) = 2*o**2 + 13*o + 22. Does 25 divide n(w)?
False
Suppose 7*o - 5546 - 1069 = 0. Does 21 divide o?
True
Suppose 39*p - 37*p - 36 = 0. Suppose -82 = -4*y + v, v - p = -y - 0*v. Is 12 a factor of y?
False
Suppose 0*h = -5*h + 5. Let j be -15*h/(-3) + 0. Is 17 a factor of ((-48)/(-5))/(1/j)?
False
Is 9/(-2)*2 + 2897 a multiple of 43?
False
Suppose 48566 = 25*t + 15266. Is 55 a factor of t?
False
Does 100 divide (-140)/(9/((-900)/10))?
True
Suppose 0 = 2*r - r. Let f(x) be the second derivative of -x**5/20 - x**3/6 + 18*x**2 - x. Is 18 a factor of f(r)?
True
Let n(k) = -2*k + 2 - k + 9*k + 6*k. Is n(4) a multiple of 26?
False
Let f(o) = o**3 + o**2 + 7. Let c be f(0). Let z = c - 7. Suppose 5*r = -5*x + 75, z*r = -4*x + r + 70. Does 9 divide x?
False
Suppose 4*z = -2*k + 30, 5*z - 4*k = z. Is 11 a factor of (7925/35)/z + 6/(-21)?
False
Let n = -20 + 34. Let g = 17 - n. Suppose 2*d - 135 = -g*d. Is 16 a factor of d?
False
Suppose -d = 4*d - 25. Let g(w) = -4*w + 9*w**2 - 3*w - 3*w + 4*w**3 - d*w**3 + 2. Is 10 a factor of g(7)?
True
Let u(t) = t**3 - 3*t**2 + 5*t + 2. Let d = 3 + 1. Suppose l = -5*v + 3*v - d, -2*l - 3*v - 4 = 0. Does 13 divide u(l)?
False
Let y = 504 + -390. Is y a multiple of 38?
True
Let x be 88/55 - 4/(-10). Suppose -10 = -x*f - 5*o + 20, 0 = -3*o. Is 15 a factor of f?
True
Let b = -82 - -178. Does 6 divide b?
True
Is 120 a factor of (-2640)/8*(2 - 1 - 9)?
True
Let a(s) = -17*s + 48. Is a(2) a multiple of 7?
True
Suppose -2*r - 2 = h, -2*h - 14 = -4*h + 2*r. Does 13 divide (h/8)/(2/364)?
True
Suppose 7*u = 8*u + 20. Let i = u - -22. Suppose 160 = -0*x + i*x. Is 29 a factor of x?
False
Does 44 divide (352/10)/(52/910)?
True
Let g = -17 - -17. Suppose -2*x - x + 4*i + 392 = g, -3*i - 532 = -4*x. Is 17 a factor of x?
True
Let z(c) = -c**3 - 5*c**2 + 4*c - 8. Let k be z(-6). Suppose -3*p - 7 = x, 3*x - p + 9 = 2*p. Does 11 divide 1*k/x + 18?
False
Suppose 12*p - 20 = 8*p. Suppose -2*j + 6*j - n - 296 = 0, 3*j - p*n = 205. Is j a multiple of 25?
True
Does 25 divide (-483)/92*((-200)/3 - 0)?
True
Let n be 2146/18 + 2/(-9). Suppose -4*v = 5*a - n, -62 - 11 = -3*a - 2*v. Is 9 a factor of a?
True
Is 27 a factor of -1*5 + 1666/(-28)*-2?
False
Let r(x) = 47*x**2 - 3*x. Is r(2) a multiple of 5?
False
Suppose -g = -3*f + 187, 0 = -2*f + 4*g - 6*g + 138. Let w = f + -57. Does 2 divide w?
False
Let z = 381 - 24. Is 7 a factor of z?
True
Let k(b) = -b**3 - b**2 + 3*b - 4. Suppose 4*l + 17 = 5*i, -6 = 2*l - l - 3*i. Let g be k(l). Suppose -g*a - 6*j = -2*j - 50, j = 0. Is a a multiple of 10?
True
Let w(o) = -o**2 - o. Let b be w(-1). Suppose b = -2*c + 7 + 9. Suppose s - c = -0. Does 8 divide s?
True
Suppose 0 = 3*j + 4*w - 23 - 2, 4*j = w + 8. Suppose -4*l + 4*r - 62 = -234, j*l + r = 125. Does 4 divide l?
False
Let q(l) = 2*l**2 - l. Let d be 63/(-18)*(-12)/7. Let f(b) = b - 8. Let k be f(d). Is 5 a factor of q(k)?
True
Let s(q) = -q**3 - 13*q**2 - 23*q - 36. Let a be s(-11). Suppose -4 = -2*l + 10. Let w = l - a. Does 4 divide w?
True
Suppose 0 = 17*y - 1290 - 1277. Is 13 a factor of y?
False
Suppose -5*a + 338 = -5*x + 3, -136 = 2*x - 4*a. Let o be (-1 + (-429)/6)/((-1)/2). Let q = x + o. Is 17 a factor of q?
False
Let i(z) = 6*z - 18. Let o be i(7). Let v = o - -4. Is 7 a factor of v?
True
Is 4 a factor of (0 + 1)/((-7)/(-8 - 1049))?
False
Let v(r) = -3*r**2 + 13 + 17*r + 2*r**2 - 6*r. Let d be v(12). Is 28 - (0 + d)*-2 a multiple of 24?
False
Let h(w) = 3*w**2 + 2*w + 2. Let q be h(-4). Let g be q/(-28)*8/(-6). Suppose g*n = 157 - 25. Does 20 divide n?
False
Let c be 0*2*(1/4)/(-1). Suppose c = k + k - 46. Is k a multiple of 6?
False
Let o be 8/20 + 54/15. Suppose -o*v + 345 = -v. Let s = 178 - v. Does 21 divide s?
True
Suppose -5*o + 1676 = -4*m, -m - 1008 = -3*o + 2*m. Suppose 3*b = l - 159, -o = -2*l - 0*l - b. Is 27 a factor of l?
False
Suppose 46*t - 48*t + 232 = 0. Let w = -44 + t. Does 4 divide w?
True
Let r(i) = 162*i**3 - i**2 + 13*i - 20. Does 33 divide r(2)?
False
Let d(o) = 130 + 132 + 21*o - 251. Is d(4) a multiple of 19?
True
Let z be (-1)/((3 + (-475)/158)*2). Let h = z + -51. Is h a multiple of 4?
True
Let y(k) = k**2 + 6*k + 5. Let r be y(-7). Suppose 2*a + 8 + 12 = 4*u, -5*a - 3*u - 24 = 0. Let v = r + a. Is v even?
True
Suppose 88*f + 360 = 89*f. Does 20 divide f?
True
Suppose 5*p + 0*m + 186 = -4*m, -m - 75 = 2*p. Let g = 125 - p. Does 13 divide g?
False
Let r(q) = 32*q**2 + 2*q - 7. Does 25 divide r(-3)?
True
Let s = -34 - -32. Is 60 a factor of (4 - 8) + (-378)/s - -4?
False
Is (-6*4/20)/(20/(-2350)) a multiple of 3?
True
Let m = 67 + -25. Does 14 divide (-2 + 1)*-1*m?
True
Does 16 divide (12 - (267 - -3))*(-32)/3?
True
Suppose 2264 = 2*y - 4*s, -3*y + 3876 = 2*s + 472. Does 9 divide y?
True
Suppose -k + 3*i = -4*k + 5169, 2*k + 3*i = 3450. Suppose -2*v - v = h - 347, v + k = 5*h. Suppose 5*x - 6*q = -q + 350, -5*x + h = q. Is 12 a factor of x?
False
Let m(q) = -q**3 + 5*q**2 + 4*q + 5. Let a be ((-5)/3)/(3/(-9)). Let x be m(a). Suppose 2*w - x = -h, 0*w = -w - 3*h. Is 15 a factor of w?
True
Suppose 12*d = 9*d + 15. Suppose 5*v - 485 = -n + 6*n, 0 = 5*v + d*n - 475. Is 20 a factor of v?
False
Suppose -18 = -6*h + 12. Suppose -2*t = h*o + 39, 0 = -5*o - 0*t + 5*t - 60. Is (-588)/o - (-1)/(-3) a multiple of 14?
False
Suppose 2*y - 6*s - 84 = -2*s, -170 = -5*y + 2*s. Suppose -82 = -i - y. Suppose -3*f + i = 14. Is f a multiple of 6?
True
Let g(s) = -s**2 + 15*s - 1. Let w(h) be the third derivative of h**5/60 + 5*h**4/12 + 4*h**3/3 + 6*h**2. Let r be w(-10). Is 8 a factor of g(r)?
False
Is 13 a factor of (-9)/(-21) + 2872/28?
False
Suppose -o - 2*j + 10 = 0, -5*o + 4*o = -3*j - 25. Suppose -17*w + o*w = -75. Is w a multiple of 5?
True
Suppose 0 = -2*p - 3*z + 728 - 170, 0 = 2*p + 5*z - 554. Let h = p - 189. Is h a multiple of 12?
False
Let g be (-92)/14*91/(-13). Suppose 5*l - g = -6. Is 2 a factor of l?
True
Let q = -8 + 15. Suppose 6*u = -q*u + 325. Is u a multiple of 18?
False
Let z = -122 + 77. Let g = z - -78. Is g a multiple of 11?
True
Suppose -2*y + 6*y = -3*v + 2384, 3*y - 3988 = -5*v. Does 20 divide v?
True
Let g be (3 - (-1 + 1)) + 2. Suppose -m = g*v - 40, m - 3*v + 4*v - 36 = 0. Does 5 divide m?
True
Let q(f) = -6*f - 3. Let b be q(-3). Let l = 111 - b. Does 24 divide l?
True
Suppose 0 = 7*k - 5*k - 530. Suppose k - 745 = -8*g. Does 10 divide g?
True
Let b be (156/104)/(2/280). Suppose 4*y + 0*y - 88 = 0. Suppose -y*d = -27*d + b. Is 38 a factor of d?
False
Let x = 143 + -45. Suppose -2*c - x + 274 = 0. Does 22 divide c?
True
Is (0 + 8)*(-36 - -63) a multiple of 9?
True
Let f be 3 + (1 - 4) - -164. Suppose 5*m + 4*h = 476, 4*m - f = 2*m + 5*h. Does 23 divide m?
True
Let y(g) = 953*g - 474. Is 34 a factor of y(4)?
False
Let t(q) = q - 1 + 8 - 4 - 8*q + 8*q**2. Let v be t(2). Is (v/(-6))/((-7)/98) a multiple of 15?
False
Suppose -6492 = -4*o - 4*b, -177*o + 4*b + 1628 = -176*o. Does 16 divide o?
False
Suppose 3*r + 2*b = 5 + 4, -3*b = -9. Does 9 divide (r + -19)*(-1)/1?
True
Let r be (-3 + 88)*(2 - 0)/(-2). Let s = r + 88. Is 3 a factor of s?
True
Let x = 3335 + -2502. Is x a multiple o