s smaller: h or z?
z
Let j be (-2 - (1 + -2)) + (-115)/(-7). Are j and 16 non-equal?
True
Suppose 3*t = -0 + 27. Suppose -j - 1 = -n, -5*n + t = j - 8. Let o be (-1)/j*(-3 - -1). Which is smaller: 1/4 or o?
1/4
Let q = 2 - 5.8. Let n = -0.2 + q. Which is smaller: -2 or n?
n
Let f = -16.01 + 16. Let b = -0.06 + f. Is b < 1?
True
Suppose 5*t = -4*b - 78, -97 + 35 = 4*t + 3*b. Is -14 at most as big as t?
True
Suppose 0 = 3*z - 4*z - 24. Let g be (-40)/z - 4/6. Let b = 22/9 + -233/99. Which is greater: b or g?
g
Let n be 3 - (-12 + -4 + 2). Are 17 and n non-equal?
False
Let x(p) = p**3 + 7*p**2 + p - 10. Let g be x(-7). Let z be (-19)/g - (-2 + 3). Is z <= 0.1?
False
Let o = 50 - 50. Do -8/15 and o have the same value?
False
Let f = 20 + 0. Is 20 at least as big as f?
True
Let c = 218 - 215. Which is greater: c or 5?
5
Let h(o) = -o**2 - 3*o - 2. Let w be h(-3). Let g be w/4 + (-1)/(-10). Which is smaller: g or -2?
-2
Let d = 4 - 6. Let t = 22/5 + -86/15. Which is greater: d or t?
t
Suppose 3*g = 7*g + 4. Let j be -1*((-3)/(-15))/(-1). Is j < g?
False
Let v = -51 - -55.1. Let c = 0.4 - -3.6. Let d = v - c. Is 2 at least as big as d?
True
Let b = 111.21 - 111. Which is greater: 1 or b?
1
Let y(m) = -2*m + 2*m - 2*m**2 + m**2. Let c be y(0). Is c equal to -5?
False
Let n = 0.4 - 0.4. Let k = n - -0.2. Let y(b) = -b**3 + 4*b**2 + 1. Let a be y(4). Does a = k?
False
Let h be (-2)/14*6/(-3). Is -1 bigger than h?
False
Suppose z + 2*z = 15, 0 = -2*t + z + 21. Let u = 19 - 5. Is u != t?
True
Let w(m) be the second derivative of -m**4/12 + 5*m**3/6 - 3*m**2 + m. Let r be w(4). Let f be (-10)/6 + 4/(-12). Is r at most as big as f?
True
Suppose 4*n + n = 20. Let d be ((-6)/(-40))/(n/10). Let x(f) = 2*f**2 + 4*f. Let t be x(-2). Which is greater: d or t?
d
Let h be 2/(-10) - 48/4. Is -13 > h?
False
Let x(o) be the first derivative of o**4/4 - 8*o**3/3 + 3*o**2 + 5*o - 5. Let i be x(7). Which is bigger: i or -3/4?
-3/4
Let o = -8672/29 - -299. Is 1 less than o?
False
Let t = -86 + 87. Which is smaller: 2 or t?
t
Let c = -0.014 - -2.714. Let h = c - 3. Which is smaller: 2 or h?
h
Suppose -2*d = -3*c - 4*d, 3*c = 4*d. Suppose c = 4*a - 9*a + 20. Suppose -2*o + 6 = 2*p, -a*p + 3*o + 1 - 3 = 0. Which is bigger: p or 1/11?
p
Let t be (-3 - -2) + (-26)/(-22). Suppose -b - r = 0, -b + 2*r + 0*r - 3 = 0. Which is bigger: b or t?
t
Suppose -18 - 6 = -4*r. Let g be 2/(-3) - (-16)/r. Is g at most 1?
False
Let o = 54942 + -275766/5. Let t = 212 + o. Is 2 <= t?
False
Let k = -2 - -1. Let t = k - -2. Let w = 1 + t. Which is smaller: w or 3?
w
Let l = -17 - -21. Let s = -6 + 7. Which is smaller: s or l?
s
Let u be (19 - -1) + 7/7. Is u <= 21?
True
Let r be 6/21 + 957/7. Let g = -683/5 + r. Suppose -4*l = -2*c - 2*c + 4, -4*c + 5*l + 6 = 0. Is g equal to c?
False
Suppose -2*d = 3*d - 50. Which is smaller: d or 11?
d
Suppose 6 = 3*f - 0*f. Suppose 3*i = -3*b, -5*b - 3*i - 1 + 3 = 0. Suppose -m + 0 + b = 0. Which is smaller: m or f?
m
Let y(x) = -x**2 - 12*x - 15. Let g = -20 + 9. Let c be y(g). Is -5 greater than c?
False
Let d = 2 - 2. Let v(i) = -i**2 - 12*i - 4. Let o be v(-11). Is d smaller than o?
True
Let m be (-2)/(-3) - 40/105. Does -0.042 = m?
False
Let w = -6 + 5.76. Let f = -0.06 + w. Let v = -68.2 - -68. Is v at most f?
False
Let f = -171 + 182. Is f at least 11?
True
Let y(g) = 5*g - 8. Let a be y(-3). Does a = -19?
False
Let p = 21 - 22. Is 1/68 smaller than p?
False
Let q be (-82)/(-344) - (-2)/(-8). Let s be ((-13)/(-91))/((-172)/(-158)). Let m = q - s. Is 1 greater than or equal to m?
True
Let v be (26/(-22) - 18/(-99))*1. Is -5/7 > v?
True
Let s = 2/99 + -8/33. Suppose -4*o + 8 = 2*m, -7 = -4*o - 4*m + 5. Let t be (0 + o)/(2 + -1). Is s bigger than t?
False
Let z be ((-6)/15)/((-8)/10). Let u be 14/(-63) + 2*(-1)/(-9). Do u and z have the same value?
False
Suppose 2*t = -2*u - 10, 0*t - 5*u - 25 = 4*t. Let w = t + 1. Does 3/2 = w?
False
Let r = 96.3 + -92. Let y = r + -4. Let w be ((-2)/(-6))/(0 - -1). Which is smaller: w or y?
y
Let l = 5.2 - -0.8. Is -2/5 != l?
True
Let z(y) = 4*y**2 + 1. Let r be z(-1). Is r bigger than 4?
True
Let g = -12 + 10. Is g less than or equal to -1.4?
True
Let l be (-12)/(-10)*10/4. Let o = -1.37 - -1.67. Is o less than l?
True
Let n be (4/21)/((-2)/3). Let u = -36 + 31. Are u and n unequal?
True
Let n be 0/1 - (-1 + 3). Suppose 2*r - 2*t = -3*r + 38, 0 = -r + 5*t + 3. Let z be (-1)/n*r/14. Which is greater: z or 0?
z
Suppose z - 5 = 3*z + 3*m, m = -3*z - 4. Is 6 >= z?
True
Let i = -9 - -9.8. Let o = i - 0.6. Which is smaller: -2 or o?
-2
Let l = -1.8 - -2. Let g(z) = -z. Let a be g(-5). Suppose 15 = -4*m - 3*k, -a*m - k - 20 = 3*k. Is m greater than or equal to l?
False
Let h be (-192)/308*16/3. Let t = -46/11 - h. Let i = 0 + 0. Is i at most t?
False
Suppose -4*b + 49 = -35. Let w be 2/8 - b/36. Which is smaller: w or -2?
-2
Let k = 4 - 4.1. Let z = 0 - k. Is z greater than or equal to -2?
True
Let k(f) = -2*f + 7. Let w be k(0). Which is smaller: 8 or w?
w
Suppose 4*x = -4*i + 8, -x + 2 = -0*x - 4*i. Let d(v) = v**3 - v + 1. Let q = -18 + 19. Let a be d(q). Do a and x have the same value?
False
Let w be 4/6 - 8/(-6). Let s(d) = -2*d - 14. Let b be s(-8). Is w <= b?
True
Let y = 2 + -2. Let x be ((-13)/(-143))/((-2)/(-4)). Which is smaller: y or x?
y
Let m be (-3 + 39/18)*-6. Suppose 0 = q - 3*b - 1 - 8, 0 = m*q - 5*b - 15. Is q less than -1/15?
False
Let j = -4 - -3.9. Which is greater: -6/13 or j?
j
Let o(u) = 2*u + 5. Let i be o(-5). Let x = -4 - i. Let r be 0*(-1)/(3 - 2). Which is smaller: x or r?
r
Let r be (-69)/(-12) + 9/(-12). Suppose -2*w = -u + 1, u + 0*u = -r*w - 6. Is 1/4 < w?
False
Let z be (-8)/(-3) - (-16)/(-24). Suppose 0 = 2*g + 2*f, -4*g + 18 + 6 = -4*f. Is g greater than z?
True
Let v = -6.8 + 7. Let d = v - 0.3. Let o = -68 + 206/3. Which is smaller: o or d?
d
Let h be 8/(-20)*25/(-10). Suppose 6*m - 10 = m. Suppose -5 = -3*t + 1, 2*t - m = 2*r. Are h and r equal?
True
Let f = 0.9 + 0.1. Let a = -0.2 + 0.2. Let h = 0.2 + a. Which is bigger: f or h?
f
Let f = -20 - -17. Are -1 and f non-equal?
True
Let z = 673/4 - 169. Is 0 at least z?
True
Let q(s) be the first derivative of s**3/3 - s**2/2 - 2*s + 3. Let f be q(2). Are f and 2/9 non-equal?
True
Suppose -2*h - 1 = -p, 5*h + p - 8 = -0. Let k = 1487/9 - 165. Is h at least k?
True
Let l(j) = 12*j**3 + j**2 + 2*j + 1. Let w be l(-2). Is -95 smaller than w?
False
Suppose r + 3 = -2*z - 5, -5*r - 4 = z. Is 1/8 > r?
True
Let s = 36553/14055 + -2/2811. Is 4 at least as big as s?
True
Let p(w) = w**2 - 15*w + 12. Let m be p(14). Which is bigger: -10/9 or m?
-10/9
Let o = -89.1 - -91. Is 0.2 greater than o?
False
Let z(d) = -d**3 + 5*d**2 + 3*d - 6. Let c be z(5). Suppose -4*j - 10 = -9*j, -4*j - 28 = -4*g. Are g and c non-equal?
False
Let o be ((-2)/6)/(2/(-30)). Is o at most as big as 5?
True
Let i = -8654/13 - -666. Which is greater: -1 or i?
i
Suppose -4*a = -20, -4*s + 32 = 3*a + a. Suppose -5*f - 15 = -3*j, -5*f + j - s - 2 = 0. Suppose f = 2*u + 2*u. Which is smaller: u or 4/5?
u
Let a be (20/6)/(4/6). Suppose 2*o + 6*h = 5*h - 4, o + a*h + 2 = 0. Suppose -3*y = -w + 10, -3*y - 2*w = w - 6. Is o >= y?
True
Let f be 1/(-5 + (1 - -3)). Is -3/59 at least as big as f?
True
Suppose 5*i - 2*u - 405 = 0, -49 = -2*i + 3*u + 102. Is i less than or equal to 82?
False
Let g(z) = -2*z**2 - 4*z - 3. Let c be g(-2). Let f be (8/10)/((-8)/20). Let a be 9/f*8/12. Is c at least as big as a?
True
Let b be 3*-1 + -10*(-27)/(-6). Is b bigger than -49?
True
Let x be 1/1 - (2 - 6). Suppose 1 - 6 = x*c. Which is smaller: c or -2?
-2
Suppose 3 = 4*w + 11. Suppose -17 = -4*p + 103. Let d be ((-20)/p)/((-2)/(-9)). Is w at most d?
False
Let u = -28 - -225/8. Let b(v) = -v**3 + v. Let i = -1 - -2. Let g be b(i). Which is bigger: g or u?
u
Let d = -5375/21 - -256. Which is smaller: 1/3 or d?
d
Let m be (11/(-110))/(4/(-10)). Let k = 1.3 - 0.7. Which is bigger: k or m?
k
Let s = 118.04 - 127. Let z = 23 + -32. Let l = z - s. Which is greater: l or -2/9?
l
Let i = -104 - -105. Which is smaller: -1/41 or i?
-1/41
Suppose -3*v - 16 = 4*j, 2*v + 2*v + 12 = 4*j. Let g(k) be the third derivative of -k**4/24 - k**3/2 - 6*k**2. Let c be g(v). Is c less than 1?
False
Let v(r) = r**3 + 2*r**2