Let l be 5/(-4) + (-3)/u. Let b = -29/65 - 2/13. Is l equal to b?
False
Suppose 9 = -v + 3*g + 1, 0 = -4*v + 4*g. Let p be (-2)/(4/3 - 2). Let w(c) = -c + 6. Let z be w(p). Which is greater: z or v?
v
Let b(p) = p**2 - 7*p + 5. Let x be b(6). Let c be x*(-2)/6*1. Let q be 3*(1 - 4/3). Is q smaller than c?
True
Let l = -78 + 104. Is l < 0?
False
Let d be 0 + -1 + (-8)/(-4). Let l be (-8)/42 + (-2)/(-6). Which is smaller: d or l?
l
Let q be (1/2)/((-36)/(-120)). Does q = 3?
False
Let c(s) = 5*s**3 - 6*s + 6. Let u(o) = -4*o**3 + 5*o - 5. Let k(v) = 5*c(v) + 6*u(v). Let h be k(-1). Is h at least -0.1?
False
Let k = 0 - -0.8. Let x = k + -0.82. Is 0 greater than x?
True
Suppose 4*o + 7 = -69. Is o != -20?
True
Let l = -10 - -9.86. Let y = -1.9 + 2. Which is bigger: l or y?
y
Suppose 7*g + 7 = -0. Which is bigger: -24/11 or g?
g
Let r = -3 + 4. Let h be -2 + (166 - 2/r). Let u be (-12)/h*(-1 - 2). Is u less than -2?
False
Let h = 3.2 + 0.8. Which is smaller: h or -0.2?
-0.2
Suppose z = 6 - 3. Let x be (-12)/10*5/(-2). Are z and x non-equal?
False
Let l = -12 - -15. Suppose -2 - 7 = l*n. Do -3 and n have the same value?
True
Let o(q) = -q**2 - q + 35. Let p be o(6). Which is smaller: -9 or p?
-9
Let s be (-4)/12 - 1/15. Let y(c) = -c**2 - 7*c - 3. Let r be y(-6). Let t = 4 - r. Which is smaller: s or t?
s
Let b be (1*2)/(14/(-4)). Let d be ((-5)/(-10))/((-2)/(-16)). Let c be (d + -6)/(4/2). Which is smaller: c or b?
c
Let l = 6.98 + -7. Let f = l + -0.08. Which is smaller: f or 4?
f
Let t = 0 - 0.2. Is t at most as big as -3/4?
False
Let k = 53 + -53. Are k and 12/23 unequal?
True
Suppose 5*o = -5*d - 5, 5*o - 2*d = 2*d - 41. Let f = o + 4. Is -4/5 > f?
True
Suppose 14 = -p + 2. Is p smaller than -12?
False
Let v = -72.1 - -72. Which is greater: 16 or v?
16
Suppose 1 = -2*i - 1. Which is smaller: -1/10 or i?
i
Suppose 0*t = 3*t + 9. Which is smaller: t or -1?
t
Let q = 18 - 11. Let y be (-6)/(-6) + (-3)/q. Which is smaller: y or 1/2?
1/2
Let q be 3/(-6) - (-2)/4. Suppose 0 = -5*c - g - 3*g - 40, q = 5*c + g + 25. Which is bigger: 2 or c?
2
Suppose 2*i = 3*i - 2*m + 3, -12 = -2*i - 2*m. Let d = 4 - i. Are 2/5 and d non-equal?
True
Let q be 273/(-3) - (-6 - -3). Let r be 11/q*(0 - -2). Which is greater: -3 or r?
r
Let x = -63 + 62. Which is greater: -12/17 or x?
-12/17
Let j = -1814/11 - -165. Is 0 equal to j?
False
Let i(o) = 3*o - 1. Let z be i(-1). Let w be (-5)/1*3/(-5). Let m = w + z. Is m at most as big as -1?
True
Let y(m) = m**3 - 9*m**2 - 11*m + 14. Let o be y(10). Suppose -3*n - 2*t = 6, 2*n - t + 15 = -n. Let c be (o/(-21))/(n/6). Which is greater: 0 or c?
c
Let k be 0 - (1 + -2) - 1. Let j(m) = m**2 - m - 3. Let i be j(3). Let d = i + -3. Does k = d?
True
Suppose -2*n = -0*n. Suppose 0*s = -4*s. Is s != n?
False
Let o be (-12)/(-10)*30/12. Suppose 0*h + 15 = o*h. Suppose -h*g = -g. Which is smaller: -7/5 or g?
-7/5
Let s be (-26)/4*(16 - 17)*-2. Which is greater: -1/3 or s?
-1/3
Let g be (-32)/13 - -1 - -1. Let z be (-9)/((-234)/(-65))*2/5. Which is greater: z or g?
g
Let b = 10 + -11. Let l be b*3/(-3 + 2). Is -1 < l?
True
Let y = -20/31 + 297/124. Is y at least as big as 0.1?
True
Suppose 0*y = -3*y - 36. Let b(r) = -r**2 - 13*r - 11. Let h be b(y). Which is smaller: -2/11 or h?
-2/11
Let x = -75 + 153. Let z be x/90 + 4/30. Is z at most 2/11?
False
Let t = 3 - 1. Suppose 3*c = 5*i - 10, -7 = -t*i - c + 8. Let p be (0 - 2/i)*-5. Which is bigger: 1/2 or p?
p
Let k(o) = o - 1. Let x(w) = -5*w**2 + 5*w - 5. Let g(r) = -5*k(r) + x(r). Suppose c + 6*c = 7. Let y be g(c). Is y greater than or equal to -5?
True
Let s = 12 + 9. Suppose -3*t + 0 - s = 0. Is t greater than or equal to 1?
False
Let y = -5 + 10. Let g = 9 - y. Suppose -c - b = -5*c + 7, -g*c + 19 = -5*b. Which is smaller: 2 or c?
c
Suppose s - 4*z = -14, 4*z = s + 3*z + 2. Let m = s + 1. Let b be (4/6*m)/8. Is b smaller than 1/8?
False
Let p(k) = k. Let o(u) = u**2 + 7*u - 6. Let f be o(-8). Let n be p(f). Is n at most 3?
True
Let d be 218/(-11) - (-8)/(-44). Let x be ((-3)/2)/(6/d). Let h(t) = -t**2 + 5*t + 4. Let v be h(5). Which is greater: x or v?
x
Let l = 2.1 + -2.82. Let m = -16.02 + 16. Let g = m - l. Is -0.1 greater than or equal to g?
False
Suppose 0 = -8*t + 22 + 90. Is t at least as big as 14?
True
Let a be 3 - -1*292/(-210). Let o = 2/35 + a. Is 2 smaller than o?
False
Let y be 6/9*(7 - 1). Suppose 7*v = y*v + 3. Which is bigger: 2 or v?
2
Let w be 4/25*1830/(-18). Let c = 47/3 + w. Is -2 < c?
True
Let i = -26 - -31. Which is bigger: -2/3 or i?
i
Let l = -17 - -2. Let o be 5/l - (-2)/18. Do o and 0 have different values?
True
Let c be -3*1 + 621/(-105). Let l = c - -46/5. Which is smaller: -0.1 or l?
-0.1
Let i = 2.9 + 0.1. Let b = i + 2.6. Let v = 6 - b. Do v and 0.1 have the same value?
False
Let m be (4/4)/((-3)/33). Which is greater: -10 or m?
-10
Let g = -39 - -22. Does -17 = g?
True
Let r(i) = i**2 + i - 10. Let q be r(-3). Which is bigger: q or -19/5?
-19/5
Let z be (9*2)/3 + -3. Suppose -z*b + 8 = 2*h - 6, -b - 5*h = -9. Suppose 0*s - 8 = -2*s - 3*x, -b*s - 4*x + 12 = 0. Do s and 0 have the same value?
False
Let f = 2 + 3. Let r = 5 - f. Which is smaller: r or 1/9?
r
Let p = 72.9 - 73. Which is bigger: p or -8/9?
p
Suppose 3*s = -2*w, 4*s - 4 - 7 = w. Suppose k + 26 = z - 5*z, 4*z = -s*k - 24. Let c(r) = 6*r. Let f be c(-1). Do f and z have different values?
True
Suppose 81 = -7*h - 2*h. Which is smaller: h or -6?
h
Let l = 0.3 - 0.1. Let c = -16 + 16.2. Is c less than l?
False
Let b(x) = -x + 7. Let w be b(7). Suppose -3 = -5*r - z, w*r - 3*z + 9 = -3*r. Which is smaller: r or 1/8?
r
Suppose -20 = 8*a - 3*a. Let m = a - -2. Suppose -2*t - 11 = 4*d + 15, -25 = 5*t + 2*d. Which is bigger: t or m?
m
Suppose 32 = 5*j + 7. Let l = -9 + j. Let g be 2/3 - 125/30. Is l > g?
False
Let f = -26 - -57. Suppose r + 5 = -4*r + d, -5*d = 3*r + f. Let y = 0 + 1. Is r != y?
True
Suppose -4*z - 5*o + 6 = 0, -3*z - z + 5*o = 14. Let p be z/(9/6 + -2). Suppose 3*n + p = 5. Which is bigger: 2/35 or n?
n
Let i = 25.9 + -28. Let v = 2 + i. Let t = -0.9 + 1. Which is smaller: t or v?
v
Let z be (-2)/(-3) - (7 - 5224/840). Which is smaller: 1 or z?
z
Let f be -1 + -2 + (-4)/(-20). Which is smaller: f or -3?
-3
Let p be ((-4)/(-21))/((-6)/9). Which is greater: -1 or p?
p
Let k be (0 + -3 + 3)*1. Let u be 1 - k - (-18)/(-9). Which is smaller: -2 or u?
-2
Let p be (-1 - -2)/(-4 + (-46)/(-12)). Which is bigger: p or -8?
p
Let h(d) = -d - 8. Let n(t) = 3*t + 24. Let v(l) = -8*h(l) - 3*n(l). Let p = 26 - 32. Let w be v(p). Is -1/2 at most as big as w?
False
Let g be 1 + (0 - 3) + 1. Let p = g - -1. Let j = 1 + 0. Is j at most as big as p?
False
Suppose y + y + o + 19 = 0, -4*y + 5*o = 45. Is y bigger than -9?
False
Let s(x) = 3 + 3 + 4*x + 0*x - 3*x. Let g be s(-9). Is -2/7 <= g?
False
Suppose 10*p - 319 = -1069. Is -74 greater than p?
True
Let p(j) = -j**3 + j**2 - 1 + 2*j**2 + 0*j**3 + 2*j. Let s be p(3). Let h = s - 8. Which is smaller: -4 or h?
-4
Let g(j) = -j**3 - 9*j**2 + 6*j - 9. Let q be g(-9). Let x be (12/q)/(36/(-14)). Is x less than 0?
False
Suppose -4*l = l - 4*d - 45, -4*l - 3*d = -36. Suppose -2*h = h - 24. Which is smaller: l or h?
h
Suppose -3*b + 5*u - 3*u - 21 = 0, -u + 14 = -2*b. Let r = b - -3. Is -5 greater than or equal to r?
False
Suppose -1 = -l - 0. Let q = 72.1 - 49.4. Let n = q - 22. Is n bigger than l?
False
Let o = -7 + -4. Let w = o + 10.9. Let n = -0.1 + 0. Is w greater than or equal to n?
True
Let l be 93/4 + (-3)/12. Which is smaller: 22 or l?
22
Suppose -5*l - 4*h + 17 = -h, 0 = 3*l - 4*h + 13. Let f = 0 - l. Let j be (-82)/140 + 2/7. Which is bigger: j or f?
j
Let v = -121/3 + 41. Is -3 bigger than v?
False
Suppose -2*g - 1 = -3*g. Suppose -q + 2*x - g = 2*q, 11 = 3*q + 4*x. Which is greater: 4/3 or q?
4/3
Suppose 5*h - 2*u + 20 = 3*u, 0 = 5*h + u + 2. Is h >= -10/7?
True
Let o(x) be the first derivative of -x**3/3 + 2*x**2 + 6. Let d be o(3). Is d smaller than 3/2?
False
Let i be 5 - 3/((-3)/(-5)). Which is greater: i or 0.02?
0.02
Let c = -6 - -10. Let v be (1/(-2))/(1/(-6)). Is c at least v?
True
Suppose 5*j - 75 = -0*j - 5*g, g + 57 = 5*j. Is 13 less than or equal to j?
False
Let i be (3 - 2)/1*0. Let j be ((0 - -1) + -2)*i. Let z = j + 0. Is z e