e -5*x - a = 13. Let b be 3 + -1*(-34)/(-6). Which is greater: x or b?
b
Let y(i) = 2*i**2 + 10*i + 0*i**2 - 4 + 13*i - 9. Let l be y(-12). Is -4/9 < l?
False
Let k be ((-145430)/6465)/(260/48). Let w = k - 2/2155. Which is smaller: w or -3?
w
Suppose -5*i - 3*v = 12, -3*i + 2*i - 20 = 5*v. Let w be (-10)/30 + (2434/3 - -1). Let a be -4*w/808 - -1*4. Which is smaller: i or a?
a
Let g be ((-12)/48)/((-2)/424). Suppose 3*f = g - 197. Which is smaller: f or -49?
-49
Let i = -30.5 + 30.6. Which is bigger: i or 153?
153
Let y = -17958 + 17930. Let w = -0.1 - -0.1. Which is bigger: w or y?
w
Let i be (-3072)/72*(-3)/(-14). Is -8 at most as big as i?
False
Let p = 5 - -48. Which is bigger: p or 0?
p
Let g = -8/55 - -151/55. Which is bigger: 3 or g?
3
Let h(v) = -v**3 - v**2 + 4*v - 5. Let d be h(-4). Let c be (d/24)/(3/4). Let s be (-4)/(-12) + 5/(-6). Which is greater: s or c?
c
Let f = 358919 + -166896946/465. Let y = f - 1/310. Is y greater than 2?
False
Let p = -1 + 0. Let o = -20 + 20. Suppose -12*i + 10*i = o. Is p != i?
True
Suppose 5*k - 3*k = 2, -3*d - 3*k - 48 = 0. Let g(m) = -m**3 - 17*m**2 - m - 18. Let v be g(d). Is v at least as big as 1/27?
False
Let f = -1 - -6. Let v be -289 + -2 + f + 3. Let i = 1978/7 + v. Is -1 greater than or equal to i?
False
Suppose 5*u - 713 = -2693. Let r = u + 22573/57. Is -1 equal to r?
False
Suppose -5*w = -o + 125, 2*o + 9*w = 5*w + 264. Which is greater: o or 129?
o
Let i(p) = 1 - 3 + p**2 + 6 - 9*p. Let h be i(9). Suppose s + h*s - 5 = 0. Which is bigger: s or 3?
3
Let d be 4*(-2)/(-32) + (-59)/(-4). Suppose d = 7*f - 10*f. Which is smaller: f or -22/5?
f
Suppose 9*p + 4 = 11*p. Let a = 40 - 43. Is a greater than p?
False
Let d = 182 - 197. Which is bigger: d or -24?
d
Let i = 4 + -4. Let f be 3/(-3 + (4 - -2)). Let g be f/(-17)*(-12)/(-6). Which is bigger: g or i?
i
Let i be (-34)/66 + (-1)/(-3). Let l be 1/14 - 273/(-294). Which is smaller: l or i?
i
Suppose 152*s - 184 = 148*s. Which is bigger: 45 or s?
s
Let j(t) = t**3 - 4*t**2 + 7*t - 2. Let c be j(4). Suppose -3*d + c = 20. Is d at most as big as 1.6?
False
Suppose 1 = 2*k - 3, -3*t - 7 = k. Let q(p) = p. Let v be q(t). Which is bigger: -2 or v?
-2
Let l(m) = m**2 + 7*m - 2. Let b be l(-8). Let i = b - 4. Suppose -i*t + 0 = 6. Is -3 != t?
False
Let g be (-9)/(-21) + (-11882)/(-91). Is 130 at least as big as g?
False
Suppose 4*z = 3*w + 535, 1 = 5*z - 4. Which is smaller: w or 0.2?
w
Let k be -1 + (-42)/(-35) + (-114)/370. Is -1 less than k?
True
Let a = -496/24225 + -2/323. Is 2 <= a?
False
Let l(g) = -3*g - 8. Let n be l(-3). Let h(u) = -u**3 + u**2 + u + 3. Let w be h(0). Let i be w/19*(-12)/18. Which is greater: i or n?
n
Let s = 25.2 + -25.6. Which is smaller: s or -21?
-21
Let o = 45 - -48. Let n = -80 + o. Is 15 equal to n?
False
Let h be (0 - 4/(-1246))*38/76. Let m = h + 26161/3115. Which is smaller: m or 7?
7
Let m = 957 + -975. Let i be (-4)/3*1*-3. Do m and i have the same value?
False
Let o = 54.6 + 23.4. Which is smaller: o or -2/7?
-2/7
Let h = 37/78 + -4/13. Let m = 4 + -2. Suppose -3*i = 4*v - 11, -v - v + 6 = m*i. Do i and h have different values?
True
Suppose -6*f - 14*f = 1500. Is f at most -77?
False
Let p = 1524 + -1066. Is 458 < p?
False
Let q(n) = 23*n - 19. Let s be q(0). Which is greater: s or -135/7?
s
Suppose -8*g - 46 = 10. Let s be 9/g*10/(-15). Are s and 1 nonequal?
True
Let f(z) = -z**3 - z**2 + z. Let c be f(-2). Suppose -v = c*v - 24. Let d be v/(-18)*3/(-16). Which is smaller: 1 or d?
d
Let z = 16 + 10. Let f = -11.38 + 12.38. Is z != f?
True
Let m = 5 - 5.05. Let q = -2.36 - -0.41. Let v = q + m. Is v equal to -0.2?
False
Let g = 0.3 - 0.9. Let r = 0 + 0. Let d = -1 + r. Is g at most d?
False
Let o = -1.46 + 1.86. Let y be 1 - 9*2/6. Is o at least y?
True
Let r be ((-129)/4)/(-3) + (-44)/(-176). Do 11 and r have different values?
False
Let i be (-22)/(-99) - (1803/(-513) - -3). Is i > 1?
False
Let k be (49 + -50)/(-1 + 6/(-4)). Is k at least -898?
True
Let r = 428 - 2138/5. Which is bigger: 1 or r?
1
Let j = 7 + -7. Let c = -9 + j. Let f(b) = b**2 + 22*b - 32. Let l be f(-23). Do c and l have different values?
False
Let h be -54 + ((-102)/(-27) - 4/(-18)). Let a be ((-35)/(-5))/((-2)/14). Is a at least h?
True
Let r = 106 - 108. Let h(g) = -g**3 + 6*g**2 - 6*g + 4. Let d be h(5). Is d at least r?
True
Suppose -18 = -5*n + 2. Suppose -n + 12 = -4*h. Let t = -789 + 785. Is h less than or equal to t?
False
Let x(w) = w**3 - 3*w**2 - 5*w + 5. Let a be x(4). Let h(n) = -n**2 + 8*n - 7. Let v be h(6). Let t be (2/v)/(1*-2). Is t at least a?
False
Let y = -78 - -82. Which is greater: y or -27?
y
Let m(f) = f + 4. Let n be m(5). Let h(t) = 25*t - 2. Let a be h(1). Suppose -17 = -5*x + a. Which is smaller: x or n?
x
Let x(m) = 4*m - 7. Let r be x(3). Suppose 5*z + 0*z = 4*j - 3, j = r*z - 3. Suppose -u - 6 = 2*n, -n - u + 3 = -j*u. Is n at most as big as -4/5?
True
Let z = 2.2 + -11.2. Let r = 0.4 + -2.4. Which is greater: z or r?
r
Suppose 3*v - 6*v = -15. Suppose -v*r + 4*r = 7. Let x(n) = -n**2 - 7*n. Let p be x(r). Which is smaller: p or -1/6?
-1/6
Suppose -5*a + w + 374 = 0, -a + 2*w - 227 = -4*a. Suppose 2*t - a = -3*k, 0 = -k - 1 - 2. Which is smaller: t or 0?
0
Let i = 1332/29 - 438054/9541. Let c = -6074/1921 + 149476382/47400675. Let w = i - c. Which is bigger: w or 0?
w
Let u = 1605 - 1900. Is -295 less than u?
False
Let i = -27 + 30. Suppose 3*o = -4*u + 16, -i + 7 = 2*o + u. Suppose -4*h = -o*h - 104. Is 27 at least as big as h?
True
Let y = -2759 - -2760.507. Let q = y - 0.107. Is q <= 2?
True
Let w be 19 - 1 - (1 + -4). Let u be 82/16*4*1/1. Is w greater than u?
True
Let w = -3.86 - -3.86. Let b = 8.7 - 8. Let y = -0.78 + b. Which is smaller: y or w?
y
Suppose -10*j - 10 = -8*j. Let w be 18/60*2 + (-42)/j. Are 1/2 and w non-equal?
True
Let b be (-33)/11*(-10)/3. Suppose 6*i - b*i = -36. Is 3 greater than i?
False
Let t(p) = p**2 - 6*p - 14. Let l be t(8). Let n = 27 + -14. Suppose 4*w = -h + 9, 5*h + 0*w + 4*w = n. Is h at least as big as l?
False
Let k be ((-9)/(1485/670) + 4)/((-8)/(-6)). Let c = -4 - -4. Is c less than or equal to k?
False
Let u = -5 - -8. Let l be (19/u)/(3/9). Suppose 0*s - 5*s - 17 = o, -o = -4*s - l. Which is smaller: 4 or o?
o
Let m = 19 + -15. Let l be 8/(-202)*m/(-8). Is l at most as big as 0?
False
Let h = 10.24 + -0.24. Let f = -10.1 + h. Is -7 at most f?
True
Let o(i) = i**2 - 12*i - 39. Let w be o(-7). Is w != 95?
True
Let i = -238 + 139. Does i = -98?
False
Let x = -281/6 + 47. Let q(u) = u**3 + 3*u**2. Suppose k - 9 = 4*k. Let a be q(k). Which is bigger: a or x?
x
Let h(l) = l**2 + 10*l + 4. Let x be h(-10). Let s = x + -11. Which is smaller: -8 or s?
-8
Suppose 0 = 11*b - 12*b - 4*v - 4, 2*b + v + 8 = 0. Which is smaller: -24/5 or b?
-24/5
Let j = -228 - -333. Let y = j + -106. Let r be 1/3 + (-4)/12. Which is smaller: r or y?
y
Let q(p) = 5*p - 14. Let u be q(6). Suppose 3*a - 77 = u. Suppose 0 = 5*j - v - a, -v - 3 = -j - 0. Is 7 greater than or equal to j?
True
Let h be (-4*3)/((-48)/36). Let g be (-3)/(-30) - h/15. Is g <= 0?
True
Let i = 1.14 + -0.04. Let j = i + -13.1. Let a = -11.8 - j. Which is bigger: -4 or a?
a
Suppose -25 = -4*b + 83. Let z be (b/12)/(5 - 2). Is 0 <= z?
True
Let u = -2159/10526 - 3/554. Let s be ((-150)/35 - -4)*7/(-2). Is u at most s?
True
Let s be ((-3)/(-6))/(1/(-2)). Let j be (1*(2 + -15))/s. Suppose -2*r - 3 - j = 0. Is r less than -8?
False
Let t be 0 - 42*(-1 - 40/(-24)). Suppose -c - 2*d - 32 = 0, 3*d = -3 - 3. Let b = c - t. Which is bigger: 1/19 or b?
1/19
Let t be -141*(-20)/2670 + -1. Is 0 at least t?
False
Suppose 5*f - 3*p + 315 = 0, 0*f = -4*f - p - 269. Are f and -65 non-equal?
True
Suppose 0 = 5*t - 28 - 2. Let d be (t/3 - 3) + -5. Let c = -52 - -47. Which is smaller: c or d?
d
Suppose 42 = -2*o - 108*i + 104*i, -2*i = -5*o - 165. Which is bigger: o or 4?
4
Let r = -220 + 222. Which is smaller: r or -0.105?
-0.105
Let n = -64 - -71. Let s be (-2)/7 - (-401)/n. Which is smaller: 58 or s?
s
Let o be (-6)/(-4)*782/69. Which is smaller: 22 or o?
o
Let j be (0/(-4))/(0 + -1). Suppose 64 = -j*a + 4*a. Let r be 1*1/((-2)/(-30)). Is a less than r?
False
Let f be (-2)/7 + (-932)/(-2968). Let t = f + -669/1166. Is -1 < t?
True
Let p 