o or t?
o
Let c be (-5 - -4 - -6) + -8. Let y(a) = -a**2 - 7*a + 4. Let p be y(-8). Let z = p - c. Do z and -1 have the same value?
True
Let c = 0.02 - -27.03. Let q = 27 - c. Which is smaller: -3 or q?
-3
Let n be (-68)/6 + (-1)/(-3). Let s(w) be the first derivative of 7*w**2/2 + 58*w + 44. Let r be s(-10). Does n = r?
False
Let j = 14 + -22. Let a = -3 - j. Suppose a*c - 2*b + 1 = 0, 4*c - 3*b = -2 - 3. Which is greater: -1 or c?
c
Let r = -334.035 + 334. Is r bigger than 4?
False
Suppose -2*h + 5*o + 641 = 0, h + 119 = 3*o + 438. Which is bigger: h or 327?
h
Let j = 9/62 - 5/248. Which is greater: j or -1?
j
Let t = -0.76 + 0.49. Let s = -0.32 - t. Which is greater: s or -0.2?
s
Let p be 8/(-24)*(-30)/(-10). Is -2/99 != p?
True
Let y = 99 + 319. Let a be (7212/207)/((-1)/12). Let h = a + y. Which is smaller: h or -1?
-1
Let o be (2*(-106)/4)/(-1). Let s = 53 - o. Is s <= 15/11?
True
Let c(p) = 4*p - 7. Let g(i) = 3*i - 6. Let x(r) = -2*c(r) + 3*g(r). Let t = -19 - -21. Let o be x(t). Which is bigger: o or -5/2?
o
Let t be 12/21 - (-99)/35. Let h = t + -18/5. Is -2/11 equal to h?
False
Let w be (6/9)/((-4)/102). Let h = -16 - w. Let j be 1/(11*(-2)/4). Is h greater than j?
True
Let i = 2980/2867 + -66/61. Is i greater than -35?
True
Suppose -4*j = -2*t + t + 708, 0 = -j + 2*t - 184. Is -175 at most as big as j?
False
Let t be -12 + -2*(-3 + 4/4). Let j be (t/(-28) + 12/7)/2. Which is smaller: j or -4/53?
-4/53
Let m be (-3)/(-2) - (2 + -1). Let j = -46 - -137/3. Which is bigger: j or m?
m
Let n(l) = -2*l**3 - 3*l + 9. Let f be n(3). Let h = 82 - 134. Does f = h?
False
Suppose 0 = 7*x - 2*x + 25, -2*z + 2*x = -88. Is 37 > z?
False
Suppose f = 3*o - 29, -5*f - 3*o = -7*o + 112. Is f less than or equal to -59/3?
True
Let w = -5.6 + 5.7. Is w less than -250?
False
Suppose -123 = -3*f + 3*w, 0*w + 56 = f + 4*w. Is 45 less than or equal to f?
False
Let k be 241/332 + 15/(-20). Let l = k + 87/166. Are l and 7 unequal?
True
Suppose 4*c + 2*o = o + 3, 3*o - 9 = 0. Suppose 0 = 9*f - c*f + 27. Which is smaller: f or -16/7?
f
Let t be ((-3)/6)/1*2*-43. Let b = t + -63. Which is greater: -22 or b?
b
Let w(m) = m**3 + 21*m**2 + 20*m. Let a be w(-20). Which is smaller: -4/13 or a?
-4/13
Let d(c) = -4*c**2 - 14*c + 52. Let v be d(10). Which is bigger: -489 or v?
v
Let x(w) = w**3 + 31*w**2 + 8*w + 252. Let f be x(-31). Which is bigger: 14 or f?
14
Let r be (15/13 - 4/26)/30. Let v(i) = i**3 + i**2 - i + 1. Let c be v(1). Are c and r equal?
False
Let l be 34/10 - (-26)/(-65). Suppose -l = -d - 2. Let t be (0/4*1)/(-2). Do t and d have the same value?
False
Let k = -172 + 161. Is k at most -78/7?
False
Let a(l) = -l**3 + 17*l**2 - 29*l - 9. Let w be a(15). Which is smaller: 0.05 or w?
0.05
Suppose -52*a + 55*a - 3 = 0. Which is bigger: a or 2/321?
a
Suppose o + 38*n - 6 = 36*n, -o + 3 = n. Is o <= -2118?
False
Let d = 0.072 + 69.928. Let a = 63 - d. Which is greater: -1/3 or a?
-1/3
Let o = -71 + 66. Let z be (0 - (-2)/(-32))/(o/(-15)). Which is smaller: z or 1/4?
z
Let f(z) = 4*z + 4. Let g(o) = o**2 + o + 1. Let c be g(1). Let i(l) = -5*l - 5. Let m(v) = c*i(v) + 4*f(v). Let q be m(-2). Is -3/2 less than q?
True
Suppose 11 = 3*w + 68. Let l = 15 + w. Let o be l + 3 - 1/4. Which is bigger: o or -0.3?
-0.3
Suppose 27 = 3*z + 27. Which is bigger: z or -1?
z
Suppose -135 = -0*m - 5*m. Let l = m + -55/2. Let i = 1155 - 1154.96. Does i = l?
False
Let x be 0/(-1 + (3 - 1)). Let m(d) = -10*d - 69. Let g be m(-7). Which is bigger: x or g?
g
Let g = 1596214/981 + -14644/9. Let c be (-4)/(-18) + (-2)/9. Which is smaller: c or g?
c
Suppose -3*f - 66 = -f. Let k be (-3 + (-69)/(-4))/(9/(-24)). Let z = k - f. Is -17/4 less than z?
False
Let y = -98/145 - 21/29. Let g = 55 - 40. Let r = -17 + g. Is r > y?
False
Let n = 1083 + -675. Let p be ((-4)/(-14))/(n/(-238)). Let j be (-4)/6 + 2/3. Which is greater: p or j?
j
Let j = -13 - -14. Let h be (16/20 + (-3)/5)/(-1). Which is smaller: j or h?
h
Let i = -15.06 + 14.06. Is 747 at most as big as i?
False
Let y = 824366/83 - 9932. Is y greater than -1?
True
Suppose -m + 0*m + 5 = 2*h, 2*m = -h - 5. Suppose -t - 2*r = 2*r + h, 2*t - 3*r = 12. Let x = 1 + 2. Do x and t have different values?
False
Let y be (-62)/177 - (-4 - (-66)/18). Let x be (0*(-7)/21)/(1*-1). Which is smaller: x or y?
y
Let w be (-19)/76 + (-5)/12. Is -132 bigger than w?
False
Let n be 141*9/(-117) + 9. Suppose -4*u - 3 = 9. Is u less than n?
True
Let x(d) = d**3 - d**2 - 8*d + 16. Let j be x(2). Let n(q) = q - 250. Let c be n(0). Let u be c/(-72) + 8/(-36). Is j >= u?
True
Let g = -5.8 + -2.8. Let t = -19.6 - g. Is t less than 2?
True
Let h be -10*-16*(-14)/(-20). Do h and 110 have the same value?
False
Let g = -55 + 32. Let n = -22 - g. Which is bigger: 20/9 or n?
20/9
Let d(x) = -2*x**2 + 15*x - 29. Let u be d(4). Which is smaller: 3/287 or u?
u
Let y(i) = 8*i**2 + 2. Let t be y(-2). Let b = 37 - t. Suppose 4*h + 12 = 0, -b*p - 3*h - h - 6 = 0. Is 18/7 bigger than p?
True
Let a = -33 - -50. Let c(q) = q**2 - 18*q + 20. Let w be c(a). Is w at least 6/11?
True
Let h = 0 - -3. Suppose 5 = h*v + 2. Let x be 0 - (-3)/(v - 10). Which is smaller: x or -9?
-9
Let f be 1911/481 - (2 - 0 - -2). Is f bigger than 0?
False
Let l = -73 - -141. Which is smaller: -3 or l?
-3
Let w = 601 - 1807/3. Do w and -87 have the same value?
False
Suppose -97*t = -96*t - 245. Which is smaller: 243 or t?
243
Let n = -1405 - -1259. Which is smaller: -1/3 or n?
n
Let s(u) = -u**2 - 29*u + 20. Let n be s(-10). Which is greater: n or 208?
n
Let i be 1*(50 + 54/(-6)). Which is bigger: i or 40?
i
Let s be 3/(-2)*(-32)/24. Let m = -12 - s. Let f = m - -14. Is f >= -1/5?
True
Let p be (-1540)/126 - -12 - (-61)/(-9). Let w be 17/3 + (-3)/(-9). Suppose f = 2*f + w. Which is smaller: f or p?
p
Let w be ((-4)/(-4))/((-2)/(-86)). Let s = 173/4 - w. Let j = 6112/13 + -470. Does s = j?
False
Let t = -7.2 - -4.16. Let j = 3.04 + -3. Let m = j + t. Which is greater: -6 or m?
m
Let h be (1 - 1) + 3/(-22) - 0. Does 1 = h?
False
Suppose -3*q + 77 + 199 = 0. Let j be 7/q + (-3)/12. Which is greater: 1 or j?
1
Suppose -3*d + 4 = -2*v - 6, 5*d - 4*v - 18 = 0. Let i be 0 - (-1)/65*d. Suppose 0 = -4*k - 0*y + 15*y + 60, -20 = 4*k + 5*y. Is i at most as big as k?
False
Let f be ((-4)/12)/((-10)/(-24)). Let i(s) = -s - 18. Let j be i(-15). Let x be (0 + 0)*(4 + j). Do x and f have the same value?
False
Let s be (3/(-14))/(486/(-648)). Which is bigger: -15 or s?
s
Suppose -o = t - 1 + 11, -2*t + 8 = -2*o. Let l = 5/3 - 25/6. Is t at least as big as l?
False
Let v = 120.78 + -121. Let y = -0.12 - v. Is 57 > y?
True
Let l = 12.7 - 8.8. Let m = -4 + l. Which is smaller: m or -1/46?
m
Suppose 0 = 6*x + 106 - 76. Is x at least -8?
True
Let i be 22/42 - 44/77. Let t be ((0/(-1))/1)/2. Suppose 5*w - 3 - 2 = t. Which is greater: w or i?
w
Let g = 1187.3 + -1090.28. Let f = g - 0.02. Which is smaller: 0.1 or f?
0.1
Let p be (-2)/(-10)*(-32 - -1127). Which is smaller: p or 221?
p
Let z be ((-17)/(-3) - 3)*7/84. Is z less than -21?
False
Let l = -23 - -28. Suppose 4*h - 4 = -5*i - 14, 10 = -5*h - l*i. Let w be -1 - (-3)/(165/65). Is h less than w?
True
Let v be 3 - ((-62)/(-6) + -4). Let c = 67/12 + v. Which is bigger: 3 or c?
3
Let l = 0.0181 - 2.2181. Is -10 at most l?
True
Let p = 0 - 1. Let i = -1/302 - 376/453. Which is smaller: p or i?
p
Suppose -61 + 55 = 3*m. Which is smaller: -23/11 or m?
-23/11
Suppose 3*w = -0*w + 21. Suppose w*y + 8 = -20. Suppose 3 = -5*h - 22. Which is smaller: h or y?
h
Let v(n) = -3*n**2 - 37*n - 12. Let d be v(-12). Suppose d = l + 2 - 3. Which is smaller: l or -3/37?
-3/37
Let a = -68 - -68. Let o = -0.03 - 0.27. Which is smaller: a or o?
o
Let w = -565/1677 - -2/559. Which is bigger: w or 37?
37
Let m(f) = -5*f + 4. Let y be m(3). Let i = 101 - 103.5. Let o = i - -5.5. Is y smaller than o?
True
Suppose 3*h + i + 14 = 0, 5*h + 20 = -4*i - i. Let d be (30/14)/(7/((-98)/8)). Which is greater: h or d?
d
Let h = -67 - -49. Let w = -22 - h. Which is greater: -3 or w?
-3
Let l(z) be the first derivative of -z**4/4 - 20*z**3/3 + z**2/2 + 5*z - 15. Let d be l(-20). Is -16 > d?
False
Let r = -419 + 421. Which is smaller: -0.65 or r?
-0.65
Let h = 6960 - 821285/118. Is h at most as big as 0?
