-2)/(-16)?
True
Does 15 divide 1/1 + 5 + -6 + 120?
True
Does 34 divide 8/(-12)*-3 - -45?
False
Suppose -3*r + 65 + 362 = -5*c, 3*c - 147 = -r. Is r a multiple of 18?
True
Let o(n) = 154*n**2 + n + 1. Is o(-1) a multiple of 14?
True
Let f(o) = -28*o - 19. Does 13 divide f(-5)?
False
Suppose 0*k = -k + 2. Does 3 divide (10/15)/(k/9)?
True
Suppose 0*o = o - 1. Let u be 2 + (6/(-3) - -2). Does 8 divide 18 + (0 - u/o)?
True
Suppose c + 2*t + 2 = 0, 0*t - 3*t = 2*c + 8. Let k = -3 - c. Is k a multiple of 2?
False
Let v(q) = 10*q**3 - 3*q**2 + 2*q. Let x be v(2). Is ((-5)/10)/((-1)/x) a multiple of 12?
True
Suppose -3*b - 53 = -4*b. Is b a multiple of 14?
False
Suppose -y = 4*y - 25. Is y even?
False
Is -7 + (-64)/(-8) - (-85 + 1) a multiple of 9?
False
Let z = 6 - 2. Suppose -z*f - f + 15 = 0. Suppose 3*x + 0*x = 4*w - 30, -f*x = -2*w + 18. Is 6 a factor of w?
True
Let l(k) = -k**3 - 4*k**2 - 4*k - 1. Let o be l(-3). Suppose 0 = o*v + 22 - 122. Is v a multiple of 15?
False
Suppose 0 = 2*r + 3*r - 290. Does 4 divide r?
False
Let m(g) = g - 11. Let n be m(9). Let v = n + 19. Is 17 a factor of v?
True
Suppose 0 = f + 1 - 3. Suppose -g = -f*g + 18. Does 14 divide g?
False
Let a = 147 - 91. Suppose a = 4*g + 24. Is g a multiple of 7?
False
Let n be 4/20 + 2436/20. Let i = 12 + -5. Is i/21*(1 + n) a multiple of 16?
False
Suppose 5*c + 12 = 27. Suppose 5*o + u - 41 = 0, 2*o + u - c*u - 14 = 0. Does 6 divide o?
False
Let w = 8 - 6. Suppose w*n = -2*n - 5*t + 121, 3*t = 2*n - 55. Is 11 a factor of n?
False
Suppose -5*v = 2*v - 91. Does 13 divide v?
True
Let k(x) = -x**2 + 8*x - 4. Let n = -6 + 12. Does 8 divide k(n)?
True
Suppose -5*w + 4*i + 418 = 0, w - 3*i - i = 74. Let o = 28 + 33. Let v = w - o. Is v a multiple of 14?
False
Let g = -1 + -4. Suppose 3*i = 2 + 13. Let r = i - g. Is 10 a factor of r?
True
Suppose 0 = -5*n + 2*n + 297. Is 11 a factor of n?
True
Is 4 a factor of (-12)/(-10)*((-100)/(-4) + 0)?
False
Let g(k) = k**3 + 5*k**2 + k + 5. Let o be g(-5). Suppose -n - 4*a = -4 - 2, o = -a + 1. Suppose -20 = -n*s - 3*s. Is s a multiple of 2?
True
Suppose 3*y - 4*k = 796, -3*y + 8*y - k - 1321 = 0. Does 12 divide y?
True
Suppose 5*q - 40 = -10. Suppose -x - q*m + 3*m + 27 = 0, 5*x - 4*m - 135 = 0. Is 8 a factor of x?
False
Let x(v) = -2*v - 1. Let w be x(-3). Does 15 divide w*(0 + 6/2)?
True
Suppose -3 - 4 = -h. Let j = h + 9. Is 8 a factor of j?
True
Let u be ((-8)/24)/((-2)/156). Let p = u + -21. Is 5 a factor of p?
True
Let v(a) = a**2 + 3*a + 2. Let l be v(-3). Is 9 a factor of 170/(-15)*(-3)/l?
False
Suppose -4*z + 3*z - 2*r + 89 = 0, -3*r + 87 = z. Let h = -44 + z. Does 28 divide h?
False
Suppose 0 = 4*r + 4*v - 756, 30 = 5*r - 3*v - 891. Is r a multiple of 19?
False
Suppose -2*r = 5*c - 82, -4*r - 5 = -c + 29. Suppose 31 = -m - c. Let o = -21 - m. Is 8 a factor of o?
False
Let c be (2/(-6))/((-2)/18). Suppose c*h - 44 = 28. Does 14 divide h?
False
Suppose -y + 10 = -5*l, 0 = 2*y - 4*l - 7 - 1. Suppose y = -2*b - b + 36. Is 4 a factor of b?
True
Suppose c + 22 = -i + 3*i, -5*c + 3*i - 82 = 0. Let s = c + 0. Let f = s - -23. Is 9 a factor of f?
True
Let q = 16 + -4. Is q a multiple of 4?
True
Suppose 0 = -5*s - 2*a + 1 + 214, -5*a = 2*s - 107. Does 10 divide s?
False
Let q(u) = 11*u + 15. Is 14 a factor of q(4)?
False
Suppose -4*x - 5*u + 18 = 0, x + 2*x + 5*u = 16. Suppose x*n = 1 + 5. Suppose 0 = -n*a + 35 + 1. Is a a multiple of 12?
True
Suppose 2*z = 5*g + 91, 5*z + g = 4*g + 237. Suppose m = 4*m - 51. Let w = z - m. Does 15 divide w?
False
Suppose -21 = -3*o + 3*a, -2*a - 22 = -3*o - 5. Suppose 61 = 4*x - o. Does 9 divide x?
False
Suppose 0*k + 2*k - h = 15, 2*k + 2*h = 0. Suppose -y + 32 = 5*g + 120, k*g - 3*y = -76. Does 7 divide 1/(-2)*0 - g?
False
Let y(z) = z**2 - 11*z - 12. Is 12 a factor of y(15)?
True
Let p(w) = -3*w**3 - 5*w - 8. Let n be p(-4). Suppose -5*y = 4 - n. Is y a multiple of 8?
True
Suppose -2*m + 12 = y + m, 2*y - 5*m - 68 = 0. Is y a multiple of 8?
True
Let k(u) = -49*u**3 + u**2 - 7*u + 6. Let s(t) = -t**3 - t + 1. Let q(j) = -k(j) + 6*s(j). Let o be q(1). Suppose p = -11 + o. Is 12 a factor of p?
False
Suppose -3*b = -9 + 3. Suppose g + 21 = b*g. Is g a multiple of 13?
False
Let k = -3 + 3. Suppose -n - 27 = -k*n. Let x = n - -46. Is x a multiple of 14?
False
Let l = 156 - 88. Is 13 a factor of l?
False
Is 9 a factor of -24*((-22)/4 + 4)?
True
Let y(u) = u**2 - 7*u + 3. Is 2 a factor of y(7)?
False
Let x = -10 + 12. Suppose n = -n + 2, 3*n - 189 = -x*p. Does 31 divide p?
True
Let f(b) = b**3 - 10*b**2 + 12*b + 3. Does 6 divide f(9)?
True
Let q(y) = 12*y. Is 2 a factor of q(1)?
True
Suppose 0*w = b + w, 3*w + 2 = -2*b. Suppose -42 = -q + 4*j, 0*j - b*j = 4*q - 258. Suppose -2*s - q = -2*d, -5*d + 151 = s - 5*s. Does 9 divide d?
True
Let z(h) = 26*h**2 + 2*h - 1. Let m(g) = g**2 - 3*g - 3. Let b be m(4). Is z(b) a multiple of 9?
True
Is 4 a factor of (3 - 1) + (-2 - -10)?
False
Suppose 6*d - 28 = 10*d. Is 3 - d - 3/(-1) a multiple of 4?
False
Suppose -3 = -3*a, 5*o = -0*o + 5*a + 80. Suppose 2*x - o = 1. Let f(r) = r**3 - 10*r**2 + 12*r - 1. Does 13 divide f(x)?
True
Suppose -7*y = -y - 132. Is y a multiple of 11?
True
Let u be (2/8)/(3/(-12)). Suppose -g = 4*g + b - 525, 4*b = -2*g + 192. Is 21 a factor of (-5)/10*u*g?
False
Let h = -14 - -29. Let j = 55 - h. Is 14 a factor of j?
False
Let w(v) = -v - 4. Let p be w(-4). Suppose p = -5*b + 4*b - r - 3, -2*b - r - 10 = 0. Let o = 7 - b. Is o a multiple of 6?
False
Is (-1085)/(-10) + (-1)/2 a multiple of 36?
True
Is 23 a factor of (-1*(0 + 164))/(-2)?
False
Does 9 divide ((24/9)/(-2))/((-12)/162)?
True
Suppose -5*y + 11 = 1. Suppose f - 6*f = -y*k - 710, k = -5. Suppose -5*i - 22 = -4*s - f, 0 = 4*i + 2*s - 84. Is i a multiple of 9?
False
Suppose -3*m - 3 = b - 4*m, 0 = 2*b + m - 3. Let q(t) = -t**3 - t**2 - 2*t + 13. Is 13 a factor of q(b)?
True
Suppose 8*l = 4*l. Suppose l*u - 64 = -2*u. Is u a multiple of 8?
True
Suppose k + 181 = -k - b, 0 = 2*k - b + 191. Suppose 0 = -3*d - d + 3*h - 561, 4*h = -20. Let j = k - d. Is 15 a factor of j?
False
Suppose -2*h - 10 = 3*v, 0 = 3*h + 2*v + v + 18. Let c(x) = -x**3 - 7*x**2 + 9*x + 11. Does 3 divide c(h)?
True
Let a(g) = -g + 3*g - g**3 - 7 + g - g + 7*g**2. Let u = 16 + -9. Is a(u) a multiple of 7?
True
Suppose 4*q - 10*q + 756 = 0. Is 48 a factor of q?
False
Does 2 divide (-5)/30 - 147/(-18)?
True
Let y = -8 - -8. Suppose -2*f = -y*f - 8. Is f a multiple of 2?
True
Is -2 + 51 + 4*(0 - 1) a multiple of 4?
False
Let j = -26 - -234. Does 27 divide j?
False
Let h = 0 + -3. Let z = -1 - h. Suppose y + z*y - 57 = 0. Is 10 a factor of y?
False
Suppose -988 - 307 = -5*l. Is 37 a factor of l?
True
Let x(o) be the second derivative of -o**5/20 + o**4/2 - 2*o**3/3 + 7*o**2/2 - 2*o. Does 6 divide x(5)?
True
Let z be (0 - -60)*3/6. Suppose z = 2*g - 5*g. Let w = g + 34. Is w a multiple of 10?
False
Let l(r) be the second derivative of r**5/60 - r**4/6 + r**3/6 - 3*r. Let n(s) be the second derivative of l(s). Is n(9) a multiple of 13?
False
Let q(h) = h**2 + h. Let n be q(-1). Suppose n = 2*b - g - 90, 0 = -4*b + 2*g + 3*g + 186. Does 22 divide b?
True
Let y = -10 + 14. Suppose -4*p - p - 5*o = 0, 0 = 5*o + 15. Suppose y*g - 39 - 48 = p*w, 4*g - 5*w = 89. Is g a multiple of 16?
False
Suppose 0 = -3*j + j. Suppose 5*r - 62 = 2*b, -b + 18 = r - j*r. Is 10 a factor of r?
False
Let t be 275/33 - 1/3. Suppose t = 2*n, -u + 0*n = -n - 36. Is u a multiple of 10?
True
Let j be ((-12)/(-24))/(1/8). Let u(d) = 3*d**2 - 4*d + 6. Is 15 a factor of u(j)?
False
Suppose -3*b - b = -76. Does 12 divide b?
False
Let b = -43 + 80. Is b a multiple of 11?
False
Suppose 2*g + 0*g = -82. Let i = g - -59. Is i a multiple of 9?
True
Let k be 0 - (-2 - (-3 + 0)). Let p be (-34)/(-8) + k/4. Let j = 10 + p. Is j a multiple of 14?
True
Suppose 12*f - 752 - 1540 = 0. Does 18 divide f?
False
Let d(g) = -g**2 - 10*g - 5. Let v be -4 + 1 + 3 + -4. Does 7 divide d(v)?
False
Suppose -20*r = -21*r + 269. Is r a multiple of 14?
False
Suppose 4*i = 3*k + 669, 0 = -2*i + 3*k + 239 + 94. Is i a multiple of 27?
False
Suppose 4*y - 62 - 98 = 0. Is 5 a factor of y?
True
Let a(x) = -x - 3. Let f(s) = 1. Let o(p) = a(p) - f(p). Let w(g) = -5*g + 3. Let y be w(2). Is o(y) a mul