e
Let m = 1135 - -4512. Is 129 a factor of m?
False
Let i = 21350 - 13103. Is 23 a factor of i?
False
Suppose 13*p - 166 = -101. Suppose -3*f - 3819 = -p*n - 1107, n - 3*f = 552. Is n a multiple of 36?
True
Let k(q) = 28*q - 220. Let r be k(8). Suppose -550 = -2*f + r*m, 2*f - 5*f + 3*m + 825 = 0. Does 25 divide f?
True
Let y(w) = w**3 + 6*w**2 - 6*w + 9. Let k be y(-7). Suppose k = 3*i + 4*c, 4*i - 5*i = 5*c + 14. Does 42 divide (2 + -2 - 3/i)*-420?
True
Suppose 16*h - 21*h - 4522 = -3*z, -2*z + 5*h = -3023. Suppose -7*b + 769 = -z. Is 26 a factor of b?
False
Let q(i) = -2*i**3 - 8*i**2 + 10*i + 309. Does 119 divide q(-14)?
False
Let u(z) = -z**3 + 8*z**2 + 40*z - 1. Suppose 5*f - 19 = 2*m + 46, 2*f - 2 = -4*m. Is u(f) a multiple of 13?
False
Suppose 4 = -2*g + 4*m, 0 = g + 5*m - 10*m + 14. Let b be -1*(-9)/g + 212/8. Suppose -b = -4*p + d, 5*p - 2*p - 4*d = 8. Does 2 divide p?
True
Let z(u) = 227*u + 5. Let j(l) = 456*l + 11. Let s(v) = 4*j(v) - 7*z(v). Is s(1) a multiple of 13?
False
Suppose -1430 + 94 = -2*q - 4*z, 3 = -3*z. Suppose 5*k + q = 10*k. Let v = k + -96. Does 38 divide v?
True
Suppose 196 = 3*i - 4*k, -14 - 2 = 4*k. Is 11 a factor of (-8)/i + 2534/105?
False
Let c(m) = -60*m - 70. Let s(n) = 53*n + 69. Let z(b) = -4*c(b) - 5*s(b). Is z(-8) a multiple of 15?
True
Suppose -3*x + 3*k = 18, 0 = -4*x - 2*k - 19 - 35. Suppose 0 = 31*l - 13*l - 2682. Let d = l - x. Does 20 divide d?
True
Let z = -1210 - -7594. Is z a multiple of 42?
True
Let c be (6/4)/((-3)/(-8)). Let s be 6/(-2)*(-15)/(540/(-48)). Is 3 a factor of -1*(c - (-56)/s)?
False
Suppose -7 - 17 = -8*b. Let s = -1 + b. Is 231/12 + s/(-8) a multiple of 5?
False
Let a = 39 - 36. Let w(p) = -24*p**2 + 12*p**2 - 2*p - 16 + 0*p - p**3 + 0*p**a. Is w(-12) a multiple of 3?
False
Let v be (1 + 0)*-2 - -9. Suppose 4*f + 2*d = 2, 2*f = d - 0*d + v. Does 15 divide ((-12)/16*26)/(f/(-20))?
True
Let o(i) = -16*i - 125. Let w be o(-8). Suppose 2*k + 5*u = 1689 + 450, 0 = -4*k - w*u + 4299. Is k a multiple of 74?
False
Let r = 11028 + -7588. Suppose 0 = -123*n + 139*n - r. Does 12 divide n?
False
Is 12 a factor of 2 + -12 + 2 - (-3547 + -1)?
True
Let k be -1 + 0 + (7 - 12). Let z be (2/((-8)/k))/((-39)/(-520)). Suppose 29*o + z = 31*o. Is o a multiple of 4?
False
Suppose -5*d = -13*h + 17*h + 101, 0 = 5*d + 2*h + 103. Is (-1 - (-1 + -15))*(-686)/d a multiple of 14?
True
Let n(z) = -3*z**2 + 8*z - 193. Let m(a) = -4*a**2 + 12*a - 289. Let r(j) = 5*m(j) - 7*n(j). Let g be r(0). Let f = -24 - g. Is f a multiple of 14?
True
Let d(y) be the first derivative of 93*y**4/4 - y**3/3 + 7*y**2/2 - 177. Is d(2) a multiple of 97?
False
Suppose 0 = -5*s + 3*s + 2. Let o be (-7)/(-28) + s/(-4). Suppose 0 = -3*k, 3*k + o = x - 30. Does 11 divide x?
False
Suppose 38*d - 1445743 = -237685. Is 54 a factor of d?
False
Is 28*(-29198)/(-91) - 14 a multiple of 30?
True
Suppose 30*x - 536895 = 150075. Is 11 a factor of x?
False
Let o be ((-9)/(-12))/(7/28). Let d be (-76)/(-16) - (-3)/12. Suppose d*l + 727 = o*g + g, -l = -4*g + 747. Does 15 divide g?
False
Let p = 5 + -12. Is ((-1440)/28 - 4)*p*1 a multiple of 6?
False
Let y(z) = -211*z + 40. Let f be y(-8). Suppose 0 = -13*r + 5550 - f. Suppose o - r = -5*o. Does 7 divide o?
True
Suppose 7*a - 105 = -91. Let v = 8 + -8. Suppose -a*b + n + 70 = v, -4*b + 100 + 56 = 2*n. Is 5 a factor of b?
False
Does 74 divide 8/(240/525)*(-414)/(-5)?
False
Suppose -7638 = -2*d - 2*f, 4*d + 2*f = 6549 + 8721. Is d a multiple of 53?
True
Suppose 3*k - 3642 = -d, -13*k + 11*k - 10871 = -3*d. Does 13 divide d?
True
Let j be 6/(-8) - 12078/(-72). Let a = -35 + j. Does 25 divide a?
False
Suppose 2*o + 5*m = -17, 4*m = -0*o + 4*o + 104. Let f(i) = -9*i - 123. Is 33 a factor of f(o)?
True
Let r be 1920/16 - (-2 - -8). Is 10 a factor of 2 + 1 + r + 3?
True
Suppose 26*p = 104965 - 19711. Is p a multiple of 73?
False
Let h = -83 - -79. Let c be (5 - 7)/(h/(-158)). Let q = c - -120. Does 41 divide q?
True
Let y(h) = 2*h**2 + 3*h + 23*h - 12*h + 38. Is y(8) a multiple of 11?
False
Let a = -367 + 345. Is 22 a factor of (-1285)/(-9) - -7*a/(-693)?
False
Let u be (-42 + 45)/(6/4). Suppose 26*f - 1608 = -u*a + 22*f, -4*a - 5*f + 3213 = 0. Is 61 a factor of a?
False
Suppose 2*s + 15 + 2 = 3*r, 0 = -5*r + 3*s + 27. Suppose -4*v = -3*l + 1, 2*l = r*v - 0*v. Suppose -3*w + 519 = 3*p, w - p - l*p - 153 = 0. Does 20 divide w?
False
Let j = -47 + 49. Suppose 4*x - 3980 = -5*f, -j*f + 4277 = 3*x + 1299. Is 11 a factor of x?
True
Let n(k) = 3*k**2 + 7*k - 20. Let y(z) = -2*z**2 - 7*z + 21. Let m(h) = 4*n(h) + 5*y(h). Is m(-12) a multiple of 11?
False
Let z(a) = -a**3 + 18*a**2 - 18*a - 14. Let h be z(19). Is ((h/(-6))/(-1))/((-9)/18) a multiple of 9?
False
Suppose 2*x = 3*y - 32158, 2*y + 13*x - 21437 = 16*x. Does 32 divide y?
True
Suppose -2*s - 70 = -9*s. Is (-124)/8*-4*s a multiple of 10?
True
Is 16216/28 + 28/98*6/(-12) a multiple of 3?
True
Suppose 3*l = 4*n + 12, -4*l + 16 = 2*n - 0*n. Suppose -2*z - b - 10 = 4*b, 8 = -l*b. Does 5 divide z/(-4 - -9) - -23?
False
Let b = -920 - -400. Does 2 divide (b/30)/(3/(-9))?
True
Let b = -280 + 474. Suppose 0 = -5*n - 10, -4*w + 38 + b = -4*n. Suppose -15*x = -11*x - w. Is 14 a factor of x?
True
Suppose -44 = 5*u - 16*u. Let a be 170 - 2/u*0. Suppose -31*r = -33*r + a. Does 18 divide r?
False
Suppose -225 - 23 = -4*z. Let l = z - 56. Is 2 a factor of l?
True
Suppose -16*b + 22031 + 2257 = 0. Is 22 a factor of b?
True
Suppose 122*k - 620 = 121*k. Suppose 0 = -5*u + 540 + k. Is u a multiple of 29?
True
Is (167375/(-206))/(1/(-2)) a multiple of 5?
True
Let w(a) = -a**2 + 3*a + 9. Let r be w(5). Let t be (27/(-36))/((-2)/(48 + 0)). Let i = r + t. Is i a multiple of 3?
False
Let k(v) = 1214*v**3 + 2*v**2 + 5*v + 3. Let g be k(-1). Let a = 2316 + g. Does 29 divide a?
True
Let y = -492 - -497. Suppose 4*h - 375 = z, -2*h = -0*z - y*z - 201. Is 9 a factor of h?
False
Suppose 15*v - 160550 = 2*v - 0*v. Does 38 divide v?
True
Suppose d - 12385 = -3*r - 576, -2*r + 9*d + 7834 = 0. Is r a multiple of 20?
False
Let q be (-4)/(-18) - 778/18. Let j = q - -75. Is ((-24)/(-7))/(j/112) a multiple of 3?
True
Suppose 44*x - 231607 - 122279 = 185730. Does 21 divide x?
True
Suppose 5*n = -5*s + 3*n + 4242, -5*s + 3*n + 4237 = 0. Suppose -4*x + 133 = 4*i + 809, 2*i + s = -5*x. Let b = -32 - x. Is b a multiple of 14?
False
Let u = 19015 - 10807. Does 108 divide u?
True
Let h = -2750 - -20729. Is h a multiple of 216?
False
Is 144 a factor of 14741/9 - (-6 - 10)/144?
False
Let q(p) = -19*p**3 + 2*p**2 + p. Let y be q(-5). Let t = y + -4445. Does 18 divide (4/3)/((-30)/t)?
True
Suppose 2*s + 4*p = 558, 2*p = -43*s + 45*s - 516. Does 2 divide s?
False
Let g be (-2044)/(-70) - ((-8)/10 - -1). Suppose -5*t - g*o + 850 = -27*o, -3*t + 2*o = -510. Is t a multiple of 17?
True
Let k(r) = r**3 + 16*r**2 - 29*r + 18. Let n be k(-16). Suppose -3*s = -4*j - 732, 3*s - n - 256 = 2*j. Is 31 a factor of s?
True
Suppose m = 6*m - 70. Let i(l) = -l**2 + 15*l - 9. Let g be i(m). Suppose -g*f + 268 = -367. Is 26 a factor of f?
False
Suppose 145 + 521 = 3*f. Let d = 516 - f. Is 21 a factor of d?
True
Let b(x) = -x**2 + 10*x - 8. Let g(z) = z**2 - 9*z + 7. Let y(w) = -6*b(w) - 7*g(w). Let k be y(-5). Let c = -33 - k. Is c even?
True
Let q(a) = -18*a**3 - 6*a**2 - 5*a - 15. Let u(m) = 10*m**3 + 3*m**2 + 3*m + 8. Let b(i) = -3*q(i) - 5*u(i). Let c = 2 - -1. Is 14 a factor of b(c)?
True
Let u be (-8)/12 - (-1)/(-3) - -2. Let d(j) = 4*j**3 - j**2 + 2*j - 1. Let t be d(u). Does 19 divide (5 - 3 - t) + (-1 - -110)?
False
Let c(y) = -y**3 + 12*y**2 + 7*y + 15. Let x be c(12). Let s = x + 165. Is 33 a factor of s?
True
Let q be (3 - -1)/(-1)*7/(-28). Is q*((-198)/2)/(-1) a multiple of 11?
True
Let u be (-3)/(-6) + (-6169)/(-62). Does 17 divide u/(-200)*4318/(-1)?
True
Let n(b) = -2227*b - 3937. Is n(-6) a multiple of 13?
True
Let z(m) = 10*m**3 + 17*m**2 - 107*m + 52. Is z(12) a multiple of 34?
True
Let r = 2854 - -1432. Is r a multiple of 69?
False
Suppose -2*s = -6, 3*c - 9*s + 4*s - 21939 = 0. Is c a multiple of 59?
False
Suppose 0 = 87*h - 83*h - 2432. Suppose -1078 - h = -3*y. Is y a multiple of 10?
False
Let x(g) = 1274*g**2 - 98*g - 98. Is 91 a factor of x(-1)?
True
Let c be 8/(-20) + (-110)/(-25). Sup