e t + 1234 = 8*y. Does 11 divide y?
True
Let f(v) = v**3 - v**2 - v - 112. Let r be f(0). Let o be (-308)/r + 1 + (-6)/8. Suppose 0*l + o*z = -3*l + 132, -132 = -3*l + 5*z. Does 22 divide l?
True
Suppose 513 = t + f, 2*t - f = 696 + 321. Is 120/45*t/4 a multiple of 20?
True
Suppose 72 = -4*g + 24. Let i = -28 + g. Does 11 divide ((-164)/5)/(8/i)?
False
Let a(f) = -562*f - 1. Let p be a(-1). Suppose 0 = 19*i - 94 + 18. Suppose 4*b - p = -5*u, -367 - 162 = -5*u + i*b. Is 34 a factor of u?
False
Let n be (1910/(-35))/(-2) + 8/(-28). Suppose n*p = 7*p + 26900. Does 12 divide p?
False
Let t(m) = 21875*m**2 + 131*m - 133. Is t(1) a multiple of 19?
False
Suppose 0 = f + 5*k - 6664, -3*f - 6*k + 20012 = -k. Is 71 a factor of f?
True
Let f be (876 + 1)*1 + 3. Suppose -16*j + f = -1152. Is j a multiple of 39?
False
Suppose -154*p + 1761070 = -1551316. Does 13 divide p?
False
Let m(w) = -7*w**3 - 83*w**2 - 47*w - 32. Is m(-16) a multiple of 16?
True
Suppose 4*h - 207 = -831. Let p = h + 271. Let l = p - -23. Does 46 divide l?
True
Suppose -3*g - 40 = z, -52 = g + 2*g + 4*z. Is 14 a factor of g/8 + 25155/26?
True
Suppose -3*t + 251 = 11. Suppose m = 3*m, -4*u + t = 4*m. Suppose 2*l = 3*b + 48, 0 = l - 3*b - u - 4. Is 12 a factor of l?
True
Let b = 16073 + -8699. Is b a multiple of 22?
False
Let y = -3799 + 12873. Does 13 divide y?
True
Suppose b + 7771 + 507 = 2*b. Does 4 divide b?
False
Let v(w) = 8*w**2 - 131*w - 1900. Does 31 divide v(-36)?
False
Suppose -y = t - 3*t + 5, 2 = t. Is 6 a factor of ((-242)/6 - y)/((-48)/72)?
False
Let j = -840 + 4165. Is 47 a factor of j?
False
Is (-898)/(-4)*(-3 - -7) a multiple of 38?
False
Let q = 50 + -42. Suppose -q = -5*v + 12. Suppose o - 31 = 3*z, -v*o + 3*z + 65 = -2*o. Is o a multiple of 12?
False
Suppose 329*c - 3*k = 331*c - 9462, 0 = 2*c - 3*k - 9426. Is 11 a factor of c?
False
Suppose -17*o - 27*o + 188250 = -14*o. Does 85 divide o?
False
Suppose -26*f + 13695 = -15*f + 22*f. Does 4 divide f?
False
Let v = 10242 + -4986. Is 36 a factor of v?
True
Let b(i) be the first derivative of -3*i**3/2 + 27*i**2/2 - 6*i - 9. Let g(q) be the first derivative of b(q). Is g(-9) a multiple of 23?
False
Let n(x) = 139*x**2 - x + 7. Let o be n(-3). Suppose 4*a + 141 - o = 0. Does 20 divide a?
True
Suppose 0*n = -2*a - 4*n + 164, 3*a + 2*n = 250. Does 46 divide (246/(-8))/(7 + (-597)/a)?
False
Let z = 7196 - 3500. Is 17 a factor of ((z/(-30))/(-7))/(2/20)?
False
Let t(f) be the first derivative of -11*f**4/4 + 2*f**3/3 + 2*f**2 + 9*f + 34. Is 13 a factor of t(-3)?
True
Suppose 199 = 5*i + 3*x, 39 = i - 3*x - 8. Let b = i + -41. Suppose -2*j + 180 = -b*j. Does 37 divide j?
False
Suppose 2*x = 3*a - 25, -a = 4*x + 10 + 5. Suppose 8*d - 174 = a*d. Suppose -4*u + 247 = -3*c - 18, 0 = -u - 2*c + d. Does 8 divide u?
True
Suppose 0 = 5*d - j - 47854 - 26261, -5*j + 44469 = 3*d. Is 61 a factor of d?
True
Suppose -1160 = 4*v + 2*d, 4*v + 5*d = -894 - 266. Let f = v + 361. Is f a multiple of 54?
False
Suppose 0 - 19 = -5*v + c, 2*v = 2*c + 14. Suppose -4*s = d - 2*d + 55, v*s + 90 = 2*d. Is 13 a factor of d?
True
Suppose 95*x + 16283 = 5*o + 99*x, 0 = 3*o + 2*x - 9771. Is 150 a factor of o?
False
Let k(z) = z**3 + 10*z**2 - 10*z + 16. Let n be k(-11). Suppose 4*y - v = -590, n*y + 4*v + 734 = 7. Let s = y - -259. Does 19 divide s?
False
Suppose 0 = 4*c - 634 - 922. Suppose c - 101 = 4*a. Does 4 divide a?
True
Let j(u) = 2*u**3 - 20*u**2 + 67*u - 9. Let n(t) = t**3 - 19*t**2 + 68*t - 8. Let q(g) = -2*j(g) + 3*n(g). Does 24 divide q(-21)?
True
Suppose b - 12 = -b. Suppose -b*d + 5 = -5*d. Suppose -69 = -x - d*k, 7*x - 4*x - 5*k - 107 = 0. Does 4 divide x?
True
Suppose -22*w + 25*w = -31*w + 120734. Is 7 a factor of w?
False
Let x(t) = t**3 - 13*t**2 - 14*t - 3. Let g be x(14). Is g*(-948)/9 - -7 a multiple of 17?
True
Suppose -3*w = -3*g, 3*w + 0*g = -2*g + 5. Is (1/2 + -1)/(w/(-252)) a multiple of 3?
True
Let z(n) = -3*n**3 + n**2 + 4*n + 7. Let g(c) = c**2 + 7*c + 9. Let t be g(-3). Let k be z(t). Suppose j = -0*j - 5*f + 89, -j + k = f. Does 14 divide j?
True
Let x = -86 + 92. Suppose -j - x*p = -2*p - 110, p = 2*j - 193. Is 11 a factor of j?
False
Let x be (3 - 2)*771 + -5. Let c = -1088 + x. Let l = c - -560. Does 34 divide l?
True
Let i(s) = 15*s - 103. Let u be i(7). Is (-21)/(u + 5)*-7 a multiple of 21?
True
Suppose -63*r - 32*r = -5605. Does 3 divide r?
False
Let n(u) = 5*u**2 - 6*u - 6. Let g be n(-1). Suppose 207 = g*j - 168. Is 8 a factor of j?
False
Suppose -35234 = -4*k + j, -765*k + 764*k + 4*j + 8786 = 0. Is 24 a factor of k?
False
Let f = 603 + -318. Suppose -627 = -6*x + f. Is x a multiple of 19?
True
Is 9 a factor of ((-17304)/(-112) - (-5)/(-2))*7?
False
Let n = 11513 + 31335. Is n a multiple of 13?
True
Suppose -715 = -3*d + u, 485 = 2*d + 2*u - u. Suppose 22*y - d = 12*y. Is y a multiple of 12?
True
Let j(q) be the first derivative of -q**4/4 - 14*q**3/3 - 19*q**2/2 - 8*q + 50. Is 21 a factor of j(-15)?
False
Suppose -63 = 4*d - 3*r, 6*d - d - 4*r = -79. Let t be (-66)/2*110/d. Suppose m - 2*c - 84 = -0*c, t = 3*m - c. Is 21 a factor of m?
False
Let h(u) = 2*u**3 - 28*u**2 + 27*u - 137. Is h(17) a multiple of 15?
False
Suppose 0 = 5*d - 2*y - 221, -d + 0*d + 41 = -2*y. Is 32 a factor of (-4)/(-18) - (-6065)/d?
False
Suppose -8*y + 54 = y. Suppose -2*n - y = -p + 9, 1 = -p. Let x = n + 30. Is x a multiple of 4?
False
Let c = 6200 + -6160. Is c a multiple of 20?
True
Let b(v) = -v**3 + 8*v**2 - 6*v + 3. Let h(u) = u - 20. Let a be h(-10). Let q = -25 - a. Does 12 divide b(q)?
True
Suppose -2 = 8*y - 18. Suppose -4*n + 192 = y*o, -o = 5*n - 29 - 58. Is 17 a factor of o?
True
Suppose -199*x - 4096250 = -13685662. Is x a multiple of 28?
True
Let s be (-136)/(-238) - (-356)/14 - 1. Suppose -x + 758 = -2*n, -3*x - s*n + 2299 = -26*n. Is x a multiple of 32?
True
Let q(n) = 10*n - 54. Let w be q(6). Suppose w*d + 64 = 8*d. Is d a multiple of 4?
True
Suppose -4*g + 5*m = g - 265, 0 = -m + 2. Suppose -2*h = -17 + 7, g = 2*c + 5*h. Does 15 divide c?
True
Suppose -3*q = -5*k + 75932, 272*q - 45562 = -3*k + 271*q. Does 37 divide k?
False
Suppose -7*q = -3*q - 60. Let l = -15 + q. Suppose -810 = -9*w - l*w. Is 18 a factor of w?
True
Let j = 5494 + -888. Is j a multiple of 11?
False
Let m(n) = -n**2 + 8*n + 20. Let y be m(8). Suppose c + y = 2*c. Suppose 0 = -c*k + 7*k + 494. Does 14 divide k?
False
Suppose 39*z = 144*z - 410550. Is 23 a factor of z?
True
Suppose 0 = 59*z - 58*z - 1416. Does 6 divide z?
True
Suppose -8*a = -2030 - 2322. Let b = -241 + a. Does 27 divide b?
False
Suppose -b - 2*s = -0*b + 114, -3*b - 374 = -2*s. Let o = b + 87. Is 20 a factor of (-569)/(-7) - 0 - (-10)/o?
False
Suppose 12*h - 660 = 2*h. Let i = h - 78. Let z = 92 + i. Is z a multiple of 10?
True
Let p be -274 + ((-3)/(-9))/(4/(-48)). Let l = 767 + p. Is 6 a factor of l?
False
Let g be (0/(5 + -2))/(0 - -1). Does 14 divide (21/(-3) + g - -1)*-14?
True
Let o = 12470 + -6266. Is o a multiple of 22?
True
Let t be (-1)/((-4)/16) - (-4 - 1). Let j be ((-2)/t)/(-1) - 133/(-9). Suppose j*z - 4*z - 2035 = 0. Is z a multiple of 37?
True
Let k = -773 + -414. Let w = k - -1859. Is w a multiple of 42?
True
Let p(m) = m**3 + 21*m**2 - 53*m - 34. Does 18 divide p(-18)?
False
Let d be -1 - (-121)/7 - (-10)/(-35). Suppose 4 = -3*l + d. Suppose 0 = i - l*y - 141, -i + 255 = i + y. Does 23 divide i?
False
Suppose 117*j + 2136 = 129*j. Does 13 divide j?
False
Let n = 151 + -116. Does 21 divide ((n - -2) + 5)*1?
True
Suppose 7600 - 3105 = -5*i. Is 14 a factor of 1*-3 - (32 + -15 + i)?
False
Let d = 95499 - 49804. Is d a multiple of 10?
False
Let d = 3556 - 1770. Is d a multiple of 8?
False
Let t be ((-1010)/(-50))/((-5)/(-25)). Let w = 0 - -5. Suppose w*j - 79 = t. Is j a multiple of 12?
True
Suppose 5*z - 83 = -3*a, -2*a = -3*z - 0*a + 65. Let v(h) = h - 16. Let b be v(z). Suppose -4*m = 3*w - 243, b*w + 246 = 4*m + 5*w. Is 63 a factor of m?
True
Let j(h) = -4*h + 12 - 19*h**2 - 19*h**2 + 37*h**2. Let d be j(-6). Suppose -l + 3*i + 59 = -d*i, -2*l - i = -104. Is l a multiple of 23?
False
Let y be ((-2)/(-6))/((-26)/(-1716)). Does 19 divide (-110430)/(-297) - (-4)/y?
False
Suppose -273672 - 1356630 = -129*z. Does 15 divide z?
False
Does 121 divide (-228688)/(-10) - 