 be w(-19). Suppose 1 - i = -5*b. Does 9 divide b?
False
Suppose 3*o - 194 = 73. Let q = 172 - o. Is 19 a factor of q?
False
Suppose -1020 = -5*q - 2*x, -2*q - x - 109 = -517. Suppose 2*s = 6*s - q. Is 17 a factor of s?
True
Let s be -3 - ((-1)/(-1) + -20). Suppose -n = -5*c + 20, n - 5*c + s = -c. Let y(h) = -2*h + 14. Is y(n) a multiple of 5?
False
Suppose -164 = 3*s + 1. Is (4 + 60/(-25))/((-2)/s) a multiple of 11?
True
Let g(p) be the third derivative of -p**5/60 - 7*p**4/12 - 3*p**3/2 + 3*p**2 + 30*p. Let t = 6 - 14. Is 13 a factor of g(t)?
True
Suppose 47*b = 42*b - 20. Is (-81)/(-12) - (b + (-15)/(-4)) even?
False
Suppose -2*a + 5*a = -12. Let z = a + 4. Suppose z*j = 2*j - 86. Is 12 a factor of j?
False
Suppose 0 = 37*v - 41*v + 872. Let d = v - 113. Is 15 a factor of d?
True
Suppose -5*z - 140 = -3*r, -1 = 2*r - 4*z - 97. Is r a multiple of 5?
True
Suppose 14*y - 8 = 10*y. Suppose -y*z + 182 = 2*n - 6*z, 0 = -n - z + 82. Does 44 divide n?
False
Suppose -756 = 3*p - 17*p. Let k = p + -44. Is 6 a factor of k?
False
Suppose 0 = -u - 4*u + 330. Suppose -4*s = -10*s + u. Does 3 divide s?
False
Let r be (-105)/9 - 1/3. Does 46 divide (52/r - -4)/(2/(-276))?
True
Let d(z) = 3*z**3 + 17*z**2 + 13*z - 33. Let f be d(-12). Is 37 a factor of (2/4 - 1) + f/(-18)?
False
Is (-690)/(-2 - 0/5) a multiple of 29?
False
Suppose -4*s - 184 = -916. Does 7 divide s?
False
Let g(h) = -h**3 + 2*h**2 + h - 1. Let w be g(2). Let s be (-3 + 2)*(-19)/w. Let n = s + -7. Is 9 a factor of n?
False
Suppose 13*d - 224 - 348 = 0. Is 4 a factor of d?
True
Suppose -1880 = 94*l - 99*l. Is 27 a factor of l?
False
Suppose t + 26 - 2 = 5*c, 0 = 2*c + 3*t - 13. Is c even?
False
Let c = 100 + 17. Suppose 13*z - 78 = c. Is 8 a factor of z?
False
Let t be 1366/4 - 1/(-2). Suppose 3*c + t = 3*v - v, -c - 4 = 0. Suppose 11*d + v = 14*d. Is 11 a factor of d?
True
Suppose 599 = -41*h + 9373. Is 2 a factor of h?
True
Let x(a) = 3*a - 3. Let m be x(11). Let i = -12 + m. Is i a multiple of 18?
True
Suppose 3*p + 2459 = 3*j - 73, -3*p - 12 = 0. Is 60 a factor of j?
True
Is 17 a factor of (4 - -30)*(-522)/(-36)?
True
Let u be (11/66)/(2/12). Let l = u + 19. Is l a multiple of 10?
True
Suppose 25*r - 2779 = 896. Is 21 a factor of r?
True
Let j(u) = u + 3. Let r be j(-3). Let w(b) = b + 21. Let m be w(r). Does 17 divide (-7)/m + 52/3?
True
Let a be (6/(-2))/(-6)*46. Let v = a - 21. Suppose 18 + 26 = v*i. Does 9 divide i?
False
Is (18/12 + (-10)/12)*1320 a multiple of 50?
False
Suppose 0 = 4*k - 9*k + 45. Suppose -5*v = -8*v + k. Is 3 a factor of v?
True
Suppose 14*z - 19*z + 3949 = 3*l, 3*l - 5*z = 3929. Is l a multiple of 101?
True
Let g(a) = 41*a**2 - 4*a + 4. Does 10 divide g(-2)?
False
Suppose 2*k - 43 = -2*m + 51, 5*m = 2*k - 73. Let w = k - 25. Let x = w - 1. Does 18 divide x?
True
Let l = 209 + -138. Suppose -249 = -8*x + l. Is x a multiple of 11?
False
Let i(k) = 8*k + 20. Let u be i(-2). Suppose -12*a = u*a - 1136. Is 12 a factor of a?
False
Let i = -3914 - -7242. Is i a multiple of 13?
True
Let p = -2114 - -1440. Let o = p + 999. Suppose -y = 4*y - o. Does 21 divide y?
False
Suppose 0 = 5*p + 5*f - 1675, -344 = -p + 5*f - 3*f. Let x = -225 + p. Does 25 divide x?
False
Let s = -377 + 842. Does 15 divide s?
True
Suppose 57*l = 55*l + 704. Suppose 29*i = 31*i - l. Is i a multiple of 22?
True
Let g = -52 - -860. Is g a multiple of 122?
False
Let b(o) = -o - 5. Let q be b(-9). Suppose q*d = r + 2*r - 236, -428 = -5*r - 2*d. Suppose -3*w + r = w. Is w a multiple of 7?
True
Suppose 2*a - 226 = -5*l, 4*l + 3*a + 2*a = 191. Let q = -26 + l. Is 6 a factor of q?
True
Let d = 268 + -454. Let b = d - -333. Is 13 a factor of b?
False
Suppose 11849 + 9571 = 21*w. Is w a multiple of 15?
True
Suppose -19*n + 20*n - 4 = 0. Suppose r - 16 = -2*a + 8, -n*r = -5*a - 57. Does 9 divide r?
True
Let o be 33 - (2 + 0) - -4. Suppose -2*n = -3*a + 123 - o, 3*n = -a + 22. Is a a multiple of 14?
True
Let v = -32 + 16. Let c be v/24 - (-10)/(-3). Let k = 66 + c. Is 31 a factor of k?
True
Let x(o) = 15*o + 41. Let r(p) = p + 1. Let k(q) = 6*r(q) - x(q). Does 20 divide k(-15)?
True
Is 14 a factor of (-88929)/(-90) + 3/(-30)?
False
Is (-40)/(-48)*4*96/5 a multiple of 3?
False
Let v be (-30)/((4/2)/(-1)) + 1. Is 25 + (v/4 - 0/(-2)) a multiple of 5?
False
Let c(g) = 2*g**3 - 46*g**2 + 85*g + 29. Is 20 a factor of c(21)?
False
Suppose -35 = -5*n - 5*i, n - 1 + 0 = i. Suppose 3*v - 161 = -5*o, -n*o = -v + 27 + 21. Is v a multiple of 13?
True
Let h(q) = -q**3 + 3*q**2 + 3*q + 6. Suppose l = -3*l + 16. Let o be h(l). Suppose 132 = 3*c + 3*t, -5*c + 199 - 7 = -o*t. Is c a multiple of 20?
True
Suppose 0*a + 4*a = 20. Suppose 0 = -o + 2, a*m = o + 3*o + 757. Suppose 3*n = 4*p - m, 3 = -2*n - 3. Does 12 divide p?
True
Let p = -18 + 2. Suppose 2*s - 5*c - 9 - 54 = 0, c - 93 = -4*s. Let t = s + p. Is t a multiple of 3?
False
Let o = -72 + 77. Suppose 3*d - 1376 = -o*d. Does 43 divide d?
True
Let b(g) = -g**2 + 16*g - 1. Let d be b(6). Let m = 98 - d. Is m a multiple of 15?
False
Let b = -2 - -5. Let x(v) = -v**3 - 9*v**2 + 3*v + 1. Let l(f) = -f**3 - 8*f**2 + 3*f + 2. Let y(d) = b*l(d) - 2*x(d). Is y(-7) a multiple of 8?
True
Let f = -167 - -463. Is 37 a factor of f?
True
Does 10 divide 2/9 - 718/(-9)?
True
Is 13 a factor of (-7)/(-21)*(11537 - -10)?
False
Let s(x) = -x + 1. Let k be s(4). Let a be -3 - (-4 + 6 + 10). Does 7 divide k*(a/9 - 3)?
True
Suppose 14261 + 5419 = 16*i. Is 35 a factor of i?
False
Let d = -471 - -1167. Does 87 divide d?
True
Let a(j) = 26*j**2 + 3*j + 4. Let c be a(-2). Let f(z) = -14*z + 3. Let b be f(4). Let p = c + b. Is 18 a factor of p?
False
Suppose -2*b + 133 - 21 = 0. Suppose 0*k - 2*k - 42 = -3*z, 0 = 4*z - 3*k - b. Does 7 divide z?
True
Suppose 5*k = 4*j - 9, -3*j = k - 4*j + 2. Is (67 - 4) + -3 + k a multiple of 13?
False
Let c(q) = -8*q**3 - q**2 - q. Let p be c(-1). Let x(n) = n**3 - 6*n**2 - 8*n + 4. Is 23 a factor of x(p)?
False
Suppose -5*x + 2*l - 42 = -14, 4*x - 3*l = -21. Let c be x/(-15)*-1*10. Let g = 17 - c. Is 10 a factor of g?
False
Let w(k) = -k**2 - 2*k + 180. Is w(0) a multiple of 18?
True
Let n(i) = -3*i**3 + 7*i**2 + 5. Let a(c) = -5*c**3 + 14*c**2 + c + 10. Let k(l) = -6*a(l) + 11*n(l). Does 42 divide k(-5)?
False
Does 3 divide 313 + 0/(6 - 21/3)?
False
Suppose 0*f - 5*f + 5*t = -50, -2*t = -3*f + 29. Let d be (-90)/(-60) - 66/4. Is 4 a factor of 3/f + (-325)/d?
False
Let z = -2 - 0. Let y be (1 + z)/(6/18). Is (y/(-3) - -58) + 0 a multiple of 17?
False
Suppose 59 = -6*a + 5. Let q be 50/14 - a/21. Suppose 2*c - 2*y = q*c - 248, -2*c + 2*y = -248. Does 31 divide c?
True
Suppose x = -8*x + 1044. Is 3 a factor of x?
False
Suppose 5*v - 3530 = n, 0 = v + 2*n - 344 - 351. Is v a multiple of 31?
False
Let g(q) = -3*q**3 - 2*q - 1. Let w be g(-1). Suppose 3*j - 358 = 4*z - 0*z, 0 = -w*j - 3*z + 494. Is 7 a factor of j?
False
Let u be 1/1*(0 + 67). Let p = 115 - u. Is 39 a factor of p?
False
Let b be (2/(-5))/(2/90). Let m = 10 - b. Is ((-18)/4)/((-3)/m) a multiple of 24?
False
Let c(s) = -47*s**3 - 6*s**2 - 8*s - 8. Is c(-2) a multiple of 5?
True
Suppose -6*c = -8103 + 1191. Is c a multiple of 13?
False
Suppose t - 39 = 206. Suppose -2*a + 3*a - 49 = -2*k, 5*k - t = -5*a. Is a a multiple of 14?
False
Let r be (0/1)/(1 - 0). Suppose -j + 3*j - 154 = 2*m, r = -3*j - 2*m + 211. Is j a multiple of 14?
False
Suppose -4 = 4*d - 16. Suppose 35 - 176 = -d*b. Is 6 a factor of b?
False
Let z(v) = 2*v**2 + 23*v - 19. Does 14 divide z(-19)?
True
Suppose -2145*f = -2140*f - 5375. Is 25 a factor of f?
True
Let z(h) = -h**3 - 10*h**2 + 7*h - 8. Suppose 17 = -3*r - 16. Is z(r) a multiple of 12?
True
Suppose 95 = 4*x + 5*k, k + 18 = 2*x - 19. Let q(s) = -22*s**3 + s**2 + 3*s + 1. Let t be q(-2). Suppose 5*v = x + t. Is 11 a factor of v?
False
Suppose -3*l + 1 = -2*o, 2*l - 7 = -2*o - 3*l. Is 3 a factor of 602/35 - o/5?
False
Let h be 18/(-8) - 5*5/(-100). Let b = h - -86. Is 4 a factor of b?
True
Let c = -13 + 7. Let s = c - 21. Let b = s - -32. Is b a multiple of 5?
True
Let s be 26/91 - (-19)/7*1. Suppose 0 = -s*l - 3 - 6, -4*l = -3*t + 156. Is 6 a factor of t?
True
Suppose -3*i - s = -11, 2*i - 3*i - 4*s = -22. Is 29 a factor of 1 + i + 446/2 + -3?
False
Let u(i) = -2*i**3 - 5*i**2 - 2