Is 6 a factor of i?
False
Let o = 978 - 1478. Let r = o - -1148. Is 54 a factor of r?
True
Let n(j) = 50*j**3 - 6*j**2 - 130*j + 788. Is 42 a factor of n(6)?
False
Is 6 a factor of 5598/8 - (527/68 - 4 - 3)?
False
Suppose -u = 22 - 24, 0 = w - 4*u - 81. Suppose -w*i + 642 = -83*i. Is 6 a factor of i?
False
Let h(n) = 39*n**2 + 21 + 27 - 37*n - 3*n**3 - 11*n**2. Let u(m) = -m**3 + 9*m**2 - 12*m + 16. Let t(j) = 6*h(j) - 17*u(j). Does 15 divide t(13)?
True
Let h(u) = -2*u. Let v be h(6). Let a be (-2 + 8/v)*3. Let o(f) = 2*f**2 + 10*f + 9. Is 7 a factor of o(a)?
False
Suppose -3*p = -4*z - 2442, -2*z - 2*p + 3049 = -7*z. Let b = z - -680. Is 29 a factor of b?
False
Let b = -38 - -43. Suppose r + 2*r = -5*z + 226, b*r - 5*z - 430 = 0. Let t = r + 62. Is t a multiple of 19?
False
Suppose -j = -4, 2*o + j - 246 = -3*j. Let y(s) = 5*s - 13. Let c be y(3). Suppose o = -c*m + 7*m. Is 2 a factor of m?
False
Suppose 13 + 65 = 2*o. Let r be (-1 - (-3)/4) + o/12. Suppose 0 = j + r*j - 132. Is j a multiple of 24?
False
Suppose -c + 5 = -v, 2*c - 5 = 7*c + 5*v. Suppose 15 = 2*r + r, 3*i + 4*r - c = 0. Is 8 a factor of 29 - 2 - (i - -5)?
False
Suppose -4 = -u, -1408 = -w + 4*u + 3253. Suppose 5*o + c = w, 3*c + 3732 = 4*o - c. Is o a multiple of 55?
True
Let a(l) = 371*l**2 - 15*l. Does 47 divide a(-3)?
True
Let o = 22196 + -20545. Does 13 divide o?
True
Suppose 5*d - 11950 = -2*x, -524 + 520 = d. Is x a multiple of 45?
True
Let h(w) = w**2 + 43*w - 1079. Does 27 divide h(-113)?
True
Suppose o = -0*o - 519. Let i be (-9 - -7)/(6/o). Suppose i*a = 172*a + 36. Is 4 a factor of a?
True
Let b = -4 + 0. Let t(f) = 3*f + 6. Let n be t(b). Is (-373)/(-7) + n/21 - -1 a multiple of 9?
True
Suppose 0 = -0*t - 7*t - 8*t. Suppose 4*l + 244 = n, t = 4*n - n - 5*l - 697. Is 19 a factor of n?
False
Let q be (20/(-24))/((5/5)/(-6)). Suppose r = -3*i + q*r + 1703, 2*i = -2*r + 1112. Is i a multiple of 17?
True
Let u = 677 - 743. Let l = u - -312. Does 5 divide l?
False
Suppose 12*y - 104 + 32 = 0. Suppose -y*l + 722 = -256. Is 3 a factor of l?
False
Suppose 3*w = 2*i - 3*i + 24, 0 = 5*w + 5*i - 40. Does 13 divide 84 - 5/20*w?
False
Let n = -62 + 152. Let i = n + 150. Is 20 a factor of i?
True
Suppose -4*d + 4*m = -13456, -34*d = -37*d - 4*m + 10064. Does 160 divide d?
True
Let b(w) = 89*w**2 + 40*w + 186. Does 18 divide b(-4)?
False
Suppose 26*g - 32 = 18*g. Suppose 0 = -g*c + 4*n + 960, -n = 37*c - 36*c - 230. Is 10 a factor of c?
False
Let n = 683 - 677. Let z(s) = 36*s + 94. Is 62 a factor of z(n)?
True
Suppose 33*c - 22*c + 38*c - 1461817 = 0. Is 27 a factor of c?
False
Let l(a) = -2*a**2 + 16*a - 1. Let p be l(6). Let w(d) = 2*d - 15. Is 6 a factor of w(p)?
False
Let d = -185 - -440. Suppose 7*t - 1494 + d = 0. Does 30 divide t?
False
Suppose -h + 0*l - 4*l = -4858, -2*l = 3*h - 14524. Is h a multiple of 59?
True
Let p = 49 + -14. Suppose 10*o - 130 = 530. Let j = o - p. Is 8 a factor of j?
False
Suppose 52*m - 792 = 16*m. Suppose 15157 = m*h + 2903. Does 16 divide h?
False
Does 15 divide (2 - -3) + 0 + 72 + 5998?
True
Suppose 39723 = h - 3*c, -4*h + 158847 = -597*c + 600*c. Is 117 a factor of h?
False
Let p(d) = -42*d - 265. Let z be p(-7). Suppose 2*q + 4*t - 1444 = 0, -33*q + z*q + t = -2843. Is 89 a factor of q?
True
Let h(z) be the first derivative of -z**2 - 32*z + 10. Let x be h(-20). Suppose -x = l - 88. Is l a multiple of 18?
False
Suppose -s - 754*v + 756*v + 10037 = 0, 4*s = -5*v + 40135. Is 136 a factor of s?
False
Let h be (-8)/10 + (-7304)/(-55). Let f = h + -52. Suppose -3*n - 2*q - 27 = -f, 2*q = -n + 19. Is n a multiple of 4?
False
Let z(t) = -17 + 0*t + 12*t - 8*t. Let o be z(14). Let f = 54 - o. Is f a multiple of 4?
False
Suppose -22*d - 16095 = -59*d. Is 6 a factor of d?
False
Let o = 35 + -25. Let u be o + (-9)/(27/12). Is 1292/95 + u/(-10) a multiple of 5?
False
Let w(b) = 46*b - 1. Let a be w(-2). Let r be (8 - 4)*(-11 - -37). Let k = r + a. Is k a multiple of 2?
False
Does 37 divide 3774/(-4)*((-24)/156 - 716/78)?
True
Let g(c) = 6263*c + 7292. Does 36 divide g(7)?
False
Let y(z) be the third derivative of 7*z**6/120 + z**5/5 - 13*z**4/12 + 2*z**3/3 + z**2 - 26*z. Is 22 a factor of y(4)?
False
Suppose t = 8*t - 14. Suppose t*d - 11*d = -36. Suppose 2*o - l = 70, -152 = -4*o - d*l - 0*l. Is 12 a factor of o?
True
Suppose -4*a + 1430 = -1254. Let f be (440/77 + -6)*-329. Suppose -5*k + f = -a. Is k a multiple of 17?
True
Suppose t - 3*w = -2*t + 1386, 0 = -3*t + 5*w + 1384. Let o = -247 + t. Is o a multiple of 22?
False
Let s(k) = -59*k + 6902. Is s(-97) a multiple of 35?
False
Let r(m) = 2*m**2 + 16*m - 3. Let n(f) = f**2. Let j(t) = -3*n(t) + r(t). Let x be j(15). Suppose x*v - v - 88 = 0. Is 4 a factor of v?
True
Suppose -4*u - 4*w = -18872, 5*w + 6872 = 2*u - 2620. Is u a multiple of 278?
True
Let d(x) = -65*x - 52. Let b be d(12). Let c = 1477 + b. Does 43 divide c?
True
Let s = 617 + -192. Suppose s*z - 430*z = -300. Is 20 a factor of z?
True
Let s = -41 + 45. Suppose c - 3395 = -s*f, 115 = 5*f + c - 4130. Is 50 a factor of f?
True
Let w = 1208 - 906. Does 176 divide w?
False
Let a = 878 + 161. Suppose 5*s = 4*j + 921 + a, s - 4*j - 376 = 0. Suppose -210*y = -213*y + s. Is y a multiple of 17?
False
Suppose 0 = -5*h + 2*t + 14807, -2*t + 1861 = 3*h - 7036. Suppose -6*j + 1782 = 3*d - 8*j, 0 = -5*d + j + h. Is d a multiple of 16?
True
Let v be (8/(-5))/((-15)/57225). Suppose -r = 13*r - v. Is r a multiple of 27?
False
Let m = 1285 + 627. Is 4 a factor of m?
True
Suppose -3*b - 4*p + 120638 = 0, 35*b + p - 201035 = 30*b. Is 30 a factor of b?
False
Let c(x) = -2133*x - 48. Does 37 divide c(-2)?
True
Suppose 5*i - 3*x = 381445, 40*i - 39*i - 76271 = -3*x. Does 260 divide i?
False
Let y = 1077 - 512. Suppose 35*k - 38*k = -l + 525, -5*k + y = l. Is 30 a factor of l?
True
Let z = -5558 - -9788. Is 18 a factor of z?
True
Let z = 12676 + -8644. Is (3/6)/(4/z) a multiple of 24?
True
Let z = 16042 - 12492. Does 50 divide z?
True
Suppose -128*y = -23266 - 107806. Does 25 divide y?
False
Let c(f) = 3*f**3 + 50*f**2 - 16*f + 15. Let i be c(-17). Does 39 divide ((-160)/(-24) - 8)/(i/135)?
False
Suppose 32*t - 30*t = 4*o + 20902, 4*t = 3*o + 41784. Is 59 a factor of t?
True
Let x be 184/69*(-6)/(-8). Let n be x + (3 - 4/(12/(-3))). Suppose -874 = -4*h - n*b + 9*b, -3*h = 2*b - 664. Does 55 divide h?
True
Does 79 divide (2/6)/((-79)/586654*(-2)/3)?
True
Suppose -11*a = -11*t + 10*t - 76615, 0 = 4*a - t - 27860. Does 35 divide a?
True
Let r(f) = 4*f**3 - 33*f**2 + 49*f + 42. Let u(s) = -5*s**3 + 34*s**2 - 49*s - 45. Let o(v) = 6*r(v) + 5*u(v). Is o(-30) a multiple of 7?
True
Suppose 15*f - 35 = -q + 20*f, -5*q - 3*f + 35 = 0. Let m(n) = n**3 + 4*n**2 - 8*n + 5. Let z be m(-6). Is ((-8)/10)/((-4)/q) - z even?
False
Suppose 0 = 5*d - 3*h - 460, 5*d + 0*d = 4*h + 455. Let n = d - 79. Suppose -4*w + n = 0, 6*l = 3*l + w + 290. Is l a multiple of 14?
True
Let b(l) = 22*l**2 - 15*l + 666. Does 129 divide b(12)?
False
Let h(r) = -r**3 + 4*r**2 + 14*r - 8. Suppose -u = -4*t + 2, 5*u + t - 3*t = 26. Let w be h(u). Suppose -w*n - q = -233, -q = n + 2*n - 176. Does 10 divide n?
False
Suppose 8*s + 2*s = 0. Suppose s = -7*w + 19 + 9. Is 23 a factor of (-16)/24*(-138)/w?
True
Suppose 3*a = -2*m + 116, -4*m + 264 - 74 = 5*a. Let o be -3 - (a - (1 - 4)). Let i = 9 - o. Is 29 a factor of i?
False
Does 37 divide ((-1502)/(-18))/((-115)/(-1035))?
False
Suppose 4*w + 0*k = -3*k + 6, 4*k - 8 = 0. Suppose 5*a + 3*b - 17 = -b, -a - 2*b + 1 = w. Suppose 4*d + v = a*d + 1, v = -d + 5. Is 2 a factor of d?
True
Is 115 a factor of 61/(-244) + 2/(-5) + 78213/20?
True
Suppose -7 + 2 = c. Let m be (c/(-15))/(4/2532). Let t = m - 115. Is 16 a factor of t?
True
Suppose 4*h = 5*r - 24, 5*r - 20 = r + 4*h. Let x be 10/(-35) - r/(-14). Suppose x*d - 110 = -5*d. Is d a multiple of 11?
True
Suppose 35*z - 40*z = -5*a - 146970, 3*z + 3*a = 88218. Does 25 divide z?
True
Suppose 0 = -530*z + 534*z + 1072. Let s = z - -352. Is 4 a factor of s?
True
Let h be (228/(-190))/((-3)/7420). Suppose 0 = r + 3*r - h. Suppose -3*o - 2*u + 446 = -0*u, 5*o = -4*u + r. Does 25 divide o?
True
Let l(h) = -h**3 + 8*h**2 - 11*h + 25. Let w = -54 - -60. Let j be l(w). Suppose -j - 12 = -u. Is 5 a factor of u?
Fal