-62. Is 8 a factor of i?
True
Suppose 115*g - 105*g = 3870. Does 9 divide g?
True
Let c = 6479 + -4259. Does 60 divide c?
True
Let w(v) be the first derivative of v**3/3 + 7*v**2 + 18*v + 5. Let i be w(-13). Suppose 3*l = i*l - 150. Is l a multiple of 25?
True
Let g = 44 - 10. Suppose -5*s - 4*f = 3 - g, -21 = -3*s - 3*f. Suppose n + 3*b - 49 = 0, 2*n = -2*n + s*b + 151. Is 16 a factor of n?
False
Suppose 0 = -g - 4*m + 415, 1271 = 2*g + 5*m + 426. Is g a multiple of 25?
False
Is (6/(-9))/((-1)/2100) a multiple of 14?
True
Let v(y) = y**3 + 12*y**2 + 12*y + 16. Let s be v(-11). Suppose 5 = -s*o - 20. Let m = o - -16. Is m a multiple of 5?
False
Let p = 1478 + -1352. Is p a multiple of 21?
True
Suppose -3*k = -5*r - 217, 46 = -0*r - r - 2*k. Let y = 23 + r. Is (-469)/y - (-2)/(-6) a multiple of 5?
False
Let h = 81 + -17. Suppose -11*x + h = -13. Does 3 divide x?
False
Let w = 429 + -245. Is w a multiple of 23?
True
Let s be 10/((-2)/10 + (-88)/(-40)). Suppose -2*y = s*y - 546. Is y a multiple of 19?
False
Suppose -7 = -5*j - 57. Let r(l) = -2*l**2 + 6*l + 8. Let p be r(6). Let d = j - p. Is d a multiple of 18?
True
Let f = 14 - 12. Suppose -6*d = -3*u - d, -3*u = -f*d - 9. Suppose -29 = u*p - 129. Is p a multiple of 10?
True
Let r(a) = a + 6. Let o be r(-3). Suppose -u = o*u - i + 47, -5*u = i + 61. Does 3 divide (-42)/u + (-1)/2?
True
Let v(n) be the third derivative of -n**6/120 + n**5/10 - 5*n**4/24 + 5*n**3/6 - 2*n**2. Let d be v(5). Suppose 153 - 18 = d*c. Is c a multiple of 18?
False
Let o be 0 + 3*(-8)/(-6). Suppose i + 10 = 3*i + o*g, -4*i = 3*g - 35. Does 3 divide i?
False
Let p = -37 + -54. Let k = -190 - p. Let m = -32 - k. Does 16 divide m?
False
Suppose 0 = 5*q - p - 22313, -4*p - 781 - 12600 = -3*q. Is q a multiple of 20?
False
Suppose 0 = 2*h - 4, 4*y = -3*h + 4*h + 734. Is y a multiple of 23?
True
Suppose -3*d - 15 = 0, -3*d = 2*w + 2*w - 5. Suppose -60 = -w*p + 2*p. Does 4 divide p?
True
Suppose 8*g + 15 = 11*g. Suppose -c - 96 = -g*c. Is c a multiple of 6?
True
Let x = 306 - 211. Suppose 5*r = -3*i + 368, -r + x = 2*i - 141. Let m = -77 + i. Is 13 a factor of m?
True
Suppose x = -4*k - 5, -4*k - 23 = x - 6*x. Let i(q) = 12*q**2 + 5*q - 6. Does 16 divide i(x)?
False
Let r(b) = b. Let n be r(5). Suppose -5 - 15 = -n*z. Suppose -4*m - z*g + 204 = -0*g, 2*m - 3*g = 127. Is m a multiple of 13?
False
Let x = -2403 + 3321. Is x a multiple of 54?
True
Let b be (-1)/16*-2 + 124/32. Let j be 116*(-1 + 3 + -1). Suppose 0*a + j = b*a. Is 6 a factor of a?
False
Let a be 4 - (-5)/(25/1380). Suppose -l - 3*l = -5*u - 272, -3*u - a = -4*l. Does 12 divide l?
False
Suppose 0 = 4*l - 2*m - 3066, 4*l + 3*m - 603 - 2458 = 0. Is 12 a factor of l?
False
Let f = 194 + -138. Suppose 0 = 4*x - f - 100. Is x a multiple of 5?
False
Suppose -14*f + 12129 = -4965. Is 11 a factor of f?
True
Let j(s) = 40*s - 72*s + 40*s. Is j(1) a multiple of 8?
True
Let z(o) = -o**2 - 15*o. Let x = -27 + 13. Let a be z(x). Let l = 5 + a. Is 4 a factor of l?
False
Suppose -4*p = -6479 + 2467. Is 59 a factor of p?
True
Suppose -8 = -35*f + 34*f. Suppose 332 = f*r + 68. Is r a multiple of 33?
True
Let x(j) = j**2 + 4*j - 5. Let b be x(-6). Suppose -12 = -4*d, -2*s + 117 = 3*s + 4*d. Suppose -k + s + b = 0. Is 7 a factor of k?
True
Suppose -2*t = -t - 4. Let a(v) = 27*v - 1. Is a(t) a multiple of 23?
False
Let j(p) = -5 + 2*p**2 + 0 + 7*p - 2*p + 0. Does 21 divide j(-6)?
False
Suppose 5*k = -3*m, 0 = 3*m + 3*k - 2*k. Suppose -3*g + 9 + 39 = m. Suppose 4*s = -a + 6, a = 3*a + 4*s - g. Does 7 divide a?
False
Let t(q) = -q**3 + 5*q**2 - 41*q - 16. Is t(-6) a multiple of 18?
False
Let a = -29 + 33. Suppose -5*f = -r + 11, -a*f = -4*r + f + 74. Is r a multiple of 21?
True
Let m(u) = 10*u + 430. Does 21 divide m(22)?
False
Suppose -2*k - 2*r = -462, 2*k = k + r + 227. Suppose -n + m = -k, 0*n = -3*n - 2*m + 667. Suppose -n = -w - 2*w. Is w a multiple of 21?
False
Let g(x) = 165*x**2 + 3. Is 65 a factor of g(-3)?
False
Is (-4 - (-49)/14)*(-1364)/2 a multiple of 114?
False
Let y(h) = -h**2 + 4*h + 14. Let m be y(6). Suppose 11*b = m*b + 513. Does 9 divide b?
False
Suppose -3*w - 2862 = 15*s - 18*s, -4*s + 2*w = -3808. Is s a multiple of 25?
True
Let t = -8 - -12. Suppose 5*j - 2*y = 2*y + 108, t*y - 12 = 0. Is j a multiple of 2?
True
Is (-132)/12 - -14 - -2727 a multiple of 42?
True
Suppose 0 = -8*p + 3*p + 15. Let l(w) = 12*w**2 + 7. Is 35 a factor of l(p)?
False
Suppose -10 = -2*t, 0 = 10*z - 9*z - t - 421. Does 20 divide z?
False
Let f(r) = -r**2 - 5*r + 10. Let g be f(-6). Suppose -1 = p + 5*m, m + g*m = 5*p + 95. Let s = 54 + p. Does 38 divide s?
True
Suppose 10*x = -14*x + 1440. Is x a multiple of 12?
True
Suppose w + 2324 = 4*q - 2*w, 4*q + 4*w - 2296 = 0. Let t = q - 325. Is t a multiple of 45?
False
Let k(g) = -25*g + 34. Does 8 divide k(-8)?
False
Suppose h - 2*t - 58 = 0, 4*h - 9*h = -2*t - 322. Is 66 a factor of h?
True
Let h be -36*(-1 - 12/(-16)). Does 5 divide -5 + h - -1*5?
False
Let z(o) = -6*o - 4. Let x be z(-6). Let v = -12 + x. Is 5 a factor of v?
True
Let z be ((-4)/(36/159) + -1)*-3. Suppose 3*u + i = z, 2*i = 2 + 2. Is u a multiple of 18?
True
Let o = -188 - -186. Let y(t) = -t - 7. Let l be y(-5). Does 7 divide l - (o + -1) - -13?
True
Let d(l) = l**2 - 9*l - 7. Let r be d(7). Does 9 divide 14/3*(-162)/r?
True
Suppose -4*u - 3*j = -5262, 2*u - 908 = -5*j + 1730. Is u a multiple of 18?
True
Let z(w) = -w**2 + 26*w + 14. Let d be z(25). Suppose d = 2*s - 7. Is 4 a factor of s?
False
Suppose 2744 = 17*y + 32*y. Is 21 a factor of y?
False
Let h = 9 + -6. Suppose 0*s + h*s = 96. Is s a multiple of 32?
True
Let q be (-36)/(-12)*(-1)/(-3). Let u be (108/2)/(2 - q). Suppose u = 2*p - 0*p. Does 27 divide p?
True
Let g = -917 + 1829. Is 24 a factor of g?
True
Let p(t) = -t**2 + 3*t + 2. Let c(y) = y**2 - 2*y - 1. Let m(u) = -5*c(u) - 4*p(u). Let s be m(-2). Is (-78)/s + -3 - 0 a multiple of 23?
True
Let i be (4/(-7))/(2/(-7)). Let p(l) be the third derivative of l**5/15 - l**4/24 - l**3/3 - 3*l**2. Does 12 divide p(i)?
True
Suppose 54*p = p + 24645. Does 26 divide p?
False
Let i = -23 + 75. Let o be (-2)/3*(1 - i). Is 11 a factor of 1*(o/1 - 1)?
True
Suppose 9*s - 8*s = 0. Suppose -2*z - 3*q - 6 = 5, -4*z + 3*q - 13 = s. Is (-44)/(-3) + z/(-12) a multiple of 5?
True
Let x(k) = 130*k**2 + 29*k + 56. Is 74 a factor of x(-2)?
True
Let r = -391 + 649. Suppose -3*g = 3*s - 747, -s + r = -3*g + g. Is s a multiple of 18?
True
Let k = 208 + 482. Does 69 divide k?
True
Suppose 3*b = 2*z - b - 52, 5*z - 124 = 4*b. Does 6 divide z?
True
Suppose 4*y = -4*t, -4*t + 4*y = -7*t - 5. Suppose z - 190 = 3*w, -375 = -2*z - t*w - 17. Does 11 divide z?
False
Let z(w) = 2*w**2 + 15*w - 9. Suppose 0 = -4*f + 2 - 46. Does 15 divide z(f)?
False
Let h(x) = -31*x**3 + x**2 - 2*x - 2. Let v be h(-2). Suppose 3*c - 2*l = 152, l + v = 5*c - 3*l. Does 10 divide c?
True
Suppose 5*o - 29935 = 5*s, 4*o + 13*s - 23978 = 11*s. Is o a multiple of 14?
True
Let a(k) = k**3 + k. Let b be a(0). Suppose b = -3*x + 18 - 3. Is 2 a factor of x?
False
Let q(x) be the second derivative of -x**5/5 - x**3/2 - x**2 - x. Let w be q(-1). Suppose 4*r = w*p + 35, 5*p - p + 25 = 3*r. Is r a multiple of 3?
True
Let z = 689 - 607. Let b = 11 - 6. Let i = b + z. Is i a multiple of 29?
True
Let z = 9 - 9. Suppose z = -0*i + i - 72. Is 9 a factor of i?
True
Let z(a) = -a**3 + 7*a**2 - 8*a - 1. Let q be z(4). Let y = -4 - -4. Does 3 divide q - y*2/(-2)?
True
Let g(n) = n**3 + 16*n**2 - 19*n - 30. Is g(-16) a multiple of 67?
False
Let b(d) = d**2 + 5*d + 3. Let l be b(-7). Suppose -14*o - 57 = -l*o. Is 3 a factor of o?
False
Is -2 - (-816 + (5 - 1)) a multiple of 15?
True
Does 17 divide (-7)/(245/(-20)) - 1109/(-7)?
False
Suppose -2*n + 4 = -n. Suppose 2*g + g = -q + 7, 4*g + n*q = 12. Suppose -5*r = -g*y - 19 - 78, 2 = -2*y. Does 9 divide r?
False
Let u(l) = l**3 - 8*l**2 + 7*l + 14. Let n be u(7). Let i be (-1 - n)/(4/20). Let o = i + 106. Is 9 a factor of o?
False
Suppose -2*f + 157 = -3*f. Let n be 1*-3 - (f - 5). Suppose -n = -3*g + 3*y, -5*g + g - 2*y = -230. Is g a multiple of 28?
True
Let o = 26 - 21. Suppose t + 220 = o*t. Is t a multiple of 4?
False
Let x = 221 + 580. Does 89 divide x?
True
Let w = -56 - -140. Suppo