= -2*x - 0*x + 1024. Suppose -4*s + 2*j - x = -j, -s - 141 = -4*j. Let a = -111 - s. Does 7 divide a?
True
Let y(v) be the first derivative of v**4/4 + 28*v**3/3 - 13*v**2 + 42*v - 21. Does 55 divide y(-28)?
True
Let j = 697 - 685. Does 78 divide -1170*((-18)/(-24) - 21/j)?
True
Let i = 84 - 87. Is (1984/6)/(-4)*i/2 a multiple of 62?
True
Let v(x) = 6*x + 142. Let m = -34 - -22. Is 10 a factor of v(m)?
True
Suppose 8*f + 102 = 11*f. Suppose -877 = 3*m - f. Let q = m - -463. Is q a multiple of 13?
True
Let s = 5703 + -3366. Does 2 divide s?
False
Suppose 0 = -21*y + 19*y + 60. Suppose -2*r = -8*r + y. Suppose -85 = -2*x - r. Is x a multiple of 10?
True
Let u be (-6)/(-27) + 61/9. Is (u/(-14))/(446/448 - 1) a multiple of 8?
True
Let c = 70 + -68. Suppose c*o = 3*r + 361, -4*r + o - 4*o - 453 = 0. Let l = 132 + r. Is 15 a factor of l?
True
Suppose 5*g = u + 76950, -13*g + 61560 = -9*g - 2*u. Is g a multiple of 81?
True
Let m = 10075 - 9034. Does 11 divide m?
False
Suppose 6*k + 158 - 170 = 0. Is 14 a factor of (-12)/18 - (-632)/6*k?
True
Let h = -19 + 22. Let t(z) = -z**3 + 3*z**2 - 3. Let y be t(h). Is 30 a factor of (-7 + 1 - (0 + y)) + 173?
False
Let n = 18636 - 12736. Does 118 divide n?
True
Let u = -373 + 657. Suppose 5*p + b = 6*b + 1420, p - 3*b - u = 0. Is 64 a factor of p?
False
Let a = 199 - 98. Let h = 173 - a. Is h a multiple of 47?
False
Let p(c) = 5*c**3 - 11*c**2 - 44*c - 1. Does 43 divide p(5)?
True
Let j(w) = w - 46. Let s be j(44). Suppose 0*l + 2*l = -90. Is 13 a factor of (-100)/l + s - (-1600)/9?
False
Let c(r) = 46*r - 138. Let y be c(3). Suppose 7*b - 38*b + 10292 = y. Does 4 divide b?
True
Suppose 616*f - 623*f + 99211 = 0. Is f a multiple of 31?
False
Suppose -5*z + 1 = -k, 8*z - 6*z - k + 2 = 0. Is z*(-7)/28*-1084 a multiple of 30?
False
Let t(l) = 101*l + 1328. Is t(-5) a multiple of 6?
False
Let f = 8476 + -2789. Is 82 a factor of f?
False
Suppose 0 = 219*u - 224*u + 4*m + 27168, 4*u + 5*m - 21718 = 0. Is u a multiple of 97?
True
Let a(p) = -162*p**3 + 3*p**2 + 8*p + 31. Is a(-2) a multiple of 9?
True
Let r be (-1062)/(-5) - (-14)/(-35) - (-3 + -2). Let h(i) = -3*i - 2. Let l be h(-3). Suppose 3*n = l*n + 5*u - 437, -3*u + r = 2*n. Does 14 divide n?
False
Let b = 66 + -45. Suppose 10*p = 3*p + b. Suppose 5*k = -2*w + 30, p*w - 2*k = w + 58. Does 11 divide w?
False
Suppose -61564 - 110656 = -4*w. Is 44 a factor of (-4)/2*w/(-79)?
False
Suppose 0 = 3*d - 5 - 4, 3 = s + d. Let r be -4*4*-32*(1 - s). Suppose 3*h - r = -h. Does 8 divide h?
True
Let q be -6 + 10 + -32*2. Suppose -21*u + 384 = -17*u. Let l = q + u. Is l a multiple of 19?
False
Let x(g) = 16*g**2 + 47*g - 62. Let z(r) = -9*r**2 - 24*r + 31. Let v(n) = 3*x(n) + 5*z(n). Does 9 divide v(-10)?
False
Suppose -7*i - 182592 = -23*i + 118752. Is i a multiple of 219?
True
Let s(o) = o**3 + 22*o**2 - 20. Let g be s(-22). Is ((-5)/g)/(3/3516) a multiple of 47?
False
Suppose -b = -0*a + 5*a + 18, -18 = -4*b - 2*a. Let z be 16/6*(b + -4)*-1. Does 9 divide (((-1200)/(-35))/z)/((-1)/7)?
False
Let y = 9 + 0. Let z(k) = 2*k**2 - 16*k - 13. Let t be z(y). Does 46 divide 47 - ((-4 - 0) + t)?
True
Let m(r) = -3*r**2 - 18*r + 13. Let x be m(-7). Is 17 a factor of (-13959)/(-12) - (6/x + 1)?
False
Let p(u) = -2*u + 32. Let g be p(15). Let z be 0 + -1 + 10*g/5. Suppose 5*j + 5 + 2 = z*n, -5*n = 3*j - 57. Is 9 a factor of n?
True
Suppose 3*w - 60 + 69 = 0. Let o be (10/(-25))/((-3)/(-30)). Is 11 a factor of (w + (-51)/3)/(o/22)?
True
Let q be (-2 - 9/(-6))*-28. Let v be (-6)/21 - (184/q)/(-4). Suppose -4*o + 80 + 84 = z, -4*z = v*o - 136. Does 9 divide o?
False
Suppose 10*m - 283 = 147. Suppose 0 = m*s - 46*s + 963. Is s a multiple of 49?
False
Is 37 a factor of (1 - (1 + 2))*(-3)/((-18)/(-23865))?
True
Suppose 2*x + 5*h = 1522 + 569, 2098 = 2*x - 2*h. Suppose 2*b = -5*i - x, 2*i - b = 6*i + 839. Does 6 divide i/(-4) - (5/2 - 3)?
False
Suppose -2*w + 24 = -6. Let b(v) = 2*v**3 + 21*v**2 - 3*v + 7. Let p(j) = -j**3 - 2*j**2 + j + 1. Let t(d) = b(d) + 3*p(d). Does 5 divide t(w)?
True
Suppose -5*i - 118121 = -4*d, -4*i = 219*d - 220*d + 29511. Is 109 a factor of d?
True
Suppose 4*m - 325 = 2*q - 95, -5*q + 97 = 2*m. Suppose -t + 31 = j - 2*t, -2*j + m = -5*t. Is 2 a factor of j?
False
Let n = 1035 + -453. Suppose -5*z + n = 117. Does 25 divide z?
False
Let a be -24*(-7)/70*10/3. Does 3 divide 60/a - -7 - (-1)/2?
True
Suppose -4*r = w - 27, w + 8 = -2*r + 19. Suppose -p = -5 - r. Suppose p*m - 821 = 635. Does 28 divide m?
True
Let n = 289 - 176. Let s = n - 41. Does 18 divide s?
True
Let f be -4 + (-5)/5 - -197. Suppose 190 = f*h - 191*h. Is 20 a factor of h?
False
Let a = 101266 - 67651. Is 37 a factor of a?
False
Let m(p) = -p**3 - 19*p**2 + 26*p + 24. Let x = 49 - 56. Let c(d) = -2*d**3 - 29*d**2 + 39*d + 36. Let a(r) = x*m(r) + 5*c(r). Does 25 divide a(-6)?
True
Let m be ((-2)/(-2))/((-38)/8 - -5). Suppose 2 = 3*v - 4*v + 2*q, -22 = -m*v + 2*q. Suppose 0 = v*k + 3*k - 176. Does 8 divide k?
True
Let r = 115 + -113. Does 3 divide 536/18 + r + 4/18?
False
Suppose -5*q + 7 + 3 = 0, 2*c - 4*q = -2. Suppose -9*t + 102 = -c*t. Is t a multiple of 5?
False
Let v(a) = -3*a**2 + a + 7. Let f be v(-2). Does 5 divide (35/(-4))/((-5)/(f - -127))?
True
Let v = 65 - 60. Suppose -v = 5*d + 4*i - 17, -4*d + 15 = 5*i. Suppose d = 5*j + 108 - 563. Is 14 a factor of j?
False
Suppose -17*d + 7*d + 660 = 0. Let k be -13 + 10 - 14/(-4)*d. Let f = -122 + k. Is 10 a factor of f?
False
Let b be (3 - 2/1) + 6. Is (-7 - (-7 - -2)) + b a multiple of 3?
False
Suppose 3*z - 3563 = 2725. Suppose 13*r + 3*r - z = 0. Is 2 a factor of r?
False
Let y = -466 - -277. Let a = y + 208. Is a a multiple of 2?
False
Let j = -45 + 43. Is 3 + 477/3 + j a multiple of 10?
True
Let h be 1 + (-10)/14 - 1672/(-28). Let g be 2/((11/h)/11). Suppose -7*f = -3*f - g. Does 7 divide f?
False
Let l(k) be the third derivative of k**6/120 + 3*k**5/20 + 13*k**4/24 - 2*k**3 - 5*k**2. Suppose -4*c = -c + 18. Does 3 divide l(c)?
True
Suppose 0 = -2*n, 0 = -4*i - 0*i - 2*n + 12. Suppose 7*q - 3 = 10*q, 2*m = i*q + 1407. Does 5 divide m?
False
Suppose 0*c - 12 = 2*c. Let g be (c - -4) + 1*12. Is g*4/(-16)*-10 a multiple of 5?
True
Suppose 287*m = 279*m. Suppose -5*n - 4*w + 2677 = m, 1 = -4*w - 7. Does 69 divide n?
False
Let s be ((-14)/3)/(-2)*(-141)/47. Let r(l) = -l**3 + 4*l**2 + 11*l - 14. Is r(s) a multiple of 15?
False
Let a = -1547 + 2257. Does 9 divide a?
False
Suppose i + n - 4 + 35 = 0, 3 = -n. Is ((-11694)/(-14) - -2) + i/98 a multiple of 27?
True
Let f(t) = t**3 - 20*t**2 - 16*t + 26. Let j be f(20). Let p = 413 + j. Is p a multiple of 6?
False
Let l(f) = -f**3 - 25*f**2 - 24*f - 34. Let g be l(-24). Let x = g - -228. Is 13 a factor of x?
False
Let g = 78 + -355. Let y = -225 - g. Is y a multiple of 4?
True
Let c = -2021 + 2921. Let o = c - 181. Is 66 a factor of o?
False
Let m(q) = 2569*q**2 + 445*q + 6. Is m(-4) a multiple of 151?
False
Suppose 2*x + 12 = 3*p, 8*p - 3*x = 10*p - 8. Suppose -2*v + g - p*g = 429, 0 = v + 5*g + 197. Does 18 divide (-3)/2 + v/(-4)?
True
Suppose 2*y - 5430 - 91334 = -4*n, 5*n - y - 120976 = 0. Does 80 divide n?
False
Let v = 45 + -65. Let x = -50 + v. Does 12 divide 155*(x/(-25) + -2)?
False
Suppose 3*z - 5*g - 23 = 17, 0 = -z - g. Let f(t) = 3*t**2 + 7*t - 19. Let p be f(z). Let x = p - 24. Is 23 a factor of x?
False
Suppose v + 32*o - 45226 = 26*o, 4*v + 4*o - 181064 = 0. Does 11 divide v?
False
Let g(x) = 2*x**3 + 8*x**2 + 4*x - 1. Let n be g(-3). Suppose 2*b = n*u + 98, 0 = -6*u + u + 10. Let p = b - 23. Is 28 a factor of p?
False
Let s = -2481 - -2726. Is 25 a factor of s?
False
Suppose 0 = -3*l + w + 963, -2*l + 277*w = 281*w - 628. Is l a multiple of 40?
True
Let n(m) = -m**2 - 5*m + 8. Let f be n(-5). Suppose -f*q + 10*q - 578 = 0. Suppose -2*i + 53 = h, 0*h + q = 5*h - 2*i. Does 19 divide h?
True
Let c(x) = -3*x**3 - 5*x**2 + 2*x - 6. Let y(u) = u**3 - u**2 - u + 1. Let v(p) = -c(p) - 2*y(p). Let z be v(-7). Suppose 99 + 69 = z*m. Is 9 a factor of m?
False
Let m(l) = l**2 + 22*l - 43. Let f be m(14). Suppose f = 3*y + 4*j, -y + 730 = 4*y - j. Is 7 a factor of y?
True
Let a be (3*2/4)/(10/20). Suppose 2*k + a*m = 354, -2*m = -3*k - m + 509. Is 9 a factor of k?
True
Suppose -4*v + 26004 = 4*h, 