- 34. Let j be (-1)/(-1)*-13*(6 + u). Suppose -j*b = -47 - 70. Does 6 divide b?
False
Suppose f - 26 - 1 = 0. Suppose -f*i + 638 = -21718. Is 46 a factor of i?
True
Let c(u) = -3435*u**3 + 7*u**2 - 17*u - 24. Does 22 divide c(-1)?
False
Let p = 68 + -57. Suppose 6*k - p*k + 455 = 0. Suppose -k = -5*l + 104. Is l a multiple of 13?
True
Let f(h) = -11*h**2 + 7*h - 10. Suppose -2*y + 7*y = 15. Let v be f(y). Let x = v - -167. Is 9 a factor of x?
False
Let i = 464 + -460. Suppose -i*j - 25 = -141. Does 25 divide j?
False
Let j = -11 + 28. Let i = j + -17. Suppose 2*v - t - 125 = i, -3*v + 89 = 5*t - 79. Does 13 divide v?
False
Let y(k) = 78*k**3 - 2*k - 77*k**3 + k**2 + 6 + k. Let p be y(0). Suppose -p*r + 465 = 33. Is r a multiple of 36?
True
Is 4*(-5)/40 - (-309407)/14 a multiple of 26?
True
Suppose -5*s - 178 = -o, -s + 263 = o + 61. Suppose 2*z + o - 8 = r, 0 = 5*r - 2*z - 918. Is 8 a factor of r?
False
Let r = -21 + 24. Let v be (-4)/(r*(-8)/1980). Suppose -v = -3*b - 3*b. Is 10 a factor of b?
False
Let o be (-51)/34 - (-1 + (-34)/4). Suppose -b = -2*b + o. Is (b/5)/4 + (-58)/(-5) a multiple of 3?
True
Suppose -5 + 23 = 2*f. Suppose f = -3*g, 5*g = 4*x - 365 - 590. Let k = -119 + x. Does 17 divide k?
False
Let y(p) = 29*p**2 - 20*p - 82. Suppose 3*k - 124 = 34*k. Is y(k) a multiple of 21?
True
Suppose 5*t - 3*a = 3*t + 19, 2*t + 2*a = -6. Let o be 2 + (0 - -32*t). Suppose 2*p = -2*s + 60, 3*p - 6*s + 3*s = o. Is 3 a factor of p?
False
Let m(n) = -3*n. Let c be m(-2). Suppose -c*t + t + 365 = 0. Is 13 a factor of t?
False
Let r = 3201 + 6652. Is 33 a factor of r?
False
Suppose 29*t = 13*t. Suppose t = 40*x - 23646 - 1554. Is x a multiple of 35?
True
Let h = -1092 + 2053. Let g = -184 + h. Is g a multiple of 7?
True
Let n(k) = 4*k**2 + 7*k - 13. Let y(q) = 4*q + 3*q**2 - 6 - 3*q**2 + q**2 + q**2. Let l(d) = 3*n(d) - 5*y(d). Does 9 divide l(4)?
True
Let w(r) = r**2 - 11*r - 14. Let t be w(8). Let a be 19/t + (2 - (-141)/(-2)). Let q = a - -314. Is 35 a factor of q?
True
Let m(u) = -50*u + 2342. Is m(17) a multiple of 4?
True
Let r(m) = 9*m + 85. Let f be r(-11). Let w(i) be the third derivative of i**6/120 + i**5/4 + 5*i**4/12 - 2*i**3/3 + 3*i**2. Does 12 divide w(f)?
False
Let l(f) = -f**3 - 26*f**2 - 2*f - 75. Let i be l(-26). Let d(a) = -2*a**2 - 54*a - 16. Is 8 a factor of d(i)?
True
Does 2 divide 1/(6 - 7 - (-2726)/2724)?
True
Let f = -118 + 234. Suppose f = -0*t + 2*t. Let g = t + -32. Does 18 divide g?
False
Suppose 0 = -2536*u + 2516*u + 219040. Does 8 divide u?
True
Let o be 120/(-50)*(-20)/(-3). Let r = o - -11. Is 4 a factor of (r/3)/((3/(-36))/1)?
True
Suppose -10255 = -3*n + x, 5*x - 11858 = -5*n + 5227. Is n a multiple of 24?
False
Let i = -19 + 42. Suppose -41*x = -i*x - 864. Is 8 a factor of x?
True
Let l(g) = 18*g - 135. Let j be l(33). Is 8 a factor of (-204)/j + (-2560)/(-9)?
False
Suppose -62*i + 264000 = -4*i + 22*i. Does 150 divide i?
True
Suppose 5*u = 2*z - 35719, -55*u = -4*z - 54*u + 71465. Does 17 divide z?
True
Let k(q) = -q**2 - 269*q + 908. Does 196 divide k(0)?
False
Let o = -222 - -225. Let w(j) = 3*j**3 + 2*j**2 + 7*j - 7. Is 4 a factor of w(o)?
False
Let v(g) = -12*g - 22. Let w be v(-2). Suppose -2*r + 1038 = 4*s, 2*r = -4*s - w*r + 1036. Is s a multiple of 20?
True
Suppose -406 = -z + 1958. Suppose 4*g = -0*g - 4*f + z, -g + 4*f = -581. Is 19 a factor of g?
True
Let b(r) = -17*r + 28. Let i be b(-5). Let n = -43 + i. Is n a multiple of 5?
True
Let p(z) = 5*z**2 + 89*z - 567. Does 15 divide p(-49)?
False
Suppose 3*o + 5*f = -19, -o + 2*f - 3 + 4 = 0. Is 33 a factor of (9 + -6 - -129)/((-1)/o)?
True
Let u(m) = -427*m - 15. Let g be u(2). Let k = g + 1597. Is 54 a factor of k?
False
Let z = 57714 + -28972. Is 76 a factor of z?
False
Suppose -4*z = -3*k - k + 336, -2*z + 8 = 0. Suppose -7*o - 14*o = -1218. Let d = k - o. Is d a multiple of 6?
True
Let r(w) = w**2 - 84*w - 63. Is 3 a factor of r(87)?
True
Suppose -277*n + 4930 = 5*z - 282*n, -2*z + 1930 = 5*n. Does 20 divide z?
True
Let v = 16114 + -9946. Is v a multiple of 8?
True
Let r = -106 + 206. Suppose -476 = -g + r. Is g a multiple of 12?
True
Suppose -201204 = -6140*l + 6131*l. Is 9 a factor of l?
True
Suppose -5*m - 5 = 0, -349*r = -352*r - 5*m + 5839. Is r a multiple of 64?
False
Let p be 2/(-9) + 40/18. Suppose -2*j - p*j + 10 = -3*i, -2*j + 10 = i. Suppose 0 = i*n + 2*f - 112, 5*f + 10 = 3*f. Is n a multiple of 13?
False
Let f = 329 - 329. Suppose -26*l + 4234 + 13056 = f. Is l a multiple of 35?
True
Let w(h) be the first derivative of -h**4/4 + 4*h**3/3 - 5*h**2/2 - 7*h - 8. Let y be w(3). Let d = 55 + y. Is d a multiple of 13?
False
Suppose -3*p = 2*s + 10, 0 = 3*s - 3. Is 55 a factor of p/10 + (-3924)/(-10)?
False
Let l = 1594 + -290. Does 8 divide l?
True
Let k = 17128 - 16523. Is 8 a factor of k?
False
Let g = 82 - -476. Let v = g - -254. Does 116 divide v?
True
Does 9 divide 67/4*(37 + 3)?
False
Suppose v - 3*v + 22 = 0. Suppose 7*f - 3 - v = 0. Suppose -j - 293 = -f*s, 2*s - 4*j - 260 = 30. Does 15 divide s?
False
Is 108 a factor of (90/(-105) + (-2688)/(-49))*(-300)/(-2)?
True
Let u(s) = s**2 + 22*s - 22. Let f be u(-23). Let k(n) = 45*n - 1. Let j be k(1). Let h = f + j. Does 3 divide h?
True
Suppose -39*v + 287 = -32*v. Suppose -2772 = -v*y + 34*y. Is y a multiple of 22?
True
Let x(i) = -28*i - 2848. Is x(-139) a multiple of 261?
True
Suppose 4 = 4*n - 3*n - 5*j, 0 = 2*n - 3*j - 15. Suppose -5*f - 5*v + n*v = -315, -4*f - 5*v = -252. Is f a multiple of 9?
True
Let a = 4538 + -3328. Is 22 a factor of a?
True
Suppose 3 = -3*t + 4*k, 0 = -3*t + 8*k - 11*k + 18. Suppose -7*f + 3610 = t*f. Is 19 a factor of f?
True
Let p(x) = -x - 2. Let y(a) = 30*a + 50. Let i(k) = -15*p(k) - y(k). Is 10 a factor of i(-8)?
True
Let w be (-160)/(-24)*(4 - (-15)/(-6)). Suppose 2*g - 34 = -w. Does 3 divide g?
True
Let d = 701 - 369. Suppose -8*l = -10*l + d. Is l a multiple of 16?
False
Let f be (86 + 4)/(3/10). Suppose f = m + 3*z, 4*m - 2*z - z - 1200 = 0. Does 20 divide m?
True
Suppose 23*k - 3739 = -3*c + 24*k, -5*c = -4*k - 6234. Is 7 a factor of c?
True
Let n(w) = w**3 + 23*w**2 + 20*w + 76. Suppose -5*v - 41 = 2*r - 8*v, 4*r + 3*v + 91 = 0. Is n(r) a multiple of 40?
True
Let k(p) = p**3 + 14*p**2 - 5*p - 4. Suppose -605 = 5*z + 4*a, 4*a = 5*z + 412 + 193. Let f = z - -107. Is k(f) a multiple of 4?
False
Suppose -2860 = -9*z - 2*z. Suppose 11*d - 16*d - 3*s + 426 = 0, -z = -3*d - 4*s. Is 3 a factor of d?
True
Let r be (-44)/(-55) + 292/10. Suppose -523 = -3*v + 2*g, v - 219 = -3*g - r. Does 57 divide v?
False
Let w(t) = -t**3 - 31*t**2 - 56*t + 70. Let x be w(-29). Let s(d) = 122*d - 402. Is 59 a factor of s(x)?
True
Let c be ((-33)/(-4) - -4) + (-2)/8. Suppose 0 = -9*j - 3*j + c. Is 6 a factor of ((-306)/24 - -1)/(j/(-4))?
False
Let m be (-9)/(27/(-138))*(-6)/12. Let g(k) = k**3 + 26*k**2 + 53*k - 103. Does 18 divide g(m)?
False
Suppose 0 = -7*d + 3*d + v - 21, 0 = -2*d - 5*v - 5. Let j(r) = -4*r - 14. Let x be j(d). Let p(s) = -s**3 + 10*s**2 - 6*s - 14. Does 20 divide p(x)?
False
Suppose 0 = -77*k + 69*k + 2344. Let s = 698 - k. Does 20 divide s?
False
Suppose -20 = 4*t, 2*t = b + 69 + 73. Let y = 280 + b. Is y a multiple of 10?
False
Let w(q) = q**3 - 98*q**2 + 298*q + 377. Is 66 a factor of w(96)?
False
Let a(m) = -m**2 + 44*m + 103. Let i be (-1 - 2/1)*3450/(-225). Is a(i) a multiple of 3?
False
Suppose -9 = 21*h - 492. Suppose 18*u = h*u - 8405. Is 17 a factor of u?
False
Let b(m) = -32 - m**2 + 11*m**2 + m - 2*m - 9*m. Does 11 divide b(-7)?
True
Suppose -4*x + 36984 = 2*u, -201*x - 9290 = -202*x + 5*u. Is x a multiple of 25?
True
Suppose f - m - 3573 = 0, -7*f + 4*f + 2*m + 10726 = 0. Does 6 divide f?
False
Suppose -2*h + u = -364, 2*h - 2*u - 411 = -47. Suppose -4*f + 888 = 4*s, -s = 3*f - h - 480. Is 20 a factor of f?
True
Suppose 2*r + 28338 = 5*x, 5*r = -2*x + 545 + 10738. Is 59 a factor of x?
True
Suppose 0 = 15*q - 12*q - 699. Suppose 2*i - 1124 = 5*t, -i + 3*t + 796 - q = 0. Suppose i = 5*n - 3. Does 21 divide n?
False
Let q be 1/7 + 574/98. Suppose -1611 - 243 = -q*j. Is 11 a factor of j?
False
Suppose -1598 = -5*t - 158. Let a = t + -217. Does 52 divide a?
False
Let m(p) = -9*p**3 - 149*p**2 - 27*p + 80. Does 15 divide m(-25)?
True
Let c(