+ 4. Let c be t(0). Let i = c + o. Does 3 divide i?
False
Let h(z) = z**3. Let y be h(-2). Is (-234)/(-14) - (y/28 - 0) a multiple of 10?
False
Let v(s) = -s**3 + 2*s**2 + 4*s - 3. Let p be v(3). Let g be (-10 + p)*(-6)/10. Suppose -g*y + 329 + 7 = 0. Is y a multiple of 11?
False
Let l(p) = p**3 - 6*p**2 + 6*p - 6. Let u(s) = 2*s**3 - 2*s**2 - 2*s + 1. Let a be u(2). Let c be l(a). Is 2 a factor of c - (-2 - 1) - -5?
False
Let z(j) = 26*j**2 - 29*j + 8. Does 34 divide z(-8)?
True
Let a(w) = -28*w**3 - w**2 + 4*w + 8. Is a(-2) a multiple of 44?
True
Let m be (3 - 2)/((-1)/(-3)). Let h = -26 + -10. Is 12 a factor of h/(((-9)/4)/m)?
True
Suppose 5*n + 2*d = 4524, 4*n + 0*d - 3*d - 3610 = 0. Is 8 a factor of n?
True
Let r(f) = 76*f - 200. Does 8 divide r(3)?
False
Let z = 18 + -13. Suppose 5*m - 15 = z. Does 2 divide ((-32)/40)/(m/(-10))?
True
Let v(y) = -14*y + 8. Let s(x) = -x - 1. Let p(t) = 5*s(t) + v(t). Let o be p(-3). Is 10 a factor of ((-27)/6)/((-9)/o)?
True
Let b(v) = v**3 - 2*v + 1. Let d be b(2). Let a be (-316)/(-4) + (d - 3). Suppose 0*z - 5*z = l - 192, 2*z - l - a = 0. Does 21 divide z?
False
Let d = 12 + 3. Let c(h) = -2*h**2 + 32*h - 10. Does 10 divide c(d)?
True
Suppose 0 = -4*i + 573 + 219. Is 33 a factor of i?
True
Suppose -4022 = -3*z + 2*c, -3*c - c = 16. Is z a multiple of 14?
False
Let z = 205 - 99. Is 18 a factor of z?
False
Let v(c) = 2*c**3 + c**2 - c. Let j be v(1). Suppose -j*t + 14 = 2. Does 3 divide t?
True
Suppose 7 = c + 4. Let k be (-2)/2 + c - 0. Suppose -2*h - 3*h + 290 = -k*m, -3*m = -2*h + 105. Is h a multiple of 20?
True
Let u(o) = o**2 + o + 7. Suppose -3*j = j. Let m be (j - 0)*19/(-38). Is 7 a factor of u(m)?
True
Let d(c) = c**3 + 21*c**2 - 14*c - 28. Is d(-19) a multiple of 16?
True
Let d(z) = z**3 - z**2 - 2*z + 2. Let k be d(1). Suppose k = 4*u - u - 243. Is 37 a factor of u?
False
Suppose -2390 = -4*y - 950. Does 36 divide y?
True
Let q(z) = -z + 1. Let w be q(7). Let i(n) be the third derivative of n**5/60 + 5*n**4/24 + 7*n**2. Is 6 a factor of i(w)?
True
Let r be -4*131*1/(-5 - -3). Suppose 0*h - 5 = -h, 4*k - r = -2*h. Does 9 divide k?
True
Suppose -s + 5*w - 13 = -218, -5*s = 2*w - 1160. Is 23 a factor of s?
True
Let b = 6 + -445. Let l = 735 + b. Is 46 a factor of l?
False
Suppose 6*n - 13*n = -2058. Is 42 a factor of n?
True
Let f = 32 - 47. Let h = 757 + -723. Let w = f + h. Is 8 a factor of w?
False
Suppose 0 = -19*c + 13*c + 11988. Is 18 a factor of c?
True
Let w be (-6)/9 + (-38)/(-3). Suppose -3*y + 3*u + 36 = 0, -y + 2*y - 3*u - w = 0. Does 3 divide (-4)/(-6) + 40/y?
False
Suppose -j = j + 4*h + 100, -127 = 2*j - 5*h. Let n = j + 219. Is 25 a factor of n?
False
Suppose -21950 = -5*k + 5*z, 11*k = 13*k - 3*z - 8779. Is k a multiple of 114?
False
Let m(p) = -p**2 + 20*p + 1. Suppose -3*r + 30 = 3*y + 3, 4*r - 4*y = 36. Is m(r) a multiple of 25?
True
Let i = -13 + 21. Suppose 2*g - s = 159, i*g - 10*g - 3*s = -163. Is 42 a factor of g?
False
Let v be (8*-4)/(-4) - 1. Suppose -v*j + 19 = -331. Does 50 divide j?
True
Suppose 6*g + 91 = 19*g. Suppose -2*t - 1 = -g, 4*x = 4*t + 20. Is x a multiple of 2?
True
Let x be (0/(-1 - -4))/(-2). Let g be x/((-3 - 2) + 3). Suppose 5*a = -4*k + k + 329, g = -2*a + 4*k + 116. Is a a multiple of 32?
True
Let b(q) = 14*q**3 + 2*q**2 + q + 17. Let v(d) = 5*d**3 + d**2 + 6. Let z(t) = 6*b(t) - 17*v(t). Let r be z(-6). Suppose -76 = -2*f - r*f. Does 19 divide f?
True
Suppose 2*s = 5*v - 8329, 4*v - 5*s = -10*s + 6650. Does 15 divide v?
True
Suppose -7*i + 37*i - 101640 = 0. Is 25 a factor of i?
False
Does 11 divide 1 + -2 + -1 + (1984 - 2)?
True
Suppose 1964 = -13*n + 31799. Is 17 a factor of n?
True
Let p = 22 - -14. Let k = 56 - p. Does 7 divide k?
False
Let a(y) = -12*y**3 - 2*y + 8*y + 8*y**2 + 2 + 3*y + 11*y**3. Let d be a(9). Suppose -4*l - 5*w + 120 = 0, d*l + w - 29 = l. Is l a multiple of 19?
False
Let l be (-4)/6 - 20/(-3). Suppose 2*c - l*c = 0. Suppose 5*n + 2*t - t = 79, -t - 1 = c. Does 8 divide n?
True
Let g(t) = 18*t + 6*t - 35*t**2 + 18 - 6*t + 37*t**2. Does 15 divide g(-9)?
False
Suppose -26*a - 11894 = -43614. Does 10 divide a?
True
Let f be -1 + (6 - 2)*-1. Let k(a) = -5*a - 29. Let d(l) = 3. Let z(s) = 14*d(s) + 2*k(s). Is 34 a factor of z(f)?
True
Let i(o) = -9*o + 9. Let g(h) = -2*h + 2. Let b(n) = 24*g(n) - 5*i(n). Suppose -2*q - 7*a = -3*a + 36, 0 = 5*q + 5*a + 80. Is b(q) a multiple of 15?
True
Let y be 13/2*60/10. Suppose 143 = 2*z + 4*w + 41, y = z + 5*w. Is 9 a factor of z?
False
Let p = -152 - -239. Let z = 156 - p. Is z a multiple of 23?
True
Suppose -5*r = -2*p + 2 + 8, 0 = 5*r + 10. Suppose 13 = 2*a - 3*v, -v = -p*a - a + 5. Is a a multiple of 2?
True
Does 22 divide ((-87)/(-6))/(3/132)?
True
Let y(m) = m + 13. Let l be y(6). Let w = -29 + l. Let o = 14 + w. Is o even?
True
Let v = 6464 - 4510. Does 24 divide v?
False
Let c(z) = 14*z - 1. Let p be c(1). Let l = p - 13. Suppose -135 = -3*n - 0*n + 2*f, l = f. Is 15 a factor of n?
True
Let w(g) = -7 + 3*g - 6*g - g + 0*g. Let d be w(-3). Is 9 a factor of ((-28)/d)/((-12)/30)?
False
Let r = 15 + -11. Suppose 0 = -r*g + g. Suppose -2*l - l = 2*w - 53, -5*w - l + 100 = g. Is 5 a factor of w?
False
Let l(f) = 5*f - 1. Let k be (-1)/(-5) - 14/(-5). Is l(k) a multiple of 13?
False
Suppose 0 = -4*y + 4*i + 2636, -17*y + 21*y + 3*i = 2650. Does 3 divide y?
False
Let u be (-1276)/2*1/(-2). Suppose 3*c - 8 = k - 99, 4*k - u = 3*c. Does 10 divide k?
False
Let t(p) = -p**2 + 3*p - 33. Let m(g) = g**2 - g. Let k(z) = -2*m(z) - t(z). Let b be k(0). Suppose -5*l = -4*r + 40, l - 1 = -2*r + b. Is 5 a factor of r?
True
Let z = -967 - -1726. Is 26 a factor of z?
False
Let b(j) = -j**3 - 14*j**2 - 13*j + 6. Suppose -7*p = -12*p - 65. Let i be b(p). Suppose -7*a + i*a = -13. Does 9 divide a?
False
Let t be ((-8)/20)/((-3)/120). Suppose 4*k - 4 - t = 0. Suppose -5*p - 3*x = -98, 0 = k*p + 2*x + 2*x - 94. Is 22 a factor of p?
True
Suppose 35*w - 145641 = -30981. Is w a multiple of 9?
True
Suppose 4812 = 21*f - 2118. Does 4 divide f?
False
Let w = 9 - 29. Let p = -157 + 70. Let h = w - p. Is 19 a factor of h?
False
Let f = 897 + -396. Is f a multiple of 33?
False
Let a be -12*((-57)/(-6) - 4). Is (-5622)/a - (-4)/(-22) a multiple of 6?
False
Suppose 7050 = 4*l + y, -2*l = -l + 5*y - 1753. Is l a multiple of 41?
True
Let y(s) = 545*s + 88. Does 38 divide y(2)?
True
Let b be ((-4)/(-10))/((-6)/(-30)). Suppose 0*i - 3*i + 254 = -p, 4 = -b*p. Is 14 a factor of i?
True
Is ((-141)/(-4))/((-81)/(-1836)) a multiple of 47?
True
Is 10 a factor of (-294)/(-5)*(-10)/(-4)?
False
Is (7 - (-100)/(-15))*522 a multiple of 3?
True
Let k(b) = -b**3 + 8*b**2 - b + 11. Let q be k(8). Let g = -3 + q. Is 8 a factor of g - 2*(-58)/4?
False
Let z(v) = -v**3 - v + 3. Let s be z(0). Suppose 4*n = s*o + 130 + 24, 3*n - 130 = -5*o. Does 25 divide n?
False
Let n = 20 - 15. Suppose n*a = 7*a. Suppose 3*v - 2*x - 34 = a, -3*v + 5*x + 32 = 1. Does 3 divide v?
True
Suppose 0 = -2*o + 3*v - 67, 4*v = 2*v - 2. Let w be (o/(-15))/(2/(-6)). Let c(g) = -7*g - 7. Does 21 divide c(w)?
True
Suppose -5*p - 3*p = -1024. Is 64 a factor of p?
True
Let x(g) = g + 96. Let d be 0/(0 + 1 + 1). Is 32 a factor of x(d)?
True
Let w = 146 + -75. Let p = w - 25. Suppose 3*s + 3*r = -2*r + p, -3*s + 4*r + 28 = 0. Is 4 a factor of s?
True
Let u(v) = -2*v**2 - v - 1. Let j be u(-1). Is (-1)/j + 87/6 a multiple of 3?
True
Let o(p) = p**2 - 3*p - 5. Let r be o(4). Let d be (-2 - r)*15/(-3). Let x = d - -25. Is 15 a factor of x?
True
Let z(q) = -11*q - 238. Is z(-29) a multiple of 3?
True
Let k be (-1)/(2*2/(-4)). Let y(s) = -s**2 + 14*s - 27. Let w be y(11). Let l = k + w. Is l a multiple of 3?
False
Let m(h) = h**3 + h**2 - 4*h. Let s be m(-3). Let a = s - -9. Suppose 31 - 1 = 2*q - 5*x, -38 = -a*q + 4*x. Is 10 a factor of q?
True
Suppose -4*u - 39 = -11. Let c(l) = -l**3 - 5*l**2 + 5*l + 7. Is 35 a factor of c(u)?
True
Let p(q) = -q**3 + 20*q**2 - 4*q + 82. Is p(18) a multiple of 23?
False
Let u(x) = x**2 - x - 18. Let p be u(0). Let w(g) = g**2 + 18*g + 13. Is w(p) a multiple of 13?
True
Let t(b) = -3*b. Let f be t(4). Let w be 6/f + 374/(-4). Let s = 170 + w. Is 15 a factor of s?
False
Let l = 7 + -11. Let a(v) = v**2 + 2*v - 5. Let o be a(l). Is 3 a fact