14)/(-42) + b/(-3)?
True
Is 8 a factor of 12/78 + (-3664)/(-13)?
False
Let p(g) = 191*g**2 + 6*g + 3. Does 19 divide p(2)?
True
Let r(m) = 28*m - 2. Does 5 divide r(4)?
True
Let y(g) = 52*g - 16. Let k be y(16). Let h = k - 561. Does 17 divide h?
True
Let l = -175 + 1255. Is l a multiple of 18?
True
Suppose 56*d = 52*d + 1500. Does 25 divide d?
True
Let d(s) = 15*s - 22. Is d(18) a multiple of 23?
False
Let t(g) = -22*g - 41. Let y be t(-20). Suppose 0 = 6*w - 3*w - y. Is 20 a factor of w?
False
Suppose 55*x - 13538 = 1862. Is x a multiple of 56?
True
Does 13 divide (12068/(-2155))/(((-6)/(-100))/(-3))?
False
Let m be 1*-16 - (0 - -1). Suppose -1726 = 38*a + 212. Let q = m - a. Does 34 divide q?
True
Let n = 17 - 12. Suppose 5*k - 33 = 3*j - 118, n*k - j = -95. Let i = -6 - k. Is 4 a factor of i?
False
Let t(a) be the second derivative of 49*a**3/6 + 2*a**2 + 5*a. Let y be t(2). Let k = -71 + y. Is 31 a factor of k?
True
Let l(x) = x**2 - 10*x - 8. Let z be ((-2)/(-3))/(20/(-330)). Let v be z/(-1) - (-5 - -4). Is 16 a factor of l(v)?
True
Let a(b) be the second derivative of -5*b**3/3 - 13*b**2 - 6*b. Is a(-9) a multiple of 6?
False
Let v = 43 - 21. Is 23 a factor of (-4)/v - 245/(-77) - -89?
True
Let s(o) = -7*o**2 + 5*o - 4. Suppose 2*j - b - 2 = 0, -5*j + 3*b = 2*b + 1. Let m(l) = l**3 - l - 1. Let f(h) = j*m(h) + s(h). Is 11 a factor of f(-8)?
False
Suppose 0 = -8*a + 8155 + 4109. Does 5 divide a?
False
Let l be -31 - -26 - -5*1. Suppose l = 3*u - 5*p - 389 + 83, 3*p = -4*u + 437. Is u a multiple of 10?
False
Let j be ((-21)/(-1))/((-6)/(-72)). Let q = j - 164. Does 16 divide q?
False
Let m = -49 - -103. Suppose -2*c + m = -0*c. Is c*1 - 10/(-10) a multiple of 21?
False
Suppose 0 = -643*k + 644*k - 49. Does 49 divide k?
True
Let j = -2 + 581. Suppose 3*v - 2*v - 197 = -p, 3*v = 3*p - j. Is p a multiple of 16?
False
Let s(j) = j**3 + 10*j**2 - j - 4. Let f be (2 - 3)/1*(9 - -1). Does 6 divide s(f)?
True
Let v(x) = -x**2 + 5*x + 10. Let t(c) = c**2 - 5*c - 9. Let w(j) = -6*t(j) - 5*v(j). Let a be w(5). Suppose 2*i + a*g = 4, -8 = -g + 5*g. Is i even?
True
Suppose -11*j - j + 3120 = 0. Suppose 0 = -2*o, j + 244 = 3*l + o. Does 9 divide l?
False
Let q(z) = -40*z - 1. Let s be q(5). Let c = 143 + s. Let f = c + 97. Is 13 a factor of f?
True
Suppose 973 = 17*f - 523. Is 22 a factor of f?
True
Suppose 3*k - 30*p + 33*p = 1539, -5*k + 5*p = -2615. Is 14 a factor of k?
True
Let l = 296 - 170. Is l a multiple of 18?
True
Suppose -11*z = -6*z - 2*u - 1011, 0 = -2*z - 3*u + 393. Does 11 divide z?
False
Let z(c) = -c**2 + 10*c + 7. Let j be (-1 - -7) + (-9)/3. Suppose -3*r - p + 22 = -2, r = j*p + 18. Is 4 a factor of z(r)?
True
Let t(y) = -y**3 + 25*y**2 - 39*y + 10. Does 57 divide t(23)?
True
Let w(c) = c - 6. Let b be w(10). Suppose b*l = 7*l - 18. Suppose l*j - 78 = 42. Does 8 divide j?
False
Let g(q) = -2*q**2 + 13*q**3 - 2*q - 4 + 0 + 6 - 3. Let y be g(-1). Is ((-144)/(-56))/((-2)/y) a multiple of 6?
True
Let u(k) = k**2 - k + 1. Let b be u(3). Suppose -b*n + 5*n = -22. Is n a multiple of 8?
False
Suppose 0 = -3*q - q + 4*m + 184, -q = 5*m - 64. Suppose 3*l = 12, 4*z + 4 = 3*z + l. Let g = q - z. Does 16 divide g?
False
Suppose 7*u - 2548 = -3*f + 11*u, -4*f - u = -3410. Does 6 divide f?
True
Let x(y) = -513*y**3 - 3*y**2 + 16*y + 16. Does 10 divide x(-1)?
True
Let f = -1112 + 2027. Does 21 divide f?
False
Suppose -3*s + 3 = -0. Suppose -4*u + p + 147 = 0, -4*p + s = -3. Does 4 divide u?
False
Suppose -4*j + 32 + 20 = h, -3*h - j + 123 = 0. Suppose 530 = 5*r + h. Suppose 4*i = r + 46. Is i a multiple of 6?
True
Suppose -7*w = -5252 + 674. Suppose 4*n + q - 522 = -q, -q + w = 5*n. Does 30 divide n?
False
Suppose -5*s + 4*c = -3937 + 809, -2*s + 1238 = 5*c. Is 13 a factor of s?
True
Let g(m) be the first derivative of 7*m**6/120 - m**4/24 - 2*m**3 - 1. Let t(o) be the third derivative of g(o). Is 20 a factor of t(1)?
True
Suppose 9 - 5 = 2*x. Suppose x*i - 4*i = -6. Suppose 6 = -i*t, 3*t = -4*d + 14 + 60. Is d a multiple of 9?
False
Let l = 86 + -70. Let g = 33 - l. Is 17 a factor of g?
True
Let d = 12720 - 8694. Is d a multiple of 24?
False
Let b be (9/5)/(2/10). Suppose 4*g - 7 = -3*o, 3*o - b = 2*g + 10. Suppose 2*i - 3*h = -8*h + 24, -o*i = 3*h - 60. Is 7 a factor of i?
False
Suppose -2 - 14 = 4*x. Let k(d) = 4*d**3 + 7*d**2 + 7*d + 3. Let g(u) = -5*u**3 - 8*u**2 - 7*u - 2. Let b(t) = -3*g(t) - 4*k(t). Is 22 a factor of b(x)?
True
Suppose 5*b - 977 = -4*i, 2*b - 1076 + 345 = -3*i. Let z = 463 - i. Is z a multiple of 55?
True
Let p = 585 - 226. Suppose -5*v + p = -236. Let i = v + -83. Does 18 divide i?
True
Let s = -91 - -65. Let p = -11 - s. Is p a multiple of 3?
True
Let q = 489 + -348. Let p = 466 - q. Is p a multiple of 65?
True
Let h(u) = -u + 23. Let q be h(15). Suppose -240 = -q*f + 4*f. Is 15 a factor of f?
True
Does 12 divide (-15)/(-1 + (-3)/(-4))?
True
Let d(n) = -2*n**3 + 8*n**2 + 4*n - 9. Let o be d(7). Is 9 a factor of -6*(o/(-10))/(-5)?
False
Let d(q) = 51*q + 3. Let m be d(3). Suppose -10*i = -13*i + m. Suppose -3*h + i = -2*h. Is 11 a factor of h?
False
Suppose -3*w - 2 = 7. Let r(c) = 13*c**2 + 2*c - 5 + 0*c - c. Is r(w) a multiple of 28?
False
Suppose -2*z + 39 = z. Let s = 20 - z. Does 18 divide (2 - (-40)/s)*7?
True
Let j = 887 - -337. Does 102 divide j?
True
Suppose -7*i = -1063 - 127. Is i a multiple of 34?
True
Suppose -32*x + 5*v + 307 = -29*x, 2*v + 4 = 0. Does 9 divide x?
True
Suppose -5*f = -2*z - 604, -4*f + 45 = -3*z - 434. Let q = f + -70. Is 4 a factor of q?
True
Let z(m) = -m**3 + 8*m**2 - 7*m - 2. Let r be z(7). Let d(w) = -15*w. Let u be d(r). Suppose -4*o = 5*c - 71, -2*o + 2*c + u = -10. Does 5 divide o?
False
Suppose -5*s + 2488 = 4*d, -s = -2*s + d + 503. Does 50 divide s?
True
Is 14 a factor of (0 - 94032/(-84)) + 8/14?
True
Let n be 0 + -3 + (-981)/(-9). Suppose -10 - n = -4*h. Is h a multiple of 9?
False
Let x(c) = c**2 - 5. Let h be x(3). Suppose -267 = -3*y + h*g, 5*y + 0*g = 2*g + 431. Is y a multiple of 8?
False
Let x(m) = m**2 + m - 30. Let f be x(-7). Suppose 3*b - f = -0*b, -3*w + b + 272 = 0. Is w a multiple of 9?
False
Let l = 70 + -64. Suppose l = g - 19. Does 3 divide g?
False
Let t = -108 - -63. Let s be (-2)/(-10) - (-3728)/(-40). Let z = t - s. Is 12 a factor of z?
True
Let s(y) = -y**2 + 9*y - 8. Let h be s(8). Suppose -4*l = -h*l - 16. Suppose -5*v = -l*t - 138, 5*t - 65 + 23 = -2*v. Is 5 a factor of v?
False
Let h(i) = -i - 7 + 4 - 6. Let a be h(-9). Suppose 5*y - 23 - 37 = a. Is y a multiple of 4?
True
Suppose -21*l + 33*l - 1152 = 0. Is 4 a factor of l?
True
Let r(v) = -v**2 + 4*v + 9. Let u be r(7). Let f = u - -64. Let k = f + -24. Is k a multiple of 14?
True
Let h be (-2 - -12)*(-6)/(-15). Let c be h/14 - 2/7. Let k = c - -12. Does 12 divide k?
True
Let c = 378 - -128. Suppose 1311 - c = 5*n. Is 10 a factor of n?
False
Is -38 - -924 - (2 + 2 + -1) a multiple of 5?
False
Suppose -5*b = 4*l - 5*l - 5490, -3*b = 5*l - 3322. Does 6 divide b?
False
Suppose 19 = i + 4*u - 22, 4*i - 108 = -2*u. Suppose 2*q + 25 = 5*y, 0*q - i = -5*y + q. Is 24 a factor of -7*y/(70/(-96))?
True
Suppose l + 5*n - 5 = 0, 2*l - 3*n = -2*l + 20. Suppose p = l*p - 296. Does 17 divide p?
False
Is (1204/2 - -2)*8/16 even?
True
Let i(c) = -3*c**3 + 3*c**2 - 4*c + 3. Let h be i(2). Let d be 129/4 - h/(-68). Does 22 divide (33/12)/(2/d)?
True
Suppose 14*i + 90 = 1168. Is 7 a factor of i?
True
Let s(o) = 2*o**3 + 59*o**2 - 11*o - 6. Is 8 a factor of s(-27)?
True
Suppose -l - t = -4*t - 469, 5*t + 461 = l. Does 13 divide l?
True
Let q be (22/6)/(1/87). Let f = 459 - q. Does 28 divide f?
True
Let r be (-3 - -5)/((-1)/24). Let y be (6/(-8))/((-3)/240). Let t = y - r. Is t a multiple of 27?
True
Let g(v) = v**3 + 7*v**2 - 2*v - 6. Let m(k) = k**3 - k. Let r(n) = g(n) - 2*m(n). Does 10 divide r(6)?
True
Let m = 15 - 15. Suppose m + 15 = -5*w. Does 9 divide (-3)/(w + 6) - -28?
True
Let l(a) = a**2 + 11*a + 6. Is 3 a factor of l(-14)?
True
Suppose -s = -3*c - 2*s + 141, -9 = -3*s. Let z = 111 - c. Let w = -3 + z. Is w a multiple of 23?
False
Suppose -5*o = 78 - 758. Let p = 205 + o. Does 31 divide p?
True
Let i(x) = 6*x + 2. Let h = -52 - -53. Is 4 a factor of i(h)?
True
Let h(b) = -3*b + 4. Let j be h(1). Let i(t) = 9