 4 or b?
4
Let w be 2 + (0 - 0) - 3. Let t be ((-8)/(-3) - 3)*w. Suppose -4*f - 4 = -0*f. Is t greater than or equal to f?
True
Let v = 7.9 + -8. Let i = v - 7.9. Which is smaller: i or 2/5?
i
Let r = 8 - 5. Suppose -3*a + 2*f + 4 = -r*f, f = a. Which is greater: a or -1?
-1
Let r = -4 - -3.8. Let n(t) = -t**3 - 3*t**2 + 6*t + 3. Let c be n(-4). Let u be (2/c)/(8/10). Which is smaller: r or u?
u
Suppose -2*a + 3*l = 9 + 1, -l + 4 = 0. Is a at least as big as 1/23?
True
Let i = -2225/14 + 159. Is 0 at least i?
False
Let j(o) = o. Let v = 5 + 0. Let n be j(v). Suppose 3*p + 17 = n*k, 0*p - 3*p - 2*k = -11. Is p equal to 1?
True
Suppose -p + 8 = -2*p. Let v = 15 + p. Is v at least 0.1?
True
Suppose 0 = -5*d - 2*g - 65, 0*g + 5*g = -d - 13. Which is smaller: d or -156/11?
-156/11
Suppose -9 = -3*y + 3. Let h = 31/65 + -1/13. Which is greater: y or h?
y
Let u = 8/9 - 2/9. Let y be 1/4 - 7/(-4). Let c be (0*y/2)/1. Are u and c equal?
False
Let x(k) = -2*k + k**2 + 9*k + 2*k**2 + k**3 - 6 + 6*k**2. Let v be x(-8). Which is smaller: -0.1 or v?
-0.1
Let i be 2/(-10) + 102/10. Let u be 3 - 4 - (-14)/i. Which is smaller: -2 or u?
-2
Suppose 3*u - 2*k = -3*k, 2*u + 10 = -4*k. Suppose 1 = -3*l + 5*p, 9 = 5*p - u. Let y be l/((-9)/(-2))*6. Which is smaller: 3 or y?
3
Let c = 0.2 + -0.4. Which is smaller: 2/9 or c?
c
Let s(b) = b**3 - 6*b**2 + 6*b - 3. Let j be s(5). Let i(x) = -x**2 + 2. Let g be i(j). Let q = 4 + g. Is q not equal to 1?
True
Suppose -3*l + 5 - 8 = 0. Suppose -3*w = -9 + 39. Let v be 1/(-2)*(-4)/w. Is l equal to v?
False
Let f = 3221/320 - 17/64. Which is smaller: f or 11?
f
Let j(z) = -2*z - 3. Let d be j(-2). Let v be (-10)/(-5) + d + -1. Suppose 4*s + 4*p + 16 = 0, -2*p + p = -v*s + 7. Does s = -5?
False
Let p = -30 - -29. Which is smaller: -1/9 or p?
p
Let v be ((-66)/(-24))/(1/4). Let l(h) = h**2 - 12*h + 12. Let c be l(v). Which is smaller: 2/11 or c?
2/11
Suppose 11*j - 27 = 2*j. Which is bigger: j or 0?
j
Let p(m) = m**2 - m + 6. Let r be p(0). Suppose 0 = -3*h + r. Is h not equal to 0.2?
True
Let h(o) = 7*o**3 - o. Let z be h(1). Suppose z*f = 2*f. Which is smaller: 3/11 or f?
f
Suppose 4*l - 4 = 0, -3*l + 0*l = 5*h - 13. Suppose -3*i = -5*i + 8. Which is greater: h or i?
i
Let j(p) = 11*p - 3. Let s be j(9). Which is bigger: s or 95?
s
Let g = -0.7 + 0.8. Let q = g + -1.1. Which is smaller: q or -0.11?
q
Let u(y) = -y**3 + 6*y**2 + 3*y + 3. Let s be u(7). Which is smaller: -24 or s?
s
Let i = -4 + 3. Let b(h) = -5*h. Let z be b(i). Suppose -d + z = 3. Which is smaller: -0.1 or d?
-0.1
Let y be -3*(-2)/(-6)*1. Is y equal to -6/13?
False
Let m(g) = g. Let t(u) = -u**3 + 10*u**2 + 7*u + 12. Let s(v) = -3*m(v) - t(v). Let p be s(11). Which is smaller: p or 1/6?
p
Let d = 0 - 0.04. Let o = d - -0.14. Are o and 2/3 nonequal?
True
Suppose -8*p + 81 = -17*p. Suppose -5*f + 3*q + 1 = 0, -2*f + 4*q - 2 = 6. Let d be -8 - f - (-3 + 1). Is d at most p?
False
Suppose 7 = w + 3*i, -2*w + 3*i + 0 + 5 = 0. Suppose -5*q - 3*n - 8 = -0, 2*q + w = -2*n. Let z be q/((-1)/(-2)*1). Which is smaller: z or -9/4?
-9/4
Let o = -208 - -132. Let c = 226/3 + o. Let i = -6 + 6. Which is smaller: c or i?
c
Let m be (-62)/6 + (-10)/15. Let n = -15 - m. Let g(s) = -s + 4. Let z be g(9). Which is bigger: n or z?
n
Suppose -4*u = 5*h - 65, 3*u = h - 12 - 1. Let x = 11 - -3. Is h less than x?
True
Let y = -6 - -5.87. Do y and -1 have different values?
True
Suppose -19 = 4*z - 39. Suppose -4*t + 11 = 3*l, -3*l + 5*t = z + 2. Which is smaller: 1/29 or l?
1/29
Let j(i) = i**2 - 1 + 3*i + 2*i**2 - 2. Let x(r) = 13*r**2 + 12*r - 13. Let t(l) = 9*j(l) - 2*x(l). Let d be t(-3). Which is smaller: d or -2/5?
d
Let j be (120/32)/(1/(-40)). Let k = 1052/7 + j. Which is greater: k or -3?
k
Let u = -0.054 + -0.046. Which is bigger: u or -9?
u
Suppose 1 - 4 = -s. Let p be -2 - s/(-24)*2. Which is smaller: -3 or p?
-3
Let r = 4/15 - -2/5. Which is smaller: 5 or r?
r
Let q be 7/(-3)*(-351)/546. Let y = -2 - 6. Let j = -6 - y. Which is smaller: q or j?
q
Let b = -63 + 57. Which is bigger: -4 or b?
-4
Let c = -4 + 2. Let g = 452/15 - 154/5. Which is bigger: c or g?
g
Let m(n) = -n**3 - 23*n**2 - n - 22. Let q be m(-23). Is 15/31 less than or equal to q?
True
Suppose -y - 7 = -5*j, 2*j = 7*j + 4*y + 3. Let i = -0.9 - -0.81. Which is smaller: i or j?
i
Suppose -2*v = 4 - 2. Which is greater: -6 or v?
v
Let n = -22.99 + 23. Is -1/2 > n?
False
Let v = -22 - -22.2. Which is bigger: -1 or v?
v
Let r(g) = 2*g**3 - g**2 + g + 1. Let y be r(-1). Suppose 6 = 2*l - 2. Suppose l*m + 11 - 3 = 0. Which is greater: m or y?
m
Let n = -4 - -3. Let h = 147 + -147.99. Let l = -0.01 + h. Is n > l?
False
Let z = 0 + -5. Let n(a) = -2*a**3 + 3*a**2 + 4*a - 9. Let d be n(2). Is z at most as big as d?
True
Let d = -1.01 + 0.01. Which is smaller: -13 or d?
-13
Suppose -5*d = 3*b - 6*d - 1, 15 = 5*b + 5*d. Let x = 10 - 9.7. Which is smaller: b or x?
x
Let m be ((-24)/10)/(8 + -6). Which is bigger: m or -1?
-1
Let x(b) = 3*b**3 + 3*b**2 - 3*b + 2. Let p be x(2). Let k be ((-40)/p)/(2/(-8)). Let c be -1*3/6*-8. Do k and c have the same value?
False
Let o = -39 + 106. Suppose 0 = -2*u - 2*v - 46, 0*v + 5*v = -3*u - o. Let f be (-1 - 1) + u/(-9). Is -2 bigger than f?
False
Let n(q) = q**3 + q**2 - 11*q - 1. Let o be n(3). Is -0.3 less than o?
True
Let x = -1 - -6. Do x and 4 have the same value?
False
Let d be 2/(-1) - (-2 - 2). Let c be -2*(1*-2)/d. Let n be 7/20 + c/8. Is n greater than 0?
True
Let i = 5 - 2. Are i and 4 unequal?
True
Let i be 0/(2/(-6)*-9). Are 3/29 and i unequal?
True
Suppose -3*q = -0*q. Suppose q*t = 5*t. Let y be (2 + -2 - -3) + -2. Which is smaller: y or t?
t
Let p = -1 - 1. Let z(u) = 2*u - 2. Let h be z(p). Suppose -6*v + v + w - 27 = 0, -2*v + 2*w - 6 = 0. Does v = h?
True
Let p = -7 + 3.9. Let x = 3 + p. Which is smaller: x or 0.05?
x
Let i = -17 - -24. Is 5 smaller than i?
True
Let x be 76/16 + -1 + -4. Which is bigger: 13/3 or x?
13/3
Suppose 7 = -2*n - s + 41, 0 = n - 4*s - 35. Which is smaller: n or 17?
17
Let g be 2*(0 - 3/(-2)). Let x be (g/(-12))/((-6)/8). Let l = -2 - -1. Which is smaller: l or x?
l
Let z = 5 + -6. Let r = -3 + z. Which is bigger: -0.1 or r?
-0.1
Let n(m) = -72*m - 3. Let d be n(5). Let l be d/78 + 8/52. Is -5 > l?
False
Suppose -1 + 10 = -3*g. Is -5/2 > g?
True
Let t = 35 + -17. Is 18 >= t?
True
Let a = 2 - 2.08. Let n = -3.92 + a. Let b(j) = -j**3 - 4*j**2 + 11*j - 4. Let c be b(-6). Which is bigger: c or n?
c
Suppose -v = 2*v - 18. Suppose 0 = -0*p + 3*p + v. Does -2 = p?
True
Let t = -6 + 5. Let d = -1 - t. Let h be 4/7 - 1/1. Is h greater than or equal to d?
False
Let d = -1.55 + 1.25. Which is greater: d or -0.04?
-0.04
Let x(k) = -k**2 - 6*k - 7. Let q be x(-3). Let j = 7 - 4. Let y be 2/j + 4/3. Is q != y?
False
Let y(s) = 3*s + 3. Let a be y(-4). Is -70/9 at least as big as a?
True
Let y(t) = -t**3 + 4*t**2 + 2. Let g be y(4). Let f(i) = -i**2 - 10*i - 7. Let a be f(-9). Is g greater than a?
False
Suppose 2*d = -m + 1, -8*m + 3*m = -4*d - 19. Let y be 1/(m/(-1 + -2)). Let j be -3 + -3 + (-63)/(-12). Is y greater than j?
False
Let s = 0 + 2. Let k be 13/(-7) - (-3)/(-21). Let t = k - s. Are -4 and t unequal?
False
Suppose 3 - 6 = -2*b - 3*r, 21 = 4*b + r. Let m be ((-12)/(-8))/((-21)/b). Which is smaller: 0 or m?
m
Let z = 38/33 - -40/99. Which is smaller: z or 2?
z
Let s = -0.6 - -1.2. Let f = -0.5 + s. Which is smaller: 7 or f?
f
Suppose -3*y = 12 - 15. Is y <= 5/6?
False
Let l(q) = q**2 - 3*q - 4. Let t be l(6). Which is bigger: -0.2 or t?
t
Suppose 0 = -2*f + 3*m + 8, -f + 10 = 3*m - 3. Is 6 greater than or equal to f?
False
Let q be 1 - (-1 - 33/(-15)). Let w = -0.5 - -0.4. Is w at most q?
False
Suppose i - 2 = 3*i. Which is smaller: 4 or i?
i
Suppose 0 = -0*o + 2*o + 4. Let m = o + 3. Which is greater: -1/6 or m?
m
Let f = -9 - -11. Suppose 0 = f*h + 3 + 1, -3*x = 2*h - 2. Suppose -18 = s - x*s + 4*d, 0 = s + 4*d + 6. Is s >= 6?
True
Let r be 231/28 + (-3)/(-4). Do 114/11 and r have different values?
True
Let h be ((-50)/(-15))/(2/3). Suppose 24 = h*p + 5*n + 4, p + 4*n - 7 = 0. Which is smaller: p or 2?
2
Let y = 2 - -13. Let n be (-10)/(-25)*y/8. Let v be (-9)/18*(-1 - -1). Which is smaller: n or v?
v
Let a = 8 + -13. Let s = a + 5. Is -2 