 129*x - 268150 = 104*x. Is x a multiple of 87?
False
Let y be ((-2)/((-20)/(-6)))/((-43)/215). Suppose -5*v = -10*v - 15. Does 26 divide y - (-4 - -307)/v?
True
Let v be (-2020)/(-14) + -1 - (-50)/(-175). Is (16 - 21) + v*10/2 a multiple of 10?
True
Let s = -39 - 29. Let m = 172 + s. Is m a multiple of 8?
True
Suppose -21 = 3*j - 3*d - 2103, -690 = -j + 3*d. Let c = j + -129. Is c a multiple of 21?
True
Let l = 241 - 284. Let i = l + 274. Does 33 divide i?
True
Let u(m) = -26 - 3*m + 12 + 11. Let l be u(-8). Let o = 43 - l. Is 22 a factor of o?
True
Let n(p) = -37*p - 14. Let o be n(2). Let x = -33 - o. Is 4 a factor of x?
False
Let v(x) = -49 - 55 - 46 - 39 + 185 + 13*x. Let q(p) = -5*p - 1. Let l be q(-1). Is 6 a factor of v(l)?
True
Let c(i) = -2*i**3 - 34*i**2 + 8*i - 4. Let j(v) = -v**3 - 5*v**2 + 4*v + 3. Let s be j(-5). Let x be c(s). Is 31 a factor of (-6)/4*x/(-6)*-3?
False
Does 17 divide (-4466)/(-16) - (-26)/(-208)?
False
Is 18 a factor of 10/(40/(-44)) + 1879?
False
Is 19 a factor of ((-2249687)/(-12))/11 - (-125)/(-1500)?
True
Let n(t) = -21*t - 7. Let a(h) = -15*h - 8. Let q(m) = 4*a(m) - 3*n(m). Suppose -5*g - 20 = -65. Does 5 divide q(g)?
False
Suppose -f + 4*y - 23 = 0, -11 = 2*f - f - y. Let i be 1/f - (-2175)/35. Does 12 divide -2*(4 - i/4)?
False
Let d(j) = 56*j + 31. Let v(i) be the third derivative of -11*i**4/24 - i**3 + 16*i**2. Let s(b) = -2*d(b) - 11*v(b). Does 8 divide s(4)?
True
Let o(n) = 2*n**2 - n - 2. Let p be o(2). Suppose 819 = 4*w + 3*f, 7*f - 820 = -p*w + 3*f. Let k = w - 77. Is 27 a factor of k?
False
Let x = 1525 + -1081. Let z = x + -108. Is z a multiple of 48?
True
Let d be (2/(-2))/(((-2)/30)/(-1)). Let k(p) = -p**3 - 14*p**2 + 14*p - 13. Let y be k(d). Suppose g = 2*w + 106, -3*g + 308 = 2*w + y*w. Does 13 divide g?
True
Let v = 64 + -29. Suppose 30*r = v*r + 5. Does 7 divide (1*-26)/(r - 20/(-28))?
True
Let u = 5682 + -3731. Is 58 a factor of u?
False
Let f = 415 + 438. Let h = 48 + -41. Suppose -f = -h*r - 202. Does 6 divide r?
False
Let g(c) = 2*c**3 + 77*c**2 - 40*c - 41. Let d be g(-39). Is (-8625)/(-60) + (4/d)/(-8) a multiple of 18?
True
Suppose 3*v + 440 = 1739. Suppose -2*c = -0*f + 4*f + 956, -4*c = -24. Let u = v + f. Is u a multiple of 13?
False
Let q = -6699 + 13288. Does 13 divide q?
False
Suppose -145*k - 16704 = -161*k. Does 71 divide k?
False
Suppose 3*s + 8 = -0*s + 4*r, 5*s + 4*r - 40 = 0. Suppose -12*w + s*w + 880 = 0. Is 5 a factor of w?
True
Let d = -1994 + 3657. Is 29 a factor of d?
False
Let q(f) = -1160*f**2 - 3*f + 3. Let l be q(1). Is ((l/5)/4)/(-2) a multiple of 2?
False
Let f(x) = x**2 + 7*x + 4. Let u be f(-7). Let j be (4 - (u + 0))/(-2). Suppose g - 49 + 13 = j. Is 4 a factor of g?
True
Let j be (228 - -28)*(-1)/(2/(-2)). Suppose 2*o - b = j + 637, b - 895 = -2*o. Is 86 a factor of o?
False
Suppose -8*w + w = -735. Suppose 4*u - i - 702 = i, -3*u + 525 = -2*i. Let o = u - w. Is 9 a factor of o?
True
Let q(r) = 8*r**2 + 2*r + 13. Let s(y) = y - 7. Let b be s(4). Does 24 divide q(b)?
False
Does 48 divide (-32)/(-12)*(1 - -737)?
True
Suppose 38*b - 184*b + 2284608 = 0. Is 101 a factor of b?
False
Suppose 25 = 3*i + 5*c, -2*c - 4 = -i - 3. Suppose 0 = i*v + 14*v - 950. Is 2 a factor of v?
True
Let n = 5909 - 5368. Does 32 divide n?
False
Suppose -149*w = -143*w + 12846. Let q = -1211 - w. Is q a multiple of 15?
True
Let n(t) = -2*t - 4. Let a be n(-3). Let i be 544/a + (-6)/3. Suppose -4*q = -9*q + i. Is q a multiple of 18?
True
Let v = 51 + -48. Suppose 3*p = v*t + 4*p - 591, 0 = -5*t - p + 987. Is 11 a factor of t?
True
Suppose 32*q + 598 = 33*q. Suppose 4*f - 2*l = q, f + 5*l + 750 = 6*f. Let k = -79 + f. Is k a multiple of 14?
True
Let p(m) = m**3 - 19*m**2 + 23*m + 15. Let g be p(18). Let c(u) = -u**3 - 4*u**2 + 8*u + 13. Let l be c(-7). Suppose -l*h + g*h = 7. Does 2 divide h?
False
Let t(n) = -2*n**3 + 185*n**2 - 17*n + 567. Is t(92) a multiple of 19?
True
Let u = -1640 + 6312. Is 73 a factor of u?
True
Is 4 a factor of (-171)/(-1539) + (-130893)/(-27)?
True
Let c(y) = -59*y + 219. Let m be c(6). Is (m/(-18) + -5)*194 a multiple of 35?
False
Is 4830/(10 + 481/(-52)) a multiple of 43?
False
Let l(t) = t**2 - 4*t + 3. Let o(u) = -u. Let i be o(-3). Let f be l(i). Suppose f = -3*r + 97 - 43. Is r a multiple of 18?
True
Let m(i) be the third derivative of i**6/120 + 31*i**5/60 + 5*i**4/8 - i**3 + 119*i**2. Is 12 a factor of m(-30)?
True
Let g(f) = -f + 8. Let y be g(6). Let a = -860 + 896. Suppose -2*c + y*z = c - a, c - 4*z - 22 = 0. Is 5 a factor of c?
True
Let d(w) = w**3 + 12*w**2 - 65*w + 1. Let s be d(-16). Suppose 15*a - 9024 = -s*a. Is a a multiple of 6?
True
Let k(n) = 2*n + 7. Let a be k(2). Suppose a*d - 2308 - 1806 = 0. Is 11 a factor of d?
True
Let v = -81 + 83. Suppose 65 - 99 = -v*i. Is 3/(-1) + 1*i a multiple of 7?
True
Let f = 12 - 10. Suppose 2*y - 5*y + 28 = -2*i, -i + 7 = f*y. Is 16 a factor of y/9 + 422/6?
False
Suppose -178*s + 14850 = -169*s. Suppose 9*t = 4*t, -3*g - t = -s. Is g a multiple of 22?
True
Let d be (151 - 2)*(-4)/(-20)*5. Let g = 520 - d. Is g a multiple of 7?
True
Suppose -2152 = -4*s - 7*p + 9*p, 2164 = 4*s + 4*p. Is 49 a factor of (-6 + 6)*1/2 + s?
True
Suppose 9 + 9 = -y. Let b be 760/y + (-21)/27 + 1. Let p = 48 + b. Is 2 a factor of p?
True
Let k be (40 - 1)*(-16)/(-48). Suppose -5*g + 16 = -k*g. Does 3 divide (-7)/(-3 + (-44)/(-9) + g)?
True
Let a be (8/5 + -4)*675/6. Let t = -160 - a. Does 5 divide t?
True
Suppose -943 = 7*l + 1143. Let s = -244 - l. Is s a multiple of 6?
True
Suppose -1098 = 19*t - 23*t - 2*g, 3*g = -5*t + 1374. Let i = t - 85. Does 12 divide i?
False
Suppose 11722*t = 11710*t + 12528. Is t a multiple of 4?
True
Suppose 2*h = 4*z - 4, 6*z = 4*z - h + 2. Let n be z + 5 - 2/(-3 + 1). Suppose n*l + 594 = 13*l. Is 13 a factor of l?
False
Suppose 0*w + 4*w - 20*w + 305472 = 0. Is 25 a factor of w?
False
Let c = 221 - 55. Suppose 0 = -4*y + 5*t - 369, 4*y + 66 = -4*t - 258. Let q = y + c. Is q a multiple of 36?
False
Let z = 236 - 316. Is z/(-2*(-5)/(-20)) a multiple of 11?
False
Let i = -126 - -227. Suppose -4*b - 36 = -p, -3*p + 2*b + i = -3*b. Is p a multiple of 16?
True
Let s = -8002 + 10916. Is 31 a factor of s?
True
Let v(g) be the second derivative of -g**5/20 - g**4/2 - 11*g**3/6 - 3*g**2 - 237*g - 2. Suppose -5*d - j - 32 = 0, -5*d = j + 4*j + 20. Does 24 divide v(d)?
True
Let a(y) = -y**2 + 2*y + 1248. Let l be a(0). Suppose s + s + l = 5*x, 2*x - 516 = 5*s. Is 24 a factor of x?
False
Let u be 3/(-6)*(-536)/2. Suppose -11*s + 1828 = u. Is s a multiple of 14?
True
Suppose 9*g - 10*g = -4*u + 1423, -1086 = -3*u - 3*g. Let b = u + -224. Does 3 divide b?
False
Let c(m) = m**3 - 24*m**2 + 36*m - 53. Let a(j) = 14*j - 5. Let f be a(2). Is c(f) a multiple of 92?
False
Suppose -65950 = -4*z - n, 51*z + n = 55*z - 65938. Is z a multiple of 10?
False
Suppose 22*t = 14*t + 44328. Suppose 23*c = -1355 + t. Is c a multiple of 13?
True
Suppose 8 = -a - 3*a. Suppose -28*k + 2*k + 2886 = 0. Is a/(k/(-54) - -2) a multiple of 9?
True
Let x(r) = -r**3 - 4*r**2 - r + 7. Let g be x(-3). Suppose k + g = 7. Suppose 456 = -k*o + 1260. Is o a multiple of 23?
False
Suppose 0 = 11*l - 6*l - 85. Suppose l*b + 39 = 515. Does 3 divide b?
False
Let n be (360/(-144))/(10/(-32)). Let v(t) = 4*t**3 - 18*t**2 - 5*t - 43. Is v(n) a multiple of 21?
False
Let z(l) = 426*l - 31. Let j be z(1). Let c = j + -335. Is c a multiple of 15?
True
Suppose -5*c + 13940 = 3*h, 3*c - 2*h - 3*h = 8364. Suppose 12*t + 16 = 8*t, 4*r - t - c = 0. Does 58 divide r?
True
Let n be 9/(43/(-20) + 4 + -2). Let k be 1 - -4*1/2 - n. Does 17 divide ((-21)/k)/(1/(-333))?
False
Let h(c) be the first derivative of 217*c**2/2 - 2*c - 36. Is 24 a factor of h(2)?
True
Let b(o) = -8*o - 52. Let x(u) be the first derivative of 2*u**3/3 - 21*u**2/2 - 14*u + 23. Let j be x(10). Is b(j) a multiple of 28?
True
Suppose 0*g = -2*y - 4*g - 2, -5*g + 5 = 0. Let w(v) = -17*v**2 - 6*v + 2. Let c be w(y). Is 36 a factor of (2/(-6))/(8/48) - c?
False
Let a(v) be the second derivative of -v**3/2 - 2*v**2 - 2*v. Suppose -2*q - q = 5*x + 6, 6 = -4*x - 2*q. Does 3 divide a(x)?
False
Suppose -21*p = 23*p + 1056. Is 16 a factor of (5 + (-152)/24)*p?
True
Is 45 a factor of -5*(-24)/150*5 +