t q = -62.2 + 56. Let o = 0.01 - 0.21. Let g = o - q. Is g >= 0?
True
Suppose 4*j - 3 = 1. Suppose 5*o = -4 - j. Let q = -155/4 - -39. Which is greater: q or o?
q
Suppose -t + 25 = 2*y, y - 6*t = -2*t - 10. Suppose -5*z = -2*x - y - 5, 4*z = 3*x + 12. Let l = z - 4. Which is greater: l or -2?
l
Let u = 28/81 + 47/567. Which is greater: -298 or u?
u
Suppose -8*o = -5*o - 15. Let x be 9/(90/4) + 158/o. Which is greater: x or 33?
33
Let w = -16 + 35. Let x = w - 21. Let n be (6/x)/(-9) - 1. Is 0 less than n?
False
Let i be ((-18)/1995)/((-5)/(-25)). Let q = i + 28/19. Is 0.1 bigger than q?
False
Let v(y) = 2*y**3 - 13*y**2 - 9*y + 9. Let f be v(8). Let h be (-9)/f*(1 - 17/15). Are h and 0 non-equal?
True
Suppose 11 = 5*l + u - 19, 6 = l - 4*u. Let h be l/(-21) - (-26)/42. Let p be 4 + 6/(-9)*6. Is h less than p?
False
Let q = -3512730056/7891689 + 1/464217. Let a be (7120/(-64))/((2/2)/(-4)). Let r = q + a. Is 0 >= r?
True
Let u be (6/(-9))/(((-140)/(-231))/10). Which is bigger: -41/4 or u?
-41/4
Let j be (-2)/2 - (-14 - -2). Let r(t) = 3*t**2 + 7*t + 5. Let d be r(-2). Suppose d*u - u + 2*x - 24 = 0, 0 = 2*x. Which is smaller: j or u?
j
Suppose -p = 3 + 21. Suppose 39 = -5*u + 54. Let w be (5/u)/(7/(-105)). Which is bigger: w or p?
p
Let c be (459/(-55))/((-39)/130). Is 29 less than c?
False
Suppose 5*z - 1288 = n, 26*n - 25*n = -3. Is 255 at most z?
True
Let x be (2 - (-10)/(-15))*3. Suppose -5*a - i = -55, 5*a + 2 - 32 = x*i. Suppose -2*f = 5*w - a - 31, -2*f - 4*w + 38 = 0. Is f at most as big as 11?
False
Let f = -15 + 27. Suppose -6*w = 42 - f. Let o = w - -6. Do 6 and o have the same value?
False
Suppose -5*v - 10 = -5*u, -v + 2*u - 13 = -2*v. Suppose 51 = -v*k - 3*p, 2*k - 72 = 5*k - 4*p. Let m be ((-30)/20)/((-3)/k). Which is smaller: -11 or m?
-11
Let c = -20 + 33. Let f = c + -14. Let g = f + 11. Is g smaller than 11?
True
Let y = 0.1 + -0.3. Suppose -3 - 12 = -3*a. Suppose -a*f = 4*l - 15, 2*l - 2*f - 15 = 3*f. Is l > y?
True
Let t = -1 + -5. Let a be 4/t + 19/(-3). Let x be -3*7/14*4. Is x >= a?
True
Let x = 519 + -579. Let p be (-590)/(-15)*9/(-6). Is x not equal to p?
True
Suppose -4*x = 2 + 6. Let s = -27275889/32908813 + -12/43937. Let o = s - 3/107. Which is smaller: o or x?
x
Suppose 171*t - 172*t = 151. Which is bigger: -152 or t?
t
Let q be (1092/10)/(-3) - 30/(-75). Let i be (-2)/7 + 507/(-14). Is i at least as big as q?
False
Let f be (12/24 + -2)/(-384). Which is bigger: 1 or f?
1
Let g be ((-2)/(-4))/(4/(-16)). Let t be 3/g*2 - (-17 - -1). Is t less than 12?
False
Let l = -27/2458 + -2015317/22122. Is l < -91?
True
Let a(k) = -k**3 + 10*k**2 + 2. Let b be a(10). Suppose -3*l = -l - b. Let z = 168 - 836/5. Which is smaller: l or z?
z
Let r(l) = -2*l + 4. Let d be r(3). Let a(q) = -9*q**2 + 40*q - 5. Let t(h) = -4*h**2 + 17*h - 2. Let i(c) = -3*a(c) + 7*t(c). Let o be i(d). Is o >= -2/7?
False
Let p = 29 + -24. Let g = p + -5. Which is smaller: g or -12/13?
-12/13
Let t be (15/(-6))/(1547/26). Is t != 0?
True
Let t = 199 + -202. Which is smaller: -2 or t?
t
Suppose 5*w + 0 - 5 = 0. Suppose -5 = 2*i - 4*v + 11, -5*i + 35 = 5*v. Let x = -2 + i. Which is bigger: x or w?
w
Suppose -20 = -4*d, -5*l - 9*d - 20 = -6*d. Let w be (-9)/l + 8/(-28). Which is smaller: 16/9 or w?
w
Let g be 213 + -10*(-2)/(-5). Are g and 212 unequal?
True
Let f = -2179289/15 - -145207. Let q = f - -78. Is q at most as big as -2?
False
Let f be -1*41 + (-50)/(-30)*-3. Is f < -0.2?
True
Let z = -4153/20 + 208. Let h = 3/20 + z. Let v(d) = -d**2 - 3*d + 2. Let x be v(-4). Which is smaller: x or h?
x
Let s = -5 + 31. Suppose 4*p - 4*x = -2*x + 32, s = 4*p + x. Is 8 less than p?
False
Let z be (0 + -1)*(-3 - 4/(-12)). Is 0 > z?
False
Suppose 3*q - q - 10 = 0. Suppose -q*t - 4*j = -30, 5*t - 2*t + 3*j - 18 = 0. Let g be t/(-52)*6/9. Is g at most as big as 0?
True
Let r be (-42)/333*(-62514)/12. Let f = r + -657. Which is smaller: 1 or f?
f
Suppose -7*k - 6*k = -26. Suppose 5*r = -2*w + 9, r - k*w + 1 = -w. Let y be 0 - -1 - 21/20. Which is bigger: y or r?
r
Let h = 3 - -8. Let z = -37.14 - -34.14. Which is bigger: h or z?
h
Let d(x) = 2*x**2 + x - 29. Let u be d(-4). Let o(n) = -n**3 + 6*n**2 - 4*n - 4. Let t be o(5). Which is greater: u or t?
t
Suppose -5*l - 56 = 79. Are l and -32 non-equal?
True
Let k = 0.276 + -25.276. Which is bigger: k or -3?
-3
Suppose -26 = -2*k + 4*m, 2*k - 3*k - m + 1 = 0. Does 12 = k?
False
Let g(u) = -18*u + 86. Let j be g(14). Which is smaller: -163 or j?
j
Let o be (7890/(-1))/((-58)/3). Let a = o + -408. Is a at least as big as 1?
False
Let i = 974/5 - 194. Suppose -4 + 1 = -k. Suppose z + 11 = -k*c, 2*c = z + 7*c + 19. Which is greater: i or z?
z
Suppose -4 = 2*o + 3*o + y, -5*y + 8 = -3*o. Is -0.069 <= o?
False
Let g = -1501755502924/36376407 + -2/4041823. Let o = g - -41055. Let a = o + 229. Which is smaller: a or 2/3?
a
Let t(w) = -19*w - 5. Let y be t(1). Let p be ((-2)/(-6))/(140/y - -4). Which is greater: p or -1?
p
Let p(v) = 7*v - 224. Let f be p(33). Which is bigger: f or 68?
68
Suppose -2*n + 9 = 3*c, -c + 7*n + 7 = 9*n. Let z = 74/69 + -5971/5589. Which is greater: z or c?
c
Let j = 8.02 + 1.98. Which is greater: j or 2?
j
Let i(z) = 2*z + 37. Let v be i(-11). Suppose k = 2*b - 3, 3*k + 2*k + 5*b - v = 0. Which is smaller: 2/165 or k?
2/165
Let t be -6 + (-9)/3*-1. Let u be (33/t)/(1/(-2)). Let f(x) = 19*x**2 + 4*x. Let z be f(1). Which is bigger: z or u?
z
Let d = -12 - -5. Let w = 1.8 - 1.1. Let k = 1.7 - w. Which is greater: k or d?
k
Suppose 53*w + 3916 = 57*w. Which is greater: 980 or w?
980
Suppose 42 = -6*y + 4*y. Let a = y + 30. Which is greater: a or 39/4?
39/4
Suppose 5*f - 14 - 6 = 5*t, f + 14 = -5*t. Which is bigger: -1/4073 or f?
f
Let g = -155 - -1397/9. Which is greater: 1/33 or g?
g
Let n = 0.28 + -13.28. Let g = 39 + -19. Let y = n + g. Does -2/5 = y?
False
Let w(u) be the third derivative of -u**6/120 - u**5/30 + u**4/8 + u**3/6 - 12*u**2. Let s be w(-3). Is 11/6 at most s?
False
Let w = -349.961 - -350. Which is greater: w or 1/3?
1/3
Suppose 0 = 2*g + 3*g + 15. Let m be (g - (-1 + 2))*-1. Let i(j) = j - 5. Let s be i(m). Which is smaller: s or -2?
-2
Let m be (3/5)/((-3)/(-45)). Suppose 3 - 34 = -2*f - 5*d, -11 = -f - d. Is f smaller than m?
True
Let d(z) = 5*z - 11. Let n(r) = -3*r + 6. Let q(i) = -4*d(i) - 7*n(i). Let v be q(3). Suppose 2*c - 4 = u + 3*u, -v*c = 3*u + 29. Is -0.2 smaller than c?
False
Suppose -u + 0*u = 0. Let l = 0.318 - 0.218. Is u smaller than l?
True
Let g(q) be the first derivative of 2*q**3/3 + q**2 + 4. Let x be g(-2). Suppose -3*l + 19 = 4*h - 16, x*l - h = 34. Is l bigger than 10?
False
Suppose 5*u - 32 + 7 = 0. Let h(t) = 43*t + 0*t**2 + 3*t**2 - 53*t - u - 2*t**2. Let x be h(10). Is x >= -5?
True
Suppose -y + 6 - 4 = d, -4*y + 16 = -4*d. Suppose -2*f + 14 = -4*l, 4*l + 15 = -5*f + 8*f. Is d less than l?
False
Let g be -15 - -1*(-1265)/(-99). Suppose 4 = -6*y + 4*y. Which is bigger: g or y?
y
Suppose -6 = 3*x - 84. Is 24 < x?
True
Let q(o) = -113*o - 88. Let s be q(-1). Let d be (-61)/(-2) + -3 - 2. Is d bigger than s?
True
Let o(h) = h**3 + 19*h**2 + 19*h + 20. Let z be o(-18). Suppose z*i + 3 + 5 = 0. Suppose -5*p - 2 = -2*v, 4*v = 2*p + 2*p - 8. Is i at least as big as v?
True
Let w = 4097 - 249926/61. Is 1 less than w?
False
Suppose 4*o - 12*l = -14*l + 34, 0 = -4*o - 3*l + 29. Is o < 91/8?
True
Let b(a) = -a**2 - 13*a + 2. Let m be b(-14). Let j = m - -48. Is j at most 37?
True
Suppose 0 = 2*h + 4*h + 24. Let s be (-33 - h - 3)*1. Let o be (-30)/135 + s/18. Which is bigger: -3/4 or o?
-3/4
Let k be 2/(-3) + (-32)/(-66). Is k at most 53?
True
Suppose 0 = w - 3, -w + 10 = 3*a - 11. Suppose -a*o - 2*o = 0. Let c = 29 + -59/2. Is c at least as big as o?
False
Suppose 36 = 4*a + 4. Let i(q) = q**2 - 7*q + 12. Let k be i(6). Suppose 8*g - 6 = k*g. Is g != a?
True
Let i(j) = -j**2 - 12*j + 72. Let d be i(4). Which is smaller: 51/7 or d?
51/7
Let q(g) = 7*g - 335. Let r be q(-3). Which is greater: -713/2 or r?
r
Let x be 5*(-15)/(-125)*52/(-2). Which is greater: x or -17?
x
Suppose 2*g - 36 = 5*g. Let z = g + 11. Let q = 3/4 + -55/68. Are z and q non-equal?
True
Let x(q) be the first derivative of 1/4*q**4 + 3 + 5/2*q**2 + 2*q**3 - q. Let d be x(-5). Which is greate