- 3*x. Is (-20)/(-3) - o/w a multiple of 6?
True
Suppose 6 = 3*d, 5*d + 100 = 2*h + 3*h. Does 11 divide h?
True
Let b(y) = -y**2 + 6*y + 8. Let n be b(7). Let h be 4 + n*(-1)/1. Suppose 2*k = -3*z + 3*k + 100, -2*z = h*k - 85. Does 13 divide z?
False
Suppose -26 = -2*v + 4*l, -v = -4*v + 5*l + 34. Let q = 7 - 3. Suppose -d - 17 = -4*a + v, q*d = -2*a + 28. Is a a multiple of 3?
True
Is 15 a factor of 90/(-20)*20/(-2)?
True
Suppose 0 = -4*o + 2*a + 744, -3*o + a + 558 = -a. Is 11 a factor of o?
False
Suppose 6*r = 7*r - 10. Is r a multiple of 4?
False
Does 6 divide (-732)/(-18)*(-3)/(-2)?
False
Suppose 1770 = -2*l - 3*l. Let b be 3/2*l/(-9). Let h = b + -28. Is 17 a factor of h?
False
Let q(o) = o**2 + 18*o + 3. Let u be q(-17). Let j = u + 20. Is 2 a factor of j?
True
Let y be (1/(-2))/(4/(-8)). Let s = 26 + y. Is s a multiple of 9?
True
Suppose 5*f - 8*f = -24. Is 4 a factor of f?
True
Suppose -4*k + 3*w + 41 = -55, -4*k = w - 80. Does 5 divide k?
False
Suppose 2*k = 4*k. Suppose -3*h + 109 + 77 = k. Is h a multiple of 22?
False
Let h(c) = -c**3 - 3*c**2 - 2*c - 1. Let j be -2*3/12*4. Let y be h(j). Is 17 a factor of y - 54/(-3)*1?
True
Let t be ((-12)/(-8))/(6/16). Suppose -5*z + t*z - 4*u = -13, 4*z + 4*u = 88. Does 13 divide z?
False
Let o(d) = d**2 - 3*d + 2. Is o(-4) a multiple of 16?
False
Does 3 divide 39/(-6)*(-4)/2?
False
Let i = 2 + -8. Let a = i + 30. Is a a multiple of 14?
False
Suppose m + 270 = 4*m. Suppose -3*i - 5*o + m = 22, i = 3*o + 46. Does 20 divide i?
False
Let l(a) = -a**2 - 11*a + 17. Is 15 a factor of l(-7)?
True
Suppose -3*m + 5 + 4 = 0. Suppose 40 = m*s - 35. Is s a multiple of 9?
False
Let i = 14 + -12. Suppose 3*d + i*d - 75 = 0. Is d a multiple of 11?
False
Does 28 divide (1/2*45)/(6/32)?
False
Suppose l - 35 = -4*r, -2*l - r + 15 = -4*r. Does 4 divide l?
False
Suppose -3*h = -2*h - 4. Let f be (2 - h/2) + 10. Suppose 4*l - 5*l + f = 0. Does 5 divide l?
True
Let r(c) = 2*c. Let b be r(-3). Let s be 17*b*2/(-4). Suppose -3*w - 5*x + s = 0, -4*w = -4*x - 38 - 62. Is 12 a factor of w?
False
Let w be 1 - (-57 + 3)*-1. Let n = -96 - w. Let g = -14 - n. Is g a multiple of 18?
False
Suppose 0 = k + y + 1 - 0, -k - 3*y - 11 = 0. Is 4 a factor of k?
True
Let a(i) = i**2 + 2*i + 2. Let k be a(-3). Suppose -12 = k*h - 2. Is 2 + -1 + (-28)/h a multiple of 7?
False
Let o(d) = 68*d - 17. Does 13 divide o(3)?
False
Let x = -453 - -293. Is 8 a factor of (12/(-5))/(12/x)?
True
Let w = -19 + 37. Is w a multiple of 14?
False
Let l(y) = -1 - 2*y - y + 5*y + y**2. Is l(2) a multiple of 7?
True
Let y = -321 - -481. Does 40 divide y?
True
Suppose 2*q + 2*q = 0. Suppose -2*p + 2*w + 42 = -q*w, 3*w = 4*p - 86. Suppose 0 = -0*z - z + p. Does 10 divide z?
False
Let k(c) = 14*c**2 - 2*c + 1. Let f be k(-2). Suppose 5*h = n + n - 150, 2*h = n - f. Is 7 a factor of (h/(-2))/(1 - 0)?
True
Suppose 4*t + 36 = 3*j, 0 = -t - t + 4*j - 18. Is (t/(-6))/((-6)/(-184)) a multiple of 15?
False
Let i(b) = -2*b**2 + 21*b + 12. Is 10 a factor of i(9)?
False
Suppose 3*b = 16 + 107. Does 15 divide b?
False
Let i(t) = -t**2 - 9*t + 14. Let h be i(-10). Is (-12)/(-2 + h/8) a multiple of 4?
True
Suppose 5*b - 16 - 9 = 0. Is 5 a factor of b?
True
Suppose u - 4*k + 44 = 4*u, 4*u - 2*k = 44. Does 23 divide (u/(-10))/(3/(-230))?
True
Let x(p) = -6*p**3 + 9*p**2 + p - 3. Let s(r) = -5*r**3 + 8*r**2 + r - 3. Let o(k) = -5*s(k) + 4*x(k). Suppose 0 = -5*v - 2 + 27. Is 9 a factor of o(v)?
False
Let s(p) = 7*p + 7. Let o(j) = -2 + 0*j + 8*j + 9. Let i(r) = 5*o(r) - 6*s(r). Is 9 a factor of i(-8)?
True
Let p(v) = -4*v**3 - 2*v**2 - 3*v + 1. Does 20 divide p(-3)?
True
Let n = -15 + 17. Is 30/5 + 6/n a multiple of 4?
False
Let u be -2*4/((-8)/1). Is 14 a factor of (u/1)/((-3)/(-195))?
False
Does 13 divide ((-26)/(-5))/((-10)/(-100))?
True
Let v(w) be the second derivative of w**2 - 7/6*w**3 + 2*w + 0. Is 23 a factor of v(-3)?
True
Let c be 4/10 + (-315)/(-25). Suppose -c*t = -9*t - 116. Does 21 divide t?
False
Suppose 4*k - 520 = 1116. Let g = k + -289. Suppose 2*t - g = -2*t. Is 15 a factor of t?
True
Let g(u) = 4*u - 3. Let b be g(3). Let y be (b/4)/(6/416). Suppose -24 - y = -5*o. Does 18 divide o?
True
Let d = 10 + -7. Let u(x) = 18 + x**3 - x + 0*x**d - 1. Is 9 a factor of u(0)?
False
Let l(m) = 3 - 8*m + 4*m + 0. Let z(f) = -5*f**2 - 1. Let b be z(1). Is 13 a factor of l(b)?
False
Suppose z = -0*z - 58. Let l = 115 + z. Is l a multiple of 16?
False
Let y(h) = -h**2 + 3*h + 5. Let k(l) = 2*l + 13. Let p be k(-9). Let i(a) = a**2 - 3*a - 6. Let w(u) = p*y(u) - 4*i(u). Is 14 a factor of w(-6)?
False
Suppose -4*p - t - 4*t = -512, -5*p - 2*t = -657. Is p a multiple of 19?
True
Is 11 a factor of -4 + 6 - (-3)/((-9)/(-150))?
False
Let j be 0/(-3 + 0 + 2). Suppose -z = 2*t - 0 - 9, z + 3*t - 6 = j. Is 15 a factor of z?
True
Suppose h + 2*h = -6, 0 = -x + h + 4. Is 6 a factor of ((-1)/3)/(x/(-54))?
False
Let l = 28 - 12. Is 4 a factor of l?
True
Suppose 4*z = -16, 3*u - 2*z - 93 = -2*u. Does 7 divide u?
False
Let i(u) be the second derivative of -2/3*u**3 - u**2 + 0 + u. Is i(-5) a multiple of 7?
False
Let q(o) = o**3 + 23*o**2 - 2*o - 19. Is q(-23) a multiple of 5?
False
Let y = -49 - -81. Does 8 divide y?
True
Suppose 14*s - 170 = 9*s. Is 17 a factor of s?
True
Suppose -4*i = -0*i. Let a = 4 - -1. Suppose -a*w = -i*w - 70. Is w a multiple of 7?
True
Let x = 5 - 7. Let i(c) = -c**2 + c. Let r be i(2). Is 12 a factor of x*((-85)/r)/(-5)?
False
Let g = 241 - 166. Is g a multiple of 25?
True
Let m = -19 + 22. Suppose -4*d - 3 = -d. Is d/(m/30*-1) a multiple of 10?
True
Let z = 227 + -129. Is z a multiple of 14?
True
Let s = 15 - 10. Suppose -3*q - s*j = 2*q - 60, -q - 5*j = -12. Is q a multiple of 8?
False
Let h(i) = -i**2 - 5*i + 4. Let x be h(-6). Let d be (2/3)/(x/6). Is 7 a factor of 3/d*(-32)/3?
False
Let c = -9 + 51. Does 3 divide c?
True
Let a(f) = -f**3 - 5*f**2 - f - 1. Let n be a(-6). Suppose 5*m - x = -6*x + 45, -x - n = -4*m. Does 6 divide m?
False
Let w(m) = -1 + 5*m - 1 - m**2 + 5. Let a be w(5). Suppose -5*f + 4*d + 212 = 0, f - 2*f = -a*d - 38. Is f a multiple of 22?
True
Let x(w) be the third derivative of -w**6/60 - 7*w**5/60 - w**4/6 + 2*w**3/3 - w**2. Is x(-4) a multiple of 18?
True
Let g(u) = -u**2 + 11*u + 7. Is 3 a factor of g(10)?
False
Let n be 1*18/(-1 + 2). Let q = 42 - n. Is q a multiple of 12?
True
Let r(y) = y**2 + 2*y + 1. Let m be r(-1). Suppose h + h + 4 = 5*n, m = -4*n - 2*h + 14. Suppose n*a = -a + 15. Is a a multiple of 3?
False
Let r(p) = -p. Let b be r(-1). Let z(h) = 18*h**2 + 2*h - 1. Is z(b) a multiple of 16?
False
Let o(b) = 4*b**2 + 1. Let c be o(1). Let v = c + -2. Is v a multiple of 3?
True
Let t(n) be the second derivative of n**4/4 + n**3/3 + n**2 - 2*n. Is t(-2) a multiple of 5?
True
Suppose -2*u + 5*c + 74 = 0, c - 9 = -7. Does 5 divide u?
False
Suppose -3*k = -5*n - 651, -5*k - 3*n + n = -1085. Does 53 divide k?
False
Let l be (-2 - -3) + (-1 - 4). Is (72/10)/(l/(-20)) a multiple of 9?
True
Let u(j) = -2*j**3 + 3*j**2 + 2*j + 3. Let x be u(-2). Let t = x - 13. Is t a multiple of 14?
True
Let w(m) = m**3 + 7*m**2 + 7*m + 5. Suppose 2*a - b + 5*b - 10 = 0, 4*a - b = 2. Let s be 3*((-2)/6 - a). Is 9 a factor of w(s)?
False
Let q(t) = 2*t**2 - 3*t - 5. Let n(s) = -s + 9. Let y be n(9). Suppose 4*l - 5*l + 6 = y. Is 17 a factor of q(l)?
False
Let r(n) be the first derivative of -3*n**2/2 - 3*n + 6. Let j = 1 + -6. Is r(j) a multiple of 9?
False
Suppose 5*g + 50 = 4*x, 2*x + x = 5*g + 45. Let k(m) = m**3 + 6*m**2 - m + 3. Does 9 divide k(g)?
True
Suppose -8*w + 38 = -6*w. Does 14 divide w?
False
Let i = -336 - -642. Does 9 divide i?
True
Let l = -20 - -33. Let y(o) = 15*o - 15. Let h(a) = -7*a + 7. Let d(r) = l*h(r) + 6*y(r). Is 6 a factor of d(-5)?
True
Does 21 divide (-35 - -1)*(-9)/6?
False
Suppose 3*x = -3*k + 3, 0*k + k + 5*x = -15. Suppose -q + k*g = -42, g + 0*g + 114 = 5*q. Is q a multiple of 11?
True
Suppose -4*o + 2*o = -4. Let g(l) = -o*l + 70 - 28 + 3*l. Is g(0) a multiple of 21?
True
Let p = 3 + 1. Let v(d) = 2*d. Let i be v(1). Suppose 2*b + 0*q - 16 = p*q, i*q = 6. Does 7 divide b?
True
Suppose 203 = 8*v - 269. Is v a multiple of 14?
False
Let c = -305 + 593. Does 36 divide c?
True
Let k = -1 + 5. Suppose 3*r + 164