ue
Is 65 a factor of (-671499)/(-252) + (-3)/12 + (-20)/(-35)?
True
Suppose 16 + 16 = u + 8. Does 3 divide u?
True
Is 7 a factor of 1129/1 + -1 + 8?
False
Let y(p) = -2*p - 2. Let r(z) = -z + 1. Let t(n) = 10*r(n) - y(n). Let f be t(-10). Suppose -32 = -4*v + 2*v + 2*c, -f = -5*v - c. Is v a multiple of 6?
True
Let x(h) = h**3 + h**2. Let c(m) = -4*m**3 - 32*m**2 + 2*m - 16. Let s(f) = -c(f) - 6*x(f). Is 5 a factor of s(12)?
True
Let l(p) = -p**3 - 9*p**2 + 2*p + 21. Let c be l(-9). Suppose 0 = 4*a - 2*s + c*s - 191, 3*s = 2*a - 85. Let o = 87 - a. Does 8 divide o?
True
Let z(d) = 12*d**2 + 458*d - 98. Does 15 divide z(-39)?
False
Suppose 4 - 40 = -12*p. Suppose 0 = -p*g + t + 1112, 23*t - 18*t = -3*g + 1100. Is g a multiple of 4?
False
Let l = 274 - 267. Suppose -29*x + 176 = -l*x. Does 2 divide x?
True
Is 8 a factor of (4 + 2 - -7)/(8/512)?
True
Let l(b) = b**3 + 11*b**2 + b + 8. Let d be l(-8). Suppose -7*k = -6*k - d. Suppose -4*q + 116 + k = 0. Is q a multiple of 13?
False
Suppose 808 = -7*t + 3405. Suppose -6*c + 5*c = 4*w - t, 0 = -4*w - 2*c + 370. Suppose j = w - 7. Does 14 divide j?
False
Let a(h) = -54*h + 48. Let n = 179 + -194. Is 22 a factor of a(n)?
True
Suppose 4174 + 1362 = 16*k. Suppose -s = -w - 4*w - k, -4 = -4*w. Is 13 a factor of s?
True
Suppose 8*u - 514 = 6*u. Suppose 5 = 4*s - 15, -u = -3*i - 4*s. Is i a multiple of 8?
False
Suppose -373*q + 1884850 + 6457307 + 603129 = 0. Does 6 divide q?
True
Let u = -551 + 671. Suppose -63 = -3*z + k + 2, -4*k - u = -5*z. Is 5 a factor of z?
True
Let b(d) = 12*d**3 - 22*d**2 + 55*d + 26. Is b(8) a multiple of 42?
False
Let x(c) = 4*c**2 + 9*c**2 + 7*c**2 + 69 + 4*c**2 - 23*c**2 - 8*c. Is 46 a factor of x(-23)?
True
Suppose -17464 = -2*j + 6270. Is j a multiple of 54?
False
Let y = 49275 + -26700. Is 175 a factor of y?
True
Let h(n) = n**3 - 18*n**2 + 16*n + 22. Let z be h(17). Let b be (16 + -13)*(-1 + z). Suppose b*t = 8*t + 44. Is t a multiple of 6?
False
Let n be (49 - (2/(-2) + 0))*-1. Does 27 divide (-2518)/(-10) + (-10)/n?
False
Let a = -26 + 17. Let p(l) = -5*l**3 + 14*l**2 - 10*l + 21. Let o(b) = -11*b**3 + 29*b**2 - 19*b + 42. Let m(v) = -6*o(v) + 13*p(v). Does 14 divide m(a)?
True
Suppose -45*u + 130471 = -444269. Is 124 a factor of u?
True
Let c = -849 - -846. Let g(b) = -2*b**3 + 6*b**2 + 6*b - 3. Is 4 a factor of g(c)?
False
Let h(p) = -p**3 + p**2 - 7*p + 5. Let d(c) = -c + 1. Let t be d(-5). Let k be h(t). Let n = k - -363. Is 25 a factor of n?
False
Let z(u) = -7*u**2 + 39*u - 222. Let w(d) = -36*d**2 + 195*d - 1110. Let y(o) = 2*w(o) - 11*z(o). Is 25 a factor of y(6)?
False
Let g be (-10)/2 - -2 - 917. Let y be ((-5)/(-10))/((-4)/g). Let h = 163 - y. Is h a multiple of 8?
True
Is 7 a factor of (-1310)/524 + 14990/4?
True
Let b = -25 + 27. Suppose 0*d - 4*d + b*x = -288, -3*x = d - 58. Suppose -q - 26 = -d. Is 22 a factor of q?
True
Let g = -133 + 133. Suppose 2*p - q - 82 = g, -5 + 1 = -2*q. Does 6 divide p?
True
Let s be 260/6 - 46/(-69). Suppose -27104 = -s*j + 12*j. Is 8 a factor of j?
False
Let z(o) = 237*o - 303. Is z(35) a multiple of 10?
False
Let a = -8018 - -8806. Does 18 divide a?
False
Let v = 64 + -71. Let p be (4 + -1)*7/v. Let m(u) = -u**3 + u**2 - 4*u + 1. Is m(p) a multiple of 12?
False
Suppose 0 = 3*m + 55*j - 57*j - 4169, 2*m - 2794 = 5*j. Is m a multiple of 73?
True
Let z be 42*20/3*81/24. Suppose 9*n - 4302 = -z. Does 78 divide n?
False
Let n = 51 - 47. Suppose 0*u + u = -3*s - 27, -n*u - 20 = s. Is 28 a factor of (s/(-2))/4*163?
False
Suppose 0 = 4*l + 20, -3*r = 3*l + 1014 + 189. Let h = -234 - -58. Let y = h - r. Is y a multiple of 18?
False
Let z = -370 + 3363. Does 12 divide z?
False
Let c(v) = 7*v**2 - 20*v + 6. Let g = -330 + 186. Let b = -137 - g. Does 15 divide c(b)?
False
Let c be 3*1/((-2)/24). Let l = -33 - c. Does 14 divide 2/((-8)/42)*(-8)/l?
True
Suppose 18*q - 782 = 16*q. Suppose -77 = -2*s + o + 74, 0 = 5*s + 2*o - q. Does 5 divide s?
False
Suppose -21*j - 211059 = -371254 - 546182. Is 57 a factor of j?
False
Suppose 3*l - 5*q + q = 2633, 0 = -3*l - q + 2623. Let v = l - 233. Does 13 divide v?
False
Let q be (-3)/((-3)/5 - 0). Suppose q*c = 15, c + 3*c - 10 = 2*u. Let h(o) = 108*o + 1. Is 33 a factor of h(u)?
False
Let f(i) = 144*i + 23. Let z be f(4). Suppose -2471 + z = -16*y. Is y a multiple of 9?
True
Suppose 235 - 70 = 10*b + 23*b. Suppose 2*q - 3*p - 10 = 8, -2*p = 0. Suppose x = -v + 62, x - q = b*v + 59. Does 21 divide x?
True
Let t = -4908 - -13170. Is 19 a factor of t?
False
Let y = -445 - -741. Is 4 a factor of y?
True
Let u(i) be the first derivative of -2*i**3/3 + 4*i - 35. Let n be u(0). Suppose -n*t = -20, 412 = 5*f + t - 433. Is 14 a factor of f?
True
Suppose 2*s - 41 + 53 = 0. Is 14*23 - (-3 + 8 + s) a multiple of 26?
False
Let h be ((-14)/(-4))/((-4)/(-8)). Let b = h + 65. Suppose -b = -0*g - 3*g. Is g a multiple of 17?
False
Let h = 3604 - 2200. Suppose 0 = -6*u + 15*u - h. Is u a multiple of 17?
False
Let u(h) = h**3 + 10*h**2 - 28*h + 11. Let f be u(-12). Suppose f = k + k - 3*x, -x - 32 = -k. Suppose -2*c = 3*o - 116, -3*c + 2*c = o - k. Is 7 a factor of o?
True
Let j(b) = -3*b**3 + 3*b**2 + b + 2. Let z(u) = 4*u**3 - 4*u**2 - 2. Let q(g) = 5*j(g) + 4*z(g). Let h be q(6). Let k = h - 49. Does 49 divide k?
False
Suppose -6*w = -w - 2*j - 40, -2*w - 5*j = 13. Suppose -w*a - 162 = -0*a. Let c = a + 57. Does 7 divide c?
False
Suppose -4*o + r + 369 = -8415, -5*o + 10980 = -5*r. Suppose 26*g + o = 29*g - 2*h, 2*g = h + 1464. Does 16 divide g?
False
Let i(b) = b**3 + 30*b**2 + 31*b + 50. Let k be i(-29). Does 19 divide (-1312)/k - (-6 + 0)?
False
Let g(l) = l**3 + 14*l**2 - 19*l - 24. Let d be g(-12). Let b = d + -461. Is 11 a factor of b?
False
Let t be (6 - -142)*(-1)/(-4). Let l be 33/11 - (1 - t). Suppose 5*u = l + 16. Does 11 divide u?
True
Let h = -73 - -73. Let d be (-6)/(-14)*(-35)/(h + -5). Suppose 5*v + 2*o = 27, -d*v + 7 = -o - 18. Is 3 a factor of v?
False
Is 28 a factor of (14/(-126)*-6)/(4/6258)?
False
Let g be (8 - (-312)/(-60)) + 8/(-10). Does 17 divide 2494/7 + (-9)/(63/g)?
False
Suppose 11*w = 14*w - 27. Let a be (w/6)/(3/2). Let f = 11 - a. Is f a multiple of 10?
True
Let p = -44 - -46. Let b be p/(-4) - 2/((-12)/261). Suppose -3*r + 87 = 4*u, 0 = u - 0*u + 5*r - b. Is u a multiple of 4?
False
Let f(c) = c**3 + 10*c**2 + 40*c - 303. Does 27 divide f(13)?
True
Does 22 divide 7 + 16/(-4) - -5596?
False
Let v be 0 + (0/2)/(-1). Let p = -102 + 106. Suppose -92 + 536 = p*y - 4*u, 3*y - 5*u - 343 = v. Is 9 a factor of y?
False
Suppose 3*a - 60 - 146 = 4*y, 0 = -3*a - y + 196. Let l = -33 + a. Let z = 69 - l. Does 18 divide z?
True
Let d be 6 - (-2 - (-5 + 0)). Suppose 18 = -d*c + 132. Is c a multiple of 21?
False
Let w(z) be the second derivative of 15*z**4/4 + 7*z**3/3 + 6*z**2 - 214*z. Is 60 a factor of w(-5)?
False
Let w(y) = -3*y**2 - 3*y - 4. Suppose 5*v = -v + 24. Let z(s) = 7*s**2 + 5*s + 7. Let k(p) = v*z(p) + 7*w(p). Is 2 a factor of k(-1)?
True
Suppose 2*d - 3 = -s, -3*s - 10 = -s. Suppose d*i - 3*k - 437 = 5, 5*i + 3*k = 539. Does 15 divide i?
False
Let p(f) = 10*f**2 + 23*f + 8. Let i be p(-4). Suppose 3*s = -5*m + 594, -i = -m + 3*s + 32. Does 19 divide m?
False
Let u(p) be the third derivative of -17*p**5/12 - p**4/24 - p**3/6 + 5*p**2. Let k be u(-1). Let q = k - -130. Is 9 a factor of q?
True
Does 18 divide (-9)/2*(-64)/(-48) + 4492?
False
Is 55218/12 + (-7)/(-2)*1 a multiple of 58?
False
Let p(o) = 7*o**3 - 8*o**2 - 3*o + 13. Let n(z) = -5*z**3 + 8*z**2 + 4*z - 14. Let h(t) = -3*n(t) - 2*p(t). Is h(10) a multiple of 4?
True
Let h(l) = l**2 + 5*l + 1. Let y be h(-6). Let s(f) = -f**2 + 6*f + 10. Let n be s(y). Suppose -n*j - 2*j - 2*i = -65, -2*j = -i - 35. Does 13 divide j?
False
Let s = -34 - -56. Let l(m) = -6 + 2 + s - 16*m - 2. Is 11 a factor of l(-10)?
True
Let s(f) = 3*f - 54. Let g be s(-6). Let u = g + 108. Is u a multiple of 6?
True
Suppose -1598 = 9*g + 2335. Let x = 1154 + g. Is 12 a factor of (x/9)/(-4*2/(-24))?
False
Let v(n) = 245*n - 555. Is 13 a factor of v(23)?
False
Does 15 divide -6*(-8)/(-360) - 85820/(-150)?
False
Let o = 120 - 59. Let r = o - 59. Suppose 88 = 3*j - r*j. Is 16 a factor of j?
False
Let s(d) be the third derivative of 13*d**5/30 - d**4/4 - 188*d