 96 = -64. Is g a multiple of 2?
True
Suppose r - 23 - 455 = 0. Is r a multiple of 16?
False
Suppose 9 = -4*g - 127. Let m = -26 - g. Is 4 a factor of m?
True
Suppose -252*c = -240*c - 6048. Is c a multiple of 18?
True
Suppose 5*z + 2 = 7. Does 3 divide -1 + 21 + -3 + z?
True
Suppose 322 + 14 = f. Suppose f = 4*c - c. Suppose -3*d + 75 = -5*q, -5*d + 3*q + q = -c. Does 6 divide d?
False
Let h(i) = 5*i**2 - 2*i + 2. Let l be h(5). Suppose -2*k + 136 = 2*q, -2*q + 31 + l = -4*k. Is q a multiple of 5?
True
Let t(j) = -j**3 + 40*j**2 + 24*j + 27. Is 93 a factor of t(37)?
True
Suppose 889 = -5*d + 259. Let s be d/(-45) - 2/(-10). Does 3 divide 15 - (-1 + s)/(-2)?
False
Let k(v) = v**3 + 19*v**2 - 12*v - 20. Is 13 a factor of k(-19)?
True
Suppose -3*k = 5*y - 80, k - 5*k + 48 = 3*y. Suppose -3*a + 4*u + 56 = 0, 4*a - 2*u - 52 = y. Is 3 a factor of a?
False
Suppose f = -4*f + 400. Suppose 5*b + f = 400. Is b a multiple of 8?
True
Suppose 4*n - 7 - 1 = 0. Does 27 divide (-270)/25*(-5)/n?
True
Suppose 2123 = 4*g + 155. Is 25 a factor of g?
False
Let z = -49 - -270. Does 5 divide z?
False
Is 2*(1 + -4) - (-1161 - 0) a multiple of 21?
True
Suppose -5*b = -2*m + 391, 0 = -m + 24*b - 26*b + 218. Is m a multiple of 37?
False
Let q = -136 - -317. Let y = -118 + q. Suppose y - 13 = 5*g. Does 4 divide g?
False
Let w(u) = -333*u**3 - u**2 + u - 1. Is w(-1) a multiple of 29?
False
Does 84 divide (-76668)/(-48) + 20/(-16)?
True
Let c(f) = 291*f**2 + 11*f - 4. Is c(2) a multiple of 15?
False
Let m(u) = -37*u**3 - 4*u**2 - 11*u - 9. Is 15 a factor of m(-3)?
False
Suppose -188 = 7*u + 183. Let o = u - -73. Is 12 a factor of o?
False
Let x(o) = 17*o**2 - 5*o + 2. Is 14 a factor of x(-4)?
True
Let f = -41 - -50. Suppose l + 5*h - 119 = f, 5*l - 582 = 4*h. Does 23 divide l?
False
Suppose -4*u + 0*u = -3*h - 16, -3*h = 4*u - 16. Suppose 4*g + 4*k = 16, 0 = -2*g + u*k - 5 + 13. Suppose 2*x = g*w - 8, 0 = w + 2*x - 0 - 12. Does 4 divide w?
True
Let c(b) be the third derivative of 107*b**6/40 - b**5/60 + b**4/24 - 8*b**2. Let r be c(1). Is (-5)/10 + r/6 a multiple of 14?
False
Let w be -12 + 2 + 2 - -1. Let l be -3 + w/(4 + -5). Suppose 2*t - 3 = -2*s - 7, 5*s - l*t - 35 = 0. Does 2 divide s?
False
Let a(z) = -134*z**3 - z + 12*z**2 + 10 + 8*z + 135*z**3. Does 31 divide a(-11)?
False
Let t(j) be the third derivative of j**5/24 + j**4/24 + j**3/2 + 2*j**2. Let k(w) be the first derivative of t(w). Is 11 a factor of k(2)?
True
Let f = 17 - 23. Let t(y) = -y**3 - 6*y**2 - 4*y. Let v be t(f). Suppose 0 = 2*n - 8*n + v. Is n a multiple of 4?
True
Let o = 31 - 29. Suppose 3*z - 34 = 5*v + 19, -4*v + 72 = o*z. Suppose -z = -k - 5*c, 3*k + 5*c - 46 = 32. Is 13 a factor of k?
True
Let d = 21 + -19. Let l be (-143)/22 - d/(-4). Does 33 divide 32 + -1 + 8 + l?
True
Suppose -6*n - 2*q = -2*n - 658, 0 = -n - 2*q + 172. Suppose -1007 = -5*v - n. Does 13 divide v?
True
Does 4 divide (-22)/(-231) - (-9110)/42?
False
Let t be 1/1 + 1 + -11. Let a = -115 + 124. Let v = a - t. Is v a multiple of 10?
False
Suppose 713 = 7*h - 827. Does 9 divide h?
False
Suppose -4*a - 5*g - 8 = 0, -a + 2*g = -3 - 8. Suppose -3*u + 856 = 4*m, a*m - 2*u + u - 655 = 0. Suppose 5*i - 83 - m = 0. Is i a multiple of 26?
False
Suppose m = -2*m - 69. Let k = m - -23. Suppose 238 = -k*a + 7*a. Is 17 a factor of a?
True
Let l(r) = -3*r**2 + 55*r - 10. Is 25 a factor of l(9)?
False
Let a = 17 - 12. Let l = 519 - 369. Suppose -a*z - l = -10*z. Does 16 divide z?
False
Suppose -552 = -2*t + u, -3*u = 3*t - 2*u - 823. Is 17 a factor of t?
False
Let f(w) = w - 19. Let l be f(12). Let s(o) = -2*o**2 - 9*o + 2. Let h be s(l). Let z = h + 75. Is 11 a factor of z?
False
Let r(z) = z**3 + 17*z**2 + 11*z - 8. Let s = -41 + 25. Is r(s) a multiple of 15?
False
Suppose 3*f - 81 = -12. Suppose -125 + f = -3*c. Suppose 0 = h - 5*t - 32, h - t = 3*t + c. Is 8 a factor of h?
False
Suppose 35*r - 2318 = 11122. Is 6 a factor of r?
True
Let r = 34 - 35. Is (5 + 34/(-6))/(r/57) a multiple of 19?
True
Suppose 1787 - 4547 = -5*p. Is p a multiple of 10?
False
Let c = 935 + -519. Is 23 a factor of c?
False
Suppose -2*i + 25 = -5*s, s + 5 = -5*i + 2*i. Suppose -4*l + 75 - 7 = i. Does 17 divide l?
True
Let w be ((-56)/(-12) - 4)*-6. Does 7 divide w/3*(-195)/10?
False
Let n(t) = t + 10. Let x be n(0). Let r be (x/(-6))/((-9)/27). Is 12 a factor of (r/10)/(1/36)?
False
Suppose 4*g - 142 = g + 4*p, -2*p - 218 = -5*g. Is 2 a factor of g?
True
Is 8 a factor of 3/(5589/(-933) - -6)?
False
Let a be 3 + (-4 - 1) + 2. Let z(c) = c**3 + 2*c + 19. Is z(a) a multiple of 4?
False
Let i(u) be the first derivative of -u**2 - 6*u + 4. Let v be i(-6). Let m(p) = 4*p - 11. Is 13 a factor of m(v)?
True
Suppose 3*y = 5*b - 15960, -9*y + 15935 = 5*b - 7*y. Is 14 a factor of b?
False
Let k = 8 - -1. Let m = -5 + k. Suppose m*i - 148 - 288 = 0. Does 28 divide i?
False
Suppose 0*s = 5*y - 3*s + 35, 3*s + 35 = -2*y. Let t(w) = -w**3 - 8*w**2 + 13*w + 11. Let z be t(y). Let c = 115 - z. Is 9 a factor of c?
False
Let o = -76 - -28. Suppose 0 = -p - 2, q - 70 = -2*p. Let t = o + q. Is t a multiple of 13?
True
Let o be 0 - ((-3)/(-2))/(15/(-280)). Is 56/(-10)*-4 - o/70 a multiple of 2?
True
Suppose -5*n + 21 = 1. Let m be ((-35)/(-14))/(2/n). Suppose -5*f + m*d + 360 = 0, -3*f + d = -d - 220. Is f a multiple of 19?
True
Suppose 0 = -5*d + 845 + 2125. Does 66 divide d?
True
Let g(a) = -a**2 + 34*a + 1. Is g(19) a multiple of 13?
True
Suppose -9*c = c - 0*c. Suppose f - 43 - 11 = c. Is f a multiple of 15?
False
Let y(t) = 201*t + 26. Is 29 a factor of y(1)?
False
Suppose -3*v - 2*m = -21, -27 = -0*v - 2*v + 3*m. Let l(h) = -2*h - 2*h**2 - 2 + v*h**2 + 1. Does 4 divide l(-1)?
True
Let z be -21799 + ((3 - 4)*1)/(-1). Is 45 a factor of ((-2)/(-9) + z/(-324))*4?
True
Let k = 83 + 470. Does 8 divide k?
False
Let c(o) = 16*o - 31. Let i(j) = -8*j + 15. Let g = -6 + 13. Let n(a) = g*i(a) + 3*c(a). Is n(-4) a multiple of 11?
True
Suppose 728 = 71*v - 64*v. Is v a multiple of 19?
False
Let f(p) = 40*p**2 - 2*p + 27. Is 29 a factor of f(-6)?
True
Suppose 8*j + 130 = -2*j. Is 20 - ((-2)/j - (-30)/(-26)) a multiple of 2?
False
Let d = 848 - 133. Is 14 a factor of d?
False
Suppose -3*c + 4*d = -1911, 1571 - 297 = 2*c + 4*d. Is c a multiple of 13?
True
Suppose -14*w = -12*w - 8. Is ((-9)/(-6))/(w/(-16))*-1 even?
True
Suppose 0*j + j = u + 13, -5*j - 2*u = -79. Let y = j + -7. Is 6 a factor of (-18)/y*(-10 - -2)?
True
Suppose -1 = -5*d + 3*g + 6, 7 = 2*d + 3*g. Let k(j) = -2*j + j**d + 2*j - 9 - j**3 + 8*j**2 - 2*j. Does 13 divide k(8)?
True
Let g = -26 - -24. Is g/(-6) + (-3961)/(-51) a multiple of 19?
False
Suppose -14*o - 3210 = -15474. Is 6 a factor of o?
True
Let o be 357/3 + -2 + -2. Suppose 0 = -4*n + o + 37. Suppose n + 18 = 4*u. Is u a multiple of 14?
True
Suppose 5*y = 312 + 2348. Suppose y = 5*d - 803. Does 18 divide d?
False
Suppose -3*l = -4*x + 24, -5*l - 10 = 10. Suppose -5*g = -5*v - 505, -v = x*g - 2*v - 301. Does 12 divide g?
False
Let m(c) = c**3 + 4*c**2 - c - 4. Let a(v) = v**2 - 7*v + 1. Let j be a(6). Let o = j - -2. Is 6 a factor of m(o)?
False
Let m(f) = 32*f**2 - 96*f + 1. Does 23 divide m(5)?
False
Is 23439/117 + 1/(-3) a multiple of 4?
True
Suppose 41*d - 38*d = 4743. Is d a multiple of 25?
False
Suppose 370 = 3*i + 88. Let z = 136 - i. Does 7 divide z?
True
Let r = -19 - -27. Let t(w) = -w**3 + 7*w**2 + 11*w - 3. Is 17 a factor of t(r)?
False
Let u = -1821 + 1850. Does 6 divide u?
False
Is 3240/2 + (12 - 4) a multiple of 37?
True
Does 16 divide -1360*(6/42 - 19/35)?
True
Let h = -1476 + 1482. Let d(i) = 7*i + 3*i - 12 + 3. Does 10 divide d(h)?
False
Let f(n) = -38*n - 3. Let y be f(-3). Let m = y - 43. Is 17 a factor of m?
True
Let u be 8680/180 + (-2)/9. Let q = u + 14. Does 14 divide q?
False
Suppose -5*c + 8870 = z, 8*z = -2*c + 4*z + 3566. Does 61 divide c?
False
Let d be ((-24)/20)/(2/(-10)). Suppose -8 = -2*k + 4*k. Is k*(-4)/16 + d even?
False
Suppose 0 = -8*c + 44 + 100. Does 9 divide c?
True
Suppose -5*y + 2*v = -1910, -3*y - 3*v + 587 = -580. Is 18 a factor of y?
False
Let p(c) = c**3 + 4*c**2 - 5*c - 5. Let m be p(-5). Let q(b) = -3*b**2 - 3*b + 3. Let y be q(m). Let f = -24 - y. Is 21 a factor of f?
False
Let q be (1*4/(-2))/((-10)/1920). Suppose 