5 + -56. Let r = -4.04 - -4. Let i = r + -1.96. Is i greater than f?
False
Let f = -106 - -105.2. Let j be 10/(-20)*(-1 + -1). Which is bigger: f or j?
j
Let y be -1 + (4/(-1) - 36). Is -41 < y?
False
Let c be 3/(-7)*-1*-1. Suppose -134*b + 56*b = -68*b. Are c and b nonequal?
True
Let t = -790 - -767. Let d = -25 - -50. Let y = t + d. Which is bigger: y or 10?
10
Suppose -41*q + 40*q = 13. Let v = -4858/15 + 932/3. Which is greater: q or v?
q
Let y be (-164)/(-100) - (3 - 1). Let f(p) = p**3 - 7*p**2 - 1. Let j be f(7). Is y greater than j?
True
Let o be (-2)/(-4)*(4 - 2). Suppose x + 0*x = 0. Suppose i + 3*z + 9 = -x*i, 4*i = -2*z - 6. Are o and i non-equal?
True
Let v(k) = k**3 - 20*k**2 + 67*k + 14. Let d be v(5). Let b(s) = -s - 26. Let g be b(0). Are g and d unequal?
False
Let i = 351.4 + -327.97. Let a = -0.57 - i. Is 2 not equal to a?
True
Let t(q) = -2*q**3 + 4*q**2 - 2*q. Let d be t(3). Let o = -16 - d. Is 2 at most o?
True
Let t = -87 - -90.3. Let y = t + -3.4. Let i = -9/7 + 29/28. Which is smaller: y or i?
i
Suppose -11 - 213 = 8*j. Let i be (-2)/j*(-2)/(-1). Suppose 0 = -4*n - 2*q + 4*q - 8, 20 = 5*q. Is n bigger than i?
False
Let y(q) = q**3 + 4*q**2 - 2*q - 4. Let p be y(-6). Suppose 8*o + 296 + 208 = 0. Is o at most as big as p?
False
Let s = 24 - 13. Suppose -u + 0*g + 17 = -5*g, 0 = 2*u + 5*g + s. Suppose 0*h + u = -h. Is -2 smaller than h?
False
Let a = 130 - 151. Which is smaller: 1.3 or a?
a
Let w = -7 - -4. Let s be 2/w - 10/(-42). Let h be ((-30)/(-36))/(45/12). Does s = h?
False
Let q(u) = -3*u - 3. Let y be q(-7). Suppose 4*f + 5*f = 9. Is y < f?
False
Let a = -71 + 75. Let t be (4 - a)/(2/(3 - 5)). Which is smaller: t or 3/59?
t
Let a(s) = s**2 + 17*s - 75. Let i be a(-20). Is -13 > i?
True
Let z = 18 - 13. Let q(i) = i**3 - 6*i**2 + 3*i + 1. Let n be q(z). Let y be 3*(-3)/n*0. Which is smaller: 2/5 or y?
y
Let a be (-1)/(-3) - 12440/15. Let o = 20722/25 + a. Is -1 smaller than o?
True
Suppose 2*n = 4*y - 174, 216 = 140*y - 135*y - 2*n. Does -0.1 = y?
False
Let b = 599.93 + -600. Is b less than 15?
True
Suppose -6*h = 9*h + 90. Let g be ((-4)/h)/(14/(-441)). Do g and -18 have different values?
True
Let u(g) be the third derivative of g**5/60 + 7*g**4/6 + g**3/3 + 3*g**2. Let a be u(-28). Is 6 less than a?
False
Let d = 163 - 198. Is d bigger than -38?
True
Suppose -4*n + 3*l - 4*l + 1133 = 0, 278 = n + 2*l. Suppose 3*o + o - n = 0. Let p = o + -211/3. Which is smaller: p or 0?
0
Let o(b) = 4*b**3 + b**2 + b + 1. Suppose -2*w - 20 = -7*w. Suppose -5*f - v - w = 0, 2*f + 0*v - 5*v = -7. Let c be o(f). Which is bigger: 0 or c?
0
Let h(t) = -3*t + 3. Let g be h(1). Is g bigger than 2/4247?
False
Let j = 296.5 - 297. Do j and 1/15 have different values?
True
Suppose -9*c = -7*c - 5*y - 20, -3*c - 2*y - 8 = 0. Let s be (0 - 1)/((-9)/2). Which is smaller: s or c?
c
Suppose 0 = x + 2 - 13. Let a be (136/(-170))/((-2)/(-5)) - -11. Which is smaller: a or x?
a
Suppose 7*g - 3*g + 48 = 0. Let c be (141/14 - 9)*42/(-4). Is c at least g?
True
Let z be 0/((-12)/3) - 123 - -1. Let g = z + 121. Is -1/122 greater than g?
True
Let b = -847 + 854. Is -4/9 smaller than b?
True
Let f = 1.69 - 68.69. Let h = f + 66.9. Which is smaller: -2/101 or h?
h
Suppose 38 = 2*z + 2*b, -2*z - 5*b + 28 = -10. Suppose 4*c + 21 + z = 0. Let x be (7/(-14))/(1/22). Are x and c nonequal?
True
Suppose 2*n - 2*b = b + 3, 9 = -n + 5*b. Suppose -2*k - 5*x = 6, -4*k - n*x + 2 = -3*x. Suppose -f - 1 = -k. Which is smaller: f or 3/7?
3/7
Let n be 1 - (-4)/(-6)*3. Let d = 783 - 826. Which is smaller: d or n?
d
Suppose 2*v + 5*i = -135, 6*i - 5*i - 1 = 0. Which is smaller: -65 or v?
v
Suppose 21 = 6*q - q + 2*o, q = o. Suppose 5*x + q = 2*x. Let a be x/(-3) - 16/24. Which is smaller: -2 or a?
-2
Let w(a) = a**3 - 7*a**2 + 2*a - 10. Let y be w(7). Suppose f + y*f - 13 = -2*h, -f = 2*h - 9. Let r be (21/4)/(30/4). Is r smaller than f?
True
Suppose -4*k + 3*h + 145 = 0, 2*h + 107 = 3*k - 2*h. Which is bigger: k or 41?
41
Let k = -0.1 + 0.5. Let d = k - 4.4. Let g = d + 3.92. Which is greater: 0 or g?
0
Suppose 5*o + 13 = -12. Let v = 149 + -93. Let m = v - 61. Is o < m?
False
Suppose -139 = -f + 4*w, -f + 3*w + 278 = f. Suppose 6*n - 13 = -f. Do -21 and n have the same value?
True
Let g = -1/389 + 394/1945. Which is greater: -21/5 or g?
g
Suppose 2*k - 1 = x, x + k = 2*x + 2. Let y be (-2)/(-16)*-3 + 6/(-4). Which is smaller: x or y?
x
Let j be 34/(-4) + -8 + 18. Is j at most as big as -7/23?
False
Let v be ((-2)/5 - (-63)/45)*-153. Which is smaller: v or -154?
-154
Let u(x) = -5*x**3 + 2*x**2 - 6*x - 4. Let n be u(-2). Let b = 45 - n. Which is smaller: b or -14?
-14
Let c(f) = -4*f**3 + f**2 - 2. Let v be c(-2). Suppose -37*d + 247 + 752 = 0. Let w = d - v. Is -7 not equal to w?
False
Let d = 18 - 30. Let x = d + 14. Let w(m) = 5*m - 2. Let v be w(x). Is v smaller than 9?
True
Suppose l = 5*k - 236, 4*k - 2*l = -6*l + 208. Suppose 2*o + k = -2*o. Is o < -9?
True
Let o = 8 - 141. Let f = o - -169.6. Let s = 34 - f. Which is greater: s or -0.1?
-0.1
Let a(x) = -x**3 + 10*x**2 + 5*x - 52. Let m be a(10). Is m != -0.595?
True
Let c be ((-6)/(-117))/((-2)/(-12)). Suppose -3*a = 9*a - 36. Suppose 0 = -4*v - 2*i + 4*i, -4*v + a*i = 0. Is v smaller than c?
True
Let z = 20 + 4. Let x be ((2/(-3))/2)/((-1366)/94254). Which is smaller: x or z?
x
Suppose -4*p - 132 = -4*y, -6*y + y + 2*p = -177. Let x = y + -21. Let d be 17*(1 + -1 + 1). Which is greater: d or x?
d
Let g = -1555/456 + 27/8. Let h = 11635 - 11635. Is g > h?
False
Suppose -36 = -10*y + 5*y - m, -5*m = 20. Let v = 0.24 - -4.76. Is v at least y?
False
Let b be -3 + 6 + (1 - 1). Suppose -5*g = -b*g. Suppose -3 = -d - g*d. Is d not equal to 3?
False
Suppose w = 4*w + 210. Let v = w - -69. Which is smaller: v or 2/25?
v
Let q = -619.3 - -619. Is q > 114?
False
Let b = 173/8 - 57/8. Let y be (1 - -2)*1*5. Let t = y - b. Is 1 > t?
True
Let j(u) = 4*u**2 - u - 1. Let a be j(2). Suppose -h + 4*n = a, 0*h - n + 1 = 2*h. Let l = 12 - 12. Which is smaller: h or l?
h
Let q be (-20464)/(-280) - (-6)/(-21). Are 72 and q equal?
False
Let k(a) = -31*a + 155. Let j be k(5). Which is smaller: -3/316 or j?
-3/316
Let f be 65/26 + 3/(-2) + -61. Is f greater than -293/5?
False
Suppose 16*i + 8*i = -72. Let d = -38.94 - -38. Let b = -0.06 + d. Is i < b?
True
Let z = -1944 + 159405/82. Which is greater: -1 or z?
z
Let a(v) = v**2 + 20*v - 103. Let q be a(4). Which is smaller: q or -8?
-8
Suppose -56 + 161 = 5*y. Suppose 5 = 4*g + y. Is g < -19/5?
True
Let p = 334 + -233. Do 100 and p have different values?
True
Let q = 177.8 + -90. Let k = q - 88. Which is bigger: k or 0.2?
0.2
Let r = 3.51 + -0.61. Let n = r + -3.3. Is n greater than or equal to -2?
True
Let i = 281/594 - 14/27. Which is greater: i or 0?
0
Let t = -37 - -34. Is t smaller than 140?
True
Let w be (130/(-15) - -8)/(4/(-114)). Do 19 and w have different values?
False
Let s(d) = -d**3 - 52*d**2 - 191*d + 48. Let u be s(-48). Is u at least as big as 1/635?
False
Let a be 2 + (-10)/4 - 82/(-4). Suppose -a*w - 12 = -18*w. Do w and -9 have the same value?
False
Let f(v) = -8*v + 82. Let q be f(11). Which is smaller: -3 or q?
q
Let h = 671/10 - 67. Let l = 11 + -1. Let y = l + -11. Which is smaller: h or y?
y
Suppose -l = 4*l + 2*u - 4, 4*l + 3*u = 6. Let w be 2/(-2) - 678/(-1056). Let v = -5/16 - w. Which is greater: l or v?
v
Let m = -614 + 618. Which is greater: m or -10/29?
m
Let p(a) = a**3 - 14*a**2 + 47*a - 4. Let i be p(8). Are -12 and i equal?
True
Let p be 3 - (-98)/(-6) - (-6)/18. Which is smaller: p or -14?
-14
Let d be -1 + 0/(-5 - -1). Which is bigger: d or 4/53?
4/53
Let b = 55/6 - 29/3. Suppose p + 3 = -0*p. Let j be 0*(30/9 + p). Are j and b non-equal?
True
Let t be ((-2)/2)/((-1)/2). Suppose -2 = q, 5*l + q + 0*q + 72 = 0. Let w be (-88)/(-70) - l/(-35). Which is greater: w or t?
t
Suppose -405*l - 621 = -402*l. Is l smaller than -203?
True
Let m be (-16)/(-6) + (-8)/12. Suppose 0 = 3*t - q - 65, q - m*q - 45 = -2*t. Let v be (-3)/45 + 8/t. Which is smaller: v or -0.1?
-0.1
Let q = -907 - -908. Which is smaller: q or 2/199?
2/199
Suppose 12 = -343*o + 346*o. Is o > 34?
False
Suppose -4*m + 55 + 21 = 0. Let x be ((-1)/1)/((-1)/m). Suppose -2*n = -3 - x. Is n a