is smaller: -26 or o?
-26
Let b = -97 + 36. Let l = 61.46 + b. Is l less than 1/4?
False
Let s = 106 + -106. Suppose 4*l - 4 = -s. Is l at least 13/10?
False
Let g = 1421 + -1398. Which is bigger: g or 24?
24
Let c = 6.44 + 2.46. Which is greater: 0 or c?
c
Suppose -5*q = -3*q. Let p be 70/(12 - 7)*15/(-1). Let w = p + 629/3. Which is bigger: q or w?
q
Let v(t) = 4*t + 6. Let q be v(-4). Let f = 36 - 31. Suppose -4*x - 2*s - 16 = 3*s, f*x + s = -41. Are q and x non-equal?
True
Let f = -30 + 37. Suppose 16 = -f*m - 54. Is -2 >= m?
True
Let s be -4*4/(-8) - -2. Suppose 9*w = 6*w + 30. Suppose -s*u + w = u. Is 3 less than u?
False
Suppose 9*f - 4*f + 15 = 0. Let x be f/3 + (-3)/(-1). Suppose 7*z + 5*j + 18 = 4*z, -x*z + 10 = -4*j. Which is bigger: -2 or z?
z
Let q = -0.0123 + -0.0877. Which is greater: q or -1.3?
q
Let a be (-35)/(-21) + 2/(-3). Which is greater: -136 or a?
a
Let q be 1414/(-12) - (-1)/(-6). Let i be 2/39*(-164)/q. Let f = i - -1/177. Is -1 greater than f?
False
Let i be ((-14)/(-25))/(-7)*11. Is i > -2?
True
Let v = 1935 + -3047. Let p = -219062/197 - v. Is 0 greater than or equal to p?
False
Let w = -52 + 50.5. Let f = -1.1 + w. Which is smaller: f or 0.1?
f
Let j = -11.655 - -11.255. Let s = -206/5 + 41. Which is smaller: j or s?
j
Let t(z) = z**3 - 2*z**2 - 3*z - 3. Let d be t(-2). Suppose -10*x = -15*x - 65. Is d equal to x?
True
Let u = 29 - 26. Suppose 3*b + 62 = 4*r, -92 = 5*b - 4*r + u*r. Which is smaller: b or -35/2?
b
Let a be (-4)/(-3*2/(-6)). Let y be -1 - -1 - (29 - 25). Let s be 19/(-4) - (a - y). Which is bigger: s or -4?
-4
Let n = 1.3 + -5. Let p = n + 1.7. Do -0.2 and p have different values?
True
Let o = -164.6 - -166.6. Which is smaller: o or 20/3?
o
Let p(b) = 3*b - 2. Let a be p(-5). Let j = a - -11. Which is smaller: -5 or j?
j
Let a(d) = d**3 + 2*d**2 - 4*d - 6. Let c be a(-3). Let z(y) = y**3 + 6*y**2 + 7*y - 1. Let n be z(c). Which is smaller: 6 or n?
n
Suppose -14 - 2 = -5*k + 4*z, 0 = 5*k + 4*z + 16. Are -4/73 and k nonequal?
True
Let a(i) = i**3 + 9*i**2 - i - 5. Let x be a(-9). Let n be 5/x + (-3)/(-6). Let p(w) = w**2 - 4*w + 5. Let f be p(3). Is f bigger than n?
True
Let n = -303 - -300. Which is smaller: -59 or n?
-59
Let q = -20 + -2. Let y be ((-1)/q)/((-2)/(-96)). Is 3 less than or equal to y?
False
Let x = -23.8525 - 0.0475. Let m = x + 23. Let v = m + 0.8. Which is greater: -3 or v?
v
Let n(i) = i**2 + 13*i + 6. Let o be ((-24)/(-10))/(8/(-40)). Let s be n(o). Let a(j) = 2*j + 2. Let z be a(-4). Is z bigger than s?
False
Let t(a) = -11*a + 19*a - 12*a + 36. Let x be t(5). Is 17 != x?
True
Let z = -968 + 998. Is z greater than or equal to -1?
True
Suppose -12 = -3*c + 4*w, 0 = c - 4*c + 5*w + 9. Let v be 1/(-4) + 385/20. Suppose -o + v = -4*a + 54, 3*a = -3*o + 15. Does a = c?
True
Let p = -0.4 + 0.3. Let n = 0.315 + -0.015. Let m = p + n. Is m at most as big as -6?
False
Let t = 7.3 + -1.7. Let i = -5.94 + t. Is -0.2 less than i?
False
Suppose 5*m - 225 - 455 = 0. Suppose -29 - m = 5*h. Let z be (-4)/((-84)/h) - -2. Are 0 and z equal?
False
Let a = 3236 - 29072/9. Let v = a + -56/9. Let d(z) = z**3 + 8*z**2 + 9*z - 17. Let m be d(-6). Which is greater: m or v?
m
Let m(f) = -f + 1. Let d be m(-1). Let a be 12/((-4)/(-1 - 3)). Let k be (a/4)/(-27)*-6. Which is greater: d or k?
d
Let o(b) be the first derivative of 2 + 1/2*b**2 + 16*b. Let m be o(-17). Is m smaller than -4/7?
True
Let i = 12.3 + 4.1. Let b = i + -1.4. Which is greater: -1 or b?
b
Let t = -407985/197 + 2071. Let k be -6*((-21309)/(-19503) - 1). Let l = k + t. Is -1 greater than or equal to l?
False
Let a(b) = -b**3 + 40*b**2 - 231*b + 1. Let u be a(7). Does u = -12/211?
False
Let s be -2 + -1*(1 - 2). Let v = 2 + s. Let z = -2666/11339 - 2/11339. Is v > z?
True
Let n be (-12)/(-22) + (-48836)/638. Which is smaller: n or -77?
-77
Let j = 43 + -31. Let c = -5 + j. Let a = 0.0158 + -0.0158. Which is bigger: a or c?
c
Let t be 1 - 2 - 20/(-5). Suppose -4*x - 174 = -5*v, -t*x - 60 + 262 = 5*v. Let m be v/(-72) - 12/(-16). Is m equal to -0.2?
False
Suppose b - 2671 = 5*f, 2*b + 1593 = -3*f + 5*b. Is f greater than or equal to 1/3?
False
Let x = 3 - 3.1. Let d = 0.3 + x. Let c = -199/20 + 223/20. Is d < c?
True
Suppose -16*x + 4 = 324. Are 15 and x non-equal?
True
Let c be (1 + -2)*(-23 - -42). Does c = -13?
False
Let g = -13/138 - -1553/10626. Let u = g + 118/693. Let s = 17 - 17. Do u and s have the same value?
False
Let j(n) = 5*n. Let g be j(1). Let x = -22 - -26. Let a = x - g. Which is smaller: -3 or a?
-3
Let i = -78.8984 + -0.1016. Are 1/3 and i unequal?
True
Suppose -753 = -5*f + 2*o, 0*o + 435 = 3*f + 3*o. Is f smaller than 151?
True
Let v(k) = 2*k**2 + 38*k + 93. Let s be v(-16). Suppose -y + 5*y = 16, -2*y = -n - 10. Is s at least n?
False
Suppose -3*v + 2*y + 1 = 0, 0*v = -4*v - y + 5. Let q be 1/((-4)/(-78 + 2)). Let c = 22 - q. Which is greater: c or v?
c
Let l(i) = i**2 - 18*i - 13. Let x be l(19). Let c be x/10*115/184. Which is bigger: 1 or c?
1
Let j = -0.179 - 13.821. Do -2 and j have different values?
True
Let r = -0.0747 + -28.9253. Is r <= 6/5?
True
Let p = 32 + -53. Let h = p + 20. Is h greater than -0.5?
False
Let c = -10 + 29. Let h = 21.5 - c. Let d = h - 2.44. Which is smaller: 2/13 or d?
d
Suppose -3*c + 2*i - 616 = 0, 4*c + 4*i - 6*i = -822. Which is bigger: c or -204?
-204
Let w = -172 + 171. Which is smaller: -174 or w?
-174
Suppose -5*w + v = -113, -27*w - 4*v + 54 = -24*w. Suppose 7*u - 185 = -24. Which is greater: w or u?
u
Let u = -5.5 - -6. Let y = -7.5 - u. Which is smaller: y or -2?
y
Let a = -0.0564 - -2.0564. Is a smaller than 76/5?
True
Suppose -96 = 25*t - 21. Is -77/24 less than t?
True
Let w be (-8)/14 - -4*6/42. Do w and 14 have the same value?
False
Suppose -5*n - 5*z + 101 = -134, -2*n + 3*z + 79 = 0. Suppose 139 = 9*w - 248. Which is smaller: n or w?
w
Let q(h) = -6*h - 2. Let m be q(-1). Suppose -2*s - 48 = -m*w, -2*w - 3*s + 19 + 5 = 0. Suppose -3*p + p + 3*n + 20 = 0, 5*p - 50 = -5*n. Is w at least p?
True
Let n be (-36)/(-6) - (2 - -1). Suppose -5 = 2*x + n. Let u be 1/x + 9/(-12). Is u at most as big as -2/19?
True
Let r = -0.1043 - -0.2043. Let k be 18/(-4)*(3 - 1). Is r >= k?
True
Suppose 0 = -2*d + 88 - 94. Let i be ((d*2)/2)/(7 - -10). Let k be (0 - (-1 - -2))*0. Do k and i have the same value?
False
Let q(a) = -152*a**2 + 4*a - 3. Let w be q(1). Is w at least -153?
True
Let y(b) = b**2 - 9*b + 12. Let d be y(8). Suppose -d*q - 3*h + 51 = 0, -2*h - h = -3*q + 12. Let s = q - 13. Which is smaller: -5 or s?
-5
Let a(v) = -24*v - 256. Let n be a(-10). Which is greater: -61/4 or n?
-61/4
Let j = -9 - -8. Let b = 5.2 + j. Let y = -4 + b. Which is smaller: y or -1/8?
-1/8
Let l be (3 + ((-292)/(-8))/1)*-2. Is l at most -84?
False
Let c(b) = -b**2 + 12*b - 21. Let l be c(5). Suppose 11*o = l*o + 12. Which is greater: -3 or o?
-3
Let x = 168 - 373. Is -205 bigger than x?
False
Suppose -4*j - 10 = 2*f, -2*j - 4*f = -3*j + 20. Let a be (j - (0 + -11)) + -1. Suppose 3*n + 2*t = -0*t + 35, -4*n = 2*t - 44. Which is greater: a or n?
a
Suppose 0 = 5*j - 4*j - 10. Let u be 2/4 + 15/j. Let k = 7 - u. Is k not equal to 6?
True
Suppose -8*s - h = -4*s + 9, -4*h = -2*s. Let d be (-4)/12 + (-16)/(-3). Let p be 1/(d/40*-1). Which is smaller: p or s?
p
Suppose -6*k + 39 - 69 = 0. Which is greater: -9 or k?
k
Suppose -122*c - 42 = -164. Suppose 0 = 3*n - n + 10, -5*y - n + 5 = 0. Which is smaller: y or c?
c
Let p be -1 - 0 - (-2 + 2 + 0). Let f = -1824892 - -3345025642/1833. Let a = -28/39 - f. Is a > p?
True
Let n = 2615 - 2799. Which is smaller: n or -2?
n
Let x = 5224/4653 - 6/517. Suppose -4*j - b - 29 = -10, 2*j = -b - 7. Let p be 2/3*(-9)/j. Which is smaller: p or x?
p
Let r(c) = 5*c - 141. Let p be r(28). Which is bigger: 33 or p?
33
Suppose -5 = 2*o - 37. Let a = 17 - o. Let c be a/7*6/3. Which is smaller: c or -5?
-5
Suppose 3*j - 9 = 3*y, -2*j + 0*j - 6 = 4*y. Let c(x) = x**2 + 11*x + 12. Let p be c(-10). Suppose p*m - u = -3 + j, 0 = 3*u. Which is smaller: -2/7 or m?
m
Let j = -1940 + 1939.5. Which is smaller: j or -74?
-74
Let f(b) = 8*b**3 - b**2 + 1. Let y be f(-1). Let k be (-4)/y*(2 + -2). Suppose 3*o + 3*n - 6 = k, 2*n + 0*n - 6 = -o. Which is bigger: 16 or o?
16
Let p = 169 + -1