7*t**3 - t**2 + 2*t - 2. Is i(j) a multiple of 32?
True
Suppose 0 = 4*n - 5*r - 1989, 1468 = 3*n + r - 0*r. Is 19 a factor of n?
False
Let k be 29 + (3 - 6)/(-1). Let a be 1/(-2)*k/(-4). Suppose -5*i + a*i = -55. Is 28 a factor of i?
False
Suppose -5*h + 4*x = -382, h - 2*x = 116 - 36. Suppose 3*n + 2*p = 6*p + h, -4*p + 4 = 0. Is 5 a factor of n?
False
Let i = -179 + 452. Does 13 divide i?
True
Is 4 a factor of (1424/4 - -1)/(8/16)?
False
Let w = 160 - 107. Is 8 a factor of w?
False
Let b(l) = 5*l - 3*l + 5*l - 6. Is 8 a factor of b(7)?
False
Let i = 38 - -115. Let t = i + -93. Does 11 divide t?
False
Let p = 29 - 17. Let f be (6/4)/(6/p). Suppose 0*u + 136 = 2*v + f*u, -5*v + u = -357. Is v a multiple of 9?
False
Let s be (-2)/10 + (54/5)/(-1). Let p = s - -72. Does 3 divide p?
False
Let n be (0 - 8)/((-12)/24). Suppose n*l - 180 = 6*l. Is 8 a factor of l?
False
Let r(m) = 59*m**2 - 11*m - 124. Does 28 divide r(7)?
False
Let b be (22 + -3)/((-2)/(-2)). Suppose 0 = -2*s + 35 - b. Is s a multiple of 4?
True
Does 6 divide (42/(-126))/((-2)/1224)?
True
Suppose -u + 23 = -2. Does 14 divide u?
False
Let k(w) be the first derivative of w**3/3 - 5*w**2/2 - 10*w + 8. Let y be k(7). Suppose -5*o = 5*m + 15 - 40, y*o = 4*m + 44. Is 5 a factor of o?
False
Let j(n) = 36*n + 1. Let x(d) = d**3 - 7*d**2 - 8*d + 1. Let t be x(8). Is j(t) a multiple of 9?
False
Suppose 3717 = 15*s + 44*s. Is s a multiple of 3?
True
Let o be (-8 + 4 + -2)*1. Let q(d) = -d**2 - 8*d + 3. Is q(o) a multiple of 3?
True
Suppose -10*m = -2583 - 317. Is m a multiple of 33?
False
Let a be (-9)/3*(-5)/3. Suppose -3*l + 0*s = 3*s - 39, 3*s = -a*l + 59. Is 3 a factor of l?
False
Suppose 196*h - 187*h - 1008 = 0. Is h a multiple of 14?
True
Suppose 10*l = 3*l + 14. Suppose -112 = -5*q - l*d, -q - 3*q = 5*d - 76. Is 12 a factor of q?
True
Let t be (-2)/2 - 1287/(-13). Suppose 5*i = t + 832. Is i a multiple of 62?
True
Suppose -j = 4*f - 1143, 3*j = f + 6*j - 294. Is f a multiple of 57?
True
Suppose -5*q - 4*v + 8*v = -9964, 2 = -2*v. Is q a multiple of 83?
True
Let v be 3/((-12)/8) - 6. Is 19 a factor of (6/(-5))/(v/1180)?
False
Let x(g) = -g**2 + 4*g + 2. Let k be x(4). Suppose -3*z = k*z + 195. Is 20 a factor of (-2256)/z + (-2)/(-13)?
False
Suppose -z - 17 = 5*i - i, -z = 3*i + 12. Does 3 divide 4 - z/((-3)/14)?
True
Let q(d) = d**2 - 10. Let y be q(10). Suppose m = -0*m + 2*n + y, 3*m - 262 = -2*n. Is m a multiple of 22?
True
Let j(q) = 2*q**2 - 19*q + 132. Is j(10) a multiple of 2?
True
Suppose -3*x - 8 = -x. Let z be (-30)/x*(-16)/(-20). Suppose 0 = z*v - 10*v + 308. Does 10 divide v?
False
Let v(y) = y**3 + 3*y**2 - 2*y - 1. Let f be v(-3). Let q(w) be the second derivative of -w**4/12 + 7*w**3/3 - 9*w**2/2 - 22*w. Is q(f) a multiple of 20?
False
Let k be (1/2)/((-11)/286). Let p = 13 + k. Is 12 a factor of (-1)/1 + p + 25?
True
Let i be (-2)/((-3)/351*-6). Does 7 divide 2 + (-24)/4 - i?
True
Suppose -3*d - 3*b - 381 = -6*d, -5*d + 647 = -2*b. Suppose 5*t + 3*s = d, -2*s = -8*t + 4*t + 118. Is t a multiple of 4?
True
Does 17 divide (-2546)/(-30) + (-18)/(-135)?
True
Let k(j) = -2*j - 24. Let w be k(-10). Let g = w - -10. Does 2 divide g?
True
Suppose -20587 - 2543 = -6*l. Is l a multiple of 49?
False
Suppose 4*y = 4*r - 6008, 22*r + 2*y = 27*r - 7516. Is r a multiple of 8?
True
Let k(s) = 3*s**2 - s + 1. Let j be k(1). Suppose 4*q - y = 18, 0 = j*q - 2*y - 4 - 7. Suppose 3*p + q*u - 130 = 0, 0 = 2*p + p - 4*u - 166. Does 16 divide p?
False
Does 8 divide 21/(-24)*-246 + 15/20?
True
Let g(o) = 25 - 36*o - 3*o - 36. Does 11 divide g(-3)?
False
Let l = 900 - -18. Is l a multiple of 6?
True
Suppose -2*i - 122 = 3*k - 5*k, 4*i + 3*k + 265 = 0. Let j(s) = -10*s + 29. Let h be j(-7). Let r = h + i. Is 17 a factor of r?
False
Suppose 24 = 11*o + 2. Is 186*12/(-16)*(o - 4) a multiple of 20?
False
Suppose -4*f = -2*i + 692 - 156, 3*f = 4*i - 1047. Suppose -4*x + i = 178. Does 4 divide x?
True
Is (6/1)/((14/(-91))/(-2)) even?
True
Let s(g) = 6*g + 3. Let x(y) = y**3 - 5*y**2 + 4*y + 8. Let f be x(4). Does 22 divide s(f)?
False
Let x be 2 + 2/((-4)/(-4)) + 1. Let i(r) = 8*r - 22. Does 9 divide i(x)?
True
Let k be 265/10 - (-1)/2. Let b = k - 24. Does 12 divide (45/20)/(b/104)?
False
Let o be 11*(1 + 4 + -4). Suppose 14*f - 90 = o*f. Does 5 divide f?
True
Let v = 121 + 103. Does 28 divide v?
True
Suppose -2*g = -14*g + 936. Is g a multiple of 13?
True
Let q(c) = -c**2 - 7*c + 4. Let v be q(-7). Let j(k) = k - 3*k + k**2 + v*k + 0*k + 20. Does 10 divide j(0)?
True
Does 10 divide (11 + -18)/((-2)/76)?
False
Suppose 5*x + 403 = -232. Does 24 divide 2/(125/x + 1)?
False
Let l(u) = -20 + 75*u + 55*u + u**3 + 13*u**2 - 146*u. Is l(-14) a multiple of 3?
False
Suppose -v - m + 196 = 0, -556 = -4*v + 5*m + 183. Does 12 divide v?
False
Let q(a) be the third derivative of 5*a**6/24 + a**5/12 - a**4/6 - a**3/3 - 24*a**2. Does 12 divide q(2)?
False
Let n = 255 - 43. Let y = 301 - n. Does 23 divide y?
False
Let x(g) = -g**3 + 9*g**2 - 8*g + 4. Let r(b) = b**2 - b + 1. Let c(p) = -6*r(p) + x(p). Let l be c(2). Is 1/2 + (-35)/l a multiple of 18?
True
Is 6/8*(-19 - -39) a multiple of 15?
True
Let f(l) = l**3 - 5*l**2 + 14*l - 4. Is 12 a factor of f(4)?
True
Suppose 2 = 5*t - 5*k + 22, -8 = 3*t + k. Let h = -3 - t. Suppose l - 6*l + 70 = h. Is 14 a factor of l?
True
Let p(g) be the third derivative of 7/6*g**3 - g**2 + 0*g + 0 + 1/12*g**4. Does 6 divide p(3)?
False
Suppose 379 - 271 = 2*m. Does 51 divide (m + -3)/((-64)/(-20) - 3)?
True
Let u(f) = f**2 - 2*f - 6. Let d(r) = r**3 - r**2 - r - 5. Let v be d(0). Let z be u(v). Suppose z - 183 = -2*t. Is t a multiple of 29?
False
Let g(t) = t**3 + 24*t**2 - 35*t + 14. Is g(-25) a multiple of 33?
True
Let f(n) be the second derivative of n**5/20 - 7*n**4/12 + n**3/6 + 5*n**2 - 32*n. Suppose -5*o + 39 = 4. Is 10 a factor of f(o)?
False
Suppose 2*v - 4*d = 7*v - 30, 0 = -4*v + 2*d - 2. Does 6 divide ((-1)/v)/(-1 - (-426)/432)?
True
Let i(j) = -j - 34. Let r be i(-38). Let n(o) = -52*o**3 - o**2. Let u be n(-1). Suppose -r*t = -d - u, 20 = 4*d - 0*d. Does 3 divide t?
False
Suppose 0*o - 63 = o. Let p = o + 108. Let k = 140 - p. Is 22 a factor of k?
False
Let c(d) = 23*d + 583. Does 32 divide c(-17)?
True
Let w(x) = 2*x**3 + 2*x**2 - 2*x - 2. Let j be w(-2). Let y(r) be the first derivative of r**4/4 + 5*r**3/3 - 4*r**2 - 6*r - 5. Does 4 divide y(j)?
False
Suppose 3*p - 53 = 2*p. Let i = 268 - p. Suppose 0 = -5*l + 55 + i. Does 22 divide l?
False
Let a be ((-4)/10)/(1167/195 + -6). Suppose c = -5*u + 108, -a = 4*u + 3*c - 108. Is u a multiple of 11?
True
Let l(o) = -o**3 - 4*o**2 + 8*o - 8. Does 19 divide l(-7)?
False
Let h = -3 + -2. Let b = -2 - h. Suppose 52 = 5*p + 3*s - 44, -b*p + 5*s + 44 = 0. Is p a multiple of 14?
False
Suppose 0 = 3*a - 4*w - 361, 0*w - 490 = -4*a + w. Suppose 4*x - 109 - a = 0. Suppose -6*t - v = -t - x, t - 26 = -5*v. Is 5 a factor of t?
False
Suppose -4*v = -3*l - 5463, -5*v = l - 6504 - 339. Is v a multiple of 12?
True
Let f(r) = r**3 - 6*r**2 - 9*r + 16. Let g be f(7). Suppose -2*t = -2*x - 19 + 83, 2*t = -g*x + 48. Is x a multiple of 7?
True
Let a be 800 - 0*(-3)/(-9). Suppose 29*n + a = 34*n. Does 35 divide n?
False
Let l(j) be the third derivative of j**8/2240 + j**6/360 + j**5/40 - j**4/6 + 5*j**2. Let a(t) be the second derivative of l(t). Does 25 divide a(3)?
False
Suppose 0 = 5*u + 4*b + 31 - 191, 2*u - 4*b = 64. Is 4 a factor of u?
True
Let u(d) = 10*d**2 - 28*d - 57. Is 4 a factor of u(-2)?
False
Is 27/54*(0 - -7)*34 even?
False
Let x = -56 + 42. Let w = -4 - x. Is w even?
True
Suppose 2*l - 8 = 3*l. Let t be l*60/(-8) + -2. Let z = 121 - t. Is z a multiple of 11?
False
Suppose 62 = -o - t, -2*o - 5*t = -o + 82. Is 5 a factor of -4 + (-1)/(3/o)?
True
Suppose -3*y - 6*y = 0. Suppose y = 266*z - 271*z + 175. Does 8 divide z?
False
Suppose 1467 = 3*s - 870. Is s a multiple of 19?
True
Let a be (-4)/10 + 10/(-75)*-5883. Suppose 0 = -25*s + 21*s + a. Is s a multiple of 28?
True
Suppose 26 = 4*h + 2. Let j = h - 6. Suppose 0 = -4*p + q + 87, j = p + 2*q - 32 + 8. Is 9 a factor of p?
False
Let o be (-4)/16 + (-177)/(-4). Suppose o = 2*p - 100. Suppose 5*d = d + p. Does 15 divide d?
False
Suppose 2*b = 3*b - 5. Suppose 373 = b*z + 148.