 32 a factor of q?
True
Let l = 29 - 48. Suppose 0*r + y = -r + 35, 3 = -y. Let h = r + l. Is h a multiple of 7?
False
Let x = 2 + -1. Let m be (x + -7)/((-2)/(-3)). Let d(u) = u**3 + 9*u**2 - u - 2. Is 3 a factor of d(m)?
False
Let h = 757 + -460. Is 9 a factor of h?
True
Is 18 a factor of ((-1)/(-2))/((7/1932)/1)?
False
Let p(m) = -m**3 - 12*m**2 - 10*m + 6. Let u be p(-11). Let i(j) = -12*j. Does 20 divide i(u)?
True
Suppose -6*a + 22 + 236 = 0. Is a a multiple of 9?
False
Let p = -25 + 15. Does 11 divide (-3 + 2 + p)/(-1)?
True
Let g(i) = i**2 + 8*i + 4. Let b be g(-7). Is -4*b/18*54 a multiple of 9?
True
Let q = 74 - 49. Suppose -2*o + 5 = h + o, q = 5*h + o. Suppose -g - 5 = 0, -h = 5*z + 2*g + 3*g. Is z a multiple of 4?
True
Suppose 2*g - 2*v = -20, -5*g + 3*v - 75 + 33 = 0. Is 18 a factor of 189/(-14)*8/g?
True
Suppose -2*r = p + 142 - 32, 2*r + 3*p + 106 = 0. Let i = 78 + r. Does 9 divide i?
False
Let m = -18 - 28. Let b = m + 79. Is 11 a factor of b?
True
Let y(n) = n**2 - 4*n - 2. Let c be y(5). Suppose 0 = 2*q + c*s - 2*s - 52, 4*s - 96 = -4*q. Is q a multiple of 7?
True
Let m(b) = 42*b + 20. Let u(g) = -14*g - 7. Let l(q) = 6*m(q) + 17*u(q). Let j be l(-1). Let h = j + 28. Is 6 a factor of h?
False
Let h(k) = -3*k**2 + 2*k + 8. Let o(l) = -2*l**2 + 3*l + 8. Let u(q) = -3*h(q) + 4*o(q). Is u(-6) a multiple of 7?
False
Let p(d) = 2*d + 9. Is 9 a factor of p(5)?
False
Let v(z) = 3*z + 2. Let c be v(-8). Let s = -3 - c. Is 10 a factor of s?
False
Let s(u) = -6*u - 12. Suppose 2*p - 10 = 4*m, -3*p - 2*p + 12 = 3*m. Suppose p*d + 8 = 2*d. Is s(d) a multiple of 12?
True
Suppose 0*o - 5*o + 40 = 0. Suppose -o - 1 = -5*x - f, -4*x + 2*f = -10. Is x a multiple of 2?
True
Suppose 3*c + 2 = 7*c - 3*o, 18 = 5*c + 4*o. Suppose f + 40 = c*f. Is 10 a factor of f?
True
Does 44 divide 78/52 - (-683)/2?
False
Suppose -7*m + 24 = -2*d - 3*m, 3*d + 2*m - 4 = 0. Suppose -4*r = -16, 0*n = 4*n - 2*r + 8. Let q = n - d. Is 2 a factor of q?
True
Let u(p) = 5*p - 6. Let c be u(5). Let x(r) = -6*r + 0*r - c*r. Is x(-1) a multiple of 9?
False
Suppose -v + 309 + 63 = 3*k, 0 = 5*v. Is 18 a factor of k?
False
Let n(a) be the first derivative of a**4/4 - a**3 + a**2/2 + 3*a + 2. Let p be n(4). Let y = p - 15. Is 4 a factor of y?
True
Let l(i) = i**3 - 5*i**2 - 7*i + 2. Let c = 14 - 7. Is l(c) a multiple of 14?
False
Suppose 0 = 5*j - 3*j - 126. Does 7 divide j?
True
Let m = 84 - -43. Is m a multiple of 11?
False
Let q(p) be the third derivative of 5*p**4/24 + 2*p**3/3 + p**2. Is 12 a factor of q(4)?
True
Let n = 81 - 38. Suppose 6 = -z + 4*z. Let i = z + n. Is 18 a factor of i?
False
Let x(d) = -d + 5. Let l(p) = p**3 - 2*p**2 - 4*p - 1. Let f be l(3). Is 9 a factor of x(f)?
True
Suppose 5*i + 2*n = n + 207, -2*i + 86 = 2*n. Is 10 a factor of i?
False
Let f be (12 + 1)/1 + 0. Let b be f/5 + (-4)/(-10). Let m(g) = -g**2 + 5*g + 4. Does 5 divide m(b)?
True
Suppose 0 = q - 8 - 14. Is 13 a factor of q?
False
Suppose -p = -4, -7*p = 5*o - 2*p - 125. Suppose 0*u - o = -3*u. Does 7 divide u?
True
Let x = -39 + 28. Is 4 a factor of 1 + (4 - (x + 4))?
True
Let o = -12 - -18. Is o + 14 - (-3 - -1) a multiple of 9?
False
Let t(y) = -y + 5. Let n be t(5). Suppose -2*o = -n*o - 44. Does 11 divide o?
True
Let o be (-27)/(-12)*8/(-3). Let d be 36/15*20/o. Let f = d - -13. Is f a multiple of 5?
True
Let x(j) = j**3 - j**2 + j - 2. Let o(f) = f - 2. Let i be o(7). Let p = i - 3. Is 3 a factor of x(p)?
False
Let w be 2 + 0 + 1 + -3. Let a = 0 + w. Suppose -4*t + 100 = -a*t. Does 14 divide t?
False
Let v = -40 + 68. Does 28 divide v?
True
Let v(p) = -4*p + p - 2*p + 1 + 4*p. Let b be v(-2). Suppose -s + 3*a + b = 0, -5*a + a = -2*s + 16. Does 6 divide s?
True
Let n be (-1)/(-3) - (-10)/6. Let k(p) = -n*p + 3*p**2 + 2 + 5*p + p. Is k(-2) a multiple of 6?
True
Let z = -39 + 80. Is 29 a factor of z?
False
Let y = -13 + 7. Let z be y*(10/(-4) + 2). Suppose z*i = 64 - 4. Does 10 divide i?
True
Suppose 4*s + 148 = r, -5*r + 4*r - 4*s = -124. Suppose 0 = -6*q + 2*q + r. Is q a multiple of 15?
False
Suppose 4*i + 64 = -4*c, 0*i + 3*c = 5*i + 120. Does 8 divide i/(-28) + 122/8?
True
Suppose -4*f + 5*n + 505 = -0*n, -370 = -3*f + 2*n. Is 15 a factor of f?
True
Suppose 3*a = -0*a + 60. Let r = a + -7. Is r a multiple of 12?
False
Suppose -2*i = -124 - 140. Is 33 a factor of i?
True
Suppose 2*n + 3*r - 4 - 5 = 0, 3*n - 3*r - 21 = 0. Suppose -n*f + 2*f = -32. Suppose -3*l + f = l. Is 2 a factor of l?
True
Let t(s) = 6*s + 4. Let q(m) = -5*m - 3. Let p(o) = -5*q(o) - 4*t(o). Let v be (-96)/(-40)*(-10)/(-4). Does 2 divide p(v)?
False
Let h = 3 + -3. Suppose 68 = 4*c - h*c. Does 5 divide c?
False
Let z = -6 + 21. Does 2 divide z?
False
Let g be 3/4*8/2. Suppose 178 = g*s - 20. Does 22 divide s?
True
Suppose -5*x + 278 = 28. Does 9 divide x?
False
Suppose g - 10 = -0*u - 2*u, 4*g - 1 = 5*u. Suppose w = 81 + 21. Suppose u*a = 33 + w. Is a a multiple of 15?
True
Is 274/(-4)*1/(4/(-8)) a multiple of 11?
False
Let n(o) = -o**3 - 135. Let q be n(0). Let w = -57 - q. Suppose 3*h + 27 = 3*t - 42, -4*t + w = 3*h. Is t a multiple of 16?
False
Suppose -5*t + 8*t - 126 = 0. Is 21 a factor of t?
True
Let g(l) = l - 7. Let q be g(12). Let p = 20 - q. Is 5 a factor of p?
True
Let q(t) = t**2 + 7*t + 9. Let k be q(-6). Suppose 6*p = k*p - 6. Is ((-3)/p)/(7/14) even?
False
Suppose -d = 0, 0 = 2*o - 5*d - 43 - 29. Is o a multiple of 9?
True
Let a be (2/6)/((-5)/(-795)). Suppose -3*m + 86 = -m - w, -m + a = -3*w. Is 16 a factor of m?
False
Suppose 5*p + 16 = -3*y, 5*p + 0*p + 34 = 3*y. Suppose y*l + 35 = 3*d + 2*l, 4*d + l - 56 = 0. Is 10 a factor of d?
False
Let w = -30 - -43. Does 13 divide w?
True
Suppose -c = a - 3, -a + 4*c - 6 = a. Suppose 2*p - a - 1 = 0. Is (-1 - p)*(-21)/2 a multiple of 18?
False
Let i(t) = -3 - t + 3 - 8*t - 1. Does 8 divide i(-1)?
True
Suppose o + 165 = -15. Let s = -95 - o. Does 25 divide s?
False
Let c(s) = 3*s**2 - 2*s - 1. Let w be c(2). Let b = w + -9. Is (1/2)/(b/(-216)) a multiple of 18?
True
Let c = 46 - 22. Let m = -14 + c. Is m a multiple of 10?
True
Let p(v) = v**2 + v + 5 + 4 - 12*v. Let m be p(8). Let w = m + 44. Is w a multiple of 13?
False
Let c(h) = -2*h + h - 6*h**3 - 24*h**3. Does 17 divide c(-1)?
False
Let l(v) be the third derivative of v**5/60 + v**4/24 - v**3/3 - 3*v**2. Let f be l(-2). Suppose j + f*j + 4*c = 13, 4*c = j - 13. Is 13 a factor of j?
True
Suppose -144 = -3*c - 54. Let i(v) = -v - 3. Let u be i(-3). Suppose -r = -u*r - c. Is 15 a factor of r?
True
Let v(n) be the second derivative of -n**4/12 + 5*n**3/3 + n**2/2 + n. Let s be v(10). Is 4 a factor of 8 + s/(-2 + 1)?
False
Suppose -7*s = -3*s. Suppose s = -5*x + 22 + 3. Suppose x*i = -r + 4*r - 54, -2*r = 2*i - 36. Is 18 a factor of r?
True
Let q(d) be the second derivative of d**4/12 + d**3/3 - 4*d**2 + 3*d. Is q(-6) a multiple of 9?
False
Let w(l) be the first derivative of l**3/3 + 9*l**2/2 + 8*l - 2. Let i be w(-9). Let n(r) = -r**2 + 11*r - 12. Is 7 a factor of n(i)?
False
Let l(y) = 228*y - 8. Does 11 divide l(1)?
True
Let y(w) = -12*w**3 + w**2 - 2*w + 1. Let n be y(1). Let j = -2 - n. Let g = 20 - j. Is 5 a factor of g?
True
Suppose -2*r + 3*r - 14 = n, 5*n - r + 78 = 0. Let j = 10 + n. Does 10 divide (-5)/(-2 - j/4)?
True
Let p be 48/18*(-27)/(-1). Suppose -7*z + 3*z = -p. Is 12 a factor of z?
False
Let o = -67 - -97. Does 8 divide o?
False
Let k be (10 - 1) + 0 + -1. Suppose -3*c - 215 = -k*c. Suppose -4*j - c = -3*r - 11, r - 29 = 5*j. Is 4 a factor of r?
True
Suppose 4*b = -2*j - 12, -2*j + b = -b. Let p(f) = -2*f**3 - 2*f - 2. Does 18 divide p(j)?
True
Let o = 8 - 5. Let v be (9 - (-1 + o))*-1. Let r = -5 - v. Is r a multiple of 2?
True
Suppose 3*r - 2*g + g - 3 = 0, -3*r + 18 = 4*g. Let a(f) = 4 - 8*f**2 + r + 1 - f - f**3. Is 15 a factor of a(-8)?
True
Let g be -1*5*8/(-10). Suppose g*q = 3*s - 14 - 33, -18 = -s - q. Does 7 divide s?
False
Let w be (-5792)/(-18) - 24/(-108). Suppose -4*b + w = 18. Does 19 divide b?
True
Does 5 divide 30/10*-1*(-44)/6?
False
Let x be (-5 - 22)*(1 + 1). Let v = x + 97. Suppose 2*b - 3 - v = 0. Does 13 divide b?
False
Suppose 5*r + 5*g + 0*g - 455 = 0, 4*g = 3*r - 308. Is 12 a factor of ((-18)/24)/((-2)/r)?
True
Suppose 5 = 2*l - 5. Suppose 0 = -l*y - 15,