-4*u - j, 4*u + 6 + 10 = 0. Does 15 divide m?
True
Let s be 33/55 - (-42)/5. Is 4 a factor of -2 - (1 + -2) - (-333)/s?
True
Suppose a - 26*c - 90 = -30*c, 3*c - 85 = -a. Let h = -61 - -29. Let o = h + a. Is o a multiple of 3?
False
Let s be 2/8*(-5)/((-15)/12). Suppose h = -s - 2. Is 11 a factor of ((-396)/30)/(h/10)?
True
Suppose -59*j + 163449 = -442599. Is j a multiple of 92?
False
Let m(x) be the first derivative of x**2/2 + 37*x + 25. Is 7 a factor of m(11)?
False
Let j(i) = -58*i**3 + 20*i**2 - 4*i + 14. Does 36 divide j(-4)?
False
Suppose 2*n - 64*n = 0. Suppose 4*m + n*j = 4*j + 816, -4*m = 3*j - 788. Does 10 divide m?
True
Let k = -3 + 5. Let q be (-11)/5 + k - (-1592)/(-40). Does 12 divide (-32)/2*(-5)/q*-6?
True
Let w(f) = f**3 - 5*f**2 + 2*f + 10. Let i(s) = 6*s**3 - 21*s**2 + 9*s + 41. Let g(b) = -2*i(b) + 9*w(b). Does 61 divide g(-6)?
False
Suppose -2*g + 5*q + 455 + 2025 = 0, 2*g - 2498 = -4*q. Let o = g + -265. Does 31 divide o?
False
Is -1000*143/(-52)*2 a multiple of 25?
True
Suppose 5*n = -4*h + 1772 - 158, 986 = 3*n - 2*h. Suppose 18*u + 2 = n. Is u a multiple of 3?
True
Suppose 5*b = -0*k - 3*k - 6, -5*b = 2*k + 4. Suppose -u + 78 = 3*c - 16, 2*u - 5*c - 133 = b. Is 3 a factor of u?
False
Suppose -11*t - 10 = -12*t - 2*m, -2*m + 6 = 0. Suppose 798 + 766 = t*z. Is z a multiple of 10?
False
Let f = 11 + -9. Let b(z) = -27 + f*z + 18 - 6*z. Is 4 a factor of b(-8)?
False
Does 124 divide (4/(-1))/(-28) - ((-1171520)/(-49))/(-10)?
False
Suppose l + 4*n - 1690 = 0, 4*l - n = 6*l - 3345. Is l a multiple of 7?
False
Let r = 39 - 36. Suppose 0*s = 5*s - 3*t, r*s = -4*t. Suppose 5*x - x - 48 = s. Does 4 divide x?
True
Let p = -313 - -327. Suppose 10891 = p*q - 225. Does 20 divide q?
False
Suppose 5044*x + 5*b - 89420 = 5043*x, -4*x - b + 357528 = 0. Is 12 a factor of x?
False
Suppose 0 = -3*i + 23 - 32. Let h(m) = -3*m - 9. Let j be h(i). Suppose -5*q - 3*w + 760 = 0, j = -3*w + 4*w + 5. Is q a multiple of 26?
False
Suppose -33*r + 35*r + 922 = 0. Let m = r - -622. Is m a multiple of 23?
True
Is 7 a factor of ((-106852)/10)/(-1) + (-276)/230?
False
Suppose 2*z = -2*m + 638, -z = 2*m - 77 - 242. Let w = 1940 - z. Is 15 a factor of w?
False
Suppose 3*w + 4440 = 5*m, -1776 = 16*m - 18*m - 5*w. Is m a multiple of 6?
True
Suppose 28*o + 33*o + 32340 = 66*o. Is o a multiple of 26?
False
Let a be (1 + -2 + 5)*1. Let h be (-51)/(-2) - (-7)/(-84)*18. Suppose 2*q - h = -4*d, -4*q + 8 = 2*d - a*d. Does 3 divide d?
False
Let s(z) = -2*z**3 + 75*z**2 + 112*z - 85. Does 9 divide s(29)?
True
Let m = 8292 + -505. Is 13 a factor of m?
True
Let b = -6326 + 9361. Let f = -2142 + b. Is f a multiple of 47?
True
Let v(r) = -483*r - 81. Is 77 a factor of v(-3)?
False
Suppose -2*n + 19796 = -4*o, 66*o - 71*o = -5. Does 150 divide n?
True
Let w = -11882 + 12707. Is w a multiple of 3?
True
Let k = -353 - -404. Suppose -63*o + 20580 = -k*o. Is o a multiple of 94?
False
Suppose -3*n - 3*y = 43 + 83, n = -4*y - 45. Let k = 14 - 79. Let v = n - k. Does 3 divide v?
True
Let g(d) = -d**3 + 9*d**2 - 16*d - 10. Let c be g(6). Let x(k) = 11*k - k**3 + 9*k**c - k + k - 8*k - 4. Does 31 divide x(7)?
False
Let n(d) = 2292*d + 2172. Is n(4) a multiple of 36?
True
Let j(x) = 8*x - 119. Let f be j(17). Suppose 12*p = f*p - 2870. Does 39 divide p?
False
Let z be (5 - -1)*16/24. Suppose z*l + 8 = -4*v, l = -2 - 3. Suppose 0 = -3*a - v + 6, -18 = -q - 4*a. Does 7 divide q?
True
Suppose 0 = 46*t - 54*t + 24. Suppose -2*b - 4*x + 864 = 0, 3*b - b + t*x - 865 = 0. Is b a multiple of 13?
False
Let o(q) be the second derivative of -q**6/40 - 7*q**4/6 - 11*q. Let g(h) be the third derivative of o(h). Does 30 divide g(-3)?
False
Let r(o) = 62*o + 197. Is r(8) a multiple of 33?
True
Let j(k) = -617*k + 3729. Is j(6) a multiple of 2?
False
Suppose -224*h = -17476949 + 3139829. Is h a multiple of 15?
True
Suppose -3*x - 5684 = -u + 45325, 5*x = u - 51015. Does 40 divide u?
True
Suppose 2*q + q = 3*a - 795, 0 = -4*q + 4. Suppose -a*j - 1040 = -270*j. Is 21 a factor of j?
False
Let t(x) = x**2 + 25*x + 66. Let a be 38 - 34 - (29 + -2). Does 2 divide t(a)?
True
Let a(f) = -23*f**3 - 8*f - 25. Let j be a(-3). Let z = j + -389. Does 24 divide z?
False
Let q = -2577 + 3359. Does 23 divide q?
True
Let a(b) = 1732*b**3 - b**2 - 106*b + 209. Is 152 a factor of a(2)?
False
Let s = -24 - -30. Let u(n) = 0*n**2 - 3*n**2 - s*n**3 + 4*n**3 - n - 1 - 2*n**3. Is 3 a factor of u(-2)?
True
Suppose -1774 = 4*y - 6*y. Suppose -1553 = -2*o + y. Is 61 a factor of o?
True
Is 14967/15*28/210*50 a multiple of 86?
False
Let t be (-8 - -3 - -11)/((-9)/12). Does 4 divide (-2490)/t - 6/((-168)/(-35))?
False
Suppose -2*s - 417 + 1419 = 0. Let c = s - 770. Let g = 479 + c. Is g a multiple of 42?
True
Suppose -p = -x - 57, 2*x + 2*x - 199 = -3*p. Suppose 3*m + 77 = n, 7 = 5*m + 5*n + 122. Let h = m + p. Does 9 divide h?
True
Let u(a) = -a + 3. Let o be u(-1). Suppose 2*p + d - 4 = -3*p, -p + o = d. Is 7 a factor of 48 - p - (-5 + 3)?
False
Does 108 divide ((-128007)/(-18))/11 - (3/6 - 2)?
True
Suppose 6*u - 38 + 20 = 0. Suppose -118 = u*q - 676. Is q a multiple of 31?
True
Let b = -21169 - -54305. Does 38 divide b?
True
Suppose -78*f + 72*f + 834 = 0. Let d = 6 + f. Does 3 divide d?
False
Suppose -10*p = -14*p + 36. Let z = 28 - p. Suppose -66 = -25*n + z*n. Is n a multiple of 4?
False
Suppose -o - 5*r - 2 = -32, 2*r = 10. Suppose k + o*t = t + 250, -4*t = -4*k + 1100. Does 27 divide k?
True
Let n = 58 + -55. Let c be n + 7 + -4 - 3. Suppose 3*p - 285 = -5*b, -c*p - 190 = -3*b - p. Is b a multiple of 10?
True
Let n(h) = 539*h**2 - 7*h - 54. Does 73 divide n(-3)?
True
Suppose 23*u = -41*u + 127641 + 708967. Is 76 a factor of u?
True
Suppose 13*n + 40 = 18*n. Let p(q) = q**3 + q**2 - 5*q + 10. Let d be p(n). Suppose -d = -6*u - 42. Does 21 divide u?
True
Let s = 406 - 174. Let d = s - 336. Let y = d - -157. Is 5 a factor of y?
False
Let s(l) = -36*l**3 + 14*l**2 + 62*l - 75. Is 126 a factor of s(-8)?
False
Suppose -5*v + 0 = -15. Suppose v*i = 5*m - i + 29, 0 = -2*m - 3*i - 7. Does 38 divide 3/m + 2298/30 - 0?
True
Suppose 275 - 827 = z. Let g = -348 - z. Is 34 a factor of g?
True
Let a be (-6)/(-33) + (-2 - (-107640)/(-88)). Let s = a - -1764. Is 24 a factor of s?
False
Suppose -4*t = 5*y - 37, -458*t - 19 = -461*t - 2*y. Let x = -60 + 100. Suppose -t*d + 5*l + 296 - x = 0, -d + 62 = 3*l. Is 18 a factor of d?
False
Let f = 193 + -121. Suppose 0 = 9*u + 18 + f. Is 13 a factor of u/65 + 938/13?
False
Let j(i) = 191*i + 9062. Is 76 a factor of j(52)?
False
Suppose 0 = -q - 3*a + 5314, 5*a = 142*q - 141*q - 5306. Is 113 a factor of q?
True
Suppose 2928 = 4*o + 528. Is 97 a factor of o?
False
Is 9 a factor of (-21)/((-294)/86960) + 16/28?
False
Let a(m) = 11*m**3 - m**2 - 2*m + 4. Let p = 43 - 39. Suppose 3*x - 12 = 2*w, x + 1 - 15 = p*w. Is 12 a factor of a(x)?
True
Suppose -5 = -5*z + 10. Suppose 2*k = -2*f, -2*k + z*k - 5*f = 30. Suppose 17 = w + 3*h - 21, -k*h = 4*w - 152. Is w a multiple of 19?
True
Let d = -79 + 72. Let u be (-1 - 19)/(d - -5). Let m(b) = -b**3 + 11*b**2 + 2*b + 12. Is m(u) a multiple of 33?
True
Let h(u) be the third derivative of -u**4/24 + 13*u**3/6 - 19*u**2. Let n be h(6). Suppose n*r - 105 = 4*r. Does 8 divide r?
False
Suppose -k - 3*y + 4589 = -2211, 54342 = 8*k - 5*y. Is 15 a factor of k?
False
Let o = 32 - 54. Let h be (-5824)/(-154) + (-4)/o. Suppose 5*b = 4*b + h. Is 19 a factor of b?
True
Let i = 16 + -204. Let y be -3 + (-25)/(-9) + i/(-36). Suppose 3*o - g = 244, -5*o + 72 = -4*o - y*g. Is o a multiple of 8?
False
Let j(c) be the first derivative of -9*c**2/2 + 28. Let m(s) = 5*s. Let b(l) = -6*j(l) - 11*m(l). Does 3 divide b(-8)?
False
Let j = -366 - -3235. Is 151 a factor of j?
True
Let p = 35 - 33. Suppose 4*y + p*n - 42 = 0, 5*n - 33 = -2*y - 2*y. Suppose z = -4*z - 5*l + 55, -y = 4*l. Does 4 divide z?
False
Suppose 0 = 7141*f - 7094*f - 270720. Does 45 divide f?
True
Let g be 6/(-9)*(6 - 3). Let z be 138*(g/(-18))/((-4)/(-24)). Suppose -z = -2*j + 124. Is j a multiple of 9?
True
Let h be ((-30)/60)/(4/(-416)). Let m be ((-110)/(-15))/(2/27). Let g = m - h. Is 8 a factor of g?
False
Let u(w) = -451*w - 933. Does 67 divide u(-15)?
False
Let j(r) = 11*r + 24. Let u be j(-2). Is u