4. Which is smaller: l or -65/3?
l
Suppose -c + 3 = 4*r - 15, 2*r = -5*c. Let v = 6436 + -6443. Which is greater: c or v?
c
Suppose o + 3*z + 103 - 303 = 0, -4*z - 800 = -4*o. Which is smaller: 201 or o?
o
Let v = -408 + 452.6. Let h = -30.5 + v. Let d = h + -14. Which is smaller: 8 or d?
d
Suppose -8*p + 13*p - 50 = 0. Suppose 0 = -p*i + 7*i - 351. Let g be (-116)/i - (-4)/(-18). Is 2 at most as big as g?
False
Let k = -2 - -2.02. Let f = -47 - -46. Is k >= f?
True
Suppose c - 9 - 56 = 4*a, 2*c = 5*a + 79. Let z(l) = -4*l - 1. Let i be z(4). Is i at least a?
True
Let p = -16/17 + 1. Let k be ((-12)/4 + 3)*(2 + -3). Is k at least as big as p?
False
Let r = 1.2 - 1. Let d = -8.3 - -8. Let z = d - -0.31. Is z greater than r?
False
Let h(i) = -i**2 + 3*i - 2. Let q be h(2). Let y be (-295)/690 - (-23)/138. Which is greater: q or y?
q
Suppose -78 = 5*x + x. Let g be (42/x)/(-3) + -1. Is g at most 0?
False
Let f be (2/32)/((-55)/30)*4. Which is smaller: f or 0?
f
Suppose 30*w - 524 = 736. Do w and 38 have different values?
True
Suppose -56 = 7*w - 28. Is w greater than -27/5?
True
Let h = 56.2 - 58.2. Which is smaller: -0.1 or h?
h
Let y = -1.9 + -3.1. Let f = y + 4.9. Which is smaller: f or 20/9?
f
Let n = 1492 + -4477/3. Is n less than 1/80?
True
Let z = -0.511 - 109.489. Is 0.01 bigger than z?
True
Suppose 0 = -3*a + 2*t - 77 + 27, 0 = 4*a - 3*t + 66. Let o be (-14)/a + (-4)/54*-3. Is 3/5 greater than o?
False
Let d = 27989/12 + -2258. Let g = d - 74. Which is smaller: g or 0?
0
Let x = 233 + -3493/15. Which is greater: x or 2/45?
x
Suppose 4*g = -2*z + 7*z - 42, -z - 4*g - 6 = 0. Suppose -2*v = 4*l - z + 20, -2*v = -5*l - 31. Is 30/7 at most as big as v?
False
Suppose 6*b + 3*w = 8*b + 35, 3*b + 60 = 2*w. Is -165/8 > b?
True
Let m = 36/11 + -211/88. Is m at least -2?
True
Suppose 5*h - 124 = 2*g + 44, 4*h + 150 = -2*g. Is -82 bigger than g?
False
Let c(x) = x**3 + 1. Let m be c(0). Is 3/82 bigger than m?
False
Suppose 2*l = 8, 0 = -5*t - 2*l + 11 + 2. Suppose 4*a - t - 11 = -4*k, -3*k - 1 = -2*a. Let x be 2 + 1 - (5 - a). Which is greater: x or -4/7?
x
Let m(x) = 19*x**2 + 2*x + 11. Let a be m(-2). Is a less than 82?
False
Let d = 1119 - 1090. Are d and 30 non-equal?
True
Let j be 540/(-70) + 4/(-14). Let a = -5 - j. Suppose i = 1 + a. Which is smaller: i or 3?
3
Suppose -22*m + 19*m = -3. Suppose -32 = 3*q + m. Let t be 45/10*(-16)/6. Are q and t nonequal?
True
Let x = 0.489 - 0.819. Is x less than or equal to -5?
False
Let i = 232 - -1600. Is 1831 at least as big as i?
False
Let m(v) = v**3 - 32*v**2 - 28*v + 293. Let l be m(33). Which is smaller: 1 or l?
1
Suppose 4*q - 3*c = 165, -5*q + 209 = -0*q - c. Let h be (-9)/(-27)*q/(-8). Is -1 equal to h?
False
Let h = 29.67 + -0.67. Let c = 29.21 - h. Do c and 1/2 have the same value?
False
Let t = -38 - 25. Let n = -64 - t. Is n not equal to 36?
True
Suppose -4*h = 3*j, -4*j - h + 19 = -2*h. Suppose 0*n = j*n + 8. Suppose -3*s = -5*c + 18 + 16, -3*s = -4*c + 29. Which is smaller: s or n?
s
Suppose 2*a + 5*y = 4*y, 0 = -5*y - 10. Which is greater: a or 17/12?
17/12
Let k = 1640 - 1760. Which is smaller: -117 or k?
k
Let k be 3/24*(-9 + 17). Let t be (-56)/(-48) + k/3. Which is smaller: 8 or t?
t
Let g be (-66)/9*((-492)/(-8))/(-1). Which is bigger: 452 or g?
452
Let f = 202 + -275. Is -72 less than f?
False
Suppose 4*t - 3*t = 0. Suppose t = 2*d + 22 + 10. Let j = 9 + d. Are -8 and j nonequal?
True
Let o be (6/4)/(657/(-24)). Which is smaller: o or 1?
o
Let d be (-125)/10*3/((-3)/(-2)). Let k = d - 32. Which is bigger: k or -56?
-56
Suppose -2*w + 191 = -3*v + 123, 5*v + 2*w + 108 = 0. Let i(f) = 2*f + 2. Let z be i(2). Let q be ((-33)/v)/(z/(-4)). Is 6/17 > q?
True
Let j = -1105 + 18793/17. Which is smaller: j or -1/2?
-1/2
Let y be -2 + 35/(-28) - (-1 - 2). Which is bigger: y or 5/8?
5/8
Let k = 308 + -2461/8. Let w(l) = -l + 3. Let c be w(3). Are c and k equal?
False
Let x be (-1)/(-3)*9 + 1*2. Let s be -29 - x/(5/(-2)). Which is smaller: s or -29?
-29
Let n(k) = k**3 + 26*k**2 + 24*k - 35. Let a be n(-25). Let c = 1 + a. Which is smaller: 1 or c?
c
Let x = 221/3 + -56. Which is smaller: x or 19?
x
Let m = -21/823 - 324157/4115. Which is greater: m or -80?
m
Let w(x) = -x**3 - 4*x**2 + x + 2. Let i be w(-4). Let r = -12.8 - -25. Let b = r - 12.4. Which is smaller: i or b?
i
Let a = -61/42 + -3/14. Which is smaller: -1 or a?
a
Let z be (-12)/14 - (4264/56 - 7). Do -71 and z have the same value?
False
Suppose 5*d + 12 + 13 = 3*u, -20 = u + 4*d. Let o(k) = 4*k + 12. Let j be o(u). Is 10 less than j?
True
Let f = -0.156 - -1.896. Let m = 0.24 - f. Do m and -3 have the same value?
False
Suppose -27*n + 16*n = 44. Is n equal to -8?
False
Let c = 531 - 543. Is -8 smaller than c?
False
Let j be (-603)/((-2 - 1) + 0). Which is smaller: j or 203?
j
Let m = 23 + -21.9. Let d = 13.9 + m. Let q = d + -10. Is q < -1?
False
Suppose 7 = -k - 2. Which is smaller: k or -19/2?
-19/2
Let j = -15 + 13. Let t = j - -5. Suppose -t*v + 5*q - 25 = 2*v, 3*q = 5*v + 35. Which is smaller: -11 or v?
-11
Suppose -9 = 2*h + 13. Let m = -8 - h. Let d be (2/(-1))/((-6)/m). Which is smaller: 7/5 or d?
d
Let y be 0/3 - (4 + -3)*-1. Let z be 357/(-27) - (-2)/9. Which is smaller: y or z?
z
Let g = 33 - 33. Let k be 6/(-6)*(3 + 0). Let f be 54/58 + k/3. Are f and g unequal?
True
Let r = 32 + -2. Let m = 16 - r. Is m at least -15?
True
Suppose -2*x + 7 = h, 0*x + 9 = 3*x. Suppose -3*a = -2*a + h. Are -6/11 and a unequal?
True
Suppose 35*d - 4 = 31*d. Let w be 14 - (-2 + d) - 1. Which is bigger: 13 or w?
w
Suppose 0*f - 2*u + 20 = 4*f, 20 = 4*f + 3*u. Let k(r) = -r + 8. Let l be k(f). Suppose -o - l = -6. Which is bigger: 2 or o?
o
Let a = -23/9 + 1849/720. Let p(w) = -w**3 - 19*w**2 - 18*w - 1. Let g be p(-18). Is a greater than g?
True
Suppose -s = s. Suppose 31 = -3*x + 2*l, 2*x = -3*l + 1 - s. Let d(g) = -9*g - 107. Let t be d(-11). Do x and t have the same value?
False
Suppose 3*s + 3 + 12 = h, -3 = h. Let r be ((-20)/(-2))/((-3)/s). Let d = -21 + r. Is 0 less than d?
False
Let b be (-141)/94*(0 + 24/207). Does b = -0.2?
False
Let f = -18 - -18. Suppose v + f*v - 2 = 0. Suppose 5*a - 25 = -3*w, v*w - 4*a = -0*w - 20. Is w < -2/13?
False
Let z = -34 - -18. Let u be (12/z)/(6*1/(-5)). Is 2 equal to u?
False
Let u = -11.97 - 0.03. Let b = u + 12.2. Let l be (-8)/(-12) + (-14)/3. Which is smaller: l or b?
l
Let c = 126 - 125. Let w be (27/6*(-4)/(-6))/c. Is w >= 30/11?
True
Suppose -5*t + t = 0. Suppose -v = 3*f - 66, t = -3*f + 5*f - 3*v - 33. Let o be ((-126)/(-15))/((-6)/(-15)). Is o less than or equal to f?
True
Let a = -1.4 + 1.2. Let l = -0.172 - a. Which is bigger: l or -1?
l
Let n be 12/(-105)*5 - (-12)/21. Let f(m) = -m + 7. Let v be f(7). Is n != v?
False
Let i = 493 + -502. Which is bigger: i or 95?
95
Let u(j) = -j**3 + 6*j**2 + 11*j + 20. Let f be u(6). Which is greater: f or 84?
f
Let h = -1 - -8. Suppose -4*b + 6 = -h*b. Let y be 30/16 + (b - 0). Which is bigger: y or -1?
y
Let b = 231/19 - 2168/133. Which is greater: b or -2?
-2
Let l be (24/342)/((-5)/((-15)/(-2))). Let w = 50/7 + -48/7. Is l smaller than w?
True
Let l = -31.54 - -32.54. Let h = 20 - -2. Is h not equal to l?
True
Suppose -9*t - 6 = -6*t. Let y be 8/t - -1 - 72865/(-24245). Is y bigger than 1?
False
Let b(j) = -4*j**2 + 49*j - 28. Let x be b(12). Which is smaller: x or -11?
x
Let p(t) = -15. Let l(h) = h - 1. Let j(w) = -l(w) - p(w). Let m be j(7). Let u be -1 - ((-12)/(-4) + 0) - -12. Which is greater: m or u?
m
Let t = 1.5345 - 0.0345. Do -5 and t have different values?
True
Let v = -1 - -3. Let w = v + -1. Let y be w/(-2) + 24/(-16). Which is smaller: y or -0.2?
y
Let x be 25/(-50) + (-9)/(-6). Is x <= -5/143?
False
Suppose -2 = 2*c - 5*i + 3*i, -4*c - 4*i - 4 = 0. Let r = 13/15 + -49/45. Is c smaller than r?
True
Let y be ((-2)/3)/((-10)/(-45)). Let v(c) = c**2 + c - 4. Let h be v(y). Suppose 1 = 2*q - 3*a + 7, 0 = -a + h. Is 1 != q?
True
Let z(b) = -2*b + 28. Let i be z(13). Suppose 0 = i*w - 0*w + 6. Is -16/7 greater than w?
True
Let l be 8/252*(-56)/(-12). Which is smaller: l or -1?
-1
Suppose 4*z - 45 - 23 = 0. Suppose -3 = 3*s + 12, 0 = 3*w + 4*s + z. Is 1/19 != w?
True
Suppose 9*c - 15*c = -4*c. Let j be 4 - 5 - (-6 + c)/(-1). Which is