27*f. Does 7 divide 139/f + c/24?
True
Suppose 6*g - 6 = -y + 4*g, 0 = y + 5*g - 15. Suppose 2*d + y*d - 208 = -f, f - 2*d = 188. Is f a multiple of 9?
True
Let f be ((-10)/(-8))/(10/280). Let v be 10/f - (-4)/(-14). Suppose 0 = -4*u + 4, v = -w - 3*u + 14 - 2. Is 3 a factor of w?
True
Let l(s) = -s**2 - 6*s. Let o be l(7). Let j = 27 + o. Let a = j + 132. Does 14 divide a?
False
Let r be -6 + 28/5 + (-17)/(-5). Let t(m) = -r*m**2 + 19*m**2 + 9 - 14*m**2 + 8*m. Is t(-4) a multiple of 2?
False
Suppose -r - 4*r - 12618 = -7*r. Is r a multiple of 9?
True
Let w(v) = v**2 - v + 8. Let n(j) = -2 - 10*j**3 - 66*j + 65*j + 0 + 0*j**3. Let i be n(-1). Does 16 divide w(i)?
True
Let c = -9 - -13. Suppose -c*j - q - 15 + 59 = 0, 33 = 3*j + q. Let z = 10 + j. Is z a multiple of 3?
True
Let m = 244 - 228. Suppose -660 = -m*p + 5116. Is p a multiple of 39?
False
Let w(h) = 95*h**2 + 60*h + 850. Is 17 a factor of w(-23)?
True
Let n(p) = 4*p + 34. Let i be n(-15). Let x be 189/39 - (4 + 108/i). Suppose -235 = -x*y + 125. Is 8 a factor of y?
True
Is 2 a factor of (98 + (-30)/(-5))*(-18)/(-4)?
True
Let h = -244 - -197. Let y = h + 60. Does 9 divide y?
False
Let m(i) = 2*i**2 - 2*i + 17. Let g be m(-8). Let k = 214 - g. Does 19 divide k?
False
Let z(r) = -15 - 13*r - 9*r + 51*r - 10*r - 17*r. Suppose -8 = -3*m + 19. Is z(m) even?
False
Suppose 0 = -5*x + 3*g - 16, 0 = 4*x - 3*g + 1 + 10. Let i(j) = 5*j**2 - 2*j - 36. Is 12 a factor of i(x)?
False
Suppose 8*m - 15279 - 33482 = -11161. Is m a multiple of 12?
False
Suppose 4*d = 5*a - 308, -3*d - 159 = 3*a + 45. Let v be 126/84*(-1 - 89). Let j = d - v. Is j a multiple of 9?
True
Suppose -51*b = -47*b - 16. Let n = b - -5. Suppose -3*k + 117 = -n. Is k a multiple of 14?
True
Suppose -3*c + 36 = -3*v, 16 = c + c - 4*v. Let w be (1 - 5) + (13 - c). Is 13 a factor of (-4)/18 + (w - (-3290)/63)?
False
Suppose 12 - 34 = -2*f. Let b = f - 7. Suppose v = 10 - 5, -4*o - b*v + 68 = 0. Is o a multiple of 4?
True
Suppose 0*z - 6*z = -14976. Suppose 5*x + 1196 + 1909 = -5*r, 0 = -4*r + 2*x - z. Let o = -281 - r. Is 38 a factor of o?
True
Let q(m) = 2028*m - 4840. Is 7 a factor of q(6)?
False
Suppose 0 = 80*z - 81*z + 142. Let o = -66 + z. Is o a multiple of 38?
True
Suppose -5466 = -r - 2*z + 240, 4*z = 12. Is r a multiple of 20?
True
Let q be ((-1025)/35)/(1/(-7)). Suppose 204 = 3*n - 3*b, -q = 5*n + 3*b - 537. Is n a multiple of 2?
False
Suppose -66*m = 47*m - 176171 + 55374. Is m a multiple of 2?
False
Let x be 10992/36*45/20. Let l = 187 - 124. Suppose -3*r + x = -l. Does 42 divide r?
False
Let s(i) = i**2 + 27*i + 55. Let y be s(-25). Suppose y*j - 25069 = -4*r, -6*j = -4*j + 3*r - 10029. Does 12 divide 9 - j/(-36) - 2/8?
False
Let f = 388 + -381. Suppose 10*i - 594 = f*i. Is 18 a factor of i?
True
Let w = -139 - -143. Suppose w*a = 5*y + 3*a - 3792, -5*y + 3786 = 2*a. Is y a multiple of 37?
False
Let d be -1 + 2/10 - (-551)/95. Suppose 7*a - d = 6*a. Is ((-64)/80)/((-2)/a) a multiple of 2?
True
Suppose 3*t - 254 = -95. Let g(n) = 4*n + 3. Let y be g(5). Let z = t - y. Does 15 divide z?
True
Suppose -5*y + 33*s + 7751 = 37*s, -3*s - 7723 = -5*y. Is 13 a factor of y?
True
Let d(j) = 2*j - j + 572*j**2 - 574*j**2 + 9*j**3. Let o be d(1). Suppose o*c + c - 567 = 0. Does 9 divide c?
True
Let y(o) = o**2 - 75. Let u be y(0). Let w = 1083 + u. Suppose w = 17*m - 11*m. Does 13 divide m?
False
Let p = 2861 + -1663. Let v(m) = m**3 - 6*m**2 + 2*m + 3. Let h be v(3). Is (-84)/(-189) - p/h a multiple of 12?
False
Suppose -160*j + 165*j + 3*k - 2606 = 0, 0 = 3*j + 5*k - 1554. Does 12 divide j?
False
Let s be 150/120 + (-1278)/(-8). Suppose -x + 3*m + s = 0, 2*x - 233 = 2*m + 69. Is x a multiple of 14?
False
Suppose -3*m - 2055 = -2*k, -k + 69*m - 68*m + 1025 = 0. Is k a multiple of 13?
False
Let b(u) = 0 + 1 + u + 8 + 5. Suppose 2*a = -5*w - 5, -3*w + 3 = 5*a + 6. Is b(a) a multiple of 14?
True
Let z = -462 - -280. Let p = z + 272. Does 14 divide p?
False
Suppose s - 2*s - 7 = -n, -s - 2 = 0. Suppose -n*q + 6 = q. Is q - (-28 + -2 + 2) a multiple of 13?
False
Suppose -3*x - 34 = -2*y, 4*y + 2*x - 5 - 31 = 0. Let v be (-2 - -1 - 0) + 23. Let r = v - y. Is r a multiple of 5?
False
Suppose -5*g - 109*x + 111*x + 113669 = 0, 4*x = 5*g - 113673. Is g a multiple of 179?
True
Does 82 divide (0 + -1 - (2 + 325))/(18/(-981))?
True
Suppose z = -46*z + 67680. Is 6 a factor of z?
True
Let v(i) = i + 18. Let t be v(-18). Suppose t = -46*h + 51*h + 100. Is 17 a factor of (-62)/((h/5)/4)?
False
Let d(q) = -q + 1. Let m(s) = 35*s + 10. Let l(k) = 3*d(k) - m(k). Is l(-6) a multiple of 18?
False
Let a = -17 - -177. Is 31 a factor of a/1 + 34 + -39?
True
Is 119 a factor of ((10013/38)/(-31))/(1/(-280))?
True
Suppose 4*k + o = 88357 - 23963, 0 = -o - 6. Is 64 a factor of k?
False
Let u(b) = b**3 - 100*b**2 - 113*b + 2840. Does 202 divide u(103)?
True
Let v be 76/19 + (-4)/(-2). Suppose 46 = v*h - 26. Is h even?
True
Let o(p) = 2*p**2 - 18*p + 3. Let q be o(9). Let c be ((-418)/(-33))/(q/(53 - -1)). Suppose -22*l + c = -18*l. Is l a multiple of 14?
False
Let g(q) = -3*q**3 - 6*q**2 - 2*q + 20. Let i be g(-8). Suppose -3*w - i = -6*w. Is w a multiple of 6?
True
Let o(u) = u**2 + 6*u + 5. Let a be o(-6). Suppose -a*i = -2 - 13. Suppose -i*w + 34 = -14. Is w a multiple of 4?
True
Let c(i) = -i**3 - 18*i**2 - 16*i + 23. Let w be c(-11). Let g = 1382 + w. Is g a multiple of 18?
False
Let q(d) = 21*d**2 - 19*d + 46. Let a be q(-11). Suppose 0 = 20*u + a - 20856. Does 13 divide u?
False
Let l(q) = 229*q + 7004. Is l(129) a multiple of 12?
False
Suppose 0*n + n + 94 = 5*x, 4*n = 4. Let z(l) = -134*l + 286*l - x - 138*l. Is z(9) a multiple of 19?
False
Let o = 7 - 9. Let q be 22*(-2 - 19/o). Let s = q - 56. Is s a multiple of 26?
False
Let z be -5 + 3 + -1 + 879. Suppose 7*j - 391 - z = 0. Is 35 a factor of j?
False
Let g(f) = 201*f**2 - 57*f - 144. Is g(10) a multiple of 27?
True
Let o(d) = -7*d**3 - 3*d**2 - 45*d - 325. Is o(-7) a multiple of 22?
True
Is 11 a factor of -3*84/(-54)*23100/(-8 - -15)?
True
Suppose 0 = -24*w + 21*w + 333. Suppose 4*p - r - 425 = -2*r, -w = -p - 5*r. Does 22 divide p?
False
Suppose 2*t + 0*t - 46 = -5*z, 5*z = -3*t + 49. Does 7 divide (7 - 150/z)/(2/(-8))?
False
Suppose -2*f + 32762 = -12*l + 14*l, 0 = -2*f + 5*l + 32755. Is 126 a factor of f?
True
Let v be (-78)/(-234) + (0 - 20/(-3)). Let s(r) = 45*r + 7. Is s(v) a multiple of 14?
True
Suppose 2*z - s - 3 = 1, -5*z = -5*s. Suppose z*q + 3 = q. Is 20 a factor of (-924)/60*(q + -4)?
False
Let o(a) = 14399*a - 897. Is o(3) a multiple of 180?
True
Suppose 59*p - 64*p + 25 = 0. Suppose 2*g - 2061 = -g + 2*b, -p*g = 2*b - 3451. Is g a multiple of 13?
True
Let i be (-9 - 0)/(0 - 3) - 362. Let s = i - -927. Does 71 divide s?
True
Let i(x) = -x**3 - 22*x**2 - 25*x - 17. Let h be (4 - 1)*3 - (0 - -3). Let r be 1 + h/(-10) - 1070/50. Is i(r) a multiple of 6?
False
Suppose -2*k + 2*q + 7 - 17 = 0, -2*k - 10 = -3*q. Let c(o) = 4*o**2 - 15*o - 68. Is 3 a factor of c(k)?
False
Let d(w) = 700*w + 60. Is d(48) a multiple of 187?
True
Let c(s) = -7*s + 77. Let z(w) = w**3 - 13*w**2. Let t be z(13). Let o be c(t). Suppose 6*g - 37 = o. Is g a multiple of 11?
False
Let g = 32 + -30. Suppose -n + 158 = -g*a, 84 = -3*a - 4*n - 164. Let o = -30 - a. Does 10 divide o?
True
Let p(r) = -4*r**3 - 3*r**2 + 3. Let u(t) = -t**2 + 18*t - 29. Let a be u(15). Suppose -y = -0*y + 5, -3*g - a = 2*y. Is 5 a factor of p(g)?
False
Let v = 1900 - 1691. Is v a multiple of 3?
False
Let z(x) = 23*x**2 + 3*x + 3. Let l be z(-1). Suppose l*n - 18*n - 610 = 0. Does 26 divide n?
False
Suppose -1422 = -10*h + 718. Suppose -h - 308 = -6*d. Is d a multiple of 28?
False
Suppose 49483 = -31*j + 35*j + 3*i, 2*i = 2*j - 24724. Is j a multiple of 37?
False
Let c(a) = 3*a + 3. Let z be c(5). Let s be -129*-1*(2 + -1). Suppose -3*m = 5*g - 141, 5*g + s - z = 3*m. Does 14 divide m?
True
Suppose -4*q - 20 = 0, -2*z = -12*q + 16*q - 4618. Does 68 divide ((-9)/27*z)/(-1*1)?
False
Let o(v) = 2*v**2 - 16*v + 20. Let h be (-56)/(-12) - -1*(-2)/(-6). Let w(k) = 2*k**2 - 7*k. Let b be w(h). Is o(b) a multiple of 46?
True
Let c(w) = -w**3 - 5*w**2 - w - 9. Let s = 39 - 36. Let n(r) = -r - 3. Let u be n(s). Is c(u) a multiple of 11?
True
Supp