
Let z(j) = 41*j**3 - j**2. Let t be z(-1). Let w = -25 - t. Suppose w + 4 = 2*h + 5*x, -h + x + 7 = 0. Is 4 a factor of h?
True
Let f(i) = -i**3 - 50*i**2 + 136*i + 69. Is f(-53) a multiple of 21?
False
Does 111 divide -5 + 18/12 + 37810/20?
True
Suppose 0 = 29*f - 3352 - 2941. Is 31 a factor of f?
True
Does 19 divide (28 - -1129) + (5 - 2)*-1?
False
Suppose 2*k + 5 = 5*q, -k + 3*q + 1 = k. Suppose 3*c - k*s - 410 = 0, s = -3*s - 16. Is 27 a factor of c?
False
Suppose 88*c - 86*c - 102 = 0. Is c a multiple of 17?
True
Let l(b) = 3*b**2 - 40*b + 90. Is l(-14) a multiple of 88?
False
Let g(t) be the third derivative of -t**4/3 - 2*t**3 + 27*t**2. Suppose -5*y - 33 = -8. Does 14 divide g(y)?
True
Let t = 351 - 612. Does 3 divide t/(-12) + 2/8?
False
Let f = 59 + -61. Does 2 divide (f - (2 - 3))/(6/(-78))?
False
Let u be ((-6)/9)/(6/(-18)). Let t = u + -1. Let s = 3 - t. Is s a multiple of 2?
True
Let t(c) = c**3 + 14*c**2 + 12*c + 9. Let l(n) = -5*n. Let s be l(5). Let b = 12 + s. Is 22 a factor of t(b)?
True
Let n be 420/(-12) + 1 + 1. Let k be (-16 + 1)/(n/242). Suppose -9*r = -14*r + k. Is 11 a factor of r?
True
Let s = -1168 - -6608. Is s a multiple of 55?
False
Suppose p = -3*x - 5 + 20, 3*x = 4*p. Suppose 2*j = 144 + 80. Suppose 0 = i + p*i - j. Is i a multiple of 9?
False
Let o be 8/(-12) - 5/(-3). Suppose -o - 3 = -2*x. Suppose r + x*i = -3*i + 40, -200 = -5*r + 4*i. Is 10 a factor of r?
True
Let p(t) be the second derivative of t**4/4 - 4*t**2 + 6*t. Suppose -5 = -5*d - 35. Is p(d) a multiple of 20?
True
Let l(o) = -o**3 + o**2 - 1. Let h be l(1). Is 16 a factor of (8/5)/(h/(-20))?
True
Suppose 7 + 3 = -w - 4*j, 16 = -4*j. Let k be w*(6/(-4))/3. Let i(r) = -5*r - 1. Is 7 a factor of i(k)?
True
Suppose 4*d - 2244 = 264. Is d a multiple of 19?
True
Suppose -5*m + 366 = 96. Let x be ((-4)/3)/((-4)/6). Suppose -3*b + 34 = -x*u, -u + m = 3*b + 2*u. Is b a multiple of 4?
False
Does 23 divide ((-48)/(-30))/(12/8010)?
False
Suppose -4*y - 84 = -y. Does 14 divide (14/4)/((-63)/y + -2)?
True
Is ((-180)/(-2))/(150/1000) a multiple of 26?
False
Let p(y) = 8*y + 26. Let b be p(25). Let t = -105 + b. Does 27 divide t?
False
Let w(a) = -2*a**3 - 10*a**2 + 4*a + 37. Is 59 a factor of w(-9)?
True
Let g = 24 - 20. Suppose 3*k - g*h + 2*h - 172 = 0, -k + 4*h + 44 = 0. Is 15 a factor of k?
True
Let m(f) = -f**2 - 12*f + 20. Let u be m(-12). Suppose -u*h - 186 = -23*h. Is 17 a factor of h?
False
Let s(f) = -7 - 2*f**3 + 1 + 3. Does 11 divide s(-2)?
False
Let u = -33 + -315. Let c = u + 538. Is c a multiple of 20?
False
Let g(n) = 3*n - 19. Let y be g(-10). Let c = 88 + y. Is 39 a factor of c?
True
Suppose 0 = 3*s - 3, 4*n - s + 2*s = 593. Does 8 divide n?
False
Does 59 divide (-4)/(-6) + 1*(-20839)/(-21)?
False
Suppose -299*m + 12 = -302*m, -7120 = -2*z - 2*m. Does 22 divide z?
True
Let q be 4/(-14) - 25362/(-126). Let i = q - 100. Is 36 a factor of i?
False
Let s be (4/(-5))/(2/(-55)). Let k be (s/6)/((-11)/(-231)). Let z = k + -29. Is 12 a factor of z?
True
Let j = 143 + -310. Let c = 304 + j. Does 28 divide c?
False
Let s(l) = 15*l**2 + 4*l - 3. Let u be (-4)/(-14) - 84/(-49). Let x be s(u). Suppose x - 32 = 3*d. Is d a multiple of 9?
False
Suppose -4*i = 3*b - 6*b - 6, -2*b = -i + 4. Suppose i = 5*s + 5*a - 70, 4*s - 3*a - 107 + 23 = 0. Is s a multiple of 6?
True
Let x = 265 + -139. Does 14 divide x?
True
Suppose -3*u + 4*j + 168 = 0, -4*j + 14 - 2 = 0. Let p = u - 45. Does 5 divide p?
True
Let u = -311 - -480. Is u a multiple of 13?
True
Let t = 38 + -34. Let y = 83 + t. Is 29 a factor of y?
True
Suppose 2*d = -3*h + 79, 0 = -79*d + 77*d + 3*h + 109. Does 3 divide d?
False
Let d(q) = 15*q - 140. Does 10 divide d(28)?
True
Suppose 5*q - 2*i - 224 = -4*i, 4*q - 172 = -4*i. Is q a multiple of 23?
True
Let t(z) = -z**3 + 5*z**2 + 8*z - 4. Let i be t(6). Let x be 6/i*2*2. Suppose -4*a + 94 = 3*f, -3*f - x*a = -6*a - 87. Is f a multiple of 10?
True
Suppose 48*a - 7482 = -10*a. Does 2 divide a?
False
Let t(v) = 127*v + 24. Is t(1) a multiple of 25?
False
Suppose 3*k + 3*f = 462, 4*k = -5*f + 2*f + 617. Suppose -j + 11 = 5. Suppose j*o = o + k. Is 12 a factor of o?
False
Let t = -37 - 3. Let h = 24 + t. Let p = h + 26. Is p a multiple of 10?
True
Suppose -4539 = -7*z + 7179. Is 54 a factor of z?
True
Let u(a) = 84*a - 107*a + 3 + 0. Is u(-1) a multiple of 2?
True
Let s(a) = a**2 - 15*a + 16. Let d be s(14). Suppose d*y - 41 + 5 = 0. Is y a multiple of 7?
False
Let s(i) be the first derivative of i**4/4 - 5*i**3/3 - 4*i**2 - 2*i + 5. Let c be s(7). Is 12 a factor of (c - (-2)/(-2)) + -3?
True
Let y(i) = -i - 5. Let m be y(-4). Suppose 0 = -3*b - 6, 3*o = -b + 31 - 93. Does 38 divide (-1485)/o - m/(-4)?
False
Let p(m) = 3*m**3 + m - 1. Suppose -8*s + 3 = -5. Let q be p(s). Let w(r) = 3*r**2 - r + 7. Is 31 a factor of w(q)?
True
Suppose 8*c = 12*c - 8. Suppose -3*a - z + 9 = 36, 4*a + 36 = -c*z. Let t = a + 21. Is t a multiple of 11?
False
Suppose q + 1 = m, -6*m + 3*q = -4*m + 1. Suppose 0 = -2*k - m + 52. Is k a multiple of 3?
True
Let d be (0 - -4) + 0 + 1. Suppose -3*b + 12 = 0, b = -4*m - 3*b + 224. Suppose -d*y + m = -3*y. Is 13 a factor of y?
True
Suppose 4*f = 3*p + 17, 0*p + 3*p = -5*f + 28. Is (-2)/f + 366/15 a multiple of 24?
True
Let j(v) = 5*v**2 + 22*v - 130. Is j(-11) even?
False
Let x(d) = 0*d**2 + d**3 - 8 + 4*d**2 + 7*d**2 + 0*d - d. Let v be x(-11). Suppose v*y + 4*n = -0*y + 143, 192 = 4*y + 4*n. Does 9 divide y?
False
Suppose 12*z + 17*z = 9570. Is z a multiple of 30?
True
Suppose 5*g - 64 = 4*q, -2*q - 101 = 3*q - g. Is (1 - 16)/(q/28) a multiple of 16?
False
Suppose 7*p = -208 + 1188. Is 10 a factor of p?
True
Let a(v) = -v**3 + 4*v**2. Let k be a(3). Let u be -4 + k*-3 + 0. Let w = 39 + u. Does 4 divide w?
True
Let x be 1 - (3 + -6) - 4. Suppose -5*h + 464 - 184 = x. Does 27 divide h?
False
Suppose 4*g + 92 = 2*g. Let w = -31 - g. Does 5 divide w?
True
Let w = 16 + -27. Let i(b) = -b**2 - 19*b - 1. Does 29 divide i(w)?
True
Let k(j) = -4*j. Suppose -l - 15 = 2*f, 2*l - 5*f + 16 - 4 = 0. Let x = 8 + l. Is k(x) a multiple of 12?
True
Suppose 4*g + 0 = -4. Let q = 36 + g. Let o = q + 33. Is 17 a factor of o?
True
Suppose -75 = -7*g + 492. Is g a multiple of 3?
True
Suppose 14*n - 896 = 10*n. Is n a multiple of 39?
False
Let q = 90 + -77. Suppose q*x + 0*x - 1014 = 0. Does 18 divide x?
False
Let u = 1017 + -409. Does 38 divide u?
True
Let h = 27 + -63. Let b = -34 + 22. Let k = b - h. Does 12 divide k?
True
Suppose p = -0*p + 7. Suppose -21 = -4*o + p. Does 7 divide o?
True
Let q(x) = -x**2 + 12*x - 18. Let n be q(10). Let d be 106 + 0/n + -4. Suppose -3*j - t + d = 0, -j + 2*t = -0*j - 34. Does 17 divide j?
True
Does 3 divide (1 + (-3)/(-2))/(133/4522)?
False
Suppose -4*q + 7756 = 4*u, 7*q - 11*q + 4*u = -7732. Does 47 divide q?
False
Suppose 0 = 3*f + 3*i - 21, 0*f - 3*f = 4*i - 25. Suppose -f*q + 0*q + 5*n - 3 = 0, -9 = -3*q + n. Is q a multiple of 4?
True
Let l = 8 + -12. Let x be 2 + l + -2 - -7. Is 12 a factor of ((-2)/x)/(2/(-252))?
True
Suppose 2*t + 2*t = 3*l + 6, -18 = -4*t - 3*l. Let j(v) = -4*v**3 - 2*v**2 + v + 2. Let c be j(-2). Suppose t*x + x = c. Is 3 a factor of x?
True
Let p(y) = -y**3 + 11*y**2 - 12*y + 3. Let q be p(10). Does 17 divide q/(-2)*(5 - (7 - 4))?
True
Let t(b) = -1 - 3 + 6*b - 11 + 4. Let x(l) = -l. Let u(a) = -t(a) - 5*x(a). Is 10 a factor of u(-6)?
False
Let s(z) = -2*z + 370. Is 7 a factor of s(0)?
False
Let x(m) = m + 148. Let q = -17 + 17. Let v be x(q). Suppose 0 = -5*g + 12 + v. Is 20 a factor of g?
False
Let v(k) = k**3 + 6*k**2 - 3*k - 7. Suppose 0 = 5*j - 4*p + 22, -2*j + 2*p - 6*p - 20 = 0. Is v(j) a multiple of 2?
False
Suppose -7*i + 864 = 11*i. Does 4 divide i?
True
Let y(c) = c**3 + 22*c**2 - 3*c - 25. Is 2 a factor of y(-22)?
False
Let x = -93 - -645. Does 12 divide x?
True
Let q = 140 - 70. Let i = q - 56. Does 14 divide i?
True
Let a = -14 - -18. Suppose -268 = 2*r - 7*r - a*c, 5*c = -15. Does 14 divide r?
True
Let q = 3684 - 2097. Is q a multiple of 45?
False
Let f = 29 - 33. Let n(a) = -a**2 - 4*a. Let l be n(f). Suppose l = -3*z + 6, 2*r - 82 = -3*z + 2. Does 13 divide r?
True
Suppose -b = 4*z + 24, -3*b - z - 63 = 2*b. Let w be 2/b + (-2505)/(-18). Suppose 8*u = -5*k + 3*u + 155, 4*k -