*c - 13. Suppose 3*n = -0*n - 39. Let u be y(n). Let l = 127 + u. Does 12 divide l?
True
Suppose -15*f = 3*j - 19*f - 204, -j + 76 = -4*f. Is 16 a factor of j?
True
Let o(x) = 2*x**2 + 17*x - 11. Let i be o(-9). Is 2 a factor of 2 + -1 + (i - -38)?
False
Let l be -5*(-5)/6 - 6/36. Suppose 20 = -l*g - 24. Let h = 11 - g. Is 9 a factor of h?
False
Let s = 36483 + -26619. Is 137 a factor of s?
True
Is (-192650)/(-6) - (-855)/513 a multiple of 130?
True
Suppose 9*s - 801 = 8*s. Suppose -3*u + t = -1503, -3*t - s = -4*u + 1208. Suppose -625 = -5*q - 5*l, -4*q - l + 4*l + u = 0. Does 15 divide q?
False
Suppose 309 = 3*v + 5*n, -2*v + 4*n - 3*n + 193 = 0. Does 2 divide v?
True
Let o be (-7 - 3)*(9/(-6))/3. Suppose -z - d = 4*z - 304, -20 = -o*d. Is z a multiple of 6?
True
Suppose -p = 2*n - 47389, 4*p - 2*n - n = 189468. Is 198 a factor of p?
False
Let u(f) = f**3 + 9*f**2 + 6*f - 11. Let i be (-1 - 60/9) + (-8)/(-12). Let p be u(i). Suppose o = 5*o - 5*y - 65, -5*y = -3*o + p. Does 10 divide o?
True
Let s be 2 + -22*(28/(-8) - -3). Suppose -9*p - 24 = -s*p. Suppose 76 = 5*h + p. Is 3 a factor of h?
False
Let d(q) = -11*q - 7. Let s be d(-1). Suppose 4*i - 202 = 5*l, s*l + 0*i = -i - 170. Let j = 35 - l. Is 11 a factor of j?
True
Suppose 2*k - 3*s - 470 = 226, 4*k - 5*s = 1396. Suppose -4*z - t = -4*t - 682, 2*z + 5*t - k = 0. Suppose -12*p + z + 1460 = 0. Does 17 divide p?
True
Let w(t) = -t - 13. Let u(g) = -5*g - 52. Let c(s) = 2*u(s) - 9*w(s). Let j be c(12). Is 27 a factor of 186 + -1 + (j - 0) - -3?
True
Suppose l - 18 = -2*t, t + 3*l - 38 = -3*t. Suppose 0 = -r - 3*a - 231, -4*a = 4*r - t*r - 972. Let o = 363 + r. Is 41 a factor of o?
True
Let v = 44369 - 36669. Does 154 divide v?
True
Suppose -6 + 48 = 21*k. Suppose -k*i + 624 = 4*w, 2*w = 4*i - i - 968. Is 5 a factor of i?
True
Let c(j) be the third derivative of -7*j**4/6 - 14*j**3 + 14*j**2 + 1. Is 46 a factor of c(-26)?
True
Let x = -649 + 3799. Is x a multiple of 15?
True
Does 15 divide (1254/(-1197) - 4/6)/(4/(-9730))?
True
Let p be (4 + -3)*2 + -527. Let b(o) = -4*o**2 + 4. Let m be b(-2). Is 1 + p/m - 10/(-40) a multiple of 7?
False
Suppose -3*c = m - 4284, m - 4248 = -15*c + 18*c. Is m a multiple of 9?
True
Suppose 34161 = 16*o - 16735. Suppose o = 10*l + 581. Is 18 a factor of l?
False
Let f = -60 - -68. Let c(b) = 2*b - 12. Let a be c(f). Suppose -3*w + 4*l = -158, -a*w - 12*l = -11*l - 217. Does 54 divide w?
True
Let p(b) = b**2 - b - 1. Let o(q) = q**3 + 2*q**2 + q + 7. Let y(j) = o(j) + 3*p(j). Let n = 2375 + -2370. Does 29 divide y(n)?
False
Let r = 100 - 109. Let p be (-750)/20*(-114)/r. Let l = 717 + p. Is l a multiple of 22?
True
Let l(j) = -j**2 - 6*j + 1. Let o be l(-4). Suppose 0 = 62*k - 65*k + o. Suppose 4*g - 4*v - 250 = 214, 4*g - 492 = -k*v. Does 56 divide g?
False
Let g = 13219 + -8396. Does 18 divide g?
False
Suppose 4*h + 622512 = 103*h. Is h a multiple of 8?
True
Suppose -8*w + 13*w - 290 = 0. Let d = 30 - w. Is (90/d - (-6)/4)*-7 a multiple of 4?
True
Let w(a) = 703*a**2 - 2*a + 2. Does 45 divide w(2)?
False
Let m(z) = 7*z**2 + 6*z + 5. Let w(n) = 6*n**2 + 5*n + 6. Let v(x) = 4*x - 8. Let k be v(1). Let s(d) = k*m(d) + 5*w(d). Is s(-5) a multiple of 4?
False
Let o(j) = 14*j + 58. Let v be o(-3). Suppose r + 3*p = 453, -v*p = -r - 14*p + 448. Does 49 divide r?
False
Let b = 15064 - 6435. Is b a multiple of 35?
False
Suppose -4*c + 1282 - 3372 = -2*a, 5*a - 4*c - 5189 = 0. Is a a multiple of 8?
False
Let x be (-499)/(-7) - (2 - 36/21). Let w = x - 58. Is w a multiple of 13?
True
Let f = 31 + -43. Let c(i) = -2*i - 8. Let d be c(-10). Does 17 divide (-2)/d - 410/f?
True
Let d = -13 - -117. Suppose -a + 32 = 4*z - d, 4*a + 4*z = 604. Is a a multiple of 12?
True
Let z(t) = t**3 - 4*t**2 - 21*t + 5. Suppose 7 = 13*r - 12*r. Let v be z(r). Suppose v*b - 5 = 0, -141 = -3*h + 2*b - 5*b. Is 32 a factor of h?
False
Suppose 176*s + 43*s - 5055300 = 39*s. Is 39 a factor of s?
False
Let r(i) = 12*i**2 - 103*i - 22. Let v be r(9). Suppose -v*d + 1452 = 10*d. Does 4 divide d?
True
Let n(y) = 9*y**2 - 42*y - 11. Let a(l) = 8*l**2 - 42*l - 12. Let j(f) = 4*a(f) - 3*n(f). Let z(w) be the first derivative of j(w). Does 19 divide z(8)?
True
Suppose 5*l + 55*l - 572247 = -7*l. Is 13 a factor of l?
True
Let g be (-7 + 8)*(1 + -3). Let l be g*((-28)/(-8))/(-7). Let p = 23 + l. Does 6 divide p?
True
Does 34 divide 5/((-75)/(-36726)) + 30/(-75)?
True
Let z be (4*16/(-24))/(1/(-30)). Suppose 3*u = 7*u + 8. Is (z/u)/(-4 + 2) a multiple of 10?
True
Suppose -3*d + 6*d = -g - 15, -15 = -g + 3*d. Let b(w) = -13*w + 226. Let p be b(17). Suppose 4*q + h + g*h = 89, 3*q - p*h = 61. Is 17 a factor of q?
False
Let t(x) = 5*x**2 - 5 - 5 + 5*x + 11*x**2 - 12. Is 58 a factor of t(-5)?
False
Suppose 0 = 3*v + 4*o - 6928, 4*v + o = -o + 9254. Suppose 96 - v = -5*z. Is 9 a factor of z?
False
Is (-36)/7*((-24349080)/48)/41 a multiple of 14?
True
Suppose 0 = 7*v - 306 + 306. Does 38 divide 3 - (-511 + (-8 - v))?
False
Let o = -36 - -57. Suppose 26*a - o*a - 20 = 0. Suppose 4*i - 2*u = -3*u + 736, -a*i + 4*u + 716 = 0. Is 34 a factor of i?
False
Suppose 7359 = 4*x + 4*z - 12925, z = 2*x - 10151. Is 86 a factor of x?
True
Let f(m) = 30*m - 1. Let v be f(-20). Let l = v - -1029. Is 44 a factor of l?
False
Let v = -231 + 235. Suppose -5583 = -4*f - w, -2*f + v*w + 2979 = 165. Is f a multiple of 23?
False
Let q(k) = -32*k + 562*k - 61 - 92. Is q(3) a multiple of 11?
False
Let p(j) = 357*j**2 - 55*j + 104. Is p(2) a multiple of 79?
True
Let t = -703 - -1677. Is t a multiple of 2?
True
Let j = 6 - 2. Suppose 4*y = 3*y - 3. Does 16 divide 130/j + y/6?
True
Suppose 53*c - 3*d = 56*c - 1056, 5*d + 400 = c. Is c a multiple of 5?
True
Suppose -3*a - c + 11576 = 0, 5*c + 2631 = 5*a - 16669. Does 34 divide a?
False
Let k be 91/(-14) + 8 + 1153/(-2). Let t = 29 - k. Is 47 a factor of t?
False
Suppose -4*j + 72702 = 5*h - 40001, 4*h - 140863 = -5*j. Is j a multiple of 214?
False
Let x = -943 + 965. Suppose -5*w - 3*i = -280, x*w = 20*w + 4*i + 112. Does 14 divide w?
True
Suppose -x = 2*u + 22, 11*u = 5*x + 6*u + 50. Let p(h) = -24*h + 24. Does 40 divide p(x)?
True
Let p(d) = -d**3 + 2*d**2 - 22*d - 17 - 8*d**2 - d**2 - 1. Does 6 divide p(-8)?
True
Let s(i) = -28*i - 136. Let l be 0 + -14 + (1 - (7 + -9)). Is s(l) a multiple of 5?
False
Suppose 0*g + 248 = -2*h - 4*g, 0 = -2*h + g - 233. Suppose -58 = 3*v + 176. Let m = v - h. Does 8 divide m?
True
Let w(l) = l**2 - 3*l + 1. Let i(h) = 7*h**2 - 16*h - 139. Let y(f) = -i(f) + 6*w(f). Does 29 divide y(0)?
True
Let x(m) be the first derivative of -m**3/3 + 4*m**2 + 10*m - 7. Let w be (-1)/((-2)/20) + -2. Is x(w) a multiple of 3?
False
Let o = 455 - 481. Let q(c) = -c**3 - 24*c**2 + 49*c - 13. Does 2 divide q(o)?
False
Let m(z) = 1109*z**2 - 1110*z**2 + 120 + 32*z + 30 + 7. Does 3 divide m(23)?
False
Does 117 divide (117018/20 - (-4)/(-40)) + 12/(-15)?
True
Let h = -472 - -772. Suppose -3*n - h = -1602. Is 11 a factor of n?
False
Suppose v - 5*s - 607 = 0, -6*v = -5*v - 3*s - 609. Suppose -9*c = -3*c - v. Suppose -483 - c = -9*z. Does 9 divide z?
False
Suppose 9*p + 2*p = 4422. Suppose c + 2*c - 702 = 5*d, -3*d - p = 3*c. Let a = 208 + d. Does 7 divide a?
True
Let g = -285 - -92. Let b = g + 393. Does 10 divide b?
True
Suppose -7*l = -3*l - 16. Suppose -l*y + 2*y = -4*s + 506, -y = 2*s - 247. Does 26 divide s?
False
Let o = 26226 + -15483. Does 107 divide o?
False
Let a(b) = -b**2 - 31*b - 79. Let l be a(-31). Let q = l + 87. Is q even?
True
Suppose -34*x = 18*x - 393876 + 120148. Is 94 a factor of x?
True
Suppose -b = -3*r + 10, -5*r = -3*b + 4*b - 22. Suppose -2*k - p - 337 = -4*k, 0 = -r*k - p + 671. Is 8 a factor of k?
True
Let d(n) = -273*n + 231. Let u(z) = -55*z + 46. Let l(i) = 3*d(i) - 14*u(i). Is 49 a factor of l(-5)?
True
Let d(j) = -j**2 + 22*j - 28. Let z be d(20). Suppose 5*h + 106 = -0*x + 3*x, 4*x + z = 0. Let s = 40 + h. Is 9 a factor of s?
False
Let s(v) = -3*v - 18. Let k(f) = -6*f - 2. Let p(q) = -2*k(q) + s(q). Let g = 28 - 17. Is p(g) a multiple of 26?
False
Suppose 0*d + 600 = 3*m + 4*d, d - 813 = -4*m. Suppose k - 3*u - 65 = 39, 2*u + m = 2*k. Suppose -185 = -3*f + 2*n + k, 4*f + 2*n = 400. Is 7 a factor of f?
True
Let d(u) = 172*u**2 + 49*u + 287.