 -5*h - 19. Let a be (h + (-3)/(-1))*1. Is a at least 0?
True
Suppose -3*f + 2*f + 1 = 0. Let v be ((-8)/4)/(f/2). Which is bigger: v or -5?
v
Let x = 20 + -22. Is x less than or equal to -20/19?
True
Let x(d) = -2*d - 6. Let r be x(-3). Suppose 0 = b - r*b - 2. Is 9 greater than b?
True
Let v = 13 - 16. Which is smaller: -5 or v?
-5
Let o be (-2)/(-5) + (-72)/105. Let c = 123.94 - 124. Which is smaller: c or o?
o
Let t = -23 - -32. Suppose 0 = i + 2*i - t. Suppose i = 5*s - 2. Is 1 > s?
False
Let s(o) = o**2 - 19*o + 16. Let b be s(20). Is b at least -1?
True
Let g be (-5)/(-26)*(-70)/21. Let b = 82 - 1070/13. Let w = b - g. Which is bigger: w or 0.1?
w
Suppose 0 = -z - d - 2, -z + 5*d = 3*z - 37. Let x = 46 - 28. Let i = x + -17.9. Is i less than or equal to z?
True
Suppose 0*m = 4*m - 8. Let o be 12/(-42) - m/(-7). Is o at least -2/7?
True
Let m = -33 - -33.26. Let j = m + 0.04. Let d = 0.2 - j. Are d and 0.2 equal?
False
Let b = -1134 + 5639/5. Which is smaller: -6 or b?
b
Let k be ((7/80)/(-7))/((-12)/30). Is k >= -1/2?
True
Let r = -41/5 - -8. Let m(a) = 9*a**3 - 2*a**2 + 2*a - 1. Let i be m(1). Suppose 4*j - u = 1 - 4, -4*u = 4*j + i. Is j less than or equal to r?
True
Let v = 64 - 67. Is -9 greater than or equal to v?
False
Let z(m) = m + 5. Let v be z(7). Suppose -v = o + 2*o. Let s be -1 + (-6)/o - 0. Which is greater: 2 or s?
2
Let a = 2.3 + -1.3. Which is greater: 4 or a?
4
Let h be 9/3 - (-2 - -4). Which is greater: h or 0?
h
Let y(t) = -t + 2. Let l be y(1). Let o be (l + 0)*(2 - 1). Which is smaller: o or 6/7?
6/7
Let b be 45/20 + (-2)/8. Let o be b/(-2) - (-10)/9. Which is smaller: -1 or o?
-1
Let v(a) = a - 7. Let x be v(7). Let q be -3 - (x + (-4)/2). Let y = -2/297 + 620/3861. Which is smaller: q or y?
q
Let f = 53.69 + -53. Let v = -0.01 - f. Is -1/4 not equal to v?
True
Suppose -t + 2 = -x, 5*x - 13 = -5*t + 17. Let o = -14/9 - -37/18. Which is bigger: x or o?
x
Let t be 27/(-3) - -1 - -2. Let r = t + 6. Is -2 greater than r?
False
Let u be (-1)/(-5)*485/3. Let b = -33 + u. Is b less than 0.03?
True
Let x(f) = -f**2 + 27*f - 16. Let d be x(27). Which is bigger: -11 or d?
-11
Let v = -95/6 + 857/54. Is v != 1?
True
Let c = -0.84 - 0.06. Let h = 0.84 + c. Is 0.1 > h?
True
Let v be 28*5/4*2/5. Suppose -4*z = -61 + 9. Are z and v nonequal?
True
Let z = -49/5 + 451/45. Let j = -5/9 + z. Suppose -4*o = -2*k + 4, -5*o + 0*k - 2*k = 5. Is o > j?
False
Let h = -43 - -29. Let c be 111/315 - h/(-35). Is 1 less than c?
False
Suppose k + 5*u = 3*k - 15, -4*u - 12 = 0. Let y be 1*3 - (k - -1). Let x be 2/4*-3*y. Which is smaller: -4 or x?
-4
Let b = -79/4 + 21. Let v be 1*(-1 + 0 - -3). Which is smaller: b or v?
b
Let q(d) be the first derivative of 2*d**3/3 - d**2 + 2. Let r be q(2). Let m(z) = -z**3 + 8*z**2 - 6*z - 2. Let b be m(7). Is b greater than or equal to r?
True
Suppose 0 = 2*t + 9 - 3. Is t > -1?
False
Let u be (-54)/(-7) + (-4)/(-14). Let x = 8 - u. Let o be ((-6)/(-14))/((-3)/(-2)). Which is smaller: o or x?
x
Let a = 1/20 - -1/5. Let i(h) = -7*h - 3. Let w(x) = 6*x + 3. Let d(y) = 4*i(y) + 5*w(y). Let j be d(-2). Does j = a?
False
Suppose -5*b + 5*i = 0, 0*b + 32 = 3*b + 5*i. Which is smaller: b or 5?
b
Suppose -9 = 3*r - 2*u + 4, 0 = -4*r + 4*u - 24. Which is smaller: 0 or r?
r
Let n be (-3)/4 + (-133)/(-28). Is 3 > n?
False
Let x = -4 + -32. Let y be (-2)/12 - 6/x. Which is greater: y or 1/3?
1/3
Let v be 2/(-4)*(0 - 2). Let q = 4.71 - -0.49. Let i = -5 + q. Are v and i non-equal?
True
Let a = -5 - -5. Let r = a - -0.1. Let u = -1.97 + -0.03. Which is smaller: r or u?
u
Let a be (2/(-1) - -9) + -1. Suppose 5*n = i - 37, n - a = -2*i - 20. Let f be 2/n + 5/4. Which is bigger: -2/11 or f?
f
Suppose 3*x + 0*x = 0. Let v be (1 - x) + (1 - 2). Let d = 6 - 6. Is d != v?
False
Suppose 0 = v + v + 8. Let d(c) be the first derivative of c**3/3 + 5*c**2/2 + 6*c + 4. Let f be d(v). Which is bigger: 1 or f?
f
Let q be 1 - 2*(-5)/2. Suppose 4*l = q*l - 3*x, 0 = l + x - 5. Is 4 smaller than l?
False
Let c be (-40)/220 + (-2)/(-11). Suppose -3*j - 9 = -2*x + 5, -3*j = 5*x + 7. Which is bigger: x or c?
x
Let v = -67486/165 - -409. Which is greater: v or -1?
v
Let r(f) be the first derivative of -f + 3. Let b(v) = -v - 3. Let w(k) = b(k) + 2*r(k). Let h be w(-4). Which is greater: 0 or h?
0
Let m = -169/3 - -1249/21. Let n be (26/(-21))/(1/(-2)). Let h = m - n. Which is bigger: 2 or h?
2
Suppose 0 = 3*m - 0*m - 9. Is 11 greater than or equal to m?
True
Suppose -5*d + 2*d = 0. Let q be (12/112)/((-2)/7). Which is greater: d or q?
d
Let b be 12/3 + -7 + 7. Suppose -2*u + 14 = r + 2*u, 0 = -b*r - 4*u + 8. Which is smaller: r or 0?
r
Suppose 0*m = 3*m. Is -1/31 > m?
False
Suppose -40*w = -36*w. Let r = -87/4 + 969/44. Are r and w equal?
False
Let m = -1 + 3. Let x be (3/(-5) - m) + 2. Is x smaller than -1?
False
Suppose 3*i - 15 = -6. Let x = 5 - i. Let v = x - 2. Are -2/13 and v equal?
False
Let y be (-2)/(-3) + 53438/(-9282). Let j = y + 63/17. Is j at most as big as -1?
True
Let u = 29 + 15. Do u and 44 have different values?
False
Let x = -2.4 + 5.4. Is 2 > x?
False
Let f = -80 - -245/3. Which is smaller: 1 or f?
1
Suppose 0 = -4*k + 74 + 10. Is k greater than 21?
False
Let b be (11 + -13)/(1 + -3). Which is smaller: -2/149 or b?
-2/149
Let w = 27/19 + -469/76. Is -4 < w?
False
Let q = 0 + 0.5. Let w = 0.36 + -0.26. Is w at least q?
False
Let h(y) = y - 12. Let c be h(12). Which is smaller: c or -2/3?
-2/3
Suppose -3*g + 11 - 41 = 0. Let q be g/3 - (-2)/(-3). Let s be (-1)/2 + (-18)/q. Which is greater: 5 or s?
5
Suppose 4*g - 1 = 5*g. Which is smaller: g or 0?
g
Let i = -33 - -32. Is i greater than or equal to -1?
True
Suppose 2*l = 4*c - 10, 0 = -2*l + c - 2*c. Is l > 0.13?
False
Let j = 33/4 - 8. Let k = 0.1 - 0.1. Let t = -0.2 + k. Is t at most as big as j?
True
Suppose 0 = -6*f + 10*f - 4. Let r be 2 + (6 - (2 + 1)). Which is smaller: r or f?
f
Suppose -3*i - 2*i = 0. Let u(c) be the second derivative of -c**4/12 + 5*c**3/6 + 5*c**2/2 - 2*c. Let q be u(6). Do i and q have the same value?
False
Let y(n) = -n**3 - 4*n**2 - 4*n - 3. Let o be y(-3). Is 0 greater than o?
False
Let f = -5 - -3. Let z = 4 + f. Let q be 1 + z + 6/(-2). Is q less than 0?
False
Suppose -2 = b + z, 0*z - 5*z - 20 = 0. Let p be b/10 + 632/(-10). Let x be (-14)/91 - p/(-13). Is -4 less than x?
False
Let n be ((-4)/190)/(1*7/70). Is n less than or equal to 1?
True
Let h be 4 + 16/(-20) - 4. Suppose 13 = 3*j - 5. Let t(q) = q - 7. Let f be t(j). Do h and f have the same value?
False
Suppose 4*o - 24 = -f, -3 - 6 = -o - f. Suppose -o*y - 4 - 1 = 0. Is y smaller than 0?
True
Let g(u) = -u**2 - 10*u + 2. Let l be g(-10). Suppose -5*z = 2*i - 8, 6*i = -2*z + l*i. Suppose z*s = -0*s. Which is greater: -1 or s?
s
Suppose 3*s + 71 - 14 = -3*m, 3*s - 2*m + 57 = 0. Is -19 equal to s?
True
Suppose 5*r - 25 = 0, r - 2 - 7 = -4*s. Let a be 4/8*(s - 3). Let p = 0.1 - 0.5. Which is greater: p or a?
p
Let p = -36.9 - -37. Which is smaller: 6 or p?
p
Suppose 3 = 2*w - 85. Do 43 and w have different values?
True
Let t = -56 - -8. Let w be -2 + 8/(-156)*t. Is w bigger than 0?
True
Let l be (15/(-10))/(1/4). Does l = 0.1?
False
Let y(f) = f**2 + 6*f - 5. Let k be y(-7). Suppose -1 = -k*m - 5. Let v be (2 - (0 - m))/2. Does -1 = v?
False
Suppose 2*w + 10 = -3*x, w + 0*w + 5*x = -12. Let q = w + 3. Let c = -13 - -13. Which is bigger: c or q?
q
Let z be ((-1)/2)/((-14)/(-4)). Suppose -2*g - 3*g = 5. Which is smaller: z or g?
g
Suppose 16 = 4*p + 5*h, -2*p = 2*h - 5 - 1. Let y be 1 + (0/1)/(-2). Let c be 2/(2/(y + -5)). Which is greater: p or c?
p
Suppose s + 2*h - 5 = 0, 0 = 4*s + 3*h + 2*h - 8. Let z(b) = 19*b + 2. Let q be z(s). Let m = q + 274/5. Which is smaller: m or 1?
m
Let y(x) = x + 4. Let n be y(-6). Let h be n/(-1 + 3 + 0). Let k be (4 - 9) + h/(-1). Which is smaller: -3 or k?
k
Let z = -1.08 - -1. Let o = 0.26 + 1.74. Does o = z?
False
Let z be -1*2/(-12) + 1/(-6). Which is smaller: z or 3/37?
z
Let k = 37 - 15. Suppose -3*r + 2*c + 34 = -3*c, -2*r + k = -3*c. Is 7 at most r?
True
Let i be (-2)/(-1) - (-35)/(-3). Let m = i - -79/6. Which is smaller: m or 3?
3
Let g(q) = -8*q**2. Let y be g(-1). Let u be y/(-6)*9/6. Let p be (-30)/(-12) + (-1)/u. Is 3 not equal to p?
T