 13. Does 17 divide u(x)?
True
Let b(c) = 2*c**2 - 17*c + 6. Suppose t = -3*t + j + 28, -5*t + 35 = -2*j. Let k be b(t). Let w = k - -28. Is 7 a factor of w?
False
Let o = -4 + 1. Let g be (14 - 10) + (-1)/1*42. Is g*(o/2 + 1) a multiple of 13?
False
Let s(a) = a**2 - 7*a + 5. Let w be s(6). Let j be (-856)/(-40) - 2/5. Let y = j + w. Does 10 divide y?
True
Suppose 0 = 5*c + 5, -4*f - 17 = -3*c - 92. Is f a multiple of 3?
True
Suppose 10*y = 14*y + 72. Let n be (17 + y)/((-1)/9). Suppose -5*i + n*i - 96 = 0. Does 6 divide i?
True
Suppose 0 = -2*j + 1445 - 531. Is j a multiple of 37?
False
Let u = -13 + 15. Let n(s) = -s - 1. Let o be n(-1). Suppose o = u*w + 1 - 5. Is w even?
True
Is (-16)/(-6)*((-202)/(-8) + 4) a multiple of 3?
True
Suppose 4933*i = 4936*i - 189. Is i a multiple of 2?
False
Suppose 3*u - 4*f + 9 = 4*u, 2*u + 4*f = 14. Let s(p) = 6*p + 3. Let r be s(u). Suppose 3*m = 3*w - r, -2 = -w - w - 3*m. Is w even?
False
Suppose -684 = -3*b - 3*n, b - 7*n + 3*n = 243. Is b a multiple of 21?
True
Let a = -170 + 237. Let t be (1 + -5 + 1)*3. Let m = a + t. Is m a multiple of 13?
False
Does 22 divide (3 + -34 - 1)*(-187)/34?
True
Let t(y) = -y**3 - 5*y**2 + 4*y + 6. Suppose 0 = -4*h + 3*h - 7. Is t(h) a multiple of 20?
False
Let k be -2 + (-3 - -2) - -91. Let b = k - 212. Let n = b + 173. Is n a multiple of 14?
False
Suppose 18 + 101 = 7*j. Suppose j + 223 = 6*l. Is 5 a factor of l?
True
Let n = 0 + 5. Suppose -15 + 5 = -n*r. Let u(f) = 17*f - 4. Is 7 a factor of u(r)?
False
Suppose 6*o = -3*p + 4*o + 12341, 0 = -4*o - 20. Does 12 divide p?
False
Suppose 3*z = d + 172 + 3543, 0 = 3*z + d - 3719. Is 40 a factor of z?
False
Suppose -r + 346 - 26 = 0. Does 20 divide r?
True
Let f = 144 + -63. Let b = f - 31. Is 10 a factor of b?
True
Suppose 2*n + 2*c + 13 = 5, 3*n + 2 = 2*c. Is 29 a factor of 226/(((-3)/n)/(9/12))?
False
Is 10 a factor of (141 - 3) + -3 + (2 - -2)?
False
Let n(p) = -3*p**3 - 19*p**2 - 46*p - 20. Does 5 divide n(-6)?
True
Let c(x) = -x - 61. Let u be c(21). Let r = 119 + u. Is 24 a factor of r?
False
Let s(o) = o**2 - 6*o - 25. Let i be s(15). Let v = i - 66. Is 8 a factor of v?
False
Let l(i) be the first derivative of i**6/360 + i**5/60 + i**4/3 - 2*i**3/3 + 1. Let r(p) be the third derivative of l(p). Is 3 a factor of r(0)?
False
Suppose -17*l = -16*l + 2*d - 386, -4*l = -2*d - 1594. Is l a multiple of 18?
True
Suppose -6 = 4*w + 14. Let m = 620 - 559. Is 10 a factor of m + w + 2 + -1?
False
Let a = -20 + 13. Let w(b) = b**3 + 7*b**2 - 5*b + 2. Does 7 divide w(a)?
False
Let z(u) = -u - 19. Let l be z(-19). Suppose l = -10*g + 136 + 24. Is g a multiple of 14?
False
Suppose -2*v = -3*l + 1100, 19 + 1093 = 3*l - 5*v. Does 13 divide l?
True
Suppose y + 3*g - 29 = 0, -2*y + 8 = 2*g - 6*g. Suppose -4*k + y = -10. Suppose -k*z + 2*r = -z - 128, -4 = -4*r. Is z a multiple of 22?
False
Let k(n) = -6*n - 17. Suppose 3*z + 10 = -2*y, -2*z + 20 - 8 = -y. Does 3 divide k(y)?
False
Let r(a) = a**3 + 3*a**2 - 5*a + 384. Is r(0) a multiple of 14?
False
Let j(x) = 6*x - 13. Let y be j(2). Let u(v) be the first derivative of 3*v**3 - v + 1. Is 3 a factor of u(y)?
False
Let c(w) = 2*w**2 - 8*w - 12. Let b be c(-6). Suppose -11*k = -9*k - b. Is 27 a factor of k?
True
Suppose 2*l + n = 922, -1393 = -2*l - l - 4*n. Is 51 a factor of l?
True
Suppose 3*o - 21 = -3. Suppose 0 = o*f + 5*f - 2310. Is 35 a factor of f?
True
Suppose 37 = 7*n - 2*n + 4*w, -2*w = -4*n + 14. Let s = 1 + 4. Suppose -n*o + 1 + 14 = 0, o + 127 = s*p. Is 9 a factor of p?
False
Let s(v) = 1845*v - 54. Does 84 divide s(2)?
False
Let o = 212 - 147. Does 2 divide o?
False
Is (38/57)/(0 + (-1)/(-501)) a multiple of 19?
False
Let r(m) = 8*m + 6. Let o(y) = 7*y + 5. Let u(g) = 7*o(g) - 6*r(g). Suppose -3*x + 32 + 1 = 0. Does 5 divide u(x)?
True
Let d = 26 - 23. Suppose -d*i = -285 - 30. Is 15 a factor of i?
True
Let i(h) = -h**3 + 14*h**2 + 23*h - 29. Let s be i(17). Let c = s + 736. Does 44 divide c?
False
Suppose 1995 = 16*p - 229. Is 22 a factor of p?
False
Let j = 36 - 35. Let p be 2 + j + -3 + 12. Suppose q - p - 8 = 0. Does 5 divide q?
True
Let z(a) = a**2 - 4*a + 94. Does 6 divide z(0)?
False
Let u(r) = r**3 + 5*r**2 + 5*r + 7. Let f be u(-5). Let n = f - -23. Is 3 a factor of n?
False
Let u = 175 + -122. Let q = u + 182. Is 27 a factor of q?
False
Suppose -2*v = 3*v - 20. Suppose 4*h - 404 = -v*f, -f = 4*f + 10. Is h a multiple of 24?
False
Suppose -36*o = -49*o + 15444. Does 14 divide o?
False
Let p be (-16)/(-40) - (-23)/5. Suppose s - p*t - 31 = 0, 4*s + 5*t - 7 - 92 = 0. Is 5 a factor of s?
False
Let n(b) = -19*b + 3*b - b + 6 - 12*b. Does 8 divide n(-2)?
True
Let d(i) = i + 70. Does 6 divide d(20)?
True
Let b = -22 - -27. Suppose b*l + w + 3*w = 255, 153 = 3*l + 5*w. Is 8 a factor of l?
False
Let d = -136 + 137. Is (3564/16)/d - 2/(-8) a multiple of 15?
False
Let a = 108 - 0. Suppose 6*j = 9*j - a. Is 12 a factor of j?
True
Let j = 59 + -56. Suppose j*z - 2*u = 832, -324 = -2*z + 5*u + 238. Does 46 divide z?
True
Let j = -5 - -194. Is 16 a factor of j?
False
Let r = -85 - -48. Let z = r + 94. Let a = z + -35. Is 11 a factor of a?
True
Let x(t) be the second derivative of t**6/180 + t**5/30 + t**4/4 + 6*t. Let g(h) be the third derivative of x(h). Is g(6) a multiple of 14?
True
Let u(s) = 2*s**2 + s - 15. Is u(5) a multiple of 20?
True
Let g(v) = v**3 + 9*v**2 + 19*v - 1. Let h be g(-6). Does 10 divide (180/h)/((-21)/98)?
True
Suppose 0 = -2*k - 1549 + 4359. Does 26 divide k?
False
Let y = -39 + 117. Let u = 98 - y. Does 4 divide u?
True
Is 15 a factor of (5320/6 - -1) + 28/21?
False
Does 18 divide (-1)/(-14) + 144877/322?
True
Is ((-1190)/(-3))/(272/3672) a multiple of 15?
True
Let v be (-12)/(-21) + 4/(-7). Suppose v = -3*g, -i + 7*g - 2*g = 0. Suppose 2*z - 6 + 0 = i. Is z a multiple of 3?
True
Suppose 5*j - r - 352 = -0*r, -j + 5*r = -56. Let n = 99 - j. Is 14 a factor of n?
True
Let q = -6 - -145. Is 5 a factor of q?
False
Suppose -n = 5*o - 61, -o - 5 + 2 = 4*n. Let g = -7 + o. Let y(h) = h**2 - 5*h + 4. Is 3 a factor of y(g)?
False
Let x = -2 - -4. Let w(u) = 6*u**3 - 2*u**2 + 3*u - 2. Let o be w(x). Suppose 3*v + 116 = 6*v + 5*p, -5*p = -2*v + o. Is v a multiple of 14?
False
Suppose -5*j + 68 = -4*o, -32 = 5*o + 2*j + 20. Suppose -4*m + 60 = -8. Let l = m + o. Does 5 divide l?
True
Is ((-402)/(-18)*12)/4 even?
False
Let f(m) = -m**2 - 11*m + 24. Let v(b) = 3*b**2 + 21*b - 49. Let j(i) = -5*f(i) - 2*v(i). Is j(7) a multiple of 5?
True
Let s(u) = 581*u**3 - 9*u + 8. Is 29 a factor of s(1)?
True
Suppose -4*i = -51 - 9. Let a = -11 + i. Suppose a*c + 3*d - 180 = 173, 2*c = 5*d + 209. Does 25 divide c?
False
Does 3 divide 3738/24 - (23/4 + -6)?
True
Let m(k) = k**3 + 7*k**2 - 9*k - 14. Let y(c) = -5*c**2 - 4*c + 3. Let v be y(1). Is m(v) a multiple of 10?
False
Suppose -4*z + 59 = -2*z + 5*x, 2*z - 104 = 4*x. Is -1 - ((-3 - z) + 0) a multiple of 22?
True
Let d = 74 - 70. Suppose 0 = 5*z + 4*m - 90, -d*m - m - 113 = -4*z. Is z a multiple of 22?
True
Is 2 a factor of (-401)/(-6) - (-4 - 115/(-30))?
False
Let f(t) = -t**2 + 8*t - 3. Let b be f(6). Suppose b*g + 8 = 5*g. Let a = g - -11. Is 2 a factor of a?
False
Let f be (-6506)/(-10) - 10/(-25). Does 18 divide f/(12 + -5) - (2 + 1)?
True
Suppose 21 = -3*s - 2*u + 1, -u - 1 = 0. Let t be s/(-21) - (-16)/(-7). Does 14 divide 11/((-7)/4 - t)?
False
Let r(b) = b + 122. Is r(40) a multiple of 26?
False
Let h be 2/3 + 168/(-9). Let x = h - -23. Suppose 0 = s - 5*u - 77, 0 = -x*u + 5. Is 19 a factor of s?
False
Let r(k) be the third derivative of 7*k**5/60 + k**4/24 + 2*k**2. Let x be 7/(35/4)*5/(-2). Is 12 a factor of r(x)?
False
Is 11 a factor of (-49)/(-4 + 11) + 255?
False
Let b = 828 - 471. Does 38 divide b?
False
Let v(i) = i**2 - 10*i - 26. Let q be v(12). Is 28 a factor of 6 + -5 + (-334)/q?
True
Does 7 divide ((-83)/(-2))/(7/14)?
False
Let g(u) = -1359*u - 13. Is g(-2) a multiple of 82?
False
Let z(l) = 10*l + 4. Let r(u) = -1. Let k(h) = -6*r(h) + z(h). Is k(6) a multiple of 10?
True
Suppose -o + 15 = 4*m, m + 30 = -564*o + 566*o. Is 3 a factor of o?
True
Let l(t) = -7*t**2 - 2*t + 3. Suppose 2*x + 0*x = 4. Let a be l(x). Let y = 51 + a. Is 11 a factor of y?
True
Suppose 4*a - 20 = 64. Let i = a + -7. Is i even