r - 50. Let h = -26 + s. Let v = h - -9. Is v >= -8?
True
Let r = 977 - 1038. Which is smaller: -54 or r?
r
Let n = 0.094 - -0.106. Let t = n - 6.2. Is t at least as big as -1/2?
False
Let f = -7 - -19. Let k = 25 - f. Let d = 13 - k. Is 1/18 at most d?
False
Suppose -13 = -2*q + 5. Suppose 0 = q*v - 5*v - 16. Which is smaller: v or 3?
3
Let s(d) = d**3 - 2*d**2 - 2*d + 2. Let y be s(3). Suppose -2*h - 3*w = 27, -4*h + 2 = -y*w + 1. Let l be 2*(h/4 + 2). Which is greater: l or 2?
2
Let j be 6/(-21) - 12/(-28)*17. Let b be j/36 - (14/8 - 1). Suppose 3*y - 5*p + 18 = -0*y, 4*p - 12 = 0. Which is smaller: b or y?
y
Let v = 10942/45 + -1188/5. Let x be (491 + -470)/((-7)/(-2)). Which is smaller: x or v?
v
Let y = -414 - -423. Which is bigger: y or -0.1?
y
Suppose -3 = b, -b - 62 = -2*h + 1. Let k = 38 + -8. Is k less than or equal to h?
True
Let v = 22/41 - 28/205. Which is greater: -2 or v?
v
Let w(l) = 17*l**2 + 1. Let z be w(1). Let j = 0.85 - 1.1. Let x = 0.75 - j. Is z >= x?
True
Let c = -7 - -7. Let s be (-2)/((-4)/1160*-5). Let u be (6/s)/(12/(-16)). Is u bigger than c?
True
Let v be (-8)/(-170) - (-34)/(-85). Suppose -o = -5*s - 15, -22 + 2 = -2*o + 5*s. Suppose -3*r = -o*f - 6*r - 8, 0 = -2*r - 2. Is f <= v?
True
Suppose -8 = -2*d + 4. Let q be 2/(-6)*-6*31. Suppose -8*c - 14 + q = 0. Are d and c unequal?
False
Let t(q) = 15*q**2 - 6*q - 1. Let h be t(-2). Let r = h - 67. Is 5 at most as big as r?
False
Let i be 112/(-16) - (-1 + 105/(-18)). Suppose 0 = 4*h - 3*a - 30, -h + 5*a = -4*h + 8. Suppose -g + 4*m = g - h, 0 = -4*m - 4. Which is smaller: i or g?
i
Suppose 0 = -d + 1 + 15. Let r(l) = -95*l - 80. Let q be r(-1). Which is bigger: d or q?
d
Suppose 7*m - 4*m - 2*s - 7 = 0, -11 = -5*m + 3*s. Let w = -20164/13 - -1552. Is w bigger than m?
False
Let a be 8 + -3 + -8 + -10. Which is bigger: a or -58/5?
-58/5
Let z = 2.21 - 0.21. Let c = -47.0208 - -0.0208. Which is bigger: z or c?
z
Suppose 76 = f + 8. Suppose 4*n - f = 160. Let t be n/(-9) + (-2)/(-6). Is -4 bigger than t?
True
Let b(k) = -2*k**2 - 10*k - 8. Let x be b(-6). Let z be x/(-8) - 1/(-2). Let t be 42/(-35)*(-5)/3. Is t smaller than z?
True
Let g be -1 - (-24)/(-3) - (5 - 6). Is g greater than -65/7?
True
Let g = -3/52 - 511/156. Which is bigger: g or -2?
-2
Let o be 50/((-5)/(-1)) - 0. Let c(k) = -k**3 + 9*k**2 + 11*k - 10. Let x be c(o). Suppose x = 5*y - 7*y - 8. Is -5 at least y?
False
Suppose 164*p + 60 = 169*p. Let k = -1 - 1. Which is smaller: k or p?
k
Let l = 42 + -38. Suppose -l*k + 7 = 23. Is -5 > k?
False
Suppose 1 = -7*x + 29. Let m(q) = q**3 + 3*q**2 + q - 2. Let o be m(-2). Do o and x have different values?
True
Let r(i) = 13*i - 2. Let d(u) = 7*u - 1. Let w(h) = 11*d(h) - 6*r(h). Let x be w(0). Let a = 25/6 + -4. Which is smaller: a or x?
a
Let s be 0/2 - (-19)/(304/344). Which is bigger: 22 or s?
22
Let c = 9 + -20. Let y = -71 + 77. Suppose -y*g = -21*g - 165. Are g and c unequal?
False
Let m be (-1 - (-58)/62)/2. Let u = 0.2 - 0.23. Let p = 0.03 + u. Is m <= p?
True
Let x(b) = -b**2 + 14*b - 48. Let a be x(10). Which is greater: 13 or a?
13
Let b = -156 - -157. Is -1/54 < b?
True
Suppose k = -v - 1, 11 + 0 = -2*v - 5*k. Suppose 3*m = -0*m - 4*w + 16, -2*m + 3*w - 12 = 0. Which is smaller: m or v?
m
Let x = 36 - 38. Which is bigger: 1/3 or x?
1/3
Let j = -1093 + 1092. Is -21/115 <= j?
False
Suppose -3*u + 0*u = 5*t, 3*u + 21 = 2*t. Suppose 11 = d - t*p, p = -3*d + 2*d + 3. Is d <= -5?
False
Let x = -14 - -28. Let g = -2 + -16. Let i = g + x. Is -2 equal to i?
False
Let s be 2/52*(-8 - (-117)/18). Which is greater: 1 or s?
1
Let r(b) = 2*b**3 - b**2 - 4. Let x be r(2). Let c be (4/x)/((-6)/(-4)). Which is smaller: 2 or c?
c
Let a(r) = r**2 + 10*r - 10. Let s be a(-10). Let m be (7/42)/(s/(-16)). Is m at least 1?
False
Let r be (2 - 125/63)/((-30)/(-72)). Which is greater: 1 or r?
1
Let m = -4 - -8. Let p = m + -7. Let w = 7 - p. Is 11 less than or equal to w?
False
Let g be 7 - 21*(-2)/(-1). Which is smaller: -36 or g?
-36
Let f be ((-13)/(-26))/((-2)/(-16)). Suppose 3*k = -f*c - 17, -4*k - 4 = 3*c - 0*k. Is c >= -9?
True
Let h be (-4)/10*(0 - 5). Let u be (-32)/18 + (h - 0). Let r(y) = y**2 - 10*y - 56. Let t be r(14). Is u equal to t?
False
Let g be (-3)/12 + (-15)/4 - -60. Is g < 56?
False
Let w be 28/175*5*5. Let x = 8 - 3. Which is smaller: x or w?
w
Let n = 0.17 - -6.83. Let k = 6.97 - n. Are k and 2 nonequal?
True
Let u = -26 + 57. Suppose p = -3*c - 15, -2*c = -3*p - 4*c - u. Let w = -15 - p. Is w at most as big as -2/9?
True
Let w = 1603275/16544 - 1066/11. Let n = -22567/10528 + w. Which is smaller: n or -3?
-3
Let x = 242711/61 - 3979. Which is greater: x or -1?
x
Suppose 5*b + 3*f + 0 - 40 = 0, 2*b + f = 17. Suppose 77 = -4*u + 2*g + b, 3*u + 54 = 3*g. Which is smaller: u or -16?
-16
Let g = 27/35 - 1/5. Let n = 52 + -51. Which is greater: n or g?
n
Let w(d) = -d**3 + 4*d**2 - 2*d - 3. Let c be w(3). Let t = -7188 + 2487051/346. Let g = -761/7958 + t. Does g = c?
False
Let i be ((-191)/(-4) + 0)*(-1696)/56. Let a = i + 1439. Is a equal to -7?
False
Let o be (4/(-12))/((-12 + 7)/75). Which is bigger: 59/12 or o?
o
Let v(j) = 4*j**2 - 24*j + 4. Let h be v(7). Which is smaller: 36 or h?
h
Let f = -0.24 + 0.04. Let a = -3.8 + -0.2. Let g = a - -2. Is g greater than f?
False
Suppose -4*d - 4*s - 144 = 0, -5*d + 4*d = 2*s + 36. Let q be 3/(-2)*16/d. Is q greater than 1?
False
Let d be 15/18 + (-24)/72. Is 227 greater than d?
True
Let k = -0.0483 - 9.9717. Let m = k + 10. Let r = -4 + 2. Which is smaller: r or m?
r
Suppose 13*w - 630 = 15*w. Let i be 8/6 - (-438)/w. Is 2 smaller than i?
False
Let d = 6 + -3. Let y = 18 + -30. Let b be (y/8)/((-15)/(-4)). Is b smaller than d?
True
Let c(y) = y**3 + 8*y**2 - y + 5. Let m be c(-6). Let o = 73 - m. Which is smaller: o or -9?
o
Let w = -844 - -818. Which is smaller: -28 or w?
-28
Let a = -48 + 65. Let o = -16 + a. Do -36 and o have the same value?
False
Suppose 2*i + 4*b = -4, -5*b - 6 = 3*i - 3*b. Let a(q) = -4 + 3 + 0*q - q + 2. Let f be a(1). Is i bigger than f?
False
Suppose 12 = -2*v + 16. Suppose 14 + 2 = -v*t. Is t equal to -7?
False
Let q(c) = 23*c + 8. Let n be q(1). Suppose 29 - n = -h. Suppose -3*v = -7*v + 8. Is v at most as big as h?
True
Suppose -72 = 2*g - d, -2*g - 2*d = -34 + 100. Which is smaller: -37 or g?
-37
Let o = -9 + 11. Let i(j) = 7 - j + 3*j - o. Let r be i(-3). Which is greater: -4/7 or r?
-4/7
Suppose -3*i = x + 14, -x - 30 = 5*i + 2*x. Let y = 81/7 - 211/14. Which is smaller: y or i?
y
Let t = -1891 - -1333. Which is smaller: -557 or t?
t
Let u = 2.1 - 1.1. Let i = -99.5 + 99. Which is bigger: i or u?
u
Let d = 562 + -545. Is 14 not equal to d?
True
Let v = -34661 + 242197/7. Let t = v - -12456/203. Is t at least -1?
True
Let v(k) = -19*k**2 + 34*k - 5. Let z be v(3). Is z at least -0.2?
False
Let l = -240 - -3839/16. Let d = -0.07 + -4.03. Let h = 4.2 + d. Are l and h equal?
False
Let j(a) = -a**3 - 5*a**2 + a + 9. Let n be j(-5). Suppose -n*s = 4*v - 20, 6*s + 9 = 3*s. Which is bigger: 7 or v?
v
Let b = 4 - -1. Suppose 4*l = 4*c - 20, -2*c + 12 = -b*l + 2. Let a = 5427/23 + -236. Is a <= l?
True
Suppose -5*k - 3*o = -118 + 19, -2*o + 24 = k. Is 36 less than k?
False
Let f be (-10)/1*(-1)/(-2). Suppose -4*q = -100 + 28. Suppose 0*o - q = 3*o. Is f at least o?
True
Suppose -6*i + 4*i - 2 = 0. Let n be ((-583)/(-159))/((-10)/6). Which is greater: i or n?
i
Let f = -60 - -34. Let p(j) = 3*j + 36. Let m be p(-8). Let d be (-5)/45*m/f. Does d = 1?
False
Let h be 50/(-3) - (-1)/(-3). Let c = h - -13. Suppose -16 = 4*r - 0*r. Is r at least as big as c?
True
Let y be 10/35 + 35688/140. Let m = y - 8702/35. Is m less than or equal to 6?
False
Let b be 339/6 - (2 - 1 - 1). Is b less than 0.2?
False
Suppose 0 = 2*c + r + 196, 8*c - 7*c - 5*r = -98. Do c and -96 have different values?
True
Suppose -3*y - l = -2715 - 2989, 0 = -3*y - 3*l + 5694. Let q be y/(-627) + (-6)/(-2). Which is greater: q or 1?
1
Let p be 4/1*(-9)/(-4). Let v = -1229 - -1237. Is v bigger than p?
False
Let d = 3 + -2. Let h = 5 - d. Let q(l) = -4*l**3 + l**2 + l. Let y be q(-1). Is y bigger than h?
False
Let t = 622 - 623. Which is bigger: t or -3/1501?
-3/1501
Let x be ((-15)/(-12))/(15/4 + -4). Let i be 2*(-2)/4*