Suppose 3*l = 4*s - o - 18, 3*s - 4 = -4*l. Which is smaller: -3 or l?
-3
Let p = -45 - -35.4. Let w = 81.6 + p. Let l = w - 74.1. Is -2/5 > l?
True
Let v(i) = 1037*i**2 - 12*i - 10. Let b be v(-1). Which is bigger: 1038 or b?
b
Let j = -245 - -1. Let k = -401 - j. Which is bigger: -156 or k?
-156
Let o = 152.75 + -1.75. Let n = -151.2 + o. Which is bigger: 18 or n?
18
Suppose 3*y = 11*q + 8, -4*y = -2*q + 6 - 4. Which is bigger: y or 2/5573?
2/5573
Suppose 2*a = 7*r - 4*r - 3, 2*a + 5*r + 11 = 0. Let g(k) = 42*k + 196. Let b be g(a). Is b at least as big as 70?
True
Suppose 22 - 49 = -14*v - 41. Which is smaller: 9/653 or v?
v
Let v be -164 - (7 - (-10)/(-5)). Let a = 1525/9 + v. Are 0 and a equal?
False
Let r = -257408/83 + 3101. Let v = -5251/18260 - r. Which is smaller: 1 or v?
v
Suppose 9*s + 1094 = -328. Let d = s + 139. Is -17 greater than d?
True
Let h = -0.043 + 0.263. Let t = 1.42 - h. Let x = 0.8 - t. Do x and -7 have different values?
True
Let c = 138/5 - 27. Let g = -71 - -145/2. Which is greater: g or c?
g
Let i be (9/(-36))/(2/664). Let x = i - -77. Which is smaller: -90/13 or x?
-90/13
Let j = 38.81 + -39. Let d(f) = f**3 + 8*f**2 - f + 38. Let l be d(-9). Let p be (-2)/4 + (-17)/l. Which is greater: p or j?
p
Let b(q) = -2*q + 1 + 10*q + 2 - q. Let y be b(-2). Let x = -10 - y. Is x bigger than -2/45?
True
Suppose -p = -4 + 3. Let k(q) = 5*q + 1. Let g be k(p). Let d = 0.0602 - -0.9398. Is g at least as big as d?
True
Let v be ((-75)/(-210))/((-30)/24) - 368/(-1582). Is 9 < v?
False
Suppose 3*d = i - d + 13, -2*i + 4 = 2*d. Let v be (2 - -2 - i)*(-24)/20. Let r be (-7 - v)*2/(4 + -2). Which is greater: -11/9 or r?
r
Suppose 2*a = 4*t + 16, 7*t - 5*t = 2*a - 14. Suppose -a = 2*v, n + v - 2*v = 37. Are n and 31 non-equal?
True
Let g = 4.299 - 5.299. Which is bigger: -262.6 or g?
g
Suppose 2*c - 13 = 3*m, -5*c + m + 23 = -2*c. Let h be ((-96)/(-12))/c*2/(-6). Which is greater: h or -1/4?
-1/4
Suppose -19*q - 17*q = -5760. Suppose q*p - 163*p + 198 = 0. Which is smaller: p or 63?
63
Suppose 2*n + 10 - 16 = 3*m, 4*m = 5*n - 15. Suppose 8*o = 3*o - n*t - 228, -2*o - 3*t - 84 = 0. Let p be 3*40*4/(-10). Does o = p?
True
Let z = 1.12 - 61.32. Let b = z - -60. Which is smaller: b or -116?
-116
Let n = -9647.89 - -9648. Let i be 5/(-2) - 3/(-6). Let w = i - -1. Which is greater: w or n?
n
Suppose 0 = -17*g - 84 + 228 + 519. Are g and 39 unequal?
False
Let n = 52 + -56. Let w be (((-240)/(-39))/n)/14. Which is bigger: 1 or w?
1
Suppose 0 = 2*i - 8, 23 + 20 = -3*o + i. Which is smaller: 6 or o?
o
Let l = -20 + 36. Suppose -2*s + 6*s - 300 = 0. Suppose -s = -5*x - 5*d, 2*d + 35 - 11 = x. Is l <= x?
True
Let h = 241/9042 + 1/274. Suppose a - 300 = 2*l, a - l = -101 + 405. Let f = -308 + a. Which is bigger: f or h?
h
Let l be -4 - 554*(-72)/(-44). Let i = l + 907. Is -3 smaller than i?
False
Let v(t) = -4*t + 4. Suppose -8*k + 8 = -0*k. Let s be v(k). Suppose s = 6*d - 3*d. Which is greater: d or 3/10?
3/10
Suppose -36686*q = 5*x - 36690*q - 315, -5 = -x - 5*q. Let y = 1948/3 + -1784/3. Which is smaller: y or x?
y
Let b(c) = -14*c - 126. Let t be b(-9). Let k = 107 - 274. Which is greater: t or k?
t
Let w(p) = 25*p**2 + p + 1. Let v be w(-1). Let n(a) = 11*a + 78. Let z be n(-3). Suppose -50*r - v = -z*r. Do -0.03 and r have the same value?
False
Let o be 20/(-168)*-6 + 289255/(-405055). Which is smaller: -1 or o?
-1
Let t = 30263/65 + -2321/5. Let u = t - 368/247. Is -8/3 bigger than u?
False
Suppose -7*h - 640 = 121*h. Which is smaller: h or -55/14?
h
Let m = 135 + -681/5. Let o = -4093/742 + 6/371. Which is bigger: o or m?
m
Let m = 5204 + -5244. Is -26 less than m?
False
Let v = 57 - 57.051. Let x = 0.06 + v. Let j = x - 1.009. Is 0 bigger than j?
True
Let y be -3*(-66)/(-9)*(-4 + 2). Let p = 59 - y. Let o be (-10)/p - 5/(-3). Is o > 30?
False
Let p = -1.2 - -1. Let u = 309 + -308.527. Let h = u + 1.927. Which is smaller: h or p?
p
Suppose 3*z - 2020 = -4*x, -4*z - 586 = 5*x - 3110. Suppose -18*s = x + 1598. Do s and -117 have the same value?
True
Let y = -901 - -501. Let b = -697 - y. Are b and 1 non-equal?
True
Let u = 3539 - 1564. Which is bigger: 1973 or u?
u
Let w(p) = p**3 - p. Let a be w(0). Let n = -1.0299 - 171.9801. Let z = 173 + n. Is a less than or equal to z?
False
Let r be 1*(-5)/(-10)*94. Suppose -4*u + 29 + r = 0. Suppose -u = 3*c + 35. Is -16 >= c?
True
Let k = 3615 + -3647. Is -49 less than k?
True
Suppose -5*n + 2*n = -6. Let h = 107 - 99. Let q be (0 - 2) + (4 + h)/4. Is q >= n?
False
Suppose 24*t = -574 + 790. Suppose 3 + 57 = 4*o - 4*s, -3*o = 4*s - 10. Suppose -2*q + o + 6 = 0. Which is smaller: q or t?
q
Let z(j) = 0*j + 9*j - 31*j - 47 - j**2. Let u be z(-19). Is 11 at least u?
True
Let b be 1/12*((-389 - 7)/(-18) - 12). Which is smaller: -1597 or b?
-1597
Let m(c) = 2694*c - 16. Let t be m(1). Suppose 0 = -20*v + t + 302. Is v smaller than 150?
True
Let x be (-2)/11 - (-342)/66*1. Let o be -2*(x/(-2) + 2). Which is smaller: -4/41 or o?
-4/41
Let r = -70 - -11. Let s = 87 + r. Let n = 30 - s. Is n < 0.22?
False
Let t = -1035 + 727. Let g = t - 113. Is -421 at most g?
True
Let m(i) = 193*i - 6976. Let p be m(36). Is p greater than 37?
False
Suppose -3*k = 204 + 147. Let j = 81 + k. Suppose 54 - 5 = -2*v + 5*i, v + 2*i = -47. Is j greater than or equal to v?
True
Let z = -16085/4 - -4021. Is z at most as big as -19?
False
Let t be -3 - (1 + 191/(-142))/(831/7202). Which is greater: t or -1.5?
t
Let x be -4 - (-207)/45 - (-27762)/(-70). Which is smaller: -5/4 or x?
x
Let m = -9006/13 - -6925640/9997. Is m not equal to 0?
True
Let g be (36/8)/(9/30). Let n be (g/140)/(45/24). Which is greater: -1 or n?
n
Suppose 4*s + 17 = 1. Let a be (-108)/s*(-1)/((-1)/(-1)). Let p be (-4*a/2)/(-3 + 2). Is p less than -55?
False
Let x be (-279)/(-155)*(-23)/11. Let g = -70/11 - x. Let i = -2.8 + 3. Is i at least g?
True
Let l = 42.781 + -43. Let u = -0.079 - l. Are -1 and u non-equal?
True
Let p be (165/(-132))/((-5)/8). Suppose q - p = o - 0, q - 5*o = 6. Is -5.2 > q?
False
Let y = 133357/6 + -22226. Let z = 2 + -3. Which is bigger: z or y?
y
Suppose k = k + 20*k + 53700. Is k < -2681?
True
Suppose 11*t = -0*t. Suppose -8*f - f - 4*f = t. Which is greater: -4/57 or f?
f
Let h(g) = 2*g**2 + 107*g - 461. Let v be h(4). Let p = 21 - 15.8. Let w = p - 5. Which is smaller: w or v?
v
Suppose -48*n = -51*n + 47*n + 20240. Is n equal to -443?
False
Suppose -y - 4*z = -13, 15 = 5*y - 3*z - 2*z. Suppose y*p - 14 = -19. Let v be ((-4)/32)/((-3)/4). Which is smaller: v or p?
p
Suppose 18355 - 18307 = -48*y. Which is smaller: -13/246 or y?
y
Let o be 2/(-4) - 43/(-2). Let a = 354 + -352. Suppose -8*j = -a*j - 126. Is j greater than o?
False
Suppose 991 - 948 = -43*a. Is -20/869 >= a?
True
Suppose 4*i + 1344 = 2*s, 0 = -3*s + 5*i + 619 + 1402. Let v = 681 - s. Is v equal to 103/8?
False
Let n(v) = -v**3 + 6*v**2 + 15*v - 8. Let x be n(10). Let c = x + 259. Which is smaller: 0 or c?
0
Let o be (-392)/735*11030/40. Are 0.1 and o nonequal?
True
Suppose 4*y - 10*q = -14*q + 156, 0 = -2*y - 4*q + 68. Let u = -26.1 + -5.9. Let w = 31.9 + u. Which is smaller: y or w?
w
Let s = -85 - -98. Suppose 0 = 15*o - 25*o + 160. Which is smaller: o or s?
s
Let j be (-1 - -1)/(-8 - -9). Let k be (j - 3) + (-77)/(-42). Suppose 713*m = 722*m. Is m less than k?
False
Let h be 8/(-12)*(370 - 22). Which is smaller: -224 or h?
h
Let z(m) = 53*m**3 + 15*m**2 - 52*m - 257. Let a be z(-6). Is a at least -10852?
False
Suppose -97*u + 187 = -172*u + 92*u. Is u greater than 8/3?
True
Let v be 5 - 138/(-8) - (-10 - -5 - -8). Is v at least as big as 19?
True
Let v = -167 - -167. Suppose -d - 1 - 1 = 0. Let w be (d - -1)/((-200)/(-24)). Which is smaller: v or w?
w
Let o(h) = 2*h**2 - 10*h + 8. Let f be o(5). Suppose 342 = 5*u - 3*y, 3*u + f*y - 212 = 3*y. Are 68 and u nonequal?
True
Let n be (-18785)/(-11) - 33/(-66)*2/(-1). Which is smaller: n or 1707?
n
Suppose 3*o - o - 9 = b, -b + 21 = 4*o. Suppose o*r + 4*u = -167, -4*r = r - 3*u + 146. Let a = -327 - -298. Is a smaller than r?
False
Let t = 5315017 + -15960995803/3003. Let o = 2/91 - t. Which is smaller: o or 1/13?
o
Let d be 3/2*(-2486)/(-2712). Which is bigger: d or -128?
d
Let u = -469 - -471.2. Let f be -3 + -1 + 