 be x(-8). Let n = 1.03 - 1.05. Which is bigger: n or v?
n
Let r = 0.78 + -0.08. Let g = -0.053 - -0.04. Let z = 0.113 + g. Is z smaller than r?
True
Let w = 43 + -41. Let q be ((-61)/(-2))/1 - 1/w. Is q >= 30?
True
Suppose 0 = 2*k + 2*j + 4, 2*k + 3*k + 34 = j. Let y(s) be the third derivative of -s**4/24 - s**2. Let m be y(1). Which is smaller: k or m?
k
Let t = -100 + 114.1. Let h = t - 14. Let u = -0.51 - -0.42. Is h < u?
False
Let t = 10.7 - -0.3. Let j = -8.9 + -0.1. Let s = t + j. Is 5 != s?
True
Let v = 0.057 - 0.058. Let g = -0.029 + v. Let j = 2.8 + -0.8. Which is smaller: g or j?
g
Let l(i) = -245*i + 3180. Let w be l(13). Let h = -731 - -3637/5. Which is smaller: w or h?
w
Let q = 8 - 3. Suppose 0*k + q*k + 20 = 0. Let m = 96 - 103. Is m smaller than k?
True
Suppose 2*y = -3*a - 1452, a + 0 = 4. Which is smaller: y or -731?
y
Suppose 6*f + 104 = 10*f. Let q = -43 + f. Is q at least -18?
True
Suppose 4*d + 41*v = 43*v + 4, -4*d + v = 0. Let o be (-6)/15 - 0 - 1. Which is smaller: d or o?
o
Let w = -19 + 14.8. Let b = w - -4.4. Which is bigger: b or -3/2?
b
Let u = -924 + 748. Is -4 at least as big as u?
True
Let o = 232 - 232.1. Which is smaller: o or 3/5?
o
Suppose k = 5*c + 58, 34 = k - c - 12. Let s be (-4 - -4) + 1 + k. Is 44 at most as big as s?
True
Let y = -0.0141 + -3.9859. Let i = 4 - 4. Which is smaller: y or i?
y
Let g be (9/(-30) + 0)/((-12)/155). Is g > 5?
False
Let s = 4.15 - 3.05. Which is bigger: s or -65?
s
Let i = -135 + 133. Are -1.34 and i unequal?
True
Suppose 0 = -11*b + 7 + 15. Suppose t = b*s + 10 - 5, 3*t = s. Which is smaller: -4/5 or t?
t
Let n(o) = 9*o + 23. Let r be n(-3). Let g(i) = i**3 + 3*i**2 + 3*i + 2. Let m be g(-2). Is r equal to m?
False
Suppose 0*r = -5*v - 2*r - 29, v + 7 = -r. Is -45/11 at least v?
True
Suppose -8*m + 19*m - 418 = 0. Is 36 bigger than m?
False
Suppose 0 = -f - 5*p + 29, 0 = -4*f + 15*p - 10*p + 41. Let b be (12/8)/(2/20). Is f greater than b?
False
Let n = -97 - -74. Let c = -9.23 - -0.23. Let y = c - n. Are -1 and y unequal?
True
Let k be 25/5 + (-78)/(-90). Is k at most 5?
False
Let x be 1/2*1/2. Let f = 127 - 126. Is f >= x?
True
Let s = -67 + 72. Suppose -4*a = 3*f - 14, -5*a = -2*f + 3*f - 23. Suppose -5*g = -s*u - 15, g + 5*u = -4*g + a. Which is smaller: g or 5/6?
5/6
Let y = 0.14545 + 5.85455. Let v = -2.93 + -0.07. Which is smaller: y or v?
v
Let d = 189068/107 - 1767. Suppose -2*f + 1 = 3. Is d <= f?
False
Let j = -191 - -146. Which is smaller: j or 1?
j
Let v be 7*(6/(-8))/((-6)/8). Is v greater than or equal to 8?
False
Let v = -2/2901 - -380041/14505. Which is smaller: 0.1 or v?
0.1
Let r = 7 - 8. Let i(d) = -4*d**3 + d**2 + 2*d + 1. Let c be i(r). Let z be (-5)/(-6) + c/(-8). Which is smaller: z or -3?
-3
Let h(d) = d**3 + 13*d**2 + 11*d - 9. Let m be h(-12). Suppose -p - m*p = 8. Is -2 greater than p?
False
Let c = -2.4 + 0.5. Let m = -1.9 - c. Is m >= -1?
True
Suppose -2*c - 84 = 3*m, -m + c = m + 49. Let j be 1*(-39)/m*8/(-6). Which is bigger: j or -9/5?
-9/5
Let u(p) = -p**3 - 11*p**2 - 11*p - 9. Let k(j) = 9*j - 3. Let s be k(-3). Let i = s - -20. Let d be u(i). Which is smaller: d or -2/19?
-2/19
Let m(o) = -o + 14. Let t be m(8). Suppose 37 = 5*u + 2*y, -u = 4*y - t - 5. Is 12 >= u?
True
Let g = -1046 + 2167/2. Which is smaller: g or 39?
g
Let f be (-3)/(-5) + 80/(-50) + 1. Is 8/235 greater than f?
True
Let t be -5 + 11 - (-159)/(-26). Is t at least as big as -1?
True
Let u = -680993/79 + 8620. Which is greater: u or 1?
1
Suppose 22*x + 18 = 24*x - 2*g, -3*x - 2*g = -12. Let d be 2/(0 + (-2)/(-9)). Let z = -1 + d. Does z = x?
False
Let f = 34 - 31. Suppose f*v = 8*v - z + 20, z + 30 = -5*v. Are v and -4 unequal?
True
Let l be ((-27)/(-1125)*10)/((-2)/5). Is l at most as big as 0?
True
Let q = 99859/1245 - 401/5. Is -1 less than q?
True
Let d = 101/4 - 24. Suppose 2*o - 2 = -6. Let a be 5 + -2 - (1 - o). Which is smaller: a or d?
a
Suppose -2*s = -b + 526, s - 2*b = -5*b - 270. Which is greater: s or -265?
s
Let u = -34 - 36. Let y be (-160)/u + 2/(-7). Which is smaller: -8 or y?
-8
Let k be (((-6)/4)/(-3))/(2/272). Which is greater: 69 or k?
69
Let j = 55 - 91. Let d = j + 215/6. Suppose -2*i = 4*i. Is d greater than or equal to i?
False
Let u be 113094/148*(-20)/6. Let y = u + 2547. Is 0 >= y?
True
Suppose 8*c + 11*c = -1786. Which is bigger: c or -92?
-92
Let j be ((-70)/116)/((-14)/(-28)). Which is bigger: 0 or j?
0
Let h be 1 - (-5)/10*6. Suppose -41 = -h*j + r, -j + 3*r = -8 - 5. Is 0.1 < j?
True
Let s(k) = -4*k**3 - 2*k**2 - 3*k. Let w be s(-2). Let r(c) = c**3 + 4*c**2 + c - 4. Let q be r(-3). Suppose q*m = -3*m - w. Which is smaller: -5 or m?
m
Let k(b) = -3*b**2 - 19*b + 1. Let v be k(3). Is -81 bigger than v?
True
Let r = -1152 - -1152. Let q = -181/6 + 31. Is q bigger than r?
True
Let f = -810 + 805. Which is smaller: -67 or f?
-67
Suppose -u + 1 = 4*k - 21, -13 = -u + 5*k. Let l = u - 19. Suppose 4*z - 8 = 4*i, 10 = -5*i - 7*z + 3*z. Which is smaller: l or i?
i
Let w(k) = 55*k + 1485. Let h be w(-27). Let d be (-2)/96*-2 + 0. Which is bigger: d or h?
d
Let t(p) = -p**3 + 15*p + 4. Let i be t(4). Let r = i + -5. Let j = 2 + -6. Which is smaller: j or r?
r
Let v be 1 + 0 - 9/7. Let l(h) = 3*h - 15. Let i be l(7). Let x be (-1)/2 + (-3)/i. Is x at least as big as v?
False
Suppose -85*r = -106*r - 3024. Which is smaller: r or -143?
r
Let q = -17 - -41. Let r be (77 + -78)/(1/(-24)). Is q >= r?
True
Suppose 4*y - 3*l - 103 = 0, -y + 5*l + 36 = -11. Let t be 21 - (1 - -2)/3. Suppose t + 64 = 4*g. Is y smaller than g?
False
Suppose -h - 13 = t - 5*t, -3*h - 30 = -9*t. Is t at least as big as -14?
True
Suppose 4*v + 3*q = 27, -5*v - 3*q + 4 = -29. Let z(p) = -p**2 - 8*p - 9. Let u be z(-6). Suppose v = -u*s + 2*s + 3*n, -9 = -4*s + n. Which is smaller: 1 or s?
1
Let y = 2.98 - -1.02. Is y != -8/7?
True
Let s(r) = -r**3 + 25*r**2 + 60*r - 163. Let f be s(27). Are f and -32/25 equal?
False
Let q(c) = 5*c + 4. Suppose 2*j - 4*h = 30, 0*h - 4*h = 5*j - 19. Let p be q(j). Does 41 = p?
False
Let g(w) = -2*w**2 - 3*w + 3. Let b be g(1). Let y be (b/(-42))/(13/(-78)). Which is smaller: y or 3?
y
Suppose -4*n = -w - 30, 4*n + 0*w - 34 = -w. Let s be 6/n - (-410)/40. Which is smaller: 3 or s?
3
Let u = 9 - -20. Which is smaller: -2 or u?
-2
Let a(q) = 67*q + 2. Let k be a(0). Let n = 7 + -4.2. Is k smaller than n?
True
Let d = -76 - -74. Let b be 1 + -1 + 470/(-7). Let v = b + 65. Which is smaller: d or v?
v
Let b = -12.8 - -6.8. Let h = b - -5.6. Which is greater: 1 or h?
1
Suppose -83 = 10*s - 73. Which is smaller: s or 2/289?
s
Let x = -129 + 137.6. Let h = 4.6 - x. Is h at most 15?
True
Let d = -1375 - -1150. Which is smaller: d or -224?
d
Let y = 417 + -304. Is 114 less than or equal to y?
False
Suppose -5*f = -4*z - 613, z = f - 50 - 103. Is -154 > z?
False
Let h be ((-7)/21)/(((-21)/108)/7). Which is bigger: h or 8?
h
Let k(j) = -j**2 + 7*j + 17. Let c be k(9). Let r be c - (64/22)/(-4). Suppose 4*b - 4 = -0. Is b less than or equal to r?
False
Let l = 824 + -811. Which is bigger: l or -0.13?
l
Let c be 0/(8 + -8 + -2). Is c != -5/13?
True
Let f be (-6 + -2)*((-93)/(-6) - 4). Is f > -1?
False
Suppose 0 = -3*r - 0*r - 9. Let i be (r/57 - 1) + 1. Is 0 at most i?
False
Let a(c) = -48*c**3 + 2*c**2 - 5*c + 5. Let k(l) = -24*l**3 + l**2 - 3*l + 3. Let d(n) = -3*a(n) + 5*k(n). Let b be d(1). Let v = -25 + b. Is v equal to -3/4?
False
Suppose -27 = 6*y + 243. Let d = -41 - y. Let w(r) = -r**3 - 2*r**2 + 2*r. Let f be w(-3). Which is smaller: f or d?
f
Let g = 27 - 17. Let m be (2 - (-2)/g) + 1. Let y = -0.0124 + 1.0124. Is m < y?
False
Let r = -145159/27 - 67/54. Let p = r + 5249. Let d = p + 137. Which is smaller: 10 or d?
d
Suppose -42*f = -36*f + 36. Let d be (f + 0 + 1)*(-70)/25. Which is bigger: 11 or d?
d
Let d = -167 - 99. Which is smaller: d or -265?
d
Let m(f) = f**3 - 13*f**2 + 10*f + 9. Let y be m(7). Does y = -215?
True
Let w = -266 - -268. Let x = 76/33 - -1/33. Is x equal to w?
False
Let g be (-732)/(-2)*2/4. Suppose -g = -5*i + 2*j + 5, -4*i = -5*j - 164. Let r be 48/i*(-3)/2. Is r at least as big as -3/4?
False
Let s = 482 + -370. Which is smaller: 0 or s?
0
Let t = 2 - 4. Let v = 3.9 + t. Let d = -2 + v. Which is smaller: -1/12 or d?
d
Let