ide z?
False
Let k = -1438 - -650. Let c = -774 - k. Is c a multiple of 2?
True
Is 4/14 - (6 + ((-59129)/49 - -4)) a multiple of 19?
True
Let s be (4/(-3))/((-7)/(-42)). Let v be (-1)/(-4) - (-2 + 41166/s). Is 41 a factor of 6/14 - v/(-42)?
True
Suppose 10077*d - 10108*d = -1475848. Is 10 a factor of d?
False
Suppose -5*s + 11571 = -11949. Does 8 divide s?
True
Let d(q) = q**2 - 66*q - 6. Let g be d(23). Does 12 divide (g/(-10) + 4)/((-3)/(-6))?
False
Suppose -4*q + 2*h + 3428 = 0, -4*h = -0*q + 2*q - 1724. Suppose 27*s - q = s. Does 3 divide s?
True
Let g(o) = -o**3 - 13*o**2 - 15*o + 15. Let v be g(-10). Does 32 divide (-2426)/(-5) - (-27)/v?
False
Let b = 4102 - 97. Does 45 divide b?
True
Suppose 0 = 4*d - 3*a + 2 + 25, 20 = -4*d - 4*a. Let w be 0 - (-526)/(-6) - d/(-18). Let b = 192 + w. Is 18 a factor of b?
False
Suppose -7*h = -4*h - 12. Suppose 0 = -2*r - h*x + 2680, 836 + 1846 = 2*r + 5*x. Does 61 divide r?
False
Let c(m) = 4*m**2 + 24*m + 103. Let n be 4/(-14) + 0 - 915/105. Is c(n) a multiple of 29?
False
Let w be (-3)/((-6)/(-8)) + 28/4. Suppose 5*s - 4*s = 3*a + 214, w*s = 4*a + 647. Does 10 divide s?
False
Suppose 4*a = -0*z + 2*z - 22, 4*z - 4 = -2*a. Let y(p) = -p**3 + 4*p**2 + 3. Let i be y(z). Suppose i = -3*w, x - 108 = -0*x + 4*w. Does 31 divide x?
False
Does 3 divide 71*(-6 + (5 - 3) - -13)?
True
Does 6 divide ((-78)/(-8) - -4)/(2658/664 - 4)?
False
Is 29 a factor of (-29)/(15145/22737 + 4/(-6))?
True
Suppose 1887*f - 1890*f + 4*v = -11382, -5*f = -4*v - 18970. Is f a multiple of 13?
False
Let g be 4 + -4 + 0 - 489/(-3). Suppose -6*t + g = -4*t - 3*u, -4*u + 373 = 5*t. Is t a multiple of 7?
True
Suppose 2*c + 2 = 3*k - 2*k, -2*c + 70 = 5*k. Suppose -k*l + 105 = -5*l. Is l a multiple of 4?
False
Suppose -3*r = 18 - 24. Let j be r/(-7) + (-11341)/(-77). Suppose 4*i + i + s = j, -27 = -i + s. Is i a multiple of 11?
False
Suppose k - 187 = -184. Suppose -4*j - 4*n = -9*j + 174, k*j = 4*n + 106. Is j a multiple of 13?
False
Let n = -3513 - -8187. Does 114 divide n?
True
Let p = -2321 - -6537. Is 19 a factor of p?
False
Let p = 129 - 123. Is 22 a factor of (-326)/p*105/(-35)?
False
Suppose 12 = t - 4*u, -u + 69 = -t + 3*t. Suppose -30*j + t*j = -44. Is j/11*85/(-1) a multiple of 10?
True
Let n(t) = -t**2 - 3*t. Let s be n(-3). Suppose s = h - 1. Is h/(-8) - (-1444)/32 a multiple of 13?
False
Let i(h) = -h**2 - h. Let d(f) = 7*f**2 + f + 11. Let z(m) = 20*m**2 + 3*m + 33. Let o(s) = 11*d(s) - 4*z(s). Let k(t) = -2*i(t) - o(t). Does 24 divide k(5)?
False
Suppose -10*l - 25939 + 161921 = l. Does 14 divide l?
True
Suppose 0 = -4*u + 2*d + 30290, 240*u - 242*u + 15141 = 3*d. Does 30 divide u?
False
Let d(i) = -2*i + 20. Let l be d(10). Let w = l - -31. Suppose -3*u - 82 = -2*r, -r = u - 0*u - w. Is 4 a factor of r?
False
Let v = -30976 - -31351. Is v a multiple of 65?
False
Is 2 a factor of (-915209)/(-2452) + (1 - -1)/(-8)?
False
Suppose 12*o - 66 + 30 = 0. Suppose o*m + 422 = l - 2*m, -l - 5*m + 372 = 0. Is 29 a factor of l?
False
Let u = -1346 + 345. Let y = u + 1739. Does 18 divide y?
True
Suppose 167*j = 188*j - 111720. Is 95 a factor of j?
True
Let u(i) = 3*i - 19. Let d(h) = 0 + 3*h - 8 - 10. Let a(k) = 6*d(k) - 7*u(k). Is 8 a factor of a(0)?
False
Let g(t) = t**3 - 15*t**2 + 21*t + 22. Let h be g(18). Suppose 159*o + h = 173*o. Is o a multiple of 7?
True
Let s(b) = b**2 - 8*b + 22. Let h be s(5). Suppose -h*a = -12*a + 700. Does 20 divide a?
True
Let v = -56 + 154. Let m = v + -96. Let p(c) = 83*c + 5. Does 19 divide p(m)?
True
Let y(d) = -d**3 + 33*d**2 + 93*d - 661. Let z be y(35). Suppose 4 = v - 0*v. Is 13 a factor of (-3 + v)*(-1 + z)?
True
Suppose s = -5*c + 3264, -2*c = 5*s - 775 - 503. Is c a multiple of 4?
False
Let n(m) be the second derivative of 119*m**4/6 + m**3 + m**2 + 18*m. Is n(-1) a multiple of 17?
False
Let x = 10349 + -8133. Does 4 divide x?
True
Suppose -115 = 5*i + 5*u + 220, -3*u - 130 = 2*i. Suppose 14*w + 260 = -6*w. Let m = w - i. Is m a multiple of 29?
True
Let u = 31 + 187. Let y = u + -75. Suppose j - q + 133 = 3*j, -q = -2*j + y. Is j a multiple of 7?
False
Let k(a) = 14*a + 74. Let g be k(-5). Suppose 5*b = g*d + 1469, 5*b - 1505 = -0*b - 5*d. Does 44 divide b?
False
Let s = -417 + 419. Suppose 3*t - 2*x + 6*x = 1533, 2*x - 1022 = -s*t. Is t a multiple of 73?
True
Let g(q) = 19*q**3 + 8*q + 10. Let x be g(-3). Let n = -506 - x. Does 7 divide n?
True
Let x(c) = 487*c - 120. Is 66 a factor of x(18)?
True
Suppose -5*y + 0*u - 3*u = -8988, 3*y + 4*u = 5384. Suppose -9*t + y = 369. Does 53 divide t?
True
Let t(j) = 661*j + 1458. Is 14 a factor of t(14)?
False
Suppose -4*n - g + 38 = 0, 7*n - 2*n + 2*g - 46 = 0. Does 4 divide (-2)/n - 381*(-1)/5?
True
Let f(x) = 78*x**2 + 62*x - 229. Is f(4) a multiple of 22?
False
Let k be (2/36*9)/((-2)/(-308)). Let y = k - -49. Is 9 a factor of y?
True
Let b be -3 + (-2 - -2 - -16). Suppose 5*j = -3*t + 24, -4*j - b + 43 = -3*t. Is 24 a factor of (2 + -5)/j + (-218)/(-4)?
False
Suppose -2*h - 3 = h. Let q(p) = -219*p**3 + 3*p**2 + 7*p + 5. Does 5 divide q(h)?
True
Let j(w) = -w**3 - 10*w**2 - 17*w - 15. Let o be j(-8). Let u(g) be the first derivative of -g**3/3 - 19*g**2/2 - 11*g - 5. Is u(o) a multiple of 23?
False
Let j(o) = -60*o - 2. Let z be j(3). Let x = 672 - 404. Let l = x + z. Does 19 divide l?
False
Suppose -57606 = 7*f + 2*f - 15*f. Does 172 divide f?
False
Suppose -13*j = -94500 + 23546. Is 23 a factor of j?
False
Let u be (-10)/(-8) + (-3)/12. Suppose -5*o + 6 - u = 0. Is 3 a factor of 9/(-3) + o/(3/18)?
True
Suppose 246*p - 251*p + 1050 = 0. Let v = -96 + p. Is 6 a factor of v?
True
Let o(w) = w**2 + 19*w + 53. Let k be o(-15). Let p(x) = -73*x - 31. Is 16 a factor of p(k)?
True
Let d(n) = -n**3 - 8*n**2 + 3*n + 17. Let c(b) = -b**2 - b - 1. Let y(q) = -2*c(q) - d(q). Suppose -w + 9*l - 12 = 10*l, -2*w - 15 = -l. Is 6 a factor of y(w)?
False
Let o = 295 + -94. Let x be -4 - o*-1 - -3. Suppose 0 = 2*u - 4, x = 2*w + u - 0*u. Is w a multiple of 10?
False
Suppose 39*n - 911088 + 58662 = -32*n. Is 6 a factor of n?
True
Suppose -28 + 4 = -4*h. Suppose 0 = 14*t - h*t - 96. Let m = -3 + t. Does 2 divide m?
False
Suppose 3*t - 76 = 44. Let v = t - -309. Does 20 divide v?
False
Let r(i) = i**2 + i**3 + 0*i**3 - 1779*i + 1777*i - 2. Let n be r(-1). Suppose 3*p + 4*j - 237 = 0, n = 3*p - 8*p + 3*j + 366. Is 9 a factor of p?
False
Let m be (4/(-18) + 70/(-252))*-302. Suppose -m = -2*s + 63. Is 13 a factor of s?
False
Let i be (1 - 14/16) + 45/24. Suppose -4*f - 3449 = -4*j - f, i*j + 4*f = 1730. Is 42 a factor of j?
False
Suppose s + 10718 + 11846 = 3*g, -4*g + 3*s + 30092 = 0. Suppose -618*k + 610*k + g = 0. Does 10 divide k?
True
Let c(s) = 3*s - 1. Suppose -2*n = -32 + 30. Let q be c(n). Suppose -q*a + 103 + 41 = 0. Is 18 a factor of a?
True
Let x = 2918 + -2390. Does 7 divide x?
False
Is 19 a factor of (-7 - 183)/((-14)/133*1)?
True
Does 22 divide (274898/(-52) - (-20)/(-24))*(1 + -4)?
True
Let m(x) = -11*x - 3. Let d be m(4). Let l be d*(-10)/15*3/(-2). Let p = 7 - l. Is p a multiple of 27?
True
Suppose 101*t - 357426 = 944668 + 890414. Is t a multiple of 54?
True
Suppose 2*l = 227 + 1761. Does 6 divide (1/2)/(5971/l + -6)?
False
Let c = -341 + 344. Does 6 divide (-20 + c)*(-9)/3 - 3?
True
Suppose 3*r - 5 = 2*r. Suppose -r*q - 881 = 4*o, q + q + 366 = -5*o. Let c = -113 - q. Is c a multiple of 30?
True
Suppose 30520 - 7262 = t + 9*a, a = 5. Is 167 a factor of t?
True
Suppose -5*f + 0*f = -4*z - 51, 3*z + 39 = 3*f. Is (12/z + 0)*(-7490)/15 a multiple of 31?
False
Let q be (-2 - -17)/(0 + 1). Let l = -5 + q. Let i(z) = 11*z - 28. Is 8 a factor of i(l)?
False
Let g(t) = t**3 - 63*t**2 + 27*t - 715. Is 2 a factor of g(63)?
True
Let u be (3 - -2) + -2 + -2. Suppose 17 = -6*m - u. Is -44*(2 + m - 77/28) a multiple of 33?
True
Let z = 377 - 373. Suppose -z*a + 74 + 1402 = 3*f, 0 = 4*f + 5*a - 1968. Does 33 divide f?
False
Suppose -3*f + 4*n = -24408, 329*n + 32513 = 4*f + 334*n. Does 107 divide f?
True
Let f = 4732 - 4471. Does 12 divide f?
False
Let m(w) be the first derivative of 2*w**3/3 + 3*w**2 + 46*w - 46. Is 18 a factor of m(-9)?
False
Suppose 19*c - 269*c + 1684750 = 0. Does 65 divide c?
False
Suppose -256*r + 194*r + 496000 = 0. Is r a multiple of 100