 = m - -9. Is 8 a factor of b?
True
Let s(g) = 2*g**2 + 6*g - 3 + 2*g**2 - 3*g**2. Let r be s(-6). Is 7 a factor of r/(-3)*15/1?
False
Let w(i) = i**3 - i + 2. Let v be 4 - -2 - 3 - 1. Is 8 a factor of w(v)?
True
Suppose 0 = -b + 3 - 0. Suppose b*k = -0*k + 45. Is k a multiple of 5?
True
Let t be 2 + -4 + -3 - 3. Is (-2)/t - 174/(-8) a multiple of 10?
False
Suppose 228 = 4*x - 476. Is 44 a factor of x?
True
Let x = 47 - 3. Suppose -3*f + 5*f = x. Is (f - (0 + 0)) + 2 a multiple of 12?
True
Let i be 4/2 - (4 - -4). Let r = 10 + i. Suppose -3*k - 8 = -r*v + k, 1 = 3*v - 4*k. Is 5 a factor of v?
False
Let l be (5 - 6)/((-2)/(-4)). Is (5 + 1)*(-13)/l a multiple of 13?
True
Let h(c) = 29*c**3 - 2*c**2 + 1. Is h(1) a multiple of 5?
False
Let a(b) = -b**3 - 4*b - 3. Let q(h) = h**3 - 7*h**2 + 5*h + 3. Let n be q(6). Does 12 divide a(n)?
True
Suppose 0 = 4*o + 3*i + 9, 3*o + 5*i = -o - 15. Suppose o = -4*l + 3*l + w + 33, -2*w = 4*l - 114. Is 15 a factor of l?
True
Let r(u) = u**2 - u - 2. Let b be r(-3). Let q = b + 26. Let s = q + -6. Is 15 a factor of s?
True
Let x(t) = -t**2 + t + 45. Is 9 a factor of x(0)?
True
Let w be (-1 - -4) + 2 - 2. Suppose 3*x - w*d + 4*d = 60, -2*x + 2*d = -32. Does 5 divide x?
False
Let f(s) = -s**3 + 9*s**2 - 3*s - 7. Is 15 a factor of f(7)?
False
Let q(d) = 17*d - 7. Let a be q(7). Let z = 61 + -29. Suppose 2*j - a = -z. Is j a multiple of 20?
True
Suppose 2*x - 4 = -6. Let h = 0 + x. Is 8 a factor of 20 - (-3 - -2)*h?
False
Suppose 1000 = 5*n + 5*m + 200, 3*m = -4*n + 640. Does 32 divide n?
True
Suppose -3*n = -7*n + 120. Is 6 a factor of n?
True
Suppose 0 = l - 3*b - 96, -4*l + 275 = -b - 65. Is l a multiple of 28?
True
Let l be 6/(-4)*12/(-2). Suppose -5*x - 3 = 3*t, 5*t + 4*x + 1 = l. Suppose 76 = 3*u - u + t*z, 3*u - 2*z = 90. Is 16 a factor of u?
True
Suppose 2*v = -3*q + 174, 0*q + 2*v - 54 = -q. Is q a multiple of 30?
True
Let i be (-3)/(-4)*(4 + 0). Suppose -34 = -i*p + 35. Does 8 divide p?
False
Let l be 7 - (-1)/(-2)*2. Let m be 3/(-9) + 14/l. Is 22 a factor of 60/2 + -3 + m?
False
Suppose -2*j + s + 174 = 0, 5*j + s = -2*s + 435. Does 29 divide j?
True
Suppose 3*m - 41 = 1075. Does 62 divide m?
True
Let n(w) = -w**3 + 6*w**2 + w - 2. Let d be n(6). Let p(l) = l**2 + 3*l - 4. Let j be p(d). Let z = -14 + j. Is 6 a factor of z?
False
Suppose -20 = 2*o + 6*i - 2*i, 3*i + 6 = 3*o. Let n = 36 - o. Does 15 divide n?
False
Suppose 20*j = 26*j - 162. Does 6 divide j?
False
Let d = 313 - 223. Is d a multiple of 6?
True
Suppose 4*s - 8 = y, -2*s - 5*y + 3*y = -4. Suppose 0*q = -s*q - 4. Does 2 divide 0 + 1/q*-8?
True
Suppose 0 = -u - 4 - 0. Is 5 a factor of (-68)/(-12) - u/(-6)?
True
Suppose -2*s - 2*s = -40. Is (1 - -14)*6/s a multiple of 9?
True
Suppose 0 = 2*a - 3*d - 15, -4*a = -d - 3*d - 24. Is a/(-2)*(-40)/3 a multiple of 10?
True
Suppose -k + 6*k - 265 = v, 265 = 5*k + 2*v. Does 34 divide k?
False
Suppose 5*u + 4*k - 13 = k, k + 9 = u. Suppose -4*b + 104 = 2*a, 2*b + 3*b = u*a - 230. Does 20 divide a?
False
Let w = 12 - -2. Is 14 a factor of w?
True
Suppose -2*w = -3*w - 5. Let j(y) = -11*y + 2. Let c be j(w). Is 8 a factor of (4/6)/(2/c)?
False
Suppose -3*d - 20 + 110 = 0. Is d a multiple of 9?
False
Let u be (6/(-1))/((-2)/1). Let v(i) = 19*i - 4. Does 24 divide v(u)?
False
Let y be ((-8)/(-10))/(2/10). Suppose 0 = d - 5*d - y. Does 5 divide (2 + 5)*(3 + d)?
False
Let m(i) = 180*i. Let c be m(1). Let s = -4 + 6. Suppose -2*h - s*h + f + 225 = 0, -3*f - c = -3*h. Is h a multiple of 17?
False
Is 14 a factor of (-374)/(-8) + 4/16?
False
Let r(o) = 2*o - 3. Suppose -3*c + 2 + 1 = 4*n, 21 = 2*n - 5*c. Let s be r(n). Suppose 0 = -2*m + 7 + s, -a - 1 = -4*m. Is 7 a factor of a?
False
Let y be 0*(-2)/(-2)*1. Suppose 2*x - 2*r - 10 = -x, 3*x + r - 22 = y. Is 3 a factor of x/18*18/2?
True
Suppose 0*l - l - 5 = 0. Let g(t) = t**3 + 3*t**2 - 5*t - 3. Let a be g(l). Let j = 72 + a. Does 22 divide j?
True
Let o(y) = y**3 - 15*y**2 + 5*y + 35. Is 24 a factor of o(15)?
False
Is 14 a factor of 3/6*(-146)/(-1)?
False
Let f(j) = -j**2 + 8*j + 9. Let m be f(10). Let t be (-2)/(-8) + 9/(-4). Is 13 a factor of 2 + t/(2/m)?
True
Let k = 79 + -33. Is k a multiple of 29?
False
Suppose -37*k + 29*k = -64. Does 2 divide k?
True
Let k(q) = -2*q**2 + 1. Let a be k(-1). Is 13 a factor of -3 + 0/a - -29?
True
Suppose -18*k + 15*k + 195 = 0. Does 18 divide k?
False
Suppose -2*q + 3*g = -7, 5*g + 5 = -3*q - 13. Let p be q + (-8)/(-2) + -1. Is 6 a factor of (8 + (-1)/(-1))*p?
True
Let a = 0 + 33. Is a a multiple of 9?
False
Let w be 2/(-4) - (-2)/4. Suppose 38 = -0*z + 3*z - g, 5*z - 3*g - 58 = w. Is z a multiple of 7?
True
Is 6 a factor of 2/8 + 142/8?
True
Let a(g) = 14*g - 2 + 5 - g**2 + 5 - 5. Does 14 divide a(6)?
False
Suppose 4*a - 20 = -a. Suppose -105 = -a*s + 103. Is 13 a factor of s?
True
Let o(m) = m**3 + m**2 + m - 2. Let p be o(0). Is 16 a factor of (-1)/(p*1/96)?
True
Suppose -2*j - 3*j - 5 = 0. Let c be 30*(1/j - -2). Suppose 4*o - c = o. Does 5 divide o?
True
Let t(d) = -2*d**2 + 3*d - 2. Let u be t(2). Does 25 divide (1*75)/((-6)/u)?
True
Let x(f) = -f**2 - 8*f - 6. Let q be x(-8). Is 16 a factor of q*((-55)/(-2))/(-5)?
False
Suppose o + 9 = 5*a + 28, 5*o - 3*a - 29 = 0. Does 4 divide o?
True
Let h be 1 - (-3 + (-1 - -2)). Suppose -h*y - y = -60. Does 5 divide y?
True
Let l be (4/(-8))/((-2)/(-44)). Let j = -5 - l. Is j a multiple of 3?
True
Let h(s) be the second derivative of 2*s**3/3 - 2*s**2 + 6*s. Suppose -4*t - 8 = -44. Is h(t) a multiple of 16?
True
Suppose 7*c = 3*c + 320. Is c a multiple of 19?
False
Does 25 divide ((-63)/6 - 2)*-8?
True
Let y(o) = -o + 0*o - 5*o - 7. Is y(-5) a multiple of 12?
False
Suppose -3*f = -h + 11, 0 = -6*f + 2*f + 20. Is h a multiple of 7?
False
Let p(o) = -o**2 + 10*o + 13. Let b be p(11). Suppose -b*n + 6 = 2*x - 80, -2*x - 184 = -4*n. Is n a multiple of 15?
True
Let y(t) = -t - 3. Let w be y(-5). Suppose w*c - 18 = -c. Is (c/(-4))/(1/(-10)) a multiple of 7?
False
Let g(w) = w**3 - w**2 - 3*w + 138. Is g(0) a multiple of 27?
False
Let q(u) = 4*u - 1. Let x be q(1). Let b(m) = -2 - 12*m + 1 + x*m. Is 5 a factor of b(-1)?
False
Let a(z) = 9*z + 5. Let h be a(9). Let n be 0 + h - (1 - 4). Suppose 3*d - 7 - n = 0. Is d a multiple of 16?
True
Suppose -3*f = -5*q - 4, -4*f + 3*q = -3*f. Suppose 56 = -n + f*n. Is 8 a factor of n?
False
Suppose 4*v = -2*s + 276, 0*s + 423 = 3*s + 3*v. Suppose c + 2*c = -s. Let h = 71 + c. Is 20 a factor of h?
False
Let m = 7 + -5. Suppose -o = o + m. Is 19 a factor of 17 + (-3 - o)*-1?
True
Let y be (-13)/(-4) + 1/(-4). Let r = -38 + 42. Suppose 51 = 5*t - r*k, 0*k + 36 = y*t + 3*k. Is t a multiple of 7?
False
Suppose 2*k - 40 = -2*k. Suppose -5*y = -l - 9 - k, 0 = -y + 5*l + 23. Is 3/2*44/y a multiple of 11?
True
Let c(k) = 2*k**3 - 9*k**2 - k + 10. Is c(6) a multiple of 13?
False
Let i be (-24)/(-15) + (-4)/(-10). Suppose 0 = -k - 3*m + 21, 4*m = -0*k - i*k + 46. Does 19 divide k?
False
Suppose 8 = 2*n + 4*u - 8, 4*u + 32 = n. Is n a multiple of 4?
True
Let r be 4/(-6) - 377/(-3). Suppose j = -0*j + r. Suppose 0 = g - 6*g + j. Is g a multiple of 18?
False
Suppose 216 = 2*n + 2*n. Let d = n - 37. Is d a multiple of 17?
True
Let c(i) = -2*i + 15*i**2 - 44*i**2 + 13*i**2 + 2 + 13*i**2 - 2*i**3. Let m be (-15)/6 + 1/2. Is 6 a factor of c(m)?
False
Suppose -270 = -4*n + 2*j, -51 = 3*n - 4*j - 261. Does 6 divide n?
True
Suppose 5*k - g = 177, -4*k - g + 33 = -3*k. Does 9 divide k?
False
Suppose 37 = f - 40. Does 7 divide f?
True
Let m(b) = 8*b**2 + 6*b - 17. Is m(5) a multiple of 44?
False
Let y = 841 - 441. Is y a multiple of 20?
True
Let q = -6 + 7. Let n be ((-1)/(-2))/(q/10). Suppose n*v = -5*m + 115, -v = 5*m + v - 109. Is 10 a factor of m?
False
Let w be (-1)/(-5) + (-408)/40. Let u = 2 - w. Is 9 a factor of u?
False
Let k = -6 + 16. Is 10 a factor of k?
True
Let g(c) = 4*c - 1. Let z be g(5). Let i be 19/7 - 4/(-14). Suppose 0 = -5*o - 2*b + 19, i*b = 2*o - 0*b - z. Is 5 a factor of o?
True
Is 20 a factor of -3*(4 + (-104)/6)?
True
Let y = 266 - -103. Is y a multiple of 41?
True
Let o(q) = 10*q - q - 14*q. Is o(-11) a multiple of 11?
True
Let l be (-92)/6*(7 + -10). Let g = -32 + l. Is g a multiple of 14?
True
Suppose 26 + 8 = c. Let j = -20 + c. Does 13