w?
False
Suppose 2*f - 28 = f. Let u be (-607)/(-7) + 8/f. Is 12 a factor of (1/3)/(1/u)?
False
Suppose 5*f = -0*f + 45. Let t(h) = h + 1. Is 3 a factor of t(f)?
False
Let c be (-2)/(8/(-372)) - -3. Suppose -2*n = -1 - 3. Suppose 0*o - n*o + c = 0. Is 17 a factor of o?
False
Suppose 4*w + 18 = 114. Does 15 divide w?
False
Suppose w - 59 = -0*b + 3*b, 2*w - 3*b - 109 = 0. Is 18 a factor of w?
False
Let k be 6/(-24) + (-181)/(-4). Suppose y - 6*y = -k. Is 4 a factor of y?
False
Suppose 3*c - 102 = 2*v - 0*v, 0 = -c + 4*v + 24. Is 18 a factor of c?
True
Suppose j - 1147 = -4*s, -3*s + 4*s - 291 = 4*j. Is s a multiple of 41?
True
Suppose -5*q + 2*i = -q - 42, 5*i + 50 = 5*q. Suppose -z = -32 + q. Is 7 a factor of z?
True
Suppose -3*f = -5*q - 66, -q + 4*f - 2 = 1. Is (-12)/10*q/6 a multiple of 3?
True
Let f = -30 - -15. Is 6 a factor of ((-10)/f)/(2/36)?
True
Suppose -7*p = -11*p + 84. Is p a multiple of 9?
False
Suppose -5*q - 48 = -0*a - a, 0 = -a - 4*q + 12. Suppose y - 5*y + a = 4*m, 5*m + 3*y - 33 = 0. Does 6 divide m?
True
Let a(f) = 9*f - 6. Let h(c) = -c**2 + 17*c - 11. Let x(t) = 5*a(t) - 3*h(t). Let s(i) = -i. Let u be s(-4). Is 10 a factor of x(u)?
False
Suppose 2*a + 4 = 36. Let s = 26 - a. Is s a multiple of 5?
True
Let i(z) = -z**3 + z**2 - z + 15. Let h be i(0). Is 2 a factor of 1/3 - (-70)/h?
False
Suppose -144 = -h - 4. Does 28 divide h?
True
Suppose s - 3*w - 32 = 0, 0*s - 86 = -3*s - w. Is 9 a factor of s?
False
Let i = -14 - -77. Is i a multiple of 15?
False
Suppose -8*w + 144 = -272. Is w a multiple of 4?
True
Is 10 a factor of ((-100)/(-15))/(3/9)?
True
Suppose 4*h - 130 - 402 = 0. Is h a multiple of 19?
True
Suppose 4*f - 2*j - 6 = -0*j, f + 5*j - 18 = 0. Suppose -f*n + 4 = 5*a + 1, -5*a - n = -11. Is 2 a factor of a?
False
Let h(x) = -13*x + 44. Is 13 a factor of h(-20)?
False
Let n be 9/12*(-8)/(-3). Suppose 0 = 2*q - 8, -5*x + n*q = -0*x - 52. Does 4 divide x?
True
Let m = 34 + -17. Suppose 0*i - 2*i + m = s, -92 = -4*s + 4*i. Is 10 a factor of s?
False
Let q(s) = -s - 3. Let f be q(-3). Suppose 5*a - a - 80 = f. Does 10 divide a?
True
Let r be ((-5)/(-2))/(5/10). Suppose 4*j + 60 = 3*c, 0 = -3*j + j + 6. Suppose u - 16 = -3*t + t, -r*u = 2*t - c. Is 6 a factor of t?
False
Suppose -2*q = 6 - 16. Suppose 3*w - r = 82, r - 2 = -3. Suppose -q*m + w + 3 = 0. Is 2 a factor of m?
True
Let r(p) = -p**2 - 12*p - 6. Let z be r(-11). Let g = z - -5. Is 5 a factor of g?
True
Is 4 a factor of (-1)/(-2)*-1*-16?
True
Let q(b) = -b**2 - 8*b + 1. Let g be q(-5). Let p = g + -3. Does 5 divide p?
False
Let w = 5 + -5. Let q = w - -2. Suppose 0*c = -q*c + 30. Does 13 divide c?
False
Suppose -32 + 392 = 5*d. Does 8 divide d?
True
Let t = -122 - -145. Is t a multiple of 9?
False
Let p be 0/((-1)/(-1) + -4). Let v be -1*(0 + p/3). Suppose v*o - 16 = -2*o. Does 4 divide o?
True
Suppose -15*v = -13*v - 56. Is 11 a factor of v?
False
Let n(s) = 11*s**2 + 1. Let b be n(1). Is 28/b - (-4)/6 even?
False
Let z(b) = b**2 - 4*b - 2. Let n be z(7). Let d = 52 - n. Is 15 a factor of d?
False
Let m(q) = -q**3 + 15*q**2 + 6*q - 10. Does 22 divide m(15)?
False
Suppose x = -0*x + 4. Suppose 1 = -w + x. Is 3 a factor of w?
True
Let o(n) = -n**3 + 2*n**2 + 3*n - 1. Let h be 12/(-15)*(-5)/2. Let k be o(h). Suppose -51 = -k*t + 49. Is 15 a factor of t?
False
Let v(f) = -3*f - 17. Let c be v(-7). Let w be (-3)/(-3 - (0 + -2)). Suppose 8*a = -y + w*a + c, 5*a = 3*y - 32. Does 9 divide y?
True
Suppose -4*l + 47 = p + 15, -5*p + 4*l + 160 = 0. Suppose -w + 5*w = p. Is 4 a factor of w?
True
Let s(w) = -5*w - 2. Let m(d) = -6*d - 2. Let n(y) = 7*m(y) - 6*s(y). Let j(a) = -a - 16. Let o be j(-14). Does 12 divide n(o)?
False
Suppose 4*m - 25 = -5*u, -6 = -4*m - u - 1. Let a be (1 - (-11 - -2))*5. Suppose -5*x = 5*d - a, 24 = 3*d - m*x + 5*x. Is d a multiple of 13?
True
Let p be 0 + -2 + 33 + -1. Does 10 divide (p/9)/((-3)/(-9))?
True
Suppose 100 = 4*p + n - 2*n, -n - 4 = 0. Does 24 divide p?
True
Suppose -2*x + 6 = -0, 3*x = -2*v + 81. Let s be (10/6)/((-3)/v). Let j = s + 28. Is 4 a factor of j?
True
Suppose 5*v - 4*i = 652, 5*i = -3*v - 183 + 552. Does 9 divide v?
False
Let p(j) = j**2 + j - 2. Let q(c) be the first derivative of c**4/4 + c**3/3 - 5*c**2/2 - 2*c - 2. Let b be q(-3). Does 9 divide p(b)?
True
Suppose -i = 2*m - 5, m - 6 = -3*i - 2*m. Let d = i + 4. Is 3 a factor of 5 + d/(-6)*0?
False
Let m be ((-23)/(-4))/((-2)/(-16)). Does 10 divide m + (-3 - -2)*1?
False
Let v(d) be the first derivative of d**2 - 4*d - 2. Let b be v(3). Suppose 0 = -z + b - 0. Is z even?
True
Does 4 divide (-24)/(4 + (-11)/2)?
True
Let u = 250 + -178. Is u a multiple of 4?
True
Suppose 41 - 11 = 5*y. Suppose 38 = 17*p - 149. Let c = p - y. Is c a multiple of 2?
False
Let y be (-9)/1 + 3/1. Let i(g) = -g**2 - 7*g + 2. Is 8 a factor of i(y)?
True
Let p(i) = 2*i + 1. Let r be p(2). Suppose 0 = a - r. Does 5 divide a?
True
Suppose -3*i = 2*x - 652, -2*i + 4*i - 403 = 5*x. Is i a multiple of 28?
False
Suppose -3*k = 27 + 33. Is -2 - k - (3 - 0) a multiple of 5?
True
Let s(n) = 4*n**3 - 4*n**2 + 2*n + 4. Let f(v) = 5*v**3 - 5*v**2 + 2*v + 5. Let i(q) = -6*f(q) + 7*s(q). Let l be i(2). Let z = l - -11. Does 5 divide z?
True
Suppose -2 = 5*d - 12. Suppose 84 = d*n + n. Is 8 a factor of n?
False
Suppose 3*j = w - 2*j - 27, -3*j = -4*w + 159. Is 16 a factor of w?
False
Let m = 0 + 0. Suppose -4*y + 31 = -3*c, m = -y - c + 1 - 2. Suppose 0 = -2*b + 6*p - y*p + 50, 45 = b - 5*p. Does 16 divide b?
False
Suppose 0 = 10*n - 3557 + 547. Does 22 divide n?
False
Let k = -46 + 93. Suppose 5*g - 235 = -5*z, 0 = -0*z - z + 4*g + k. Is z a multiple of 13?
False
Suppose 3*l = 2*f - 74 - 114, 5*f - 3*l = 461. Suppose -74 - f = 5*j. Is 14 a factor of j*5*(-5)/15?
False
Let q(k) = k**3 + 9*k**2 + k + 5. Is 27 a factor of q(-4)?
True
Let q be 1/(((-10)/(-6))/5). Suppose q*g - 23 - 13 = 0. Does 6 divide g?
True
Suppose 2*s = 6 - 2. Suppose -s*g + 59 = 4*h - 7*g, -2*h + 31 = -3*g. Is h a multiple of 11?
True
Suppose 5*a = -2*y + 115 - 5, -135 = -5*a + 3*y. Does 24 divide a?
True
Let s(w) = w**3 - w**2 + 6*w - 9. Let k be s(4). Let z = k - 43. Is z a multiple of 4?
True
Suppose 4*u - 5*s = -17, -2 = 3*s - 17. Let c be (48 - u)*(0 - 1). Let t = -7 - c. Is t a multiple of 13?
True
Suppose 5*y + m - 3*m = 12, -y - 4*m + 20 = 0. Suppose -4*b = y*i - 132, -132 = -7*i + 3*i - 2*b. Is i a multiple of 12?
False
Let o = -8 - -21. Let d be ((-408)/(-20))/(4/10). Let k = d - o. Does 19 divide k?
True
Let u(v) = -20*v - 6. Is u(-4) a multiple of 9?
False
Let r be (-3 - -4)/(1/5). Suppose 0 = r*z - 85 - 70. Does 10 divide z?
False
Let k(g) = -g**3 - 10*g**2 + 10*g + 1. Is k(-11) a multiple of 5?
False
Let s = 65 + -32. Does 11 divide s?
True
Does 6 divide (185 + 0)*((-23)/5 + 5)?
False
Let s(a) = 2*a + 6. Suppose 3*w = -2*v - 2*w + 11, 5*v = -4*w + 36. Let d be s(v). Suppose -2*k + 26 = -d. Is 12 a factor of k?
True
Let z(f) = -f**3 - 10*f**2 - 7*f + 7. Let u be z(-9). Let b = u + 29. Is 14 a factor of b?
False
Suppose 4*o = 7*o + 15. Let v = 11 + o. Is 66/9 - 2/v a multiple of 3?
False
Suppose -3*u - 81 = -6*u. Is u a multiple of 19?
False
Suppose -3*z + z = 0. Is 12 a factor of z + -2 + 1 - -35?
False
Let q = 0 + 0. Suppose 4*b + q*h = -5*h - 8, -5*h + 10 = -5*b. Is 2 a factor of 7 + -1 + 1*b?
True
Let l = -1 - 5. Let w be 9/l*(-8)/6. Suppose 4*x + 110 = 5*h + 2*x, -4*h - w*x = -70. Is h a multiple of 10?
True
Let p(x) = -9*x + 1. Let z(v) be the first derivative of 5*v**2/2 - 3. Let t(l) = 3*p(l) + 5*z(l). Does 15 divide t(-6)?
True
Let x(k) = 7*k**3 + 2*k**2 - k + 2. Let i be x(2). Let m = -34 + i. Is m a multiple of 10?
True
Suppose n - 5*n = -64. Does 8 divide n?
True
Let r = -3 + 6. Suppose 0 = -f - 3, r*q + 51 = 6*q + 5*f. Suppose v - 8*h = -4*h + 18, 0 = -v + 2*h + q. Does 9 divide v?
False
Suppose 5*p - j = 20, -3*p + 0*j + 12 = -5*j. Is (-1)/p + 1743/28 a multiple of 27?
False
Suppose -r + 4*m + 16 = 0, -121 - 28 = -5*r - 3*m. Does 6 divide r?
False
Let g(c) = -4*c**3 + 5*c**2 - 4 + 2*c + c**3 + 4*c**3. Does 4 divide g(-4)?
True
Suppose 12*p - 10*p = 48. Does 6 divide p?
True
Let m(o) = 5*o**2 + 4*o - 1. Let w be m(-4). Suppose -2*r = -w + 5. Is 6 a factor of r?
False
Let a(q) = -10*q + 3. Let p(x) = -51*x + 1