ctor of o(u)?
True
Let w = -5156 + 5704. Is 11 a factor of w?
False
Let m(i) = -3*i**3 + 123*i**2 + 143*i - 10. Is 32 a factor of m(42)?
True
Suppose -s + 1080 = -5*w - 851, -2*s = 3*w - 3940. Is s a multiple of 53?
True
Let k(d) = 1887*d - 40. Let g be k(-20). Is g/(-70) + 10/35 a multiple of 30?
True
Suppose -11104 - 6064 = -3*w - 4*g, -2*w + g + 11449 = 0. Is w a multiple of 27?
True
Suppose 15*i - 50 = 550. Is 46 a factor of 32/i*2235/2?
False
Is (0 - -1) + (-26 - -23) - (-2697 + 0) a multiple of 77?
True
Let m = 266 - 253. Let o(f) be the first derivative of f**2 + 1. Does 4 divide o(m)?
False
Suppose 6*u - 59108 = -584*i + 580*i, -5*i = -5*u - 73860. Is i a multiple of 35?
False
Suppose 0 = -183*u + 187*u. Suppose 0*h - 3*h + 4950 = u. Is 11 a factor of h?
True
Suppose 261*u - 300*u = -81432. Does 13 divide u?
False
Suppose -4*f - 3 + 27 = 0, 4*f = -w + 4974. Is 55 a factor of w?
True
Suppose -6 = 3*a - 3*p, 5*a - 5*p + 18 = 4*a. Is -3 + a + 24/4 a multiple of 2?
False
Suppose 7*t + 160 - 265 = 0. Let w = t - -120. Does 45 divide w?
True
Let c(z) = -3922*z**2 + 3*z + 2. Let f be c(-1). Let h = 2612 - f. Does 17 divide 1/(55/h) + 4/22?
True
Let b(y) = -2*y**2 - 10*y. Let t be b(-5). Suppose 3*g - 224 = o, -4*g = -t*g + 3*o - 316. Is 2 a factor of g?
True
Let c be 325/117 - 2/(-9). Suppose -5*u + c*n + 5122 = -1337, -n + 5157 = 4*u. Is u a multiple of 19?
False
Does 35 divide 322424/94 + 1520/(-35720)?
True
Does 16 divide (-7032)/5*1160/(-348)?
True
Suppose 176*y + 193*y - 38*y = 2635091. Does 7 divide y?
False
Suppose -2*d + 4*o - 28 = 0, 15 + 62 = -4*d + o. Let b be 10/d*-2*4. Suppose 5*f - 260 = 2*p, -b*f + 154 = -3*p - 61. Is 25 a factor of f?
True
Suppose -k + 2*w = -5, -2*k + 11*w + 16 = 10*w. Suppose -k*f + 898 = -1379. Is 11 a factor of f?
True
Let x = 1701 + -561. Does 57 divide x?
True
Suppose 30*a = 25*a - 5, 4011 = 4*l + a. Is 17 a factor of l?
True
Suppose 0 = 133*x - 128*x + 2*p - 143100, p = 3*x - 85860. Is 15 a factor of x?
True
Let u(s) = -94*s + 23. Let v(w) = -471*w + 114. Let q(r) = 11*u(r) - 2*v(r). Is 17 a factor of q(-5)?
False
Let z = -6532 + 18602. Does 30 divide z?
False
Let h(k) = -k**3 + 4*k**2 + 7. Let n be h(4). Suppose -2*d = n*d - 4455. Is 31 a factor of d?
False
Suppose -239*d + 570*d = 8053892. Does 24 divide d?
False
Suppose -5*b = -12*q + 16*q - 7642, 5*q - 15 = 0. Suppose 3*j - 5*d - b = 0, -87*j + 1026 = -85*j + d. Is j a multiple of 32?
True
Let i(w) be the third derivative of w**4/8 + 11*w**3/2 - 34*w**2. Let j be i(-10). Suppose -2*y = -6*y + j*q + 588, -5*y - 5*q = -700. Is 9 a factor of y?
True
Let a = -13295 - -37989. Is a a multiple of 20?
False
Let p(g) = -g**3 + 19*g**2 - 16*g - 39. Let w be p(13). Suppose -8177 = -13*j + w. Does 43 divide j?
True
Suppose -3*v + 5*i + 26 = 0, 5*v - 3*i = 3*v + 16. Suppose -t + 233 = v*o, 2*o - 351 = -o - t. Does 22 divide o?
False
Suppose -c = -5*d + 3282, -2*c + 1682 = 5*d - 1579. Is 3 a factor of d?
False
Suppose 285167 = 18*b - 474955. Does 121 divide b?
True
Suppose 0 = -2*n - 3*d + 15, 2*d - 3*d + 5 = -2*n. Suppose 3*a - 9 = -n*a. Suppose 0 = -a*i - 3*o + 306, -4*i - 2*o + 407 = o. Is 6 a factor of i?
False
Is 3 a factor of ((-8260)/224 - -37) + (-48750)/(-16)?
False
Let x be 84796/10 + (-18)/(-45). Is x/24 + (-4)/12 + 1 a multiple of 59?
True
Suppose 0 = u - 3*g - 71, 0 = 2*u + g - 37 - 70. Let d(x) = x**3 + 13*x**2 - 11*x - 2. Let v be d(-14). Let j = v + u. Is j a multiple of 2?
True
Suppose 0 = 18*k - 17*k, -2*p + 4*k = -29786. Is p a multiple of 9?
False
Suppose 5*u + 1 = 1. Let t be (1 - 4) + (4 - u). Is (1 + 0)/(t*2/142) a multiple of 23?
False
Let n(d) = -8*d - 50. Let t be n(-9). Suppose 3*f + 5*m - 62 = 0, -3*m + t = f - 0*m. Is f a multiple of 6?
False
Suppose 161363 = 23*z - 126275. Is 37 a factor of z?
True
Let i(r) = r**2 - 9*r - 80. Let n be i(-6). Let x(w) = w**3 - 42*w + 20. Is 40 a factor of x(n)?
True
Let c(h) = 3*h**3 + 39*h**2 - 2*h + 6475. Is 25 a factor of c(0)?
True
Suppose -8 = -z - 5. Suppose z*s - 80 = 8*s. Let x = s + 34. Is 10 a factor of x?
False
Let j be (2016/30)/(-14)*20/6. Let i = -73 - -114. Let p = j + i. Is 7 a factor of p?
False
Let j = 16646 - 1075. Is 15 a factor of j?
False
Let y(r) = -24*r**3 + 9*r**2 + 9*r + 35. Does 192 divide y(-11)?
False
Let g(o) = -2*o**2 - 9*o + 8. Let f be g(-6). Does 35 divide 976/14 - (-5)/((-175)/f)?
True
Let m(b) = -6*b**2. Let t be m(-1). Suppose q = 5*j - 2*q + 15, -3*j - 3*q = 33. Does 14 divide (-2 - t)/(j/(-33))?
False
Let s(a) = -2*a**2 - 49*a + 30. Let y be s(-25). Suppose 3*t = 3*v + 1131, -4*t + 7*t = -y*v + 1099. Is t a multiple of 23?
False
Does 141 divide (2559/(-6))/((-70)/700)?
False
Suppose -3*v - 79*o + 12200 = -77*o, -3*v = -3*o - 12195. Is v a multiple of 19?
True
Suppose m = 55 - 53. Let f be (-10013)/85 - m/10. Let h = f + 300. Is h a multiple of 13?
True
Suppose 3*j - 74 = -200. Is (j/(-105))/((-2)/(-130)) a multiple of 13?
True
Let k(r) = 8*r + 125. Suppose 0 = -0*a + 4*a + 3*t + 47, -51 = 5*a - 4*t. Is k(a) a multiple of 3?
False
Let i = -608 - -604. Is 13 a factor of i/((-16)/1596) + 4?
True
Suppose -2*w + 5338 = 4*o, 2*w - 5*o + 10685 = 6*w. Is 25 a factor of w?
True
Let j = -82 - -133. Suppose -3*v + 2*z - j = 0, 5*v + 2*z + 2*z = -63. Is ((-2)/(-12) + (-5)/v)*34 a multiple of 13?
False
Let j(d) = d**3 + 7*d**2 + 5*d - 2. Let c be j(-6). Suppose -c*y + 4*b = 8 + 56, 0 = y + 4*b - 9. Let u = y + 37. Is u a multiple of 13?
True
Let s = 92 - 55. Suppose 2*t - s = -47. Is ((-4)/(-5))/(t - (-1385)/275) a multiple of 10?
False
Let l(f) = -2*f**3 + 65*f**2 - 42*f + 87. Does 39 divide l(31)?
False
Let b = -501 + 1129. Suppose 2720 = 12*r - b. Is 39 a factor of r?
False
Let d(c) be the first derivative of c**4/4 - 19*c**3/3 + 12*c**2 - 11*c + 47. Does 3 divide d(18)?
False
Let b be 45/135 - 2/6. Suppose b = 5*w - 20, 5*t + 46*w = 48*w + 717. Does 12 divide t?
False
Suppose 11*f + 9 = 14*f. Suppose f*m - 137 = -5*j, -5*m - 3*j + 51 = -4*m. Is m a multiple of 13?
True
Let f(o) = o**3 - 14*o**2 - 3*o + 33. Let h be f(14). Let z = 335 - h. Is 43 a factor of z?
True
Suppose 10 = -4*u + 14. Does 41 divide (u + -2)*(-45 - (1 - 5))?
True
Suppose 0*l + 2*l = -5*o + 119, o - 34 = 3*l. Suppose 0 = j - a - 267, -2*a = -7*a + o. Suppose 6*m - j = -80. Is 4 a factor of m?
True
Let o(y) = -366 + 13*y + 188 - 2*y**3 + 190 + y**2. Is 50 a factor of o(-5)?
False
Suppose -13*n - 152210 = -34*n + 40066. Is n a multiple of 2?
True
Let w(r) = 2*r**2 + 2. Let y(v) = v + 1. Let q(n) = 2*w(n) + 6*y(n). Suppose 5*z + 35 = -3*g, -2*z - 5*g = 42 - 9. Is q(z) a multiple of 14?
False
Let q be -8 + 8414/7 - -5. Let t = q - 337. Is 34 a factor of t?
False
Let c = 1699 + -1700. Let p(k) = -303*k**2 - k - 3. Let x(f) = -101*f**2 - 1. Let o(h) = -3*p(h) + 8*x(h). Does 15 divide o(c)?
False
Suppose -30528 = -4*o - 5*a, -4*a + 7*a + 7632 = o. Is o a multiple of 189?
False
Let b be (9/(441/(-28)))/((-10)/245). Suppose 7903 = b*g - 3381. Is g a multiple of 13?
True
Suppose -15*a = 70210 + 18725. Is 1/(-5 + 3) - a/14 a multiple of 47?
True
Suppose 51262 = 60*r + 11*r. Is r a multiple of 53?
False
Suppose 247 + 4303 = -13*s. Let b = s - -621. Is 16 a factor of b?
False
Let x = 8267 + -6278. Does 39 divide x?
True
Let w be -2 - (-3)/(-3) - -3. Suppose -5*m + 2*b = -781, w = -5*m + 3*b + 881 - 97. Is m a multiple of 7?
False
Let s = -3035 + 5174. Does 23 divide s?
True
Let y = -1677 - -4215. Is 27 a factor of y?
True
Let i = 12963 - 10705. Is 7 a factor of i?
False
Let r(b) = -224*b**3 + 11*b**2 + 5*b - 34. Is 56 a factor of r(-2)?
True
Let t(p) = -6*p - 3. Let i be t(-1). Let z(f) = 1 - 4*f**2 + 3*f**2 - i*f + 0*f**2 - 65*f**3 + 4*f. Is 14 a factor of z(-1)?
False
Suppose -32927 + 106011 = 22*w. Does 40 divide w?
False
Let y = 6244 - 2441. Does 12 divide y?
False
Let u(g) = 725 - 2*g**2 - 711 + 12*g + 5*g**2 - 18*g - 2*g**2. Suppose -69 + 21 = -4*p. Does 8 divide u(p)?
False
Suppose 7*i + 49 = -1253. Let g = i - -260. Is (3 - g/(-4))/(1/2) a multiple of 13?
False
Suppose 0 = 3*b, -3*l - 22 - 20 = 4*b. Does 14 divide (-24)/l*(-3087)/(-9)?
True
Let x = -271 - -273. Let p be -1*4/(16/(-20)). Suppose -u = 2*o - 73, p*o + 27 = x. Is u a multiple of 22?
False
Suppose 0 = 2*p - x + 278, 3*p + p + 4*x = -568. Let