 -96. Let h = -58 + q. Which is smaller: u or h?
h
Let g(j) = 6*j + 19. Let x be g(-7). Let m = 58 - 25. Let d = x + m. Is d less than or equal to 9?
False
Let r = 11191/4 + -2815. Let u = 12 + 5. Let q = u + r. Which is smaller: q or -8?
-8
Let m(a) = -a**2 - 5*a + 15. Suppose 4*t + 29 = 3*w, -4*w = 5*t + 1 + 12. Let s be m(t). Are s and 14 non-equal?
True
Suppose -8 = -4*l, -3*z - z + 18 = 3*l. Let t be 69/63 + z + -4. Suppose 3*i - 5*x + 15 = 0, 8*i - 3*x + 9 = 3*i. Which is bigger: t or i?
t
Let j = -36.04 + 32. Let d = j + 4. Let z = 59 - 59.2. Which is greater: d or z?
d
Let h be (-1 + 0 + 53)*1. Suppose 7 = 8*r - 33. Suppose r*y = y + h. Is 12 less than or equal to y?
True
Suppose -7*y + 327 = 4*t - 2*y, -4*y - 170 = -2*t. Let j be (t/(-35) + (-18)/42)*5. Is -14 smaller than j?
False
Let r = -379 - -357. Which is smaller: r or -252/11?
-252/11
Let u be (-5 - 295/(-70))*-2. Which is bigger: u or 1?
u
Let w = 1.8 + 12.2. Let l = w + -28. Let y = l + 3. Is y < -0.1?
True
Suppose 7*i + 217 = -0*i. Is -33 at most i?
True
Let n(s) = s**2 - s + 6. Let i = 11 - 14. Let z be n(i). Is z equal to 17?
False
Suppose 4*r + 2*i + 72 = 0, 5*i = -r + i - 32. Let z be (-94)/(-16) + 0 - (-12 - r). Is -2/3 < z?
True
Suppose -10*m - 2128 = 1702. Which is bigger: -382 or m?
-382
Let q be 18/42 - 2/14. Is q less than -4.05?
False
Let n = -214 - -227. Which is smaller: n or 71/5?
n
Let a = -186 - -92. Is -95 bigger than a?
False
Suppose 107*z = 116*z + 9. Which is bigger: z or -1/57?
-1/57
Let n = -73425/262514 - -67/238. Which is bigger: n or 1?
1
Let p(g) = 3*g - 18. Let j be p(5). Is j greater than 8?
False
Suppose 4*i - 7 + 25 = 3*h, 0 = 2*h - 4*i - 16. Suppose -2*d + 3 = x - h, -d + 13 = 4*x. Let p be ((-3)/(-24))/(-2 + 3). Which is bigger: p or d?
d
Let z = 1833 - 1814. Is -11 at least as big as z?
False
Suppose 50 + 49 = -3*t. Let o be (-4)/22 + (-6)/t. Is -7/8 >= o?
False
Let m = -31.6 - -31.5. Which is smaller: m or -104?
-104
Suppose -4*t + 136 = -22*c + 23*c, 2*c + 2*t - 266 = 0. Is 129 != c?
True
Let u(j) = 4*j - 31. Let t be u(9). Suppose t*f + l + 0*l + 206 = 0, f + 3*l = -44. Is f smaller than -41?
False
Suppose -3*m = 5*h - 232, 0 = -7*h + 3*h + m + 189. Let s = 62 - 14. Is h < s?
True
Suppose 12*x - 26*x = 0. Which is smaller: x or -13/21?
-13/21
Let v(m) = -4*m - 4. Let o be v(-4). Let q = o - 14. Which is greater: 4/3 or q?
4/3
Let n = -0.77 + 0.3. Let d = 0.57 + n. Which is smaller: -18/7 or d?
-18/7
Let j(z) = z**2 + 136*z + 654. Let u be j(-5). Which is smaller: u or -52/55?
u
Suppose 3*j + 2*j + 3*p - 5 = 0, -5*p = -2*j + 33. Suppose 26 - 6 = -j*q, -5*x = q + 115. Which is bigger: -21 or x?
-21
Let q = 4 + -9. Let z be (7 + -3)*2/4. Let y be ((-4)/(-20))/(z/5). Is y < q?
False
Let h = -10.78 - -10.88. Which is bigger: 1451 or h?
1451
Let x be 1/(-12) + -1 + 1. Suppose 2*o - 5*b = 0, 3*o - 13*b = -11*b. Is x less than o?
True
Suppose -3 = 2*w - 1. Let a = -349368/161 + 2170. Are a and w unequal?
True
Suppose -10052 = 5*d + 2*n, -3*d - 3*n - 1051 = 4973. Are -2013 and d equal?
False
Let m = 3 - -3.5. Let y = 1.5 - m. Let b = 5.2 + y. Is b > -9?
True
Let r = -110.3 - -150.3. Is r at most 1/4?
False
Let p be (-2)/9 + ((-6925)/(-45))/(-5). Which is greater: p or -33?
p
Let q = 47.056 - 0.056. Let d = q + -59. Which is smaller: -0.1 or d?
d
Let d = 975548/55 - 17738. Which is smaller: 0 or d?
d
Let u = 9 + -9. Suppose -t + 2*t = u. Suppose -6 = -t*c - 6*c. Which is smaller: c or -1/4?
-1/4
Let g = 19.2 + -105.2. Let f = g - -95. Which is smaller: -2/7 or f?
-2/7
Let x = 185/896 + 1/128. Which is smaller: x or -1?
-1
Let z(f) = f. Let r be z(-14). Let c = 1984 + -9988/5. Is c < r?
False
Suppose 4*c - c = -a - 15, -10 = 2*c + 5*a. Let w = -255 - -255. Are w and c unequal?
True
Suppose 2*t + 13*a - 114 = 12*a, 2*a = -8. Which is bigger: 35 or t?
t
Let w = -99598486070999/46176 - -2156931871. Let g = w + 1/1443. Which is bigger: g or 0?
g
Let d be 1*((-144)/(-40) + (-4)/(-10)). Let u be (-4)/d*(1 + 0). Is u less than -3/62?
True
Let a be (-302)/(-368) - ((-15)/8)/(-15). Is 0 at least a?
False
Let o be 1/3 + (-1960)/6048. Which is greater: 1 or o?
1
Let g = -62 - -95. Let x = -19 + g. Suppose 4*a - 1 - x = -3*i, 4*a - 4*i = 8. Which is bigger: a or 0?
a
Suppose -62*k - 8 = -54*k. Which is greater: k or 6/139?
6/139
Suppose 3*o + 4*f = -14, 1 = -4*o + 4*f + 29. Let r be 8/o*(-155)/(-20). Suppose 4*q - r = 13. Is q greater than or equal to 11?
True
Let x = 1 - -2. Let q be -15 + 8/(-4) + 3. Let a be (-8)/28 - 32/q. Which is smaller: x or a?
a
Suppose 5*d - 15 = 0, -2*o + 0*d - 3*d = -17. Suppose -3 - 12 = 3*l + o*h, l + 5 = 2*h. Are l and 1 non-equal?
True
Let v = -7.029 - -0.029. Let o = 5 + v. Which is greater: 14 or o?
14
Let u(v) = -2*v**3 - 2*v**2 + 3*v - 2. Let a be u(-3). Let b be (0 - -1) + (1008/3)/14. Is b bigger than a?
False
Let h be 68/2 + (-3 - -4). Let d = h + -38. Is -42/11 bigger than d?
False
Let q = -0.296 - -60.296. Is q > -1?
True
Suppose 2*d - 6*d = -44. Let z = -2 + 12. Which is smaller: z or d?
z
Let s = -1 + 7. Suppose 3*a = 4*a + 9. Let q be 34/6 + s/a. Which is smaller: q or 4?
4
Let y be (-3442)/(-30) - (-182)/(-78). Do 112 and y have the same value?
False
Let y(f) = -f**3 - 7*f**2 - 10*f - 7. Let n be y(-7). Let b = n - 58. Are 2 and b equal?
False
Let b be (-4)/(-56) - 218/(-476). Does 1 = b?
False
Suppose 4*h = -5*k - 5 + 56, 3*h = -k + 30. Let f be (h + 4/(-2))/1. Which is smaller: f or 15/2?
f
Suppose -4*r + 2 + 18 = 0. Suppose 6*n = n + 2*m - 5, 0 = r*n + 2*m + 5. Let l = 116 + -115. Which is bigger: n or l?
l
Let b(d) = 2*d**2 + 8*d + 1. Let m be b(-6). Let x be (-10)/m*(-1)/(-2)*-5. Which is smaller: x or 2/101?
2/101
Let n(v) = v**3 + v**2 - 32*v - 3. Let y be n(-6). Let b be (8/6 - 2)*y/3. Is -7/6 greater than b?
True
Let d = -0.03 - -0.03. Let o = 10.09 - 0.09. Let f = o - 10.7. Is d at least f?
True
Let c be 112/(-55) + (1 - -1). Let q be ((-5 - -7) + -3)*(-3)/6*2. Which is smaller: c or q?
c
Let q = 15 - 11. Suppose -3*c + k = -11, -2*c - 4*k + 30 = k. Suppose 3*z = c*n - 0*n + 2, -4 = q*z. Which is greater: 2/13 or n?
2/13
Let o = 5 + -4.9. Let h = 95 + -673/7. Which is smaller: h or o?
h
Let i(g) = g**3 - 8*g**2 + 5*g + 9. Let q be i(6). Let r = q - -36. Is 1 less than r?
True
Let k be (-18 - -17)*1 - (-44)/62. Is k at most as big as 1?
True
Suppose -3584 = -2*n - 2*b, 8951 = -n + 6*n - 4*b. Is 1792 greater than n?
True
Suppose -17 - 55 = -4*h. Let t = -19 + h. Suppose -14 = 4*v - 2*w, -v = v - 3*w + 5. Which is smaller: v or t?
v
Let w(q) = 44*q + 15. Let b be w(-2). Let l = -1385/19 - b. Is 0.1 smaller than l?
True
Let b be (-6)/27 + (-35554)/(-1638). Let o = b - -571542/1001. Let c = 593 - o. Is 2 != c?
True
Suppose 0 = 3*f - 6*f + 12. Suppose -a + 5*t - 25 = -8, -f = 5*a + 2*t. Which is greater: a or -6/7?
-6/7
Let p be ((-2)/7)/(8/(-224)). Is p bigger than 1?
True
Let j be (-2 + -2 - (-291)/(-6))/(-6). Which is bigger: 9 or j?
9
Suppose -2*d + 55 = -45. Suppose 997 = 3*c - d. Let b = 17099/49 - c. Which is smaller: -1 or b?
-1
Let s = 143 + -71. Suppose f = -0*f + 2*n + 30, -3*f + s = 3*n. Is f < 25?
False
Let t = -5.6 + 6. Let r = t - 0.2. Let l = 1.46 - 0.46. Is r equal to l?
False
Suppose 108 = 4*v + m, -v + 34 = m + m. Which is smaller: -1.1 or v?
-1.1
Let v(m) = 2*m**3 - 11*m**2 + 6*m + 1. Let w = 6 + -1. Let f be v(w). Suppose -f*q = -5*q + 7. Which is smaller: q or -11/2?
q
Let x be 9/(-10) - 8/80. Is -8/9 >= x?
True
Let z be 0 - 7137/1017 - (-7 - 0). Let m = -1 - 0. Which is smaller: m or z?
m
Let q = -1823 + 45583/25. Which is smaller: q or 1?
q
Let j = -106 + 120. Let u = -21.5 + 8.2. Let x = u + j. Are x and 2 equal?
False
Let c be (2/(-6) + 30 + -30)*-123. Which is smaller: c or 42?
c
Let o(x) = 5 + 2 - 10*x + 2*x**2 - x**2 + 4*x. Let z be o(3). Which is smaller: -7/12 or z?
z
Let p = -28 + 62. Let o = p - 27. Which is greater: -0.1 or o?
o
Let i be (-44)/(-220) + 27/(-5). Is i smaller than -4?
True
Let q = -32 + 29. Let i = -28 + 25.8. Let a = 1.5 + i. Are a and q non-equal?
True
Let o = -55 - -61. Suppose -u = o*u. Which is greater: u or 0.45?
0.45
Let w be 2600/(-429) - 4/(-3). Is -5 smaller than w?
True
Let k(i) = -3*i + 2. Let a be k(1). Suppose -p = 2*f - 2, -3*f + 25 = 2*f. Let l