et u(o) = 2*o**2 + 15*o + 10. Let l be u(-7). Suppose -5*c - 5*g = 10, -l = 5*c + g - 1. Let v be ((-2)/6)/(1/2). Which is bigger: c or v?
c
Suppose 0 = 5*b - 14 - 71. Let r be 4/10 - b/5. Let a = 3.8 + -4. Which is smaller: a or r?
r
Let f = -0.4 + 0.6. Let t = -51 + 50. Which is smaller: t or f?
t
Let z = -3 + 2. Let w be (-10)/4*(-5 + 7). Let m = -39/8 - w. Which is smaller: z or m?
z
Suppose -2*w - 5 = f, 0*w + 2*f + 12 = -5*w. Let y be (-3 - (w + 1))/(-2). Let m be (-28)/(-10) + (-4)/(-20). Is m at least as big as y?
True
Let t = 1.6 - 3.6. Which is smaller: t or -0.03?
t
Let k(i) = -i**3 - 5*i**2 + 5*i - 6. Let t be k(-6). Which is bigger: t or 2/9?
2/9
Let i = 5 + -10. Let x be -2*1 - i - -2. Suppose x*q + w = 0, -q + 3*q - w = 7. Is q smaller than 1?
False
Let f = 21 + -18. Suppose -f*c + 30 = 33. Let p be -1 + 0 + (-3)/4. Is p at most c?
True
Suppose 2*s - 40 = -2*s. Suppose -6*q + q = s. Let w be 1/(-3*3/27). Is w < q?
True
Let j be 0 + -1 + 10/2. Suppose 5*f = 10 - 20, 0 = 4*o - 5*f - 30. Is o bigger than j?
True
Let q = -2 - -1. Let l be 18 - ((-6)/2 + 7). Let k be 24/l + 7 + -9. Is k greater than q?
True
Let j be (-1 - -4)*(-2)/3. Let p be j/(-8) + 11/4. Suppose p*i - 31 = -2*z, -2*i - 4*z + 41 = i. Which is greater: i or 6?
i
Let u be (-8 + 7)*(-1 + 3). Let a(i) = i**2 + 7*i + 6. Let b be a(-6). Suppose 4*t + 3 + 5 = b. Do u and t have different values?
False
Let b = -0.79 - -0.09. Which is greater: b or 0.1?
0.1
Let r(i) = -i**3 + 2*i**2 + 5*i + 1. Let z be r(4). Which is smaller: -10 or z?
z
Suppose -4*f - 1 - 3 = 0. Which is bigger: f or -1/17?
-1/17
Let m = 15 + -26. Let y = m + 18. Let s be 2/y*(-7)/(-4). Which is smaller: s or -1?
-1
Let v = 27/4 + -7. Which is bigger: -0.03 or v?
-0.03
Let h = -46 - -29. Which is bigger: -18 or h?
h
Suppose s + 3*s + 4 = 0. Suppose 2*g + 2*i + 2 = 0, 4*g - i = -0*g + 6. Suppose -3*p = g - 4. Which is bigger: p or s?
p
Let m = -2 + -3. Let q = 3 + m. Let f be (-33)/(-45) + q/5. Is f greater than 1?
False
Let m(y) = -y**2 + y. Let c be m(1). Suppose -6 + 1 = -5*n. Let f = n - 0. Is c equal to f?
False
Let m be (-2 - (-45)/(-51)) + 3. Let j = 3 - 4. Is j >= m?
False
Let w be (-10)/(-4) + 1/2. Let t = 5 - w. Suppose h = -t*h - 6. Is -2/3 at least as big as h?
True
Let o = -1.3 + 0.8. Let c = -26 + 51/2. Do c and o have the same value?
True
Let c = -0.27 - -0.33. Is 4 < c?
False
Let h(c) = -c**3 - 9*c**2 - 7*c + 9. Let k be h(-8). Let n = 0 - k. Suppose -3*x = 2*r - r + 2, -4*x = 5*r + 10. Which is smaller: x or n?
n
Suppose 2*l + 4 = 4*b - 0, -b + 3*l = 9. Suppose 2 = b*h - 1. Is 4/7 < h?
True
Let q = -8 - -4. Let t = q - -5. Let n = -1 - t. Is n > -4?
True
Let s(y) = y**2. Suppose 0 = 3*k + 4 - 7. Let l be s(k). Which is greater: 1/19 or l?
l
Let j = -13.9 - -14. Let g = -1 + 1.2. Which is bigger: j or g?
g
Let w(i) = 6*i - 2. Let b be w(2). Let o = b - 14. Which is bigger: -5 or o?
o
Let r(j) = -j**2 - 3*j + 7. Let g be r(-5). Let k be ((-4)/190)/(g/(-15)). Let n = k + -62/133. Which is smaller: n or -1?
-1
Let a = -5 - -4.2. Let u = a + 0.6. Which is greater: u or 1/4?
1/4
Let z = -1 - -3. Suppose 4*y + 0*n + 24 = -n, -20 = 4*y + z*n. Let g = y - -7. Is 1/11 at most g?
False
Let t = -0.13 - -0.2. Let d = t - -0.93. Does d = 2/7?
False
Let i = 27.4 - 4.4. Let x = i - 23.8. Which is bigger: -1 or x?
x
Let c be -6*(-1)/465*5. Is 1 at least as big as c?
True
Let x be ((-8)/12)/((-1)/9). Let p be 2/(x/(9/3)). Suppose 4*t - 1 = 11. Which is greater: t or p?
t
Let d = 24 - 23. Let j = 0 + -0.1. Let o = -0.1 - j. Which is greater: o or d?
d
Let v = -0.53 + 0.6. Let x = v + 0.03. Are -5 and x unequal?
True
Suppose -2*y + 2 = -6. Which is smaller: y or 3?
3
Let j(k) = k**2 - 11*k + 28. Let m be j(7). Is m at most as big as -10?
False
Suppose -122*z = -119*z + 48. Is -13 equal to z?
False
Let l be 48/308 - 12/28. Is 2/7 < l?
False
Let v = 174 - 137. Is 1/2 bigger than v?
False
Let z = 0 - 1. Suppose -5*a + 15 = 0, -2*h - 3*a = -5*h - 12. Is h at most z?
True
Suppose -y = -6*y. Is -2/73 greater than y?
False
Suppose -d = -0*i + 4*i - 10, 3 = -i - 3*d. Suppose 2*y + i*y = -5. Let o be (-11)/9 - 0 - -1. Is y bigger than o?
False
Let r = 0.07 - 0.1. Which is smaller: -2/7 or r?
-2/7
Let v = 7 - 17. Let o = v - -5. Let p = o - -3. Does p = 3?
False
Let y = 59 - 121/2. Let s = 2 - -2. Suppose -4*z = 5*h + s, 4 = -4*z + 2*h - h. Which is bigger: z or y?
z
Let a = -115 + 139. Do a and 24 have the same value?
True
Let w(k) = k + 4. Let r be w(-3). Suppose -4 = 5*t + 1. Let g be (((-5)/(-2))/(-5))/t. Which is greater: g or r?
r
Let f(b) = 2*b + 10. Let t be f(-6). Is -6/5 > t?
True
Suppose 0 = 23*v - 44*v. Let b be 0 + ((-8)/10 - -1). Is v at most b?
True
Suppose 0 - 5 = -2*j - 5*w, 0 = -4*w + 4. Which is greater: j or 2/5?
2/5
Let w be 6/(-45) + (-107)/(-15). Do 7 and w have the same value?
True
Suppose 2 = -5*x - t, 5*x + t = -2*t + 4. Is x >= -7?
True
Let u(k) = 2*k. Let h be u(4). Let z = h - 8. Which is bigger: z or -3/7?
z
Let i = 0.8 + -0.3. Let y = -5.5 + 6. Let z = i + y. Which is smaller: -0.2 or z?
-0.2
Let j = 1 - 2. Suppose 4*n = -7 + 3. Let u be n/6*(12 + -15). Which is bigger: j or u?
u
Let k = -8.8 - -10. Let r = 11.2 - 11. Let j = k - r. Is -1 > j?
False
Let k be 4/14 + (-64)/28. Let r be 3/(-2)*k/(-12). Is r greater than 1?
False
Suppose 0*a + 5 = a - g, -3*a = -g - 15. Suppose a*y = 4*m + 3, 2*y + 0*y - 8 = 5*m. Let z be 2/y + 16/9. Which is smaller: 1 or z?
z
Suppose -3 = -2*r + 3*x, 5*r - 6*x - 13 = -4*x. Let h be 6/4 - 3/r. Which is smaller: 1 or h?
h
Let z(m) = m**3 + 2*m**2 + 2*m - 5. Let h be z(0). Which is smaller: h or -0.8?
h
Suppose -r + 5*p + 15 = 0, 0*p + 2*p + 6 = r. Suppose 0 = 5*x - 3*o - 47 + 1, r = 4*x - 2*o - 38. Is x at least as big as 11?
True
Suppose -8 + 44 = -6*n. Is -6 less than or equal to n?
True
Let w = -3.21 + 0.21. Is w > -3/5?
False
Let q = -3.36 - 0.54. Let r = -8 - -4. Let p = r - q. Is -1 at least as big as p?
False
Let s = -18/65 + -358/585. Which is smaller: s or -1?
-1
Let m(x) = x - 1. Let d be m(4). Suppose -2*y = -6*y + 32. Suppose -p = d*p + y. Which is smaller: -5/2 or p?
-5/2
Let b(t) = -t**3 + 2*t**2 + 3*t - 14. Let c be b(5). Which is smaller: c or -73?
c
Suppose 2*c = -2 - 0. Let i(r) = -3*r**3 - r**2 - 2*r - 1. Let s be i(c). Is 2 equal to s?
False
Suppose -6*c - 14 = -5*c - 4*y, -2*c = 5*y - 11. Let d = 0 + -1. Is c at least d?
False
Suppose -5*x - 40 = -10*x. Suppose x*s - 3*s = 15. Which is smaller: s or 4?
s
Let z = 4/63 + 31/504. Is z != 0?
True
Let f(z) = z**2 + 6*z - 5. Let a be f(-7). Let d(x) = x**3 + 4*x**2 - 5*x + 5. Let j be d(-5). Suppose i = -j*n, 0 = -i - i - n. Is a greater than i?
True
Suppose 0 = -3*p + 6*p. Let n = -132/5 + 1706/65. Is n equal to p?
False
Let u = -5 + 6. Does -2/5 = u?
False
Let f = -0.35 + 0.22. Which is smaller: f or 0?
f
Let s = -1824 - -12800/7. Which is smaller: s or 5?
s
Let t be (-4)/(-26) + 32/(-1560). Let j = -6 - -7. Suppose -5*c - 7 = u - j, 0 = 3*c - 4*u - 1. Is t bigger than c?
True
Let z = 6 + -4. Let h be 36/44 + z/11. Which is greater: 2/3 or h?
h
Suppose -5*c = -7*c. Let u be (c + 5)*4/10. Suppose d - 3 = -u*w, -d - 5*w - 2 = -8*w. Is 0 less than d?
True
Let j(i) = -i + 3. Let t be j(5). Let y be t + 8 + (-4 - -1). Is y at least 3?
True
Let d = 9 - 7. Suppose -d*h = 3*h. Let o = 2 + h. Which is bigger: -1 or o?
o
Suppose -6*w = -w + 10. Let f(k) = k**2 - 8*k + 7. Let l be f(7). Which is bigger: l or w?
l
Let i = 2 - 1. Let o be (-4)/(-35)*150/20. Is i at most as big as o?
False
Suppose -y - 45 = -25. Are y and -21 non-equal?
True
Let t = 0.2 + -0.1. Let s = -8.2 + 8. Let m = s + t. Do -0.3 and m have different values?
True
Let s = 39 - 43. Which is smaller: s or -0.1?
s
Let g = -5 + 5.1. Let j = g - -0.4. Let h = j + -0.5. Is h greater than or equal to 2?
False
Let f = -77 + 69. Is -6 at most as big as f?
False
Let f = 1 - 1.3. Is f at least -1/5?
False
Let m = 0.53 - 0.6. Let p = -2.93 + m. Is 1/2 less than or equal to p?
False
Let v(m) = m**2 - m - 6*m**2 - m**3 + 4*m**2. Let q be v(-1). Let n(u) = -3*u + 9. Let z be n(3). Which is greater: z or q?
q
Let m(f) = 3*f + 29. Let y be m(-10). Is -4/103 <= y?
False
Suppose 0*w = -4*w + 12. Suppose 1 = -3*s - 5*f, -w*s = -5*f + 10 + 1. Does s = 