 + 60 = h, -d + 4 = -h - 14. Does 13 divide d?
True
Let c = -9 - -95. Suppose v = -v + c. Is 11 a factor of v?
False
Let t(p) = -p**3 + 7*p**2 + 4. Let w be t(6). Let u = w - -6. Is u a multiple of 16?
False
Let a(s) = s - 4. Let r be a(5). Let m be 18*((-16)/(-6) - r). Suppose 3*b + m = 4*x - 17, x = 3*b + 23. Is 3 a factor of x?
False
Let z(u) = -u**3 - 4*u**2 - 3*u + 1. Let o(p) = 3*p**2 - p. Let s be o(1). Suppose -n - n - 7 = f, 3*n + s*f + 10 = 0. Is z(n) a multiple of 12?
False
Suppose p - 2*p + 3*y - 12 = 0, y + 1 = 2*p. Suppose -32 = -d - p*m, 4*m = 2*d + 2*d - 112. Does 8 divide d?
False
Suppose w + 8 = -g, -4*g = 5*w - 9*w. Let o(x) = -6*x - 6. Is o(w) a multiple of 8?
False
Let r = -12 - -16. Is r even?
True
Is 11 a factor of (-77)/(-7) - (1 + -1)?
True
Let a be (3/6)/((-1)/8). Let c = 5 + a. Is 0 + -9*c*-4 a multiple of 12?
True
Is 12 a factor of (-1)/4 - (-804)/16?
False
Suppose -348 = -s - 5*s. Is 15 a factor of s?
False
Is 2944/(-48)*(-3)/2 a multiple of 9?
False
Let g = 16 - 11. Suppose 0*n + n - 44 = -5*p, -5 = -g*p. Is n a multiple of 13?
True
Suppose 21 = 2*m + m. Suppose -h + 27 = -m. Suppose -3*g = 10 - h. Does 6 divide g?
False
Let u(g) = g**3 - 3*g**2 + 2*g + 2. Let l be u(2). Let n(q) = 4*q**2 + 3*q**l + 7*q - 6 - 6*q**2. Does 8 divide n(-9)?
False
Let a be 52/20 - 3/5. Suppose -110 = -5*t + 5*q, -a*t = 5*q - 9 - 49. Is t a multiple of 16?
False
Let d be (-5 - -1) + -1 + 2. Let v be ((-1)/d)/(1/15). Suppose -29 = -z + 4*b, 2*b = v*z - 0*b - 73. Does 13 divide z?
True
Is 4*(-1388)/(-16) - -4 a multiple of 13?
True
Suppose 0*s = 4*s. Suppose 0*b + 2*b - 212 = s. Suppose -f - 45 = -2*d, 7*d - 2*d - b = -4*f. Is 17 a factor of d?
False
Let y be (-2 - 0)/2 - -7. Is 20 a factor of y/6 + (40 - 1)?
True
Suppose 3*h - 16 = -h. Suppose 2*t = h*m + 18, -2*m + 10 = 3*t - 41. Is 12 a factor of t?
False
Let z = -13 - -14. Is ((-7)/28)/(z/(-68)) a multiple of 6?
False
Let m = 276 + -195. Suppose b + m = 4*b. Is b a multiple of 9?
True
Let v(d) = -31*d - 2. Is 12 a factor of v(-2)?
True
Let o = 967 - 644. Suppose 0 = 4*n, 5*n + 873 = 5*z + o. Does 22 divide (16/20)/(2/z)?
True
Let w = -45 - -64. Let s = w - 5. Does 7 divide s?
True
Let a = 236 + -162. Does 7 divide a?
False
Suppose -2*o - 2 = 0, -4*q + 6*o + 43 = 3*o. Is q a multiple of 10?
True
Suppose -5*o - 11 = 4. Is 34/4 + o/(-6) a multiple of 9?
True
Let w be 20/(-6)*(-3)/2. Suppose -3*o - 5*u + 39 = -84, w*o = 3*u + 171. Is (-3)/(-3)*-2 + o a multiple of 13?
False
Suppose 5*f = 2*u + 10, -6*f = 4*u - f - 40. Let v be (27*1)/(2/2). Suppose -3*i - 2*i - v = -3*l, 61 = u*l - 3*i. Does 7 divide l?
True
Suppose -3*y + 10 = 2*y. Does 2 divide y?
True
Let y(f) = f**3 - 4*f**2 + 2*f + 4. Let a be 120/28 - (-4)/(-14). Is 5 a factor of y(a)?
False
Suppose 3*r + 5*a = -25, -4*a - a = -4*r + 25. Suppose r = -b - b + 30. Does 10 divide b?
False
Suppose -3*m = -7*m - o + 9, 4*m - 3*o - 5 = 0. Let n be 4/10 - 13/(-5). Suppose -r = 5*y + n, 3*r + 3*y + m*y = 21. Does 12 divide r?
True
Let v(n) be the third derivative of n**4/24 + n**3/2 + 2*n**2. Let k be v(-2). Is 15 a factor of -5*(-1*4 + k)?
True
Let b = -15 - -10. Let t = b - -41. Is t a multiple of 18?
True
Let f be 3*-1 + -5 + -10. Let w be (6/f)/((-1)/(-129)). Let j = -19 - w. Is 12 a factor of j?
True
Is (-305)/20*(-2 + -2) a multiple of 20?
False
Suppose 2*c - 4*d + 2*d - 92 = 0, 92 = 2*c + 5*d. Let i = c - 25. Does 13 divide i?
False
Let l = 15 - 13. Suppose 3*h - 17 + 6 = 5*b, -l*b = -3*h + 26. Does 6 divide h?
True
Let f be -2 - (-13 + 0/2). Let s = -8 + f. Suppose -2*b + s*b = 5. Is 5 a factor of b?
True
Let n = 62 - 3. Is 59 a factor of n?
True
Suppose l = -3 - 8. Let p = 2 + l. Is (1 - -62)*(-3)/p a multiple of 7?
True
Suppose 8*r - 23*r + 4020 = 0. Does 26 divide r?
False
Let g be ((-10)/(-15))/(4/18). Suppose -u = -g*a - 1, a = -3*u - 1 + 4. Let i(n) = 5*n**2 + 2*n - 1. Is 4 a factor of i(u)?
False
Let f = -2 - -4. Suppose w + 138 = 4*w. Suppose -f*u + w = 12. Does 6 divide u?
False
Let a = -6 + 51. Suppose 6*n - n = 3*o - 115, 0 = -o - 5*n + a. Let k = 60 - o. Is 10 a factor of k?
True
Suppose 10 = -5*n + 30. Suppose 9 = 3*v, 3*s = n*v + 43 + 2. Does 19 divide s?
True
Let m(k) = -k + 2. Let a be m(0). Suppose 5*c + 4 = -0*c - 4*g, 2*g = -2. Is 4 a factor of 24/3 + c/a?
True
Let i = -102 - -32. Suppose 4*k = -0*u + 5*u + 403, 4*k - 2*u - 406 = 0. Let l = k + i. Is 14 a factor of l?
False
Suppose 2*k - 276 = -2*k. Let c be 4*(-1 + 7/4). Suppose -6*g + 4*g + 5*q = -41, c*q - k = -4*g. Is 9 a factor of g?
True
Let n = 295 + -82. Let s = -141 + n. Let t = s + -41. Does 13 divide t?
False
Let h = -2 + 57. Is 32 a factor of h?
False
Let n be (-2650)/(-14) + (-2)/7. Suppose 0*a + 3*a = n. Is a a multiple of 14?
False
Let l be (-4)/(-2 - -4) - 0. Let f be 8/(4 + l) - 1. Suppose x - 7 = f. Is 10 a factor of x?
True
Let y(p) = -2*p. Let h be y(-1). Let k be 12/(-4)*h/2. Is 21 a factor of 88/k*(-18)/8?
False
Let g(m) = -m**2 - 18*m. Is 8 a factor of g(-16)?
True
Let c(y) = 35*y**2 - y - 10. Is 20 a factor of c(3)?
False
Let q(j) = 3*j**2 + 34*j - 22. Let w(o) = -o**2 - 11*o + 7. Let k(u) = 2*q(u) + 7*w(u). Is 19 a factor of k(-7)?
True
Suppose 0 = 3*f - 9. Suppose -5*t + 27 - 2 = 0. Suppose t*k - 33 = -f. Is k a multiple of 3?
True
Let d be 4/(-6)*33/2. Let l = 36 + d. Is l a multiple of 8?
False
Suppose 2*f - 17 = 3*t - 2*t, -18 = -2*f + 2*t. Suppose -13*w + 550 = -f*w. Does 26 divide w?
False
Let x = 41 - -39. Suppose -5*a + 0 = -x. Does 4 divide a?
True
Let f = 102 + -63. Is 11 a factor of f?
False
Let t(h) = 3*h - 19. Is t(13) a multiple of 20?
True
Is 2 a factor of 8/4*1 + 1?
False
Suppose -2*h + 35 = 3*h. Suppose -p = x - 9, 4*x - x - h = p. Does 2 divide p?
False
Suppose 4*y + 5*i = 397, 5*i = 2*y - 7*y + 490. Is y a multiple of 31?
True
Let x(d) = -d**2 - 11*d + 8. Suppose -18 + 7 = g. Is x(g) a multiple of 5?
False
Let c(m) = m**3 + 5*m**2. Let y be 14/(-3) - 4/(-6). Is c(y) a multiple of 8?
True
Suppose k = 5, -139 + 31 = -3*u - 3*k. Does 21 divide u?
False
Suppose 0 = -5*c - 5*t + 15, -c - 6 = -2*c - 2*t. Suppose r - 5*z - 23 = c, -5*r + 5*z = -99 - 96. Is r a multiple of 21?
False
Let m(t) = -t**3 - 7*t**2 + 3*t - 12. Suppose -4*n - 29 = -3*s, 0*s = n - 2*s + 6. Is m(n) a multiple of 14?
True
Let k(y) = -y + 7. Let j be k(5). Let v be 32/(-20)*j*-25. Suppose -v + 24 = -4*u. Is 10 a factor of u?
False
Does 16 divide -4 + (-167)/(-2) - 1/(-2)?
True
Let p = 13 - -4. Is 3 a factor of p?
False
Let s be 0 - 1 - (-1 - 0). Let c(j) = j + 3. Let d be c(s). Suppose -x = -5*u + 73, -d*x - 23 = -0*u - u. Does 7 divide u?
True
Let k(r) = r**2 + 3*r + 2. Let m be k(-3). Suppose -z = -m*z. Is (-2 + -28)/(-3) - z a multiple of 7?
False
Let o be 0/((-1)/(-2)*2). Let c = 9 + -3. Suppose o = 2*a - a - c. Does 6 divide a?
True
Suppose -3*s + 176 = 23. Does 17 divide ((-8)/(-6))/(2/s)?
True
Let n(d) = 6*d + 3. Let s(g) = 19*g + 8. Let x(h) = -11*n(h) + 4*s(h). Let m be x(3). Let q = -13 + m. Is 8 a factor of q?
True
Suppose 4*r = 34 - 6. Is r a multiple of 7?
True
Suppose -4*g - 4*t = 1 - 13, -5*g - 4*t = -14. Let y(f) = f**3 - 4*f**g - 5*f**2 + 2 + 8*f + 2. Does 2 divide y(8)?
True
Suppose -c = -4*c. Suppose -3*u + 2*r = 3*r - 3, 5*u = r + 5. Suppose c = f - u - 6. Is 6 a factor of f?
False
Let m(r) = -r**3 + r**2 + 1. Let d be m(0). Let v be 15/(-2)*2 - d. Let p = v - -26. Does 10 divide p?
True
Let m(s) be the second derivative of -s**3/6 + 4*s**2 + s. Let q be m(6). Suppose 3*x = 14 - q. Is x a multiple of 4?
True
Let x = 24 + -9. Suppose -6*q + 3*q + x = 0. Is q a multiple of 3?
False
Let u = 15 - -11. Let l(v) = v**2 - 6*v - 7. Let g be l(7). Suppose g = h + h - u. Does 13 divide h?
True
Suppose 5*v = -12 - 13. Let u = v - -8. Suppose -4*l - 5 - 21 = -2*m, -u*m = -4*l - 37. Does 11 divide m?
True
Let w(a) = a - 385. Let c be w(0). Is c/(-75) + (-4)/30 a multiple of 5?
True
Is (-4*9)/(((-6)/16)/1) a multiple of 12?
True
Let k(c) = -1 + 2*c - 5 + 1. Does 10 divide k(14)?
False
Suppose m + 5*p = -2*m + 115, -3*p - 83 = -2*m. Is m a multiple of 15?
False
Let c = 16 + -3. Suppose -d + 15 = 2*f, -3*f + 3*d + 40 = c. Is 4 a factor of f?
True
Is 18 a factor of 6/(-4)*1034/(-33)?
False
Let f(y) = -6*y + 1. Let o(p) = -p + 1. Let j(i) = f(i) - 3