*r = 4*r, c = r. Suppose -o - 2*f = 11, -4*o - 5 = -9*o + 2*f. Does c = o?
False
Let z = -46/7 + 7. Suppose 18 = -4*a + y + y, -3*a = 5*y + 46. Let j be 2/a + (-12)/(-42). Is j at least as big as z?
False
Suppose -2*v - k = -0*v - 6, -v + k = -3. Suppose v = 4*i - 1. Is i smaller than 4/9?
False
Let t = 45 - 36. Are 8 and t unequal?
True
Let h = -56.3 + 56. Which is greater: h or -3/7?
h
Let u = -10 - -7. Let w be (u/9)/((-7)/3). Let v(n) = n**3 - 2*n**2 + 2*n - 3. Let d be v(2). Is w at least as big as d?
False
Let o = 224131/91 + -2463. Which is smaller: o or 0?
o
Let i(l) = 2*l - 10. Let c be i(7). Suppose c*u + 7 = 15. Let h = -6 + u. Is -4 at least as big as h?
True
Let w = 2221/30 - 74. Is w bigger than -1?
True
Suppose 0 = 5*n + 2*n - 14. Does n = 8/11?
False
Let w = -16 + 15. Does w = -2?
False
Let h be 0 + 1 - (-6)/2. Let u be 1*8 - (14 + -10). Is h > u?
False
Let w = 9 - 15. Let p = w + 2. Let q = -5 - p. Is q greater than 0.2?
False
Let y be ((-4)/(-43))/(-3 - (-2 + 1)). Which is greater: y or -1?
y
Let l = 12 + -16. Which is bigger: l or -6?
l
Let v = 0.03 + 0.27. Let m = 0.28 + 13.72. Let l = -14.2 + m. Is v at least l?
True
Let a = 15 + -14. Let i be 12/(-16)*(-4)/6. Which is smaller: a or i?
i
Let s = -35 + 35.2. Which is smaller: s or -5?
-5
Let g be (0 - 1)*(1 - 3). Let h = g + -1. Let z be -2 + h + -1 - -2. Is 1 greater than z?
True
Let q = 146 + -143.04. Let m = -1.9 - -1.94. Let b = m + q. Is 1 less than b?
True
Suppose -4*h = -3*o - 10 + 33, 5*o = -2*h - 5. Let p be o/((0 + 3)/(-3)). Are p and -1 equal?
True
Suppose 195 = 7*i + 6*i. Which is greater: i or 81/5?
81/5
Suppose -2*p + 4*p = -2*u + 16, -8 = -p + 4*u. Let k = -4 + p. Which is greater: k or 2?
k
Let p = 0.58 - 0.08. Let q = p - 0.3. Do q and -3 have different values?
True
Suppose 2*j + 5*b - 40 = 7*j, 3*b + 6 = 0. Let d = -16 - j. Let f be -2*d/(-7) - -2. Are f and 0 nonequal?
True
Let p = 5.3 + 1.7. Let j = 0.2 + 0.8. Let l = p - j. Which is greater: l or -1/2?
l
Let s = -1784/5 - -355. Let n = s - -7/15. Is n less than 0?
True
Let k = 3 + -2. Suppose 2*h + 5*x = 15, -2*h = -3*h - 2*x + 8. Let d be (-24)/40 - (-2)/h. Which is greater: k or d?
k
Suppose k = 6*k + 5. Let n be 4/10 - 2/5. Is k > n?
False
Let n = -2 - -2. Let r be 7 - n/(2 + -1). Suppose 2*d + 3*t - 9 = r*d, -4*t = 3*d - 12. Which is greater: -1 or d?
d
Let y be (3/(-6))/(3/30). Suppose -2*z = 3*z + 25. Is y greater than z?
False
Let r = 11 + -10. Which is greater: r or -2/7?
r
Let m = -1493/8 + 187. Which is greater: -0.01 or m?
m
Suppose 2*w + 0 = -2. Let y be 2 - 0 - (1 - 3). Let p = y - 6. Is p greater than w?
False
Let t(b) be the second derivative of b**3/6 + 5*b**2/2 + 2*b. Let i be t(-6). Which is greater: 1/11 or i?
1/11
Suppose -5*z + 24 = c, -6*c = -4*z - c - 4. Suppose 0 = -4*f + z - 0. Let o be -2 + (-8)/(-18)*6. Is o smaller than f?
True
Let o be 5*1*4/10. Let p(b) = -b. Let w be p(-7). Let r = 9 - w. Is o < r?
False
Let o be 4/20 + 3177/(-5110). Let s = o + -1/146. Let q(g) = g**2 + 2*g - 2. Let x be q(1). Are s and x unequal?
True
Let b = -215 + 215. Is b at least as big as -2/9?
True
Suppose 6 = -11*v - 5. Which is smaller: v or -6/19?
v
Let r be -2 - (1 + 0)/(-1). Let j = r + 1. Let i = 0 - j. Is i > 0?
False
Let c be ((-2)/8)/((-3)/(-9)). Which is smaller: c or 0.2?
c
Let t = 5 + 3. Which is greater: 0.1 or t?
t
Let m(n) = 2*n**2 + 3*n + 4. Let a be m(-4). Are 24 and a non-equal?
False
Let b = 0 - -1. Let m = 0.09 + -0.09. Which is smaller: b or m?
m
Let l = -50 + 51. Do l and 12/5 have different values?
True
Let z = -1471/12 - -449/4. Let b = -19/2 - z. Let c = -345 - -345. Is b >= c?
True
Suppose 3*f + 0*f - 3*q + 9 = 0, -27 = -f - 5*q. Let h be 1 - 1 - 0/(-2). Suppose 3*i - i + f = h. Which is greater: 0 or i?
0
Let c(v) = -v**3 - v**2 + 3*v - 4. Let u be c(3). Let d be -3*(-1 - u/21). Is -2 < d?
True
Let s be 6/202*38/57. Is 0 <= s?
True
Let y(j) = j**2 - 6*j. Let n be y(4). Do n and -4 have the same value?
False
Let j = -5 - -9. Let m = -43 - -47. Is m less than or equal to j?
True
Suppose 3 = g - 1. Suppose 6*q - 2*q = g. Let t = -1/5 - -7/10. Are t and q equal?
False
Suppose 1 = -2*g + 11. Suppose 0 = 5*w + 4*n + g, -4*w + 4*n - 4 = -0*w. Let s be (2 - (-2)/w)/2. Which is bigger: 2/9 or s?
2/9
Let k = 99/80 - 7/16. Suppose 5*g - x = 3*x - 15, 2*x = -4*g + 14. Let z be g/(-3)*60/50. Is k at most z?
False
Let s(b) = -b**2 + 5*b + 7. Let u be s(6). Let i = -1 + u. Let y be 3*-1 - ((-39)/9 + 1). Is i at most y?
True
Let c = 4 + -3. Which is greater: c or 13?
13
Let f = 2/299 - -3881/897. Which is smaller: 3 or f?
3
Let l(d) = -d**3 - 2*d - 1. Let m be l(-2). Is m less than 11?
False
Let g be ((-1)/1)/((-4)/12). Let m be 2/g - 145/150. Is 1 > m?
True
Let k be (1 - (-10)/(-6))*3/(-17). Which is smaller: k or 1?
k
Let y = 2010/17 + -118. Is y > 0?
True
Let t = 0 - -2. Suppose 2*v - t*p - 39 = -7*p, 0 = -4*v - 4*p + 48. Is v > 7?
False
Let y be (-8)/(-36) + 133/9. Let w be ((-20)/y)/((-2)/(-6)). Let p be (2/(-2))/((-7)/w). Which is smaller: -2 or p?
-2
Let x = -0.05 + -0.35. Let b = 2194/9 - 244. Which is smaller: x or b?
x
Suppose j + j - 34 = 0. Suppose 4*u + 1 - j = 0. Are 3 and u equal?
False
Let i = 1606201/303 - 5301. Let q = -2743/2424 - i. Which is bigger: q or -1?
-1
Let m = -124 + 619/5. Suppose -2 = 4*w - 2*w. Is m bigger than w?
True
Let a(d) = d**2 + d + 1. Let h be a(6). Let r be (-3)/(-12) - h/44. Let p = 43/44 + r. Which is greater: p or 0?
p
Let f(n) = n - 3. Let t be f(6). Let u = t + -7. Let v(y) = -y**2 - 3. Let o be v(0). Is u smaller than o?
True
Let w = -19 - -15. Is -13/3 less than or equal to w?
True
Let j be -38*(-2)/(-14) - -4. Which is smaller: 0 or j?
j
Suppose -2*t - 1215 = 5*q - 3*t, 5*q = -5*t - 1245. Let m = q + 410. Let c = 1160/7 - m. Which is smaller: c or 0?
c
Suppose -15 = -41*g + 36*g. Which is smaller: g or 5?
g
Suppose 0 = -5*m + 3*m + 10. Suppose -15 = -5*w, m*w - 1 - 10 = 4*v. Let f be (-12)/(-3) - v*2. Is 2 less than or equal to f?
True
Let j = -17.03 - -17. Let l = j - -0.23. Which is smaller: -2/5 or l?
-2/5
Let w = -5 + 12. Let n = 4 - w. Suppose -3*x - f = 8, f = 2*x + 3*f + 8. Which is greater: x or n?
x
Let v be (-2)/(-5) - 16/(-10). Let i be 2 + (-344)/590 + -1. Let a = i + -1/59. Is v <= a?
False
Let m be 38/(-6) + (-22)/33. Let g = m - -12. Let a = -8 - -13. Does g = a?
True
Let o = 4 - 5. Is -2 <= o?
True
Let y be 2 + 3/(6/2). Let d(o) = 3*o - o + 3 - y*o + 0*o. Let g be d(4). Which is bigger: -4/5 or g?
-4/5
Suppose -3*c + 30 = 12. Suppose -g = -c*g. Is g equal to 2/23?
False
Suppose -29*w = -30*w. Are 6/67 and w unequal?
True
Let f be 5 + (3 - (4 - 0)). Suppose 3*r = -g + f*g + 6, -3*g - 4*r = -1. Which is bigger: -6/7 or g?
-6/7
Let c = 0.06 + -1.06. Is c less than 2/7?
True
Suppose 0 = u - 2*u - 8. Let p be u/(-70) - 4/10. Is -1 less than p?
True
Let c be (-1)/(-4) + 12/16. Let x be (6*c/(-2))/(-3). Which is smaller: 1/11 or x?
1/11
Let x be (-2 + 3)/(2/(-34)). Is x != -18?
True
Let a = 14.9 + -15. Which is bigger: a or -22?
a
Let p = 0.8 - -1.2. Are -0.8 and p non-equal?
True
Let z = -3.7 + 1.9. Let b = z - -2. Let t = 0.04 + -2.04. Which is bigger: b or t?
b
Suppose -3*g + 14 = 8. Suppose 0*x - x = g. Which is smaller: x or -1?
x
Let j = -2/121 + -2648/847. Let a = 191/63 + j. Let i(l) = -l + 5. Let d be i(4). Which is smaller: a or d?
a
Let z = 2/1115 - 4506/25645. Which is greater: z or 0?
0
Let s = 0.09 - -1.91. Let c = s - 3. Which is smaller: 3/4 or c?
c
Suppose -18 = -3*r - 5*m, 0 = -6*r + r - m + 8. Let i = r - 1. Suppose 6 = -4*v + 2. Which is bigger: i or v?
i
Let y(v) = v + 6. Let u be y(-6). Let k be (-53)/(-11) + 12/66. Let h = k - 4. Which is smaller: h or u?
u
Let w = 0.7 - 0.84. Let r = 1.34 + w. Let q = r - 1. Which is bigger: -2/9 or q?
q
Let y = 8.6 - 9. Let i = 4.4 + y. Let a(l) = -l + 6. Let n be a(8). Is i smaller than n?
False
Let l be ((-8)/2)/(4/2). Let q(s) = s**2 - 9*s + 6. Let c be q(8). Is c bigger than l?
False
Let t = -7 - -19. Let b be 4/(-3)*2/t. Which is bigger: b or -0.9?
b
Let v = -13 + 14. Let a be (-3)/(-8)*(-1)/3. Which is smaller: a or v?
a
Let m(n) = 20*n**3 - 27*n**2 + 7*n + 9. Let y(i) = 7*i**3 - 9*i**2 + 2*i + 3. Let w(x) = 6*m(x) - 17*y(x). Let l be w(8). Do 5 and l have dif