Suppose -4 + f = -u. Does 3 divide (24/(-7))/(7/u)?
True
Let q(z) = 5*z**2 - 24*z + 17. Let t be q(11). Let l = -346 + t. Is l a multiple of 4?
True
Let l be (-2)/((-1 - -4)/6). Let z be l/(-18)*(-18)/(-4). Is ((-16)/(-48))/(z/(-138)*-2) a multiple of 3?
False
Let r(h) = -h**2 - 24*h + 42. Let c be r(-20). Suppose 3*f - 648 = -3*l, -f - 2*l + c = -90. Is 17 a factor of f?
False
Suppose 363 = -2117*w + 2114*w. Let u = w + 505. Is u a multiple of 24?
True
Let q(r) = -r**3 + 5*r**2 + 8*r - 5. Let s be q(6). Suppose -4*g - 2607 = -s*g. Is g a multiple of 11?
True
Let c(i) = 4*i**2 - i - 6. Let w = -67 - -40. Let l = w + 24. Is 10 a factor of c(l)?
False
Is 154 a factor of 2658/4*66126/963?
False
Suppose 8*o + 63 = o. Let b be (2 + -1 - 7)/(o/(-78)). Is 12 a factor of 96/(((-13)/b)/((-2)/(-8)))?
True
Suppose 59*t = 47*t + 44808. Is t a multiple of 65?
False
Let s(p) = -p**3 - 74*p + 2*p**2 + 157*p - 4*p**2 - 52*p. Does 8 divide s(-8)?
True
Let d(c) = -2*c**2 - 9*c - 27. Let l be d(-4). Let b = 41 - l. Does 32 divide b?
True
Let y = 40 - 35. Suppose 40 = 3*j + 5*d, y*d + 2 = -j + 22. Let i(p) = 3*p**2 - 12*p - 24. Is 13 a factor of i(j)?
True
Suppose -72 - 41 = -o. Let x = -4551 + 4814. Let y = x - o. Is 50 a factor of y?
True
Suppose 47*k = -2*k + 41258. Is 6 a factor of k?
False
Suppose -2*m + 75 = 3*m - 5*c, 3*m - 2*c - 48 = 0. Is (-4)/m - 3962/(-9) a multiple of 55?
True
Let o(c) = -60*c**3 - 2*c**2 + 15*c + 27. Does 33 divide o(-3)?
True
Let r = -140 - -79. Let u = -37 - r. Does 8 divide u?
True
Suppose 93*d = 51*d + 63*d - 602679. Is d a multiple of 12?
False
Let g be (-36)/90 - 18366/(-15). Suppose -74*v + 65*v = -g. Does 34 divide v?
True
Let j = -27 - -47. Suppose -2*d = -2*w - 23 + 3, -3*d = -w - j. Suppose -d*f - 2*k = 2*k - 69, -2*f + 4*k + 22 = 0. Is 5 a factor of f?
False
Let d be ((-45)/25)/(-9)*0. Suppose d = -5*c + 4*o + 152, 3*c - 5*c - 2*o + 68 = 0. Does 8 divide c?
True
Let z(j) = -4*j**3 - 9*j**2 + 8*j + 1. Let b be z(-3). Suppose 17*o - b*o = 7020. Is 9 a factor of o?
True
Suppose 2*h - 5 = 1, -4*h = 5*n - 1007. Let l = -3 - -7. Suppose -l*x + 84 = -m - 189, -3*x + n = 5*m. Is 34 a factor of x?
True
Let c = -92 + 374. Suppose 0 = 2*h - 5*h - 4*f + c, -5*h + 444 = -2*f. Suppose -2*a = -6*a + 5*r + 120, h = 3*a + 5*r. Does 17 divide a?
False
Let j(a) = 226*a + 28. Let y(x) = 111*x + 14. Let d(p) = 4*j(p) - 9*y(p). Suppose 0 = 4*t - 2*t + 4. Is 22 a factor of d(t)?
True
Let v(l) = -18*l**2 + 717*l - 78. Is v(23) a multiple of 19?
False
Suppose x = -x + 4*p + 10916, -7*x - 3*p = -38104. Does 37 divide x?
False
Suppose 0 = -9*p + 2895 + 7149. Is p a multiple of 62?
True
Suppose -15*z + 28346 - 3446 = 0. Let h = -960 + z. Does 20 divide h?
True
Let d be (-14)/7 + -104 - (0 + 1). Let j = -74 - d. Is 4 a factor of j?
False
Suppose 4*t - 376 = 4*b, 3*t - 10 = 5. Let d = -84 - b. Does 24 divide -621*((-16)/3 + d)?
False
Let t(v) = v**2 - 6*v - 4. Suppose 5*a + 38 = -3*s + 113, 0 = 2*s - 3*a - 69. Suppose -11*o + 16*o = -s. Does 17 divide t(o)?
True
Let h(b) = -b**2 - b + 28. Let r be h(-4). Suppose r*j = 53*j - 19351. Is j a multiple of 10?
False
Suppose -8856 = 220*s - 226*s. Does 7 divide s?
False
Let u(z) = -53*z - 34. Let l be u(-7). Suppose l = -2*p + 1337. Is 20 a factor of p?
True
Let g(p) = -p**2. Let j(b) = 2*b**2 - 28*b + 19. Let z(u) = -2*g(u) + j(u). Is 10 a factor of z(11)?
False
Let o(m) = 642*m**2 + 36*m - 54. Is o(3) a multiple of 36?
True
Suppose -2888 = -6*d - 80. Suppose 6*q = d + 6. Is q a multiple of 19?
False
Let a = -350 - -352. Suppose 49 = -a*g + 3*g. Is g a multiple of 22?
False
Let f(c) = 96*c**2 + 15*c - 49. Let w be f(16). Suppose w = 36*l - 973. Is 11 a factor of l?
True
Does 46 divide 4/18 - 6068916/(-1134)?
False
Let i(c) = c**3 - 34*c**2 + 41*c - 494. Is 76 a factor of i(38)?
True
Let q(t) be the first derivative of -t**4/4 + 19*t**3/3 - 14*t**2 + 4*t + 60. Does 11 divide q(11)?
False
Does 4 divide (192/(-40)*162/24)/((-2)/60)?
True
Let s(p) = -p**2 - 5*p + 12. Let z be s(-6). Suppose -2*h = -z, h = 3*o - 0*h - 633. Does 3 divide o?
False
Let t(d) = -1212*d - 11591. Does 34 divide t(-47)?
False
Suppose -393 = -5*c + 2*c. Suppose -5*y + 10*y + 2*s - 1005 = 0, -2*y + 5*s + 373 = 0. Let i = y - c. Does 19 divide i?
False
Let z(h) = 25*h**2 + 10*h**2 - 7*h**3 + 55 + 23*h - 9*h**2 + 8*h**3. Is z(-25) a multiple of 21?
True
Suppose 13*z - 8*z - 2*d - 146 = 0, 62 = 2*z - 2*d. Suppose -26 = -2*c - z, -156 = -l - c. Does 19 divide l?
False
Let j = 123 + -99. Is (1 - (-54)/j)*24 a multiple of 9?
False
Let a = 9376 + -6086. Suppose a = 23*i - 5956. Is 67 a factor of i?
True
Suppose -44 = 7*a + 4*a. Let h(w) = -w - 2. Let m be h(a). Suppose -4*k + 192 = -4*g, 0 = -g + 3*g - m. Is 8 a factor of k?
False
Let i be (4*(-6)/(-8))/((-6)/(-4)). Let q be 2/(i/(-2))*5/(-2). Suppose q*l = 10*l - 80. Does 8 divide l?
True
Let k = -11776 + 20508. Is k a multiple of 148?
True
Suppose 0 = 180877*t - 180893*t + 83520. Does 15 divide t?
True
Let j = 157 + -490. Let l be ((-32)/(-24))/((-1)/j*-2). Let s = 398 + l. Is 22 a factor of s?
True
Let j be (-216)/28*(-14)/3 + 4. Suppose -m + 5 + j = 0. Does 2 divide m?
False
Let w = -54971 + 79241. Is 15 a factor of w?
True
Suppose 18*r - 247 = 31*r. Let z(d) = 2*d**2 + 23*d + 17. Is 52 a factor of z(r)?
False
Suppose 0 = -2*f + 5*n - 104, 11*f + 2*n - 53 = 12*f. Does 5 divide f*(-2)/6 - -3?
False
Let l = 22 + -14. Let c be 18/5 - l/(-20). Suppose 0 = c*y - 25 - 167. Does 16 divide y?
True
Let o(x) = -5*x - 4 - 45*x**2 + 112*x**2 - 25*x**2. Is o(3) a multiple of 5?
False
Suppose 160*a - 202390 - 246890 = 0. Is a a multiple of 21?
False
Is 17 a factor of (2217/(-12))/(69/(-9384))?
True
Let h = 9101 - 5521. Does 19 divide h?
False
Let t(m) = m - 18. Let c be t(21). Is 12 a factor of (1 + (63 + 0)/c)*36?
True
Let x(u) be the third derivative of u**5/30 + 5*u**4/12 - 4*u**3/3 - 2*u**2 - 41. Is x(7) a multiple of 20?
True
Is 18 a factor of (19 - 260)*15/(3 - 6)?
False
Suppose 5*g - 65 = 3*n, -2*g - n + 15 = -0*g. Suppose -184 = -11*d + g*d. Suppose -d = -5*a + 36. Is a a multiple of 11?
True
Let u be 4/(-10) + 132/55. Suppose 2*m - 200 = -u*m. Suppose 5*i + m = 200. Is 3 a factor of i?
True
Let f = 78 + -76. Suppose -3*t - 110 = f*t. Is 7 a factor of (-1184)/t + 2/11?
False
Let r(m) = -m - 2. Suppose -3*v = 28 - 31. Let n be r(v). Is (32 + 1)/(n - -4) a multiple of 11?
True
Let w(k) = k**2 - 5*k + 9. Let r be w(3). Suppose 4*m - 6 + 26 = 4*z, -m - 5 = 5*z. Does 20 divide 8*(2 + z + r)?
True
Let k be (3/9)/((1/(-1))/(-6)). Let c(z) = -11*z**2 - z + 4. Let t be c(k). Is (((-54)/3)/((-9)/t))/(-1) a multiple of 42?
True
Let l(v) = -7*v - 26. Let q be l(-4). Suppose -3*d - 3*d = q*d. Suppose d = -2*r + 67 + 63. Does 13 divide r?
True
Suppose 0 = -5*u + 4943 + 28122. Is u a multiple of 10?
False
Does 12 divide 4/(-6) + (-7785686)/(-606)?
False
Let y(u) = -283*u**2 - 56. Let g be y(-10). Is g/(-63) - 6/63 a multiple of 30?
True
Suppose -3 = -j, 2*f - 22*j = -24*j + 8. Is 24*(f/(-4))/((-6)/24) a multiple of 13?
False
Let p = -2283 - -2387. Does 9 divide p?
False
Suppose -3*w + 4662 = 11*w. Let n = w + -228. Is n a multiple of 5?
True
Is 69 a factor of (-9384 + (-21 - -21))*5/(-4)?
True
Suppose 0 = 79*r - 75*r + 12. Let o be 4 + r + 3 + -2 + -17. Let h(u) = u**3 + 16*u**2 + 5*u - 1. Does 18 divide h(o)?
False
Let n = 719 + -1064. Let v = 547 + n. Is v a multiple of 38?
False
Let c be (-2)/(-12) + 95268/(-72). Let o = c - -2160. Does 9 divide o?
True
Let f(a) = -a**3 - 8*a**2 + 3*a - 16. Let z be f(-9). Let c = z - 58. Let g(u) = -4*u + 33. Is 19 a factor of g(c)?
False
Does 5 divide (-1 - 234)*26/(-208)*16?
True
Let a(g) be the third derivative of 7/3*g**3 - 32*g**2 + 1/6*g**4 + 0*g - 1/120*g**6 + 0 - 1/30*g**5. Is 5 a factor of a(-4)?
True
Suppose t - 4*z = -8, 57 + 6 = -3*t - z. Let h be (-4)/(t/15) + 780. Suppose 0 = -7*p + h + 57. Is 20 a factor of p?
True
Let c(h) = 3*h**2 + 10*h + 3. Let x be c(-3). Suppose x = 4*y + 12*y - 1920. Is y a multiple of 15?
True
Suppose -26*h = -22*h - 800. Is (3 - (0 - 0)) + h a multiple of 8?
False
Let l(u) = 7*u - 1. Let a be l(1). Let n(r) = r**3 - 8*r**2 + 14*r - 8. Let s be n(a). Suppose s*w - 60 = 2*w. Is w a multiple of 4?
False
Let z(h) be the third derivat