+ 114. Is g a multiple of 6?
True
Suppose 0 = 4*g, 5*k - g + 667 = 1917. Is k a multiple of 34?
False
Let o = -196 + 117. Let r = o - -153. Does 8 divide r?
False
Let n(u) = -6*u**3 + u**2 + u + 2. Let m be n(-2). Suppose 52 = -0*c + 13*c. Suppose z - 5 = -a + 17, c*a = 5*z + m. Is 12 a factor of a?
False
Let o be (71*1)/(-4*(-8)/64). Suppose -6*p = -466 + o. Is p a multiple of 11?
False
Let v(r) = 44*r**2 - 28*r + 246. Does 66 divide v(8)?
True
Suppose -14*j + 24 = -10*j. Let r(p) = p + 4*p**2 + p**3 - j*p + 0 + 3 - 6. Is r(-4) a multiple of 17?
True
Let j = 114 - 76. Is j a multiple of 32?
False
Is 22 a factor of (1342/183)/(2 + (-17)/9)?
True
Suppose -3*n + 15 = -3*l, 3*n - 5 = l + 8. Let a be -3*(-4)/(-3)*l. Suppose 4*w - 68 = 3*d, -a*w + 9*w = d + 85. Does 3 divide w?
False
Suppose -4*p + 22 = 14. Let i(w) = 24*w**3 + 1. Does 35 divide i(p)?
False
Let s(f) = 420*f - 48. Does 44 divide s(2)?
True
Let i = 41 - 14. Let b = i - -77. Is 13 a factor of b/(-1 + 15/5)?
True
Let x(s) = 5*s**3 + 3*s**2 - 2*s - 5. Let o(k) = 11*k**3 + 6*k**2 - 5*k - 10. Let i(w) = 2*o(w) - 5*x(w). Is i(-3) a multiple of 27?
False
Suppose -5*l = 5*d - 4*d - 81, -5*l + 345 = 5*d. Suppose 123 + d = 3*w. Is 21 a factor of w?
True
Suppose -10 = -u - 7. Does 3 divide u?
True
Let c be (-1)/(-1 + 4)*-24. Is 3 a factor of 4/6*156/c?
False
Suppose -k + 17 = 4*s, -3*s + s + 4*k + 22 = 0. Let a(x) = -23*x + 3. Let v be a(-1). Suppose v = s*q - 34. Does 6 divide q?
True
Let f = 14 + -11. Suppose 8 = f*d + d. Suppose -3*z = i - 24, -d*i - 5*z = -4*i - 7. Does 3 divide i?
True
Let m = -14 - -17. Suppose j = m + 1. Let u(b) = 2*b - 5. Is u(j) a multiple of 3?
True
Let g = -86 + 89. Suppose -g*s = -4*s + 8. Is s even?
True
Let z(a) = 132*a**2 - 6*a - 2. Let p be z(2). Does 7 divide 5 + (-27)/5 + p/10?
False
Suppose 0 = 35*k - 33*k + 4. Let q = 5 - k. Is 7 a factor of q?
True
Let q = 68 - 47. Suppose 3 = -20*u + q*u. Suppose -2*o = d - 4*o - 26, -u*d - 4*o = -28. Is 8 a factor of d?
True
Let x = -28 - -31. Suppose -x*c = c. Suppose c = 3*z - 2*z - 48. Does 36 divide z?
False
Let n be (-166)/4*(4 - -3 - 5). Let v = 141 + n. Is 11 a factor of v?
False
Let a be (-14)/84 + 457/6 + 0. Let p = a + -34. Is p a multiple of 6?
True
Suppose -22*b + 20153 - 4379 = 0. Is b a multiple of 37?
False
Let a = -133 - -96. Is 20 a factor of a + 33 + 2*82?
True
Let f = -147 - -152. Suppose f*o + 135 = h, 565 = h + 3*h + 5*o. Is h a multiple of 8?
False
Let f(v) = -v**3 + 15*v**2 + 16*v + 2. Suppose 0 = -3*u - 2*u + 80. Let s be f(u). Is 11 - 6*(-1)/s a multiple of 14?
True
Let l(r) = r**3 + 28*r**2 - 27*r + 49. Is l(-28) a multiple of 35?
True
Is (32/(-10))/((11 + -6)/(-1325)) a multiple of 5?
False
Let y be 5*1*2*-2. Let w be ((-10)/y)/((-1)/(-6)). Suppose -4*k + 166 = w*a, 0 = a + 2*k - 35 - 21. Is a a multiple of 18?
True
Let p be (0 - -13)/((-2)/(-6)). Let g = -65 - -43. Let y = g + p. Is 7 a factor of y?
False
Let q = -283 + 423. Does 14 divide q?
True
Let t(w) = 169*w - 2. Suppose 4*l + 2 - 6 = 0. Let y be t(l). Let d = -118 + y. Is d a multiple of 7?
True
Does 19 divide -13*(-10257)/45 + 26/(-195)?
False
Let c(w) = 27*w + 258. Is c(42) a multiple of 48?
True
Suppose 23*p - 315 = 18*p. Does 21 divide p?
True
Does 47 divide 1885/20 - 20/80?
True
Let z(x) = -4*x - 2. Is z(-18) a multiple of 9?
False
Let p = 23 + -12. Let g = p - 6. Suppose 4*x - 22 = 2*t, -g*x = -2*t - 2*t - 20. Is 3 a factor of x?
False
Let a be -2*3/(-2)*-2. Let v(c) = 0 + 9*c + 0*c**2 + c**2 - 3 - 4*c + 0. Is 3 a factor of v(a)?
True
Let y = -1 + 3. Suppose 4*d - y*d + 12 = 0. Is (d/(-2))/((-1)/(-11)) a multiple of 11?
True
Let m(r) be the second derivative of -r**4/12 - 3*r**3/2 + 2*r**2 - 2*r. Let l be m(-9). Suppose l*j = -5*i + 11, 3*j = i + i - 9. Is i even?
False
Let t(v) = v**3 - 4*v**2 - 6*v + 7. Let r be t(5). Suppose -r*p = -3*p + 8. Does 21 divide p/24*159/1?
False
Does 46 divide 9282/12 + 6 - (-5)/2?
True
Suppose 164 + 204 = 2*g. Does 4 divide g?
True
Suppose 4356 = 16*t - 7036. Is t a multiple of 13?
False
Suppose -6*j = -61 - 11. Suppose 5*o - 4 = -14, s - j = 3*o. Does 2 divide s?
True
Let p(g) = -4*g + 2. Let l be p(3). Let b be (1 - (-40)/(-25)) + (-254)/10. Let q = l - b. Is 16 a factor of q?
True
Suppose 4*m = 287 + 137. Let p = 157 - m. Let r = p - 30. Is r a multiple of 9?
False
Suppose z - 2*q - 67 = 0, 55 = z - q - 11. Is z a multiple of 65?
True
Let i be (4/5)/2 + 894/(-10). Let v = 200 + i. Does 14 divide v?
False
Let h = 976 + -675. Is 7 a factor of h?
True
Let l be 34/2*-1 + -1. Let c = 57 + l. Is 10 a factor of c?
False
Suppose -3*s - d + 138 = 0, -1 - 5 = 2*d. Suppose 143 = b + s. Is 12 a factor of b?
True
Suppose -130 - 283 = -4*f + 3*u, -3*f - 4*u + 316 = 0. Is 22 a factor of f?
False
Suppose 5 - 13 = -h - d, -4*d - 3 = -3*h. Suppose -o - 2*s = -s - 97, -4*o + 389 = h*s. Does 32 divide o?
True
Let i(f) = 82*f**3 + 6*f**2 - 8*f + 8. Is i(2) a multiple of 7?
True
Is (3 + -9 - (-5 + -1)) + 119 a multiple of 2?
False
Let j(d) = d**3 + 23*d**2 - 13*d + 31. Is 15 a factor of j(-23)?
True
Suppose -5*w - 2034 - 1726 = -5*b, -5*b - 5*w + 3720 = 0. Is 45 a factor of b?
False
Suppose -l + a = 5 - 3, 25 = 5*l + 2*a. Suppose 0 = 5*v - 4*y - 272, -6 = -l*y - 0. Does 28 divide v?
True
Let h(m) = 40*m**2 - 47*m + 4. Is 53 a factor of h(7)?
False
Suppose -2*a = -3*a + 6. Let f(v) = 3*v + 22. Is 17 a factor of f(a)?
False
Let z be -108*(0 - -1) - 5. Is 12 a factor of (-6 - -5)*z*2?
False
Let d(g) be the third derivative of -g**6/120 + g**5/10 - g**4/8 - g**3 - 2*g**2. Let m be d(5). Suppose -m*f = -f - 75. Is 8 a factor of f?
False
Suppose -122 - 325 = 3*b. Let r = -103 - b. Does 23 divide r?
True
Suppose -6*l + 18 + 0 = 0. Let y(s) = 6*s**2 + 6*s - 17. Is 14 a factor of y(l)?
False
Let x(r) = -4*r**3 + 8*r**3 - 4*r - 14 - 3*r**3 - 5*r**2 + 6. Let b be x(6). Suppose -3*p + b*p + 4*s = 0, 0 = 4*p - 5*s - 84. Does 4 divide p?
True
Let d(j) = -j**2 - 6*j - 13. Let u be d(-3). Does 21 divide (-1)/u + 4690/56?
True
Suppose 0 = 4*z - 10 - 14. Suppose 473 = z*p + 59. Suppose 9 - p = -5*o. Is o a multiple of 2?
True
Does 36 divide ((-5400)/70)/10*-392?
True
Let z(u) = 156*u - 26. Does 35 divide z(6)?
True
Let k(t) = -25*t - 2. Let v be (1/(-3) + 1)*-3. Is 32 a factor of k(v)?
False
Let g = -10 - -10. Suppose g = 4*u - 37 + 181. Does 8 divide 176/18 - 8/u?
False
Suppose 103*y = 95*y + 3120. Does 65 divide y?
True
Let i(r) = r**3 - 3*r**2 - 28*r - 38. Does 2 divide i(8)?
True
Let r(p) = 3*p**2 - 9*p - 14. Does 30 divide r(-8)?
False
Is 7716/16 - (-4 + (-39)/(-12)) a multiple of 21?
True
Let f(c) = -6*c + 6. Suppose 4*t + 4*l = 44, 0 = -t + 3*t - 5*l - 22. Let z = -17 + t. Is 21 a factor of f(z)?
True
Let k = -53 - -62. Let b = k + 133. Is 28 a factor of b?
False
Suppose -5*o + 6 + 4 = 0. Suppose -5*s + 3 = -4*m - o, 2 = 2*s. Suppose 5*r + 2*l - 65 = 0, r - 4*l - 35 = -m*r. Does 5 divide r?
True
Let z(h) be the first derivative of -h**3/3 + 9*h**2 - 7*h + 8. Is 20 a factor of z(8)?
False
Suppose -2*q - 2*u - 2 = 0, -2*u - 23 = -3*q - 2*q. Suppose -q*n + 90 = -9. Is n a multiple of 8?
False
Let f(c) = 2*c**2 + 8*c + 12. Let m be f(-6). Suppose -4*i - 20 = 0, 2*g - 3*i = -i + m. Is g a multiple of 13?
True
Let r be (-58)/6 - 2/(-3). Let k(u) = -8*u + 18. Let s be k(3). Is 2 a factor of (-6)/r - 44/s?
True
Let y = 1453 + -207. Is 14 a factor of y?
True
Let h = 1446 - 746. Let b = h - 450. Does 50 divide b?
True
Let j(g) = 35*g**2 + 16*g + 21. Is j(-3) a multiple of 17?
False
Let a(v) = 32*v. Let l be a(3). Suppose 20 = 13*m - 32. Suppose -m*f + 342 = s, 3*f - 5*s - 341 = -l. Is f a multiple of 26?
False
Suppose 1468*x = 1483*x - 9675. Is 15 a factor of x?
True
Let y be (-1 - 1)*6/4 + 3. Let d = -19 - -136. Suppose y*c - d = -3*c. Is c a multiple of 15?
False
Suppose 9 = 3*c - 6. Suppose 6 = c*w - 9, -5*s - 3*w = -49. Is 4 a factor of s?
True
Suppose 5*j - j - 20 = 0. Suppose 0 = -i + 2*v - 54, 4*i - 3*v = -j*v - 226. Is (-8)/i + 628/14 a multiple of 15?
True
Suppose 0 = -3*m + 264 + 396. Does 29 divide m?
False
Let k(y) = 2*y - 21. Let s be k(12). Is 23 a factor of 413/4 + s/(-12)?
False
Let r(b) = -b**3 - 9*b**2 + 11*b + 12. Let q be r(-10). Suppose 2*w + 2 = -q*p + 6, -3*p = 5*w. Let s = 52 + p. Is 15 a factor of s?
False
S