/(-11) - 208/(-4)?
False
Is 24 a factor of (97 - 43)*20*(-2)/(-6)?
True
Does 27 divide 8/20 - 17216/(-160)?
True
Let s(t) = -t**3 + 15*t**2 + 23*t - 5. Let b be s(19). Does 28 divide b/(-12) + (-8)/6?
False
Let j = -638 - -953. Is 21 a factor of j?
True
Let l = 27 - 82. Let w = l + 85. Is w a multiple of 10?
True
Suppose -5*g - i + 12 = 0, 3*g - 2 + 0 = 2*i. Suppose -g*f = -0*f - 32. Suppose f = -u + 3*u. Is u a multiple of 2?
True
Let b be 5/((-20)/9) - 3/4. Let g = b - -62. Is 11 a factor of g?
False
Let z be (2 + -100)/((-10)/(-15)). Let b = 157 + z. Does 3 divide b?
False
Let f = 42 + -37. Suppose 97 = f*x - 168. Does 15 divide x?
False
Is ((-25420)/(-50))/(10/25) a multiple of 32?
False
Let z = 113 - 3. Is z a multiple of 4?
False
Does 6 divide 9/(94/(-100) + (-2)/(-2))?
True
Let s = 61 - 57. Suppose -z + 2*v + 3 = 0, -s*v + 18 - 2 = 0. Is 11 a factor of z?
True
Let i(p) = 2*p. Let h be i(9). Suppose 4*q = 0, 2*q = -5*w + h + 12. Let t(x) = 3*x - 4. Is t(w) a multiple of 8?
False
Let y(x) = 4*x**3 - 2*x**2 - 6*x + 5. Let l(v) = 5*v**3 - 3*v**2 - 5*v + 6. Let u(h) = -3*l(h) + 4*y(h). Does 9 divide u(4)?
False
Suppose -3*x - 65 + 806 = u, 2*u - 3*x - 1446 = 0. Is u a multiple of 54?
False
Suppose 4*q - 6 = -5*u + 7, 2*q = -5*u - 1. Let w = 47 + q. Is 18 a factor of w?
True
Suppose 0 = -14*g + 12*g + 5*q + 1000, 5*q = -g + 500. Is 5 a factor of g?
True
Suppose -6*c - 29 = -c - u, 3*u - 27 = 3*c. Let p = 9 + c. Does 7 divide 1 - -43 - p - 4?
False
Suppose -4*t + 5*g = -2, 2*t + 2*g - 2 = 4*g. Let i be t/(-2) + 108/8. Suppose -9*n = -i*n + 90. Is n a multiple of 10?
True
Let q(f) = -2*f**2 + 2*f**2 + f**2 + 6*f. Let p(b) = -b**2 - 5*b + 165. Let x be p(11). Is 11 a factor of q(x)?
True
Let m(n) = -177*n + 17. Let y(d) = -89*d + 8. Let r(s) = 2*m(s) - 5*y(s). Let f be r(3). Let b = f - 186. Does 27 divide b?
True
Is 12 a factor of (60/(-32))/(8/(-12608))?
False
Let z be 172/16 + (-3)/4. Suppose 0 = 2*u - 5*v + z, 25 = -0*u - 5*u - v. Does 11 divide (-154)/u - (-1)/5?
False
Is 10 a factor of 8 + (-19)/(76/(-568))?
True
Let h be (-8)/(-6)*(-1)/(-2)*3. Suppose 48 = 10*n - h*n. Is n a multiple of 3?
True
Let m(t) be the second derivative of 2*t**3 + 29*t**2/2 + 13*t. Does 11 divide m(18)?
False
Is 62 a factor of -2*1*3/(12/(-1226))?
False
Suppose 19*n - 5139 = 9852. Is 5 a factor of n?
False
Let i(j) = j**3 + 9*j**2 - 9*j + 14. Let y be i(-10). Does 14 divide -116*(y + -5) - 0?
False
Is 6/4 + (-35)/14 + 400 a multiple of 19?
True
Suppose x - 1 = 1. Suppose 0*c - 12 = x*c. Is c/(-2) + -6 + 12 a multiple of 3?
True
Suppose 16*s - 27734 = 2266. Is 75 a factor of s?
True
Suppose -9*a + 70 + 3170 = 0. Does 72 divide a?
True
Does 23 divide (-226)/339 + 8*(-622)/(-12)?
True
Suppose 3*l + l = v + 1650, -4*v + 2073 = 5*l. Does 9 divide l?
False
Let r(i) be the first derivative of i**4/2 + i**3/3 - i**2 - 3*i + 8. Let g(c) = 2*c**3 + 2*c**2 - 3*c - 2. Let l(s) = -3*g(s) + 4*r(s). Is 11 a factor of l(3)?
True
Let d = 19 + 233. Is 28 a factor of d?
True
Suppose -67*m + 122185 = 5337. Is m a multiple of 8?
True
Let f be (-1 + -2)*56/(-24). Let m(c) be the second derivative of c**4/12 - c**3 + c**2/2 - 15*c. Is m(f) even?
True
Let c = 314 + -198. Is 11 a factor of c?
False
Let q(a) = -2*a - 42. Let k be q(21). Is 14 a factor of (k/(-9))/((-8)/(-180))?
True
Let x(q) = -38*q - 1. Let y be x(-3). Suppose 3*g - 9 = -0*g, -5*k - g = -y. Does 11 divide k?
True
Is ((-231)/66)/(1/(-22)) a multiple of 5?
False
Suppose -d = 3*i - 54 - 49, -8 = -2*i. Suppose -2*j - 4*l + 8 = -204, -d = -j + l. Is j a multiple of 32?
True
Suppose 4*h + h + 10 = 0. Let x = h - 1. Let f(v) = v**2 - v - 7. Is 5 a factor of f(x)?
True
Suppose v = 2*f - 748, 0 = -3*f - v + 359 + 753. Is 29 a factor of f?
False
Suppose 4*w + l + 9 + 5 = 0, -4*l = 3*w + 17. Let g be 0 - (-3 - -12)/w. Suppose -5*h - q + 505 = 0, -h + 3*h = -g*q + 202. Does 15 divide h?
False
Let f(w) be the first derivative of -w**3/3 - 4*w**2 + 13*w - 1. Let n(t) = t**3 - 4*t**2 - 8*t + 6. Let y be n(5). Does 2 divide f(y)?
True
Suppose -2*b + f + 4*f - 74 = 0, -3*f - 174 = 4*b. Is 12 a factor of (b/(-35))/((-3)/(-90))?
True
Suppose -7 = -10*k + 23. Suppose 0 = -p + 5, k*r = -r + p + 107. Does 7 divide r?
True
Suppose -7*t = -i - 6*t + 4435, 2*t + 2 = 0. Is 29 a factor of i?
False
Let l be 24/(-30) - 42/(-15). Is 12 a factor of 36*(l/3 - 0)?
True
Suppose -11 - 1 = -2*o. Let z(k) = 14 - k + o*k - 21. Is z(3) a multiple of 3?
False
Suppose -168 - 336 = -n. Is 24 a factor of n?
True
Let t(l) = l**3 - 6*l**2 - 2*l + 3. Suppose -r + 4*r = 18. Let k be t(r). Is 16 a factor of -1 + -1 - 594/k?
True
Let u(a) = -9*a**2 + 2*a - 4. Let j be u(2). Let k = 58 + j. Does 22 divide k?
True
Let j = 71 - -72. Does 8 divide j?
False
Is 21 a factor of -6 - 16639/(-91) - 4/(-26)?
False
Let m be (-3)/2*(-110)/33. Suppose -5*k = m*l + 120, 2*k - 16 = 3*k - l. Let c = k - -38. Does 13 divide c?
False
Let c(r) = 19*r**2 - 23*r + 9. Let l be c(8). Suppose 2*x - 4*m + 5*m = 417, -l = -5*x - 2*m. Is x a multiple of 23?
True
Suppose 3*n - x - 81 = -20, 1 = -n - 5*x. Suppose -q + n = -0. Suppose -h = -4*d - q, 4*h - d - d = 90. Is 20 a factor of h?
False
Suppose 0 = -b - 9. Let i(h) = -h - 2. Let a be i(b). Suppose -19 = -x - k, 3*k = a*k - 4. Is x a multiple of 8?
False
Suppose -2*v + 3*v - 6 = -g, 3*v = 3*g - 6. Let z be (-11)/(g/(-108)*3). Suppose 3*b - 2*m = z + 40, 3*m + 6 = 0. Does 11 divide b?
False
Let l = -100 + 97. Does 17 divide (-11)/l*(-102)/(-2)?
True
Let z(g) = g**2 - 4*g - 22. Let d be z(7). Let r be 21/9 - 2/6. Is (d/r)/((-21)/420) a multiple of 4?
False
Suppose 0 = 7*u - 33 - 86. Let g(q) = q + 23. Is 8 a factor of g(u)?
True
Let b(q) be the first derivative of -2 - 12*q**4 - q + 1/3*q**3 - 1/2*q**2. Does 19 divide b(-1)?
False
Is 11 a factor of (751 - -5) + 3 + 6?
False
Let p(t) = t**3 + 8*t**2 + 5*t - 14. Let y be p(-7). Let m(i) = i**2 - i + 2. Let s be m(4). Suppose a = -y*a + s. Does 7 divide a?
True
Suppose -5*y + 3*y = -3*d - 1219, 0 = 5*y + 3*d - 3100. Does 65 divide y?
False
Suppose -254 = -14*w + 362. Let r = 144 - w. Does 25 divide r?
True
Let n be ((-50)/(-35))/(2/14). Suppose 6*z - 5*z = n. Is 2 a factor of z?
True
Suppose -8*j + 1209 + 1031 = 0. Is 14 a factor of j?
True
Suppose 0 = 4*z - 3*j + 978, 804 = -3*z + 3*j + 69. Does 16 divide 10/(-8) + 1 - z/12?
False
Suppose g + 8*g = -1161. Is (21/(-9) - -2)*g a multiple of 17?
False
Let k(y) = -y - 11. Let l(j) = -2*j + 18. Let o be l(12). Let v be k(o). Let t(f) = f + 8. Is 3 a factor of t(v)?
True
Let l be (-6)/1*1555/(-30). Suppose -l = -3*g - 41. Does 16 divide g?
False
Let s = 5 - 8. Let c(y) = 231*y - 12. Let x be c(-3). Is (-1)/s + x/(-45) a multiple of 5?
False
Let d(m) = 312*m**2 - 6*m + 4. Is d(1) a multiple of 10?
True
Suppose 0 = 55*s - 58*s + 4*j + 5200, -5*s + 8725 = 5*j. Is s a multiple of 58?
True
Suppose 18*x + 6 = 17*x. Is ((-1240)/25)/(x/15) a multiple of 19?
False
Suppose 0 = 14*s - 1380 - 6. Is s even?
False
Let a(p) = -p**3 + 2*p**2 + p. Let t be a(2). Suppose -447 = -t*f - 159. Is 19 a factor of ((-7)/4)/((-4)/f)?
False
Let d(c) = -c**2 + 31*c + 114. Is d(30) a multiple of 12?
True
Let o(g) = 4*g - 2. Let a(t) = -4*t + 2. Let k(s) = 3*a(s) + 2*o(s). Suppose 0 = -6*d - 24*d - 210. Does 10 divide k(d)?
True
Let s = 1628 - -1147. Is s a multiple of 75?
True
Suppose 4*a + 3*k = 31, -7*a + 5*k = -3*a - 55. Suppose a*r - 8*r = 10. Suppose -4*x = -4*t + 328, 5*x = r*t + 4*x - 422. Does 15 divide t?
False
Let x be (-2 - 90)/(4/14). Let m = -138 - x. Is m a multiple of 46?
True
Suppose 5*h = -y + 4*h + 116, 4*y - 443 = 3*h. Let l = 138 - y. Is l a multiple of 5?
True
Does 48 divide 161101/305 + (-2)/10?
True
Suppose 3*v - d - 140 = 249, -3*d = -3*v + 399. Let q = v - 62. Does 33 divide q?
True
Let m(q) be the first derivative of -q**6/360 - q**5/20 + q**4/24 - 3*q**3 - 5. Let g(d) be the third derivative of m(d). Is 5 a factor of g(-5)?
False
Suppose 0 = 2*g - c - 193, 5*g + 4*c - 191 = 311. Does 34 divide g?
False
Let d(c) = 13*c**2 - 6*c + 26. Does 5 divide d(4)?
True
Let w be -2 - (-4 - -3 - 244). Suppose -34 = 2*i + 3*n + w, n = -5. Let r = i + 200. Is 20 a factor of r?
False
Suppose g - 69 = 2*w - w, 366 = 5*g + 2*w. Is 8 a factor of ((-4)/(-6))/(2/g)?
True
