s u a multiple of 8?
False
Suppose 2*y = 19 - 9. Let i be -3*(-2 + y/5). Suppose 2*r = -3*z + 29, -4*r + i*r - 5 = -5*z. Is 5 a factor of r?
True
Suppose 18076 + 59824 = 25*y. Is 11 a factor of y?
False
Suppose -46*a + 50*a + 24 = 0. Is 29 - (1/a - 39/(-18)) a multiple of 13?
False
Let h = -136 + 153. Is h a multiple of 8?
False
Suppose -4820 = 10*r - 35510. Does 11 divide r?
True
Suppose -14073 = -26*g + 9067. Is 5 a factor of g?
True
Suppose -2*z = -4*z - 64. Is 11 a factor of 8/z + 706/8?
True
Let z(y) = 2*y**3 + 20*y**2 - 13*y - 20. Is 55 a factor of z(-10)?
True
Suppose -5 = -5*i - 5*d, 5*d + 0*d = -4*i + 9. Is 65 a factor of i*4/8 + 138*1?
False
Let c(l) = l**3 - 4*l**2 + l + 3. Let q(g) = -g - 11. Let b be q(-15). Let a be c(b). Suppose 4*k - 117 = 5*x, -3*k + x - 87 = -a*k. Is 22 a factor of k?
False
Suppose -27295 + 7968 = -7*t. Is t a multiple of 22?
False
Let t be 2*1/(-5)*10. Let v be (t/(-16))/(1/8). Does 17 divide 34/(3 - (v - 1))?
True
Let y = 355 + -265. Is 3 a factor of y?
True
Let a(t) = -8*t**3 + 9*t + 3*t**3 + 6 + 5*t**2 + 4*t**3. Does 9 divide a(6)?
False
Let g = 84 + 286. Is 74 a factor of g?
True
Let t(v) = 205*v + 119. Is t(3) a multiple of 12?
False
Let c be (-550)/(-4) - (-27)/(-18). Is c/2 - (0 - 3) a multiple of 18?
False
Suppose -58 + 562 = 8*x. Does 3 divide x?
True
Let w(m) = m**3 - 19*m**2 - 5*m + 38. Let i be w(19). Let u = -38 - i. Does 12 divide u?
False
Is 10 a factor of 5846/46 + 100/(-1150)?
False
Let c(h) = -10*h + 123. Let t be c(8). Let g be (2/(-3))/(4/(-66)). Let p = g + t. Is 18 a factor of p?
True
Let a = -10 + 14. Suppose a*v - 2*v = -42. Is (203/v)/(1/(-3)) a multiple of 11?
False
Suppose -12*f + 750 = -7*f. Suppose -4*s + f = s. Is 6 a factor of s?
True
Suppose w + 12 = -w. Let a(s) = s**3 + 6*s**2 - 3*s - 1. Does 4 divide a(w)?
False
Let q(n) = n + 0*n - 5 + n**3 - 5*n**2 + n. Let b be q(5). Is b*(3 + (-3 - -2)) a multiple of 4?
False
Suppose 15*j = -j + 5360. Is 10 a factor of j?
False
Suppose -5*d = -5*p - 255, 4*d = 13*p - 8*p + 206. Is d a multiple of 33?
False
Let k = 1009 + -965. Does 44 divide k?
True
Suppose 1219 = 13*s - 8375. Does 18 divide s?
True
Let b = -23 - -15. Let w(a) = a**3 + 9*a**2 - 7*a + 4. Does 14 divide w(b)?
False
Does 15 divide 30*19*28/4?
True
Suppose 0 = 26*p + 41*p - 112024. Is 44 a factor of p?
True
Let s be ((-21)/(-14))/(6/16). Suppose 19 = v - m, -4*v + 2*m = -s - 62. Does 14 divide v?
True
Let v(s) = -26*s**2 - s. Let d be v(-2). Is 25 a factor of -5 + 1 - d - 4?
False
Let x be ((-20)/(-40))/(2/(-36)). Does 28 divide 30/x*(-1224)/20?
False
Let v(o) = -o**3 - 6*o**2 - 2*o - 5. Let t be v(-6). Suppose -4*s = -t*s. Suppose s = p - 25 - 27. Is 14 a factor of p?
False
Let m(j) = -4*j - 12. Let q be m(-4). Suppose 0 = q*x - 50 + 2. Does 12 divide x?
True
Let x = 81 - 76. Is 16 a factor of x + (-5 - -1) + 111?
True
Let v(h) = 19*h**2 - 2*h - 1. Let r be 3/3*1*-16. Let u = 15 + r. Is v(u) a multiple of 10?
True
Let o(b) = -b**2 + 15*b - 4. Suppose -r - 28 = -3*r. Is 8 a factor of o(r)?
False
Suppose -a = -1, 2*h = -6*a + 2*a - 264. Let t = -76 - h. Does 26 divide t?
False
Suppose -4*h + p + 28 = -3*p, 3*h - p = 13. Suppose 0 = 2*x + 4*k + 2, 4*x - 2*k + 11 = -h*k. Let a(s) = -s**3 - 4*s**2 - 4*s. Is a(x) a multiple of 2?
False
Let s(a) = -29*a - 12. Does 3 divide s(-4)?
False
Let b = -18 + 4. Is (-4)/(-28) + (-124)/b a multiple of 7?
False
Is 15 a factor of (-6445)/(-15) + (-1 - (-8)/6)?
False
Suppose -6 = -5*k - 2*b, 0 = k + b + b + 2. Suppose -k*v = 3*v - 240. Does 16 divide v?
True
Suppose 339*u - 327*u = 2064. Is 2 a factor of u?
True
Let a = 2683 - 1130. Does 38 divide a?
False
Let c(a) = 53*a**2 + 80*a - 1. Does 14 divide c(3)?
False
Let d(s) = 23*s - 125. Is 17 a factor of d(20)?
False
Let a = -633 + 761. Does 4 divide a?
True
Suppose -14*w + 18*w - 1764 = -4*d, 0 = 2*d - 4*w - 864. Is d a multiple of 73?
True
Let i(k) = -127*k + 3. Let z be i(-1). Suppose -v + 2*l = -0*l - z, 5*v + 3*l = 611. Is 14 a factor of v?
False
Let c(t) = 33*t - 1. Let m(s) = -32*s + 1. Let u(r) = -7*c(r) - 6*m(r). Does 8 divide u(-1)?
True
Suppose 9 = -5*t + 24. Suppose w - 8 - 12 = -t*f, 0 = -5*f + 4*w + 5. Suppose -78 = -g - g + a, 197 = f*g - 3*a. Is 14 a factor of g?
False
Suppose 2*h + 703 = 2323. Is h a multiple of 18?
True
Suppose -93 = 4*k - 5. Does 11 divide k/(-3)*72/16?
True
Let n(a) = -a**3 + 13*a**2 - 7*a. Let r(h) = -h**3 - 9*h**2 + 11. Let i be r(-9). Is n(i) a multiple of 15?
True
Let k be (-473)/(1*(2 - 3)). Let t = -1089 + k. Is (t/6)/4*-3 a multiple of 21?
False
Let h(r) be the second derivative of r**3/2 - 15*r**2/2 - 11*r. Does 3 divide h(9)?
True
Let k(u) = u**2 - 9*u + 6. Let w be k(8). Is (-62)/w - 24/(-8) a multiple of 25?
False
Is 26 a factor of ((-2220)/45)/(2/(-42)) - -4?
True
Let z = -75 + 195. Is z a multiple of 10?
True
Let m be ((-11)/4 + -1)*-4. Suppose 0*s + m = 5*s. Suppose -65 = -s*j - g, 2*j - 9 - 25 = -3*g. Does 6 divide j?
False
Suppose -4*d - 5*t + 521 = -10*t, 125 = d + 4*t. Is 43 a factor of d?
True
Let y(s) = 34*s**2 - 26*s - 69. Is 27 a factor of y(-10)?
True
Let t(y) = -9*y**3 - y**2. Let c be t(1). Let a = c - -8. Does 4 divide (-2*2)/(-3 - a)?
True
Let g(d) = -549*d + 86. Is 12 a factor of g(-3)?
False
Let o = -123 - -126. Suppose 0*a - 8 = -2*a. Is 18 a factor of 56 + o/(-6)*a?
True
Let z = -48 + 53. Suppose 5*d - 430 = 2*r, -3*d + 0*d + z*r + 277 = 0. Is 12 a factor of d?
True
Let u(f) = -6*f**3 + 2*f**2 + 2. Let a be u(-2). Let m = a - 34. Is m a multiple of 12?
True
Let u = 7 + 59. Let m = -3 + 5. Suppose -4*v = -m*v - u. Is 8 a factor of v?
False
Let z = -144 - -248. Let g = z + -29. Is 15 a factor of g?
True
Suppose -6*c + 8 = -2*c. Suppose 3*n + 235 = 4*p, -c*p + 5*n + 63 = -p. Does 17 divide p?
False
Suppose -2*o - 3*o = -60. Let k be (-44)/(-6) + (-16)/o. Does 25 divide (10/k)/((-1)/(-15))?
True
Let q = 4 + -1. Suppose -q*d + d = -56. Is 12 a factor of d?
False
Let j = 1406 - 961. Is j a multiple of 69?
False
Suppose -2*k - 4 - 15 = -3*l, 0 = 5*k - 4*l + 58. Does 35 divide k/35 + (-2704)/(-10)?
False
Let v = -41 - -32. Let b = 73 + -25. Let m = b + v. Is 18 a factor of m?
False
Let j = -67 + 63. Let s(q) = -q**3 + 5*q**2 + 2*q - 12. Does 31 divide s(j)?
True
Suppose 3*o - 80 = -7*o. Is (-4 + o)*(-5)/(-4) even?
False
Does 11 divide (-8091)/62*(-4)/6?
False
Let o(d) = d + 3. Let s be o(0). Let x be (-4)/(-6) - (-19)/s. Is 8 a factor of (-1 - -4) + x/1?
False
Suppose 2*k + 16 = -5*u, 0 = -5*k + 3*u + 2*u + 30. Suppose 4*w = -2*b - 722, k*w + 95 = -5*b - 1670. Is (-4)/(-6)*b/(-6) a multiple of 16?
False
Suppose -w + 60 = -p, 6*p + 180 = 3*w + p. Is w a multiple of 15?
True
Suppose -4*y + 2*y + 577 = n, 4*n - 4*y - 2320 = 0. Does 8 divide n?
False
Suppose 2*f + 93 = 3*y - 464, 533 = 3*y + 4*f. Does 2 divide y?
False
Suppose 7*a - 9*a = 4*l - 90, 0 = l - 5*a - 17. Does 11 divide l?
True
Suppose 0 = 3*n - 5*n + 468. Is 9 a factor of n?
True
Suppose 5 + 13 = 2*y - z, 0 = -5*y + 5*z + 40. Let w be (-6)/y - (-762)/(-30). Let m = w + 30. Is m a multiple of 2?
True
Let d = -97 + 148. Is 5 a factor of d?
False
Let x = 106 + -83. Is x a multiple of 23?
True
Suppose 11*s = 5*s - 24. Let l(r) = 3*r - 4*r - 5*r + 0*r. Is l(s) a multiple of 12?
True
Suppose 0*t = o + 5*t - 4, -5*o + 3*t = -20. Let a = 0 + o. Suppose 6 = 3*s - q - 7, a*s + 5*q - 49 = 0. Is 3 a factor of s?
True
Let w(o) = o**2 + 9*o - 696. Is 49 a factor of w(39)?
True
Let x(u) = u. Let f be x(4). Suppose 5*r - 2*h - 211 = 2*h, f*r - 5*h - 167 = 0. Is 12 a factor of r?
False
Let l(c) = -7*c**3 + 4*c**2 - 3*c + 2. Suppose -5*v + 4*v + 2 = 0. Let a be l(v). Is 19 a factor of (7 - -2)/((-6)/a)?
False
Does 34 divide (11 + (-110)/11)*(588 - -1)?
False
Suppose 0*o = 4*o - 3*j - 902, -4*o = -2*j - 900. Let y = o - 156. Does 9 divide y?
False
Suppose -v = 2*d - 1798, 0 = -5*d - 29*v + 32*v + 4506. Is 9 a factor of d?
True
Let y(r) = -r**3 + 4*r**2 - 3*r. Let m be y(2). Suppose 0 = -g - 3, m*i - 80 = 2*g - 4*g. Suppose 0 = -x - o + i, -2*x - 3*o + 142 = 57. Is x a multiple of 11?
True
Let z = -102 - -1413. Is 23 a factor of z?
True
Suppose 24 = 7*o - 102. Let b = 6 - o. Does 4 divide (21/(-6) + 3)*b?
False
Let z(b) = 9*b**3 - 43*b**2 + b - 14. Is z(5) a multiple of 3?
False
Suppose -87 =