r - 3*r - 3*v = -8. Is r at most 2/101?
False
Let k be (-15)/9 + 2/(-6). Let m be 4/(-6) + 197/300. Let u = -61/100 - m. Is u at most k?
False
Suppose 303 = -3*k + 87. Let o be -1 + 4/k*2. Which is smaller: -2 or o?
-2
Let r = 1/5 - 19/20. Let f be 3 + (-3 - (-4)/(-2)). Is f at least r?
False
Let k = -14 + 19. Let l be (-2)/k - (-27)/15. Which is bigger: 1 or l?
l
Let r = -0.01 + 0.19. Let u = r - 0.08. Which is smaller: 4 or u?
u
Suppose x - 1 + 2 = 0. Which is smaller: x or 2?
x
Let u be (-62)/4 - (-2)/(-4). Let j = 18 + u. Which is smaller: j or 1?
1
Suppose 0 = -4*o - 4, -4*k + 0*k + o + 9 = 0. Suppose 4*b = k*b + 4*a + 4, 0 = -2*b + 5*a + 4. Let l be (-6)/(-9) - b/12. Which is bigger: l or 0?
l
Suppose -5*o = -2*s + 83, -o - 12 + 287 = 5*s. Is s less than or equal to 54?
True
Let k = -20 + 35. Suppose -3*v - v + 4*p + 24 = 0, 5*v + 4*p + k = 0. Is -1/36 < v?
True
Suppose -3*c - 2*s = 120, c = 3*c - 2*s + 70. Is c at most -38?
True
Let n(x) = -2*x + 12. Let o be n(4). Let u = 4 - -1. Suppose u*j = 4*j + 3. Which is smaller: o or j?
j
Let g = 8 + -5. Suppose -2*b - 25 = -5*m, -m - 6*b + b = 22. Is m smaller than g?
False
Let r = -0.5 + 0.4. Let f = r - 0. Let h = -9 + 7. Is h smaller than f?
True
Suppose 5*i - 16 = 4. Suppose 24 = i*p - 20. Suppose 16 = -4*g - 5*u, -3*g - u + p = -3*u. Which is greater: g or 2?
2
Let a = -17118784/21830355 - 1706/15649. Let y = a - -2/465. Which is smaller: 0 or y?
y
Let d = -12 - 28. Let m be (-791)/(-20) + (-2)/(-8). Let p = d + m. Is p > 1?
False
Let m = -301 - -281.1. Let i = 19 + m. Let j = 5.9 + i. Is 0 > j?
False
Suppose -2*o + 7 = -7. Let a = -5 + o. Which is greater: -2 or a?
a
Let r = 9 + -6. Let n = -63.9 - -64. Is r > n?
True
Let a = -11.41 + 11.4. Is a less than 2/11?
True
Suppose -5*m - 2*g + 16 = -19, -3*g - 5 = -4*m. Suppose -v = -0*v - 5, v + 5 = -m*a. Let u(y) = y + 5. Let q be u(-6). Which is greater: q or a?
q
Let a = -101 - -90. Is -51/5 at most as big as a?
False
Let z = 8 - 11. Let x = 0 + z. Let u = x - -2. Is -0.1 > u?
True
Let l be 4/18*(-1)/2. Is l at least as big as 0?
False
Let k = -8.09 - -0.89. Let m = k - -7. Which is bigger: -1 or m?
m
Let w be -2 - 130/(-35) - 3. Which is bigger: w or -1?
-1
Let k(h) = h**3 - 2*h**2 - 2*h - 1. Let p be k(3). Let s be 1/(-1)*2 + p. Suppose 0 = -s*m - 3*m. Which is greater: m or -1/5?
m
Let d be (-4)/(-5 - -3) - 13. Let c be (40/(-12))/(1/3). Which is bigger: d or c?
c
Let a(b) = 2*b**3 - 9*b**2 - 6*b + 5. Let o be a(5). Let y(q) = q**3 + 4*q**2 - 5*q + 1. Let s be y(-5). Is o smaller than s?
True
Let b be 9/2*1/(-9)*-6. Are 6 and b equal?
False
Let i = -0.2 + 1.2. Let a = -205.7 - -223. Let y = a - 17. Which is greater: i or y?
i
Let p(u) = 6 + 3*u**2 - 4*u**2 + u**3 - 2*u**2 - 5*u. Let d be p(4). Which is smaller: 3 or d?
d
Suppose 3*u = -2*b - 2*u + 24, -3*b = -3*u - 36. Let w be (-11)/b + (-4)/(-16). Is w at most as big as -1?
False
Let z = -10 - -6. Is -5 >= z?
False
Let w(q) = -q**3 + 5*q**2 - 5*q + 5. Let v be w(4). Let c be (-2)/5*10590/(-96). Let h = c + -44. Is v > h?
True
Let n(m) = 5*m**2. Let l be n(-1). Suppose -c = -l*c. Let h = 23/2 - 65/6. Is h >= c?
True
Let k = -0.5 - -0.8. Let h = k - 4.3. Is h less than or equal to 0.1?
True
Let g = -123 - -193. Let d be 1/(-6) - g/(-24). Which is bigger: 4 or d?
4
Let b = -208 + 1243/6. Is b equal to 0?
False
Suppose 3*i = -2*i + 5. Let h(p) = -3*p - 8. Let o be h(-6). Let j be (-3)/o*(-12)/(-9). Is j equal to i?
False
Let z = 61/5 + -432/35. Which is smaller: 1/7 or z?
z
Suppose -5*m + 2*l + 4 = 0, -m - 2*l - 4 = 3*m. Is 7/18 at least as big as m?
True
Suppose 2*x + 0*x = 4. Is x greater than or equal to 18/11?
True
Let u(v) = -v - 1. Let k be u(2). Is -3/2 <= k?
False
Let k = -0.52 - 0.48. Are 6/17 and k equal?
False
Let r(d) = -d**3 + 9*d**2 - 10*d + 11. Let k be r(8). Let y = -2 + k. Which is greater: -6 or y?
-6
Let f(t) = -t**3 + 8*t**2 + 9*t + 4. Let k be f(9). Is 5 less than or equal to k?
False
Let v be 6/(-9)*(-1)/2*-1. Which is smaller: v or 0.5?
v
Let w = 4 + -9. Let j = w + 4.7. Let o = 3 - 4. Which is bigger: o or j?
j
Let b = -56 - -73. Is b greater than or equal to 18?
False
Suppose -8 = 3*x + 4. Let n = 0 - x. Which is smaller: 3 or n?
3
Let l(r) = 3*r - 1. Let n be l(-1). Let w be ((-1)/(-1))/(1/n). Which is greater: w or -5?
w
Let i = 198 + -198. Which is smaller: -2/99 or i?
-2/99
Let l = -35 + 31. Are -5 and l equal?
False
Let n = -21.1 + 23. Is n != 2/3?
True
Let h(c) be the first derivative of -c**3/3 - 3*c**2/2 - c + 1. Let p be h(-2). Let l be -2*3*(-4)/(-60). Which is greater: p or l?
p
Let t = -266 + 1577/6. Are -3 and t non-equal?
True
Suppose -4*l + 5*w - 15 = 0, -2*w = -1 - 5. Which is smaller: 3/16 or l?
l
Suppose 5 = -3*s + 2. Which is smaller: s or 2/11?
s
Let k(z) = -2*z - 1. Let h be k(10). Is -19 less than h?
False
Let r be (-14)/(-66) - (1 - 54/66). Let m be 0/(-3 - (-3)/3). Are r and m nonequal?
True
Suppose -w = -4*a + 1, 2*a - 3*w = 2*w - 13. Is a > 9?
False
Let p = 0.876 - -0.124. Which is smaller: 58 or p?
p
Let x = -0.01 - 0.09. Let h = -0.1 - -0.1. Let z = h + x. Do 1/3 and z have different values?
True
Let v be (-22)/(-77) - (-228)/(-63). Which is greater: -3 or v?
-3
Let w = -0.083 + 0.743. Let q = w + -0.06. Let d = -0.5 + q. Which is greater: 0.3 or d?
0.3
Suppose x = 2 + 5. Suppose 27 - 57 = -6*n. Is n >= x?
False
Let y be 2/2 + (7 - 8). Let n = -0.14 - -2.14. Is y less than n?
True
Let m = 0.0079 - 71.9079. Let p = -68 - m. Let s = 4 - p. Is s greater than 4?
False
Let w = 0.02 - 0.02. Let s = w - -1. Is 1/3 < s?
True
Suppose 15 = -2*c + 7*c. Suppose 3*p - 4 = -u - 0*p, -c*u = 5*p. Let h be 16/(-6) + 4/6. Which is smaller: u or h?
u
Let b(p) = -2*p**2 - p + 1. Let k be b(-2). Let x = k - -7. Suppose 3*c + 2*c = 10. Is c < x?
False
Let v = 1421 - 217414/153. Let q = -103/153 - v. Which is greater: -1/3 or q?
-1/3
Let s(p) = -2*p - 4. Let b be s(-3). Suppose 3 = -3*r - 4*d, 2 = -b*r + 2*d + d. Which is smaller: -5/6 or r?
r
Let w = 540 - 5946/11. Suppose b = 3*o + 6 + 3, -4*b - 4*o = 12. Is w < b?
True
Suppose 5*l + 3*w - 24 = 0, -l - 4*l - 2*w = -21. Suppose 7*f - l*f + 12 = -4*r, r = 2*f + 6. Let c be -2 - (1 + f/1). Is -1/4 < c?
True
Let d be (0 + -1 - -1)/(-1). Suppose 5*l + 7 = -d*l - f, -4*f + 10 = l. Let i be 0*(l + 1 - -2). Is i at most as big as 4/5?
True
Let a(z) = -z**3 + z**2 - z + 1. Let u be a(1). Suppose -k + 3*k = -5*b - 4, u = -2*k + b + 8. Suppose m - 3 = 4*j, -k*j = 5*m - 8*j. Is -1 < m?
False
Suppose 5*n = 2*u - 1, 2*u = u + 3*n. Let o = u + -3. Is o bigger than 3/8?
False
Let f = -2 + 1.9. Let q = 118 - 117.3. Are f and q nonequal?
True
Let u = -683/154 - -48/11. Which is smaller: -2/5 or u?
-2/5
Let z(p) = -4*p - 4. Let b = 4 - 7. Let w be z(b). Let d = 5 - w. Which is smaller: -2 or d?
d
Suppose -o - 2*o = -3*a, 4*o = -4*a - 16. Is a greater than or equal to -2?
True
Suppose 2*m = 4*m. Let v = 2 + m. Is 2 greater than v?
False
Let d = -0.15 + 0.05. Do d and 1 have the same value?
False
Suppose -3 = -4*j + 17. Suppose -j*q - 1 = 29. Which is smaller: -4 or q?
q
Let o be 2/(-3) - 140/(-12). Are 9 and o unequal?
True
Let t be 1*2/4*0. Suppose -2*n = 190 + 390. Let d = n + 3772/13. Are d and t nonequal?
True
Suppose 4*h - 4 + 20 = 0. Is h >= -29/6?
True
Let h = 6 + -10. Let v(n) = -n - 1. Let w be v(h). Is 4 > w?
True
Let m be 4/(-6)*(-1)/3. Suppose 0 = -3*u - 2*s - 37, 3*s + 31 = -4*u + 4*s. Let y be ((-6)/9)/(24/u). Which is smaller: m or y?
m
Let b be -1 + -2 - (-8)/2. Suppose 5*l + 0*l + 7 = -f, -4*l + 6 = -5*f. Let g be (-4 - -1 - -2)*l. Is g bigger than b?
False
Let w = -6 - -6.8. Let u = -4.8 + w. Let h = 2 + u. Is 1 at most h?
False
Suppose 0 = -5*f - 7 - 3. Let j be (-5 - f) + 3*1. Suppose 5 = 3*h + 2. Which is greater: j or h?
h
Let d = 6 + -5. Which is smaller: d or -3?
-3
Let g = -33 + 133/4. Let r = -3.8 + 0.8. Is g at least as big as r?
True
Let b be 1*(2 + 6/1). Suppose 3*j = 2*j - b. Is -7 > j?
True
Let f = -4 + 1. Let t = f - -3.1. Let d = -17 - -16.5. Which is greater: d or t?
t
Suppose -3*y + 4 = 2*d + 10, 20 = 4*d - 2*y. Is d smaller than -3?
False
Let g = 0.19 + -1.19. Which is greater: g or 15?
15
Let z(q) = q**2 + 4*q + 1. Let n be z(-4). Let a be 2/(-1) - 65/n. Let l = a + 401/6. Do -1 and l h