*w - 68608. Does 27 divide d?
True
Suppose -19585*k = -19551*k - 510986. Is 113 a factor of k?
True
Suppose -2*w + 42*f + 4484 = 38*f, 2*f - 8 = 0. Is 2 a factor of (-2)/3*w/(-20)?
False
Let v(j) = j**2 + 11*j + 10. Let f be (-11)/(4 + 1 - 4). Let t be v(f). Is 9 a factor of t/55 - (-1578)/33?
False
Let k be 7 + 1020 + 6 + 1. Suppose 2366 = 5*g - k. Does 17 divide g?
True
Suppose -23*c - 8 = -19*c. Is (c - -7 - 3) + 290 a multiple of 31?
False
Let a be 1902/(-1585) - 1/(-5). Suppose 36 = -0*y - 4*y. Is ((-5901)/y)/7 + a/(-3) a multiple of 20?
False
Let y = -21 + 50. Let w = 207 - 207. Suppose w*h + h = y. Is h a multiple of 5?
False
Suppose 0 = 3*r - 2*q - 152344, -5*q + 217383 - 65053 = 3*r. Is r a multiple of 104?
False
Suppose -9*f - 1057 = -3*q - 14*f, -3*f = q - 355. Let i = -199 + q. Does 25 divide i?
True
Let v(l) = -3*l**2 + 14*l + 1. Let n be v(8). Let d be n - ((-4 - -4) + -1). Let g = -71 - d. Does 3 divide g?
False
Suppose 5*q + 1 = 2*n - 7, -4*n - 2*q - 32 = 0. Is 12/(-18) - -1523*(-2)/n a multiple of 34?
False
Let a be (18/(-21))/1*(-53 + 4). Suppose j = -2*j + a. Does 3 divide 4/(-4) - -2*j?
True
Let n = -40 - -43. Suppose -687 = -5*p + j, -n*p + j = -3*j - 402. Is p a multiple of 21?
False
Suppose 2*k = -0*a - 2*a - 214, 3*a = 2*k + 209. Let c be (-6)/(-2) - k - 3. Suppose -t + h = -c, 5*t + 2*h = 3*h + 522. Does 4 divide t?
True
Suppose 2*f + 260 + 116 = 2*u, -4*u - f + 742 = 0. Is (u + 0)/3*(-27)/(-6) a multiple of 35?
False
Let r(z) = 1109*z + 140. Is r(4) a multiple of 143?
True
Suppose -114280 - 152786 - 1353 = -131*v. Is v a multiple of 85?
False
Suppose -44 = -4*s - 16. Let v(h) = 194*h - 280. Is v(s) a multiple of 98?
True
Let i be 1 + 3 + -346 + -4. Let m = i - -584. Suppose -5*j + 4*j + 3*u = -m, 0 = 2*j + 4*u - 456. Does 29 divide j?
True
Let b(m) = -3*m - 12. Let a = -35 + 30. Let x be b(a). Suppose 3*h = -k + 29 + 7, 2*k = x*h + 99. Is k a multiple of 8?
False
Let h(x) = -628 + 13*x - 7*x - 10*x - 2*x. Let a be h(0). Is 17 a factor of (-20)/5 - a/4?
True
Suppose 5*s - 500 = 2*s - 17*s. Is s a multiple of 4?
False
Let k(b) = 21*b + 109. Does 32 divide k(39)?
True
Suppose 4*n - 8 = 4*b, 0 = -3*b + 6*b - 2*n + 1. Suppose -b*g + 806 = -q + 30, 0 = -4*g - 5*q + 1060. Is g a multiple of 20?
True
Suppose 2*c - 367 = 269. Let y be 3*(-1 + 2) - (13 - c). Suppose v - i - 67 = -2*i, -4*v + y = -4*i. Is v a multiple of 44?
False
Let h be (34958/308)/(1/4 - 0). Let v = 485 - h. Is 30 a factor of v?
False
Let j(i) = 1917*i + 311. Is j(5) a multiple of 51?
False
Let a(h) = 4*h**2 + 25*h + 13. Let r(y) = 5*y**2 + 27*y + 13. Let u(x) = -4*a(x) + 3*r(x). Let l = -24 - -8. Is 7 a factor of u(l)?
True
Suppose -28*o + 20*o = -7120. Suppose 19*j - o = 877. Is 61 a factor of j?
False
Let s(u) be the third derivative of -1/60*u**5 + 0*u - 18*u**2 + 1/6*u**3 + 0 - 3/4*u**4. Does 27 divide s(-15)?
False
Let i(w) be the second derivative of -w**5/20 + w**4/6 - 35*w**2/2 + 9*w. Let q be i(0). Let l = q + 53. Does 8 divide l?
False
Suppose -64*g + 61*g = -2*k - 62230, -4*g - 2*k + 83006 = 0. Does 38 divide g?
True
Suppose -3*n + 6 = -3*c, 6*n - c = 4*n + 4. Let p be n/(-9) - ((-3082)/18 + 1). Let k = -118 + p. Is k a multiple of 4?
True
Let z(b) = 1064*b**2 - 162*b + 324. Does 56 divide z(2)?
True
Let l(v) = v**3 - 7*v**2 - 5*v - 10. Let d(b) be the first derivative of 2*b**3/3 + 17. Let r be d(-2). Is 5 a factor of l(r)?
False
Let w = -14037 + 16927. Is 2 a factor of w?
True
Suppose -24*y + 527071 - 84130 = -183507. Is y a multiple of 11?
False
Suppose 459*l - 782578 = -467*l + 909*l. Does 204 divide l?
False
Let o be (-4 - 0)*(-3)/3. Suppose 4*p - 104 = -4*v, 2*v + 44 = o*v - 2*p. Is v a multiple of 2?
True
Suppose 118 = -28*f + 29*f. Suppose -d = 5*y - 56, 5*d = 5*y + f + 72. Is d a multiple of 6?
False
Is 6 a factor of -35 + 41 + 290 + 1 + -3?
True
Let r be -4 - (-8 + (1 - 1)). Suppose -12 = -r*x + 8, -5*x - 131 = 4*d. Is 5 a factor of (-249)/(-13) - 4 - (-6)/d?
True
Let d(s) be the third derivative of -13*s**2 - 1/6*s**4 + 1/12*s**5 + 0*s - 1/2*s**3 + 0. Is d(-2) a multiple of 25?
True
Let s(h) = -h**3 - 2*h**2 - 3*h - 3. Let g be s(-2). Does 2 divide 9/(-12)*(-74 - (g + -5))?
True
Suppose 0 = f + 9 - 2. Let r = -391 - -390. Is 8 a factor of 14 + r - (-4 - f)?
False
Let i(r) = 2 - 7 + 3*r**2 - 15 + 8*r - 11. Is i(4) a multiple of 49?
True
Suppose 6630 = 5*o - 0*o + 2*f, -f + 5 = 0. Does 71 divide o?
False
Suppose 4*c = j + 2*j + 38351, 4*j + 20 = 0. Is 16 a factor of c?
True
Suppose 237*r - 236*r - 2165 = 0. Is r a multiple of 6?
False
Suppose 0 = -5*w - 4175 - 1055. Let h = -624 - w. Is h a multiple of 14?
False
Suppose 33*p = 32*p + 1. Let c(r) = -16*r**3 - r**2 + 1. Let y be c(p). Is 5 a factor of (-2)/(-3)*(-696)/y?
False
Suppose 70*y = 60*y + 280. Is 17 a factor of (-4)/y + 20358/63?
True
Suppose 14*z - 13*z = 18. Let b = 122 + -70. Suppose b = 2*n + z. Does 3 divide n?
False
Let x(v) = -11*v + 177. Let w be x(7). Suppose 4*o - 996 = -w. Is o a multiple of 14?
True
Let k = 338 + -387. Suppose p - 2 = -1. Let n = p - k. Does 6 divide n?
False
Let g(r) = -9*r - 14. Let z be g(-3). Suppose 56 = z*i + 17. Suppose 0 = i*k + 5*l - 65, 75 = 4*k - 5*l - 0*l. Is k a multiple of 5?
True
Let i = 238 - 169. Is i/115 + (-14044)/(-10) + 3 a multiple of 22?
True
Suppose 0 = 3*u + u - 8. Suppose 0*q + u*q - 38 = -4*l, 59 = 4*l - 5*q. Suppose 7*n + 356 = l*n. Does 23 divide n?
False
Let b be 0/1*(-8)/(-16). Let t be 1*(4 - (3 + b + -3)). Suppose 0 = 2*n + t, 2*n + 0*n = -2*c + 92. Is c a multiple of 5?
False
Is 21 a factor of (0 + 3 + -6)/(15/64110*-3)?
False
Let c = -286 - -295. Let x(n) = 12*n - 18. Let j(l) = 24*l - 37. Let a(v) = 3*j(v) - 5*x(v). Does 15 divide a(c)?
False
Let o = 1911 + -1075. Suppose -o*y = -830*y - 1716. Is 22 a factor of y?
True
Suppose -5*f - 4*w = -29, 0 = -f + 4*f + 5*w - 7. Let t = f - 15. Does 49 divide ((-147)/9)/(2/t)?
True
Let p = -30 + 31. Suppose -5*r = -o - p, -o + 2*o + 3*r + 1 = 0. Is 6 a factor of (o/(1/22))/(2/(-7))?
False
Suppose 0 = -2*k - 13*s + 17*s + 732, 3*s = -3*k + 1044. Is k a multiple of 3?
True
Let k(i) = i**3 - 3*i**2 - 60*i + 10. Does 26 divide k(20)?
False
Suppose a - 41 = 4*o, -a - 2*a + 2*o = -113. Suppose -5*j + 31 = -2*j + 5*u, -a = -3*j + u. Is 27 - (j/4 + 0) a multiple of 12?
True
Let b be -7 + (14 - 14)*2/6. Is ((-245)/15)/b*3 a multiple of 2?
False
Let m(t) = -578*t**3 - 4*t**2 - 84*t - 202. Is m(-3) a multiple of 59?
False
Let h be (-171)/(2/(-2)) - -6. Suppose h + 483 = 6*n. Is 17 a factor of n?
False
Suppose r + k - 9 = 0, 4*k + 14 = 4*r - 3*r. Is 2*(-15)/r - -32 even?
False
Let w be (2 + 50)*2/4*-2. Let r = -86 - w. Let v = -10 - r. Is v a multiple of 4?
True
Let y(r) = 9*r**2 - r + 27. Let z be y(5). Let s = z - 166. Does 15 divide s?
False
Let y = 374 + -351. Suppose -79 = -m - y. Is m a multiple of 4?
True
Let b(w) = -w**3 + 8*w**2 - 12*w. Let y be b(6). Let h be (-2 - 2) + y + 4. Suppose -c + h*c + 155 = 2*k, -2*k + 140 = -2*c. Is k a multiple of 6?
False
Let c(s) = -s**3 - 10*s**2 - 14*s - 53. Let v be c(-9). Is ((-10)/25)/(v/4320) a multiple of 36?
True
Let h be -3 - 21*(-6)/9. Suppose -h*m - 22*m = -594. Does 18 divide m?
True
Let v(t) = t**3 - 23*t**2 + 15*t - 40. Let x(z) = -6*z**3 + 117*z**2 - 75*z + 199. Let m(r) = 11*v(r) + 2*x(r). Does 12 divide m(-22)?
True
Let t(q) = q**3 - 34*q**2 - 37*q + 71. Let r be t(35). Is r/((12/(-6))/(-146)) even?
False
Suppose 2*m = -5*m - 4900. Let v = 1009 + m. Is 46 a factor of v?
False
Let o = 157 - 133. Suppose 0 = -3*w + o + 648. Is w a multiple of 21?
False
Let r = -15 + 19. Suppose -r*m + 2*m + 12 = 0. Suppose 57 = -m*x + 345. Is 16 a factor of x?
True
Let m be -1 - (-4)/(20/25). Let c be (-5 + 51/6)*m. Does 5 divide ((-60)/c)/((-1)/7)?
True
Let c = -25 + 27. Suppose b - c*w - 5 = 43, -128 = -3*b + 2*w. Suppose -8*y = -4*y - b. Does 10 divide y?
True
Let k(f) = f**3 - 28*f - 3 - 17*f**2 + 11 + 1. Let s be (3*(-247)/234)/(2/(-12)). Is k(s) a multiple of 11?
False
Let d(s) = 2*s**2 - 6*s + 40. Let w(k) = -2*k**2 - 16*k - 27. Let i be w(-7). Is 12 a factor of d(i)?
True
Suppose 2*t - 9*t + 21 = 0. Let h = 62 - 12. Suppose -t*r + 265 = -h. Is 35 a factor of r?
True
Suppose 4*b - 5960 = -3044. Does 12 divide b?
False
Does 33 divide -23 