 = -m - 5, 2*m = -4. Suppose 0 = -2*a + 4*f, -5*a = -a + l*f. Which is greater: 1 or a?
1
Let o = -3.7 - -0.7. Let a = 1 - o. Let r = a - 2. Which is bigger: 1 or r?
r
Suppose 5*i = 4*o - 16 + 166, -3*i - 2*o + 90 = 0. Let b = -119/4 + i. Is -1 at least as big as b?
False
Suppose -3*u = 2*y - y, -2*y + 50 = -4*u. Let x be 2/3*y/20. Is 1 <= x?
False
Suppose 0 = 4*y - 5*k - 17, y - 3*k = -3*y + 7. Let v = -3/17 + -11/34. Are v and y equal?
False
Let x(d) = -3*d + 1. Let p be x(-1). Suppose 3*u + 19 = 5*b, 0 = 4*b - 6*u + 2*u - 20. Is b at least as big as p?
False
Let y be (-6)/(-33 + 3) - 22/10. Is y <= -20/9?
False
Suppose 2*x - 8 = 5*c + 4, -3*x - 5*c - 7 = 0. Suppose -z = -2*z - x. Is 6 > z?
True
Let t be ((0 - -1) + 4)/(-1). Is -5 at most as big as t?
True
Let p = 2.61 - 0.11. Let u = 0.5 - p. Which is smaller: u or 1?
u
Let u = 40 - 78. Which is greater: u or -36?
-36
Let i(f) = f + 4. Let a be i(-5). Let r be (-3 - a) + 0 - -1. Are 2/5 and r equal?
False
Suppose 3*l - 20 = 5*g, 3*g = -2*l + l + 2. Let n = 3 - l. Let j(f) = f. Let c be j(-2). Is c greater than n?
False
Let q = -0.21 - 0.89. Let k = 0.9 - q. Suppose 5*d = -3*t, t + 3*t + d = 0. Is t != k?
True
Let i = 52 - 53. Which is smaller: 3/29 or i?
i
Let u be (-7)/(-35) + 8542/(-88160). Let c = 1/464 + u. Let v = 0 - 0. Is c at least as big as v?
True
Let n be (-5)/(-8) + (-3)/12. Which is bigger: n or 0?
n
Let i be 4/(-6) + 26/3. Let w be 1/(-5) + i/(-10). Is -2 greater than w?
False
Let r = -1.15 + 0.15. Which is smaller: r or 0.1?
r
Let a be -4 - 28/8*-2. Let h = 2 - -3. Suppose -2*d + h*d - 15 = -a*t, 2*t = -5*d + 28. Which is smaller: d or 5?
5
Let r(z) = -z**2 + 7*z - 1. Let v be r(7). Are 9 and v non-equal?
True
Let m = -2 - -5. Suppose 4*u = m*u. Are 2/7 and u nonequal?
True
Let h be ((-36)/(-15) - 2) + 0. Let p be (0 + 1/2)/(-5). Let t = p - h. Which is smaller: t or 1?
t
Let l = -129 - -905/7. Let s(r) = 2*r - 3. Let g be s(2). Is l at least as big as g?
False
Let i = -395 + 8687/22. Which is smaller: -1 or i?
-1
Let i(m) = -60*m + 2. Let t be i(-2). Which is smaller: 121 or t?
121
Let m(a) = -a**2 + 4*a - 5. Let t be m(2). Which is smaller: t or 8?
t
Let z(d) = -d**2 + 9*d + 4. Let y be z(10). Let w be 9/(-6) - 4/y. Is -1 less than or equal to w?
True
Let f(y) = -y**3 + 6*y**2 - y + 7. Let w be f(6). Let g be (-4 + 2)*2/376. Let z = 101/658 + g. Which is smaller: z or w?
z
Let z be 3/9 + 8/(-6). Is -0.03 > z?
True
Let s(u) = -3*u - 38. Let z be s(-13). Which is greater: 2/15 or z?
z
Let m = 10 + -11. Is -1 greater than m?
False
Let u be (-1 + 1)*(-1)/(-2). Let m be 5/((-10)/6) + -45. Let y be (8/m)/((-2)/(-3)). Which is smaller: u or y?
y
Let o(g) = -g**3 - g**2 + 3*g + 1. Let c be o(-2). Let w be 1/((35/158)/5). Let h = -160/7 + w. Which is bigger: h or c?
h
Suppose 0*f = 3*f - 6. Suppose 0 = f*v + 3*v. Suppose 0*q - 8 = 4*q. Is q smaller than v?
True
Let f = 19 - 18. Is f > 2?
False
Let k(l) = -l**3 - 4*l**2 + 5*l + 1. Let x be k(-5). Let c(a) = -4*a**2 + 1. Let d be c(-1). Let v be (-5)/6*d + -2. Are v and x non-equal?
True
Let k = 0.34 - 0.24. Which is smaller: k or 34?
k
Let i(s) = 4*s**2 + 3 + 4*s - 14*s**2 + 2*s**2 + 7*s**2. Suppose 5*d + 5 = 30. Let u be i(d). Which is bigger: u or -5/3?
-5/3
Suppose 0 = -2*w - w. Let m(y) = y**2 + 2. Let s be m(w). Let z be s - 2*(-1)/2. Is 3 bigger than z?
False
Let r be (-89)/(-164) - ((-46)/8 + 6). Is 1 not equal to r?
True
Suppose -d - 5*z + 13 = 0, -d - 2*z - 2*z = -11. Suppose d*f - 13 - 20 = 0. Which is greater: f or 10?
f
Let c be ((-3)/(-18))/((-8)/(-72)). Is c >= -2/9?
True
Suppose 14 - 4 = -10*y. Which is greater: -2/201 or y?
-2/201
Let t be (-50)/(-4) - (-6)/4. Suppose -2*f - 4*o - 20 = 0, f = 4*o - 0 + t. Let d = 4 + f. Which is smaller: -2 or d?
-2
Let m(g) = 11*g + 122. Let a be m(-12). Suppose 0 = -0*h + h + 5*n - 11, 2*n = h + 17. Which is smaller: h or a?
a
Let z(c) = -c**2 - 6*c + 57. Let r be z(-11). Let h be (-2 - -2)*2/4. Suppose h*t - 3*f = t - 7, -f = 5*t - 7. Which is greater: r or t?
r
Let v be (3 - 3)/(-4) - 10/(-38). Which is greater: -1 or v?
v
Let c = -37 + 41. Let a = 0.3 - 0.1. Which is smaller: a or c?
a
Let c = -2/55 + -4/11. Which is greater: c or -0.25?
-0.25
Let t = 0.8 + 0.2. Let r = t + -2. Let j = -9 - -19/2. Is j at most r?
False
Let w = -234 - -3980/17. Suppose -3*q + 14 = 3*v - 4*v, 4*v - 5*q + 21 = 0. Which is smaller: w or v?
w
Let o = -14 - -10. Let r = 0.29 - 4.39. Let s = r - o. Which is greater: -2/7 or s?
s
Suppose 3*h = -3*x - 189 + 21, 0 = -5*x + 25. Is -61 < h?
False
Let n = 33 + -26.2. Let c = n + -7. Which is bigger: c or 0?
0
Suppose 3*s - 15 = -5*a - 2*s, 3*a - 5*s + 15 = 0. Suppose a = 5*i + q - 2, -2*q + 3*q = 5*i + 2. Is i > -1/4?
True
Let h be ((-24)/(-32))/((-2)/16). Which is greater: -5 or h?
-5
Let c be 69/((-68)/2619 + 0). Let m = c - -2658. Let r = m - 4/17. Is 0 equal to r?
False
Suppose i - 1 = 2*j + 3, -5*i + 4*j + 8 = 0. Suppose v + i*v = 3. Suppose 4 = y + v. Which is smaller: y or 2?
y
Let a = -2.5 - -2.5. Is a less than or equal to -1/37?
False
Let d(x) = x + 4. Let v be d(-3). Let w be 150/408 - (-2)/(-8). Is v not equal to w?
True
Let k = 299/1488 - 5/48. Is k less than or equal to 1?
True
Let q be 376/(-52) + 5 + (-4)/(-2). Is 1 greater than or equal to q?
True
Let a(z) = -z**2 - 24*z + 1. Let y be a(-24). Which is smaller: 6/13 or y?
6/13
Let m = 37 + -42. Is 0 > m?
True
Let c be ((-4)/6)/(32/12 + -2). Suppose 0 = -5*l - 4*j + 86, -5*j - 22 = -l - 2*l. Let n be 8/(-21) - 4/l. Which is smaller: n or c?
c
Let b = -1768 - -3619/2. Which is smaller: b or 41?
41
Let d(s) = s**3 - 9*s**2 - 6. Let n be d(9). Let j(c) = -c**2 + 4*c + 8. Let a be j(6). Let t = a - n. Are t and 2 equal?
True
Let l = -78/31 + 1/62. Which is greater: l or -3?
l
Let l = 40 - 50. Are l and -17/2 equal?
False
Let q be 1*1/(-10)*-9. Let w = 7/5 - q. Let n = 0.75 + -0.75. Are w and n non-equal?
True
Let c = 1 - 6. Which is smaller: c or -7?
-7
Let t(g) = -g**3 + 3*g**2 + 6*g - 5. Let f be t(4). Suppose 7*k - 1 = 27. Which is smaller: k or f?
f
Suppose 5*g - 2*o = 10, -5*o + 13 = 2*g - 5*g. Suppose -20 = 4*a + g. Let u(r) = r**2 + 5*r - 71. Let t be u(-11). Is t <= a?
False
Let w be (-3)/(-12) + (-2)/8. Suppose w = 3*y + 1 + 2. Is -0.05 at most as big as y?
False
Let k = -77.4 + 77. Which is bigger: -2/31 or k?
-2/31
Let p = 5 + -7. Let v = -26 - -26.1. Which is smaller: v or p?
p
Let d = 2 + -8. Let h = 2 + d. Let u = h + 3.9. Is -1 < u?
True
Let q = -0.105 + -0.395. Which is greater: 0 or q?
0
Let z be (2/(-4)*3)/3. Let a = 16 + -16.26. Let b = -0.16 - a. Are z and b equal?
False
Let u = -12 + 95/8. Which is bigger: u or -1?
u
Suppose -5*p + 1 = -f, -4*f - 5*p = -29 + 8. Suppose 11*k = f*k + 35. Which is smaller: k or 2?
2
Let y = -26 - -56. Let z = 30 - y. Which is smaller: z or -6/5?
-6/5
Suppose q - 10 = -2*d, -8*q + 20 = -4*q + 4*d. Which is smaller: -13 or q?
-13
Let m = 2 + -1.7. Let h = m + 0.2. Let n = h - 1.5. Which is smaller: n or 0.2?
n
Let r = -2/563 - -589/7319. Is r smaller than 0?
False
Let a = -0.04 - -0.44. Let p = a + -0.5. Suppose 5 - 4 = -g. Which is bigger: p or g?
p
Suppose 6*y - 9 = -3. Is y at least -1/9?
True
Let z = -25 + 2. Let c = z - -93/4. Is c != 0.1?
True
Let i(k) = k**2 + 3*k. Let c be -2 + 0 - (5 - 4). Let y be i(c). Let d be -2 + 4/6 - -1. Is d at least y?
False
Let w be (1/(-2))/(1/4). Suppose 0*t - 5*t + 5*f - 25 = 0, 0 = -4*t + 3*f - 15. Let v = w - t. Is -2 equal to v?
True
Suppose 39 = -6*p + 45. Is -3 < p?
True
Let w = 5653/1494 - 1/166. Let x = w + -127/36. Let b be (-4)/(-18)*(-1)/2. Which is smaller: b or x?
b
Let s = -7 - -8. Let p be (0 + s)*(-7)/(-49). Let o = -4 + 3. Which is smaller: o or p?
o
Let d = -1 - 5. Let k be d/(-4) - 2/1. Let p be (0 - -2) + 0 + -3. Is p equal to k?
False
Let v = 911 + -35527/39. Which is greater: v or -1?
v
Suppose -5*t - 200 = -4*z, 0 = -2*z + 5*t + 38 + 62. Which is greater: z or 49?
z
Let x(r) = r**3 + 6*r**2 - r - 7. Let w be x(-6). Let n be -3 + 3 - (-281)/(-6). Let h = 47 + n. Is h >= w?
True
Suppose -5*w - 298 = -233. Is -94/7 not equal to w?
True
Let v(m) = -m**2 + m + 18. Let j be v(6). Is -13 at most as big as j?
True
Let h = 11 - 6. Suppose -h*d + 61 - 11 = 0. Which is bigger: 11 or d?
11
Suppos