). Let f be (-1277)/(-10) - 5/(-10). Let g = 129 - f. Do g and u have different values?
True
Let x = -582 - -2921/5. Let t = 33 + -30. Is t less than x?
False
Let n = 31 + -33. Let o be 24/15*5/n. Which is bigger: -19/6 or o?
-19/6
Let w be 18/((-10)/(-5)) - 5. Suppose -4*z - 2*v = -0*v - 56, z - 2*v = w. Is z < 59/5?
False
Let x = 16 - 8. Let a(k) = k + k**2 - 10*k - 11 + k + k. Let p be a(x). Is p at most as big as -3/2?
True
Let o = 224 + -199. Which is smaller: 29 or o?
o
Suppose 13 = 2*b + 229. Let y = b - -106. Which is greater: -8/5 or y?
-8/5
Let v = -32.5 + 34.6. Is v >= -3?
True
Let q = 7 + -10. Let n = 0.011 + 0.049. Which is smaller: n or q?
q
Let z be ((-8)/(-20))/((-5)/(50*-9)). Is 36 != z?
False
Suppose -5*k + 2*z + 30 = 0, 4 - 29 = 5*z. Let v be (-2)/k + (-66)/(-4). Let t be -4*(-1 + 20/v). Which is smaller: 3 or t?
t
Suppose -76 = 18*n - 256. Let f(o) = o**3 + 6*o**2 + 2*o - 5. Let r be f(-5). Is r smaller than n?
False
Let h = -102 + 120. Suppose 24 = 16*p - h*p. Which is smaller: -14 or p?
-14
Let o = 618 + -3048/5. Which is smaller: o or 9?
o
Suppose -1 - 1 = -u - 3*p, -5*u - p = -10. Let w be (-3)/u - (-12)/8. Suppose w = 4*t - t - 6. Is t at least 1/6?
True
Let i = -306 - -308.4. Which is smaller: -4 or i?
-4
Suppose -5*a - 3 = 2. Let h be (-2)/7 + 146/(-224). Let b = h - -377/368. Which is smaller: b or a?
a
Let q = 1.86 + 0.24. Let f = q + -3.1. Is -0.4 equal to f?
False
Let j(i) = -i**2 + 7*i + 1. Let b be j(8). Let l be 255/35 - (-2)/b. Suppose 14*k - 120 + 36 = 0. Is k less than l?
True
Let c be (5/(-2))/(7/(-2)). Suppose -152 - 152 = 6*a - 316. Is c < a?
True
Let h be (-110)/(-45) + 1/3. Which is bigger: 2/5 or h?
h
Let w(b) = 3 - b**3 - 8*b + 5 + 0*b**2 - 10*b**2. Let f be w(-9). Let c be f*3*(-5)/15. Is 1/15 smaller than c?
True
Let t be ((-30)/3)/2*-2. Suppose -t = 5*b - 4*b. Which is smaller: b or -5?
b
Let x = -12 - -15. Let n(w) = -6*w**2 - x*w**3 + 1 + 7*w**2 + 4*w**3 + 6*w + 6*w**2. Let c be n(-6). Is c < -3/10?
False
Let q be -3 - (-40)/((-52)/(-8) + -6). Do -3/4 and q have different values?
True
Let h be (7*2)/(1 + 3 - 127). Is h at least -1?
True
Let b = -0.159 + -0.041. Let v = -1.85 - -0.05. Let l = b + v. Are -5 and l nonequal?
True
Suppose -5*z - 2 = -4*z, -5*z + 276 = -2*i. Do i and -142 have the same value?
False
Let u = 0.15 - 0.35. Let g = -9.2 + 9. Let c = u - g. Do c and 2 have the same value?
False
Let c = -4 + 9. Let q(v) = -3 + 2 + c*v + 2*v + 0*v - 8*v**2 + v**3. Let i be q(7). Is i <= -3?
False
Suppose 11*j - 7*j - 32 = -5*h, 4*h = 4*j + 40. Suppose h*y = 11*y - 72. Is 24 equal to y?
True
Let l = 34 + -32. Let u be (3/l)/(6/20). Is 9/2 <= u?
True
Let g(t) = -9 + 5*t + 2*t**2 + 2*t**2 + 5 + 14 + 2*t**3. Let h be g(-4). Is -73 equal to h?
False
Suppose -68*z + 47*z = 1071. Is z at most -43?
True
Suppose 8 = 2*a, 2*p + 3*a = -5 + 21. Let w = -1.88 - 0.12. Do w and p have the same value?
False
Let t = 104 - 99. Is t smaller than 8?
True
Suppose 0 = -2*k + 15 - 7. Which is greater: k or 36/13?
k
Let m = 221 - 213. Let g be 2 + 8*2/4. Suppose -4*j = 2*u - m, -4*j + g = u - 0*u. Which is bigger: 3 or u?
3
Let y(o) = -o**2 + 5*o + 1. Let s be y(11). Which is bigger: -64 or s?
-64
Let n = -37 + 56. Suppose -q + n - 17 = 0. Do 20/7 and q have the same value?
False
Let q be (2 + -1)*(5 - (-4)/(-8)). Suppose 6*k - 20 = 2*k. Is q smaller than k?
True
Let p be (1/3)/((-5)/30) - 0. Is -17/13 less than p?
False
Let l be 169/(-910) + ((-6)/10 - -1). Suppose 3*c = 5*m + 2*c - 2, 4*c + 8 = -5*m. Do l and m have different values?
True
Let s(l) = -l**3 - 6*l**2 + 5. Let t be s(-6). Suppose -j = -t*j - 8. Let q be (-1288)/4165 - j/7. Do q and 1 have the same value?
False
Let k be (-3 + (-65)/(-25))*25/795. Is k at most as big as -2/3?
False
Let s be -3 - (-2)/((-60)/171). Let c = s + 12459/70. Let q = c + -169. Which is bigger: q or 2?
2
Suppose 3*o + 26 = 38. Is 23/6 <= o?
True
Suppose 4*w - 86 = -3*h - 24, -w = -5. Let c(r) = 12*r + 1. Let i be c(1). Is i bigger than h?
False
Let z = -21/89 + 2788/12193. Let c = z + 281/959. Is -0.16 < c?
True
Let v = -1463.8 + 1464. Which is greater: v or 2?
2
Let u(n) = 851*n - 37. Let q(p) = 71*p - 3. Let j(m) = -37*q(m) + 3*u(m). Let c be j(-1). Let w = c - 521/7. Is 0 less than w?
False
Let u(n) = 4*n**2 - 7*n - 16. Let r be u(3). Which is smaller: -10 or r?
-10
Let k(n) = 9*n + 25. Let s(w) = 5*w + 12. Let d(o) = -3*k(o) + 5*s(o). Let g be d(-7). Which is smaller: g or -15?
-15
Let v = -272.493 - -272. Let o = -0.093 - v. Is o greater than -0.4?
True
Let a(s) = 5*s**2 - 40*s + 11. Let f be a(7). Which is smaller: -22 or f?
f
Let i be (0 + 2)*(-1150)/(-1012). Is 1 > i?
False
Let g be (-6)/(-4)*(-74)/(-3). Suppose 5*o + g = 4*d, -5*o - 5*d = -2*d + 16. Let n(l) = l**2 + 4*l - 5. Let c be n(o). Which is smaller: c or 3?
c
Let m(i) = -i**2 + 6. Let w be m(0). Let l be (-20)/(-5) - w - -1. Let h be l/(4 - 308/76). Is 19 less than h?
False
Suppose -3*l = -0*l - 5*w - 78, 2*l - 39 = -w. Let u be ((-1 - l) + 0 + 3)*1. Is u < -19?
False
Let f = 19 + -20. Let p be f + (-2 - -3) + 2. Suppose p*v + 2 = v. Which is smaller: -9 or v?
-9
Suppose -w + 3 = 0, 7 = j + w - 0. Let d be 48/40*5*3/6. Is d at least as big as j?
False
Let v be (-68)/(-14) + 2/14. Suppose 3*r + 29 = -v*o - 11, 10 = -2*o. Let s be 6/r - (0 - 2). Is 2 >= s?
True
Let z = -96 - -93. Let s(w) = 4*w + 3*w - 2*w - 1. Let o be s(z). Is -15 != o?
True
Suppose 0 = 2*m - k - 1, -3*m - 1 = 5*k + 4. Which is greater: -2/159 or m?
m
Suppose -t - v = 3, 0*v = -3*t - v - 1. Which is greater: 2/295 or t?
t
Let p(a) = 2 + 1 + 1 + 4*a + 3. Let s be p(-3). Let l = 6 + s. Which is greater: l or -2?
l
Let i be ((-1)/1)/(0 - 1). Suppose r - 3 = -3*o - o, 2*o - 9 = r. Let k be ((-6)/r)/((-24)/(-10) + -2). Is k >= i?
True
Let t be ((-13)/(-5) - 3)*35. Let c be (35/t)/((-2)/(-4)). Let d = c + -9. Is -13 at most d?
False
Let y = 470 - 431. Is y bigger than 121/3?
False
Let l = 4.9 - 3. Let c = l - 2.9. Is c bigger than 5.5?
False
Let v(u) = u**3 + u**2 + u + 5. Let q be v(0). Suppose 2*c + 56 = q*t + 6*c, 2*c + 62 = 5*t. Suppose 2*p = t - 10. Which is smaller: 2/21 or p?
2/21
Let p(f) = -f**2 - 19*f - 32. Let q be p(-16). Suppose -162 = -q*y + 30. Let s(x) = x**3 + 6*x**2 - 9*x - 2. Let b be s(-7). Do y and b have the same value?
True
Let y = -31476452/96864983 + 2/221659. Let i = y - -7/19. Is i > -1?
True
Suppose 2*u = 1 + 3. Let h(b) = -2*b**3 + 9*b**2 - b - 7. Let v be h(4). Let n = v - u. Is 3 less than or equal to n?
True
Let r = -4 - -2. Let f(m) = -m**3 + m**2 - 2*m - 1. Let j be f(r). Let w = j + -16. Is w < 1?
True
Let o(i) = i**3 + 10*i**2 - 23*i + 22. Suppose 30 = -5*q - 30. Let t be o(q). Which is bigger: 14 or t?
14
Suppose m - 6 = -105. Let w be (-88)/(-36)*m/(-24). Let h = -1211/132 + w. Is -1/2 less than or equal to h?
True
Let p be (-3)/(-4)*(-1)/3. Suppose -x + 2*o - 2 = -0, 0 = x + 3*o + 7. Let f be ((0/(-5))/(-3))/x. Which is smaller: p or f?
p
Let s be 2*(0 - 0 - -1). Suppose -4*r + 85 = -27. Let d = r - 28. Is d < s?
True
Suppose 0*t - 4*t = 44. Which is smaller: -6 or t?
t
Let y = -25 - -51/2. Let o = 0.31 + 1.39. Let v = o - 1. Is y > v?
False
Suppose 343 = -5*u + 1333. Let y = 4550/23 - u. Which is smaller: -1 or y?
-1
Let b be (1/(-3))/(26/12). Let u be ((-3)/2)/(2 + (-11)/4). Suppose 4*l - 2*j = u + 2, -3*l - 7 = j. Are l and b equal?
False
Suppose 8 = 4*c - 4*f, -f - 10 = -3*c + 3*f. Let v be (-2)/6 + c + 2. Let o = -0.164 + 0.164. Are o and v non-equal?
True
Let v = -85/39 + 33/13. Let i = v + -347/858. Which is greater: i or -1?
i
Suppose 0 = -3*d + 222 - 60. Are 54 and d non-equal?
False
Suppose 2*y + 12 = 4*m, -4*y - m - 2*m - 13 = 0. Which is smaller: 11 or y?
y
Let r = -3989/1034 - -98/47. Which is bigger: r or -2?
r
Let p = 458 + -457.7. Let k = 9 - 5. Suppose 14 - k = 5*a. Does p = a?
False
Suppose 0 = -2*x - x - 12. Let r(k) = k**2 - 8*k + 15. Let n be r(7). Let d = -11 + n. Which is greater: d or x?
d
Let b = -16 + 2. Let x be -5*2/3*(-504)/(-140). Which is greater: x or b?
x
Let c(o) = o - 2. Let k be c(3). Let x be (-2 + k)*(2 - 1). Suppose -21 = j - 4*v, -2*v = -3*j + 5*j - 8. Is x less than or equal to j?
True
Let n = -113/5 + 22. Let z be 0 - 0 - (-22 + 1). Let x = -21 + z. Are x and n none