> -1?
True
Let s be 14/6 - 4/12. Suppose 0 = -5*l + 4*r + 4, s*l + 3 = -r - 2*r. Which is greater: 4 or l?
4
Let n = 9 - 13. Let m be (n/30)/((-28)/35). Which is smaller: 0 or m?
0
Let x = -0.234 - -0.134. Let o = 0 - 0.6. Which is smaller: o or x?
o
Suppose 18*c = 21*c. Is c >= 10/7?
False
Let j = -23/3 + 673/87. Do j and 0 have the same value?
False
Let m = 5878/9 - 654. Let g(o) = -o + 3. Let n be g(4). Which is bigger: m or n?
m
Let x(p) = p**3 + 21*p**2 - 20*p + 15. Let i be x(-22). Is i not equal to -32?
True
Let q = -23 - -36. Suppose 3*d + 16 = 4*h, -5*d = -5*h - 3*d + q. Is h greater than -3/11?
True
Suppose -20 = -7*o + 22. Is o <= 5?
False
Suppose 0 = -2*o - 8 - 0. Let t be (-2)/2*(o + 4). Are 3/5 and t equal?
False
Suppose 2*y - 3 = -y. Let g(z) = -17*z. Let o be g(y). Do -17 and o have different values?
False
Let y = 1.4 + -2. Let k = y + 1. Which is smaller: k or 2/7?
2/7
Let m be (110/(-36))/(4/30). Let i = 95/4 + m. Is 0 bigger than i?
False
Let u = -81 - -80.8. Are -1 and u nonequal?
True
Suppose -3*j + 95 = 3*z + 2*z, 3*z + 4*j = 68. Let a = z + -3. Suppose 0 = -4*c - a - 3. Which is smaller: c or -2?
c
Let p(f) = -f**3 - 3*f**2 + 4*f + 4. Let j be p(-4). Let u be ((-3)/(30/j))/(-1). Which is greater: -1 or u?
u
Suppose -5*j - 687 + 293 = 3*y, -408 = 5*j - 4*y. Let k be 2/3 + j/84. Let s be ((-1)/(-3))/(2/6). Is k <= s?
True
Let u = -98/5 - -20. Let c = 0.3 + -0.6. Is u smaller than c?
False
Let w = 2 - -2. Let y = w + -4.1. Which is smaller: y or -1/4?
-1/4
Let v(s) = s + 5. Suppose -3*f + 8*f = 0. Let w be v(f). Let a be (-1)/w + 78/15. Is 5 smaller than a?
False
Let z = 2.93 + 0.07. Let c = 0.04 + 0.26. Let r = c + -0.2. Is z less than r?
False
Suppose -3*a = -12, 2*r + 32 = 5*a - a. Let q be (-2 - 0)/(-1 - r). Let y = 3 + -2. Is q less than or equal to y?
True
Let l = -1 - -1. Let q(y) = -19*y - 2. Let n be q(2). Let a be n/(-18) - (-2)/(-1). Which is bigger: a or l?
a
Let w = -19.88 - -20. Which is greater: w or -0.1?
w
Let u be -4 + 3 - (-15)/21. Are -0.02 and u equal?
False
Suppose -5*v - 5*f + 30 = 0, 2*f + 0*f = 4*v - 6. Are v and 0 unequal?
True
Let d = 983/4 - 236. Let g = d - 167/20. Which is smaller: 1 or g?
1
Let r be ((-3984)/1770 - -3) + 4/(-5). Is r bigger than 0?
False
Let t = 0.07 - 14.07. Let v = 20 + t. Is v <= 1?
False
Let m be (2 + 0)/(-1*2). Let w = -4 + 2. Which is smaller: m or w?
w
Let x be (-32)/(-16) - (0 - 29). Is x bigger than 31?
False
Suppose -n - 3 = 2*n. Let q(b) = b**3 + 10*b**2 - 10*b + 10. Let c be q(-11). Is c < n?
False
Let f be (2/45)/((-17)/170). Let v(r) = -r + 1. Let x be v(0). Which is bigger: f or x?
x
Let b(q) = -5*q**2 - 7. Let y(g) = -3*g**2 - 4. Let t(w) = -4*b(w) + 7*y(w). Let h be t(-2). Is -3 greater than h?
True
Let c = 37 + 83. Let q be (-4)/10 + (-27)/c. Let t = -61/72 - q. Which is smaller: -1 or t?
-1
Let q(j) = -j**3 + 7*j**2 + 7*j - 7. Let f be q(5). Let b = f + -625/8. Let h(g) = g - 7. Let l be h(6). Are l and b nonequal?
True
Suppose -3*j - 42 = 4*z, -2*j - 41 = 5*z - 4*j. Let n be ((-8)/(-3))/(3/z). Let c = 8 + n. Which is bigger: 5 or c?
5
Suppose a + h = -4, -2 = a + 2*a - 2*h. Let g be 0 + (579/(-297) - a). Let d = g - 3/11. Do d and 1 have the same value?
False
Suppose 0*z + 4*w = -5*z - 32, 4*z + 22 = -2*w. Let x = -4 - z. Is x at most as big as 3/7?
True
Suppose -2*z + 5*z + 164 = 2*q, 0 = 2*z + 5*q + 84. Let m = z - -8. Let b be (-4*1)/(m + 6). Which is greater: 0 or b?
b
Let s = -0.51 - 0.25. Let a = -0.24 + s. Which is greater: a or -1/6?
-1/6
Let w = -1.3 - -0.3. Is 4/9 not equal to w?
True
Suppose 0 = -14*k + 3*k + 22. Is 36/13 smaller than k?
False
Let j = 4/5 - 3/10. Which is greater: -2/13 or j?
j
Let o be (-2)/(-9) + 11/(-9). Let n = -256 - -2814/11. Which is bigger: n or o?
n
Let l(t) = t**2 - 5*t + 2. Let r be 10 - -1 - (-2)/1. Let m = -9 + r. Let c be l(m). Are c and -2 equal?
True
Suppose 64 = -3*d - 0*d - 5*g, -20 = -5*g. Is -26 smaller than d?
False
Suppose -l = -4*i + 14, -3*l + l + 4 = 0. Let t = i - -6. Let p = t - 7. Is p > 3?
False
Let k be 1 - -2*12/(-8). Which is smaller: k or -1?
k
Let x(z) = z + 11. Let w be x(-5). Let f(b) = -b**3 + 7*b**2 - 5*b + 2. Let k be f(6). Let h = w - k. Is h at most -3?
False
Let i = -10 + 12. Which is smaller: i or -0.3?
-0.3
Let z(w) = -w**2 + 2*w + 1. Let c be z(2). Let p = 7/27 - -2/27. Which is smaller: c or p?
p
Let b = 0.5 - 2.5. Let h = -16.4 + 9.3. Let j = -7 - h. Is b less than j?
True
Let f(q) = q + 5. Let i be f(4). Let h be (-22)/30 + 3/i. Is 1 < h?
False
Let y = -1342/7 + 193. Is 1 at least y?
False
Let f = 17 - 16. Let g = -9 - -5. Are g and f nonequal?
True
Let t = 0.38 - 0.33. Which is greater: t or 2?
2
Suppose 0 = -4*s + 4, -3*i + 2 = -4*i + s. Which is bigger: i or -6?
i
Suppose -i = -1 - 0. Let j be 3/(-23)*(-2)/3. Which is smaller: i or j?
j
Suppose 4*t = 5*t - 0*t. Is t < -10/23?
False
Let q be -2 - (-4)/6*3. Let k = -4 + 4. Is k bigger than q?
False
Let h = 0.4 + -0.2. Which is bigger: h or -4?
h
Let f = 4 + 18. Let w = f - 16. Let t = 6 - w. Is t greater than or equal to 0?
True
Let p be (-4)/(-40)*(3 - -1). Which is greater: p or 1?
1
Let o = 0.03 - -0.07. Suppose 2 = -2*u - 0. Let m be ((-21)/12 + 2)/u. Which is bigger: o or m?
o
Let q be (-28)/8*(-8)/14. Which is greater: 26/11 or q?
26/11
Let n = -5 - -11. Let i = -5 + n. Which is smaller: i or 0.2?
0.2
Let b = -41/282 + -1/47. Let v(g) = -g**3 - 2*g**2. Let x be v(-2). Suppose x = 2*q + 2*q. Which is smaller: q or b?
b
Let d(w) = -w**2 + 5*w - 4. Let y be d(3). Suppose -3*k = -k + y. Which is greater: -2 or k?
k
Let u = 53200/67 + -794. Which is smaller: -1 or u?
-1
Let l = 1 - -3. Let y(b) = -b**3 - b**2 - b + 5. Let w be y(0). Suppose -w = q + l*q. Which is greater: 2/21 or q?
2/21
Let p be (2/(-6))/((-2)/12). Suppose 3*s + 9 = -0*s - 2*c, 3*s - 3 = p*c. Is -2 smaller than s?
True
Let n(q) = -q**2 - 20*q - 41. Let c be n(-18). Which is bigger: -21/4 or c?
c
Let b = 7 - 0. Suppose 22*q + 183 - 359 = 0. Which is bigger: q or b?
q
Let x = -17 - -15. Which is smaller: x or 7?
x
Let c be (-2)/7*(-3)/(-2). Suppose -2*o + 2 + 16 = 0. Let h = o + -10. Which is smaller: h or c?
h
Let n be -2 + -3 + (1 - 2). Let q(t) = -t**2 - 5*t + 4. Let f be q(n). Let d = f + 0. Which is bigger: d or -1?
-1
Let z be (1/4)/(2/4). Let t = -286 - -285. Is z at least as big as t?
True
Let k = -3.2 + 2.2. Let l = 0.04 - -0.03. Is l bigger than k?
True
Suppose 25 = 5*z + 2*o, 2*z - 5*o = -18 - 1. Suppose -z*l = -0*l + 3. Which is smaller: -1/5 or l?
l
Let a(w) = w + 1. Let m be a(6). Let x = 8 - m. Is 1/2 > x?
False
Let j = -36 - -37. Is j smaller than 2/21?
False
Let a = -1 + -5. Let c = -5 - a. Are c and -2/43 nonequal?
True
Let o = -4 + 6. Suppose r = -o*r + 18. Which is smaller: r or 5?
5
Let k = -93/14 - 139/7. Let s = -30 + 4. Let g = s - k. Which is smaller: g or -1/3?
-1/3
Let x be (-4)/(-3) - (-3 - (-49)/21). Which is bigger: 28/11 or x?
28/11
Let b be 5 - (4/2 - 0). Let g = -2 + b. Which is smaller: -1/4 or g?
-1/4
Let i = 0.2 - 0.3. Let z = 21 + -21.1. Is z at most i?
True
Let d = -6.6 + -0.4. Let v = -0.03 - 1.97. Let c = v - -1. Which is bigger: c or d?
c
Suppose o + 7*o + 16 = 0. Suppose 3*k + 11 + 1 = 0. Let t be (-46)/20 + (-2)/k. Which is greater: t or o?
t
Let h be 4822/70 - 4/14. Let m = h + -69. Let y(b) = b**2 + 5*b - 5. Let j be y(-6). Is j at most as big as m?
False
Let n be 3 + 3*(-3)/(-9). Let h = 2 + n. Let x = 6 - h. Is -1/6 > x?
False
Let n = -13 - -19. Suppose n*h = 8*h + 2. Which is smaller: -4/13 or h?
h
Let s be (-3)/(-5) - (-4)/10. Let d = s + -1. Let f = -69/28 + 12/7. Is d not equal to f?
True
Let q = -0.1 + 0. Let o = 0.06 - -0.2. Let d = o - 0.06. Is d greater than or equal to q?
True
Let g = 9 + -15. Let j be ((-10)/g)/(1/(-3)). Let r be ((-1)/(-2))/(j/10). Is -1 at least r?
True
Let g(m) = -4*m - 8. Let t be g(-2). Is 3/5 smaller than t?
False
Let b = -25 - -25.4. Are b and 2 unequal?
True
Let m be (-1)/5 - (-19)/45. Is -16 at least as big as m?
False
Let q be ((-5)/2 + 0)*1. Let w be -1*1 + -1*3. Is q equal to w?
False
Let y = 3 - 2.97. Let m = -0.3 - -1.3. Is y smaller than m?
True
Suppose 0*n + 2*n = 0. Let d be -1*(3 + (-3 - n)). Is d <= 1/3?
True
Let c = 7.51 + -0.51. Let u = -1.5 - 6.5. Let g = c + u. Is 