 = 9 + -6. Suppose c*d - 2 = -20. Let v be (-3)/(-2) + d/4. Which is greater: 1 or v?
1
Suppose -2*w = 5*w - 0*w. Is 1/47 greater than w?
True
Let h = 2.8 + -5.8. Which is greater: h or -4?
h
Let u = 26 + -27. Is -0.6 greater than or equal to u?
True
Let x = -6 - -4. Let u = -9 + 9.2. Is x at most u?
True
Let k(s) = -6*s**3 - 4*s + 5. Let f be k(2). Is -52 at least f?
False
Let f(l) = -l**2 + 10*l + 14. Let s be f(11). Let p be (s/(-7))/((-33)/22). Are -3 and p nonequal?
True
Let q(i) = -i**2 + 14*i - 15. Let v be q(13). Is v at most as big as -5?
False
Let f = 1.11 - 0.11. Are f and -0.08 nonequal?
True
Let v = -1 + 2. Let o = v + 0. Let x = 23/15 - 6/5. Which is greater: x or o?
o
Let m(r) = -r**3 + 5*r**2 + 5*r + 8. Let q be m(6). Let k = 78 - 147. Let n be k/(-21) - 2/7. Is q at least as big as n?
False
Let g be (49/(-3))/((-2)/(-6)). Is 0.1 <= g?
False
Suppose 0 = 2*c + 4. Let w be (4/(-6))/(4/12). Let t be (-6)/6 - w/(-6). Is c less than t?
True
Let d be 15/(-70)*(-4)/(-15). Are 0 and d equal?
False
Let a be -5*(2 + (-39)/15). Let h be (-3)/(6/(-10)) + -1. Suppose -h*t = -7 - 1. Which is greater: t or a?
a
Let p = 24 - 23. Which is greater: p or -74?
p
Let x be (2 + -1)*(4 - -1). Let d be (8/x - 2)*-10. Let t = -4 + d. Is 2/13 != t?
True
Let l = -19 - -208/11. Do 1 and l have different values?
True
Let i = -17 + 19. Let g be 4/i + 4 + 8. Which is smaller: 13 or g?
13
Let k(s) = -s**2 - 7*s - 4. Let z be k(-6). Let o be (1 + z)*32/(-1392). Is 0 greater than o?
True
Let i = 40.9 - 41. Does -20 = i?
False
Let h be (-4)/2 - 8/(-6). Let d(v) = v**2 - 8*v - 2. Let l be d(8). Which is greater: h or l?
h
Let d be (-2)/(-8) - (-14)/8. Let j(w) = -w**3 + 3*w**2 - 3*w + 2. Let n be j(d). Suppose -4*m + 3*g + 16 = g, 0 = 4*m + 5*g + 12. Is n at most as big as m?
True
Let m(d) = -d**3 - 7*d**2 + 5. Let j be m(-7). Suppose -2*r = 1 - j. Let z be (-2 + (-1 - -4))/2. Which is bigger: z or r?
r
Let k = -14.4 - -13.4. Which is greater: 5/12 or k?
5/12
Let q = -0.3 - 5.7. Let n = q + 6.4. Which is smaller: n or 1?
n
Let w be -4 - -3 - 3*-1. Suppose -4 = -3*x + w. Suppose 3*n = 2*n - x. Which is smaller: 0.1 or n?
n
Let k = 1442/219 + 6/73. Let q = k - 557/84. Which is bigger: 0 or q?
q
Let w = 2/33783 + 32566798/236481. Let p = w + -138. Let h = 79/4 - 20. Is p >= h?
False
Suppose 5*x + 4*h = -55 - 12, x + 23 = 4*h. Is -14 less than or equal to x?
False
Let i = -0.4 - -0.6. Let m = -1.5 - -2. Is i less than or equal to m?
True
Let c(y) = 9*y - 21. Let o be c(6). Is o less than 34?
True
Suppose -14*x = x + 30. Which is greater: 0.2 or x?
0.2
Let u = 0.19 + 0.81. Is 2/21 < u?
True
Let y = 0.14 + -3.14. Which is smaller: y or -0.3?
y
Let n = -6 - -8. Suppose -x = n*a - 8, -18 = 2*x + 2*x - 2*a. Let t be (-1)/x + (-2)/4. Are t and -1 unequal?
True
Let u = -319/4 - -81. Is 2 less than u?
False
Suppose -2*i - 4*t = -4*i + 6, 0 = 4*i + 2*t + 18. Suppose -h = -2*l + 6*l - 10, 4*h - 5*l + 44 = 0. Is i less than h?
False
Let b = -5 - -5. Suppose -2*o + 3*w + 4 = b, -o + w + 4 = o. Is 1 > o?
False
Let f be (-2)/(-8) + (-28)/(-16). Suppose 0 = 3*r - f*v + 4 + 10, 4*v = 4. Let x be r/(12/9)*1. Which is smaller: x or -2?
x
Let b(w) = -w**2 + 10*w - 6. Let j be b(9). Let p = -4 - -2. Let v = 1 - p. Is j >= v?
True
Let v(i) = -2*i**2 - 2*i - 2. Let t(c) = -c**2 - 2*c + 1. Let x be t(1). Let f be v(x). Let d be 3/f - (-3)/2. Which is smaller: d or -1?
-1
Let j = 20 + -19.9. Let o = 0.2 + -0.4. Let i = j + o. Is i > 5?
False
Let m = -373 + 4099/11. Let j = 17/52 - 1757/1716. Let c = m - j. Which is greater: c or 1?
1
Suppose -4*m - 8 = 2*y, -8*y + 5*m - 29 = -4*y. Let c = 5 + y. Let w = -3 + 2. Is w at least as big as c?
True
Let h = -5 - -5.5. Let p = h - 0.8. Let i = p - -0.1. Is i less than or equal to -0.2?
True
Suppose f + f - 6 = 0. Suppose f*m + 5*o = 8, 3*o = -2*m + m + 4. Is -1/3 at most m?
True
Suppose 2*q = -5*o + 42, 0 = -4*q + 4*o + 26 + 2. Suppose q - 1 = -2*r. Suppose 0*a + 2*a + 10 = 0. Is a greater than or equal to r?
True
Suppose 8 + 4 = -4*u. Let o be -2 + 3 + -2 - u. Is o less than 3?
True
Suppose -3*c - c + 3*k = -35, 4*c - 45 = 5*k. Let y be (-28)/(-63)*c/(-2). Is y less than -2?
False
Let c = -1.1 - -1.8. Let b = c + -0.7. Let j = b + 1. Is 1 less than or equal to j?
True
Let p = -1 - -27. Which is greater: -2/7 or p?
p
Suppose -8*j + 48 = -11*j. Let x be 40/j*(-1 + -1). Which is smaller: x or 4?
4
Suppose 0 = -3*i + 5*c - 4, -3*i = -2*c - 5 + 12. Which is smaller: i or -5?
-5
Let y be 77/(-105) - 6/10. Let k be 1/((1 - -2)/3). Do y and k have different values?
True
Let q = -0.2 - -1.1. Let k = q + 0.1. Let r = 0.1 - 1.1. Which is bigger: k or r?
k
Suppose -4*m + 2 = -10. Suppose 3*q - m = -0*q. Which is greater: q or 4/5?
q
Let i = -2 - -1. Let q = -1.6 - -6.6. Which is greater: i or q?
q
Let c = -56 - -27. Let q = 23 + c. Is -7 bigger than q?
False
Let f be (3/(-2))/(21/(-28)). Let n be f*1/(0 + 4). Is -2/5 >= n?
False
Let m be 72/27*(14 + 1). Suppose 0 = -4*w + 2*q - 32, 2*q = -5*w - 2*q - m. Let f be ((-1)/w)/((-1)/6). Which is bigger: -1 or f?
f
Suppose 0*u = -4*u + 96. Let r be 6/u + (-5)/(-4). Are 2 and r nonequal?
True
Let b be 1/((-2)/3)*-10. Suppose l - 3 = -b. Is -12 smaller than l?
False
Let a = -0.87 - -0.97. Which is smaller: a or -6?
-6
Let w = -1.1 - 4.9. Let b = -6.2 - w. Which is greater: 1/11 or b?
1/11
Let x = -114/145 - 2/145. Suppose -t - 5 = -3*o, -2*o - t - 3 = 2. Which is greater: x or o?
o
Let a be 4/(-6) + 24/9. Suppose -u + 5*q = -4 - 9, -a*q = -4*u + 16. Is 2 != u?
True
Let j = -0.2 - -0.1. Let t = -4 + -6. Let z = -11 - t. Which is greater: j or z?
j
Suppose -5*b - 2 - 8 = 0. Which is greater: b or -3?
b
Let r be (0 + -17)*3/(-3). Is r greater than 16?
True
Let b be 0/2*-1 + 4. Suppose 2*q = -q - y - 1, 4*q - 4 = -b*y. Which is bigger: q or -1/4?
-1/4
Let s be 6/4*(-8784)/(-756). Is 16 >= s?
False
Suppose -3*m + 13 = -i - i, -3*i + 3*m = 15. Let u be (-3)/12 - 1/(-4). Is i > u?
False
Let j = 5 + -11. Let v = j + 3. Let f = 225/868 - 2/217. Which is greater: v or f?
f
Let a = -16.4 - 1.6. Is a < 0?
True
Let r be 5/(-10)*(-1 + 1). Let x = 9.8 + -11. Let a = x - -0.2. Is a <= r?
True
Suppose 0*r + 2*r = g + 2, -4*g + 25 = 3*r. Suppose 2*v + 2*o - 64 = g*v, 0 = o - 5. Let i be ((-2)/6)/((-3)/v). Which is smaller: i or -4?
-4
Let g(q) = q**3 + 7*q**2 - 10*q + 7. Let l be g(-8). Let r = l + -65/3. Do 1 and r have the same value?
False
Suppose l - 8 = 5*l. Let u be -2 + 6 + -3 + l. Is u less than or equal to 0?
True
Let n be ((-2)/4)/((-2)/(-48)). Let t be ((-4)/(-6))/(8/n). Which is bigger: t or 1?
1
Let p = 11 + -11.4. Let r = 1.6 - p. Is r != 0.5?
True
Let d(k) = k**2 - 9*k + 12. Let v be (-12)/(2*(-9)/12). Let m be d(v). Is m < 4?
False
Let q = -7 - -6. Which is bigger: q or -6?
q
Let m = 0.123 - 0.023. Let d = 1 + 0. Which is greater: d or m?
d
Suppose -5*u + s = 4 + 2, -3*u - 2*s = 1. Let b be (-2034)/(-60)*2/9. Let t = -37/5 + b. Is u < t?
True
Let a = -4 - -8. Suppose -w - 15 = -a*w. Suppose -3*z + 3 + 9 = 0. Is w at most as big as z?
False
Let y(k) = -k**3 + 4*k**2 - k - 2. Let c be y(2). Which is smaller: c or 5?
c
Let r(u) = u + 2. Let k be r(7). Let c = -37/4 + k. Is 0 greater than c?
True
Let b = -635/413 + 11/7. Which is greater: 1 or b?
1
Let w = -2 + 5. Let s = 6 - w. Suppose s*z = 4*z. Is 0 at most as big as z?
True
Let o(v) = -v**3 + 3*v**2 + 2. Let f be o(3). Suppose 0 = -f*c - 6. Let n = 3 + c. Does 0 = n?
True
Let i = 2/27 + 4/27. Suppose -4 = 2*z - 2. Let g = -2 - z. Which is greater: i or g?
i
Let a = -1 - -4. Suppose a - 4 = g. Let w = -2.7 + 2.5. Which is greater: w or g?
w
Let o = -28.9 - -29. Which is smaller: o or 42?
o
Suppose 2*t + 1 = 3*t. Let j = t - 2. Let q be 2 + 1 + 3/j. Are q and 4 non-equal?
True
Let g(q) = -7*q**2 + 5*q + 2. Let f be g(-3). Which is bigger: -74 or f?
-74
Let u = -0.8 + 0.8. Are u and 10 unequal?
True
Let v = 24 + -23. Let d be (-3)/4 + -1 + 2. Is v > d?
True
Let y be (-13)/5 - (-2 - 1). Let v = -9 - -11. Suppose 0*s = -v*s. Which is smaller: y or s?
s
Let n = 0.02 - 0.12. Let g = 0.85 + 0.05. Let h = g - n. Are h and 4/11 nonequal?
True
Suppose 0 = -4*a - a + 5. Let v = a - -2. Suppose -9 = -2*b + v*c, 0*b + 2*c + 6 = -b. Is -1 at least as big as b?
False
Let u = -0.08