 = 3*r + 8, 0 = -l*r - 3*u + 51. Does 18 divide r?
True
Suppose 0 = u - 4*u + 603. Does 45 divide u?
False
Suppose 0*t = -3*j + t + 191, -4*t = 5*j - 307. Is 21 a factor of j?
True
Let l = 173 - 124. Is 2 + -3 + (l - 1) a multiple of 10?
False
Let g be (-2)/7 + (-3784)/(-14). Suppose -2*l - g = -7*l. Is 8 a factor of (-4)/(-6)*l/4?
False
Suppose h + 216 = 5*h. Does 18 divide h?
True
Let r = -13 - -16. Is 16 a factor of -51*2/(-3) - r?
False
Suppose 3*l = -3*a + 273, -3*l - 2*a = -7*a - 257. Suppose -f = -5*n + l, 2*n - 4*f - 42 = -2*f. Does 17 divide n?
True
Suppose 3*h = -2*h - 25. Let w = 17 + -8. Let k = h + w. Does 2 divide k?
True
Let f(i) = 2*i**2 - i + 9. Is f(3) a multiple of 4?
True
Let l = 0 - -6. Let i be (-1585)/(-15) - (-2)/l. Does 12 divide 4/8 + i/4?
False
Let r = -15 - -44. Does 8 divide r?
False
Suppose 3*a = -18 - 15. Let o = a - -8. Is 3 a factor of 3*(-1)/3*o?
True
Suppose 0 = -2*m - m + 15. Suppose 23 = 2*y - m*i, -6*i = 5*y - 4*i - 14. Does 2 divide y?
True
Let w(k) = -4*k**2 + 3*k**2 + 1 + 8*k + 2*k**2 - 6. Is w(-12) a multiple of 11?
False
Let i(v) = 4*v**3 + 2*v**2 - v + 2. Let w(q) = 11*q**3 + 6*q**2 - 4*q + 7. Let j(n) = 8*i(n) - 3*w(n). Does 5 divide j(-4)?
False
Suppose 5*n - 2 = 3. Let g be 6/((1/8)/n). Let v = -34 + g. Is v a multiple of 7?
True
Suppose -24 = 4*z - z. Let q be z/44 - (-4)/22. Suppose y = -q*y + 8. Is y a multiple of 4?
True
Let f(h) = 2*h**2 - 17*h + 14. Is f(14) a multiple of 21?
True
Does 27 divide 24/(5/(90/4))?
True
Let w(d) = -2*d + 29. Does 2 divide w(9)?
False
Let a(j) = j**2 + 5*j + 5. Let m be a(-5). Suppose 0 = -3*d - 0 + 9. Suppose -f = -d - m. Is f a multiple of 4?
True
Suppose 2*t = -2*i + 21 + 161, 2*i - 170 = t. Does 17 divide i?
False
Suppose 9*x = 4*x + 15. Suppose f = -0*f + x. Suppose -5*g = 4*n - f, 4*g - n = 7*g - 6. Is 3 a factor of g?
True
Let x(k) = 5*k + 6. Is 7 a factor of x(3)?
True
Let v = 75 - 73. Let l(m) = 2*m**3. Let i be l(1). Suppose i*n = 2*z - z + 5, v*z - 35 = -5*n. Is n a multiple of 5?
True
Suppose 2*g + d + 6 = -g, -g - 2*d - 2 = 0. Is ((-1)/g)/((-10)/(-440)) a multiple of 11?
True
Let h(t) = -t**2 + 11*t + 8. Does 18 divide h(8)?
False
Let g = -9 - -8. Let n(j) = -4*j. Let i be n(g). Suppose -2*h = i*b - 22, h + b = -3*b + 15. Is 3 a factor of h?
False
Suppose 9*o - 35 = 4*o. Let r(l) be the first derivative of -l**3/3 + 4*l**2 + 4*l - 5. Is 11 a factor of r(o)?
True
Let g(w) = w**3 + w - 3. Let n be g(0). Let b(i) be the second derivative of -10*i**3/3 - 3*i**2/2 - 4*i. Does 20 divide b(n)?
False
Let b(v) = -2*v + 9. Let z(n) = -n + 4. Let l(k) = -2*b(k) + 5*z(k). Does 9 divide l(-7)?
True
Let k = 85 + -48. Does 29 divide k?
False
Suppose c + 28 = -0. Suppose -d = 23 - 77. Let g = c + d. Is 13 a factor of g?
True
Let z be -3 - -16 - (1 + 1). Suppose -2*j + z = -47. Is j a multiple of 28?
False
Is 16 a factor of -10*1/(15/(-192))?
True
Suppose -x + 4*q = 0, x + 4*q + 32 = 6*x. Is 2 a factor of x?
True
Suppose -2*n - 78 = 4*d, 3*d - 5*n + 81 = -2*n. Let v = d - -36. Does 8 divide v?
False
Suppose 0*z = 2*z + 6. Does 14 divide (-20 + -1)*2/z?
True
Let t be 26/(16/6 + -2). Suppose 4*d + 10 = b - 23, -5*b + 108 = -d. Let s = t - b. Is 11 a factor of s?
False
Let a be (-14)/(-18) + 2/9. Suppose l - 9 = 6. Is 8 a factor of (-2 + l)/(a - 0)?
False
Let j(g) = -g + 13. Is j(-8) a multiple of 19?
False
Let h = -37 + 57. Does 11 divide h?
False
Suppose 27*k - 392 = 20*k. Does 14 divide k?
True
Suppose 7*r - 1080 - 145 = 0. Is 35 a factor of r?
True
Let o(j) = -j**2 - 3*j + 10. Is o(-4) even?
True
Suppose -4*m + 4*k = -36, -m + 0*m + 4*k + 21 = 0. Suppose m*q = 4*z + 3, -z - 12 = -0*z - 5*q. Suppose -14 - 22 = -z*i. Does 8 divide i?
False
Let z(u) = u**3 - u**2 - 3*u + 2. Let x be z(2). Suppose -c + 2*c = 3*b + 65, x = -5*c - b + 341. Is c a multiple of 14?
False
Is 2 a factor of 14/4 - ((-7)/2 - -3)?
True
Let r(x) = 2*x + 1. Let c be r(1). Is 12 a factor of 2/c - (-318)/9?
True
Does 13 divide 5 + -3*16/(-6)?
True
Suppose -5*c + 138 = 3*o, 0*o = 2*o + 3*c - 92. Is o a multiple of 13?
False
Suppose -3*a = 3*s - 15 - 0, -s - 4*a + 8 = 0. Suppose -4*j = -5*c - 284, s*j - 392 = -j - 3*c. Is j a multiple of 19?
True
Suppose 4*c + 6 = 2*s - 4*s, s - 5*c - 32 = 0. Does 2 divide s?
False
Suppose 0 = -3*l + 2*r + 337, -l + 5*r + 84 = -24. Does 31 divide l?
False
Suppose 4 = -2*k - 4. Let r(i) = -5 - 2*i + 2*i**2 + 0*i**2 - 2*i. Is r(k) a multiple of 16?
False
Suppose 3*m - 3*i + i - 3 = 0, -5*m = 3*i - 5. Let z = m + 7. Does 4 divide z?
True
Suppose -2*f = -3*f - 5. Let w = 15 - f. Does 20 divide w?
True
Let d = 1 - 33. Let w be (-3)/6 + 1 + 155/10. Let r = w - d. Is 17 a factor of r?
False
Let f(k) = k. Let m(r) = -r + 4. Let j(u) = -2*f(u) - m(u). Let q = -13 - -6. Is j(q) a multiple of 3?
True
Suppose -4*i + i = v + 9, -4*v - 6 = -3*i. Let h = -5 - i. Let l = h - -17. Is 14 a factor of l?
True
Suppose 3*l - 2 = f - 25, 0 = 5*f + 5*l - 75. Is 12 a factor of f?
False
Suppose -5*w = -g - 74, -w = 2*w - 4*g - 41. Let q = 53 - w. Is q a multiple of 22?
False
Let b(v) = 22*v**3 - 2*v + 1. Is b(1) a multiple of 9?
False
Let s(n) = n**2 - n + 5. Let f = -1 + 6. Suppose w = p, -33 = -f*p - 13. Does 17 divide s(w)?
True
Let h(x) = -3*x - 1. Let u be h(-1). Let f be ((-30)/(-4) - u)*-14. Is 6/(-15) - f/5 a multiple of 15?
True
Is 5 a factor of (-91)/(-7) + (-4 - -3)?
False
Suppose -2*b + 47 = 3*m, -4*b + 4*m = b - 83. Let u = 31 - b. Is 7 a factor of u?
False
Let y = -69 - -81. Is y a multiple of 12?
True
Is 11 a factor of 35/7*(-34)/(-2)?
False
Let n(z) = 2*z**2 - 10*z - 2. Let r = 15 - 9. Let j = 1 + r. Is 13 a factor of n(j)?
True
Suppose -1 = -y + 1. Let d = y - -33. Is 15 a factor of d?
False
Suppose 0 = 5*k + 3*l - 1628, 3*k - 5*k - 2*l = -648. Suppose -k = a - 5*a. Let x = a + -47. Is x a multiple of 13?
False
Let t(l) = -2*l - 5. Let i be t(-4). Suppose 46 = i*a + 2*f, -a + 5*f + 23 = 3*a. Is 4 a factor of a?
True
Suppose 4*r + i - 60 = 50, -3*r - 4*i = -76. Is 18 a factor of r?
False
Let w = 107 - 65. Suppose -o = -4*h + 30, -2*h = -6*h - 5*o + w. Is 3 a factor of h?
False
Suppose -5*l - 15 = 0, 2*d - d - l = 184. Is d a multiple of 27?
False
Let o(m) = -m + 15. Let y be o(7). Suppose 4*n - y*n + 2*g = -18, -3*n = 3*g. Suppose n*c + 20 = j, -2*j = 2*j + c - 41. Is j a multiple of 5?
False
Let i = -20 + 106. Is i a multiple of 37?
False
Let i(h) = 5 + 4 + 15 - h. Does 24 divide i(0)?
True
Is 11 a factor of 209/11*(5 + -1)?
False
Is 8 a factor of 42/(-35)*(-680)/6?
True
Suppose -4*b + 4*c - 3 = -7, 9 = 3*b + 3*c. Suppose -b = -5*l + 18. Is l even?
True
Suppose 14 = -2*t + o, 2*t + 2*o = 6*o - 26. Let j be 2 + (t + -1)/(-3). Is j/8 + (-126)/(-4) a multiple of 16?
True
Suppose 4*k = 0, -2*j + 5*k - 27 = -141. Is j a multiple of 7?
False
Suppose -302 = 2*x - 2*v, -x - 299 = x - 5*v. Is (-2)/5 + x/(-5) a multiple of 10?
True
Let b = 3 - -7. Suppose 0*y = -5*y. Suppose 3*g - g - b = y. Does 5 divide g?
True
Suppose -12 = 4*a - 220. Is a a multiple of 26?
True
Does 29 divide (-2)/(-4 + (-692)/(-174))?
True
Let f = 256 + -177. Does 22 divide f?
False
Let i(m) = 2 + 11*m + 6 - m**2 - 4*m. Let u = -33 + 39. Is 14 a factor of i(u)?
True
Let v be 1*(2 + 0 + 3). Let b(c) = -c + 8. Let h be b(v). Suppose 0 = h*m - 4*n - 71 + 1, 4*m - 92 = 5*n. Is 9 a factor of m?
True
Suppose 3*g - 2*g - 72 = 0. Is 24 a factor of g?
True
Let j be -7 - (-16)/(4/1). Is (-15)/10*92/j a multiple of 23?
True
Let i(y) = 4*y**3 + 3*y**2 - 9*y + 8. Let r(k) be the first derivative of k**4/4 - k**2/2 + k + 3. Let m(z) = -i(z) + 6*r(z). Is 5 a factor of m(2)?
False
Suppose 0 = 2*y - y. Suppose -138 = -y*n - 2*n. Does 22 divide n?
False
Let p(l) = l**2 - l + 2. Suppose 2*a = -3*a. Is 2 a factor of p(a)?
True
Let q(x) = 3*x**2 + x. Let i be q(5). Suppose 2*a = 82 + i. Does 28 divide a?
False
Let q be (-2 - -4) + 6*-1. Let v be q/(-20) + 28/10. Suppose 17 = y - 2*z, v*z - z - 43 = -3*y. Is 15 a factor of y?
True
Let o(y) = -y**2 + 3 - 4 + 6*y + 11. Let w be o(7). Suppose -5*b - 8 = -w*q, 0 + 28 = 4*q + 2*b. Is 6 a factor of q?
True
Does 10 divide (2/(-5))/((-13)/1950)?
True
Suppose 0 = -5*x + 288 + 47. Is x a multiple of 16?
False
Let z(h) = 2*h**2 - 18*h + 4. Is 6 a factor of z(11)?
True
Let p = 11 + -6. Let g = p