 of x?
False
Let u = 6242 - 3560. Does 139 divide u?
False
Let d(f) = -51*f**2 + 2673*f + 47. Is 55 a factor of d(42)?
False
Suppose -18 = w + 2*w. Let o(k) be the first derivative of -k**4/4 - k**3/3 + 5*k**2/2 - 4*k + 1878. Is o(w) a multiple of 27?
False
Let g(t) = -342*t - 4307. Is 4 a factor of g(-32)?
False
Suppose -60*u = -65*u + 2235. Suppose 3*i - u = -3*f, -3*i = -0*f - 2*f + 318. Does 51 divide f?
True
Does 11 divide (5 + -9)/(176/(-599588))?
False
Let y be -4*(21/(-4) + 6/2). Suppose y = 9*p + 324. Let w = 77 + p. Does 21 divide w?
True
Let l be 279/(-155)*25/(-1). Is 30*(747/l + 1) a multiple of 48?
True
Suppose -4*w = -3729 + 629. Does 32 divide w?
False
Let l = 11265 - 3139. Does 160 divide l?
False
Let r(b) = -288*b + 14. Let k be r(-1). Let v = -290 + k. Is v a multiple of 6?
True
Let o = -84 + 219. Suppose -v - o = -2*d + 228, 2*d = 5*v + 367. Is 33 a factor of d?
False
Let i(o) = o**3 + 6*o**2 - 43*o - 10. Let b be i(-10). Suppose b*y = 12*y + 560. Does 2 divide y?
True
Let z = 457 - 306. Is z + 5 + (-10)/(-2)*1 a multiple of 23?
True
Let f = 137 - 118. Suppose f*w = 40*w - 2121. Does 3 divide w?
False
Let v(b) = -56*b**3 + 3*b**2 + 29*b + 2. Does 33 divide v(-4)?
False
Suppose 5*q - 4338 = 10695 + 11592. Is 32 a factor of q?
False
Let f = 29 - 26. Suppose f*t = -t - 5*y - 43, -2*y - 6 = 0. Let m = 59 + t. Is 26 a factor of m?
True
Let x = -4223 - -5023. Is x a multiple of 10?
True
Suppose 0 = 33*y + 2*y - 5180. Is y a multiple of 12?
False
Let o be (-3 - -8) + 1/2*-6. Suppose -4*g = k - 71, -4*k - o*g + 328 = 3*g. Is 3 a factor of k?
True
Let q = 88 - 146. Let a = q + 63. Suppose 3*p + 719 = a*t, 0 = 2*t - 0*t - p - 288. Is t a multiple of 29?
True
Suppose -1956 = -14*t + 2*t. Let i = t - -53. Does 9 divide i?
True
Let l = 0 + 3. Suppose 34 = 5*q + l*u, -9 = -4*u + u. Suppose 5*p = 4*v - 451, 0 = -4*v - q*p + 233 + 268. Is v a multiple of 14?
False
Suppose -i + 3*f + 17 = 0, 2*i - f = -0*f + 14. Suppose -i = -8*d - 21. Is (-8 - -6) + (d - -60) a multiple of 21?
False
Let w(d) = -d**2 + 8*d + 13. Let q be w(9). Let n(u) = -6*u + 19. Let f be n(q). Is 16 a factor of 3*(4 + f) - -163?
True
Let o(d) = -d**2 + 3*d + 592. Let g be o(0). Suppose 10*u - g = 3038. Is u a multiple of 33?
True
Suppose -23*c - 153387 = -62*c - 18*c. Is 2 a factor of c?
False
Suppose -14*i + 11*i + 3*p = -13647, -5*i = -4*p - 22744. Is 102 a factor of i?
False
Suppose -36 = 34*g - 22*g. Does 21 divide 220/((-6)/(-15 - g))?
False
Let x(m) = m**3 - 14*m**2 + 55*m + 22. Does 4 divide x(5)?
True
Let c(i) = -138*i + 56. Does 8 divide c(-23)?
False
Suppose 62 = 3*g + 4*s - 3*s, -5*g + 90 = 5*s. Let u = g - 30. Is (-3 + 1)*92/u a multiple of 19?
False
Let w(v) = 2*v**2 + 127*v + 941. Is 3 a factor of w(-8)?
False
Let s(x) = -448*x - 62. Let k be s(10). Is 12 a factor of 6/(-21) + k/(-21)?
True
Let h = -223 + 348. Suppose -148 = -q - 3*f, -4*f + h = 4*q - 507. Is q a multiple of 11?
False
Let p = 8 - 8. Let q = 339 + -328. Suppose 3*y - q*y + 528 = p. Is 24 a factor of y?
False
Let f(o) = -o**2 - 25*o - 65. Suppose 16*k = 13*k - 66. Let q be f(k). Is 6 a factor of (-413)/(-14)*(1 + q/1)?
False
Let y = 12120 - 9359. Is 17 a factor of y?
False
Let f = 3878 + -3873. Let s be (6/(-4))/(3/(-4)). Suppose -4*r + 59 = 3*v, f*r + s*v - 76 = -v. Is 4 a factor of r?
False
Let q = 142 + -144. Let s(f) = -4*f**3 - f**2 - 2*f - 3. Let j be s(q). Let c = 99 - j. Is 14 a factor of c?
True
Let n(f) = 9*f**2 - 31*f - 3. Suppose -9*a - a + 70 = 0. Does 20 divide n(a)?
False
Suppose -17*l = -18*l + 67. Suppose -3*v = -5*u - 416, -5*u - 63 = -v + 79. Let q = v - l. Is q a multiple of 14?
True
Let g = 19426 + -3056. Does 10 divide g?
True
Let t(u) be the third derivative of 41*u**6/12 - u**5/20 + u**4/12 + 61*u**2. Is 34 a factor of t(1)?
False
Suppose -k = -3*g + 5767, 2*k - 2 = 8. Suppose 4*t = g - 612. Is 41 a factor of t?
True
Let n(b) = b**3 + 2*b**2 - 2*b + 2. Let i be n(2). Suppose -s = i - 17. Suppose 5*h - 1169 = c, 0 = -s*h + 4*h + 3*c - 237. Does 39 divide h?
True
Let t(i) be the second derivative of 7*i**3/6 + 18*i. Let f be t(1). Suppose c = m - f, 4*c - 8 - 4 = -4*m. Does 5 divide m?
True
Let x be 8/28 + (-33135)/(-35). Suppose 7*c - 817 = x. Does 14 divide c?
True
Let w(o) = 629*o**2 + 14*o - 15. Does 59 divide w(2)?
False
Suppose -3*m + z = -326 + 88, -5*m + 400 = -z. Let p be (4/(-6))/((-6)/m). Suppose p*k + 16 = 13*k. Does 4 divide k?
True
Suppose w = -4*a - 177, -6*w + 240 = -5*a - w. Let g = a - -56. Suppose -4*m - 3*z - g = -93, m = 4*z + 11. Is 7 a factor of m?
False
Let l = -752 - -754. Is 3 + (14/l - 7) a multiple of 3?
True
Let h(w) = 14 + 2*w + 7*w - 14 - 15 - 5*w. Suppose -30 = -x - 13. Does 9 divide h(x)?
False
Let h(d) = -47*d - 18. Let a(r) = -94*r - 38. Let g(o) = 6*a(o) - 11*h(o). Is 3 a factor of g(-3)?
True
Let s be (6 + -4)*4/(8/549). Let n = s - 389. Is 32 a factor of n?
True
Let p = 70 - 48. Suppose 0*z + 5*l - p = -3*z, 2*z + l - 10 = 0. Suppose 4*b = -z, 3*x - 2*x - 5*b = 31. Is 3 a factor of x?
False
Let g = -137 + 241. Suppose 0 = -k - 10*p + 13*p + 119, -2*p = k - g. Is 11 a factor of k?
True
Let r be (-30)/20*((-123)/9 + 1). Let d(p) = -p**3 + 20*p**2 - 26*p - 43. Let l be d(r). Let x = -90 - l. Does 9 divide x?
False
Let z(q) = 277*q**2 - 18. Let u(l) = 276*l**2 - 16. Let b(t) = 6*u(t) - 5*z(t). Is 77 a factor of b(2)?
True
Let r(v) = v**2 + 6*v + 7. Let k be r(-6). Let o = k + -7. Suppose -7*p + 62 + 8 = o. Is 3 a factor of p?
False
Suppose 5*r - 445 = -45. Let v = 176 - r. Does 12 divide v?
True
Let s be (-15)/(-2)*(-42)/(-35). Suppose -s*a = -13*a + 8. Suppose 3*b = 2*r + 43, b + a*r = 31 - 6. Is b even?
False
Let f(r) = -r**3 + 13*r**2 - 130*r - 594. Does 9 divide f(-18)?
True
Let r = 289 + 103. Let z = -228 + r. Suppose -6*h + z = 4*j - 2*h, h = 5*j - 229. Is 9 a factor of j?
True
Suppose -297 = a + 2*z, -z - 2 + 4 = 0. Let w be a/2 + 6/12. Is 10/(-20) - w/4 a multiple of 8?
False
Let q(b) = -b**2 - 68*b - 230. Does 35 divide q(-10)?
True
Suppose -13*p + 4*p = -72. Suppose 5*l + p = 28. Suppose l*t + 72 = j, -3*j + 46 + 230 = 3*t. Is 10 a factor of j?
False
Suppose 3*p = 5*c + p - 12, -4*p = 4*c - 32. Suppose c*h - 28 = -8. Suppose -5*a + b = -306, h*a - 239 = a - 5*b. Does 10 divide a?
False
Does 2 divide (1 + (-968)/(-16))/(6/12)?
False
Let k(u) = u + 15. Let w(t) = t + 3. Let l be w(-8). Let i be k(l). Suppose 0 = 2*r - 3*g - 19, -i = r - 2*r + g. Is 2 a factor of r?
False
Let n(u) = u**2 + 5*u - 27. Suppose 6*q + 27 - 189 = 0. Suppose 0 = z + 4*p + q, -13 - 10 = z + 3*p. Is n(z) a multiple of 14?
False
Let g(v) be the third derivative of v**5/20 + 19*v**4/8 + 13*v**3/3 - 75*v**2. Is g(-25) a multiple of 36?
False
Let u(f) = 4*f**2 - 10*f - 6. Let o(d) = d**3 + 7*d**2 + 8*d + 7. Let q be o(-6). Is u(q) a multiple of 28?
False
Suppose -5*c + k = 78, 5*c - 6*k + 66 = -9*k. Does 2 divide ((-46)/12)/(1*c/90)?
False
Let s = 24461 + -12639. Does 31 divide s?
False
Let t(x) = 470*x + 2613. Is 38 a factor of t(64)?
False
Suppose -13*k + k + 60 = 0. Suppose 0 = 4*a - 3*a + k*y - 22, 4 = -2*a + 2*y. Suppose 3*v - 194 = -j, 8*j - 4*j - 146 = -a*v. Is v a multiple of 34?
False
Let j be 50/75*(4*1 + 2). Suppose 108 = -j*q - 2*k + 300, 3*q + 5*k - 144 = 0. Does 24 divide q?
True
Let i(v) = -14*v**3 - 24*v**2 + 74*v + 1000. Does 15 divide i(-14)?
False
Let c be (1/2)/((-2)/20). Let w(n) = -n**2 + 5 - 4 + 4 + 11*n**2 - n - 5*n**2. Does 16 divide w(c)?
False
Suppose 6922 = 12*q - 4490. Suppose -3*n + q = 2*m, 3*m = 26*n - 31*n + 1428. Is 31 a factor of m?
False
Let x be 760/(-25)*(-20)/(-2). Let i = 212 + x. Let h = 146 + i. Is 12 a factor of h?
False
Suppose -252 - 259 = -7*q. Let w = -68 + q. Suppose -w*t + 538 = -22. Does 22 divide t?
False
Let y(u) = -2*u**2 - 1. Let j(m) = 83*m**2 - 7*m + 18. Let r(n) = j(n) + 4*y(n). Is r(3) a multiple of 28?
False
Is 18*420/40*211 a multiple of 63?
True
Let c(s) = -553*s - 8965. Is c(-21) a multiple of 3?
False
Let s = -16250 + 47633. Is s a multiple of 39?
False
Let l(w) = w**3 - 56*w**2 - 17*w - 54. Does 159 divide l(57)?
True
Suppose 5*r + 159*r - 5045950 = 34*r. Is r a multiple of 100?
False
Let h(y) = 1323*y**2 - 901*y + 3600. Does 26 divide h(4)?
True
Let m be -2 - (9/(-36) - 174/8). Suppose -m*d 