-30). Suppose 2*m = -6 - 2. Is m at most g?
True
Suppose 51*h - 18944 - 130 = 0. Is 373 at most h?
True
Let t = -7 - -12. Suppose -t*o + 8 = -3*o. Suppose 0 = -2*l - 3*l - 15, 0 = -2*z - 4*l. Is o greater than z?
False
Let v = -21 - -20.8. Let m = 1/278 - 857/6394. Is v greater than or equal to m?
False
Let c be (4 - (6 - 5)) + 1. Is c bigger than 43/11?
True
Let z be ((-21)/147)/(1/23 + 0). Are -0.1 and z non-equal?
True
Let n = 1215581125/7029281 + -10/242389. Let t = 173 - n. Suppose l - 2 = -d - 4, -3*d - 10 = -l. Which is smaller: t or l?
t
Suppose -2*l + 4 = -0, 3*d - 11 = 2*l. Let k be ((-62)/8)/((-110)/88). Which is smaller: d or k?
d
Suppose 149*t - 159*t = 230. Suppose -1 - 1 = -d, d - 117 = 5*p. Are t and p non-equal?
False
Let d be (9 - -3) + -3 + -2. Let u be (d/14)/((-3)/(-11)). Let o = -7/3 + u. Which is smaller: o or 0.4?
o
Let v be 12/8 + 30/(-4). Suppose -8 - 13 = -4*r - a, -2*r + 9 = -a. Suppose 3*s + 23 = -2*m, -s - 5 = 4*s - r*m. Which is smaller: v or s?
v
Let t(s) = s**2 + 30*s + 138. Let x be t(-6). Is -77/15 bigger than x?
True
Let o = 16 + -16.3. Let c = o + -1. Let g = -3.3 - c. Is -1 <= g?
False
Let y = 40 - 39. Let t be (5 + 1)*4/(-8). Let z be (1 + t/y)/1. Does -24/11 = z?
False
Let a = 5 - 14. Let f = 15 + a. Is f at least as big as 7?
False
Let c = -165.9 + 166. Let r be -1 + 2 + (-22)/18. Is c not equal to r?
True
Let a = -8 + 9/2. Is a > -5?
True
Let l be (-73)/(-2)*(-6 + 4). Are -5 and l unequal?
True
Let y be 14/35 - (-324)/15. Suppose 0 = 20*d - y*d - 6. Let x(m) = m**2 - 3. Let w be x(0). Is d at most as big as w?
True
Let l = -26571.6 - -26583.4699. Let q = l + 0.1201. Let z = -12 + q. Which is smaller: z or -1/4?
-1/4
Let z(o) = o + 6. Let q(j) = j + 5. Let w(v) = -6*q(v) + 5*z(v). Let c be w(-5). Let n = c - 3. Is n < -1?
False
Suppose 8 = q - 4*n, -88 = -5*q - 2*n - 2*n. Is q >= 5?
True
Let h(y) = 9*y + 5. Let a(q) = q. Let p(i) = 6*i + 4. Let l(j) = -2*a(j) - 2*p(j). Let d(m) = -8*h(m) - 5*l(m). Let u be d(-6). Which is smaller: -1 or u?
-1
Let u be (5/10)/((-21)/6). Suppose -6*w + 2*w = -16. Let h = w - 5. Which is greater: h or u?
u
Let x = 457 + -457. Which is bigger: 6/11 or x?
6/11
Suppose -9*o - 3484 = -3466. Let f = 352 + -2831/8. Which is smaller: f or o?
o
Let o = -0.12 - 2.88. Let b = -2.9 - o. Let m be 0 + (45/39 - 4) + 3. Which is smaller: b or m?
b
Suppose -2*k = -3*p + 17, 2*p = 7*k - 3*k + 14. Let u be p/(-6) + 2/12. Which is greater: 1/14 or u?
1/14
Let n = 4/159 + -251/3657. Let s = -2 - -3. Is s <= n?
False
Let p = -32.5 + 23. Let a = 10 + p. Let l = a - 0.4. Which is smaller: l or -0.4?
-0.4
Let q(s) = -s**3 - 8*s**2 - 10*s + 19. Let u be q(-7). Let c be 1 - -4*-3*4/u. Is 11 greater than c?
True
Let c be ((-105)/6 - -6)*2. Which is smaller: -4 or c?
c
Let p = 564 - 2818/5. Which is bigger: -1.25 or p?
p
Let i = 32.5 + -41. Let f = i + -0.5. Let h be 32/56 + (-26)/21. Is h less than f?
False
Let u be -1 + 10/3 + -2. Let s = -36647001/91 - -402719. Let w = 34/7 - s. Which is smaller: w or u?
w
Let h = -4/81 - -254/1863. Let o = -9 - -11. Suppose 0 = 2*l - 5*l + 9, -5 = -u - o*l. Which is bigger: h or u?
h
Let j(r) = -r**2 - 2*r + 15. Let m be j(-5). Suppose -5*n = 7 - 27, -3*a + 3*n = 54. Let w be 22/a - (-6)/21. Which is smaller: m or w?
w
Let f = 90 - 62. Let n = 28.2 - f. Which is smaller: -24 or n?
-24
Let w(q) = -2*q**3 - 2*q**2 - q. Let f be w(0). Which is greater: f or -17/28?
f
Suppose 2*x + 235 = x. Let n be -2 - (x/45 - -3). Suppose -u + 3 = 2*o, 4 = 3*u + o - 0. Are u and n equal?
False
Let l be ((-1430)/182)/(18/21). Which is bigger: -10 or l?
l
Suppose 1071 = 36*j - 29*j. Let p = 148 - j. Are -9 and p nonequal?
True
Let m = -0.05 + 2.05. Let c = 24/29 + 218/87. Which is greater: c or m?
c
Suppose 3*w = -2*q + 100, 4*q - 2*w = -q + 288. Let c be 27/(-4) + (-14)/q. Let z be (-2)/(-5) - 111/15. Is z < c?
False
Let q be 2093/(-17)*(-11)/(33/(-6)). Let y = -246 - q. Suppose 4 = -5*n - 1. Which is smaller: n or y?
n
Suppose 6*g - 79 = -421. Let j = -26 - g. Which is smaller: j or -2/7?
-2/7
Let i(v) = -v + 3. Let f(x) = -x + 1. Let m(d) = 2*f(d) + 2*i(d). Let o be m(2). Which is smaller: 10/7 or o?
o
Let c = 11 + -3. Suppose 5*q - 2 - c = 0. Suppose -a = q*a. Which is smaller: a or -6/7?
-6/7
Let c be (-3)/2 - (8 + (-128604)/13536). Are 0 and c nonequal?
True
Let w be (-80)/680 + 1987/(-17). Which is smaller: -118 or w?
-118
Let a(w) = -2*w**3 + 23*w**2 - 8*w - 32. Let k be a(11). Which is greater: k or -2/325?
k
Let l = 95.8 - 66. Let i = l + -8.8. Let q = -0.2 + 0.1. Is i greater than q?
True
Let r = 43 - 70. Let p = r + 27.1. Let i = 6.4 + -7. Which is smaller: i or p?
i
Let s = 3 - 10. Let w be (-8)/28 - 23/s. Let v be 2 + -1 + w + -4. Which is greater: v or 3/11?
3/11
Let w(n) = -n**2 + n + 109. Let j be w(11). Are -5/56 and j non-equal?
True
Let l = -41.015 + 41. Let h = 7.015 + l. Which is bigger: h or 2/13?
h
Let w = -288 + 863/3. Which is smaller: 11 or w?
w
Let m be 430 - (3 - 40/8). Which is smaller: m or 431?
431
Let l be 2*4/8 - 2. Suppose 973 - 6998 = 5*a. Let b = -13273/11 - a. Is b greater than l?
False
Let s = 5.53 + -5.25. Is 2/9 bigger than s?
False
Let r = 38 - 26.5. Let v = 6 - 17. Let d = r + v. Which is smaller: -1 or d?
-1
Let m = -23 - -19. Let h be (40/25)/(m/10). Is h at least -3?
False
Let z = 7.95 + -0.05. Let p = -3.1 - z. Are -1 and p non-equal?
True
Suppose 0 = 5*b + 2*f - 136, 5*b + 6*f - 145 = f. Suppose -b + 2 = 8*c. Does 3 = c?
False
Suppose 4*w + 100 = 112. Let z(v) = -v**3 - 6*v**2 + 5. Let j be z(-6). Suppose -w = -j*g + 7. Which is greater: -9 or g?
g
Let s be -1 - (5 - 4)*(1 - 1). Are s and 2/133 equal?
False
Suppose -8*q + 35 + 13 = 0. Suppose -10 = -q*j + 242. Is j at least as big as 43?
False
Let j be -6*(5/10 + 153/(-270)). Are 32/23 and j equal?
False
Let a = 69 + -347/5. Suppose 0 = -2*g + 1051 - 1053. Which is greater: g or a?
a
Let h = 170 - 147. Which is greater: 14 or h?
h
Suppose 5*v - 3*y = v + 43, y = v - 12. Suppose -6*t = -2*t + 44. Let a be (-35)/t - 4/22. Are a and v non-equal?
True
Let t = -927.7 - -974. Let p = t - 46. Which is smaller: p or -8?
-8
Let j = -22 - -27. Suppose 10 = -5*c + 4*d, -4*c + j*d - 10 = 7. Suppose 0 = -4*w - 0*w + t + 3, -23 = -4*w - 3*t. Is w at least as big as c?
True
Let m be (-1398)/(-4) - 185/(-74). Is m greater than 352?
False
Let k be ((-198)/(-2552))/(3/64*4). Let g = 4 - 4. Which is smaller: g or k?
g
Suppose 203*q - 218*q = 15. Is 723 smaller than q?
False
Suppose -5*t = 5*o - 0*t - 60, -2*t - 4 = 0. Suppose -3*j + 16 = -0*l - 2*l, -3*l + 2*j = o. Does l = -4/7?
False
Let t = 215 + -184. Is 1 > t?
False
Suppose -o + 3 = 12. Let j = o - -10. Let t be 4/7*4/8. Which is greater: t or j?
j
Suppose 3*t = -2*t - 3*l - 534, 0 = -4*t - l - 423. Let m = 169 + t. Let f = m - 511/8. Which is bigger: -1 or f?
f
Let z(s) = s**3 + 4*s**2 - 10*s + 12. Let b be z(-6). Which is smaller: -1/932 or b?
-1/932
Let u be 248/(-10)*19/((-380)/150). Do 186 and u have different values?
False
Let z = -2/19 + -15/38. Do -0.109 and z have the same value?
False
Let o be (-1*14/(-6))/((-8)/24). Is o >= 7/9?
False
Let u(p) = p**2 + 36*p + 186. Let n be u(-30). Is n at least as big as 26?
False
Let n be (-8)/(-448)*-12*252/16. Let d(a) = -3*a**2 + 2*a - 1. Let l be d(1). Which is greater: n or l?
l
Let m(r) = 10*r**3 - 2*r**2 - 2*r + 1. Let u be m(-1). Do u and 7 have the same value?
False
Let q = 1126 + -1144. Is q at least as big as -5?
False
Let a = -21 + 15. Let v = 7 + a. Which is greater: -5 or v?
v
Let w(g) = g - 3. Let z be w(4). Let p = 184 + -183.905. Let r = p - 0.065. Is r at least z?
False
Let j = -2/11 - -17/33. Let k = -22 - -26. Which is bigger: k or j?
k
Let t be 1 + (258/4)/(27/(-54)). Are t and -129 equal?
False
Suppose 4*p = 4, 2*p = 3*w - 1 - 15. Let h = 6 - w. Suppose 0*n + 5 = -n - 3*f, h = n - f - 11. Which is greater: n or 6?
n
Let j = -9847/7 - -1407. Do j and -552 have the same value?
False
Let z be (-91)/(-174) + 24/(-48). Suppose 3*v = 5*v + 2. Which is bigger: v or z?
z
Suppose 0 = -89*w + 11*w - 38142. Which is smaller: w or -490?
-490
Let c be (63/201)/(9/(-6)). Which is bigger: c or -1?
c
Suppose -14*m = -27 - 15. Let g = 9 - 5. Let d be 14/2 + (m - g). Is 6 greater than d?
False
L