l) - 184/(-3)?
True
Suppose -18*n = -3*n. Suppose n = -13*w + 11*w + 2812. Is w a multiple of 38?
True
Does 73 divide (24*(-1)/1)/(1162/(-1030113))?
False
Let a(q) = -q**2 + 292*q - 2875. Is a(137) a multiple of 24?
True
Let d = -63600 - -89968. Does 16 divide d?
True
Let q = -836 - -1359. Suppose q - 1385 = -2*g. Is 13 a factor of (-8)/44 + g/11?
True
Suppose p + 5 = 0, 0 = 3*h + 2*p - 4*p - 4330. Does 4 divide h?
True
Suppose -99*o - 309453 = 35*o - 834733. Is 35 a factor of o?
True
Suppose -5*p - 3410 = -0*p. Let j = -98 - p. Is j a multiple of 32?
False
Suppose -150*b = -53*b - 1053129. Does 77 divide b?
True
Let h(n) = 14*n - 81. Let q be h(6). Suppose 0 = -11*r + q + 184. Suppose r*f = 9*f + 224. Does 4 divide f?
True
Suppose 7868 = 44*i - 37*i. Let f = i - 748. Is f a multiple of 14?
False
Let r(v) = 3 - 2*v**3 + 5 - 4 + 15 + 9*v**2 - 13*v. Let f(m) = 3*m**3 - 13*m**2 + 19*m - 29. Let o(l) = -5*f(l) - 8*r(l). Is 2 a factor of o(6)?
False
Let p(v) = -3*v**3 + 3*v**2 + 35*v + 197. Is p(-8) a multiple of 7?
True
Let c(k) = -3*k**3 + 12*k**2 - 45*k - 559. Is 83 a factor of c(-16)?
True
Does 34 divide (12/15)/(-4) + (-3441087)/(-585)?
True
Does 14 divide (-4)/(-5) + (-34997356)/(-3655)?
True
Suppose 2*x + 3 = 2*o + 5, -x + 3*o + 3 = 0. Suppose x = -7*y - y + 3072. Suppose j - y = -3*j. Does 32 divide j?
True
Let o(g) = -19*g + 62. Let r be o(-7). Suppose -4*h = -65 - r. Suppose -3*t = -0*t - 15, 3*t = -q + h. Is 7 a factor of q?
False
Let z = -287 + 427. Suppose z*c + 533 = 153*c. Does 6 divide c?
False
Suppose 4*l + 3*o = -2*o + 61, -4*o = -20. Suppose -2*g - 4*h = -184, 3*g = 3*h + 309 + 12. Suppose g = -6*q + l*q. Does 17 divide q?
True
Suppose -2*x = -5*f - 5*x + 1345, -271 = -f - x. Suppose 7*r + f - 2457 = 0. Is r a multiple of 21?
False
Let z = -356 - -359. Suppose -y = 3*l - 3497, l + z*y - 2336 = -l. Is l a multiple of 30?
False
Let u(v) = 570*v**3 - 50*v**2 + 98*v + 4. Is 10 a factor of u(2)?
True
Let p(k) = 20*k**2 + 4*k + 489. Does 57 divide p(-18)?
True
Is (332 - -65) + ((-4)/(-10) - (-14)/(-10)) a multiple of 12?
True
Suppose 29*q - 256 = 63. Let v(b) = b**2 - 4*b - 7. Let t be v(5). Is 979/q - (-3 - t) a multiple of 30?
True
Suppose 0 = w - 3*v - 19, -4*w + 1 = 6*v - 3*v. Suppose 4*n - 460 = -h - 4*h, 2*n - w*h = 256. Does 15 divide n?
True
Suppose 2*h - 7 = h + 5*w, 4*h + 32 = 5*w. Let r(d) = -28*d + 104. Does 18 divide r(h)?
True
Suppose 15*c - 7*c = z + 5902, -2948 = -4*c + 2*z. Is 6 a factor of c?
True
Let h(l) = l + 16. Let j(r) = -r - 32. Let f(i) = 5*h(i) + 3*j(i). Let b be f(8). Suppose b = 2*x - 173 - 35. Does 26 divide x?
True
Let d(n) = -n**3 - 9*n**2 + 3*n + 31. Let v be d(-9). Suppose -2*g + 0*g = 4*b - v, 2*g + 3*b = 4. Suppose g*h + 27 - 121 = 0. Is 11 a factor of h?
False
Let a(b) = -10*b + 69. Let w be a(-11). Let m = -129 + w. Does 17 divide m?
False
Does 128 divide 117/351 + ((-33022)/6)/(-1)?
True
Suppose 55 = -5*j - 3*k + 56, 3*j = 2*k + 12. Suppose -t = 2*t. Suppose -j*z - 7*z + 333 = t. Does 8 divide z?
False
Let y be -8 + -1 - -3 - (-2 - 0). Let l be y/((6/804)/((-1)/4)). Let d = 273 - l. Is 34 a factor of d?
False
Let u = 203 - -39. Suppose -2*i = -3*c + u, -2*c - 2*i = 1 - 159. Is c a multiple of 9?
False
Let l(a) = 18*a**3 - 4 + 0*a**2 - a**2 + 13*a - 18*a. Let n be l(-2). Let w = n - -267. Is 25 a factor of w?
True
Suppose 5*k - 20 + 5 = -p, -5*p - k + 27 = 0. Suppose 0 = p*c - 7*c + 4. Suppose 3*r = 4*d + 44, 24 + 7 = c*r - d. Is 5 a factor of r?
False
Let p(i) = i**3 + i**2 + i + 582. Let n be p(0). Suppose n*f = 588*f - 1584. Does 11 divide f?
True
Suppose 0 = -5*y + 3*b - 5, 2*y + 11 = 3*b. Suppose -26 = -7*h + y. Suppose p + 3*s = h*s + 143, p + 2*s = 146. Does 16 divide p?
True
Suppose -29*i + 209047 = -5*i + 62551. Is 101 a factor of i?
False
Suppose -3*p + 13*p = 40. Suppose 0 = 2*d + 3*i - 717, -p*i = 4*d - 763 - 669. Let c = d + -210. Is c a multiple of 16?
False
Let l(p) = -p**3 - 9*p**2 - 9*p - 5. Let o be -4*(2 + -1)*2. Let s be l(o). Suppose -s*d = -15 - 48. Is 5 a factor of d?
False
Let q = 910 + -907. Let v(j) = -3*j - 4. Let x be v(-3). Suppose -666 = -x*u + 3*z, u - 2*z - 130 = -q*z. Does 34 divide u?
False
Suppose 45*j - 42*j = -2*b + 742, 3*b = 3*j + 1173. Is b a multiple of 89?
False
Let q = 385 - 385. Suppose q*i = -2*i, -5*j = -3*i - 955. Is j a multiple of 22?
False
Let k = 64 + -39. Let q be (-1)/(5/k) + 3. Let h = 29 + q. Is h a multiple of 2?
False
Let p = 63 + 369. Let a = p - 55. Does 29 divide a?
True
Suppose -4*b - 46*c = -47*c - 9519, 0 = 5*b - 5*c - 11895. Suppose 0 = 6*x - 10*x + b. Does 82 divide x?
False
Let k(t) be the first derivative of t**4/4 - t**3/3 + t**2 + 9*t + 46. Let a be k(-3). Let z = 81 - a. Is z a multiple of 6?
True
Let k = -144 - -459. Suppose -4*d - k = -7*d. Suppose d = 4*x - 39. Is x a multiple of 9?
True
Suppose 4*j - 4*h - 72 = 0, 5*j - 33 = 2*h + 48. Let a be 5*(-4 + 153/j). Suppose -5*p = -269 - a. Is p a multiple of 15?
True
Let t = -143 + 149. Let y(q) = q**3 - 9*q**2 + 4*q - 17. Let z be y(t). Let v = z - -277. Is 22 a factor of v?
True
Let c(j) = j**3 - 7*j**2 + 4. Let p be c(7). Suppose 2*r - 348 = -y, r - p*y + 160 = 2*r. Suppose 6*g = 2*g + r. Is g a multiple of 4?
True
Suppose 0 = 4*o - 12885 - 6167. Is 29 a factor of o?
False
Let c = -20924 - -29702. Is c a multiple of 33?
True
Suppose -12*c + 17923 = -7*c + 2*t, 5*t - 10731 = -3*c. Is 13 a factor of c?
False
Let u(a) = a**3 + 3*a**2 - 5*a - 9. Let o be u(-3). Let t(c) = 3*c**2 - 7*c - 1. Let l be t(o). Let h = 5 + l. Is h a multiple of 10?
True
Let h(b) be the first derivative of -23/2*b**2 + b - 8. Is 18 a factor of h(-7)?
True
Suppose -16*y - 15792 = -19*y + 3*v, 3*v = 12. Suppose -10*r + 4622 = -y. Is 44 a factor of r?
False
Let i = 37 - 35. Suppose 0 = 4*g, 3*y + 2*y - g = 15. Suppose i*j = -y*j + 105. Is j a multiple of 6?
False
Suppose 5*v - n - 58 = 0, -4*n - 16 - 12 = -3*v. Let x = v - -24. Suppose x*c = 39*c - 276. Does 13 divide c?
False
Suppose -4*o + 1504 = 4*b, 2*o + 19 = 29. Suppose -4*q = 5*y - 1903, -2*q + b = y + 2*q. Does 9 divide y?
False
Suppose 133*r - 262*r = -59*r - 523530. Is r a multiple of 27?
True
Does 41 divide 7/(-7)*7 + 2768?
False
Let l(u) = u**3 + 19*u**2 - u - 9. Let z be l(-19). Let q be 0*(-2 + 15/z). Suppose -a + 7*a - 600 = q. Is a a multiple of 11?
False
Let r be 1/(32/(-97968))*(-4)/(-6). Let p = r - -3721. Is p a multiple of 35?
True
Suppose 4*r = 10673 - 3189. Does 20 divide (-4)/(-16) - r/(-4)?
False
Let f = -88 + 121. Suppose -k - 6 = 3*p, 0 = 8*k - 10*k + 3*p + f. Does 9 divide k?
True
Let l(y) = y. Let k be l(8). Suppose 4 = t - 0*t, -4*t + 84 = 4*f. Let j = f - k. Is 3 a factor of j?
True
Let s(f) = -f**3 + 10*f**2 - 9*f - 13. Let r be s(9). Is r + 13 - 42/(-1) a multiple of 5?
False
Suppose v = -3*o + 3*v + 2, -o + 8 = 3*v. Suppose 0 = -i + o*m + 144, i - 71 - 83 = -3*m. Suppose 3*r - 8 = i. Is r a multiple of 11?
False
Suppose -3*t - 5*p = 10 - 4, -5*p = -5*t + 30. Is 16 a factor of (1 + (-15)/6)/(t/(-66))?
False
Suppose -s + 5*p = -0*s - 21, 3*p + 3 = 3*s. Let n(v) = 6*v**2 - 4 + 643*v**3 + 0*v + 3*v + 645*v**3 + 3*v - 1290*v**3. Is n(s) a multiple of 28?
True
Let f(q) = 13*q - 50. Let z = 155 - 149. Is 7 a factor of f(z)?
True
Let p(z) = 3*z**2 - 5*z + 22. Let f be p(6). Suppose -4*c = 3*s - f, s = 4*c + 2*s - 92. Does 22 divide c?
True
Let c = 731 - 502. Let q = c + -177. Is 5 a factor of q?
False
Suppose h = 6*j - 7*j + 58, 2*j = 5*h + 130. Let x = -56 + j. Suppose r - 4*l = 77, 6*l = 2*l + x. Does 27 divide r?
True
Let j = -813 - -12813. Is j a multiple of 96?
True
Suppose -5*y - 3*p + 1 = -34, -3*y - 3*p + 27 = 0. Suppose d - m = -3 - 6, -2*d - y*m = -6. Is 34 a factor of 89 + 0 + (-20)/(-5) + d?
False
Let l = -1768 + 3618. Does 74 divide l?
True
Suppose 0 = c - 32 + 16. Let v = -28 + c. Let r(f) = f**2 + 4*f - 7. Is 32 a factor of r(v)?
False
Let g be 137 + 1*-2 + 0. Let y(q) = -q**3 + 2*q**2 + 7*q + 9. Let b be y(4). Suppose 3*s - b*h = g, 2*s - 90 = 4*h + h. Is 9 a factor of s?
True
Suppose 0 = -2*s + s + 3. Let x be s/2 + (-5)/(-10). Suppose -x*d + 25 = -d + 5*m, -m = -2. Is d a multiple of 3?
True
Suppose -7 + 3 = -m. Suppose -f + 684 = 6*v - 4*v, 3*f - 1364 = -m*v. Suppose s = 10*x - 5*x - v, 2*s = -8. Is x a multipl