0)?
True
Let f(u) be the third derivative of 17*u**4/8 - 37*u**3/3 - 44*u**2. Does 10 divide f(4)?
True
Suppose -55*n = -45*n - 160. Suppose -4*b = n, -2*q + b = -2*b - 588. Is q a multiple of 26?
False
Suppose 0 = 8371*c - 8372*c + 1172. Is c a multiple of 24?
False
Suppose -111*y + 25 = -110*y. Is 13 a factor of (-666)/(-10) + (-3 - (-85)/y)?
False
Let o(j) = -j**3 + 8*j**2 - 3*j + 20. Let r be o(7). Suppose -p + 3*p - r = 0. Does 14 divide p?
False
Let o = 678 - 676. Let r(i) = i**2 - 1. Let v be r(2). Suppose 2*t = -6, 5*w + o*t = -v*t + 215. Is w a multiple of 23?
True
Suppose 16*v - 14*v - 7300 = 4*h, 4*h - 3644 = -v. Is 24 a factor of v?
True
Let d = 143 + -141. Suppose 0 = -d*k + 28. Does 7 divide k?
True
Let r(a) = 4*a**2 - 145*a - 33. Does 206 divide r(89)?
True
Let a = 1964 - 1660. Let s = 4 + -1. Suppose -s*l = -l - a. Is 19 a factor of l?
True
Suppose 5*q = -2*k + 17414, 17398 = -6*k + 8*k - 3*q. Does 19 divide k?
True
Suppose -1178*k + 19456 = -1170*k. Is k a multiple of 128?
True
Is 18 a factor of -6 + (-6)/((-1)/1)*2281?
True
Is 12 a factor of (-1555242)/(-157)*(-1)/3*(-7 - -1)?
True
Let x = 374 + -267. Suppose -111*d + x*d + 396 = 0. Does 6 divide d?
False
Let f(w) = 8*w**2 - 27*w - 124. Let k be f(-7). Suppose -3*g - 3 = 0, -11*u + 10*u + k = 5*g. Is u a multiple of 22?
True
Let c = 51 - 47. Suppose -c*t + 12 = -0*t. Suppose 4*s + 2*n - 261 = -s, -t*s + 4*n = -141. Does 8 divide s?
False
Is (-228)/1482 + (-173)/(-26)*(-808)/(-2) a multiple of 16?
True
Let v(x) = 19*x - 5. Let t be v(1). Suppose -4*l - t + 246 = 0. Let b = l + -49. Does 2 divide b?
False
Let h = -27 + 27. Suppose 0 = -h*r + 4*r + 572. Let v = 244 + r. Does 23 divide v?
False
Suppose -1966909 + 510782 = -38*n + 168487. Is 57 a factor of n?
False
Let d(o) = 3*o**2 - 43*o - 30. Suppose -162 = -3*f - 6*f. Is 5 a factor of d(f)?
False
Let i(b) = b**3 - 17*b**2 - 17*b + 1. Is 40 a factor of i(19)?
True
Suppose -10*z = -5*z + 455. Suppose 6*r - 4*o = r + 47, 3*r = -2*o + 15. Let a = r - z. Is a a multiple of 14?
True
Let h(n) = -7*n**2 + 28*n + 14. Let r be h(8). Let m = r + 456. Is m a multiple of 82?
True
Suppose 0 = 113*k - 115*k - 2190 + 6528. Is 7 a factor of k?
False
Let j(h) = -7*h - 2. Suppose -3*n = -6, v - 1 = -2*v - 2*n. Let a be j(v). Suppose 0 = 5*k - i - 267, -4*i + 6*i = a*k - 264. Is 18 a factor of k?
True
Suppose -12*o + 4*o = 2*u - 45434, 17034 = 3*o + 2*u. Is 56 a factor of o?
False
Let d(i) be the third derivative of i**4/24 + 8*i**3/3 + 7*i**2. Let z be d(-12). Suppose 3*n + 365 = 5*w, 2*w = 3*w - z*n - 73. Is w a multiple of 26?
False
Suppose 0 = -33*r + 36*r - 72. Suppose -4*z + 0*z + 4*y = -r, 4*y - 18 = -3*z. Suppose z*m + 130 = 7*m. Is 13 a factor of m?
True
Suppose 12*f - 22 = 2. Suppose f*i - 149 - 145 = 0. Is 7 a factor of i?
True
Let x be -3*(0 + 1 + -2). Suppose x*v + 8 = 7*v. Suppose 4*a - 5*h - 217 = 0, -5*a = v*h - 70 - 160. Is a a multiple of 13?
False
Suppose -84*h + 7959905 = 351*h - 8438725. Does 183 divide h?
True
Let u(p) = 20 - 97 + 75*p - 41*p. Is u(12) a multiple of 48?
False
Suppose 0 = -4*h + 2*d + 56, 4*h - 2*d - 72 = -h. Let f(a) = -a**2 + 15*a + 1. Let i be f(h). Does 10 divide 6/4*(-100)/i?
True
Let v be (-1 - 2) + 50/4*20. Let m = 744 - v. Does 66 divide m?
False
Let f be 4/(-12)*-3 + 31. Suppose 0 = j + 4*c - 5 - f, -2*j + 3*c + 118 = 0. Is 10 a factor of j?
False
Suppose 3*d - 7392 = -8*d. Suppose -4*x - 284 + d = 0. Let q = x - 73. Is 12 a factor of q?
True
Let u = -431 + 749. Suppose 43*w - 38*w + 1090 = 0. Let j = u + w. Does 20 divide j?
True
Suppose -k - 4*k = -25. Let i(l) = l**3 - 3*l**2 + 2. Let g(h) = 3*h**3 - 9*h**2 + h + 5. Let p(c) = 6*g(c) - 17*i(c). Does 38 divide p(k)?
True
Let a = -21 - -21. Is 25 a factor of (-16 - -62) + a/(-1)?
False
Let k(v) be the second derivative of 7*v**4 + v**3/3 + 6*v. Let o be k(1). Does 10 divide (-26)/91 - o/(-7)?
False
Let h(l) = -l**2 + 93*l + 68. Let f be h(57). Does 20 divide (-1 + 1 + f)*(-103)/(-206)?
True
Let o(d) = -37 + 60*d - 150 - 100 - 71 + 38. Is 40 a factor of o(6)?
True
Let t(v) = 27*v - 69. Let p be t(3). Suppose -3*d = 2*l - 258, p*l + 5*d = 9*l + 385. Is 27 a factor of l?
True
Suppose 2*h - 2*w = 13030, 96*w = 100*w + 20. Is 62 a factor of h?
True
Suppose -11*j + 4*j = -42. Let c be (j/4 + -2)/((-3)/1206). Suppose 639 = 10*y - c. Is 42 a factor of y?
True
Let n = -3354 - -12699. Is n a multiple of 105?
True
Suppose 2*c = -8, -v + 380 + 298 = 3*c. Is v a multiple of 16?
False
Let v(g) = 107*g - 55. Let f be 23/7 - ((-60)/35)/(-6). Is 36 a factor of v(f)?
False
Suppose 2 = 3*t - z, t + z - 6 = -0*t. Let b be (t/(-6))/((-1)/15). Suppose -275 = -b*j + 5. Is j a multiple of 28?
True
Suppose -4*w + 4*a + 7641 = -16999, 24655 = 4*w + a. Is 43 a factor of w?
False
Let m(d) = -11*d**3 - 2*d**2 + 1. Let j be (1 - (-26)/(-10))*(9 + -14). Suppose -z - 5*t + 2 = j, 0 = -4*t - 4. Does 7 divide m(z)?
False
Is 16 a factor of (-1737 - 3)/(10/(-10 - 30))?
True
Let q(t) = t**2 + 37*t - 12. Let v be q(-18). Let j = v - -171. Is 29 a factor of (-1 + 16)*j/(-9)?
False
Let t(i) = -17 - 30*i + 1 + 20. Does 7 divide t(-5)?
True
Suppose -170*l = -172*l - v + 56706, -85020 = -3*l + 5*v. Is l a multiple of 14?
True
Suppose 28 = -2*v - b, 25 = -4*v - b - 27. Let i = v - -100. Is i a multiple of 22?
True
Suppose 67 = 9*q + 67. Suppose -4*n - 5*i = -84, -7*n + 2*n + 3*i + 105 = q. Is 6 a factor of n?
False
Let o be (-1)/(-2*(-3)/(-1842)). Let y = -133 + 245. Let p = o - y. Is 39 a factor of p?
True
Suppose 0 = 3*i - 237 - 243. Let x = i - 116. Does 10 divide x?
False
Suppose 3*p + 4*n = 10, -5*n = 3*p - 5*p - 1. Suppose p*d + d = 4*x - 225, -2*x = 3*d - 117. Does 8 divide x?
False
Let j = 28 + -33. Let f be (-1)/(((-3 - j)/414)/(-1)). Suppose 0 = -3*x + f + 105. Does 9 divide x?
False
Let d be (-1)/2*(1 + -1). Is 79 a factor of ((-933)/(-6))/(1/4) + d?
False
Suppose 13*r + 30*r = -2*r + 4050. Suppose -2*n - 420 = 3*n. Let l = n + r. Is 5 a factor of l?
False
Does 32 divide ((-56)/14 - -2095) + 12?
False
Let s = 94 + -166. Is (-48)/s - (-568)/3 a multiple of 19?
True
Let y be 1*-3 + (10 - 8). Let s = y - 143. Let n = s - -315. Is n a multiple of 33?
False
Let c = 16 - 12. Suppose -57*m = -29001 - 4800. Suppose f - 289 = b, 2*f - b = c*b + m. Does 47 divide f?
False
Let l be (2 - (-28)/(-8))/(6/(-8)). Let s(t) = -17*t - 1 + 2*t**3 + t**2 - 8*t**l + 16*t. Is 4 a factor of s(5)?
False
Suppose -3666 = -29*z + 4802. Is 39 a factor of z?
False
Suppose -2*l = -4, -3*r + l = -25289 - 20318. Is r a multiple of 151?
False
Let n(p) = p**2 + 5*p - 2. Let c be n(-6). Suppose -3*q + 28 = -2*q - 5*o, o - 7 = -c*q. Does 8 divide q*1*104/12?
False
Let v = -1 + -4. Let u be 1/(2/4) - v. Suppose 0 = -u*i + 9*i - 86. Does 12 divide i?
False
Let x = 88 - -47. Let g be 242*(-4)/(-2 + -2). Let v = g - x. Is v a multiple of 33?
False
Suppose -5*z = 589 - 2424. Let i = 671 - z. Is 8 a factor of i?
True
Let w(o) = -30*o - 75. Let n(k) = -12*k - 30. Let f = 75 + -70. Let j(z) = f*w(z) - 12*n(z). Is j(-5) a multiple of 8?
False
Let y be (-11 - -12)*7 - 7. Suppose 21 + 15 = u. Suppose y = -5*b + 544 + u. Is 29 a factor of b?
True
Let g = -27859 - -55436. Is 109 a factor of g?
True
Suppose 6 = 2*s - 12. Suppose -2*w + 710 = -5*a, -4*w - 1802 = -s*w - a. Is 8 a factor of w?
True
Suppose 0 = -69*p + 740967 + 232761. Is 112 a factor of p?
True
Let l(o) = -o + 15. Let j(z) = 16 - 10*z**2 + z**2 - 18*z**3 + 7*z + 19*z**3. Let y be j(8). Does 2 divide l(y)?
False
Does 28 divide ((-2)/3 + (-56432)/(-48))*2*4?
False
Let l be ((-12)/(-15))/(-6*(-3)/45). Suppose -5*j = -l*j - 3030. Does 18 divide j?
False
Let i = -39 + 39. Suppose i = 8*n - 10*n + 16. Is 4 a factor of 138/n - 4/16?
False
Let y be (1*(-1)/2)/((-10)/120). Let w be (y/5)/(6/15) + 7. Let c = w + 2. Is c a multiple of 6?
True
Let r(k) = 2*k**2 - k + 11. Let t(l) = l**3 + 5*l**2 - 8*l - 8. Let y be t(-6). Does 11 divide r(y)?
False
Let r = 74 - 69. Suppose r*m + 7 = m - b, -4*b = -20. Let k(j) = -3*j**3 - j**2 - 4*j - 6. Is k(m) a multiple of 13?
True
Let l = 9 + 1. Let k = 310 - -509. Suppose -l*m = -7*m - k. Does 13 divide m?
True
Let q(w) = -8*w**2 - 2*w + 12. Let i be q(10). Let n = i - -1403. Does 17 divide n?
True
Suppose j = -3*h - 6, 5*j - 4*h = -h -