t b = -74.169 + 0.169. Let f = b - -72.64. Let c = f + 0.36. Is c at least -10/9?
True
Let l be 2/((-356)/742) + -88 + 92. Which is smaller: l or -1?
-1
Suppose 4*i = -y - y + 198, 2 = 2*y. Which is smaller: i or 55?
i
Let m(w) = w**3 + 7*w**2 - 5*w - 18. Let b be m(4). Is 1 < b?
True
Let h be (-1)/((-305)/65 + (1 - -4)). Are -3 and h equal?
False
Let k(g) = g**2 - 4*g + 2. Let t be k(4). Suppose -j - w - 3*w = 26, -10 = t*w. Let m be 94/(-18) + (-8)/(-36). Which is greater: j or m?
m
Let c(h) = 4*h - 6. Let l(p) = 5*p - 6. Let f(m) = 7*c(m) - 6*l(m). Let s be f(-7). Suppose -s = 4*v, -2*v = -5*a + a + 20. Is a greater than 13/4?
True
Let v = 37093/5 - 7295. Let j = v - 124. Let u be ((-130)/(-195))/(1/3) + -1*3. Which is bigger: u or j?
j
Let i be 4/18 - 860/144. Let s = i + 123/20. Suppose f = m - 2, m + 4*m - 5 = 0. Is s <= f?
False
Let f be 1*(3 - 0)*(1 - 4). Let g(c) = -7*c**2 - 2*c - 1. Let y be g(-1). Which is smaller: y or f?
f
Let s(c) = 264*c + 4. Let n be s(1). Let d be n/(-6) - (-8)/(-24). Do -45 and d have different values?
False
Let u = 14 - -2. Let j be ((-8)/u)/((-4)/(-9)). Which is smaller: 0 or j?
j
Let d = -384.96 - -377. Let p = 5 + -5.04. Let i = p + d. Which is greater: i or -2?
-2
Let l = -117 - 89. Is l equal to -207?
False
Suppose -4*p = -p - 3*n - 9, -24 = 2*p + 4*n. Let x be (-1)/(4 + -3 + p). Suppose -2 = l - a, a - 2*a + 3 = 0. Do l and x have the same value?
True
Let c be (5632/384)/(7/(-18)). Is -39 at least c?
False
Let y = -1137643/12 - -95019. Let h = y - 634/3. Let k = h - 23/4. Is k equal to -2?
False
Suppose 6 = -53*f + 6. Are f and -42/145 unequal?
True
Let o = -115/6 - -637/33. Let l = 34 - 34. Which is smaller: l or o?
l
Suppose -m = 1, 0*m - 3*m - 28 = -5*d. Let r(k) = -8*k**2 + 5*k**3 - d - 7*k**3 + k**3. Let j be r(-8). Which is smaller: -6 or j?
-6
Let y = 45 + -27. Let d be ((-4)/6)/(4/y). Let h = -45/14 - d. Is h <= 1/5?
True
Let q = 18/385 - -4371/385. Do 12 and q have the same value?
False
Let u(m) = -4*m**2 + m**3 + 5*m**2 - 6 + 5*m**2. Let x be u(-5). Suppose 5*l + 2*s + 53 = -2*s, 0 = 3*l - 4*s + x. Which is smaller: l or -8?
l
Suppose -13*c - 398 = 44. Let x(p) = 5*p. Let r be x(-6). Let v = r - c. Is 5 at least as big as v?
True
Let n = 2.2 - 2. Which is smaller: -1.8 or n?
-1.8
Suppose 350 = -7*d + 12*d. Is d > 69?
True
Let i = -5.1 - 0. Let f = i - -0.3. Do f and 2 have the same value?
False
Let d = 5 - 20. Let v be (-3)/(-4)*(-3 - 496/(-144)). Is v less than d?
False
Suppose 4*z = a + 13, z + 9 = -3*a + 22. Suppose 5*t = z*t. Suppose -4*i - 2*l = t, 4 = -3*i - 5*l - 3. Which is smaller: i or -1/10?
-1/10
Let h(b) = -4*b + 3. Let q be h(0). Suppose 3*d = -0*d + q, 3*r - 5*d + 11 = 0. Let f be (-1 + (-2)/(-4))*2. Is r greater than f?
False
Let v = 56 + -1. Let u = -55.2 + v. Is -21 > u?
False
Let m = -189.1 - -15.1. Let w = -169 - m. Is w <= 5/2?
False
Let v be (-159747)/(-189) - (-8)/(-36). Is v < 846?
True
Let b = 2 - -2. Suppose 19*r + 3*p = 23*r - 1, 36 = 4*r + 4*p. Is b less than r?
False
Suppose 4 = -k + 8. Suppose 2*j + 0*j = k. Let s be 30/(-70) + 10/7. Which is smaller: j or s?
s
Suppose -2 = -4*l + 6, -2*h = l + 314. Let f be (8/h)/(((-12)/(-9))/2). Is 0 < f?
False
Suppose n = -5*q - 20, 2*n + 69 = -q + 11. Which is smaller: n or -33?
-33
Let y(l) = 7*l + 0*l**2 + 4*l**2 - l**3 - 5*l - 5. Let h be y(4). Suppose 5*u = 4 - 14. Which is bigger: u or h?
h
Let a(u) = u**2 + 4*u - 14. Let i be a(-6). Let t be -1 - (-3 + i - -2). Suppose o + t = 1. Do o and -10/9 have the same value?
False
Let r be ((-3)/(-58))/((-3)/(-4)). Suppose -42*c + 17*c = -14*c. Which is smaller: c or r?
c
Let o(q) = -9*q**2 + 709*q + 166. Let d be o(79). Suppose 0 = 5*u + 25, 0 = 2*t + t - 3*u - 27. Which is smaller: t or d?
t
Let n be -753 + (-13 + 4 - -4). Is -759 at most n?
True
Let q(c) = 0*c - c + 0*c - c**2 - c**3 - 198 + 199. Let d = -1 + 1. Let z be q(d). Which is smaller: 2 or z?
z
Suppose 0 = 9*i - 4*i - 10. Let y(s) = s**2 - 2. Let u be y(i). Suppose 10 = 7*n + 3. Is u greater than n?
True
Let x = 12 + -14. Let z = 0.5 - 6.52. Let i = z - -0.02. Which is bigger: i or x?
x
Let i be (27/6 - 4)*14. Suppose 45 = i*w - 25. Is w less than or equal to 10?
True
Let i = 5.24 - 4.94. Is i >= -10/11?
True
Let x = 180/2599 + 2/113. Suppose 2*a = 2*p + 10, 0 = 5*p + 3*a - 6*a + 17. Is p > x?
False
Let l = 1.13 - -13.07. Let b = l - 5.2. Which is bigger: b or 5?
b
Let c = -0.0618 + 1.0618. Is 1.97 at most c?
False
Let r be -1*(0/15)/(-5 + 1). Which is smaller: 14/31 or r?
r
Suppose 24*c - 23*c = -8. Let s(i) = i**2 + 2*i + 3*i + i + 0*i**2 - 15. Let k be s(c). Which is greater: 1/4 or k?
k
Suppose 3*f - 8*f - 280 = 0. Let q be -2*(-49)/42*18/f. Which is smaller: 0 or q?
q
Let v = 3457 + -3490. Let t be 2/3*3 + -34. Is v at least as big as t?
False
Let m = 60625/7427007 - 31775290199020/1611660519. Let s = -630878/31 - m. Let b = -635 - s. Which is greater: 1 or b?
1
Suppose 0 = 3*z - 34 - 8. Let i = z - 11. Suppose -i*a = 2*a - 5*o + 10, -o + 4 = 0. Is a equal to 5/8?
False
Let f(y) = -4*y - 13. Let n be f(7). Let k = n + 43. Let w be (-1)/2 + 2 + -1. Is k smaller than w?
False
Suppose 4*w + 13 = -5*f, -w + 2*f = 4*f + 7. Let n = 58 + -56. Suppose -w*y + n*y = -13. Is 14 < y?
False
Suppose -28 + 28 = 3*l. Is l greater than or equal to -5/194?
True
Let y(r) = -r**2 + 3*r + 4. Let v be y(3). Suppose 7 = 5*b - v*b. Suppose -2*l + t - 33 = -2*t, 0 = 2*l + 5*t - b. Is -11 at most as big as l?
True
Suppose 5*c + 17 = 2*q, 0 = 4*q - c - 1 - 6. Let v be ((-28)/1)/(-7) - 1. Suppose -q = 4*l - v*l. Is -1/32 smaller than l?
False
Suppose 9*f = -140 - 130. Let l be -2*(2/(-10) - 36/f). Which is bigger: -5 or l?
l
Suppose 0 = 3*i + i + 76. Is -119/6 bigger than i?
False
Let m = -657.099 + 657. Which is bigger: m or -2?
m
Let p = 641/2532 - 2/633. Is p at most as big as 382?
True
Let v be 2/(-4) + (-34)/(-84). Suppose 7 = 5*b - o, -10*o + 15*o = -3*b - 7. Which is smaller: v or b?
v
Suppose 3*t = -4*b - 27, 24 = -3*t - 12*b + 7*b. Which is bigger: t or -20?
t
Let b = -26132/154875 + -2/2625. Is -1 != b?
True
Suppose -3*t = -2*i + 54, -2*t - 18 = -t + 2*i. Let f be (-8)/t*18/24. Does f = 0.5?
False
Let f = -58 + -9. Is f smaller than -0.1?
True
Let l = 2.601 - -0.199. Let q = -5/3 + 7/3. Are q and l non-equal?
True
Suppose -5*y - 3*d = -55, y + 2*y + d - 33 = 0. Suppose 4*w = v + y, 5*w - v - 10 = 4*v. Let a = -4 - -4. Does w = a?
False
Let t(a) = 4*a - a - 6*a. Let k be t(-1). Which is greater: 2 or k?
k
Let h(x) = -3*x**2 + 43*x - 50. Let s(d) = -4*d**2 + 64*d - 75. Let u(f) = -7*h(f) + 5*s(f). Let y be u(-17). Which is smaller: -60 or y?
-60
Suppose 5*y = 3*y - 14. Let b be 31/y + (-48)/(-112). Is b less than -3?
True
Suppose 2*v = w + 10, 42*v - 45*v = -w - 16. Do 3 and v have the same value?
False
Let k = 0 - 0. Let x = -6935/11 - -631. Is x > k?
True
Let g be (-5)/2*(114/15 + -8). Let t(i) = -i**3 - 2*i**2 + 2*i. Let o be t(g). Is 6 equal to o?
False
Suppose -2*x + 6*j - 2*j = 34, -4*x - 72 = -4*j. Let w = x + 20. Which is bigger: w or 3/5?
w
Let j(g) = g**3 - g**2 - 4*g - 4. Let k be j(3). Let z(h) = -10*h**3 + 4*h**2 - 3*h. Let f be z(k). Let b be 2 - (-1 - f/22). Is b != -1?
True
Suppose 14*y + 34 = 34. Is y greater than or equal to -3/121?
True
Let w(j) = -j**2 - 9*j + 94. Let t be w(10). Is -97 at most as big as t?
True
Suppose -4*w - b + 2*b = 41, 4*b = 2*w + 38. Suppose 21 = 276*y - 264*y + 105. Which is smaller: w or y?
w
Let c(b) = -28 - 11 - 3 + 8*b - 5. Let v be c(6). Are v and 3/55 nonequal?
True
Let y = -4 - -3. Suppose 0*l + 3*l - 5 = -2*g, -l = 3*g + 3. Suppose l*t + 8 = 14. Is y at least as big as t?
False
Let u(r) = -r**2 - 5*r - 4. Let a be u(-5). Let k = -293 - -291. Is k smaller than a?
False
Let q = 4/564485 + 625448288/154104405. Let d = q - 54/13. Which is bigger: 0 or d?
0
Let t(x) = 5*x**3 - 3*x**2 + 2*x + 2. Let d be t(2). Suppose -d - 94 = -c. Let h be 0 + c/63 - 2. Is 0 >= h?
False
Let x = 0.86 - 556.86. Is x not equal to -0.1?
True
Let x be ((-74)/(-21))/((-104)/(-74)). Let a be 3/(-3 + 2) - (-13136)/4368. Let l = a - x. Which is smaller: -4 or l?
-4
Let z = -14.95 + -9.97. Let m = -25 - z. Which is smaller: m or 0.2?
m
Let f = -0.7 - -1.7. Let k = -11 - -8. Let a = k + -2. Is f at most as 