- 2 = k. Is 10 a factor of (44/1)/((-4)/h)?
False
Suppose 3*l = -33 - 3. Let o = 34 + l. Does 7 divide o?
False
Let t(o) = 7*o**2 - o - 13. Is t(4) a multiple of 6?
False
Let m = 63 + -43. Let x be 9/5 + 4/m. Suppose -x*l = -5*l + 15. Is l a multiple of 4?
False
Suppose 2*h + 5*k = -0*k + 20, 4*h = k - 4. Let x be ((-6)/4)/(3/(-176)). Suppose -4*o - x = -4*t - h*o, o = -2*t + 35. Does 14 divide t?
False
Suppose 5*o = 23 - 3. Suppose 0 = a + o*z - 10 + 2, -a = z - 14. Is 16 a factor of a?
True
Let q = 189 + -111. Is q a multiple of 7?
False
Does 28 divide (175/(-20))/(2/(-8))?
False
Let r = 8 + -4. Is (-9)/6 - (-118)/r a multiple of 8?
False
Let b(t) be the first derivative of 6*t**4 - t**3/3 + t**2 - t + 4. Is 9 a factor of b(1)?
False
Let j(r) = 4*r - 46. Does 7 divide j(19)?
False
Suppose -d = -m - 89, -5*d + 53 = -2*m - 110. Suppose -4*t - 116 = 108. Let s = t - m. Does 14 divide s?
False
Suppose -b + 9 + 3 = 0. Suppose 5*w - b - 212 = -4*k, -5*w - 3*k = -223. Is 11 a factor of w?
True
Let l = -114 - -180. Is l a multiple of 11?
True
Let l = -28 - -54. Suppose 2*w = 4*w + 4*y - l, -20 = -5*w - y. Suppose -2*r = -0*r, 0 = k - r - w. Is k a multiple of 2?
False
Let o = -5 - -8. Suppose o*a = 143 - 2. Is a a multiple of 17?
False
Let u(a) = a + 5. Let i be u(0). Suppose -i*g + 44 = -g. Is 2 a factor of g?
False
Let d be (4 - -1) + 1 + -3. Suppose 2*r + 2*b - 80 = 0, d*r + 0*r - 4*b - 92 = 0. Does 12 divide r?
True
Let n(o) = 2*o - 2. Let r be n(3). Let z be r + 43 - (1 - -1). Suppose -g = y - 5*y + 6, z = 5*g + 5*y. Does 6 divide g?
True
Let d(g) = -g - 1. Let y(j) = -2*j - 2. Let b(n) = 4*d(n) - 3*y(n). Let z be b(4). Does 9 divide (6/z)/(6/90)?
True
Let h = 61 + 107. Is h a multiple of 24?
True
Suppose 4*u + 30 = 7*u. Let d = u + -7. Suppose -i = g + d*g - 56, 0 = 4*i - 5*g - 119. Is i a multiple of 12?
True
Suppose 2*s - 3*s - 5*d = -17, 21 = 3*s + 5*d. Suppose 0 = s*h + 16 - 76. Is h a multiple of 11?
False
Suppose 2*z + 20 = 7*z. Suppose 4*l = -5*k + 235 + 140, -z*l = -3*k + 225. Suppose 0 = -4*c + k + 5. Is c a multiple of 10?
True
Let w(d) = d**2 - 5*d + 1. Let l be w(5). Suppose n = -3*r + 2, -4*r = 3 + l. Suppose 3*s = n*s - 72. Is 12 a factor of s?
True
Let b = -90 - -170. Is 10 a factor of b?
True
Let m(t) = t**3 + 8*t**2 + 8. Let w be m(-7). Let z = 154 - w. Let s = z - 36. Is s a multiple of 17?
False
Does 32 divide (124/(-40) + 2/(-5))*-74?
False
Let k(h) = h**3 - 4*h**2 + 6*h - 2. Is 8 a factor of k(4)?
False
Let k be (-39)/(-15) - (-2)/5. Let l = k + 0. Suppose l*r = 4*w - 55, -5*w + 5*r = r - 68. Is w a multiple of 16?
True
Let m be ((-3)/2)/((-9)/24). Suppose -m*y + y - 19 = -5*l, y = -l + 7. Suppose -9 - 11 = -l*q. Does 4 divide q?
True
Let b be (24/(-15))/((-2)/80). Let p be -66*((-56)/(-12) - 4). Let q = p + b. Does 10 divide q?
True
Suppose -3*r = r - 5*s + 91, -5*s = -3*r - 62. Suppose 4*m + 3*l - 4 = 0, 2*m = -0*m - l. Let y = m - r. Does 22 divide y?
False
Let r(o) be the first derivative of -o**2/2 + 10*o + 2. Let c be r(5). Suppose -c = -2*u + u. Is 5 a factor of u?
True
Suppose l + 267 = z + z, 0 = -5*z - 2*l + 681. Is 15 a factor of z?
True
Suppose -v + 5*d = -162, -2*v - 5*d + 185 = -79. Let r be 738/(-8) + (14/8)/7. Let u = v + r. Is 25 a factor of u?
True
Suppose -40 - 18 = -2*j. Does 11 divide j?
False
Is 21 a factor of 27 + -3 - (5 - -1 - 3)?
True
Suppose 5*v + v = 78. Is v even?
False
Let v(t) = -27*t + 10. Is 13 a factor of v(-3)?
True
Let u(l) = -8*l - 4. Does 17 divide u(-9)?
True
Suppose -4*p + 912 - 44 = 0. Suppose p = 4*a - 3*k, 5*k = -4*a - 0*k + 225. Is 15 a factor of a?
False
Let a = 238 - 168. Does 19 divide a?
False
Let t(m) be the first derivative of m**4/2 + m**3 - 2*m**2 - 4*m + 4. Let p be t(-4). Let z = -32 - p. Does 18 divide z?
True
Let b(h) = 4*h**2 - 2 + h**3 - 2*h**2 + 2*h**2 + h. Let m be (4*(-3)/2)/2. Does 3 divide b(m)?
False
Let m be -1*1*0/(-2). Suppose 5*y - 7 - 3 = m. Let t = y - -1. Is t a multiple of 3?
True
Let q(v) = -v**3 - 4*v**2 + 5*v + 1. Let a be q(-5). Let r = 7 - a. Is 4 a factor of r?
False
Suppose 6*q - 4*q - 18 = 0. Suppose 35 = k + q. Does 13 divide k?
True
Let t(p) = 3*p**3 - p. Suppose -y - 2 = -0*y. Let h = y - -3. Does 2 divide t(h)?
True
Let x(y) = y + 13. Suppose -4*q + 48 = -9*q - 4*d, 2*q = -2*d - 20. Is x(q) a multiple of 5?
True
Let r(j) = -2*j + 17. Is 13 a factor of r(-11)?
True
Let l be 1 - -2*(-7)/(-2). Let n = l - 3. Suppose -p - n + 1 = -3*w, p = -3*w + 26. Is 11 a factor of p?
True
Let x = -49 + 138. Is x a multiple of 6?
False
Suppose -8*y - 1 = 3*u - 3*y, -5*y = u + 7. Let k(r) = 3*r**3 + u*r + 3 + 5*r**2 - 2*r**3 - 1. Is k(-3) a multiple of 9?
False
Is (0 - 6)/(-3) - -5 a multiple of 2?
False
Let x(u) = u**3 - 7*u**2 + 7*u. Let w be x(6). Suppose w*v - 555 = v. Does 37 divide v?
True
Let y = -8 + 5. Let x be y/(-3) + -1 + -10. Is (-2)/4*(x - -2) a multiple of 4?
True
Is 38/8 - (-8)/32 a multiple of 5?
True
Suppose -5*l - 10 = 0, 6*u - 4*l - 68 = u. Is u a multiple of 7?
False
Suppose -4*x + 12 + 20 = 0. Let l(g) = 10 + 0*g + 4*g - g**2 + 4*g. Does 10 divide l(x)?
True
Let x = 5 - -24. Is x a multiple of 6?
False
Suppose 6*v - 28 = 44. Is v a multiple of 4?
True
Let a(j) = 2*j**3 + 4*j**2 - 4*j + 3. Let v(u) = -u**3 + 7*u**2 + u - 5. Let s be v(7). Suppose -h - d = 0, 0 = 3*h + s*d - 0 - 2. Is a(h) a multiple of 13?
False
Suppose 18*b = 13*b + 720. Is 12 a factor of b?
True
Suppose 3*y = -c - 4, 5*c + y - 16 = 6. Is 5 a factor of c?
True
Let r(m) = 56*m**3 - m**2 + 5*m. Let z(n) = -279*n**3 + 6*n**2 - 26*n + 1. Let x(o) = -11*r(o) - 2*z(o). Is x(-1) a multiple of 21?
False
Let k(z) = -24*z**2 + 3*z - 6. Let x(l) = 25*l**2 - 4*l + 7. Let r(b) = -6*k(b) - 5*x(b). Is 18 a factor of r(-1)?
True
Let v(b) = -b**2 - 15*b - 18. Let w(m) = m**3 - m**2 - 13. Let r be w(0). Is 8 a factor of v(r)?
True
Is 24/((-3)/15 - (-111)/330) a multiple of 44?
True
Let n = 398 - 275. Suppose 0 = w + 2*w + n. Let b = w - -62. Is b a multiple of 10?
False
Suppose -5*r - 3 = 3*z, -25 + 3 = -4*z + 2*r. Suppose -93 = -4*n + 5*g, 4*n - 92 = -0*n + z*g. Suppose n = 3*y + 4. Does 6 divide y?
True
Suppose 0 = -3*d + 2*b + 24, -d + 0*d + 5*b = -8. Let f(m) = -m**2 + 9*m - 2. Is 6 a factor of f(d)?
True
Suppose 4*l + 10 = -3*f, -3*l - 2*f = 2*l + 16. Does 14 divide (-2)/(l/62) + -3?
True
Does 10 divide 41/(-2)*(-1 - 1)?
False
Let n = -10 - -15. Suppose -4*h + h = 3*l + 6, -h - 22 = n*l. Suppose h*m = -v + 15, 0*v + 5*m = 3*v - 3. Does 6 divide v?
True
Suppose m - 11 = 52. Suppose -4*f + m = -f. Is 21 a factor of f?
True
Let z(t) = -5*t - 6. Is 5 a factor of z(-5)?
False
Is 561/21 + 1/(7/2) a multiple of 2?
False
Suppose 2*a - 24 = 40. Is a a multiple of 8?
True
Suppose -8*q + 155 = -333. Does 59 divide q?
False
Suppose 3*w + 0*h = -h + 500, -4*w + 669 = -h. Is w a multiple of 17?
False
Let w(u) = u**3 + 2. Let c be w(2). Suppose 0 = 6*l - c*l + 36. Is l a multiple of 2?
False
Let z(v) = v - 1. Let j be z(0). Let m be (-71)/(j/(-1)*-1). Suppose 0 = 4*x - 73 - m. Is x a multiple of 13?
False
Let m = -16 + 22. Is 14 a factor of m*(1 + 5 - -1)?
True
Let u(r) = r**3 + 7*r**2 + 9*r + 7. Let a be u(-6). Let t = a + 18. Suppose 11*f - 32 = t*f. Is 8 a factor of f?
True
Suppose -a + 3*a - b - 9 = 0, 0 = a + 4*b - 27. Suppose a*c - 9*c + 42 = 0. Is c a multiple of 8?
False
Let i = -114 - -163. Is 7 a factor of i?
True
Let p be 0/6*(-2)/4. Suppose 0*t + t - 3*q - 9 = p, 0 = -3*q - 6. Suppose t*f - 13 - 65 = 0. Is 16 a factor of f?
False
Suppose -2*k + k = 5*f + 7, 2*k - 6 = 0. Suppose 3*z + n - 64 = 0, z + 4*n - 95 = -4*z. Let c = z + f. Is 7 a factor of c?
True
Suppose k = 3*k - 32. Suppose 3*w + 1 - k = -4*j, 0 = -w + 3*j - 8. Does 7 divide 7 - (1 + (w - 2))?
True
Let d(w) = 12*w**2 + 4*w - 10. Does 31 divide d(3)?
False
Let w be 1*(31/(-1) + -2). Let o = 58 + w. Does 14 divide o?
False
Let h = 1 + -1. Let g = h + 12. Is g a multiple of 7?
False
Let m be 824/5 - 1/(-5). Let s = -94 + m. Is 21 a factor of s?
False
Suppose -j + 3*m - 90 = -0*j, -3*m - 210 = 3*j. Let s = 119 + j. Is 15 a factor of s?
False
Does 18 divide (24/7)/(24/252)?
True
Let u(b) = -b**2 - 8*b + 4. Suppose j - 18 = 4*w - w, -4*j - 12 = 2*w. Is 12 a factor of u(w)?
False
Let f(i) = i**3 + 9*i**2 - 3*i - 18. Is f(-9) a 