= -5*k + 7*k. Is k a multiple of 10?
False
Is 47 a factor of ((-711)/72)/((-14)/5264)?
True
Suppose 19*k - 11720 - 11289 = 0. Is 116 a factor of k?
False
Is (-1618)/(-18) - 3/(-27) a multiple of 7?
False
Suppose -2*m + 13338 = 16*m. Does 19 divide m?
True
Suppose -4*p + 0*p + 4*f - 612 = 0, 0 = 3*p + 3*f + 471. Let l = 493 + p. Does 64 divide l?
False
Is (5000/(-12))/(-5*2/15) a multiple of 83?
False
Suppose -9*u + 679 + 1175 = 0. Is u a multiple of 28?
False
Suppose 98*w = 96*w + 1292. Does 34 divide w?
True
Let x(j) be the second derivative of -j**3/3 - 4*j**2 - 3*j. Is x(-18) a multiple of 7?
True
Let j = 846 - 190. Does 56 divide j?
False
Is 4 a factor of 4 - 9/2 - 50/(-4)?
True
Is ((-9)/((-45)/(-505)))/(-1) even?
False
Suppose g - 3*g = 0. Let i be g/(-2 - -1 - 1). Suppose 2*t + 34 - 88 = i. Does 9 divide t?
True
Let i = -7 + 16. Let t = i - 7. Suppose 0 = t*d - 6*d + 88. Is d a multiple of 7?
False
Is 69 a factor of (-84)/(-56) - 147/12*-102?
False
Suppose -4*k = 3*w - 0*w + 30, -3*k = 3*w + 24. Is 16 a factor of ((-86)/14 - k) + 1122/14?
True
Suppose -5*t + 611 = 91. Suppose 0 = 4*p + 5*z - 300, z + 300 + t = 5*p. Is 20 a factor of p?
True
Let c(b) = -b**3 + 11*b**2 + 13*b - 4. Let q be c(12). Is 22 a factor of (-104)/(q/2 + -5)?
False
Suppose -z - 4*s = -14 - 7, -17 = -2*z - 3*s. Let j be (-12)/(z - 0 - 2). Let n = j - 0. Is n a multiple of 12?
True
Suppose s - 2*c = -1, 0 = 5*s - c + 56 - 6. Let p = s + 11. Suppose 0 = 3*g - p*n + 5*n - 5, 3*g = 3*n + 45. Is 5 a factor of g?
True
Suppose 3*i = -3, 2*i + 7 = 3*p + 7*i. Suppose -p*l - 6 = 3*n - 4, -n + l + 4 = 0. Is 18 a factor of ((-106)/4)/((-1)/n)?
False
Suppose 0*y + 4*y = 384. Suppose p = 9*p + y. Is (15/(-20) + -1)*p a multiple of 6?
False
Does 27 divide (-20)/110 - 6*(-1951)/11?
False
Suppose k + 0*z = -z - 61, k + 53 = 3*z. Let v = -7 - k. Is 13 a factor of v?
True
Let z be 19 + -15 + 2 + -3. Suppose -3*k - 2*k + 20 = 0. Suppose k*o + j = 30, z*o = -5*j - 0 + 14. Is 3 a factor of o?
False
Let t(s) = 4*s**2 - 2*s + 1. Let p be t(1). Suppose 263 = -4*w - i + 680, p*i = w - 114. Is 15 a factor of w?
True
Let t = 48 - 28. Let a be ((-1)/5 - 1)*20/6. Does 8 divide 35 - a/(t/(-15))?
True
Suppose 5*r = -g + 9, 10 = 2*g + r + r. Suppose -x + 26 + 38 = g*u, 5*x - 225 = -u. Is x a multiple of 29?
False
Is 47 a factor of -10 + 174/12*88?
False
Let y = -2589 + 3985. Is 5 a factor of y?
False
Let j(f) = -f**3 - 3*f**2 + 4*f + 52. Is 7 a factor of j(0)?
False
Suppose 103*f = 94*f + 1962. Is f a multiple of 19?
False
Suppose -3*j = -15, -2*w - 3*j = 2*j - 21. Is 8/w - (-13 - -3) a multiple of 2?
True
Suppose 0 = -q - 0*q + 124. Suppose j = -3*j - q. Let b = j - -51. Is 16 a factor of b?
False
Let l be 0/6 + 1*(-15)/(-1). Suppose 3*c + 84 = 3*v - 675, -1024 = -4*v - 2*c. Suppose l = -4*m + v. Is m a multiple of 20?
True
Let n(j) = -j**3 - 5*j**2 + 5*j - 7. Let x be n(-6). Let m = x + -7. Is (-170)/m + (-3)/12 a multiple of 5?
False
Let j be (1 + 6)*(-1)/(-1). Let f = -294 - -307. Let b = f - j. Does 6 divide b?
True
Let z(s) = s**2 - 7. Let u be z(3). Is 21 a factor of (105/(-25))/(u/(-30))?
True
Let i = 0 + 6. Suppose -i*v = -3*v - 12. Suppose 0 = v*t - 28 + 4. Is t a multiple of 3?
True
Suppose 150 + 78 = 3*i. Suppose 3*o - 7*o = 4*r - 100, -3*r - 2*o + i = 0. Is 5 a factor of r?
False
Let f = -19 - 35. Let c = f - -86. Let x = 50 - c. Is 6 a factor of x?
True
Let z be 28763/56 + 6/16. Suppose -5*v = -z - 686. Does 14 divide v?
False
Let p(u) = -4*u + 32. Does 14 divide p(-30)?
False
Let i = -30 + 35. Suppose 0 = -i*x + 10*x - 20. Does 12 divide x/(-8) + (-127)/(-2)?
False
Let c(l) = 121*l**2 - l - 1. Suppose 3*k = -7 + 4. Is 33 a factor of c(k)?
False
Suppose 2150 = 36*k - 7642. Is k a multiple of 16?
True
Suppose -5*d - 40 = -2*t - 11, -4*t + 49 = -d. Does 6 divide t?
True
Suppose -4*w = -w. Suppose w = -4*x - x - 20. Is 22 a factor of (-2)/((-356)/88 - x)?
True
Let y(h) = -10*h + 6 + 3*h**2 + 1 + 1 - 1. Is y(7) a multiple of 14?
True
Let s = -20 - -22. Let f(z) = 5 + 3*z - 7*z - s. Is 4 a factor of f(-5)?
False
Let d = 2047 - 1834. Does 14 divide d?
False
Suppose 5*m + 4*g - 52 = 117, 0 = 3*m + 3*g - 102. Does 14 divide m?
False
Suppose 3*p = -0*p - 5*u + 98, -108 = -4*p - u. Let w = p + -12. Is w a multiple of 6?
False
Suppose 0 = -5*k - 5*w - 157 - 3, 4*k - 3*w = -93. Is (-27)/(-2)*(-288)/k a multiple of 13?
False
Suppose 2*w - c - 2665 = 0, -5*w + 3*c + 9529 - 2866 = 0. Is w a multiple of 35?
False
Suppose -5*w + 3481 + 585 = 3*f, w - 808 = 2*f. Is 4 a factor of w?
True
Suppose -7*h = -8*h. Suppose h = -5*j + 2*i + 202, -2*j + 2*i - 4 = -80. Is j a multiple of 15?
False
Let k(c) = 3*c**3 + 33*c**2 + 3*c + 25. Let d(x) = 2*x**3 + 17*x**2 + 2*x + 13. Let t(w) = 5*d(w) - 3*k(w). Let b be t(14). Is 15 a factor of 1/(4/(54*b))?
False
Suppose 0 = 3*g - 4*r - 1, 4*g = 5*r + 3 - 0. Suppose 187 = g*s - 72. Is s a multiple of 7?
False
Suppose 0 = -4*l - 2*l - 228. Let a = 55 + l. Does 4 divide a?
False
Let q(t) = t - 5. Let p = -5 - -8. Suppose 2*o - 15 - 3 = 2*m, -31 = -p*o - m. Does 5 divide q(o)?
True
Let w be (42/3 + 1)*-1. Let b(y) = y**3 + 15*y**2 - 3*y + 11. Let d be b(w). Let l = d - 38. Does 5 divide l?
False
Let z be ((-3)/(-4))/((-6)/(-16)). Suppose z*t - 3*g = -93 + 12, 5*t + 5*g + 165 = 0. Is 15 a factor of 1*t/16*-24?
False
Let v(y) = y**2 + 7*y - 18. Let l be v(-8). Let a(r) = -3*r + 21. Is a(l) a multiple of 17?
True
Let s be 117/26 + (-2)/4. Let m be s + (4 - (-2 - -8)). Is 4 a factor of m/(-13) - (-1050)/65?
True
Let m(c) = -213*c - 87. Is m(-13) a multiple of 31?
False
Let p be 1 + 4 + 0 + -3. Suppose 66 = 4*v + p*y, 2*y + 2*y = 4. Does 16 divide v?
True
Let s(t) = -t**2 + 9*t + 22. Let j(y) = y + 21. Let k be j(-14). Does 18 divide s(k)?
True
Let l(b) = -b**2 + 11*b - 11. Let s be l(11). Let d(z) = z**2 + 14*z + 9. Let i be d(s). Is 9 a factor of (-3)/(-2)*(-6 - i)?
True
Suppose -t - 2*m + m = 11, 5*t - 3*m = -23. Let w = -5 - t. Suppose 0 = -w*c + 8 + 26. Does 10 divide c?
False
Is (-69342)/(-36) + -1 - (-5)/(-30) a multiple of 35?
True
Let k = 26 - 21. Let a be -3 + (-10)/k + 4. Is 20 a factor of a/((-1204)/400 - -3)?
True
Suppose 720 = 3*h - 3*k - 426, 0 = -3*h + 5*k + 1140. Does 7 divide h?
True
Suppose -22 - 11 = 11*v. Is 16 a factor of (v/9)/(10/(-2220))?
False
Let i(p) = 7*p**2 - 9*p - 7. Let j(o) = -6*o**2 + 9*o + 6. Let g(t) = -4*i(t) - 5*j(t). Is g(8) a multiple of 6?
True
Let l(t) = 3*t**3 - 42*t**2 + 20*t - 1. Does 98 divide l(17)?
True
Let d(j) be the third derivative of -j**6/120 - 2*j**5/15 + 13*j**4/24 - j**3/6 - 5*j**2. Is d(-10) a multiple of 27?
False
Let z(a) = -a**3 + 10*a**2 + 39*a - 264. Is 14 a factor of z(10)?
True
Suppose -32*t + 2453 = -2155. Does 8 divide t?
True
Let m be (-790)/(-4) - (-12)/(-24). Suppose 2*w - 6*w + 5*r = -m, -5*r = 3*w - 139. Is w a multiple of 7?
False
Let p(g) = g**3 + 14*g**2 + 13*g - 4. Let c be -16 + -3 + 3 + 3. Let w be p(c). Let q = w - -40. Is 9 a factor of q?
True
Suppose -g + 2 = 0, 3*g - 2*g = -3*v + 410. Is v a multiple of 17?
True
Let k(i) = 4*i**3 + 7*i**2 - 19*i + 20. Is 21 a factor of k(5)?
False
Let j = -9 - -57. Suppose -a - 3*a = -j. Let z = a + 53. Is 10 a factor of z?
False
Let z be 2/5 - 132/(-20). Let s = z + 76. Suppose 2*o - s = -23. Is 8 a factor of o?
False
Let t = -643 + 3091. Is t a multiple of 24?
True
Suppose -20*v + 16335 = 25*v. Is v a multiple of 12?
False
Suppose 3*l + 17 = 4*l. Let o = l + -17. Suppose o = -3*v + 5*f + 52, -2*v + f = 2*f - 13. Is 3 a factor of v?
True
Let x be (-1)/(-2*2/(-16)). Let l be (x/(-6))/((-6)/(-27)). Suppose -26 = -2*m - l*k + k, k - 25 = -2*m. Is m a multiple of 6?
True
Let b = -47 - -126. Is b a multiple of 21?
False
Let u = -23 + 26. Let s(x) = x**3 + x**2 - 5*x + 3. Let m be s(u). Suppose -b - m = -7*b. Is b even?
True
Let a(t) = t + 9. Let w be a(-4). Suppose 1030 = w*k - 245. Suppose 0 = 4*x - 5 - k. Does 28 divide x?
False
Suppose 87 - 242 = 5*c. Let s = c + 147. Is 14 a factor of s?
False
Let h(d) = 13*d + 2 - 2*d - 5*d. Let z be h(-18). Let s = -56 - z. Does 11 divide s?
False
Let n be (3/(-9))/((-3)/9). Suppose 0*d - 3*d - n = 2*c, -2*c = 4. Is (d*13)/(4/8) a multiple of 7?
False
Suppose -n + 5 = -0*n. Let m(u) = -u**2 - 17*u - 49. Let t be m(-13). Supp