= -5*x. Let w = -1101/19 + 58. Is x bigger than w?
True
Let a = 36 + -26. Suppose -5*r = -3*h + 2 + a, -4*h - 4*r = 16. Let g(b) = -b**2 - b - 1. Let t be g(h). Which is smaller: t or 1/4?
t
Let r be -1*(-1 - -91) - -6. Which is smaller: r or -335/4?
r
Let j(r) = 2*r**2 - r - 4 - 7 - 6*r + 0. Let k be j(6). Which is smaller: k or 56/3?
56/3
Let w = -123/153206 + 6923077033/5362210. Let b = w + -1291. Which is smaller: b or -1?
-1
Suppose 2*y + 5*o - 635 = 0, -7*y - 4*o = -8*y + 337. Do y and 325 have different values?
False
Let p = -54.7 + 57. Let i = p + -2.4. Let l = 11.8 + -13. Is i > l?
True
Suppose -11*v = -w - 7*v - 16, 16 = 4*v. Which is greater: 5/33 or w?
5/33
Suppose -3*n - 3*k + 138 = 0, -2*n + 2*k - 7 = -95. Which is bigger: 48 or n?
48
Suppose -3*m - 1424 = 3*x - 3479, 4*m = x + 2715. Is m < 678?
False
Let g = -10 + 7. Let o = -44 - -46.4. Let j = o + g. Is -1/2 bigger than j?
True
Let n = -1339 - -9356/7. Which is greater: 0 or n?
0
Let p = 939 - 23471/25. Which is bigger: 0 or p?
p
Let z(f) = f**2 - 4*f - 9. Let k be z(9). Suppose 6*x - 2*x = k. Let c(g) = g**2 - 8*g + 10. Let t be c(8). Which is smaller: t or x?
x
Let l be (140/15 - 7) + -3. Let g(v) = v**3 - 4*v**2 + v - 5. Let d be g(4). Which is greater: l or d?
l
Suppose 0 = -110*i + 114*i - 4. Let d be -2 - (1947/90)/(-11). Is d equal to i?
False
Let m = -275/3 - -3305/36. Is 1 equal to m?
False
Suppose 2*v - 18 = -2*a, 3*a - a = -3*v + 24. Suppose 27*y - 36*y = -72. Is y greater than or equal to v?
True
Suppose l = -2*f + 777, -4*l + 9*f = 11*f - 3090. Which is smaller: 772 or l?
l
Let v = 1537 - 1548. Which is smaller: 0.17 or v?
v
Let h = -20.7 - 4.3. Let g = -23.2 + 22.2. Is h smaller than g?
True
Let n = 21 - 43. Let u be n/(-18) + (-4)/18. Let g be 2 + 1/6*-13. Which is greater: g or u?
u
Let k(s) = -s - 16. Let m be k(-10). Let w be (-1)/18*4/m. Is 0 smaller than w?
True
Let p be (-10)/(-4) - 9160/80. Do -113 and p have the same value?
False
Let v = -32 - -28. Let m be (18/84)/(2/v). Suppose 1 = x + 2. Is x at least as big as m?
False
Let d be (-4 - 1)*6/100*10. Does d = 4?
False
Let x(b) = -10*b + 301. Let d be x(30). Which is smaller: d or -1/375?
-1/375
Let q = -1161/4 + 3649/12. Is 13 less than q?
True
Let f = -318 + 17179/54. Which is greater: f or 1?
1
Let a be (-5)/(-3)*(-40)/(-575). Is a less than or equal to -1?
False
Suppose 0 = -5*l + 3 - 8. Let g = 2 + l. Suppose -65*i + 223*i - 221 = 411. Is i less than g?
False
Let b = 1 + 0. Suppose 4*i - 3 - b = 0. Let y = -248/15 - -82/5. Is i less than or equal to y?
False
Suppose 2*q - 4*h - 336 = 0, 5*q = -0*q - 2*h + 804. Is q < 163?
True
Let t be 5/7*(-1 + 2). Let v be (24/(-525))/(1/(-20)). Let w = t - v. Which is greater: w or 4?
4
Let l = 434 + -434.1. Let o = -3.6 - 0.4. Which is smaller: o or l?
o
Let f = -157.6 - 0.4. Let a = f - -142. Let h be 3/4*2/(-6). Is h != a?
True
Let d(l) = -2*l + 2. Let q be d(5). Let r be (-11 + 15)*(-150)/q. Is r > 75?
False
Let u = 28 - -26. Let o = 55 - u. Is o less than 19?
True
Let n be -5*4*1/4. Let v be (8/(-410))/(-7 - n). Which is greater: -1 or v?
v
Suppose 4*v - d = 548 + 371, v = -2*d + 223. Which is smaller: v or 2?
2
Suppose -4*b + 2*b + 154 = 0. Let a = -13 - -9. Let q be (b/(-14))/(2/a). Which is greater: q or 10?
q
Let l be 2 - (0 - -4) - -1. Let t be ((-3)/16)/(14 - (-405)/(-30)). Which is greater: t or l?
t
Let a = -87.4 + 93. Let i = a + -5.48. Which is smaller: i or -0.4?
-0.4
Let v(x) = -33*x + 174. Let f be v(5). Is f smaller than 7?
False
Let r(l) = -l - 6. Let t be r(-29). Let f be 333/15 - 1/5. Which is smaller: f or t?
f
Let x(y) = -y + 9. Let o be x(7). Suppose 51 = -5*c - o*n, 0 = -0*c + 2*c - n + 15. Suppose 8*t - 36 = 12*t - l, 0 = -2*t - 3*l - 18. Is c less than t?
False
Suppose -51*y = -49*y + 26. Which is bigger: -42 or y?
y
Let v(j) = -j. Let m be v(-3). Suppose -5*o = -m*o. Suppose 0 = -6*l - o*l - 72. Is -13 greater than l?
False
Let o = 19 + -2. Suppose 6*l = -14*l - 0*l. Is o less than l?
False
Let i be ((-56)/2048)/(1/(-2)). Is i not equal to 1?
True
Suppose -4 = g + g. Let h be (-3)/(1/(g/2)). Suppose -2*s - h = -1. Is -1 at most s?
True
Let x = 0 + 0.18. Let h = 1.58 - x. Let o = -1.42 + h. Is 2 less than o?
False
Suppose 3*w + 5*f = 15 + 41, 4*w = -2*f + 70. Suppose 12 = 7*o - 23. Suppose -4*b - 42 - 34 = -4*a, -o*b - 63 = -3*a. Is w != a?
True
Suppose -4*j + 32 = -5*f, -5*f = 48*j - 51*j + 29. Let r be (-1 + -1)*-1 - 4. Let u be (-6)/(-1 + (-5)/r). Is f less than u?
False
Let s be (-48)/(-15) + -2 + -1. Which is bigger: -0.137 or s?
s
Let x(b) = 2*b**2 - 10*b + 18. Let l be x(8). Let z be l/(-68) - (63/14 - 6). Which is smaller: z or 0?
0
Let r(y) be the first derivative of y**4/4 - 4*y**2 - 3*y + 21. Let p be r(-3). Is p at most as big as -5?
True
Let j = 60 - 62. Is 2/3 greater than j?
True
Suppose 5*p + 3*y = -4, -7 - 3 = -5*y. Suppose -3*w + 3 = 2*a + 9, -3 = 3*w + 3*a. Which is greater: p or w?
p
Suppose 6*x = -212 + 260. Is 112/17 less than or equal to x?
True
Let l = -212/87 - -90/29. Suppose 39 - 3 = 4*d. Which is smaller: d or l?
l
Let l = 52 + -56. Let g = -10 + 10.08. Is l at most as big as g?
True
Let k(v) = 3*v - 5*v - 4 + v + 2*v. Let n be k(3). Is 1/3 at least n?
True
Let h(v) = v + 5. Let d be 3 + (-2 - (-3 + 6)). Let c be h(d). Let i = 9 - c. Which is smaller: 5 or i?
5
Suppose 0 = 41*s - 43*s - 260. Which is smaller: s or -386/3?
s
Let k = -36601 + 329882/9. Let z be (-4 - 88/(-24))*(0 - 159). Let h = z - k. Which is greater: h or 0?
h
Let f = 1299 - 6468/5. Let g be (2/6)/((-6)/(-2196)). Let r = g - 116. Which is greater: f or r?
r
Let q be 595/203 - (-13)/(1508/8). Let b = 195/7 + -1079/42. Are b and q equal?
False
Let u = -0.5 - 2.5. Let n = 4643 + -4661. Which is smaller: n or u?
n
Let k = 0.7 + 4.3. Let g = k - 4.9. Let v = -9 + 13. Is g at least v?
False
Suppose -194*y = -165*y - 5017. Do 173 and y have different values?
False
Let c = -13 + 11.9. Let z = c - -1.087. Which is greater: 2/3 or z?
2/3
Let i = 437 + -474. Which is smaller: -38 or i?
-38
Let a be 4/(-12) - (-203)/(-3). Let b = -294 + -420. Let x be (-8)/a - 52/b. Is -1 >= x?
False
Let g = 0 - 0. Let b = 2299/3 - 786. Let y = -20 - b. Which is bigger: g or y?
g
Suppose 5*y = 49*y - 4928. Which is smaller: 111 or y?
111
Let d be (((-1)/(-3))/(-1))/((-19)/228). Suppose 0 = p + z + 3*z - 16, 16 = 4*p + d*z. Let j = -394/7 - -56. Is j <= p?
True
Let m be 3/((-18)/(-12)*-1). Does m = -24/29?
False
Suppose -12*l + 7*l - 290 = 5*q, 2*q - 5*l = -123. Are q and 3 non-equal?
True
Let n be (3 + -6)/(25/(-2)). Let j = n + -16/25. Is 0.1 less than or equal to j?
False
Suppose 0 = 4*o - 5*f - 25, 0 = -2*o - 6*f + 5*f + 23. Which is greater: o or 5?
o
Suppose 66 = -2*r + 30. Let w be 88/1 + (7 - 7). Suppose 5*g - 2*i + w = 0, -2*g + g - i = 19. Is r > g?
False
Let a(z) = -z**3 + 3*z**2 + 3*z - 7. Let d(o) = 2*o**3 - 6*o**2 - 7*o + 15. Let b(u) = -5*a(u) - 2*d(u). Let g be b(3). Is 9/5 smaller than g?
True
Let o(d) = -15*d - 7. Let t be o(-1). Suppose n - t*n = 14. Is n <= -25?
False
Let w = 4002.124 + -4002. Let h = 4 - 3.9. Which is smaller: h or w?
h
Let p = 12/25 + -34/175. Let v(b) = -155*b - 775. Let k be v(-5). Does k = p?
False
Suppose -18 = 18*d - 0. Is d < -11/6?
False
Let v(u) = 19*u + 58. Let z be v(-3). Which is smaller: -1/11 or z?
-1/11
Let p be (-1 + -6 + 9)/(-2). Which is greater: p or -19/53?
-19/53
Let n(s) = s**3 - s**2 + 1. Let z(u) = -2*u**3 + 4*u**2 + 4*u - 7. Let t(f) = -n(f) - z(f). Let x be t(4). Are x and 4 unequal?
True
Suppose -10 = 5*g - 0*g. Let q = g - -17/10. Is q > 1?
False
Let f(z) = -z**2 - z - 1. Let p(x) = 7*x**2 + 17*x + 16. Let t(k) = 6*f(k) + p(k). Let c be t(-10). Let a be (7 - 11)/(-26 - c). Which is smaller: 1 or a?
a
Let u be 2/(-5) - 1056/(-40). Let l = -23 + u. Suppose 0 = -g - l*g - 8. Is -6 bigger than g?
False
Let z = -156625/2158 + 1887/26. Which is smaller: z or 1?
z
Let p = 1.6 - -48.4. Let g = -57 + p. Do g and 2 have the same value?
False
Let z(j) = -j**2 - j + 5. Let b be z(-3). Let u be (1/b)/(1/7). Let i be (-23)/u - (4 - 1). Which is smaller: -2 or i?
-2
Let t(a) = -a**3 - a**2 + 12*a + 5. Let o be t(9). Which is bigger: o or -696?
-696
Let d = -0.26 + -1.74. Let u = d - -5. Are -1/3 and u equal?
False
S