**2 - 3*z - 1. Suppose 23*d + 72 = 11*d. Let x be o(d). Which is smaller: -18 or x?
x
Let i = 397 - 1983/5. Which is greater: -44 or i?
i
Let s = -0.3588 - -0.1588. Which is bigger: 1/70 or s?
1/70
Suppose 0 = -2*f + 5 + 1. Let g be 3*-6*(-5)/(-140)*-4. Is g less than or equal to f?
True
Let o = 6/59 + 843/413. Which is smaller: 1 or o?
1
Suppose -5*r + 12 = -r, 2*v + 3 = -3*r. Suppose -m - 23 + 17 = 0. Is m > v?
False
Let j = -46 - 8. Let k = j + 54.06. Which is smaller: 1 or k?
k
Suppose -2*d + 3 + 5 = 0. Let l be d*(5/(-2) + 3). Let j be l - ((-22)/(-18) + 1). Which is bigger: 0 or j?
0
Let y = -545.9 + 547. Which is bigger: y or -22?
y
Let n = -1093 + 1089. Do n and 2 have different values?
True
Let f = 8/69 - -5/23. Let c = 0.426 + -0.046. Is c greater than or equal to f?
True
Let k = -13 + 13. Suppose k = 4*s + 20, -3*h - 5*s = -h + 25. Let z = 0 - h. Is z at least as big as 0?
True
Let u = 0.86 - 34.86. Let v = u + 33.9. Which is bigger: 4 or v?
4
Let a = 4 + 2. Let m be a/9*(-5 - 1). Let u be -1 + (8 - 4) + m. Which is bigger: 0 or u?
0
Let b(m) = 3*m**2 - 3*m + 1. Let r be b(1). Let n(d) = -d**2 - 10*d + 2. Let z be n(-10). Suppose j = 1 - z. Is j less than r?
True
Let r = 5110/3 - 1766. Let v = -62 - r. Let n = -170 - -171. Which is smaller: n or v?
v
Let w = 17 + -45. Let u = w - -39. Is u bigger than 11?
False
Let a be 8/6 + (0 - (-37510)/(-28083)). Which is bigger: a or 0?
0
Let k be (3 + (-220)/(-4))/(-2). Let m = k - -34. Suppose 2*b + m*g - 13 = -3, -5*g = -5*b + 95. Does b = -1?
False
Suppose -3*d = -0*i + 2*i - 18, -d = -i - 1. Suppose -5*y - 5*a = -i*a, -4*y + 2*a = 0. Which is bigger: y or -2/297?
y
Let l(m) = -21*m - 1. Suppose 14*i - 2 = 16*i. Let s be l(i). Suppose 6*o = 2*o - s, 3*y = 3*o + 21. Is y < 4?
True
Let d = 54.062 + -54. Let n = d + -0.022. Which is smaller: n or -3?
-3
Let m = -3/421 - 1257/842. Which is bigger: -48 or m?
m
Suppose -3*m + 2*b + 16 = 0, 0*m = 4*m + 3*b + 7. Suppose t = -m*t. Suppose 12 = -g - 3*h - h, -3*g + 5*h + 32 = t. Is g < 3?
False
Let k = -0.17 + -2.83. Let b = -0.42 - -0.27. Let n = b - -0.35. Is k equal to n?
False
Suppose -3*l = -0*l - 75. Let x(k) = 7*k**2 + 7*k + 11. Let b be x(-2). Is b at most as big as l?
True
Let d(j) = -2*j + 74. Let q be d(33). Which is greater: 9 or q?
9
Suppose 0 = -5*f - 12 - 8. Let u be (-1 - f) + (-1 - -2). Suppose 2*v = -2*c + 16, 5*c = -u*v + 3*c + 28. Which is bigger: v or 8?
8
Let x = 591 - 515. Is 74 smaller than x?
True
Let v = 36 - 33. Is 6 less than or equal to v?
False
Let k = -1207/7 + 173. Let r = 31 + 55. Let y = -85 + r. Is k bigger than y?
False
Suppose 2*s + 3*x - 179 = 0, -4*s - 4*x + 6*x = -382. Is s less than 93?
False
Suppose -18 = 3*p - 2*p. Suppose 174*u + 247 = 161*u. Is u less than p?
True
Suppose -19 = -5*f - 14. Let q(s) = -13*s - 4. Let t be q(-3). Let j be 15/t + (-51)/105. Is j >= f?
False
Suppose -2*q + 4 = -4. Suppose 20 = q*u - 3*g, -5*u + 20 = -u + 4*g. Suppose 6 = -u*z + 1. Which is bigger: z or -2?
z
Suppose -t - 5*t + 660 = 0. Which is smaller: t or 108?
108
Let d be -6*(2/(-8) + (-899)/(-116)). Is -43 at least d?
True
Let m = -41/15 - -7/5. Suppose 68*c - 65*c = 0. Is c != m?
True
Let r be (-3)/(-15) + 198/10. Let q be (r/50)/(286/(-10)). Are 0 and q unequal?
True
Let v be (-13177524)/5820 + (-2)/(-10). Let j = v - -2264. Which is greater: j or 0?
j
Let c = -195/8 - -1359/40. Let s = c - 538/55. Suppose 4*h = -5 + 1. Are s and h nonequal?
True
Let l = 218 + -215. Suppose 3*o + 2*o - 25 = 0. Suppose -l*x = 50 - o. Which is smaller: -16 or x?
-16
Let w = 0 + 0. Let f be -11 + 10 + (11 - 1*-1). Let h be (f/99)/((-8)/(-6)). Are h and w non-equal?
True
Let d(k) = 233*k - 700. Let h be d(3). Let l = -2 - 10. Let u = -12.9 - l. Which is greater: u or h?
u
Let m(b) = b**3 - 4*b**2 - 20*b + 82. Let i be m(8). Are 0.2 and i equal?
False
Let s = -342/5 + 68. Let c = 50 + -36. Let w be 14/20*8/c. Does w = s?
False
Let x = 0.12 - 11.12. Let t = 1145/3 - 382. Which is smaller: x or t?
x
Let u = -118 + 123.1. Let h = u + -21.1. Which is smaller: 0 or h?
h
Suppose -4*x + 3*u + 586 = 0, -x - 2*u + 182 - 41 = 0. Which is bigger: x or 143?
x
Let p = 496 - 524. Suppose 0 = -x + 2*g - 35, -g + 120 = -4*x + 2*g. Which is bigger: p or x?
x
Let p = 15 - 14. Let z = -6 + p. Let c(y) = -y**2 - 4*y - 5. Let a be c(z). Is a at least as big as -9?
False
Let z(w) = w**3 - 9*w**2 - w + 8. Let m be z(9). Let t be (8 - 9)/(2/(-78)). Let n be t/(-26) - 34/(-20). Are m and n nonequal?
True
Let l = 22.71 - 22.59. Is -0.15 at most l?
True
Let v = -1.38 + 1.5. Let y = -4.88 + 4. Let f = y - v. Which is greater: f or 3/2?
3/2
Suppose 54*a - 58*a + 260 = 0. Let p = 3 - a. Which is bigger: p or -63?
p
Let r be (-7 - (-231)/35) + (-2954)/(-10). Which is bigger: 294 or r?
r
Let s = 8.8 - 9. Let w = s + 0.02. Let q = -0.08 - w. Is q != -0.1?
True
Let n = 95862577/56 - 1711788. Let v = n - 321/7. Is -3 at most as big as v?
True
Let y = 94 - 62. Which is smaller: 30 or y?
30
Let w = 385/2 + -193. Do w and 0 have different values?
True
Suppose 0 = -134*s + 125*s - 333. Is -33 at least as big as s?
True
Suppose -81 = -4*l - 5*l. Does l = 8?
False
Let d(b) = b**3 - b + 291*b**2 - 273*b**2 - 15 - 1. Let s be d(-18). Is 3/2 greater than or equal to s?
False
Let i = 0.0628 - -1.9372. Is 17 < i?
False
Suppose 1048 = -5*q - 47. Let f = q - -467/2. Is f <= 16?
True
Suppose 5*l + 465 = -5*h, 5*l + 5*h - 81 = 6*l. Which is smaller: -88 or l?
l
Let o be 426/4*(-24)/72. Which is smaller: o or -37?
-37
Let v = 5 + -5. Suppose -4*r - 4 = v, -67 = 3*g - 3*r - 1. Which is smaller: g or -22?
g
Let j be (-4)/34 - -15*(-176)/680. Which is greater: j or -13/5?
-13/5
Let k = -37 - -34.25. Let l = -0.75 - k. Which is smaller: l or -1/3?
-1/3
Suppose 8*v + 25 = 3*v. Let q = v - -2. Let w be 2/q - 116/(-12). Is 9 equal to w?
True
Let c be -1*((-5)/2 + 2). Let k = 19.9 + -3.3. Let w = k + -15.6. Which is smaller: w or c?
c
Let l = 7 + 2. Suppose 14 = -4*j - 2*r, -3*r + l = -6*j + 2*j. Is j greater than -5/2?
False
Let x = -8375/11 + 759. Is -2 greater than or equal to x?
True
Let t be 2/(-6) + 2/6. Suppose -5*z + 330 = -11*z. Let w be 132/z + 6/15. Are w and t equal?
False
Let b = 5729/78 - 147/2. Let l(f) = -5*f**2 - f + 4*f**2 - f**2. Let y be l(-1). Is y greater than b?
False
Let q be (-8)/(-6)*(17 + -11). Let g = 19 - q. Let f = g - 15. Which is greater: f or -5?
f
Let z = 0.2252 + -0.0252. Let d = 1.7 - 1.6. Which is smaller: z or d?
d
Let f = 17 - 16. Let u = 1 - -5. Suppose 5*y - 25 = 0, -s + 5*y - u - 18 = 0. Is f bigger than s?
False
Suppose 0*f + 5*t + 15 = 5*f, 0 = 3*f + 5*t + 23. Let v be 10/(-40) + f + 0. Which is smaller: 0 or v?
v
Let y = 0.2 + -0.01. Let b = 118.2 - 118. Is b less than y?
False
Suppose -2*f = 2*f + 3120. Let w be 6/(-10) - f/50. Let l = 9 - w. Is -5 >= l?
True
Let c = -2186/85 - -138/17. Is c at most -19?
False
Let a = -6 + 17. Suppose 5*n + 13*q - 12*q = 57, 2*q + 40 = 4*n. Is n less than a?
False
Let q = -0.1 - 0.6. Let z = -25.9 + 27. Let l = z + q. Which is greater: 1 or l?
1
Let c = 208 + -198. Is 16 at least as big as c?
True
Suppose 22*j = 23*j + 2. Let r be j/12*18/(-3). Let v(m) = -m**2 - 4*m - 1. Let q be v(-2). Is q less than r?
False
Let y(c) = c**3 - c - 1. Let s(k) = -k**3 - 5*k**2 + 7*k + 5. Suppose -13 - 17 = 5*t. Let z be s(t). Let n be y(z). Is -1/18 less than n?
False
Let l = 72 + -362/5. Suppose c + 2*c = 0. Which is smaller: c or l?
l
Let p be 6 - 7 - (-6)/4. Let v = -8.6 + 2.6. Is v at most as big as p?
True
Let o(v) = 5*v + 31. Let y(f) = 15*f + 93. Let k(p) = 8*o(p) - 3*y(p). Let w be k(-5). Is -12 >= w?
False
Let m = -8 + 7. Let y(o) = -o**2. Let k(x) = -4*x**2 - 3*x + 2. Let w(u) = -k(u) + 6*y(u). Let l be w(1). Is l <= m?
True
Let n = 0.21 - 0.01. Let f = 82 + -101. Which is greater: n or f?
n
Let q be (-1)/76*(-3)/(255/136). Which is smaller: 15 or q?
q
Let l be 8/(-16) + (-24)/(-16). Which is smaller: l or -2/1307?
-2/1307
Let j = 58 - 57. Let i = 7 - j. Is i less than or equal to 2?
False
Suppose -f = 1 - 4. Let a be (-4 - (-12)/f)/(2/(-2)). Is 1/5 > a?
True
Suppose 3*o - 3*w + 95 - 29 = 0, -2*o - 79 = 5*w. Which is smaller: o or -35?
-35
Let b be 0/(-1) + 3/12. Suppose 0 = 7*t - 60 - 3. Suppose -t = 7*w - 2. Which is bigg