Let f be 3/(-6)*-10*-1. Let r(s) = s**2 + 6*s + 5. Let u be r(f). Suppose u = 4*v - 0 + 4. Which is smaller: 2/7 or v?
v
Let o(g) = -g**3 - 5*g**2 + 5*g - 1. Let x be o(-6). Let v(p) = p - 4. Let s be v(7). Suppose -4*y = x*i, -s*i = y - 6*i. Which is bigger: 1 or y?
1
Let q = -4 - -4. Let r = -935 - -648. Let s = -2006/7 - r. Which is bigger: s or q?
s
Let x be 0 + -1 - 0/(-1). Let j(k) = -2*k - 2. Let c be j(-2). Suppose 0 = t + c*t. Is t less than x?
False
Let q = -17 - -18.1. Let j = -0.3 - q. Let f = j + 0.4. Is f at least as big as -6?
True
Let l(j) = j**3 + 4*j**2 - 5*j. Let z be l(-5). Suppose z = -4*c + c + 6. Suppose 2*t = -2*n + c, n + 4*t + 1 - 2 = 0. Which is smaller: -3/7 or n?
-3/7
Let b be 1*(-4)/(8/(-10)). Suppose -3 - 4 = -b*c + 4*m, 2*c - m = 1. Let o = -5/13 - -3/13. Is o < c?
False
Let l(v) = v**3 - v + 1. Let a be l(1). Let j be 6/(-4)*(-44)/(-162). Let f = -5/27 - j. Is f <= a?
True
Let v = 9/14 + -85/154. Are v and 0 non-equal?
True
Let d be (1/18)/(21/(-210)). Which is smaller: -1 or d?
-1
Suppose g + 6 + 9 = 0. Is g <= -15?
True
Let j be (4/6)/(-5*(-37)/45). Which is greater: j or 1?
1
Let k be ((-3)/5)/(6/30). Let b(s) = s**3 + 3*s**2 + 2*s - 4. Let a be b(k). Do a and -11 have different values?
True
Let l(o) = -31*o**2 - 3*o - 2. Let b be l(-3). Let h = -4082/15 - b. Which is smaller: h or 0?
h
Let q be (-32)/(-14) - 4/14. Suppose 5*b + q - 7 = 0. Are -2/9 and b unequal?
True
Let u = 25 + -35. Let v = u - -10. Which is bigger: v or 3/7?
3/7
Let n = -1.6 - -3.1. Let j = n - 1.48. Which is smaller: j or -2/3?
-2/3
Let c be (-10)/(-50) + 44/5. Suppose c = -2*n - 3*k, -6 = 3*n + 3*k + 12. Is n at least as big as -9?
True
Let c be (5/(-1))/((-1)/(-1)). Let s be 0/((-15)/c - 1). Let v be 1 - (-1)/6*-2. Which is bigger: v or s?
v
Let l = 0 - -3. Let q = l + -1. Suppose r = -3*o - 2*r - 12, -2 = -4*o + 5*r. Which is smaller: q or o?
o
Let c(h) = 2*h + 10. Let t be c(-7). Let x = 10 + -19. Let m = x + 10. Is t <= m?
True
Let j = -3 + 3. Let w be (2 - 0) + 6/(-9). Is w less than j?
False
Suppose -3*z = w + 56, 2*w + 3*z = 5*z - 88. Is w bigger than -48?
True
Let d(x) = 12*x - 11 - x**2 + 7*x - x. Let u be d(17). Is u greater than 8?
False
Let z(h) = h**2 + h. Let m be (3/(-3) + 1)/(-1). Let n be z(m). Suppose n = 2*c - c. Is 1 bigger than c?
True
Let z = -2.8 + 1.8. Which is greater: -2 or z?
z
Suppose -6 = j - 14. Let y be (-10)/28 + j/16. Do y and 1 have the same value?
False
Let y = 16.7 - -4.3. Let d = y - 19. Which is greater: d or -7?
d
Suppose 4*n = -3*b + 43, 2*n = 3*b - 2*n - 83. Is b > -1/2?
True
Let t = -49 - -50. Which is greater: t or 7/13?
t
Let g(b) = -b - 11. Let w be g(-15). Let p be w + (-5)/(10/16). Which is greater: -3 or p?
-3
Let i = -23/6 - -9/2. Do 1/4 and i have different values?
True
Suppose 2*c + 106 = -3*m, 5*m + 164 = 7*c - 4*c. Let o be m/(-8) + (-21)/7. Which is smaller: o or 1?
1
Let c be 12/66 - (-9)/(-231). Is 0 > c?
False
Let n = -0.06 - -0.01. Let r = -0.55 - n. Which is smaller: -0.1 or r?
r
Let t(c) = -c**2 - 6*c + 1. Let l be t(-6). Let j be (3/(-6))/((-4)/(-20)). Let h = j - -13/6. Is l greater than h?
True
Suppose -2*d - 2 = 0, -5*c - d - d = 12. Which is smaller: c or -4?
-4
Let i(x) = 2*x**2 - 17*x + 4. Let r be i(7). Is -55/3 greater than or equal to r?
False
Let t(k) = -k**2 - 3*k - 2. Let i be t(-2). Suppose 9*f - 4*f = i. Let x be 1 - (-1 + 48/26). Which is smaller: x or f?
f
Let v be 6/(-15) - ((-39)/(-15) - 2). Is v smaller than -2/199?
True
Let d = -0.04 + 3.04. Let f = 1.92 + 0.08. Let p = f - d. Which is greater: 0.3 or p?
0.3
Let s(j) = -2030*j + 1. Let a be s(1). Let t be a/(-13) + -2 + 1. Let v = t - 155. Is v != 0?
True
Suppose -4*u - 3*t = -120, u + 3*t + 0*t - 21 = 0. Let q be ((-12)/u)/((-4)/6). Which is smaller: q or 1?
q
Suppose -2*m - 34 = -5*a - 15, 0 = -2*a + 3*m + 1. Let y = a - 5. Suppose n = -5*l + 2, 4*n + 3*l - 6 = n. Which is greater: n or y?
n
Let a = -0.18 - -2.08. Let q = a - 2.4. Is 0 < q?
False
Let x be (6/(-9))/((-4)/6). Which is smaller: 0 or x?
0
Let m be 6/(-3) - 7/(-3). Suppose -5*g = -12 + 2. Suppose -4*z + 1 + 3 = g*k, k = -5*z + 5. Which is smaller: k or m?
k
Let u = -1195 + 99184/83. Do 0 and u have the same value?
False
Let l = -2.2 + 2. Let q = -10 + 25. Let x be 10/q*3/7. Which is smaller: x or l?
l
Let t = 273 + -186. Which is smaller: t or 86?
86
Let m = 108.99 + -108. Let c = -2 - -1.99. Let i = c - m. Which is greater: i or 3?
3
Let z = 1 - 0. Suppose 5*j - 155 = 3*p + 2*p, -j - 2*p = -43. Let d = 141/4 - j. Which is smaller: z or d?
d
Let k = 19 - 138. Which is greater: 0 or k?
0
Let k(j) = -2*j + 1. Let v be k(-3). Is v at least 8?
False
Let f(r) = -r**2 - r. Let o(v) = 3*v**2 + v - 1. Let b(g) = -2*f(g) - o(g). Let i be b(1). Which is smaller: i or 2?
i
Let c be (-12)/(-32) - (-2 - 22/(-16)). Let n = -216 - -2373/11. Is c equal to n?
False
Let r be (-9)/(-12) - (3 - (-57)/12). Is -15/2 < r?
True
Let n = 3/4 + -1. Is n at most 0?
True
Let a = -1.17 + 0.17. Which is greater: 6 or a?
6
Let u be -1 + 27 + 8/(-2). Let n = 19 - u. Suppose -4*d - 16 = -4*x, -2*x + 9 = -d - 6*x. Which is greater: d or n?
n
Suppose f + 2 = l, -l = 4*f - 6 - 11. Which is greater: 9 or f?
9
Let h be (0 + 1)*(-110)/(-10). Is 9 <= h?
True
Let p = -0.152 - 68.848. Is 0 less than or equal to p?
False
Let s be (-9)/(-6) + 114/(-4). Let p = s - -30. Which is smaller: 15/8 or p?
15/8
Let h = -2 - -3. Let x be -1 + h - -1 - 0. Let f be -6*28/(-105) - (-2)/5. Which is smaller: f or x?
x
Let g = 0.07 - 7.07. Let s = g - -7.1. Do 3 and s have the same value?
False
Let i = -129509 + 130150.01. Let x = -635 + i. Let b = x + -6. Does -1 = b?
False
Suppose -17 = -3*b + 52. Which is smaller: b or 22?
22
Let o(b) = b - 77. Let v be o(-11). Is v smaller than -2?
True
Let x = 10 - 6. Let t be (4/7)/(0 + 2). Do x and t have the same value?
False
Let w = 47 + -187/4. Is 1 < w?
False
Suppose 0 = -h + 9*h. Let z = -3 + 2. Which is smaller: h or z?
z
Suppose -5 = -5*z - 0. Let w be z - (1 - -1 - -2). Is w greater than or equal to -3?
True
Let a = 10 + -9. Is a smaller than 5/7?
False
Let j = 6 - -4. Let o = j - 7. Let s(x) = -x - 4. Let b be s(-7). Is b greater than o?
False
Let q(j) = j + 3. Let u be q(-3). Suppose -2*z - a = -4, 3*z + 6*a + 8 = a. Let x(b) = b**3 - 5*b**2 + 5*b - 6. Let c be x(z). Is c at most as big as u?
True
Let r = 28704/25 - 1148. Does -1 = r?
False
Let o be 5/(-10) + (4/3 - 1). Let i(p) = p**3 + 2*p**2 - 2*p**2. Let c be i(0). Is o not equal to c?
True
Suppose 12 + 3 = -3*h. Is h at least -5?
True
Let s be (-4)/10*5/9. Suppose 0 = -x + 5 - 3. Let a be (-9)/(-6) + (-1)/x. Is s less than a?
True
Let c be 214/40 + (-2)/(-8). Are 7 and c non-equal?
True
Let i = 4 + -7. Let a be (0 - i) + -1 + 0. Let h be 4/6 - a/3. Is -1 equal to h?
False
Let d be (-16)/(-7) - (-6)/(-21). Suppose -4*n + 18 = 2*g - 10, 3*g + 4*n = 38. Let j be (-2)/g*5/(-2). Do d and j have different values?
True
Let f = -1109/52 + 40/13. Which is bigger: f or -17?
-17
Let o = 115/814 + 3/74. Let r = 0.2 - -0.8. Which is smaller: r or o?
o
Suppose 5*q - 17 - 33 = 0. Is 9 greater than q?
False
Let b = -14873/20 - -3035/4. Let v be (-285)/18 - (-2)/6. Let k = v + b. Which is bigger: -0.1 or k?
-0.1
Let z(r) = -12*r - 69. Let g be z(-6). Which is bigger: g or 0.3?
g
Suppose 1 = 4*n + c - 1, 4*n + 2 = -3*c. Let y be (7/3)/((-3)/(-9)). Which is smaller: n or y?
n
Let c = -3 - -7. Suppose -3*a + 7 = -a + 5*m, a - 5*m + c = 0. Is -5 < a?
True
Let u = 222/5 - 44. Let b = 2.5 + -2.5. Is u greater than b?
True
Let o = -141.9 - -142. Let g = -0.1 - -0.2. Let d = g - -0.9. Which is smaller: o or d?
o
Let z be 44/(-12) - -2 - -2. Suppose -2*u - 2*u = 3*t + 17, -5*u = 2*t + 30. Let l(g) = g + 9. Let m be l(u). Which is smaller: z or m?
z
Let f be -8 + 0*3/6. Let l = -8 - f. Does l = 0.06?
False
Let s(u) = 2*u - 8. Let b be s(7). Suppose -2*v + 4 = -b*v. Are -2 and v unequal?
True
Let y be 7592/(-16086) + (3 - 2). Let x = y + 15/766. Let o = x - 5/6. Is o less than or equal to -0.1?
True
Let d = -6 - -10. Suppose 5*q - v = -d, -4*q - v - 16 = -5*v. Let j be (3/(-9)*q)/3. Which is smaller: j or 6/5?
j
Suppose -8 = 4*n - 8*n. Which is bigger: 6/7 or n?
n
Suppose -4 = -5*c + 6. Which is smaller: 4 or c?
c
Suppo