ide y?
False
Let l = 10725 + -9195. Is 13 a factor of l?
False
Suppose -50 = 44*l - 45*l. Suppose 5*v - 15*v = -l. Suppose 3*u + 485 = v*h, -465 = -2*h - 3*h - u. Is h a multiple of 28?
False
Suppose -16 = -o - 4*s, -2 = 2*o - 5*s + 5. Suppose 5*k - 2*c - 254 - 548 = 0, -5*c + 475 = 3*k. Suppose o*u - k = 288. Is 56 a factor of u?
True
Let y(r) = 31 + r**2 + 39*r + 51 - 8*r - 16. Is 5 a factor of y(-30)?
False
Let j(o) be the first derivative of o**3/3 + 10*o**2 - 84*o - 52. Is j(6) a multiple of 3?
True
Let r(d) = -d**3 - 19*d**2 + 18*d - 30. Let v be r(-20). Suppose -v*h = -18*h + 4640. Is h a multiple of 48?
False
Let r = -13 + 11. Let p be 10/r*(-24)/30. Suppose -p*g = 2*x - 190, 2 = -g + 3*g. Does 11 divide x?
False
Suppose 21 - 3 = -3*l. Let z(t) = -21*t - 507 + 507. Is 18 a factor of z(l)?
True
Let w(v) = 235*v + 1538. Is 198 a factor of w(28)?
True
Suppose 0 = 192*u - 195*u - 5*p + 51379, -4*u - 5*p = -68502. Is 7 a factor of u?
False
Suppose 3*l + 4 = 13. Suppose q - m - 16 = -8, 0 = 5*m + 30. Suppose 448 = q*t - r - l*r, -r = 2. Is t a multiple of 10?
True
Suppose -l + 499 = s + 56, -5*l - 2*s = -2221. Suppose -121*a = -126*a + l. Does 3 divide a?
False
Suppose -5*r = 3*q + 52, -3*r + 9*q = 5*q + 8. Does 9 divide 3 + (-4658)/r + 38/(-152)?
True
Let u(c) = -c**3 + c**2 + 13*c + 16. Let g be u(-8). Let r = g - 266. Is r a multiple of 13?
False
Suppose 0 = 3*l, -3*g = -g + 5*l - 6394. Does 22 divide g?
False
Suppose -4*j + d = -4*d - 33, 10 = -2*d. Suppose -3*a - 2*b = -1 - 406, -j*b = -8. Is a a multiple of 2?
False
Suppose 8116 = 4*g + 4*k, 0 = -5*g - 68*k + 73*k + 10185. Is 30 a factor of g?
False
Let m(l) = 24*l - 7. Let r(t) = -25*t + 8. Let c(g) = -6*m(g) - 7*r(g). Let a(b) = 30*b - 15. Let p(o) = 3*a(o) - 2*c(o). Is p(7) a multiple of 44?
False
Suppose 13*b - 1932 - 2943 - 5135 = 0. Is 77 a factor of b?
True
Let n(y) = -3*y**3 + 48*y**2 + 8*y + 22. Let l be n(15). Suppose -4*j = 3*w - 1607, 0*j + 2*j - 3*w = l. Is j a multiple of 31?
False
Let d(n) = n**2 - 9*n + 10. Let q be d(1). Suppose 5*u + q*k = -70 + 1640, 5*u + 4*k = 1580. Does 39 divide u?
True
Let f(u) = 9*u**3 - 5*u**2 - 36*u - 240. Let o(i) = -2*i**3 + i**2 + i. Let x(v) = -f(v) - 4*o(v). Does 24 divide x(-7)?
True
Suppose -4*b + 4169 = -667. Does 13 divide b?
True
Suppose 16 = z + 3*z - p, 2*z = p + 10. Let i be z/3*2 + 6. Suppose 1108 = i*d + 268. Does 15 divide d?
True
Let i = -355 + 360. Suppose 4*r + 576 = 2*g + 2288, 3*g = -i*r + 2151. Is 39 a factor of r?
True
Suppose 0*t = -3*b + 5*t + 18807, 2*t + 31383 = 5*b. Is b a multiple of 21?
True
Suppose -3*x + 2633 = o, 145*x = -o + 143*x + 2637. Is 23 a factor of o?
True
Let c = -41 - -67. Let g(y) = -y**3 + 24*y**2 + 55*y + 75. Is 3 a factor of g(c)?
True
Suppose 3*k + 3*r - 328 = 2, 3*k = -r + 324. Suppose 16*w = k + 933. Is w a multiple of 8?
False
Suppose -5*g + 4*i - 6*i + 97 = 0, -5*g = 5*i - 85. Let w be ((-4)/6)/((-7)/g). Suppose w*u = 2*p + 526, -3*u - 4*p - 46 = -835. Does 23 divide u?
False
Let a(g) = -g**3 - 16*g**2 + 3*g + 52. Let w be a(-16). Suppose 3 = 3*l - f - 1, 0 = -5*l - f + w. Does 8 divide 145/l - (-4)/(-1 + -3)?
True
Let l be 150/21 - (1 - (-24)/(-28)). Suppose 1440 = -5*r - 5*c, -l*r - 2*c = -8*r - 276. Let f = r - -416. Does 44 divide f?
True
Let t = -416 + -8. Does 53 divide (-24)/(-16)*t/18*-12?
True
Suppose d + 62*g - 58*g - 396 = 0, 0 = 4*d + g - 1659. Is 32 a factor of d?
True
Let y(q) = 192*q**2 - 22*q - 98. Let c be y(-7). Suppose 25*o - c = -64. Is o a multiple of 8?
True
Let o(l) = 4*l**3 - l**2 - 50*l - 20. Is 2 a factor of o(7)?
False
Let g(z) = -89 - 28*z + 36 + 32. Let u be (-2)/(-8) + 1/((-12)/27). Is g(u) a multiple of 7?
True
Suppose a = 3*d - 2*a - 12, -3*a = -d + 2. Suppose -3*f + 9*f = 414. Suppose -d*x = -8*x + f. Does 23 divide x?
True
Is (-2)/(-21) + ((-188114)/(-42) - -1) a multiple of 4?
True
Suppose -o = 2*c - 7*c + 24, 4*o + 48 = -4*c. Let a = 74 + o. Suppose a = 2*d + 4*g, 3*d + g - 69 = 2*g. Is d a multiple of 10?
False
Let v be (30/8)/(9/312). Let a = v - -77. Is a a multiple of 12?
False
Suppose 199 = 3*c + v - 148, 0 = -5*c - 2*v + 580. Let o = -1240 + 1294. Let f = c - o. Is f a multiple of 15?
True
Let b = 67 + -61. Let n = -3 + b. Suppose d + n*v - 60 = 19, -2*v - 182 = -2*d. Is d a multiple of 10?
False
Let i = 53 - 127. Let x = i - -128. Is x a multiple of 15?
False
Let i(p) = p**2 + 3*p - 12. Let c be i(-5). Let b be (-1)/c - 7/14. Suppose -7*o + 3*o + 752 = b. Does 50 divide o?
False
Let i(l) = 2*l**2 - 3*l - 44. Let x(r) = r**2 - 2*r - 29. Let o = 3 + -11. Let v(w) = o*x(w) + 5*i(w). Is v(-8) a multiple of 44?
True
Let z be (0/1)/((-2)/(-1)). Suppose 25*y - 29*y + 8 = z. Suppose -4*v = -3*r - 478, -y*v - 2*r = -r - 234. Is 20 a factor of v?
False
Suppose 4*l = 21 + 11. Let g = l + -8. Suppose g = b - 10*b + 198. Does 11 divide b?
True
Suppose -j + 22 = 5*d, -d = -0*j + 5*j - 38. Is 17 a factor of 0 + 205 + (j - -1) + -9?
True
Suppose 4*f - 62 = 26. Suppose 5*a + 5*q + 30 = 0, -f = 4*a - q + 3*q. Let h(d) = -2*d**3 - 6*d**2 + 2. Is 32 a factor of h(a)?
False
Is (721/(-4))/((-12189)/(-1224) - (6 + 4)) a multiple of 4?
False
Let a be 1*(-8)/(-1)*-21. Let m = -89 - a. Let j = m - 11. Does 34 divide j?
True
Suppose 31*h - 32*h + 4 = 0. Suppose -h*a + 0*a + 5*b = -240, -a = b - 60. Does 10 divide a?
True
Let g(b) be the third derivative of 1/6*b**4 + 0 + 4*b**2 + 1/6*b**3 + 0*b + 11/60*b**5. Is 8 a factor of g(-2)?
False
Let k = -1720 + 4178. Does 14 divide k?
False
Let o be 34/5*(-6)/(-36)*15. Suppose o = 2*f - 29. Suppose f*r = 19*r + 292. Does 12 divide r?
False
Let k(x) = 18*x**2 - x + 8. Let m(c) = 2*c**2 + 22*c - 28. Let q be m(-12). Is k(q) a multiple of 12?
True
Is 46964 + -22 + -1 + -12 a multiple of 320?
False
Suppose -2*v + 5434 = -4*l, -4*l - 13567 = -21*v + 16*v. Does 12 divide v?
False
Let g = 6864 - 1580. Suppose -g = -36*l + 37484. Is l a multiple of 20?
False
Let g(x) = 19*x**2 + x - 33. Suppose 0 = -7*j - 24 + 73. Is g(j) a multiple of 15?
False
Suppose 1123 - 1131 = -y. Let o = -109 - -199. Suppose -o = -y*d + 3*d. Is 15 a factor of d?
False
Let k be 18 + -7 + (3 - 0). Suppose 0*z + 7*z = k. Suppose -134 = -5*s + z*b + 849, s - 183 = -3*b. Is s a multiple of 39?
True
Let y be (-3)/(-6)*(-2 + 4). Let b be -2*(y + -4 + 2). Suppose -b*h = 4*h - 282. Is 11 a factor of h?
False
Let m = 861 - 1458. Let y = -338 - m. Is y a multiple of 43?
False
Suppose -29*f = -33*f - 16. Is 289 - (-4 + -3 - f) a multiple of 11?
False
Let a(i) = 21*i**3 + 9*i**2 - 20*i + 11. Is 25 a factor of a(6)?
False
Suppose 17 - 62 = -9*t. Is 74 a factor of (t + 665 - 4)*4/4?
True
Let w be -1*((-8)/(-14) + 118/14). Let b(y) = -3*y**2 - 79*y - 2. Does 12 divide b(w)?
False
Is 5740/3 - ((-1584)/(-54) + -27) a multiple of 5?
False
Let s(w) be the second derivative of 3*w**4/4 - 25*w**3/6 - 9*w**2/2 - 62*w + 1. Does 15 divide s(9)?
True
Let x be 4/6 + (-500)/12. Let y = 39 + x. Is 5 a factor of (-2 + y + 7)*4?
False
Let l be (-14 - -5)/(12/4 - 4). Suppose -19*j + l*j + 10650 = 0. Is 66 a factor of j?
False
Let n be (-1)/2 - (-577)/(-2). Let g = -15 - n. Does 20 divide g?
False
Let b(j) = 10*j**2 + 278*j + 328. Is 6 a factor of b(-44)?
False
Let b = 51 + -51. Suppose b = -3*t + 133 + 194. Is 13 a factor of t?
False
Suppose 62*g = 4*b + 58*g - 56420, 28200 = 2*b - 4*g. Is 85 a factor of b?
True
Suppose -10999 = -3*j - f + 3*f, -j - 2*f = -3653. Is j a multiple of 12?
False
Suppose 4*k - 4*w = 268, -11*k + 5*w = -16*k + 365. Suppose 5*g + k = 5*n + 1400, 2*n = -3*g + 798. Does 19 divide g?
True
Suppose 2*h + 4*w = 28, -h + w + 2*w = -4. Suppose 8844 = 12*p + h*p. Does 26 divide p?
False
Suppose 47 = -2*t - 3*g + 1, 5*t + g + 115 = 0. Is (1 + (-18)/4)*(-19 + t) a multiple of 3?
True
Let y be (-10 + 4)*4/6*71. Let p = -228 - y. Is p a multiple of 7?
True
Let i = -835 + 281. Let u = i + 609. Is 3 a factor of u?
False
Suppose 2003*h - 1864512 = 1907*h. Does 13 divide h?
True
Is 32 a factor of (2 - (0 - -9)) + 226242*(-16)/(-96)?
False
Let g(i) = 7226*i**3 - 6*i**2 + i + 1. Does 46 divide g(1)?
True
Let p = -5152 + 7555. Is p a multiple of 9?
True
Let g(k) be the first derivative of 10*k**4 - k**3/3 + k**2/2 - 290. Let r be 4/2 + (-3 - -2). Is 8 a factor of g(r)?
True
Let v be (2 