uppose -4*i + 3*x = -53, 0 = 2*i + 2*i + x - 73. Suppose -r + i = -90. Is r a multiple of 15?
False
Let w = 46 + 250. Is 98 a factor of w?
False
Let z(a) be the first derivative of -a**3/3 - 13*a**2/2 + 3*a + 1. Let o be 7 + -11 - (-2 - -9). Is 9 a factor of z(o)?
False
Let w be 88/(-110) - 3308/(-10). Suppose m = -2*c + 66, -3*m + 8*m + 5*c - w = 0. Is m a multiple of 7?
False
Let x(z) = 2*z**3 - 35*z**2 + 16*z + 21. Let a be x(17). Suppose -56 = 4*j - 3*o + 15, -o - 23 = 2*j. Is a/j - 3297/(-49) a multiple of 20?
False
Let q be 7 - (-2 + (11 - 4)). Suppose 2*y - 8 + 260 = 5*i, 4*y - 96 = -q*i. Does 10 divide i?
True
Suppose -2*r - 5*h = -r + 43, -3*h - 149 = 5*r. Let n = 39 + r. Is n a multiple of 10?
False
Let a(j) = -5 + 6*j**2 - 3*j**3 + 2*j**3 + 0*j**2 + 6*j. Let g be a(5). Let o = -29 + g. Does 14 divide o?
False
Let y be ((-1)/3 - (-190)/120)*-8. Let c be 2 - ((0 - 1) + 0). Does 8 divide -5*c*16/y?
True
Suppose -2 - 14 = -2*m + 2*p, -5*p - 20 = 0. Suppose 9*s - s = 24. Let h = s + m. Does 3 divide h?
False
Suppose 0 = -7*x + 4 + 10. Suppose 0*z + 2*c = -2*z, z = -2*c - x. Suppose z*b = 3*l + 5*b - 135, 2*l = -3*b + 86. Is l a multiple of 13?
False
Let b be 10/(-20) + (-26)/(-4). Let i be (-6)/(-2) - (0 - b). Let r(l) = l**3 - 8*l**2 - 5*l - 1. Does 11 divide r(i)?
False
Let x = 36 + -8. Let q = x - -29. Does 19 divide q?
True
Let c(a) = -45*a. Let q(l) = 2*l - 11. Let v be q(5). Is 9 a factor of c(v)?
True
Is 36 a factor of (-1 + 34/(-14))/(344/(-3612))?
True
Let c(g) = 16*g**2 + 3*g - 3. Let i = -1 + 5. Suppose -6*o = -4*o - i. Is c(o) a multiple of 17?
False
Let x(q) = 3*q**3 - 16*q**2 + 0*q**3 - 23 - 2*q**3 + 16*q - 2*q**3. Let u be x(-17). Is ((-6)/(-10))/(u/(-270)) a multiple of 4?
False
Let c(r) = 2*r**3 - r**2 - r - 10. Let d be c(0). Suppose 4*f + 3*g - 167 = -0*f, 0 = 4*f + 5*g - 177. Let k = f + d. Is k a multiple of 17?
False
Suppose -6*n + 174 = -420. Suppose -5*l + n + 21 = 5*t, -2*t - l + 48 = 0. Is 6 a factor of t?
True
Let v be (-3 + (-279)/6)*(-20)/3. Suppose -4*t = -7*t + v. Is 21 a factor of t?
False
Let v = 2 - -1. Let w(i) = 0 - 7*i + i**2 + 3 + 18*i + v. Is w(-11) a multiple of 2?
True
Let r(j) = 15*j - 26. Let x(a) = 14*a - 25. Let m(v) = 5*r(v) - 6*x(v). Is m(-4) a multiple of 14?
True
Suppose -4*o + 1 = 113. Is (-4)/(-14) + (-4332)/o a multiple of 16?
False
Let u be (-6)/(-4)*2 - 6. Let g = u - -11. Suppose -g - 13 = -3*z. Is 2 a factor of z?
False
Let h = -584 + 833. Does 63 divide h?
False
Suppose -5 = 5*f - 20. Suppose 2*q - 136 = 2*p, f*q + 2*p - 152 = q. Does 8 divide q?
True
Let l(m) = 21*m**3 - m**2 - 10*m - 15. Is l(4) a multiple of 49?
False
Let a(t) = -71*t - 8. Let r be a(-10). Suppose r = 4*b + 2*b. Is 25 a factor of b?
False
Suppose 5*q - 6188 + 938 = 0. Does 42 divide q?
True
Let q be (6 + -7)/((-2)/4). Suppose -q*w - 8 = -20. Is (4/7)/(w/21) a multiple of 2?
True
Let u = -27 + 32. Suppose -4*j = 4*v - 520, 0 = 3*v + u*j - 160 - 238. Does 23 divide v?
False
Let u = -4 + 4. Suppose 3*a + 90 + 102 = u. Let x = 127 + a. Does 27 divide x?
False
Let m be 530/50 + 2/5. Suppose -10 = -3*o + j, 2*o - 3 = -3*j - m. Suppose -2*c + 12 = -o*u, -c + 3*c = -4*u - 6. Does 2 divide c?
False
Let v = 2228 - 2100. Is v a multiple of 4?
True
Let w(t) be the second derivative of -t**4/12 - 13*t**3/6 + 8*t**2 + t. Is w(-7) a multiple of 14?
False
Let f = 44 - -1334. Is f a multiple of 26?
True
Suppose -3*q = -g - 229, 4*g = 4*q - 226 - 66. Is 13 a factor of q?
True
Suppose 2*f - 76 = -2*f. Let b = f - 17. Does 30 divide (18/6)/(b/60)?
True
Suppose 0 = y - 2, 2*u - 4*y = -u - 104. Let r = u + 102. Is r a multiple of 35?
True
Let q(d) = -6*d. Let g(c) = -5*c + 1. Let t(m) = 4*g(m) - 5*q(m). Is 18 a factor of t(5)?
True
Suppose 0 = 3*g - 4*g + 1671. Does 102 divide g?
False
Is 6 a factor of 3351/39 - (-5)/65?
False
Let b(i) = -i**2 - 2*i + 10. Let o be b(3). Let x(c) = 2*c**2 + 4*c + 9. Does 11 divide x(o)?
False
Let h(f) = -47*f + 4. Let l be ((-8)/(-10))/(90/25 + -4). Does 7 divide h(l)?
True
Suppose -1 = 3*s - 10. Suppose -3*f = -5*j - 44, s*j - 8 - 20 = -5*f. Let q = 36 - f. Is 14 a factor of q?
True
Suppose -3*l + 4*h = 5*h - 734, 0 = -l - 3*h + 242. Suppose 7*q - 329 = l. Does 41 divide q?
True
Let c = 29 + -25. Suppose -c*z + 10 = -62. Does 6 divide z?
True
Let z be 7/5 - 4/10. Does 2 divide (3 + 0)*z - -13?
True
Let z(u) = -312*u**2 - 2*u + 313*u**2 - u - 1. Does 12 divide z(8)?
False
Suppose 6*g = 11*g + 25. Is (-2)/g - (-486)/10 - -2 a multiple of 23?
False
Let j = 68 - 22. Suppose 5*v - 3*l - 95 = 0, 4*v + 4*l - 57 = v. Let h = j - v. Is 17 a factor of h?
False
Let c(r) = -r**3 - 4*r**2 - 2*r + 1. Let w be c(-3). Let j be (-20)/4*(1 + -7). Does 15 divide j - (0 - (-2 - w))?
True
Let k = 40 - 92. Let p = k + 36. Let r = -8 - p. Is 4 a factor of r?
True
Suppose 0 = -c + 1 + 1. Let t(r) = -r**2 + 2*r + 1. Let b be t(c). Let n(d) = 26*d**2. Is n(b) a multiple of 9?
False
Let r(q) = 5*q**2 - q + 4. Suppose 4*m - 8 = -24. Does 11 divide r(m)?
True
Let m be 8/6*(-18)/(-4). Does 38 divide (-6)/2*(-152)/m?
True
Suppose -3*d + 97 + 68 = 0. Let s be 0 + -3 - 3*19/(-3). Let v = d - s. Is v a multiple of 16?
False
Let l(g) = g**2 + 20*g + 18. Is 6 a factor of l(-32)?
True
Let v = 60 + -64. Let p(l) = l**3 + 6*l**2 + 6*l + 5. Is 13 a factor of p(v)?
True
Let w be 3*(-1 - (-6)/3). Suppose -w*y = -2*o + 166 + 361, 0 = -y - 3. Is (-4 + o)/3 - -1 a multiple of 24?
False
Suppose -15*u + 11*u = -20. Suppose 5*r - 380 = u*f, -2*f + 3 = -1. Is 15 a factor of r?
False
Let o(l) = 6*l**2 + l - 2. Let s be o(1). Suppose 2*u - s*u + 252 = 0. Is u a multiple of 28?
True
Suppose 3*j + 2*q + 402 = 5*j, 5*q = -3*j + 611. Suppose 2*k - 2*v - 3*v - j = 0, -4*k + v = -440. Is k a multiple of 28?
False
Let i(p) = 11*p - 18. Let w be i(-7). Let m be (-3 + 30)*w/(-15). Suppose m - 6 = 5*x. Does 15 divide x?
False
Let t(v) be the second derivative of v**6/120 + v**5/30 - v**4/8 - 2*v**3 - 12*v. Let z(f) be the second derivative of t(f). Is 14 a factor of z(-7)?
False
Suppose 10703 = 6*h + 1757. Is h a multiple of 71?
True
Let o(g) = 9*g - 2. Let n(h) = 8*h - 2. Let c(x) = 5*n(x) - 4*o(x). Let m be c(1). Suppose m*i - 54 = -0*i. Is 9 a factor of i?
True
Suppose -20*v = 2*v - 2200. Is 49 a factor of v?
False
Let y(q) = q**3 - 13*q**2 - 31*q - 15. Let u be y(15). Does 7 divide (-12)/u + 1554/15?
False
Suppose 0 = z - 4*z + 1620. Is 36 a factor of z?
True
Let j(w) = -w**3 - 6*w**2 + 5. Let f be j(-6). Let k(g) = 2*g**2 - 5*g + 5. Let t be k(f). Suppose -c + 2*n = -t, -4*c + 102 = -n - n. Does 4 divide c?
True
Let n be (-2 - (-1 + 28/(-8)))*86. Suppose -n = -4*k - 3*a, 4*a + 11 + 57 = k. Is 28 a factor of k?
True
Suppose -2*q + 5*q - 9 = 0. Suppose 0 = q*i + i. Suppose 3*p - 127 = -p - 3*c, i = 3*p + 4*c - 104. Is p a multiple of 15?
False
Suppose 119 = -7*u + 1554. Does 21 divide u?
False
Does 87 divide (72/45)/(12/15660)?
True
Let d(r) = 48*r**2 + 51*r - 235. Does 33 divide d(5)?
False
Let i be 2 - (-68 - -2 - 0). Let k = i - 32. Does 12 divide k?
True
Suppose -2685 = -5*s - 4*b + 12244, -3*b + 5973 = 2*s. Does 14 divide -3 + ((-2)/6)/((-5)/s)?
True
Let p(y) = y**2 + 2*y + 3. Let j be p(-2). Suppose 66 = j*h - 105. Does 17 divide h?
False
Let q(k) = 36*k + 38*k - 5 - 61*k. Is q(2) a multiple of 5?
False
Let h(y) = y**3 - 18*y**2 - 32*y + 95. Is 17 a factor of h(20)?
True
Let d(i) be the first derivative of -4*i**3/3 + i**2/2 + 3. Let x be d(3). Let b = 7 - x. Is b a multiple of 10?
True
Let r(m) = m - 6. Let s = -28 - -39. Let z be r(s). Suppose 2*c - z*j = 42, -4*c - 2*j + 40 = -j. Is 11 a factor of c?
True
Let z = -559 + 760. Is z a multiple of 29?
False
Let i(w) = -67*w**2 + w - 2. Suppose 4*c + 4*z + 16 = 0, 3*z = -c + 6 - 20. Let u be i(c). Let f = u + 122. Is f a multiple of 18?
True
Suppose 10*b - 48 = 32. Is b a multiple of 4?
True
Let o = -129 + 1348. Is o a multiple of 45?
False
Is (38874/(-55))/((-4)/10) a multiple of 39?
False
Let g(w) = w - 7*w**2 - 2*w**2 + 11*w + 6 + 2*w**3. Is 24 a factor of g(6)?
False
Let x(r) = r**3 + 5*r**2 - 3*r + 2. Let k be x(-5). Is -1 + k + (-1 - -3) a multiple of 9?
True
Let z(j) = -j**2 - 9*j + 808. Let d be z(0). Suppose -3*i = -3 + 9, -d = -5*h - i. Is 54 a factor of h?
True
Let f be (40 - 19) + 6/(-2