-43. Is j a multiple of 11?
True
Let s be (-4)/(2 - -2) + 1269/1. Let l = s + -857. Is 12 a factor of l?
False
Let h(b) = -2*b**3 - b**2 + 3*b - 1. Let v be h(3). Let x(i) = -i**2 - 47*i - 245. Let k be x(-35). Let g = k + v. Is 24 a factor of g?
True
Is (-15)/90*-33906 - 2 a multiple of 21?
True
Let j be (1 - 3/(-3)) + -5. Let x be 1540/(-462) + 13/3. Is 96 + 20/(j - x) a multiple of 19?
False
Suppose 0 = 21*y - 16*y. Suppose -16*g + 18*g - 332 = y. Suppose 3*i = 421 - g. Does 17 divide i?
True
Let s be (-1001)/(-17) - (-2)/51*3. Suppose 0 = 54*j - s*j - 3*c + 1666, -6 = 2*c. Does 8 divide j?
False
Let k be 8/(-36) + (-29)/(-9). Suppose 1043 = k*n + 5*i, 2027 - 306 = 5*n + 4*i. Does 26 divide n*(-10)/(-25) + 4/(-10)?
False
Let m(w) = 14*w**3 - 3*w**2 - 6. Is m(3) a multiple of 6?
False
Let i = -302 + 304. Suppose j - i*m = 108, -5*j = -m - 4*m - 560. Is j a multiple of 3?
False
Let h be ((-6)/18)/(-2*(-2)/(-48)). Suppose 0 = -d + d - h*d. Is 19 + -2 + d - -2 a multiple of 15?
False
Let y(x) = -7*x - 5*x**2 - 3*x**2 + 5*x**2 + 10 + 3*x**3. Suppose -19*z = 3*z - 88. Is 14 a factor of y(z)?
True
Let y(d) = 8*d + 58. Let u be y(-6). Suppose -u*r + 36 = 2*r. Is 7 + 0 + 25 + 1 + r a multiple of 9?
True
Let z = 224 + -123. Suppose -96*g - 450 = -z*g. Is g a multiple of 6?
True
Let x(b) = -b**3 - 4*b**2 - 6*b + 3. Let p = -57 + 6. Let i = p + 46. Does 29 divide x(i)?
True
Let w(m) = 10*m**2 + 18*m + 20. Let a be w(9). Suppose -a + 392 = -5*n. Does 24 divide n?
True
Suppose 118 = 4*c - 386. Let p = 363 - c. Is 23 a factor of p?
False
Let l be 44/8 + (-6)/(-12). Suppose -o - 4*h + 194 = l, -5*o + 3*h + 825 = 0. Is o a multiple of 21?
True
Let h be (5*1)/(85/(-68)). Does 51 divide h/(8/(-646)) - (11 + -11)?
False
Let d(u) = -5*u**3 - 8*u**2 + 45*u - 23. Is d(-8) a multiple of 6?
False
Let u = 2120 - 1174. Suppose 952*j - u*j = 4344. Is j a multiple of 21?
False
Let j(o) = -2*o**2 - 28. Let a = 62 + -70. Let c(x) = -5*x**2 - x - 83. Let y(m) = a*j(m) + 3*c(m). Does 10 divide y(9)?
False
Suppose -4*t + 3*f = -29, -5*t - 11*f + 8*f = 11. Suppose c = 3 + 10. Suppose -4*w + t*w + c = l, -5*l - w = -92. Is 19 a factor of l?
True
Let c(q) = 6*q**2 + 14*q + 8. Let f be c(-5). Suppose -12 = -5*k - 4*y, 3*k - y - 16 = y. Suppose 0 = k*z - 200 - f. Is z a multiple of 8?
True
Let c = -42 + 50. Suppose -c*z - 486 = -17*z. Suppose 53*r = z*r - 32. Is 10 a factor of r?
False
Let w be (2/4)/((-1)/(-22)). Suppose -t = -w*t + 30. Suppose -y = -t*y + 68. Is 4 a factor of y?
False
Is 15 a factor of 15*(-13 + (1 - -778))?
True
Let u be 1/(2*(-2)/20). Let s(i) = -2*i**2 + 9. Let j be s(u). Let h = j - -317. Is 35 a factor of h?
False
Let l(g) = 16*g**3 + 11*g**2 + 15*g + 15. Let a(p) = -33*p**3 - 22*p**2 - 135*p - p**2 + 104*p - 31. Let o(k) = -6*a(k) - 13*l(k). Does 23 divide o(-2)?
True
Let o be 5*(18/(-20))/(3/(-4)). Suppose 216 = o*u - 180. Does 27 divide u?
False
Suppose -3*x = -o - 5, -5*o - 2*x + 26 = -0*o. Suppose 5*v = -o*h + h + 33, v - 3*h = 3. Suppose 7*y = v*y + 54. Does 15 divide y?
False
Suppose 109125 - 65105 = 20*z - 180080. Does 15 divide z?
True
Let x = 4 - -13. Suppose x*i - 3540 = 5*i. Suppose 8*m - 13*m + i = 0. Is m a multiple of 15?
False
Let m = 268 - 249. Suppose -m*o - 2640 = -27*o. Is o a multiple of 30?
True
Let u(y) = 131*y**2 + y. Let b be u(1). Suppose -t + b - 120 = 0. Suppose -t*i + 6*i + 174 = 0. Is 20 a factor of i?
False
Let q(t) = -103*t - 83*t - 4*t + 52*t. Let s be q(-2). Suppose 0 = -4*i - 2*x - 3*x + 395, 3*x + s = 3*i. Is 4 a factor of i?
False
Suppose 5523 - 6111 = -116*a + 86412. Is 3 a factor of a?
True
Let d(s) = -6*s**2 + 30*s + 100. Let g be d(24). Does 13 divide (g/8)/(1*3/(-6))?
False
Let n = -450 + 452. Suppose -3*x + 3376 = -2*q, n*q = -x + 467 + 645. Is x a multiple of 40?
False
Suppose -5*y + 3*z + 32 = 0, 0 = -4*y - 0*y + 4*z + 32. Suppose -q - 1210 = -y*t, -4*q - 7 - 1 = 0. Suppose -2*n = -156 - t. Does 33 divide n?
False
Let a be -2 + 2 + (-1 + -3 - -7). Does 26 divide ((-4240)/32)/(a/(-6))?
False
Suppose -w = -j - 5, -3*w = -7*w - 3*j - 15. Suppose 4*c + 4*f - f = 1734, 5*c - 3*f - 2181 = w. Is c a multiple of 15?
True
Suppose 15*s + 80443 + 5321 = 18*s. Is 228 a factor of s?
False
Let a(r) = 12*r**3 - 7*r**2 - 3*r + 31. Let q be (-1)/(((-9)/(-1))/(-45)). Does 14 divide a(q)?
False
Let q(k) = -5*k**2 + 37*k + 5. Let s(z) = 2*z**2 - 12*z - 2. Let t(c) = 3*q(c) + 8*s(c). Is 15 a factor of t(-16)?
True
Let d be (12 + -5)/28 - 430/(-8). Does 25 divide (-3900)/91*(d/(-4) - -3)?
True
Does 12 divide (1*11/(-3) - (-248)/372) + 2159?
False
Let v(d) = -3045*d - 9309. Is v(-15) a multiple of 33?
True
Let h = -19920 + 31048. Is 107 a factor of h?
True
Let t = 23313 - 16396. Is t a multiple of 149?
False
Suppose 0 = -4*a - 5*o + 575, 2*o = -2 - 0. Suppose 0 = -5*b - 15, -a = -2*t + 2*b + 165. Is t a multiple of 38?
True
Let l = 508 + -508. Suppose 1771*g - 1774*g + 1518 = l. Does 23 divide g?
True
Let u be (4/4)/((-1)/(-106)*2). Let g = 29 + u. Suppose g = -5*m + 212. Does 17 divide m?
False
Let g(i) = i**2 + 8*i - 216. Does 107 divide g(-34)?
False
Let o(r) = r**3 + 13*r**2 - 9*r - 12. Let i be o(-13). Let u be (-14)/i + 2846/(-30). Does 19 divide (2 + (-33)/15)*u?
True
Suppose -3*x - q = -2216 - 255, 4*q - 3292 = -4*x. Suppose 5*w - 309 - 721 = -2*m, 4*w - m - x = 0. Is w a multiple of 12?
False
Suppose 8*m = -18*m + 52. Suppose -396 = -m*n + 52. Does 14 divide n?
True
Let l(p) = -2*p**2 - 2*p - 44. Let i be l(5). Is 9 a factor of (-8)/(-52) + (-60512)/i?
False
Is 52/156 + (-94015)/(-15) a multiple of 4?
True
Suppose -65*f + 128963 - 38288 = 0. Is 45 a factor of f?
True
Let s(r) = 8916*r + 1730. Is 22 a factor of s(5)?
True
Let v(d) = -d**3 + 6*d**2 + d + 6. Let c be v(6). Suppose 8*z - 2*z = c. Suppose z*g = 3*b + 6*g - 31, 0 = b + 4*g + 3. Is 17 a factor of b?
True
Let u = 58 + -28. Let t = 33 - u. Suppose -i = t*i - 512. Does 32 divide i?
True
Let f(g) = g**2 + 5*g - 3. Let u be f(-8). Suppose 0 = 11*o - 4*o - u. Suppose -6*x + o*x + 99 = -3*b, -4*x - 5*b = -168. Is 12 a factor of x?
False
Let w(c) = -4*c**3 - 2*c**2 - 2*c - 3. Suppose m - 215 = -4*i, -4*i - 4*m + 197 = -9*m. Let l = -56 + i. Is 12 a factor of w(l)?
False
Let q(t) = t**3 + 33*t**2 - 71*t - 59. Let s be q(-35). Is ((-8)/s)/(3 - (-682)/(-228)) a multiple of 21?
False
Let l = 8195 + -3021. Is l a multiple of 44?
False
Suppose -33017 = -4*v + 7663. Does 9 divide v?
True
Let r(p) = -p**2 + 36*p - 62. Suppose a = -11*a + 336. Is r(a) a multiple of 18?
True
Let w be -8 - 1 - (-1)/((-1)/(-4)). Let u be w - -2 - -6 - 6. Is 5 a factor of 2 + u/(-3 - 276/(-93))?
True
Let g be (24/(-9))/(-5 + (-52)/(-12)). Suppose 158 = y + 5*f, -g*f = -2*y + 3*y - 159. Is 5 a factor of y?
False
Let z = -99 - 37. Let m = z + 233. Does 14 divide m?
False
Suppose 80760 + 269790 + 153450 = 20*q. Is 336 a factor of q?
True
Does 25 divide 2*3/(-24) + (-121)/44 - -4928?
True
Let j(c) = 4*c**2 - 3*c - 22. Let w = 83 + -90. Is j(w) a multiple of 39?
True
Let m(f) = 11*f - 10. Let c be m(2). Suppose c*k - 8*k = 1188. Suppose 4*z + 25 = k. Is 14 a factor of z?
False
Let r be 60/42*(-56)/(-4). Let m be (-12)/(-32)*4*r. Let f = 61 - m. Does 11 divide f?
False
Let s(x) = 2*x**2 + 11*x + 17. Suppose -4*t - 6 = -2*o + 14, 0 = 4*t + o + 20. Let m be s(t). Suppose -52 = -5*k - m. Is k a multiple of 8?
True
Let p(v) = -3*v + 8. Let c(m) = -2*m + 9. Let l(d) = 3*c(d) - 4*p(d). Let n be l(-9). Let z = 141 + n. Does 41 divide z?
True
Let h = -637 - -646. Let n(x) = -51*x - 66. Let w(c) = -77*c - 99. Let l(j) = -8*n(j) + 5*w(j). Is 20 a factor of l(h)?
True
Let d be (-35)/(-70) + 1/2. Let p(z) = 72*z**3 - z. Does 4 divide p(d)?
False
Suppose 3*w = 2*x - 14, -3*x + 3*w + 16 = w. Let k(a) = 2*a**3 - 7*a + 21. Is k(x) a multiple of 9?
False
Let f(q) = 15*q - 269. Does 11 divide f(30)?
False
Let f(s) = s**3 + 12*s**2 - 15*s - 1. Suppose 214 = 2*p + 84. Let k be (2 - 4)/(10/p). Is f(k) a multiple of 25?
True
Is 114 a factor of (1 - -2)/(2/14364*42/36)?
True
Let b = -34 - -51. Suppose 4*i + 8 = 4*g, -i = -4*g - 0*i + b. Suppose -g = -k, -3*s = -3*k - 129 - 252. Is 7 a factor of s?
False
Let z(v) = v**3 + 9*v**2 + 17*v - 3. Let x be z(-6). Suppose -311 = -2*g - 0*g - 5*r, 0 = x*g - 5*r - 404. Is g a multiple o