e ((-24)/(-10))/(9/120). Suppose 5*d - q = f + f, 4*d = -8. Let u = f - -105. Is u a multiple of 28?
True
Let b be 219*(5 + -4)/3. Let z = b + -13. Suppose 4*p - 12 = z. Is 6 a factor of p?
True
Suppose x + 2*x - 24 = 0. Let k be -114*x/(-12)*2. Suppose k + 38 = 5*i. Does 11 divide i?
False
Let m be -10 + 9 - (1 + -2)*-2. Does 22 divide (0 + -3 + 9)*(m - -14)?
True
Let g(f) = 2*f + 17. Let k be g(14). Suppose k + 11 = 2*t. Does 14 divide t?
True
Suppose -11256 = -17*d + 3*d. Is d a multiple of 67?
True
Suppose 8*k = 96 + 64. Is 5 a factor of k?
True
Is 14 a factor of 659/1 + 28/(-7)?
False
Suppose 12 = 5*x - 18. Let l be ((-4)/x)/((-2)/15). Suppose -l*w + 2*w = -9. Does 3 divide w?
True
Let c be 93*(10/(-6) - -2). Suppose 47 = 8*l - 113. Let z = c - l. Does 9 divide z?
False
Let d(a) = 3*a - 26 - 15*a + 15. Does 15 divide d(-9)?
False
Let v(n) = -2*n - 8. Let d be v(-7). Suppose h + 1 = 2*h, -5*i + d = -4*h. Suppose -2*x = 3*m - 53, -i*x - 5*m = -0*x - 59. Is x a multiple of 6?
False
Let v be (-2)/(20/(-8) - -2). Suppose u = 2*o - 138, 5*o + v*u - 331 = 3*u. Is 22 a factor of -3 + 2 - -1*o?
True
Suppose 0 = 2*r - r + p - 265, 5*r + 3*p - 1323 = 0. Is r even?
True
Let p(h) be the second derivative of 5*h**4/6 - h**3/3 + 3*h**2/2 - 8*h. Is 3 a factor of p(1)?
False
Let t(v) = v**3 - 11*v**2 + 13*v - 10. Suppose 2*k - 3 = 19. Is 13 a factor of t(k)?
False
Let c(i) = -i**2 + 2*i - 1. Suppose 3*x + 3*p = 7 - 1, -x = 4*p + 4. Let v be c(x). Is 7 a factor of (3 + 39/v)*-12?
False
Suppose -9*s + 2*u + 36 = -4*s, 3*u + 2 = s. Is s a multiple of 5?
False
Is 25 a factor of (60/18)/(530/525 + -1)?
True
Is 6 a factor of 48 + 31 + 1 + 4/(-2)?
True
Suppose -f - 3 = 5*q, -4 = -q + 5*q. Suppose 24 = -f*w + 122. Suppose 4*v + 0*v = 3*x - w, 0 = 2*x + 5*v - 48. Does 10 divide x?
False
Suppose 4*q - 69 = -5. Suppose -7*m + 19 = -6*m - 2*i, 0 = 4*i - q. Is 3 a factor of m?
True
Let c(i) be the first derivative of i**3/3 - 5*i**2/2 - 12*i - 3. Is c(-7) a multiple of 14?
False
Let i(f) = 11*f**2 + 7*f - 14. Is i(-6) a multiple of 39?
False
Let t(l) = -l - 1. Let j(n) = 11*n + 17. Let c(x) = j(x) + 5*t(x). Is 5 a factor of c(0)?
False
Suppose 30 = -11*b + b. Is b/(-2)*3132/81 a multiple of 7?
False
Let c(j) be the first derivative of j**2/2 - j - 8. Let l(m) = -4*m + 7. Let w(d) = -3*c(d) + l(d). Is w(-8) a multiple of 22?
True
Let n = 4 - 6. Let r be (2 - n - 3) + 3. Suppose 2*t - r*p = -6, 4*t + 0*t - 28 = -2*p. Is t a multiple of 4?
False
Let x(w) = 8*w + 1. Let c be x(-2). Let v be (c/(-12))/((-1)/(-4)). Suppose 16 + 324 = v*d. Does 34 divide d?
True
Let q(d) = 2*d**2 - 7*d - 7. Does 6 divide q(-5)?
True
Let o be 9/3 - 1*-17. Let b(f) = 3*f**2 + 5*f - 5. Let p be b(-3). Let v = o - p. Does 13 divide v?
True
Suppose k = -4*b + 19 + 16, 2*k = -2*b + 10. Let g be (-20)/(-25) - (-42)/b. Suppose -g*h = -3*h - 16. Is h a multiple of 4?
True
Suppose -13751 = -25*d - 1426. Is 37 a factor of d?
False
Suppose -k + d + 36 = 0, 3*k - 106 = -0*k + 4*d. Let v be k/8 + (-5)/(-20). Suppose -v*b + 2*b + 204 = 0. Is 17 a factor of b?
True
Let q be (27/(-18))/((-2)/(-8) - 1). Is 23 a factor of 3/(15/q) - (-393)/5?
False
Let v(g) = 0*g + g**2 + 3 - 3*g - g. Let i be v(3). Suppose i = -2*z - 6, 2*a + 3*z - 101 = -2*z. Does 12 divide a?
False
Suppose -16 - 11 = -v. Suppose 2*h + 3*z - 29 = 2*z, 0 = h + 3*z - v. Is h a multiple of 12?
True
Let f = -6 + 8. Suppose 4*n - 231 = -0*n + 3*x, 3*n = -f*x + 152. Is n a multiple of 9?
True
Let d = -40 - -188. Does 13 divide 2*(3 + d/8)?
False
Let o = -252 - -941. Does 13 divide o?
True
Let c(v) = v**2 + 7*v + 22. Is 8 a factor of c(7)?
True
Suppose -1491 = -3*g + 1596. Is 49 a factor of g?
True
Let x = 47 + 25. Suppose x + 43 = 5*u. Is u a multiple of 7?
False
Let c = -132 + 126. Let v(b) = 11*b + 2. Let t(o) = o + 1. Let p(s) = 6*t(s) - 2*v(s). Does 16 divide p(c)?
False
Let f(b) = -48*b + 803. Is f(11) a multiple of 3?
False
Let f = -20 - -28. Suppose -104 = -2*i - f. Is i a multiple of 11?
False
Is (42/5)/2*1665/9 a multiple of 7?
True
Let h = -11 - -35. Let x be (6/(-4))/(6/64). Let n = x + h. Is n a multiple of 8?
True
Let s = 889 + -555. Is 4 a factor of s?
False
Let r(g) = 20*g**2 + 36*g + 7. Is r(-3) a multiple of 2?
False
Let a(z) = z**2 - 7*z + 120. Is 63 a factor of a(26)?
False
Let l = -20 - -20. Let a = -25 + l. Let k = a - -76. Is k a multiple of 13?
False
Is 53 a factor of 3/(57/(-2)) + 207585/95?
False
Suppose 4*u - 8 = -3*o + 3*u, -3*o - 2 = -4*u. Suppose 0 - 4 = g + o*c, -g - c = 1. Suppose j - 2*j + 3 = 0, 0 = 4*a - g*j - 22. Is a a multiple of 7?
True
Let p = 1346 - 828. Does 7 divide p?
True
Suppose 30 = -3*x - 12. Let s = 14 + x. Suppose 21 + s = 3*w. Does 7 divide w?
True
Suppose 5 = -2*h - 1. Does 18 divide (-4 - -3) + h - -54?
False
Let k(y) = -9*y - 12. Let n(c) = c. Let u(v) = k(v) + 4*n(v). Let p(j) = j + 4. Let q be p(-9). Is u(q) a multiple of 5?
False
Let k be -6*(-3)/(-12)*-26. Let h = 0 + k. Is 7 a factor of h?
False
Suppose -695 = -2*z - 3*h, 2*h = -z - 124 + 472. Does 10 divide z?
False
Let c = 20 + 609. Does 37 divide c?
True
Let t(w) = 3*w + 62. Let p(f) = f + 63. Let g(d) = -4*p(d) + 3*t(d). Is g(16) a multiple of 4?
False
Let n = -191 + 260. Is 16 a factor of n?
False
Let j(c) = 77*c + 64. Is j(8) a multiple of 40?
True
Let p(k) = 4*k**2 + 4*k - 5. Let v(a) = -a**3 + 9*a**2 + 12*a - 15. Let q be v(10). Let f be p(q). Suppose 0*u = -5*u + f. Is 12 a factor of u?
False
Suppose 5*v + 860 = 5*z, -8*v = -7*v. Suppose 5*m - 2*m - b - z = 0, 0 = -4*m - 5*b + 204. Is 56 a factor of m?
True
Suppose -6*b + 5 = -11*b. Let s(x) = -47*x + 2. Does 33 divide s(b)?
False
Let h(o) = o**3 + 5*o**2 - o - 2. Let f be h(-4). Let a be f/((-1)/2*1). Is 7 a factor of 148/6 - 12/a?
False
Let f(k) = 4*k + 31. Let g be f(-11). Let h(l) = -l**3 - 12*l**2 + 10*l - 12. Does 18 divide h(g)?
False
Let t = -2 + 7. Suppose -4*g + 3*d = -261, -d = -t*g - 0*d + 329. Does 11 divide g?
True
Let p(q) = 7*q**2 - 10*q + 30. Is p(6) a multiple of 12?
False
Let h(x) = -41*x + 460. Is 17 a factor of h(-6)?
False
Suppose q = 209 + 183. Suppose -c + 4*a + 416 = 4*c, 5*c - q = -2*a. Is c a multiple of 16?
True
Let f(y) = y. Let h(c) = -2*c + 12. Let g be h(8). Let b be f(g). Is 13 a factor of (78/b)/(3/(-4))?
True
Is 2544/9 - 6 - 1/(-3) a multiple of 73?
False
Let a(h) = 5*h**2 - 51*h + 54. Is a(25) a multiple of 47?
False
Suppose 301 = -5*f + 1. Let s be (-15)/f + 147/4. Does 14 divide (s/(-3))/((-11)/66)?
False
Suppose f - 5*c + 7*c = 384, -5*c + 10 = 0. Suppose -n - h + 87 = -4*h, 5*n - 4*h - f = 0. Is 6 a factor of n?
True
Let w(b) = b**3 - b**2 - b. Let t be w(-1). Let d be (15/6)/(t/(-2)). Let c(g) = g**2 + 5*g + 4. Is c(d) a multiple of 18?
True
Let d(m) = -m**2 + 20. Let k(f) = f**2 - 8*f + 9. Let n be k(7). Suppose 0 = -2*u - u + 5*i - 25, n*u = -i + 5. Is 6 a factor of d(u)?
False
Let g = -26 + 30. Let b(s) = -s**2 - 6*s. Let y be b(-5). Suppose -5*q = 4*i - 199, -y*i + q + 252 = g*q. Does 17 divide i?
True
Suppose -2*m - 29 - 93 = 0. Let y = m - -84. Is y a multiple of 23?
True
Let k(x) = -x**3 - 9*x**2 + 20*x + 7. Let y be k(-15). Suppose -2*w - y = -9*w. Does 32 divide w?
False
Suppose 5*l = 20, 0 = -3*t - 0*t + 2*l + 1378. Is t a multiple of 21?
True
Let f = 6184 + -2950. Is f a multiple of 66?
True
Suppose -3*j - j + 248 = 0. Does 12 divide -2 - 2 - j/(-1)?
False
Suppose 397 = 2*l - 5*y, 5*l - 2*y - 871 = 132. Is 27 a factor of l?
False
Let c(k) = 14*k - 108. Is c(18) a multiple of 24?
True
Suppose 2*q - 76 = 3*c - 0*c, -5*q + 5*c + 195 = 0. Suppose 5*a + 5*s - s - 18 = 0, 2*s = 4. Suppose a*w = 7 + q. Is w a multiple of 10?
False
Let h = -79 + -66. Let x be -5*4/(-10) - h. Suppose -5*f - x = -12*f. Is 7 a factor of f?
True
Suppose 0 = 2*u - 70 - 276. Suppose 673 = 6*b - u. Is 27 a factor of b?
False
Let v be 3/6*(2 + 10). Let u(g) = -g**3 + 3*g**2 - 2*g + 2. Let c be u(3). Does 8 divide 172/12 - c/v?
False
Let m(t) = 9 + 7*t - 4*t + 17*t. Let y(c) = -c + 1. Let x(w) = 2*m(w) - 14*y(w). Is 28 a factor of x(2)?
True
Let t be (264/(-20))/(3/140). Does 10 divide (3/2)/((-42)/t)?
False
Let m(n) = 2648*n + 32. Is 20 a factor of m(1)?
True
Suppose 5*p - 3*o - 115 = 0, -2*o + 12 = 2*p - 18. Suppose -3*q + 34 = -p. Is q a multiple of 4?
Fal