Let r be j(-7). Suppose 0 = -2*i - 4*v - 234, i + 498 = -3*i - r*v. Let l = -73 - i. Is 3 a factor of l?
True
Let v be 0*(2 + -3)*(-5)/(-5). Suppose -4*n - 308 = -4*i, v = -3*n + n + 5*i - 160. Is 24 a factor of 5*(-5)/n*282?
False
Let z = 1049 - -7681. Is z a multiple of 45?
True
Suppose 4*c = -2*b - c - 130, 0 = 2*c + 4. Let l = 120 - b. Is 30 a factor of l?
True
Let p(q) = 714*q - 884. Does 8 divide p(10)?
True
Let f = 3737 + -2161. Is f a multiple of 20?
False
Suppose 26*s = -3*z + 24*s + 1924, -3*z - 3*s = -1926. Suppose 0 = -2*i - 3*f + z, 3*i - 983 = 3*f - 23. Is i a multiple of 8?
True
Suppose 9*q = 26 + 73. Suppose 0 = 2*m - 2*i - 214, q*m - 550 = 6*m + 2*i. Is 7 a factor of m?
True
Let o(s) = -324*s - 3618. Is o(-24) a multiple of 9?
True
Suppose -j = 13 - 18, 0 = -o + 3*j - 13. Suppose -u + 16 = -2*t, -o*u + u - 2*t = -32. Is u a multiple of 12?
True
Let t = -4420 + 8558. Is 36 a factor of t?
False
Let x be (-3)/6 + 1 + 2242/(-4). Let i = -275 - x. Suppose 0 = 6*n - n - i. Is n a multiple of 19?
True
Suppose 11 = -2*n + 9. Let c be (1 + (n - -1))/((-6)/(-84)). Suppose -y - c = -2*a + y, 9 = a - 3*y. Does 6 divide a?
True
Let p(n) = -244*n - 1361. Does 13 divide p(-10)?
True
Let r = 7 - -78. Suppose -4*l + 79 = -r. Suppose l = 3*s - 49. Is 20 a factor of s?
False
Let w(y) = -y**3 - 9*y**2 - 3*y + 2. Let n be -7 - (-3)/6*-8. Let h be w(n). Suppose -4*i + 3*x + h = 0, 3*x = -3*i + x + 195. Does 26 divide i?
False
Suppose 57*h + 192059 = -83*h + 543179. Does 2 divide h?
True
Let f(a) = 30*a**2 - a + 2. Let r be ((-1)/(-2))/((-13)/(-26)). Let n be f(r). Let b = 2 + n. Is b a multiple of 11?
True
Let x(g) = 0*g**2 - 24 + 7*g**2 - 3*g + 43 - 16. Let b(s) = -4*s + 38. Let j be b(9). Does 20 divide x(j)?
False
Suppose r = -0*r + d + 7, 0 = 4*d + 8. Suppose -20*h + 795 = -r*h. Let l = h - 34. Is l a multiple of 9?
False
Let i be (-4)/8 + ((-1150)/4 - 2). Let a = 690 + i. Is a a multiple of 20?
True
Let r(j) = -4*j**3 - 10*j**2 - 21*j + 8. Let b(u) = -3*u**3 - 11*u**2 - 22*u + 9. Let f(n) = -5*b(n) + 4*r(n). Does 39 divide f(13)?
True
Let k(w) = 57*w - 847. Does 2 divide k(16)?
False
Let u = 22452 - 17863. Is 13 a factor of u?
True
Does 6 divide (-1996)/12*-11 - (9/(-27))/1?
True
Suppose 0*b = -14*b. Suppose -6 = -3*a, -5*h + h - 4*a + 1688 = b. Is h a multiple of 42?
True
Let w = 63987 - 37629. Does 23 divide w?
True
Let b(c) be the second derivative of -c**4/24 + 19*c**3/3 + 35*c**2/2 - 43*c. Let w(q) be the first derivative of b(q). Is 6 a factor of w(7)?
False
Suppose 12*p = 13*p - 10. Let w(t) = -2*t + 23. Let j be w(p). Suppose 2*i = j*z - 113, 5*z + i - 177 - 7 = 0. Is 11 a factor of z?
False
Let b(z) = 23*z + 2. Let h be b(2). Let c = h + -46. Suppose -c*a + 118 = -0*a. Is a a multiple of 9?
False
Let y(m) = m**3 + 5*m**2 + 4*m - 1. Let i = 6 + -8. Let q be y(i). Suppose 0 = 2*j - q*d - 144, 3*d = -5*j + 179 + 160. Is 23 a factor of j?
True
Suppose 151*l - 234306 = 2115943 + 337551. Does 25 divide l?
True
Is 5280 - (-9 - (-3 - -6)) a multiple of 54?
True
Let m(n) = 283*n**2 - 26*n - 26. Is m(-1) a multiple of 33?
False
Let o = 712 + -716. Is 16 a factor of o + (7 - 4) - -337?
True
Let c be -4*(8/4)/(-1). Let x be (-45)/(-12) + (-6)/c. Suppose 47 = x*s + l, -4*s + 72 = 4*l - 5*l. Is 3 a factor of s?
False
Let o(h) = -68*h**2 + 2014*h + 14. Is 23 a factor of o(27)?
False
Let q(h) = h**3 - 2*h**2 + h - 1. Let b be q(0). Let l be (0 + -1 + b)*(-9)/6. Suppose -86 = l*p - 5*p. Is 8 a factor of p?
False
Suppose 2*g - 16 = -4*c, -3*g = -4*c - 7*g + 16. Suppose 0 = 2*r - c*q - 17 - 133, 0 = -5*q. Is r a multiple of 5?
True
Let f(j) = -j**2. Let u(q) = 8*q**2 - 7*q**2 + 3*q**2 - 5*q**2. Let h(b) = f(b) - 3*u(b). Is h(5) a multiple of 10?
True
Let o = -32 + 41. Is (-70 - -3)*(o - 10) even?
False
Let d(l) = 80 - l + 10*l - 29. Is d(7) a multiple of 19?
True
Suppose 2*j - 61 = 4*o + 49, -3*o - 83 = -j. Let f = 94 + o. Is f a multiple of 9?
False
Suppose -3*r + 36*y = 32*y - 66728, 3*r - 6*y - 66744 = 0. Is r a multiple of 124?
False
Suppose 3*z = 3*v + 168, -7*v = 4*z - 4*v - 189. Let i = z - -63. Is 9 a factor of i?
False
Let p(w) = 7 + 2 - w**2 + 4*w + 4*w - 3. Let z = 70 + -62. Is p(z) a multiple of 5?
False
Let s(w) = 5*w**3 + 5*w**2 + 4*w + 5. Suppose 0 = 3*g - 5*t - 15, -2*t = -2*g - 0*t + 10. Is 47 a factor of s(g)?
False
Let f = 81 + -58. Does 23 divide f*3*(16 + -11)?
True
Let q(v) = -31 - v + 61 - 2*v**2 - 24. Let z be q(2). Does 16 divide (59*(2 + z))/(-2)*1?
False
Let x = -350 + 385. Let d = 167 + x. Is d a multiple of 10?
False
Let d(r) = -r**2 - 3*r + 16. Let h be d(-11). Let g be 54/h - (-3)/8*2. Suppose -5*i + j + 474 = 0, 2*i + 4*j - 81 - 91 = g. Does 12 divide i?
False
Let k = -58 - -61. Suppose k*x + 5 = -z + 20, -4*x = -z + 43. Does 4 divide -2*5/(-30)*z?
False
Let o = -56 + 113. Does 19 divide o/190 - 7401/(-30)?
True
Let d(l) = -330*l + 2108. Does 34 divide d(-17)?
True
Let g(d) = -47*d**3 - 4*d**2 - 10*d - 19. Is g(-2) a multiple of 84?
False
Let w be 1/((-12)/16 + 1). Suppose 283 = -w*v - 69. Does 12 divide -8 + 8 - (v - 2)?
False
Suppose 16 = 4*v + q, -5 = -5*v - q + 15. Suppose -u + v*x + 66 = 0, -6*u + u = 4*x - 330. Is u*(-9)/((-27)/6) a multiple of 7?
False
Is -29658*(-40)/(-240)*1/(-1)*1 a multiple of 19?
False
Let o(a) = 562*a + 2109. Is o(0) a multiple of 111?
True
Suppose 0 = 10*w - 17535 - 28525. Is 14 a factor of w?
True
Let w = -912 + 2199. Is w a multiple of 143?
True
Let j(a) = -a + 17. Let y be j(-6). Suppose 5*r = -8 + y. Suppose r*p = -2 + 17. Is p even?
False
Suppose 154 = -o + 4*p, -5*p + 9 = -1. Let x be 8/(-56) - o/(-7). Is 8 a factor of (14/x)/(1/(-18))?
False
Suppose -26*y = -75*y + 36162. Is y a multiple of 2?
True
Let z(w) = w**3 - 5*w**2 + 2*w + 4. Let f be z(3). Let k be 3/4 + -1 + (-306)/f. Suppose -y + k = -67. Does 21 divide y?
True
Let l(v) = 99*v + 26. Let q(m) = 2*m + 17. Let a be q(-7). Is l(a) a multiple of 19?
True
Suppose 3*k + 6 = 27. Let u be 4/k - 90/(-63). Suppose 139 = u*o - 67. Does 14 divide o?
False
Suppose 5*o - 115 = -3*s, 4*o - 92 = -0*o - 2*s. Suppose 0 = -2*g + 9 - 1, 5*g = -r + o. Suppose 0*t = r*t - 144. Is t a multiple of 16?
True
Suppose 0 = 19*o - 20*o + 14. Suppose 0 = 2*r - 22 + o. Is r a multiple of 3?
False
Let j be -9 - (-5 + 1) - (0 - -85). Is (j/(-20))/(1/60) a multiple of 90?
True
Suppose -3*f = 2*u - 74 - 283, 5*f = 4*u - 703. Suppose 178*d - u*d - 357 = 0. Is d a multiple of 17?
True
Let t be (1 - 2)/(17/425). Is 11 a factor of -1 - ((t - 4) + -5)?
True
Let d(s) = -s**3 - 10*s**2 - 8*s - 73. Let x be d(-10). Let t(i) = i**3 - 5*i**2 + 11*i + 15. Is 10 a factor of t(x)?
True
Let v(t) = t**3 - 17*t**2 + 7*t + 1. Let j = 257 - 240. Does 8 divide v(j)?
True
Suppose 0 = -17*b + 12*b + 30. Let m(h) = 2*h**3 - 13*h**2 + 2*h + 58. Is m(b) even?
True
Let h = 5815 - 1231. Is h a multiple of 4?
True
Suppose -5*c + 2*d + 2*d + 15 = 0, 0 = -3*d. Suppose 0*k - 4*z = -5*k + 252, -201 = -4*k + c*z. Is k a multiple of 8?
True
Suppose 185*i - 186*i = -3. Suppose 14*u - 114 = 13*u + 2*d, -3*d + 297 = i*u. Is 13 a factor of u?
True
Let t(n) = 20*n**2 + 2*n. Let g be -2*(-10)/4*(-42)/(-70). Suppose k - 4*p = -k + 16, -g*k + 4*p = -14. Does 18 divide t(k)?
False
Suppose 0 = 3*h - h - 34. Let v = 16 - h. Is (186/(-24) - -6)*(-3 + v) even?
False
Let k(h) = -h**3 + 2*h**2 + h + 1. Let q be k(2). Suppose 5*s - 985 = g, 0*s + q*g - 769 = -4*s. Suppose 3*d - s = d. Is 28 a factor of d?
False
Let p be (0 - 19*1)/1. Suppose 31*c - 1934 + 259 = -32. Let n = c - p. Is n a multiple of 4?
True
Is (-70)/56*-2 + (-8931)/(-2) a multiple of 120?
False
Is (-91)/637 + 16354/14 a multiple of 2?
True
Suppose -6*f = -202 - 434. Is (-107 + f)*(784/(-2) - -1) a multiple of 11?
False
Suppose 0 = -7*k - 390 + 19. Let g = 91 - k. Does 12 divide g?
True
Is 13 a factor of (-13986)/(-315)*1460/6?
False
Is 4 a factor of (3064/(-3))/(20/24 + 51/(-34))?
True
Let y(h) = -h**2 + 3*h + 249. Let t be y(0). Suppose -354 = -3*d + t. Is 13 a factor of d?
False
Let r be ((-4944)/(-18))/4 - 1/(-3). Suppose w + 2*d - 4*d = r, 0 = 5*w + 3*d - 410. Does 3 divide w?
False
Suppose 5*l + 10*m - 9*m - 36327 = 0, 14522 = 2*l - 4*m. Is l a multiple of 92?
False
Let q(v) = -v**3 - 2*v**2 + v + 4. Let c be q(-3). Let k be (-2284