e
Suppose -272 = -79*t + 78*t. Is 8 a factor of t?
True
Suppose -186 + 43 = -h. Let p = h - 50. Is 31 a factor of p?
True
Suppose -52 = -2*v + 28. Let b = v - -8. Is 16 a factor of b?
True
Suppose -1479 + 15371 = 23*i. Is i a multiple of 20?
False
Let a(v) = v**2 + 6*v - 6. Let m be a(-6). Let l(x) = 15*x - 5. Let b be l(m). Let u = b + 135. Is u a multiple of 22?
False
Let o(p) = p**3 + 10*p**2 - 13*p - 6. Let u be o(-11). Let m(d) = d**2 - 14*d + 25. Is 19 a factor of m(u)?
True
Suppose 3*v = 422 + 1381. Is 31 a factor of v?
False
Let q be 24/30 - 597/15. Does 14 divide (-6)/q + (-908)/(-13)?
True
Let z(m) be the second derivative of -7*m**3/6 - 15*m**2/2 + 6*m. Is 16 a factor of z(-9)?
True
Let l be 8/12 - 116/(-6). Suppose k = -5 - l. Let c = 75 + k. Is 25 a factor of c?
True
Let c = -37 - -47. Suppose 0 = -4*n - c + 158. Does 5 divide n?
False
Let g(n) = -n - 3. Let w be g(-3). Let p(f) be the third derivative of -f**6/120 - f**5/60 + f**4/24 + 8*f**3 - 107*f**2. Is 29 a factor of p(w)?
False
Let h = -19 - -42. Suppose -22*k = -h*k + 28. Is 14 a factor of k?
True
Suppose 15*l = 9*l + 18. Suppose 2*k - 252 = y, -k + l*y + 0*y = -116. Is 14 a factor of k?
False
Suppose 978 = 9*g - 1056. Suppose -78 = m - g. Does 25 divide m?
False
Let a(d) = 11*d - 1. Suppose -3*j + 3 = r, 3*r + 5*j = 12 - 3. Does 16 divide a(r)?
True
Suppose 4*j - 5 + 21 = 0. Let z(o) = -o**3 - 5*o**2 - 5*o + 2. Let i be z(j). Is 11 a factor of i/(-4 - 118/(-28))?
False
Let r = 71 - 18. Let a = -6 + r. Does 6 divide a?
False
Suppose 4 = -z, -5*z - 3 = -4*n + 53. Suppose -6*t + n = -3*t. Suppose 0 = 5*h + t*l - 97, 4*h - 4*l - 50 - 34 = 0. Is h a multiple of 20?
True
Let m = 181 + -159. Let a = 0 + 4. Suppose -a - m = -u. Does 13 divide u?
True
Let f = -2392 + 3148. Does 42 divide f?
True
Does 13 divide -3 - -16 - (0 + 0)?
True
Let n be 11/(55/60) - 2. Is 5/n + (-514)/(-4) a multiple of 29?
False
Let y = -10 - -10. Suppose -u - 2 + 4 = y. Suppose -u*d - 48 = -3*t, -d + 5*d = -t + 30. Does 9 divide t?
True
Suppose -5*k = -0*k + 20. Let x(c) = c. Let r(y) = 52*y. Let d(b) = -r(b) + 39*x(b). Is d(k) a multiple of 26?
True
Let a be 20/70 + 4588/14. Suppose a = -3*m + 11*m. Is m a multiple of 7?
False
Let s be 4/6 - 114/(-18). Suppose 12*k - a - 150 = s*k, 5*k = -4*a + 150. Does 10 divide k?
True
Let y(c) = -4*c - 7. Let i be y(-8). Suppose 4*t + 2*g - 133 = -i, 0 = 3*t + 3*g - 84. Suppose 3*b - t = 2*b. Is 7 a factor of b?
False
Let u(h) = -87*h**3 - h. Let n = 4 - 5. Does 11 divide u(n)?
True
Let x(r) = -2*r**2 - 26*r + 5. Does 8 divide x(-4)?
False
Let k be (-1)/6 + (-4199)/78. Let a = -49 - k. Is 2 a factor of a?
False
Suppose 2*q = 10, -12*n + 12069 = -9*n - 3*q. Does 32 divide 4/(-10) + -2 + n/20?
False
Let i be -1 + 329 + (-3 - -4). Suppose 5*t - i = 111. Suppose 2*z - 59 = -4*a + 3, -z = -5*a + t. Is 3 a factor of a?
False
Suppose 11*k - 7578 = 2*k. Is 52 a factor of k?
False
Let g = 127 - 93. Let b = 17 + -12. Suppose 7*r - g = b*r. Is r a multiple of 14?
False
Let o be ((-4)/3 - -4)/(3/45). Let r = o - -26. Does 11 divide r?
True
Let f be (-6)/4*4/(-3). Suppose 5*v - 37 = -3*a + v, 64 = 4*a - f*v. Is 15 a factor of a?
True
Let u = 11 - 6. Suppose -u*n = -77 - 58. Is 3 a factor of n?
True
Suppose -2*t + 386 = -23*q + 25*q, -q - 371 = -2*t. Is 14 a factor of t?
False
Let k = -35 - -210. Let p = k + -19. Does 28 divide p?
False
Suppose 0 = -2*p - 2*n + 426, p - 233 = -3*n + 7*n. Does 9 divide p?
False
Suppose -2*x = 4*h - 82, 7*h - 3*x - 97 = 2*h. Suppose -2*a = 3*a - h. Suppose 100 = a*s - 4. Is s a multiple of 26?
True
Suppose -4*i - 15 = -7*i. Suppose -4*d - 3 = -i*d. Suppose 0*f + 2*f + 90 = 5*y, 5*f + 73 = d*y. Is 8 a factor of y?
True
Let t(j) = j + 10. Let w be t(8). Suppose 34 = -2*g + 3*o, -5*g - w = o + 84. Let h = g + 28. Is h a multiple of 4?
True
Suppose 8*a - 1212 = -124. Is 8 a factor of a?
True
Let r be ((-18)/(-3))/(-6) - (-7 - -2). Suppose -r*u + 323 - 127 = 0. Does 19 divide u?
False
Let j(f) = 3 + 25*f + 0 - 24*f + 180*f**2. Is j(-1) a multiple of 14?
True
Suppose 3*r - 5*r - 86 = 0. Suppose 4*t - 331 = -67. Let f = t + r. Does 23 divide f?
True
Let p(q) = -3*q + q**2 - 3 - 4 + 1 + 5*q. Does 9 divide p(5)?
False
Suppose 0*w + 848 = 4*w. Suppose -5*v + w = -v - 4*n, 47 = v + 5*n. Is v a multiple of 9?
False
Let f(c) = -2480*c**3 + 2*c**2 - 14*c - 16. Is f(-1) a multiple of 80?
True
Let s(c) = c**2 + 0*c**2 + 8 - 9 + c + 3. Is 8 a factor of s(-3)?
True
Let r(g) = 1 - 220*g + 245*g + 2. Suppose 4*q = 8*q - 12. Does 26 divide r(q)?
True
Suppose -3*f + 5 = -h, -2*f - 2*h - 2 = -4*f. Let u(y) = -9 + y + 13 + 18 + y**f. Is 15 a factor of u(0)?
False
Let h = -146 - -222. Suppose 3*d + 4*p - h = -0*p, 2*d - 49 = -p. Is 9 a factor of d?
False
Let u be 2*3/(-6)*-183. Is 8 a factor of 2*-2 + -1 + u + -1?
False
Suppose 0 = -i + 6*i - 20. Suppose -l + 34 = -0*l + i*s, 5*s + 55 = 2*l. Suppose -2*q + l = -22. Is 11 a factor of q?
False
Suppose -5*i + 91 = -9. Is 20 a factor of i?
True
Suppose -57*z + 17*z + 4600 = 0. Is 5 a factor of z?
True
Suppose 9*k - 6*k - m = 5608, -2*m = -3*k + 5606. Is 85 a factor of k?
True
Let m(v) = 2*v + 4. Suppose -20 = -2*n + 3*j, 2*n + 0*n + 4 = -3*j. Let b be m(n). Let i = b - -2. Does 10 divide i?
False
Is 12 a factor of -8151*2/(-14) + (-12)/(-21)?
False
Let q(b) = 5*b**3 - 11*b**2 + 9*b - 4. Is q(5) a multiple of 44?
False
Let m(z) = -20*z**2 - 5*z + 44. Let n(r) = 7*r**2 + 2*r - 15. Let l(i) = -6*m(i) - 17*n(i). Is l(7) a multiple of 6?
True
Let y(i) = 2*i**2 - 10*i - 48. Let z be y(-6). Suppose -7*n + 2*n + 1 = -3*b, n + 3 = -b. Is 5 a factor of b/7 - (-444)/z?
True
Let u(t) = -t + 24. Suppose -4*r + 73 - 21 = 0. Let n = -19 + r. Is 10 a factor of u(n)?
True
Suppose p = 3 + 3. Let a be (4/p)/((-8)/516). Let d = a + 81. Is d a multiple of 19?
True
Suppose 0*u - s = -u + 28, -s + 88 = 3*u. Let n = u + 3. Is 8 a factor of n?
True
Does 114 divide (-1)/(-9) - (41840/(-90) + 9)?
True
Let u be (1 + 11)*(-4)/8. Let g be (-2)/(-4)*(u - -6). Suppose -2*a + 3 + 5 = g. Is a even?
True
Let l(x) = -16*x - 152. Does 12 divide l(-23)?
True
Let s = 2580 + -1530. Does 70 divide s?
True
Let g = 3487 + -1045. Does 29 divide g?
False
Let z(t) = 14*t**3 + 4*t - 3. Let r be z(1). Let x = 26 - r. Does 2 divide x?
False
Suppose 11*z - 616 = 3*z. Is z a multiple of 11?
True
Let n = 5 + -3. Let c(h) = -7*h**2 - 2*h. Let b be c(n). Let d = -22 - b. Is d a multiple of 3?
False
Does 27 divide (1080/28)/(-6*(-9)/1134)?
True
Let p(o) = 3*o + 22. Let f(s) = 9*s + 18. Let d(q) = -10*q - 17. Let z(x) = 5*d(x) + 6*f(x). Let u(h) = 5*p(h) - 4*z(h). Is u(-8) a multiple of 7?
False
Suppose -362 = 3*l - 14. Let f be 3 + 1*-55 + 36/(-12). Let w = f - l. Does 21 divide w?
False
Let w(k) be the second derivative of -11/6*k**3 + 7*k + 1/6*k**4 + 0 + 3*k**2. Is 13 a factor of w(8)?
False
Suppose -23*z + 2400 = -498. Is 63 a factor of z?
True
Is (1 - (-5)/(-7))*(113 + -22) even?
True
Is (166 - 6) + -6 + (2 - 1) a multiple of 31?
True
Suppose -6*z + 1086 + 498 = 0. Is 11 a factor of z?
True
Let q(j) = -179*j - 140. Does 76 divide q(-8)?
True
Let p(l) = -2*l + 3*l - l - 3*l - 12. Let m be p(-5). Let w(r) = 3*r**3 - 4*r**2 - r. Is w(m) a multiple of 21?
True
Suppose -31*o + 570 = -16*o. Does 15 divide o?
False
Suppose 5*a - 70 = -10. Let d be (153/27)/(2/a). Suppose d = 3*v + 10. Does 8 divide v?
True
Suppose -c - 19865 = -5*w, -25*c = 2*w - 26*c - 7943. Is 35 a factor of w?
False
Let f be (-6)/(-2)*(-12)/(-12). Suppose -5*c + 3 = 18, f*g = -2*c + 255. Does 34 divide g?
False
Let h(v) = -v - 5. Let d be h(-9). Suppose -11 = -m + d*a, -2*m + 3 + 7 = -2*a. Let k = m - -6. Is 2 a factor of k?
False
Suppose 25*l - 22*l - 567 = 0. Is 9 a factor of l?
True
Suppose 4*k + 140 = -76. Does 28 divide (2 + -3 + k)*-2?
False
Suppose -3*v = -2*g + 6*g - 12, 9 = 3*g + 3*v. Let p = 1 + g. Suppose 0 = -4*x + p, b - 2 = 4*x + 1. Is 5 a factor of b?
False
Let m = -79 + 118. Suppose 36*o - m*o + 60 = 0. Does 10 divide o?
True
Let a(r) be the first derivative of -r**4/8 + r**3/6 - 2*r**2 + 4. Let k(o) be the second derivative of a(o). Is k(-3) a multiple of 3?
False
Let f be (28/(-40)*2 - -3)*5. Suppose -f*i = -494 - 146. Is 10 a factor of i?
True
Suppose -27 = -4*m + 3*d, 0 = -4*m - 5*d + d - 