-t - 23*k, 5*k = t + 18. Suppose 0*a - 844 = -t*a. Does 38 divide a?
False
Let z(x) = x**3 + 7*x**2 - 3*x - 38. Let a be z(-6). Is 61 a factor of (-1549)/(-4) - 20/a?
False
Does 24 divide (-401824)/(-8) + 4 + 0?
True
Suppose -5*t = -q - 1276, 2*t + q - 543 = -34. Let s = t - -179. Is 14 a factor of s?
True
Let l = -593 - -418. Is (39*12/(-45))/(10/l) a multiple of 7?
True
Let l be 52/7 + (-16)/(-28). Let z(v) = v**3 - 8*v**2 + v + 2. Let x be z(l). Let s = x + -5. Is s a multiple of 5?
True
Suppose -3*h = -k - h + 35, k - 15 = -2*h. Suppose -k*g + 33*g = 2840. Is g a multiple of 20?
False
Let u(f) = 14*f - 5*f**2 - 25*f**2 + 285*f**2 + 69*f**2 - 13. Does 3 divide u(1)?
False
Let q(f) = 40*f**2 - 19*f + 132. Is q(-12) a multiple of 56?
False
Suppose -582*o + 150903 = -555*o. Does 50 divide o?
False
Suppose 12*s = 27*s - 75. Suppose o = -s*u + 2332, 0*o = -u + 3*o + 476. Is u a multiple of 26?
False
Suppose 4*i + 5*v = 494, -3*i - 3*v + 0*v = -369. Suppose 0 = 114*f - i*f + 1442. Is 19 a factor of f?
False
Let y = -36 + 44. Let r be (-3)/(3 - 30/y). Is 1175/10 - (-2)/r a multiple of 36?
False
Suppose -2*y - 339 = -343, -4*y - 81262 = -5*u. Is u a multiple of 14?
True
Suppose -1 = -4*f - 9. Let l be (1*-1)/f + (-3366)/(-36). Suppose 4*t - 142 = -3*z + l, -3*z + 4*t + 196 = 0. Is 18 a factor of z?
True
Suppose 13728 = 31*r - 20*r. Does 94 divide 104/r + 40606/24?
True
Let a = 8270 - 459. Is 73 a factor of a?
True
Let j = 370 + -971. Does 47 divide 4/3*33/(-22) - j?
False
Let z(s) = 3*s + 17. Let p = 38 - 35. Suppose -5*k - 5*n + 35 = 0, -2*k - 4*n + 37 = p*k. Is z(k) a multiple of 3?
False
Let q(r) = -692*r - 940. Is q(-5) a multiple of 20?
True
Let u = 133 + 857. Is u a multiple of 9?
True
Let m be (-1714)/(-10) + 2/(-5). Suppose 5*f - 3*d = m, 0*f = f - 4*d - 24. Does 18 divide f?
True
Let a(n) = 4*n**2 + 10*n - 293. Does 17 divide a(-33)?
False
Suppose 14*i - 120156 = -17*i. Is 17 a factor of i?
True
Let s(m) = -388*m**3 + 9*m**2 + 26*m + 28. Is 7 a factor of s(-3)?
True
Suppose -4*m - 32 = 0, -15992 = -w - 57*m + 54*m. Does 28 divide w?
True
Let j = -15717 + 21765. Does 144 divide j?
True
Let p(v) = -14*v**2 - v - 2. Let k be 12/(-8)*(0 + 2). Let i be p(k). Let f = -89 - i. Is 6 a factor of f?
True
Let w(l) = 5*l**2 - 14*l + 20. Let b be w(8). Let n = 404 - b. Is (n/(-6) - 0)*(2 - 5) a multiple of 22?
True
Let h = 3534 - 3126. Is 136 a factor of h?
True
Let i be ((-18)/(-10))/((-6)/(-20)). Suppose -p - i*p = -280. Suppose -4*b = -148 + p. Does 5 divide b?
False
Suppose 4*r - 22 = 2*i, -2*r - 5*i - 3 = -20. Let t = -28 - -30. Suppose -488 = t*x - r*x. Is 22 a factor of x?
False
Let d = 11685 - 7412. Is d a multiple of 19?
False
Let f be (0 - 1)*(-7 + 2). Suppose v - f*z = 1, -3*v + 4*v = -2*z + 1. Is 5 a factor of (-5)/(-40)*-10*(-36)/v?
True
Let q(m) = m**3 + 19*m**2 + 47*m - 6. Let l be q(-16). Suppose -3055 = -l*o + 2745. Is o a multiple of 20?
True
Let n(b) be the first derivative of -b**4/2 + b**2 + 312*b - 49. Does 25 divide n(0)?
False
Suppose 2*n + 4*k + 621 = -k, 5*n = 2*k - 1538. Let j = n + 93. Is 18 a factor of ((-4)/(-5))/((-1)/j)?
False
Let o(r) be the first derivative of -r**4/12 - 5*r**3/6 - 9*r**2/2 + 1. Let u(q) be the second derivative of o(q). Does 15 divide u(-22)?
False
Let v = 23 + -24. Let o be (6/9)/(v/((-6)/(-4))). Does 16 divide 45*o*(-19)/(95/12)?
False
Suppose -3*h + 4978 = 4*v - 0*v, 4*h - 1264 = -v. Does 41 divide v?
False
Suppose -t + 2 = -3*b - b, 10 = 5*t + 2*b. Suppose -t*w + 37 = -53. Suppose -3*m = -w - 27. Is m a multiple of 5?
False
Let c(j) = 4*j + 104. Let p = -63 - -56. Does 4 divide c(p)?
True
Suppose 0 = 3*g + m + 2*m - 1662, 3*m = 3*g - 1650. Let h = g + -279. Is h a multiple of 13?
True
Let b = 1042 + -1042. Let m(y) = y**2 + 10*y + 2. Let c be m(-10). Suppose p + 5*v = -67 + 272, b = 4*p - c*v - 908. Is p a multiple of 10?
False
Suppose 0 = -2*r + 8*l - 9*l + 28, -r - 8 = -5*l. Is 34 a factor of (r/(-9))/((-7)/(7812/8))?
False
Let r(v) = 113*v**3 + 4*v**2 + 28*v - 75. Does 15 divide r(6)?
True
Let t(c) = 2*c**2 - c. Let z be t(-1). Suppose -z*d - 4*g + 8 = 0, -4*d + 2*g + 1 = -17. Suppose 5*n + 117 = r + r, 172 = 3*r - d*n. Is 14 a factor of r?
True
Let o = -365 - -405. Let f = 338 - o. Does 40 divide f?
False
Does 16 divide (26/65)/(2/(-10))*-3814?
False
Suppose 12 = -2*l, -72839 = -4*g + l + 12683. Is 63 a factor of g?
False
Let z(w) = 26*w**2 + 9*w + 81. Let f be z(12). Suppose -12*a = -3*a - f. Is a a multiple of 19?
True
Let n(g) = 8*g + 72. Suppose 6*t - 22 = 56. Let b be n(t). Suppose -y + b = 148. Is 4 a factor of y?
True
Suppose 4*h + 2*z = 1290, -3*z = -0*z - 3. Suppose 2*v + 120 = 2*r - 5*r, 5*v + h = -2*r. Let s = 70 + v. Does 3 divide s?
False
Is 905460/38 + (-162)/(-1539) a multiple of 37?
True
Suppose 21*g = 27*g - 78. Let y(i) = 4*i**2 - 22*i + 3. Is y(g) a multiple of 22?
False
Suppose 38*j - 48*j + 50 = 0. Suppose j*b - 4*b - 56 = 0. Does 7 divide b?
True
Let g(r) = -r**3 + 23*r**2 - 24*r + 44. Let l be g(22). Suppose y - 25 - 58 = l. Does 18 divide y?
False
Let f(d) = d**3 - 11*d**2 + 2*d - 9. Let b = 85 + -74. Let k be f(b). Suppose 0 = -k*g + 33 + 331. Does 3 divide g?
False
Suppose -3*m - 2 = 4*p, -2 = 5*m + 3*p - 6. Let h(z) = 110*z**3 - 3*z**2 - 4*z + 10. Does 29 divide h(m)?
True
Suppose -73*b + 69*b = -472. Suppose -5*x = 2*u + u - 291, 0 = -5*x - 2*u + 294. Let j = b - x. Is j a multiple of 29?
True
Suppose 30*y = -2*y - 17120. Let s = 584 - y. Is 75 a factor of s?
False
Let y(x) = 2*x**3 + 6*x**2 + 9*x. Let c be y(-4). Let p = c + 71. Does 14 divide (-8 + 6 - 41*-1) + p?
True
Suppose 270 = 24*c - 15*c. Suppose -c*d + 34*d = -4, -5*y = -2*d - 1177. Is y a multiple of 39?
False
Let i(x) be the second derivative of x**5/20 + 13*x**4/12 + 11*x**3/6 + x**2 + 845*x. Suppose -3*y - 23 - 12 = p, -3*p + 5 = -2*y. Is i(y) a multiple of 32?
True
Suppose 1172*w - 24 = 1164*w. Suppose -4*g - w*i = -167 - 193, 5*g = 5*i + 450. Is g a multiple of 2?
True
Let q be -1*(42/(-35))/((-6)/20). Let d be q - -8 - (-1 + 5). Suppose 4*m + 8 = d, 4*f - m = -0*m + 1082. Is f a multiple of 15?
True
Let h = -3786 + 8492. Is 35 a factor of h?
False
Suppose -15*r + d + 11637 = -11*r, 0 = 3*r - 2*d - 8734. Suppose r = 11*s - 5375. Is 11 a factor of s?
False
Does 19 divide (-2749470)/(-270) + 1/9*-2?
False
Let u(g) = 12*g**2 - g + 1. Let c(w) = -3 - 7*w**2 + 4*w**2 + 4*w**2 - 3*w. Let p be c(3). Is 14 a factor of u(p)?
True
Let a = -26508 - -27457. Is 15 a factor of a?
False
Suppose -151 = -2*o - 45. Let y = -2 + o. Does 12 divide y?
False
Let t(o) be the first derivative of -o**3/3 - 7*o**2/2 + 48*o - 26. Let c be t(-11). Suppose 9*f - 130 = c*f. Is 2 a factor of f?
True
Let w(f) = 19*f**2 + 112*f - 295. Is w(-36) a multiple of 47?
False
Let h = 9373 + -9172. Is 19 a factor of h?
False
Let o(h) = 219*h**2 - 5*h - 4. Let i be -4 - (-1 + -6 + 4). Let n be o(i). Suppose 0 = -3*w + n + 74. Is w a multiple of 10?
False
Let t(m) = -3*m**3 + 4*m**2 + 3. Suppose 4*a - 2*o = 9*a + 5, -4*a + 2*o - 22 = 0. Let z be t(a). Suppose 23*w = 28*w - z. Is 4 a factor of w?
True
Let y = 14718 + -8661. Is 77 a factor of y?
False
Suppose 0 = -d - 2*i - 17, 0 = -5*d - i - 0*i - 112. Is 14 a factor of (-2)/(-1) - (d - 17)?
True
Let p(k) = k**3 + 9*k**2 - 9*k - 158. Let o be p(-8). Let a(z) = z**2 + 15*z + 6. Does 20 divide a(o)?
True
Let q = -7820 + 11425. Does 35 divide q?
True
Let x(w) = -3*w - 42. Let c be x(-14). Suppose -6*n = -30 - c. Suppose -4*h - 4 + 51 = -n*d, -5*h + 60 = -5*d. Does 2 divide h?
False
Let y = -113 + 76. Let s = 51 + y. Suppose s*m - 7*m - 1064 = 0. Does 40 divide m?
False
Let c(s) = -22*s**2 - 856*s + 59. Does 5 divide c(-35)?
False
Suppose 0 = -139*l + 272*l - 239400. Does 20 divide l?
True
Suppose 43*r = 149*r - 2207556. Does 234 divide r?
True
Let z = 77 + -7. Let q = -49 + 34. Let c = z - q. Is 11 a factor of c?
False
Let g(w) = w**3 + 11*w**2 - 6*w - 26. Let h(o) = o**2 + 8*o - 12. Let x be h(-8). Let c be g(x). Let r = 176 + c. Is r a multiple of 24?
False
Let q be 2/9 - 34164/(-81). Let x = 821 - q. Is x a multiple of 19?
True
Suppose 3 = -6*k + 33. Suppose -2*v - 16 = 4*h, -5*v + 4*v = k*h + 23. Suppose 5*o + 20 = 0, -4*s + 5*s - 41 = -v*o. Is s a multiple of 8?
False
Suppose -5*q - n = 