 (-17)/(-5) - (-3)/5. Let k = 19 - w. Does 5 divide k?
True
Suppose 5*r + 30 = -3*x, -16 = -r + 3*r + 2*x. Does 12 divide 1 + (-3)/(r/23)?
True
Let i = -122 + 267. Is i a multiple of 15?
False
Let q be (-11)/(-2)*(12 + -2). Let n(i) = i**2 - 4. Let y be n(-3). Is 8 a factor of 2/y*q/1?
False
Suppose -f = -5 - 8. Suppose 3*w + 4 = 5*c - 32, w + f = 2*c. Let d = w - -19. Does 5 divide d?
False
Suppose -18*q = -16*q - 156. Does 24 divide q?
False
Let a(d) = d**3 + 5*d**2 - 7*d + 1. Let o be a(-6). Suppose 8 + o = q - 5*m, 3*m = -9. Let p(g) = -g + 16. Is 6 a factor of p(q)?
False
Suppose 13 = 5*t - 2*v + 53, -25 = 5*v. Let w = 53 - 18. Is w/t*-3*2 a multiple of 19?
False
Let v(r) = -3*r - 5. Let p be v(-8). Suppose 5*y - 3*a = -2, 3*y + 4*a - p = 3. Let k = y - -10. Is k a multiple of 6?
True
Suppose -3*d = -5*s + 401, 2*d = 7 - 1. Let a = s + -40. Is 14 a factor of a?
True
Suppose -9 - 1 = 5*i. Let s(j) = 12*j - 1. Let y(a) = -24*a + 3. Let f(v) = -5*s(v) - 2*y(v). Is 10 a factor of f(i)?
False
Let u = -33 - -61. Let h be -4*(-1)/8*2. Is 1 - h*(-1 - u) a multiple of 15?
True
Let i(b) = -b**2 - 3*b + 3. Let m be i(-3). Suppose -m*z + 25 = 5*f + 2*z, -2*f - 3*z = -13. Suppose -2*t + 3 = -f*w + 1, -2*w + 13 = t. Does 2 divide w?
True
Suppose 60 = 4*i - 2*k + 234, 4*k = 2*i + 72. Let g = -99 + 31. Let a = i - g. Is a a multiple of 6?
False
Let x(n) be the first derivative of n**3/3 + 78*n - 2. Is 26 a factor of x(0)?
True
Suppose -4*i - 4*u - 18 = -3*i, 4*i - u - 13 = 0. Let v(r) = -r + 2*r - 5*r + r**i + 11. Does 15 divide v(8)?
False
Suppose 3*u - 13 = -4*b + 2*u, 4*b = 3*u + 9. Suppose 0 = -b*s + 28 + 50. Suppose -s + 6 = -2*p - 2*y, 3*y = -2*p + 16. Is 7 a factor of p?
True
Let g(w) = w - 11. Let q be g(5). Let a(b) = -11*b - 5. Is a(q) a multiple of 20?
False
Suppose -4*g - 5*t + 438 = 0, 3*g = -2*t + 194 + 131. Is g a multiple of 19?
False
Let c(x) = x**3 + 4*x**2 - 7*x + 4. Is c(4) a multiple of 26?
True
Does 15 divide (-464)/(-4) - (-2 + -1)?
False
Does 39 divide 4 - (-5 + 304/(-1))?
False
Let l be (1 - 1)/((-6)/(-2)). Let a = 1 - l. Is 10 a factor of a/2 - (-78)/4?
True
Let x(n) = 8*n**2 - 2*n + 4. Is x(2) a multiple of 20?
False
Let k = -30 + 165. Does 27 divide k?
True
Suppose -2*g + 4*g = 4*s + 6, -4*g - 12 = -2*s. Does 3 divide 4 + 0 + s/(-2)?
True
Let t(w) = -w - 2. Is 4 a factor of t(-10)?
True
Let y(z) = z + 6. Let i(x) = -x**2 + 6*x. Let k be i(3). Is y(k) a multiple of 15?
True
Suppose -2*g + 748 = 4*j, -4*j + 2*g + 748 = 5*g. Suppose 2*l - 5*m = -l + 120, 4*m = 5*l - j. Is 23 a factor of l?
False
Suppose -6*k - 41 = -5*k. Let o = -27 - k. Is o a multiple of 3?
False
Let j = -14 + 47. Let f(v) = -v**3 + 7*v**2 + 5*v - 4. Let p be f(6). Let z = p - j. Is z a multiple of 13?
False
Let i(w) = -w**2 - w + 1. Let x be i(-2). Let g = x + 3. Suppose 5*j = l + j - 16, g*l - 10 = -3*j. Is 3 a factor of l?
False
Let b(c) be the second derivative of c**5/30 - 5*c**4/24 - 2*c**3/3 + c**2 - 2*c. Let z(v) be the first derivative of b(v). Does 8 divide z(4)?
True
Suppose -5*m + 87 = 2*c - 361, 3*m - 456 = -2*c. Is 43 a factor of c?
False
Let n(d) = 15*d**3 + d**2 + d. Let k be n(-1). Is (-10)/k*(-66)/(-4) a multiple of 3?
False
Suppose 2*s = -3*s + 800. Is s a multiple of 40?
True
Suppose 2*r = -2*r. Suppose 4*l = -n, -3*l = -r*n + 4*n + 13. Suppose a - 5 = l. Does 6 divide a?
True
Let u = 113 - 62. Suppose 2*r + q + 2*q = u, -4*q = r - 18. Does 10 divide r?
True
Let m = -403 - -625. Is m a multiple of 20?
False
Let o = 11 - 8. Suppose 0 = 2*j - 11 + 1. Suppose -o = -a - 0*a, 5*a + 90 = j*t. Is 11 a factor of t?
False
Let f(t) = 2*t + 1. Let w be f(1). Suppose -s + 2 = -w. Is 5 a factor of s?
True
Suppose 0 = -3*b - b + 2*o + 46, 4*o = -3*b + 62. Is b a multiple of 10?
False
Let d(c) = -c**2 - 8*c - 5. Let v be d(-7). Suppose -v*a - 2*a = -200. Is a a multiple of 19?
False
Suppose 0 = -5*m - u + 290, 3*u - 162 = 3*m - 6*m. Is m a multiple of 11?
False
Suppose -3*z = -4*k - 438, -2*z + 5*k - 27 = -312. Is z a multiple of 30?
True
Suppose 4*c - 9 = -1. Let u(j) = 6*j**2 - 2*j + 1. Let s(q) = -5*q**2 + 2*q - 1. Let z(n) = -3*s(n) - 2*u(n). Does 3 divide z(c)?
True
Suppose -5*c + 18 = 2*g - 16, 78 = 4*g + 5*c. Let r = 82 - g. Suppose -5*l + k = -r, l - k - 21 = k. Does 11 divide l?
True
Suppose -5*c + 10 + 0 = 0. Does 12 divide -13*(c - 5) + -3?
True
Suppose -d - 10 = d. Let p(g) = -2*g - 7. Let s be p(d). Suppose 3*u - 53 = -s*t + 4, -2*u + 2*t = -46. Does 7 divide u?
True
Let p = 57 - 30. Suppose 0 = -5*z + 2*z + p. Is z a multiple of 3?
True
Let f be (-4)/6 - 34/(-6). Suppose -2*l = -4*j + 2, -f*l - 5 = -4*j + 6. Does 7 divide -4 - -5 - (-14 - j)?
True
Suppose -g = -5*r + 5 - 0, 5*g - 33 = -4*r. Suppose d + 3*d = -5*v + 156, 0 = -5*d - g. Does 16 divide v?
True
Let v(i) = -2*i - 5. Suppose -5*t - 10 = -u - 0, 3*t + 14 = u. Suppose 0 = 5*y - y + u. Is 5 a factor of v(y)?
True
Let l(z) = 5*z. Suppose 4*b = 5*a + 3, 6*b + 3*a = b - 24. Let y be (1 - b) + 2*1. Is l(y) a multiple of 13?
False
Suppose -4*x + 0 = -144. Is ((-40)/(-30))/(2/x) a multiple of 10?
False
Let a(i) be the first derivative of -51*i**2/2 + i + 8. Let f = -3 - -2. Is 13 a factor of a(f)?
True
Does 29 divide 56/1 - 4/(-2)?
True
Suppose -4*c + 549 = d, 2*d - 426 = -3*c + 6*d. Does 38 divide c?
False
Suppose -2*s = 3*s + 355. Let v = s - -20. Let y = -9 - v. Is 21 a factor of y?
True
Suppose 3*x = 266 + 346. Is 10 a factor of x?
False
Let g(o) = 16*o**3 - 2*o**2 - o - 1. Is g(2) a multiple of 38?
False
Suppose 2*q = g + 95, 5*g - g = 2*q - 92. Is 12 a factor of q?
True
Is 15 a factor of (-10)/(-15)*3 + 73?
True
Let y = -17 - -30. Suppose 4*l - y = -j, -2*j + l = -l - 6. Suppose -s = -j*s + 64. Is s a multiple of 16?
True
Let s = -7 + 33. Is 10 a factor of s?
False
Let i be (-1)/(1*2/(-58)). Suppose -167 = 9*b - 41. Let w = i + b. Does 6 divide w?
False
Suppose 2*y = 15 - 1. Let z = y - 5. Suppose v - z*v - 15 = -c, -c = 5*v - 15. Does 10 divide c?
False
Suppose 5*d = -5 + 20. Let y = 5 - d. Is 14 a factor of -1 + 3 - (-54)/y?
False
Is 10 a factor of (-3 + -47)/((-2)/3)?
False
Suppose d + 24 = 2*o, -o + 26 = -d - 0*d. Let t = 2 - d. Does 16 divide t?
False
Suppose -4*f - 22 = -3*f - 5*h, 2*f + 5*h = 31. Is f/(-7) - (-900)/42 a multiple of 7?
True
Suppose 9 = 4*q - 51. Suppose -5*c = -o - 2*o + 39, -3*c - o - q = 0. Is 16 a factor of ((-64)/12)/(2/c)?
True
Let n(p) = 6 + p + 3 + 0*p. Let b(i) = -i**3 + 7*i**2 + 8*i - 7. Let k be b(8). Is n(k) even?
True
Suppose 4*f = 4, 0*f = -o + 5*f + 11. Suppose -2*h - g = -32 - o, 4*h - g - 84 = 0. Does 12 divide h?
False
Suppose -3*w + 0*w = -30. Is 2 a factor of w?
True
Suppose r = 134 - 46. Let k = -58 + r. Suppose -3*c + 8*c + k = 3*i, -4*c = -2*i + 22. Is 5 a factor of i?
True
Suppose 4*s + 0*s = 176. Let z = -62 - -62. Suppose -s = -2*o - z*o. Does 22 divide o?
True
Suppose r + 0*r + 3 = 0. Is (-14)/r*(-105)/(-10) a multiple of 17?
False
Let s(o) = -o**2 - 3*o + 5. Let t be s(-5). Let h be (-2)/4*(t - -5). Suppose d = 3*q + 7 + 5, -d + 5*q + 14 = h. Is 9 a factor of d?
True
Suppose -12 = -2*p + 172. Does 26 divide p?
False
Suppose -q + 0*s - 3*s + 45 = 0, 2*q = 5*s + 57. Does 6 divide 3/(18/3)*q?
True
Let w = 6 + -4. Suppose -z = w*z - 87. Suppose 3*l + 5*v = 126, -z = -l - 5*v + 23. Does 16 divide l?
False
Let i(w) = 20*w + 6. Let g be i(-5). Let f = g - -156. Let u = f - 28. Is u a multiple of 17?
True
Let v = 27 - 3. Is v a multiple of 8?
True
Is 44 a factor of 8/16 - (1047/(-6) + -1)?
True
Suppose 3*c = -0 + 9. Let v(k) = -k**2 + k - 3. Let u be v(c). Let i = -2 - u. Is i a multiple of 7?
True
Let j = 6 + -8. Let f = 0 - j. Suppose 0*w = -f*w + 50. Is w a multiple of 15?
False
Let g be (-834)/21 + 8/(-28). Let y = -16 - 4. Does 8 divide ((-8)/y)/((-1)/g)?
True
Let o = 34 + 38. Does 18 divide o?
True
Let l be -1*15/6*-2. Suppose -l*b - 3*z + 72 = z, 5*z - 70 = -5*b. Is 9 a factor of b?
False
Suppose 2*p = p + 12. Let z = 30 - p. Is z a multiple of 9?
True
Let r = 23 - 12. Does 11 divide r?
True
Let b = -14 + 213. Suppose 4*d - b = 113. Does 26 divide d?
True
Is (-2014)/(-57) + (-1)/3 a multiple of 5?
True
Let g = 4 + 0. Suppose 5*u = 3*u - g. Is (-2)/(-1) + (u - -19) a multiple of 8?
False
Suppose -22*r + 26*r = 72. Is r a multiple of 