/(-54400)) a multiple of 10?
True
Let n = -2892 + 3602. Does 19 divide n?
False
Let m(f) = -f**3 + 38*f**2 - 71*f - 34. Let n be m(36). Is 1/n*(-13)/(13/(-830)) a multiple of 5?
True
Let z = 1750 - 422. Is z even?
True
Is (-24 - -34) + (0 - -126) a multiple of 7?
False
Suppose 5*d - 11 = 2*m, -4*d + 3*m - 4*m = -14. Suppose -d*t - 363 = v + 4*v, -2*t = -3*v + 261. Let x = t + 270. Is 6 a factor of x?
True
Suppose -u = -4*a + 1096, 1371 = 11*a - 6*a - u. Is 14 a factor of a?
False
Suppose -5*z - 4*i + 20 = 0, -4*z - 10 = i - 26. Suppose -21 = -z*r - 9. Suppose -3*s - s = k - 10, -r*s - 3 = 0. Is 6 a factor of k?
False
Let l = -22 + -7. Let f = -22 - l. Suppose 2*k - 5 = -f, k - 815 = -4*d. Is d a multiple of 17?
True
Suppose 491 = 4*i + 3*o, 4*i - 2*o - 269 = 217. Let d(y) = 12*y**3 + 4*y + 3. Let p be d(-2). Let x = p + i. Does 6 divide x?
False
Let q = -154 - -351. Let z = q + -138. Is 30 a factor of z?
False
Suppose 34 = 4*z + 2. Let w be (8/6 - (-50)/(-30))*-27. Suppose 0 = -z*j + w + 63. Is j a multiple of 3?
True
Suppose -4*l + 100 = 4*d, 9 + 20 = d + 2*l. Let o be (-1)/(-4) + -3*(-46)/24. Let k = d - o. Is 4 a factor of k?
False
Suppose 2 = -q - 0, -5*p = 3*q + 21. Let h be (-1)/((-4)/(p - 1)). Let s(o) = 27*o**2 + 1. Does 4 divide s(h)?
True
Suppose 0 = -295*y + 7791358 - 2605603 + 2805795. Is y a multiple of 6?
True
Suppose 291*a - 2970082 - 1056787 = -50*a. Is 5 a factor of a?
False
Let y(n) = -n**2 + 12*n - 11. Let j be y(10). Let w(d) = -d**3 + j - 2086*d + 2089*d + 6*d**2 + 11 + 3*d**2. Is w(9) a multiple of 7?
False
Let g be ((-2)/12*-3)/((-8)/(-64)). Does 12 divide (39/g)/(9/96)?
False
Let r(q) = 3*q**2 + 38*q + 28. Let u be r(-12). Suppose -5*a + 884 = -3*x - 314, 5*a - u*x = 1199. Does 8 divide a?
False
Let v(p) = 97*p**2 + 12*p + 27. Let t be v(-3). Suppose t = -8*a + 12*a. Is 9 a factor of a?
True
Suppose -5*h = b, -2*h - 3*h = 3*b + 10. Let s(k) = 519*k**2 + 7*k - 1. Does 9 divide s(h)?
False
Suppose -4*b = 25 - 2137. Is b - (-2 - 4)/(-3) a multiple of 34?
False
Suppose -117500 = -8*g - 15852. Is g a multiple of 19?
False
Is (183/366)/(0 - (-2)/4984) a multiple of 12?
False
Let u(f) = -10*f - 35. Let a be u(-5). Let d(b) = 2*b**2 - 32*b + 32. Let w be d(a). Suppose -3*j = -w*i + 572, 2*j = 4*i + 7*j - 1100. Does 40 divide i?
True
Suppose 2012 = -4*v + 7952. Is v a multiple of 9?
True
Suppose 0 = 3*f - 8*f - 5*z - 5, -5*f + z - 35 = 0. Let w = f - -43. Suppose -12 = -n + w. Is n a multiple of 7?
True
Let h = -7 + 57. Suppose 16*s + h = 26*s. Suppose 45 = s*p - 0*p + y, -p + 9 = -4*y. Is 5 a factor of p?
False
Suppose 0 = 7*a - 13 - 8. Suppose -8*g + 55 = -a*g. Is 4 a factor of 1/(-1) + (g - -6)?
True
Let y(j) = -j**2 + 2*j - 71. Let p be y(0). Let d = -284 + 51. Let n = p - d. Is n a multiple of 18?
True
Suppose 0 = 2*s + 4*t - 668, 4*s + 2*t = -0*t + 1306. Suppose 4*y - s = -2*y. Does 6 divide (17/3 + 1)*81/y?
False
Let o = 35321 - 20208. Does 119 divide o?
True
Let o(w) = -34*w**2 + 61*w + 6. Let l be o(5). Let a = l + 833. Is a a multiple of 14?
True
Let x be 15/(-165) + 17491/11. Is 19 a factor of -1*2 - (30 - x)?
True
Let c = 68 - 64. Suppose -3*p = -c*h + 2351, -h + 3*h = -3*p + 1153. Does 10 divide h?
False
Let i be (-1094)/(-3) + 1 - 48/(-144). Suppose 4*m = j - 2*j + 81, -4*j - 2*m = -i. Is j a multiple of 31?
True
Let n be (2 - -1) + -3 + 8 + -3. Suppose 0 = n*j - 2*o - 746, -j + 136 = -0*j + 4*o. Is 74 a factor of j?
True
Suppose 0 = 65*o - 386167 + 88831 - 134914. Is o a multiple of 95?
True
Let z = -745 - -763. Suppose 29*p - z*p = 14256. Does 48 divide p?
True
Let i(l) = 64*l**2 + 4 - 39 - 46*l**2 - 9 - 14*l - 16. Is i(-6) a multiple of 42?
True
Let l(i) = -245*i**3 + 2*i**2 - 6*i + 5. Let j be l(1). Let r = 13 - j. Is r a multiple of 6?
False
Let p be (-1)/(1 + (-50)/45). Suppose 0 = -p*j + 7*j + 56. Suppose -3*k + k - 14 = -v, -2*v = k - j. Does 2 divide v?
True
Suppose 2*s + 299 = -229. Let n = -111 - s. Let r = n + -93. Does 20 divide r?
True
Suppose -495654 + 447189 = -9*d. Does 3 divide d?
True
Let l(x) = 6*x - 35. Let p(t) = t - 1. Let n(y) = l(y) - 5*p(y). Let w(f) = 2*f - 31. Let v(d) = -3*n(d) + 2*w(d). Is 13 a factor of v(11)?
True
Let i = 3573 - 1711. Let p = 2688 - i. Is p a multiple of 14?
True
Let v(n) = -40*n - 12. Suppose -12*p + 20 = -7*p. Suppose l = a - p*a, -5*l - 2*a = 13. Is v(l) a multiple of 36?
True
Let q = 95 + -97. Let v be (13 - 11)/(q/4). Is 10 a factor of (680/(-6))/v - (-2)/3?
False
Suppose 0 = 1196*l - 1222*l + 354442 + 127104. Is 43 a factor of l?
False
Let w(i) = 2 - 14*i - 8*i + 6 + 21*i. Let y be w(6). Suppose y*z + 62 = 4*s - 32, 5*s = 4*z + 125. Is s a multiple of 7?
True
Suppose 0 = -2*j - 3*f + 300, -2*j + 292 = -8*f + 7*f. Let g = j + -75. Is g a multiple of 9?
True
Suppose -3*s - 39 = o - 5*o, -4*o = -5*s - 49. Is 6 a factor of 861/9 - 1/o*-2?
True
Suppose -11*c + 356 = -161. Let n = c - 50. Does 14 divide (-1570)/(-20) + ((-9)/6)/n?
False
Suppose 9*h - 7*h - 28 = 0. Let c be 91/h + 6/4. Let i(y) = 3*y + 11. Does 9 divide i(c)?
False
Let w(r) = 6*r**2 + 3*r - 3. Let b be w(-10). Suppose 3*g - v = g + b, -12 = -4*v. Is 4 a factor of g/30*2*1?
False
Suppose 27*p - 5*p - 72534 = 0. Is p/6 - 1*(-6)/4 a multiple of 19?
True
Let l(w) = -4*w + 5. Let n be l(4). Let v(z) be the third derivative of -11*z**4/24 - 13*z**3/6 + 839*z**2 + 2. Does 17 divide v(n)?
False
Let h = -76 + 69. Is 3 a factor of 180/(-42)*3/6*h?
True
Suppose 7*o + 2774 = -12*o. Let m = o + 183. Is 4 a factor of m?
False
Suppose 428560 - 392463 = 209*d - 757058. Does 55 divide d?
True
Let u be 102 + (18/27 - (-10)/(-6)). Suppose -5*p - 3*s + 356 = 0, -2*p + 5*s + 29 + u = 0. Is p a multiple of 6?
False
Suppose 0 = 5*w - d - 26690, 3*w = -2*d + 3517 + 12510. Is w a multiple of 19?
True
Let c(y) = -7*y**2 + 10*y - 14. Let a be c(8). Let f = a - -545. Let b = f - 95. Is 9 a factor of b?
False
Let h = 8003 + -3828. Does 10 divide h?
False
Let g be ((-128)/48 - (-2)/3)*-7. Let i be (-1)/7 - (-786)/g. Let q = i + -22. Is q a multiple of 30?
False
Let n = 32243 - 16584. Is 7 a factor of n?
True
Let t = 8257 - 4213. Is t a multiple of 12?
True
Let z(j) = j**2 + j + 14. Let w be z(17). Suppose -2*k - w = -3*m, -4*m - k + 542 = m. Is 18 a factor of m?
True
Let o = -13 + -107. Let i = o + 144. Is 8 a factor of i?
True
Suppose -13948 - 17112 = -20*f. Is 21 a factor of f?
False
Suppose -4038*v = -4025*v - 75920. Does 20 divide v?
True
Suppose -3530*s + 3538*s = 2912. Is 8 a factor of s?
False
Let m = 19358 - 15900. Is 266 a factor of m?
True
Suppose 10*x + 22820 = 14*x + 4*p, 0 = -2*x - 4*p + 11404. Is 4 a factor of x?
True
Let z = 102 - 100. Suppose 19*m = 23*m + f - 3172, 2*m - 1592 = -z*f. Is m a multiple of 36?
True
Does 5 divide ((-650)/15)/((-14)/21)?
True
Is 12 a factor of (-3)/18 + (-34592292)/(-648)?
False
Suppose -f = 5*r - 13914 - 7896, 2*f - 43596 = 2*r. Is 50 a factor of f?
True
Let g = 8 + -2. Let a be 3/(-4)*g/(-9)*6. Suppose -69 = -a*y - 3. Is 22 a factor of y?
True
Let t be 6/(-33) + (-46)/(-11). Suppose -14 = h + t*h + z, -z = 4. Is (-32)/h - (-4 - -4)/(-4) a multiple of 2?
True
Suppose -4*o - 3*o + 735 = 0. Let i be ((-7)/(o/(-25)))/(3/9). Suppose x - 38 - 3 = i*n, -5*x + 253 = -n. Does 10 divide x?
False
Let r = -145 + 221. Let h = r + -49. Suppose -a = -h - 13. Is a a multiple of 15?
False
Suppose -5*a = 3*h - 86932, -30*a + 34*a = 5*h + 69590. Does 47 divide a?
True
Suppose -36 = -2*j + 5*k, 0 = 2*j + 55*k - 56*k - 52. Suppose -12 = -3*h + 42. Let s = h + j. Is 46 a factor of s?
True
Let q(z) = -177*z + 13. Let g be q(-11). Let s = -1110 + g. Is 38/(-171) - s/(-18) a multiple of 15?
False
Suppose -j + w = 157, 3*j + 27*w - 25*w + 446 = 0. Let z = 928 - j. Is 27 a factor of z?
True
Suppose 6*o = 14*o - 48. Suppose 4*b + 94 = -1066. Is b/(-15)*o + 4 a multiple of 20?
True
Suppose 6*n - 3*n - f = 2, -2*n - 4 = 2*f. Suppose 140 = -9*w + 149. Suppose n = -c + 43 + w. Is c a multiple of 9?
False
Suppose -15*c + 21*c - 2364 = 0. Let x = -232 + c. Does 9 divide x?
True
Let i = 17 - 15. Suppose 2*k + 7 = 11. Suppose -2*u + k = 0, 396 = 5*t - i*u - 2*u. Is 20 a factor of t?
True
Suppose -b + 4 = -2*y, -2*b = -2*y - 3*y - 10. Suppose b = k + a - 2012, a = 4*k - 4*a - 8075. Does 17 divide k?
False
Let m(s) =