ose -2*t + 4*t + 2*j = 0, -4 = 4*j. Does 6 divide c(t)?
True
Let b = 41 - 22. Let v = b + -9. Is v/45 + (-122)/(-18) even?
False
Let q(f) = -2*f**2 + 19*f + 10. Let u be q(8). Suppose -10 = -k + 3*s, k - u = -2*s - 3*s. Does 13 divide k?
False
Suppose 0 = 36*c - 56*c + 35880. Is 69 a factor of c?
True
Let g be ((-5)/(-2))/(1/2). Let l be (-3)/((-18)/(-6))*-1*-25. Let u = g - l. Is 4 a factor of u?
False
Let u(t) = -40*t - 47. Is u(-6) a multiple of 39?
False
Let n(i) = 2*i**2 - 4*i + 4. Let w(k) = k**2 + 2*k - 4. Let r be w(2). Does 10 divide n(r)?
True
Let u(o) = -84*o - 140. Is u(-5) a multiple of 10?
True
Let r(t) = 2*t**2 - 4*t + 7. Let w be r(6). Suppose -13*o = -8*o - w. Suppose q - o - 13 = 0. Is 6 a factor of q?
True
Let v = -20 - -27. Suppose 170 = v*y - 271. Is y a multiple of 9?
True
Let f(q) = 25*q + 1. Let b(o) = -76*o - 2. Let y(x) = 4*b(x) + 11*f(x). Is y(-1) a multiple of 8?
True
Suppose 0*o = o - 100. Suppose -4*n - o = -320. Does 11 divide n?
True
Suppose 0*m - m = -10. Let o(a) = 24 + 24 - 50 + a**2 - 9*a. Is 4 a factor of o(m)?
True
Suppose 0*m - 150 = 5*m + 5*f, 12 = 3*f. Suppose -5*u - 5*s + 331 = -44, 4*u - 4*s = 308. Let x = u + m. Is 14 a factor of x?
True
Suppose 7*m + 20*m = 17577. Is m a multiple of 21?
True
Let x = 114 - -1. Let f = x - 25. Is 6 a factor of f?
True
Does 22 divide (-105501)/(-207)*1*3?
False
Let y(o) = -10 - 22 - 73*o + 17*o. Does 32 divide y(-4)?
True
Let j(w) = -w + 10. Let c be j(7). Suppose 0 = 3*u + c*u - 198. Is 9 a factor of (-6)/u - 398/(-11)?
True
Let d(z) = 2*z**3 - 2*z - 2. Let j be d(3). Let h = j - 6. Is h a multiple of 20?
True
Suppose 461 = 2*l - 5*s, 31*s - 27*s - 1235 = -5*l. Is l a multiple of 81?
True
Suppose 0 = 5*q - 2*r - 20, -3*q + 8 = -q + 5*r. Suppose q*p - y = 325, -6*p + 4*y + 247 = -3*p. Is p a multiple of 27?
True
Suppose -2*h - 4*i + 3890 = 0, -4*h - 2*i = -7339 - 453. Does 42 divide h?
False
Suppose 3*o - 9 = -q, -3*o + 6 = -6*o + 4*q. Suppose -o*b + 11 = -4*g - 65, -46 = -2*b - 2*g. Suppose -2*r + b = 2*r. Is r a multiple of 7?
True
Suppose p + 4 + 2 = 2*k, 0 = -p + 2. Let l(t) = t**2 - t + 6. Is l(k) a multiple of 6?
True
Let f = -28 + -17. Suppose -6*d + 111 = -375. Let v = d + f. Is v a multiple of 12?
True
Is 30 a factor of -4 + (0 - -6) + 2 + 26?
True
Let m be 1*7/((-14)/(-6)). Suppose -m*t = -4*s - 238, 2*t = -5*s + 143 + 8. Is 3 a factor of t?
True
Let g(k) = 10*k**2 - k - 2. Let p = -59 - -57. Is g(p) a multiple of 10?
True
Let l(s) = -158*s**3 + 8*s**2 - 3*s - 4. Is 21 a factor of l(-2)?
False
Suppose 211*q + 4440 = 216*q. Is 13 a factor of q?
False
Let r = 37 + -44. Let t(n) = -7*n - 2. Does 18 divide t(r)?
False
Let g(i) = 651*i**3 - i**2 - 4*i + 4. Does 11 divide g(1)?
False
Let w(o) = o**3 - 7*o**2 + 7*o - 1. Let u be w(6). Let a be (7/(-3))/(1 - 7/6). Suppose u*j = 2*g + a, -4*j = -5*g - 0*g - 18. Does 2 divide j?
True
Let c(s) = -s**3 - 12*s**2 - 11*s + 10. Let a be c(-11). Let l be a/15*(-3)/2. Let o(z) = 7*z**2 - 2*z - 1. Is 4 a factor of o(l)?
True
Let d be 2 + -46*(-3)/(-6). Is (-3626)/d + (-2)/(18/(-3)) a multiple of 24?
False
Let s be 0 + (-14)/(2/(-2)). Let o(b) = 4*b**2 - 43*b + 72. Let u(a) = a**2 - 11*a + 18. Let k(v) = -2*o(v) + 9*u(v). Is k(s) a multiple of 18?
False
Let k be 2/2 + -3*2/(-6). Suppose 0 = 3*g - 3, -l - 3*g - 29 = -k*l. Is 5 a factor of l?
False
Suppose 2*k - 113 - 55 = 0. Does 12 divide k?
True
Let g = 52 + 67. Does 7 divide g?
True
Suppose 2328 = -23*a + 31*a. Does 49 divide a?
False
Is 684 - (9 - (7 - -2)) a multiple of 64?
False
Let l(z) = 61*z**2 - 45*z - 14. Is l(7) a multiple of 20?
True
Let s(z) = z**2 - 6*z + 9. Let q be -20*-2*2/8. Is s(q) a multiple of 8?
False
Let v = 466 + -249. Does 21 divide v?
False
Let b(a) = a**2 - 5*a + 9. Let s be b(3). Suppose -31 = -4*f + s*r + 72, -2*r = -6. Is f a multiple of 2?
True
Suppose 5*g = -w + 34, -3*w = -3*g + g - 85. Let t = 2 - 24. Let h = t + w. Is 3 a factor of h?
False
Suppose -w = -3*w - 2. Let y be 6/2 - (-39 - w). Suppose -j + 106 = 3*g + 4*j, 0 = g - 4*j - y. Is 6 a factor of g?
False
Let c be 2/(((-2)/(-12))/(1/3)). Suppose 711 = c*w - w. Is w a multiple of 8?
False
Suppose -7*z = 4*j - 5*z + 1686, -2*j + 2*z - 852 = 0. Let a = -189 - j. Is a a multiple of 26?
True
Let j = 20 + -21. Let x be 1/(j/(-2*5)). Let r = x + -4. Does 3 divide r?
True
Let m be 2 - (-4 + 4)/(-4). Let t(z) = 2*z**3 + z**2 + z - 4. Is t(m) a multiple of 11?
False
Let k be ((-6)/(-24))/(2/48*3). Suppose -2*s + s = 1, 0 = 3*u - k*s - 131. Does 6 divide u?
False
Let k = 119 + -73. Does 23 divide k?
True
Let h(v) = -v**2 - 2*v - 10. Let k(r) = r + 12. Let d be k(-7). Let m(f) = f**2 + 2*f + 9. Let w(b) = d*h(b) + 6*m(b). Is 6 a factor of w(-4)?
True
Let q = -1372 + 1419. Does 3 divide q?
False
Suppose -3*a = -0*a - 39. Let o(v) = 6*v - a - 3*v + 0*v - 6*v. Is 10 a factor of o(-9)?
False
Let x(r) = -3*r**3 - 3*r**2 + 8*r + 2. Is 16 a factor of x(-6)?
False
Let t(y) be the first derivative of y**2/2 + 13*y + 20. Is t(-3) a multiple of 4?
False
Suppose -19*x + 48446 = 2846. Is x a multiple of 30?
True
Let b(u) be the second derivative of -4*u**2 - 2/3*u**3 - 6*u + 0 + 1/6*u**4. Is 20 a factor of b(7)?
False
Let g be 20/7 - 2/(-14). Suppose c - 152 = -g*c. Is c a multiple of 19?
True
Let y(b) = -6*b**3 - 4*b**2 + 5*b - 4. Let d be y(-4). Let c = -141 + d. Is 31 a factor of c?
True
Let h = 52 + -88. Let r = 48 + h. Does 3 divide r?
True
Let n(q) = 16*q**2 + 5*q - 24. Does 5 divide n(3)?
True
Suppose 0 = 2*l + 5*q - 324, q = -l - 3*q + 168. Is l a multiple of 19?
True
Suppose -11949 = 31*o - 34362. Does 68 divide o?
False
Let v(m) = 38*m**2 - 8*m - 21. Is 35 a factor of v(7)?
True
Suppose 4*y - 42 + 14 = 0. Is 20 a factor of (0 - 1) + (2 - (-1820)/y)?
False
Let k = -136 - -453. Suppose 2*h - 7*h = 2*q - k, 0 = -h - 4*q + 67. Let u = h + -45. Is u a multiple of 9?
True
Suppose -2*k + k = 0, 3*p - 4*k - 3312 = 0. Is p a multiple of 68?
False
Suppose 2*d + b = 227, 0 = 3*d - 0*b - b - 353. Suppose -4*m = 2*j - 112, 2*m + 4*j - d = -2*m. Does 10 divide m?
False
Suppose n - 2*u + 6*u - 5 = 0, 2*u - 2 = 0. Suppose 3 = w + n. Suppose -114 = -s - w*s. Is 10 a factor of s?
False
Does 34 divide (-6)/(-4) - 22005/(-18)?
True
Let z be -1*(-11)/((-33)/(-18)). Let j be 212/6 + z/(-18). Let g = j + 28. Does 12 divide g?
False
Let t be 10/5*(-5 - -1). Let p(k) = 4*k**2 + 7*k + 2. Does 43 divide p(t)?
False
Let x = 60 - 74. Is (600/(-70))/(2/x) a multiple of 20?
True
Let v(x) = 0*x**2 + 8 - 15 + x + 18*x + 2*x**2. Is 34 a factor of v(-14)?
False
Suppose -5823 = -15*o + 7677. Is o a multiple of 20?
True
Suppose -6*t = -8*t + 58. Suppose -t = 4*a - 485. Is a a multiple of 38?
True
Suppose -297*y = -299*y + 186. Is 3 a factor of y?
True
Let j(y) = -158*y + 9. Let q be j(-2). Suppose -6*d + q - 121 = 0. Does 9 divide d?
False
Is 38 a factor of ((-78)/(-8))/(6 + 9999/(-1672))?
True
Is ((-5)/((-100)/435))/(3/4) a multiple of 2?
False
Let v be 3 - (-18 + (-16)/(-4)). Does 12 divide v/85 + 2638/10?
True
Let x = -395 + 662. Is x a multiple of 13?
False
Let v = 289 - 216. Is v a multiple of 5?
False
Suppose -137 = 4*b + 87. Let j = b + 101. Does 7 divide j?
False
Let q(k) be the second derivative of -k**5/5 + k**4/4 + k**3/2 + 3*k**2/2 - 10*k. Let n be q(-2). Suppose 5*y - n = -4*g, 2*y - 5*y + 12 = g. Is g even?
False
Let d(x) be the second derivative of -6*x**2 - 11*x + 0 + 8/3*x**3 + 7/6*x**4 - 1/20*x**5. Is d(15) a multiple of 2?
False
Let b = 18 + -15. Let c be -3 + -3 + 162/b. Suppose -5*t + c = -22. Is t a multiple of 7?
True
Let p = 50 + -47. Does 14 divide (-316)/((-8)/p - 14/(-21))?
False
Let y be (6/4)/((-9)/(-12)). Suppose 9*a = 14*a + 3*j - 1110, -y*j + 229 = a. Is 24 a factor of a?
False
Suppose -6 = -0*m - m. Suppose -5*q = -2*q - 4*r - 7, 0 = 3*q - 3*r - m. Does 11 divide q*51*4/6?
False
Let r(n) = 9*n - 22 + 11*n - 32*n - 29*n. Let a be r(10). Does 32 divide (a/(-15))/(18/60)?
True
Suppose 7*z + 70 = 182. Does 8 divide z?
True
Suppose -2*p = 4*d - 468, -d + 5*d - 5*p - 482 = 0. Is d a multiple of 20?
False
Suppose -1466 = -2*m - 3*d - 470, 4*m + 2*d = 2008. Does 8 divide m?
True
Let d = -33 - -37. Let r(j) = -j**2 - 8*j. Let c be r(-4). Does 9 divide c/12*78/d?
False
Suppose -y + 326 = d - 4*y, y + 1 = 0. Supp