a multiple of 14?
False
Let z(l) = 9*l - 7. Let d be z(3). Let k(f) = f**3 - 18*f**2 - 35*f - 35. Is 4 a factor of k(d)?
False
Let i(u) = 1121*u**3 + 5*u - 6. Is i(1) a multiple of 53?
False
Let o be 3/9*(38 + 1). Suppose 3*b = 5*r - o, 4*r + 0*b + 4*b - 4 = 0. Suppose 4*i + u = 186, -3*i + 136 + 6 = r*u. Is i a multiple of 11?
False
Let a be -2 - (3 + 0 + -154). Suppose -4*y + 258 = -4*l + 6*l, 2*y + 5*l - a = 0. Does 10 divide y?
False
Suppose -5*z + 8*z + 30 = 0. Let s = 10 + z. Suppose -7*v + 2*v + 35 = s. Is 2 a factor of v?
False
Let t = 150 + 222. Is 14 a factor of t?
False
Let c be 10*2 - (-12 - -10). Let u = c - 7. Is 12 a factor of ((-100)/(-15))/(2/u)?
False
Let c(y) = -y + 19. Let d be c(8). Suppose 4*k = -5*x - d, 3*k + 0 = -5*x - 7. Suppose j + j + 29 = 5*u, 2*u = 5*j - x. Does 7 divide u?
True
Let v(q) = -2*q**3 - 9*q**2 + 5*q + 8. Let r(f) = f**3 - f. Let s(a) = 3*r(a) + v(a). Is s(9) a multiple of 8?
False
Let l(u) = -u**2 + 7*u + 1. Let c be l(6). Suppose c*j - 60 = 101. Is 22 a factor of j?
False
Is 6 a factor of 66 - (5 - (-30)/(-6))?
True
Suppose -3*f + 580 = 2*f. Let l = f + -48. Suppose 3*b - l = -5*x, -4*b = -3*b - 3*x - 46. Is 9 a factor of b?
False
Let l(h) = 3*h**2 - 3*h + 4. Let b be l(8). Let x = -9 + b. Is x a multiple of 20?
False
Suppose -2*p - 1679 = -5*t - 0*p, -1671 = -5*t - 2*p. Does 19 divide t?
False
Is 7 a factor of 14*(-6)/(-8)*(-10 + 12)?
True
Suppose 14*q - 13*q = 0. Let d(z) = q - 5 + 0 + z + 8. Does 5 divide d(4)?
False
Let l(d) = 2*d + 4. Let o be l(11). Suppose -2*v - o = -0*n - 3*n, -v = n - 12. Suppose n - 2 = a. Does 6 divide a?
False
Let n(f) = -f**3 + 2*f**2 - f - 27. Is n(-9) a multiple of 51?
False
Let x be (-208)/15 - (-10)/(-75). Let j be -8*(-3 - x/4). Is 22/(-2)*(j - -2) a multiple of 7?
False
Suppose 60*j + 2*z = 57*j + 23, 30 = 2*j + 5*z. Is j even?
False
Let m = 18 + -20. Let l(r) = -18*r + 5. Is 21 a factor of l(m)?
False
Suppose -9396 = -8*s - 2564. Is 14 a factor of s?
True
Let w(t) = -t - 1. Let g be w(-7). Let h be (12/g)/((-1)/2). Is h/(-6) - (-328)/12 a multiple of 14?
True
Does 14 divide (-6896)/44*(-22)/4?
False
Let y(q) = -q**3 + 42*q**2 + 3*q + 538. Is 18 a factor of y(40)?
False
Let c(m) = -5*m**2 - 3*m + 4. Let s(n) = 4*n**2 + 4*n - 4. Let p(z) = 5*c(z) + 6*s(z). Is 16 a factor of p(4)?
True
Let k = -5 + 62. Suppose 3*j + 2*j + 3*z - 369 = 0, j - 5*z = k. Let b = 101 - j. Is 6 a factor of b?
False
Suppose 1 = 5*w - 4*w. Let y be w*(-2 - 3/1). Let u = y - -14. Is u even?
False
Is 1121 - (-2 + 1) - 10 a multiple of 12?
False
Let u be (0 - (-9 - -4))*1. Is 16 a factor of (32/u)/(4/20)?
True
Suppose -4*s - 5*p + 5692 = 0, p + 225 + 1207 = s. Is s a multiple of 68?
True
Let b(q) = 10*q**2 - q - 1. Let l be b(-1). Let d(m) = m**2 - 9*m - 10. Let j be d(l). Suppose 48 = -j*k + 4*k. Is k a multiple of 12?
True
Suppose -i + 4*i - 9 = 0. Suppose -b = -4, -2*o - 5*b + 12 = -4*b. Does 10 divide (1 + i)/(o/20)?
True
Suppose 4*o = -4*v + 28, 4*o + 4*v - 9*v - 10 = 0. Suppose 5*l = i - 272, o*l = 2*i - 440 - 114. Does 47 divide i?
True
Let s(u) = -9*u**3 - 7*u**2 - 8*u + 22. Is s(-4) a multiple of 14?
True
Let o be 10/(-2) - 6/(-3). Let k = o + 3. Suppose 7*z - 2*z - 215 = k. Is z a multiple of 12?
False
Let z(h) = 10*h**3 - 8*h + 99. Does 77 divide z(5)?
True
Let f(u) = u - 1. Let s be f(-5). Let q be s/(-27) - 1108/(-36). Suppose -3*l + 81 = i, -q = -3*i + l + 162. Is 22 a factor of i?
True
Let q be 1*(-1 + 0)*-9. Let j(w) = -2*w + 5*w**2 + 14 - 8 + w**3 - q. Does 4 divide j(-4)?
False
Let s = 6 - 3. Suppose 90 = s*f + 3*w, -f + 5*w + 6 = -0. Let t = f - 17. Is t a multiple of 6?
False
Let n = 6 + -3. Let l = n + 1. Suppose 6 = d - m + 4*m, 0 = -5*d - l*m + 30. Is d a multiple of 3?
True
Suppose 2*v + 0*v = -4. Let y be (-12)/18 - v/3. Does 12 divide 72*(y - 3/(-6))?
True
Let w(r) = -r**2 - 8*r - 7. Let p be w(-7). Suppose 3*f - 25 = -b - 0*f, 5*b - 4*f - 144 = p. Is 16 a factor of b?
False
Suppose -4*v + 8*v - 5*b = 10607, -3*b = 2*v - 5287. Is 11 a factor of v?
False
Suppose -b + 5*r = -0*b - 4, 1 = r. Suppose -b*g - 12 = -12*g. Suppose -g*j - 229 = -0*k - 5*k, j + 136 = 3*k. Does 11 divide k?
False
Let m be (-16)/(-6) - (-5)/15. Suppose 0 = -m*u + 30 - 3. Is 3 a factor of u?
True
Suppose 0*q + 19800 = 6*q. Does 17 divide (-2)/9 - q/(-27)?
False
Suppose a = -2*w + 5*a + 858, 5*a + 1728 = 4*w. Is 9 a factor of w?
False
Suppose 3*c + 46 + 41 = 0. Let n = -12 - c. Does 11 divide n?
False
Let b = -304 - -680. Is b a multiple of 29?
False
Suppose -5*g = -2*i + 1415, -6*i - 2*g = -3*i - 2170. Is i a multiple of 48?
True
Suppose 10 = 3*i + 3*y - 14, 5*y = -4*i + 36. Suppose -4*c + 13 + 23 = -2*g, 0 = -i*c - 4*g + 24. Is 8 a factor of c?
True
Suppose -7*q = -4*q + 12. Let x be (6/(-1) - q) + 59. Is (x/(-38))/(2/(-84)) a multiple of 10?
False
Suppose -4*m + 24 = -f, 0 = -6*f + 2*f - 5*m - 12. Is 78/f*(-56)/3 a multiple of 10?
False
Suppose -5*u + 10*u - 50 = 0. Let l be (-61)/(-7) - u/(-35). Let c = -1 + l. Does 3 divide c?
False
Let l be (3 + -4)*(15 + 2). Let s = l - -6. Let c(p) = -2*p + 5. Does 9 divide c(s)?
True
Let s be 8/(-44) - 392/22. Let c = s + 45. Does 7 divide c?
False
Let l = -5132 - -8746. Does 42 divide l?
False
Let w = -44 + 52. Suppose 2*r = w*r - 48. Is 3 a factor of r?
False
Let n = 5 - -435. Is 10 a factor of n?
True
Suppose -v + 9 = -2*w, -7*w - 30 = -5*v - 2*w. Is (-318)/(-2) + v - (-12)/(-4) a multiple of 53?
True
Suppose 5*o + f = 30, -9*o - 5 = -6*o - 4*f. Suppose 3*c - 335 = -5*b, -3*c + o*b - 95 = -4*c. Does 15 divide c?
True
Suppose -4*u - k + 658 = u, -5*k = -3*u + 378. Let s = -54 + u. Does 9 divide s?
False
Suppose 12*q + 0*q - 3156 = 0. Is q a multiple of 6?
False
Suppose -32*j + 8 = -34*j. Let h(u) = -39*u - 21. Is h(j) a multiple of 15?
True
Suppose 6*p = 2*p + 8. Suppose s - 66 = 2*s. Let v = p - s. Does 22 divide v?
False
Is 11 a factor of 1/(2/((-12)/(-2))) + 30?
True
Let f = -485 + 1125. Is 70 a factor of f?
False
Let w(v) = v**3 + 13*v**2 - v + 5. Let y be w(-13). Suppose -y*g + 16*g + 118 = 0. Is g a multiple of 19?
False
Let k(f) be the second derivative of f**5/20 + f**4/3 - f**3/3 - f**2 - 9*f. Is 20 a factor of k(3)?
False
Let f(g) = -6*g + 22. Let t be f(-9). Suppose 0 = 14*n - 12*n - t. Is 7 a factor of n?
False
Suppose 2*n = 2*q + 24, -3*n + 43 + 2 = -4*q. Does 13 divide 82 + ((-24)/q - 3)*12?
True
Let l(g) = 6*g**3 + 5*g**2 - 2*g + 1. Does 13 divide l(2)?
True
Suppose 2*n - 503 = -4*j + 313, 806 = 4*j - 3*n. Does 7 divide j?
True
Does 14 divide (0 + (-4 - 0))*-334?
False
Suppose -6*h = -h + 4*k + 5, -h - k = 0. Let d be ((-6)/h)/(6/15). Suppose -d*z = -2*z - 14. Is z a multiple of 3?
False
Suppose 2*t - 281 = -p, -4*t = -4*p - 235 - 309. Let b = t + -135. Is 2 a factor of b?
True
Suppose -s + x + 1 = -0, -3*s + 8 = -2*x. Suppose s*a = 13 + 17. Is a a multiple of 5?
True
Let y = -148 + 50. Suppose q + 0*q = f - 6, 0 = 5*f + q. Does 35 divide (y/56)/(f/(-24))?
False
Let a be 139 - (3 - 2 - (-4)/2). Suppose -6*v = -a - 746. Is 10 a factor of v?
False
Let m be (-42)/(-12) - 1/(-2). Suppose 0 = -i - 4*q - 8, -4*i - 4*q + 24 + m = 0. Is (-4)/((-3)/i*1) a multiple of 8?
True
Let t = -85 + 116. Is 2 a factor of t?
False
Let g(t) = 34*t**2 + 6*t - 4. Does 64 divide g(3)?
True
Suppose 0*k - 5*n = 3*k - 887, -2*k - n = -589. Is 3 a factor of k?
True
Suppose 2045 - 6941 = -2*t. Is 18 a factor of t?
True
Let k = 2733 + -1534. Is k a multiple of 12?
False
Let w(a) = 176*a - 152. Is w(4) a multiple of 4?
True
Is (-4)/(((-742)/(-248) - 3)/1) a multiple of 40?
False
Is 6 a factor of (-1516)/(-16) + 1/4?
False
Suppose 3*m - 10 = -j + 11, 0 = -5*m + j + 27. Is (-22*m/(-18))/(4/18) a multiple of 19?
False
Let w(f) = f + 2. Let v be w(7). Let p(m) = -9*m**2 + 10*m**2 + 4*m + m**3 - 3 - 10*m**2. Does 16 divide p(v)?
False
Let v(h) = -h**2 - 3*h - 6. Suppose -4*k - 2*q = -k + 30, -k - 10 = -q. Let i be v(k). Let s = -42 - i. Is 7 a factor of s?
False
Suppose -32*a = -34*a + 44. Let l be 1 - 1 - (-1 - 1). Suppose -k + 11 = -5*n, -l*n + 0*n + a = 4*k. Is k a multiple of 4?
False
Suppose 0 = -6*p - 0*p - 2766. Let i = -313 - p. Is i a multiple of 37?
True
Let y be -15 + (3 - (-4 + 7)). Let d be -111*70/y - -2. Does 6 divide d/44 - 4/(-22)?
True
Suppose 14*m - 17*