 Is g a multiple of 64?
True
Let t = 4846 + 2728. Is t a multiple of 7?
True
Suppose -6*l - 1 = -25. Suppose -96 - l = 10*k. Is k/(-3)*48/10 a multiple of 2?
True
Suppose -3878 = 5*n - 28853. Is n a multiple of 9?
True
Let h = 16282 + -3958. Suppose 14*q - h - 1718 = 0. Does 69 divide q?
False
Let c = 2953 - 2797. Is c a multiple of 12?
True
Let y(d) = 3*d**3 - 73*d**2 + 22*d - 106. Is 202 a factor of y(31)?
True
Let j(x) = 628*x - 2602. Does 119 divide j(12)?
False
Suppose -49 = x + 4*r, 8*x + 3*r + 129 = 5*x. Let v = x + 44. Suppose 4*w = v*n + 463, 228 = 2*w - 5*n - 21. Is 15 a factor of w?
False
Suppose -5*b - m - 4*m + 2745 = 0, 0 = 2*b + m - 1098. Let w(i) = 18*i + 1119. Let r be w(-62). Is 4 a factor of b/15 - r - 6/(-15)?
False
Suppose 2*l + 10 = 16. Is l/(-30) - 5591/(-10) a multiple of 43?
True
Suppose -4*n + 1210 = -g - 1689, 6*g = 2*n - 1444. Is 65 a factor of n?
False
Let m(d) = 2429*d + 4292. Is 40 a factor of m(12)?
True
Let q be 82/2 + -7 + 3. Let x = -1 - -3. Suppose q - 13 = x*s. Is s even?
True
Let k(b) = 187*b - 353. Let y(v) = -934*v + 1771. Let o(u) = 11*k(u) + 2*y(u). Is 66 a factor of o(10)?
False
Suppose -3*a = -u - 223 - 393, 2*u = 2*a - 1232. Let w = u + 928. Is w a multiple of 78?
True
Suppose 0 = -5*j - 3*u + 37113 - 8495, -3*j = -u - 17154. Does 5 divide j?
True
Let b = 6058 - 2467. Is b a multiple of 4?
False
Let q(k) = 2*k**2 + 5*k - 37. Let t be (-12)/66 + 414/(-22). Let d be q(t). Suppose -31 = 4*s - j - 515, d = 5*s - 5*j. Is s a multiple of 20?
False
Suppose 14075 = 26*q - 21*q. Suppose -4*h = s - 473 - 1779, 0 = 5*h + 5*s - q. Does 11 divide h?
False
Let u(t) = 6750*t**2 + 14*t - 1. Is u(2) a multiple of 99?
True
Let j(d) = -2548 + 2*d**2 - 3*d + 2568 + 14*d. Suppose 0 = 2*f + 3*f + 40. Is 5 a factor of j(f)?
True
Let c = 57 - 55. Suppose c*d + 3*v + 3 = 0, 0 = -2*d - v + 4*v + 15. Suppose 5*t - d*o - 56 = 0, 4*t + 0*t = -5*o + 30. Does 3 divide t?
False
Suppose -u = -6*u - 2*p + 2, p - 1 = -5*u. Suppose 2*m + 3*g + 2*g - 4 = 0, u = -5*m + 5*g + 10. Suppose -m*w = -178 + 44. Is w a multiple of 6?
False
Let z(b) = 2*b**2 + 5*b + 6. Let f be z(-1). Let p be (2 + -2)/(-1 - (f - 2)). Suppose p = 6*r - 360. Is r a multiple of 23?
False
Let c = 33824 + -33564. Does 6 divide c?
False
Suppose 2901 = 31*q - 28*q. Suppose 8*p - n - 979 = 3*p, -2*n = 5*p - q. Is p a multiple of 6?
False
Let z(a) = a + 29. Let o be z(-11). Suppose o = -12*s + 78. Suppose -13*p + s*p + 400 = 0. Is 5 a factor of p?
True
Suppose 0 = -19*n + 23*n - 40. Suppose -3*h = -n - 152. Suppose -u - h = -257. Is u a multiple of 29?
True
Let q(c) = -689*c + 1. Let l be q(-3). Suppose 2*i = 3*y - l, -5*i = -4*y - 0*i + 2748. Suppose 16*b = -196 + y. Is b a multiple of 7?
False
Suppose 2791057 - 342508 = 111*d. Is d a multiple of 130?
False
Suppose -4 = -0*a - 2*a, -3*g - 2*a = -7. Let w(t) = 647*t**2 - 3*t - 1. Does 20 divide w(g)?
False
Suppose 0 = -4*d - 1003 + 987. Is 3 a factor of 3 + d + -6 - -176?
False
Suppose 4*l - 60*m + 61*m = 354722, 0 = -4*m - 24. Is l a multiple of 33?
False
Suppose q + 1310 + 398 = 2*x, -5*q - 8573 = x. Let d = -848 - q. Is 28 a factor of d?
False
Let z(w) = 12*w + 86 + 98 - 64. Is z(10) a multiple of 12?
True
Suppose 0 = -0*m + 7*m + 28. Let x = 14 - m. Let p = x - -75. Is 31 a factor of p?
True
Let a be (-28)/(-4)*(-12)/(-14). Suppose -a*u - 3630 = -17*u. Is 33 a factor of u?
True
Let d(l) be the third derivative of 8*l**4/3 + l**3/3 - 63*l**2. Let x = -4 - -5. Does 33 divide d(x)?
True
Let l be (5 - (-140)/(-8))*(-8)/20. Suppose -2*n - d = -768, 1446 + 444 = l*n - 5*d. Does 20 divide n?
False
Let g = 353 + 16572. Is 61 a factor of g?
False
Let f be (0 + 1 + 0)*5. Let n(x) = 3*x**3 + 5*x**2 + x - 10. Let u(q) = 4*q**3 + 5*q**2 - 11. Let o(k) = f*n(k) - 4*u(k). Is 5 a factor of o(5)?
False
Let p(v) = -8 + 26*v + 0 - 1. Let m be p(-9). Is (6 - 1) + m/(-3) a multiple of 23?
False
Suppose -52*q - 21774 = -55*q + 3*b, -2*b = 5*q - 36318. Is q a multiple of 19?
False
Suppose 4 = -2*i - 2, 0 = -2*z + 5*i + 23. Let t = -10 - -13. Suppose t*c - 127 + 23 = -z*f, -4*c = 2*f - 132. Is 8 a factor of c?
True
Let a be (-48)/(-12) + (-438)/(-2) + 2. Let z = 301 - a. Is 38 a factor of z?
True
Let o(m) = m**3 + 12*m**2 - 48*m + 20. Is 9 a factor of o(7)?
False
Let o be ((-1540)/12)/((-14)/42). Is 13 a factor of o + 5/(-2)*-2?
True
Let x be (5 - (2 - 0))*21/9. Suppose 11 = x*d - 59. Does 5 divide d?
True
Let f be ((-2)/6)/((-2)/(-6)). Let j(k) = -148*k**3 - 3*k**2 - 5*k - 3. Let w be j(f). Let i = 215 - w. Is i a multiple of 5?
False
Suppose -2*z + y + 0*y = -107, 0 = -4*z - 3*y + 209. Suppose 5*o = -25, z = u + o - 13. Is 10 a factor of u?
False
Suppose -z - 2*g - 2715 + 423 = 0, 4*g = 2*z + 4624. Is 9 a factor of -5*(-9)/(-135) - z/3?
False
Let u = 14402 + 12373. Is u a multiple of 7?
True
Let a = -22 + 28. Let q = a + -2. Let r(k) = 22*k - 4. Does 17 divide r(q)?
False
Let i = -268 - -270. Suppose -5*q + n + 4338 = 0, i*q = 2*n + 547 + 1185. Does 12 divide q?
False
Suppose -190 = 58*d - 59*d. Suppose -4*z + 4 = 0, -q + 0*z + d = z. Is q a multiple of 9?
True
Is ((-228)/9)/(550/(-1848) + (-2)/(-7)) a multiple of 8?
True
Let y = 54 - -59. Suppose 990 = y*j - 110*j. Is 11 a factor of j?
True
Does 33 divide (-3 + 1778/(-21))/(8/(-1176))?
False
Suppose 3*s + 4*l = 2436, 6*l = 3*s + 4*l - 2472. Does 41 divide s?
True
Let n = -139 + 141. Suppose 2*q - 61 = 5*b - 737, -4*b - n*q + 548 = 0. Is 8 a factor of b?
True
Suppose k - 61 = -0*k - s, -5*k + s = -275. Suppose -5*z - 2*n + 4*n = k, -n = -5*z - 53. Does 9 divide (-668)/z - 8/10?
False
Suppose 1 = 3*s + c + 5, 0 = -2*s + 5*c + 20. Let b(v) = -v**2 + v + 6. Let q be b(s). Suppose 0 = -k + q + 69. Is k a multiple of 15?
True
Suppose 9*z - 4*z = 20. Suppose -z*v + 0*p + 168 = 4*p, 2*v - p = 90. Let t = 116 - v. Is 24 a factor of t?
True
Let n(u) = 1223*u**2 + 6*u + 4. Let f be n(-1). Suppose -610 = -2*w + 5*y - 7*y, 0 = 4*w + 5*y - f. Is w a multiple of 12?
False
Suppose -3*y + 18 = 3*w + 6, -4*y + w = -26. Suppose 82 = -y*d + 622. Is 5 a factor of d?
True
Suppose 0 = 202*h + 122*h - 11512044. Does 58 divide h?
False
Let i = -5 - -22. Let j be (-111)/(-2)*44/8*4. Suppose -i*l + j = -445. Does 49 divide l?
True
Let q = 35 - 94. Let i = q + 62. Suppose l - 12 + 55 = 2*r, 0 = -i*r - 3*l + 60. Is r even?
False
Let y = -3007 + 5482. Does 87 divide y?
False
Suppose -2*a + 2*g - 635 = 45, a - 3*g = -330. Let u = -177 - a. Is 7 a factor of u?
True
Suppose -3*x - 3*h - h + 90 = 0, 3*h + 60 = 2*x. Suppose x*v - 3200 = 14*v. Is 43 a factor of v?
False
Let v(j) = 3*j**2 - 12*j - 151. Suppose 20*x = -333 + 113. Is 43 a factor of v(x)?
True
Suppose 4*t = -3*t + 1995. Let c(i) = i**2 + 10*i + 28. Let y be c(-5). Suppose y*j = 3*h - t, -j - 389 = -4*h - 15. Does 31 divide h?
True
Suppose 0 = -18*s + 12*s + 15840. Suppose 720 + s = 6*k. Is k a multiple of 40?
True
Let q(m) be the second derivative of -4/3*m**3 - 13*m + 0 + 2*m**2. Is q(-4) a multiple of 16?
False
Let y be (-1)/(-6) + (-901)/(-102). Is ((-11682)/27)/((-15)/y - -1) a multiple of 40?
False
Let k be (2*-9)/((-2)/2). Suppose 11*u = 15*u - 152. Let n = u - k. Is n a multiple of 10?
True
Let h(c) = -c**2 + 154*c - 630. Does 9 divide h(82)?
True
Let k(b) = 3*b**2 - 73*b + 1283. Is 8 a factor of k(46)?
False
Suppose -444*o = 2403831 - 2870379 - 6134844. Is 7 a factor of o?
True
Let h(j) = j**3 - 3*j**2 - 12*j - 10. Suppose 4*a + 3*x = -27, 4*x - 3 = 4*a + 17. Let t(k) = k**2 + 4*k - 5. Let y be t(a). Is h(y) a multiple of 29?
False
Let q = 170 - 168. Suppose -q*b + 0*b - 5*s = -665, -2*s + 1306 = 4*b. Does 7 divide b?
False
Let k be (-24)/(-13) - 14/(-91). Let x(v) = 4 + 14*v**2 - 12*v - 5*v**k + 8*v. Is 33 a factor of x(4)?
True
Let o(c) = 15*c**2 + 87*c - 159. Is 13 a factor of o(17)?
True
Let w(x) = -24*x**3 - 2*x**2 - x. Let c = 7 + -8. Let v be w(c). Let u = v - 9. Is u even?
True
Is (61 - 1326/26) + (-9124)/(-2) a multiple of 254?
True
Let p(u) = -4641*u + 31. Does 23 divide p(-18)?
False
Suppose -5*p = -5*b - 13660, 13*b - 18*b = 5*p - 13620. Does 10 divide p?
False
Let o(u) = u**2 - u - 1. Let p(c) = 4*c**2 - 16*c + 67. Let h(s) = 5*o(s) - p(s). Is h(17) a multiple of 32?
False
Let n = 59 - 42. Suppose 0 = j, -3*b - 2*j - n = -335. Let a 