e -4*t - 232 = -32. Let l be (t/4)/(-1*(-6)/(-20)). Let x = -103/3 + l. Which is smaller: 6 or x?
6
Let o = 13042 - 16125. Which is smaller: -3082 or o?
o
Let a be 15 + (-4966)/507*9. Is a bigger than -74?
True
Let c = -1523 - -1523. Which is smaller: c or 1494?
c
Let q be 130505/(-711)*(-99)/(-132). Let z = q + -1/316. Is -137 at least z?
True
Suppose -2*d + 24 = 4*d. Suppose -28 = -5*p + 42. Suppose -d*o - p = -2*o. Is o less than 0?
True
Suppose -h - 4*u = 6, -3*h - 4*u = 165 - 131. Let y = -0.1 - -1.1. Let a = y - 1.2. Is h smaller than a?
True
Let g = 7 + -1. Suppose -2*d - 2*c + 3*c - g = 0, d + 8 = 3*c. Let z = 1 - 7. Which is bigger: z or d?
d
Let d(b) = -b**3 + 11*b**2 + 25*b - 142. Let f be d(12). Suppose 0 = -2*g + g + 5, -2*a - 2*g + 12 = 0. Let x be (6/(-4) + a)*-20. Is f less than x?
False
Let s be (0 + -11)*(1 - 0). Let z(o) = o**3 + 3*o + 8 - 4*o**2 + 2*o - 7*o. Let r be z(4). Which is smaller: s or r?
s
Let a(k) = -2*k + 40. Let p be a(8). Let j = p + -19. Suppose -3*l = -2*f + 9, 3*l = j*f - 5 - 4. Is 15 > f?
True
Let k = 44.12 - 14.35. Let b = k - -1.23. Is -5 at least as big as b?
False
Let z be (8/(-140))/(5/((-25)/(-10))). Let a be (9 - 9)/(11 + -8). Which is smaller: a or z?
z
Let p(u) = u**3 + 8*u**2 - 27*u. Let m be p(4). Is m bigger than 88?
False
Let a be 0*-1*2/(-4). Let x = 334 + -397. Let o be (-9)/x + 218/(-1330). Is o < a?
True
Let b(c) = 137*c + 14. Let f be b(-3). Let r = f - -391. Which is smaller: -20 or r?
-20
Let m be 20838/20 + (-226)/(-2260). Is 1041 at least as big as m?
False
Let g = -0.3033 + -5.6967. Which is greater: -10 or g?
g
Let j = 5744 - 12213. Is j less than -19411/3?
False
Let z = 4323 + -4322. Let g = -0.57 - 35.33. Is g at least as big as z?
False
Let s = 13286 + -9010. Does s = 4276?
True
Let h be (-8)/10 + 16/20. Let w be 0 + 1 + h + -1. Let q be (6/(-22) - w)/((-1)/3). Which is smaller: 2 or q?
q
Let p be 4/(-8)*0/(-4). Let a = -30.6 - -1.6. Let c = 12 + a. Which is greater: c or p?
p
Let y(j) = 229*j + 16274. Let a be y(-71). Let d(c) = -c**2 - 8*c - 1. Let z be d(-6). Which is smaller: a or z?
z
Let b(y) = y**3 - 5*y**2 + 3*y + 2. Let r be b(4). Let w = -618521 + 6798148/11. Let i = w + 507. Which is smaller: i or r?
r
Let f = 4251 + -1480. Is 2774 at most as big as f?
False
Suppose -8*l + 21*l = -1573. Let h = 113 + l. Let n be -2*((-27)/30 + h/(-20)). Which is bigger: n or -28?
n
Let t be (-18)/5*(-12 + 24416/48). Is t at most -1788?
True
Let y = -4710 + 4713. Which is smaller: 826 or y?
y
Let n be (3/(-9) - 1)*-6*(-8835)/(-2280). Suppose -2*s + 3*c + 45 = -2, -2*s - c + 67 = 0. Does n = s?
True
Let x(c) = c + 29. Let v be (-2 - (-65)/25) + 138/(-5). Let t be x(v). Let q(o) = 2*o - 3. Let h be q(2). Does h = t?
False
Let j = 154 - 249. Let q = -287/3 - j. Is q <= 10?
True
Let p = -0.38 - -0.37. Let x be (3/(-146))/(14 + (-1590)/120). Is x <= p?
True
Let y = -295 + 301. Let n be (2/6)/(4*y/7272). Which is smaller: 102 or n?
n
Suppose -14 = -17*a + 88. Suppose -21 = 9*q + a. Is q < -5?
False
Let c be 10/12*600/180. Let v = -134/45 + c. Which is smaller: v or 161?
v
Let g = 1 + -1. Let k be (21 - 7) + (-21)/3. Suppose g = -v - k + 19. Which is smaller: 9 or v?
9
Let j(r) = r + 25. Let c be j(-7). Suppose -3*f = -s + 2*s - c, 4*s - 2*f = 142. Let t = s + -25. Is t at least 8?
True
Let l = 14950 + -14947.186. Is l smaller than 0.4?
False
Let u = -102 - -175. Suppose 4*r + 37 + u = -2*t, 0 = -2*t - 3*r - 106. Let h = -82 - t. Is h >= -34?
False
Suppose 0 = -2*a - 4*r - 7496, 206*a = 204*a + 3*r - 7475. Which is greater: a or 1?
1
Let t = -0.046 - -0.656. Let k = t - -1.39. Is -4/3 at most k?
True
Let l be 11 + -6 + -7 - 329. Let k = -322 - l. Are k and -22 nonequal?
True
Let h be (7/(-21))/((-2)/30) - -57. Which is greater: h or 60?
h
Let t = -1 + -9. Let k = 13 + t. Let r = k - -4. Is r greater than 1?
True
Let v be ((-63)/14)/((-6)/(-16)) - -7. Which is smaller: -53/15 or v?
v
Suppose 8 = 5*u - 7. Let w = u - 0. Let o = -2/22433 - -22449/179464. Which is greater: o or w?
w
Let k = -3396 + 3396. Is 1/5283 equal to k?
False
Let t = 15597 + -15711. Are t and -0.18 unequal?
True
Let o = 2/931 - 26078/4655. Suppose 8*q - 4*q + 118 = -i, 2*q - 2*i = -64. Let p = -37 - q. Which is greater: p or o?
o
Suppose 5*h - 11 = -v, 5*h - 4 = 4*v + 2. Let w be 45/(-3)*h/(-14) + -2. Which is smaller: w or 0.1?
0.1
Let y(u) = 46*u**3 + 6*u**2 - 2*u - 7. Let g be y(-1). Is -36 >= g?
True
Let r(w) = -7*w**3 - 2*w**2 - 27*w + 31. Let l be r(1). Is l greater than or equal to -48?
True
Suppose 0 = 3*j - 2*k - 32, 3*k = -j - j + 43. Let n = -75 - -91. Suppose 5*i - n = 4*i. Which is bigger: i or j?
i
Let g = -0.0726 - 0.3374. Let h = g + -5.59. Which is smaller: 1/3 or h?
h
Suppose 0 = 4*c - 3*i - 548, -27*i + 25*i = 0. Suppose 5*g - 22 = -c. Let a = 2 - 1. Does g = a?
False
Let l = -8237 - -8328. Are l and -0.16 non-equal?
True
Suppose 5*w = -2*f + 2940, -f = 8 - 3. Suppose 14 + 2 = -2*r. Let l be (14 + -7)/(-28) + w/r. Which is smaller: -73 or l?
l
Let r be (84/(-147))/(1 - 9/7). Suppose -c + 16 = -5*i, r*c - 6*c + 4*i + 16 = 0. Which is bigger: -6/13 or c?
c
Let m = 6508 - 6508.7. Is m > 434?
False
Let l = 150.9 - 23.9. Let r = l - 132. Let x be -3 - (-5)/((-25)/20). Which is bigger: r or x?
r
Let l = -28419 + 27948. Are -1/37 and l unequal?
True
Let z = -794 + 477.1. Let y = z - -317. Which is smaller: 4 or y?
y
Let o = -1.217 + -0.907. Let i = 0.124 + o. Which is bigger: i or 3/10?
3/10
Let s = 6.058 + -58.058. Is 0.2 > s?
True
Suppose 7*q = -11*q + 90. Suppose 3*f - q*s - 7 = -36, 0 = 4*s - 16. Is f not equal to -62/23?
True
Let l be (-145638)/(-270) + 12/20. Which is greater: l or 544?
544
Suppose 0 = -m - 6*s + 3*s - 5, -4*m - 5*s - 27 = 0. Let j be 3/(-10)*m*(-935)/286. Is -8 greater than j?
False
Let w be (8/6)/(3 - (-632530)/(-210840)). Do w and -28112 have the same value?
True
Let d = -249 - -98. Are -150 and d equal?
False
Let v = -3/45760 + -1636957/45760. Let h = 179/5 + v. Which is smaller: h or -1?
-1
Suppose 6*v - 2*v = 1332. Suppose 0 = g + 3, 2*b + b - g - v = 0. Do -1 and b have the same value?
False
Let c be 4 + (4 - -4588)/7. Suppose 4*u - 3*y = -5*y + c, 3*u - 495 = 4*y. Which is greater: u or 166?
166
Let a = -48 + -20. Let v be a/510 - (118/165 + -1). Is 1 equal to v?
False
Let b(w) = -146*w - 1311. Let i be b(-29). Which is smaller: i or 2924?
i
Let s be (27 + -22 - (0 + -376)) + -4. Let i = s + -421. Is i < -45?
False
Let i(k) = 11*k**2 + 33*k - 165. Let z be i(5). Which is smaller: z or 270?
270
Let s(l) = l**2 + 11*l - 3. Let x be s(-11). Let p be (1 + -1 + -5)*1. Which is greater: p or x?
x
Let j(y) = y**2 + 2*y - 323. Let z be j(17). Let b(t) be the first derivative of t**2 - 29*t + 2. Let p be b(z). Which is bigger: -30 or p?
p
Let u(v) = 30*v**2 - 37*v + 39. Let t be u(1). Let n be 24/(-4)*(-16)/3. Is n not equal to t?
False
Suppose -10*a = 236 - 1006. Suppose 9*u - 86 = -a. Which is smaller: 5/11 or u?
5/11
Let k = 59 - 82. Let i(l) = -3*l**3 - 58*l**2 + 90*l + 978. Let j be i(-20). Is k greater than j?
False
Let q = 721 + -1280. Let w = q - -1197. Which is greater: 637 or w?
w
Let p = 7.839 + -636.239. Let x = -630 - p. Let g = 3.9 - 4. Which is smaller: x or g?
x
Let f(z) = -z**3 + 21*z**2 - 16*z - 29. Let c be f(20). Let g = c + -45. Let v(s) = -s**2 + 7*s - 6. Let t be v(6). Which is greater: t or g?
g
Suppose 0 = 205*u - 169*u - 13896. Which is greater: 0.4 or u?
u
Let i be (17 + (-1444 - 21))*-2. Which is bigger: 2897 or i?
2897
Suppose -57*y + 5*y = 29*y - 1053. Which is smaller: 606/47 or y?
606/47
Suppose 0 = -6*n + 3*n + 2*k, -3*k = 0. Let x be 1 + -601*1/604. Is n < x?
True
Let v(o) = -o**2 - 14*o - 66. Let f = -159 - -159. Let a be v(f). Which is bigger: -69 or a?
a
Suppose 4*x = -3*n - 5, 92*n = 2*x + 88*n - 14. Let t be 11/3 + 4/(-6). Is t at least x?
True
Let s = -935.5 + 173.5. Let v = 741 + s. Let c = -1 - 0. Which is bigger: c or v?
c
Let f = 2 - 2. Suppose -4*s = 3*c + 50, f*c = -2*s + 4*c - 14. Let h = -3171 - -3163. Which is greater: s or h?
h
Let d be ((-4)/530)/(2289/105). Which is greater: d or -1?
d
Let p be 0 + -5 + 456/24. Suppose 0 = 4*i + 10*i + p. Let n(w) = 7*w**3 - 3*w**2 - 3*w. Let y be n(i). Which is smaller: -6 or y?
y
Suppose q - 8 = 5*c