+ -92. Is 31 a factor of d?
False
Let a(c) = -76*c + 3. Is 7 a factor of a(-15)?
False
Let x = 7 - 33. Let r = 13 + x. Does 6 divide 3/((-3)/r) - -4?
False
Suppose 6 = -4*t + 5*t. Let o be 16/t + (-8)/12. Suppose o*u = u + 12. Does 6 divide u?
True
Suppose 0 = -4*j - n + 22, -2*n + 9 + 0 = j. Let z = 8 - -10. Suppose -j*q + 243 = z. Does 15 divide q?
True
Suppose 12*f = -0*f + 4584. Does 2 divide f?
True
Let w = -107 - -157. Suppose -6*s + w = -940. Is s a multiple of 15?
True
Let u be ((-10)/(-4))/((-36)/(-8) - 4). Suppose -u*w + 919 - 224 = 0. Is 22 a factor of w?
False
Suppose 32*w - 1590 = 1578. Is 33 a factor of w?
True
Let k(v) = -89*v - 16. Is 13 a factor of k(-2)?
False
Let u be (-3)/(-2) + 6159/(-2). Let a be 2/7 - u/(-42). Let h = a - -133. Is h a multiple of 12?
True
Let q(s) = -5*s + 15. Let d be q(3). Is 3 a factor of 13 - -3 - d/1?
False
Let k(h) = 2*h + 5. Suppose -5*u - 12 = -11*u. Let t be k(u). Let n = 19 - t. Is 2 a factor of n?
True
Suppose 0*h = 4*h - 24. Let x be 40/(4 + h/(-2)). Does 3 divide ((-150)/x)/((-3)/8)?
False
Let w = -954 + 972. Is 9 a factor of w?
True
Let x be (-92)/22 - 6/(-33). Let q = x - -10. Is q - (1 - -1)*-1 a multiple of 4?
True
Let j(q) = 3*q**2 + 13*q + 10. Let c be j(-7). Let p = c + -10. Suppose 3*v - p = -v. Does 4 divide v?
False
Let g(d) = -2*d**3 - 19*d**2 - 9*d + 5. Let f be g(-9). Suppose -2*v + z = -3*z - 108, -f*v + 2*z + 278 = 0. Does 7 divide v?
True
Let u be (-2)/(3 + (-68)/20). Suppose 0 = -5*m - 25, -4*g = -u*m + 3*m - 10. Suppose 2*o + 0*o - 14 = g. Is o a multiple of 7?
True
Let z(k) = -4*k - 6. Let m be z(-2). Does 8 divide (m/(-4))/((-7)/714)?
False
Let k(d) = 5*d**2 - 3*d + 134. Is k(-28) a multiple of 72?
False
Let p be (-8)/6*3*1. Suppose -3 - 7 = -h. Does 8 divide ((-15)/6 - p)*h?
False
Suppose 20*u - 22*u + 36 = 0. Is u - 6 - (0 - -4) even?
True
Let c = 4982 + -2832. Is 36 a factor of c?
False
Suppose 4*i - 2*i = -n + 4108, 5*i - 4*n = 10244. Is i a multiple of 50?
False
Let t be 534/(-3) + (-5 - (-2 + -1)). Is 15 a factor of ((-21)/(-12))/((-3)/t)?
True
Suppose 0 = 5*z + 5*l - 3*l, 0 = l. Suppose z = u - 3*p + 8*p - 72, -2*u - 5*p + 134 = 0. Is u a multiple of 31?
True
Suppose -4*g + 0*g = 0, -2*g - 12 = -4*o. Suppose -4*z = -3*z, 200 = 5*n + o*z. Is n a multiple of 5?
True
Does 25 divide (-5314)/(-14) - (-4)/(-7)?
False
Let v be (35/10 + -4)/((-1)/(-644)). Let h = v - -462. Is h a multiple of 10?
True
Suppose 78 = -3*t - 3*c, 2*c - 6 = -c. Let o = -54 - -89. Let l = t + o. Is l even?
False
Suppose 5*c = 4*q + 18, 16 = -4*q + c - 10. Is (-18)/q*(-11)/(66/(-140)) a multiple of 8?
False
Suppose -r = -38 + 38. Is 15 a factor of 38 - 4*((-2)/(-8) + r)?
False
Suppose -5*k + 8*k + 9 = 0. Let q be (-4)/6 - (-13)/k. Let i(c) = -c**3 - 5*c**2 - 6*c - 6. Is i(q) a multiple of 14?
False
Let w = -9 - -9. Let u be -1 + w - (-6 + 1). Suppose 48 = -u*s + 136. Does 22 divide s?
True
Suppose 0 = -4*n + 63 - 55. Suppose n*l = 110 + 168. Is l a multiple of 18?
False
Let h = 33 + -14. Suppose h*t - 20*t - 114 = 0. Let s = 184 + t. Is s a multiple of 14?
True
Let r be (-6)/(1 + 17)*-6. Suppose 2*d + 25 = 7*d. Suppose 24 = 3*m + 3*g, -r*m - d*g + 18 + 4 = 0. Is 6 a factor of m?
True
Is 89 a factor of 4/10 + 480/(-75) - -807?
True
Let z be 0/(-2 + -3) - -136. Suppose 4*b - z = -3*y, 2*b = 4*b - y - 68. Is 14 a factor of b?
False
Let q be 184/6 - 4/6. Suppose 4*d - 70 = q. Is d a multiple of 8?
False
Suppose 4*g - 4*j + 32 = 0, -2*g = 2*g + 3*j + 11. Let o be (2/(-6))/(g/45). Let i(p) = 24*p + 6. Is i(o) a multiple of 20?
False
Suppose h + 1 + 46 = 0. Let n = h + 132. Does 17 divide n?
True
Let v(w) = 43*w + 1. Let p be v(1). Let l be ((1*p)/(-2))/(-1). Is 12 a factor of 11/l*(63 + -1)?
False
Suppose 0 = 6*g - 8*g + 944. Suppose 0 = -4*t - 3*q + 390, 8*q = 5*t + 4*q - g. Is t a multiple of 7?
False
Let p(z) = 215*z - 67. Is 26 a factor of p(3)?
False
Suppose 5*w + 94 = -61. Let h = 66 + w. Is 7 a factor of h?
True
Suppose 0 = 3*w - 2*w. Let c(l) = -4*l + 10. Let d be c(-14). Suppose -a - a + d = w. Is a a multiple of 13?
False
Let r = -224 - -344. Is r a multiple of 4?
True
Suppose -2*i = -2*s - 704, -3*i - 13*s + 1056 = -11*s. Is 8 a factor of i?
True
Suppose 2*o - 119625 = -23*o. Is o a multiple of 87?
True
Is 1 + 22325/20 + (-5)/4 a multiple of 18?
True
Let r(a) = 8*a - 2. Let m be r(1). Let j(k) = k**2 - 5*k - 8. Let z be j(m). Is 13 a factor of 23*z/8*-8?
False
Suppose 4*y + i = -41, 2*i + 2 = -2*y - 20. Let f = 3 + 31. Let c = y + f. Is 10 a factor of c?
False
Let r(l) be the first derivative of -l**4/4 + 7*l**3/3 - l**2 - 2*l - 2. Let n(c) = 4*c + 2. Let i be n(1). Is 6 a factor of r(i)?
False
Suppose p = -550 + 4029. Is p a multiple of 49?
True
Suppose -9*q + 4600 = 11*q. Does 9 divide q?
False
Let v(i) = 36*i**2 + 2*i - 1. Is 7 a factor of v(2)?
True
Suppose d + 50 = 3*d. Suppose 5*o - d = -0. Suppose 45 = o*s - 300. Does 19 divide s?
False
Does 18 divide 154/(-4)*15180/(-1155)?
False
Let q(m) = -69*m + 6. Let c(j) = 2*j**3 - 4*j**2 - j + 1. Let l be c(-1). Does 44 divide q(l)?
False
Suppose -2*f - 774 = -2*i, i + 3*f - 115 = 256. Does 23 divide i?
False
Suppose -2*c = -0*c + 3*p - 591, 4*c - 1167 = -3*p. Is 9 a factor of c?
True
Let d(l) = 2*l - 22. Let x be d(12). Suppose 2*r = -4*s + 126, -5*s + x*s + 93 = r. Is s a multiple of 15?
True
Let l = -316 + 14. Let a = -166 - l. Is 20 a factor of a?
False
Suppose -4*g - g = -15. Suppose -b = -g*b. Suppose b = -3*n - 0*n + 135. Does 15 divide n?
True
Let r(g) = -6*g**3 - 2*g. Let p(t) = -t**2 + 7*t + 6. Let n be p(8). Is r(n) a multiple of 9?
False
Suppose -75*a = -24*a - 6222. Does 2 divide a?
True
Let l(z) = z**3 - 11*z**2 - 9*z - 24. Let a be l(12). Suppose -5*q - 2*m = -43, 0*q - 17 = -2*q - m. Is 15 a factor of 548/a - 6/q?
True
Let m be (20/(-4) - -3)*7. Let f(k) = k**2 + 14*k. Let l be f(m). Suppose -3*a - a + 128 = l. Is a a multiple of 32?
True
Let q(s) = -33 + 19 + s + 6*s. Is 5 a factor of q(7)?
True
Let m(x) = 64*x + 31. Let g(c) = 13*c + 6. Let j(d) = -22*g(d) + 4*m(d). Let p be j(4). Is (6/(-4))/(6/p) a multiple of 7?
False
Suppose -11*s = -6*s - 110. Let j = s + -20. Does 13 divide (-205)/(-5) - (j + 0)?
True
Suppose 0 = i + 3*a - 607, -5*i - 266 + 3331 = 5*a. Does 7 divide i?
True
Suppose -5*q + 3*i + 2469 = -2777, -4*i = -3*q + 3152. Does 8 divide q?
True
Let s = 250 - -95. Is 3 a factor of s?
True
Suppose 51 - 1059 = -3*u. Is (u/(-18))/((-4)/18) a multiple of 12?
True
Suppose -40*u + 0*u + 5240 = 0. Is u a multiple of 3?
False
Is (2547/(-2))/((-238)/28 + 8) a multiple of 43?
False
Let u be (-4 - -3)/((-1)/5). Is 12*(10 - (u + -1)) a multiple of 18?
True
Suppose -3*u = -f - 232 - 40, u - 79 = -2*f. Let l(v) = -32*v**3 - 2*v**2 - 3*v - 2. Let r be l(-1). Let m = u - r. Is 26 a factor of m?
False
Suppose -j - 4*j = -540. Is 36 a factor of j?
True
Let p be (-2637)/(-12) - (-2)/8. Suppose 4*i = p + 240. Suppose -4*q = 4*m - 73 - i, 118 = 2*q - 4*m. Is 17 a factor of q?
True
Let i = -37 + 41. Does 20 divide 9/(-3) + 55*2 - i?
False
Let l = -50 + 54. Suppose -4*z + 180 = b, -4*b + 7*b - 548 = -l*z. Is b a multiple of 17?
False
Let a be 520/12*3/(-2). Suppose -31 = v - 0*v. Let f = v - a. Does 10 divide f?
False
Let w = 3 + 71. Let f = w + -137. Let h = 112 + f. Does 31 divide h?
False
Let f(t) = -2*t**2 - 2*t + 308. Does 22 divide f(0)?
True
Suppose 15*f - 6925 = 6725. Is f a multiple of 10?
True
Let v be -3 + -4 + (-4)/(-1). Is 0 + v + (25 - 6) a multiple of 16?
True
Let u(d) = -118*d + 396. Does 74 divide u(-28)?
True
Let o = 0 + 8. Let l = o - -22. Is 15 a factor of l?
True
Suppose -3 = 8*u + 13. Is (-78)/(-15)*(7 + u) even?
True
Suppose -1374 = 103*j - 106*j. Does 5 divide j?
False
Let z(v) = -v**2 - v - 1. Let o(b) = 5*b**2 + 16*b + 11. Let r(h) = -o(h) - 3*z(h). Let s be r(-8). Let i = -1 - s. Is i a multiple of 7?
False
Let v(h) = 2*h**2 + 18*h + 15. Let g be v(-8). Does 9 divide (-1 - g) + 2 - -46?
False
Let r = -661 - -1229. Suppose w - 4*w = y - 186, -3*y = 4*w - r. Does 32 divide y?
True
Suppose 0 = 4*g + 5*v - 219, -4*g = -2*v + 4*v - 222. Suppose -3*b - 32 = -g. Is b a multiple of 4?
True
Let d = -75 + 87. Is 28 a factor of 40*(-6)/(d/(-7))?
True
Let f = -1 - -2. Let m(h) = h**2 - 2*h + 1 + 3 + 96*h**3 - 3 + 0. Is 