 Suppose 169 = 6*o - v. Is o a multiple of 16?
True
Let q = 59 - 24. Let j = q - 189. Let f = -26 - j. Is 20 a factor of f?
False
Let f = -6 - -12. Suppose -f + 33 = 9*r. Suppose 5*v - 45 = -r*q - q, -2*q + v = -33. Is 5 a factor of q?
True
Let k = 26477 - 1303. Is 302 a factor of k?
False
Let a = 27 + -22. Suppose -a*r = -4*k - 16, -8*r + 7 = -k - 6*r. Let g = k + 104. Does 21 divide g?
True
Let c(b) = 9*b + 34. Let q be c(-4). Is (380/(-57))/(q/111) a multiple of 37?
True
Let y = -333 + 167. Let s = -126 - y. Is 5 a factor of s?
True
Let m(b) = b**3 + 9*b**2 - 8*b + 17. Let a be m(-10). Let i be (a - -5)/(-2) + 105. Suppose -2*l = -i - 50. Is l a multiple of 11?
True
Let p(y) = -37*y + 73. Let c be 0*(-1)/(-3) + -1 + -4. Let u(g) = 56*g - 109. Let k(q) = c*u(q) - 8*p(q). Is 9 a factor of k(9)?
False
Suppose -5*n - 424*g + 327205 = -429*g, g = 2*n - 130883. Does 13 divide n?
True
Does 9 divide ((9114/(-9))/7)/((-272)/45 - -6)?
False
Let w(u) be the second derivative of -u**3/6 + 2*u**2 - 6*u. Let a be w(-13). Let q(g) = g**3 - 16*g**2 - 11*g - 19. Is q(a) a multiple of 10?
False
Let g(l) = 12*l + 37. Suppose 0*c - 2*c = -5*v + 53, -4*v + 3*c + 41 = 0. Does 43 divide g(v)?
False
Let z be (-782)/(-69) + (-2)/6. Suppose 22 + z = 11*d. Suppose -5*y - 79 + 7 = -4*k, 4*y + d = -k. Is k a multiple of 8?
False
Let c(u) = 158*u**2 + 102*u + 437. Is 28 a factor of c(-20)?
False
Suppose 2*b - 5*x = 18290, 64*b + 2*x + 9146 = 65*b. Is 25 a factor of b?
True
Let v be (1/(-5))/((-12)/(-45))*-744. Suppose 0 = 8*k - v - 514. Is k a multiple of 43?
False
Let a = 198 - 130. Suppose 0 = -d + 4*q - a, 2*d + 72 = 5*q - 58. Let n = 68 - d. Does 11 divide n?
False
Let h = 13781 - 6675. Is h a multiple of 4?
False
Let i = -3723 - -4331. Is i a multiple of 2?
True
Let v = -25736 - -40556. Is 10 a factor of v?
True
Suppose -2*y + j + 891 = 0, -3*j = 4*y + 667 - 2454. Suppose 3*v - 850 = y. Is v a multiple of 12?
True
Suppose 0 = 3*c - 6*w + w + 1, -4*c = 2*w - 16. Suppose -c = -3*l + 9. Suppose 0*s + 2*s = l*u + 232, 328 = 3*s - u. Is 36 a factor of s?
True
Let n(h) = 12*h - 2. Let r be n(3). Suppose 5*z = -24 + r. Suppose 3*i + 774 = 4*t, 252 = z*t - 4*i - 140. Is 16 a factor of t?
True
Is 256235/15 + ((-52)/(-96) - 1/(-8)) a multiple of 9?
False
Let r(t) be the first derivative of -81*t**2/2 - 38*t + 129. Is r(-5) a multiple of 34?
False
Let j be (-5 + 4 + 1)/(-2 - -5). Suppose j = -n + 4*n. Suppose -a = -0*o - 2*o + 64, -o - a + 29 = n. Is 19 a factor of o?
False
Suppose -25*b + 105704 = 19854. Is b a multiple of 17?
True
Let w be (6/(-21) - (-1514)/56)*-4. Let n = w + 224. Is 4 a factor of 3*4/(-48) + n/4?
False
Suppose -54621 = -13*y + 9430. Does 13 divide y?
True
Let l = 3213 - 1701. Does 22 divide l?
False
Let k = -102 - -112. Suppose k*y + 5*c = 11*y - 471, 2*y - 4*c = 924. Is 19 a factor of y?
True
Suppose -2828*f - 980960 = -2860*f. Does 76 divide f?
False
Suppose 4*b - 3941 = 2*p + 1485, -5*p = -5*b + 6775. Suppose 2*l - b = 278. Is l a multiple of 12?
False
Let d = 39 - 35. Is (d - 2)/(4/686) a multiple of 19?
False
Suppose 217*t = 244*t - 283743. Is 9 a factor of t?
False
Suppose 3*n = 7 + 17. Let s(x) = x + x + 6*x + n*x**2 - 20 - x**3. Does 20 divide s(6)?
True
Suppose -300*j + 819888 = -114*j. Is j a multiple of 15?
False
Let b be 14*(-4)/(7 + 1). Let q(s) = -15*s - 23. Let l(t) = -14*t - 24. Let c(w) = 4*l(w) - 3*q(w). Is 12 a factor of c(b)?
False
Let d(m) = m**3 + 7*m**2 + 10*m + 4. Let h be d(-4). Suppose 3*j + h - 3 = 0. Does 19 divide ((-3 - j) + 1)*(73 + 0)?
False
Let o be 15/6*8/10. Suppose 2*v = -4*u + 756, -o*u = 5*v - 0*u - 1850. Is v a multiple of 21?
False
Let k = 417 + -82. Suppose 4*m - a = -3*a + 24, 5*m - a - 23 = 0. Suppose v - k = -0*t - m*t, -3*v = 5*t - 345. Does 11 divide t?
True
Suppose 5*m - 1847 = 2*z + 6165, 2*z = -5*m + 7988. Is 16 a factor of m?
True
Let x = 45 + -37. Suppose -x*h = -26 + 2. Suppose -10*u + 5*u - 165 = -4*i, 0 = -4*i - h*u + 125. Is i a multiple of 35?
True
Let m be -132*(-7)/(224/232). Suppose 7*f + p - m = 5*f, -p = 3. Is 59 a factor of f?
False
Let h(b) = 75*b**2 + 245*b + 30. Is 15 a factor of h(18)?
True
Suppose -15 = -2*u - 5. Suppose -u*i = -12*i. Suppose i = -8*a - 1073 + 3473. Does 30 divide a?
True
Suppose -3*x - 6*p + 15 = -10*p, 5*x + 5*p - 25 = 0. Suppose 3*u - 720 - 376 = -4*a, -2*u = -x*a - 700. Does 20 divide u?
True
Suppose 5*d - 72237 = -20*h + 17*h, -2 = 2*h. Is d a multiple of 24?
True
Suppose 4*q - 8*s - 6790 = -11*s, 0 = -4*q + 3*s + 6778. Is 32 a factor of q?
True
Suppose -2*t = -5*g + 45, 0*g - 21 = -g - 2*t. Suppose -g*r - 4*r = -930. Does 12 divide r?
False
Suppose -5*f - 319 = -u, 2*f + 3*u = 2*u - 129. Let s = 36 + f. Is ((-3)/(9/s))/((-10)/(-90)) a multiple of 12?
True
Is (1 + (-2)/6)*(-55 - -58) - -1215 a multiple of 30?
False
Let j(r) = -3*r**2 + 46*r + 6. Let d = 620 + -608. Does 14 divide j(d)?
True
Let j be (-12)/(-14) + 12 + (-160)/56. Let x(b) = 12*b + 4*b**2 + 1 + 2*b**2 - 7*b**2 + 0*b**2. Is x(j) a multiple of 6?
False
Let k(u) be the second derivative of 10*u**3 - 5*u**2 - 2*u - 150. Is 6 a factor of k(2)?
False
Is (1466/(-3))/(-1) - (-140)/(-84) a multiple of 13?
False
Suppose -3*z + 2*z + 14 = 2*r, -3*z + 3*r = -33. Let b(n) = -7*n + 6 + z + 9*n - n. Is b(13) a multiple of 8?
False
Let m(f) = 4*f**3 - 8*f**2 + 61*f + 2. Is m(10) a multiple of 36?
False
Let j = -142 - -24. Let i = j - -122. Suppose 579 = i*u - c - 4*c, u + c = 156. Is u a multiple of 18?
False
Let y = -355 - -525. Suppose p - y = -p. Suppose -4*w + 8 = -4*m + 68, -5*m + p = 5*w. Is m a multiple of 2?
True
Suppose -5*t + z + 13725 = 0, 0 = -6*t + 3*t + 4*z + 8252. Does 56 divide t?
True
Is 12 a factor of ((-1078)/(-11))/(-14) - 105670/(3 - 8)?
False
Let g = 23394 + -8944. Does 38 divide g?
False
Let f(t) = -103*t + 740. Is f(-50) a multiple of 24?
False
Suppose -12*z = -v + 32086, -3*v + 4*z + 85615 = -10355. Is 59 a factor of v?
True
Let i(k) = -4*k**3 - 15*k**2 + 6*k + 9. Let d be i(-4). Does 37 divide d/(-5 - -4) - -38?
True
Let k = -235 + 239. Suppose -k*a + 2*q = -1970, -2*q - 1965 = -4*a - q. Is a a multiple of 35?
True
Let o(b) = 382*b**3 + 4*b**2 - 3. Let g(s) = -s**2 + s + 3. Let v be g(2). Does 24 divide o(v)?
False
Is 49 a factor of 64/(-1504) + (-3454410)/(-94)?
False
Let f(u) = u - 6. Let i be f(-1). Let l(n) = 7*n**2 - 2*n + 2. Let c be l(i). Suppose -280 = -4*r - 0*m + m, 5*r = -m + c. Is r a multiple of 12?
False
Let t(n) = 416*n - 173. Does 22 divide t(17)?
False
Suppose 2*t = -a + 60, -4*a = a + 4*t - 324. Suppose 0 = -2*n + a + 80. Suppose -39 = -f - 2*s + n, -12 = -3*s. Does 21 divide f?
True
Suppose 4309 = 2*y + 2*w - 6811, 0 = y - 5*w - 5566. Does 47 divide y?
False
Let v(u) = 176*u**3 + u**2 - u + 2. Let o be v(1). Suppose -2*y + 78 = -o. Does 15 divide y?
False
Is 5 a factor of 20/35 + ((-107700)/(-28) - -3)?
True
Suppose i = -5*c + 7184, -2*i = 4*c - 7208 + 1462. Is 56 a factor of c?
False
Let m = 349 - 348. Is m + 128 + 0 + 4 a multiple of 8?
False
Let l = -44 - -46. Let k(q) = -69*q + 13. Let m be k(-6). Suppose 2*d - l*o = 294, -2*d + 5*o = 142 - m. Is 30 a factor of d?
True
Let k(h) = h**3 + 10*h**2 + h + 10. Let u be k(-10). Suppose -2*v - 61 = 5*l - 13, 2*v + l + 40 = u. Let a = 88 + v. Does 23 divide a?
True
Suppose 2531 = 4*h - 2*j - 779, 5*j - 4175 = -5*h. Is 29 a factor of (6 + -3)/(30/h)?
False
Suppose 0 = -15*o + 74537 + 72678 - 24455. Is o a multiple of 124?
True
Let k(d) = 2*d**3 + 2*d**2 + 4*d - 9. Let v(j) = -1548 + 5*j + 2*j**2 + j**2 + 1538 + 2*j**3. Let z(o) = -6*k(o) + 5*v(o). Does 6 divide z(-2)?
True
Suppose 4*k - 420 = k. Suppose -3*u + u + 8 = 0. Suppose k + 20 = u*f. Does 26 divide f?
False
Let q = -66 + 52. Let u be (-26)/q - 4/(-28). Suppose -u*g = -3*g + 91. Is g a multiple of 7?
True
Let l be (-4)/(64/20) + 11778/8. Suppose -l - 1277 = -6*f. Is 15 a factor of f?
False
Let h(r) = -3*r**2 + 1. Let v(z) = -6*z**3 + 10*z**2 + 3*z - 1. Let c(k) = 4*h(k) + v(k). Let m be ((-18)/(-4))/9*-4. Is c(m) a multiple of 18?
False
Let v(h) = h**3 + 3*h**2 - 5*h - 9. Let a be v(-2). Suppose 51 = s - q, 3*s - 231 = -s - a*q. Is s a multiple of 24?
False
Suppose 55*q = 60*q + 5. Let l(a) = -11*a**3 + 2*a**2 + a. Let i be l(q). Suppose 4*u = -16, -4*u = -3*p + 178 