l. Is d a multiple of 17?
True
Let c(b) = -b**3 - 62*b**2 - 348*b + 195. Does 30 divide c(-56)?
False
Is 2/21 + 2804822/1554 a multiple of 95?
True
Suppose 9*b = 15*b + 486. Does 11 divide (b/6)/((-6)/60)?
False
Let g(p) = 19*p**2 + 11*p + 9. Let c(v) = -9*v**2 - 6*v - 5. Let n(i) = 5*c(i) + 2*g(i). Let k(j) = j + 1. Let x(z) = -5*k(z) - n(z). Does 5 divide x(-2)?
False
Suppose 64 = -5*g + 2*z, 6 = 3*g - 2*z + 46. Let k = 708 + g. Is 87 a factor of k?
True
Let p = 1128 - 1148. Let x(r) = -5*r - 10. Let c be x(7). Let b = p - c. Is 2 a factor of b?
False
Is 10 a factor of 6276*(629/(-51) - -14)?
True
Let a = -189 - 42. Is 17 a factor of 1/7 - 138798/a?
False
Let v(d) be the third derivative of d**4/12 + 17*d**3/6 - 2*d**2. Suppose 0 = q + 4*f - 13 + 5, -5*q = 5*f - 40. Does 8 divide v(q)?
False
Let z = 21703 - 11499. Is z a multiple of 5?
False
Let v = -61 + 67. Suppose 4*t - 32 = -3*z, z - 4 = -t + v. Does 12 divide 74/(((-28)/z)/(-7))?
False
Suppose 2*p - 3 = 3. Suppose -p*u + 0*u - 39 = -5*r, 3*u - 6 = 0. Suppose 66 = -6*b + r*b. Does 5 divide b?
False
Suppose 24*b + 5635 = 23779. Suppose -b = 2*i - 950. Is i a multiple of 5?
False
Let g(w) = -60*w**3 - 2*w**2 + 3*w + 27. Let i be g(-3). Let q = i + -1028. Is q a multiple of 34?
False
Let y = 1603 - 990. Let l = y - 541. Is 7 a factor of l?
False
Is 8 - (4/5 - 177380/100) a multiple of 18?
False
Let m(z) be the second derivative of z**3/2 + 51*z**2/2 - 4*z. Let j be m(-16). Suppose 0 = j*t - 4*r - 179, 0 = -2*t + r + 61 + 65. Does 13 divide t?
True
Suppose v - 4*v = 5*x - 57, 5*v = -2*x + 38. Let g(k) = 0 + 7 + 19*k - 16*k + 8 + 7 + k**2. Is 23 a factor of g(x)?
False
Let o = 479 - 481. Is (-77)/o*3500/245 a multiple of 22?
True
Let z = 38820 - -9526. Is 17 a factor of z?
False
Let m = -23 - -18. Let j = m + 5. Does 4 divide 5*7 + j/3?
False
Suppose 0 = 516*p - 514*p - 11340. Is 35 a factor of p?
True
Let t(q) = 2*q**2 + 13*q - 45. Let x be t(-9). Suppose x = -3*r - 4*m + 524, -2*r + 76 = -5*m - 304. Is r a multiple of 20?
True
Let y(m) = 340*m**2 - 28*m + 10. Let t be y(3). Suppose -646 = 13*d - t. Is d a multiple of 9?
True
Let d = 265 - 253. Is 8 a factor of (-1727)/(-6) - (-2)/d?
True
Suppose 6*r + 57 = 459. Suppose -r = 2*t - 245. Let h = t + -53. Does 4 divide h?
True
Suppose -13*w + 16 = -9*w. Let r be (1 - (3 - -1)) + w + -64. Let p = 1 - r. Is 18 a factor of p?
False
Let u(g) = 2*g**3 - 13*g**2 + 9*g - 13. Let n be u(6). Suppose 5*l - 376 = -2*t, -940 = -n*t - 0*l + 3*l. Is 25 a factor of 3/(3/t*2)?
False
Let o(w) = -2*w**2 - 15*w + 11. Let d(i) = -i**2 - 7*i + 5. Let u(q) = -5*d(q) + 2*o(q). Let r be u(-5). Does 5 divide (-3)/((r/2)/(50/5))?
True
Suppose 3*b + v - 56996 = 0, -4*b - 260*v + 264*v = -75952. Is b a multiple of 13?
False
Suppose -4 = -2*b + 4*v, 4*b + 0*b = -3*v + 41. Let a be (b/6)/1*(-78)/(-52). Suppose -t = 0, -l = a*t - t - 74. Is 10 a factor of l?
False
Let h = 10 - 5. Suppose 3*m - 8*b - 793 = -10*b, -h*m + 1327 = 2*b. Is 23 a factor of m?
False
Suppose 8*t = -45*t + 114138 + 40410. Is 18 a factor of t?
True
Is -12754*(-3 - (-35)/14) a multiple of 11?
False
Let a(o) = -o - 1. Let i(b) = 2*b - 3. Let d(g) = 3*a(g) + i(g). Let v be d(-10). Suppose 0 = -3*p + v*p - 78. Is p a multiple of 13?
True
Suppose -s = 2*h - 1088, -1039 = -s - h + 48. Suppose -s = -f + d, -5*d = 2*f - 1664 - 536. Is f a multiple of 16?
False
Suppose 0 = 2*o + 6*f - 3745 - 1961, 2*o + 2*f - 5706 = 0. Is o a multiple of 18?
False
Suppose 160*u + 67019 = 189*u. Is 10 a factor of u?
False
Suppose -35*i + 41*i = 5*g - 7770, -3*g = 5*i - 4619. Is g a multiple of 36?
True
Let l(f) = -23*f + 3. Suppose -3*t + 7 + 50 = 0. Let g = -20 + t. Does 5 divide l(g)?
False
Suppose 0 = 22*o - 26*o + 2*n + 5784, -5*n - 11574 = -8*o. Is o a multiple of 11?
False
Suppose 5*f - 8311 = k, 6651 = 4*f + 20*k - 23*k. Is 3 a factor of f?
True
Let u be 7 + -10 + 73*-1. Let l be (-160)/3*(-12)/(-40)*-12. Let o = l - u. Is 28 a factor of o?
False
Let n(a) = 2*a**3 + 27*a**2 - 12*a + 29. Let y be n(-14). Is 19 a factor of 8/10*(y + 558/12)?
True
Let s = -79 + 84. Suppose 1620 = -4*v + s*h + 6987, -2*v = -3*h - 2685. Is v a multiple of 25?
False
Suppose -3*v - 4*x = -5752, 3*x + 7711 = 6*v - 2*v. Is v a multiple of 88?
False
Let d = 150 - 123. Let y(c) = c**3 - 28*c**2 + 27*c + 63. Is y(d) a multiple of 7?
True
Is (42/(-7))/(-3) - (-5 - 29035/5) a multiple of 28?
False
Does 19 divide 19962357/589 - (-1)/19?
False
Let r = -224 + 698. Suppose -2*g + r + 228 = 0. Is g a multiple of 39?
True
Let o = 1073 + -412. Let p = 704 - o. Is p a multiple of 11?
False
Suppose 8*g = 2*s - 18612, -5*s + 3*g = -0*s - 46428. Is 119 a factor of s?
True
Suppose 3*s - 2 = 2*y + s, 5*s - 17 = y. Suppose -4*b + 5 = m - 0*b, -y*m + 15 = 2*b. Suppose m*i = 367 + 18. Is 11 a factor of i?
True
Let a = -8713 - -19461. Is 142 a factor of a?
False
Let j = 214 + 389. Let g = j - 322. Is 21 a factor of g?
False
Let i be (-1)/(-1)*(-1 - -50)*-1. Is 3 a factor of ((-18)/(-63))/((-1)/i)?
False
Suppose -6*d = -3*d + 6*d. Suppose 0 = 9*t - d*t - 99. Does 7 divide t?
False
Let a(o) = -o**2 - 6*o + 6. Let y be a(-3). Suppose 16*c - y*c - 11 = 0. Is c even?
False
Let i = -25448 - -42923. Is i a multiple of 14?
False
Suppose 7 = 2*k - 5*n, -3*n - 17 = -3*k - 2*n. Let v(z) = 3 - k + 7 + 5*z + 25. Is v(8) a multiple of 17?
False
Let u = -49 - -48. Let q(w) be the second derivative of -7*w**3/2 - 3*w**2/2 - 25*w. Does 7 divide q(u)?
False
Let m(f) = -6*f**2 - 33*f + 25. Let g(b) = 17*b**2 + 99*b - 76. Let w(u) = -4*g(u) - 11*m(u). Let d be w(-16). Is 29 a factor of (-2829)/(-15) - (-18)/d?
False
Let m(b) = 3*b**2 + 18*b - 18. Let u be m(-7). Suppose u*s + 2*w - 2653 = 0, 5*w + 2066 = 5*s - 2364. Is s a multiple of 5?
True
Suppose -120 = s - 5*s. Let x(j) = s + 32*j**2 - 4*j - 12 - 16. Is x(1) a multiple of 10?
True
Let b(u) be the first derivative of 199/3*u**3 - 1/2*u**2 + 0*u + 17. Does 50 divide b(-1)?
True
Suppose 63 + 92 = u - 3*p, 3*u = 4*p + 485. Let d = 193 - u. Is d a multiple of 13?
True
Suppose -3*v - 4*s = 2*v - 45, -5*s = 5*v - 45. Let i be (435/v)/(0 - (-1)/(-6)). Does 14 divide (68/(-85))/(4/i)?
False
Suppose 185 = 20*c - 1675. Let n = -2 + 1. Does 44 divide c + 0*n/3?
False
Let m be -3*(-12)/(-27)*(-4 + 1). Suppose -k + 2*b = -359, 1458 = 4*k - b + m*b. Is k a multiple of 33?
True
Let g(y) = 18*y**2 + 1503*y + 32. Is 130 a factor of g(-98)?
True
Let d(s) = -s - 6. Let o be d(-8). Suppose -5*w + 2500 = -o*m, -2*m + m = 2*w - 1009. Suppose 3*b + 4*f = w, -b + 4*f + 716 = 3*b. Does 29 divide b?
True
Let a(z) = 46*z**3 + 10*z**2 - 10*z + 19. Let t(r) = 70*r**3 + 16*r**2 - 15*r + 28. Let s(y) = 8*a(y) - 5*t(y). Is 44 a factor of s(3)?
False
Suppose -h - 39 = -2*i + 216, 0 = -2*i + 2*h + 250. Suppose 2*s - 94 - i = 0. Is s a multiple of 16?
True
Let i(n) = 257*n - 870. Does 19 divide i(22)?
False
Let o = -164 - -167. Suppose 3*n - 86 = -m, 11 = o*n + 4*m - 63. Does 15 divide n?
True
Let b(h) = 127*h**2 + 6*h + 4*h + 697 + 705 - 1399. Does 35 divide b(-1)?
False
Let x = 28635 + -18816. Is 9 a factor of x?
True
Let c(i) = 88*i**2 - 87*i - 932. Is 44 a factor of c(-11)?
False
Suppose c - 5*a = 9074, 9*c - 3*a = 8*c + 9084. Is c a multiple of 13?
False
Let i(k) = -3*k**2 - 37*k - 18. Let l = 82 - 94. Let a be i(l). Does 23 divide (-918)/(-8) + a + (-25)/(-4)?
True
Does 31 divide (7 - (1 - (175/(-21) + 3)))*21921?
False
Let s(o) = 5*o**2 + 3*o - 12. Let h = -38 + 46. Is 7 a factor of s(h)?
False
Is 8 a factor of 9/(-1) + 15991 + 684?
False
Suppose -3*m - 426 = -5*p + 8*p, 2 = 2*p. Let t = 9 - m. Is t a multiple of 38?
True
Is 23 a factor of (6208/1164)/((-2)/(-8556))?
True
Let j(z) = z - 17. Let n be j(-26). Let k = 47 + n. Suppose -k*u + 454 = -554. Is 21 a factor of u?
True
Let k be 2*3/(-6)*36. Does 18 divide (-1)/(-4) + (-17487)/k?
True
Let y(u) = u**3 - 12*u**2 + 12*u - 10. Let o be y(11). Let d be (0 - (2 - 3))/(o + -2). Is 10 a factor of 63 - (-6 + 3 + d)?
False
Let s(c) = c**3 + 15*c**2 + 22*c - 1. Let b(z) = -5 + z - 13*z**2 + 9 - 5 + z. Let t be b(1). Is s(t) a multiple of 16?
False
Suppose 16*i - 369 = -129. Let r(z) = 3*z - 40. Let v be r(i). Suppose v*y = 9*y - 540. Is 45 a factor of y?
True
Suppose 5*t + 3*o = 258, -306 = -5*t + 4*o - 20. Let l 