= 2 + -3. Which is bigger: -4/3 or u?
u
Suppose 2*y = 10 + 2. Suppose 0*i + y = 3*i. Are 0 and i non-equal?
True
Let p(h) = -h**2 - 4*h + 8. Let z be p(-6). Let j be 3/(-2 - 4 - z). Suppose 4*x + 8 = -4. Is j < x?
False
Let v = 1231/9 - 137. Which is bigger: 1 or v?
1
Let u = 2363/9 + -262. Which is smaller: 2 or u?
u
Let o(m) = -m**2 + m + 14. Let h be o(4). Let x(l) = -l**2 + 6*l - 1. Let t be x(5). Let k be h/(-10)*(-2)/t. Which is bigger: 0 or k?
k
Let x be 206/14 + (-4)/(-14). Let h = x - 10. Is 5 greater than h?
False
Let y = -4 - -26. Let r = 22.1 - y. Let k be (-3)/(-9)*3/4. Which is smaller: r or k?
r
Let r(a) = -a**3 + 5*a**2 - 5. Let o be r(5). Let z = o + 6. Suppose -3 = -4*f + 5. Is f <= z?
False
Let p = -6 + 7. Is 2 greater than p?
True
Let n = -4 + 7. Suppose 3*b + b + n*a = 16, 5*a = b + 19. Which is smaller: 2/11 or b?
2/11
Let c be ((-3)/10)/(12/10). Let b = 0.38 - -4.82. Let s = 5 - b. Which is greater: c or s?
s
Let g = 4.29 - 0.29. Are g and 2 unequal?
True
Let h = 1888 + -262435/139. Let x = -713/834 - h. Let j = 9 - 10. Is j < x?
True
Let f = -22 + 19. Let q = 4 + -5. Which is bigger: f or q?
q
Let o be 2/(-1 - (-13)/11). Suppose t - o = -16. Do -5 and t have the same value?
True
Let r be (-12)/(-20)*5/(-4). Suppose 0 = 5*y - 2 + 12. Which is smaller: r or y?
y
Let k(z) = z - 1. Let j be k(3). Suppose 0 = -j*f - 0 + 2. Suppose 3*c = 4*y - 2, -3*c + 2*y - y = -4. Which is greater: c or f?
c
Suppose -3*x - 3*h = 16 + 8, -3*x + h = 16. Which is greater: x or -4?
-4
Let g = -1 - 0. Suppose 9 = -w + 2*w + 5*c, 3*w - c - 11 = 0. Suppose -9 = -3*z - 3, 3*f = w*z - 11. Do g and f have different values?
False
Let a be (-207)/90 - (-6)/4. Which is smaller: 1/4 or a?
a
Let p = 1127/22903 + 3/619. Which is smaller: p or 1?
p
Let s(w) = -w + 1. Let j be s(4). Let d be 0/((-3)/(0 - j)). Is d at least as big as -5?
True
Let k = 3023/21 + -144. Which is greater: k or 0?
0
Let q be 7/(((-12)/8)/(-3)). Let f = q + -4. Is 9 at least f?
False
Suppose -52 = 5*v - l, 43 = -4*v + 2*l + 5. Which is greater: v or -9?
-9
Suppose -4*s + 105 = 5*b + s, -3*b + 68 = 4*s. Let f = b + -17. Which is smaller: f or -4/5?
f
Suppose -5 - 15 = -5*p. Suppose 4*h + p*g - 40 = -h, 5*g = -3*h + 37. Suppose -2*m = -h*w + 12, 2*m = 3*w + m - 7. Which is bigger: 2/13 or w?
w
Let m be -5*5/(25/(-6)). Which is smaller: m or 0?
0
Let l(o) = o**2 + 11*o + 10. Let d be l(-10). Let k be ((-2)/4)/((-1)/4). Suppose -s + k = 1. Which is bigger: d or s?
s
Let k be (-24)/(-6) + (-2)/(-1). Suppose 0 = -3*r + k*r. Let a = 1 + 1. Which is bigger: a or r?
a
Let u = 0.18 + -0.08. Does 1/8 = u?
False
Suppose -2*q + 5*l = 11, -2*q + 4*l - 12 = -4. Does 11/5 = q?
False
Let f = -0.22 - 0.38. Which is smaller: -2/9 or f?
f
Let c = 18 + -11. Let j = 4 - c. Let v = -3 - j. Which is smaller: v or 1?
v
Let r = 91/5 + -18. Which is smaller: r or 1?
r
Suppose 2*b = -3*m + 2*m - 10, 34 = -3*m - 4*b. Let n be -3 + 7/(m/(-4)). Which is smaller: n or -2/9?
n
Let r(x) = 11*x**2 + 3*x - 2. Let g be r(1). Are 14 and g equal?
False
Let z = 0 + -1. Let j(v) = v**3 - 5*v**2 + 3*v - 17. Let d be j(5). Does d = z?
False
Let q = 1.108 + -0.108. Is 35 less than or equal to q?
False
Suppose 3*i - 6 = 5*i, 3*b + i = 3. Is 15/8 > b?
False
Let j = -6 + 8. Is 6/5 at least as big as j?
False
Let g(i) = i**3 - 4*i**2 + 2*i - 5. Let q = -16 - -20. Let v be g(q). Suppose -2*a + 6 = -w, -7*w + 9 = 3*a - 3*w. Is v <= a?
True
Let q(h) = -6*h**2 + h - 4*h**3 + 3*h**3 + 2*h**3 + 5*h**2 - 4. Let w be q(0). Suppose -j + 0*j - 2 = 0. Is j at most as big as w?
False
Let k = -3.14 - -0.14. Let l = k + 6. Do 1/4 and l have the same value?
False
Suppose 5*y + 10 = 30. Let p(i) = -i**3 + 5*i**2 - 4*i + 4. Let n be p(y). Let k be (-17)/n - (-6)/24. Is -2 >= k?
True
Suppose 2*m = 0, -2*d + 3*m - 48 = -6. Is -21 at most as big as d?
True
Let j(a) = a + 7. Let d be j(-5). Suppose -3*n + 18 = 9. Is n at most as big as d?
False
Let v be 0*(1 - (0 + 2)). Let n(i) = i**2 - i + 4. Let q(p) = -2*p**2 + 3*p - 7. Let d(k) = 7*n(k) + 4*q(k). Let z be d(5). Is v greater than z?
False
Let v = 7 - 4. Suppose b = -2*b + v. Let o = 1/71 + 139/213. Is o less than or equal to b?
True
Let m(c) = c**3 + 9*c**2 + c - 5. Let i be m(-9). Is -13 greater than i?
True
Let o be (-1 + 2)*(1 - -1). Let l = 1 - 0. Let i = 3 - l. Do i and o have the same value?
True
Suppose -2*w + 2*c = 4*c + 16, w + 11 = 2*c. Let m be (-21)/w - 1/3. Let d be 4*-1*(-1)/6. Do m and d have different values?
True
Let t = -23 - -7. Which is greater: t or -81/5?
t
Suppose 4*l + 0*l - 24 = 0. Let p = -11 - -21. Let i be 4/p - l/40. Which is smaller: 0 or i?
0
Let i be (6/6 + -44)/(1/(-1)). Is i bigger than 42?
True
Suppose -17 = -3*s + 10. Suppose 0 = 4*l + 20, -4*l - 13 = 2*y + s. Is -12/11 at least as big as y?
False
Suppose -3*z = 6 - 21. Suppose 0 = -2*w - 0*k + k - 1, -4*w + z*k = 17. Suppose w*h = -h + 9. Which is bigger: h or 4?
4
Suppose 5 = -5*v + 4*w + w, 0 = -3*v + 4*w - 6. Suppose 2*o - o = 4. Are o and v equal?
False
Let o(k) = 2*k**2 - 2*k + 2 - 2*k - 5*k. Let c(b) = 5*b**2 - 26*b + 6. Let d(m) = -3*c(m) + 8*o(m). Let n be d(-6). Which is smaller: -3 or n?
-3
Let v be (-5)/((-10)/8) - 4. Suppose v = m + 3 + 1. Is m > -4?
False
Let v = -79.7 + 83. Let s = -1.3 + v. Do s and -1 have different values?
True
Let i = 8.04 + -8. Let u = i - -0.96. Suppose -3*k = -5 - 10, -10 = -5*m - 4*k. Which is smaller: u or m?
m
Let v = 24 + -17. Let i = 7 - v. Which is smaller: i or -1/4?
-1/4
Let m be 52/(-16) - (-5 + 2). Which is smaller: m or -12?
-12
Let l = 18.2 - 19.4. Which is greater: l or 8?
8
Let n = 0.06 - -12.94. Let o = n + -12.3. Let z = -0.3 - o. Which is smaller: -1/3 or z?
z
Let b be ((-6)/10)/(1/(-5)). Let p(l) = -l + 6. Let u be p(2). Is u <= b?
False
Let s be (9/4 - 2)*-3. Which is greater: -0.4 or s?
-0.4
Let u be 1/(-20)*60/(-8). Let d = u - 7/8. Let n = 7 + -8. Are d and n unequal?
True
Let i = 1 - 0.8. Let d = i + -0.2. Let m be -4*3*15/36. Is m bigger than d?
False
Let o = 57 + -517/9. Let q(w) = w**3 - 11*w**2 - w + 11. Let h be q(11). Which is smaller: h or o?
o
Suppose 9 = -0*d + d. Let w be -2 + (d - (-1 - -4)). Suppose 4*a = 16 + w. Is 4 bigger than a?
False
Suppose 5*z = 4 + 1. Let b = -6 - -9. Suppose -6*k - b = -9*k. Is k != z?
False
Suppose 5*x - 7 = 13. Let l be -4*x/(-32)*-6. Which is bigger: -5 or l?
l
Let a be -9*1 + (7 - 3). Let j be (9/(-12))/(a/20). Let r be 1 + -1 - (-2)/1. Which is greater: r or j?
j
Let n(s) = -s**2 - 8*s + 2. Let u be n(-8). Suppose -5*q - 4*d + 10 = 0, 2*q - d - 4 = -0*q. Suppose -2*k + q*g + 3 = -3*k, -8 = 4*g. Is k less than u?
True
Let o = 9 - 5. Let b(p) = -3 + o*p - p - 2*p. Let d be b(3). Is 0 less than d?
False
Suppose -2*t - 35 = 5*i, 5 = 4*t - 0*t - 5*i. Suppose 4*y + 2*b = -26, 8*y - 4*y = 4*b + 4. Is t > y?
False
Let s(y) = y**2 - 7*y - 1. Let h(x) = 3*x**2 - 15*x - 3. Let r(j) = -2*h(j) + 5*s(j). Let p be r(-5). Are 1 and p equal?
True
Let o = -44/3 - -310/21. Let g(l) = -l**2 - 11*l - 17. Let y be g(-9). Which is bigger: o or y?
y
Suppose -3*q + a + 17 = 0, 2*q - 2*a + 7*a = 0. Is -2/3 < q?
True
Let l(u) = -u + 3. Let j be l(10). Is j at most -9?
False
Let w = -38 + 113/3. Let y(v) be the second derivative of v**3/6 + 2*v. Let h be y(1). Which is bigger: h or w?
h
Let n = -0.2593 - 22.8307. Let g = n + 23. Which is smaller: 0.1 or g?
g
Let q be 106/6 + 12/(-18). Let a = -12 + q. Suppose 5*m + 0 = a. Is m bigger than 3?
False
Let s be 3 - 51/(-2 - 1). Let q be -1 + 2 - 24/s. Is q equal to 2?
False
Let h = 14 - 20. Let w be (-17)/20 + h/(-10). Do w and -2 have different values?
True
Suppose -5*m - 3*h = -h - 20, -m = -5*h - 4. Let f = -3 + m. Is -2/11 bigger than f?
False
Let o(d) = d - 1. Let x be o(1). Let y(s) = 4*s**3 - s + 1. Let l be y(1). Suppose x = -l*t + t. Is t less than 0?
False
Let j = -29 + 41. Let q(y) = -3*y. Let w be q(1). Let m be (j/18)/(2/w). Are m and 0 non-equal?
True
Let y = 4 - 0. Let i = -3.5 + y. Let m = i + -0.6. Is m at most as big as -1?
False
Suppose -3*s - 3*h + 3 = 0, 2*s = h + 15 + 2. Suppose 2 - s = -j + y, 4*j + 8 = -4*y. Which is smaller: j or 13?
j
Suppose -8*o + 30 = -3*o. Let i(q) = 2*q - 9. Let u be i(o). Which is bigger: -0.1 or u?
u
Let g be 388509/(-42) - 1/2. Let v 