14 a factor of 26 + -1 + 2 + 1?
True
Let d be (85/4)/((-1)/(-4)). Let v = 56 - d. Let k = 48 + v. Does 19 divide k?
True
Let p be ((-9)/(-15) - 3)*-10. Suppose p = -0*d + 3*d. Let k(i) = -i**2 + 10*i + 1. Does 17 divide k(d)?
True
Let o = -47 + 50. Let t(l) = 7*l**3 + 3*l**2 + 3*l + 2. Let j(i) = -i**3 - i**2. Let w(z) = 6*j(z) + t(z). Is 9 a factor of w(o)?
False
Suppose 5*p - 170 = 20. Is 19 a factor of p?
True
Let y = 78 + -54. Is 5 a factor of y?
False
Suppose -2*d - 3*d - 20 = 0, 2*w - 3*d = 22. Suppose -4*q + 192 = -4*x, 4*x + 204 + 35 = w*q. Let p = q - 26. Is 13 a factor of p?
False
Let j = 86 + -55. Suppose -24 = g - 3*g. Let i = j - g. Is i a multiple of 8?
False
Suppose -5*j - 45 = -435. Is 26 a factor of j?
True
Suppose 4*c + 15 = -x, -c + 0 + 5 = 2*x. Suppose x*b - 5*o - 80 = 0, 9 + 26 = 2*b + o. Is b a multiple of 8?
False
Let a(f) = 2*f**2 + 5*f + 1. Is 2 a factor of a(-3)?
True
Let y(n) = -5*n**3 + 3*n**2 - 9*n - 13. Let m(a) = a**3 + a**2 + 1. Let u(q) = -4*m(q) - y(q). Is u(7) a multiple of 24?
True
Let t(c) = c + 9. Let j(r) = 2*r - 2. Let i be j(-2). Let g be t(i). Suppose -g*n + 216 = n. Does 21 divide n?
False
Let m = 1 + 5. Let y(k) = -2*k**2 + m*k + 8 + 3*k**2 - 1 - 1. Is y(-8) a multiple of 22?
True
Let p = 3 + -2. Let l = 38 - 39. Is 8 a factor of l/(p + (-14)/13)?
False
Let k(t) = t**3 + 5*t**2 - 2. Let i be (2 - 1) + 1 - 7. Let o be k(i). Is 2 a factor of 5/(15/18) + o?
True
Let g be (-16)/(-5) - 1/5. Let z(c) = 2*c**3 - 3*c**2 + 3*c + 4. Let u be z(g). Is 3/(((-42)/u)/(-7)) a multiple of 7?
False
Let b(g) be the first derivative of g**2/2 - 4*g + 1. Let v be b(7). Suppose y = -w + v + 5, 0 = w - 4*y - 13. Does 6 divide w?
False
Let f be -2 + 0 + 2 + 0. Suppose 0 = -6*u + 7*u - 2. Suppose -u*q + 2 = 0, -m = -f*m - 5*q - 23. Is m a multiple of 10?
False
Let d(q) = -5*q**3 + q. Let k be d(-1). Suppose 5*l + 20 = 2*t + 2, -5*t = k*l - 45. Does 9 divide t?
True
Suppose -4 = 7*i - 9*i. Suppose 2*c - 28 - i = 0. Is 5 a factor of c?
True
Suppose o = -5*u + 71, 3*o - 150 = -5*u + 43. Does 9 divide o?
False
Let n = 6 - 4. Let c = n + 1. Is 2 a factor of (1 + -3)*-3 - c?
False
Let u = -9 - -1. Let j be (-6)/(-4)*(-344)/(-6). Does 9 divide (-5)/(-20) - j/u?
False
Let q = -69 - -77. Is q a multiple of 8?
True
Let k(b) = b**2 + b + 18. Let p be k(0). Suppose f = -4 + p. Is f a multiple of 13?
False
Suppose 2*a - 166 = 82. Let p = a - 76. Is 16 a factor of p?
True
Suppose -3*w + 5*l - 3 = 0, 5*w - 8*w - 5*l + 27 = 0. Let s be ((-109)/w)/(1/(-4)). Suppose -s - 35 = -4*h. Is h a multiple of 18?
True
Suppose 2*g - 15 - 3 = 0. Does 5 divide g?
False
Suppose -96 = -13*k + 11*k. Is 4 a factor of k?
True
Let w(p) = 3*p**2 - 9*p. Is w(4) a multiple of 5?
False
Suppose -5*t - 2*s = -191 - 294, 0 = 5*t + s - 485. Let x = t - 40. Is 24 a factor of x?
False
Let f be 2 - 3*(1 + 0). Let k = f - -3. Is k a multiple of 2?
True
Suppose -5 = -b - 0. Let p(g) be the third derivative of g**6/120 - g**5/10 + g**4/6 + 7*g**3/6 - 5*g**2. Is p(b) even?
True
Let h = 8 + -5. Suppose -7*c + 16 = -h*c. Is (-91)/(-3) - c/(-6) a multiple of 18?
False
Let i be (6/(-8))/((-2)/8). Suppose i*j - 35 = 205. Is j/(-6)*(-18)/12 a multiple of 10?
True
Suppose 2*c - d = 3*d - 20, 2*d = -c + 6. Let l be (-16)/(-6)*(-99)/c. Let n = -83 + l. Does 17 divide n?
False
Let j(p) = p**2 - 5*p + 8. Let d be j(9). Suppose -3*h = -15, 0 = -2*w + 4*h + d + 2. Does 11 divide w?
True
Let y = -5 - -22. Does 17 divide y?
True
Suppose -168 = -y - 72. Suppose -c - 2*c = -y. Does 16 divide c?
True
Let l be 10/(-3 + (-30)/(-9)). Let u be 67/5 + (-12)/l. Suppose 3*f - u = 11. Is 3 a factor of f?
False
Let t = -8 - -8. Suppose -3*d + t*d + 36 = -4*n, 13 = d - n. Is 8 a factor of d?
True
Let m be (-4)/(2 - 2 - 2). Let a = m - 4. Does 20 divide a + (2 - (-40)/2)?
True
Suppose 3 = d - 8. Suppose -4*i = l - 186, 3*i - l = 125 + d. Is 12 a factor of i?
False
Let q(w) be the first derivative of -w**3 - 2*w**2 - w - 3. Let x be q(-7). Is (3/6)/((-2)/x) a multiple of 23?
False
Suppose -52 = 2*d + g + g, 0 = -d + 4*g - 46. Let b = d + 44. Is 5 a factor of b?
False
Let f be ((-3)/(-6))/((-1)/(-16)). Let l(o) = -12 - o + 2*o + 3*o. Is 10 a factor of l(f)?
True
Suppose -5 = -t + 58. Is t a multiple of 21?
True
Let v be -1 + 46 + 1 + 0. Let p = v + -24. Does 15 divide p?
False
Let i = -18 - -26. Suppose -l = 3*l - i. Is 8 a factor of 3/l - 35/(-2)?
False
Is ((-25)/(-10))/((-3)/(-6)) a multiple of 3?
False
Suppose -5*v - 7 = -3*k, 2*v = -3*v - 5*k + 25. Suppose -4*h = -v - 31. Suppose h = f + 2*y - 12, 2*y = 4*f - 110. Is f a multiple of 13?
True
Let c = -6 - 30. Is (c/(-8))/(2/4) a multiple of 9?
True
Let z(u) = -u - 3. Let l be z(-2). Let n = 21 - l. Does 11 divide n?
True
Suppose 3*m - 2*m = 526. Suppose 4*r = 3*b + m, -398 = -3*r + 5*b - b. Suppose 2*x + 3*x = r. Is x a multiple of 16?
False
Suppose 3*z - z - 4*c = 128, 16 = -4*c. Suppose 11*o = 9*o + z. Does 14 divide o?
True
Suppose 1 = 2*w - 3. Is (-18 - (-3 + w))*-1 a multiple of 8?
False
Let y = 18 - 4. Is y a multiple of 8?
False
Does 8 divide 1*(3 - 1) - -7?
False
Suppose 2*j + 63 - 195 = 0. Does 10 divide j?
False
Suppose 4*o - 83 = -3. Suppose o = 2*h - g, 0*h - g = h - 4. Does 4 divide h?
True
Suppose g = 1 + 3. Suppose -138 = -2*r + 2*p, 3*p = g*r - 5*r + 61. Suppose 2*y - r = -w, 0 = 2*y + 4*w - 23 - 29. Does 12 divide y?
True
Suppose 0 = 2*q + 3*q + 330. Let n = -4 + -25. Let c = n - q. Is c a multiple of 21?
False
Suppose j - 63 = 3*f, -j + 66 + 5 = -5*f. Does 19 divide j?
False
Does 12 divide 48*(30/8 + -3)?
True
Suppose -4 = -5*c + 4*c. Suppose -c*f - 1 = -9. Suppose -2*l + f*v + 60 = -0*l, 5*v + 123 = 4*l. Is 11 a factor of l?
False
Suppose 0 = -5*u + 3*s + 153, -3*s + 128 = 4*u - 4*s. Is u a multiple of 17?
False
Suppose -4 = -k, 0 = 4*h - 2*k - 0*k - 36. Is h a multiple of 2?
False
Let o(h) = -26*h**3 + 10*h**3 + 2*h + h**2 - h. Let t be 42/(-54) + 1 + 11/(-9). Is 8 a factor of o(t)?
True
Is 14 a factor of 148/(-6)*(-18)/12?
False
Let m = -12 + 20. Is 4 a factor of m?
True
Let n(z) = 6*z**2 + 1 - z + 0*z - 2. Suppose -4*q + 2*q = 2. Is n(q) a multiple of 3?
True
Let i(t) = -t**3 - 6*t**2 + 3*t - 4. Is 6 a factor of i(-7)?
True
Let g(h) = 4*h + 14. Let l be g(13). Let t = l - 26. Is t a multiple of 12?
False
Suppose 5*n = n. Is (n - -4)*(-61)/(-4) a multiple of 12?
False
Let m = -13 + 31. Suppose i - 1 = 0, 3*q - 56 = i + m. Does 7 divide q?
False
Let x(n) = 12*n + 5. Is 12 a factor of x(4)?
False
Suppose -3*x = 26 - 332. Is 13 a factor of x?
False
Let a be (4/6)/(12/54). Suppose -a - 5 = 2*i. Let q = -1 - i. Is q a multiple of 3?
True
Suppose -2*x = -6*x + 168. Suppose p - x = -4. Does 11 divide p?
False
Suppose -4*b + 3 = -3*s, 3*s = -1 - 2. Suppose 0 = -3*k + x + 10 - b, -k = 2*x - 1. Suppose -k*t + 0*t + 9 = 0. Is 2 a factor of t?
False
Suppose 5*t - 1350 = 3*l, 3*t + l + 197 - 1007 = 0. Is t a multiple of 15?
True
Suppose 2*i + 19 = i. Let x = i + 46. Does 14 divide x?
False
Suppose 0 = 2*l - 5 - 5. Suppose -2*x = l*q - 110, -3*x + 105 = 4*q + 2*x. Is q a multiple of 16?
False
Let z be 6/2 - (-3)/(-1). Suppose z = -2*c - c + 75. Is 1*(c + 0) - -3 a multiple of 22?
False
Let q = 4 - 2. Suppose l = 2 + q. Suppose l*j + c = 63, -1 = 2*c - c. Does 8 divide j?
True
Suppose -i - 142 = -4*c + i, -i + 167 = 5*c. Is c a multiple of 6?
False
Let a(p) = -4*p - 1. Let v be a(-1). Let z(n) = -6*n - 40. Let x be z(-7). Suppose 0 = 2*r + v*o + x - 28, 0 = -2*r - 4*o + 24. Is 16 a factor of r?
True
Let p be 0*(-1 + 2 + 0). Suppose 5*r + p*r - 70 = 0. Does 7 divide r?
True
Let f(i) = i**2 + 19*i - 10. Let l be f(-19). Let h = l - -33. Is 7 a factor of h?
False
Suppose -3*q + 11 = -4. Suppose -5*l = -q*r - 2*l + 298, -4*l - 4 = 0. Is r a multiple of 11?
False
Suppose g - 13 = -3*r, -2*g + 0*g - 4 = -4*r. Suppose g + 0 = 2*h. Suppose -h*o = 2*o - 20. Does 4 divide o?
False
Suppose 8*p - 350 - 994 = 0. Is p a multiple of 29?
False
Is 4 a factor of (3 - 0) + 34/2?
True
Let j = 0 - -5. Suppose 100 = -t + j*t. Is 25 a factor of t?
True
Let f(m) = -9*m**2 + m + 1. Let s be f(-1). Let x = 37 - s. Is x a multiple of 12?
False
Let i(f) = 7*f**2 - f - 1. Let h be i(-1). Let o = h - 3. Is o a multiple of 3?
False
Let u = 121 + -76. Does 21 divide u?
Fa