e -3*b + n*b = 902. Is b a multiple of 27?
False
Let z(l) = -8*l - 13. Let s be z(-2). Is (5/(-3))/(s/(-747)) - 4 a multiple of 31?
False
Suppose -6*b + 8 = -10. Suppose 0 = -b*t + 3*i, -i - 9 = -t - 3*i. Does 15 divide (t/(-2) + -2)*(-1 - 25)?
False
Let w = -386 + 1174. Is 4/9 - w/(-9) a multiple of 3?
False
Let c = 68 + 142. Suppose l = 35 + c. Is 35 a factor of l?
True
Let g(y) = 13*y - 192. Let u be g(15). Let t be (-38)/6 - (-2)/6. Is 28 a factor of (-56)/t*(u + 3)?
True
Suppose 0 = 7*k - 21299 + 4009. Is k a multiple of 13?
True
Suppose -3*d - 5*p = -26377, -p - 29932 = -3*d - 3549. Is d a multiple of 30?
False
Suppose 0 = -76*s - 6*s + 1577516. Does 12 divide s?
False
Suppose -3*p + 495 = -m - 1014, p - 3*m = 495. Does 21 divide p?
True
Let i(w) = -w**3 + 46*w**2 + 106*w - 287. Let s be i(48). Let u = -147 - -56. Let y = u + s. Does 23 divide y?
False
Let x(u) = 3*u**2 - 9*u - 14. Let s be x(8). Suppose 3*j + y = -y + 121, 0 = -3*j + y + s. Suppose -4*z + p = -j, -4*z + 11 + 23 = -2*p. Is 4 a factor of z?
False
Let a(v) = -6*v**3 - 88*v**2 - 41*v - 27. Is a(-16) a multiple of 30?
False
Suppose -n - 33 = -o + 4*n, 102 = 5*o - 4*n. Let i = o - 25. Is (-1)/(-1) - (i + 117/(-3)) a multiple of 8?
False
Let o(c) = c**3 - 6*c**2 - 7*c - 1. Let b(w) = -7*w**3 + w**2 + w. Let a be b(-1). Let g be o(a). Is 23 a factor of 139/6 + g/6?
True
Let q = -1211 - -1863. Let p = 670 - q. Does 17 divide p?
False
Suppose -50*d = -44*d - 3780. Let p = d - -18. Is 22 a factor of p?
False
Let b(o) = 78344*o**2 + 5*o + 1. Let w be b(1). Is (-4)/(-14) + w/175 a multiple of 32?
True
Suppose -173 = 8*v - 29. Let n be (10/90)/((-4)/v)*758. Let q = n + -141. Does 34 divide q?
True
Suppose 23*t - 24*t + 425 = 0. Let z = 674 - t. Suppose 0 = 2*b + 57 - z. Is 11 a factor of b?
False
Let x(m) = 299 + 0*m + 6*m - m - 2*m + 35. Is x(11) a multiple of 4?
False
Let z = 3 - 0. Let j be -11 - -269 - -10 - -4. Suppose b - j = -z*b. Is 12 a factor of b?
False
Suppose -480 = -5*o + 400. Let m = o - 152. Is 8 a factor of m?
True
Let o be 10/(-16) - (-6)/(-16). Let h be (53*o)/(1/((-15)/5)). Suppose -8*f + 5*f + h = 0. Does 16 divide f?
False
Suppose -4*t + 136 = -3*u + 7*u, -4*t + u + 141 = 0. Is 28 a factor of t?
False
Let q(g) = -25*g - 14. Is 12 a factor of q(-2)?
True
Let j(d) = -d**2 - 5*d. Let n be j(-6). Let x = 251 - 227. Is 2 a factor of 2/n*-103 + (-8)/x?
True
Let f(l) = -l**3 - 25*l**2 + 57*l - 107. Does 114 divide f(-32)?
False
Let o(n) = -9*n - 72. Let b be o(-8). Suppose -3*j - 3*k + 138 = b, -j + 5*k + 43 = -33. Is j a multiple of 9?
False
Let f be 2/(4 - 7/2). Suppose -f*c = -0*d + d - 800, -3*d + 609 = 3*c. Is 21 a factor of c?
False
Suppose -5*f - b = -203, -1 = 5*b - 16. Suppose 8*g + f = 10*g. Suppose 5*t = t + g. Is 5 a factor of t?
True
Suppose 0 = 2*f - 4*k - 46816, 3*k - 39 = -12. Does 95 divide f?
False
Let h = 150 + -122. Suppose -y = 3*g - 818, 5*y = g - h - 250. Does 21 divide g?
True
Let p(s) = s**3 + 8*s**2 - 9*s + 13. Let l be p(-6). Let n = 251 - l. Is n a multiple of 28?
True
Let c = -3014 - -3038. Let t = 43 + -66. Does 21 divide (t/(-4))/(1 + (-18)/c)?
False
Let b(q) = -q**3 + 20*q**2 + 35*q + 170. Does 14 divide b(-6)?
True
Let s = -10187 - -15920. Does 13 divide s?
True
Suppose 103*z + 60*z - 3898783 = -88*z. Is 98 a factor of z?
False
Let h = -144 - -756. Suppose 9 = -3*u, -4*q = -8*u + 4*u - h. Is 5 a factor of q?
True
Suppose -4*c + x + 174836 = 0, -2*x + 27959 = 4*c - 146877. Does 121 divide c?
False
Suppose 0 = 5*l + 4*o - 1555, -2*o + 34 - 1559 = -5*l. Suppose -2*g - 4*k = 374, 0*k = 5*k + 15. Let c = l + g. Does 9 divide c?
True
Let y(g) = 2172*g + 519. Is y(1) a multiple of 299?
True
Suppose -7*j + 6*j + 8 = -5*f, -11 = -2*j + 5*f. Suppose -j*q + 372 = c, 8*q - 9*q = 3*c - 1076. Is c a multiple of 29?
False
Let d(g) = g**2 + 2*g - 3. Let p be d(-3). Let m(z) = z**2 + 2*z + 4. Let t be m(p). Suppose 148 = 5*h + n, 0 = -4*n + t - 12. Is 12 a factor of h?
False
Let v(j) = 177*j - 3802. Is 83 a factor of v(74)?
True
Let g = 60381 + -23452. Does 47 divide g?
False
Let g(b) be the first derivative of b**2 - 18. Let d be g(4). Suppose -d*z + 174 = -2*z. Is z a multiple of 10?
False
Suppose 268 - 51 = -7*z. Let m = z - -35. Suppose -2*n + 184 = 3*n + 4*r, 0 = 5*n - m*r - 176. Does 15 divide n?
False
Let b(v) = -v**2 - v + 14. Let n be b(0). Let d = n + 77. Is 14 a factor of d?
False
Let o = -65 + 68. Suppose 0 = -o*x + 62 - 2. Let k(c) = c**2 - 15*c - 32. Is 17 a factor of k(x)?
True
Let n = 880 + -130. Let b be -8 - -5 - (0 + -6). Suppose -b*k = -6*k + n. Is k a multiple of 50?
True
Suppose -46*b - 4016 = -4*x - 43*b, -3*x - 2*b = -2995. Is x a multiple of 11?
True
Let x(r) = -5650*r - 8938. Does 66 divide x(-4)?
True
Let t = -10730 - -14041. Is t a multiple of 2?
False
Suppose 18*k - k - 22437 = 7602. Does 19 divide k?
True
Suppose 1594 = b - 2*q - 11979, -4*q + 40689 = 3*b. Is b a multiple of 15?
False
Let k(u) = 27*u**2 + 5*u + 38. Let m be k(-6). Suppose -12 = 8*j - m. Does 20 divide j?
False
Suppose 781*i - 6258 = -3*l + 782*i, -5*l - 4*i + 10413 = 0. Is l a multiple of 3?
True
Is 74 a factor of (176/(-968) - (-32)/55)*167305?
False
Let a be -10 + (45 - 8) - (3 - 2). Does 27 divide (a/(-78))/(1217/609 + -2)?
False
Let r = -128 - -1810. Let t = -1072 + r. Suppose 5*g + t = 5*m + 3*g, 4*m = 3*g + 495. Is m a multiple of 24?
True
Suppose 0*y + 1386 = -2*y. Is 14*(-9)/y + (-9040)/(-11) a multiple of 55?
False
Let b = 4105 + -1894. Suppose 11*v - 165 = b. Is v a multiple of 72?
True
Let j(t) = 3*t**2 + 3*t + 44. Is j(11) a multiple of 40?
True
Let k(b) = -7*b + 26. Let i be k(-7). Let j = i + -136. Let n = 102 + j. Does 16 divide n?
False
Suppose 0 = 2*o + n + 4*n - 16, 2*o - 5*n = 16. Is 1/(6 + -2) - (-774)/o a multiple of 5?
False
Let h(a) = -4*a**3 - 32*a**2 + 17*a - 101. Is 15 a factor of h(-14)?
True
Let l = 6787 + -4725. Is 6 a factor of l?
False
Let h = -45 + 62. Suppose 0 = -3*y - 4*v + h, -2*y + 5*v = -6*y + 22. Let n = y - -3. Does 3 divide n?
True
Suppose -2*c - 531*g = -533*g - 33414, -66852 = -4*c + g. Is 7 a factor of c?
False
Let t(q) = 41*q**2 - 144*q + 13. Does 113 divide t(-11)?
False
Suppose w + 3*g = -g + 18, -5*g = -5*w - 10. Suppose 2*b + 3*x = -w*b + 20, 25 = 5*b + 5*x. Suppose -b*m + 257 + 173 = 0. Is m a multiple of 16?
False
Let s be (-1 - 199)/(-1)*(14 - 12). Let i be s/(-6) - 9/27. Let v = 13 - i. Does 20 divide v?
True
Let l = -2234 + 3612. Let s = l + -700. Is s a multiple of 13?
False
Let b(m) = 2*m**2 + 200*m + 184. Is b(54) a multiple of 48?
False
Suppose 4*x - 2*x - 5*u = 549, 3*x - 791 = u. Suppose -x = -4*d - 4*c - 70, -d + 3*c = -56. Does 5 divide d?
True
Let v = 104 + 2. Let a be 16 + -1 + (-8)/(5 + 3). Let p = v + a. Is p a multiple of 40?
True
Let s(f) = -174 - 166 - 11*f + 327. Let h be ((-1)/(-1))/(4/(-36)). Is s(h) a multiple of 22?
False
Let b = -2613 + 3414. Is 9 a factor of b?
True
Let t = -132 + -48. Is 30 a factor of t/(-1 + (-1)/(-4))?
True
Let h = 7723 + -2143. Is 9 a factor of h?
True
Suppose l - 2*m - 42330 = -15125, -3*m = 2*l - 54438. Is 12 a factor of l?
False
Suppose 0 = -6*o + 2152 + 410. Let c = o + -655. Let x = 320 + c. Is x a multiple of 12?
False
Does 32 divide ((-2002)/(-308))/(2/932)?
False
Let h = 31836 + 18508. Is 18 a factor of h?
False
Suppose 0 = -2*f - 31 - 37. Let o = 37 + f. Suppose 3*q + o*m - 4*m = 68, q = 5*m + 4. Is 22 a factor of q?
False
Let i(c) = -c**3 + 51*c**2 - 417*c + 17. Is i(25) a multiple of 46?
True
Is 21 a factor of 4/(28/(-7))*4 - (-4201 - -1)?
False
Let g be 3*(1/8 - (-4431)/72*1). Let c be ((-2)/(-5))/(1/(-5)). Is 24 a factor of g + -1 + c - 1?
False
Let s(z) = 116*z - 45. Let u be s(-4). Let k = u + 754. Is k a multiple of 33?
False
Let k = -883 - -626. Let y = k - -611. Suppose y = 8*b - 1934. Is b a multiple of 22?
True
Let f be -1 - (-1 - 4)*1. Suppose -24 = -f*u - 4*a, -2*u + 2 = -4*u + 5*a. Suppose 2*h = u*p - 492, p - 3*h - 125 = -2*h. Does 11 divide p?
True
Suppose 0 = -2*t - 5*s - 45 + 11, -t + 4*s = 30. Does 2 divide t/11*(-7)/2?
False
Suppose -459 = -8*k - 115. Suppose 16456 = k*t - 21*t. Is t a multiple of 14?
False
Let k(b) = b**3 + b**2 - 2*b. Let s = 12 - 14. Let a be k(s). Does 24 divide (216 - (a + 4)) + -2 + 6?
True
Suppose 0 = -m