 = 3*a + 7. Let z(m) = m + 1. Let u(j) = -b(j) + z(j). Let p be u(-5). Suppose 8 = -p*l, -s - 4 = 5*l - l. Does 2 divide s?
True
Does 20 divide (-108)/14*(-28)/3?
False
Is 34 a factor of 4/(-18) - (-4600)/45?
True
Let r(j) = -j + 8. Let m = 10 - 3. Let l be r(m). Is 12 a factor of ((-3)/6)/(l/(-26))?
False
Let f(r) = r**2 - 4*r - 7. Does 38 divide f(-11)?
False
Let g(q) = 5*q. Suppose -5*l + 5*m + 50 = 0, 5*l - 3*m - 40 = -0*m. Let c be (-2 - (-26)/10)*l. Is 10 a factor of g(c)?
False
Let r be 5*(3/(-5))/(-1). Suppose -2*x = r*k + 3, 0*k + 9 = -3*k. Does 4 divide x/9 - (-20)/3?
False
Let p = 1 + -9. Let u(g) = -g**3 - 2*g**2 + 2*g. Let o be u(-3). Is 18/p*(-12)/o a multiple of 3?
True
Let g be (-51)/(-15) + (-4)/10. Let t = 15 - g. Does 12 divide t?
True
Let z = -12 + 20. Let p(m) = 4*m + 7. Is p(z) a multiple of 13?
True
Let b = -40 + 100. Is b a multiple of 20?
True
Suppose -2*v - 2*v = -5*t + 120, 0 = 4*t - 4*v - 96. Is t a multiple of 16?
False
Let h = 12 - 9. Suppose -h*x + 107 = -64. Is x a multiple of 19?
True
Let c(k) = 2*k**3 - 2*k**2 + 3. Let j(h) = -h**3. Let t(g) = c(g) + 3*j(g). Is 18 a factor of t(-4)?
False
Let z = -5 - -9. Suppose -4 = 2*l - z*l. Does 16 divide l + (-14)/(-1 - 0)?
True
Suppose 3 - 9 = -b. Is 3 a factor of (-3)/(-2)*32/b?
False
Let w(r) = r**3 - r**2 - r + 1. Let u(c) = -3*c**3 - 2*c**2 + 10*c - 2. Let g(h) = u(h) + 2*w(h). Is 12 a factor of g(-6)?
True
Suppose -3*i + i + 94 = 5*l, -l = 2*i - 86. Is 21 a factor of i?
True
Let i = -43 + 51. Does 8 divide i?
True
Let q = 13 - -164. Is q a multiple of 23?
False
Let a = 48 - -30. Is a a multiple of 28?
False
Suppose 102 = 2*x - 5*q, 62 = 2*x + 2*q - 40. Does 17 divide x?
True
Suppose 2*b - 9 = b. Suppose -2*p - b = -23. Suppose p*z + 75 = c + 2*z, -c + z + 55 = 0. Is 20 a factor of c?
False
Let j(x) be the second derivative of x**4/12 + x**3/2 - 11*x**2/2 - 2*x. Is j(-8) a multiple of 29?
True
Let k(v) = -v**2 - 7*v - 7. Let n be k(-5). Suppose 0*a - 14 = -2*a - o, -o = n*a - 22. Does 8 divide a?
True
Let d(a) be the third derivative of a**5/120 - a**4/24 + a**3/6 + 2*a**2. Let m(r) be the first derivative of d(r). Is 3 a factor of m(8)?
False
Let l(k) = -2*k - 1. Let b = 5 - 3. Let m = b + -9. Is 7 a factor of l(m)?
False
Is 8 a factor of (-330)/9*(-24)/16?
False
Let d = -1 + 3. Suppose h - d*h = -52. Suppose 4*z - 4*u = 28 + h, -5*u - 10 = z. Is z a multiple of 15?
True
Let f be 2/10 + 19/5. Suppose f*t + 40 = 5*t. Is t a multiple of 12?
False
Let r(p) = p**2 - 7*p + 8. Let q be r(6). Let u be (-4 - (q + -4))*-1. Is (-55)/(-3) - u/(-3) a multiple of 8?
False
Let o be 2/(24/(-15) + 2). Suppose -4 = -c - 0, 4*c - 11 = -o*z. Does 4 divide 10/z*6/(-15)?
True
Let d = 28 + 5. Does 19 divide d?
False
Suppose 3*f = 3*i + 12, -2*f = 3*i - 4*i - 4. Let x(b) = b**2 + 5*b + 6*b + f*b**2 + 2. Does 7 divide x(-12)?
True
Suppose r + 2*r = -36. Is 7 a factor of 6/r + (-98)/(-4)?
False
Suppose 2*z - 3*p + 8 = 69, 0 = -3*p + 15. Let l = z + -22. Does 8 divide l?
True
Let g = -11 + 15. Suppose 13 = g*i - 91. Does 12 divide i?
False
Let l = 149 + -27. Suppose -5*a - l = -4*x + 138, -2*a = -3*x + 188. Is x a multiple of 30?
True
Let k be (3 - 3)/(-1 - 1). Suppose 4*d - 3*x + 145 = k, -2*d = -2*x + 87 - 17. Let y = d - -63. Is 16 a factor of y?
False
Is 17 a factor of (3 + 0)/((-24)/(-136))?
True
Let y(l) = 2*l**2 - 6*l + 2. Let b(x) = -x**2 - 4*x + 5. Let s be b(-4). Is 6 a factor of y(s)?
False
Suppose -2*v - 3*v - 20 = 0. Let g be 235/45 + v/18. Let f = 4 + g. Is 3 a factor of f?
True
Suppose -3 = 3*k - 18. Suppose -5*b - 64 = -3*u, k*u - 113 = -0*b + 2*b. Does 9 divide u?
False
Let q be 0 - -1 - (-295)/(-5). Let n = -30 - q. Is n a multiple of 10?
False
Suppose 0 = 3*o - 0*o. Suppose -3*l - m = 2*m - 15, 4*l - 4*m - 60 = o. Is l a multiple of 5?
True
Suppose 10*f - 6*f - 480 = 0. Is f a multiple of 40?
True
Let a(c) = c**3 + 7*c**2 - c + 1. Let b(m) = m**3 + 2*m - 1. Let y be b(1). Let u be y + 3/(-3) + -8. Is 3 a factor of a(u)?
False
Is 33 a factor of 1 + 1*(-4 - -154)?
False
Let q be -1*0*2/6. Suppose q*x = -x + 31. Is 31 a factor of x?
True
Let k = 18 - 10. Let v = -5 + k. Is 2 a factor of v?
False
Let u(p) = p**3 + 5*p**2 + p + 3. Let k be u(-5). Let q be 1/k + 543/6. Let t = -62 + q. Is 14 a factor of t?
True
Suppose -4*k = a + 7, a + 7 = -5*k - 4. Let h be 1 + (4*a - -2). Suppose h + 49 = 2*s. Is s a multiple of 20?
False
Let y(u) = -u**3 + 6*u**2 + u - 4. Let t be y(6). Suppose -t*d + 0*n - 2*n = -86, -3*d + 2*n = -114. Let x = -16 + d. Is x a multiple of 8?
True
Let y = 5 - 1. Let i = 0 + y. Suppose -i*h + 18 = p, h = -1 - 0. Does 11 divide p?
True
Suppose 0*v - v - 6 = 0. Let g = v + 0. Let k = 5 - g. Is 4 a factor of k?
False
Suppose 4*u = 2*z - 6, 4*u - 1 = -0*z + 3*z. Is 7 a factor of (-24)/(-84) + (-145)/z?
True
Is ((-20124)/15)/(-6) + 4/10 a multiple of 28?
True
Let z(t) = 22*t**3 - 2*t - 1. Let p be z(-1). Let d = 31 + p. Let n = 16 - d. Is n a multiple of 3?
True
Let w be (5/(-3) + 2)*6. Suppose -w*o + 13 = -o. Is o a multiple of 7?
False
Is 1*((-1 - (-1 + 0)) + 140) a multiple of 14?
True
Suppose 0 = 3*y - 42 - 3. Is y a multiple of 13?
False
Let z be (-630)/(-24) + (-3)/(-4). Let j = z + -15. Is 6 a factor of j?
True
Is 1016/36 - 4/18 a multiple of 4?
True
Let s(b) = -b**2 + 12*b - 7. Is 3 a factor of s(10)?
False
Suppose b = 6*l - 2*l - 421, 0 = 4*l - 2*b - 426. Is 21 a factor of (-27)/(-6)*l/6?
False
Is (-20 - -4)/(1/(-3)) a multiple of 12?
True
Suppose -4*p + 6 = 2*v, -2*p + 7*v = 3*v - 28. Suppose p*r - 29 = 11. Is 34/r - 10/25 even?
False
Suppose -2*n + 88 = 3*p - 0*p, 0 = -4*p + n + 110. Suppose -3*b + p = g + b, -4*b = -5*g + 164. Does 14 divide g?
False
Let i(j) be the third derivative of j**6/120 - j**5/60 + j**3/6 - j**2. Suppose 0 - 4 = -2*c. Is i(c) even?
False
Suppose -12*h + 7*h = -980. Is h a multiple of 28?
True
Suppose 4*b - 3*q = 239, -3*b + 2*q = 7*q - 201. Suppose b - 220 = -3*k + 4*h, -268 = -5*k + 2*h. Is 13 a factor of k/2 - (1 - 0)?
True
Let w = -10 + 11. Suppose -w - 63 = -4*o. Does 10 divide o?
False
Is 11 a factor of -1*(2 + -1)*-19?
False
Suppose g - 4*g - 47 = -4*d, -2*d + 2*g = -26. Does 2 divide d?
True
Suppose 0*z - 6 = -3*z. Suppose -z*s + 16 + 13 = 5*i, 5*s - 5*i - 20 = 0. Does 7 divide s?
True
Suppose 4*j - 267 = -27. Is j a multiple of 12?
True
Suppose 5*w = 4*x + 80, 1 = -3*x - 14. Does 14 divide (w/8)/((-9)/(-228))?
False
Suppose -2*t + 24 = 8. Suppose -t*l + 3*l = -90. Is 6 a factor of l?
True
Suppose -4*i - p = 29 + 18, -2*p = -2. Let g be (-350)/(-6) + 4/i. Suppose 6 = -3*q + 5*z + g, 5*q = 5*z + 70. Is q a multiple of 3?
True
Let a(o) = 2*o**2 - 5*o - 16. Does 4 divide a(-5)?
False
Let s(b) = b**3 - 3*b**2 + 4*b - 4. Is s(4) a multiple of 28?
True
Suppose -5*u - 18 = c - 0*u, -2*c = u. Does 2 divide (-4)/c*1*-1?
True
Suppose -4*u + k + 51 = 0, 2*k - 10 = -0*k. Is u a multiple of 3?
False
Suppose 5*b - 4*j = 16, -5*j - 1 = b - 10*j. Suppose -155 + 27 = -b*k. Is k a multiple of 16?
True
Suppose -4*x + 34 = -34. Is x a multiple of 17?
True
Let w(d) = -d**3 - 6*d**2 - d - 3. Let o be w(-6). Suppose 0 = x - 0*g - 5*g - 17, 4*g = o*x - 106. Is x a multiple of 13?
False
Suppose 15 = 4*j - 9. Suppose 3*d = 6 + j. Is d a multiple of 3?
False
Let c(n) = 20*n**2 - n + 4. Let g be c(2). Suppose 0 = -5*t - g + 482. Is t a multiple of 22?
False
Suppose 3*k - 7 = 59. Does 11 divide k?
True
Let v = -17 - -37. Suppose -v = -4*r, 69 = 5*p + r - 61. Does 18 divide p?
False
Let b = -3 + 7. Suppose -w - b*w = -45. Is w a multiple of 9?
True
Suppose -4*n = -4*x - 112, 8*x - 91 = -2*n + 3*x. Is n a multiple of 11?
True
Let n(k) = k**3 - 4*k**2 + 2*k. Suppose 6 = 5*l - 5*u - 24, 2*l = -5*u - 2. Is n(l) a multiple of 3?
False
Let u be (-2)/10 - (-42)/10. Suppose -2*s + 10 = 3*s. Suppose 5*i + u*c = 86, -s*i + 3*c + 20 = c. Does 8 divide i?
False
Let m = 264 - 144. Suppose -4*a - 2*g = -a - m, -160 = -4*a + 4*g. Does 8 divide a?
True
Let r(b) = 2*b**2 - 6*b + 10. Is 21 a factor of r(7)?
False
Suppose 5*u + 3*m - 280 = 0, -u + 56 = 2*m - 3*m. Does 7 divide u?
True
Let w = -31 - -52. Does 18 divide w?
False
Is (55/(-15))/((-3)/54) a multiple of 11?
True
Suppose 0 = 5*j - j - 20. Suppose j*t = 7*t - 76. Does 19 divide t?
True
Let t(m) = -m**2 + 