t n = 3 + 1. Suppose 4*o + 4 + n = 0. Is o greater than -2?
False
Suppose -i - 6 + 6 = 0. Which is greater: i or -4/39?
i
Suppose -2*v + 19 + 5 = 4*u, -v + 18 = 3*u. Suppose 0*x + 3*x = -u. Is x less than or equal to -4?
False
Let q = 10 - 6. Let x = 1 - q. Let z = 0.91 - -0.09. Is x less than z?
True
Let z(m) = -4*m + 4. Let n(y) = -3*y + 4. Let d(t) = -t. Let v be d(3). Let s(o) = v*n(o) + 2*z(o). Let j be s(4). Which is smaller: 1/6 or j?
j
Let v(w) = -w**3 + 7*w**2 + 8*w + 3. Let y be v(8). Suppose -y*a - 55 = -5*u, 0 = -3*u - u + a + 37. Are 8 and u equal?
True
Let i = 36.05 - 36. Suppose 1 = -a + 2*a. Does i = a?
False
Suppose -y = -5*l + 3, -y - 2*l + 0 - 3 = 0. Do -18/5 and y have the same value?
False
Let u be 6*(3 - 5/2). Let c be (8/(-12))/(2/u). Are c and -2 equal?
False
Let b(u) = u**3 + 6*u**2 - 7*u - 1. Let p(k) = -k**3 + k**2 + 5*k - 4. Let v be p(3). Let q be b(v). Is q smaller than 0?
True
Let j = 20 + -12. Suppose -j = -0*p - p. Do p and 10 have the same value?
False
Let t = 79.7 + -79. Are 3/2 and t non-equal?
True
Let l = -1/4 + 3/4. Let d be (4 + -3 + 0)*0. Suppose -f = 3*h - 12, d*f - 5*h + 20 = -f. Which is greater: f or l?
l
Let i = -11 - -8. Let v = i + 3.1. Is v greater than or equal to -3/5?
True
Let s be (2/(-5))/((-2)/10). Suppose 0*t + i = -2*t - 8, s*i = -8. Which is bigger: t or 1?
1
Let t(q) = -q**3 + 9*q**2 - 9*q - 2. Let l be t(8). Let o = l + 11. Are 2 and o equal?
False
Let x be 2/((-28)/10) + 4/(-14). Which is bigger: x or 2/253?
2/253
Let o be ((-2)/8*-1)/((-75)/12). Do 2/7 and o have different values?
True
Let z = -0.23 + 0.34. Let x = z - 0.21. Which is greater: -2 or x?
x
Let v be (23/3)/((-30)/(-18)). Which is smaller: 4 or v?
4
Let x be ((-9)/(-42))/((-3)/(-20)). Let a = x + -27/14. Is a smaller than -1?
False
Let y(f) = f - 12. Let q be y(12). Is q greater than or equal to -4?
True
Let p = 3 + -1. Suppose 24 = 4*b - 0. Let u be p/b*(0 - -2). Which is smaller: 2 or u?
u
Let t be (-1)/(-3) - (-186)/9. Let r = 1.63 + -1.53. Do r and t have the same value?
False
Let k(d) = -2*d. Let l be k(-4). Which is smaller: l or 10?
l
Suppose -4*x = -0*x - 8. Are x and 0.11 nonequal?
True
Let r = 0.7 + -0.76. Let d = -0.15 - r. Let k = 0.19 + d. Is k greater than or equal to -0.4?
True
Suppose -3*d + 47 + 49 = 0. Let g be d/14 - 2/7. Suppose 2*o + f - 4*f - 8 = 0, 3*o - 7 = g*f. Is o at most 1/7?
False
Let w = 0.04 - -0.02. Let y = 0.36 - w. Let k = -0.4 + y. Is -0.2 at least as big as k?
False
Let m = 10 - 8. Is 2 at least m?
True
Let x be 4/10 - (-13)/5. Suppose 2*u + 8 = 2*b - 0, 5*b - 12 = -x*u. Is u at least as big as 3?
False
Let q = 4474/15 + -298. Is 0 at most q?
True
Let c be (0 + 6/(-9))*-3. Which is smaller: c or -1?
-1
Let z = 0.3 + -0.5. Let a = -3.3 - z. Let i = -3 - a. Which is smaller: i or 3?
i
Let x(z) = -z**2 - 11*z + 1. Let i be x(-11). Suppose -7 - i = 4*g. Is g bigger than -0.4?
False
Let t(u) = -u**2 + 6*u. Let l be t(5). Suppose 4*n = 5*b + 9*n + l, 20 = -5*n. Let c = 5 - b. Which is smaller: c or 3?
c
Let y be (2/(-2))/(4/8). Let j be ((-6)/(-4))/((-1)/y). Let c be (-1)/(-3) + 1/j. Is 2 < c?
False
Let t be 5/2*40/50. Suppose n + 5*b = -20, -3*n + 8 = n - t*b. Is n != 1/3?
True
Let l(p) = 1 + 7 - 3 + 2 + p. Let f be l(-6). Which is bigger: f or -1?
f
Let i(g) = 2*g**2 - 5. Let z be i(-4). Which is smaller: z or 26?
26
Let s be (0 - 0/1)/(-1). Let w = 53/84 + -8/21. Is s >= w?
False
Suppose -19 = 3*s - 0*w + 4*w, -s - 21 = 5*w. Which is bigger: -12/7 or s?
s
Suppose 0 = 4*b + 4. Suppose 0 = 4*p - 3*w + 4, -3 + 6 = -3*p + 3*w. Is p at least as big as b?
True
Let x = 4 - 4.12. Let i = -7.12 - x. Let c = i + 7.3. Which is greater: -2 or c?
c
Let h = 27 + 0. Let c be 2/9 - 141/h. Which is greater: -4 or c?
-4
Let h be 1/(-1) + (-10)/5. Is -3 at least h?
True
Let w = 649/12 + -53. Are w and 1 nonequal?
True
Let d = 3 + -3. Suppose -b - b = d. Which is smaller: 1/2 or b?
b
Let q = 6 + -10. Let k be (1/2)/((-2)/q). Which is smaller: k or 3/5?
3/5
Let g = -0.04 + -0.96. Let z = g + 1.2. Let f = z + 0. Which is bigger: 2 or f?
2
Let m = -99.94 + 99. Let l = 0.06 - m. Which is smaller: -5/2 or l?
-5/2
Suppose 2*t - 6 = 2*o, 0 = -2*t + o + 2*o + 7. Suppose 2*b = k + 3, -k = -t + 5. Is -10/9 not equal to b?
True
Let j be (0 - 0 - -3) + -3. Is 1 greater than or equal to j?
True
Let o be (14/4)/((-3)/54). Which is bigger: -64 or o?
o
Let q = -13 + 7. Let z(b) = b + 2. Let i be z(-8). Are q and i non-equal?
False
Let w be (-2)/8*-2*-1. Are w and -13 non-equal?
True
Let a be (-9)/(-12) - (-81)/(-12). Let k = a - -4. Is k bigger than 0?
False
Let s = -26 - -46. Let w be -1 - (s/(-6) - -3). Is -1 less than or equal to w?
True
Let s(p) = p - 2. Let t be s(10). Suppose 0 = 5*w - 3*w - 18. Which is smaller: t or w?
t
Suppose -4*j + 16 = -0*j. Suppose j*d = -4*x - 1 + 5, 3*x + d - 1 = 0. Let k = 1/30 + 7/15. Which is greater: x or k?
k
Let v = -20 - -77/4. Suppose x = -5, 4*f - f = 2*x + 19. Suppose -f*u = -0*u. Is u at most as big as v?
False
Let r be (1 + (-3)/2)*0. Let z be 3 - 70/(-20)*8/(-14). Is r bigger than z?
False
Let m = 130 - 109. Which is smaller: 64/3 or m?
m
Let r = -0.03 - 0.37. Let p = -0.9 - r. Let c be -4*(-2)/(-24)*3. Which is greater: p or c?
p
Let m(g) be the third derivative of -g**6/120 + g**5/12 - g**4/24 + 5*g**3/6 + g**2. Let w be 15/(-3*1/(-1)). Let q be m(w). Do -1 and q have different values?
True
Let b be 3/(-6) - (-62)/4. Suppose -b = 4*t + t, -4*t - 8 = 4*o. Are o and 1 unequal?
False
Let o = -380 + 2668/7. Is o at least 2?
False
Suppose 4*m + 4 = -0*m. Are m and -12/11 non-equal?
True
Suppose -x - 5 = 5*m, -4*m + 7 = -x + 29. Let k be (-3)/(12/x + -1). Let u be ((-1)/3)/(k/9). Which is smaller: 0 or u?
0
Let w(r) = 3*r + 34. Let z be w(-14). Which is greater: z or -6?
-6
Let o(v) = -v**2 - 3*v - 1. Let y be o(-2). Is 0 greater than y?
False
Let c be (4/6)/(4/(-12)). Which is smaller: c or -1?
c
Suppose 0 = 2*w - 5 - 1. Let b be w*1 + (-108)/40. Does 1 = b?
False
Suppose -5*x + 32 = -3*x. Let w be (x/(-20))/((-52)/10). Let o be ((-1)/2)/((-2)/4). Which is smaller: w or o?
w
Let o be (55/15)/((-116)/(-54)). Let h = o - 6/29. Let q = -1 + 2. Is h less than or equal to q?
False
Let d be (-1)/(4/48*-3). Suppose -2*r + 22 = 3*o, 3*r + 1 = -2*o + 19. Is d < o?
True
Let p(g) = 11*g**3 - g**2 - 15*g + 20. Let m(s) = -7*s**3 + s**2 + 10*s - 13. Let q(n) = 8*m(n) + 5*p(n). Let a be q(4). Is -3/13 greater than a?
False
Let d = -1.22 + 0.22. Which is smaller: -3/5 or d?
d
Let k be (-78)/(-45) - (-2)/(-5). Are k and 0 unequal?
True
Let a = -14 - -10. Let v = a + 5. Let k be 2/(-3)*(-6)/8. Which is smaller: v or k?
k
Suppose -4*l + 3 = -1. Let y be (-5)/(-2)*1/(-515). Let g = y + -399/2678. Which is bigger: l or g?
l
Let y be (2/135)/((-3)/(-9)). Which is bigger: y or 0?
y
Let a be (7/(-28))/(2/8). Is 1/57 smaller than a?
False
Let x be ((-6)/(-9))/(-2)*1. Let t be (2 + -3)/1*1. Let v = -2 - t. Is v less than or equal to x?
True
Let q = -3 - 0. Which is smaller: q or 3?
q
Let g = 6 - 8. Let t = g + 4. Let a = -0.13 + 1.13. Is a less than t?
True
Let r = -381 - -379.03. Let x = r - 0.03. Let k = 0.5 - 0.3. Are x and k non-equal?
True
Let u be 15/(-2) + 4/(-8). Let c = -13 - -4. Is u greater than or equal to c?
True
Let c = 2 - 1. Is 2/49 > c?
False
Let o(a) = a**2 - 1. Let j be o(1). Suppose -4*n = 12, 3*y + j = 5*n + 12. Which is smaller: y or -3/8?
y
Let l be 28/35*(-30)/(-4). Let d be -9*((-8)/(-4))/l. Is d > -4?
True
Suppose -4*z = -8*z + 20. Which is bigger: z or 2/3?
z
Let u = -715634/7 + 14747261/140. Let w = u + -3105. Let t = -3/5 - w. Which is greater: t or 1?
1
Let r = 0.11 + -0.23. Let p = r - -0.12. Let u = -2.96 + -0.04. Which is smaller: p or u?
u
Let u = -6.1 - -4.1. Which is bigger: u or 3/4?
3/4
Let l(s) = -8*s + 4. Let f be l(3). Let h = f + 21. Is h > 2/15?
True
Let f(p) = -p**3 - p + 1. Let z(u) = -4*u**3 + 8*u**2 - 13*u + 12. Let k(g) = 5*f(g) - z(g). Let y be k(-9). Let d = -2 + 5. Which is smaller: y or d?
y
Let p(x) = x + 10. Let l be p(-9). Let v be (-9 - -3) + -2*l. Let f = v - -25/3. Is -1 bigger than f?
False
Suppose -4*p + 3*p + 18 = 5*w, -2*w = -4*p - 16. Let l = 4 - p. Suppose -3*f = 3*r + l, 3*r - 2*f = -0*f - 11. Which is bigger: r or 1/3?
1/3
Let r = 19 + 