le of 7?
True
Suppose -h - 5*l = -0*l - 92, 0 = h - 3*l - 124. Suppose 107*a = h*a - 600. Is 10 a factor of a?
True
Let r(b) = b**2 + 6*b + 4. Let n be r(-6). Suppose -n*u + 2*i = -308, 4*u + 2*i = 2*u + 142. Does 18 divide u?
False
Let h(q) = 2*q**2 + 21*q - 21*q. Does 20 divide h(10)?
True
Let z be 7/(-2)*(-16)/14. Suppose -o + y = -2, z = 3*o - o - 5*y. Suppose -18 - 42 = -o*t. Does 10 divide t?
True
Suppose o - s + 33 = 0, -2*o - 107 + 43 = -3*s. Let z = 4 - 0. Let b = z - o. Is 13 a factor of b?
True
Let n(z) = -z**3 + 7*z**2 - 2*z - 6. Let j(s) = 4*s**2 + s - 1. Let g be j(1). Suppose -28 = -4*u - g. Is 5 a factor of n(u)?
False
Let x(h) = -6*h + 17. Let q be x(-5). Suppose 91 + q = u. Is u a multiple of 28?
False
Let r = 2 + -20. Let u = r + 155. Suppose 3*j + j = -3*h + u, -4*h = -3*j + 109. Is 22 a factor of j?
False
Suppose -b + 2*g + 131 = 2*b, 4*g - 107 = -3*b. Let h = -32 - -117. Let z = h - b. Is z a multiple of 17?
False
Let i be 3*((-65)/(-15) - 0). Let n = i + -13. Suppose -c + 43 + n = 0. Does 28 divide c?
False
Let x(n) = n**2 + 2*n - 8. Suppose 19*k + 24 = 16*k. Does 4 divide x(k)?
True
Let b(m) = -43*m + 10. Let k be b(-3). Let v = k - 69. Is v a multiple of 19?
False
Suppose 5*o = 2*g - 5*g + 15, -15 = 5*g - 5*o. Let a(p) = 2*p**2 - 53*p - 25. Let w be a(27). Suppose -w*z - 2*j + j + 13 = g, 3*j = z + 11. Does 4 divide z?
True
Suppose 12*o - 643 = 581. Is o a multiple of 4?
False
Suppose 0 = 4*f + 4*h + 24, 5*h = h - 16. Let l = 4 + f. Let k(v) = 7*v - 2. Is 12 a factor of k(l)?
True
Let g = 7 + -5. Let s be (-448)/(-72) + 4/(-18). Suppose 0 = 4*h + s + 6, -x - 2*h = -g. Is x a multiple of 3?
False
Let j(k) = -9*k**3 + 58*k**2 + 10*k + 24. Let w(g) = -5*g**3 + 29*g**2 + 5*g + 12. Let a(s) = -6*j(s) + 11*w(s). Is a(-29) a multiple of 19?
True
Let u(a) = 3*a - 7. Let z be u(4). Suppose h - 3*h - z*o = -5, 3*h + 3*o = 30. Is 14 a factor of (-5)/(h/61)*-3?
False
Let z(o) = 18*o**2 + 97*o + 576. Is z(-6) a multiple of 7?
False
Let w be 11 + -24 + (-1 - -2) + 1. Is w*((-1)/(-2))/((-5)/90) a multiple of 33?
True
Let x(o) = o**2 + o - 7. Let p be x(6). Suppose 5*q + 10 - p = 0. Suppose -q*h - 11 = -491. Is 32 a factor of h?
True
Let w be 10/4*(-8)/(-28)*7. Let z(g) = 3*g**2 + 4*g - 4. Is z(w) a multiple of 12?
False
Does 15 divide (3/(-2))/((-12)/10568)?
False
Let x be (0 - -484)*(-4)/(-8). Let p = x + -165. Is p a multiple of 11?
True
Let f = -860 + 1829. Does 12 divide f?
False
Let j = 95 - 90. Suppose 0 = 4*z + 20, 5*q - 845 = j*z - 190. Is q a multiple of 21?
True
Does 11 divide 6/(-15) - (-3972)/30?
True
Suppose -3*n + n + 3*z = -151, -2*z - 154 = -2*n. Does 4 divide n?
True
Let r = 62 + -50. Let c(v) = v**2 - v + 22. Is c(r) a multiple of 25?
False
Let a be (-1 - -1) + -16 + 7. Let i(c) = c**2 + 10*c + 13. Let g be i(a). Is 13 a factor of g/6 - (-616)/12?
True
Let x(l) be the third derivative of l**6/120 - l**5/15 - l**4/12 + l**3/2 - l**2. Let g be x(3). Is 4 a factor of 31/2 + (-6)/g?
True
Let c(d) = d**3 - 9*d**2 - 10*d + 3. Let j be c(10). Suppose -r - 102 = 3*a - 6*a, 3*a - 90 = -j*r. Is 11 a factor of a?
True
Let n = -292 - -772. Is n a multiple of 48?
True
Suppose w - 3*n = 15, 2*w - w + 5 = -n. Suppose -4*l - 8 = w, 2*g + l = -2*l + 114. Does 5 divide g?
True
Let c = 261 + -106. Is 5 a factor of c?
True
Suppose 0 = -14*g + 13*g + 2. Suppose -g*o = -2*y + 12, -3*y = 3*o - 37 + 7. Is y even?
True
Suppose 0 = -f - 2*f + 606. Let g = f + -78. Is g a multiple of 23?
False
Does 61 divide (-51)/85 - -1228*(-34)/(-20)?
False
Is 2 a factor of 79 - ((-31)/(-124) + 46/8)?
False
Suppose -8*k = 15*k - 1242. Is k a multiple of 14?
False
Suppose -1608 - 1135 = -13*i. Let q = i - -93. Is q a multiple of 50?
False
Suppose 3*o + 2*r = 63 + 379, -r - 154 = -o. Is o a multiple of 83?
False
Suppose -5*q - 20135 = -5*w, -4*w - 2*q + 12106 = -w. Is w a multiple of 12?
True
Let u(n) = -n**3 - 8*n**2 - n - 6. Let o be u(-8). Does 8 divide (48 - 2) + (0 - 0) + o?
True
Let o(s) = -s**3 - 11*s**2 + 14*s - 8. Let g be o(-12). Let x = g + 45. Is 12 a factor of x?
False
Let s = -71 - -47. Let o = 21 + 5. Is 4/(-1 - o/s) a multiple of 8?
True
Let j(w) = 3*w**2 - 1. Let y(c) = c**2 + 16*c + 16. Let f be y(-15). Let v be j(f). Suppose -5*t + 63 = -v*t. Is t a multiple of 14?
False
Let d = 112 + -57. Suppose d + 5 = 4*c - 4*w, 2*w = -c + 12. Is 7 a factor of c?
True
Suppose 6*p - 410 = -398. Let d be 1/3 - 1/3. Is 17 a factor of (-51)/(-3) - d/p?
True
Let c(f) be the third derivative of -5*f**4/6 - 11*f**3/3 - 45*f**2. Is 41 a factor of c(-10)?
False
Let n = -10 + 13. Suppose n*l + l = 168. Suppose 5*u + 4*j - 48 = l, -2*u + 4*j = -8. Does 4 divide u?
False
Suppose 16 = 11*q - 9*q. Let s(m) = -2*m + 4. Let u be s(5). Let z = u + q. Is z even?
True
Suppose -1623 = 5*f - 8*f. Let z = -381 + f. Suppose h - z = -4*h. Is 16 a factor of h?
True
Suppose 4*k = x + 397, -3*x + 294 = 3*k - 0*k. Does 11 divide k?
True
Let g = -3821 - -6252. Is g a multiple of 13?
True
Let v be 6/(-2) - (0 - -1020)/(-5). Let i = v + -141. Is i a multiple of 30?
True
Suppose 5*g - b - 21 = 315, -4*b = 2*g - 130. Let h = g - 34. Does 15 divide h?
False
Does 86 divide -1*(-6)/42 - (-97854)/42?
False
Let m(b) = -10*b**2 - 13 - 2*b + 0*b + b**3 + 4*b. Is m(10) a multiple of 5?
False
Let q = -535 - -769. Does 39 divide q?
True
Let d = -300 - -367. Is d a multiple of 11?
False
Suppose -6*o + 357 = -2*o - h, -o = 2*h - 87. Suppose -23 = -b - 2*n, 4*b + n + 4*n = o. Does 6 divide b?
False
Let a(p) be the second derivative of -p**5/20 + 11*p**4/12 - 2*p**3 + 5*p**2 - 4*p. Let m be a(10). Is (m/(-8))/(1/4) even?
False
Let d(c) = -44*c**2 - 3*c - 6. Let j be d(9). Is j/(-55) - (-4)/(-10) a multiple of 17?
False
Let h = -2703 + 2989. Is 26 a factor of h?
True
Let u be (1 + 1)/(5/(-8190)*-7). Suppose -167*b = -164*b - u. Is 13 a factor of b?
True
Suppose 2*o = 5*o - 30. Let k be o/(-65) + (-67)/(-13). Suppose -k = -2*l + 25. Is l a multiple of 15?
True
Let t(y) = 28*y. Let k be t(-5). Let a = k - -204. Is 13 a factor of a?
False
Suppose t - 4 = s, 1 = t - 3*s + 5. Suppose -t*x = 10 - 42. Is 4 a factor of x?
True
Let r(h) = -h**3 + 25*h**2 + 35*h + 32. Does 7 divide r(26)?
True
Let f be (-46)/(-4)*(2 - -6). Suppose i = -3*n + f, 0*n - 5*n = -i + 76. Suppose -5*l + 14 = -i. Is 10 a factor of l?
True
Let o = 11 + 12. Suppose -59 = -2*y - o. Is 6 a factor of y?
True
Suppose 198 = 4*w + 2*q - 148, 9 = 3*q. Does 17 divide w?
True
Suppose 0 = -4*b + 649 + 703. Is b a multiple of 37?
False
Suppose 7070 = 7*h + 3*h. Suppose 10*v - 143 - h = 0. Is v a multiple of 18?
False
Suppose 11*c + 3*c - 42 = 0. Suppose 3*g - 146 = -2*f + 28, 0 = -c*f - 2*g + 266. Does 18 divide f?
True
Let r(a) = 2*a - 5. Let j be r(5). Suppose 4*h + 46 + 6 = -j*l, 3*h = 4*l + 23. Let u = l - -26. Is 18 a factor of u?
True
Let u(f) = 19*f**3 - 2*f**2 + f. Let g be u(1). Let n = -25 - -51. Suppose g + n = i. Is i a multiple of 22?
True
Let p(d) = 24*d - 21. Let n(m) = -24*m + 20. Let t(q) = -7*n(q) - 6*p(q). Is t(5) a multiple of 8?
False
Let m(d) = d**3 + 14*d**2 + 4*d - 39. Is m(-11) a multiple of 40?
True
Let g(b) = 2*b**2 - 22*b - 2. Is g(19) a multiple of 54?
False
Let k = -2401 + 4610. Does 47 divide k?
True
Is ((-6792)/60)/(4/(-10)) + -1 a multiple of 13?
False
Let p be 0 - 1/((-2)/4). Let l(i) = -3*i**3 + 3*i**2 + 8*i - 2. Let n(z) = -z**3 + z**2 + z + 1. Let s(t) = p*n(t) - l(t). Is 28 a factor of s(4)?
True
Suppose 0 = -4*w - 6 - 62. Let r be ((-3)/5)/(w/85). Suppose 0 = -r*g + 55 + 62. Is 13 a factor of g?
True
Suppose -7*y + 9*y = 26. Suppose -y*b + 18 = -11*b. Is b a multiple of 2?
False
Let g(l) = -2*l**3 + 35*l**2 - 10*l - 2. Let k = 92 - 75. Does 46 divide g(k)?
False
Let r(x) = 14*x**2 - 21*x + 7. Does 19 divide r(6)?
False
Suppose 0 = 29*f - 5903 - 10047. Is f a multiple of 11?
True
Suppose -35 = 2*u - 101. Suppose 4*i = 99 + u. Is 10 a factor of i + 1*6/(-3)?
False
Let r be 8/12 + (-2)/3. Suppose 5*f + 240 = -r*f. Let m = f - -94. Is 12 a factor of m?
False
Suppose 3*b = 10 + 11. Suppose -20 = -b*a + 2*a. Suppose -3*f + 2*f + a*y = -44, 0 = -f - 2*y + 44. Is f a multiple of 22?
True
Suppose -4*l = 3 + 21. Let d = 10 + l. Suppose a - 55 = -d*a. Is a a multiple of 11?
True
Does 19 divide 5*1/15 + 1196/3?
Tru