*i. Let r = 31 + -311/10. Which is smaller: i or r?
i
Let i = 0.05501 + 47.83499. Let t = -48 + i. Which is smaller: t or -1/2?
-1/2
Let w be (1144/(-112))/11 + 1. Let d be 2/(-2) + -1 + 1. Which is smaller: w or d?
d
Suppose a + 11*a + 12 = 0. Is a at most -3/59?
True
Suppose -11 + 27 = 16*s. Which is smaller: -1/19 or s?
-1/19
Let v = 398/19 + -1495/114. Which is greater: v or 9?
9
Let b(r) = 4*r**2 + 9*r - 4. Let t be b(-4). Suppose -2*c - t = -6*c. Let l be -2 + 4/(-4) + 7. Are l and c non-equal?
True
Let p be (839 + 0)*(3 - 526/175). Let f = p + 33/7. Are f and 1 non-equal?
True
Let g = -1023030/942997 + 2/15983. Are -1 and g non-equal?
True
Let p be -2*(-50)/12*(-1175)/36801. Let y = -7/29 - p. Is y less than or equal to 1?
True
Let m = -33396 - -93608987/2803. Which is greater: -1 or m?
m
Let j = 15.05 + -0.05. Let a = 16 - j. Let g be (-24)/16*2/(-24). Are g and a nonequal?
True
Suppose 5*d - i - 13 = 0, 2*i = -2*d - 0*i + 10. Suppose -d*v + 4 = -3*r + 2*v, 0 = -2*v + 4. Let p be 3/r*5/120. Which is smaller: p or 1?
p
Let o be 1/5 + (-51)/255. Which is smaller: o or -47?
-47
Suppose 82 - 46 = 36*a. Let w(f) = -f**2 - 6*f - 3. Let t be w(-5). Is t smaller than a?
False
Let l be (-20)/(-18) + (-6)/9. Let j(c) = 3*c - 60. Let r be j(20). Which is greater: l or r?
l
Let s = -19.04 + 0.04. Let k = 32.9 + -50. Let g = s - k. Is g less than 0.1?
True
Let k = 29.9 + -30. Let b be (-1)/(-2) - (-5)/2. Suppose 0 = b*z - 2*z. Are k and z equal?
False
Let d(j) be the first derivative of -j**3/3 + j + 13. Let a(z) = -z**3 - 3*z**2 + 3*z - 5. Let l be a(-4). Let h be d(l). Is 2 less than or equal to h?
False
Let u(w) = 34*w + 18. Let r be u(-1). Which is smaller: -20 or r?
-20
Let v be 28/26*5/(-10). Let p = -3933 + 3932. Is v > p?
True
Let u = -22.45 + 0.45. Let j = u + 41. Is 0 >= j?
False
Let l = -7.5 + 47.5. Let q = l + -40.39. Let n = q + 0.4. Which is smaller: n or -0.1?
-0.1
Let y = -68/19 + 514/133. Which is bigger: -0.8 or y?
y
Let r be 13 + -13 + -1 + 24. Let v = r - 27. Does v = -3?
False
Let q be (54/(-90))/(-1*1)*-1. Is q greater than 3/67?
False
Let l(f) = -2*f - 11. Let c be l(-12). Suppose 17 + c = 5*k. Let w = 2175/4 + -539. Which is greater: w or k?
k
Let r = 91 - 80. Let a = -9/2 - -4. Which is bigger: r or a?
r
Let q(d) = -d**2 + 82*d - 625. Let k be q(72). Is k at most as big as 97?
True
Let p(b) = 56*b**2 - 3 + 59*b**2 + 14*b - 116*b**2. Let r be p(14). Which is greater: r or 1?
1
Let z be ((-3)/18)/(2/(-24)*-6). Let i = 8 + 6. Which is greater: i or z?
i
Let a be (-5)/2*64/2. Let o be 3 + (27/(-10) - (-32)/a). Is o at most -1?
False
Suppose 16*l = -39 + 7. Let s be (-1)/(-2) + 1379/2. Let g = s - 3462/5. Do g and l have the same value?
False
Let n be 184/644 + 11/(-14). Which is smaller: 36/11 or n?
n
Suppose q - 3*g = -0*q - 1, 0 = -3*q - 5*g - 3. Let t = -548.944 + 549. Are q and t unequal?
True
Suppose -2 + 8 = -2*m. Let r be (-2 + -7 + 2)*-1. Let v = m + r. Is v >= 2?
True
Let i be 1/2 + (-10)/52. Let a = 5 + -6. Is a greater than i?
False
Let u = -15 + 11. Let j be (-2 - u) + (-2)/1. Suppose j = 3*w + 7 - 1. Is w > -2?
False
Suppose 83*j = 87*j + 248. Is -63 smaller than j?
True
Let j = 0.9 - 1. Let k = -0.57 - 5.33. Let b = -1.1 + k. Which is smaller: b or j?
b
Suppose -4*a = 0, a - 336 = -4*u - 0*a. Let p be (-2)/(-5) + u/15. Which is bigger: p or 7?
7
Suppose -2*y + 2*z + 44 = 0, -z + 4*z = 2*y - 46. Suppose -4*j - 5 = -4*w - 21, -5*w + 2*j - y = 0. Is w >= -22/5?
True
Let b(m) = 6*m - 8. Let d be b(3). Do -1/8 and d have the same value?
False
Let g be (0 - (-3)/18)*(-6)/24. Let u(t) = t**2 - 5*t + 6. Let w be u(5). Suppose -w*k + 4*k = 0. Which is bigger: g or k?
k
Let z = 83 - 80. Let d = 12 + -11.5. Is z equal to d?
False
Suppose -o + 5 = -g, -g + 4*o - 19 = 2*g. Suppose c + 4 = -0. Let z be (-32)/465 - c/30. Is g greater than or equal to z?
False
Suppose 0 = -4*r + 2*r + 18. Let a = 105 - 110. Let y = a + r. Is y less than or equal to 0?
False
Let k(w) = -w**3 - 5*w**2 - 4*w - 1. Let m be k(-4). Let s(h) = -h - 11. Let c be s(-6). Let l be -2 - c - (-543)/(-183). Does m = l?
False
Let p(w) = w**3 + 21*w**2 + 21*w + 28. Let i be p(-20). Let a(s) = -4*s + 34. Let u be a(i). Which is bigger: 13/5 or u?
13/5
Suppose -2*z + 2*i = -12, 0 = 7*z - 6*z - 2*i - 10. Is z bigger than 41/28?
True
Suppose -13*j + 6*j + 1757 = 0. Which is smaller: 253 or j?
j
Let u be 6*(-2 - 1)/(-9). Which is smaller: 13/12 or u?
13/12
Let j = -7257285017 + 53645851131581/7392. Let h = 1243/32 - j. Let k = h + 4/33. Which is smaller: k or -2?
-2
Let c(f) = -2*f + 19. Let v be c(4). Which is greater: 34 or v?
34
Let v = 115 + -120. Let z be (240 + v)*(-4)/(-10). Do z and 1/2 have different values?
True
Suppose -4*v = 2*q - 7*q + 66, -20 = 5*v. Suppose 169*p - 161*p = 88. Which is smaller: p or q?
q
Let p(t) be the second derivative of t**4/12 - t**3/2 - 3*t**2/2 - 8*t. Let g be p(4). Which is greater: 6/5 or g?
6/5
Suppose 13*x - 686 + 231 = 0. Which is smaller: 29 or x?
29
Suppose 0*x - 6 = 6*x. Let l be (403/91 - 2/5) + -4. Is l equal to x?
False
Let x = 111.66 - 109. Let d = 2.3 - x. Let i = -0.46 - d. Which is smaller: i or -1/39?
i
Let n(q) = -q**2 - q + 126. Let r be n(0). Suppose -r = 5*d + 204. Is d at least as big as -67?
True
Let x be 1/(45/1134) - 4. Is 20 <= x?
True
Suppose -c - 4*v + 3 = 0, -3*c - 5*v + 4 = -5. Let k be (-24)/(-9)*c/2. Suppose -8 = -4*x - k. Are 6/11 and x nonequal?
True
Let c be (1/(-6) + (-207)/(-1026))/(-4). Is c bigger than 0?
False
Let g be (12/(-25))/((-4)/(-90)). Let x = -6187 + 6175. Is x smaller than g?
True
Suppose 38*l - 34*l - 24 = 0. Let f(n) = n**2 - n + 2. Let v be f(-2). Are l and v equal?
False
Let u = -1932747 + 1652498873/855. Let b be (-6)/(-152)*(-200)/(-45). Let c = b - u. Which is greater: c or -1?
c
Let a be 2/(8/(-20) - 1). Let j(v) = -v + 1. Let b be j(2). Which is smaller: a or b?
a
Suppose -16 + 136 = 10*p. Suppose 3*v - 35 = -2*y, 18 + 32 = 5*v - 5*y. Which is bigger: v or p?
p
Let w = 216 - 2379/11. Let h be 0*1/3 + 3. Suppose 0 = 3*n + h*x - 21, 4*n - x + 0 = 3. Is w > n?
False
Let p = -80303 + 882379/11. Are -88 and p equal?
False
Let c = -1501 - -1518. Is c greater than -1?
True
Let a = 22.96 + 0.04. Let h = a + -35. Let r = h + 11.8. Are r and -0.1 non-equal?
True
Let j be (-3 - (-9)/2)*2. Let x = 9 - j. Let r be (-69)/(-15) + x/(-10). Is r greater than 5?
False
Let z be (-100)/(-6)*18/12. Let d be (-20)/z + (-2)/(-15). Which is greater: d or 2?
2
Let n = -96 + 96.14. Let s = 841/4 + -206. Let m = -111/28 + s. Which is smaller: m or n?
n
Let s be -30 + 24 - (-68)/9. Let c = -4 - -5. Is s greater than c?
True
Let j be (9 + (-10089)/1122)*8/(-6). Are 0 and j nonequal?
True
Let u = 474 - 292. Which is bigger: 1282/7 or u?
1282/7
Suppose 53 = -4*f - 35. Let p be 217/77 - 4/f. Suppose -12 - p = 3*b. Which is smaller: -6 or b?
-6
Let j = -3 + 5. Suppose a + 4 = j*a. Let v = -1/123 - -617/246. Is a at least v?
True
Let n = 0.413 + -1.413. Let c = -116239/2625216 + 10/41019. Let x = c - 3/64. Which is smaller: n or x?
n
Let b(z) = -2*z**2 + 2*z + 2. Let q be b(2). Let u be (q/(-8))/(5/820). Let o = u - 163/4. Which is greater: o or 1/9?
o
Suppose -6*x + 36 = 96. Is -8 at least x?
True
Let w be ((-11707)/(-69) + -3)/((-1252)/(-30)) - 4. Suppose 3 = -5*b + 8. Which is bigger: w or b?
b
Suppose 0 = 3*l + l + 5*s + 6, 0 = 4*l + 3*s + 2. Let z be 2/2 + l + 0. Suppose 683*d - 747*d = 0. Is z at most as big as d?
False
Let c = 18 - 6. Let k = c - 13. Does k = -2/7?
False
Let s(r) = 3*r**2 - r**3 - 15*r + 24 - 15*r**2 - 6 + 2*r**3. Let t be s(13). Let l = -7 + 8. Which is bigger: l or t?
l
Suppose 0 = -6*k - 2*k. Suppose k*l = -6*l. Which is greater: l or -2/75?
l
Let k be -3*(-3 - (-2)/(-3)). Let d = k - 24. Let p(q) = q**2 + 15*q + 8. Let a be p(d). Are a and -18 non-equal?
False
Let q = 98 + -172. Let n = -77 - q. Let m = -3847/5 + 767. Which is greater: m or n?
m
Let o = 24 - 23. Suppose 23 = 4*q - 3*j, q - 4*q = j - o. Suppose 3*u + q = -d, -u + d = 2*u - 8. Which is greater: -2/19 or u?
u
Let t = -106/9 - -2020/171. Let f be ((-8)/(-6))/(1/3). Suppose 1 = -5*z - f. Is t <= z?
False
Suppose 5*b = 0, 5*b - 145 = i + 66. Is -213 bigger than i?
False
Let s be (-7 + 519/72)/((-2)/8). Let c = 0 