v = -4 + 14. Suppose 55 = 5*i + 5*o, -2*i - 2*o = o - 23. Is v < i?
False
Suppose -l + 4*l = 18. Suppose -l = b - 1. Is -3 bigger than b?
True
Let y = 0.12 + 6.88. Let q = -9 - -4. Let o = y + q. Which is smaller: -0.1 or o?
-0.1
Let f be 2 - (-7)/(7/(-3)). Which is bigger: f or -2/19?
-2/19
Suppose 0 = 4*n - 0*n - 4, 4*g - 5*n + 5 = 0. Suppose 5*f - 1 - 20 = d, g = 3*d + 5*f - 17. Is d greater than -2/3?
False
Let u = 3/4 - 13/16. Let w(k) = k - 6. Let r be w(5). Is r smaller than u?
True
Let i = 0.196 + -8.096. Let v = -8 - i. Are 2 and v non-equal?
True
Let f = 67/140 - 2893/4060. Let h = f - 3/58. Is -5/6 at most as big as h?
True
Let k(q) = q**3 - 9*q**2 + 6*q - 10. Let t be k(8). Is -25 bigger than t?
True
Let r = 117 - 114. Suppose 0 = -4*i + 5 + 7. Suppose s + 3 = -4*k, 6*k + r = i*k. Which is smaller: s or -1/4?
-1/4
Let g = -0.2 + -0.3. Let l = -1.065 + 0.025. Let y = l + 0.04. Which is smaller: g or y?
y
Let o(s) = 5*s**2 - 4*s. Let n(h) be the first derivative of -3*h**3 + 7*h**2/2 + 2. Let d(l) = -4*n(l) - 7*o(l). Let c be d(2). Are 0 and c nonequal?
True
Let r(f) = f**2 - 5*f + 3. Let o = -6 + 10. Let u be r(o). Which is smaller: -3 or u?
-3
Suppose -c - 20 = -20. Which is smaller: c or -1/26?
-1/26
Suppose z - 3*x = 3*z - 4, 0 = -3*z - 3*x + 3. Is 1/7 less than or equal to z?
False
Let m = -14 - -12. Which is smaller: m or 0.1?
m
Let v = 0.8 + 0.2. Let h = 296 - 295.9. Is v at most as big as h?
False
Let f be (-8 + 3 - -13) + -4. Which is smaller: f or 1?
1
Suppose -3*l - 6 = -3*a, 0 = 7*a - 3*a + l - 18. Let z(w) = 3*w - 3 + 1 + w - w**2. Let r be z(a). Which is bigger: r or -1/2?
-1/2
Let w(n) = 9*n - 1. Let t be w(3). Which is smaller: t or 79/3?
t
Let m = 138 + -688/5. Which is bigger: -2/7 or m?
m
Let m be 24/(4/6 - 16/18). Is -109 at least as big as m?
False
Let g be ((-52)/6)/((-10)/(-45)*3). Is g less than -11?
True
Let s be ((-2)/4)/((-8 - -2)/6). Do 0 and s have different values?
True
Let t = 0.13 + -0.23. Which is bigger: t or -1/7?
t
Let l = 1387/40 + -174/5. Suppose 3*v - 5*z = 8*v - 10, 3*z - 2 = v. Which is greater: v or l?
v
Suppose 0 = -2*q + 3*q - 1. Let a(f) = f**3 - 3*f**2 + q + f**2 + 0. Let u be a(2). Is -1 at least u?
False
Suppose b - 23 = -2*d, -4*d = -0*b + 4*b - 52. Is d >= 9?
True
Suppose -n - d = -3, -2*n - 2*n + d = 3. Let b be (-2)/(-6) + 2/(-6). Is n equal to b?
True
Let n = -4 - -4. Suppose n = -3*v + 5*d - 8 - 4, 0 = v + 2*d - 7. Which is smaller: v or 4/5?
4/5
Let c = -802/9 + 4210/63. Suppose 2*p - 2*s + 50 = 0, 64 - 10 = -3*p - 4*s. Let g = c - p. Which is smaller: g or 0?
g
Let v be (3 - 4 - 26) + 2. Let g be 15/v*(-30)/189. Are 1 and g unequal?
True
Let c = 82.9 + -82. Are c and -2/7 nonequal?
True
Let i = -143/3 + 48. Is -5/6 bigger than i?
False
Let f = -10/21 - 4/21. Let k = 1.5 - -1.5. Which is bigger: f or k?
k
Suppose 0 = -2*j - 4, 2*l - 5*j + 0*j = 46. Let t be (-28)/(-45) + (-4)/l. Which is smaller: t or 0?
0
Suppose 5*g - 77 = 38. Is 23 equal to g?
True
Suppose 0 = -2*i + i + 23. Is 23 != i?
False
Let k = 18 - 29. Is -10 less than k?
False
Let d(r) = r + 4. Let i be d(-4). Let z be (3/1)/((-3)/(-2)). Let x be (4/(-110))/(z/10). Which is smaller: x or i?
x
Suppose n - 3*n - 4 = 0. Let v be (-1)/((-1)/n) + 3. Let j be (v + 1)*1/6. Which is smaller: 0 or j?
0
Let g = 20 + -15. Let i(c) be the second derivative of -c**4/12 + 5*c**3/6 + c. Let u be i(g). Which is smaller: -2 or u?
-2
Let n(h) = -26*h**3 - 2*h**2 - 3*h - 1. Let j be n(-1). Is j < 25?
False
Let l = 9 - 16. Is l greater than -8?
True
Let w be (-6)/(-1 + -1) + (-13)/5. Let b = 0 + -0.6. Are w and b equal?
False
Let a be (-8 - -6)*(-14)/(-4). Let j = a - -3. Which is bigger: -3 or j?
-3
Let q = 0 - -6. Suppose -f = c - 2, -6 = -q*c + c - f. Is c >= 0.2?
True
Let p(j) = j**2 - 3*j + 1. Let g be p(4). Suppose 3 - 12 = -3*w. Suppose g*r - w*r + 2 = 0. Is 1/3 >= r?
True
Let z = -33 + 57. Is z bigger than 0?
True
Suppose k - 4 = -4*j, 2*j + 2*j + 5*k - 20 = 0. Which is smaller: -3/11 or j?
-3/11
Let c be ((-15)/(-6) - 2) + -1. Let o = 0.2 - 0.3. Let i = o - 0.9. Is i smaller than c?
True
Let h = 10 - 14. Let z be (8/3)/((-5)/15). Let k(j) = j**2 + 7*j - 11. Let d be k(z). Are h and d equal?
False
Let h = -1 - 5. Let z(n) = n**2 + 6*n + 1. Let p be z(h). Is p > 5/4?
False
Let n = 10 - 9. Which is smaller: -1/3 or n?
-1/3
Let z = 31 + -26. Is z < -4?
False
Let d(z) = -z - 7. Let w be d(-7). Suppose 3*g = -w*g. Which is smaller: g or 1/11?
g
Let l = -13 + 12. Let g(h) = 2*h**2 - 1. Let i be g(l). Let s = -1 - -2. Is s != i?
False
Let w = 1.1 + -2.1. Which is smaller: 17 or w?
w
Let m be -3 - (-6 + -4 + 8). Which is smaller: -5/4 or m?
-5/4
Let p = 12 + -11. Which is smaller: 69 or p?
p
Suppose 3*a - 5*a - 4 = -4*z, 4*a - 37 = -z. Let x be a/(-5) - (-16 + 14). Suppose 5*c = -5*j, -3*c + 0*j = -j + 16. Is x at most c?
False
Let o(r) = r - 1. Let w be o(5). Suppose -4*u - 3*b - 2 + w = 0, -2*u - 3*b = -4. Let g = 44 - 177/4. Which is smaller: u or g?
u
Suppose 2*z + 15 = t - 6, t - 3 = 0. Let v be (-3)/(-14)*(7 + z). Which is smaller: v or -1?
-1
Let l(o) = -2*o**3 - 18*o**2 + o + 8. Let c be l(-9). Let p(z) = z + 5. Let j be p(-5). Which is smaller: j or c?
c
Let b(j) = 3*j - 10. Let f be b(3). Let a be 13/28 + 4/14. Which is smaller: a or f?
f
Let h be (45/12)/((-9)/(-24)). Suppose -3*s - x = -14 - 24, 4*x = -2*s + 42. Which is greater: s or h?
s
Let v be -5*2*87/(-30). Which is greater: v or 28?
v
Let h(b) = -b - 6. Let n be h(-5). Is n equal to -9/13?
False
Let o = -21 + 24. Let p = 3 - o. Is 1 greater than p?
True
Suppose 0 = 16*p - 12*p - 108. Is 24 less than p?
True
Let s(d) = d + 4. Let x be s(-5). Let j = 0 + x. Let n be -3*((-25)/27 - j). Is n equal to 1?
False
Let y = 4 + -3. Suppose -3*g = -4*r - 29, -r = 3*g + r + y. Suppose -2*z - z = -6. Which is smaller: z or g?
z
Let z = -10 - -10.6. Let b = -0.7 + z. Which is smaller: b or 2/13?
b
Let w = 146 - 2921/20. Let v = w - -1/4. Which is smaller: 2 or v?
v
Let z be (4/(-22) + 93/(-33))/1. Which is smaller: 0.1 or z?
z
Suppose 4*t - 2*t = -4*v + 10, 0 = -5*t - 4*v + 13. Do t and -2/9 have the same value?
False
Let w be (-6)/21 - (-69)/21. Suppose w = -s + 1. Which is greater: 0 or s?
0
Let p = -4/5 + 46/45. Suppose 2*h - 2 = 4*h. Let r be (-4)/4 - (-1 - h). Is p smaller than r?
False
Let b = 0.2 - 2.7. Let r = b + -0.5. Let d = 3.2 + r. Is 3 equal to d?
False
Suppose -14 = k + k - 3*o, 2*o - 6 = -2*k. Is -2/13 less than or equal to k?
False
Let s(o) = -9*o + 2. Let f be s(2). Let y be (-11)/(-4) + 12/f. Suppose 2*x = -y*x. Which is smaller: 3/8 or x?
x
Let v(a) = a**2 + 4*a + 1. Let w be v(-4). Let j(p) = -p**3 + 5*p**2 + 5*p + 6. Let s be j(6). Which is smaller: w or s?
s
Let g be (1/(-6))/(9/117). Which is bigger: g or -3?
g
Let t = -1.5 + 1.5. Which is bigger: t or 5?
5
Let a be 7 + (-3 - -3) + -2. Let p(n) = n**2 - n - 2. Let z be p(-2). Suppose -a*v + 5*j = -5, -5*v + z*j + 1 = -5. Is 3/4 bigger than v?
False
Suppose 3*q + w = -28, 4*q + 10 + 54 = 4*w. Which is greater: -3 or q?
-3
Let a(o) = o**2 - 9*o + 3. Let w be a(11). Is w at most as big as 29?
True
Let m be (2*(-1)/2)/(-2). Let f = 3 + -2.8. Which is bigger: m or f?
m
Let b = 32 + -86. Let j be b/(-24) + (-2)/8. Suppose -8 = u + f, 2*u + f - j = -14. Which is smaller: -1/2 or u?
u
Suppose 7 = -2*g + 5. Which is bigger: -2 or g?
g
Suppose 1 - 9 = -2*h + 2*p, -h + 2*p + 6 = 0. Let t be h/(0 + 6/15). Suppose -2 - 8 = -t*g. Is 2 less than or equal to g?
True
Let u(r) = r**2 - r. Let d be u(0). Suppose -b + d = -2. Let y = -1 + b. Is 1 greater than or equal to y?
True
Let t = 168 + -1160/7. Which is smaller: 2 or t?
2
Let s = -2 + 1. Which is smaller: -0.22 or s?
s
Suppose -3 = -g - 2*g. Suppose w + w - 4 = 0. Suppose 8 = -w*o + 6*o. Is o less than g?
False
Let f = -11 - -15. Suppose -4*x = -4*s - f, 5*x + 3 - 28 = -5*s. Is x != 3?
False
Let n be 3/2*40/12. Suppose 14 + 1 = -n*b. Is b > -3?
False
Let d(t) = t - 4. Let a(q) = -q + 4. Let f(w) = 3*a(w) + 2*d(w). Let x be f(3). Is x at least as big as 3/8?
True
Let x be (0/(-1))/((-2)/1). Is x bigger than -3/49?
True
Let m(h) = -h**3 - 7*h**2 - 3*h - 18. Let q be m(-7). Suppose 3 = -v - 2*j, 6 + 0 = 5*v + 3*j. Let a = -1 + v. Which is smaller: a or q?
a
Let j(o) = o**