96, 0 = -5*i - 3*l + 629 - 134. Is i a multiple of 16?
False
Suppose 5*f - 89 = -4*y, 3*y + 4*f = -0*y + 68. Let u be (y - (-3)/(-1))*-1. Is (2*u)/(-7 - -6) a multiple of 10?
False
Let a(y) = 1239*y**3 - y**2 + y. Let l be a(1). Let j be 4/10 - l/(-15). Suppose -5*t - 3*g = -j, -2*g - 15 = -t - g. Is 9 a factor of t?
False
Let x be 1/2*(1 - 3). Let n(i) = -i**3 + i**2 - i - 1. Let v(a) = a**3 - 6*a**2 + 9*a + 5. Let b(l) = x*v(l) - 2*n(l). Does 4 divide b(-5)?
False
Let k be -3 - -6*60/9. Suppose -5*y + k = 4*o - 42, o - 46 = 4*y. Let d = o - 6. Is d a multiple of 20?
True
Suppose 4*x - 31 = -4*k - 3, -10 = -2*x. Let r(f) = f**k - 1 - 3*f + 5*f + f**2. Does 5 divide r(2)?
False
Let x = 5 - 5. Suppose 5*h + 4 - 9 = x. Is 16 - (3 - 2)*h a multiple of 5?
True
Let i = -52 - -33. Let r = i - -42. Does 10 divide r?
False
Suppose -3*w + 2*d = -7*w + 544, -2*w + 3*d = -256. Suppose -w = 4*m + 146. Let q = -35 - m. Is q a multiple of 9?
False
Let t(o) = o**2 - o - 1. Let w(j) = -4*j**2 - 17*j**2 + j + 5*j**2. Let x(f) = -3*t(f) - w(f). Does 14 divide x(-2)?
False
Let b be 3/(2/4 - -1). Let g = 19 - b. Does 17 divide g?
True
Let u(v) = v**3 - 2*v**2 - 4*v + 2. Let h(p) = p**3 + 8*p**2 + 6*p - 4. Let y be h(-7). Let s be u(y). Let t = 3 - s. Is t a multiple of 4?
True
Let d be 1/((-237)/(-78) - 3). Let p = d - 16. Is 5 a factor of p?
True
Let z = 142 + 44. Is z a multiple of 31?
True
Suppose 0 = z - 5*w - 85, -3*z + 313 = 4*w + 1. Is 23 a factor of z?
False
Let k be 4/(-6) - (-76)/6. Let m(i) = i**3 + i**2 - i. Let u be m(2). Suppose -145 = -4*a - d, -a + u = 5*d - k. Does 14 divide a?
False
Suppose 3*m - 197 = 5*j, 42 - 111 = -m + 5*j. Let o = 139 - m. Is 25 a factor of o?
True
Let r = 101 + -6. Is r a multiple of 19?
True
Let p be (-9)/6*10/(-3). Let h = -4 - p. Does 16 divide 120/h*12/(-10)?
True
Suppose y + 4 = -0*y - 2*g, 4*y = -2*g - 16. Let f be 40/18 - y/(-18). Suppose 4*c + 21 = -f*u + 3*u, 5*u - 5*c - 120 = 0. Does 21 divide u?
False
Let s = 240 - 339. Is 5 a factor of ((-4)/(-6))/((-6)/s)?
False
Let p be 2/8 + (-30)/(-8). Suppose p*d - d - 9 = 0. Suppose 0 = 2*x + d*x - 270. Is x a multiple of 27?
True
Suppose 6*h - h - 250 = 0. Suppose -4*b + h = b. Does 5 divide b?
True
Let j = -139 + 88. Let z = -28 - j. Is 8 a factor of z?
False
Suppose -q + 5*q = 0. Suppose -5*x - 10 = q, 4*o = -0*o + 2*x + 36. Does 4 divide o?
True
Let j(a) = -a**2 - 6*a - 5. Let g be j(-4). Suppose g*u + 20 = 68. Let c = u + 3. Is c a multiple of 11?
False
Suppose -4*q = s - 19, 0 = 4*s - 0*q - 4*q - 156. Is s a multiple of 7?
True
Let w = 48 + -34. Does 7 divide w?
True
Suppose 2*t - 22 = 16. Suppose j = 4 + t. Is 8 a factor of j?
False
Let j = -75 - -89. Is j a multiple of 5?
False
Let a = 6 - -4. Suppose -a = -3*o + 20. Is 5 a factor of o?
True
Suppose -2*c + 141 = 3*a, -12 = -3*a - a. Does 33 divide c?
True
Let s = -335 - -222. Does 32 divide (-1)/2 + s/(-2)?
False
Let z be ((-6)/4)/(-3)*20. Let b be z/4*(-4)/(-5). Let r = 14 - b. Is r a multiple of 9?
False
Let w be 0/(-4*1 - -2). Suppose w = c + 4, -4*k - 3*c - 12 = -4*c. Is 2/k - 18/(-4) a multiple of 2?
True
Does 17 divide 359/7 + (-4)/14?
True
Let l(a) = -a**3 - 4*a**2 - a + 2. Let s be l(-3). Does 2 divide (-1)/s + 33/12?
False
Suppose -13 - 3 = -4*z. Suppose -x - z*x = -40. Is 4 a factor of x?
True
Let c(d) be the third derivative of d**6/120 + d**5/15 - d**4/8 - d**3/2 + d**2. Does 3 divide c(-4)?
True
Let a(o) = -3*o**3 + 5*o**2 + 3*o + 13. Let n(m) = -2*m**3 + 6*m**2 + 2*m + 12. Let b(y) = -3*a(y) + 4*n(y). Is b(-9) a multiple of 6?
True
Let m be 80/(-13) - 2/(-13). Let k(l) = l - 3. Let p(h) = h - 2. Let d(g) = 4*k(g) - 5*p(g). Is d(m) a multiple of 4?
True
Suppose 2*g - 12*g + 600 = 0. Does 7 divide g?
False
Let u be 4/18 - (-102)/27. Suppose -5*z = 5*k - 75, 2*k = -k + u*z + 10. Is k a multiple of 3?
False
Suppose 3*v - 7 = -1. Suppose v*q + 2 = 54. Is q a multiple of 13?
True
Let n(a) = a + 11. Let p be n(-9). Suppose 37 = 3*x + 2*w, -p*w + 41 = 3*x + 2*w. Is 6 a factor of x?
False
Let t(w) = -39*w - 8. Does 10 divide t(-2)?
True
Suppose 10*d - 6*d - 760 = 0. Is 21 a factor of d?
False
Suppose 3*s - 8 = s. Suppose -5 = s*t - 45. Is t a multiple of 3?
False
Does 7 divide 4/(-7 - -3)*-7?
True
Let q = -3 - -181. Is 42 a factor of q?
False
Let w = 10 - 16. Let d = 13 - w. Is 19 a factor of d?
True
Let k(g) = g - 13. Let i(a) = -2*a + 27. Let m(y) = -2*i(y) - 5*k(y). Is 18 a factor of m(-8)?
False
Suppose -5*h = 27 - 207. Does 5 divide h?
False
Suppose 3*f = 3*c + 66, -6 = 3*f + 5*c - 112. Let q = -6 + f. Is 21 a factor of q?
True
Let i(l) = 2*l**3 + 7*l**2 - 7*l - 8. Does 2 divide i(-4)?
True
Let o(q) = 3 + 3 - 3 + 5*q**2 + q**3 - q. Is 3 a factor of o(-5)?
False
Let s = 13 + -8. Suppose -l = -3*l + 3*a + 22, 2*l - 38 = -s*a. Suppose 2*q - l + 0 = 0. Is q a multiple of 3?
False
Let n be 2 + 2 + 6/1. Suppose n = 4*z - 3*z. Is 5 a factor of z?
True
Let o(x) = 20*x + 1. Let k(u) = -u. Let r(q) = -14*k(q) - 2*o(q). Let c be r(-2). Does 3 divide 1/2*c/5?
False
Suppose 0*i = i - s - 29, 5*i - 139 = 2*s. Is 13 a factor of i?
False
Let o(s) = -4*s**3 - 3*s**2 + 8*s - 3. Let j(p) = 9*p**3 + 6*p**2 - 16*p + 6. Let r(y) = 3*j(y) + 7*o(y). Is r(-6) a multiple of 21?
False
Is 7 a factor of (1 - -34) + (-8 - -4)?
False
Suppose -2*s + 273 = -3*l, -444 = -4*s + 2*l + 90. Is s a multiple of 25?
False
Let t(b) = b**2 + 9*b - 22. Is t(7) a multiple of 16?
False
Let s be (15/(-10))/(2/(-4)). Suppose -2*d = s*d - 45. Is d a multiple of 4?
False
Suppose 20 = -4*x + 8*x. Suppose 0 = 5*y - w - 87, x*w - 25 - 44 = -3*y. Suppose -3*p + 4*p = y. Is 12 a factor of p?
False
Let b(x) = -6*x**2 - 6*x - 7. Let m(w) = 5*w**2 + 7*w + 7. Let o(y) = -4*b(y) - 5*m(y). Let g be o(-7). Does 16 divide 84/5*70/g?
False
Suppose 19 = 3*q - 14. Does 2 divide q?
False
Let l(n) = 12*n + 60. Does 42 divide l(26)?
False
Suppose -8 = l - 4*h, -4*l + 5*h - 20 = h. Does 4 divide 7 - 2*2/l?
True
Let s = -24 - -30. Is 14 a factor of s/10 - (-1302)/30?
False
Let k(o) = 2*o**2 + 7*o - 15. Is k(-8) a multiple of 11?
False
Let b(w) = 2*w - 16. Let q be b(11). Let j be 5*3/q*2. Let c = j - 1. Is c a multiple of 3?
False
Let l = -67 + 95. Suppose l = 6*p - 5*p. Does 12 divide p?
False
Let p = 218 - 116. Does 15 divide p?
False
Suppose -3*t - 2*t = -30. Suppose -t = -3*j, 0 = 3*p - 4*j + 2*j - 68. Is p a multiple of 12?
True
Is 14 a factor of 1585/25 + (-36)/15 + 2?
False
Let n = -6 + 6. Let r be 2 + (0 - (n - 40)). Let c = r + -28. Does 7 divide c?
True
Let a(s) = -5*s. Let o be a(-1). Suppose -5*i + 5 = 5*q, -5*q + 5 = -3*q + 5*i. Suppose -d + o + 9 = q. Is d a multiple of 14?
True
Suppose 156 = -3*j - 3*r, -2*j = -r - 3*r + 98. Let x = -21 - j. Is x a multiple of 10?
True
Let p = -10 + 13. Suppose 4*u - 160 = -p*v - 36, 0 = -5*v + 3*u + 168. Is 12 a factor of v?
True
Let j be 42*(0 - 3/6). Let s = -14 - j. Is s a multiple of 7?
True
Let t be (-45)/(-12) - (-3)/(-4). Does 9 divide -1 + (7 - (t - 6))?
True
Let j(r) = r**3 - 8*r**2 + 6*r + 9. Let s be j(7). Suppose 0 = s*o + 2*f - 114, o - f = -4*f + 59. Suppose 0 = -2*b - 2*b + o. Is 7 a factor of b?
True
Let v(h) = 23*h + 4. Does 16 divide v(4)?
True
Let j(y) be the first derivative of 5*y**2/2 + 2. Let f(m) = 60*m. Let h(r) = 2*f(r) - 25*j(r). Is h(-2) a multiple of 10?
True
Is 26 a factor of (-3 - (2 + -69)) + 2?
False
Suppose -8*v = -10*v + 10. Suppose -4*d = -v*l - 124, 20 = 6*l - l. Is 12 a factor of d?
True
Suppose -5*n = 3*k - 0*k - 21, 3*n - 4*k = 1. Suppose -w + 39 = -7*f + n*f, w - 3*f - 36 = 0. Does 9 divide w?
True
Suppose -4*b = -4*w, 0*b + 4*b = 2*w + 6. Let c = 2 - b. Does 16 divide c + 30 + (-6)/(-2)?
True
Let n = 26 + -16. Let r = n - -3. Is 2 a factor of r?
False
Let q(s) = s + 4. Let x be q(-7). Let d(k) = -2*k + 3. Is d(x) a multiple of 8?
False
Let x(n) = n**2 - 4*n - 1. Let y be x(3). Suppose 82 = -5*f - 0*f + 4*s, 4*f = 3*s - 66. Is 6 a factor of ((-4)/(-3))/(y/f)?
True
Suppose 5*x = 2*x + 219. Does 26 divide x?
False
Suppose 66 = 2*g + 6. Does 28 divide g?
False
Suppose 0 = -25*n - 2955 + 10055. Does 13 divide n?
False
Let c(m) = -m**2 - 3*m. Let x be c(-3). Let b = -3 + x. Let t = 10 + b. Is 2 a factor of t?
False
Suppose 54*t = 48*t + 1440. Is t a multiple of 15?
True
Let b be (8/(-