 - (-328)/20). Is j/(-64) + (-499)/(-4) a multiple of 38?
False
Let k(c) = 8*c**3 - 56*c**2 + 3*c + 16. Is k(9) a multiple of 13?
True
Suppose -244 = 3*h + 4*c, 4*h + 2*c = 3*c - 357. Let u = 286 + h. Is 18 a factor of u?
True
Let m(i) = -i**3 - 10*i**2 + 13*i + 1. Let u be m(-10). Let p = -39 - u. Let f = p + 62. Is 19 a factor of f?
True
Let x(l) = 83*l + 146. Let f be x(-12). Let j = f - -878. Is j a multiple of 14?
True
Suppose i - 38 = -4*m, -2*m - 62 = -0*i - i. Suppose -g + i = 12. Does 21 divide 8/2*(-3)/(-12)*g?
True
Let q(g) = -83*g + 97. Let j be q(4). Let t = j + 483. Does 41 divide t?
False
Let w(k) = 32*k**3 + 5*k**2 - 9*k + 3. Let r be (((-216)/20)/(-9))/((-2)/(-5)). Does 60 divide w(r)?
False
Let o(p) = -87*p**3 - 3*p - 2. Let a be o(-1). Let m(y) = 16*y**2 - a + y - 9*y - y**3 + 93. Does 10 divide m(15)?
True
Let b(w) = -6 + 14*w + 11 + 3. Let a be b(11). Suppose -4*t - 55 = -s, s = 3*s + 5*t - a. Is 9 a factor of s?
False
Let g be -3*(-3 + 7/((-42)/(-4))). Let h(m) = -m**2 + 13*m - 20. Let z be h(g). Let k(x) = -x**2 + 27*x + 20. Does 26 divide k(z)?
True
Suppose 2*y = u - 4013, -5*y - 8024 = 88*u - 90*u. Does 13 divide u?
True
Let p(k) = 2*k**2 - 5. Suppose 0*m = 5*m + 20. Let w be p(m). Let f = 45 - w. Is f a multiple of 9?
True
Let s(g) = g**3 + 4*g**2 + 3. Let c be s(-4). Suppose c*a + 162 = t, -2*a + 6 = -4. Suppose 0*q = q - 5*w - 13, -4*q - 5*w + t = 0. Is 11 a factor of q?
False
Let o = -171 + 161. Does 37 divide o/95 - 35160/(-95)?
True
Suppose 2*s = 2*a - 56 - 150, -5*s = 2*a - 213. Let v be a/40 + (-6)/(-15). Is 14 a factor of (-14)/v*(-5 - 10)?
True
Suppose -5*v + 4*y + 1804 - 116 = 0, v - 4*y = 328. Does 28 divide v?
False
Does 8 divide 16 - 2 - (-443042)/89?
True
Let q = 27999 - 17748. Is q a multiple of 17?
True
Suppose -2*t = 565 - 133. Let i = 326 + t. Suppose 2*u - 5*u - y + i = 0, -5*u = 2*y - 185. Is u a multiple of 17?
False
Suppose -20 = -o - 0*f + 2*f, -19 = -o + f. Let i(a) = 5*a - 5. Does 18 divide i(o)?
False
Let a(f) be the first derivative of -143*f**2/2 + 41*f - 10. Let t be a(-5). Suppose 5*u - t = -4*u. Is 28 a factor of u?
True
Let x = -45177 - -70707. Does 138 divide x?
True
Let i(c) be the first derivative of 25*c**2 + 16*c - 95. Does 16 divide i(3)?
False
Let o = 23006 + -566. Is 220 a factor of o?
True
Suppose 3*p + 34 = -i, 0 = 2*i - 18 + 8. Let t = p + 127. Does 33 divide t?
False
Suppose 10*i - 36538 = -9*i - 2072. Does 6 divide i?
False
Let o(i) = 2*i**2 + 27*i + 14. Let q be o(-13). Does 24 divide 0 + q + (890 - 3)?
True
Suppose -5*m + 0*l + 4*l = -8, 6 = m - 3*l. Suppose -2*o + m*o - 3*z = -77, -4*o + 129 = z. Does 19 divide o?
False
Let o = -319 - 431. Let p = -607 - o. Is 5 a factor of p?
False
Let y = 19880 - 6429. Is 93 a factor of y?
False
Let q be 85*(45/(-30))/((-10)/36). Let x = -155 + q. Is 19 a factor of x?
True
Let a(z) be the second derivative of z**4/4 - 25*z**2/2 - 10*z. Let g be a(-6). Let t = 96 - g. Does 6 divide t?
False
Suppose 0 = -p - 4*w + 10833, -239*w = 2*p - 240*w - 21711. Does 76 divide p?
False
Let z(o) = o**3 + 16*o**2 + 27*o + 10. Let k be z(-14). Suppose 61*i = 62*i - k. Is 8 a factor of i?
True
Let v be 8/60 + (-146)/(-30). Suppose p + 3*y + 4 = 24, -v*y = 5*p - 50. Suppose 61 = 5*w + p*r - r, -3*w + 35 = 4*r. Does 10 divide w?
False
Let i = -310 - -736. Let a = i + -354. Is 36 a factor of a?
True
Let y = 5155 + -744. Is y a multiple of 76?
False
Let n(c) = 88*c - 877. Is n(16) a multiple of 2?
False
Suppose 0 = 23*q - 3*q - 8260. Let s = 187 + q. Does 12 divide s?
True
Suppose 4381 = 10*p + 3*p. Let c = p + 563. Does 36 divide c?
True
Let k = 23 - 19. Suppose 5*u + 74 = -k*p - 162, -3*p - 4*u = 178. Does 3 divide ((-1)/(3/(-10)))/((-12)/p)?
True
Let u(d) = d**2 - 10. Let k be u(5). Suppose k*g = 13*g + 80. Does 6 divide 8/g - 269/(-5)?
True
Let r(c) = -83*c - 7. Let a(l) = -13*l**2 - 7*l + 7. Let d be a(1). Does 12 divide r(d)?
False
Let y = 10277 - 6246. Does 25 divide y?
False
Is (-8)/(9/(-6372)*8) a multiple of 16?
False
Suppose -h = -2*p - 446, -58*p = -4*h - 62*p + 1748. Is h a multiple of 5?
True
Suppose 2*m - 3*a = 3*m - 33, -5*a = -5. Suppose 5*u + 5*v - m = 0, 2*v + 29 = 5*u + 6*v. Suppose -102 = -u*w - 4*i, -5*i - 5 = 5. Does 11 divide w?
True
Let b = 18746 + -9010. Is 51 a factor of b?
False
Suppose -10*y + 2*y + 291 = -205. Is y even?
True
Suppose -4*x - 17454 = -2*f + 4*x, 5*f = 3*x + 43754. Is f a multiple of 85?
True
Suppose 0 = -5*l - 5*i + 5, l + i + 3*i - 4 = 0. Suppose l = -23*v + 24*v - 155. Is 26 a factor of v?
False
Let b(x) = 10*x**2 + 40*x - 224. Let r be 2*20/6 - 116/174. Does 31 divide b(r)?
False
Let g = 15 - 40. Let w = 48 + g. Is w + 2 + -5 + 6 a multiple of 26?
True
Suppose 0 = 35*u + 1732 - 18392. Suppose -27*c = -1684 - u. Does 10 divide c?
True
Suppose 3*t + 3 = 3*u - 2*u, 4*u + 12 = 0. Suppose 20*l = -9*l + 232. Does 35 divide (t + 10)*210/l?
True
Let g(w) = 2*w**2 - w - 32. Let a be g(-6). Let i = -44 + a. Suppose 31 = i*y - 1. Is 8 a factor of y?
True
Suppose -v = -3*b - 138 + 24437, 3*v - 3 = 0. Is 18 a factor of b?
True
Let x = 1843 - 2082. Let k be (-677)/2 - 1/(-2). Let d = x - k. Does 33 divide d?
True
Suppose 621*u - 622*u - 2*g + 1643 = 0, -u = -4*g - 1649. Is u a multiple of 23?
False
Suppose 0 = -2*j + h + 18834, -13*j - 5*h = -18*j + 47100. Is 15 a factor of j?
False
Suppose 4 = 2*b - 2*f - 4, 20 = -4*b - 5*f. Let z(g) = -4*g + 144. Let q be z(13). Suppose 4*k - 2*t + b*t = 88, 5*t = -3*k + q. Is k a multiple of 5?
False
Let y = 5131 - 1972. Suppose 21*i = 12*i + y. Is i a multiple of 39?
True
Let f be -2 + 5 + -1 + 0. Suppose -f*x + 73 = -249. Is x a multiple of 23?
True
Let f(m) = -7435*m - 6782. Is 49 a factor of f(-6)?
True
Let q be 7/(-2 + 3*(-3)/(-3)). Suppose -q*m = 18*m - 775. Is m even?
False
Suppose 2*h + 3 = -1. Let r be ((-290)/(-15) - 2)/(h/(-57)). Suppose -j - 193 + r = 0. Does 42 divide j?
False
Suppose -9*u + 34 = -2. Suppose q - 654 = u*q. Let v = -104 - q. Is v a multiple of 57?
True
Let c = -3966 - -5890. Suppose 2*g - u = 861, 5*g - 5*u = 231 + c. Does 27 divide g?
False
Suppose 10*z - 352 = 6*z. Suppose 4*n - z - 40 = a, 2*a - 173 = -5*n. Suppose -5*p + n + 102 = 0. Does 9 divide p?
True
Suppose -12*x = -17*x + 4*u + 6195, -u = 2*x - 2478. Is x a multiple of 10?
False
Suppose 1723*h + 90 = 1733*h. Let o(l) = 2*l + 4*l - 20 + 2*l. Does 13 divide o(h)?
True
Suppose 172*l - 1584828 = 96*l. Is l a multiple of 45?
False
Let n(l) = -1698*l + 7918. Is 34 a factor of n(-15)?
True
Let p = -27358 - -36550. Does 12 divide p?
True
Suppose 4*p - 4959 = -2*q + 5201, -5*p + 5*q = -12655. Is p a multiple of 43?
True
Suppose 96 = 4*h - 0*h. Suppose -5*i + 26 = -h. Is (-4)/(-6)*75/i a multiple of 5?
True
Suppose 0 = 5*u + 36 + 84. Let a be 0*1/3 - (u - -6). Let k = a - 2. Is 11 a factor of k?
False
Let d(a) = -10*a - 8. Let m be d(-1). Suppose -m*k + 11 = -3*z + 6*z, 2 = 2*z. Does 4 divide k + (-4 - 1) + 18?
False
Let h = 16141 - 2845. Is 48 a factor of h?
True
Suppose 4*n - 2*c = -7*c + 123, n - 3*c = 18. Does 82 divide ((-2030)/(-21))/(2/n)?
False
Suppose 0 = 2*b + 3*k - 20, 8*k - 6*k = -4*b + 24. Does 9 divide ((-6)/b)/(-1 - (-125)/126)?
True
Let m be ((-2)/(-3))/(-6*(-12)/324). Suppose -y = 4*b - 72, -b + 152 = m*y - 9. Is 13 a factor of y?
True
Let a = -2 - -2. Let s = -3912 - -3917. Suppose s*h = -a*n + n - 12, -5*n - 2*h + 87 = 0. Is n even?
False
Suppose 19440 = -73*q + 75504. Is 16 a factor of q?
True
Suppose 21*f + 2750 = 23*f. Suppose 41*b + f = 42*b. Suppose 14*a - b = 165. Is a a multiple of 22?
True
Suppose -8 = -7*k + 9*k. Let w be k/6 - (-10)/(-3). Is 88*(4 + 14/w) a multiple of 11?
True
Let b(j) = 73*j**2 - 101*j - 15. Is b(3) a multiple of 49?
False
Let r be 3*(2 - (2 - 1)). Suppose 4*n - 1012 = 4*d, r*d - 265 = -3*n + 2*n. Does 8 divide n?
True
Does 29 divide (2607/2)/((-3)/(-10))?
False
Let x be (-3 - (-620)/12) + (-4)/(-3). Suppose -43*b = -x*b + 245. Is 6 a factor of b?
False
Let b(t) = -48 - 36 - 2*t**2 + 4*t**2 - 447*t + 445*t. Does 25 divide b(10)?
False
Let d(l) = l**3 - 25*l**2 + 59*l + 28. Let h be d(23). Does 3 divide (-2)/12 - h/(-18)?
True
Suppose 118*z - 137*z = -163438. Does 126 divide z?
False
Let h be -2*(-92)/8*-1. Let d(j) = -6*j - 90. Does 6 divide d(h)?
True
Is 