2 - b - 1. Let x be o(-1). Let z = 28 + x. Is 18 a factor of z?
True
Suppose -4*t = -4*d - 1348, 83*d - 80*d = 4*t - 1345. Does 8 divide t?
False
Does 12 divide 1*(-8672)/24*36/(-16)?
False
Let d(l) = -3*l**2 + 3*l. Let o be d(2). Is 19 - ((-18)/(-14) - o/(-21)) a multiple of 3?
True
Let f = -188 + 256. Is f a multiple of 34?
True
Let m(b) = 4*b**3 + b - 1. Let j be m(1). Let q = 11 - j. Let u(l) = -l**3 + 8*l**2 + 6*l - 2. Does 27 divide u(q)?
False
Let r be (-12)/6 - (-1 - -187). Let l = 264 + r. Does 38 divide l?
True
Let p = 227 + 39. Let k = 34 + p. Suppose 378 = 5*t + i, 4*t = -0*t - 2*i + k. Does 19 divide t?
True
Let d(f) = f**2 + 10*f + 11. Let o be d(7). Suppose a = -4*u + 6*u + o, -4*u = -5*a + 620. Does 14 divide a?
False
Let a(u) = 3181*u**2 + 59*u + 58. Is 24 a factor of a(-1)?
False
Let o = -99 + 284. Let s = o - -43. Does 30 divide s?
False
Suppose 947*f = 942*f + 2240. Is 48 a factor of f?
False
Let b be 71/(-9) - (-9)/(-81). Let o = b - -5. Let m(p) = -p**3 - p**2 - 4*p. Is m(o) a multiple of 30?
True
Let r(n) be the third derivative of n**5/30 + n**4/24 + 2*n**3/3 + 2*n**2. Let w(g) be the first derivative of r(g). Is 9 a factor of w(2)?
True
Let m(l) = -5*l + 4. Suppose 0 = -3*h - 1 + 4. Let s be 0 + h - (0 + 3). Does 14 divide m(s)?
True
Suppose 0 = -2*y + 25 + 77. Suppose 8*f - 3*f + 18 = 4*j, 3*f + 12 = 3*j. Suppose j*d - y - 29 = 0. Is 17 a factor of d?
False
Let d(w) = w**2 + 8*w + 12. Let m be d(-7). Suppose 0 = m*y - 0*y. Suppose -2*v - 23 + 93 = y. Is 17 a factor of v?
False
Let a(y) = 9*y**2 - 2*y + 8. Let n be a(6). Suppose -4*g = -n + 40. Suppose 2*w - g = -0*w. Does 12 divide w?
False
Let u(p) be the third derivative of p**6/120 + p**5/12 + p**4/12 + p**3 + 13*p**2. Is u(-4) a multiple of 14?
True
Let i = 40 + -60. Let u = 26 + i. Is 2 a factor of u/(((-42)/4)/(-7))?
True
Suppose 0 = -3*l + 4*o + 26, 2*o = l - 2*l - 8. Suppose 2*f + 6 = l. Is f/(-3)*(32 + 1) a multiple of 19?
False
Suppose 2*m + 12 = -2*m - 4*j, -4*j = m + 12. Suppose -176 = -m*w - 4*w. Is w a multiple of 9?
False
Does 9 divide 35*(-33)/(-154)*(-84)/(-10)?
True
Suppose -110 = 6*s - 386. Let b = 69 - s. Does 23 divide b?
True
Suppose -8 = -6*y + 4*y. Suppose 0 = -y*z + 4 + 4. Suppose z*o + 430 = 7*o. Is o a multiple of 21?
False
Suppose 0 = -2*n - 5*q + 13, -n + 0*q = -4*q. Let i = 156 - 153. Suppose c = -i*x + 2*c + 134, c - 174 = -n*x. Does 11 divide x?
True
Let m = -258 - -504. Let u = m - 151. Does 13 divide u?
False
Is 30 a factor of ((-65)/(-10) - (-3)/(-2)) + 352?
False
Suppose -29*y = -32*y + 72. Does 13 divide 364/6*4/y*9?
True
Suppose 2*n - 824 = t + t, -2*n + 5*t + 824 = 0. Suppose -5*y + 540 = -y - q, -q = 3*y - n. Is 17 a factor of y?
True
Let h(f) = -f**2 + 9*f - 13. Let l be h(3). Is 4 a factor of (l/15*177)/(2 - 1)?
False
Let k(w) = 0*w - 6*w - 7*w**2 - 11 + 8*w**2. Let q be k(9). Suppose 0 = -2*b + 4*b - q. Does 8 divide b?
True
Suppose -4*c - 720 = -4*j, c = -j + 4*c + 176. Is j a multiple of 7?
True
Is 4 a factor of (-9)/(-6)*(5 - (-6 + -37))?
True
Let f be (-8 - -8) + (-687)/(-1). Let k = f - 327. Is k a multiple of 18?
True
Let x(h) = h**3 + 8*h**2 + 16. Let a be x(-7). Does 9 divide a - (12/(-18))/(1/(-6))?
False
Does 19 divide (2 - 3 - -5) + 357 + 0?
True
Let a(r) = -231*r + 368. Does 21 divide a(-7)?
False
Let w(g) = -2*g. Let t be w(3). Let s(h) be the second derivative of h**5/20 + 5*h**4/12 - 3*h**3/2 + 7*h**2/2 - 5*h. Is s(t) a multiple of 12?
False
Suppose 0 = -3*r + 5*j + 473 - 108, -r - j = -111. Is r a multiple of 11?
False
Suppose 4*a - 4*t = -t + 2702, -2028 = -3*a + 3*t. Does 8 divide a?
False
Let f = 8 + -14. Let i = f - -9. Does 24 divide i/9 + (-418)/(-6)?
False
Let g = -273 - -362. Is g a multiple of 11?
False
Let r(u) be the third derivative of -u**6/120 - 19*u**5/60 - 19*u**4/24 - 5*u**3/2 - 7*u**2. Let v be r(-18). Suppose 0 = -t - v*t + 80. Is 4 a factor of t?
True
Let m = -990 - -1205. Does 5 divide m?
True
Let v = -1576 + 1628. Is v a multiple of 13?
True
Suppose -5*l + 3*g - 740 + 120 = 0, g + 116 = -l. Let r = l + 173. Is 26 a factor of r?
True
Suppose -73*m - 5*m + 16302 = 0. Is m a multiple of 4?
False
Suppose 0 = -4*i - 8*v + 6*v + 1314, -5*i + 1653 = -v. Is i a multiple of 10?
True
Let t(h) = 42*h**2 - 57*h + 269. Is t(5) a multiple of 34?
False
Let m = 375 + -160. Suppose 0 = 3*l + 9, -4*l - m = -4*o - 3*l. Does 4 divide o?
False
Let j = -881 + 1246. Does 13 divide j?
False
Let o(l) = l + 3. Let p be o(0). Let g = 13 + p. Is g a multiple of 8?
True
Let h = -103 + 89. Is (-2)/(2/(-275)) + 17 + h a multiple of 32?
False
Let g(z) = z**2 - 4*z + 5. Let x be g(0). Suppose -x*i - 5*r + 800 = 0, 4*i + r + r = 640. Does 53 divide i?
False
Suppose 2*l + 8 = 0, -r + 485 = -4*l - 16. Does 97 divide r?
True
Suppose -5*m - 2 = 18. Let h(o) = 9*o + 19. Let x(z) = 4*z + 10. Let v(u) = -4*h(u) + 7*x(u). Does 13 divide v(m)?
True
Let z = 26 + -14. Let b be 36/(-10)*85/(-34). Does 2 divide z/b - 2/(-3)?
True
Suppose -6*r = -h - 3*r + 291, -4*r + 284 = h. Does 23 divide h?
False
Suppose 54 = -7*q + 9*q. Suppose 662 = 5*n + q. Is 42 a factor of n?
False
Suppose 7*g + g - 4144 = 0. Suppose -2*m + g = 5*m. Is 14 a factor of m?
False
Suppose 2*q - 194 = 2*r + 3*r, -r - 2*q - 46 = 0. Let b = 202 + r. Suppose -j + b = 2*j - 3*p, p = -3*j + 178. Is 20 a factor of j?
False
Suppose -3*l + 319 = -941. Suppose -7*x = -2*x - l. Does 28 divide x?
True
Let b(y) = 3*y + 5. Let l be b(15). Is 13 a factor of 45/(-6)*l/(-5)?
False
Is (-46488)/(-40) - (-2)/(-10) a multiple of 83?
True
Let k(o) = o**2 - o - 8. Let d(l) = 2*l + 3. Let z be d(0). Suppose -z*a = 3*n + 12, -4*a + 0*a - 3*n = 17. Is 11 a factor of k(a)?
True
Is 2 a factor of (12/3)/((-42)/(-2163))?
True
Let q = 765 - 513. Suppose 3*t - 4*t = -q. Does 47 divide t?
False
Does 2 divide (14*-1)/((405/(-30))/27)?
True
Suppose -28*z + 11*z = -3774. Is 17 a factor of z?
False
Does 10 divide (165/(-22) - -4)*80/(-7)?
True
Suppose 3*q + 9*q = 13308. Does 31 divide q?
False
Let v be (1*1*-26)/2. Let z be v/78 - 50/(-12). Suppose 3*a = z*x + 10 + 4, -a - 3*x = 4. Is 2 a factor of a?
True
Let i(p) = p**3 - 6*p**2 + 3*p - 26. Suppose 19 = 5*g - 16. Does 22 divide i(g)?
True
Let l be ((-1)/(9/(-6)))/(2/6). Suppose 13 = -3*p + 4*p + l*b, -5*b = p - 25. Does 2 divide p?
False
Suppose g - q - 4 = 0, g + 0*q - 5*q - 12 = 0. Suppose -4*h = -3*h - 2. Suppose -g*f + d + 63 = -0*d, h*f + 2*d - 54 = 0. Is 6 a factor of f?
True
Let j be (-4)/(-2) - (-2)/(-1). Let c(y) = -y**2 + 4*y + 7. Let u be c(5). Suppose 51 = 5*s - 0*d + u*d, j = 4*s - d - 33. Is s a multiple of 6?
False
Let d = 30 + 100. Is d a multiple of 64?
False
Let p(u) = -30*u + 18. Suppose 19 + 13 = -4*d. Let b(x) = -20*x + 12. Let l(t) = d*b(t) + 5*p(t). Does 14 divide l(5)?
False
Let t = -85 + 70. Is 25 a factor of (-126)/t*(7 + -2)?
False
Let y(d) = -d**2 + 14*d - 45. Let i be y(9). Is 9 a factor of (i + -61)/(2/(-6))?
False
Suppose 0 = -21*l + 16*l + 5. Is (3/(-1) + -6)*-9*l a multiple of 24?
False
Let i be 2/((1 - 3) + 3). Suppose j + 14 = 5*j + 2*f, -2*j + 4 = -i*f. Is 7 a factor of j/(-2) - (-155)/10?
True
Let h(n) = -77*n**3 - 3*n**2 + 24*n + 50. Does 6 divide h(-2)?
True
Suppose 18 = -p + 9. Is (-2)/(-4) + p/(-6) even?
True
Suppose 0 = 4*j + 26*j - 5580. Is 31 a factor of j?
True
Suppose -u + o - 8 = 0, 3*u + 5*o - 31 = 5*u. Does 22 divide (-383)/u + ((-20)/12 - -2)?
False
Let j = 414 - 110. Is (-570)/(-2)*(j/(-40) - -8) a multiple of 19?
True
Suppose -80 = -4*t + l, 4*l - 70 = -4*t + 30. Is (-14)/t*(-318)/4 a multiple of 10?
False
Let n be (-301)/21 + (-2)/(-6). Let i be 7/n + (-207)/(-2). Let z = i - 57. Is 23 a factor of z?
True
Suppose -4*x - 3*o + 22 = -8*o, 0 = -4*o - 8. Is 13 a factor of 6/x*292/8?
False
Let n be 1*22 - (-5 + 4 + -1). Suppose -h + n + 2 = 0. Is h a multiple of 12?
False
Suppose -j = 4*c, -4*c + 2*c = -2. Is (j/(-6))/((-2)/(-171)) a multiple of 19?
True
Suppose 3*k = -2*g - 3, -g - 4*k = g + 8. Let i be g*(3/6 - 1). Does 9 divide (i - -5 - -23) + 2?
True
Let r be (2 - -1)/((-1)/17 - 0). Let y = 87 + r. Does 12 divide y?
True
Is (-4)/50 - 0 - (-4989732)/1650 a multiple of 24?
True
Suppose 2*c + 2 = -2*v + 44, 3*c + 5*v = 63. Let j(o) = 4*o + 20. Does 11 divide j(c)?
False
Let u be 18/12 + 7/14. Su