e of 18?
True
Let f(o) = -15*o + 12. Let t be f(1). Is t + (7 - -156 - 8) a multiple of 38?
True
Suppose 5*d - 5 = -3*v - 22, -d - 65 = 5*v. Does 21 divide 4/v + 0 - 1329/(-21)?
True
Suppose 19*a = -85*a - 31*a + 1439100. Does 20 divide a?
True
Let g = -96 - -7611. Is 19 a factor of g?
False
Let l = -434 - -456. Does 55 divide l/(6 - 2144/360)?
True
Let f(d) be the second derivative of d**4/6 + 10*d**3/3 - 5*d**2 - d - 1. Suppose 5*h + 22 = 3*h. Is 4 a factor of f(h)?
True
Suppose -2*a - 2*u + 629 = 171, 4*u = 20. Let k be 2/(-7) - a/(-98). Suppose -k*l = -10, 4*l + 12 = f + f. Does 5 divide f?
False
Suppose 2*k = 5*r + 719, r + 3*k = -0*k - 154. Let p = -67 - r. Does 13 divide p?
True
Let t = 15267 + -6843. Is t a multiple of 54?
True
Let z(r) = -2118*r + 458. Is 78 a factor of z(-1)?
False
Let z = 26 + 73. Let x(c) = c**2 - 46*c + 85. Let l be x(45). Suppose -z = -3*o - 2*t, -12 = o - t - l. Is 18 a factor of o?
False
Suppose 9*w - 18 = 8*w. Let p(x) = -12*x - 6 + w*x + 0*x**2 - 10*x + 2*x**2. Is p(6) a multiple of 6?
True
Let b = 1584 - 713. Suppose -3 = 24*a - 25*a. Suppose -7*w + b = -a*w - 3*j, -3*j + 669 = 3*w. Is w a multiple of 21?
False
Let h = 449 - 321. Suppose 0 = 3*s - 186 - 240. Let i = s - h. Is i a multiple of 7?
True
Suppose 3 + 19 = 2*f. Let x(n) = 13*n - 18*n + f*n - 10 + 25*n**2. Does 36 divide x(2)?
False
Let k be (132/(-18))/((-1)/(9/(-2))). Let z = k + 29. Let j(s) = -9*s + 9. Does 13 divide j(z)?
False
Suppose -m + 4 = 0, -4*t + 8 + 4 = -2*m. Suppose -t*a = -5*d + 3655, -5*a + 10 = -7*a. Is 33 a factor of d?
True
Let o(d) = 3*d**3 + 35*d**2 - 1022*d + 27. Is o(21) a multiple of 186?
False
Suppose 0 = -11*f + 1 + 43. Suppose f*g - 553 + 9 = 0. Suppose 0 = 3*t - 5*t + g. Does 17 divide t?
True
Let d(g) = -280*g**3 + 2*g**2 - 51*g + 1. Is 254 a factor of d(-5)?
True
Suppose -11 = 10*w - 41. Suppose 3*u = w*k + 1872, -5*k + 1752 = 4*u - 708. Is u a multiple of 33?
False
Suppose 5*l + 5*q - 4591 = 8094, -3*q - 12709 = -5*l. Is l a multiple of 5?
True
Is 4 a factor of 178 + -35*(-14)/49?
True
Let f(v) = -7*v - 1. Let y be f(2). Let l(o) = 19*o**2 - 14*o + 74. Let x(s) = -7*s**2 + 4*s - 25. Let n(d) = -4*l(d) - 11*x(d). Is 8 a factor of n(y)?
True
Let i be (3/3 - -4) + 0 + -3. Let g(h) = 69*h + 1. Let r be g(2). Suppose -r = -3*z - 4*l - 51, -4*z + i*l = -132. Does 16 divide z?
True
Suppose 16*d = 22*d + 156. Let o = 24 - d. Is o a multiple of 5?
True
Suppose 2*y - 38178 - 23290 = -15028. Is 36 a factor of y?
True
Suppose 0 = 38*v - 37831 - 10144 - 42237. Is v a multiple of 3?
False
Let h(x) = 20*x - 44. Suppose -6*l + 60 = -l. Does 7 divide h(l)?
True
Suppose -87*s = 14*s - 1136856. Is 24 a factor of s?
True
Suppose 4*u + 3*r = -7, 5*u + r = -0 + 5. Suppose 0 = -3*f + j + 392, -u*f + 4*f - 280 = -4*j. Is 11 a factor of f?
True
Let p(r) = 2*r**2 - 135*r - 158. Is 134 a factor of p(74)?
True
Let z = 19483 + -13193. Is 34 a factor of z?
True
Suppose -5*k = -2*k - 36. Suppose -9 = -3*b + x, 19*x = 4*b + 24*x + 7. Suppose -b*f + k = 2*f. Does 3 divide f?
True
Suppose -7*t = -2*t + 2*g - 43, -4*g = 4. Suppose -3*w + 15 = 4*i, t*w - 25 = -3*i + 4*w. Suppose 3*d + y = 37, 2*d - 25 = -i*d - y. Is d even?
True
Suppose -42 = 9*g - 105. Is 4 a factor of ((-38)/(-2) - g)/1?
True
Let a(y) = -2*y**3 - 6*y**2 - y + 2. Let p be a(-3). Suppose 5*v = p*g - 1195, -2*g + 238 = -g - 2*v. Is g a multiple of 15?
True
Is 42252/1 - (-275 - -273) a multiple of 74?
True
Suppose 5*w - 1045 = 3*r - 2690, -3*r = -3*w - 1647. Suppose -23*t = -12*t - r. Does 50 divide t?
True
Suppose 5*b = 2*b + 24. Suppose b*i + 0*i = 48. Is (280/(-21))/((-8)/i - -1) a multiple of 40?
True
Let m(x) = -x**3 - 7*x**2 - 12*x - 10. Let v(k) = -k**3 - 24*k**2 - 62*k + 12. Let t be v(-21). Is m(t) a multiple of 26?
True
Suppose -52*g + 433193 = 4708 - 119751. Is 10 a factor of g?
False
Let l(x) = -3*x**2 + 61*x - 66. Let y be l(19). Let b(r) = 3*r**2 + 6*r - 75. Is b(y) a multiple of 15?
True
Let h be 16/(-6) + (-6)/(-9). Suppose 2*q = 5*k - 259, -2*q = -3*k + 563 - 406. Does 13 divide k/(-6)*(h - 20)?
False
Let h(r) = -r**2 - 9*r + 2. Let b be h(-9). Suppose -b*l = 2*l + 5*x - 1644, 4*l - 1660 = -x. Is 13 a factor of l?
True
Is 31 a factor of 10*5/(-300)*80/1*-153?
False
Suppose -2*x = 5*g - 942, 5*x = 3*g + 332 + 2023. Let k = -81 + x. Does 39 divide k?
True
Let d = -706 + 219. Let m = d + 1046. Does 22 divide m?
False
Suppose -m + 3*r + 10245 = -0*m, -9*m + 2*r + 92205 = 0. Is m a multiple of 23?
False
Suppose -33*f + 35*f = 296. Suppose q = s - 4*q - f, 0 = 5*s - 2*q - 763. Does 3 divide s?
True
Let t(y) = -y**3 + 2*y - 7. Let d be t(-5). Let i = d - 72. Is 5 a factor of i?
False
Suppose -1906 = -6*w + 3488. Suppose 5*i - c - w = 0, -c = 4*i - 2*i - 361. Is i a multiple of 20?
True
Let d be (56/16)/(3/42 - 0). Let i(p) = -12*p - 47 - 15 + d*p. Does 20 divide i(6)?
True
Let p = 15 + -11. Let s(r) = -153*r**2 - 9*r + 11. Let v(b) = 76*b**2 + 4*b - 5. Let l(h) = p*s(h) + 9*v(h). Is 25 a factor of l(1)?
False
Let m = 8665 - 3940. Is m a multiple of 135?
True
Let k(g) be the third derivative of -5*g**4/24 - 5*g**3/6 + 114*g**2 - g. Suppose 4*m = 6*w - 2*w + 24, 0 = 3*w - m + 14. Does 3 divide k(w)?
True
Let z = -416 - -411. Let a(n) = 35*n**2 - 18*n + 3. Is a(z) a multiple of 16?
False
Suppose -3*w - 3432 = -5*k, -5*k + 0*w - 3*w + 3408 = 0. Suppose -2*g - t + k = -3*t, -3*t = g - 322. Suppose -4*v + g = -87. Is v a multiple of 14?
False
Suppose d - 1 = -2, -4*g = 3*d + 183. Suppose -2*c + 5*c - 5*k + 176 = 0, 0 = 3*k + 15. Let s = g - c. Is s a multiple of 15?
False
Let p(z) = z**2 - 7*z + 2. Let i be p(7). Suppose 5*g = 3*l - 7*l + 391, -2 = i*g. Let r = l - 63. Does 12 divide r?
True
Is 48 a factor of 8*1 + (-12 + -2188)/(-1)?
True
Suppose t = -3, 0 = 11*q - 6*q + 5*t - 40305. Suppose 0 = -30*g + 16*g + q. Is 16 a factor of g?
True
Suppose 3*t + 3*n = -4 + 7, -n - 11 = -5*t. Suppose -62 - 112 = t*k. Let a = -39 - k. Is a a multiple of 3?
True
Suppose -5*j = -3*p - 66834, -4371*j + 4372*j = 5*p + 13380. Is j a multiple of 165?
True
Let o(s) = 18*s - 82. Let v be o(4). Let d = 358 - v. Is 16 a factor of d?
True
Is 49 a factor of 22025 + ((-1)/(-4) + -2)/((-3)/(-12))?
False
Suppose 48*a - 271381 = -151904 + 161803. Is 51 a factor of a?
False
Let r(i) = -16*i**2 - 1. Let b be r(-1). Suppose -2643 - 237 = -64*n. Let v = n + b. Is 28 a factor of v?
True
Suppose 0 = 2*i - 4 + 14, 61 = -d - 3*i. Is 57 a factor of (d/(-69))/((-4)/(-1518))?
False
Let p(k) = -k**2 - 13*k - 22. Let m be p(-11). Suppose m = -2*c + 7*c - 3*x - 59, -3 = x. Let f = c - -10. Is f a multiple of 20?
True
Let h(v) = 1997*v**2 - 206*v + 620. Does 30 divide h(3)?
False
Suppose 27*k + 66*k - 2468313 = 0. Is 164 a factor of k?
False
Let a(s) = s**2 + s + 9. Suppose 0*z = 3*m - 3*z + 18, 10 = -5*z. Is 10 a factor of a(m)?
False
Let l(x) = 6*x + 30. Let w(h) = 7*h + 30. Let z(o) = -4*l(o) + 3*w(o). Let p be z(-10). Suppose 4*t + 2*i - 30 = p, -5*i + i = -4. Does 7 divide t?
True
Suppose -9*a + 4*a = -3*i + 42076, -2*a = -5*i + 70133. Is 55 a factor of i?
False
Let p(v) = -29*v + 9. Let u(m) = m**2 + 10*m - 9. Let j be u(-10). Let i = j + 7. Is p(i) a multiple of 10?
False
Let b = 7401 + -3680. Does 6 divide (-12)/21 - (b/(-7) + 0)?
False
Let w be (12/15)/(-4)*-15 + 17921. Suppose 7384 + w = 19*k. Does 74 divide k?
True
Let t(x) = -x**2 + 9*x - 3. Let s be t(9). Let q be 1 + (-24)/(s + 5). Is 2/(-3)*891/q a multiple of 18?
True
Let n = 3521 + 2499. Is 50 a factor of n?
False
Suppose 0 = 5*i - s - 38, -14 = i - 3*i + s. Is 16 a factor of (-2)/i + 0 + (-3588)/(-16)?
True
Let j(u) = 3503*u**3 + 7*u**2 - 6*u - 12. Does 13 divide j(2)?
True
Let f(h) be the first derivative of -17*h**2 - 68*h + 95. Does 17 divide f(-10)?
True
Let w = -1 + 23. Let a(v) = -v**3 + 23*v**2 + 20*v - 20. Does 24 divide a(w)?
False
Let n be ((-6479)/57)/(3/(-18)). Let q = n + -409. Is q a multiple of 7?
True
Suppose -2*n + 13 = 3*f - n, 6 = -3*n. Let h(l) = 109*l + 152. Does 41 divide h(f)?
True
Let h = -3033 + 8797. Does 44 divide h?
True
Let c(v) = 230*v**2 - 320*v. Let y(a) = -10*a**2 + 14*a. Let r(j) = -3*c(j) - 70*y(j). Does 10 divide r(6)?
True
Let v(i) = 73*i + 4508. Does 163 divide v(-6)?
False
Let o = 6130 - 4842. Is o a multiple of 14