e u(13). Suppose 0 = -6*c + 7 + q. Suppose 5*x - 4*m = 252, -c*x = -5*x + 5*m + 159. Does 5 divide x?
False
Let h = -328 + 328. Suppose h = 5*s - 213 - 177. Is s a multiple of 6?
True
Let j be (2442 + 14)/(-1 + 3). Suppose 2*u = -v + 612, -4*u + j = 9*v - 6*v. Does 14 divide u?
False
Suppose -191881 = 4*s - 26*s - 39421. Is s a multiple of 18?
True
Let k(p) = p**3 + p - 166. Let m(a) = -a**3 - a + 167. Let i(l) = -5*k(l) - 4*m(l). Does 18 divide i(0)?
True
Let c = 12666 + -6842. Is 104 a factor of c?
True
Suppose 0 + 25 = 4*f + 3*d, d + 35 = 3*f. Suppose -4*i + f*i = 792. Is 11 a factor of i?
True
Let v(j) be the third derivative of -j**5/60 - 7*j**4/4 + 23*j**3/6 + 68*j**2 + 1. Is 45 a factor of v(-32)?
False
Let f(c) = -c**3 + 2*c**2 - 2*c + 17. Let u be f(3). Is 17 a factor of (123/9 - -4) + u/(-3)?
True
Let x be (-1)/(2*2/(-12)). Suppose -4*w + 4612 = 2*a, 5*w - 7*a + x*a = 5765. Does 26 divide w?
False
Let i(s) = -196*s**3 - 9 - 198*s**3 - 15*s + 18*s**2 + 395*s**3. Is i(-18) a multiple of 6?
False
Let v = 1 + 5. Suppose v*g - 23 = 1. Suppose -g*j + 227 = -165. Is 14 a factor of j?
True
Does 12 divide 537669/363 - 17 - (4/(-11))/(-2)?
True
Is ((-1804)/(-492) - (-2)/(-3)) + (-1 - -21358) a multiple of 30?
True
Let j(k) = -17*k - 4. Let u be j(3). Suppose 4*r + 5*l = -799, -21 = -r - 5*l - 232. Let n = u - r. Is 12 a factor of n?
False
Let g(y) = 2*y**3 - 2*y**2 + 1. Let m be g(2). Suppose -10 = -l - m. Is (l - (2 + 1))*112/(-32) a multiple of 7?
True
Suppose -20 = -4*m + 3*z + 71, 4*m - 5*z = 93. Suppose -1015 = 17*v - m*v. Let g = -102 + v. Is g a multiple of 22?
False
Let r be ((-5)/(15/17) - -5)*-6. Is 974 + 1/(-2)*(r - -4) a multiple of 29?
False
Does 33 divide 5/(-105)*7 - (-558605)/15?
False
Let g be (10/(-4))/(4/(-8)). Suppose -g*n + 1306 - 396 = 0. Is n a multiple of 30?
False
Let y(t) = t**3 + 5*t**2 - 7*t - 6. Let v be y(-6). Let a(c) = -13*c + 32. Let j be a(-14). Suppose v = -2*h + 416 + j. Does 21 divide h?
True
Let v be 1*(4 - (-1)/1). Suppose 188 = 3*h - 2*w, -v*h + 370 - 46 = 2*w. Does 32 divide h?
True
Let h(y) = 5*y**2 + 25*y - 124. Let a be h(-19). Let o = -826 + a. Is o a multiple of 20?
True
Suppose -2*x + 1555 - 471 = 0. Let c = x + -423. Is c a multiple of 41?
False
Is 8 a factor of (1 - 25)*884/(-51)?
True
Let c = -30 - -17. Let j = c - 8. Let t = j - -53. Is 14 a factor of t?
False
Suppose -820336 = -208*i + 90*i. Is 158 a factor of i?
True
Let k = 58 + -55. Suppose 44 = k*h + 23. Suppose -28 - 49 = -h*f. Is 7 a factor of f?
False
Let g(n) = n - 7. Let r be g(11). Suppose 15 = 5*f, 19 + 10 = r*h - f. Suppose 4*o - h*o + 424 = 0. Is o a multiple of 14?
False
Let a(r) = 307*r**2 + 43*r + 9. Is 19 a factor of a(6)?
False
Suppose -17 = -3*y + 2*y - 4*q, 5*y = 3*q + 16. Suppose -y*l + 626 = 3*k, l + 4*k + 11 - 126 = 0. Is l a multiple of 13?
False
Let v(a) = 2*a**2 - 69*a - 7731. Is 29 a factor of v(103)?
True
Suppose 9*o = 16*o. Suppose o*f - 1900 = -10*f. Is 19 a factor of f?
True
Suppose -85*v - 118712 = -156*v. Does 152 divide v?
True
Does 35 divide (-166)/(-747) - 1250229/(-27)?
True
Let b(x) = x**3 + 41*x**2 + 39*x - 36. Let m be b(-40). Suppose -m = -t, -s - 5*t = -4*s + 172. Is 5 a factor of s?
False
Suppose 5*h = -2*u + 2925, -3*h = 3*u + h - 4384. Let v = u + -889. Does 42 divide v?
False
Let g be (30/(-12))/(2/(-4)). Suppose -4*o - 89 = d - 5*o, g*d - 4*o + 448 = 0. Let l = 2 - d. Is 14 a factor of l?
False
Suppose 0 = -3*q - 3*r + 5884 - 1351, 5*q - 7573 = 4*r. Is 89 a factor of q?
True
Is (600/(-108))/(-25) - (-133482)/27 a multiple of 66?
False
Let d = -704 + 717. Suppose d*x - 4816 = -x. Is 60 a factor of x?
False
Let w(y) = -y**2 + 7*y + 14. Let q be w(9). Let d(f) = -f**2 - 3*f + 4. Let x be d(q). Suppose x = 6*t - 2*t - 532. Does 29 divide t?
False
Suppose 0*s + n - 28 = -3*s, 0 = 3*s - 2*n - 25. Let h be (-1)/(-3) + 168/s. Let f = h - 10. Is f a multiple of 9?
True
Suppose 99 = -5*y - 156. Suppose -4*u + 5*n - 131 = 0, 2*u + 4*n + 133 = -3*u. Let k = u - y. Is 11 a factor of k?
True
Suppose -5*g - 12183 = -r, 3*r - 20*g + 21*g - 36517 = 0. Is 11 a factor of r?
False
Let i be 4*(-8 - -7) + 9. Suppose -i*f - 5*z = -1245, 26*f - 21*f - 2*z = 1210. Does 3 divide f?
False
Suppose x = -0*x - 2*x. Suppose 260*h - 259*h - 612 = x. Is h a multiple of 18?
True
Suppose -p + 2703 = -y, -54*p + 10764 = -50*p + 4*y. Is p a multiple of 82?
False
Let c(r) = 294*r + 834. Does 18 divide c(17)?
True
Let m(w) = -w**3 - 11*w**2 - 9*w + 11. Suppose -z - 6 = d + 3, 0 = -2*d + z - 21. Let s be m(d). Is 67/s - (-16)/(-4) a multiple of 38?
False
Suppose -48*u + 3*a = -50*u - 859, a - 871 = 2*u. Let k = 1059 + u. Does 23 divide k?
False
Let f(s) = -s**3 + 13*s**2 + 3*s - 8. Let u be f(6). Let k = u - 372. Let y = -66 - k. Does 9 divide y?
False
Suppose -20*a = -24*a. Let s(g) = -g**3 + g**2 + 2*g + 93. Let b be s(a). Suppose 2*l = -l + b. Is l a multiple of 27?
False
Let v = 27958 + -17820. Is 137 a factor of v?
True
Suppose -40 = 4*t - 12, 56881 = 8*i + t. Does 11 divide i?
False
Suppose 3*o + 3*l - 5007 = 960, 7956 = 4*o - 7*l. Is 17 a factor of o?
True
Let q(g) = 3*g**2 + 15*g + 5. Let i be q(-5). Let j be (6/i)/(26/(-65)). Is 9 a factor of (j + 20/8)*-122?
False
Suppose -332*i + 1569500 = -117*i. Is i a multiple of 50?
True
Let i(u) = 1295*u**2 + 18*u + 17. Let y be i(-1). Suppose -7*f + 1667 = -y. Is 47 a factor of f?
True
Let w = 14177 - -1937. Is 9 a factor of w?
False
Let t be 1/((-4)/(-48)*3). Suppose -5*c - t*c = -648. Suppose -q + 50 = -c. Is q a multiple of 35?
False
Suppose 0 = j - 2*y - 1426, 3202 - 358 = 2*j - 2*y. Let s = -780 + j. Does 13 divide s?
False
Let c be (3 + 2292/(-20))/(10/(-25)). Let w = -21 + c. Does 6 divide w?
True
Let k(c) be the third derivative of -c**7/2520 + c**6/90 + c**5/24 + c**4 + 18*c**2. Let u(t) be the second derivative of k(t). Is 17 a factor of u(3)?
False
Let z(w) = w**3 - w**2 - 3*w + 9363. Let n be z(0). Suppose -n = 43*x - 51030. Does 39 divide x?
False
Let o(i) = -1579*i - 842. Is 13 a factor of o(-6)?
True
Let q(k) = 128*k**3 + 3*k**2 + 62*k - 127*k**3 - 10*k**2 + 44*k**2 - 84. Is q(-35) a multiple of 7?
True
Suppose 46 = 5*n + 36. Suppose -4 = -4*c, j + 15 = n*j - 3*c. Does 4 divide j?
False
Suppose 336 = 20*l + 36. Is 34 a factor of 2246/3 + (-5)/(l/2)?
True
Is (-3614)/((2 - -3)*(-19)/95) a multiple of 13?
True
Let w(t) be the third derivative of 1/12*t**4 - 1/12*t**5 - 1/120*t**6 + 0*t + 0 - 24*t**2 - 1/6*t**3. Is 8 a factor of w(-6)?
False
Let x = -832 - -1436. Suppose 2*k - 284 = -4*s, -5*k = 5*s - 121 - x. Does 17 divide k?
False
Let q = 304 + -92. Suppose 46 - q = -2*a + 3*k, -2*k = 4*a - 348. Suppose a = 3*t - 178. Is 11 a factor of t?
True
Suppose -6*u + 1578 + 6750 = 0. Suppose -u = -4*l - 4*h, l - 4*h + 1044 = 4*l. Let s = l - 127. Is s a multiple of 13?
False
Let g(d) = 3*d**2 + 69*d - 826. Is g(15) a multiple of 13?
True
Suppose 6*w + 2*w + 11*w - 340100 = 0. Is 25 a factor of w?
True
Suppose -3*n = -3*y + 87792, -146818 = -5*y + n - 510. Is y a multiple of 25?
False
Let k(u) = -5*u**3 - u**2 + u + 1. Let n be k(-1). Suppose -4*o - 29 = -n*g - o, 3*o + 34 = 5*g. Let p(y) = y**3 - 4*y**2 - y - 4. Is p(g) a multiple of 2?
True
Let j(t) = -t + 9. Let f be j(4). Suppose -2*y = 2*d - 1784, 0 = 4*y + 8*d - f*d - 3569. Is 19 a factor of y?
True
Suppose 5*k - 3*x = 100852, 28*k - 24*k - 3*x = 80678. Is 213 a factor of k?
False
Let h(n) = -423*n**3 - 7*n**2 - 12*n - 6. Let t be h(-3). Suppose 5*c + t = 18*c. Is 7 a factor of c?
False
Let m be 2 - (-2 - 4 - -8). Does 18 divide 3/(m - -3)*(-229)/(-1)?
False
Let y = 1116 + 10602. Is y a multiple of 126?
True
Suppose -3*s + 263 + 463 = 0. Suppose -t + 48 = -d - 96, -418 = 3*d + 4*t. Let o = s + d. Does 25 divide o?
True
Let i be (-9)/24 + (-375)/(-40). Suppose -i = z - 4*z. Suppose 140 - 41 = z*r. Does 21 divide r?
False
Let f(c) = -257*c + 1. Let k be f(-1). Let t = -628 + 626. Does 43 divide 1*(-16)/t*k/12?
True
Let l(g) = -g**3 + 2*g + 691. Let u be l(0). Suppose -2*j = 199 - u. Suppose -814 = -4*t - j. Is 16 a factor of t?
False
Does 93 divide (-1683)/77 + 22 - (-464811)/21?
True
Is 4 a factor of (105/385 + 819900/(-176))/(3/(-8))?
False
Let a be -1*6636/44 - 10/55. Let z = a - -217. Is 33 a factor of z?
True
Suppose 