e
Let p be 2 - -1 - (3 - 20). Let z(k) = 2*k - 29. Is 9 a factor of z(p)?
False
Suppose -9*v = -0*v - 1170. Let n = v - 72. Is 6 a factor of n?
False
Let a(g) = 230*g + 2. Let w be a(1). Suppose -4*l - 4 + w = 0. Does 19 divide l?
True
Suppose 12 = 3*k + 2*j, -2*j = 2*k - j - 8. Suppose -k*u + 37 + 27 = 0. Is 13 a factor of u?
False
Suppose -8*j + 256 = -2416. Suppose -5*p + 2850 - 785 = 0. Suppose 4*y = -3*f + p, 2*f = 4*y - j - 84. Is 26 a factor of y?
True
Let i(b) = -b**3 + 4*b**2 + 2*b - 5. Let y be i(4). Suppose 0 = -2*j + y*j + 2, -4*s - 3*j = 26. Does 15 divide 3 - (-10 - (-3 - s))?
True
Suppose -4*t + 4*z = -504, t - 382 = -2*t + 4*z. Let w = t - 195. Let p = 121 + w. Does 12 divide p?
True
Let t = 82 - 16. Is t a multiple of 3?
True
Let j be -4 - (-3 + 5) - 2*-1. Does 39 divide (-753)/j - (-24)/32?
False
Let k = 164 - 2. Does 27 divide k?
True
Suppose k + 3*p - 15 = 0, k - 60 = -3*k + 2*p. Suppose -4*r - r = -k. Suppose r = -f + 14. Does 11 divide f?
True
Let p be 4*(-2)/(-8) - -11. Does 6 divide (p/14)/(5/35)?
True
Suppose 5*z + 12 = 2*z - 3*u, 15 = -5*u. Is 11 a factor of (-3693)/(-27) - (z + (-21)/(-27))?
False
Suppose 3*v = -v - 300. Let i = 4 - v. Does 32 divide i?
False
Is 10 a factor of (3 - (9 - 5))*-240?
True
Let x be 0 + (1 - 4) + 4. Let o(h) = 61*h - 5. Is o(x) a multiple of 7?
True
Is 1*(-305)/(-20)*(2 - -18) a multiple of 16?
False
Let q = -103 - -2. Let x = q - -206. Is x a multiple of 16?
False
Suppose 92 + 36 = 8*b. Is 14 a factor of 5/(-40) + (-3)/b*-1094?
False
Let x = -355 - -594. Let q = x + -157. Does 6 divide q?
False
Suppose 5*v + 3*z - 1695 = 0, -2*v - 3*v + 1655 = -5*z. Suppose 4*n + 422 = 5*b, 6*b - 4*n - v = 2*b. Is 12 a factor of ((-2)/((-4)/b))/1?
False
Suppose -3*c - 2*f + 11213 = 0, -5*c = -f - 10772 - 7912. Is 12 a factor of c?
False
Let r(p) = 3 + 48*p**3 - 4*p + 0*p - 8 - 57*p**3. Is r(-2) a multiple of 8?
False
Let n(w) = 71*w + 1. Let z(h) = 3*h - 2. Suppose 2*b + 2 = 4. Let u be z(b). Is n(u) a multiple of 15?
False
Suppose 748*o = 747*o + 1558. Is 38 a factor of o?
True
Suppose -837 = -22*n + 19*n. Let s = n + -171. Suppose -3*x - x + s = 0. Is x a multiple of 9?
True
Let x be (-5)/2*(84/(-5) + -6). Suppose x = 3*j - 39. Does 16 divide j?
True
Suppose 4*g - w = 21, 2*g + 3*g - 5 = -3*w. Suppose g*a = 5*f + 430, -f + 0 = -2. Does 24 divide a?
False
Let b(t) = -10*t + 32. Is b(-39) a multiple of 5?
False
Let y(g) = 4*g**2 - 215*g + 15. Is 21 a factor of y(57)?
True
Suppose 3*s - 4 = a + 1, 5*a - 55 = -s. Is 4 a factor of 5/a - 49/(-2)?
False
Suppose 2*i + 0*i = 0. Suppose -5*s + s + 16 = i. Is 15 a factor of s/10 + (-1492)/(-20)?
True
Let n(j) = 14*j + 8. Let q be n(-14). Let f = -122 - q. Is f a multiple of 10?
False
Is 8 a factor of (4 + (-60)/28)*91?
False
Let j(y) = -y**2 + 10*y - 4. Let i(c) = -3*c - 20. Let r be i(-8). Is j(r) a multiple of 10?
True
Let c(s) = 5*s + 3. Let b be c(5). Let r = -13 + b. Suppose i = -0*v - 3*v + r, 3*v + 21 = 5*i. Is i a multiple of 5?
False
Let a be 4/16*5*(4 - 0). Let d = a + 32. Is 3 a factor of d?
False
Suppose -12*v - 2342 + 10406 = 0. Is v a multiple of 84?
True
Is ((-276)/18 + 2)/(3/(-81)) a multiple of 24?
True
Suppose 9878 = -41*y + 45261. Is 13 a factor of y?
False
Suppose -2*o + 142 = s - 3260, -5*o - s = -8502. Is o a multiple of 68?
True
Suppose 2*a - 4*a = 360. Let x = -61 - a. Is 48 a factor of x?
False
Suppose 0 = 2*j + 4, 5*d + 18*j - 13*j - 3950 = 0. Is d a multiple of 23?
False
Suppose 2*o + 0 + 2 = 0. Let w be -3 - (10 + -3)*o. Is 13 a factor of 35*-1*w/(-4)?
False
Let j(w) = 5*w**3 - 6*w**2 + 2*w - 42. Is 38 a factor of j(4)?
True
Is (-12)/(-20) + (-22385)/(-25) a multiple of 54?
False
Let k(t) = 28*t**3 - 2*t**2 + 4*t - 2. Let u(l) = l**2 - 5*l - 5. Let v be u(6). Is 7 a factor of k(v)?
True
Suppose 5*l - 10 = -5. Let q = l + 4. Suppose -30 = q*p - 8*p. Does 10 divide p?
True
Let v = 1680 + -1204. Does 7 divide v?
True
Let y(v) = v**3 - 5*v**2 - 5*v - 4. Let g be y(6). Suppose 0 = -2*u - 2*w, -3*u + 18 = -w - g. Suppose -4 = -u*h + 256. Is 26 a factor of h?
True
Suppose -320 = 6*d - 10*d. Is 4 a factor of d?
True
Suppose u + 5*s - 25 = 31, 0 = -3*u + s + 152. Let y = u + -3. Suppose -2*i = y - 216. Does 28 divide i?
True
Let c = -63 + 42. Let r be ((-35)/c)/((-2)/(-6)). Suppose r*l - 5 = 0, 3*w + 3*l - 22 = 59. Is 13 a factor of w?
True
Let b(q) = q**2 - 3*q + 2. Let k be b(-3). Suppose 3*s + s - k = 0. Suppose 3*n = -9, -5*y - s*n - 5 + 310 = 0. Does 29 divide y?
False
Let g(j) = 2*j**2 - 1 - 164*j - 3 + 147*j. Is g(14) a multiple of 10?
True
Suppose -6*b + 215 = -4*b - 5*o, 0 = -2*b - 2*o + 208. Does 21 divide b?
True
Let b(j) = -3*j + 15*j - 5*j. Let y(i) = -i. Let z be y(-3). Does 7 divide b(z)?
True
Suppose 0 = -23*j + 222 + 77. Is 13 a factor of j?
True
Does 32 divide (-25)/375 + (-78122)/(-30)?
False
Suppose r - 34*r = -3630. Does 11 divide r?
True
Let f(z) = z**3 - 26*z**2 + 41*z + 80. Is 12 a factor of f(25)?
True
Suppose 0 = 2*m - y + 70, -3*y = -5*m - 0*y - 174. Let g = -26 - m. Let b = g + 2. Does 10 divide b?
False
Let c(a) = -a**2 - 3*a - 1. Let g be c(-4). Let h(o) = o**2 + 4*o - 5. Let p be h(g). Suppose p = 8*t - 4*t + 5*k - 117, -2*t + 31 = -3*k. Is t a multiple of 5?
False
Suppose 0 = 2*f - 2 - 2. Suppose 3*w = f*w + 2. Suppose 0*y - w*y + 58 = 0. Does 10 divide y?
False
Let y(d) = -d**2 + 13*d + 21. Let b(m) = -m + 1. Let q(l) = -6*b(l) + y(l). Does 14 divide q(15)?
False
Let h = -23 + -17. Let n = -28 - h. Is (-76)/(-6) + 4/n a multiple of 5?
False
Suppose 12*k + 235 = 13*k + 3*p, -4*k + 5*p + 1008 = 0. Is k a multiple of 6?
False
Let v(j) = 219*j - 473. Does 4 divide v(3)?
True
Suppose 85 = -h + 2*h - 2*r, -6*h - r + 497 = 0. Is h even?
False
Let m(s) = 5*s**2 + 0*s**3 - 51 + 44 - 2*s**3 + 3*s**3 - 11*s. Is 5 a factor of m(-5)?
False
Let c(u) = 73*u**2 - 13*u + 36. Is 48 a factor of c(4)?
True
Let v(d) = -d**3 - 4*d**2 - 7*d + 10. Does 77 divide v(-7)?
False
Suppose -2*z = 4, -4*x - 2*z + 2 = -50. Let l be 4/(-5)*(5 + 0). Let j = x - l. Is j a multiple of 6?
True
Suppose 2*c - 5*c - 6 = 0, 0 = 2*k + 2*c - 142. Does 16 divide -4 + 3 + 4 + -4 + k?
False
Suppose -10 = -3*m - 4*k + 18, -16 = -5*m + k. Suppose -5*a - 22 = n - m*n, n - 2*a - 6 = 0. Is n a multiple of 2?
True
Does 4 divide (-135)/189 - 61/(-7)?
True
Suppose -z - 3*z = 0, -3*g + 12 = 3*z. Let i(b) = -b**3 + 4*b**2 + 4*b - 2. Is 14 a factor of i(g)?
True
Suppose 4*x + j = -104, 5*j + 25 = 5. Let n = -9 - x. Is 15 a factor of n?
False
Suppose -3*h + 2 = o + 1, 0 = -2*h - 5*o + 18. Is 1/(h*4/(-284)) a multiple of 29?
False
Let z(i) = 44*i**2 - i - 8. Is z(-4) a multiple of 25?
True
Let o(j) = 2*j**2 + 13*j + 25. Does 2 divide o(-6)?
False
Suppose 5*p = -2*q + 22 + 7, -2*q - 2*p = -20. Is 6 a factor of q?
False
Suppose -4*n + 165 = 3*i, -3*n + 4*n = -4*i + 220. Is i a multiple of 10?
False
Let o = 570 - 219. Does 4 divide o?
False
Suppose 1080 = 13*q - 1403. Does 4 divide q?
False
Let o = 1125 - 749. Let p = -196 + o. Is p a multiple of 35?
False
Let a = 60 - 55. Suppose 5*z + 0*z - 830 = 0. Suppose 4*d - a*f - z + 40 = 0, d + 4*f - 42 = 0. Is 7 a factor of d?
False
Is 23 a factor of (-3)/(((12 - 4)/(-184))/1)?
True
Let u(f) = -9*f + 6. Let d(i) = -i**2 - 7*i - 8. Let w be d(-7). Is u(w) a multiple of 11?
False
Suppose -743 = 19*s - 3175. Is 16 a factor of s?
True
Suppose -1187 = 25*j - 8337. Is j a multiple of 11?
True
Suppose 0 = 40*m - 42*m + 324. Is m a multiple of 54?
True
Let r be 3/1*-114*-2. Let o be 9/15 - r/(-10). Suppose -n = -2*n + b + o, -69 = -n + 3*b. Does 23 divide n?
True
Let r(d) = -d + 64. Let b = 15 + -15. Let q be r(b). Let v = q - 25. Is v a multiple of 19?
False
Let x(k) = 5*k**2 + 13*k - 82. Does 18 divide x(-13)?
True
Let b(g) = -54*g**3 + 2*g + 2. Suppose 0 = 6*o - o + 5. Does 9 divide b(o)?
True
Let a be (-8)/56 + 36/7. Let d(j) = j**3 + 9*j**2 + 3*j - 7. Let n be d(-5). Suppose a*l = n + 222. Is 15 a factor of l?
True
Suppose -26*j + 4170 = 4*j. Let l be ((-6)/(-4))/(1/2). Suppose l*y = 5*b - 167, -b - j = -6*b - 4*y. Does 31 divide b?
True
Let o(b) = b**2 + 4*b - 14. Let c be o(-7). Suppose -5*u + 845 = 2*i - c*i, -3*u + 5*i = -501. Is 43 a factor of u?
True
Suppose 2*i = -3*z + 11, 3*i - i = -4*z + 6. Suppose 0 = -v + 2*v - 37. Le