u = g + 38. Does 9 divide u?
False
Is ((-153)/12)/17*-180 a multiple of 27?
True
Let a be 6/33 + (-97)/(-11) - -1. Does 17 divide 44578/155 - ((-4)/a + 0)?
False
Let r(l) = -l**3 - 8*l**2 + 7*l - 5. Let h be r(-9). Let b be (-1)/(-6) + (1182/36 - 1). Suppose -11*a = -h*a + b. Is 4 a factor of a?
True
Let s(x) = -3*x**2 - 15*x - 23. Let c(o) = 2*o**2 + 10*o + 15. Let h(k) = -7*c(k) - 5*s(k). Is h(-7) a multiple of 8?
True
Let u(d) = 8*d - 170. Is 72 a factor of u(53)?
False
Let j(t) = -t**2 - 14*t - 14. Suppose -1 = -i - 14. Let y be j(i). Is 4 a factor of (y/(-3))/((-3)/(-198))?
False
Suppose -4*d = -3*h - 2*d - 8, 5*h = -5*d - 55. Is (-756)/(-21)*(-4)/h a multiple of 12?
True
Let r = -170 - -241. Is r a multiple of 16?
False
Let i = 1438 + -921. Is 17 a factor of i?
False
Suppose -24 = -3*s + 3*x, x = -3*s - 2*s + 16. Is 22 a factor of 1*s + (202 - 3) + -5?
True
Let p(g) = 2*g**2 - 2*g + 8. Let f be p(-4). Let i = f - -69. Does 13 divide i?
True
Suppose -2*p - 2*p - 60 = 0. Let f be (-10)/p*9/2. Let m(a) = a**3 + 3*a**2 - 3*a. Is m(f) a multiple of 23?
False
Suppose k - 1246 = -3*d, 17*k = d + 22*k - 420. Does 10 divide d?
False
Suppose 0 = 22*o - 18*o - 116. Let k = 53 - o. Is 4 a factor of k?
True
Let p = -852 + 1071. Is p a multiple of 4?
False
Suppose 3*j = -12, 1509 = u + 2*u - 3*j. Does 4 divide u?
False
Suppose 72*f - 3456 = 63*f. Is f a multiple of 8?
True
Suppose 4*j + 6*j = 2*j. Let m(b) = 33 + 34 - b + 25 - 18. Is 22 a factor of m(j)?
False
Let i(s) = 50*s + 74. Is 41 a factor of i(10)?
True
Let h be 0/((-6)/9*-3). Suppose h*f - 2*f + 10 = 0. Suppose f*o - 244 = o - 4*j, 5*o = 5*j + 295. Is 15 a factor of o?
True
Suppose -5*p = 2*w - 270 - 552, -2*w - p = -822. Is 10 a factor of w?
False
Let k(f) = -f**2 + 4. Let o be k(-2). Suppose 3*d + 6 = 0, o*d - 5*d + 74 = 4*v. Is 3 a factor of v?
True
Let j be 33/(-9) + 4 + 2967/9. Suppose -3*s + j = -210. Is s a multiple of 30?
True
Let j = 59 - 146. Let v = -27 - j. Is v a multiple of 13?
False
Let j(g) = 38*g**2 - 39*g - 90. Does 24 divide j(-4)?
False
Suppose -7*t + 657 = -288. Suppose 5*b - 10*b = -t. Is b a multiple of 27?
True
Suppose -4*d + f = -1809, 456 = d - f + 2*f. Is d a multiple of 46?
False
Suppose -4*i - 14*f + 12*f = -34, 4*f - 38 = -3*i. Is 6 a factor of i?
True
Let h(a) = a**3 + 8*a**2 - a - 4. Let r be h(-8). Suppose 2 - r = u - 2*q, 5*u - 3*q - 11 = 0. Suppose 0 = -j - u + 11. Is 3 a factor of j?
False
Suppose 5*r + 4141 = 4*j, 5*j = -0*r + 2*r + 5155. Is j a multiple of 49?
True
Suppose -l = -v - 54, -5*v - 3*l - 35 = 235. Let m = -41 - v. Is 8 a factor of m?
False
Let y(w) = -w**2 + 10*w - 13. Let s be y(3). Suppose 2*r + 3*r = 30. Let i = s + r. Is i even?
True
Suppose 1732 - 11272 = -9*k. Is k a multiple of 10?
True
Suppose -3*d + 1 + 2 = 2*f, -3 = -3*d. Suppose -k - 2*c = -f*c - 2, 5*c = k + 33. Is (-2)/k - (-159)/4 a multiple of 8?
True
Does 52 divide ((-390)/(-20))/((-4)/(-32))?
True
Let i be -2 - -5 - ((-9)/3)/3. Suppose j = i*u - 136, 68 = 3*u - u + 5*j. Is u a multiple of 14?
False
Let x(i) = -4*i**2 + 1. Let k be x(2). Let y be 10/k - 71/(-3). Suppose 5*r - 88 = -y. Is 13 a factor of r?
True
Let f(o) = 2*o**2 - 28*o - 82. Is 8 a factor of f(-7)?
False
Let i(a) = -22 + 2*a - 7*a - 19*a. Let q(p) = -8*p - 7. Let m(u) = -2*i(u) + 7*q(u). Does 12 divide m(-4)?
False
Let a = -6 + 37. Is 17 a factor of a?
False
Let f = -31 - -36. Let p(y) = 18*y**2 - 2*y - 7. Let z(h) = 18*h**2 - h - 6. Let g(b) = f*z(b) - 4*p(b). Does 19 divide g(1)?
True
Suppose -4*o - 45 = -3*v, 5*v + 2*o - 37 = 12. Suppose -u = 5*x + u - 6, -2*u = 2*x. Suppose 5*b - 18 = s, 0 = -x*b + 5*s + v + 10. Is b even?
False
Suppose n = 3*v - 91, 3*v + 6*n - 3*n - 111 = 0. Let j = 36 - v. Suppose j*y - 44 = -4*t, 3 = -t + y + 20. Is 2 a factor of t?
True
Let y(x) = -x**3 + 21*x**2 + 16*x + 24. Does 54 divide y(12)?
True
Is 47 a factor of 3/(-18) + ((-2915)/(-30) - 3)?
True
Is 4 a factor of (5/(-3)*-8)/((-4)/(-12))?
True
Let z(s) = 15*s + 50. Let n(m) = 5*m + 17. Let g(k) = 11*n(k) - 4*z(k). Is g(-8) a multiple of 11?
False
Suppose f - 3*f = -8. Let u be (f/(-10))/((-14)/(-35)). Is 4 a factor of 5 - -2 - (-2 - u)?
True
Does 44 divide 6/(-45)*6 - 16884/(-30)?
False
Let l(y) = -y**3 + 12*y**2 + 13*y + 7. Let q be l(13). Suppose 4*s + 30 = q*s. Is 11 a factor of s/5*(-11)/(-2)?
True
Let i be (-1 + 3)/(-2)*-31. Let r = 64 - i. Is r a multiple of 11?
True
Let u(z) = -z**3 - 8*z**2 - 4*z + 19. Let s be u(-7). Suppose 4*y + 0 = -16. Is (s + -1 - y) + 5 a multiple of 5?
False
Let v(k) = -3*k**2 + k + 4. Let u be v(0). Is 17 a factor of -3 - 25/(-10) - (-1294)/u?
True
Let t be (-106)/(-6) + 10/(-15). Let c be 2 - -2 - (1 + -2). Suppose -c*g + 272 = t. Is 11 a factor of g?
False
Let l = 111 + -64. Suppose -2*j = 5*f - l, -38 = 2*f - 4*f + 4*j. Suppose -2*s + 25 = -f. Is 18 a factor of s?
True
Let c(f) be the second derivative of f**4/12 - f**3/6 - 3*f. Let r(h) = -9*h**2 - h - 2. Let d(q) = 4*c(q) - r(q). Does 4 divide d(1)?
True
Suppose -2*p - f + 2*f = 0, -5*p - f - 14 = 0. Does 14 divide ((-16)/(-3))/(p/(-18))?
False
Is 29 a factor of (-7)/((-5)/(4 + 431))?
True
Suppose 38*a = -4*n + 33*a + 2769, 0 = -3*n - 5*a + 2073. Is n a multiple of 24?
True
Let k(c) = c + 8. Let p be k(-8). Suppose p = -3*x - 6 + 690. Does 12 divide x?
True
Let u = 35 - 31. Suppose 5*l = 20, u*l + 413 = 5*r - 31. Is r a multiple of 23?
True
Let j(t) = t**2 - 10*t + 12. Let p be j(9). Let q = 6 - 6. Suppose -i + q = -v + 7, -2*i = p*v - 16. Is v a multiple of 4?
False
Let w = -39 + 384. Suppose 6*f - 69 = w. Does 23 divide f?
True
Let o be -15 + (0 + -3)/3. Let h = -24 - o. Let u(r) = -2*r + 3. Is 8 a factor of u(h)?
False
Suppose -5*d - 5*q - 540 = -5, 3*d - q = -325. Let b = -42 - d. Is 22 a factor of b?
True
Let h be (-1 + -5 - -5) + 5. Let g be (-1)/(-1 + (-33)/(-34)). Suppose -h = 3*j - g. Does 5 divide j?
True
Let q(h) = 3*h**3 - 3*h**2 + h + 7. Let c(w) = w**2 - 1. Let o(m) = -6*c(m) - q(m). Let v be 1 - (5 + -1) - -1. Is 5 a factor of o(v)?
False
Let q = 0 + -1. Let k be 4/20 + q/5. Does 3 divide -2 + k - 20/(-4)?
True
Let j be 1/2 - 3/(-6). Let u(l) = -l - 26*l + l - j. Is u(-1) a multiple of 21?
False
Let c = 28 - 48. Let v = 32 - c. Is 12 a factor of v?
False
Suppose -s + 2*f = -4, -3*s - 1 + 4 = -3*f. Let b = s + 12. Suppose c + b = -4*n, c - n - 4*n - 26 = 0. Does 6 divide c?
True
Let h(w) = -4*w**3 - 14*w**2 + w - 57. Is 8 a factor of h(-5)?
True
Let b(n) = 8*n**2 - 5*n - 25. Does 8 divide b(3)?
True
Is 12 a factor of (-19)/4 - -5 - (-451)/4?
False
Let h be 21/4 - (-18)/(-72). Suppose 118 = h*t - 372. Does 13 divide t?
False
Let c be 113/2*(-2 - -5 - 5). Let h = c - -174. Is h a multiple of 10?
False
Let n(j) = j + 2*j**3 - j**3 + 0*j - 12*j**2 - 3*j**3 + 8. Let r be n(-6). Suppose -2*s = 4*x - 114, 0 = r*x - 3*x - 4*s + 32. Does 7 divide x?
True
Let m = 81 + -77. Let s(n) = 15*n - 28. Does 3 divide s(m)?
False
Let y be 27/(-162) + (2/12)/1. Suppose -6*t + 9*t - 375 = y. Does 28 divide t?
False
Let a be (-1 + -1)/(-4)*10. Suppose -a*m + 2*m = -105. Does 33 divide m?
False
Suppose 539 = 4*k + k - s, -4*k - 2*s = -420. Suppose 102*z = k*z - 595. Is 20 a factor of z?
False
Suppose 4*y = 83 + 73. Does 38 divide y?
False
Let c(m) = m**3 - 12*m**2 - 12*m + 40. Does 22 divide c(14)?
True
Let q(g) = -8*g. Let b be q(1). Is (-30)/b*(59 + 9) a multiple of 51?
True
Suppose -4*x = -7*x. Let f be 1*(0/(-3) - -5). Suppose x = f*r + 25, -2*l + 91 = -4*r - r. Is l a multiple of 8?
False
Suppose 4*w - 424 = -2*a, 2*w + 12 = 5*w. Is 3 a factor of a?
True
Let q be (3 + -2)*(30 + 0). Let r = -23 + q. Is 7 a factor of r?
True
Suppose 2*s - 3*m - 19 = 0, 3*m - m = 2*s - 16. Suppose -49 = -2*c + r, 0*r + 5*r - 85 = -s*c. Is c a multiple of 3?
False
Let n(p) = -5*p + 1. Let j be n(-1). Suppose -3*m + 53 = 2*h - j*h, -2*m + 36 = -2*h. Is m a multiple of 19?
True
Let q be 1 - 1 - (-2)/1. Suppose -q*k = -5*k + l + 26, -2*l - 17 = -k. Is 15 a factor of (-22)/(-5)*(k - -3)?
False
Let p(c) be the second derivative of -c**4/12 + 5*c**3/3 + 6*c**2 - 7*c. Is p(8) a multiple of 7?
True
Does 33 divide 1*5 + -1 + 1005?
False
Let a(y) = -y + 304. Does 22 divide a(40)?
True
Let x(h) = -h**3 + 13*h**2 + 4*h + 7. Does 48 divide x(10)?
False
Suppose k - 221 = -0