965)/(-35) + (-4)/14 a multiple of 12?
True
Suppose -44 = -o - 39, 0 = 4*f + 5*o - 10705. Does 32 divide f?
False
Let h(q) = 17*q**2 - 3*q + 2. Let w be h(-5). Suppose 4*g - 82 + w = 0. Let o = g + 170. Does 17 divide o?
False
Suppose -2640 - 870 = -18*d. Does 65 divide d?
True
Let s = 1060 - 1564. Let x = -9 - -2. Is 14 a factor of (18/x)/(12/s)?
False
Does 31 divide ((-2)/(-3))/(2174/1086 - 2)?
False
Let z = -124 - -179. Let b = z - 35. Suppose -w + b + 62 = 0. Does 17 divide w?
False
Let i(f) = 6*f - 5*f - 31 + 7*f - 19. Does 11 divide i(20)?
True
Does 17 divide 4245 - -2 - 2/2*-3?
True
Let c(z) = 12*z - 1. Suppose 0 = -l - 2*l + 9. Is 7 a factor of c(l)?
True
Let u(o) = 14*o**2 + 4*o - 3. Let f be u(-4). Suppose 4*d - f = -x - 0*x, x = 1. Let v = 76 - d. Is v a multiple of 5?
True
Let j be -2*4/(-4)*1. Suppose 0 = -k - k + 168. Suppose b = -j*b + k. Is b a multiple of 15?
False
Suppose -4*v = -16, -4*v + 34 = 4*y + 6. Suppose -4*b + y*s + 587 = 0, b + 2*s + 13 = 168. Suppose -n - 2*n = 5*k - b, 4*n = 5*k - 128. Does 6 divide k?
False
Let j = 654 - 294. Suppose -3*a + j = 3*a. Does 6 divide a?
True
Suppose -17 = 4*s - 81. Suppose -285 = -3*d + 3*h, s = -d - 5*h + 141. Does 5 divide d?
True
Let u(z) = 17*z + 3. Let x be u(4). Suppose k + f + x = 5*k, 4*k = -2*f + 74. Is k a multiple of 6?
True
Suppose -17*d + 1643 = 147. Is d a multiple of 22?
True
Suppose 0 = 2*x + 2*j - 406, -x + 16*j = 19*j - 207. Is x a multiple of 46?
False
Let u = 36 + -31. Suppose -u*g = 3*g - 1976. Suppose -355 = -4*d + 3*f, -3*f - g - 23 = -3*d. Is 18 a factor of d?
False
Suppose 2*j - 5 = -2*j + 3*r, -5*r = 4*j - 45. Suppose 5*s - 91 = -2*c, -j*s - 2*c + 70 = -7*c. Is 13 a factor of s?
False
Suppose 7*i + 459 + 598 = 0. Let m = i + 276. Is m a multiple of 27?
False
Suppose t - 884 = -0*t + 3*k, 4*t + 5*k - 3536 = 0. Is 16 a factor of t/28 - 6/(-14)?
True
Suppose 4*z = -4*t + 12, 0 = -z - 3*t + 5*t. Suppose 0 = y - 2*i - 2*i + 19, y + 11 = z*i. Is 9 a factor of y*(-9)/(-6)*-2?
True
Is (3478 - -3) + (4 - 3)*2 a multiple of 129?
True
Suppose -508*w + 796 = -507*w. Is w a multiple of 22?
False
Let p be 6/(-39) - 368/(-26). Suppose -3*z = -4*s - s + 7, p = 2*s - 4*z. Does 16 divide ((-148)/(-16))/(s/(-4))?
False
Let n(f) = 2*f**3 - 14*f**2 + f + 6. Let o be n(7). Let l = 59 + o. Is 12 a factor of l?
True
Suppose -6*b - 4131 = -33*b. Is b a multiple of 3?
True
Let p = -8 + 20. Suppose -2*w + 66 = 4*m, -84 = 9*w - p*w - m. Is w a multiple of 19?
False
Let z(b) = -237*b - 17. Let j be z(-7). Suppose -524 = 5*i + 5*f - 2164, 4*f = -5*i + j. Is i a multiple of 55?
True
Suppose -2*x = 3*x - 5. Is 7 a factor of -6 + 41 + 3 + x?
False
Let m(q) = -q**2 - 23*q + 40. Suppose -3*r + 43 = -2*n, -2*n + 2*r = -0*n + 42. Is m(n) a multiple of 26?
False
Let x(n) = n**3 - 6*n**2 - 8*n + 7. Let m be x(7). Suppose -5*a + m*t = -3*t - 608, -384 = -3*a - 3*t. Is 47 a factor of a?
False
Let x(w) = 8*w**2 + 4*w + 6. Let a(m) = -9*m**2 - 5*m - 7. Let i(z) = 3*a(z) + 4*x(z). Let q(s) = s - 6. Let p be q(4). Is i(p) a multiple of 15?
False
Let m be 774/24 - 2/8. Let p = 36 - m. Suppose 6*u - p*u + 214 = 3*b, -b + 4*u = -58. Is b a multiple of 15?
False
Suppose 9*p = 2216 + 484. Suppose -3*x = 3*r - p, 0 = -3*x + r + 4*r + 332. Is 8 a factor of x?
True
Suppose 0 = -5*b - 2*b + 749. Let d = b - 37. Does 10 divide d?
True
Let p(n) = 8*n - 31. Let j be p(4). Let v(i) = i**3 + 5*i**2 + 3*i + 2. Let g be v(-3). Suppose -m - j = -g. Is 10 a factor of m?
True
Let q(t) = 4*t - 1. Let a be q(1). Suppose a*j - 4 = -6*s + 5*s, 14 = 2*j - 5*s. Let h = j + 5. Is h a multiple of 2?
False
Let k be 26/5 - 4/20. Suppose 0 = -4*r, k*c - 673 = -2*r - 208. Is c a multiple of 17?
False
Suppose -4*z + 145 + 99 = 0. Suppose 5*o = -4*h - 2 + 14, h + 10 = 2*o. Suppose -z - 131 = -o*d. Is 13 a factor of d?
False
Let v(q) = q**3 + 3*q**2 - 4. Let z be v(3). Suppose -z = 3*d - 4*d. Suppose 9*m - 4*m = d. Is m a multiple of 5?
True
Let d(k) = 2*k - 9. Let l be d(5). Suppose l = -2*a + n, 4*a + 0 = -2*n + 2. Suppose a = -2*y + 7*y - 15. Does 3 divide y?
True
Let n be (2/2)/(4 + -1 + -4). Is 16/2*((n - -4) + -1) a multiple of 10?
False
Does 6 divide (-73)/(-1) + -25*3/(-15)?
True
Let y(a) = -11*a**3 - 18*a**2 - a + 1. Is 5 a factor of y(-3)?
False
Let x(y) = -7 - 4*y + 5*y + y + 6*y. Suppose -3*a + 2*f + 43 = 0, -2*f - 57 = -4*a - 3. Does 27 divide x(a)?
True
Let o(q) = 378*q**2 - 23*q + 46. Is 36 a factor of o(2)?
True
Let h = -1514 + 2349. Is 4 a factor of h?
False
Let m(k) = 87*k + 1. Let l be m(1). Suppose -3*i + l = -4*w, 5*i - 160 = 7*w - 3*w. Does 10 divide i?
False
Let n(m) = 2*m**3 - m + 1. Let t be n(1). Suppose 4*y = -t*y + 60. Is y a multiple of 10?
True
Let w be 2/(-6) - (-22)/3. Let q be (1 + -1 - 1)*w. Let u(z) = 2*z**2 + 11*z + 5. Is u(q) a multiple of 16?
False
Suppose 460 + 106 = z. Suppose -4*w - 5*g = -452, 4*w - z = -4*g - 114. Is 12 a factor of w?
False
Let f(x) = -x**3 - 5*x**2 - 5*x - 4. Let s be f(-4). Suppose 0*i = 4*i, 4*y + i - 84 = s. Is y + (-3)/(-2)*2 a multiple of 12?
True
Let c(s) be the second derivative of s**4/12 + s**3/6 - s**2 - 8*s. Is 9 a factor of c(6)?
False
Suppose 0 = 2*h - 3*k + 23, 2*k = -h - 2*k - 6. Does 30 divide (h/3)/(-2 - (-321)/162)?
True
Let v = 8802 - 6232. Let d be v/8 - (-1)/(-4). Suppose 2*a - 438 = -0*u - 4*u, -3*u - 3*a = -d. Is 24 a factor of u?
False
Does 32 divide -2*((-1542)/12 + 2)?
False
Let i = 23 - 23. Suppose -261 = -3*s - 4*t + t, i = -2*s + t + 165. Does 12 divide s?
True
Let y be ((-15)/10)/(2/(-12)*-1). Is 12/(-9)*2*y a multiple of 24?
True
Let d = -80 + 126. Suppose 0 = -3*s + 5*s + d. Let m = s - -37. Is 14 a factor of m?
True
Let v = 924 - 798. Is v a multiple of 21?
True
Let y(z) = 215*z - 22. Let g be y(6). Suppose 0 = -3*u + 2*u + 3*t + 244, -3*t = -5*u + g. Is u a multiple of 16?
True
Let d = 14 + -11. Suppose 0 = 5*x + s - 380, 8*s - d*s = -x + 100. Does 15 divide x?
True
Suppose q + 351 = 3*d, -2*q - 6 = 5*d - 580. Is 4 a factor of d?
True
Let j(q) = -q**3 + 10*q**2 - 6*q - 8. Let h(s) = -s + 27. Let v be h(18). Is 5 a factor of j(v)?
False
Suppose -2*u - 36 = -u. Let c = u + 27. Is 3 a factor of -5 + 2 - (c + 1)?
False
Suppose 25*r + 5*r - 240 = 0. Let b(x) = 17*x - 15. Let z(o) = -6*o + 5. Let k(u) = -2*b(u) - 7*z(u). Does 15 divide k(r)?
False
Suppose -4*h + 3052 = 4*s - 3064, h + 7651 = 5*s. Is s a multiple of 102?
True
Let b = 225 - -243. Suppose b = 4*z - 4*g, 3*z + 3*g - 234 = z. Does 13 divide z?
True
Suppose 12*k - 342 = 11*k. Does 9 divide k?
True
Let u(j) = -j**3 + 26*j**2 - 22*j - 71. Let r be u(25). Is 4*(r + 35/10) a multiple of 15?
True
Suppose 5*j = 2*t + 287, j = -3*t - 122 - 300. Let g = -65 - t. Is g a multiple of 19?
True
Suppose 0 = 2*s - 592 - 138. Suppose 4*n = s + 323. Suppose -3*f + 17 = -n. Is 23 a factor of f?
False
Let g(u) = -27*u + 235. Is g(-39) a multiple of 14?
True
Let o(q) = 21*q - 1. Let c(s) = 2*s - 6. Let h be c(4). Let i be o(h). Let n = i + 17. Does 15 divide n?
False
Suppose 14793 = 5*w + 32*t - 31*t, 0 = -4*w - t + 11834. Is w a multiple of 15?
False
Suppose 2*l + 41 = 75. Is l a multiple of 5?
False
Suppose 23*g - 6*g = 1462. Is 3 a factor of g?
False
Let w(c) = c**3 - 18*c**2 + 15*c + 37. Let b be w(17). Suppose 0 = -b*z, -4*q - 171 = -7*q - 4*z. Is q a multiple of 10?
False
Let r be (-6)/(-3) - (4 - 5). Suppose 0 = -3*a - 9, -2*h + r*a + 268 = a. Is h a multiple of 34?
False
Let d = 1674 - 744. Is 11 a factor of d?
False
Let o(s) = 3*s + 1. Let m be o(-4). Let q(d) = 7*d**2 + 11*d - 4. Let p(v) = v**2 + 2. Let w(t) = 6*p(t) - q(t). Does 8 divide w(m)?
True
Let a be 3 - (-10 + 3 + -4). Let w = 31 + a. Is w a multiple of 45?
True
Suppose 0 = 4*z - 2*h, -7 - 9 = -2*z - 3*h. Suppose -o + z*o + 61 = 0. Let d = o - -116. Is d a multiple of 31?
False
Suppose -f - 5 = 2. Let r be (-16)/(-5) - f/(-35). Suppose -3*n + 2*n + 81 = -p, 5*n - 373 = -r*p. Is 16 a factor of n?
False
Suppose -19 + 875 = 2*s + 3*b, 0 = -2*s - 4*b + 858. Is 7 a factor of s?
False
Let f(h) = h**3 - 6*h**2 + 7*h + 7. Does 2 divide f(5)?
False
Suppose 3*s - 8 = 5*s. Let d(w) = 8*w**2 + 2*w. Let z be d(s). Suppose -4*q = q - z. Is q a multiple of 24?
True
Let m(n) = -50*n + 524. Is 38 a factor of m(-13)?
False
Let b be 14/(-4)*(-18)/(-9)