= o + -25. Is 4 a factor of m?
False
Does 25 divide (0 + (-225)/(-2))/((-27)/(-36))?
True
Is 6 a factor of (-10)/3*36/(-5)?
True
Suppose -16*g = -20*g + 1064. Is g a multiple of 14?
True
Suppose -22 = -4*y + l + 36, 0 = -4*l + 8. Is y a multiple of 15?
True
Let w(m) = -4 - 2*m + 0 + 7*m + 5*m. Is w(3) a multiple of 13?
True
Let t(z) = 2*z**2 - 10*z - 1. Suppose 2*f - 4 - 10 = 0. Let w be t(f). Suppose 2*l = 5 + w. Does 6 divide l?
False
Let h = -303 + -175. Is 17 a factor of 44/(-154) - h/7?
True
Let d(j) = -9*j + 1. Is 23 a factor of d(-5)?
True
Let t = 58 + 202. Is 25 a factor of t?
False
Let y = -11 - -13. Suppose r = y*j - 105, -r - 63 = -j - 4*r. Is 20 a factor of j?
False
Let m = -8 - -10. Suppose j + h - 66 = -j, -4*j + m*h = -124. Is j a multiple of 13?
False
Let q(r) = r**2 - 14*r + 19. Let y be q(13). Suppose -4*o + 30 = -y. Is o even?
False
Does 23 divide 19/(4/(-6)*(-6)/32)?
False
Let l be 4/8*16 - -3. Suppose 203 = 4*x + l. Does 16 divide x?
True
Let l(i) = i**2 - 4. Let g be l(-3). Suppose -2*a + 10 = -7*a. Let t = g + a. Does 2 divide t?
False
Let h(x) = -x**3 - 7*x**2 + 13*x + 12. Let v be h(-9). Suppose 0*c - v = -2*c - 3*l, -4*c + 109 = l. Does 9 divide c?
True
Let p = 29 + -23. Is 6 a factor of p?
True
Let r(o) = -o**3 + 5*o**2 + 5*o + 4. Let n = 21 + -15. Let l be r(n). Let b = 9 + l. Does 7 divide b?
True
Suppose -80 = -5*g - 20. Is 12 a factor of g?
True
Suppose 0*h + 4*h = 8. Let d = -172 + 320. Suppose d = 5*r - h*t + 10, 2*r - 40 = -3*t. Is r a multiple of 13?
True
Suppose -35 - 13 = 4*z. Let w be 2/z - (-210)/(-36). Let d = 12 + w. Is 3 a factor of d?
True
Let x(f) = -f**2 + 19*f + 32. Is x(11) a multiple of 19?
False
Let x = 179 + -114. Suppose 15*z = 10*z + x. Does 8 divide z?
False
Let i = 1 - 0. Let a = -2 + i. Is a/7*12*-7 a multiple of 9?
False
Suppose -36 = 2*t - 4*k, -4*k = -17 + 5. Let l be 4/(-6) - (-100)/t. Let j(d) = d**3 + 10*d**2 + 4*d. Does 19 divide j(l)?
False
Let r = 108 + -48. Suppose -3*y - 2*k + 45 = 0, -2*k = -4*y + 2*k + r. Does 10 divide y?
False
Let g(x) = -x**3 - 6*x**2 - 7*x - 2. Let z be g(-5). Let i(c) = -2*c + 0*c + c + z. Is 6 a factor of i(-8)?
False
Let q(v) = v**3 - 9*v**2 + 11*v + 7. Is q(8) a multiple of 5?
False
Let r(u) = 2*u**2 + 10*u + 12. Is r(-9) a multiple of 28?
True
Let y = -6 - -6. Is (-1 - y)/1 + 3 even?
True
Let c = 14 + -9. Suppose -c*q + 10*q - 205 = 0. Does 18 divide q?
False
Suppose 0 = 6*g - 2*g - 12. Suppose t - g + 2 = 0, -2*q + 3 = -t. Suppose -4*b = 4*y - 28, 3*b - q - 5 = 4*y. Is b a multiple of 5?
True
Let j(z) = -z**2 + z - 1. Let m(o) = 6*o**2 - 6*o + 9. Suppose -2*y - 26 = -4*d, -3*d - 2*d = y - 22. Let g(w) = d*j(w) + m(w). Is 7 a factor of g(4)?
False
Let u = 3 - 4. Let h = 4 - u. Suppose h*v = 5*o + 70, -v = 3*v + 2*o - 50. Is v a multiple of 13?
True
Let t(q) = q + 2. Let a be t(-2). Let m be a*((-15)/(-6) - 2). Is 18 a factor of -6*(-3 + 0 + m)?
True
Let n(b) = -b**2 - 9*b - 7. Suppose -w = -4 + 10. Is 11 a factor of n(w)?
True
Let t = 10 + -5. Suppose 4*a - a = -5*v - 4, -t*a = v - 30. Is 2 a factor of a?
False
Suppose -2*t - 143 = -3*u - 3, 0 = 2*u + 4*t - 72. Does 12 divide u?
False
Suppose -4*v + 0*v + 5*o + 41 = 0, 59 = 4*v + o. Suppose v = -4*z + 142. Is 16 a factor of z?
True
Let r = -94 - -186. Does 36 divide r?
False
Let j(u) = -u + 6. Is j(-5) a multiple of 11?
True
Suppose -r = r. Suppose -5*u + 60 = -45. Suppose -4*h + 7 + u = r. Does 5 divide h?
False
Suppose 189 = 2*k + k. Suppose 6*s - s = -2*z + k, 3*z = 5*s + 132. Is 10 a factor of z?
False
Let s be -3 + (-2 + 3)*-111. Let g = -30 - s. Does 12 divide g?
True
Let v(g) = -g**3 + 7*g**2 + 3*g + 2. Suppose -38 + 10 = -4*l. Let z be v(l). Suppose -17 - z = -5*u. Is u a multiple of 3?
False
Let m(s) = -6*s - 4. Let d(c) = c**2 - 3. Let h be d(-3). Suppose 2*v + 2*x + 10 = 0, 0 = -5*v + 3*x - h*x - 21. Does 7 divide m(v)?
True
Let t = -42 + 81. Is 13 a factor of t?
True
Suppose 0 = -5*c - 4*a - 1 + 27, 0 = c + 2*a - 10. Suppose -c*g = o - 41, 0*g + 12 = 3*g. Is o a multiple of 9?
False
Let w(o) = -3*o**2 + 3*o. Let q be w(2). Is q/1*(-2 + -2) a multiple of 8?
True
Let r(t) = 4*t**2 - 7*t - 5. Is r(6) a multiple of 13?
False
Let q(z) be the first derivative of -3*z**2/2 + 5*z + 7. Let c = -8 + 2. Is q(c) a multiple of 12?
False
Let m = 34 + 69. Is m a multiple of 10?
False
Let q(s) be the second derivative of -83*s**3/6 + s**2/2 + 2*s. Does 28 divide q(-1)?
True
Let v = 37 + 149. Suppose -2*c - 4 = -6, v = -3*x - 3*c. Is 11 a factor of (-12)/(-18)*x/(-2)?
False
Let b(t) = 6*t**3 - t**2 + t. Let n be 3 + (-3 + 5 - 4). Let i be b(n). Is (-4)/i + (-118)/(-6) a multiple of 7?
False
Let q be (-1)/((-6)/(-9))*4. Let k = q + 12. Is (-10)/(-4) + (-3)/k even?
True
Suppose -13 - 143 = -4*b. Is 9 a factor of b?
False
Let r(q) = 65*q**2 - 1. Let t be r(-1). Let p be (-1 - 3 - -3) + t. Suppose -p - 102 = -4*n - 3*j, 0 = 4*j + 4. Does 21 divide n?
True
Suppose 2*j + 4*t = 6, 3*j + 16 = 2*t - 7. Let c = -1 - j. Suppose -h - 4*o - 44 = -c*h, h = o + 15. Is h a multiple of 7?
False
Is 2*(3/18 - (-134)/6) a multiple of 16?
False
Let v be (3 - -7)*(-4)/(-10). Suppose -3*n + 82 = -v*j, n - 20 - 6 = 2*j. Does 10 divide n?
True
Let s(y) = 2*y**2 + 3*y + 2. Let r be s(-2). Is (8/6)/(r/24) a multiple of 4?
True
Suppose 5*t + 81 = -2*i + 11, 5*i - 25 = 0. Let x = t - -30. Does 5 divide x?
False
Let i(l) be the second derivative of -5*l**3/3 - l**2 - 3*l. Is i(-2) a multiple of 9?
True
Let r = 66 + -38. Is r a multiple of 7?
True
Let f = -32 - -48. Is 8 a factor of -1 - (-1 + 0 - f)?
True
Let q(m) = 8*m + 1. Let u be q(3). Suppose -4*f + u = f. Suppose -f*s = -o - 90, -5*o + 47 = 5*s - 73. Does 8 divide s?
False
Let b = 28 - -128. Does 12 divide b?
True
Suppose 0 = 3*q - 2*q + 2*z - 110, -4*z = -4*q + 500. Suppose 5*x = -20, -2*c + q = 2*c + 3*x. Is 10 a factor of c?
False
Let h = -7 + 7. Suppose -3*a + 10 = -0*a - 2*v, h = 2*a + 4*v - 28. Is 7 a factor of a/4*112/12?
True
Suppose 0 = -4*g + 17 + 3. Suppose 0 = g*r - 57 + 12. Is r a multiple of 9?
True
Let t = 10 - 8. Suppose -4*k - t*g + 90 = 0, -44 + 122 = 3*k + 5*g. Is k a multiple of 21?
True
Suppose -3 = -5*q + 2. Is 2 a factor of (q + 9/(-6))*-10?
False
Suppose 0 = 4*u + 4*g - 108, 5*g = 5*u - 85 - 20. Suppose 0 = 5*i - 16 - u. Is 8 a factor of i?
True
Let s be (-2)/6 + (-38)/(-6). Let u(y) = -6*y + 6 - s. Does 6 divide u(-1)?
True
Suppose -3*p = 4*d - 660, 3*p - 373 + 43 = -2*d. Is d a multiple of 15?
True
Let r = -3 + 4. Let g be 16/(-2) - r/(-1). Let k = 3 - g. Is k a multiple of 4?
False
Let b(u) = -u**2 + 5*u - 1. Let n be b(4). Let f be (-20)/n*192/(-10). Suppose -32 = -5*t + 3*r + f, -5*r + 60 = t. Is 10 a factor of t?
False
Let d(p) = -5*p**2 + 1. Let n be d(1). Let t(b) = -13*b + 3. Is t(n) a multiple of 19?
False
Let t be 2 - (2 - 2) - -3. Suppose -5*c - 92 = r, -4*r = 3*c - t*r + 52. Is 18*3/c*-3 a multiple of 7?
False
Let o be (2 + 5)/(3/3). Suppose -11 = -5*j + 4*k - 71, j - o = -3*k. Is (j/1)/(6/(-9)) a multiple of 6?
True
Does 4 divide (-1 - 4/(-6))/((-3)/72)?
True
Suppose -4*u + 20 = 5*p - 0*p, 2*u - p + 4 = 0. Suppose u = 6*v - 8*v + 36. Is v a multiple of 9?
True
Suppose -5*o - 5*t = -62 - 33, 4*t = -20. Is o a multiple of 21?
False
Let n(l) = -2*l**3 - l**2 + 12*l + 12. Is 44 a factor of n(-5)?
False
Suppose 0 = 3*b - 5*g - 1, -2*b - 4*g + 10 = 2. Suppose -b*h + 12 + 20 = 0. Suppose 0 = u - 2 - h. Does 6 divide u?
True
Suppose 0 = -4*y + 6*y. Let t(o) = -o**2 + 0*o**3 + 0*o + o**3 + o + 13. Does 13 divide t(y)?
True
Suppose 0 = 2*o + o - 180. Is o a multiple of 9?
False
Suppose o - 1 - 2 = -t, 4*o - 6 = 2*t. Suppose 0 = -2*n - t + 37. Does 4 divide n?
False
Suppose -2*q = -0*q - 6. Suppose -q*y + 10 = m, -y + 2*m + 4 = 3*m. Is 31/y + 2/3 a multiple of 11?
True
Let l(r) = r**3 - 7*r**2 + 3. Suppose 6 = v - 1. Let i be l(v). Suppose -10 = -t + i. Is t a multiple of 13?
True
Does 35 divide 115 + (8 - 12/3)?
False
Let z(x) = 37*x**2 - 2*x + 6. Is 24 a factor of z(2)?
False
Suppose -g + 2 = 4. Does 2 divide 7 + 4 + g + 0?
False
Let z(y) = y**2 + 4*y + 1. Let p be z(-3). Let j = 60 + -43. Let o = p + j. Does 8 divide o?
False
Let n = -29 - -50. Suppose -3*h = 4*m - 125 - 115, 3*m = 3*h + 201. Suppose -n = -3*d + m. Is d a multiple of 13?
False
S