Suppose 3*r = 4*h + 2573, 24*h - 26*h = 3*r - 2579. Suppose d*u = -49 + r. Is u a multiple of 45?
True
Let o(u) = u - 9. Let f be o(12). Let w = f + -1. Let p(r) = 3*r**2 + r - 2. Is p(w) a multiple of 3?
True
Let h = 4 - -28. Suppose r - h = 3*u, 2*r - 2*u - 11 - 33 = 0. Is (-14 + 8)*r*-1 a multiple of 29?
False
Let n(c) = -4*c + 576. Does 20 divide n(-61)?
True
Let n = -30 + 86. Let q = 268 + -268. Suppose 5*w = -5*m + m + n, -5*m + 5*w + 115 = q. Does 5 divide m?
False
Suppose 32*y - 8*y - 132527 = -11495. Is 41 a factor of y?
True
Let l be 313/1*((1 - 3) + 1). Let w = -53 - l. Does 26 divide w?
True
Is 19 a factor of 222/74*4/(-6) - -1313?
True
Let m(a) = -17*a + 63. Suppose 12 = -2*b + 5*j, 0*b + j = 4*b + 24. Is 5 a factor of m(b)?
True
Let h(b) be the second derivative of 3*b**3/2 + 11*b**2 + b + 21. Is h(12) a multiple of 13?
True
Suppose 465*r - 27486 = 456*r. Is r a multiple of 3?
True
Let k = -5267 + 8307. Does 10 divide k?
True
Suppose -7*a - 19 = -2*a - 2*c, 4*a + 2 = -5*c. Let t(q) = q**2 - 18*q - 41. Does 3 divide t(a)?
False
Suppose 0 = -7*i + 3*i + l + 681, i = -l + 164. Is i a multiple of 2?
False
Let p be 8/(-2) + -17 + -24. Is ((-162)/p)/((-6)/(-915)) a multiple of 51?
False
Does 73 divide 96047/7 - (-153)/(-9)?
False
Let w(n) = -123 + 14 + 0*n - n**2 + 1 + 39*n. Is w(30) a multiple of 6?
True
Let b(c) = -489*c + 83. Let j be b(-3). Let r = j + -238. Does 73 divide r?
False
Let h = -50 + 55. Suppose 298 = -5*q - 5*y + 1938, 2*q - h*y - 635 = 0. Does 13 divide q?
True
Let a = -5 - -19. Let n = -20 + a. Is 2/n - 84/(-9) a multiple of 2?
False
Suppose 0 = -s + 5*m + 1706, m - 4*m = -5*s + 8574. Suppose -12*n + s = -0*n. Does 13 divide n?
True
Suppose -l + 1 = -4. Suppose 11 = 3*b - 4*m, -2*b + m - 6 = l*m. Does 14 divide (28/10)/(b - (-88)/(-90))?
True
Suppose -20*s = 5*s - 1137327 + 133702. Is s a multiple of 7?
True
Suppose -4*c + 31 = 3*a, 4*c + 2*a - 18 = 16. Let f be (-2)/c - (-1672)/10. Suppose f*k - 576 = 161*k. Does 34 divide k?
False
Let a(m) = m**2 + 6*m - 24. Let w be a(-9). Suppose -4*d = -w*d + 6. Let c(l) = -2*l**3 - 5*l**2 + 9*l + 7. Is 9 a factor of c(d)?
False
Suppose 0 = 2*h - 6*h. Suppose h = -2*v + 47 + 15. Suppose 8*s = -v + 119. Is s a multiple of 3?
False
Suppose 2*n + 221 = -l + 4*l, n - 2 = 0. Suppose 7*f + s - l = 2*f, -3*f = -s - 45. Let u(x) = -x**3 + 18*x**2 - 34*x - 37. Is 8 a factor of u(f)?
True
Suppose -22*o - 10942 = -72718. Is 13 a factor of o?
True
Suppose 2*u - u - 800 = 3*i, 5*i = 5. Does 3 divide u?
False
Let b = -267 + 627. Does 42 divide b + -1 + 7 + 1?
False
Suppose -171*v = -173*v + 262. Suppose v = 2*d + z, 0*z - 3*z = -d + 55. Suppose -3*t + g = -170, -t + 6*g - 2*g = -d. Is 14 a factor of t?
True
Let j(s) be the third derivative of s**5/30 - s**4/12 - 7*s**3/6 + 3*s**2 + 10. Does 20 divide j(7)?
False
Let d = 1061 - 541. Suppose -a - 2*t + 104 = 0, a - 6*a + t + d = 0. Does 13 divide a?
True
Let i(u) = 3*u**3 - 8*u**2 - 38*u - 129. Is 141 a factor of i(10)?
False
Suppose 45*w + 173797 - 663253 = -27*w. Is 22 a factor of w?
True
Suppose -344 = -29*j + 323. Suppose 5586 = 37*t - j*t. Is 21 a factor of t?
True
Suppose 2*r + 34 = r. Let t = -17553 - -17497. Let f = r - t. Does 11 divide f?
True
Is 25 a factor of (-21)/((-273)/34814) - 3?
True
Let k(m) = -3*m + 33. Let v be k(10). Suppose 4*g - 5*s - 502 = -v*s, -3*g + 377 = -s. Let j = 282 - g. Is j a multiple of 22?
False
Let b be 3/(-6) + -2*(-2)/8. Let v(u) = -u**3 + u**2. Let i be v(b). Suppose 0 = -l + 5*y + 29, 0*l - 3*l + 2*y + 48 = i. Is 2 a factor of l?
True
Does 99 divide (-223118)/(-49) + (-42)/98?
False
Let q be 1*(-3)/(2/(2/(-3))). Let u(i) = 6*i**3 - 2*i**2 + 2*i - 1. Let z be u(q). Suppose -4*f + 3*v = -415, z = 8*v - 9*v. Is f a multiple of 20?
True
Suppose 3*i + 0*i - 14560 = -2*i. Does 32 divide i?
True
Suppose -2*u = 36 + 10. Let g = u - -19. Is 20 a factor of (8/5)/g*-300?
True
Suppose -3*n = 9, n = 3*i - n + 138. Suppose 0 = 4*s - 3*s - 63. Let v = s + i. Does 15 divide v?
True
Let u(f) = 19*f**2 - 17*f + 210. Let h be u(6). Let l(p) = p + 6. Let c be l(-4). Suppose -1020 = -4*v - 5*j, -h = -4*v + c*j + 256. Is 10 a factor of v?
True
Suppose -10 = x - 6*x. Suppose x = -10*z + 11*z. Suppose -4*m = -3*p - 435, z = -p - p. Is m a multiple of 23?
False
Let n(u) = 4*u - 8. Let x(d) = 9*d - 17. Let y = -7 - -12. Let l(p) = y*n(p) - 2*x(p). Is 3 a factor of l(5)?
False
Let j be (42/(-4))/(6/(-4)). Let d(g) = 3*g**2 + 2*g + 1. Let q be d(j). Suppose -2*c = 7*c - q. Does 6 divide c?
True
Let x(v) = -12*v**3 + v**2 + 98*v + 96. Does 46 divide x(-8)?
True
Let y = -202 + 58. Let m = y - -422. Does 10 divide m?
False
Suppose -2*h + 0*h = -3672 - 6728. Is 25 a factor of h?
True
Let d be (-1)/2*((-15 - -2) + 3). Suppose 13 = 2*b - v, 3*b + 0 = -4*v + 3. Suppose 0*h - d*h + 330 = b*r, h = 3*r + 62. Is h a multiple of 13?
True
Let l(u) = -7*u - 59. Let v be l(-9). Suppose -v*s = 5*h - 117, 3*s - h = -12 + 114. Is 3 a factor of s?
True
Suppose 0 = -5*f - 2*x + 16380, 4*f + 6*x - 13104 = 5*x. Is f a multiple of 42?
True
Let q be (-9)/6*16/6. Let g be 136/(-10) - q/(-10). Let u = g - -47. Is 11 a factor of u?
True
Let s(n) = n**3 + 27*n**2 - 55*n + 112. Let l(v) = 2*v**2 + 12*v - 19. Let y be l(-5). Does 25 divide s(y)?
True
Let d(s) = 590*s**2 + s + 1. Let j be d(1). Suppose j = 4*a - 1156. Is a a multiple of 13?
False
Let b be (20/20)/((-2)/10). Is 3 a factor of (-1 - b)/((-72)/(-756))?
True
Let p(z) = -4*z**2 - 47*z + 16. Let n be p(-12). Suppose 4*i - 408 = -4*a, n*a - 543 = -2*i - 139. Let k = 124 - a. Is k a multiple of 12?
True
Let r be 54/8 - (0 - (-6)/8). Suppose r*x = -2*x + 40. Suppose -x*g + 45 = 5*q, 0*q - 2*q = -5*g - 25. Is 10 a factor of q?
True
Let w = -11143 - -11739. Does 4 divide w?
True
Suppose w - 5*w - 6 = -a, 5 = 3*a + w. Suppose -4*h + a*y = -56, 52 = 5*h - 0*y + 2*y. Suppose 0 = 2*s - 86 + h. Is 6 a factor of s?
False
Suppose -4*t + 3*d = -1565, -4*t + 9*d + 1569 = 10*d. Let w = t + -48. Is w a multiple of 3?
False
Is 404/909 + (-63168)/(-27) a multiple of 4?
True
Suppose 0 = 2*y + 4*c + 76, 11*y - 6*y = -2*c - 206. Is 4 a factor of (-4002)/y - ((-48)/(-21) + -2)?
False
Let g = -205 + 187. Is 28 a factor of 174/(-54) + 3 - 5206/g?
False
Let m = 232 + -203. Suppose -m*x = -21*x - 4200. Does 15 divide x?
True
Let h be ((-2)/(-4) - 1)*0/(-6). Suppose h = b - 208 + 58. Does 30 divide b?
True
Suppose -40908 = 17*b - 134850. Is b a multiple of 41?
False
Let t be 2/12 - (-33)/18. Suppose -2*h + 302 = 3*h + 3*k, t*h - 125 = 3*k. Let w = h + -44. Is w a multiple of 9?
False
Suppose 15564 - 45947 = -m - 5*v, 4*v - 36 = 0. Does 11 divide m?
True
Let u(b) = -393*b - 2331. Is u(-6) a multiple of 3?
True
Suppose 4*x = -q - 0*q - 18, 5*q - 2*x + 46 = 0. Does 33 divide 101/2*(-20)/q?
False
Suppose -4*m + 4*y = -29906 - 6198, 36069 = 4*m + y. Is m a multiple of 75?
False
Let w be -3 + ((-10)/(-5) - -49). Let b = w - 36. Let q(j) = j**3 - 12*j**2 + 3*j + 9. Is 15 a factor of q(b)?
True
Let t = -875 - -1343. Does 18 divide t?
True
Is 55 a factor of 3*2050*1243/226?
True
Suppose -113*k + 109*k = -8. Suppose 2761 + 263 = k*m. Does 84 divide m?
True
Let w(a) = -4*a + 13. Let y be (-24)/3 - (-5 + 3). Is w(y) even?
False
Let z(q) = 11*q**2 - 54*q - 3. Let k(b) = 32*b**2 - 161*b - 8. Let u(a) = -6*k(a) + 17*z(a). Is 5 a factor of u(8)?
False
Suppose -3*m - 10 - 30 = 5*y, -m - 3*y - 20 = 0. Let i be ((-1580)/2)/(m/(-1 + 6)). Suppose -14*n + 19*n - i = 0. Does 30 divide n?
False
Let c be ((-344)/(-258))/((-2)/15 + 0). Let t(d) = d**3 + 12*d**2 - 2*d - 16. Is t(c) a multiple of 11?
False
Let g(b) = -33*b - 16. Let k be g(-6). Suppose 30 = -177*u + k*u. Let o(m) = m**2 - 4*m. Is 4 a factor of o(u)?
True
Let z(w) = -7*w + 59. Suppose 2*s - 60 = 12*s. Does 3 divide z(s)?
False
Let t = 4395 - 3631. Does 11 divide t?
False
Suppose 12 = -4*y + 2*w + 20, 2*w = -4*y + 8. Does 6 divide (164 - 6)/(4 - y)?
False
Let i(b) be the third derivative of -3*b**4/4 + 10*b**3 + 2*b**2 + 68. Is 23 a factor of i(-23)?
False
Let g = -8311 - -41251. Does 5 divide g?
True
Let q(y) = y**2 - 24*y + 46. Let h be q(22). Let m be (15/6 + 1)/(1/h). Suppose m*j - j = 42. Does 4 divide j?
False
Let l(u) = -u**2 - 9*u - 16. Let r be l(-6). Suppose -5*t = -q + 1267,