 -3/4?
-3/4
Let f = 0.3 + -0.03. Let i = f + -1.37. Let r = i + 0.9. Do r and 1 have the same value?
False
Let d = -10 - -10. Which is greater: -3/17 or d?
d
Let l = -0.944 + -0.056. Is l greater than or equal to -2/71?
False
Let a be 1*((-4)/10 - (-84)/285). Is a equal to 0?
False
Let j = 5 + -5. Let d(i) = i**2. Let b be d(j). Is b equal to 2/9?
False
Let m(h) = h**2 + 6*h - 6. Let y be m(-6). Let u(x) = x**3 + 6*x**2 - 4. Let v be u(y). Let g = 4 + v. Is 1 != g?
True
Let o = 154.071 - 154. Is o < -1/4?
False
Let b = 685/7 - 98. Let w = 14 + -10. Suppose w*t = -2*v - 3*v + 11, 2*t = 8. Is b at least v?
True
Suppose -8*p - 270 = p. Which is smaller: p or -31?
-31
Suppose 0 = -7*u + 2*u. Suppose 6*t - 11*t = u. Which is greater: t or -1/31?
t
Let m be 16/(-7) + (-16)/(-56). Let c be 0/1 - (-8)/(-8). Is c at least m?
True
Let g be -2 - (160/225)/(2/(-6)). Which is smaller: g or 0?
0
Let c be ((-1)/2)/(2*-1). Suppose -14 + 50 = -4*x. Let m(o) = o**3 + 10*o**2 + 10*o + 9. Let s be m(x). Which is smaller: c or s?
s
Suppose -14 = -f + 4*u - 7, -4*f + 6 = -5*u. Is -52 > f?
False
Let k be (0 - 1*-6) + -2. Let n = k - 2. Suppose 3*v - 9 = 0, -6*v - 9 = -5*i - 4*v. Which is greater: n or i?
i
Let v be (33 + -34)*(-2)/6. Which is greater: 5 or v?
5
Suppose 8 = 3*p - 1. Suppose -p*d + 4*b = 23, -5*b + 16 = -2*d - 11. Suppose 0 = 6*f + 17 - 11. Is f less than or equal to d?
True
Suppose -6*z + 3*z = 4*f - 62, -2*z + 46 = 5*f. Suppose 3*y + i + z = 2*i, 3*i + 24 = -4*y. Let r be 3/(-2) - (-3)/y. Are 0 and r nonequal?
True
Suppose 3*z = 52 + 29. Let i be (-2)/9 - 12/z. Let a be (-4)/(-3)*(-3)/10. Is a greater than or equal to i?
True
Let h be 16/(-28) - (0 + 423/105). Which is smaller: -4 or h?
h
Let i = -1.11 + 0.11. Let k = 1015 + -3963/4. Let y = 107/4 - k. Which is smaller: y or i?
i
Let w = 6 - 3. Suppose -20 = 4*j - w*f + 7*f, -5*j + 4*f = 7. Suppose -9 + 1 = 2*i. Is i bigger than j?
False
Let t(g) = -g**3 + 3*g**2. Let v be t(3). Is v greater than -3?
True
Let s = 1 - 2. Let a = s + 1. Let u = -230/21 - -32/3. Are u and a equal?
False
Suppose 0 = 4*b + 5*l - 9*l + 252, 2*l + 130 = -2*b. Is -65 less than b?
True
Let n = 20730/43 - 482. Is n smaller than 1?
True
Let o(h) = -7*h**2 - h - 3. Let j be o(2). Is -32 at most as big as j?
False
Suppose 0 = 2*b - 4*x - 8, -5*x = 0. Suppose -4*l + 8 = -0*l. Let h = l - b. Which is greater: -2/3 or h?
-2/3
Suppose -3*l - 5*a = -1 - 0, 3*l = -3*a + 3. Suppose l*g + 2*g = -4. Let u be 3 + g + 4/(-1). Which is bigger: 0 or u?
0
Let p(n) = -n**2 - 3*n - 1. Let f be p(-1). Suppose 5 - f = 4*l. Is 2 < l?
False
Let j be ((-4)/10)/((-2)/228). Let o = j - 46. Which is smaller: o or 0?
o
Let t be (-2)/((8/2)/2). Let b = 193/4 - 48. Which is smaller: t or b?
t
Let y = -3/20 + -1/4. Which is greater: 1 or y?
1
Let s = 1/10 - 1/2. Is 1/13 at least s?
True
Let a = -5/79 + 287/790. Let l = -1.2 - -1.4. Let y = 0.8 + l. Is a at least as big as y?
False
Let s(i) = -i**2 + 11*i + 16. Let w be s(12). Let l be (-1)/(1*1/(-2)). Suppose l*k + 22 = 5*p, 5*p + 4*k = 20 - 4. Is p greater than or equal to w?
True
Suppose -6*o - 28 = -2*o. Let k = o - 0. Is k greater than -8?
True
Let i = 473/82482 + 10069777/140219400. Let y = i + 1/408. Which is smaller: y or -1?
-1
Suppose 0 = -14*m + 8*m - 252. Which is smaller: m or 0?
m
Let c(r) = 2*r**2 + 10*r + 1. Let k be c(-5). Is -2/7 at most as big as k?
True
Let q = 2701/684 - 13/76. Which is greater: q or 5?
5
Let f(n) = -n + 10. Let q = 6 + 2. Let l be f(q). Which is bigger: l or 3?
3
Let b be (-1)/(-12)*6/4. Suppose -1 = -2*m - x + 1, 4*m = 2*x - 4. Which is smaller: b or m?
m
Let o(f) = f**2 - 8*f + 8. Let h be o(7). Which is bigger: h or -1/9?
h
Let q(a) = -a + 4. Suppose 4*b - 10 = -b. Let h be q(b). Suppose -3*v + h = -4. Which is smaller: v or 4?
v
Suppose -4*o = -3 - 1. Which is bigger: -6/13 or o?
o
Let o be (5/30)/(22/(-6)). Let p = 19 - 20. Which is smaller: p or o?
p
Let x(r) = -r**3 - 2*r**2 - 2*r - 2. Let o be x(-2). Let c be o/5 - (-9)/(-15). Is c greater than -1?
True
Suppose -2*m = -0 - 2. Let o(d) = -d - 5. Let z be o(-5). Is m greater than z?
True
Suppose w + 28 - 119 = 0. Suppose l - 3*l + 6 = 0, 5*k - 3*l - w = 0. Suppose -4*h + 3*z - 13 = 0, -2*h - k + 3 = -5*z. Which is greater: -1/4 or h?
-1/4
Let a be 0 + (1 - -3) - 3. Let h be (1/(-8))/(2/(-4)). Is h < a?
True
Suppose z + 4*l = -2*z + 41, 2 = z - l. Is z at most 8?
True
Suppose 4 - 1 = -5*v - y, -2*y - 6 = 4*v. Is v < -5/21?
False
Let q be 152/(-20) - (-16)/(-40). Which is greater: q or -15?
q
Let a(h) = h + 6. Let g be (4 + 1)*(-2 - -1). Let x be a(g). Let j = -45/2 - -24. Is j != x?
True
Suppose 5*s + 3*u - 10 = 0, -4*s + 6*u - 29 = u. Is -24/13 <= s?
True
Let w be (-3)/(-2) - 15/10. Is w less than 10/9?
True
Let f be (-4)/(-2) + 32/(-20). Let p be ((-1)/3)/((-3)/6). Which is smaller: p or f?
f
Let a(c) = -20*c. Let w be a(-4). Suppose -3*r + w = r. Do r and 21 have different values?
True
Let j = 2/1645 - 95416/4935. Let x = -748/39 - j. Suppose -k = -2*k - 1. Is k >= x?
False
Let l = -6013/3335 + 2/667. Which is bigger: -3 or l?
l
Let w be (12/10)/(3/2)*-20. Is w not equal to -15?
True
Suppose -24 = -4*o - 4*x, -8*o - x + 10 = -3*o. Which is greater: -4/15 or o?
o
Let y = -1/20 - 71/180. Let o = y + 2/45. Which is bigger: o or -0.05?
-0.05
Suppose 15*b = 12*b + 3. Is 7/5 bigger than b?
True
Let m be ((-4)/(-8))/(1/2). Let d be m - (-4)/21*-3. Let t be 0 - 6/2 - -2. Which is smaller: t or d?
t
Suppose -f + 19 = -0*f - 4*c, -2*f + 38 = 5*c. Let j = 20 - f. Which is bigger: j or -0.2?
j
Suppose 5*i = -0*i + 15. Suppose i*b = -b. Which is bigger: -1 or b?
b
Suppose -2*y = -6*y + 28. Is 4 less than or equal to y?
True
Let j be (1 + 0 + -4)*2. Let i be (j/(-5))/(-2 - -4). Which is greater: i or 0?
i
Let h = -11 - -10. Let f be 6/10*(-2)/6. Which is smaller: h or f?
h
Let q = 478/275 + -20/11. Suppose 0*f = -2*f + 4. Let j be ((-3)/(-6))/(1/f). Is q at least as big as j?
False
Let l(j) = 3*j - 1. Let w be l(1). Let n be (-3)/12 - w/(-4). Is n less than or equal to 1?
True
Let f = -60 - -56. Which is bigger: 2 or f?
2
Let y = -0.32 - -0.02. Let u be 17 + -20 - (-1 - 1). Which is smaller: y or u?
u
Let u = 37/132 + -1/33. Let o be 1 - (1 + (-26)/36). Let z = o + -2/9. Which is smaller: u or z?
u
Let u be 6/((-10)/4 + 1). Let y(t) = 2*t + 3. Let g be y(u). Is -4 smaller than g?
False
Let n = 0.5 - 0.5. Let w = n - 0.1. Let u = w - 0.9. Is u >= -0.2?
False
Let n be 13/(-32) + (-22)/(-88). Which is smaller: n or 0?
n
Let a = 9 - 5. Suppose -w + a = -4*c, 0 = -3*w - c + 3*c - 8. Is w bigger than -4?
False
Suppose 4*a = 16 - 4. Let j be (a/(-9))/((-4)/60). Which is smaller: -2/5 or j?
-2/5
Let c be 0 - (-1 + -3 + 1). Suppose -4 = -6*z + 2*z. Let q = 1 + z. Which is greater: c or q?
c
Let g = 0.3 - -1.7. Which is bigger: -0.5 or g?
g
Let q = -166 + 502/3. Suppose 6*p - p = 0. Is p equal to q?
False
Suppose -2 - 2 = 4*l. Let p be l + (-2 - 2) + 2. Which is bigger: p or -2?
-2
Let k = -6 - -5.8. Let y = k - -0.5. Which is greater: y or 0?
y
Suppose 0*c + 4*c = 3460. Suppose 0 = -s - r + 290, -4*r = 3*s - 2*r - c. Let i = s - 2561/9. Are 1 and i equal?
False
Let k = -9514/46761 - 2/1199. Which is greater: 0 or k?
0
Let o = -7 + 7. Suppose o = -4*a + 5*a - 3. Let y be 1 + (27/12 - a). Is -4/9 < y?
True
Let r = -0.147 + 0.167. Let w = 0.04 + -0.34. Let b = w - -0.2. Is r equal to b?
False
Suppose 0 = -8*l + 13*l + 15. Let r = 2 + -2.2. Let f = 0 - r. Is f not equal to l?
True
Let b be 12/(-18)*(-3)/2. Do 0 and b have the same value?
False
Let s = -9/14 + 1/7. Let l = -7 + 4. Let v be (11/(-3) - l) + 2. Is s less than or equal to v?
True
Suppose 3*m = -m + 8. Let q be -1*(-2)/4*m. Let d be (-4)/(-14) - (-17)/(-35). Is d at least q?
False
Let j be (-58)/42 - (-4)/(-14). Let g = -0.1 + -0.1. Is j at most as big as g?
True
Let h(z) be the third derivative of -11*z**4/12 - 2*z**2. Let x be h(1). Let v be 2 + 92/x + 2. Which is smaller: -1 or v?
-1
Let x(q) = -q**2 - 9*q + 55. Let t be x(-13). Let o = 0 - -3. Is o <= t?
True
Let n = -2629/60165 - 1/1337. Let s = 137 - 137. Is n < s?
True
Suppose 2*m = -3*g, -2*m - 3 = 2*g + 1. Is m > 1?
False
Let m(d) = -d**2 + 8*d - 4. Let k be m(7). Suppose b - n = 5*b - 11, -4*b + 1 = k*n. Which i