*v = -b*u + 210, 4*v - 121 = -4*u + 43. Suppose i = -i + u. Is 9 a factor of i?
False
Let i = -3 + 8. Suppose 4*g + 3*f - 31 = 18, 0 = g + i*f - 8. Let w = 28 - g. Is 12 a factor of w?
False
Let z(q) = q**3 + 5*q**2 - 5*q + 6. Let l be z(-6). Is 5 a factor of 17 - 1 - (-2 - l)?
False
Suppose -22 = 3*p - y - 170, -2*y + 4 = 0. Is 14 a factor of p?
False
Let c be (-1)/(-3) - (-4)/6. Let w(m) = -3 - c + m + 2 + 0. Is 4 a factor of w(6)?
True
Suppose 2*x = -x + 270. Is 30 a factor of x?
True
Does 3 divide 16/2 + (-16)/(-4)?
True
Let n(f) = f**3 + 17*f**2 - f - 6. Is n(-17) a multiple of 5?
False
Let l(s) = -9*s**3 - 3*s**2 - s - 1. Is 13 a factor of l(-2)?
False
Let x = 14 + 6. Suppose -5*m = -x - 10. Let q = m - -18. Does 16 divide q?
False
Suppose -r = 4*h + 12, 5*r + 2 - 14 = -2*h. Let q = h + 4. Let x(y) = -y**3 + y**2 + 19. Is 11 a factor of x(q)?
False
Let r = -23 + 38. Does 9 divide r - (2 + -1)*-3?
True
Suppose 2*z = 7*z. Suppose z = -5*n + 15, 20 = 4*i - 2*n + 6*n. Suppose -3 = -i*p + 17. Does 5 divide p?
True
Let s = 184 + -107. Does 11 divide s?
True
Let n be -12*1/4*-2. Suppose 3*a - 2*o - 5 = 0, -a + 3*o + 5 + n = 0. Let g = 5 + a. Is g a multiple of 2?
True
Suppose 5*t - 2*t = -3*o + 18, 3*o - 3*t = 36. Suppose -g + o = 1. Does 4 divide g?
True
Suppose -5*t = -9*t + 432. Does 18 divide t?
True
Suppose 3*g + 114 = 5*g. Is 22 a factor of g?
False
Suppose 4*d = -65 - 43. Let r = d + 46. Suppose 2*k = r + 17. Does 9 divide k?
True
Suppose 5*g = i + 475, 3*i + 378 = 5*g - 87. Is 12 a factor of g?
True
Let n(z) = -z**3 + z**2 + 2*z + 1. Let d be n(-1). Let p be (0 - 2/1)*d. Is p/5 + (-860)/(-25) a multiple of 17?
True
Suppose 4*z + 5*o - 4 = 7, -4*z + 3*o = -19. Suppose 5*f = z*h - 121, -h = -3*f - 32 - 0. Is h a multiple of 10?
False
Suppose 2*u = 4*u - 48. Does 8 divide u?
True
Suppose 7*m - 8 = 3*m. Suppose 0 = -5*l + m*t + 2, 3*t + 0*t - 10 = l. Suppose -l*u + 27 + 3 = 0. Is 7 a factor of u?
False
Let a = 12 - 22. Is 6 a factor of (-23)/(-2) + (-5)/a?
True
Let z(g) be the first derivative of 3*g - 11*g - 3*g**2 + 2*g**2 - 1. Is z(-8) a multiple of 5?
False
Let v(u) = u**2 - 10*u + 7. Let l be v(11). Does 4 divide (-60)/l*12/(-10)?
True
Suppose -3*q = -3*w + 3, w - 2*w + 9 = 3*q. Suppose 2*h - s - 53 = 0, -2*h + 5*s = w*h - 145. Is h a multiple of 12?
True
Suppose 4*a - 338 + 62 = 0. Is a a multiple of 14?
False
Let s = 6 + -1. Let h = -2 + 1. Does 9 divide h*(-5)/(s/26)?
False
Is 29 a factor of ((-11)/44)/(1/(-116))?
True
Is 9 a factor of 1*35 + (0 - 2)?
False
Let b(o) = 40*o + 5. Let j be b(6). Suppose f - 157 = -3*d - d, -4*f = 5*d - 584. Suppose 5*z - 5*q = j, 3*z + 6*q - 3*q - f = 0. Is z a multiple of 23?
False
Suppose -5*h = 286 - 36. Let f(m) = m**2 - 7*m + 12. Let v be f(12). Let o = h + v. Is 13 a factor of o?
False
Let f = -3 + 0. Is 5 a factor of (-2 - 10*-2) + f?
True
Let v(i) = -2*i**2 + 3*i**2 - 3 + 2 + 4. Let m(t) = -t + 4. Let y be m(0). Is v(y) a multiple of 7?
False
Let i(w) = w**2 + 3*w - 3. Suppose -5*r = b - 7*r + 5, 0 = b + r + 5. Let c be i(b). Let s(p) = 4*p - 2. Does 9 divide s(c)?
False
Let u(f) = 2*f**2 - 10*f + 12. Is 12 a factor of u(7)?
False
Let c = -38 - -53. Does 3 divide c?
True
Let g(i) = -45*i**3 - 2*i**2 + 1. Let u be g(1). Let t = -27 - u. Is t a multiple of 5?
False
Suppose 3*i + 3*k = 327, -57 = 4*i - 2*k - 523. Is 19 a factor of i?
True
Let t(w) = 15*w + 9. Is t(9) a multiple of 18?
True
Does 5 divide (44/(-20) - -4)*10?
False
Let x(r) = -3*r**3 - 1. Let q be x(-1). Suppose 24 - q = -2*u. Let i = -6 - u. Is 5 a factor of i?
True
Let o(w) = -5*w + 13. Let l be o(-13). Suppose -i + l = i. Does 9 divide i?
False
Let i(z) = -4*z**2. Let a be i(-1). Suppose -6*b + 140 = -b. Let q = b + a. Is q a multiple of 12?
True
Let n(s) = -4*s + 13 - s - 6. Does 15 divide n(-8)?
False
Let y(m) = 21*m**2 + m. Is y(1) a multiple of 22?
True
Let n(v) = -v**2 + 8*v. Let y be n(8). Suppose y = 2*q + 2*q - 20. Suppose -71 = -q*w + 119. Does 19 divide w?
True
Suppose -4*v + 189 = 5. Suppose -2*s - 5 = -3*h + 6, 0 = 3*h + 5*s - v. Suppose -h*y + 3*y = q - 45, -y - q = -12. Is 11 a factor of y?
True
Let p(m) = 2*m**3 - 3*m**3 + 4*m - 3*m**2 + 2 + 0*m**3. Let g be p(-4). Suppose -4*r + 28 = 4*k, 3 = -3*r + k + g*k. Does 2 divide r?
False
Let j be 1/5 - (-90)/50. Suppose -21 = -j*x + 3*n, x - n - 49 = -2*x. Does 18 divide x?
True
Let u(l) = 28*l**2 + l + 1. Is 7 a factor of u(-1)?
True
Let r(g) = -2*g**2 + 2*g + 3. Let s be r(-2). Let x be 2/s + (-335)/(-9). Suppose 0 = -4*k + 4*v + 64, 0 = -k - k - 3*v + x. Is 11 a factor of k?
False
Suppose 5*a - 17 = -0*b - 4*b, -6 = -2*a - 2*b. Let k = 31 + a. Is k a multiple of 10?
False
Let h(p) = 2*p**2 - 3*p + 4. Is h(2) even?
True
Let f be (-67 - 2 - 0) + 3. Let u = -12 - f. Is 27 a factor of u?
True
Let s(l) = -2*l + 15. Is s(-20) a multiple of 11?
True
Let d(p) = -p - 3. Let q be d(-5). Let s = 4 + -4. Is 5 - (2 - s - q) a multiple of 3?
False
Let c = -1 - -40. Is c a multiple of 13?
True
Let m(z) be the first derivative of z**6/360 - z**5/120 + z**4/12 - 2*z**3/3 - 2. Let v(w) be the third derivative of m(w). Is v(4) a multiple of 14?
True
Suppose 5*p = -589 - 471. Let a be (-10)/25 + p/(-5). Let x = -22 + a. Does 10 divide x?
True
Let b = 18 + -27. Let r = -29 + 8. Does 7 divide (-1 + 4)*r/b?
True
Suppose 36*p - 39*p = -264. Does 22 divide p?
True
Suppose 5*l + 2*k - 53 = 0, 5*l - k - 37 = k. Let r = -8 + l. Let x = 30 - r. Does 12 divide x?
False
Suppose 2 = -v, -5*x - 46 = -3*v - 272. Is x a multiple of 25?
False
Let y(c) = -7*c + 5. Is y(-7) a multiple of 9?
True
Suppose f = -0*l - 5*l + 129, 0 = 2*f + l - 213. Does 4 divide f?
True
Let g(h) = -28*h + 34. Does 43 divide g(-8)?
True
Is 32/28*21/(-9)*-3 a multiple of 2?
True
Let q be (-948)/(-11) - 2/11. Let k = q - 46. Is 20 a factor of k?
True
Is ((-6)/10)/(5/(-675)) a multiple of 9?
True
Let i(m) = -m**3 + 3*m**2 + 3*m - 3. Let r be i(3). Suppose -r*k + k + z + 182 = 0, -3*z = -3*k + 114. Is 13 a factor of k?
False
Let d(b) = b**2. Suppose 0*n - 25 = 5*n, n + 23 = -3*h. Is 12 a factor of d(h)?
True
Let p = -1 - -3. Suppose -24 = -5*n + n + p*a, -3 = n - 5*a. Is n even?
False
Suppose -165 = -2*q - c, -3 + 8 = -5*c. Is 21 a factor of q?
False
Let n(r) be the third derivative of -5*r**4/8 + r**3/3 + r**2. Suppose 8*b + 10 = 3*b. Is n(b) a multiple of 16?
True
Let m = 95 - 54. Is m a multiple of 13?
False
Suppose n + 99 = 2*o, 4*o - 110 - 100 = -2*n. Let y = o + -9. Is 16 a factor of y?
False
Let i(u) = u**2 - 9*u + 12. Let v be i(8). Suppose 6 = 7*b - v*b. Is b a multiple of 2?
True
Let z be (-397)/(-3) - (-22)/33. Let q = z - 95. Is q a multiple of 23?
False
Let b(y) = -y**3 + 8*y**2 - 9*y - 6. Let k be b(7). Let q = -6 - k. Suppose 0 = 2*x - d - 36 + q, 0 = -2*x - 5*d - 2. Is x a multiple of 9?
True
Let o be ((-28)/(-8))/(-7)*-102. Suppose -2*k - 9 = -o. Is 8 a factor of k?
False
Let d(i) = -3*i**3 + 2*i**2 + i. Let g be ((-6)/(-10))/(5/25). Let j be 2/g*-3 - 0. Does 13 divide d(j)?
False
Let g be -1 + -1 - (2 + -10). Let m be (-1)/(-3) - (-274)/g. Suppose 3*j + 4*w = 5*j - 28, -2*j = 5*w - m. Does 9 divide j?
True
Suppose 3*x - 5*i + 4*i - 7 = 0, -2*i + 14 = x. Let m = 2 + 0. Suppose -m*f - x = -18. Is f a multiple of 7?
True
Let o(q) = -q**3 - 4*q**2 + q. Let r be o(-4). Let k = r + 7. Is k a multiple of 3?
True
Suppose -10*q = -372 + 22. Is 34 a factor of q?
False
Let j(l) be the third derivative of 7*l**5/30 + l**4/24 + l**3/3 + 2*l**2. Is 3 a factor of j(-1)?
True
Suppose 0 = -g + 4*g + 9, -g = -3*j + 60. Suppose -5*t = j - 109. Let q = t - -4. Is q a multiple of 11?
True
Let o = -16 - -46. Is 5 a factor of o?
True
Let j(b) = -b**3 + 3*b + 3. Let z be j(-2). Let d(l) be the third derivative of l**4/3 + l**3/3 - 2*l**2. Is 14 a factor of d(z)?
True
Does 17 divide (-3)/(-24) + (-6111)/(-72)?
True
Suppose 3*l = 4*u - 2*l - 351, -15 = 5*l. Is u a multiple of 14?
True
Suppose 23*l = 1246 - 211. Is l even?
False
Let i be (8/(-6))/((-4)/(-18)). Let t = i + 9. Suppose 59 = 4*k + l, -t*k + 3*l + 46 = 2*l. Is 12 a factor of k?
False
Let f(s) = -3*s - 9. Let x(u) = 36*u + 27. Let q(o) = -5*o - 4. Let z(h) = -15*q(h) - 2*x(h). Let c be z(-4). Is f(c) a multiple of 3?
True
Let g be (-1)/(-2 + (-540)/(-268)). Let w = g + 113. I