an v?
True
Suppose 3*s - 159 = -66. Let f(q) = 22*q - 62. Let p be f(4). Suppose 5*v = -p + s. Which is greater: 2/87 or v?
v
Suppose -t - 3*p - 12 = 0, -5 + 2 = 3*t - 2*p. Let m(q) = -q**2 - 15*q - 35. Let i be m(t). Which is bigger: i or 3/44?
i
Let q(j) = -302*j + 142*j - 13*j**2 + 151*j + 8. Let g be q(1). Let o(k) = k + 26. Let n be o(g). Which is greater: 11 or n?
n
Let x = 382.9953 + -383. Let w = x + -1.9953. Let z = 2/97 - 208/679. Which is smaller: w or z?
w
Let h = 8844.08 + -9260. Let c = h - -405. Let o = c + -0.08. Are -2 and o unequal?
True
Let m = -417 + 155. Let d = m + 264. Which is smaller: d or 51?
d
Let x = 473 + -551. Which is greater: -0.8 or x?
-0.8
Let q = 0.01275 - 101.94475. Let l = q + 102. Let g = l + 0.132. Do -34 and g have the same value?
False
Let p = -0.097 + -12.503. Let v = p - -12.695. Is v less than 1/4?
True
Let u = 283 + -17. Let r = u - 182. Let v be 7/28 - 129/r. Which is smaller: -2/7 or v?
v
Suppose -5544 = -686*l + 684*l + 3*t, -4*t - 5536 = -2*l. Are 2783 and l non-equal?
True
Let h = -5044 + 5044.14. Is h > 0.015?
True
Let z be (-17 + 32)/((16/(-12))/(-4)). Let w = z - 45. Let k be -1 - 6/(-57)*8. Which is bigger: w or k?
w
Let o(d) = d**2 - 9*d + 23. Let c be o(4). Let r = -0.54 + 26.54. Let x = r - 53. Is x greater than c?
False
Let j(n) = -2*n**3 - 1. Let m be j(-1). Let y = 422 + -257. Let u = 167 - y. Which is smaller: m or u?
m
Suppose -4*v - 15736 = 4*q, -v - 9871 + 1998 = 2*q. Is -3939 > q?
False
Let c(b) = b + 11. Let a(u) = -10. Let i(p) = -2*a(p) - 3*c(p). Let j be i(-7). Suppose 7 = -k + j. Which is bigger: 36/19 or k?
36/19
Let t be -94 + 2/2 + 26 + -33. Let z = 155472/5 + -31195. Do z and t have the same value?
False
Let n(q) = q**2 + 45*q + 349. Let g be n(-10). Is g at most as big as -3/146?
True
Let a = -72 - -83. Let o(x) = -x**2 + 7*x + 35. Let r be o(a). Let y be 3/r + 176/60 + -3. Which is smaller: 23 or y?
y
Suppose -2*n - 2*q - 34 = 0, 0 = -3*n + q + 8 - 59. Let l = n - -27. Suppose 0 = -4*h + 8*v - 9*v + 6, -3*v - 10 = -2*h. Which is greater: l or h?
l
Let v(b) = -12*b - 65. Let a be v(0). Suppose 3*r + 270 = 6*r. Let s = -155 + r. Is a greater than s?
False
Let b = -53 + 38. Let m be ((-8)/10)/(6/b). Let x = m + -7/3. Which is smaller: x or 0.1?
x
Let z(a) = a**2 - 15*a - 30. Let x be z(17). Suppose 0 + 3 = 2*d - l, 24 = x*d + 4*l. Which is smaller: d or 1?
1
Let y = 782/95 + -124/15. Let a(c) = -c**3 - 11*c**2 + 27*c + 32. Let t be a(-13). Suppose 0 = -3*l + 6*l - 4*b + t, -l - 21 = -5*b. Is y >= l?
True
Suppose 5*w = -3607 - 5153. Is -1/4 not equal to w?
True
Let m(g) = 358*g + 1237. Let h be m(-17). Is h not equal to -4848?
True
Suppose 2*l + 3*n - 23 = 0, -4*n = -0*l - 5*l. Let z be l*(-4)/32 + (-10)/(-12). Let j = -80 + 80.2. Which is smaller: z or j?
j
Suppose 0 = -4*z + 756 - 44. Let s = 327/2 - z. Is s < -16?
False
Let o = 10 + -6. Let s = 4765/8 - 595. Which is smaller: o or s?
s
Let q = -45227 - -632859/14. Let i be 215/7 + (-15)/35. Let j = q + i. Are j and 7 nonequal?
True
Let w = -0.5 - -121.9. Let c = w - -7.6. Which is smaller: c or 1?
1
Let v = -0.2601 + -0.7399. Which is bigger: -468 or v?
v
Let o = -9788 - -9727. Are 18 and o equal?
False
Let g be (58/(-12) - -5) + (-2)/12. Let q be g/((-21)/(-3))*1. Which is smaller: 1/448 or q?
q
Let f(y) = -y**2 + 10*y - 11. Let r be f(5). Suppose 2*q + 3*q = a - 16, 2*a - r = q. Let n = a - -3. Is n at least as big as 10?
False
Let a = 0.15 - 0.18. Let r = 5768 + -17293/3. Is r at least as big as a?
True
Let b = 0.7 + -2.4. Let o = -0.3 + b. Let y = 34579 + -242059/7. Which is smaller: o or y?
o
Suppose 998 = d + x, -x = 5*d - 1277 - 3737. Which is greater: d or 4015/4?
d
Let l = 2/3205 + 5388/1637755. Suppose -4*r - 19 = b, -20 = -5*b + 2*r + r. Which is bigger: l or b?
b
Let y = 1434.0296 - 1434. Which is smaller: y or 2/9?
y
Suppose -29 = -4*i - 5*j - 90, 3*j = -27. Let p = 176/29 + -2251/261. Which is greater: i or p?
p
Let w be 105/(-2226)*(-8)/(-65). Which is smaller: w or 1?
w
Let o = 15/1421 + -222/7105. Is 2.5 at most as big as o?
False
Let i be 88/4*790/(-869). Is 10 at least as big as i?
True
Let i be (0 - -1) + ((-2)/(-1) - 2). Let t be -12 + (-2 - (-3249)/231). Are t and i non-equal?
True
Let h = 1120 + -1136.1. Which is smaller: h or 61?
h
Let j = 5 + -8. Let c be (j*(-6)/63)/(-3). Suppose s = -5*y + 7, -2*s - 3*s = y - 11. Which is greater: c or y?
y
Let x(j) = -9*j - 12. Let q be x(2). Suppose -3*w + 65 = 23. Let m be (8/q)/(w/1 - 4). Is -1 smaller than m?
True
Suppose 0 = 2*y - 27 + 23. Suppose 0 = 5*k - y*k - 45. Let i be (-3)/((-12)/20)*4/k. Is i at most 0?
False
Let l(r) = r**3 + 4*r**2 - 11*r - 2. Let h be l(2). Which is bigger: h or -1/1744?
h
Suppose -3*d + 27 = 4*y - 6*d, -y - 5*d - 22 = 0. Suppose -c + 10 = h, 4*h - 43 = -y*c - 3. Suppose 7*i - 78 = h*i. Is 0.2 > i?
True
Let d be (9 + -37 + 38)/(-15). Suppose 0 = -4*y - 5*h + 12, 2*y + 3*h = 2*h. Which is bigger: y or d?
d
Let c be 5/((-105)/2) + (17 - 13370/588). Which is greater: -42 or c?
c
Let c = 155 - -199. Suppose -648 = -c*m + 360*m. Is -109 less than or equal to m?
True
Suppose 5*x - 13 + 62 = -2*w, -6*x - 3*w = 57. Which is smaller: x or -1/8?
x
Suppose 3*v + 2*i + 109 + 5 = 0, -154 = 4*v + 2*i. Let q be 3/(-15) - v/75. Suppose 0 = -n + 3*n - 2. Does n = q?
False
Let h = -302630/801 - 946/89. Let v = -2541574/6543 - h. Are 1 and v non-equal?
True
Suppose 10008*q - 34245 = 9993*q. Is q greater than or equal to 2286?
False
Let h = -28 + 46. Let k = -649.839 - -650. Let f = -0.061 + k. Which is smaller: h or f?
f
Let m = -16/585 + -1/90. Let z = -89/52 + m. Let d = z + 5/4. Which is smaller: d or -1.7?
-1.7
Let d be (-4)/18 + 21235/99324. Which is smaller: d or 1?
d
Suppose y + 401 = -2*p + 1478, 4*y - 1618 = -3*p. Let n = -543 + p. Which is smaller: n or -55/9?
-55/9
Let o be (256/(-96) + 9 + 1)/((-4)/222). Do -407 and o have the same value?
True
Suppose 3*f = 2*o, 5*f - 4*o = -2 - 0. Let c(k) = -k - k**f - 4*k + 21*k - 14. Let q be c(15). Are q and -2/121 nonequal?
True
Let l(u) = 6*u - 42. Let y be l(7). Suppose y*a + 3*a - 4 = -2*p, 0 = a - 3*p - 16. Which is bigger: -5 or a?
a
Suppose 474*t + h + 135 = 477*t, 3*t = -4*h + 150. Which is bigger: t or -5/3?
t
Let g = 3788 - 4690. Which is bigger: g or -897?
-897
Let m = 2/863 + 2293/127724. Suppose -11*c + 4*n = -14*c + 21, -2*c = -4*n + 26. Is m <= c?
False
Let i be 6/39 - (96/(-52) - -3). Let f = 300533/37 - 8123. Is i <= f?
True
Let n = -72 + 124.3. Let u = -36 + n. Let o = 3.7 + u. Is -0.1 smaller than o?
True
Let h be (1 + -1)/(-7 + 5). Let g be -1 + h - (-1)/2*8. Suppose -2*o + 1 = -3. Are g and o non-equal?
True
Let r = 2 - 3. Let q = 71614821/721 + -297982/3. Let w = q + 7/103. Is r < w?
True
Let n = -676/2519 + -1/229. Let j(v) be the second derivative of -v**4/3 - 41*v**3/6 - 11*v**2/2 + v - 8. Let y be j(-10). Which is smaller: y or n?
y
Let n = -2 + 1.69. Let z = n - -1.31. Let s = -3 + 4. Is s smaller than z?
False
Suppose -329*i = -322*i - 607 - 3558. Is i smaller than 595?
False
Suppose 4*a = 4, 85*x = 83*x + 5*a + 5. Let k(i) = -i**2 - 6*i - 3. Let c be k(-2). Suppose 2*y - 3*y + c = 0. Is y at most x?
True
Suppose 4*a - 8*z = -10*z - 460, 8 = 4*z. Is -103 smaller than a?
False
Let h(j) = -129*j**2 - 62. Let s be h(11). Let i = -109941/7 - s. Is i equal to -36?
False
Let q = -181.9961 - 0.0039. Let y = q + 176. Is y != -12?
True
Let a = -0.3 - -1.3. Let i = 1079 + -1081. Let c = a - i. Which is bigger: c or 7?
7
Suppose 0 = g - 4, -4*g - g = 4*p + 68. Let a = p - -22. Let m = 0 + -2/25. Is m not equal to a?
True
Let v be ((-1)/(-3))/((-75)/(-2145)*-11). Which is smaller: v or 7?
v
Let v = 49 - 42. Suppose -5*m + v*m = -6. Let q = -21 + 14. Which is bigger: q or m?
m
Let r = 915/23 + -20225/69. Which is smaller: r or -253?
r
Let w = -5.233 + 1.233. Which is smaller: w or 1075?
w
Suppose -3*u + 6*l - 2*l = -9446, -2*u + 2*l = -6302. Which is greater: 3159 or u?
3159
Let l = 0.09516 + -0.12016. Which is greater: l or -0.55?
l
Suppose -264*y = -267*y + 1086. Let s = 3607/10 - y. Is 0 < s?
False
Let l be 228 + -223 - (514/(-6) - 1/3). Which is smaller: 97 or l?
l
Suppose 0 = -16*p - 0*p - 672. Let o be (-4)/14 + (-9 - 376/p). Let u = 0.8 - -0.2. Which is smaller: o or 