 1). Is -4 bigger than z?
False
Let i = -27 - -28. Let h = i + -29. Let t = h + 27. Is 1/9 >= t?
True
Let b be (-3)/18*(-160)/6. Let y = -3960 + 3963. Is y greater than b?
False
Suppose 0 - 6 = -2*z. Let t be z*-1 + (14 - 11). Let i = t - 0. Which is smaller: i or -1/26?
-1/26
Let b be -1*2 + (-18617263)/77. Let r = b - -242347. Let o = r + -562. Is o at most as big as 0?
False
Let j = -22.16 - -21. Let u = j + 2.03. Let d = -1 + u. Which is bigger: 0.1 or d?
0.1
Let l be 3*2 + (-1 + -5 - 0). Which is smaller: l or -2/213?
-2/213
Let q(w) = -w**3 + 6*w**2 - 6*w + 5. Let p be q(5). Suppose p = 4*n - n - 9. Let x be ((-14)/(-5))/(-5*(-54)/225). Is n bigger than x?
True
Suppose 10 = a - k, a + k = -3*k + 20. Suppose 4*v = -3*o + 24, -4*v + 8 = 2*o - a. Is o greater than or equal to 1/6?
True
Let i be (-4)/(13 + -8 + -1). Which is greater: -1/426 or i?
-1/426
Suppose 0 = 5*j + 2*l + 49, -54 = 2*j - 4*l - 20. Let k be (2*1)/((-20)/120). Do j and k have the same value?
False
Let q(t) = -4*t**2 - 6*t + 3*t**2 + t - 1. Let b be q(-2). Let s be (b/10)/((-5)/(-2)). Is s at most -1?
False
Let t be ((-1173)/297 - -2)/(1/(-3)). Let h = t + -90/11. Is h > -1?
False
Let u = 443 - 360. Is 83 at least as big as u?
True
Suppose 0 = 2*t - 5*t - 45. Let q be 18/10 + (-3)/t. Let b = -152 - -153. Which is smaller: q or b?
b
Let s = -791 - -791.14. Which is greater: 1.3 or s?
1.3
Let g = 376 + -446.7. Let u = 74 + g. Does u = -1?
False
Let i = -0.617 - 0.173. Let w = -0.89 - i. Which is smaller: -1/2 or w?
-1/2
Let y(f) = -19*f**3 + 5*f**2 - 10*f + 11. Let q be y(3). Is q less than or equal to -487?
True
Let l = -313 - -958/3. Suppose -167*x - 18 = -170*x. Is l at most as big as x?
False
Let m(u) = -u**2 - 12*u + 18. Let w be m(-14). Let l = w + 8. Let x be -4 + (-12)/(-15) - l. Is -2 less than x?
True
Let m = 88 - 87. Let u be (-4)/25*(-25)/(-130). Is u < m?
True
Suppose -3*g = -6*g - 3. Let b(r) = r + 1. Let z be b(g). Let w = -2/971 + 2008/32043. Which is greater: w or z?
w
Let s = -62783/39 - -4841/3. Which is bigger: s or -0.4?
s
Let i = 82.8 + -77. Let j = i + -5.9. Which is smaller: j or 0.47?
j
Let s = 1/22 + 5/374. Suppose 5*w - 26 - 39 = 0. Suppose 2*b - 5*z + w = 0, 2*b + z + 1 = 6*b. Which is smaller: s or b?
s
Let r(o) = -13*o**2 - 27*o + 36. Let p = 11 + -4. Let b(j) = -4*j**2 - 9*j + 12. Let i(q) = p*b(q) - 2*r(q). Let w be i(-6). Which is smaller: -5 or w?
w
Let u = 603 + -704. Is u != -96?
True
Suppose 0 = -4*f + 248 + 52. Let t be (-10)/f + (2 - (-332)/(-210)). Do -11 and t have the same value?
False
Suppose 0 = -3*d - 5*n + 5, -3*d + 5*n - 3 = 2. Let x(p) = -p + 1. Let b be x(-7). Suppose 2*v = -2*v + b. Is d greater than v?
False
Let p = 55.6 + -71.68. Let w = p - -16. Which is smaller: 0.1 or w?
w
Let z = 87/10 + -2563/290. Which is greater: 0 or z?
0
Let w be (-6)/(-57) - (-8700)/(-98895). Which is bigger: 0 or w?
w
Suppose -4*w + 13*w = 27. Let h be (-273)/28 - 1/4*w. Is -12 greater than h?
False
Let p = -28.8 - 0.2. Let j = -48 + 75. Let i = p + j. Is i < 6?
True
Let q = 7 + -2. Suppose -c - 4 = -3*c. Suppose o + c*y - 6 = 0, -o + 2*y - 3 = -q. Which is smaller: -2 or o?
-2
Let o = -26 - -38. Let p = -11195 + 11202. Which is bigger: p or o?
o
Let b = 149/2196 + -3/244. Which is greater: b or -2/5?
b
Let n = -736.585 + 736. Which is greater: -1/3 or n?
-1/3
Let h be (-1258)/(-666) - 5/3. Is h less than or equal to -5?
False
Let b be ((-4)/352*-6)/((-2)/(-8)). Let h = b - 41/231. Suppose 0*y + 2*y = 0. Which is greater: y or h?
h
Let n(f) be the first derivative of f**4/12 + 5*f**3/3 + 3*f**2/2 + 2. Let m(b) be the second derivative of n(b). Let s be m(-7). Are s and -5 equal?
False
Let i(g) = -g**3 + 3*g**2 + 2*g + 1. Let z be i(2). Let t be (-4)/(-6)*z/6. Let s be 196/(-6125)*(1 + 3/2). Is t bigger than s?
True
Let q be 4/14 - (-2)/(-7). Suppose 0 = 2*j + j + 264. Let m = 87 + j. Which is greater: q or m?
q
Suppose 954*u - 962*u - 5040 = 0. Is u at least as big as -630?
True
Suppose 0 = 11*g - 163 + 20. Let b(z) = z**3 - 8*z**2 + 9*z - 9. Let n be b(7). Suppose 2*d - 30 = 2*q, d + n*q + 3 = 6. Is g at most as big as d?
True
Let o = -65.9 - -84. Let p = o + -18. Let b(q) = -4*q + 4. Let x be b(5). Which is greater: x or p?
p
Let v(l) = l**2 + 15*l + 28. Let j be v(-13). Suppose 5*u = j*t + 73, 2*t - 3*u - 6 + 85 = 0. Is t at most -45?
False
Let h(l) = l**2 + 6*l - 3. Let g be h(-3). Let c be (g + 10)*58/4. Do c and -29 have different values?
False
Let d = -908 + 907. Which is bigger: -64/5 or d?
d
Let n = -489 + 489. Let r be 1/5*(-10)/108. Let g = r + 61/378. Which is smaller: g or n?
n
Let w = 543 - 536. Let l = 3 - -1. Is l at least as big as w?
False
Let p(z) = -12*z + 96. Let h be p(8). Is h at least as big as 3/106?
False
Let i = 0.1357 - 0.0357. Is 0.175 less than i?
False
Let i(r) = r**2 + 21*r + 39. Let j be i(-2). Let f be (-5)/(-12) + (-4)/6. Which is smaller: f or j?
f
Let o = 1.7 + 0.5. Let v = o + -1.7. Let i = -1.05 - -0.05. Is v greater than i?
True
Suppose 26*s - 50*s = -17*s. Which is greater: -1/656 or s?
s
Let j(k) = 4*k + 4. Let w be j(-2). Suppose -12 = 10*x + 8. Is w < x?
True
Let x = 6 + -4. Let j = 43 - 43. Suppose j = -11*z - 30 + 74. Is z smaller than x?
False
Let o = -11 - 5.6. Let v = 41 - 58. Let l = o - v. Which is smaller: -0.3 or l?
-0.3
Let m = -14 + 11. Let t be (-4)/12 + (-22)/m. Suppose 2 - t = -5*s. Is -1 bigger than s?
False
Let u be ((-6)/(-9))/((-2)/24). Let s be -1 + 24/(-105) + 1. Let t = s + -6/35. Which is smaller: t or u?
u
Let a = 91.1 + 8.9. Are a and 0 equal?
False
Let l be 15/9 - (-6)/18. Let w be -1 + l - (10/2 + -8). Which is smaller: w or 0.3?
0.3
Let g be 46/70 + (-6)/(-30). Let w be 10/(-6) - (-3)/(-9). Let x = w + 3. Is g less than x?
True
Let y = 0.34 - 1.34. Let h = -50 - -38. Is h at least y?
False
Let r be 11 + -13 - 2/(6/(-3)). Let l be 1 - (r - (-1 + -1)). Does l = -3/5?
False
Suppose -5*a - 4*y = -3, 5*a + 9 = 4*y - 4. Suppose -2*m + 4*s - 18 = 0, m - s = -2*s. Let t be 2/(-20)*(-4)/m. Which is smaller: a or t?
a
Let l = 260.812 + 0.188. Is l smaller than -1?
False
Let u = 1036 - 1250. Which is smaller: -213 or u?
u
Let a = 7 - 7.04. Let w = 0.14 + a. Let f = 36.6 - 21.6. Is f at least as big as w?
True
Let c = -46 - -47. Let n = -60 + 28. Which is smaller: c or n?
n
Let i be 2/((-6)/15)*8/(-20). Is i at least 3?
False
Let q = 40 - 29. Let w = q - 1. Let g(i) = -i + 7. Let c be g(6). Which is bigger: c or w?
w
Suppose 4*s + 3*g = 10, -10*s - 4*g + 9 = -9*s. Is 18 at least as big as s?
True
Let i(x) be the third derivative of -x**5/60 - 3*x**4/8 - x**3 - 19*x**2. Let j be i(-8). Does j = 2?
True
Suppose -2*v - w = 0, -4*w - w - 11 = -v. Let k be (-3 + (4 - 0))/v. Let r be (-159)/(-780) - 2/13. Is r smaller than k?
True
Let u be 14/(-42) - (236/6)/2. Does -20 = u?
True
Let j be (6 - 7)/(0 + -1). Let t be (j/3)/(6/234). Let w = t - -3. Do 15 and w have different values?
True
Let c = 325 - 325.083. Is 0 greater than or equal to c?
True
Suppose 17*o + 156 = -405. Is 1 greater than or equal to o?
True
Let k = -2929/3 - -977. Let c = 6/13 - 55/91. Do c and k have the same value?
False
Let l = -10172 - -315372/31. Let n = -6774510 - -8190380999/1209. Let g = l + n. Which is smaller: g or -1?
-1
Let j(b) = b**3 - 13*b**2 - 30*b + 45. Let r be j(15). Is 57 equal to r?
False
Let y be 23/(-5) - (6/(-8))/((-260)/(-208)). Let c(n) = -n**3 - 3*n**2 - n - 1. Let u be c(-4). Is u equal to y?
False
Let g = -15.87 + -0.13. Let j = -18.4 - g. Let d = -2.7 - j. Does d = -1/3?
False
Suppose -5*v + r - 35 = 0, -2*r - 3*r = 25. Let f = v - -54/7. Which is greater: f or -1?
f
Let y(l) = -l**3 + 44*l**2 - 43*l + 64. Let r be y(43). Are 64 and r non-equal?
False
Let k = -0.0213 + 0.0213. Let h = -0.103 - -5.203. Let v = -0.1 + h. Which is smaller: k or v?
k
Let n = 14 - 15. Suppose 5*g - 3*g - 10 = 0. Suppose -g*l + 3*l = 0. Which is bigger: l or n?
l
Let u be (2 - -1)*(-3)/1. Let o be 4/(-8) + (-10)/(-4). Let z be u/6*2 + o. Which is smaller: z or 2/21?
z
Let w = -699 + 700. Is w < 357?
True
Suppose 0 = -3*d - 36 + 18. Let u be -6*(-5)/(-40)*(-4)/d. Which is smaller: 2/5 or u?
u
Let f = -3 - -2. Let m = -1.12 - -3.12. Is m at least as big as f?
True
Suppose -3*p + y = -60 - 28, -p - 5*y + 8 = 0. Suppos