er: l or r?
r
Let k = 350 - 350.08. Is 2/11 greater than k?
True
Let h(x) = -x**2 - x - 3. Let d be h(-4). Is d at least as big as -14?
False
Suppose -24 = -4*n + 2*i + 12, -3*n = -3*i - 33. Let c(r) = 6*r - 23. Let a be c(n). Are 17 and a equal?
False
Let p(o) = 158*o - 17. Let i be p(-1). Is -173 greater than i?
True
Let d be 2 + -1 - 5 - 64/(-16). Is d greater than -3/38?
True
Let v = 3.3 + -0.4. Let d = v + -4.9. Which is smaller: d or -1?
d
Suppose 5 = -5*f + 20. Let t(d) = d**2 + 2*d - 6. Let j be t(-4). Which is smaller: f or j?
j
Let a = 391 + -391.1. Are 1/6 and a equal?
False
Let s be (-226)/(-8) - 12/48. Suppose 3*y + 5*q + s = 0, -2*y - 9 + 1 = -2*q. Let x be 3*(-1)/y*2. Is x at least -1/3?
True
Let w(x) = x**3 - 7*x**2 + 6*x - 1. Let p be w(6). Let r be 5*(-8)/340*5/10. Is r >= p?
True
Let i = 91 - 121. Is i greater than or equal to -30?
True
Let k(b) = -b**3 - 5*b**2 - b - 5. Let m be k(-5). Let i = m + -4. Let v be (-1 - 2)*i/(-3). Which is smaller: -5 or v?
-5
Let t(n) = n**3 + 14*n**2 + 23*n - 12. Let v be t(-12). Suppose -2*y + 0 + 8 = v. Which is greater: y or 10?
10
Suppose -8*i + 8 = -4*i. Let g be (1 - 1) + (39 - i). Are g and 39 equal?
False
Let i(y) = y**2 + 6*y + 9. Let z be i(-5). Suppose 0 = -4*x - 3*a - 87, z*x + 4*a = -20 - 64. Which is bigger: -25 or x?
x
Let n be (9/(-10))/(52/2405) + 2. Which is smaller: -40 or n?
-40
Suppose 5*o = 40 + 35. Let r be ((o/190)/(-3))/(-1). Let v = r - 157/190. Is 0 != v?
True
Let o be -1*(-4)/36*-2. Let m = -31 - -30. Which is bigger: m or o?
o
Let b = -1/329 - -1009/7238. Suppose -9*n + 2*i = -8*n + 7, 11 = -5*n + 2*i. Which is smaller: n or b?
n
Suppose -848*y + 842*y = -1248. Which is smaller: 210 or y?
y
Let s(v) = -2*v - 13. Let g be s(-8). Let p be g/(-4)*(-18)/27. Is 1 not equal to p?
True
Let o = 49810 + -1145908/23. Let d = o - -12. Suppose -3*w + c + 3 = 0, 2*w - 5 = -3*w - 5*c. Which is greater: w or d?
w
Let g be -1 - 3/(3 - 4). Suppose -2 = -g*f, -5*t + f - 38 = -2*f. Let x be (t - -9) + 1/(-1). Is x not equal to -1/6?
True
Let n be (-1074)/1*16/(-224). Let s = n - 77. Do s and 2 have different values?
True
Let z be 2/7*24/(-264). Which is smaller: 1 or z?
z
Let b = 5.54 - 4.74. Is b >= 0.9?
False
Suppose 92 = -3*f + 3*s - 55, 0 = -2*f - 3*s - 118. Is -54 < f?
True
Suppose -h - 119 = 3*a - 6*h, 0 = -2*h - 4. Let i = a + 41. Which is smaller: -0.1 or i?
i
Let b = 433.9 - 434. Which is greater: 132 or b?
132
Let l be (0 + -1*2)*14/(-28). Which is bigger: l or 2/191?
l
Suppose -x + 6*x = 0. Suppose -4*q - 4 = x, 3*i - 4*q = -0 - 2. Let u(w) = w**2 + 3*w + 2. Let v be u(i). Which is greater: -3/10 or v?
v
Let j be (30/(-20))/((-3)/10). Let c be -2 + 1 - (-11 - -6). Let a = c + 0. Which is smaller: a or j?
a
Let l = -457/7 - -65. Suppose 8 = 2*g + p - 5*p, -4*g - 3*p + 27 = 0. Suppose -t - g = -5. Are t and l non-equal?
True
Let f = 0.647 - 0.67. Which is smaller: f or -1?
-1
Suppose k = 4*z - 19, -2*k + 11 = 2*z - 3*k. Suppose z - 8 = 2*c. Let r be (-1)/2*(10 + -4). Which is smaller: r or c?
r
Suppose 5*u + 2*g = 4*g + 470, -4*u - 2*g + 376 = 0. Let n = u + -31. Let z be (-43)/9 + (-14)/n. Which is bigger: -3 or z?
-3
Let l(w) = -w**3 - 4*w**2 + 5*w - 8. Suppose 5 = -p, -2*c = -4*c - 2*p - 20. Let n be l(c). Let i be (-39)/130*n/18. Is i equal to -0.1?
False
Let r = -2/1195 + -10751/2390. Let s = -33 - -68. Suppose 3*n - 2*f + s = -2*n, -3*n = 2*f + 5. Which is smaller: r or n?
n
Let a be 40/(-42)*(-96)/10. Which is smaller: 9 or a?
9
Suppose 0 - 59 = j. Let n = j - -58. Suppose 5*w = -0*w + 2*z - 16, -2*w = 2*z - 2. Which is smaller: n or w?
w
Suppose -5*w + 90 = -2*w. Which is smaller: -0.8 or w?
-0.8
Let n(u) = 2*u**2 - u + 1. Let t = 20 + -20. Let v be n(t). Is v less than 1/22?
False
Let m be (42180/(-333))/(2/(-18)). Does m = 1141?
False
Let x(h) = -2*h**2 + 3*h + 4. Let y be (-1 - 5/(-4)) + (-17)/4. Let w be x(y). Is -41 <= w?
True
Suppose -8*y = -10*y + 280. Which is smaller: y or 142?
y
Let y = -9 + 5. Let t = 6203 + -6201. Which is greater: t or y?
t
Let q = -15 - -16. Let k be 32/12 + q/3. Do k and 5/3 have the same value?
False
Let m be -3 + (78 + -1)/(-1). Let s = m + 133. Are 53 and s equal?
True
Suppose 0 = -4*m - 47 - 37. Let b = 847 + -868. Is b smaller than m?
False
Suppose -5*x = 3*x - 24. Let o = -3 - x. Let r be 6/(-9)*o/(-14). Which is greater: r or -16?
r
Let g be ((-3)/9 - (-33)/(-9)) + -1. Let c be 4*(-2)/g*110/(-8). Is c < -24?
False
Suppose -5*t + 3*q = -20, -16 = -0*t - 4*t + 2*q. Suppose -4*v - t*a = -a + 103, -3*v - 41 = -5*a. Is v <= -21?
True
Let f = 109 - 98. Let u be 2037/(-15015) - (-2)/f. Is u <= 0?
False
Let b be (-5)/(5/4)*27/18. Let g be -1 + 1 + (-1)/(69/b). Is 1 at most g?
False
Suppose 2*l + 4*k + 60 = 0, -4*l - 2*k = -9*l - 114. Let t be (36/240)/(l/10). Are -1 and t non-equal?
True
Let g be 190 + 2 - 24/(-6). Let p be (-20)/(-25) - g/(-80). Suppose 2*n = 5*t - 6, 2*n + 4 = 4*t - 0*t. Is p less than or equal to n?
False
Let t = 125 - 124. Which is bigger: t or -1/131?
t
Suppose 21 = 4*p - 55. Suppose 0 = 12*c - 6*c - 120. Is c greater than p?
True
Let z = 2.1 - 2.1. Let u = -7 - -4. Let a = -2.9 - u. Which is smaller: a or z?
z
Let a(s) = -2*s + 15. Let z be a(5). Which is bigger: -0.08 or z?
z
Let o be (-1)/(-6) - (-121)/(-231). Which is bigger: 0 or o?
0
Let u(t) = 2*t - 38. Let d be u(19). Suppose 2*n + n + 6 = 0. Let p be (n/1)/106*-2. Is p greater than or equal to d?
True
Let r(w) = -2*w**3 - 4*w**2 - w + 4. Let k be r(-2). Let v = k - 10. Which is bigger: -1 or v?
-1
Let j = -0.1869 + 8.1869. Which is greater: 5/4 or j?
j
Let c be 0 - (-3 + 1)/(-2)*1. Let j be c*(-3 + (0 - -2) - -2). Is -2 >= j?
False
Let n = -1733 + 1732.1. Which is greater: 21 or n?
21
Let z(x) be the third derivative of x**4/24 + x**3/6 - 11*x**2. Let v be z(-1). Suppose v = -4*s + 2*g + 20, 2*g = 4*s - 5*s. Which is smaller: 2 or s?
2
Suppose p + 24 = -2*p. Let w = p + 12. Suppose 4 = 4*l + w*m, m = -m + 8. Is -9/4 at least l?
True
Let v = 152.4 - 170. Let p = v + 5.6. Which is smaller: p or 1/4?
p
Let f = 91/765 + -2/255. Let b(t) = -t**2 - 7*t - 2. Let z be b(-6). Let h be (1 + 2)*z/(-66). Do f and h have the same value?
False
Let n = -253 + 250. Let j = -0.06 - -0.06. Is j bigger than n?
True
Let d be -82*3/114 + 2. Is 0 less than or equal to d?
False
Let p = 4141/394 + -21/2. Is p greater than or equal to -1?
True
Suppose 7*x - 2*x = 2*f + 13, -f = -4*x + 5. Let a = f + 12. Suppose -3*n + 7 = 2*n - j, 3*n + 3*j = -a. Do 2/9 and n have the same value?
False
Let j be 36/(-27)*(3/(-362))/1. Let v = 0.91 + 0.09. Which is greater: v or j?
v
Let h = 19 + -23. Let x be (-6)/2*(5 + h). Which is smaller: -4 or x?
-4
Let b be ((-3)/(-36))/(2712/(-32)). Let f = b - 5761/2034. Which is bigger: f or -2?
-2
Let z = -0.419 - -89.619. Let k = z - 89. Which is greater: k or 1/6?
k
Let j(o) = -208*o**3 + 2*o**2 - 2. Let w be j(-1). Which is bigger: w or 209?
209
Let r be ((-90)/(-25))/(-1 + (-26)/(-20)). Suppose r*x = 6*x - 6. Is 6/55 at most x?
False
Let h = 7.5 + 23.5. Let f = 32 - h. Is 0 >= f?
False
Let n(i) be the first derivative of -i**2 - 6*i + 13. Let l be n(-5). Which is greater: 6 or l?
6
Let b be (-1 - 1)*5/(-2). Let g(c) = -c. Let j be g(b). Let q = -559/3 - -182. Which is bigger: q or j?
q
Let z be 26/3*(-12)/(-8). Suppose 4*k - 3*p = z, 0*k + 3*k + 12 = -5*p. Suppose w - 4*v = -6, -w = -3*w - 5*v + k. Are w and 2/5 unequal?
True
Let a = -1.8 - 960.2. Which is smaller: a or 1?
a
Let z = 255.079 + -1.079. Is z >= 2?
True
Let r be (96/(-110))/(6/(-80)*4). Which is smaller: 3 or r?
r
Let o = -3.9 - 86.1. Let q = o + 78. Which is smaller: q or -0.3?
q
Suppose 15*l - 1918 = 1322. Is 217 bigger than l?
True
Let p = 7.4 - 8. Let w = -1.3 - -1.7. Let u = w - -1.6. Is p at most as big as u?
True
Suppose 3*a = 4*a - 4*j + 33, 3*j + 27 = -5*a. Let t be 1*(1 + 0)*-11. Is a at most t?
False
Let w = 47 + -135. Which is bigger: -0.1 or w?
-0.1
Let r be (351/(-18) + 20)*-2. Let j be (-1)/13 + (-2)/(-8). Let v = -14/13 - j. Is r at least as big as v?
True
Suppose -h = 3*h + 32. Let u = 17 - 18. Let x be (1 + u)*4/h. Which is bigger: -4 or x?
x
Suppose 774 = -5*v + 744. Let n(d) = d**3 + 2*d**2 + 4. Let y be n(-3). Is v bigger than y?
False
Let q = -6 + 3. Let d be (