h is smaller: u or 1/2?
1/2
Let m = 1046 + -962. Is m > 85?
False
Suppose 0 = 5*i + 2*j - 72 - 16, 4*i - 52 = 3*j. Let t be i/(16/4) + -2. Let l = -1 - -2. Which is greater: t or l?
t
Let f be (-31941)/1470 + 21 + (-3)/(-7). Which is greater: 1 or f?
1
Let t be (-1)/(-124)*9 + 15/60. Which is smaller: 1 or t?
t
Let r = 7 - 9. Let l be 1*(-1 + (r - -15)). Suppose 2*s - 4*s = 0. Which is greater: l or s?
l
Let f be (-96)/(-14) - (-3)/21. Suppose 4*r - 3*r - 25 = 0. Suppose u - 2*o + 5 = 22, 5*o = -r. Are u and f unequal?
False
Let a be (-3)/9*366/(-1403). Is -24 > a?
False
Let r(v) = -v**3 + 22*v**2 + 2*v - 45. Let b be r(22). Let z be 43/(-147) + (-1)/(-3). Which is greater: b or z?
z
Let r = 1601 + -1555. Are r and 46 non-equal?
False
Suppose 3*p = 8*p - 20. Let d be 6/14*(-4)/24*p. Which is smaller: 3 or d?
d
Let o = -719/556 + 6/139. Let q = -71/60 - o. Which is smaller: -1 or q?
-1
Let g = -196 + 197. Which is greater: g or -92?
g
Let k be 196/446635*10/(-4). Is -1 < k?
True
Let w = -1.01 - -0.81. Is w > 38?
False
Suppose -15 = 2*y + 1. Let w be (-63)/(-6)*y/(-6). Which is smaller: 16 or w?
w
Let v = 1.33 + -57.33. Let f = v + 54.98. Let d = f + 0.02. Is d < 3?
True
Let q(z) = -8*z**3 + 13*z**2 + 25*z - 20. Let n(a) = -7*a**3 + 13*a**2 + 24*a - 21. Let l(r) = -7*n(r) + 6*q(r). Let c be l(14). Which is smaller: c or -28?
c
Let n = -19884 - -218723/11. Let c = 3 - 2. Let y(l) = -l**2 + l. Let m be y(c). Which is smaller: m or n?
n
Let o = 17 - 103/6. Let u(y) = y. Let q be u(-3). Let s be ((-5)/q - 1)/2. Is o greater than s?
False
Suppose -k - 226 = -3*c - 6*k, -2*c - 3*k + 151 = 0. Is 76 less than or equal to c?
True
Let s(c) = c**2 + 21*c + 40. Let y be s(-19). Let q be (0/((-8)/y))/1. Which is smaller: -2/17 or q?
-2/17
Suppose 5*n = 3*i - 548, n - 6*n + 5*i - 540 = 0. Which is smaller: n or -110?
n
Let v be 2/(2 - 6/4) + -3. Which is smaller: v or 3/761?
3/761
Let j = 4.64 - 3.92. Is j >= -3?
True
Let l = -14 - -36. Suppose t + t = -l. Which is smaller: t or -9?
t
Let r = 304 + -289.89. Let t = 14 - r. Let l = t + 2.11. Is -0.2 > l?
False
Let p = 2652 + -2315. Are 336 and p equal?
False
Let t be (-2)/5 + (-892)/20. Let y be (-3)/(3/(t/(-12))). Suppose 30*b = 36*b + 30. Is y not equal to b?
True
Let c = 719/36 - 79/4. Let f be (-3 - -1)*(3 + 14/(-5)). Is f bigger than c?
False
Let h = -0.62 - -8.42. Let b = h + -8. Which is bigger: -0.07 or b?
-0.07
Suppose -56*t = -57*t + 5. Let w(y) = y + 3. Let p be w(0). Suppose -p*x - z + 13 = 0, 5*x = 5*z + 29 + 26. Which is greater: x or t?
x
Let u be (-4)/(-25)*2/(-380). Let n = -35609/19000 + u. Let d = n + 119/72. Is d bigger than -1?
True
Let m(b) = 20*b + 13. Let u be m(5). Let h = u - 343/3. Suppose 0*v - v = -2*d - 1, 2*d + 7 = -5*v. Is d at most as big as h?
False
Suppose 3*t = 4*f + 21, 0 = 2*t + 4*f - 9*f - 7. Let z = 9 - t. Is -8/3 < z?
True
Let k(q) = -q**3 - q**2 + q + 1. Let f be 0/(-5 - (-3 + 0)). Let u be k(f). Let v = 284/9 - 274/9. Are v and u equal?
False
Let f = -207.8 - -227. Let w = -2.2 + f. Let i = w + -17. Is -0.8 bigger than i?
False
Let t = 59 - 57. Let y = 32 + -35. Which is smaller: t or y?
y
Suppose -z = 3*a - 8, -4*z - 13 = -2*a - a. Let j be z - -4 - 578/194. Is 1 less than j?
False
Let g be ((-97)/2 - -7)*12. Which is bigger: -499 or g?
g
Suppose t + 5*y - 6 = 0, -2*y = 5*t - 11 + 4. Let g be (-21)/(441/(-66)) - t/7. Which is smaller: g or 2?
2
Let b = -2.61 - -0.61. Which is greater: 4 or b?
4
Let n = 3627 - 1809875/499. Which is smaller: n or 1?
n
Let j = -7059 + 7032. Suppose 56 = -s - s. Is j smaller than s?
False
Let v = -30 + 572/19. Let n = -5/133 - v. Let g = -50 - -49. Which is greater: g or n?
n
Suppose 532 = -7*u + 2177. Which is smaller: 233 or u?
233
Let i = 22.98 + -23. Let l = 0.88 - i. Let g = -8 + 8. Which is smaller: l or g?
g
Let a = 105 - 149. Let h = 41 + a. Is h greater than or equal to -4?
True
Let w = -20 + 24. Suppose x - 3*x = w. Do -2 and x have different values?
False
Let m = -46 + 47. Which is bigger: -82 or m?
m
Suppose -2*s + 4 = -s. Suppose -2*f - 10 = -s. Let x(y) = y**3 + 3*y**2 - y - 2. Let d be x(f). Is -1/5 >= d?
False
Let b(p) = -2*p + 2. Let t be b(-5). Let c be ((-27)/(-6))/((-2)/t). Is c at least as big as -26?
False
Let m = -33.4 - -28. Let b = m - 4.6. Which is smaller: 1 or b?
b
Let c be (-1 + 4)*(-2)/3. Let w be c/(-3) - (-1)/3. Let r = 695 + -3471/5. Which is bigger: w or r?
w
Suppose 3*c - 13 + 4 = 4*a, 0 = -5*a - 3*c + 9. Let n be (4/(-518))/(10*(-45)/(-1050)). Is a equal to n?
False
Let n = 475.962 - 476. Which is greater: -0.1 or n?
n
Suppose -q = 4*a + 12, -1 = 5*a + 4*q + 3. Let x = 8 + a. Suppose x*h = -3 - 5. Which is smaller: h or -4/5?
h
Let h = 42 + -39. Suppose -2*c - 30 - 36 = -4*s, 12 = h*s. Which is greater: -24 or c?
-24
Let n(p) = 2*p - 15. Let t be n(4). Let w be t*(-1 + -2 - 4/(-2)). Is -1 greater than w?
False
Let y be (-8)/(-20) + 660/(-25). Let f = y - -20. Is f less than or equal to 1/4?
True
Let k = 11 - -16. Let z = 24 - k. Let l = 0.4 + -0.3. Is z not equal to l?
True
Suppose 36*k + 17 - 89 = 0. Is k greater than or equal to 10/7?
True
Let n = -3 - -26. Let z = 2902 + -2902.2. Is z smaller than n?
True
Let t = -17 + 2. Let k be 5/(t/6) - -1. Let d = -0.03 - 0.05. Is k at most d?
True
Let c = -109.5 - -98.5. Let i = 12.6 + -1.7. Let d = c + i. Is -24/7 at least d?
False
Suppose -g - 3*f = -11, 4*f - 11 = g - 1. Suppose -2*j = -g - 2. Let d be 20/3*(-2)/(-4). Which is bigger: d or j?
d
Let z = 15 + -15.1. Suppose -7*p = -5*p + 3*g + 108, 0 = 3*p - g + 173. Is z at most p?
False
Let i be 6/9*(-21)/(-2). Let l be ((-4)/(-90))/(i/35). Are -5 and l non-equal?
True
Let q = -1544 - -2991/2. Which is greater: q or -50?
q
Let c be ((-34)/4 - -1)*232/29. Let h = -67 - c. Suppose 3*t - 14 = 5*t - 4*l, 3*l = -t - 2. Is t less than or equal to h?
False
Suppose 3*z + 2*i - 1 = 0, 10*z + i - 1 = 9*z. Is 4/425 bigger than z?
True
Suppose -5*h + 0*q + 2*q = -21, 4*q = -5*h + 3. Let d be h + 0 - (7 - 3). Let b be -3 + 4 + 1*d. Which is greater: b or -2/15?
b
Let h be (27 + -2)*(-14)/14. Which is smaller: -266/11 or h?
h
Suppose 49 = 3*a + 2*z, -2*z + 60 = 5*a - 3*z. Are 51/4 and a non-equal?
True
Let g be (-40)/312 + 3/9. Is -0.1 at least as big as g?
False
Let u = -17.8 + 29.8. Are 7 and u equal?
False
Let h be (-8)/2706*(-27)/(-18). Let w(z) = -z**3 - 5*z**2 - z - 4. Let j be w(-5). Is h greater than or equal to j?
False
Suppose 3*n = -3*h - 9, h + 0*n - 7 = 4*n. Let b be (h - 29/(-8)) + (-18)/6. Which is smaller: 1 or b?
b
Let w = 0.111 + -3.111. Is -2/35 less than w?
False
Let r = 3 + -2. Let o = 10 + -6. Let t = 9 - o. Is r less than t?
True
Let c = -201 - -149. Let f be 4/5*10/c. Let o = -2.2 - -0.2. Does o = f?
False
Let v be 6/(-11) + (-27807)/143. Are -195 and v non-equal?
False
Let x be (-25441)/(-76) + -1 + (-2)/(-8). Let k = -4673/14 + x. Which is smaller: 1 or k?
k
Suppose -4*g = 2*c - 182, c = 6*c + 25. Let y be ((-4)/(-8))/((-2)/g). Is -12 smaller than y?
False
Suppose 0 = 11*g - 5*g + 6. Which is smaller: -39/17 or g?
-39/17
Let o(n) = 12*n + 0*n**2 + n**2 + 2*n - 11 - 2*n**2. Let q be o(13). Suppose -q*a - 2 = -l - 0, -2*a = l - 14. Are 8 and l unequal?
False
Let h be ((-116)/(-10))/(2/30). Let l be (1 + 2)/(29/h). Which is smaller: l or 17?
17
Let x = -5625 - -5975.3. Let o = x + -369. Let c = -19 - o. Is c at most as big as 0.3?
True
Let p = 0.026 + 20.974. Let a = p - 21.02. Let g = -0.18 + a. Which is smaller: g or -0.1?
g
Let d = -659 + 504. Which is bigger: -158 or d?
d
Let s = -24/169 - -4249/28730. Is s bigger than 1/4?
False
Suppose 0 = 7*r - 17 + 17. Let z be (-20)/(-110) - 2/(-11). Is z at most as big as r?
False
Let r = -0.9 - -2.7. Let z = r + 5.2. Let o = z + -7.05. Is -2 < o?
True
Let p(m) = m**2 + 18*m - 344. Let k be p(-31). Is 58 bigger than k?
False
Let n = -1749217/4 + 166172353/380. Let m = n - -89/10. Which is greater: m or -1?
m
Let q = -700 + 692. Which is smaller: q or 3/8?
q
Let l = -423.55 + -11.45. Is l less than or equal to 1?
True
Let s = -16 + 21. Suppose -s*w = -7*w. Let r be (-3)/(-1) - 33/12. Is r less than w?
False
Let x be ((-15)/(-200))/(117/16532). Let i = -9/130 - x. Which is smaller: i or -10?
i
Let z be (-1 - 36/(-20))*(-12)/24. Let k = 12 - 22. Which i