 be l(-8). Let j(i) = i**2 + i - 8*i + 0*i - n. Let v be j(8). Which is greater: 4/3 or v?
4/3
Let l = 0.16 - 4.86. Let b = -5 - l. Let d = -0.4 - b. Is d greater than 0.04?
False
Let y be 66/90 + 2/(-5). Let n(i) = i**3 - i**2 + i. Let h be n(1). Let m(v) = v - 2. Let z be m(h). Are y and z equal?
False
Let b(q) = q + 3. Suppose -i = 5*p + 26, -i + 8 + 8 = -2*p. Let h be b(p). Let v be (h/2)/(1/(-2)). Is 2 < v?
True
Let h be 2 + 4/(1360/(-675)). Is -1 equal to h?
False
Let g(w) = -w**2 + 2*w - 3. Let b be g(3). Let n be b/(-10) + 42/5. Are n and 7 non-equal?
True
Let r = 158 + -793/5. Let k(m) = -16*m + 319. Let v be k(20). Which is bigger: r or v?
r
Suppose 4*l - 40 = -128. Is -23 at most as big as l?
True
Let r(m) = 4*m**2 + 8 + 6*m**2 + 5*m - 11*m**2. Let n = -6 - -12. Let l be r(n). Which is smaller: l or 3?
l
Let x be (1/(-9))/((-12)/54). Which is smaller: 0.1 or x?
0.1
Let b = 36 + -73. Is b less than or equal to -37?
True
Let g(z) = z + 12. Let i be g(-10). Suppose -30 = -i*m - l - 3*l, -4*l = -4*m. Which is smaller: m or 4?
4
Let h = 3462075763122090135074/1789515 - 1934644729506251. Let w = h - 2/255645. Let k = 161 + w. Which is smaller: 0 or k?
k
Suppose 25 = 3*f + 2*f. Suppose 0 = -f*z + z. Which is greater: 5/7 or z?
5/7
Let f = 6 + -5. Let j = -0.97 + f. Let w = j + 0.07. Which is greater: w or 5/4?
5/4
Let f = -111.3 - -105. Let t = f + 1.3. Which is bigger: 1/2 or t?
1/2
Let s = 7.06 - 7. Let b = s - -0.04. Which is smaller: -0.1 or b?
-0.1
Let i = -3 - -5. Let x(q) = -q. Let t(r) = 3*r + 1. Let l(s) = -t(s) - 4*x(s). Let a be l(3). Do i and a have the same value?
True
Let n = 164 + -472. Let h be -1 + -3 - n/70. Which is smaller: h or -0.01?
-0.01
Let c be 11/2*8/2. Suppose -2*z + 16 = 4*m - 0*m, -4*m = 5*z - c. Which is greater: m or 2/5?
m
Let l(g) = g. Let a be l(2). Suppose -a*t + 16 = 2*t. Let q be t/16*6/4. Is q at most as big as -1?
False
Suppose 0 = -2*l + 3 - 1. Let b = 200/159 - -4/53. Which is smaller: b or l?
l
Let n = -6 + 9. Suppose 0 = -3*d - n + 36. Let h = -51/5 + d. Which is bigger: 2 or h?
2
Suppose 0 = 3*t - 5*t + 8. Suppose -5*x + t*r = 0, -5*x = -2*x + r. Are x and 7 non-equal?
True
Let t be -1*(2 + -54)*2 + 1. Is t <= 104?
False
Suppose -v + 0*v = 0. Let c be (-2)/5 - (-24)/10. Let p = c + v. Is p < 2?
False
Let q = 15 - 11. Suppose -10 = q*o - 2. Let r be ((-2)/(-21))/(o/(-3)). Which is greater: r or 1?
1
Let c = 15 - 20. Is 0.2 < c?
False
Let f be (7/63)/(2/(-6)). Let v = 15 - 15. Which is bigger: f or v?
v
Let j be ((-6)/5)/((-34)/(-51)). Is j < -1?
True
Suppose -4 = -d + 1. Suppose -3*i - a = 14, 5*i - d*a + 3 = -7. Let x = -33 - -30. Which is smaller: i or x?
i
Let i = 1/5 + 2/15. Let z = 4.1 + 0.9. Let d = z + -5.2. Is d bigger than i?
False
Let m be (-3)/7 - 24/42. Is -1/19 at most m?
False
Let c be 2 + (45/(-12) - -3). Is 0 smaller than c?
True
Let r(v) = v**3 + 11*v**2 + v + 2. Let p be r(-11). Let s = p + 10. Let l be (-1 + (-10)/(-6))*3. Which is smaller: l or s?
s
Suppose -2*f = 2*u, u + 3*u + f = 12. Let n = u + -6. Which is bigger: n or -3/4?
-3/4
Suppose 0 = 4*z - 9*z - 25. Let n = 10 + z. Let u = 0 + 6. Does n = u?
False
Let z = -161 - -1129/7. Is z >= 9?
False
Let g = 39 - 14. Suppose 0*l = -5*l + g. Suppose 3 = -q + 2*d, -3*q - d - 5 = -l*d. Which is bigger: q or 0?
q
Let c be -2 + 0 + 0 + 10. Suppose -c*j + 12*j - 4 = 0. Let p be (2/8)/((-21)/12). Is p smaller than j?
True
Suppose 0 = -x + 3*w, 4*x - 3 - 37 = 4*w. Let d be (-30)/(-4)*(-12)/x. Let s be (-3)/d*0 + 0. Are s and 0 equal?
True
Let b = 0.02 + 0.19. Let w = b + -1.21. Is 0.03 at least as big as w?
True
Let k = -7 + 1. Let s = k - -12. Which is bigger: 7 or s?
7
Let z = 1545 + -77247/50. Is z smaller than -1?
False
Let m be -3 + (5*9)/(-3). Let a be (6/m)/(1 - 0). Which is smaller: 0.4 or a?
a
Let c be (-51)/14 + 4/1. Is c >= 0?
True
Suppose -2*z + 6 = -4*z + 4*u, 4*z - 2 = u. Let f(c) = c - 12. Let n be f(6). Let w be (2/(-6))/(2/n). Is w not equal to z?
False
Let l = 96 + -673/7. Let d = 0 - l. Which is smaller: d or -2/7?
-2/7
Let c(b) = b**3 - 1. Let u be c(-1). Let r be (-2 - (2 - 1)) + 2. Let o = u - r. Which is smaller: -3/4 or o?
o
Let d = -16.1 + 0.1. Let n = 15.8 + d. Is n less than or equal to 4?
True
Let j be (80/1*(-12)/(-24))/(-1). Is j less than or equal to -41?
False
Let j be (2 - (-148)/(-70))*(-24)/48. Is -1 > j?
False
Suppose 0 = p + 2*p - 6. Suppose -m = p*m - 3. Suppose 0 = 2*u - u - 3*v - 3, -5*u - v = 1. Which is bigger: u or m?
m
Let q = 1 + 2. Let a be 38/9 + 4/(-18). Suppose b = -2*y - a, b - y - q*y - 8 = 0. Which is smaller: b or 2/3?
b
Let d = 15982/21 - 761. Let b = -1 + 0. Which is smaller: b or d?
b
Let u = -9.2 - -9. Which is smaller: u or -0.05?
u
Let i be -230 - (-2 + 3 + 0). Let h be 240/i - 8/(-44). Which is smaller: h or -2?
-2
Let c = 38 - 39. Suppose 0 - 4 = 4*o. Let t be (c - o) + -2 + -4. Do t and -5 have the same value?
False
Suppose 12 = -0*u - 6*u. Let a = 0.3 + 0.7. Which is bigger: u or a?
a
Let p = 0.2 - 1.1. Let l = p + 0.7. Which is greater: l or 3/7?
3/7
Let i(x) = 4 + 3*x + 0 - 2*x**2 + 3*x**2. Let r be i(-3). Let v = r - 3. Which is smaller: v or 0?
0
Suppose -5*x = -0*x. Suppose x*i - 30 = -5*i. Suppose 0 = i*l - 2*l. Which is bigger: l or 2/5?
2/5
Suppose 0 = -4*s + s. Suppose 0 = -2*q - s - 2. Let t be 2 + (2/q - 0). Which is bigger: t or -1?
t
Let a(x) = 2*x**2 + 12*x - 4. Let s be a(-6). Which is smaller: -3 or s?
s
Suppose -3*d + 15 = -a, 5*d + 0*a = 5*a + 15. Are d and 0.1 non-equal?
True
Let q be (-36)/(-55) + (-1)/5. Let c = q - 4/33. Which is smaller: -2 or c?
-2
Let o = 31/2 - 17. Let p(d) = d + 2. Let c be p(-3). Is o equal to c?
False
Let c be 95/(-57)*(-1 + -2). Are c and 5 non-equal?
False
Let i = -2 + 8. Is 8 equal to i?
False
Let w = 1594/5 + -27238/85. Which is bigger: w or -1?
-1
Let h(y) = 6*y - 2. Let o be h(1). Suppose -6*u = -u - 15. Which is bigger: o or u?
o
Let x be ((-6)/(-30))/(4/(140/3)). Is x <= 3?
True
Suppose -3*i - 33 = -2*x - 0*x, 2*i + 2 = 0. Which is bigger: 29/2 or x?
x
Suppose 0*x - 5*b + 2 = x, -2*x + 5*b + 4 = 0. Suppose -3*f = -2*j + 18, j - x*j = 3*f + 9. Which is smaller: -3 or f?
f
Let i = 61/3 + -21. Let v = i - -1. Let a = -0.8 - 0.2. Which is smaller: a or v?
a
Suppose 3*h + 5*n = 29, 2*h - 18 = 3*n - 6*n. Let f be ((-235)/h)/(1/3). Let b = f + 2117/9. Which is greater: 0.1 or b?
b
Let j be (4 - 3)*1/1. Let r be (3 + (0 - 2))*j. Which is greater: 2 or r?
2
Let c = -9 + 10. Which is smaller: c or -65?
-65
Suppose -3*k + 4*i + 0*i - 13 = 0, 0 = -2*k - 5*i - 24. Suppose 4*w = -12 - 16. Is k >= w?
True
Suppose 3*i - 3 = 6*i. Which is smaller: -2/95 or i?
i
Suppose 4*c = -0*c. Suppose c*m - 18 = 2*m. Which is greater: m or -10?
m
Let r = -22 + 22. Is -1/55 less than or equal to r?
True
Suppose 3*c - 16 = 2*j, 4*c - 3*c - 14 = 5*j. Suppose -2*x + 6 = -b, -3*b - c*x + 9 = -x. Is b bigger than -1/3?
True
Suppose -y - 15 = -0*j - j, -y = -3*j + 25. Let g = 19 - 20. Does g = y?
False
Let c be (0 - 0)*(-7)/(-14). Let i = 1/8 - c. Let t = -3 - -4. Is i greater than t?
False
Let k = -2911 - -20488/7. Let m = k + -16. Let g(j) = -j**2 + 12*j - 1. Let o be g(12). Which is greater: m or o?
m
Let t be -1 + (-2)/(-2) + -2. Let w(n) = n**3 + 3*n**2 + 4*n + 3. Let h be w(t). Does -0.1 = h?
False
Let j = 1 - 0.95. Let h = -0.41 + -1.64. Let d = j + h. Is d < -2?
False
Let t(s) = -s**3 + 8*s**2 - 8*s - 18. Let r be t(6). Suppose 13 = 3*k - 5. Is r != k?
False
Let n be (2/(-4) - (-6)/12)/(-2). Is n > -2/15?
True
Let s be 38/(-72) + (-12)/(-16). Let h = -2 - -1.9. Let b = h - 0. Is s less than b?
False
Suppose 4*p = -2*m - 0*p + 10, 2*m - 4*p + 6 = 0. Suppose 0 = x + 2 - 4. Is x bigger than m?
True
Let x = -10 + -1. Let p = -0.35 + 11.05. Let s = x + p. Is 0.1 less than or equal to s?
False
Let u = -8 + 6. Let t be 18/4 - (-21)/(-7). Let p = -1 + t. Which is smaller: u or p?
u
Let h be 2/(-6) + (-8)/3. Let x be -4 + h/(6/(-4)). Let d be 2/(0 - (-2)/x). Is -1/2 at most as big as d?
False
Let b be (-2)/(-8) - (-45)/(-36). Is b less than or equal to 1?
True
Suppose -3*n = 3*r + r - 22, -5*n - 5*r + 35 = 0. Is n >= 1/6?
True
Suppose 0*m - b - 15 = -4*m, 3*m + 10 = 5*b. Suppose 1 = -4*o + m*o. Which is greater: 3 or o?
3
Let o be (-108)/63 - (-4)/(-14