e 1727*g + 210768 = 1743*g. Is g a multiple of 10?
False
Let g(b) = b**3 - 2*b + 1. Let o be g(1). Suppose 3*k + o*q - 1595 = 4*q, -q = -5*k + 2664. Is k a multiple of 13?
True
Suppose 2*d = 115 + 123. Does 2 divide d?
False
Let y = -11 - -111. Suppose 139 + 173 = 2*j. Let b = j - y. Is b a multiple of 8?
True
Suppose -10*g = -4*g - 5508. Suppose 0 = 7*i - 342 - g. Let h = 264 - i. Is 14 a factor of h?
True
Suppose -4*s - s + 59 = 4*z, -3 = -3*z. Suppose 1 = -f + s. Suppose 6*q + 324 = f*q. Is 27 a factor of q?
True
Let v(w) be the second derivative of -3*w**3/2 + 5*w**2/2 + 18*w. Let t be v(-3). Suppose -44 = -2*r + 2*b, t = 2*r + 5*b - b. Does 10 divide r?
True
Let u = 31 + -9. Is 4352/u + -13*(-8)/572 a multiple of 20?
False
Let f be ((-168)/(-20))/((-2)/5). Suppose -4*z - 5*j + 69 = 0, 5*z - 2*z = 4*j + 75. Is 6/z - 141/f a multiple of 3?
False
Let v = -66 - -68. Suppose 77 = 5*o + v*o. Suppose 2*s = o*s - 1053. Does 12 divide s?
False
Suppose 9*p - 148 = 23. Suppose -35*m + 3200 = -p*m. Does 18 divide m?
False
Let v = 182 + -187. Is ((-4)/8*-46)/(v/(-45)) a multiple of 23?
True
Suppose -q - 8*q = 72. Let l be 2*(2/q)/((-4)/16). Suppose -l*a - 66 = -8*a. Is 3 a factor of a?
False
Let o(z) = 2*z**2 + z + 1. Let g(f) = 13*f**2 - 65*f + 91. Let b(y) = g(y) - 5*o(y). Does 13 divide b(29)?
False
Suppose 11*v + 3*k - 2419 = 9*v, -4*v + 4831 = -k. Suppose 48*u - 52*u + v = 0. Does 22 divide u?
False
Let a(d) = 59*d**2 + 3*d - 2. Let v(t) = 16*t - 111. Let h be v(7). Is 16 a factor of a(h)?
False
Is 5 a factor of (-40)/32 - 7540/(-16)?
True
Let l = 7891 + 2777. Is 20 a factor of l?
False
Suppose 3*k = 12, y - 2*k + 6*k = 22. Let g be 2 + (y/(-9) + -3)*-3. Let v = g - -35. Does 24 divide v?
True
Let z = -2602 - -27957. Is 104 a factor of z?
False
Suppose 64663 = 25*d - 227562. Does 277 divide d?
False
Let a(y) = y - 6. Let p be a(8). Suppose -10*g = -p*g - 280. Let t = g + -1. Is 21 a factor of t?
False
Does 73 divide (152/190)/(4 - 7 - (-39316)/13105)?
False
Suppose 3664 = 2*w + 2*o, -3*o + 0*o = -9. Does 59 divide w?
True
Suppose w - 260 = 3*w - 2*y, w + 106 = -5*y. Is 11 a factor of 995/7 + (-108)/w?
True
Does 56 divide 6763 - (105/7)/(-15)?
False
Suppose -49*c + 54*c = 2*r - 8719, -5*c = -5*r + 21775. Is r a multiple of 17?
True
Suppose 35 = -3*x + 8*x - 5*c, -4*x + 28 = 4*c. Is 5 - x - (-217 - -4) a multiple of 8?
False
Let t = 78046 - 52072. Is 111 a factor of t?
True
Let b = -40146 - -46926. Is b a multiple of 30?
True
Let t(m) = 3*m**2 + 39*m + 3. Let x be t(-13). Let f = 26 + -38. Is -2 + (f/18)/(x/(-306)) a multiple of 8?
False
Let b(z) = z**3 + 24*z**2 - 19*z - 108. Let t be b(-24). Let q = t - 267. Is q a multiple of 9?
True
Let u be 57/((-178)/(-120) - (-8)/(-6)). Suppose 4*v = -14*n + 17*n + u, 2*v + 4*n - 168 = 0. Does 29 divide v?
False
Let a = 336 + -246. Is a/225 + (-6886)/(-10) a multiple of 30?
False
Suppose 9*o - 39 = 13*o + 5*d, -2*d + 13 = -o. Let h = 444 - o. Is 24 a factor of h?
False
Is 110 a factor of (-35 + 2)/(9/(-1470))?
True
Let l(x) = 16*x + 26. Let a = -87 + 42. Let z = 49 + a. Is 5 a factor of l(z)?
True
Let y = 1283 - 852. Does 3 divide y?
False
Let y(i) = i**3 + 5*i**2 - i - 144. Let o be y(0). Does 18 divide (-4510)/(-7) - o/(-504)?
False
Is (5 + 227)*((-295)/(-30) - (-2)/12) a multiple of 8?
True
Is 40 a factor of 1675/4 - 3*5/(-60)?
False
Suppose -t - 970 - 698 = -5*n, -4*n - 3*t = -1342. Let d = n - 144. Suppose 4*w + u - d = 0, 0 = -u + 2*u + 2. Is 11 a factor of w?
False
Let t(x) = -3*x**2 + 6*x - 6. Let i be t(3). Let a be -1*4*i/(-20). Is (-3 - 0)/a*(111 + 5) a multiple of 29?
True
Suppose 2*s = -5*a - 279, -2 = -2*s - 6. Let r be (-10)/55 + (-5)/(a/24). Suppose -172 = -r*z + 38. Does 21 divide z?
True
Let j be 1726*10/55 - (-2)/11. Let m = 452 - j. Does 6 divide m?
True
Let v = -3116 - -3189. Let h(o) = -o**2 + 5*o + 6. Let b be h(5). Suppose -b*r = -v - 221. Is 17 a factor of r?
False
Let u = -538 - 350. Let p = -333 - u. Is p a multiple of 37?
True
Let i be (-3 + -6 - -5)*(-2)/4. Does 14 divide i/((-12)/(-1545)) + 5/2?
False
Suppose -20*a + 963 + 202 = -3375. Is 2 a factor of a?
False
Suppose 4*j + 16 = 4*r, j - 12 = 5*r + 4*j. Suppose -3*g - 48 + 60 = r. Suppose -v + 2*v + u = 149, 0 = -g*v + u + 581. Does 27 divide v?
False
Let r = -117 - -382. Suppose 2*g = v - 52, -5*g - r = 3*v - 8*v. Is 27 a factor of v?
True
Suppose 159 = -160*v + 161*v. Is 15 a factor of v?
False
Let q = 769 - 542. Let o = -215 + q. Is 12 a factor of o?
True
Suppose 4*o + 26*o - 76864 = 14*o. Is o a multiple of 6?
False
Let j be ((-425)/100)/(1/4). Let q(k) = 3*k + 56. Let p be q(j). Suppose 0*m + 2*m + 3*s = 261, 0 = p*m + 2*s - 669. Is 9 a factor of m?
True
Let a = -48 - -32. Let w(c) = c**2 + 13*c - 11. Let q be w(a). Suppose -o = 3*v - 43, -q = -5*o + v + 114. Is o a multiple of 9?
False
Suppose 200*b - 197*b - 3912 = 0. Is 5 a factor of b?
False
Let x = 11115 + -5956. Is x a multiple of 7?
True
Let s = -33 + 45. Suppose i + s = 7*i. Suppose 5*f - 372 = i*f. Is 28 a factor of f?
False
Let r(v) = -v**2 + 13*v - 3. Let o be r(-7). Let h = o - -97. Let m = h - -130. Does 7 divide m?
True
Let v(o) = -3*o**2 - 16*o + 12. Let z(h) = -8*h**2 - 47*h + 34. Suppose 52 = -5*a - 3*l, 3*l - 2*l - 1 = 0. Let c(m) = a*v(m) + 4*z(m). Does 7 divide c(-8)?
False
Let q(o) = 273*o**2 + 32*o - 126. Does 95 divide q(4)?
True
Is 7 a factor of 2058/(12*6/96)?
True
Let l(o) = -1131*o - 2480. Is l(-38) a multiple of 12?
False
Let n = -7821 + 7822. Let y(t) = -4*t + 1 - 2*t**2 + 4*t + 21*t**3. Is y(n) a multiple of 4?
True
Is 8/(152/78907) - 1*-5 a multiple of 7?
True
Let z(a) = -3020*a - 2456. Does 5 divide z(-2)?
False
Suppose -4*r + 32 = -0. Suppose -17 = -j + r. Let o = j + 0. Is o a multiple of 2?
False
Let d = 4 + 6. Let f(b) = -18*b**2 + 15*b - 4. Let u be f(d). Does 32 divide 16/72 + u/(-9)?
False
Let a be (4/(-2))/(4/258). Let u be a/(((-2)/2)/(-7)). Does 30 divide (-2)/10 + u/(-15)?
True
Let m be (-5 + 7 - 5)*-900. Suppose -f + m = 14*f. Is f a multiple of 30?
True
Suppose 5*l - 2*l = 4*m + 55, 43 = 3*l - m. Suppose 0 = -23*j + l*j + 1350. Does 9 divide j?
True
Let v be 6100/30 - 1/3. Let u = v + -53. Does 25 divide u?
True
Suppose 2*t - u + 4642 = 1245, 1711 = -t - 2*u. Is t/(-8) - (-102)/272 a multiple of 16?
False
Let p be 12/8 + 7/2. Suppose -3*y + i = 20 - 165, -p*y + 215 = 5*i. Is y a multiple of 10?
False
Suppose -4*l - 12 = 5*u, 2*l + 0*u = u + 8. Suppose -2*f - 4*t = -l, f + t = -f - 1. Is 0/(f - -3) + 56 + -2 a multiple of 37?
False
Let a = 29939 - 15632. Is 34 a factor of a?
False
Let o be ((-1224)/(-84))/(2/(-770)). Is 39 a factor of 1 + (-8)/12 - o/18?
True
Let l = 89 + -59. Let v = -4 + l. Let n = 7 + v. Is 11 a factor of n?
True
Suppose 2*b + g = 503, -5*b + 1241 = -5*g + 2*g. Is b a multiple of 50?
True
Suppose 42 = 3*c - 144. Suppose 8*x - 130 - c = 0. Does 36 divide x*1/(6/52)?
False
Let s(q) = 45*q + 20. Let g(u) = 16*u + 7. Let x(r) = 7*g(r) - 2*s(r). Does 16 divide x(16)?
False
Let h = 176 - 175. Let z(g) = 986*g - 18. Is 31 a factor of z(h)?
False
Let w(m) be the third derivative of m**6/60 + m**5/30 + 7*m**4/12 + 2*m**3 + 13*m**2 - m. Is w(6) a multiple of 64?
False
Suppose 85 = 18*x - x. Suppose 0 = x*q + 3*v - 257, -3*v + v - 210 = -4*q. Is 22 a factor of q?
False
Let t(x) = -x**2 + x + 6. Let m be t(5). Let f(o) = -2*o**2 - 31*o - 7. Let k be f(m). Suppose d - 31 = k. Is 11 a factor of d?
True
Let b = -5564 - -8882. Does 145 divide b?
False
Let z = -173 + 168. Does 14 divide (-2)/z + (416/5)/2?
True
Let d(g) = -2*g - 6. Let b be d(-1). Let x be (b/6)/((-7)/63). Suppose -776 = x*m - 10*m. Does 29 divide m?
False
Suppose 3*x = -3*r + 840, 0 = -3*r + 17*x - 18*x + 830. Does 47 divide r?
False
Suppose 316*u - 314*u + 6 = 0. Is 46 a factor of (50/u - -8)/((-1)/33)?
False
Let g(c) = c**2 - 46*c + 437. Does 13 divide g(48)?
True
Suppose z + 2 = 17. Suppose -5*x - z = 0, 2*v = -5*x - 0*x - 1. Suppose -v*n = -3*n - 180. Does 9 divide n?
True
Let x(i) = i**3 + 41*i**2 - 38*i - 157. Does 82 divide x(-38)?
False
Let y = 23 + -21. Let f be y + -3 + 70/(1 + 0). Suppose -a + f = 2*a. Is 23 a factor of a?
True
Let t(n) = n**3 - 5*n**2 + 7*n. Let s be t(3). Suppose 0*w - 69 = s*w. Let g = w - -38. Is 2 a factor of g?
False
Let