pose -5*h = -4*y + 897, -826 = -4*y - 4*h + 26. Suppose 0 = -s + 5*t + 22, -s - 2*t = 4*s - y. Is s a multiple of 42?
True
Suppose 5*n + 9 = -2*l - l, -3*l = 2*n. Let o be (10 + -6)*l/4. Suppose 3*m = -z + 2*z + 10, -o*z = -3*m + 5. Is 5 a factor of m?
True
Suppose 4*f - 2*p - 59107 = 3035, p - 46594 = -3*f. Does 7 divide f?
True
Suppose 52*d = 57*d - 25, 3*a = 3*d + 47595. Is 15 a factor of a?
True
Suppose 0 = p + 3, p - 14 = 2*t + 3*p. Let m be (t + 9 + 4)*(-8)/6. Is 11 a factor of -3 + m/(-2) - (-41 - 0)?
True
Let a(b) = 12*b**2 + 8*b - 40*b + 39 + 2*b**2 - 13*b**2. Is 2 a factor of a(32)?
False
Let p(z) = 4*z**2 - 81*z - 38. Does 31 divide p(-19)?
True
Suppose 5*h - 3*r - 9672 = -2571, 0 = 5*r - 15. Is 9 a factor of h?
True
Let t = 19983 + -11021. Is 16 a factor of t?
False
Let h be (10/6 + 0)/(32/96). Suppose 5*n + 753 = j - 137, h*n - 3635 = -4*j. Is j a multiple of 28?
False
Let u(y) = -3*y**2 + 96*y - 5. Is u(28) a multiple of 50?
False
Suppose 4*g - 894 = -2*o, 0 = g + 3*o - 114 - 122. Does 2 divide g?
False
Let r be 1*-5*(-6)/10. Let k(s) = 25*s - 15*s - 2 - 13 + 4 - 7. Is 5 a factor of k(r)?
False
Let t(x) = 2105*x - 35. Let i be t(2). Suppose -3*h + 3*w = -0*h - 2535, 5*w - i = -5*h. Does 28 divide h?
True
Let g(b) = b**3 + 9*b**2 - 12*b - 15. Let c be g(-9). Suppose 2 = c*v - 94*v. Does 15 divide (v - -1)*(-4 - 175)?
False
Let d = 27414 - 12074. Is 130 a factor of d?
True
Suppose -p = q - 171 - 224, -2*p + 1576 = 4*q. Let y = q + -323. Is y a multiple of 4?
False
Suppose -2*i = -5*v - 15 + 4, 5*i + 4*v - 11 = 0. Suppose -i*l + 3*g = l - 123, 3*l + 5*g - 85 = 0. Is l a multiple of 10?
True
Suppose -5 - 19 = -6*b. Suppose 0 = -2*c + 5*k + 1157, -b*k = 3*c - 573 - 1151. Is 12 a factor of c?
True
Suppose 0 = -2*h + f + 16808, -2*h + 22*f - 20*f = -16806. Does 14 divide h?
False
Suppose 91*o = 90*o - 89*o + 5397840. Does 84 divide o?
True
Let o(r) = 13*r**2 + 91*r - 20. Is o(-27) a multiple of 28?
True
Let o(i) = 5*i**2 - 4*i - i**3 - 9 - 7*i**2 + 5*i + 4*i. Let u be o(-4). Suppose u*y - 34 = 11. Does 7 divide y?
False
Suppose 5*s + 5 = 5*v, 2*v = 2*s + 2*s. Let x be 2/3 - (-16)/12. Suppose 3*g - 11*d = -7*d + 910, 0 = x*d + v. Is g a multiple of 22?
False
Suppose -24*x - 64 - 56 = 0. Is 25 a factor of (-28756)/(-36) + x/(-180)*8?
False
Let p be 1111432/504 + 2/(-9). Suppose 8*y - 6*y = 5*w + p, 3279 = 3*y + 2*w. Is y a multiple of 48?
False
Let m(c) = 7*c**3 - 42*c**2 - 16*c + 4. Is m(9) a multiple of 16?
False
Suppose y + 21 = 76. Suppose -5*k = -2*d - y, -k - 15 = -4*k. Let i(m) = m + 31. Is i(d) a multiple of 8?
True
Let k = 76 - 76. Suppose -3*n - 3*v - 24 = k, -4*v = -3*n + n + 14. Is 4 + 0/n - -60 a multiple of 16?
True
Suppose -30*t - 43808 = 45*t - 755033. Does 87 divide t?
True
Let i be 22/5 + (-10)/25. Let x be (i/3)/(28/126). Suppose -x*r + 4*r = -30. Is r a multiple of 4?
False
Let t(q) = 7*q**3 + q**2 - 2. Let w be t(2). Suppose 3*n - 5*n = -w. Suppose 25*f - n*f + 60 = 0. Is 3 a factor of f?
True
Suppose 5*n - 2*w - 6279 - 28227 = 0, 3*n + 2*w - 20694 = 0. Is 18 a factor of n/16 - 1/4?
False
Let u(l) = 2*l**3 + 2*l**2 + l + 111. Let a(b) = -3*b**3 - 3*b**2 - 2*b - 161. Let s(t) = -5*a(t) - 7*u(t). Let p be 0/(0 - (2 - 0)). Does 4 divide s(p)?
True
Suppose -2*m + 9 = 3*j, 5*j + 5*m + 0*m = 15. Let y(w) = 23*w**3 + 4*w**2 + w. Is y(j) a multiple of 10?
True
Let s = 121 - -217. Let q = -228 + s. Suppose 0*i + 3*i - 2*p - q = 0, 2*i + p - 64 = 0. Does 17 divide i?
True
Let t = -3 + 16. Let c(s) = s**2 - 12*s - 1. Let j be c(t). Is 14 a factor of (0 + (-93)/j)*12/(-3)?
False
Let u(f) = -8 - f + 3 - 13 + 3. Let v be u(-17). Is 0 + 39 - (v + -4) a multiple of 6?
False
Suppose -20*j - 12336 = -2756. Let v = j + 1292. Is v a multiple of 28?
False
Let i(k) = -522*k**2 + k + 3. Let f be i(-3). Let j = -2650 - f. Suppose -2*c = 14*c - j. Is 8 a factor of c?
True
Let p(m) = 27 - 43 - 2*m + 3*m**2 + 6*m. Let v be p(-6). Suppose 8 = 4*f, -2*h + 5*f - 14 = -v. Is h a multiple of 10?
False
Suppose -3*a - 121 = -x, -2*x = 3*x + 4*a - 605. Is 22 a factor of 49467/x + 9 - (-2)/11?
True
Let p be 17*(144/(-96))/((-6)/4). Suppose 272 + p = 17*z. Does 17 divide z?
True
Is (-2 + -790)*260/(-156) a multiple of 93?
False
Let x(r) be the third derivative of -r**6/120 + 17*r**5/60 - 3*r**4/8 - 8*r**3 - 117*r**2. Is 8 a factor of x(8)?
True
Let j = 1051 + -747. Suppose 0 = 7*a - 60 - j. Is a a multiple of 13?
True
Let k(x) be the third derivative of x**5/20 + 35*x**3/3 + 13*x**2 - 2*x. Does 61 divide k(9)?
False
Suppose 5*c = -4*f + 15696, 0 = 2*f - 15 + 7. Is 98 a factor of c?
True
Suppose 6*o = 7*o + 4*u - 40, -4*o + 136 = 4*u. Suppose -2*m - o = -5*m + 4*i, 0 = -2*m - 3*i + 44. Is (m/(-48))/(1 - (-94)/(-93)) a multiple of 19?
False
Suppose -d = 2*n + 455 + 69, 0 = 3*d + 2*n + 1592. Let x = 969 + d. Does 19 divide x?
False
Suppose s + 421 = 5*q - 914, 3*s + 547 = 2*q. Is q - -6*(-1)/(-2) even?
False
Suppose -d + 3*r + 468 = -54, 2*d - 5*r - 1040 = 0. Let b = d - 120. Does 30 divide b?
True
Suppose 0 = 301*l - 307*l + 4392. Suppose -5*r + 38 = -l. Is r a multiple of 7?
True
Let b be ((-2)/(-3))/((-2)/(-3)). Let r(x) = 2*x**3 - 8*x**2 - 19*x + 46. Let a be r(4). Let n = b - a. Is 16 a factor of n?
False
Suppose -r + 6*r - 20 = 0. Suppose -51*p + 42*p = -1728. Suppose 2*i - g = 132, 2*i + r*g + 50 - p = 0. Does 6 divide i?
False
Suppose -15 = h + 5*i, -5*h + 14 = -3*i - 23. Suppose 5*v + q - 1190 = 0, -1572 = -h*v - 2*q - 377. Does 43 divide v?
False
Let f be ((-3)/(3/(-7)))/(3 - 2). Suppose -f*d = 2 - 23. Suppose 0*v + 61 = d*v - 5*y, v = 4*y + 18. Is v a multiple of 8?
False
Let k(y) = -2*y**2 - 265*y - 1354. Does 151 divide k(-122)?
True
Let x = 142 + -131. Suppose -7*a + 810 = x*a. Is a a multiple of 15?
True
Let h = -403 - -405. Suppose h*z = r - 1187 + 61, r + 2*z - 1118 = 0. Is 15 a factor of r?
False
Let u(r) = 3*r + 324. Is 51 a factor of u(11)?
True
Let b = 6 - 13. Is 37 a factor of 439 + b/28*-20?
True
Is 21/6*59184/84 a multiple of 18?
True
Suppose -8084 - 1198 = -2*v. Suppose -15*w + v = -2*w. Suppose -w + 45 = -6*j. Is j a multiple of 9?
False
Let i be ((-6)/21 - 4/(-14)) + 2. Suppose -4*f = -r, -i*f = -2*r - 3*f. Let u(g) = -2*g**2 + g + 45. Is u(r) a multiple of 10?
False
Let p = 87 - 84. Suppose 4*z + 5*q - q = 184, p*z - 5*q - 106 = 0. Suppose 4*b + 51 + z = t, -4*b + 20 = 0. Is t a multiple of 12?
False
Let q(s) = -6*s**3 - 3*s + 7. Let n(f) = -f**2 + 9*f - 14. Let x be n(6). Suppose -4*b + 2*g - 14 = -0*g, x*b + 2*g = -10. Is 48 a factor of q(b)?
False
Let p = -2756 + 2858. Does 19 divide p?
False
Suppose -2*j = j + 2*a - 14318, 3*j - 4*a = 14294. Suppose 15*v - j = 5*v. Does 36 divide v?
False
Let w = -3 + 3. Suppose w = -16*p + 712 + 1560. Does 71 divide p?
True
Let z(s) = -2044*s + 5554. Is z(-4) a multiple of 62?
False
Suppose -14*r + 21825 = -9*r. Suppose 12*h - 16*h - 5*p + r = 0, -p = 3*h - 3271. Does 44 divide h?
False
Let x(h) = -114*h - 897. Does 7 divide x(-39)?
True
Let b = 27651 - 18231. Is 60 a factor of b?
True
Suppose 8*y - 112700 = -42*y. Is 18 a factor of y?
False
Let z(l) = 16*l - 12. Suppose -5*p + 5*k - 10 = 0, 2*p = -2*k + 5*k - 6. Suppose 0 = 2*a - o - 13, 5*a + o - 19 - 10 = p. Is 28 a factor of z(a)?
True
Let t = 10610 + -7218. Suppose -612*s = -604*s - t. Does 35 divide s?
False
Let c be (-26 + -159)*-1*(-1 + 3). Let m = -205 + c. Is m a multiple of 18?
False
Let o = 15 + -52. Let z = o + 39. Suppose z*w + 5*j - 97 = 0, -2*w + 0*w - 2*j + 112 = 0. Is w a multiple of 21?
False
Let o(z) be the second derivative of -z**5/20 + z**4/12 + z**3/3 + 2*z**2 - 2*z. Let p be o(0). Suppose -p*q + 54 = -q. Is q a multiple of 9?
True
Suppose -4*x = -2*a + 9832, 117*a - 5*x + 4958 = 118*a. Does 112 divide a?
True
Suppose c + 5 = -4*j - 3, -4 = 2*j. Suppose 2*x + 8 = c, -2*x + 152 - 41 = z. Is 7 a factor of z?
True
Suppose 0 = 4*k + 4*k + 2488. Let f = -227 - k. Is f a multiple of 14?
True
Let v(q) = 66*q + 1. Let r be v(-6). Let z = r - -594. Is 13 a factor of z?
False
Does 36 divide 35/((-1260)/(-594648)) - (-10)/(-1)?
False
Let f = 61 - 78. Let z be (f - -18) + 60/(-1). Let b = z + 141. Is b a multiple of 10?
False
Suppose -1043*y + 1066*y = 381754. Is y a multiple of 40?
False
Let u = -31 + 76. Suppose -4*z + 3*a