 11, 3*h - 3*i - 2*i + 31 = 0. Does 15 divide h/8 + 5 + (-663)/(-12)?
True
Suppose 741*c = 668*c + 688390. Is 23 a factor of c?
True
Let o(m) = -131*m - 237. Let d(c) = 44*c + 80. Let q(u) = 17*d(u) + 6*o(u). Is q(-3) a multiple of 4?
True
Let p = -22 - -187. Suppose p = 2*q - 363. Is q a multiple of 22?
True
Let i be (-5 - (-135)/25)*10. Suppose 2*t - 537 = -3*v + 440, -i*v = -5*t - 1295. Is 19 a factor of v?
False
Let o(g) = 19*g - 4. Let s(i) = 21*i - 3. Let r(w) = -6*o(w) + 7*s(w). Does 7 divide r(1)?
False
Let f(t) = t**3 + 34*t**2 - 61*t + 180. Does 3 divide f(-33)?
True
Let h(b) = b**2 + 13*b - 14. Let v be h(-14). Suppose v = -2*j, -2*j - 16 = -4*m + j. Suppose 3*o = -5*u + 409, -3*u = m*o - 2*o - 246. Does 20 divide u?
True
Suppose -2*z + 10 = 0, -o + 4*o + 5*z - 34 = 0. Suppose 4*t - 965 + 186 = -3*m, -775 = -o*m - 2*t. Does 8 divide m?
False
Suppose -8*c - 310224 = -1018*m + 1014*m, 387825 = 5*m - c. Is m a multiple of 26?
False
Suppose 21*g = 22*g + 10. Let r(z) = -z**3 - 8*z**2 - 14*z - 40. Does 57 divide r(g)?
False
Let p(q) = 1290*q**3 - 21*q + 19. Does 23 divide p(1)?
True
Let r(g) = 167*g - 861. Is 73 a factor of r(41)?
True
Let h = -21 - -21. Suppose h = s - 8*s - 1743. Let n = 431 + s. Is 26 a factor of n?
True
Let g(v) = -105*v + 43. Let o(z) = 104*z - 43. Let l(k) = 3*g(k) + 4*o(k). Is l(5) a multiple of 22?
True
Let y(s) = 9*s**2 + 9*s - 6. Let m = -36 + 40. Is y(m) a multiple of 6?
True
Let i(u) = u**2 + 9*u - 103. Let q(c) = c**3 + 7*c**2 + 8*c + 21. Let w be q(-6). Is 2 a factor of i(w)?
False
Let r = 208 + -48. Let p(h) = 114*h + 310. Let k be p(0). Let d = k - r. Does 50 divide d?
True
Suppose -5*x = 2*f - 6429, 2*f = -2*f + 2*x + 12846. Is f a multiple of 72?
False
Let n = 114 + -108. Suppose -15 = -7*s + n*s. Let k(r) = -r**2 + 30*r - 16. Does 19 divide k(s)?
True
Suppose -4*h + 9772 = -2*d, -7330 = -3*h + 1342*d - 1341*d. Is 25 a factor of h?
False
Let h(i) = -i**3 - i**2 - 39*i - 1. Let k be h(0). Let x be (0 - 2)/(2/(-64)). Let d = x - k. Is d a multiple of 13?
True
Suppose -2*y - 2*y = -68. Let n be -10*(y/(-5) + 3). Suppose -2*a = -n*b - 6*a + 28, -4*b = 2*a - 24. Is b a multiple of 5?
True
Suppose -34*f + 1999 = -7181. Is f a multiple of 15?
True
Suppose -l - u - 87 = -0*u, -3*l + u = 273. Let t = l - -155. Let v = 152 - t. Is v a multiple of 22?
False
Suppose 31 + 73 = 4*v. Let u = v + 29. Is 23 a factor of u?
False
Let t = 890 + -540. Suppose 2*q + 4*j = 2*j + t, 0 = 3*q - 2*j - 530. Does 22 divide q?
True
Suppose 65*o = 129*o + 175*o - 446452. Does 12 divide o?
False
Suppose 0*u - 180 = -9*u. Suppose -z + 3*k - 167 = 0, 0 = 2*k + 3*k + u. Let w = z - -312. Does 27 divide w?
False
Is 16 a factor of -12813*((-6)/4)/((-306)/(-68))?
False
Suppose -d = 24*d - 11*d - 30576. Is d a multiple of 42?
True
Let m(u) = -577*u**3 - 21*u**2 - 44*u - 6. Is 45 a factor of m(-2)?
False
Let v(z) be the second derivative of z**4/2 + 55*z**3/6 - 11*z**2 + z + 122. Is 12 a factor of v(-17)?
False
Let b(q) = q**3 - 24*q**2 + 28*q + 4. Suppose 89*z - 24 = 81*z. Suppose -4*j + z*v = -2*v - 107, 0 = 3*j - v - 72. Is 17 a factor of b(j)?
True
Suppose -4*r = 5*t - 81192, -2*r + 5*t + 36853 = -3713. Is 13 a factor of r?
True
Let w be 1 - (6/12)/(1/(-4)). Let y(x) = -x**w - x**3 + 95 + x + x**3 + 0*x**3. Does 19 divide y(0)?
True
Let r(m) = -m**3 - 16*m**2 - 3*m - 16. Let a be r(-16). Let l = -32 + a. Suppose l = -3*b + 12*b - 360. Does 18 divide b?
False
Suppose 22*l + 6*l + 28 = 0. Let z(g) = 10*g. Let k be z(5). Is (k/4 + l)/(8/112) a multiple of 23?
True
Does 109 divide 75/10*(-70)/30*(3 + -269)?
False
Let a(l) = -5*l**2 + 40. Let f(n) = 6*n**2 - 40. Let v(k) = -5*a(k) - 4*f(k). Let r be v(7). Let m(g) = -g**3 + 9*g**2 + 4*g - 26. Does 5 divide m(r)?
True
Suppose 12*q = -8*q - 33740. Does 13 divide -4 + q/(-3) - (-8)/12?
True
Suppose 0 = o - 2*f + 21 + 10, 20 = -4*f. Let v(s) = s**2 + 33*s + 92. Is v(o) a multiple of 44?
False
Let p(q) = q**2 - 24. Let t be p(-12). Is 15 a factor of -3 + 5 + t + -2?
True
Let a = -15986 - -23083. Is a a multiple of 47?
True
Suppose 0 = -5*r - r - 12. Is 12 a factor of (0 - 1)*156*r*1?
True
Let i = -28 + 89. Let u = i - 77. Does 39 divide ((-156)/u)/(1/20)?
True
Suppose 17*b - 3048 = 13*b. Suppose -5*l + 3*l - 996 = 0. Let c = l + b. Is 22 a factor of c?
True
Suppose -11298 = -4*n - n + 4*t, 0 = 4*n - t - 9045. Is n a multiple of 87?
True
Let z(t) = -222*t - 738. Is z(-9) a multiple of 21?
True
Does 20 divide (84/98)/(1/3444) - -8?
True
Let r(x) = -x**2 + 22*x + 29. Let l be r(23). Suppose 0 = -l*q + 11*q + 10. Does 29 divide (q - 24/(-14)) + (-10824)/(-56)?
False
Suppose 0 = t - 4*t + 2*t. Suppose 0 = -5*r - 4*g + 10, t = -5*r + r + 2*g + 8. Does 10 divide (100/6)/(r/6)?
True
Suppose -2*c = 2*s - 31946, -13*s + 14*s - 3*c - 15969 = 0. Does 44 divide s?
True
Is 20 a factor of 4274*2/16 - (-23 + (-2425)/(-100))?
False
Suppose 19890 = 174*a - 120*a - 192708. Is a a multiple of 197?
False
Let z(t) = 3*t - 48. Let i be z(17). Does 3 divide -1*i/(-15) - 1916/(-20)?
True
Let i(h) = 28*h**2 - 9*h - 585*h**3 + 584*h**3 + h + 40. Does 49 divide i(27)?
False
Let k be (-226)/4*(28 + -20). Let h = -275 - k. Suppose 5*o - h - 128 = 0. Does 40 divide o?
False
Suppose 0 = 2*k + 38 - 38. Suppose 4*q + 3*q - 21 = k. Suppose 5*t + 20 = 4*c, q*c - 3*t + t - 22 = 0. Is c a multiple of 5?
True
Let d(o) = -113*o**3 + 3*o**2 + 5*o - 15. Let q be d(2). Let m = q - -1802. Is 48 a factor of m?
False
Suppose -9450 = 25*v - 55*v. Is 5 a factor of v?
True
Is 9970206/488 - (-3)/(-4) a multiple of 60?
False
Let q(l) = l**2 + 7*l - 45. Let b be q(5). Suppose b*v - 4*v = 8525. Is v a multiple of 15?
False
Suppose -155*r + 154*r - 2*n + 1034 = 0, 2*n = -6. Is 9 a factor of r?
False
Let k(w) = 7*w**2 - 34*w + 1395. Is 19 a factor of k(31)?
True
Let r(k) = -26*k + 4. Let j be r(1). Let y be 6*((-2)/8)/(11/j). Suppose 2*v = -3*o + 54, 62 = y*v - o - 4*o. Does 4 divide v?
True
Let x(m) = m + 1. Let t be x(7). Let o(f) = -246*f - 3195. Let a be o(-13). Is (84/t*-1)/(a/(-14)) a multiple of 7?
True
Does 28 divide (-15986)/((-2)/12 + -4 + 39/18)?
False
Let x = -56 - -38. Let k = x + 54. Is k - (-3)/((-12)/16) a multiple of 4?
True
Let n(d) = -d**2 - 86*d + 226. Does 6 divide n(-18)?
False
Suppose -2*f + 5*n = 21, 0 = 2*f - n + 10 + 15. Let u(h) = -h**3 - 6*h**2 - 5*h + 3. Let l be u(-6). Let a = l + f. Is 3 a factor of a?
False
Let t(m) = m**2 + 31*m - 99. Let k be t(-34). Suppose 2*j = k*b - 178, -3*j + 116 = 3*b - 67. Does 3 divide b?
True
Let m be 64*(12/(-8) - -1). Let k = m - -36. Suppose -k*h + 4*d + 63 = d, d - 59 = -4*h. Does 15 divide h?
True
Let i(c) = c**3 - 9*c**2 - 13*c + 15. Let a be i(10). Let t(f) be the first derivative of f**3/3 + 7*f**2 + 25*f - 9. Is 10 a factor of t(a)?
True
Let i = -7845 + 28689. Is 27 a factor of i?
True
Let t be (41 - 37) + 1 + 2. Let z(y) = y**3 + 5*y**2 - 21*y - 1. Does 8 divide z(t)?
True
Suppose -8299*d = -8310*d + 14157. Does 13 divide d?
True
Let x = 46 + -26. Suppose 3*o + x + 31 = 0. Let g = o - -25. Does 5 divide g?
False
Suppose -161*c - 4851 = -162*c - 3*s, 2*s = 3*c - 14619. Is c a multiple of 184?
False
Suppose -31 = 5*w + v + 58, 15 = -w - 3*v. Let f = 2451 - 4327. Is 4 a factor of f/(-63) - 4/w?
False
Let n = -52 + 57. Suppose 0 = -n*x + 3*s + 65, -5*s - 10 = -3*s. Is 4/(-10) + 0 + 634/x a multiple of 9?
True
Let h(o) = -42*o**2 + 7*o + 189. Let c(u) = -14*u**2 + 3*u + 63. Let v(q) = 11*c(q) - 4*h(q). Is v(7) a multiple of 7?
True
Suppose 0 = -2*r + 621*o - 626*o + 2228, 0 = -2*r - 3*o + 2220. Is r a multiple of 6?
True
Let l = -22 + 26. Suppose -2*k - 835 = -l*z + 47, -5*z + k + 1107 = 0. Does 6 divide z?
True
Let j(m) = 15*m + 10*m**2 - 22*m - 2*m**2 - 6*m - 6*m + 67. Is j(3) even?
True
Let f be (3/5)/(1/((-45)/(-9))). Let l(n) = 21*n**2 - 10*n + 26. Is 4 a factor of l(f)?
False
Let l(i) = 3 - 2 + 3*i + 11. Let r be l(-6). Is 32 a factor of 4202/33 + (-4)/r?
True
Let o = 55 - 44. Suppose o = 6*r - 13. Does 3 divide (-30)/(-4) - r/8*1?
False
Let x(a) = 2215*a**2 - 47*a + 98. Is x(2) a multiple of 32?
True
Suppose -5*p - l + 42 = 0, -46 + 1 = -4*p + 3*l. Does 2 divide (-10 + 276/p)*(-18)/(-4)?
False
Let v(f) = 8*f**2 + 33*f + 1. Let j be v(-4). Does 12 divide 95/19 + (-453)/j?
True