e -i = 4*i. Does 12 divide (-1 - i)/((-9)/207)?
False
Suppose 202 = -2*v + 4*v. Is 30 a factor of v?
False
Suppose -t = -5*a + 3*t + 12, 3*a + t + 3 = 0. Let o be (a + -2)*(-4 + 3). Suppose 2*r = 5*x - 30 - 34, -o*r + 44 = 4*x. Does 12 divide x?
True
Suppose -4 = 2*q - 0. Let u = q - -4. Suppose -2*f - 134 = -5*c, -u*c = -0*f + f - 59. Does 14 divide c?
True
Suppose -2*t + g + 59 + 97 = 0, -5*g = 0. Is t a multiple of 13?
True
Let p be (-9)/6*(-4)/6. Does 4 divide (0 - p)*78/(-6)?
False
Let j be (2/4*8)/(-1). Does 7 divide j/(2/10*-2)?
False
Suppose 0 = -4*r - 4*j + 292, 2*r - 2*j - 35 = 91. Let f be 1 - (-1 - -3) - -1. Is (-1 - f)/((-4)/r) a multiple of 11?
False
Suppose -2*t + 5*y - 32 = 0, 3*t + 25 = -0*t - 4*y. Let j = 19 - t. Is 11 a factor of j?
False
Let h = 22 + -43. Let w = h + 42. Is w a multiple of 20?
False
Let p = -8 + 13. Suppose -p*n - 3*w = w + 92, 2 = w. Is 8 a factor of (-16)/(-6)*(-150)/n?
False
Suppose u + 2*u + 246 = 0. Let d = -57 - u. Is 13 a factor of d?
False
Let s = 39 + 3. Is s a multiple of 19?
False
Suppose 0 = 4*k - 201 - 167. Is k a multiple of 17?
False
Let m = -746 - -414. Let l = m - -548. Is 19 a factor of ((-6)/12)/((-2)/l)?
False
Is (-6 - -2) + 8 - -95 a multiple of 22?
False
Let b(o) = -o**2 - 4*o + 5. Let i(f) = -f + 1. Let h(l) = b(l) - 3*i(l). Let j be h(-2). Suppose 36 = -j*r + 3*r. Is r a multiple of 12?
True
Let b(x) = -3*x**3 - x**2 - x - 1. Let n be b(-1). Suppose i - 44 = 6*i - n*s, 0 = -s + 2. Is 2 a factor of (-26)/i - (-1)/(-4)?
False
Let s = 272 + -137. Let q = s + -94. Is 23 a factor of q?
False
Let x(k) be the first derivative of k**6/40 - k**5/15 - k**4/12 + k**3/2 - k**2 + 4. Let i(g) be the second derivative of x(g). Does 18 divide i(3)?
False
Let j(h) = h**2 - 3*h - 5. Is 15 a factor of j(-4)?
False
Let j(n) = -3 + 6 + 0*n**3 - n**3 + n**2. Let a be j(0). Suppose -27 = -h + a*m, -7*h + 5*m + 87 = -3*h. Is 9 a factor of h?
True
Suppose -50 = -5*w - 5. Suppose g + w - 22 = 0. Is 2 a factor of g?
False
Suppose 2 = -0*z + 4*z + 3*r, 0 = 5*z - 4*r - 18. Suppose -b - z*y - 46 = 0, -169 = 4*b + y + 4*y. Is 13 a factor of 2/(-3)*(b - 3)?
True
Suppose 0 = -4*b + 12, 2*p - 12 = -5*b + 9. Let r(c) = -6*c**3 + 2*c**2 + 1. Let w be r(2). Is 3*p/((-27)/w) a multiple of 13?
True
Let w(x) be the third derivative of x**5/20 + x**4/6 - x**3/2 + 7*x**2. Let t = -5 - -7. Is w(t) a multiple of 6?
False
Let s = 1 + 1. Suppose 0 = -s*v + 8, 0 = -5*k - 3*v + 4*v + 56. Is 12 a factor of k?
True
Let g(y) be the third derivative of 7*y**5/60 - y**3/6 + 2*y**2. Does 3 divide g(1)?
True
Let k(w) = 12*w - 1. Let p(z) = z. Let o(h) = k(h) + 6*p(h). Is 12 a factor of o(2)?
False
Let y(r) = 2*r - 6. Let z be y(6). Suppose 0 = -5*n + z*n - 24. Does 14 divide n?
False
Let d = 8 - -2. Is 8 a factor of (12/d)/((-15)/(-200))?
True
Let x(j) = -j - 2. Let c be x(-4). Suppose 0 = u - 1, -u = -c*y - 0*u + 77. Is y a multiple of 13?
True
Let b(v) = -24*v - 1. Let u be b(-1). Let j = u + -8. Is 11 a factor of j?
False
Let y = -129 + 144. Is y a multiple of 8?
False
Suppose 180 = 5*b + 5*h, 4*b = b + 5*h + 84. Is b a multiple of 7?
False
Let f(p) = p**3 + 8*p**2 + 7*p + 5. Suppose -2*l + 26 = -4*n, 2*n + 7*l - 2*l + 7 = 0. Does 9 divide f(n)?
False
Let n be (-69)/(-21) - 2/7. Suppose 0 = -2*q - n*q + 160. Is 18 a factor of q?
False
Suppose -s = 4*s - 2*l - 84, -66 = -4*s + 2*l. Is 18 a factor of s?
True
Is ((-18)/(-7))/(6/112) a multiple of 8?
True
Suppose 3*x = -0*x. Suppose -3*l - 27 + 339 = x. Suppose l = 5*m - 26. Is m a multiple of 13?
True
Let w = -6 - -16. Suppose -f - 1 = -w. Suppose -f = -2*p + 11. Does 10 divide p?
True
Suppose -d = -3*l + 14, 3*l - l - 2*d - 4 = 0. Suppose -2*z = -l*z. Suppose z = -2*o + 9 + 7. Is 8 a factor of o?
True
Suppose -89 = -2*t + 3*j, -5*t + j + 0*j + 242 = 0. Suppose 2*m = m + t. Does 13 divide m?
False
Let t(x) = 32*x - 4. Let a be t(-2). Let d = -24 - a. Does 12 divide d?
False
Let x = -4 + 0. Is 17 a factor of (-23)/(x + 3 - 0)?
False
Suppose -5 = 5*a - 270. Does 36 divide a?
False
Is 5 a factor of ((-3)/(-6))/((-2)/(-76))?
False
Let u(z) = -z**2 + 4*z + 8. Let o be u(6). Let d = o + 7. Does 11 divide -3*(-25)/3 - d?
True
Let v(s) = 2*s**2 + s - 4. Let w(g) = g**3 - 3*g**2 + 2*g - 2. Let o be w(3). Let p be v(o). Suppose -q + p + 14 = 5*f, 4*q - 2*f = 96. Does 13 divide q?
True
Let m(p) = -p + 2. Let w be m(1). Let b(o) = 11*o. Is 11 a factor of b(w)?
True
Let t = -4 - -5. Is 7 + -1 + t - 2 a multiple of 2?
False
Let i = -73 + 181. Does 36 divide i?
True
Suppose -3*y - 4*f + 39 = 0, y + 2 - 15 = -4*f. Is y a multiple of 13?
True
Let b = -217 + 369. Suppose -4*y + b + 120 = 4*j, -2*y = -2*j - 124. Is y a multiple of 24?
False
Let c = -9 - -75. Does 15 divide c?
False
Suppose 8 = 4*k, -5*i + 88 - 5 = 4*k. Is 5 a factor of i?
True
Let q be 32/6 - 4/(-6). Let n = -3 + 9. Suppose n = g - q. Is 6 a factor of g?
True
Suppose -99 = -l - 3*k, -10 - 71 = -l + 3*k. Does 10 divide l?
True
Let w = 3 + -1. Let f = -20 + 25. Suppose -w*x + 19 = 5*b - 109, 3*b + f*x = 92. Is 8 a factor of b?
True
Suppose 0 = 2*w + 6, -5*w - 139 = -5*a + a. Suppose 4*r = 2*c - 11 - a, c + 2*r = 9. Is c a multiple of 4?
False
Let m = 5 + 0. Suppose k - 18 = -r - 2, 0 = -m*k - 25. Does 15 divide r?
False
Suppose 12 = 2*i + 4*g, 0*i + 5*g - 14 = -2*i. Let r(j) = j**2 - j + 3. Let o be r(0). Suppose -i*t + 2*c = 6*c - 28, o*t - 3*c = -3. Does 3 divide t?
False
Let i = -85 + 156. Is i a multiple of 18?
False
Suppose 21 = 2*s + j, -2*s = 3*s - 4*j - 20. Is s a multiple of 7?
False
Suppose 0 = 2*t - 253 - 171. Does 53 divide t?
True
Let z(l) = -l**2 - 11*l - 12. Is 8 a factor of z(-4)?
True
Let x be (42/(-18))/((-1)/(-3)). Let z(k) = -5 - k**2 + 5 - 10*k - 1 - 5. Is 8 a factor of z(x)?
False
Is (-10)/15*-1 - 34/(-3) even?
True
Let q be -1*7*(-66)/6. Suppose -5*l + q - 7 = 0. Is l a multiple of 14?
True
Suppose 0 = -0*u - 8*u + 1344. Does 21 divide u?
True
Let d(a) = -25*a - 7. Let r be d(-5). Let m = r - 67. Does 23 divide m?
False
Let o = 7 - 6. Let a = o + 6. Is a a multiple of 7?
True
Suppose -85 + 73 = -j. Is 12 a factor of j?
True
Let h(g) = -40*g - 2. Let v be h(-3). Suppose v = 4*b + 6. Is b a multiple of 14?
True
Suppose 10 = x + x. Let f be 7/(-1)*x*-2. Suppose -5*l - f = -5*q, q + 100 = 6*q + l. Is q a multiple of 13?
False
Suppose -6*c + 15*c - 1701 = 0. Does 30 divide c?
False
Let f(p) = -3*p + 0*p + 7*p. Let l be (-68)/(-20) + (-2)/5. Is f(l) a multiple of 5?
False
Suppose 0 = 5*c + 25 - 0, 2*c - 505 = -5*s. Does 9 divide s?
False
Suppose 5*k - 138 = -q, 4*q + 0*k = 4*k + 504. Does 37 divide q?
False
Is 11 a factor of 1096/10 + (-28)/5 + 6?
True
Let b = -167 - -246. Does 14 divide b?
False
Suppose 4*x = -5*k - 12, 0*x + x - 3*k - 14 = 0. Suppose x*z + 6 - 82 = 0. Is z a multiple of 19?
True
Let w(d) = d + 49. Let n be w(0). Let k = -28 + n. Is k a multiple of 13?
False
Let q = 135 - 80. Is q a multiple of 7?
False
Let v be (0 + -3)*4/3. Let r(n) be the third derivative of -n**6/60 - n**5/10 - n**4/24 - 2*n**3/3 - 4*n**2. Is 16 a factor of r(v)?
True
Suppose 132 = -28*g + 31*g. Is 44 a factor of g?
True
Let o(n) = -n**3 + 5*n**2 + 9*n - 6. Let s be o(6). Let q = s - -34. Is 13 a factor of q?
False
Let v = 77 + -42. Suppose 2*l - 7*l = -v. Is 4 a factor of l?
False
Suppose 274 + 866 = 5*t. Does 15 divide t?
False
Let y = 153 - 109. Suppose 3*x + 2*i - 10 = 15, 0 = 5*x + i - y. Is x a multiple of 4?
False
Suppose -k + 2*n = 6, 5*n = 2*k + 4*n. Suppose 0 = -i + k*i - 24. Does 12 divide i?
True
Let g(h) = -h**3 + 5*h**2 - 4. Does 6 divide g(4)?
True
Suppose 5*t = 13*t - 392. Is t a multiple of 4?
False
Let o = 37 + -17. Suppose -4*t = 3*b - o, 3*t - 3*b + b = 32. Does 8 divide t?
True
Let a = 272 - 166. Is a a multiple of 37?
False
Let g = -1 + -2. Is g - (-7 + 0 + 0) a multiple of 4?
True
Let n(g) = -g**3 - 5*g**2 + 10*g + 8. Let h be n(-7). Suppose -8 = -v + h. Is v a multiple of 18?
False
Suppose -16 = 4*n, 4*w + 0*n - 120 = -2*n. Is w a multiple of 3?
False
Suppose 0 = -6*k + 2*k - 36. Let i = k + -1. Let v = i - -21. Is v a multiple of 11?
True
Suppose t = 5*z - 29, t + z + 5 = -0*z. Let n(v) = v**2 + 10*v + 20. Does 7 divide n(t)?
False
Let w(q) = -q - 3 + 2 - 5. Let b be w(-6). Suppose b = -2*z - z + 111. Does 