multiple of 19?
False
Suppose 2*c + 143 = -y + 618, 3*y - 1469 = 5*c. Let l = y + 843. Does 78 divide l?
True
Let x(l) = 12*l - 55. Let v be x(5). Let u(j) = j**3 - j**2 - 17*j - 11. Let h be u(v). Suppose h - 340 = -3*s. Is s a multiple of 16?
True
Suppose 2*u + 51 - 311 = 0. Let w = u - 203. Let l = w - -139. Is 11 a factor of l?
True
Let f be 14/(-35) + 32/5. Suppose -3*h + f = 3, -4*h = v - 36. Is v a multiple of 16?
True
Let x(y) = y**3 + 7*y**2 - 4*y - 2. Let a = -138 - -142. Does 79 divide x(a)?
True
Let f = -5027 + 7295. Is f a multiple of 81?
True
Let i(z) = 2*z + 1. Let h(a) = 154*a - 44. Let q(b) = h(b) - 88*i(b). Is 4 a factor of q(-10)?
True
Let z = -10887 - -21163. Is 18 a factor of z?
False
Let q(h) = -60*h - 957. Is 3 a factor of q(-42)?
True
Let o(g) = 15*g**2 - 108*g + 1444. Is 12 a factor of o(-35)?
False
Let v = 165 - 153. Is 12 a factor of (v/(-16))/(3/(-360))?
False
Suppose 0 = 2*n + 3*l - 13482, 170 = -2*n + 4*l + 13694. Does 50 divide n?
True
Let l(s) = -s**2 + 10*s - 15. Let m(c) = c**3 - 9*c**2 + 8*c + 7. Let k be m(8). Let q be l(k). Is 12 a factor of (-3)/(81/q) + (-1514)/(-9)?
True
Is ((-18975)/(-165))/(10/24) a multiple of 5?
False
Let q be (-2 - (-30)/6)/1. Is (438/18 + q)*6 a multiple of 5?
False
Suppose 0 = -8*q - 3680 + 14328. Let k = q + -617. Is 21 a factor of k?
True
Is 148 a factor of -3 + (3 - -3 - 0) + (564 - -2)?
False
Suppose -4071918 + 1057286 = 268*m - 824*m. Is m a multiple of 76?
False
Let r = 43 - 43. Let z be r*((-7)/3)/7. Suppose z = -s - 5, 0*j + 200 = 5*j - 2*s. Is j a multiple of 10?
False
Let b = -33 + 9196. Is b a multiple of 77?
True
Let t = 10820 + -10636. Is 2 a factor of t?
True
Let h(v) = 4*v + 19. Suppose 8*g = 5*p + 3*g, -10 = 5*g. Is 11 a factor of h(p)?
True
Let k(r) = 526*r + 797. Does 23 divide k(5)?
True
Let k be 1*(-125)/(-15)*-3. Let i be k/5 + 2 + 2. Is 27 a factor of ((-7)/14)/(i/150)?
False
Suppose -5*k + 3*k = -4. Suppose k*q - 878 = q + 4*t, -848 = -q - 2*t. Suppose -8*i - 3*i + q = 0. Does 9 divide i?
False
Let b(a) = -a**2 - a + 5. Let i be b(-3). Let g = 21 + i. Suppose -g = -4*m + 56. Does 19 divide m?
True
Let i = -3845 - -19770. Is 5 a factor of i?
True
Suppose f + 5*y = -7, 6*y - 4 = 8*y. Suppose f*j = -r + 88, 0 = -0*r - r - 4*j + 89. Is 36 a factor of r?
False
Let g = -3728 - -5363. Does 15 divide g?
True
Suppose 2*f + 3*h + 20 = -2*f, -4*f + 5*h + 12 = 0. Let k be (-5)/f + 5/(-10). Suppose 2*t = -6*x + 3*x + 278, k*x + 2*t - 186 = 0. Is 46 a factor of x?
True
Suppose 11*i - 19 + 140 = 0. Does 36 divide (-2)/i - (125632/(-44))/4?
False
Let o(j) = 2 + 9 - 18*j + 17*j. Let y be o(7). Suppose 8 = -y*h + 6*h. Is h a multiple of 4?
True
Let p(f) = -16*f - 70. Let j be p(-3). Is (-1)/(-1 - 18/j)*48 a multiple of 12?
True
Is 14 a factor of (42 + -384)*(1 + -4)?
False
Suppose -717*l + 1010*l = 4383280. Is 89 a factor of l?
False
Suppose 2*y = -5*z + 28220, -69*y = z - 74*y - 5617. Does 14 divide z?
True
Does 17 divide (160/15)/(8/492)?
False
Let x be (36/(-45))/(4/(-9470)). Suppose 2*r + x = 4*g, -13*g = -12*g + r - 466. Is g a multiple of 24?
False
Suppose -3*b - 8 = -4*i - i, 4*i - 16 = 0. Suppose 4*s + 414 = 2*f, b*f + 3*s = 470 + 325. Is f a multiple of 16?
False
Let s(j) = 370*j + 5. Let n be s(2). Let z be (3*-1)/((-5)/n). Let i = -234 + z. Does 39 divide i?
False
Let f be (48/40)/(2*(-2)/10). Let b(q) = -174*q - 26. Is b(f) a multiple of 16?
True
Let r(o) = 14973*o - 1143. Does 18 divide r(2)?
False
Suppose -558722 = -81*v - 64703. Is v a multiple of 5?
False
Let h(s) be the first derivative of s**5/30 + s**4/8 + s**3 + 2*s**2 - 16. Let y(v) be the second derivative of h(v). Is y(-7) a multiple of 27?
False
Let n(p) = p**3 + 4*p**2 + 40*p + 92. Is 62 a factor of n(27)?
False
Let i be -6 - (5 + 4 + -2126). Suppose -777 + i = 2*m. Is m a multiple of 29?
True
Let d(j) be the third derivative of j**4/6 - 11*j**3/6 - 19*j**2. Let h be d(-4). Let c = h - -77. Does 34 divide c?
False
Suppose -4*t - f = -307, 5*t = f + f + 387. Let l = 79 - t. Suppose 1068 = l*x + 10*x. Is 8 a factor of x?
False
Let i(j) = j**3 + 6*j**2 + 8*j + 4. Let a be i(6). Suppose 0 = -2*y + a + 236. Suppose 23*m - 20*m = y. Is 30 a factor of m?
True
Let f(x) = 11*x - 74. Let z(c) be the second derivative of 23*c**3/6 - 74*c**2 + c. Let j(a) = 13*f(a) - 6*z(a). Is j(27) a multiple of 36?
False
Let y(n) = n**2 - 11*n + 20. Let b be 14/6 - 2/(4 + 2). Suppose 5*s = -4*q + 80, -b*s = -4*q - 27 - 5. Does 25 divide y(s)?
True
Let m be (-3)/(-6)*(47 - -13). Is 5 - -38*(2 + m/6) a multiple of 12?
False
Let n be ((-22)/(-6))/(2/(-30)). Let r be (-3)/((-1)/(-151)*-3). Let l = r + n. Is 25 a factor of l?
False
Suppose 2435 = 4*o - z - 5927, -z - 10452 = -5*o. Is o a multiple of 159?
False
Let p be -15 + (9 - (-1)/(-1)). Let j(u) = 25 + u - 9 + 6. Does 2 divide j(p)?
False
Is ((-2144)/(-20))/(24/4920) a multiple of 13?
False
Let d = -141 + 146. Suppose d*o - 2732 + 352 = 0. Does 17 divide o?
True
Let j(r) = -64*r**2 - 14*r - 33. Let l be j(-2). Let f = -189 - l. Is 24 a factor of f?
True
Let s = 16766 + -8311. Does 55 divide s?
False
Let x(h) = -11*h - 72. Let m be x(-10). Suppose m = z - 97. Is 11 a factor of z?
False
Suppose 9012 - 1748 = -4*z. Let k = 3407 + z. Is k a multiple of 36?
False
Does 25 divide -78*52/(-2028)*(4207 + (-1)/1)?
False
Let t = -7042 + 7239. Let r be (-1287)/(-12) - (-2)/(-8). Suppose -2*l + t = -r. Is 21 a factor of l?
False
Suppose -16 = -o + 8. Let l = 129 + o. Does 18 divide l?
False
Let d(b) = -146*b - 6. Suppose -2*r = -26 + 36. Let i be d(r). Suppose -i - 2048 = -21*t. Is t a multiple of 33?
True
Let l = -11671 + 23191. Does 60 divide l?
True
Does 14 divide ((-68247)/(-1 - 8))/(1/5)?
False
Suppose 3*a - 47 = 5*m, 2*m + 5 = -3. Let y(r) = 83*r + 30. Is y(a) a multiple of 37?
True
Let w be (4/(-8) + 3/6)/(-1). Suppose 38*d - 37*d - 139 = w. Let q = d + -92. Is q a multiple of 4?
False
Suppose -513*s + 20785 = 2*d - 518*s, -5*d + s + 52043 = 0. Does 7 divide d?
False
Suppose 246 = 9*t - 3*t. Suppose 36*q + 335 = t*q. Is 7 a factor of q?
False
Is 9 a factor of (-32 - 2)*(-1944)/48?
True
Suppose -17*v = -4*v + 3666. Let q = -77 - v. Does 48 divide q?
False
Suppose -37*i = -42*i + 4985. Is i a multiple of 52?
False
Suppose 2*l - 32 = -3*w, -25*l + 21*l + 5*w + 20 = 0. Suppose -6*u + l*u + 2270 = 3*n, -4*n = 2*u - 3034. Is n a multiple of 17?
False
Let h(l) = -1058*l - 2459. Is 13 a factor of h(-68)?
True
Let f = -8262 + 14279. Does 5 divide f?
False
Let z = 10 - 3. Let h(b) = -3*b**2 - 1. Let x(l) = -l**3 - 4*l**2 - 3*l - 5. Let a(m) = -4*h(m) + x(m). Does 2 divide a(z)?
False
Let w(i) = -766*i + 8. Let h be w(-5). Let q = h + -1726. Suppose 24*v - 12*v - q = 0. Does 24 divide v?
False
Does 44 divide 5767 - -1 - (-8)/(10 + -12)?
True
Let t = 115481 + -81019. Does 15 divide t?
False
Suppose 65*m = 66*m - 33113. Is m a multiple of 204?
False
Suppose j - a = 3*a + 4025, 0 = -j + 5*a + 4022. Does 63 divide j?
False
Does 74 divide (5/((-10)/111))/(9*8/(-960))?
True
Let o(m) = 22*m**3 - 7*m**2 + 17*m - 68. Does 36 divide o(5)?
True
Suppose -3*k + 280 = -4*j, 0 = 4*k - k + 3*j - 294. Let x be (721 + 0)*k/(-112). Is 18 a factor of x/(-7) - (-12)/(-42)?
False
Suppose -66*w + 649114 = 623218 - 1273512. Does 184 divide w?
True
Suppose -184 = -2*p + 32. Suppose 162 + p = 5*o. Suppose -5*g + o = -x - x, -3*x - 51 = -5*g. Is 5 a factor of g?
False
Suppose 5*k - 12*u + 14*u = 34004, 4 = 2*u. Is k a multiple of 16?
True
Let t(z) = -6*z - 3. Suppose -6*b = -2*b + 12. Let u be t(b). Is 20 a factor of u/(-6)*244/(-10)?
False
Let r(a) = -a. Let x(s) = -5*s**2 - 7*s - 2. Let p(l) = 5*r(l) - x(l). Let n(d) = 5*d**2 - 1. Let i be n(-1). Is p(i) a multiple of 15?
True
Suppose -3*x + u = 102, 0 = 4*x + 5*u - 64 + 219. Is (-89)/(x/(-5) + -8) a multiple of 14?
False
Suppose 0 = 16*s - 32074 - 61606 - 32512. Is 77 a factor of s?
False
Suppose 2*v - 3656 = 2*m + 2*m, 4*v = m + 921. Let w = m - -1328. Is w a multiple of 12?
False
Let o = 208 - 540. Let u = 381 + o. Is u even?
False
Is (360740/(-102))/5*1*-30 a multiple of 10?
True
Let b(a) = -2*a**2 + 12*a - 11. Let y be b(10). Let w = 2575 - 2478. Let r = w + y. Does 6 divide r?
True
Let f(n) = 190*n**2 - 4*n - 12. Suppose 11*d = 9 - 31. Is f(d) a multiple of