Is x bigger than 0.8?
False
Let w(z) = -z**3 - 2*z**2 + 4*z + 1. Let c be w(-3). Let d = -1 - c. Let t = -1898/19 - -100. Is d >= t?
True
Let v = -1232/9 - -137. Are v and -2/7 non-equal?
True
Let v = -0.0403 - 0.0597. Which is greater: v or -91?
v
Let o = -6 + -1. Let h = -11 + 17. Let g = h + o. Which is smaller: 0.2 or g?
g
Let t be (-346)/290 - 1*-1. Let f = 6/29 - t. Let a = -5.45 - -5.25. Is a less than f?
True
Let z(f) = -f**2 + 9*f - 5. Suppose 0 = -0*b - b + 16. Let a be b/(-8) - (1 + -9). Let o be z(a). Are 14 and o equal?
False
Suppose 624*k - 640*k - 176 = 0. Suppose 0 = v - t + 9, -5*v - 59 = -4*t + 6*t. Is v at most as big as k?
True
Let v be (4/3 - (-100)/(-84))/(-1). Suppose 4*p + 4*k + k = 24, -4*k = -4*p - 12. Suppose -h - p = -0*h. Which is smaller: v or h?
h
Suppose 3*b - 32 = -3*z - 2, 0 = -4*b - 2*z + 32. Let t = -6 + b. Let n(o) = -2*o**2. Let c be n(1). Which is smaller: c or t?
c
Let u be -1 + (-1 - 14/(-8)). Let o = -121 - -124. Let h be (-12)/(-8) - o/2. Which is smaller: u or h?
u
Let d(p) = p**3 + 3*p**2 - 5*p - 4. Let m be d(-4). Let a(r) = r - 3*r**2 + r**2 - 3 + 4. Let t be a(1). Is t at least m?
True
Let a = 6.727 + 2.103. Let x = -8.7 + a. Which is greater: x or 1?
1
Let o be -4 - 12/(-9 + 5). Are o and 2/99 equal?
False
Suppose 2*y + 26 = 24. Is 62 > y?
True
Let z be (-213)/4*(-64)/(-120)*5. Are z and 1 unequal?
True
Let s = -466.1 + 466. Is s less than or equal to -210?
False
Suppose 4*m + 3*h + 26 = 0, 0 = -0*m - m + 2*h - 1. Let o(n) = -n**3 - 6*n**2 - 5*n - 2. Let b be o(m). Let f be (b/(-3) + -1)*2. Is f at least as big as 0?
False
Let a = 467 + -736. Let d = 1081/4 + a. Is 1 < d?
True
Let b = 6.57 + 0.43. Suppose -5*p = -4*r - 78, 4*p - 3*r + 2*r - 69 = 0. Let v be 22/p - 4/18. Is v less than or equal to b?
True
Let d(h) = -3*h**3 - 4*h**2 + 7*h + 20. Let x be d(-2). Are 16 and x equal?
False
Let k = 360.9764 - 361. Which is greater: -2 or k?
k
Let w = 315.7 + -316. Let a = -0.07 + 0.87. Let h = -0.2 - a. Are w and h equal?
False
Let o be (-2 - -2)*(-1)/(-2). Let i(q) = q - 1. Let p be i(1). Suppose -2*x - 2*x = p. Is o < x?
False
Let t = -8/293 + 5426/5567. Suppose 6*c - 10*c - 12 = 4*u, 4*u + 17 = c. Is c greater than or equal to t?
True
Suppose 15 = 4*p - 5. Suppose -5*i = -p*k, -3*i + 2 = -i. Let w be (-2 + k)/(2/24). Which is greater: -11 or w?
-11
Let u be (-14)/35*-5 - 2. Which is greater: -37/49 or u?
u
Let r = 49.7 + -10.7. Which is greater: r or -0.7?
r
Let u = 6 - 3. Let m be (-56)/(-196) + 605/910*2. Which is greater: m or u?
u
Let u(n) = -6*n**2 + 46*n + 17. Let i be u(8). Which is bigger: i or -2/853?
i
Let g be -2*(1 + 1) - 75051/186. Which is smaller: g or -409?
-409
Let w(i) = -i**2 - 7*i + 8. Let v be w(-8). Let c = 5 - v. Suppose -a - c = 2. Is a greater than -6?
False
Let j = 14 - -241. Let s = j - 1271/5. Which is smaller: s or 1?
s
Suppose -3*t + v = 3*v, -t - 5*v = 0. Is 1/273 less than or equal to t?
False
Suppose -182*r = -180*r - 2472. Which is smaller: r or 1237?
r
Let z(f) = -f**3 + 11*f**2 - 3. Let r be z(11). Let g be r - ((-7900)/655)/4. Which is smaller: 0 or g?
0
Let k be (-1 - -2)/(-6 - (-14812)/2468). Which is greater: 618 or k?
618
Let j = 148 - 134. Suppose -5*x + 81 = -j*x. Is x at most as big as -2?
True
Suppose 0 = o - 13 - 10. Let i be -71*(-4)/12 + ((-10)/(-3) - 4). Is i <= o?
True
Suppose 3*n + 24*n - 108 = 0. Let w = 18 + -10. Is n < w?
True
Suppose 0 = l - 5*u - 5, 0 = -4*l + 5*u - 10. Let q be 10/6 + (-9 + 3 - l). Which is smaller: q or 5?
q
Let w = 60637/8246904 + -2/11849. Which is bigger: w or 1?
1
Suppose 3*a = -9, j - 6 = a + 2*a. Let w be 6 + 3*(11 + -12). Which is smaller: j or w?
j
Suppose 2*m = -h + 2*h + 56, -4*h - 206 = -2*m. Let r = h + 56. Which is smaller: r or 5?
5
Let t be (-2 + 24/14)/((-72)/1260). Do t and 126/25 have the same value?
False
Let x = 13.8 + -0.8. Let n = x + -13. Is -0.8 > n?
False
Suppose 5*w - 38 - 2 = 0. Suppose 0*k = k + 2*j - w, 0 = -5*j + 15. Suppose m + y + 5 = 0, 6*m = k*m + y. Does -2/29 = m?
False
Let i = 954037847 + -28690780176892/30073. Let z = -3/1037 + i. Let r(m) = m**3 + 2*m**2 - 3*m - 1. Let y be r(-3). Is y at least z?
False
Let j be 4/(-22) + (-61692)/(-22). Let p = -30940/11 + j. Is p != -8?
True
Let i = 120/7 - 1066/63. Which is smaller: -1/33 or i?
-1/33
Let j = 67 + -37. Suppose -71 - 41 = -4*q. Is j smaller than q?
False
Let y(l) = -27*l - 21. Let w be y(-3). Let n be (-532)/9 + 2/(-3). Let g = w + n. Which is bigger: g or 0?
g
Suppose -702 = 5*m - 567. Is m less than or equal to -26?
True
Let l be 3/(1/(-3)*1). Let s = 12 + l. Let t = -9 + s. Is t at most -2?
True
Let v = 912 - 4613/5. Let h = v - -683/55. Is 1 > h?
False
Let z be 2 + (1295/(-168))/5. Is 1 >= z?
True
Let l = 328 + -313. Is 15 smaller than l?
False
Let f = 49.6688 - 0.6688. Let i be -1 - ((-3)/(-4))/(-1). Is i bigger than f?
False
Let b be (1 - (-732)/20)*2/(-22). Let u = b + -24/11. Which is greater: -6 or u?
u
Let p be -13 + 22 + (-3 - 1). Suppose p*f - 5 = 5. Suppose 5*z = 7*z + f. Is z greater than or equal to 2/9?
False
Let w be ((-164)/(-72) + -3)/((-2)/(-2468)). Let m(b) = -b**3 + b + 889. Let k be m(0). Let z = w + k. Which is smaller: -1 or z?
z
Let r = -1236 + 1236. Which is bigger: r or 0.015?
0.015
Let h(d) be the third derivative of d**2 - 1/6*d**4 - 1/15*d**5 + 0 + 0*d + 1/120*d**6 + 0*d**3. Let t be h(5). Which is smaller: 4 or t?
4
Suppose 16*b = 15*b + 7. Let j = 11 - b. Suppose -2*r + j = 4*d, -r + 1 = 4*d - 3. Which is greater: r or 2/9?
2/9
Let m = -3/328 - -9193/984. Let t = m - 29/3. Which is bigger: 5/2 or t?
5/2
Let j(r) = -6*r - 37. Let h be j(-7). Suppose -25 - 3 = 2*g - 2*l, -7 = 2*g + h*l. Which is smaller: -12 or g?
-12
Let o(d) = -d**2 - 7*d + 2. Let x = 0 - 6. Let q be -10*(0 - 3/x). Let u be o(q). Which is bigger: u or 13?
13
Let h = 2467/3 + -828. Which is smaller: h or -7?
-7
Suppose -3*l + 5*z + 8 = 3*z, 4*l - 4*z - 8 = 0. Let c be (-27)/(81/(-2)) + 3/(-9)*-7. Which is smaller: c or l?
c
Suppose 5*i - 30 = -2*z, -z - 58 = -6*z - 4*i. Suppose 2*d - 22 = -z. Suppose d*l - l - 15 = 0. Is l smaller than 3?
False
Let x(v) = v - 8. Let s be x(5). Let u be (s/(-1) - 0) + -21. Is -19 less than u?
True
Suppose -609 = -9*y + 1749. Is y <= 261?
False
Let b = 62137 - 4349509/70. Let w = -6/181 + -2293/1810. Let y = w + b. Does -1 = y?
False
Suppose 3*y - 185 = 8*y. Let m = -81 - y. Which is greater: -1 or m?
-1
Let w = -371 + 370.6. Which is smaller: w or 2/9?
w
Suppose -395*o = -401*o - 6. Which is bigger: -2/191 or o?
-2/191
Let a = -49 - -113. Suppose -a = 4*u - m - 0*m, -3*u - 3*m = 33. Let c(v) = v**3 + 14*v**2 - 16*v - 10. Let q be c(u). Is q greater than 4?
True
Let i = -229 + 243. Is i at most as big as 21?
True
Let g be (-175)/(-70)*8/612. Are g and -1 unequal?
True
Let y(o) = o**2 - 16*o + 1. Let x be y(19). Which is smaller: x or 65?
x
Let f = 1.29 - 1.347. Let t = f + 0.057. Is 24 less than or equal to t?
False
Suppose -3 = -d + 3. Suppose -4*s + 15 = 5*w - d, 0 = -5*s + 3*w - 20. Is s at most 2/139?
True
Suppose -2*u + 4*u - 3*c = 100, -5*u + 4*c = -257. Let w = u + 30. Is 82 < w?
True
Suppose -5*l - 31 = 4*s, s = -3*l + 4*s - 24. Let z be (1 - 10 - 0)*1. Is z bigger than l?
False
Let a = 7.4 + -7.5. Which is bigger: a or 2.6?
2.6
Let v = -164 - -165. Is 7/38 < v?
True
Let k = -6.42 - -0.02. Let v = -6.4 - k. Let x = 0 + -0.01. Is v at least x?
True
Let c = 0.81 - -0.19. Let i = -12 - c. Is 0 equal to i?
False
Suppose -968 - 432 = -25*z. Is 48 at least as big as z?
False
Suppose -3*y + 4*y = -4. Let u be 2/((-7)/((-42)/y)). Do -1/3 and u have the same value?
False
Let y be (1/2)/((-45)/(-18)). Let d = -601652/7 - -85778. Let m = d - -172. Do m and y have the same value?
False
Suppose 0 = 5*u - 65*r + 67*r - 1, 3*u = -r. Which is bigger: u or 137/5?
137/5
Let i(z) = 62*z - 262. Let x be i(4). Which is greater: x or -6.7?
-6.7
Suppose 2*f - 4*n + 14 = 0, -7 = 4*f + 3*n - 4*n. Let h be f/((-1)/(-5)*5). Are -78 and h nonequal?
True
Suppose 5*t + 72*p - 70*p = 309, 0 = 4*t - 2*p - 240. Is t greater than or equal to 62?
False
Let u = -1 + 5. Let l = u + -17. Is l less than -14?
False
Let a be (-564)/(-2)*(-2790)/(-1476). Let q = a + -533. Which is smaller: 0 or q?
0
Let a(h) = h**2 - 11*h - 4. Let f b