ich is bigger: a or -6?
a
Let a(q) = -q**2 + q + 2. Let t be a(2). Suppose t = -4*l - 1 - 3. Which is greater: -1/14 or l?
-1/14
Let h = -15.79 - -18.79. Is h <= 3/158?
False
Let b = 910 - 913. Is b smaller than -55/14?
False
Let x be -1*2 + (8 - (-27)/(-9)). Is -0.077 at most x?
True
Let g be (-1 + -2 + 3)/(-1). Suppose g + 6 = 2*c. Suppose -2*y + y - 5*j = -12, y - 4 = -j. Which is greater: y or c?
c
Let k = -5 - -4. Let n be (6/3)/(1*k). Let i be (2 + n)/((-5)/5). Which is greater: -3/11 or i?
i
Suppose 0 = 2*v + p - 8, v + 0*v - 4 = 4*p. Suppose 0 = 2*j + j + v*i + 13, 3*j - 15 = 3*i. Let t = 44 + -619/14. Is j > t?
True
Let j(l) = l**2 + 15*l + 13. Let h be j(-11). Let o = h + 19. Let p be (-2)/o + (-2)/(-15). Which is bigger: -1 or p?
p
Let g be (-2387)/35 - 8/10. Let f be 161/g*64/(-14). Which is smaller: 12 or f?
f
Suppose 2*a + 3*s + 76 = 0, 2*a - 78 = 4*a + 2*s. Let k = a + 209/5. Which is smaller: k or 0?
0
Let i(s) = s**3 - s**2 - 4*s + 2. Let t be i(2). Which is bigger: t or -25/17?
-25/17
Let s = 138 - 140. Is s < -53/17?
False
Let m = -12 - -13. Suppose 3*g + 4*r = -110, 3*r + m = 4*g + 106. Is g greater than or equal to -30?
True
Let a(q) = 9*q**2 - 10*q + 2. Let u(l) = -l**3 + l**2. Let w(s) = -a(s) + u(s). Let x be w(-9). Let d be 15*2*2/(-6). Is d greater than x?
True
Suppose -2*g + 4 = 5*d - 9, 4*d - 8 = -g. Let h be ((-18)/75)/(g/(-40)). Let b(y) = -y - 3. Let u be b(-6). Which is bigger: h or u?
u
Suppose 3*f = 2*t + 8*f + 4, -2 = f. Suppose 0 = 6*p - t*p + 3. Which is greater: p or -2?
p
Let x = -16 - 11. Let j = -46 - x. Let q = 18 + j. Which is smaller: -0.04 or q?
q
Let m = 399.08035 + 0.80965. Let w = -404 + m. Let a = w + 0.11. Which is greater: -2/7 or a?
-2/7
Let f(r) = 26*r**2 + r + 3. Let w be f(1). Is w equal to 29?
False
Let v = 43 + -29. Let z be (2 - 37/v)*-2. Let w be 0/((-2)/(-2 - 0)). Which is smaller: w or z?
w
Let t be (-6)/14 - 31/(-7). Let y = t - 7. Let i be (1/(6/9))/y. Is i equal to 0?
False
Let g be (-5)/3 + 1 + (-31)/93. Let x = 0 - 2. Is g bigger than x?
True
Let r = 1450 + -1932. Which is smaller: r or -480?
r
Suppose -2821 = -23*l - 8617. Which is smaller: l or -253?
-253
Suppose 0 = -5*i - 0*i + 20. Suppose -5*u - 110 = 5*c, 3*u + c + i*c + 58 = 0. Let q = u - -25. Is -1/4 <= q?
False
Let g be ((-27)/(-6) - 4)*0. Is -1/28 smaller than g?
True
Let x = -5741/1651 + 45/13. Is -1 < x?
True
Suppose -37 = 2*n - 5. Let x be n/(-32)*(-4)/27. Suppose -v - 2*p + 5 + 5 = 0, -v - p + 5 = 0. Which is smaller: x or v?
x
Let q = 1433/12 + -603/4. Let r = q - -31. Let d = 118/87 + -20/29. Which is smaller: r or d?
r
Suppose -12*d - 2904 = -56*d. Which is smaller: 0.4 or d?
0.4
Suppose 5*q - 9*q = -176. Let o be ((-2)/(-7))/(q/28). Let u = -63 + 251/4. Which is greater: o or u?
o
Let o = 1894 + -1901. Is -14 <= o?
True
Let q(f) = -6 + 8 + 11 - 2*f + 10. Let l be q(10). Suppose 0 = c + 3 + l. Is -7 not equal to c?
True
Let i = 2.05 - 0.46. Let k = i - 1.6. Let n = k + 0.21. Are n and 3 equal?
False
Let v(j) = 2*j**2 - 10*j + 1. Let w be v(7). Let t = w + -37. Is t > -0.3?
False
Let v = -3454/1825 - -48/25. Let t = -4 - -3. Which is smaller: v or t?
t
Suppose -56 = -w - 3*w. Suppose 2*l + 66 = -4*t, -4*t + 0*l - 69 = 5*l. Let m be t/(-32)*(-6 + -2)*-4. Do m and w have the same value?
False
Suppose 0*j = 4*f + 3*j, 5*f = 5*j + 35. Let g be (0 + -2)/(14/(-35)). Suppose f*m - 2*m = u - g, m + 1 = -u. Is m bigger than -3?
False
Let y(x) = x**3 - 11*x**2 + 11*x + 2. Let t be y(10). Let m(s) = -s**3 + 8*s**2 + 24*s - 16. Let g be m(10). Let z be (8/g)/(2/t). Is 4 less than or equal to z?
False
Let n = -0.59 + 0.7. Let r = -0.22 + 0.33. Let v = r - n. Which is greater: v or -2?
v
Let g = 6/311 - -1190/2799. Does -37/4 = g?
False
Let o = 179 + -180. Which is smaller: 2/1401 or o?
o
Suppose -44 = -2*p + 137*s - 142*s, -23 = -p - 3*s. Is 23 greater than p?
True
Let g = 20 - 3. Let x = 18 - g. Let p be (x + 1 + -9)/8. Which is smaller: p or -2?
-2
Let j(y) = -y**2 - 7*y + 10. Let f be j(-8). Let d(p) = -7*p - 1. Let k be d(-1). Suppose k = -u - f*u. Which is bigger: u or -3?
u
Suppose -33*u - 546 = -31*u. Is u < -271?
True
Let a = 118.023 - 0.023. Are a and -2/3 equal?
False
Let n = -382 - -383. Is n at least 40/19?
False
Let t = -236/5 + 2604/55. Are t and 0 nonequal?
True
Suppose 0 = q - 2*a + 36, -4*q + 3*a = q + 187. Is q equal to -40?
False
Let y = 3868 - 3872. Suppose -t + 6*t = 30. Let j = t + -11. Which is smaller: y or j?
j
Suppose 6*f + 411 = 1473. Is f at most 177?
True
Let f(c) = c**2 - 9*c + 2. Let d be f(8). Let z be (1 + -2)/(d - -5). Is -46 at most as big as z?
True
Suppose -4*d + 4*u = 40, 5*u - 40 = 4*d - 0*u. Let x = d - -7. Let s be (-1*4 - x) + 11. Which is smaller: 11 or s?
s
Let m(z) = -5*z**2 - 5*z + 15. Let d(t) = -4*t**2 - 6*t + 14. Let o(w) = 6*d(w) - 5*m(w). Let y be o(6). Is -20 bigger than y?
True
Let i(b) = b**3 - 16*b**2 + b - 16. Let d be i(16). Suppose 3*t - 4*u - 42 + 174 = d, -88 = 2*t - 4*u. Is -43 smaller than t?
False
Suppose 2*z + 188 = 4*b, 5*b = -3*z + 6*z + 277. Let u be 348/z + (-8)/(-2). Is -6 smaller than u?
True
Let x = -419 - -432. Which is smaller: x or 11?
11
Suppose -15*m - 1190 = -32*m. Are m and 75 non-equal?
True
Suppose -2*f = -q + 2, 0 = -4*f + 3*q - 7*q + 8. Let r = -27 + 27.02. Is f > r?
False
Suppose 11*o = -9*o + 2*o. Is o <= 2/1329?
True
Let o(r) = 55*r - 6. Let g be (-32)/6 - (-8)/24. Let v be o(g). Let b = 3093/11 + v. Which is smaller: -1 or b?
-1
Let x = -7.39 + 1.39. Let z = x + 4. Is 0.52 greater than z?
True
Let a = -588 + 583.02. Let b = -39 - -34. Let o = b - a. Which is greater: o or 0?
0
Let f(n) = 3*n + 17. Let x be f(-30). Are x and -64 non-equal?
True
Let f(y) = -2*y**2 + 24*y - 8. Let r be f(10). Suppose -10*n + r = -2*n. Is -2 smaller than n?
True
Let o = 0 + 7. Let l(n) = -n**2 - 7*n + 15. Let s be l(-12). Let q = -39 - s. Which is greater: q or o?
o
Let s be 24/3 + -2 + -2. Suppose 0 = 2*d + 10, s*b + 121 = -d + 12. Let t = -35 - b. Is -9 at least as big as t?
True
Let c be (-72)/(-7) + (-5)/((-40)/(-24)). Is c not equal to 8?
True
Suppose -489 = -3*u - 2*d, 12*d - 815 = -5*u + 7*d. Which is greater: u or 2/9?
u
Let h(p) = -p**3 - 6*p**2 + 7. Let k be h(-6). Let n be 14/k - 0/(-1). Suppose n = 2*l + 4*o, -22 = 2*l - 2*o - 2*o. Are l and -2 unequal?
True
Let c = 2.47 - -0.53. Which is greater: 2/169 or c?
c
Let m(x) = x + 4. Let a be m(-2). Let g(n) = n**3 - 3*n**2 + 3*n - 3. Let z be g(a). Is z not equal to 4/11?
True
Suppose l = 5*g + 12, l + 2*g = -l. Let n be (-4)/42*(-2 - -122)/(-8). Which is bigger: l or n?
l
Suppose -p - 5*t = 12, 4*t = -4*p - 2 - 14. Let l be (-5 - 17)/((-4)/12*-6). Let f = l - p. Which is bigger: f or -8?
-8
Suppose 2*p - 4*p + 4 = 0, -3*o + 86 = -5*p. Which is smaller: 38 or o?
o
Let r(z) = 4*z**3 + 3*z**2 - 2*z. Let x be r(1). Suppose 0 = 2*g - x*d + 11, -4*g + 0*d - 7 = -5*d. Let s be (-2)/(-3)*(-1 - -4). Is g not equal to s?
False
Let q(b) = -14*b**2 + b. Let d be q(1). Let m = 3429 + -3441. Are m and d equal?
False
Let v be (6/(-4))/(2/52). Let q = -17 + v. Let c = -445/8 - q. Which is bigger: 1 or c?
1
Let m = 28 + 31. Let c = m - 59. Is c equal to 3/19?
False
Let x = -2.1 + 1.1. Is x not equal to -4?
True
Let b(s) = 2*s**2 - 6*s - 5. Let k be b(5). Suppose c + 2*c = -k. Suppose 0 = -2*g - 0*g + 5*i - 32, -5*g - 42 = -3*i. Which is smaller: g or c?
g
Let i(b) = -b**3 - 6*b**2 - b + 3. Let q be i(-6). Suppose 4*j + q = -11. Let p be 2 + 3/(9/j). Which is smaller: 15 or p?
p
Let t be 0 - 4/(4/15). Let y be (-585)/(-225) - (-3)/(t/(-2)). Is y at least as big as 5?
False
Let h be (2 - (-224)/(-22)) + 4/22. Let g be ((-6)/2)/(-2*102/h). Which is bigger: g or 1?
1
Suppose -3*a + 4*z = -25, 15*a - 16*a = 2*z + 5. Suppose -3*n + 5 = -28. Let b = n - 8. Is a at least as big as b?
True
Let w = -336.89 - -337. Which is smaller: -1/2 or w?
-1/2
Let b(l) = -7*l**2 - 55*l + 7. Let y be b(-8). Which is smaller: -2 or y?
-2
Let j(u) = -26*u - 391. Let o be j(-25). Is 256 bigger than o?
False
Suppose 0 = 5*o + 12 + 83. Let g(b) = -9*b - 3. Let r be g(-2). Suppose 5*q = -d - r, d - 2*d + 2*q = 22. Does d = o?
False
Let g = 18.8 + -42.2. Let m = 0.6 - g. Let t = -21 + m. Is t at most as big as -1?
False
Suppose 4*c = 5*s + 13, 