alue?
False
Suppose -2*h - 3*o - 3 = -8, 2*h - 3*o = -13. Let m be ((h/1)/(-1))/2. Is m smaller than 1/42?
False
Suppose -5*s + 561 = -4*u, -5*u - 731 = -10*s + 8*s. Which is greater: 2 or u?
2
Let k = 137.2 - 139. Let g = -0.17 + 8.97. Let x = g + k. Which is bigger: x or 0.1?
x
Let d be ((-3)/(-4) - 2)*-4. Suppose -40*w + 21*w + 76 = 0. Suppose w = -5*a + h + d, -3*a + 23 = 5*h. Is a < -4?
False
Let v be 1 - (1 + -1) - -18. Suppose 2*i = -5*q - i, 2*q + 5*i = v. Let g(j) = -j**3 - 2*j**2 + 5*j + 5. Let x be g(q). Which is smaller: -6/5 or x?
-6/5
Let a = 0.1 - -3.9. Let h be (-12)/3 - -7 - -408. Let g = 408 - h. Is a equal to g?
False
Let y(r) = -318 + 7*r**2 - 322 + r**3 + 645 + 9*r. Let h be y(-6). Suppose 0 = 5*d - 4*f + 10 + 38, -4*f = 3*d + 48. Which is bigger: h or d?
d
Suppose -3*x + 10*b = -17, 30*x - 29*x - b = 1. Which is bigger: 2.761 or x?
2.761
Let q = 91 + -87. Suppose b - g = 3*b, -4*g = -q*b. Let c = 1153/1888 - 19/32. Is b at most as big as c?
True
Let q be (-4)/(-219)*(891/18 - 51). Let l be (-4)/(-2) + 1*-5. Let b be (0 - (0 - l)) + 2. Which is smaller: q or b?
b
Let b = -1.10446 - -0.10446. Let j = -5.7 + 87.7. Are b and j equal?
False
Suppose 26 + 1301 - 88 = 7*z. Which is smaller: z or 1407/8?
1407/8
Let a(x) = -x**2 - 6*x + 4. Let i be a(-8). Let z be (-4)/i*-2*3. Let p be (-3)/51*10/z. Are p and 1 unequal?
True
Let u(g) = 2*g + 26. Let c be u(9). Let r = c + -42. Suppose 2 = r*s + 3*a - 5, a + 11 = 2*s. Which is smaller: s or 6?
s
Suppose 0 = b - 5*q + 7, q + 11 = 5*b - q. Let i be (-2)/4*6/b. Which is smaller: i or -1/117?
i
Let n be 1559440/6262 + 1/(-31). Is n equal to 2729/11?
False
Let z = -10/1987 - 377400/25831. Suppose 23 = -2*x - 5*k, 2*k - 27 = 3*x + 17. Is z smaller than x?
True
Let c be (-16)/(-12)*(-12)/(-30)*315/(-56252). Are c and -1 non-equal?
True
Let l = 1 + 0. Let h = -5/882 - -13/441. Which is smaller: h or l?
h
Let w be (((-36)/(-4))/198)/(471/(-438) + 1). Is 0 <= w?
False
Let j = 5183/7 - 739. Let m be (-13 + 13 + 8/2)/30 - (-1)/(-12). Which is greater: m or j?
j
Let n(z) = 3*z**3 + 7*z**2 + 6*z + 1. Let m be n(-1). Is m equal to 3/2462?
False
Let a = 0.726 - 0.126. Let f = 0.2 - a. Which is greater: f or 34?
34
Let c = 60 - 45. Let s be 6/c + 4/(-10) - -2. Let y(l) = l - 2. Let p be y(s). Which is smaller: p or 4/19?
p
Let m be (4/10)/(-1*6/15). Let y be 0*m/5*-5*1. Is y equal to 4/11?
False
Let o be ((-7 + -1)*-2)/1 + -7 + 3. Is 336/29 <= o?
True
Let j be (-32)/48 - (-4)/3. Let u be (3/(-11))/((-18)/32). Let x = j - u. Which is smaller: x or 8/3?
x
Let r be (-2)/(((-1371)/(-2260))/3 + (-9)/45). Is r > -905?
True
Let l be (75/30)/(35/7532). Is -7 bigger than l?
False
Let k(c) = -3*c**3 - 5*c**2 + 6. Let q be k(-4). Suppose 2*j + q = 3*j. Let h = j - 114. Which is bigger: h or -5?
h
Let u(x) = -7*x + 253. Let v be u(36). Which is smaller: v or 2/1149?
2/1149
Let a be (-15)/(-3) - -16101*(-6)/19314. Let s = -10756/13949 - a. Suppose 1 + 1 = -o. Which is smaller: s or o?
o
Let g = 3607 + -3605. Is g at least -3678?
True
Suppose -36*i + 17007 + 10688 = -7*i. Which is bigger: 950 or i?
i
Let j(r) = -r**3 - r - 1. Let c(d) = 4*d**3 + 6*d**2 - d + 14. Let u(t) = -c(t) - 3*j(t). Let y be u(-7). Which is smaller: -0.1 or y?
-0.1
Let i = 37679/2600 + -1503/104. Suppose -2*p + 1 = -2*g + 3, 5*g = -3*p + 5. Let n = -1 - p. Which is greater: i or n?
i
Suppose 633*u - 63 = 624*u. Suppose -11*q = u*q + 216. Is q at least as big as -16?
True
Suppose 8 = 8*y - 10*y. Let l = y - -18. Suppose l*k - 8 = 18*k. Is k smaller than -3?
False
Let r = -244801/4 - -60684. Let q = r - -518. Let h = -7 - -5. Which is greater: h or q?
q
Let x(f) = -f**2 + 2*f + 12. Let c be x(4). Suppose -2644 = c*r - 0*r - g, -g = 0. Let o = r + 31066/47. Are 1 and o equal?
False
Let y = -280 + 260. Let q be ((-10)/(-1))/(y/(-100)). Which is bigger: -0.4 or q?
q
Suppose -16*q - 27 = -19*q. Suppose -2*n - q*a + 13*a - 134 = 0, -5*a - 242 = 4*n. Which is smaller: n or -65?
-65
Let h = -114 + 113.818. Let g = h + -4.328. Let n = 4.5 + g. Do n and 6 have the same value?
False
Let g(c) = -c + 2. Let u be g(4). Let s be u/(-4)*(-4 + 2). Let z = -131844 + 131967. Is z less than or equal to s?
False
Let b(o) = 2*o**2 - 4*o - 13. Let h(p) = p**2 - 2*p - 7. Let n(y) = 4*b(y) - 7*h(y). Let q be n(3). Let l be ((-42)/168)/(5/8). Is q > l?
True
Suppose -17*v = -14 - 3. Does 9/593 = v?
False
Let z be 8/20 - (-190)/25. Suppose z*r + 168 = -168. Which is smaller: -43 or r?
-43
Let l be -2314 + (1 + 10 - 4). Let z = 11339/5 + l. Are z and -38 unequal?
True
Let n be 15/(4 - (2328/(-774) + 7)). Are n and 1936 unequal?
True
Let c(f) = f**2 + 5*f - 1. Let y be c(-6). Suppose -2*m + y*k + 8 = -2, -k = 3*m - 15. Let z be 0 + -1 + 23/m. Which is bigger: z or 5?
5
Let n = 967 - 923. Let z = 45.47 + -0.47. Let y = z - n. Which is smaller: 3 or y?
y
Let w = -4764 + 4752.78. Which is bigger: w or 0.3?
0.3
Let f be (-2)/(-2) - (-2)/(-8). Let z be (3/6)/((-1 - 2)/18). Let j be (-1)/z - (10 + 45/(-5)). Which is bigger: j or f?
f
Let y(g) = 1651*g**2 + 16*g - 12. Let t be y(2). Which is smaller: t or 6623?
6623
Let x(l) = 3*l**2 + 24*l - 96. Let u be x(4). Let g(n) = -n**3 + 49*n**2 - 45*n - 144. Let r be g(u). Which is smaller: r or -4/233?
-4/233
Let q = -2641 - -2641.1. Does q = -0.121?
False
Let o = 3577 + -3567. Let m = -12 + 10. Let q = m - 0. Which is greater: q or o?
o
Suppose -16*w - 56 + 104 = 0. Let b be 3022/604 - 2 - 9/w. Which is greater: 1 or b?
1
Let t = -19769 + 19205. Is -563 bigger than t?
True
Let a be (2/(-6))/((-3)/27). Let d = a - 2. Let l = -1724 - -25858/15. Is l at least as big as d?
False
Let f(j) = 18*j + 237. Let b be f(-7). Suppose -2*k = b*q - 110*q + 6, k + 3 = -3*q. Is q at least as big as 73?
False
Let m = -659/17808 + 6/371. Let o(n) = -n - 2. Let p be o(-4). Suppose 0 = -k + 5*l - p*l - 16, l - 6 = k. Which is smaller: m or k?
k
Let y = 0.36 + -0.69. Let l = -0.24 - -0.1. Let k = l - y. Are k and -2/3 unequal?
True
Let s = 1/20 + 29/220. Let r = 17 - 12. Suppose -9*v - 4 = -r*v. Which is smaller: v or s?
v
Let z be ((-4)/8)/(387/(-54) + -2 + 9). Let x be 548/434 - 4/(-14). Which is greater: z or x?
z
Let b = -385 + 277. Let w = 108.03 + b. Let f = 2 + -2.1. Is w greater than f?
True
Suppose -14*w = -16*w. Suppose 2*n - 14 + 8 = 0. Suppose 5*q + 0*h - 14 = -2*h, -q + n*h = 4. Is w at least q?
False
Suppose -9*a = -19*a + 20. Suppose -5*t + 11 = -r - a*t, -5*r + t - 41 = 0. Which is smaller: -23/3 or r?
r
Let s = -20 - -9.5. Let d = -11 - s. Let p be (-26)/(-8) + (-112)/32. Which is smaller: d or p?
d
Suppose 136 = -266*a + 130*a. Which is smaller: a or -1/7918?
a
Suppose 0 = -5*j - 25, 2*j - 129 = 3*v - j. Suppose 2*f + 3*f + 120 = 0. Let u be f/(-210)*5/(-2). Which is bigger: v or u?
u
Let t be (-88)/(-12) + 4/6. Let z(p) = 7*p**2 - 18*p - 43. Let d be z(16). Let i = d - 5815/4. Which is greater: t or i?
t
Suppose 3*o + 2*o = 20. Suppose o*m + 30 = 5*i, -4*m + 2 = -4*i + 30. Suppose -3*y - i*y - 2*n - 2 = 0, 3*n - 12 = 0. Which is smaller: y or 0.9?
y
Let l = 64819/638 + 635/58. Which is smaller: 114 or l?
l
Suppose -1122*v + 1068*v = 54. Which is smaller: v or 6/737?
v
Let h be (5/(4/(-4)))/(-1). Let q be (-39)/(-65) - (-2 - 247/h). Is 44 < q?
True
Let k be (-132)/242 + (-5)/(-110). Which is smaller: -1576 or k?
-1576
Suppose -42*k + 180 = -12*k. Suppose k*n = -2*n - 20*n. Which is bigger: n or 6/17?
6/17
Let q = -78146/15 - -5208. Are q and -3 equal?
False
Let s(u) = 4*u - 12. Let v be s(3). Suppose 503 = 5*g + 3*b, v*g + 401 = 4*g + b. Suppose -11*a + 16*a + g = 0. Which is greater: a or 1/2?
1/2
Let c be 26/(13520/204020) + (-2)/(-13). Which is greater: -2 or c?
c
Suppose -f = f + 66. Let r = f + 33. Let y = r + -3. Which is smaller: y or -5?
-5
Let z(c) = -31*c**2 + 65*c - 211. Let l be z(3). Is -294 > l?
True
Let j = 2714/9 + -168247/558. Which is smaller: j or -1?
-1
Let b = -271.11 + 286.8. Let g = -0.31 - b. Is g smaller than -0.4?
True
Suppose 5*k = -5*z + 10, 10*k = 13*k. Suppose -d - 2 = -5*u, -4*u - d + 2 = -z*d. Is u smaller than 6/329?
True
Let p = -0.71 - 39.29. Let d be (-9)/(-12) + 14/(-168). Is p > d?
False
Let u be (351/(-65))/(1/9). Suppose 209 = -6*h - 79. Let g = u - h. Which is bigger: g or -0.2?
-0.2
Let c b