
Suppose -152 + 620 = 6*t. Let v = t + -78. Suppose 3*r - 2*l - 614 = v, -4*r - 5*l + 934 = 100. Is 42 a factor of r?
False
Let m(i) = -233*i + 87. Is 156 a factor of m(-9)?
True
Suppose -b - 4*b - 2*u = -21, 0 = -5*b + u + 12. Suppose -x - 20 = 5*s, -b = -2*s + 5*x - 11. Is 44 a factor of 0 + s/(-1) + 206?
False
Suppose -3*t + 21192 = -18072. Is t a multiple of 9?
False
Let i = 23 + -20. Suppose -1092 = -4*x + 4*u, i*x + 2*x - 3*u - 1365 = 0. Suppose 2*p = x + 247. Does 20 divide p?
True
Suppose -3*t + 4*t - 195 = 0. Suppose 0 = a - 3, -3*a = -5*y - 7*a + 237. Let c = t + y. Is 12 a factor of c?
True
Suppose -4*k + 0 + 16 = 0. Suppose -3*i + 56 = -4*o - o, -k*i + o = -103. Let j = 58 - i. Is 12 a factor of j?
False
Suppose -5040 = 2534*m - 2548*m. Is 4 a factor of m?
True
Let v = -548 - -580. Let o be 0/((-5)/((-10)/4)). Is (126 + 0 + o)/(v/16) a multiple of 8?
False
Suppose z - 4*y - 8734 = 0, 3*z - 4*y - 26236 = -9*y. Is z a multiple of 141?
True
Let i(j) = -j**3 + 17*j**2 - 66*j + 2. Let o be i(11). Suppose -3*v - 109 = -2*l - 8*v, 0 = 3*l - o*v - 154. Is 8 a factor of l?
False
Let i be (-30)/35 - 1000/(-56). Suppose 5394 = 22*b - i*b - 2*x, 0 = 4*x - 12. Does 20 divide b?
True
Let z(w) = -w - 1. Let c be ((-6)/7)/(2*(-4)/(-56)). Let g be z(c). Suppose -g*x = -9*x + 548. Is 9 a factor of x?
False
Let u(t) = 6*t**3 - 18*t**2 + 52*t - 237. Is 208 a factor of u(14)?
False
Suppose 0 = -28*w + 8*w + 60. Suppose v = a + 846, v - 3381 = -3*v + w*a. Does 79 divide v?
False
Let p(a) = 19*a**2 + 8*a + 64. Let r = 380 - 385. Does 13 divide p(r)?
False
Let g be 2/(-9) + 11/9. Let p be -2031 + 43 + 21/(-3). Does 17 divide g/(-2) - p/30?
False
Let o(a) = a**3 - 15*a**2 + 19*a - 66. Let p be o(14). Suppose -4*b + 2*q + 25 + 13 = 0, b = 5*q - p. Is 3 a factor of b?
False
Suppose -2*i + 88 = w + 7, 0 = 4*i - 3*w - 177. Suppose 18368 = -i*s + 74*s. Does 15 divide s?
False
Let y(i) = -i**3 - 7*i**2 - 8*i - 8. Suppose -16 = 2*f + z, -4*z - 14 = 5*f - 8*z. Let w be y(f). Suppose -w*v + 414 = -202. Does 33 divide v?
False
Let b(g) = -7*g**2 + 8*g + 11. Let k(p) = 8*p**2 - 9*p - 12. Let r(i) = 7*b(i) + 6*k(i). Let h be r(4). Does 9 divide (7 + h)/((-2)/(-27))?
True
Suppose -143*r - 311774 = -497816 - 1464750. Is r a multiple of 111?
True
Let p = 3694 - 6101. Let m = 3679 + p. Is 16 a factor of m?
False
Let w(p) be the second derivative of p**6/90 - p**5/120 - 5*p**4/8 - 8*p**3/3 + 12*p. Let o(z) be the second derivative of w(z). Is o(-5) a multiple of 9?
True
Let q = 3650 - 2822. Does 9 divide q?
True
Is 25 a factor of 4/22 + 21 + 64434/22?
True
Suppose -2*t + t + 3 = 0, 2*q - 2*t = 3402. Is 71 a factor of q?
True
Suppose -t = -u - 3459, 496*u = 494*u - 8. Is t a multiple of 45?
False
Suppose 8361 = 2*l - 2*h + 1749, 0 = -2*l + 5*h + 6594. Does 8 divide l?
True
Suppose 4*c = -3*n + 4171, c - 1041 + 5222 = 3*n. Let f = n + -941. Is f a multiple of 26?
False
Is 10 a factor of (-9225)/(165/(-10) + 15)?
True
Suppose -5*x = -3*g + 6556, -97*x = g - 98*x - 2182. Is 7 a factor of g?
True
Suppose 0 = 4*i + 34*i - 287371 - 10701. Does 106 divide i?
True
Let x(d) = -4*d - 14 + 7*d + 7*d + 9*d. Let r be x(-7). Let i = -75 - r. Is 36 a factor of i?
True
Let x(a) = -a**2 + a + 4. Let o be x(0). Suppose -o*t = 5*z - t - 81, 2*t - 12 = -z. Is 2 a factor of 18/(-162) + 146/z?
True
Let r(g) = -2*g**3 - 10*g**2 + 57*g + 293. Let s be r(-5). Let x(c) = c**3 + 9*c**2 + 11*c + 10. Let n be x(-8). Let a = s - n. Is a a multiple of 16?
False
Let i(l) = -3*l**2 + 3*l - 1. Let z be i(2). Let p(o) = o**2 + 6*o - 3. Let r be p(z). Suppose 9*m = -4*d + 4*m + 155, 4*m + r = 0. Is 4 a factor of d?
True
Suppose 13*i = -18*i + 372. Suppose 0 = -i*s + 3*s + 10890. Is 22 a factor of s?
True
Let j(n) be the third derivative of -n**6/120 + n**5/2 - 35*n**4/12 + 21*n**3/2 - 160*n**2. Is j(27) a multiple of 6?
True
Let i(m) = m**3 - 2*m**2 - 13*m - 220. Is 66 a factor of i(22)?
True
Let k(c) = -10157*c + 1886. Does 100 divide k(-2)?
True
Let d(q) = 2 + 0 - 6*q + 7 - 2. Suppose 134 = -13*i + 17. Is 9 a factor of d(i)?
False
Suppose -60*a = -63*a + 30. Let g(r) = -4*r**2 + 6*r**2 + 2*r + 3 - r**3 + 8*r**2 + 1. Does 6 divide g(a)?
True
Let q be (117/26)/(15/(-10)). Does 4 divide (10 + (-1673)/14)/(q/14)?
False
Let l(d) = 2*d**3 + 3*d**2 - 49*d - 90. Is 94 a factor of l(18)?
False
Let p(q) = -q**3 - 5*q**2 - 2*q - 2. Let i be p(-4). Let z = 8 + i. Does 7 divide z - ((-2)/4)/(1/60)?
True
Suppose 0*t = -3*t - 9. Let a(m) = m**2 - 8*m - 21. Let y be a(t). Let d = y + 33. Does 15 divide d?
True
Let m = -2712 + 7767. Suppose m = 5*j + 3*h, -248 = 3*j + 2*h - 3281. Is 68 a factor of j?
False
Suppose 95*r = 84*r + 35816. Is 88 a factor of r?
True
Suppose -59*k + 27*k = -156672. Is 288 a factor of k?
True
Suppose 0 = -l + 13*l + 180. Is 9 a factor of (-3312)/(-69)*l/(-4)?
True
Suppose 136422 = 28*g - 222370. Does 149 divide g?
True
Let m(n) = 2*n**3. Let b be m(0). Suppose -359 = -5*o - 4*l, b = 4*l - 8*l - 16. Is 36 a factor of 1 + (-174)/(-5) - (-15)/o?
True
Let r = 24 + -3. Let w = r + -15. Suppose -w*i - 507 = -19*i. Does 13 divide i?
True
Let m = -1172 + 5065. Does 4 divide m?
False
Let t(n) = 61*n - 78. Suppose 9*q - 4*q + 15 = 0, 3*d - 24 = 4*q. Is t(d) a multiple of 20?
False
Let v be (-4 + (-43 - 3))*-1. Let l = v - 51. Is 12 a factor of l/(2/(-290)*(-75)/(-30))?
False
Suppose -24 = -z - 21. Let p(n) = -n**3 + 0*n**z - 3*n**2 - 1 + n**2 - 2*n + 0*n**3. Does 28 divide p(-5)?
True
Suppose 7*t = 3*t. Suppose -2*y - 3*b = -2*b + 13, 4*y - 2*b + 46 = t. Is 3 a factor of y*((-6)/2)/1?
True
Let d = -15410 - -24844. Is 109 a factor of d?
False
Does 45 divide 1378425/125 - (-42)/(-30)?
False
Let u = 104 - 104. Suppose o = -5*d + 50, 2*o - 4*d - 126 = -d. Suppose u*t = -6*t + o. Does 5 divide t?
True
Let t(h) = 2*h**3 + 9*h**2 + 16*h + 13. Let d(z) = z**3 - z**2 + z - 1. Let w(p) = -3*d(p) + t(p). Let u be w(13). Suppose 285 = 21*n - u*n. Does 16 divide n?
False
Let h = -45 + 52. Suppose 0 = -3*q + h*q - 1520. Suppose q = 5*o - 220. Does 24 divide o?
True
Suppose 218*a - 69632 = 186*a. Is a a multiple of 53?
False
Suppose 2*r - 3*r + 2*v + 14527 = 0, -5*v + 58082 = 4*r. Is r a multiple of 8?
False
Let w(k) = 1. Let d(s) = -3*s - 20. Let h be d(-5). Let v(a) = 11*a**2 + 2*a + 6. Let l(r) = h*w(r) + v(r). Does 26 divide l(-4)?
False
Let u(t) be the third derivative of -17*t**4/24 - 85*t**3/6 + 57*t**2. Is 9 a factor of u(-8)?
False
Let d be ((-724)/5)/(66/165). Let z = d - -642. Is z a multiple of 28?
True
Suppose 18 = 5*k - 2. Suppose 2*p - k*b = 5*p - 113, 4*b = -5*p + 183. Is 4 a factor of p?
False
Let m(x) = -9*x**3 + 79*x**2 + 65*x - 27. Is 7 a factor of m(8)?
False
Let l(d) = 15*d + 14003. Is 77 a factor of l(88)?
True
Is 18 - (-1320)/(-72) - (-37010)/6 a multiple of 12?
True
Let r be 7/(49/665) + 2. Suppose 288 = 11*l - r. Is l a multiple of 2?
False
Let k = 82 - 78. Suppose -u + 148 = -k*b, -6*b + 5*b = u - 123. Is u a multiple of 16?
True
Suppose -133*u + 138*u - 55440 = 0. Is 48 a factor of u?
True
Suppose 42*b - 15048 = 24*b. Let t be 78/18 + (-2)/6. Suppose b = t*w + p + 21, -209 = -w + 5*p. Does 17 divide w?
True
Let t(a) = 6*a**3 - a**2 - 3*a + 2. Suppose 6*p = 10*p - 4. Let y be t(p). Suppose 0 = -s - 4*m + 162, -y*s + 125 = -5*m - 481. Does 14 divide s?
True
Suppose 3*o - 4*g - 7717 = 0, 3*g + 3582 + 1560 = 2*o. Is 21 a factor of o?
True
Suppose -25*r - 48 - 2 = 0. Is 9 a factor of -4 - (r - -1)*(-9 + 148)?
True
Suppose -51*x + 30*x = 25*x - 181562. Is x a multiple of 9?
False
Let l = -44 - 2. Let d be (-6)/2*4/24*l. Suppose -28*w + 110 = -d*w. Does 11 divide w?
True
Let r = 68 + -131. Let y(q) = -q**3 - 19*q**2 - 68*q - 13. Let k be y(-11). Let h = r - k. Is 26 a factor of h?
False
Let j(v) = -376*v + 96. Let g be j(-5). Suppose 3*q = -5*h + g, q - 1188 = -3*h - 0*h. Is 32 a factor of h?
False
Let i(a) = -a**3 - 4*a**2 + 2*a + 8. Let c be i(-8). Suppose -c = -6*j + 10*j. Let v = 85 + j. Does 23 divide v?
True
Suppose 5*m - 35 = 2*v, v - 50 = -5*m + 6*v. Let t(b) = -143*b**3 + b**2 - 10*b - 11. Let y be t(-1). Suppose -m*f + y = 18. Does 9 divide f?
False
Suppose 5*g - 97 = -5*o + g, 0 = -4*o + 5*g + 94. Does 9 divide (-203 - 0 - 1)*o/(-42)?
False
Let t be (-2 - -22)/5 - -2. Let a be 270/8 - t