/(-6))?
True
Suppose 0 = -17*h - 7*h + 55008. Is 37 a factor of h?
False
Suppose 2 = 3*v + 2*q - 0, -v - 2*q = 2. Suppose 5*b + v = -4*c, b + 3*c - 2 = c. Is 128/12 - b/(-3) a multiple of 5?
True
Suppose -5*x - h - 32 = 0, x - 2*x - 12 = 3*h. Let n = x - 0. Does 8 divide ((-54)/21)/(n/56)?
True
Let a = 285 - -203. Suppose 3*r + 5*g = a, -g - 152 = -0*r - r. Does 15 divide r?
False
Let z(r) = 3*r**2 - 52*r + 22. Is z(21) a multiple of 11?
True
Let n(w) = 63*w + 27. Is 78 a factor of n(7)?
True
Suppose 2*j = 10*j + 320. Let p = -25 - j. Is p a multiple of 15?
True
Let z = -47 + 80. Let i = z - -7. Suppose 6 = -y + i. Does 34 divide y?
True
Let y = 2310 + -1601. Is y a multiple of 70?
False
Is 2 a factor of (-92)/(-6) - (8/(-3) + 3)?
False
Let f = 277 + -186. Let c = 49 - f. Is 18 a factor of (36/(-14))/(3/c)?
True
Let h(q) be the third derivative of q**4/24 - 2*q**3/3 + q**2. Let y be h(5). Is 6 a factor of (y + 9 - -1) + 0?
False
Let v(t) = -t**3 + 4*t**2 - 3*t + 3. Let p be v(3). Let j(m) = m**2 + 4*m - 5. Let l be j(-6). Suppose -p*g + 26 = -2*c + l, c - 4 = 0. Is 3 a factor of g?
True
Suppose -t + 178 = 2*c - 161, 5*c - 5*t = 825. Does 21 divide c?
True
Let o(w) = -w**3 + 2*w**2 - w + 21. Let s be o(0). Suppose -2*h - s = -5*h. Is h even?
False
Suppose -88*a = -114*a + 7358. Is a a multiple of 10?
False
Suppose 30*v = 34*v - 3*r - 609, -v = r - 147. Is v a multiple of 4?
False
Let o(i) be the third derivative of -11*i**6/720 + i**5/10 + 5*i**4/24 + 8*i**2. Let k(x) be the second derivative of o(x). Is k(-4) a multiple of 14?
True
Let z = -16 - -12. Let u be (-4 - 16/z) + 2. Suppose 3*b = u*b + 8. Is b a multiple of 4?
True
Let f(u) = -10*u + 15. Let t(n) = 15*n - 22. Let w(o) = -8*f(o) - 5*t(o). Does 15 divide w(5)?
True
Let x = 24 + -21. Let k be x*((-38)/(-3) - 4). Let j = k - 7. Is 19 a factor of j?
True
Let u = 31 + -24. Suppose -5*d + 157 - u = 0. Is 15 a factor of d?
True
Suppose p = -5, -4*d + 0*p + p = -3257. Does 15 divide d?
False
Suppose -v = -2*v. Suppose v = -3*w + 114 + 6. Does 40 divide w?
True
Let b(l) = l**2 - 6*l + 7. Let o be b(5). Let i = -137 - -139. Does 10 divide (o - (-3)/1)*i?
True
Suppose -1905 = -5*j - 2*s, -4*j = s - 2085 + 564. Is j a multiple of 2?
False
Let k(i) = -2*i + 4. Let f be k(-2). Does 14 divide f/(-2) - (-5 - 38)?
False
Let z = 775 - 746. Does 10 divide z?
False
Let w be 7 - ((-9 - -3) + 2 + 2). Suppose p = -2*p + w, 0 = 5*r + p - 403. Is 16 a factor of r?
True
Let k(f) = f**2 - 14*f + 12. Suppose 8*i = 10*i - 28. Is 3 a factor of k(i)?
True
Suppose -2*o - m = -20, 3*m + 28 = 5*o - 0*o. Suppose o*f = 3*f + 2*r + 39, -24 = -4*f - 2*r. Suppose 0 = -5*t, -2*p - 20 = -f*p - 3*t. Is 2 a factor of p?
True
Let n(y) = -2*y + 18. Suppose -12*h = -9*h. Is n(h) a multiple of 12?
False
Suppose -5*h = -h - 16. Suppose h*r = 2*c - 12, -4*c + 3*c - 3*r = -1. Suppose c*t - 9 = 187. Does 13 divide t?
False
Suppose -3*v - n + 30 = 0, -n + 3*n + 6 = 0. Suppose v = -4*m - 9. Is 7 a factor of (-63)/m + (-2)/(-5)?
False
Let f = 65 + -48. Let v(x) = x**2 - 18*x + 22. Does 5 divide v(f)?
True
Let w(z) = 7*z - 32. Let o be w(14). Suppose 5 + 5 = 5*u. Suppose 0 = -d - 2*d + 3*a + 45, -u*a + o = 4*d. Is 16 a factor of d?
True
Let z(r) = -r + 9. Let u be 17/3 - (-6)/18. Let n be z(u). Suppose -n*q + 4*m - 12 = -194, -5*m = 2*q - 83. Does 12 divide q?
False
Suppose -170 + 18 = -2*c. Suppose -u = 4*h - c, -84 = 3*u + h - 312. Is 19 a factor of u?
True
Let i(l) = -2*l**2 + 11*l - 7. Let v be i(7). Let j = v + 53. Does 7 divide j?
False
Suppose a - 5*w - 514 = 0, 2*a = 6*a + 2*w - 2034. Is 41 a factor of a?
False
Let w(r) = 6*r**2 + 10*r + 2. Does 58 divide w(-4)?
True
Suppose 0*p - 13 = -p. Let m = 2 + p. Suppose -13*w + m = -8*w. Does 2 divide w?
False
Let g(m) = -m**2 + 49*m + 264. Does 24 divide g(33)?
True
Let d(g) = g**2 + 4*g + 30 - 5*g + 89. Is 27 a factor of d(0)?
False
Let n be (-150)/(-20)*(-4)/6. Suppose 0*q + 3*q = 111. Let b = q - n. Is b a multiple of 14?
True
Does 25 divide (-22)/407 + (-60127)/(-37)?
True
Suppose 4*g - 5*r + 13 = 0, -5*g = 6*r - 2*r - 35. Suppose -g*d = d - 16. Suppose d*n - n + 3*t - 87 = 0, t = 2*n - 67. Is n a multiple of 8?
True
Is -2*1219/2*-1 a multiple of 14?
False
Let p(h) = -10 - 8 + 2 + h**2 + 13*h + 3. Let z be p(-14). Suppose -4*x = -29 + z. Does 7 divide x?
True
Let t(v) = 26*v + 153. Is 25 a factor of t(-4)?
False
Suppose 5*r - r - 1096 = 0. Suppose -3*u - 3*h = 2*h - r, -3*h + 6 = 0. Suppose -68 = -3*a - t, -5*a - 4*t + u = -a. Is 8 a factor of a?
False
Let w(l) = 4*l. Let x be w(4). Let m = 85 - x. Does 7 divide m?
False
Let m(j) = -j - 5. Let p be m(-7). Suppose -4*v + 3 = -5*u, -v = p*v - 2*u - 4. Let y = 5 - v. Is y a multiple of 2?
False
Suppose 0 = 2*s - 13227 + 3003. Does 36 divide s?
True
Suppose -5*i - 43 - 102 = 0. Let d = 109 + i. Does 11 divide d?
False
Let a(g) = g**3 - 3*g**2 + 2*g - 9. Let q be a(4). Let l(b) = b**3 - 16*b**2 + 17*b + 31. Is 9 a factor of l(q)?
False
Let p(x) = x - 3. Let v be p(0). Let l(d) = 5*d**3 + d**2 - 10*d - 7. Let k(o) = 6*o**3 + 2*o**2 - 11*o - 8. Let m(f) = 6*k(f) - 7*l(f). Is 2 a factor of m(v)?
False
Suppose -4*n + k + 1309 = -140, 2*n + 4*k = 702. Is n a multiple of 19?
True
Suppose -3*j - 73 - 68 = 0. Suppose 4*w = -5*d - 82, 0 = 4*w - 5*d + 102. Let k = w - j. Does 5 divide k?
False
Let n(y) = -3*y - 7. Suppose 10 = 2*v, -4*b - 4*v = b. Let j be n(b). Suppose 0 = o - 3*l - 0*l - 64, -2*o - j*l = -84. Is o a multiple of 10?
False
Let o(w) = w**2 - 4*w - 7. Let p = -9 + 16. Let t = 13 - p. Is 3 a factor of o(t)?
False
Let z(j) = -j**2 + 10*j - 17. Let i be z(15). Let a = -49 - i. Is 5 a factor of a?
False
Does 4 divide 23748*15/420 + 6/7?
False
Let c = 1493 + -800. Is c a multiple of 21?
True
Is 3*(-60)/9*(-279)/12 a multiple of 3?
True
Suppose 0 = f, 122 = -4*h - 3*f - 98. Let p be (-536)/(-104) - -3*(-2)/39. Let n = p - h. Is n a multiple of 15?
True
Let v(s) = 310*s**2 - 6*s - 4. Is v(-1) a multiple of 24?
True
Let s = 27 - 15. Suppose 0 = -i + 5*z + s, 4*i - 49 = -4*z + 119. Suppose 4*o - 63 = c + i, -2*c = 5*o - 138. Does 4 divide o?
False
Suppose 13*v - 2793 = -8*v. Does 19 divide v?
True
Suppose 4*q - 128 = 8*q. Let y = 146 + -112. Let c = y - q. Does 27 divide c?
False
Let i(s) = -s**3 - s + 2. Let f be i(0). Suppose -t + 15 = f*t. Suppose 2*n = 4*a - 34, -7 = -2*a + t*n - 2*n. Is a a multiple of 8?
False
Suppose -5*l - 5*i + 410 = 0, -4*l - 2*i + 105 + 215 = 0. Suppose -80*o = -l*o - 50. Is 9 a factor of o?
False
Suppose -199*t - 350 = -200*t. Does 50 divide t?
True
Let f = -23 + 24. Let v be -4*2*f/(-2). Is 15 a factor of v/8*118 - -1?
True
Let p = 475 + 69. Is p a multiple of 34?
True
Suppose 19*c = 12*c + 1197. Let x = -101 + c. Is x a multiple of 22?
False
Suppose 2 = -c + 2*c. Suppose -5*u + 6*d - c*d + 260 = 0, 0 = u - 3*d - 41. Is u a multiple of 8?
True
Let g = -37 - -37. Suppose g = -3*l + 265 + 272. Is l a multiple of 20?
False
Let h = 87 - 135. Let x be (h/20)/(2/(-25)). Let j = x - 14. Is j a multiple of 11?
False
Suppose 0 = -3*w - 2*y + 18, 2*w + 2*y = 6 + 4. Let a(r) = -r + 8. Let v be a(w). Suppose -3*u + 179 - 11 = v. Is u a multiple of 17?
False
Let q(d) = -d**3 - 26*d**2 - 2*d + 40. Is 8 a factor of q(-26)?
False
Let z be 24 - (-4)/(7 + -3). Let u = -18 + z. Is u even?
False
Let q = 565 + -162. Suppose -q = 11*j - 1096. Does 21 divide j?
True
Suppose 3*a - 3*s - 6 = 0, s = 2*a - 0 - 7. Let p(r) = 8*r - 11. Is p(a) a multiple of 12?
False
Suppose -6*f = 13 + 5. Let r(g) = g**3 + 7*g**2 - 7. Does 8 divide r(f)?
False
Let p(s) = 104*s - 29. Is p(3) a multiple of 7?
False
Let f(x) be the third derivative of 19*x**6/60 - x**5/30 - x**4/8 + 2*x**3/3 - 28*x**2. Does 49 divide f(2)?
True
Let g be (4 - (-1 - 3)) + -4. Suppose g = n - v, -4*n + 54 = 4*v - 2. Is 2 a factor of n?
False
Let a be (-9)/(2*3/4). Let g be (a/((-2)/(-1)))/(-1). Suppose -20 = -g*z + 2*z. Is z a multiple of 4?
True
Let g = 26 + -16. Let j(q) = q**3 - 3*q**2 + 3*q + 3. Let d be j(3). Let k = d - g. Does 2 divide k?
True
Let a = 28 - 24. Suppose -3*j = -x - 130, a*j + 0*j = 4*x + 184. Is j a multiple of 26?
False
Let v(h) be the third derivative of -1/2*h**3 - 1/20*h**6 - 1/24*h**4 + 0*h + 1/30*h**5 + 0 + 8*h**2. Is 22 a factor of v(-2)?
False
L