 - 488. Is p a multiple of 40?
True
Suppose -w = -u - u + 4, -4*w = -8. Suppose -u*q - 84 = 4*q. Let b(d) = -d**3 - 10*d**2 + 12*d - 28. Does 32 divide b(q)?
False
Let m = -171 + 186. Let a = 67 - m. Does 2 divide a?
True
Let q be (5/(-4))/((-2)/176). Let h(o) = 139*o + 779. Let b be h(-6). Let j = b + q. Is j a multiple of 11?
True
Let r(p) = p**3 + 19*p**2 + 17*p - 16. Let v be r(-18). Suppose 4*x - a = 2120, 3*x - 6*x = v*a - 1590. Does 10 divide x?
True
Let b(d) = 68*d + 224. Let y(l) = -33*l - 111. Let w(o) = 2*b(o) + 5*y(o). Is w(-9) a multiple of 9?
False
Let r be ((-54)/3)/((-1)/2*3). Suppose -r*l + 5*l + 1050 = 0. Does 50 divide l?
True
Let b = -10611 + 15164. Is b a multiple of 29?
True
Suppose -19540 = -c + 5*o, -49*o + 51*o - 78270 = -4*c. Does 35 divide c?
True
Suppose 21*r = 13*r + 37440. Is r a multiple of 45?
True
Let i(p) be the first derivative of -4*p - 1 - 1/3*p**3 + 8*p**2. Is i(6) a multiple of 37?
False
Let z = 27 + 23. Let i be -1 + z/12 - (-34)/(-204). Suppose 2*f - 264 = i*l, -f - 390 = -4*f + 3*l. Is f a multiple of 11?
False
Suppose 5*x + 127 = -4*g + 6, -g - 3*x - 39 = 0. Does 2 divide (3/6)/(g/(-3696))?
False
Let g(t) be the first derivative of 10*t**2 + 277*t + 285. Does 2 divide g(-10)?
False
Suppose -66*c + 3328 = -53*c. Is c a multiple of 20?
False
Let r(y) = 848*y**3 + 3*y - 3. Let t be r(1). Let f = t - 369. Is 22 a factor of f?
False
Let k(f) = -12*f - 2. Let l be k(-2). Suppose 3*h + 2 = -l. Does 37 divide 9/12 + -1 - 1186/h?
True
Let q(l) = -l**3 + 6*l**2 - 3*l + 7. Let t(p) = -2*p - 7. Let x be t(-5). Suppose n + a = x*n - 3, 0 = -n - a + 6. Is 5 a factor of q(n)?
True
Suppose -4*w = u - 31341 - 17747, 0 = -3*w. Does 96 divide u?
False
Let a = 30 - 8. Suppose y + 36 = 3*y - 14*y. Let h = a - y. Is h a multiple of 25?
True
Let m be -1*((-214)/(-1) + 1). Let n(h) = 2*h**3 + 79*h**2 + 28*h - 28. Let p be n(-39). Let k = p + m. Does 40 divide k?
False
Let k(n) = 926*n - 4. Let c be k(-1). Let l = 26 - c. Suppose -6*r + l = -226. Is r a multiple of 27?
False
Let v(y) = -2*y**2 - 54*y - 56. Let w be v(-26). Is -1 + 103 + 2*(w + 2) a multiple of 8?
False
Let y = -147 - -209. Suppose -2*p = -352 - y. Does 7 divide p?
False
Suppose 15*h = -h - 1952. Let l = h + 138. Is 8 a factor of l?
True
Let x be ((-256352)/18)/(-8) - 2/9. Suppose l + x = 11*l. Is 45 a factor of l?
False
Let o = 751 - 746. Suppose 0 = 11*b + o*b - 9184. Is 17 a factor of b?
False
Suppose 3*q - 57 = -3*v - 2*v, 0 = 3*v - 2*q - 38. Suppose -21*k = -25*k + v. Suppose 93 = 4*i - k*j, -j + 5 = -0. Does 18 divide i?
False
Let z(u) = 349*u - 1037. Is 96 a factor of z(55)?
False
Let v = -4433 - -4468. Suppose -m = -1 - 1. Suppose -v = -i - 2*o, -2*i = m*i - 3*o - 85. Is 5 a factor of i?
True
Let d(c) = 220*c**2 + 842*c - 5914. Is d(7) a multiple of 20?
True
Let v = 25494 - 12618. Is v a multiple of 12?
True
Let j = 266 + -459. Let y = 105 - j. Is 12 a factor of y?
False
Is 12*(-119)/(-102) + 3031 a multiple of 21?
True
Suppose 0 = 2*l - 2*s - 10, -4*l + s + 6 + 5 = 0. Suppose -l*x + x = x. Suppose -a = -x*v - 2*v + 105, 2*v - 104 = 2*a. Is v a multiple of 5?
False
Is 20 a factor of (-160)/30 - 21730/(-30)?
False
Let l(q) = 2*q**2 - 22*q + 1. Let n be l(11). Does 22 divide 107 + ((-6)/(-4))/(n/2)?
True
Let p be (12/6)/(-6) + 298/(-6). Let g = 147 - p. Is 25 a factor of g?
False
Suppose -5*g + 6108 = 2*f, -1750 = 5*f - 2*g - 17049. Is 12 a factor of f?
False
Let h = 8866 - 5761. Is h a multiple of 115?
True
Let b(c) = 13*c**2 - 266*c - 227. Is b(34) a multiple of 19?
True
Let f(t) = -t**2 - 5*t - 4. Let g be f(5). Let j = g - -56. Suppose -w + 673 = j*u, 3*w = 7*w - 4. Is 48 a factor of u?
True
Let a(o) = o**3 - 5*o**2 - 60*o - 2. Let y be a(14). Suppose 2*i + q - 1114 - y = 0, -5*i - 5*q = -5080. Is 15 a factor of i?
True
Suppose 0 = 33*v + 62 + 70. Is 584 - (-28)/v*1 a multiple of 20?
False
Let l = -29 + 33. Suppose -k + 40 = -l*i - 9, -5*i + 220 = 5*k. Is 5 a factor of k?
True
Let m be ((15 + -3)/4)/((-21)/5530). Let c = 1266 + m. Is 4 a factor of c?
True
Suppose -198*k + 206*k = -4744. Let z = k - -748. Is 5 a factor of z?
True
Let n(m) = -65*m**2 + 3*m + 6. Let q(x) = -3*x**2 - 2*x + 3. Let y be q(1). Let h be n(y). Does 17 divide h/(-3) - (-1)/3?
False
Suppose 81066 = 28*y - 148506. Suppose 21*f = 432 + y. Is f a multiple of 11?
False
Is (-6)/((-5)/(11675/30)) a multiple of 9?
False
Let y = -3510 + 12118. Is y a multiple of 279?
False
Let s(u) = 26*u**3 + 10*u - 10. Let f be s(1). Let v(l) = 20*l - 188. Does 11 divide v(f)?
False
Let h = 3746 + -3254. Does 6 divide h?
True
Let q(r) = 145*r**2 - 36. Does 21 divide q(3)?
False
Let n = -14788 + 23412. Does 196 divide n?
True
Let q = -1652 - -3584. Suppose -4*z + q = 444. Does 4 divide z?
True
Suppose -6752*u - 80808 = -6808*u. Is u a multiple of 123?
False
Does 48 divide (-130369)/(-14) - 872/12208?
True
Let r be 16 - -1*(-3)/1. Suppose -r*t = -18*t + 135. Is 46 a factor of (-1 + 4 + -1)*(-4 + t)?
True
Let z be 28*((-2)/(-11) + 3800/275). Does 5 divide z - 16/(-24)*-3?
True
Let p = 2374 - 2001. Does 13 divide p?
False
Let q = 174 - 172. Is 68 - q - (-1 + 1 + 0) a multiple of 22?
True
Let b(z) = 7*z. Let m(q) = 22*q + 32. Let k(l) = -6*b(l) + m(l). Is k(-14) a multiple of 52?
True
Suppose 68*o = -24741 + 113999 + 61158. Is 31 a factor of o?
False
Suppose -1 = -3*z + 8, -t - 6*z = -13850. Is t a multiple of 28?
True
Let v(u) = -8*u + 55. Let i be v(6). Suppose -i*j + 22 = 4*j. Is 24 a factor of (244/(-8))/(j/(-8))?
False
Let a(j) = 205*j**3 - 8*j**2 + 6*j - 23. Is 34 a factor of a(5)?
True
Suppose d - 3*n - 2*n - 121 = 0, -538 = -4*d + 2*n. Let s = 259 - d. Is 41 a factor of s?
True
Let w(r) = 120*r - 49. Let g(t) = -40*t + 17. Let z(v) = -14*g(v) - 4*w(v). Is 18 a factor of z(12)?
True
Let r be 3 + 3454/(-7) + (-24)/42. Let q = r + 1055. Is 16 a factor of q?
False
Let u(f) = 271*f**2 - 33*f + 49. Does 11 divide u(4)?
False
Let f(c) = 71*c - 6. Let l(g) = -g - 1. Suppose -67*j = -74*j + 7. Let v(p) = j*f(p) - 4*l(p). Does 18 divide v(1)?
False
Suppose 0 = -116*t + 94*t + 274164. Is 201 a factor of t?
True
Let i = 690 + -675. Suppose 7*f + i*f = 18766. Is 9 a factor of f?
False
Suppose 2*x = 17*n - 13*n + 2770, -5*n - 6920 = -5*x. Is 6 a factor of x?
False
Let x = -25 + 28. Let r(o) = -5*o**2 + 15*o + 3. Let a be r(x). Suppose 44 = b + 2*p, b = -2*b - a*p + 120. Is b a multiple of 2?
True
Let f be 1/(4/(-2)) + 27/6. Suppose -f*w + 602 + 559 = c, 4*c - 4 = 0. Does 19 divide w?
False
Let x be (-1351 + -9)*(-14)/5. Suppose 15*q = -2*q + x. Is q a multiple of 32?
True
Does 7 divide ((-2)/10)/(6770/(-8462) - 1428/(-1785))?
False
Let b = 21467 + -13696. Does 65 divide b?
False
Let n(i) = i**3 - 8*i**2 - 4*i + 13. Let r be n(7). Is (1 - -5) + (-1 - r) a multiple of 8?
False
Let i = 16777 + -9871. Is i a multiple of 91?
False
Suppose i = 3*m - 40078, -16*i = 3*m - 11*i - 40108. Does 104 divide m?
False
Suppose 0 = v + 4*v - 15. Let u(h) = -h**2 + 6*h - 4. Let x be u(v). Suppose x*g - 5 - 5 = 0, 0 = 2*q + 4*g - 296. Does 23 divide q?
False
Suppose -168*r - 4*t = -173*r + 64798, 5*t = -r + 12977. Is r a multiple of 188?
False
Let w(v) = v**2 - 5*v - 36. Let a be w(9). Let r be (-3)/(4/((-32)/6)) - a. Is (-1 - -50) + r + -8 a multiple of 9?
True
Suppose 0 = -5*v + 5*r + 15, -1 = 3*v - 2*r - 7. Suppose -2*b = -3*f + b + 27, v = -5*f - 4*b + 9. Suppose -130 = -f*w + 20. Is 10 a factor of w?
True
Suppose 0 = -34*w + 35*w - 575. Let p = -267 + w. Is 28 a factor of p?
True
Let h(y) = -25*y - 124. Let a be h(23). Let k = 1074 + a. Is 17 a factor of k?
False
Suppose -8841 = 17*i + 8023. Let a = i + 1918. Is 35 a factor of a?
False
Let k = -5312 + 5729. Is k a multiple of 8?
False
Suppose -3*o - 3*t - 3889 = -54625, 4*o - 67606 = 2*t. Is o a multiple of 49?
True
Let s = -225 - -230. Suppose 3*b + s*c - 550 = 0, 16 = -b - 2*c + 200. Is 15 a factor of b?
True
Let b = -6693 + 12963. Is b a multiple of 22?
True
Let y(j) = 23*j**2 + 107*j - 628. Does 4 divide y(6)?
False
Let a(s) = -s**2 + 9*s - 20. Let p be a(4). Let r(h) = h**3 + h**2 + 88. Does 13 divide r(p)?
False
Let m = -97 + 109. Let x(t) = -22*t + 0*t**2 + m*t + 2*t**2. Does 21 divide x(9)?
False
Suppose 0*l - 5*l + 35 = 0. Let p(q) = 1 - 4*q**3 - 7 + 3*q**3 - 2 