 a even?
True
Let p = -48 - -90. Suppose 4*t + 2*x = p, 5*t - 2*x + 4*x - 52 = 0. Does 2 divide t?
True
Let z(f) = -6*f + 2. Suppose -16 = -5*i - 6. Let m = -1 - i. Does 10 divide z(m)?
True
Let x = -5 - -13. Let u = 10 - x. Suppose u*q - 7 = 57. Is 32 a factor of q?
True
Let f(i) = 3*i**2 + 2*i - 1. Let a be f(5). Suppose -a = -d - 3*d + g, 4*d - 72 = -2*g. Is d a multiple of 3?
False
Let k = 13 + -9. Suppose x = -5*m + 460, k*m = -6*x + 5*x + 367. Is m a multiple of 22?
False
Suppose 0 = -203*o + 212*o - 14022. Is o a multiple of 19?
True
Suppose -5*y - 60 = -3*y. Let i be (-794)/(-12) + 5/y. Suppose 5*c - 84 = i. Does 15 divide c?
True
Suppose -5*g = -3*x + 368, 0 = 22*x - 18*x + 2*g - 482. Is x a multiple of 11?
True
Let x be 3*(2 - -3) + -4. Let p(j) = 2*j - 5. Let t be p(x). Let c = t + -1. Does 4 divide c?
True
Suppose -2*l + 623 = -2*r - 1523, -r = 2*l - 2155. Is l a multiple of 14?
False
Let s(y) = y**2 - 4*y + 1. Let c be s(5). Suppose -5*d = -5*v - 55, -5*v - 17 = -d - c*v. Suppose 2*b - 44 + d = 0. Is 5 a factor of b?
True
Let v = -3765 + 6485. Does 10 divide v?
True
Let t(i) = i**3 - i**2 + i + 4. Let g be t(0). Suppose 4*v = -g*y - 12, -7 = -3*v + y - 4. Suppose v = -4*s - n + 264, -2*s = -s + n - 63. Is 27 a factor of s?
False
Let x = -864 - -1689. Suppose -4*q - q + x = 0. Let t = -91 + q. Is 23 a factor of t?
False
Does 20 divide (-1)/(-4) + 5944/32?
False
Is (-7)/(-1) + -2 + 1698 a multiple of 69?
False
Let t(d) = 45*d**2 - 15*d. Is t(3) a multiple of 2?
True
Let s = 4 + 755. Is s a multiple of 13?
False
Let d be ((-12)/36)/((-1)/93). Let p = d + -17. Is p a multiple of 7?
True
Let i = -25 - -7. Suppose 3*w + 11 - 131 = 0. Let y = w + i. Does 11 divide y?
True
Let q be 285/9 + (-4)/6. Let j = q + -11. Is 5 a factor of j?
True
Suppose 2*w + 20 = 2*r, -7 = -4*r - 3*w + 5. Suppose r*o + 128 = 8*o. Is o a multiple of 4?
True
Suppose -920 = -5*x + 10. Does 15 divide x?
False
Let x(b) = -135*b - 902. Is 98 a factor of x(-17)?
False
Suppose 91 - 35 = d. Suppose -3*o - 59 = -b, -4*o - 307 = -5*b - d. Does 6 divide b?
False
Let w(g) be the third derivative of g**5/60 - 5*g**4/24 + g**3/6 + 2*g**2. Let x be w(6). Let m = 58 - x. Is m a multiple of 16?
False
Let m be 1*(-1)/2*-18. Is 11 a factor of (-6)/m + 388/6?
False
Suppose 0 = -2*i + 2*c + 1918, -2*i - 14*c = -9*c - 1904. Is 29 a factor of i?
True
Suppose 5*l + 0*l = 0. Suppose 16 = -2*m - 3*w + 48, l = 5*m + w - 80. Suppose u - m = -u. Is u a multiple of 4?
True
Does 15 divide (-10)/4 + (-7532)/(-56)?
False
Let h = 6 - -8. Let p = -7 + h. Let u(s) = s**3 - 8*s**2 + 9*s - 10. Is 2 a factor of u(p)?
True
Suppose 5*o - o + 4*a - 13724 = 0, 3*a - 13720 = -4*o. Is o a multiple of 12?
False
Suppose s - 5*s = -12. Suppose 105 + 30 = s*d. Is 8 a factor of d?
False
Let c(j) = -11*j + 2. Let q be c(3). Let z = 39 + q. Is z a multiple of 4?
True
Suppose 0 = -4*x - 5*t + 68, 0*x + 2*t - 17 = -x. Suppose s = -3*q + 46, -2 = -5*q - x. Is s a multiple of 12?
False
Let o be ((-70)/8)/(3/144*-2). Suppose 9*j - 14*j = -o. Does 25 divide j?
False
Let k(n) = 40*n**2 - 10*n - 4. Is 19 a factor of k(2)?
False
Let u = -16 + 1710. Is u a multiple of 19?
False
Let o(m) = 5*m**2 - 4*m - 3. Let g be o(5). Suppose -2*r - 3*r = -2*l + 181, 0 = -3*r - l - g. Let h = 49 + r. Is 14 a factor of h?
True
Suppose -2*k + 0*k = -3*r - 6040, -k = 5*r - 2994. Is 9 a factor of k?
False
Is 22 a factor of 16/(-14) - 378397/(-329)?
False
Suppose 23*h - 15747 = 62798. Is 94 a factor of h?
False
Let d(o) = -3*o. Let a be d(-4). Suppose 0 = -5*b + b + a. Does 12 divide 48/(-9)*(-6 - b)?
True
Let n be ((-3)/(-5))/((-2)/(-20)). Is (7/n - 2)*-6 a multiple of 5?
True
Let f(p) = p**2 + 41*p - 57. Is 15 a factor of f(17)?
False
Is ((-119)/(-3) + (-6)/2)*15 a multiple of 11?
True
Suppose 5*k - 2415 - 2465 = 0. Is k a multiple of 79?
False
Let k be (-2)/1*-1*2. Suppose z - 124 = -k*z + 2*j, 5*j + 130 = 5*z. Suppose -z = -a - 0*a. Is 12 a factor of a?
True
Suppose r - 6*r = 0. Let k = r - -2. Suppose 0 = -k*m - 4*h + 188, h + 2*h = 5*m - 535. Does 23 divide m?
False
Suppose -833*x + 2367 = -824*x. Is 6 a factor of x?
False
Let s = 524 + 312. Does 44 divide s?
True
Suppose -4*p + 3*u = -1746, -2*p + 2192 = 3*p + u. Suppose 0 = -b, -39 = 3*d + b - p. Is 18 a factor of d?
False
Suppose -5*s - 5*q + 795 = 0, -5*s + 3*q + 744 = -75. Is 9 a factor of s?
True
Suppose 0 = x - 2*x - 3*t - 9, -5*x + t + 3 = 0. Suppose -4*c - c - g = -756, 3*g - 3 = x. Is 39 a factor of c?
False
Let u = 636 + -213. Does 9 divide u?
True
Suppose 4*m - 3408 = 2*w, w + 3404 = 8*m - 4*m. Is 50 a factor of m?
True
Suppose 0 = 5*g - 3*j - 10, -2*g - 5 = 2*j + 7. Does 5 divide g/((-275)/(-140) + -2)?
False
Is 38 a factor of (-1 + -191)*(100/(-15) + -6)?
True
Suppose -k = 5, -4*k = 3*d - 5*k - 905. Does 25 divide d?
True
Let t(g) = g**2 - 4*g - 8. Let n be t(8). Let d = 64 - n. Is 15 a factor of d?
False
Does 44 divide (2 + ((-2940)/(-16))/(-5))*-8?
False
Let y(j) = 42*j**2 + 9*j + 8. Let t be y(-1). Suppose 0 = 5*i - 0*i + 145. Let x = i + t. Is 4 a factor of x?
True
Let z be (-4)/(4/(-5)) + -5. Is 10 a factor of z + 160 + -1 + 2 + 1?
False
Let m = 179 - 131. Does 25 divide 582/8 - 36/m?
False
Let h(l) = l**3 + 10*l**2 + 4*l - 6. Let b(y) = -9*y**2 - 3*y + 6. Let c(k) = 5*b(k) + 4*h(k). Is 2 a factor of c(2)?
True
Suppose -39*j + 27052 + 755 = 0. Does 31 divide j?
True
Let p be ((-4)/(-5))/(12/1170). Suppose 4*o + o = -2*s + 382, 2*s = -o + p. Is (o/12)/(2/6) a multiple of 5?
False
Let r = -184 + 260. Is r a multiple of 19?
True
Suppose -2*y - 4 = 5*n, -3*n - 3*y - 6 = -5*n. Let w be 4 - (1 - n - -12). Let m = 18 + w. Is 2 a factor of m?
False
Is 4 a factor of 1 + (-36)/27*123/(-2)?
False
Suppose 11612 = -41*m + 30472. Is 9 a factor of m?
False
Let z = 19 + -13. Suppose -z*f + f = 0. Suppose -l - c + 5 = f, 3*l - 27 = 5*c + 20. Does 9 divide l?
True
Let q = -9 + 12. Suppose 0 = q*u - 217 + 13. Let y = -40 + u. Is 7 a factor of y?
True
Let c be 12/(-15)*(-25)/10. Suppose c = -h - 14. Let f = -9 - h. Is 3 a factor of f?
False
Let y = 197 - 92. Let z be 1084/(-16) - (-6)/8. Let t = z + y. Is 19 a factor of t?
True
Let k(a) = -62*a**2 + 9*a - 8. Let n(d) = 31*d**2 - 4*d + 4. Suppose 39 = 4*l - l. Let z(u) = l*n(u) + 6*k(u). Is z(-2) a multiple of 35?
False
Suppose 5*f = -2*m - 326, 6*f + 196 = 3*f - m. Suppose 0 = -3*b - 616 + 118. Let h = f - b. Is 29 a factor of h?
False
Let y = -64 + 97. Let p be (-6)/y - (-4408)/44. Suppose 4*m - 72 - 16 = 2*i, i = -4*m + p. Is 12 a factor of m?
True
Let h(d) be the first derivative of 5 + 1/2*d**2 + 20*d. Is h(-11) a multiple of 8?
False
Suppose -3*l = l + 8, 4*l = -f + 20. Suppose -f - 14 = -u. Is u a multiple of 9?
False
Suppose 3*c = -5*w + 16, w - 12 = 3*c - 8*c. Suppose 5*y + 3 = -2*j, -4*y = j - w*j - 8. Is 11 a factor of j/(-4)*(40 + -1)?
False
Let r be (-9)/6*2/(-1). Suppose -3 = p - 5*u + 4, -r*p + 79 = 5*u. Is 9 a factor of p?
True
Suppose 3*v - 4*v = 0, u - 148 = 3*v. Is 5 a factor of u?
False
Let m be (84/(-30))/(2/(-10)). Let x = m + -5. Is x a multiple of 4?
False
Let t(o) = -o + 7. Let h be t(4). Suppose -3*a + 5*m = -27, -2*m = h*a - 5*m - 21. Suppose 0*l + 2*p = -l + 14, -4*l + a*p + 44 = 0. Is 6 a factor of l?
True
Suppose 0 = -2*y + 5*l + 3, y - 5*y = l - 61. Suppose 4*p = 2*v + y, -5*p + 3*v + 1 = -4*p. Is p a multiple of 3?
False
Suppose -4*n - 240 = -v, -6*v - 2*n + 520 = -4*v. Is v a multiple of 16?
True
Let v be 40/5 + (3 - (-2 - -3)). Is 12 a factor of (v/(-20))/(2/12) + 204?
False
Suppose 4*l = 3*l. Let b(h) = 3*h**2 + 5*h + 1. Let y be b(4). Suppose l = 3*n - y - 9. Is n a multiple of 9?
False
Let p be 1/((-3)/66*1). Let x = p + 25. Suppose j = x*j - 48. Does 4 divide j?
True
Is (-11022)/(-36) + 0 + 2/(-12) a multiple of 25?
False
Suppose -a - 821 = -5*n, 3*a - 771 = -3*n - 264. Suppose 4*d + 2*g = -128, -5*g - n + 37 = 4*d. Is 15 a factor of (3 + d)*-1 - 1?
False
Suppose -3*r - 3 = -3*j, -2*r = -3*j - 4 + 11. Is 4 - (-62 - (2 - j)) a multiple of 21?
True
Suppose -9*f + 5*f + 92 = 0. Let x = 21 - f. Is 490/21*(-9)/x a multiple of 21?
True
Suppose 5*r = -5*i + 1290, 3*i = -5*r + 5*i + 1283. Does 13 divide r?
False
Suppose -387 = -d - 5*o, -d - 3*d + o = -1569. Is 29 a factor of d?
False
Let c(g) = g**3 + 