 - 1803 = 0, -8*f = -4*f + 4*q + 3596. Let h = f + 1128. Is 26 a factor of h?
True
Does 10 divide -1 + (7868 - (-84)/(-6))?
False
Let z = -342 - -638. Let b = -50 + z. Is 13 a factor of b?
False
Suppose 3*v - h + 4*h = -276, v = h - 98. Let y = v + 112. Suppose 2*w - 3*m - 24 = 0, -4*w + 31 = 3*m - y. Is 6 a factor of w?
True
Is (-34928)/(-28) - 174/406 a multiple of 23?
False
Let b(s) = s - 12. Let q be b(17). Suppose -3*w - 3106 = -q*f, 4 = -15*w + 13*w. Is 20 a factor of f?
True
Is (8264/6)/(772/579) a multiple of 10?
False
Let f be 12/9*(-9)/(-6). Suppose 0 = -2*a - c - 13, -a + 16 = -f*c - 2*c. Does 7 divide 48/a*(-30)/9?
False
Suppose -2*z - 3*z = 2*p - 56, z + 86 = 5*p. Let x be (-24)/(-72)*1/(1/p). Is 958/x + (-1)/(-3) a multiple of 40?
True
Suppose -6*q + b = -q - 24393, 3*b = -2*q + 9747. Suppose -7*s = 11*s - q. Is 6 a factor of s?
False
Let z(u) = -u**2 - 3*u + 14 + 18*u + 0*u**2. Let s be 2 + (-75)/50*52/(-6). Is 14 a factor of z(s)?
True
Let v(g) be the second derivative of -g**4/12 - 4*g**3/3 + 10*g**2 - 5*g. Let m be v(-10). Let f(k) = k**3 - k**2 - 2*k + 86. Is f(m) a multiple of 43?
True
Suppose 2*a + 16 = 4*a. Let u be (-35)/14*a/(-5). Suppose -102 = -7*h + u*h. Is 3 a factor of h?
False
Let d(n) = -5852*n - 14953. Is d(-8) a multiple of 39?
True
Let t(g) = g**3 - 27*g**2 + 31*g + 65. Is t(26) a multiple of 13?
True
Suppose -6*o + 13591 + 5195 = 0. Is 101 a factor of o?
True
Suppose 0 = x + 4*u - 2, -5*x = 3*u - 10. Let y be (4 - (-1 + 11/x))*-718. Suppose 51 = -4*c + 4*b + y, 2*c - 4*b = 152. Is c a multiple of 7?
False
Suppose 5*p - 37 = 6*p. Does 13 divide (((-2236)/3)/4)/(p/111)?
True
Suppose -17*r + 6*r + 165 = 0. Suppose -1700 = -r*p + 625. Is p a multiple of 28?
False
Suppose 7*s - 77 = -4*k, -4*k + 9*k - s = 145. Suppose -2860 = -k*r - 340. Does 18 divide r?
True
Let q = 1975 + -1255. Is 24 a factor of q?
True
Suppose 5*l = 30, -p + 5*l = -1427 + 441. Is 4 a factor of p?
True
Let z be (-2 + 22/6)/(18/54). Suppose w - u = 4*w - 2460, -2*w + z*u + 1623 = 0. Is w a multiple of 12?
False
Let i(t) = 12*t**2 - 42*t - 996. Does 41 divide i(29)?
False
Suppose 24 = 5*z - 8*z. Let h(s) = s**3 + 9*s**2 - 11*s + 1. Let o be h(z). Let u = -52 + o. Is u a multiple of 41?
False
Suppose 43*m - 16574 + 1567 = 0. Is m a multiple of 3?
False
Let c(p) be the third derivative of 0*p + 2/3*p**3 + 17*p**2 - 1/24*p**4 + 0 - 1/30*p**5 + 1/120*p**6. Is c(5) a multiple of 37?
True
Let c = -6 + 18. Suppose 123 = c*x - 2637. Is x a multiple of 23?
True
Suppose -18*a + 32806 = -75905 - 9315. Is a a multiple of 57?
False
Let c be ((9 - 6)/(-3))/((-3)/831). Suppose -4*w + 372 = 2*y, -c = -12*w + 9*w - 2*y. Does 3 divide w?
False
Let n = -2836 + 2836. Let y(b) = b - 90. Let w(h) = -30. Let z(t) = -7*w(t) + 2*y(t). Is 10 a factor of z(n)?
True
Suppose -5*d + 10705 = -5*l, -d = -3*l + 5*l - 2138. Suppose 7*y - 9*y = -8, -5*o + 5*y = -d. Is o a multiple of 24?
True
Suppose -8*m - 38 - 2 = 0. Let g(i) = -21*i + 36. Let z(w) = -32*w + 54. Let q(y) = m*z(y) + 7*g(y). Does 33 divide q(9)?
True
Let q = -14409 - -15014. Does 47 divide q?
False
Suppose 2*a = k + 743, -2*a + 6*a = 3*k + 1491. Suppose a = 5*d - 431. Does 5 divide d?
True
Let u(l) = -l**3 + 11*l**2 - 2*l + 3. Let k be u(9). Let b = 262 - k. Is 26 a factor of b?
False
Let z(n) = 289*n**2 + 12*n + 67. Does 32 divide z(-5)?
True
Let o(r) = -13*r + 2. Let z(x) = x**3 + 5*x**2 + 3*x + 12. Suppose 10 = -5*t, 4*l - 2*t + 28 = -6*t. Let y be z(l). Is o(y) a multiple of 16?
False
Let t = -22220 + 71114. Is 214 a factor of t?
False
Let q(t) = -2*t**2 + 72. Let u be q(6). Suppose 0 = -3*w - h + 304, -4*w - 4*h + 3 + 397 = u. Does 8 divide w?
False
Let j = 25375 + -8652. Suppose -j = -15*t - 6643. Does 6 divide t?
True
Suppose 94*o - 102*o = -29792. Is 98 a factor of o?
True
Let c = 7 + -4. Suppose -252*g + 3288 = -244*g. Suppose 0*k + 4*k - 513 = -3*q, -c*k + 3*q = -g. Is k a multiple of 44?
True
Let k be 20/6 - 1 - (-94)/(-282). Suppose -x = k*o - 6*x - 1523, 5*x - 1473 = -2*o. Does 31 divide o?
False
Suppose -352*o + 2454108 = -1014500. Is o a multiple of 2?
True
Let b be (2/(-2) - -2)*(-1 - -1). Suppose b = 8*d - 4*d + 8. Does 4 divide (d/4)/(1 + -2)*72?
True
Suppose l - 560 + 525 = -5*w, 0 = 2*w - 3*l - 14. Is w a multiple of 7?
True
Suppose -3*r + 2133 = -5448. Is 7 a factor of r?
True
Let f(g) = -g - g + 0*g + 35 - g. Let j be f(11). Suppose 234 = 4*y - n - 172, 0 = -n + j. Does 34 divide y?
True
Let b = 99 + -100. Let k(i) = 84*i - 5. Let f(t) = 169*t - 11. Let c(j) = 4*f(j) - 9*k(j). Is c(b) a multiple of 27?
True
Let s be 6/10 + 13699/35. Suppose 14*q - s = 7*q. Is 14 a factor of q?
True
Is 3540/(60/5) + -5 a multiple of 2?
True
Let q(u) be the first derivative of 27 + 25/3*u**3 + 16*u - 17*u**2 + 1/4*u**4. Is 16 a factor of q(-26)?
True
Let s(z) = 168*z**2 - 175*z + 184. Is 223 a factor of s(-14)?
False
Let l be (0 - 1)*-4 + 3 + -6. Does 32 divide l/(-1)*-531 - (5 - 0)?
False
Let k = 332 + -311. Let x be (-27 - -2)/((-2)/18). Suppose 16*l = k*l - x. Does 9 divide l?
True
Let a = -7 + 20. Let v = 258 - 133. Suppose -2*k - a = -v. Does 17 divide k?
False
Does 182 divide ((-5820)/(-1358))/((-2)/(-11186))?
False
Does 144 divide 3783/(((-84)/(-203))/4)?
False
Suppose 5*z + 5*x = 1580, 2*x + 948 = 3*z - x. Is 8 a factor of z?
False
Let o(v) = -v**3 - 10*v**2 + 22*v + 7. Let p be o(-12). Suppose -3790 = -p*k + 26*k. Does 6 divide k?
False
Let h = -29575 - -42525. Is 35 a factor of h?
True
Let d(f) = -146*f + 34. Let p be (-105)/(-70)*(-2)/3. Does 30 divide d(p)?
True
Suppose 6*r = -18*r + 11256. Is 14 a factor of 134/r - (-2742)/7?
True
Let f = -36 - -116. Suppose h - 1 = f. Is h a multiple of 6?
False
Let u(h) = -h**3 - 7*h**2 - 13*h + 44. Let q be u(-14). Suppose 0 = -31*l + 8725 + q. Does 37 divide l?
True
Let h = 18629 + -15078. Is 67 a factor of h?
True
Let x = 1077 - -1503. Does 60 divide x?
True
Let d(j) = 4*j**2 - 286*j + 429. Is d(71) a multiple of 7?
True
Let s = 0 + 19. Let k = s - 16. Suppose k*w - 22 = -4. Is 4 a factor of w?
False
Let r = 41861 - 34586. Does 15 divide r?
True
Suppose -3*h + 6*h = 5*p - 16, 0 = 3*p + 2*h - 2. Is (2555/10 - -1) + (-3)/p a multiple of 13?
False
Let d(r) = 26*r**2 - 8*r - 20. Let i be d(-6). Suppose 5*l + 232 = x, -3*l = -4*x - l + i. Let g = x - 160. Is g a multiple of 6?
False
Let v(z) = -2*z**2 - 46*z - 8. Let p(r) = -r**3 + 20*r**2 + 18*r + 45. Let i be p(21). Is v(i) a multiple of 7?
False
Suppose 4*l + s + 17 + 98 = 0, s + 143 = -5*l. Let q = l + 34. Suppose 0 = 10*j - q*j - 72. Is 18 a factor of j?
True
Suppose -18*h = -1679 - 7231. Is h a multiple of 15?
True
Let m(c) = 3544*c + 2. Let j be m(1). Let n be 2/3 + j/27. Let t = n + -62. Is t a multiple of 17?
False
Suppose 0 = 3*l - l + 100. Suppose 5*d = 2*h + 2, -2*d + 47*h - 49*h = -12. Does 15 divide ((-336)/70)/(d/l)?
True
Let d = -34653 - -50622. Does 88 divide d?
False
Let b be (6 - 12)*2/(-6). Suppose 0 = -b*m + 33 - 19. Suppose 3*l - m*l - 4*z = -312, l - 70 = -5*z. Is 17 a factor of l?
False
Let k(a) be the third derivative of 5*a**4/8 + 5*a**3 + 66*a**2. Does 15 divide k(2)?
True
Let c = 16830 - -11804. Does 40 divide c?
False
Does 6 divide (-666310)/(-69) + 23 + 2*5/(-6)?
True
Suppose -22*g = -17*g + 35. Let o = g - -65. Suppose 4*p - o = 22. Is 9 a factor of p?
False
Suppose -60*c - 54*c + 3940486 = 7*c. Does 19 divide c?
True
Suppose 221*a - 456200 - 298575 = 46*a. Does 27 divide a?
False
Let p(q) = -4*q - 18. Let t be p(-5). Let a(w) = -16*w**2 + 8*w - 2. Let k be a(t). Let l = 94 + k. Is l a multiple of 4?
True
Let t = 48 - 44. Suppose 3*v = 2*o - 6, -12 + 4 = t*o + 4*v. Suppose o*n = -3*n + 186. Is n a multiple of 31?
True
Suppose -u = 5*i - 32, 3 = 2*i - 3. Let w be (u - 13)*(-67)/(-2). Let p = w - 57. Is p a multiple of 7?
True
Suppose -13299 - 23486 = -39*o + 121087. Is o a multiple of 7?
False
Let y(o) = -15*o + 276 + 0*o + 29*o. Is y(0) a multiple of 8?
False
Let g = -185 + 222. Suppose 0 = g*x - 15*x - 9284. Is x a multiple of 6?
False
Let d(f) = f**3 + 24*f**2 - 14*f - 132. Is 15 a factor of d(-21)?
True
Let h = -44 - -71. Suppose 15 = -14*j - h. Does 11 divide (-75 - j)/(-1) + 2?
False
Let j = 420 + 957. Is j a multiple of 10?
False
Let c(b) = 78*b - 572. Is c(44) a multiple 