s - 5 = 0, -4*u + 4*s - 1 - 3 = 0. Suppose 12*b - 9*b + 21 = u. Are b and -6 unequal?
True
Let w = -152 + 1370/9. Let j = -2/87 - -269/348. Which is bigger: w or j?
j
Let l = 32 - 27. Let j = l + -3. Is 1 at least as big as j?
False
Let w = -20 + 20.022. Let h = w - 0.022. Let o = 1 + -1.04. Which is smaller: h or o?
o
Let p = -389 + 390. Which is smaller: 8 or p?
p
Let j = -4.2 + 6.1. Is 5 at most as big as j?
False
Let o = 4/227 + 17662/2497. Which is greater: 8 or o?
8
Let d be -1 + -3 + -1 - -110. Suppose d = 5*r - 10*r. Is r equal to -21?
True
Suppose 0 = -4*o + 3 + 5. Suppose -o*w - 10 = -4*f, 0 = -w - 8*f + 3*f - 5. Let y = w + -3. Is -7 > y?
True
Let w be ((-102)/357)/(2/(-434)). Is 63 at most as big as w?
False
Suppose 146 = 5*v - 3*i, -4*v + 4*i + 23 = -97. Which is greater: 19 or v?
v
Suppose -4*r + 2*s + 14 = 0, 2*r = -0*r - 2*s + 4. Let z be 17 + -1 + r + -5. Suppose 0 = 4*t - 6*t - z. Which is smaller: -6 or t?
t
Suppose a = -3*g + 14, 0 = 4*a + 6 - 26. Suppose 5*j = 2*s - 31, -2*j = -3*j + 1. Let k be ((-2)/(-1))/(30/s - 1). Is k > g?
False
Let c = -37945 + 77845/2. Let y = c - 907. Let l = y + -991/14. Is -8 < l?
True
Suppose -24*y + 22*y - 4*o + 20 = 0, y + 3*o - 14 = 0. Which is bigger: y or -1.48?
y
Let x(v) = 3*v**2 - 9*v + 16. Let g be x(3). Which is smaller: g or 22?
g
Let a = -63 + 60.885. Let h = a + 0.015. Which is bigger: -2 or h?
-2
Suppose -i + 0*f - 149 = -3*f, -5*f + 294 = -2*i. Is -136 >= i?
True
Let b = 0.6 + -0.8. Let f be 1492/90 - (-14)/63. Let u = -17 + f. Are u and b equal?
True
Let a(w) = w + 9. Let b(p) = -p**3 - 9*p**2 - 8*p - 9. Let q be b(-8). Let u be a(q). Suppose -2*c = -f - u*f - 1, 4*c = -5*f - 5. Which is bigger: c or -3/7?
c
Let n(j) = j**2 + 16*j - 21. Let i be n(5). Is 73 at least as big as i?
False
Suppose 0*u = -u + 30. Suppose -2*a = -4*a - u. Let v be 6/(-9) + (-25)/a. Is v less than 6/5?
True
Let m = -1599/532 + -6/19. Let g = m - -2361/812. Which is smaller: g or 0?
g
Let i be (-2 + 2)/((-6)/(2*-1)). Let a be (-2)/(-7 - i/(-1)). Is 2 at least a?
True
Suppose -5*s - 4*r + 65 = r, -s - 3*r + 23 = 0. Let x be s + -4 - 78224/308. Let j = 250 + x. Which is greater: 1 or j?
1
Suppose -3*g = -5*f + 13, 5*g - 2*f + 32 = -4*f. Let t be 4/g + 1/3. Suppose 0 = 5*a - 4*h - 13, -2*a - 5*h + 0 - 8 = 0. Is a at least t?
True
Let z be (-9)/6*(-12)/(-154). Is 1 bigger than z?
True
Suppose -5*g - 5*z + 111 = -4*g, -2*z - 10 = 0. Which is bigger: g or -1?
g
Let a(q) = -3*q**3 - 22*q**2 + 8*q - 9. Let m be a(-7). Let j = m + 113. Is j at least -1/8?
False
Let y = 83 + -84. Let l be (2 + -2)/((2/y)/(-2)). Which is smaller: l or 8/7?
l
Let h = 8118 - 2540932/313. Is 1 != h?
True
Let s be (-1)/3*(-15)/30. Let v = 2.26 + -0.36. Let z = -0.9 + v. Does s = z?
False
Let p = -420 - -312. Which is bigger: p or -109?
p
Let u(v) = v**2 - 11*v + 10. Let m be u(10). Let a be 2 + (m - -1) - (0 + 2). Which is greater: -2/87 or a?
a
Let i be 2/(-3) + (-2980)/12. Let h be -1 + 3 - (-4522)/(-18). Let f = i - h. Which is smaller: 1 or f?
f
Let b(i) = -12*i**3 - 3*i - 2. Let j be b(-1). Let n = j - 9. Suppose -13 + 41 = -n*z. Is -5 smaller than z?
False
Suppose 0 = -9*w - 107 - 91. Let m be (-1)/(-2) + 253/w. Is m >= -11?
True
Suppose -14*n + 29*n - 150 = 0. Let o be (2/4)/((-1)/(-21)). Are o and n nonequal?
True
Let i be (27/6)/(6/2). Suppose 4*q - 5*r - 85 = 0, -1 - 9 = 2*r. Let j = q - 15. Is i < j?
False
Let w(s) = -s**2 - 7*s + 67. Let o be w(5). Is 22/3 >= o?
True
Let i be (-1)/2 - (-1)/(-1). Let k = 2 - -1. Suppose k*p = 7*p + a + 11, 5 = 5*p - 5*a. Is p at most i?
True
Let q = 15 - 21. Let z be (8/q)/(2/(-18)). Is z != 11?
True
Let z be 3/((-63)/93) - -4. Let q = -13/14 - z. Let m be 10/12*2/5. Which is greater: q or m?
m
Let r = -1 + 2. Let x = -52 + 52. Which is bigger: r or x?
r
Let g = 3 + -4. Let j = 1 + g. Let l = 17 - 69/4. Is l not equal to j?
True
Let r be 0 + 8/(-4) + -66. Let o = r - -60. Is o smaller than -8?
False
Suppose -z = 2*m + z + 10, 3*m = -5*z - 25. Which is bigger: m or 123?
123
Suppose 7 = -3*x + 16. Let t = x - -3. Let i be -3 - -1 - t/(-7). Is i greater than -1?
False
Let n(g) = -2*g**2 - g. Let m be n(3). Let l = -50 - -33. Let b = -18 - l. Which is bigger: m or b?
b
Let u = 45 + -153. Let r be 10/(-8)*(u/(-30))/6. Are r and 1 unequal?
True
Let f be 26/39*(-1 - (-1)/(-2)). Let n be (-18)/12*16/6. Let k be n/(-10)*(-3)/2. Which is smaller: k or f?
f
Suppose 0 = 16*t - 18*t + 12. Let k be 504/14*2/t. Is 12 bigger than k?
False
Suppose 0 = 4*c + 6*c - 30. Is 20/11 at most as big as c?
True
Let l be 3 + 12 + (-6)/(-2). Suppose 5*j - 3*q - l = 14, 4*j - 27 = q. Let b(k) = -k**3 + 8*k**2 - 8*k - 4. Let t be b(j). Do t and -11 have the same value?
True
Let l = -114 - -132. Is 16 bigger than l?
False
Suppose 0 = -d + 2. Let u be d + -7 + 3/3. Let k be (-7)/((-28)/8) - u. Is 6 greater than k?
False
Let u = -108 - -126. Let l be u/4 + -4 + (-95)/2. Which is smaller: l or -48?
-48
Let u be ((-63)/189)/(1 - (-427)/(-426)). Which is greater: 141 or u?
u
Let v be (-5 + -2 + (-16)/(-2))*-53. Which is bigger: -54 or v?
v
Suppose -28*g = -5*g - 4968. Is g at least 216?
True
Let i be (-2 + 2)/1 - 12. Let b = i - -11. Let v(w) = 3*w**2 - 2*w - 1. Let k be v(b). Is k less than -0.1?
False
Let g = 238 - 237. Is 5/16 less than or equal to g?
True
Let n be 6/(-13)*5863770/81. Let z = 33410 + n. Let g = z - -123/13. Which is bigger: g or 7?
g
Let l be (-496)/20 - (-1)/(-5). Let c be ((-2)/l)/((-9)/(-15)). Suppose 3*s + 2*v + 3 = 0, 2*s + 4 = -4*v + 2. Which is greater: s or c?
c
Suppose -1123*x = -1118*x + 300. Are -57 and x nonequal?
True
Let b = -48 - -675/14. Is b <= -1?
False
Let x be (-15)/6 + (78/12 - 3). Suppose 2*w = -r - 7, 5 + 8 = 2*w - 3*r. Is w bigger than x?
False
Let w = -131 - -115. Let a = -0.3 + -1.7. Which is smaller: w or a?
w
Let z be (-5 + -5)/(-1*19). Is 1 at least as big as z?
True
Let a be 50/(-70) - 24/84. Do 99 and a have the same value?
False
Suppose d + 3*y = -4*d - 27, 3*y = -4*d - 24. Let j be -2 + 2 - d/9. Let v = 72.5 - 73. Does v = j?
False
Let j be -2 + 3 + -762*(-7)/210. Is 25 != j?
True
Let s be (-9690)/2091 - (-10)/2. Which is smaller: -1 or s?
-1
Let c(a) = 4*a**2 + 14*a. Let z be c(-4). Suppose 2*m = 10*m + z*m. Which is greater: -7 or m?
m
Let j be (2 - 2)/(-4 + 3). Is j at least -18/13?
True
Suppose 5*b - 24 = b. Let y be ((-8)/(-10))/(b/(-30)). Let q = y + 3. Is -1 at most as big as q?
True
Let g be (-10842)/(-42) + 3/(-21). Let q = 1239/4 - g. Let x = q - 52. Is x < 1?
True
Suppose -6*z + z + 20 = 0. Let j be z/(-36) - 2/(-6). Suppose 0 = -4*d - 18 + 46. Which is greater: d or j?
d
Let t(d) = -54*d + 825. Let h be t(17). Is h greater than -92?
False
Let s be -3 + (6 - 504/232). Which is bigger: s or 1?
1
Let d = 85223923433156/22785 + -3740352136. Let w = d - 58/93. Is 1 smaller than w?
False
Let i = 34 + -33.857. Let l = i - -1.857. Which is smaller: l or 17?
l
Let m(l) = 2 - 2 + 0*l + 2*l. Let j be m(3). Let k = 158 + -152. Is j != k?
False
Let x(t) = t**2 - 24*t + 110. Let b be x(7). Which is smaller: -4 or b?
b
Suppose 0 = 4*m - 693 - 731. Let w be (-1 + -19)/((-22)/391). Let c = m - w. Which is bigger: c or 0?
c
Let x be -30*((-9)/(-6))/(-3). Let c = x + -59/4. Is 5/7 at most c?
False
Let t = 11 + 10. Let c = 0.557 - 0.457. Is c bigger than t?
False
Let i be 182/(-12) + (-4)/(-24). Let n be 6/i + 58/45. Which is smaller: 0 or n?
0
Let o = -331 + 331.2. Which is smaller: 14 or o?
o
Let v be 5/(-15) - (-22)/120. Which is bigger: -1 or v?
v
Suppose -35*j = -46*j - 352. Which is greater: 1 or j?
1
Let q be 405/(-75)*(7 + -2). Which is bigger: -25 or q?
-25
Let r = -14 + 7. Let q = -3.953 - 0.047. Let x = r - q. Is 4/5 at most as big as x?
False
Let o(l) = -l**3 + 18*l**2 + 2*l - 35. Let x be o(18). Is -1/5 < x?
True
Let n = 424 - -289. Is -1/2 greater than n?
False
Let z be 3/4 - 15128/32. Let u be 1 - (3138/z)/(-3). Let a = u + -2/59. Which is greater: 1 or a?
1
Let p be ((-4)/8 + 0)*-12. Suppose -5*x - x = -p. Let g be 1331/(-451) - (-3)/1. Do g and x have different values?
True
Let w be 3069/(-5265) + (-1)/((-15)/9). Let q = 37/117 + w. Which is smaller: q or 0.39?
q
Let a be (-6)/12*1*-4 + -3. Is 1/485 at least as big as a?
True
Let h be (-2)/(-1) - (17 + -1). Let 