 h < g?
True
Let w = 52496 + -733501/14. Let l = w - 103. Do 1 and l have the same value?
False
Suppose 0 = -2*z - 2*z. Is z >= 1?
False
Suppose -5*v + 7*v + 40 = 0. Is -18 > v?
True
Let h = -34 + 10. Which is bigger: -20 or h?
-20
Let l = 0.02 + -0.32. Which is smaller: -1 or l?
-1
Let p = -0.4 + -12.6. Let z = p + 11. Are -1/3 and z nonequal?
True
Let c = -109/404 + 2/101. Suppose o + 2*z = 7*z + 13, -z - 17 = -5*o. Suppose 0 = r - 2*r - 4, -g + o = -r. Which is greater: c or g?
c
Let p = 11 + -8. Let m = -3.1 + p. Is m >= 0.04?
False
Suppose 3*l - 7*l = -32. Do l and 0 have different values?
True
Let z be (-2)/(-3) - (-20)/(-3). Let c be 2/z - (-21)/36. Which is smaller: c or -1?
-1
Let o = 0.3 + 10.7. Let u = o + -10.9. Is u greater than or equal to -2?
True
Suppose 0*u = -4*u + 20. Suppose 5*c - 36 = -c. Do c and u have the same value?
False
Let i be 3/(-12) - (-69)/(-12). Let q = 8 + i. Suppose q*k = -k. Do 2/7 and k have the same value?
False
Let p = 179/3 - 9842/165. Which is greater: p or 1?
1
Let b be ((-1)/4)/((-45)/(-240)). Is -2 < b?
True
Let l = -13 + 13.1. Is l > 0.3?
False
Let u = 29 + -30. Let f = -14 - -9. Let n = f - u. Is n > -2?
False
Let y = -12 + 9. Let d be 5/10 - (-14)/(-4). Are y and d non-equal?
False
Suppose c - 3*c = 0. Let d be 1*2 + (c - 6). Does -5 = d?
False
Let c be 77/15 - 3 - (-6)/(-45). Are -4 and c equal?
False
Let a be (-1)/(3/(-4)) - 25/20. Let u = 0 + 0. Which is bigger: u or a?
a
Let p = -2.5 - -0.5. Let t = -1 - p. Let r = -0.9 - -1. Which is smaller: r or t?
r
Suppose -10 = 5*a + 3*x - 31, 3 = -a + 3*x. Suppose -o - 4 = -3*p + a*o, -3*p - 2*o = -16. Suppose p + 2 = -3*t. Are t and -2 non-equal?
False
Let m = -198 - -1384/7. Let o(g) = -1. Let w(v) = -v + 7. Let b(x) = 2*o(x) + w(x). Let t be b(5). Which is greater: m or t?
t
Let b = -0.47 + 0.5. Let c = -1.03 + b. Let n = -0.9 - 0.1. Is c greater than n?
False
Suppose -4*r - 3 + 9 = -5*b, 2*r - 4*b - 6 = 0. Is 0.07 equal to r?
False
Let o(k) = k**3 + 21*k**2 + 31*k - 36. Let b be o(-19). Is 97 < b?
False
Let u be 1/(-4) - (-85)/20. Is 4 at least u?
True
Let t = 74 - 38. Let h be t/(-3)*4/8. Which is smaller: h or -4?
h
Let y = 6 - 10. Let c be 2/(-6)*y/(-12). Which is greater: -1 or c?
c
Let r be 2/12 - (-10)/12. Let y be r/(-4)*(2 + -1). Do y and -1 have the same value?
False
Let b(r) = 2*r - 6. Let j be b(4). Suppose 0 = m + 3, -3*d + 5*m = j*d - 25. Suppose -3*z - d = -4*z. Which is bigger: 3/5 or z?
z
Let t be 3/18 + 46/12. Suppose -5*s = -t*r + 21, 2*r + 3*r = -2*s + 18. Let q be (-15)/8 - (-1 + s). Is q less than or equal to -1?
False
Suppose s = -4*s + 50. Are s and 11 equal?
False
Suppose -9 = -2*c + 3*c + 5*w, 33 = 3*c - 5*w. Suppose -h + 3*h = -c. Is h equal to 0?
False
Let o = -1.2 - -0.2. Let g be 6/2 + -2 + 52/(-48). Which is greater: g or o?
g
Suppose -4*c - 20 = -8. Let g = c - -5. Do g and 3 have the same value?
False
Let k = 2014/9 + -224. Let y(a) = -a**2 + 2*a + 2. Let d be y(3). Let r be (0/(-3))/(d - 0). Is r >= k?
True
Let c(r) = r**3 - 2*r**2 + 4*r - 2. Let v be c(1). Which is bigger: -3 or v?
v
Let n = -48 + 48. Which is bigger: 2/37 or n?
2/37
Suppose 0 = 2*u + u - 6. Let t = -1 - -4. Suppose 0 = 2*l + t*l. Which is smaller: u or l?
l
Let l = 0.5 - 0.6. Let y = l - 0.1. Let m = 0.4 + y. Which is smaller: -1 or m?
-1
Let h = -29 + 34. Is 6 greater than or equal to h?
True
Let l(j) be the first derivative of -1/4*j**4 + 5/3*j**3 - 3/2*j**2 + 0*j + 2. Let r be l(4). Do 5 and r have the same value?
False
Let i = -5585/21 - -788/3. Which is greater: -4 or i?
i
Suppose -4*q - 20 = 4*y, -q + y = -3*q - 6. Which is smaller: 2/47 or q?
q
Let m = 4 - 8. Let n = -4.2 - m. Let u = -0.3 - n. Which is smaller: u or -1?
-1
Let x = -23 - -16. Let b(i) = -6*i - 3 + i + 0. Let h be b(1). Which is smaller: h or x?
h
Let d(p) = -p - 4. Let j be d(-3). Let x be -1*(0 + j + 0). Are -2/5 and x equal?
False
Let f(k) = -k. Suppose h + h = 0. Let o be f(h). Suppose o = -5*y - 3*z + 20, -3*y - z = -12 + 4. Are y and -1/3 nonequal?
True
Let y = 245/6192 - -1/144. Which is greater: y or -1?
y
Suppose -20 = -4*v + 8. Suppose -1 = -a - v. Is a less than or equal to -6?
True
Let f be 2 - (-3)/(3/(-1)). Which is bigger: 3 or f?
3
Suppose -140 = -5*y - 75. Which is smaller: 14 or y?
y
Let p be 2 + (-3)/(72/20). Is 1 < p?
True
Let g(n) = -n**2 - 6*n + 8. Let d be g(-7). Let r be (-1 - -8)*-1*d. Let s be -5 + 2/(-1) + 1. Which is smaller: r or s?
r
Let j = -183 + 180.08. Let r = j - 0.08. Are -0.1 and r non-equal?
True
Let r = 4/17 - 3/85. Let m be (1 - (4 + -1)) + 10. Let i be ((-7)/28)/(2/m). Are i and r unequal?
True
Let p(r) = 4*r + 1. Let z be p(-1). Let x = 1 - z. Which is bigger: 0 or x?
x
Let i(x) = -x**2 - x. Let c be i(-3). Let a = -4570/3 - -20771/15. Let m = a - -139. Are m and c nonequal?
True
Let b = 3 - 10. Let a = 7 + b. Which is greater: a or -0.1?
a
Suppose 2*m - 65 = 7*m. Is m >= -14?
True
Let x = -7 - -3. Suppose -8*d + 15 - 55 = 0. Which is smaller: x or d?
d
Let u = -4620 + 18679/4. Let x = u - 48. Is 2 at most as big as x?
False
Let g = -0.2 - 1. Let j = g - -0.8. Let o = j + 0.3. Is o equal to -1/2?
False
Suppose -2*p = 4*o - 2, 0*o + 2*p = -3*o. Suppose 3*l = -4*u - o*l - 5, -2*l - 10 = 0. Suppose -8 - 27 = -u*s - 5*g, 3*g = 9. Which is smaller: s or 3?
3
Let o be ((-8)/(-24))/(3/(-5)). Which is smaller: o or -2?
-2
Let p(a) = 69*a - 1. Let y be p(-1). Let k be (-8)/y*(-10)/4. Do k and 1 have different values?
True
Let u(d) = -d**3 - 5*d**2 - d + 5. Let y be u(-5). Suppose y*k = 5*k - 5. Is -1/4 equal to k?
False
Suppose -48 = -4*y - 3*q, -y - 5*q = -8*q - 12. Which is greater: y or 10?
y
Let r = 0.1 + -1.1. Which is greater: -6 or r?
r
Let w = -9 + 12. Which is greater: 0 or w?
w
Suppose y = 15*y. Let l be 65/(-7) - 4/(-14). Let p be (-4)/l*(-3)/2. Do y and p have different values?
True
Let r = -11/3 - -46/15. Let z(t) = -t**3 + 19*t**2 - 19*t + 17. Let l be z(18). Is l less than or equal to r?
True
Let b = 14 - 9. Suppose b*g - g = 16. Which is greater: g or -1?
g
Let s = -0.011 - -2.011. Which is greater: -3 or s?
s
Let s be 4/(((-12)/(-10))/6). Suppose 0*y - 4*y = s. Is -5 greater than y?
False
Let t be 75/(-20)*(-16)/3. Suppose 5*k - 4*p + 5 = 0, -2*p = -6*p - t. Is k at least -5?
True
Let q(t) = t**3 - 3*t**2 - 4*t - 1. Let d be q(4). Let m be ((-2)/28)/(d/(-4)). Which is greater: m or 1/6?
1/6
Let u = 1973 - 5971/3. Are -17 and u nonequal?
True
Let g = 57 + -42. Is g less than or equal to 1?
False
Let v(m) = 4*m - 2. Let h be v(4). Suppose 2*s = r - 3*s - h, 2*r = -3*s - 11. Let a be 8/(-54)*-15 - 2/1. Is a at most as big as r?
False
Let u = -0.6 - -0.5. Let k(y) = -y - 1. Let x be k(4). Let s = -5 - x. Does u = s?
False
Let t = 257/10 + -51/2. Let o(l) = -l**2 - 2*l. Let z be o(4). Let y be (-1)/5 - z/(-30). Are y and t equal?
False
Suppose 134*c - 10 = 139*c. Which is bigger: -4 or c?
c
Let f = -18.8 - -19. Which is smaller: 2 or f?
f
Let f = 6.8 + 1.2. Let x = f - 5. Which is greater: x or -0.1?
x
Let t(n) = -n + 4. Let f be t(0). Let b(o) be the first derivative of o**4/4 + 2*o**3/3 - 2*o**2 + 2. Let i be b(-3). Is i at least as big as f?
False
Let x = -3 - -8. Suppose -4*h = -x*h. Which is greater: 2 or h?
2
Let x = 0.064 - -3.936. Which is smaller: x or 0.05?
0.05
Let n = -12 + 6. Let o be (-38)/8 + 2/(-8). Which is smaller: o or n?
n
Suppose 2*o = -3*o - 15. Are o and 0 nonequal?
True
Suppose -5*l + 5*p + 5 = 0, -5 - 2 = -2*l - 3*p. Suppose 0 = l*m + 2*k + 14, -k = 4*m - 2*k + 3. Let j = -14 - -9. Is j at most m?
True
Suppose 3*z = 3*l - 15, -l + 20 = -3*l - 4*z. Which is smaller: l or -3/14?
-3/14
Suppose 2*h + 3*i = h - 4, -5*i - 6 = h. Which is smaller: 1/9 or h?
h
Let x = -0.6 - 0.3. Let h = 5 - x. Let c = 6 - h. Which is smaller: c or -3?
-3
Let a = 18 - 25. Let j = -6.95 - a. Is 1/3 greater than j?
True
Suppose -362 = 9*y + 736. Is -122 <= y?
True
Let l = -10 + -15. Let d = l + 14. Let x = d - -8. Is x bigger than -2?
False
Suppose 4*m - 36 = -3*i, -4*m + 36 = 2*i + 3*i. Let h = -9 + m. Is h smaller than 1?
True
Suppose 2*a - 7 = 3*a. Let v be 7 + a - (-12)/22. Which is smaller: 0 or v?
0
Let r = 5 - 6. Let q = 2 + r. Is q <= 1?
True
Let z be ((0 + 0)/2)/(-2). Let p = -13 - -14. Is z not equal to p?
True
Let n =