+ (-2 - -2). Suppose -5*r - n = 4. Let a be (-1)/(120/(-68)) - 2/5. Which is greater: a or r?
a
Suppose 2 = i - 4*a - 1, -2*a = 2. Which is smaller: 8/23 or i?
i
Let d = -15 + 2. Suppose -3*t + 19 = -35. Let w = 6 - t. Which is greater: d or w?
w
Let a be (-50464)/126 + 8/36. Let c = a - -39847/84. Let t = -74 + c. Which is bigger: -1 or t?
t
Suppose -134*c + 133*c - 108 = 0. Which is bigger: c or -109?
c
Suppose 0 = 5*c + 5, 3*c - 9 = n - 0. Suppose 3*u - 4*f + 27 = -2*f, 2*u = 5*f - 7. Which is bigger: n or u?
u
Let o(s) = -7*s**2 + 68*s - 27. Let k be o(9). Is k at least as big as 314/17?
False
Let y(a) = -a**2 + 10*a - 11. Let b be y(8). Let w be (-19)/24 - b/(-40). Is 0.1 less than w?
False
Let m be (-2534)/(-140) + -3 + (-2)/2. Is m equal to 13?
False
Let c = -0.153 - -0.053. Is c bigger than 627?
False
Let m(f) = 3*f**2 + 11*f - 4. Let b be m(-4). Is b <= -2/299?
False
Let n(h) = 3*h**2 - h + 11. Let r be n(3). Which is greater: r or 34?
r
Let d = -1592.19 + 1656.161. Let z = d - 64. Is -0.1 >= z?
False
Let z = -0.1928 + -589.8072. Which is bigger: z or 1?
1
Let v = -2 - -4. Suppose 23*p + 15 = 20*p. Let i be 6/(p + v) + 2. Which is smaller: i or -1/19?
-1/19
Suppose 7*f = -f - 8. Let j be (-2)/2 + (-52)/(-54). Is f greater than j?
False
Let i be (-41)/3 - (0 - 1). Let d = 13 + i. Let z = -5 + 5.4. Which is greater: d or z?
z
Let l = 59 + -60. Let f be ((-20)/40)/(l/(-86)). Is f > -43?
False
Let z = 569 + -497. Which is smaller: z or 70?
70
Let b be (24/(-84))/((-1)/14). Let r(x) = x**3 - 5*x**2 + 6*x - 8. Let t be r(b). Which is smaller: t or -10?
-10
Let o = -14.86 + -0.14. Let c = o + -9. Let z = c - -23.8. Which is smaller: 7 or z?
z
Let k(j) = -j**3 - 5*j**2 + 12*j + 4. Let d be k(-8). Suppose -w + d = 99. Are -2/23 and w equal?
False
Let g be 2/(-3)*6/(-4). Let z be (-6376)/(-1890)*(-15)/905. Let n = -2/1629 + z. Which is bigger: n or g?
g
Let t be 15862/(-726) - (-2)/11. Let q = 5 + -27. Let y = q - t. Is y greater than or equal to -0.04?
False
Let v = 0.1173 - 0.0173. Is 66/25 smaller than v?
False
Suppose -23 = 3*l + 4*p, 3*l + 24 = 4*p - 7*p. Let q be 26*l/6*4/12. Is q at most as big as -10?
True
Let g = 0 - -0.46. Let w = g + 0.04. Let r = -0.3 + w. Which is greater: r or 0.06?
r
Suppose h + 72 = 4*b, -5*b = -5*h - 92 + 2. Let p = 28 - b. Is 10 != p?
False
Suppose 564 = 9*p - 183. Let g = p + -97. Is -13 bigger than g?
True
Suppose 2*p = 5*y - 57, -3*y + 31 = 2*p - 3*p. Let c = p + 24. Are -5 and c equal?
False
Let f be (-60)/4 + 1 + -1. Let q = f + 80. Let h = q - 193/3. Which is smaller: h or -4?
-4
Suppose 5*y + 40 = -5*t, -3*y - t = 4*t + 22. Let l = y + 29. Suppose 4*u + 5*r = -20, 8*r + l = -u + 3*r. Is 2 at least u?
True
Let u be (7 - 3) + 56/(-12) + 0. Which is smaller: u or -14.2?
-14.2
Let z = 694 - 846. Are -0.1 and z nonequal?
True
Suppose 3*r = -4*j + 54, 5*j - 38 = 5*r - 163. Is r at least as big as 4?
True
Let b(s) = -2*s**3 + s**2 + 4*s. Let c(h) = -2*h**3 + 2*h**2 + 4*h - 1. Let k(a) = -3*b(a) + 4*c(a). Let v be k(3). Which is smaller: -2/5 or v?
v
Let u(g) = 2*g + 12. Let k(r) = -5*r + 34. Let h be k(8). Let f be u(h). Are 1/3 and f non-equal?
True
Let s = -374 + 296. Is -79 not equal to s?
True
Let v = -46481/70 + 664. Do 1 and v have different values?
True
Suppose 0 = -81*i - 2064 - 2067. Let j be (100/6)/(2/(-6)). Which is smaller: j or i?
i
Suppose 0*s - 2*s - h = 13, -3*s = -3*h + 42. Let r be ((1 - -2) + -2)/((-9)/s). Is -1/95 <= r?
True
Let s be 26/10 - 6/10. Suppose -5*y + s*y = -6. Suppose 0 = -g + 2*i - 7, y*i + 14 = 2*g + 5*i. Is g greater than 1?
False
Let s = -5935/11 + 539. Is -0.19 smaller than s?
False
Let h be 2/(-3) + 22584/31746. Let t = 4/429 + h. Are t and 0 equal?
False
Let w = -16.028 + 0.028. Let l = -29 - w. Which is bigger: l or -0.1?
-0.1
Let m = -259/4 - -66. Let l = -4.96 - 0.04. Which is smaller: l or m?
l
Let w = 1667 + -1546.1. Let t = w + -126. Let d = -5 - t. Are 0.2 and d equal?
False
Let q(i) = i**3 - 25*i**2 + 2*i - 30. Let v be q(25). Is v equal to 22?
False
Let b = 109/260 - 1/52. Is b >= -8/7?
True
Suppose 149 = 8*w + 149. Which is greater: -152 or w?
w
Let a be ((-336)/(-30))/(4/(-20)). Which is smaller: -52 or a?
a
Let o = 169 - 183. Let p be (-16)/5 + (2 - -1). Which is smaller: p or o?
o
Let i = -9 - -17. Suppose -s + 28 = i. Are s and -1 non-equal?
True
Let n(l) = 30*l + 41. Let i be n(-3). Which is smaller: -246/5 or i?
-246/5
Suppose -3*g + 4*y + 25 = 0, -4*y - 4 = 2*g + 2*g. Suppose -a + 2*a + 8 = g*h, 5*a - 3*h + 16 = 0. Is -1 greater than or equal to a?
True
Let h = 188 - 163. Which is bigger: h or 171/7?
h
Let w be (2 + 8)*5/10. Suppose f = d - w*d + 28, 0 = -4*d + f + 36. Is 9 at least as big as d?
True
Let r = -65.941 - 0.059. Is r > 2?
False
Suppose 8 = -2*f + 2*y, 5*f - f - 5*y + 18 = 0. Which is smaller: -2/65 or f?
f
Let l = 130 - 130. Which is smaller: -1/149 or l?
-1/149
Let f = 9 + 48. Let r = -57 + f. Which is smaller: -1 or r?
-1
Suppose -5*c + 45 = -25. Let g = c + -11. Suppose g*q - q - 2 = 0. Which is bigger: q or -3/4?
q
Suppose 5*h + 139 = -s - 156, 5*s = h + 85. Let x = -63 - h. Which is smaller: -5 or x?
-5
Suppose 40*c - 35*c - 4 = -3*b, 0 = -c - b. Is -42 less than or equal to c?
True
Let s(a) = a**3 - 15*a**2 + a - 43. Let t be s(16). Do t and 230 have different values?
True
Let h(a) = a**3 + 3*a**2 - 3*a - 2. Let f be h(-2). Let t be (-12)/f*(-30)/9. Let k be t/12 - 1/6. Is k > 0?
True
Suppose 13*n - 68 = 179. Let a be (7/(-3) + 1)*-15. Is n greater than or equal to a?
False
Let g = -0.1938 + 0.0938. Which is bigger: 140 or g?
140
Let k = 64 + -78. Which is smaller: -8 or k?
k
Suppose -y - 120 = -119, -4*a + 415 = y. Are a and 513/5 unequal?
True
Suppose 2*g + 3*j = 97, -103 = 18*g - 21*g + 4*j. Is g greater than 37?
True
Let c = -25 - -14. Let v = c - -14. Let s be 1/((v*-2)/(-2)). Does s = 0?
False
Suppose 0 = -4*l - 4, n - 3*l - 3 = 3. Let g be (n/(-1 + 10))/(1/(-16)). Is g != -5?
True
Suppose -5*s + 30 = -5*m, -6*m = 5*s - 2*m - 21. Let t(c) = 6*c - 53. Let y be t(10). Which is smaller: y or s?
s
Let d = 22055/13 + -1698. Suppose 3*v + 2*i - 3 = -i, -5*i + 5 = 3*v. Do d and v have the same value?
False
Suppose 4*o - 498 = 338. Are o and 1/4 unequal?
True
Let p = 266/321 - -323210/3531. Let x = -92 + p. Are x and 0.1 equal?
False
Let x be (-22)/18 - 30/(-135). Let k = 17 + -31. Are x and k nonequal?
True
Let y = -797.98 + 798. Is 0.7 < y?
False
Let d(f) = -6*f**2 + 32*f - 35. Let k be d(2). Let t = 3504 - 31486/9. Which is greater: k or t?
t
Let w be 2/(-3) + 3/6. Suppose 0 = -8*s + 5*s + u, 3*s - 5*u = 12. Do w and s have different values?
True
Let l = -0.58 + -0.02. Let x = -37 + 36.5. Let q = l - x. Do -0.1 and q have the same value?
True
Let d(k) = 2*k + 9. Let a be d(-9). Let p be ((-157)/(-3))/(6/a). Let j = p - -80. Which is greater: j or 1/3?
j
Let j be -1*2*2/(-4). Suppose -5*h + 39 = -6*h. Let y be 6/h + (-118)/(-598). Which is smaller: j or y?
y
Let a = -168 + 833/5. Let d = 4/15 - a. Is d less than 0.1?
False
Let z = -1070 - -1172. Is z <= -1/3?
False
Suppose 399 = 4*b - 5*b. Let g = -39499/99 - b. Is 1 > g?
True
Let x(p) = p**2 - 5*p. Let k be x(5). Let g = 0 + k. Let j be -3*(-1)/(-105)*10. Is j less than g?
True
Let p = -63 + 44. Let z = 15 + p. Which is smaller: 1 or z?
z
Let l = -305 - -233. Which is greater: -71 or l?
-71
Suppose -2*z = z + 18. Let y(m) = 17*m + 63. Let x be y(-4). Which is smaller: z or x?
z
Let w = 5 + -16. Is -2 != w?
True
Suppose 0 = -5*j + 14*j - 234. Let c be 1/((2/50)/1). Which is bigger: c or j?
j
Let f = -1823 + 60157/33. Let n(t) = -t**2 + t - 1. Let k be n(1). Let b = k - -2. Is f <= b?
True
Let a(g) = g - 5. Let q be a(5). Suppose q*b - 2 = -b. Suppose -b*v - 6 = -2. Is -3 < v?
True
Suppose 10 = -3*m + f, -22*f + 20*f - 7 = 3*m. Let c = 0.1 - -0.1. Are c and m nonequal?
True
Let x = 2001 - 2001. Which is smaller: x or -53?
-53
Let v = 295681/12 + -24474. Let k = -166 + v. Is k greater than or equal to -1?
True
Let b be -2 - (0 + -2 + (-21 - -10 - -8)). Let d(p) = -p**2 - 4*p + 1. Let q = -3 + 0. Let t be d(q). Is t at least b?
True
Let l = 481 - 483. Which is greater: l or 37/5?
37/5
Let n = 45 - 43. Suppose -61 = n*p + t, -5*p - 68 = -5*t + 122. Which is smaller: -32 or p?
p
Let l 