ler: g or -4/7?
-4/7
Let i = 118 + -119. Which is smaller: i or 2?
i
Let f(d) = -4*d + 78. Let k be f(19). Suppose -l = 3*l - 4. Let q = 3 - l. Is k < q?
False
Let l be (-1)/(-6) + (-1 - -1). Suppose 4*h + 22 = n, 3*n + 13 = 2*n - 3*h. Suppose 0 = -5*a - n*t - 5, -4*a + 3*t - 7*t - 16 = 0. Which is bigger: a or l?
a
Suppose 4 = -2*b - 4. Let x = b + 5. Is 0.5 <= x?
True
Suppose 4*u = 0, 2*t + u - 5*u - 20 = 0. Let h be (-2)/t - 20/(-225). Are h and 1 equal?
False
Suppose 5*o - 900 = 520. Let w = o - 5681/20. Is 0 < w?
False
Suppose 4*s - 2*s = -4*w, 0 = -5*s + 2*w + 24. Is -3 equal to s?
False
Let g be ((-19)/38)/(2/(-12)). Suppose 7*v = g*v. Which is smaller: v or 2/43?
v
Let o = -5/137 - -5099/822. Let s = o + -20/3. Which is smaller: s or -1?
-1
Let s be 44/5*(-5)/(-2). Suppose s = -3*x - 8. Let l = x - -11. Which is smaller: l or -2/11?
-2/11
Let x = 0.34 + -1.04. Let a = 172/267 - -2/89. Is a greater than x?
True
Let t = -12.15 + 1.45. Let r = -11 - t. Which is smaller: 0 or r?
r
Suppose -4*w = -u + 556, -5*w + u = -170 + 864. Let l = 692/5 + w. Do l and -1 have different values?
True
Let k = -102 - -43. Is k less than -59?
False
Let w be (1/(-14))/(1/(-2)). Let o = -2 - -9. Suppose 3*h = o*h. Is h at least as big as w?
False
Suppose c - 5 = 2*c, -5*z + 3*c + 25 = 0. Let n(m) = 3*m**3 + 3 - 2*m**3 + 3*m**z + 4*m - 3*m. Let p be n(-3). Are 2/3 and p equal?
False
Let r(t) = -t + 3. Let d be r(7). Let j = -2 - d. Is -3 < j?
True
Let h = 1.99 + 0.01. Let k = h + -2. Let l = -1 - k. Is -2/5 > l?
True
Let v be ((-4)/6)/(4/(-18)). Suppose -i + 5 = v. Let w = i + -5. Which is smaller: w or -2?
w
Let n = -55 - -277/5. Is 0.2 less than n?
True
Suppose -25 = 3*n - x, -5*n + x - 35 = -2*x. Which is smaller: n or -48/5?
n
Let x = -1 + 2. Let z(r) = r + 1. Let s be z(2). Let y = 2 - s. Which is greater: x or y?
x
Let k = 601/39 + -46/3. Which is greater: 0 or k?
k
Let k = 98.2 + -98. Does k = -0.8?
False
Let i = 60 + -39. Let k be 15/i*(-4)/(-5). Is 0 greater than or equal to k?
False
Suppose 5*j - 4 = j. Is j smaller than 1/10?
False
Suppose g - 4*g + 5*q - 46 = 0, 0 = 2*g - 2*q + 24. Let b be 2 - (2 - 3/g). Let k(u) = u - 8. Let h be k(7). Which is smaller: h or b?
h
Let l = 4.4 + 1.6. Let x = -5 + l. Which is greater: -0.1 or x?
x
Suppose 4*b - 3 = 2*x + 3*x, 0 = -2*x + 2*b - 2. Which is greater: x or -2/39?
x
Let l be 5/2*160/200. Which is smaller: -1.6 or l?
-1.6
Suppose 0 = 2*t + 3*w - 2, -3*t - 3*w = -0*w. Let a = t - 1. Let r = a + 2. Which is bigger: -1/5 or r?
-1/5
Suppose -o + 27 - 22 = 0. Which is smaller: 2 or o?
2
Let t = 49 + -39. Is t at most 31/3?
True
Suppose -b + t - 26 = -4*t, 4*t - 24 = 4*b. Is 6/41 less than b?
False
Let r = 3/103 - 769/1648. Let f = 3/16 + r. Is f != 1?
True
Let m = -10 + 34. Do 24 and m have different values?
False
Suppose 3*s - 2*i + 8 = 3, 5*s + 2*i - 13 = 0. Let w = -79 + 73. Which is smaller: s or w?
w
Let x = 0.47 + -0.17. Let d = 3 + -3.2. Let m = d + x. Which is smaller: -0.5 or m?
-0.5
Let f(n) = n**2 + 9*n + 2. Let t be f(-9). Let c(a) = 7*a**2 - 4*a**2 + 0*a**2 - 6*a - 6 - t*a**2. Let x be c(7). Which is smaller: x or 2?
x
Let n = 5 + -5. Suppose n*x = 2*x. Is 0 less than or equal to x?
True
Let t = 2 + -6. Does 0 = t?
False
Let g(z) = z**3 + 3*z**2 - 4*z + 3. Let o = -11 - -7. Let d be g(o). Is d greater than or equal to 3?
True
Let h = -0.6 + -0.1. Let v = h - -0.5. Which is bigger: 0.1 or v?
0.1
Suppose u = 2*z + 2, -5*z + 10 = 4*u - 24. Suppose 26 = 5*o - 2*h, -4*o - h - u + 19 = 0. Suppose 15 = -o*v + v. Which is greater: -1/2 or v?
-1/2
Let h be (-1 - -2)/((-2)/8). Suppose 3 + 5 = -4*c. Is c greater than h?
True
Let w = -164.2 - -164. Let x = 0.03 + 0.27. Is x greater than w?
True
Suppose -o - 33 = -12. Is -20 > o?
True
Let i = 2823/13 - 217. Which is smaller: i or 1?
i
Let z be (-28)/64 + 2/8. Is 0 less than or equal to z?
False
Suppose 0 = 3*c + 2*c - 20. Suppose -r - 2*n = -4*r - 7, -4*r - 4*n + c = 0. Let q be 6/r*(-16)/(-24). Is q > -5?
True
Let n = 6 - 5. Let f = n + 2. Let b = -3.3 + f. Which is smaller: -2 or b?
-2
Suppose -i = q - 10, -3*q - 2*q = -5*i. Suppose -3*g = m - q*m - 7, 0 = g - 3*m - 4. Which is smaller: g or -1?
-1
Suppose 6*d - 4*d = 2*b - 10, -5 = 3*b + 2*d. Which is bigger: b or -1/12?
b
Let p(v) = v + 12. Let t be p(0). Is t less than or equal to 11?
False
Let f = 14 - 8. Let s = f + -2. Let u = s + -3.7. Which is smaller: u or 1?
u
Let g be (-16)/5 - -2*(-4)/10. Which is bigger: 0.1 or g?
0.1
Let o(s) = s**2 + 4*s - 4. Let w be o(-5). Suppose -3*r - 5 = 1. Let d = -11/5 - r. Which is greater: d or w?
w
Let a = 8 + -5. Let s = 0 - a. Which is greater: 3 or s?
3
Let m(o) = o - 2. Let k be m(4). Which is smaller: k or 12/11?
12/11
Let q be 2/(-4)*(-2 + 2). Let a be 1*(11 - (4 - 3)). Let z be a/35 + (-88)/210. Is z greater than q?
False
Let m = 8908 - 35447/4. Is 45 at least m?
False
Let j(g) be the third derivative of g**5/60 + 11*g**4/24 + 5*g**3/3 - 3*g**2. Let r be j(-10). Is r bigger than 1/7?
False
Suppose 4*i - 5*q + 4*q = 8, 0 = i + 3*q - 2. Let o = 0.1 - 0.3. Is i != o?
True
Let c(m) = 2*m**3 + 3*m**2 + 2*m. Let k be c(-1). Let u(b) = -3*b**2 + 2*b + 1. Let t be u(-1). Let f = -2 - t. Which is smaller: k or f?
k
Let l(a) = 2 - 2*a + 0*a**2 + 0*a**2 - a**2. Let p be l(-2). Which is bigger: 4 or p?
4
Let c = 0.7 + -1. Let q = c + 0.4. Let r = q + -0.2. Is -2/5 at least r?
False
Let b = 103 + -121. Which is smaller: 0.2 or b?
b
Let w(d) = -6 + d**2 - 5*d**2 + d**3 + 0*d + 2*d. Let n be w(4). Suppose 0*u - 4*u = 2*m + 6, -20 = 4*m. Which is bigger: n or u?
n
Let m be 2/(-2) + 0/(-2). Let l(r) = -5*r - 1. Let y be l(-1). Suppose a - s + y = 0, -3*a = a - s + 4. Is a equal to m?
False
Let n = 118 + -2003/17. Which is smaller: n or 1?
n
Let v = -0.3 + 15.3. Let y = 12 - v. Which is smaller: 0.2 or y?
y
Let v be (0 + 0)/(2/(-1)). Suppose 5*c - 6 = 2*t, -4*t - 7*c - 12 = -2*c. Which is smaller: t or v?
t
Let v = -5.2 - -7. Let g = v - 1.8. Which is smaller: 0.8 or g?
g
Let c = -4195 + 2537972/605. Let x = -23601/1210 - c. Let u = -19 - x. Which is smaller: 0 or u?
0
Let s be 6/(-10) + (-388)/20. Let j = -8 - s. Let p be (-2 - -10)*(-9)/j. Are p and -6 equal?
True
Suppose -2 = -w + 3. Let b(u) be the second derivative of -u**3/6 + 3*u**2 - 3*u. Let i be b(w). Is i != 2/5?
True
Let u = 1.1 + -1.2. Let r = u + 0.5. Which is greater: 0 or r?
r
Let s be ((-12)/(-154))/((-10)/(-70)). Which is smaller: 1 or s?
s
Let n(w) = -w**3 - 7*w**2 + 13*w + 36. Let u be n(-8). Let k = -0.3 + 0.2. Which is smaller: k or u?
u
Suppose -2 = -5*z + 6*z. Is 10 greater than or equal to z?
True
Suppose 9 = -0*d + 3*d. Suppose c + j + j + 8 = 0, 5*c + 19 = -d*j. Which is smaller: c or 0?
c
Let v = -309/2 - -144. Suppose -2*t - 7 = 2*h + 5, 4*t + 69 = 5*h. Is t equal to v?
False
Let y = -4 - -3.85. Let g = 0.05 + y. Is 3 bigger than g?
True
Suppose 5*g + 0*c = -4*c - 15, g + 9 = -2*c. Suppose 5*j = 4 + g. Is 7/5 equal to j?
False
Let p = 42937/684 + -562/9. Let k = p + -28397/380. Let q = k + 74. Is -0.1 at least q?
True
Let a(w) = w**2 - 7*w - 17. Suppose 2 = -2*i, -2*i = f + 3*f - 26. Let x be a(f). Which is greater: 0 or x?
0
Let p be -1 - (0 - (-24)/15). Is p < -3?
False
Let n(d) = d**3 + 9*d**2 + 2*d + 14. Let v be n(-9). Is v equal to -18/5?
False
Let z be 4/(-14) - 360/(-35). Let f be 0 - (z/14 + -1). Let q(g) = -g - 3. Let u be q(-2). Do f and u have different values?
True
Let a = 9 + 32. Which is bigger: a or 1?
a
Let z be -13*-6*(-3)/12. Which is bigger: z or -20?
z
Let d(y) = -19*y**2 + 7*y + 5. Let m be d(-2). Is m greater than -86?
True
Let f(c) = c - 13. Let t be f(13). Let l be 1/((-2)/4 + 0). Which is greater: l or t?
t
Let b = 1.816 + 0.184. Which is greater: 3 or b?
3
Let j = 3 + -3.04. Let d = 0.06 - j. Let w = 0.3 - 0.2. Are w and d equal?
True
Suppose -45 = 4*k + k. Let p be 3/k*0*-1. Let a = 195 - 1363/7. Is a <= p?
False
Let o = -12 + 17. Suppose -o*m - 25 = 5*u, u + 3*u + 15 = -3*m. Let i be (2/(-4))/((-2)/(-4)). Which is greater: i or u?
u
Suppose 28 = -13*y + 15*y. Which is smaller: 13 or y?
13
Let u = -10 - -4. Let l = -5 - u. Let a = l - 1. Do 0 and a have the same value?
True
Suppose k + 0 - 4 = 0. Let s be (18/(-4))/(1/(-2)). Suppose -4*i = -2*x - x - s, x = -4*i + 13