14. Does 20 divide r/(-15) - (-531)/5?
False
Let k(v) = -v**2 - 5*v - 3. Let m be k(-3). Let r be -1*(-2 + m) - -47. Suppose 0*x + 3*x + 2*l = r, -l - 94 = -5*x. Does 18 divide x?
True
Let x(q) = -q**3 + 9*q**2 + 26*q + 1. Is x(11) a multiple of 45?
True
Let h be 2/(6/21) + -2. Suppose 0 = -5*c - r + 45 + 80, h*r + 129 = 4*c. Is 8 a factor of c?
False
Let s be -6 + 0/(-1) + -2. Let y = 4 + s. Is 16 a factor of y/3*126/(-4)?
False
Let s(y) = 6*y**3 + 8*y - 15. Let l be 2/8 - (-108)/16. Let c(z) = -5*z**3 + z**2 - 7*z + 14. Let x(k) = l*c(k) + 6*s(k). Is x(-7) a multiple of 7?
False
Suppose -3*x + 0*q + 6 = 5*q, -2*q = 2*x - 4. Suppose 50 = 4*k + x*u - 58, 0 = 4*k + 4*u - 116. Is k a multiple of 15?
False
Suppose -4*z - 15 + 151 = 0. Suppose 0 = 5*v - 25, -3*g + 6*g = v + z. Is 13 a factor of g?
True
Suppose 4*y - 196 = -3*z, 5*y + 9 = 2*z - 160. Does 9 divide z?
True
Let q = -28 + 59. Suppose k = q + 9. Is k a multiple of 12?
False
Is 22 a factor of (20/(-3) + 0)*528/(-32)?
True
Let u = 33 + -48. Let i(f) = 4*f + 26. Let a be i(-13). Let n = u - a. Is 5 a factor of n?
False
Let j be (-19 - (3 - 2)) + -3. Let n = j - -32. Does 9 divide n?
True
Suppose 0 = -0*j + 2*j - 2. Suppose j = z - 15. Is 4 a factor of z?
True
Let l = -12 + 22. Is 3 a factor of l?
False
Let w = -2 + 0. Does 7 divide 35/2 + w/4?
False
Suppose -3*g + 30 = -60. Does 10 divide g?
True
Suppose 0 = -2*i + 4*i - 10. Suppose -4 + 0 = -d, -184 = -i*z + 4*d. Does 15 divide (-2)/((-42)/z - -1)?
False
Let t be 4/(-26) + (-1122)/(-26). Let c = -30 + t. Does 3 divide c?
False
Let v = -7 + 12. Let h be (-192)/(-112) - 4/(-14). Suppose -h*c + v*c - 48 = 0. Does 5 divide c?
False
Suppose 0*l + 476 = 5*z + 2*l, 9 = 3*l. Does 47 divide z?
True
Let c(x) = -x**2 - 14*x - 15. Is 8 a factor of c(-11)?
False
Suppose 4*a = 3*d + 2*a - 344, 2*a - 216 = -2*d. Suppose 0*v - 4*v = -d. Suppose -3*u = -4*t + 68, 4 = -2*t - u + v. Does 7 divide t?
True
Let t(a) = -a**2 + a + 46. Let s be (-1 - -2) + -3 + 2. Let r be t(s). Let d = r - 18. Is d a multiple of 18?
False
Let v = 9 - 5. Suppose -5*r + 178 = v*g + 59, -5*g + 4*r + 118 = 0. Is 14 a factor of g?
False
Let a(s) = -s**3 - 3*s**2 + 12*s - 5. Is 15 a factor of a(-6)?
False
Let n(y) = y + 4. Let j be n(10). Let f = j - 7. Is 3 a factor of f?
False
Let n = -13 + 13. Suppose n = b - 0 - 6. Is 6 a factor of b?
True
Suppose -3 = -5*t - 8. Is 21 a factor of t/((-120)/117 - -1)?
False
Suppose -5*d + 128 = -0*d + 4*r, 0 = 4*d - 5*r - 86. Suppose -7*y + 3*y = -d. Is y a multiple of 6?
True
Suppose u - 18 - 8 = 0. Let i = u + 2. Is 14 a factor of i?
True
Let z = 12 - 7. Suppose -4*l - l + z*p + 185 = 0, 0 = 3*l + p - 131. Is 14 a factor of l?
True
Suppose -2*b = 3*m - 75, -4*m - 10 = -b - 110. Let j = m + -9. Is j a multiple of 8?
True
Suppose -3*q - 44 = -170. Suppose 0 = -0*z - z + q. Is 24 a factor of z?
False
Suppose 4*c + 39 = 4*p - 3*p, -c = 4*p - 71. Let u = -10 + p. Does 9 divide u?
True
Suppose 10*g - 7*g = 54. Is g a multiple of 4?
False
Let p = -58 + 82. Is 3 a factor of p?
True
Suppose 2*d - 2 = -34. Let y = 34 + d. Is y a multiple of 9?
True
Suppose 963 = 4*v - 3*w, 219 - 1440 = -5*v - 2*w. Is v a multiple of 49?
False
Suppose z = -4*z + 25. Suppose -z*m + 4*j + j = -25, 2*j + 10 = 5*m. Suppose m = -2*h + 3 + 7. Is h even?
False
Let q(f) = -2*f - 3. Let s be q(1). Is 5 a factor of (11 + -10)*s/(-1)?
True
Suppose -5*r + 8 = -7. Suppose -5 - 3 = -2*u - 2*z, -2*u = -r*z - 28. Does 8 divide u?
True
Suppose 3*f - 4 = f. Suppose n + 4*h = 35, f*n + 4*h - 42 = 36. Is 14 a factor of n?
False
Let t be 3*(-2 - (-6)/2). Let g(y) = 5*y**2 + 6. Is 13 a factor of g(t)?
False
Is 20 a factor of (0 + 2)*(-59)/(-2)?
False
Suppose 0 = 2*z - 2 - 6. Suppose z*u + 65 = 301. Does 12 divide u?
False
Suppose 195 = -y + 2*y. Suppose -y = -a - 2*a. Suppose 3*b - 7 = a. Is b a multiple of 11?
False
Suppose h + 3 = 2*h. Suppose -3*q + 15 = 5*u + 2*q, 4*q = h*u - 23. Suppose -d = u*v - 148, -2*v + 3*d = d - 64. Is v a multiple of 9?
False
Suppose 5*a - 22 = -3*g - 9, -5*g + 5 = 0. Does 20 divide (-6)/12 - (-61)/a?
False
Let m(x) = 8*x**2 - 10*x + 24. Is m(5) a multiple of 25?
False
Does 24 divide (-27)/(-12)*(-96)/(-9)?
True
Suppose 5*v - 5*x + 107 = 692, 5*v - 603 = -x. Is v a multiple of 15?
True
Let g be -74 + 1 + (-2 - 1). Does 10 divide 1*g/(-12)*3?
False
Suppose 0 = 5*k - 12 - 8. Suppose -t = k*t - 135. Is t a multiple of 16?
False
Suppose 0 = 2*o - o. Suppose -d + 7 = -4*j, -j - 4*j + 4*d - 17 = o. Is 19/(-1)*j - -3 a multiple of 13?
False
Let o = 0 - -3. Suppose 7*d + o*l = 2*d + 304, l + 250 = 4*d. Does 13 divide d?
False
Is (-8)/(-20) - 114/(-15) a multiple of 8?
True
Suppose -6*i - 804 + 2358 = 0. Is 36 a factor of i?
False
Is ((-20)/(-12) - 2)*-63 a multiple of 7?
True
Suppose -220 = -7*o + 2*o. Suppose -4*f = -l - 38, -4*f - l + o = 2. Is f a multiple of 5?
True
Let m = -308 + 163. Let f = m - -229. Is 23 a factor of f?
False
Suppose -6 = -2*w + 4. Does 4 divide 8/w*(-300)/(-24)?
True
Let x = -19 + 77. Is x a multiple of 5?
False
Let n = 20 + -68. Let s = -20 - n. Is 14 a factor of s?
True
Is 30 a factor of 127/1 + (-8 - -12)?
False
Let v(g) = -g**3 - 2*g - 3. Let f(j) = -j**3 + 4*j**2 + 5*j + 3. Let m be f(5). Suppose m*r - 3*t = -18, -3*t = r - 0*t - 10. Is 4 a factor of v(r)?
False
Let v = -31 + 46. Does 13 divide v?
False
Suppose 3 = 5*o - 2. Let y(j) = 3*j + 1. Let c be y(o). Suppose -5*h + 2 = -5*q + 17, -c*h - 7 = -3*q. Is 2 a factor of h?
True
Let f(r) be the first derivative of r**3 - r**2 + 3*r + 1. Let y be (-7)/(-14) - (-10)/4. Does 12 divide f(y)?
True
Let i = 7 + -10. Let t = i - -7. Suppose -5 = -3*j + t. Is 3 a factor of j?
True
Let b = 7 + -5. Let y(u) = -35*u - 11. Let l be y(-4). Suppose -i = -b*v - 3*v + 318, i = 2*v - l. Is 24 a factor of v?
False
Let j(i) = 7*i - 4. Let u be j(4). Let b be (u/15)/((-4)/(-10)). Suppose 116 = 3*d + 5*k, 2*k = -b*d - 0*d + 164. Is 15 a factor of d?
False
Let v = -58 - -4. Let a = v - -90. Does 8 divide a?
False
Suppose 50 + 55 = 5*o. Let z be 2 - (0 - 56)/2. Let l = z - o. Does 7 divide l?
False
Let o = -17 + 20. Suppose -o*n + 5*k = -22, -15 = -3*n - 5*k + 47. Is n a multiple of 9?
False
Let g = 32 + -5. Is g a multiple of 6?
False
Let z be ((-2)/4)/(2/(-60)). Let i(g) = 4*g. Let m be i(-1). Let w = z + m. Is 11 a factor of w?
True
Let a(q) = -q**2 - 7*q + 6. Let d be a(-7). Is -1*(d/(-3) + -24) a multiple of 12?
False
Is 34 a factor of ((-5)/(-5))/((-2)/(-136))?
True
Let w be 3/((42/8)/(-7)). Is (w/6)/((-4)/18) even?
False
Suppose -23 = -4*q + 9. Is (-1)/(-4) + 150/q a multiple of 8?
False
Let t(l) = l - 1 - 3 + 1. Let z be t(5). Suppose 2*p - 2*x - 1 = 33, -4*x + 28 = z*p. Is 15 a factor of p?
False
Let i be (-20)/6*(2 - -1). Let z(a) = -6*a - 11. Does 13 divide z(i)?
False
Let n(j) = j**2 + 3*j - 6. Let p be n(-5). Suppose 0 + p = -s. Let d(y) = -y**2 - 5*y - 1. Is 2 a factor of d(s)?
False
Let a(x) = -x**3 + 18*x**2 - 13*x - 11. Is a(17) a multiple of 28?
False
Let h(b) be the third derivative of b**5/60 - 13*b**4/24 + 5*b**3/2 + b**2. Is 9 a factor of h(15)?
True
Suppose -5*c = 4*m + 29, 0 = -3*m + c - 10 - 7. Does 26 divide ((-195)/5)/(m/16)?
True
Let y = -11 - -4. Let g = 10 + y. Is 15 a factor of (102/g + -1)/1?
False
Let a(i) = 11*i - 5 - 4*i + 2*i**2 + 12. Is a(-6) a multiple of 10?
False
Let z = -117 - -177. Is 20 a factor of z?
True
Let m(t) = t**3 - 12*t**2 + 18*t - 11. Does 33 divide m(11)?
True
Let w = -8 - -6. Let x be (8/(6/(-3)))/w. Is 3 a factor of (-12)/(-10)*5/x?
True
Suppose -q = 2*g + 4 - 9, -2*q - 6 = 0. Suppose -a + 5 + 76 = 5*f, g*a + 101 = 5*f. Let h = f + -3. Is 8 a factor of h?
False
Let a be (15/(-2))/((-1)/2). Is a*2*(-3)/(-6) a multiple of 9?
False
Let z(l) = 2*l**2 - 3*l - 12. Is 9 a factor of z(-4)?
False
Suppose -185 + 25 = -4*k. Is k a multiple of 20?
True
Suppose -w + 77 = -3*d, -3*w - 2*d = -7*d - 251. Is w a multiple of 13?
False
Suppose 2*a = 4*a - 8. Let t = -2 + a. Does 16 divide 0 - -2 - (t + -22)?
False
Suppose -9*y + 244 = -647. Is 11 a factor of y?
True
Let r = 52 + -33. Does 14 divide r?
False
Let z(p) = 7*p + 10. Does 36 divide z(19)?
False
Let t = -4 + 9. Suppose -t*x = -2 - 8. Suppose -x*c + 24 = -0*c. Does 6 divide c?
True
Let v be (-8)/6 - (-32)/(-3). Is (