se 1 + r = 2*f. Do f and 2 have different values?
False
Let y be 12/9*33/(-2). Let w be y/3 - 2/(-6). Let r = 3 + w. Does 1 = r?
False
Let f be 1*3/3*-1. Let j(z) = -2*z. Let i be j(f). Let n be (3/(-3) + i)*0. Which is bigger: n or -1/5?
n
Let k be (20/25)/((-2)/5). Does k = 4?
False
Suppose 2*j + 6*t = t + 9, -3*j - 3*t = 0. Suppose -4*q + 2*v - 8 = 0, -5*v = 4*q - 0*v + 36. Is q equal to j?
False
Suppose -v = -2*v. Let w = 1 - v. Which is bigger: 1/2 or w?
w
Let s be -3 + 0 - (-45)/13. Is 0.1 < s?
True
Let r be (6/4)/((-3)/6). Suppose 7*q = 2*q - 5*w + 10, 4*w = -5*q + 5. Does r = q?
True
Suppose -5*g = -g - 8. Suppose -4*j = -2*j + g. Which is bigger: -1/3 or j?
-1/3
Let s(x) = -x**2 - 3*x + 1. Let z be s(-3). Let y be 16/56 - z/28. Is -2/5 at most as big as y?
True
Let g = -14 - -15. Let c be (4 - g) + (-9 - 2). Is -9 greater than c?
False
Let u(o) = o**2 + 2. Let p be u(-2). Let c be 1/3 - ((-336)/(-9))/(-8). Which is smaller: c or p?
c
Suppose 3*k = 3*z + 6, 3*z + 8 = 2. Let t = 139 - 697/5. Are t and k nonequal?
True
Let u = -0.04 - 1.96. Which is greater: 2/9 or u?
2/9
Let n = 4 + -6. Let q be 1 + (1/1 - 10). Let l(k) = k + 7. Let b be l(q). Is n <= b?
True
Suppose 3 = g - 4*g. Which is bigger: -2/17 or g?
-2/17
Let h = -0.29 - 0.01. Let v = h - -0.2. Let g = -16 + 15.9. Is v less than or equal to g?
True
Suppose t + 1 = -m, 0 = 3*m - 5*t - 0*t - 37. Let q be 5 + -7 + 7/m. Is 1 > q?
True
Let h = -21 + 21.2. Is -1 > h?
False
Suppose 0*o = 3*o - 21. Suppose -5*d = -o*d + 34. Suppose -4*m + d = -5*g, -4*g - 5*m + 7 = -4. Which is smaller: g or 2/9?
g
Let x = 0.1 - -0.1. Let q = -0.256 - -2.226. Let b = q - -0.03. Is x <= b?
True
Suppose 5*w + 10 = 5*v, -3*w = 4*v - 6*w - 6. Let q be (-3)/(-12)*(-4 + 2). Is q < v?
True
Let j(o) = o**2 + 5*o - 6. Let y(z) = z**2 + 5*z - 6. Let f(l) = -5*j(l) + 6*y(l). Let k be f(-6). Which is greater: 4/13 or k?
4/13
Let t = -8 + 7. Which is smaller: 2/127 or t?
t
Let h be (1 - 3)/((-4)/(-14)). Let u = h + 7. Suppose 3*y + y + 8 = 0. Is u greater than or equal to y?
True
Let s = 9.9 - -0.1. Let p = 9.9 - s. Which is smaller: 1 or p?
p
Suppose -3*z + 2 - 3 = 2*m, 4*m + 20 = 0. Suppose z*g + 2*k - 3*k + 8 = 0, -8 = -4*k. Is -2 at least as big as g?
True
Let x = -14 - -14. Which is smaller: 0.1 or x?
x
Suppose 0 = f - 3*f. Let i = -1 - f. Is i < -2?
False
Let z = -1.29 + 3.27. Let w = 2 - z. Which is smaller: -1 or w?
-1
Let g = -78 - -79. Let w be -2 - ((-4)/5 + -1). Are w and g non-equal?
True
Suppose 4*j + 0 = -r - 21, -2*r = 4*j + 26. Let v(w) = -w**3 + 5*w**2 - 4*w + 16. Let t be v(5). Is j bigger than t?
False
Suppose 0 = -k - k + 20. Suppose n = -4*n - k. Suppose -20 = 5*h, 0*b + 3*h = 4*b - 8. Which is bigger: b or n?
b
Suppose 0 = -5*s + 10*s + 30. Is s bigger than -10?
True
Let b = 28 + -19. Which is bigger: b or 11?
11
Let h = -0.24 + 0.14. Is -2/23 at most h?
False
Let v = -17 - -17. Is -9 greater than v?
False
Let b = -2 + -5. Let z = b - -7. Is z at least 0.3?
False
Let h = -2 - 3. Let u = -3 - h. Let i be ((-2)/4)/((-3)/u). Is i at most as big as 1/7?
False
Let m = 0.8 + -0.6. Let i(u) = -2*u**2 + u - 1. Let j be i(1). Let s = j - -2. Is s equal to m?
False
Let t = -7 + -2. Let f(k) = k**2 - 4*k - 4. Let x be f(6). Let w = t + x. Which is bigger: -6 or w?
w
Let l be 2 - 4/12*0. Let x = 12 - 8. Which is greater: x or l?
x
Let d(q) = -q**3 + 7*q**2 - 7*q + 2. Let w be d(6). Let j = 2 + w. Is 0 at least as big as j?
True
Let g = -0.04 + 1.84. Let w = 5 + -3. Let o = w - g. Which is bigger: o or 0?
o
Suppose -4*u - 2*i = -3*i + 18, -5*i = 4*u + 6. Let p = -8 - u. Let b = -3 + 2. Is b greater than or equal to p?
True
Let f = 1 + -1. Suppose -1 = b + 11. Let y be b/(-15) - 2/2. Are y and f equal?
False
Let b(l) = 3*l - 32. Let v be b(11). Let g be (-334)/(-51) - 2/(-2). Let r = g + -23/3. Is v smaller than r?
False
Suppose 5 = 5*k + 45. Are k and -8 nonequal?
False
Suppose 0 = 7*b - 5 - 9. Is 6/11 smaller than b?
True
Let h = -0.04 + -0.56. Let l = 0.52 + h. Let c = l + -0.02. Is c less than 0.01?
True
Let g = -0.08 + -0.92. Is g bigger than -0.3?
False
Suppose 3*d + 2 = -7. Let q(l) = -l**3 - l**2 - 4. Let u be q(0). Do u and d have the same value?
False
Let d(r) = -3*r + 7. Let z(n) = 16*n - 36. Let f(m) = 11*d(m) + 2*z(m). Let i be f(4). Which is bigger: i or 2?
2
Let p(d) = -d - 5. Let b be p(-8). Suppose -7 = 4*l - b. Let v = 1 - 2. Is v > l?
False
Let n be (-3)/(-2) - 10/4. Let o be (4/(-42))/(7/42). Is n less than o?
True
Let d be 2/(-9) - (-272)/(-72). Is -14/5 >= d?
True
Let l = 1.5 - 1. Let u = l - 0.58. Let y = 2.92 - u. Is y bigger than -1?
True
Let s(x) = -x + 8. Let i be s(6). Are i and 7/4 non-equal?
True
Let i(g) = -g. Let d be i(-1). Do -2/9 and d have the same value?
False
Let i = -16522/35 + 472. Which is bigger: i or 1?
1
Let p be 184/930 + ((-16)/(-15))/(-8). Does 0 = p?
False
Let l(d) = d - 2. Let x be l(3). Is -1/4 <= x?
True
Suppose -5*f + w - 20 = 0, 0 = 2*f + 3*w - w - 4. Let u be (f/(-11))/((-113)/68). Let j = u + -2/113. Which is smaller: 1 or j?
j
Let g be (-3)/(-4)*(-100)/(-105). Is 2 bigger than g?
True
Suppose 0*f - 2*f - 39 = -3*m, -5*f + m - 65 = 0. Let n be (2/(-10))/(f/10). Let v(y) = -y**2 - 13*y + 1. Let c be v(-13). Which is smaller: n or c?
n
Let u = 0.63 - 0.7. Let r = u - 3.93. Let f = r - -4.1. Which is greater: f or 1/4?
1/4
Let x = -6.05 - -0.05. Let d = 5 + x. Is 0.4 < d?
False
Let t be ((-2)/28)/((-3)/18). Is -2/5 greater than or equal to t?
False
Let t be ((-7)/(-14))/((-2)/(-4)). Which is greater: t or 2/17?
t
Let v = -13 + 13.4. Let q = -2.2 - -2. Let r = v + q. Is r greater than or equal to 0.2?
True
Let q be 1/(-8) - (-39)/(-72). Let l = -7 + 0. Let y = l - -4. Which is greater: y or q?
q
Let f = -143 + 261/2. Let a = -18889/66 - -3018/11. Let x = f - a. Which is bigger: x or -1?
x
Suppose 28 + 22 = -3*d + 4*i, 55 = -3*d + 5*i. Let s be (-9)/(-20)*d/12. Suppose -2*c - 20 = -22. Which is greater: s or c?
c
Let t = 2.2 - 2. Let s = -0.4 - -0.3. Which is smaller: s or t?
s
Let u = 10 + -12.8. Let m = -0.8 - u. Let i = -0.01 + 3.01. Is i at least as big as m?
True
Suppose -6*d + d = -125. Suppose d = -5*v, -2*j - 7*v + 2*v = 21. Let s be j - -3 - (1 + 0). Is s >= 5?
False
Suppose -4*s = 6 + 2. Which is smaller: 0 or s?
s
Suppose 0*j - 110 = 5*j + 5*x, 0 = 3*j - 4*x + 59. Which is smaller: j or -20?
j
Suppose x = m + m + 2, -2*m = x + 6. Let s be 4 + m - (-2 - -1). Suppose -6*c = -s*c. Which is smaller: c or -1/2?
-1/2
Let v = 161 - 604. Let j = v + 75752/171. Let b = 335/1197 - j. Which is greater: b or -1?
b
Let a = 0.05 + -0.01. Let o = a - -0.02. Which is smaller: o or 1/4?
o
Let j be 106/8*(-4)/(-1). Is j > 53?
False
Let y(g) = g + 3. Suppose -5 = 3*j - 4*j. Let d be y(j). Which is greater: 7 or d?
d
Let w be 3950/(-8)*24/66. Let q = w - -180. Is q less than 0?
False
Let b = 1 + -1. Let u = b + -5. Is -1 smaller than u?
False
Let j = -20 + 35. Let x = j - 9. Let k be x/(-8)*-1*-4. Is -3 at most as big as k?
True
Let s = 20 + -41. Is s <= -22?
False
Let s = 0.03 - -2.97. Let n = s - 3.2. Let b = n - -0.1. Is b equal to 1?
False
Let f = 6.3 + -6. Let j = 0.2 - f. Let g = j - -0.3. Which is smaller: -1 or g?
-1
Suppose 0 = 5*c - 10*c + 30. Let h(n) = -n**3 + 6*n**2 - 2. Let y be h(c). Let f be ((-6)/(-4))/(y/4). Which is smaller: -2 or f?
f
Let v(l) = 26*l + 9. Let f be v(-6). Let q = 1913/13 + f. Is 0 less than or equal to q?
True
Suppose -2*q = o - 1, 3*q + q + 2 = 2*o. Which is smaller: 9/7 or o?
o
Suppose 4*t + f = 2*f - 46, 4*t = 3*f - 42. Which is greater: t or -11?
-11
Let y = -0.08 - -0.02. Let p = y - -0.06. Is p at least as big as 0.1?
False
Let g = 4 + -3. Let b be 7/(-1) + 2 + g. Is b != -5?
True
Let p = -647/4 - -4367/27. Is 1 greater than p?
True
Let z be 8/90*3/2. Let n = z - -2/3. Suppose 5*s + 1 = 11. Which is greater: n or s?
s
Let n = -1.24 + -0.06. Let o = n - -0.3. Is 0 at least as big as o?
True
Let n = 11 - 68. Which is bigger: -1/2 or n?
-1/2
Suppose 0 = 3*b - 4*b - 2, 14 = 4*x + b. Suppose -5*s - x = 1. Let l be -1 - ((-8)/6)/4. Is s at most l?
True
Let w = -3 + 8. Suppose 3*y + 2 = t, w*y - 3 = -3*t + 3. Does 2/17 = y?
False
Let l = -64 - -96. Let m be l/6*1*-3. Is 0 equal to m?
False
Let a = 47/3 - 16. Is -5 <= a?
True
L