f 14?
False
Suppose 0 = -4*m - 222 + 702. Suppose -4*w + m = -w. Let o = w + -23. Is o a multiple of 10?
False
Suppose -4*h + 5*c + 464 = 0, 0*h + 5*c = -5*h + 580. Suppose -7*f = -5*f - h. Is 29 a factor of f?
True
Let z(f) = -f - 1. Let l(s) = -s**2 - 8*s - 4. Let g(n) = -l(n) + 3*z(n). Let i be g(-5). Let m(j) = 49*j**2 - j. Does 16 divide m(i)?
True
Let z = 88 - 49. Is z a multiple of 6?
False
Suppose 0 = -4*g - 0 + 12, -5*j = 2*g - 201. Is 13 a factor of j?
True
Let b(q) = 2*q**2 - 1. Let h be b(-2). Let g(p) = -p**2 - 14*p + 1. Let y be g(-13). Let u = y + h. Is u a multiple of 9?
False
Let o = -24 + 62. Is 4 a factor of o?
False
Suppose 4*x - 294 = 5*k, -5*k + 162 = 2*x - 0. Let j = x - 49. Is 9 a factor of j?
True
Let f = -130 + 354. Is f a multiple of 19?
False
Does 5 divide (-1 - -5)/(14/175)?
True
Suppose -2*a + a = -40. Let t = a - 13. Is 11 a factor of t?
False
Let l = 134 - 71. Does 13 divide l?
False
Let a be 0/2 - (0 + -6). Let s = a - -9. Does 5 divide s?
True
Let i(d) = -88*d + 3. Is i(-1) a multiple of 17?
False
Let u be 99/3 - (-1 - 0). Suppose -v = 12 - u. Is 9 a factor of v?
False
Suppose 5*s - 54 = 41. Let n be 4/14 - s/(-7). Let y = 8 - n. Is 2 a factor of y?
False
Let y(q) = 1 + 3*q - q**2 + 5 - 5. Let t be y(2). Let p(i) = -i**3 + 4*i**2 - 2*i + 2. Is 3 a factor of p(t)?
False
Let z(n) = -128*n**3 + n**2 + 2*n + 1. Is 16 a factor of z(-1)?
True
Suppose 0 = -4*t + 2*t. Let a(s) = 144*s**3 - 2*s**2 + s. Let y be a(1). Suppose x = -2*h - 0*h + 38, t = 4*x - h - y. Does 18 divide x?
True
Suppose z = 2*f + 22, -3*f - 29 = -2*z - 2*f. Is 2 a factor of (0 - -15)*z/30?
True
Suppose -2*z - 21 = -5*a, 2*a + 0*z - 18 = 4*z. Suppose a*j = 4*n - 32, -2*n - 5*j + 0 = -42. Let i = n + 4. Does 6 divide i?
False
Let x(t) = 2*t + 14. Let w be x(-6). Is 205/10 + w/(-4) a multiple of 10?
True
Suppose 86 = 4*v - 14. Does 25 divide v?
True
Suppose -12 - 2 = -2*f. Is f a multiple of 2?
False
Suppose 3*a + 0 = 24. Suppose 3*l + 255 = a*l. Does 11 divide l?
False
Let b = 5 + -5. Suppose 2*t - 52 = -2*u, -t = -b*t - 2. Is 12 a factor of u?
True
Let p = 16 + 4. Let h = p + -5. Is 15 a factor of h?
True
Let f(m) = -m**3 - 6*m**2 + 9*m - 3. Does 21 divide f(-8)?
False
Suppose c + 18 = 2*c. Suppose c = z + 2*j, -4*z + 0*z + 2*j + 32 = 0. Does 5 divide z?
True
Let h = -12 + 15. Suppose -h = -2*u + 67. Is u a multiple of 14?
False
Is 8 a factor of 36*2*10/15?
True
Let h(w) = 4*w - 34. Does 5 divide h(20)?
False
Let m be ((-78)/8)/((-6)/16). Suppose 0*a = -2*a + m. Does 13 divide a?
True
Let k(j) = 2*j + 13. Let p be k(-9). Let q(g) = g**3 + 4*g**2 - 7*g + 2. Let u be q(-5). Let f = u - p. Is 17 a factor of f?
True
Suppose -5 + 19 = 2*u. Suppose 0 = -3*x + 8 + u. Is x a multiple of 2?
False
Let j be 4/14 - 324/(-42). Suppose -9 = -2*v - 5*t, 2*t = 5*v + 6*t - 65. Let m = v - j. Is m a multiple of 9?
True
Suppose -2*d - 2*d + k + 16 = 0, 3*k = 4*d - 8. Suppose d*n = 2*n - a + 6, 6 = 5*n + 3*a. Is n even?
False
Let z(x) = x**2 - x. Is 4 a factor of z(4)?
True
Suppose 5*i + 259 = -281. Is (i/15)/((-4)/30) a multiple of 18?
True
Let j(q) = -q**3 + 5*q**2 - q + 7. Let n be j(5). Suppose -g = -3*l - 47, n*l = 2*g - 2*l - 88. Is g a multiple of 19?
True
Suppose 0 = a + 6. Let n = 8 - a. Is n a multiple of 14?
True
Suppose -l + 2*l = -2*z + 60, -2*l + 5*z = -129. Does 7 divide l?
False
Let d be 6/(-27) - (-2276)/36. Let p = 105 - d. Suppose p = -h + 4*h. Is h a multiple of 4?
False
Suppose f + 339 = -5*m - 119, 0 = 4*m + 3*f + 362. Is m/(-6) - 4/12 a multiple of 11?
False
Suppose -4*z + 4*s = -s - 202, 4*z - 3*s = 198. Is z a multiple of 4?
True
Let w = 2 - 3. Let s = w + 1. Suppose -6*b + 32 = 3*r - 2*b, s = 4*r - 2*b - 50. Is r a multiple of 12?
True
Let n = 24 - -8. Is ((-18)/4)/((-6)/n) a multiple of 6?
True
Let t(l) be the first derivative of -l**4/4 + 8*l**3/3 + 9*l**2/2 + 2*l - 1. Let c be t(9). Is 7 a factor of (12/(-30))/(c/(-70))?
True
Let q = 17 + -20. Does 21 divide 1*q*71/(-3)?
False
Let t = -123 - -223. Does 26 divide t?
False
Let l be ((-6)/8)/((-9)/36). Suppose 2*x = -l*x + 90. Does 6 divide x?
True
Let l = 227 + -58. Is 44 a factor of l?
False
Let h = -24 + 37. Suppose 0 = -4*f + h - 1. Suppose -44 = -o - f*o. Is o a multiple of 6?
False
Suppose 5*m + 2*h = -6, -3 = 2*m + h - 0. Suppose -4*z = 5*g - 114, -2*z - 5 - 3 = m. Is g a multiple of 13?
True
Suppose 24 = 2*y - 2*n - 8, 2*n = -2*y + 52. Let v = y - 13. Suppose -5*r + v = -12. Is 2 a factor of r?
True
Suppose a - 4 = -2*o - 3, -4*o = -a + 31. Is a a multiple of 11?
True
Suppose -2*u - 2*f + 106 = 0, 187 = 4*u - 3*f + 2*f. Is 12 a factor of u?
True
Let u(r) = 3*r + 0 + 3 + 2*r + 2 + 5*r**2 - r**3. Suppose f = 4*h + 5, 0*f - 10 = -2*f - 3*h. Is u(f) a multiple of 15?
True
Let g(b) = 6*b**2 - 9*b + 10. Is g(5) a multiple of 11?
False
Let j = 86 + -56. Suppose -2*y - y = -j. Is y a multiple of 7?
False
Let u(d) = d**2 + 3*d + 3. Let x be u(-3). Let m be 20/(-5)*(0 + -1). Let k = x + m. Is 2 a factor of k?
False
Let t(c) = -6*c - 4. Let w(o) = -5*o - 5. Let m(x) = 2*t(x) - 3*w(x). Let h be m(-5). Let p = h - -18. Is p a multiple of 4?
False
Suppose 3*y - 3*u - 285 = 0, 4*u = -y + 2*y - 101. Does 29 divide y?
False
Let n = 0 + 2. Let b(m) = 3*m**3 + m. Let p be b(n). Suppose -3*q + p = -2*q. Is q a multiple of 13?
True
Suppose -5*x + 10 = -10. Let s be ((-2)/5 - (-21)/(-10))*-40. Suppose 0*m = x*m - s. Does 7 divide m?
False
Let a(i) be the first derivative of 3*i**2/2 - 7*i - 6. Is 13 a factor of a(7)?
False
Suppose -4*w + 5*i = -1 - 25, -5*w = i - 18. Suppose 5*u - w*u = 55. Is u a multiple of 14?
False
Let h be 1/2 + (-805)/(-10). Suppose -h + 9 = -4*k. Suppose 0 = 5*u + 4*n - 70, 2*n = -u + k + 2. Is u a multiple of 10?
True
Let l(s) = -s**3 - s**2 - s. Let r be l(-1). Let w be 1/(66/(-69) + r). Is 7*(w/7 + 1) a multiple of 10?
True
Let g(w) = -26*w**3 + 3*w**2 + 4*w + 1. Is 26 a factor of g(-1)?
True
Suppose 160 = -k + 5*k. Does 10 divide k?
True
Let p be 4/2 - (11 - -3). Let h = p + 19. Let m = h + -3. Is 4 a factor of m?
True
Suppose -4*r = -3*r - 3. Let c = 2 - r. Is 14 a factor of c - (1 + (-30)/1)?
True
Let r = 17 - 12. Suppose -r*s = -5*a - 230, 4*a = -0 - 8. Does 11 divide s?
True
Let v(w) = -w - 15*w + 1 - 4. Does 14 divide v(-2)?
False
Let b = -10 - -20. Let q be 12/b*30/9. Suppose -q*c - 4*k + 5 = -35, 0 = 2*k - 10. Is 2 a factor of c?
False
Let j be ((-3)/2)/((-6)/520). Suppose 7*d - j = 2*d. Is d a multiple of 6?
False
Suppose 3*y - 252 = -y. Is 24 a factor of y?
False
Suppose -5*i + 50 = -10. Is i a multiple of 6?
True
Suppose -61 = -k + 4*u, -209 = -5*k - u + 75. Is 8 a factor of k?
False
Suppose 2*o = 31 + 109. Does 14 divide o?
True
Suppose 4*a + 2*u = 400, -4*u = -0*a - 4*a + 400. Suppose -21*j = -19*j - a. Is j a multiple of 13?
False
Let k be 1/(-1)*1*1. Let l = -29 - k. Is 14 a factor of (2/(-4))/(1/l)?
True
Suppose -4*o + 45 = -3*g - 423, 322 = 3*o + 5*g. Is o a multiple of 18?
False
Let j = 23 - 17. Suppose 12 = 9*h - j*h. Is h a multiple of 2?
True
Let j(g) = 5*g**2 + 2*g - 1. Is 8 a factor of j(-2)?
False
Suppose o = -0 + 3. Suppose o*j = 7*j - 104. Is j a multiple of 5?
False
Let z be (0 + -1)/((-2)/102). Let u = z - 27. Is u a multiple of 15?
False
Suppose -4*o - 6 + 14 = 0. Is o/(-8) - (-162)/8 a multiple of 7?
False
Let t be 2/(-5) + 968/20. Suppose -a - 3*a = t. Does 2 divide (-15)/6*a/5?
True
Suppose d - 5*x - 14 = 12, 5*d + 2*x = 130. Is 3 a factor of d?
False
Suppose 5*c - c - 28 = 0. Suppose 2*n - c*n = -140. Is n a multiple of 14?
True
Suppose 0 = -9*c + 218 - 47. Is c a multiple of 3?
False
Is 2 + (26 - 0) + 4 + 1 a multiple of 33?
True
Suppose 16*q - 15*q - 3 = 0. Let s(c) = -c - 3. Let j(v) = -v - 2. Let d(p) = -5*j(p) + 2*s(p). Is d(q) a multiple of 8?
False
Let b(o) = -30*o + 7. Let v = -1 + 4. Let s(l) = 15*l - 4. Let g(u) = v*b(u) + 5*s(u). Is g(-2) a multiple of 8?
False
Suppose -o - 189 = 2*o. Let d = o + 105. Is d a multiple of 11?
False
Let d = -4 + 0. Let h be 2/3*(-6)/d. Let c = 12 + h. Does 13 divide c?
True
Suppose -46*l = -44*l - 424. Does 18 divide l?
False
Suppose -4*m + 13 = -11. Let g = 59 - m. Is 30 a factor of g?
False
Suppose -4*v = -113 - 175. Is 24 a factor of v?
True
Let g be 4/16*(-8)/(-1). Suppose -w + 0*w - 39 = -z, g*z