e 8*g - 22 = 6*g. Let u be -3*1 + (13 - g) - -8. Is x(u) a multiple of 34?
True
Let t(w) = 132*w**2 - 37*w - 20. Is t(-9) a multiple of 17?
False
Let h = -381 + 386. Suppose 0 = -h*q - 5*g + 3105, -8*g - 636 = -q - 4*g. Is 12 a factor of q?
True
Suppose 2*h = 112 - 112. Suppose h = -6*s + 11*s - 15. Suppose s*m - 251 - 235 = 0. Is 18 a factor of m?
True
Let x = 27 - 21. Let l(o) = -o**2 - o - 4. Let k be l(x). Let u = k - -64. Does 6 divide u?
True
Suppose 6*n - 3*s + 59919 = 10*n, n - 14957 = -4*s. Does 185 divide n?
True
Suppose 0 = 2*t - 5*w - 10, -4*w = 4*t + w - 20. Suppose -5*s - h = -700, 3*s + t*h + 560 = 7*s. Does 20 divide s?
True
Suppose 0 = -12*i + 18*i. Suppose -3*j + 88 + 482 = i. Is 19 a factor of j?
True
Let k(j) = 1668*j**2 + 11*j + 20. Does 29 divide k(-2)?
True
Let g(l) = 2*l**3 - 11*l**2 + 7*l + 2. Let p be (-24)/(-9)*(-30)/(-8). Let u(i) = -i**3 + 9*i**2 + 13*i - 22. Let j be u(p). Is 54 a factor of g(j)?
True
Let z be ((0 - 535) + -12 + 15)*-5. Let f be 4/((-7)/(z/(-8))). Let k = -76 + f. Is k a multiple of 54?
False
Let m = 1222 - 589. Suppose -8*f = -m - 10247. Does 54 divide f?
False
Suppose -5*l - 1015 = 2*m, 4*m - 3*l + 620 + 1345 = 0. Let d = m + 872. Is 13 a factor of d?
True
Suppose -2*t + 4 = 36. Let y be ((-175)/(-150)*(-3)/(-7))/(2/(-8)). Is y/5 + 38*t/(-20) a multiple of 10?
True
Let x(i) = -114*i**3 - 2*i**2 - 2*i. Let a be (-15)/35*1 - 24/42. Does 3 divide x(a)?
True
Let p(l) = -2*l - 9. Let a(g) = 4*g + 19. Let o(i) = -4*a(i) - 9*p(i). Let f be o(0). Suppose -6 = -f*q + 44. Is q a multiple of 2?
True
Suppose -4*v - 1220 = 5*b - 3008, 3*v = -3*b + 1338. Suppose 5*p - v = 593. Let f = p + -107. Is f a multiple of 25?
True
Suppose 0 = -116*k + 73*k + 862752. Is k a multiple of 16?
True
Suppose -6841 = -2*g + 3*w, g = -3*w + 3937 - 512. Is 58 a factor of g?
True
Suppose -9*r = -4*r + g - 504, 5*r - 3*g - 488 = 0. Let k = r - 70. Does 3 divide 3/((1/(-2))/((-75)/k))?
True
Let z be (13/1)/(-17 + 18). Is 1/((13/40)/z) even?
True
Let o(l) = l**3 + 15*l**2 + 23*l - 34. Let j be o(-13). Suppose -2*d + i + 1371 = 0, j*d + 9*i = 4*i + 3405. Is 19 a factor of d?
True
Let y(w) = 122*w - 4 - 1 + 5. Let s be y(2). Suppose -5*v - a = -436, -2*v - v - 5*a + s = 0. Does 8 divide v?
True
Suppose -4*n + 5*w - 60 = -9*n, 96 = 5*n - 4*w. Suppose n*d = d + 2070. Is d a multiple of 23?
True
Suppose -2*u + 34 = -8. Let t = u - 18. Suppose -4*r + 5*h = -426, 3*r - 5*r + 214 = -t*h. Is 26 a factor of r?
True
Let p be -1 - -1 - (2 - 5). Let m(a) = 23*a + 574. Let j be m(-20). Suppose 4*w + 6*r - p*r = j, 4*w = -4*r + 112. Is w a multiple of 15?
True
Let c(z) = z**3 - 2*z**2 - 125*z - 93. Is c(26) a multiple of 135?
False
Let l(k) = -k**3 + k**2 + 6*k - 2. Let h be l(4). Let g(a) = 16*a + 106. Let f be g(-9). Let c = h - f. Does 11 divide c?
False
Suppose 69*x + 1315825 = 142*x. Is x a multiple of 11?
False
Let p(c) = 991*c**2 - 973*c + 5785. Is p(6) a multiple of 52?
False
Let s(a) = 17*a - 16. Let d be s(3). Suppose 2*c - 3*c = -r + d, -3*r - 5*c = -73. Suppose -g + 3*b + 15 = 0, g + 6*b - b - r = 0. Is g a multiple of 3?
True
Let l = -2045 + 2584. Is l a multiple of 45?
False
Suppose 5*m - 13851 = -4*o, 0 = -4*m - 16*o + 21*o + 11130. Does 3 divide m?
True
Suppose -31*p + 3*q = -27*p - 8249, -4*p + 8239 = -5*q. Does 73 divide p?
False
Let n(y) = y**3 + y**2 - 9*y - 11. Let u be n(10). Suppose 0 = 16*z - 121 - u. Is 10 a factor of z?
True
Suppose 62*g = 5*v + 59*g - 29225, -3*v + 17546 = -4*g. Is v a multiple of 199?
False
Let c(f) = 3*f + 74. Let n be c(-23). Suppose -n*d = 5 - 335. Is 8 a factor of d?
False
Suppose -3 = 3*u - 2*n - 12, 0 = 5*u - 5*n - 15. Is 11 a factor of (1*u)/((-24)/(-176))?
True
Suppose 43*i - 374965 - 570562 - 196682 = 0. Is 146 a factor of i?
False
Let m be (-1568)/(-320) - (42/(-20) - -2). Suppose -m*n - 3*f + 739 + 155 = 0, 0 = n - 2*f - 184. Is 45 a factor of n?
True
Suppose -13*s = -14*s + 1, -s + 43111 = 6*i. Does 27 divide i?
False
Suppose 0 = -2*j - 4 + 2, 2*q - 5*j = 9. Suppose -3*s = -q*c - 0*c - 7026, 3*s = 3*c + 7029. Is s/54 - (-4)/(-3) a multiple of 21?
True
Let k = -13326 + 13896. Is 114 a factor of k?
True
Suppose 0 = -w + 5*k - 117, 195 = -2*w - 4*k + k. Let t = -97 - w. Suppose 0 = s + t*j - 37 - 78, -3*j = -6. Is 18 a factor of s?
False
Suppose 0 = -q + 6*q - 2*q. Suppose 3*m - 7*m + p + 3004 = q, 3*m = -4*p + 2253. Is 47 a factor of m?
False
Let n be 10/(-20)*(7 + -1) - -1. Let j be (n/6 + 26/(-3))*-1. Suppose 84 - j = 5*i. Does 3 divide i?
True
Suppose -4*p + 37 = 5*u, -5*u - 9 = -3*p - 25. Suppose -p*g - 3*g = -24. Suppose 4*o - 18 = -a, g*o + o = 15. Does 3 divide a?
True
Let i = -50 - -48. Let x(m) = -19*m**3 - 5*m**2 - 6*m + 1. Let u be x(i). Is 29 a factor of 0 - -12*u/10?
True
Let k(g) = g**3 + 3*g**2 - 11*g + 9. Let p = 114 + -111. Let j(m) = -m**2 - m - 1. Let f(b) = p*j(b) - k(b). Is f(-8) a multiple of 10?
False
Let a be 2/10*-4*5/2. Let w be (a - -3) + 3/((-3)/(-1)). Suppose 0 = 5*k - 2*r - 59, -w*r - 2*r - 63 = -5*k. Is k a multiple of 3?
False
Let w be 20/(-16)*(-1 + -3). Let o(f) = -f**3 + 16*f**2 + 18*f + 58. Let x be o(17). Does 12 divide x*((-1)/w + 12 + -11)?
True
Let p = 291 + -292. Does 31 divide 123 + p/(-2 - (-20)/12)?
False
Suppose -4*b - 200*i = -199*i - 68779, -2*i = 10. Does 40 divide b?
False
Let v = 275 - 262. Suppose -3940 = -v*q - 1223. Is q a multiple of 11?
True
Let a be -2 + 0 - 72/12. Is 8 a factor of (((-114)/a)/(-3))/((-55)/1320)?
False
Let i = 239 + -37. Suppose -2*s + 210 = -g, 0 = -2*s - 5*g + 2*g + i. Let w = -69 + s. Is 16 a factor of w?
False
Let m(x) = -9*x - 18. Let f(d) be the third derivative of -d**6/120 - 7*d**5/60 - 7*d**4/24 + d**3/2 - 7*d**2. Let k be f(-5). Is 45 a factor of m(k)?
True
Let v = -69 + 68. Is 6 a factor of (v - 32)*18/(-18)?
False
Does 15 divide 82296/135 - 6/(-15)?
False
Let b(i) = 3*i**3 - i**2 + 22*i - 294. Is 62 a factor of b(16)?
True
Let v = 402 + -351. Suppose 3*x + 3*i - 183 = 0, 3*i = 10*x - 11*x + v. Does 10 divide x?
False
Suppose -61 = p + 5*f - 4, -2*f + 140 = -4*p. Let w = 69 - 30. Let k = w + p. Does 2 divide k?
True
Let d(y) = 257*y**2 - 25*y - 63. Does 74 divide d(6)?
False
Let u = 18382 + -14306. Does 4 divide u?
True
Let t = 1283 + 1717. Is 120 a factor of t?
True
Does 7 divide -6*(-18 - 114140/40)?
False
Suppose 0*l - 3*n + 205 = 5*l, -l - 2*n + 34 = 0. Suppose -3*c - l = -3*a + 382, c = -a + 142. Is 15 a factor of a?
False
Suppose 0 = -0*f + f + 5*g - 342, 1656 = 5*f - 2*g. Suppose i = -0*i - f. Let d = i - -494. Is d a multiple of 27?
True
Suppose 87 + 13 = 20*t. Suppose 4*x - 8064 = -t*x. Is x a multiple of 20?
False
Suppose 5*i + 385 = -3*t, -4*i + 4*t = 7*t + 305. Let o = 196 + i. Is o a multiple of 23?
False
Let b(w) be the first derivative of -7*w - 10/3*w**3 - 1/4*w**4 - 6*w**2 + 3. Does 5 divide b(-9)?
True
Suppose -43*w = -9*w - 125120. Suppose 3*c - w = -c. Does 83 divide c?
False
Let h(p) = p**2 - p + 2. Let q(t) = -21*t**2 + 2*t - 15. Let y(f) = -3*h(f) - q(f). Is y(-4) a multiple of 51?
False
Let u(f) = -165*f + 685. Is 20 a factor of u(-35)?
True
Let g(p) = -13*p**3 - 15*p**2 - 36*p + 20. Is g(-4) a multiple of 14?
True
Let r(f) be the second derivative of f**5/20 - f**4/12 + 7*f**3/6 - 15*f**2 + 34*f. Is r(6) a multiple of 13?
False
Let y = -2 - -54. Suppose -y*p - 248 = -54*p. Is p a multiple of 4?
True
Suppose -5*p = 3*d - 14133, -3*d - 4*p = -p - 14139. Is 12 a factor of d?
True
Suppose -26*h - 18*h + 15480 = 16*h. Is 43 a factor of h?
True
Let k = 2973 + 1671. Does 5 divide k?
False
Let x = -8332 - -5429. Is 25 a factor of (-18)/(-24)*-1 + x/(-4)?
True
Suppose 2*i - 370 = 2*m, -2*i + 940 = -5*m - 0*m. Let p = m + 686. Does 34 divide p?
False
Suppose 25 = -4*u - 15. Let k be 2 + -1 - (-86 - u). Let s = 126 - k. Does 7 divide s?
True
Let r = 70972 + -35000. Does 34 divide r?
True
Let r(c) be the first derivative of 9/2*c**2 - c + 7. Is 2 a factor of r(4)?
False
Does 29 divide 13 + -5 + (-4 - 12648/(-1))?
False
Suppose 71*m - 91*m + 54180 = 0. Is 43 a factor of m?
True
Suppose 3*f + 3 = 0, -l + 16323 = -120*f + 123*f. Is l a multiple of 124?
False
Let k(n) = n**2 + 14*n - 6. Let m be k(-17). Suppose -6*j + 93 = -m. Is j a multiple of 2?
False
Let z be (-43)/(-129)*(0 - -6). Suppose -z