4*n, 2*n + 246 = 2*u. Is 4 a factor of u?
True
Suppose s = -5*r + 468 + 197, 526 = 4*r + 2*s. Does 6 divide r?
False
Suppose 21*k - 22*k = -40. Suppose y + 3*c - 8 - k = 0, 3*c - 3 = 0. Is y a multiple of 10?
False
Let i(r) = r**2 - 6*r. Let n be i(6). Let a = 1 + 0. Suppose n = -k + a + 14. Does 9 divide k?
False
Suppose -5*a + 144 + 196 = 0. Let f be (-3)/(1/(a/(-4))). Suppose -3*t = -3*s - 0*t + f, -15 = -3*t. Is 12 a factor of s?
False
Suppose 3 = p - 2*z + 11, 0 = 5*p - 4*z + 22. Let g(b) = -5*b - 4. Is g(p) even?
True
Suppose -8*j + 57 = -863. Is 23 a factor of j?
True
Let k = 56 - 101. Let x = -20 - k. Is 1/(-5) + 380/x a multiple of 3?
True
Let q(i) = i**2 + 16*i - 9. Let v be q(-16). Let k(n) = -n**3 - 8*n**2 + 8*n + 1. Is 7 a factor of k(v)?
False
Let d(v) = -6*v - 3. Let x be d(-18). Let t = x + -84. Does 3 divide t?
True
Let n(r) = 1079*r - 110. Does 89 divide n(2)?
False
Suppose -a = -6*p + 5*p - 457, 5*a = 2*p + 2294. Is a a multiple of 20?
True
Let q(s) = 107*s**2 - 10*s + 21. Is 36 a factor of q(4)?
False
Let m be (-123)/(-12) + 1/(-4). Let g(b) = 21*b - 14. Let i be g(m). Suppose 2*o = -2*o + i. Does 27 divide o?
False
Let r = -179 + 996. Does 14 divide r?
False
Suppose -3*s + 4*s - 9 = 0. Let h be (s - (-1 - -3)) + -3. Suppose -h*a = -4*y - 47 - 133, -2*y + 156 = 4*a. Is 18 a factor of a?
False
Let g = 62 - 20. Let u = 4 + g. Is u a multiple of 6?
False
Suppose -5*a + 11*a = 102. Is 5 a factor of a?
False
Let b be 10 - (1 + -13)/(-3). Suppose -373 = -b*n - 13. Is n a multiple of 5?
True
Suppose 3*c - 345 = t - 635, 2*c + 580 = 2*t. Is t a multiple of 6?
False
Suppose m + v = 4*m - 10, -4*v = -4*m. Suppose 5 = -5*d + 20. Suppose p + 5*u - 56 = u, -m*p = -d*u - 165. Is p a multiple of 10?
False
Let s(i) = 11*i**2 + 21*i - 3. Let u be s(-6). Suppose -7*k + u = -2*k + f, f = -3. Does 6 divide k?
True
Suppose -190*y - 54396 = -226*y. Is 47 a factor of y?
False
Suppose -40 = 4*x + 4*k, 5*x + 0*k = 4*k - 77. Let s = -37 - x. Is (-45)/2*s/9 a multiple of 20?
True
Let s be (-2)/18 + 6180/(-27). Let o = -155 - s. Is o a multiple of 37?
True
Suppose q = 2*q. Suppose q = b + 3*k - 48, k = b - 0*k - 40. Does 6 divide b?
True
Let g be (3/6)/(3/(-30)). Let h(n) = -n**3 - 5*n**2 - 2*n - 7. Let b be h(g). Suppose b*r - 4 - 20 = 0. Is 8 a factor of r?
True
Let h = 1 - 0. Let k(a) = 23*a - 5. Let l(c) = -90*c + 18. Let r(x) = -22*k(x) - 6*l(x). Is r(h) a multiple of 18?
True
Let i(j) = j + 3. Let h be i(2). Suppose -r = r + 3*f - 3, 0 = h*r + f - 27. Let q = r + 4. Is 3 a factor of q?
False
Suppose -d + 64 = 5*t, t = -56*d + 51*d + 416. Is d a multiple of 6?
True
Let g(j) = 14*j**3 - 5*j**2 + 1. Let b(c) = -15*c**3 + 4*c**2 - 1. Let n(o) = 3*b(o) + 2*g(o). Is n(-1) a multiple of 10?
False
Suppose -12*l - 25536 = -44*l. Is 21 a factor of l?
True
Suppose -4*d = -3*s + 2 + 2, 3*d + 4*s = 22. Suppose 0 = -3*x - d*x - 3*f + 1070, 2*x - 439 = f. Does 17 divide x?
False
Suppose k + 18 = 3*r, r - 6 = -0*k - k. Does 11 divide (-9)/(81/(-1680)) + 2/r?
True
Suppose 12 = -4*l, 2*h = l - 0*l - 5. Let y be (2/h)/(2/(-60)). Suppose 3*i - c - 124 + y = 0, 5*i + 3*c = 177. Does 15 divide i?
False
Let r(s) = 7*s**2 - 4*s**2 + 3*s**3 + 0*s - 1 - s. Let k be r(2). Is 260/22 - (-6)/k a multiple of 12?
True
Let u(x) = 2*x**2 + 2*x - 3. Let y be u(-3). Suppose -y*s + 6*s = -51. Suppose -3*v + 28 = -s. Is v a multiple of 10?
False
Let d = 2 - -2. Suppose 0*v = 3*q + 4*v - 68, d*q + 3*v - 79 = 0. Is q a multiple of 3?
False
Suppose -2 = -8*x - 10. Let l(r) = -64*r. Does 24 divide l(x)?
False
Let c(x) = -x**2 + 9*x + 11. Let a = 19 + 0. Suppose k = u - a + 5, u + 4*k = -11. Is 3 a factor of c(u)?
False
Let k(u) = u**3 + 4*u**2 + 2*u + 2. Let p be k(-5). Does 36 divide p/(((-252)/88 - -3)*-1)?
False
Let k = -5 + 234. Suppose 3*r = -15, 0 = -5*s - r + 396 + k. Suppose 2*q - 3*y = 5*q - 99, 0 = -4*q - 2*y + s. Is q a multiple of 10?
True
Let b(k) = -k - 1. Let t be b(-4). Suppose t*s - 47 = 2*y - 14, -y = 3. Suppose -2*w = 1 - s. Is 2 a factor of w?
True
Suppose -58 - 96 = -2*l. Suppose 4*v - v - g = 347, -4*v + 460 = -2*g. Let r = v - l. Is 18 a factor of r?
False
Let u be (1 + 2)*(-40)/(-15). Suppose -u*z + 3*z + 165 = 0. Is z a multiple of 11?
True
Let g(t) = 3*t**2 + t + 2. Let i be 3/(4/(-16)*-4). Does 8 divide g(i)?
True
Suppose -5*j + 5*r = -3110, j + 5*r - 1279 = -j. Is 39 a factor of j/2 - (-3)/(-2)?
True
Let b = 180 - 76. Suppose 7*a = 38*a - 124. Suppose -5*m + 22 = -0*u + u, -4*u + b = a*m. Is u a multiple of 11?
False
Let c = 249 + -45. Suppose 2*j = -j + c. Is 13 a factor of j - (6/1 + -4)?
False
Suppose 0 = 4*k + 2*l - 0 - 10, -14 = -3*k + 5*l. Is ((-1)/(-1))/(k/(-750)*-2) a multiple of 25?
True
Let r = 46 - 31. Suppose u - 30 = r. Is 20 a factor of u?
False
Is 29 a factor of (7 + 21)/((-6)/(-261))?
True
Let n = -269 + 607. Suppose 0 = 11*i - 9*i - n. Does 13 divide i?
True
Let u(o) = 2*o + 4. Suppose 0 = 2*k - 8 + 2. Let q be u(k). Let b = 40 - q. Does 7 divide b?
False
Let f = 14 - -104. Suppose 5*r - 3*y - 218 = -y, 3*r - f = -2*y. Is r a multiple of 7?
True
Suppose 3*d = 36 + 21. Let k = d + 98. Is k a multiple of 9?
True
Suppose r = 3*q + 8, -2*r + 0*q + 12 = -4*q. Suppose 5*u - r*v = -36 + 511, 3*v - 112 = -u. Does 24 divide u?
False
Suppose -h + 2 = -8. Let a = 310 + -176. Suppose -5*y + h = m, 4*y - a = -5*m - 0*y. Is m a multiple of 10?
True
Let p(f) = -204*f**3. Does 34 divide p(-1)?
True
Suppose 3*k - 104*h = -103*h + 650, 2*k - 435 = h. Does 49 divide k?
False
Let c(s) = 342*s - 5. Let t(n) = n**3 - 3*n**2 + 3*n - 1. Let r be t(2). Is 20 a factor of c(r)?
False
Let u be (5 + -5)/(14/7 + -3). Let x(l) = -l + 4. Let d be x(2). Suppose -d*a + 28 = -u*a. Does 10 divide a?
False
Let a = -80 + 100. Let y = 82 + a. Does 17 divide y?
True
Suppose 7*i = 322 + 224. Is 26 a factor of i?
True
Suppose 3*i + 28 = 4*g - 75, -5*g - 2*i = -100. Does 3 divide g?
False
Suppose 4*a = -25*a + 7685. Is 6 a factor of a?
False
Let k be 3/((21/(-2))/(-7)). Does 3 divide 5 + ((-8)/(-4))/k?
True
Suppose -64*b + 10304 = -8*b. Is b a multiple of 8?
True
Let y(p) be the first derivative of -2*p**3/3 + p**2/2 + 82*p + 25. Does 7 divide y(0)?
False
Suppose 5*m + 5*v - 840 = 0, 7*m - 3*m + 2*v - 672 = 0. Is 42 a factor of m?
True
Suppose 20*n + 92 = s + 17*n, -3*n = s - 92. Is s a multiple of 7?
False
Let g(o) = -o**3 - 5*o**2 - 5*o - 1. Suppose m + s - 2 = 0, -5*m = -0*s - 2*s + 4. Suppose 1 = -u, m*u + 5*u = 2*z + 3. Is g(z) a multiple of 2?
False
Let t = 3434 - 2450. Does 41 divide t?
True
Is 13/(-143) - (-54)/(-11) - -2732 a multiple of 30?
False
Let h(m) = -161*m - 299. Does 29 divide h(-6)?
True
Let i = 39 - 36. Suppose 0 = -i*c + 2*c + 31. Does 7 divide c?
False
Is 44 a factor of ((-12)/(-5))/(-6)*-1525?
False
Suppose y = -2, -4*y = 45*x - 43*x - 84. Is 15 a factor of x?
False
Let b be 44/8 + (3 - (-5)/(-2)). Suppose -2*s + b*s = -r + 56, -4*r - 16 = 0. Is s a multiple of 3?
True
Suppose -5*z = -p + 928, -2423 = -5*p + 5*z + 2297. Is 33 a factor of p?
False
Let u = -288 - -985. Is u a multiple of 5?
False
Suppose -2*d = -82 - 658. Does 10 divide d?
True
Let o = -4 - 1. Is 21 a factor of ((-462)/55)/(1/o)?
True
Let j(q) = q**3 - 14*q**2 + 3*q + 10. Suppose -3*y = y + 4*u - 48, 0 = -5*y - 2*u + 66. Let p be j(y). Suppose 5*s = 138 + p. Is 19 a factor of s?
True
Is 10 a factor of 72/96 - 557/(-4)?
True
Let y = 781 + -359. Is y a multiple of 14?
False
Let m(d) = 5*d + 3. Let v be m(-1). Is 9 a factor of ((-25)/(-10) + v)*42?
False
Suppose -4*l + 12 = -l. Let i be (l/(-10))/((-1)/(-5)). Is 5/(15/198) - i a multiple of 17?
True
Let m(z) = z**2 + 50*z - 401. Is 15 a factor of m(-61)?
True
Let u(y) = -9*y - 10. Let i be 264/(-30) - (-3)/(-15). Let o be u(i). Suppose 177 + o = 4*r. Does 14 divide r?
False
Suppose -5*p = -3*n - 0*n + 1234, 0 = -4*n - 3*p + 1655. Is 14 a factor of n?
False
Let b = 55 - 27. Suppose b - 15 = h. Is h a multiple of 5?
False
Suppose 4*f = -x - 10, -f - 4*f - 15 = 0. Is 2 a factor of x/(-6)*4/((-8)/54)?
False
Let x = 52 + -58. Is (352/(-12) + 0)*x a multiple of 16?
True
Let v be 9/(-3) - (-4)/(12/(-9)). Let t(x) = -19*x + 14. Is t(v) a multiple of 23?
False
Suppose -2*h - 10 = 0, -2*j + 2*h = 6*h - 72. Let t = -110 - -70. Let f = t + j. Is f even?
Tr