6*u - 919 - 299. Does 44 divide u?
False
Let m(h) = h**3 + 7*h**2 - 8*h + 11. Suppose -3*t + k - 12 = -t, 0 = -3*t + 4*k - 8. Does 7 divide m(t)?
False
Suppose -3*w + 15 = 3*y, 0*w + 2*w + y = 8. Does 12 divide 23*6/w - 0?
False
Suppose 3*b = 83 + 232. Is b a multiple of 15?
True
Let i(k) = 53*k + 2. Is 13 a factor of i(2)?
False
Suppose -9 = -3*w - 0. Is (0 - w) + 6 - -23 a multiple of 7?
False
Let i = 66 - 18. Is i a multiple of 12?
True
Suppose 3*b = 2*b + 2. Is -1*(b/(-2) - 48) a multiple of 17?
False
Let t be (-3)/9 - (-110)/6. Let x = t + -45. Let q = x + 51. Is 12 a factor of q?
True
Let q(k) = k + 1. Let l be q(4). Let t be l/10*28/(-2). Let r = 2 - t. Is r a multiple of 5?
False
Let l = -4 - -3. Let h be 0/(l/(0 + -1)). Does 4 divide h + (14/2 - -1)?
True
Is (-12)/(-16)*-19*-4 a multiple of 13?
False
Is 2*(230/1)/5 a multiple of 46?
True
Let g = 2 + 1. Suppose -52 = -5*m + g. Is 3 a factor of m?
False
Let d(f) be the second derivative of -f**5/20 - 3*f**4/4 - 5*f**3/3 - f**2 + 3*f. Let x be d(-8). Let v = x + 6. Is 10 a factor of v?
True
Suppose -o = -x + 5*x - 6, 3*x = -2*o + 2. Let t(h) = 13*h**2. Is 26 a factor of t(x)?
True
Let v(l) = -3 - l**3 + 0 + 4*l**2 - 8*l + 6*l**2. Let q be 1*9*(3 - 2). Does 5 divide v(q)?
False
Suppose 0 = 2*b - 4*b - 700. Does 14 divide (6/(-5))/(15/b)?
True
Let z(p) = p**3 + 14*p**2 + 8*p - 27. Is z(-13) a multiple of 38?
True
Let a be (-4)/6 + (-14)/6. Let d(z) = -7*z. Let v be d(1). Let j = a - v. Is 2 a factor of j?
True
Let f(r) = 4*r**2 - 5*r + 5. Does 3 divide f(5)?
False
Suppose 45 = 3*v - 39. Does 14 divide v?
True
Let k(p) = 0*p - 3*p - p**2 - 2*p - 2. Let g be k(-3). Suppose -d = -x + 22 - 5, 2*d = -g*x + 62. Does 6 divide x?
False
Let a(d) = -3*d - 6. Let f be a(-4). Let y(w) = -5 + 1 - 7*w - 4 + 8*w**2 + 3*w**3 - 4*w**3. Does 11 divide y(f)?
True
Is 6 a factor of 31 + (-7)/(7/(-3))?
False
Let y(j) = -4*j**3 - 6*j**2 - 6*j + 1. Let n(q) = 9*q**3 + 13*q**2 + 13*q - 2. Let d(s) = 3*n(s) + 7*y(s). Is d(-4) a multiple of 10?
False
Suppose -5*t + 325 - 105 = -a, -20 = -t + 5*a. Is t a multiple of 13?
False
Suppose -5*g - 1035 = -10*g. Suppose -4*q + 3*q + 1 = 0, -g = -2*d - 3*q. Suppose 0 = -4*o + 5*o - 4, 3*o = -3*i + d. Does 15 divide i?
True
Does 17 divide -24*((-70)/8)/7?
False
Let h be (-10)/4*18/15. Is 19 a factor of -5*h/15*42?
False
Suppose w + 0*w - 10 = 0. Let j = 16 - w. Suppose 4*k = -2*r + 92, j*k = 2*k + 2*r + 92. Is 11 a factor of k?
False
Let q(o) = o - 2. Let m be q(5). Suppose 3*d + m*g - 117 = -0*d, 0 = -g. Does 13 divide d?
True
Let i = 57 - 24. Does 6 divide i?
False
Does 12 divide (-1)/(1*(-1)/24)?
True
Let v(g) = 3*g - g - 3 + 2*g + 3*g**2 - 2*g. Is v(3) a multiple of 6?
True
Let o = -25 + 40. Let t = o - -4. Is t a multiple of 19?
True
Suppose -f + 4*f - 33 = 0. Suppose 50 = 5*z - 6*p + p, -2*z + 5*p = -29. Let n = f - z. Does 4 divide n?
True
Let y be (-54)/30*10/(-3). Let m(t) = -2*t - y - 4*t + 4*t. Is 3 a factor of m(-8)?
False
Let f be ((-6)/(-1) - 3)/1. Suppose -2*j - f + 23 = 0. Does 3 divide j?
False
Let g(u) = 5*u + 1. Let d be g(1). Let z be d/9 - (-28)/3. Does 18 divide (z/4)/((-3)/(-36))?
False
Let i(q) = -32*q**3. Suppose -3*g - 3 = -6. Let l be i(g). Let z = 7 - l. Is z a multiple of 13?
True
Suppose -3*p = -0*p + 2*m - 605, -5*m + 599 = 3*p. Does 29 divide p?
True
Let o(t) = t**2 - 2 - 2 + 0 + 7. Does 6 divide o(3)?
True
Suppose 7*a - 6*a - 238 = 0. Is a a multiple of 34?
True
Let n be (-2 - -22)/(2 - 3). Is 2*-5*64/n a multiple of 16?
True
Let y = -11 + 44. Is y a multiple of 9?
False
Let p(g) = -g**3 + 5*g**2 + 11*g - 8. Let x = 10 - 3. Let t be p(x). Let f = 40 + t. Is 8 a factor of f?
False
Let p = -4 - -5. Let f = p + 4. Suppose -f*h + 19 = -11. Is 6 a factor of h?
True
Suppose -42 = 3*k - k. Is (4/2)/((-2)/k) a multiple of 21?
True
Suppose -f = 5*j + 15, 3*j - 8 = 2*f - 30. Let o be (4/j)/((-2)/8). Suppose o*x = -4*g, 2*g = 6*x - 4*x + 20. Is g a multiple of 5?
True
Suppose -4*j + 128 + 72 = 0. Suppose j = 2*m + 3*m. Is m a multiple of 10?
True
Let o(c) = 4*c - 3. Let t(f) = -8*f + 5. Let y(u) = 7*o(u) + 3*t(u). Suppose -8*n + 51 = 11. Is y(n) a multiple of 14?
True
Let b(m) = -5*m**3 - m**2 + 2. Let a(z) = -2*z + 1 - 2 + 7. Let f be a(4). Is b(f) a multiple of 19?
True
Suppose -2 + 10 = 4*n. Suppose 0 = 5*y + 3*z - 43, -5*y + 2*z = -n*z - 36. Is y a multiple of 4?
True
Let a be 2 - (-2)/(-2) - 22. Is 6 a factor of 6/a - 242/(-14)?
False
Let r = 30 + -18. Is 2 a factor of r?
True
Let k(h) = 2*h - 3. Let r be k(7). Suppose m - 7 = r. Does 6 divide m?
True
Let o = 41 - 28. Does 3 divide o?
False
Let b = 80 - 8. Suppose 3*n - 3*k - b = 0, 3*n - 5*k = -0*k + 74. Is n a multiple of 6?
False
Let g = -7 + 12. Suppose 8*v = g*v + 114. Is 19 a factor of v?
True
Let j be 9/(-18) + 22/(-4). Is (-3 + 2)/(j/12) a multiple of 2?
True
Let b = 257 + -213. Does 11 divide b?
True
Suppose 0 = 5*g + s - 0*s - 146, -3*g - 2*s = -82. Suppose -10 = 5*o + 3*b - g, 2*o = 2*b + 8. Does 4 divide o?
True
Does 31 divide -65*(4 - (-1 + 6))?
False
Let l = 115 - 74. Is l a multiple of 9?
False
Let z(b) = 10*b**2 + b - 2. Let c be z(-2). Is (-155)/(-9) - 8/c a multiple of 6?
False
Let s(f) = f**3 - 3*f**2 - 5. Let l(x) = x**3 - 5*x**2 + 6*x - 4. Let q be l(4). Suppose q*d + 0*d = 20. Is 15 a factor of s(d)?
True
Let z(s) = 2*s**2 - 12*s + 2. Let t be z(6). Suppose -3*f + 0*f + 226 = -4*c, -t*f + 2*c + 148 = 0. Does 18 divide f?
False
Suppose v + v = -4*y - 4, -v = -4*y + 2. Suppose 3*g + f + 110 - 359 = y, 0 = -g + 5*f + 99. Is 28 a factor of g?
True
Let g be 2/(-4)*6*-1. Suppose 0 = -2*l - 2*j + g + 3, l = -4*j - 3. Is 2 a factor of l?
False
Let s be ((-4)/10)/((-8)/40). Suppose 0*a - a = -s*n + 7, -3 = -a - 3*n. Let p(j) = -8*j + 2. Is 14 a factor of p(a)?
False
Let x be ((-4)/10)/((-4)/40). Let i(w) = -x*w + 0*w + 3*w. Does 4 divide i(-5)?
False
Suppose -4 = 3*i - 5*i. Let q(s) = -3*s - 4. Let m be q(-6). Let f = m - i. Does 5 divide f?
False
Let f(n) = -42*n**3 - n. Let s be f(-1). Suppose -2*x + 0*x = -14. Suppose -4*h - x = -s. Does 4 divide h?
False
Let d(w) = w**3 - 8*w**2 + 8*w - 4. Does 20 divide d(8)?
True
Let d = 7 + -4. Is (d/(-2))/((-1)/22) a multiple of 11?
True
Let s(b) = b - 5. Let o be s(5). Suppose 3*g = -o*g - 192. Does 8 divide g/(-6)*15/10?
True
Let p(y) be the second derivative of y**5/20 + y**4/4 + y**3/3 - y**2/2 + y. Let o be p(-2). Is 3 a factor of (-30)/(-8) + o/(-4)?
False
Does 39 divide (-20)/(-110) + 2570/22?
True
Suppose 36 = 4*w - 4*k, 5*k + 8 + 17 = 0. Let a be (-6)/(((-3)/w)/(-1)). Does 11 divide 10*(-4)/(a/5)?
False
Let r = 205 + -118. Is r a multiple of 5?
False
Suppose -3*z + 50 - 14 = 0. Suppose -2*a + z = o, o = -3*a - o + 18. Does 2 divide a/8 + 17/4?
False
Suppose -n + 9 = 5*g, -g = 3*n - 5*g - 84. Is n a multiple of 5?
False
Suppose o - 5 = 0, -117 = -j - 5*o + 4*o. Is j a multiple of 7?
True
Let a(r) = 31*r**3 + 2*r - 1. Let q be a(1). Let x = q - 11. Is 10 a factor of x?
False
Let w(k) = -k**3 - 4*k**2 + 5*k - 3. Is w(-6) a multiple of 13?
True
Let z(d) = -62*d - 9. Is z(-6) a multiple of 47?
False
Let w be 625/8 - 1/8. Let u = w + -48. Does 10 divide u?
True
Suppose -3*p = 3*p + 366. Let g = 129 + p. Is 34 a factor of g?
True
Is 9*(-2 - (-4 - -1)) a multiple of 2?
False
Let y = 62 - 26. Does 10 divide y?
False
Suppose 5*i = 13 + 7. Suppose -i*l + 16 = -8. Is l a multiple of 3?
True
Suppose -3*i - 2*i = 0, 4*l + 5*i - 16 = 0. Is l a multiple of 4?
True
Let i(h) be the first derivative of 3*h**2 + 2*h - 2. Is i(7) a multiple of 14?
False
Let d = 7 - 13. Let l(s) be the third derivative of -5*s**4/24 + s**3/2 - 7*s**2. Is l(d) a multiple of 19?
False
Suppose -2*w - 3*t - 33 = 0, 13 = -w + t + t. Does 8 divide 2/(-5) - 126/w?
True
Let c be (-1)/(-1) - (-4 + 3). Suppose -c = -3*h + 1. Is 9 a factor of 1 - (-2 - (h - -7))?
False
Suppose 7*z + 2*q = 2*z + 60, -24 = -2*z + 4*q. Suppose -3*b + 4 = -5*r - 16, 3*r - z = -3*b. Suppose 0 = -b*m + 88 + 2. Does 8 divide m?
False
Let u be (0/1)/(-19 + 17). Let l(d) = 3*d**3 - 1. Let k be l(1). Suppose k*o - 6 = -u*o. Is o a multiple of 2?
False
Let b = 1 + 2. Suppose b*h - 144 = -5*s, 4*h + 3 = -5. Does 10 divide s?
True
Suppose 0 = -5*y + 3*d + 523, d + 190 + 20 = 2*y. Does 13 divide y?
False
Suppose