alse
Let y(h) = -h**3 - 7*h**2 + 8*h + 8. Let p be y(-8). Does 53 divide (-9)/(468/p) + 5984/26?
False
Let i = 43 - 47. Let a be ((-7)/(-2) + i)*-8. Suppose 4*u + 173 = 2*h + 5, a*u - 292 = -3*h. Is 7 a factor of h?
False
Is 18/(13 + -67) - 13759/(-3) a multiple of 60?
False
Suppose h - 3*h + 2965 = v, 11842 = 4*v - h. Let y = v - 1746. Is y a multiple of 45?
True
Let m(r) = -r**3 + 7*r**2 + 7*r - 9. Let o = -18 - -26. Let q(s) = s - 1. Let t be q(o). Does 5 divide m(t)?
True
Suppose d + 18 - 3 = 0. Does 37 divide (-148)/((-22)/12 - d/(-90))?
True
Let c = 5606 + -4550. Does 11 divide c?
True
Let q(a) = a**2 - 2*a - 12. Let n be q(-3). Let d(b) = 2*b - 1. Let j be d(n). Suppose j*m = -0*m - 5*f + 125, -2*m = -4*f - 44. Is m a multiple of 12?
True
Suppose 2*s + 2*s = -4*i - 36, -32 = 4*i + 2*s. Let k(a) = -2*a**3 - 13*a**2 - a - 32. Is k(i) a multiple of 4?
True
Suppose 8 = -3*l + 14. Let w = l + 91. Let s = -52 + w. Does 8 divide s?
False
Let g = 77 + -104. Let h(i) = i**3 + 28*i**2 + 20*i - 36. Does 17 divide h(g)?
True
Suppose 2*l + l = -177. Suppose -3*r + 180 = -69. Let m = r + l. Is m a multiple of 6?
True
Let o = -209 + 194. Is 11 a factor of (-552)/(-32)*(-80)/o?
False
Let y(d) = 8*d - 79. Let m(n) = -3*n - 18. Let t be m(-13). Is 22 a factor of y(t)?
False
Is 11 a factor of 7 + -1 - 7 - (-4 - 2965)?
False
Let b = 5529 + -2879. Does 9 divide b?
False
Let h = 19960 + -13470. Does 35 divide h?
False
Let t(g) be the second derivative of 9*g**3/2 - 128*g. Does 8 divide t(8)?
True
Let x = -10 + 16. Let i be (-3 + 9/x)*-206. Let q = i + -201. Is 36 a factor of q?
True
Let a(w) = 2*w**2 - 18*w + 4. Let c be a(9). Suppose y - 4 = -c*p + 18, -35 = -5*y + 5*p. Suppose 3*g = 2*l - 74, -g - y - 60 = -2*l. Is l a multiple of 7?
False
Let s(p) be the first derivative of 13*p**4/24 + 13*p**3/6 - 33*p**2/2 + 10. Let b(u) be the second derivative of s(u). Does 13 divide b(8)?
True
Does 5 divide (-287)/(-123) + 29192/12?
True
Suppose 204*r - 199*r - 2225 = 0. Let b = -188 + r. Is 40 a factor of b?
False
Suppose 32*r = 101*r - 9108. Suppose 441 = -4*q + 3*j, -5*q - 2*j - 543 = -3*j. Let t = q + r. Is t a multiple of 17?
False
Let b = -120 - -81. Let k = b + 44. Is (-54)/(-3) - (2 - k) a multiple of 10?
False
Suppose f = -2*x + 2431, -f = -x + 326 + 888. Does 59 divide x?
False
Suppose 0 = -103*h + 650920 + 262175. Is 3 a factor of h?
True
Let b be 3 - (-3 - (-3)/1) - -1. Let t(k) = 5*k**2 + 6*k - 2. Is t(b) a multiple of 3?
True
Let x(k) = 406*k - 52*k - 5 + 33*k + 8. Let y be x(1). Suppose -y - 132 = -3*t. Is 18 a factor of t?
False
Suppose 17*u - 18*u = -4*w - 5002, 0 = -3*u + 4*w + 15046. Is u a multiple of 81?
True
Let s = -2026 - -2975. Is 13 a factor of s?
True
Let a = 8 - -12. Suppose q + 16 = 3*w - a, -2*q - w = 37. Let x = q - -60. Is x a multiple of 13?
True
Let o(k) = -22*k**2 - 169*k - 92. Let z(l) = -5*l**2 - 42*l - 23. Suppose 23*r - 10 = 28*r. Let g(t) = r*o(t) + 9*z(t). Is 16 a factor of g(-31)?
True
Let g = -8837 - -18987. Is g a multiple of 10?
True
Suppose -10*k - 7 = -11*k. Suppose 5*p - 1 = -2*r, -4*r - 6*p + k*p - 9 = 0. Does 9 divide (486/15)/(r*2/(-10))?
True
Suppose 37*o = 36*o - 271 + 5769. Is o a multiple of 57?
False
Suppose 18*n = -3*p + 13*n + 5477, -2*n - 5470 = -3*p. Is p a multiple of 32?
True
Let x(d) = -d**3 + 31*d**2 - 5*d - 16. Is x(29) a multiple of 5?
False
Let d = -168 - -173. Suppose 2*g = d*p + 4*g - 797, 5*p = 5*g + 790. Does 4 divide p?
False
Let d be 24/(-108) - 140026/(-18). Suppose 2385 = 22*t - d. Does 6 divide t?
True
Let f = -86 + 91. Let a(r) be the third derivative of r**4/6 - 4*r**3/3 + r**2. Is 12 a factor of a(f)?
True
Let v(x) = 18405*x**2 - 13*x + 15. Does 19 divide v(1)?
False
Let x(p) = -p**3 + 13*p**2 - 9*p + 10. Let d(z) = -4*z - 9*z**2 + z**3 + 4*z**2 - 3 + 5*z**2. Let m be d(3). Is x(m) a multiple of 10?
False
Suppose 21121 = 4*z - q, 5*z = -3*q + q + 26398. Is 48 a factor of z?
True
Suppose -4*z = -5*q + 96016, 3*q - 85*z - 57608 = -83*z. Is 8 a factor of q?
True
Is (37512/36)/((-10)/(-365)) a multiple of 73?
True
Let l be 2/(-15) - (-7014)/630. Suppose -4630 = -l*d + 10517. Is d a multiple of 81?
True
Let s be (-1155)/1001 + (-4)/(-26). Let x(d) be the second derivative of 43*d**4/12 - d**3/6 - d**2 + 2*d. Is x(s) a multiple of 21?
True
Suppose 7*o + 36 + 27 = 0. Is ((-3)/6)/(o/6390) a multiple of 28?
False
Let p(w) = -w**3 - w**2 + 10*w + 14. Let m be p(-2). Is 6322/18 - m/(-9) a multiple of 27?
True
Let x be 2/3 + 52209/(-27). Let q = -1321 - x. Suppose 15*d - 9*d - q = 0. Is 21 a factor of d?
False
Let s(c) = -c**3 - 71*c**2 - 592*c + 498. Is s(-71) a multiple of 305?
False
Let f(n) = 10*n**2 + 4*n + 3. Let u be f(-2). Suppose -3*j + u = -s + j, s = j - 26. Let y = 5 - s. Is 14 a factor of y?
True
Let w be (0 + -3)/(11/(-33)). Suppose -u + w - 8 = 0. Is 16 a factor of -3*(46/12)/(u/(-2))?
False
Does 181 divide (86/6)/((-132)/(-71676))?
True
Let l(u) = -u**3 - 21*u**2 - 91*u - 41. Is 5 a factor of l(-20)?
False
Suppose -4*z = -6*o + o - 64844, -2*o - 8 = 0. Suppose 5806 = -8*g + z. Does 43 divide g?
False
Is (-220)/(-55)*3/(-8)*-46 even?
False
Suppose -x + 3*r = -3753, -8*r + 4 = -4*r. Is x a multiple of 5?
False
Let q = 15358 - 11363. Does 24 divide q?
False
Let x = 75 + -72. Let a be (-4 + -2)*-13*(x + -2). Let c = -65 + a. Is c a multiple of 13?
True
Let s(f) = -f**3 - 8*f**2 + 4*f - 11. Let t be s(-6). Let c = 110 + t. Suppose c*u - 438 = -3*o - 0*o, 3*u = -o + 144. Does 21 divide o?
True
Suppose -2394*c = -2391*c - 11178. Does 54 divide c?
True
Suppose 216 = 4*l - 4*w, -269 + 44 = -5*l - 4*w. Let q = l + -45. Suppose 4*p + u = -u + 610, 0 = 3*p + q*u - 455. Is 17 a factor of p?
True
Let b = 9 + -7. Suppose 17 = -b*o + 27. Suppose -5*k - 350 = -o*u, -3*u - 2*u - k = -362. Is u a multiple of 11?
False
Let f be ((-1580)/(-6))/(-2) - (-12)/(-36). Is ((-78)/4)/3*f/22 a multiple of 3?
True
Let m(p) = 22792*p - 233. Is 72 a factor of m(1)?
False
Let g be 265707/81 - 2*1/6. Suppose -4*f + o = -g, 5*f - 4*o = -2*o + 4103. Does 21 divide f?
True
Let k = -22 - -24. Suppose 0 = k*b - 8. Let s = b - -91. Is s a multiple of 19?
True
Suppose 0*h = 2*h + 8, 154 = -5*u - h. Does 8 divide u/(-45) + (-430)/(-3)?
True
Let s = 62 - 57. Suppose -s*h + 166 = -584. Suppose h = 4*d + 3*v, 2*d = -3*v + 6*v + 66. Does 21 divide d?
False
Suppose 5342*w + 10360 = 5379*w. Does 2 divide w?
True
Let k(w) = -4*w - 18. Let a(s) = 8*s**2 - 4*s - 3. Let o be a(-1). Let d = -16 + o. Is 6 a factor of k(d)?
False
Suppose 10*k + 25*k = 141610. Suppose -21*f + y = -17*f - 5401, 3*f + 4*y - k = 0. Does 18 divide f?
True
Let c(m) = -20*m**3 + 79*m**2 - 63*m - 19. Let h(n) = 7*n**3 - 27*n**2 + 21*n + 6. Let v(u) = -6*c(u) - 17*h(u). Does 22 divide v(14)?
True
Suppose -2*s + l + 36039 = -28019, -160146 = -5*s + 3*l. Is 34 a factor of s?
True
Let g(s) = -119*s - 595. Does 14 divide g(-7)?
True
Let r = 19 + -61. Let w = r - -45. Suppose -z + 2*z = -4*k + 30, -18 = -w*k - 3*z. Does 8 divide k?
True
Let m = -162 - -216. Is 18 a factor of (68/15 + 16/(-80))*m?
True
Suppose 796 = 2*r - 2*b, 2*b - 7*b + 25 = 0. Suppose -105 - r = -4*g - 4*u, -2*g = -u - 263. Is g a multiple of 65?
True
Let o = 53 + -48. Suppose -3*u = -u, -o*m + 4*u + 3905 = 0. Suppose -m = -4*h - 109. Is 24 a factor of h?
True
Let l be (12/21 - -4) + (-9)/(-21). Suppose l*q = 2*q + 15, 3*s - 3*q - 186 = 0. Is 3 a factor of s?
False
Suppose -5*n + 0*n + 3*z + 321 = 0, -4*n = 5*z - 242. Is n a multiple of 3?
True
Let m(y) = -18*y**3 + y**2 + 6*y - 4. Let f be m(-2). Suppose 130*l = f*l - 938. Is 33 a factor of l?
False
Let i = 33722 + 11123. Is 30 a factor of 20/(-70) + i/35?
False
Let v be 12*(-1 + 2 + -2). Let p = 112 + v. Does 10 divide p?
True
Suppose -3*j - 4*x = -8244, x + 11011 = 4*j - 0*j. Is 86 a factor of j?
True
Suppose -6036 = -2*w + 4*j, -13*j = 3*w - 16*j - 9066. Suppose w = 3*t - 4*z, -3*t - z + 4223 = 1177. Does 40 divide t?
False
Suppose -9*m + 174182 = -4*m + 2*f, -34846 = -m + 2*f. Does 215 divide m?
False
Let r = -4457 + 7521. Does 4 divide r?
True
Let x = 23 + -22. Does 40 divide 2 + 1 + 440 - x?
False
Suppose 0 = 3*n - 5*n + 12. Let t be (17/3 - n) + 26/6. Suppose t*d = d + 171. Is 19 a factor of d?
True
Let f = 17362 + -9286. Does 11 divide f?