x?
True
Suppose 2*w - 3*o - o = -8, 5 = -w + o. Let m be 1059*(-2)/w + 3. Suppose 4*t = m + 316. Is 14 a factor of t?
True
Let l(k) = -5*k**2 - 4*k + 108. Let m(t) = 27*t**2 + 19*t - 540. Let d(y) = 11*l(y) + 2*m(y). Is 2 a factor of d(7)?
False
Let u(f) = 37*f - 46. Let j(q) = 38*q - 47. Let m(t) = -6*j(t) + 7*u(t). Suppose -6*d + 4*d = -0*d - 8. Does 19 divide m(d)?
False
Suppose -61*b + 59*b = -420. Suppose -3*j - k - 4*k = 361, 0 = -j - 4*k - 118. Let h = j + b. Is h a multiple of 8?
True
Let z = 26735 + -16071. Is 31 a factor of z?
True
Let t(p) = p**2 + 17*p + 32. Let y be t(-15). Suppose -3*h + 6 = 0, 0 = y*v - 16*h + 11*h - 22. Is 7 a factor of v?
False
Let x(d) = 22*d**2 - d - 1. Suppose -5*r + 6 = j - 8, -2*j + 4 = -2*r. Suppose -r*m = 4*v - 24, 0 = 5*m - m + v - 13. Does 10 divide x(m)?
False
Suppose -7*x + 3 = -3*u - 5*x, 2*u + 9 = -x. Is 5 a factor of u/(-1)*(-4 + 228/18)?
False
Let b(p) = 290*p - 35. Let i be b(6). Suppose 2*f + 1263 - 133 = 2*l, -5*f = -3*l + i. Does 59 divide l?
False
Let x = 81 + 367. Is 32 a factor of (-9)/(2/7 + (-170)/x)?
True
Suppose 978*n - 1002*n = -108984. Does 16 divide n?
False
Suppose 3*n - 5216 = 13*n - 18216. Is 13 a factor of n?
True
Let p = 83 + -83. Suppose w + 4*v - 267 = v, p = -5*w - 2*v + 1270. Is w a multiple of 41?
False
Let f = 11312 - 10613. Is 15 a factor of f?
False
Suppose -2*q = -5*h - 51, -175*q + 179*q = 12. Is 2/h + 10629/81 + 1 a multiple of 12?
True
Suppose -5*d - 1470 = -3*g, g + d = -3*g + 1914. Does 12 divide g?
True
Let r(h) = -h**2 - 6*h + 3. Let c be r(-6). Suppose 0*f - 168 = c*f. Let i = -29 - f. Is i a multiple of 9?
True
Let r be 6/39 - 3*(-74)/78. Suppose -5*j + 4*y + 408 = -j, 408 = 4*j + r*y. Is j a multiple of 10?
False
Let v = 19128 - 8601. Suppose 0 = 20*x + 13*x - v. Does 9 divide x?
False
Let y(d) be the third derivative of 11*d**5/60 - 3*d**4/8 + d**3 - d**2. Suppose 30*f - 307 + 217 = 0. Is y(f) a multiple of 26?
True
Suppose q - 5*n + 20 = 0, 2*n + n - 30 = -3*q. Suppose -q*k = -14*k + 819. Is 7 a factor of k?
True
Let x(l) be the first derivative of l**5/20 + 5*l**4/4 + 11*l**3/3 + 3*l**2/2 + 34*l - 39. Let q(z) be the first derivative of x(z). Does 35 divide q(-11)?
True
Let o = 381 - 429. Let v(b) = -b**3 - 47*b**2 + 51*b + 204. Is 8 a factor of v(o)?
False
Suppose -5*j - 5*k + 280 = 0, -k = 4*j - 31 - 193. Let p = -53 + j. Does 21 divide (p - 44/16) + (-503)/(-4)?
True
Let t(s) = -s**2 + 11*s + 23. Let o be 260/(-91)*7/(-2). Is t(o) a multiple of 7?
False
Suppose 14987 = 34*b - 14797. Does 9 divide 3/4*(b + 0)?
True
Let h(u) = -u**3 - 10*u**2 - 8*u + 6. Let x be h(-6). Let q = x + 83. Let n(t) = -9*t + 5. Does 34 divide n(q)?
True
Suppose 2*x = 3*z + 1165, -x + 1555 = -4*z + 2*x. Let j = 801 + z. Does 26 divide j?
True
Let q(d) = -d**3 - 39*d**2 - 332*d - 26. Is q(-28) a multiple of 38?
True
Let x = 192 + 144. Suppose 5*w + 1092 = 4*l - 177, 5*w = -l + x. Suppose 5*h = -4*s + l, -s + 3*h + h = -96. Does 12 divide s?
True
Let w = 6103 - 6104. Let v(x) = 20*x**3 + 3*x**2 - x - 4. Let f(l) = -81*l**3 - 12*l**2 + 3*l + 15. Let m(j) = 4*f(j) + 15*v(j). Is m(w) a multiple of 12?
True
Suppose -o = 5*k + 2 + 1, -2*o - 6 = -5*k. Let r be -3 - (k + -1) - -1. Let a(j) = -63*j**3 + 2*j + 1. Is a(r) a multiple of 10?
False
Let p = 5863 + -2326. Suppose -24*g = -p - 3375. Is 60 a factor of g?
False
Let u = 11446 + -6313. Does 59 divide u?
True
Let w(t) = -t**2 + 180*t + 601. Is 156 a factor of w(53)?
True
Suppose -12*i = -7*i - 100. Suppose -m = b - 24, 2*m - 4*m + i = -5*b. Is m even?
True
Suppose -9*r = -3*r - 432. Suppose 70*p - r*p = -810. Does 15 divide p?
True
Suppose -100*o + 9430 = 5273 - 40043. Is 64 a factor of o?
False
Let w(h) be the second derivative of -h**4/24 + 22*h**3/3 - h**2/2 - 4*h. Let i(z) be the first derivative of w(z). Does 6 divide i(19)?
False
Suppose -520 = 5*j + 2*k - 13464, 0 = 5*j + 5*k - 12935. Is j a multiple of 6?
False
Let s = 527 + -359. Let w = -49 + s. Is w a multiple of 13?
False
Suppose -3780 = 4*m - 2*b, -2*m = -9*b + 6*b + 1898. Let s = 1226 + m. Does 6 divide s?
False
Let i = 18925 + -17945. Is i a multiple of 11?
False
Let z = -883 - -1549. Let p = z + -248. Does 65 divide p?
False
Let v(u) = -u**3 + 5*u**2 - 8*u + 6. Let h be v(3). Suppose h = -22*t + 34*t - 4908. Is 33 a factor of t?
False
Let c(v) = 687*v**2 + 8. Let d be c(3). Suppose 0 = 12*t - d + 11. Is 19 a factor of t?
False
Suppose -26*o + 8306 - 1182 = 0. Let u = o + -84. Is 5 a factor of u?
True
Let x(s) = -8*s - 20*s**2 - 237 + 27*s**2 - 6*s**2. Is 44 a factor of x(-29)?
True
Suppose 2 = -4*g + 5*w - 3, -3*g + 2*w - 2 = 0. Suppose -8*k + 5*k = 0, 4*q + k - 4068 = g. Is q a multiple of 9?
True
Does 6 divide -9*1156/20*(-94 + 89)?
False
Suppose -3*b - b = -1968. Suppose -18*n - 101*n + 476 = 0. Suppose r - 326 - 931 = -5*i, -2*i = n*r - b. Is 12 a factor of i?
True
Let a be (112/(-10))/((-40)/700). Suppose 4*z - a = 9*j - 4*j, -4*z = j - 172. Suppose -z = -6*u + 124. Is 12 a factor of u?
False
Suppose 2*q + 3*q = 10. Suppose 0 = 8*k - q*k - 900. Let u = 249 - k. Is 13 a factor of u?
False
Suppose -4*t = 4*g + 220, -4*t = 5*g - 61 + 282. Let k be 141/27 + 12/t. Suppose 3*u + k*r = 140, 3*u = -4*r - 16 + 158. Is u a multiple of 10?
True
Suppose -2*v - 14 = -18. Suppose 3*r + 7 = -v, -193 = -i - r. Is i a multiple of 28?
True
Let x = -720 - -1066. Is 29 a factor of x?
False
Suppose -4*k - 3*z = -20 - 61, -110 = -5*k + 5*z. Let t be 56/6 + (-7)/k. Is t*(-1)/(-3 - (-15)/6) a multiple of 2?
True
Suppose 5*q + 2*b + 10 = -0*q, -4*q - b - 11 = 0. Let u(h) = 5*h**2 + 5. Is 17 a factor of u(q)?
True
Let a be 6 + (-12 - (-11 + 3)). Suppose -1643 = -a*k + 579. Is k a multiple of 11?
True
Let s(t) = t**3 - 4*t**2 + 2*t + 4. Let v be s(3). Let x be 39*(-8)/6*6/8. Let n = v - x. Does 20 divide n?
True
Suppose 5*y - 7053 = -3*o - 331, 0 = -2*y + 4*o + 2668. Let c = y + -2570. Does 50 divide (c/12 - 3)/(8/(-12))?
False
Let k(o) = -5*o**3 + 31*o**2 + 287*o - 9. Is 48 a factor of k(-15)?
True
Let f = 217 + -82. Let o = f - 132. Suppose -4*b = 2*c - 136, 5*c - 182 = -o*b + 151. Is 33 a factor of c?
True
Suppose -8 = -4*n + 8. Suppose r = n*z + 4, -r - 24 = 2*z + 4*r. Is 11 a factor of (-6 - -4)/z*16*2?
False
Let t(p) = 4*p**3 - 13*p**2 + 7*p - 18. Let a be t(6). Suppose -12*r = -9*r - a. Is r a multiple of 28?
True
Is 652*(291/60 + 27/(-45)) a multiple of 8?
False
Suppose -4*m + 18 = -5*b - 22, -2*m - 32 = 4*b. Let a(i) = i**2 + 8*i - 10. Let v be a(b). Does 9 divide (52/v + -2)/(7/(-35))?
True
Suppose 5*w - 4*b - 5099 = 0, -11*w = -8*w - b - 3051. Is 35 a factor of w?
True
Let v be (-168)/(-10) - (1/(-5))/1. Let p(w) = w**2 - 3*w + 5. Let l be p(3). Let i = v - l. Is i a multiple of 6?
True
Is 27 a factor of (-18)/(2/(-315)*7)?
True
Let v(o) = o**2 + o - 2. Let w be v(1). Suppose w = 4*s - t + 6*t + 9, 3*t - 9 = 0. Does 31 divide (2*62/(-8))/(1/s)?
True
Let n(w) = 20*w - 38. Let b be n(25). Suppose 2862 - b = 8*i. Is ((-5 + 2)/3)/((-3)/i) a multiple of 25?
True
Let s be (-4)/34*-1 - 10816/1768. Does 10 divide ((s - 186/(-21)) + -2)*63?
False
Let p = -21 + 24. Let h = p + -6. Does 18 divide 697*(-2)/(-6) - (-4)/h?
False
Let g(b) = -27*b - 975. Is 10 a factor of g(-65)?
True
Suppose 14*v = -10 + 38. Suppose v*b = 207 + 17. Is b a multiple of 8?
True
Let o be (-58)/(-261) + (-3668)/(-18). Let r = o + -115. Does 8 divide r?
False
Let b = 69280 + -46271. Does 173 divide b?
True
Let n = 69 - 63. Let y be -213 + (-12)/(-36) + (-8)/n. Let v = y - -307. Is v a multiple of 17?
False
Is 4745/130*(-2 + 84) a multiple of 107?
False
Let o be (5 - (-287)/(-56))*24/(-1). Suppose -x = x - 4. Suppose -725 = -x*k - o*k - 2*r, 2*k = r + 290. Is 37 a factor of k?
False
Let n(w) = 5*w**2 + 100*w - 83. Is 69 a factor of n(-68)?
False
Let g(r) = 38*r**2 + 15*r - 4. Let h be g(-4). Suppose 0 = -a + 4*j + 103, -4*a - 4*j - 72 + h = 0. Is 73 a factor of a?
False
Let s be (-47)/(-7) - 2/(-7). Suppose 0 = -u + 3*j + 2*j + 6, 96 = 4*u + 4*j. Let r = u - s. Is 3 a factor of r?
False
Suppose -17*z - 3 - 45 + 269 = 0. Let b = -50 - -79. Suppose -b = -g + z. Is g a multiple of 14?
True
Let x = 182 + -128. Let o(g) = 7*g - 4. Let s be o(-5). Let u = x + s. Is u a multiple of 15?
True
Suppose 279423 = 321*r + 72*