is greater: i or t?
t
Suppose -7*a + 14 = -7. Suppose 0 = -11*l + 8*l - a. Is -1/20 at least as big as l?
True
Let h = -3 - -2. Let s(p) = 3*p**2 - 5. Let x(u) = -2*u**2 + 3. Let w(v) = -3*s(v) - 5*x(v). Let j be w(h). Is 1/2 less than or equal to j?
True
Let g = 7.49 - 6.59. Is g smaller than -7?
False
Let j(n) = 12*n - 113. Let l be j(7). Is -33 > l?
False
Let r be 14/77 + 3743/(-15444). Let s = -4199 + 218341/52. Let u = r - s. Which is smaller: 1 or u?
u
Let u = 6 + -10. Let r(p) = 5*p + 16. Let z be r(u). Let q be ((-28)/(-9))/(4/(-6)). Which is smaller: q or z?
q
Let k = -90365 - -992795/11. Let w = -111 - k. Let s = 7 - 8. Which is bigger: w or s?
w
Suppose 241 = 3*t + 2*d + 1, -4*t = -2*d - 334. Let h = t + -35. Is 1 > h?
False
Let o = 9 + -9.23. Let g = -478 - -1436/3. Which is greater: g or o?
g
Let w(d) = d - 2. Suppose 2*p + 3*f = 12, -2*p + 4*f = 2*p - 44. Let t be w(p). Are 4 and t nonequal?
True
Let c = 4942089/703 - 7030. Which is smaller: 0 or c?
c
Let a(o) = o**3 + 24*o**2 + 18*o - 115. Let l be a(-23). Is l less than -2/2025?
False
Let l(n) = -n**3 + 4*n**2. Let k = 11 + -9. Suppose k*z = -0*z + 8. Let i be l(z). Is i less than -2/27?
False
Let t = -226.4 - -226.57. Which is greater: t or 4?
4
Let y = 176/273 - -2/91. Let f = -0.4 + 0.55. Let m = f + 0. Is m != y?
True
Let l(g) = -g + 23. Let x(r) = 11. Let w(b) = 2*l(b) - 5*x(b). Let q be w(-7). Let p be q/(5/90*15). Is p greater than or equal to 6?
True
Let b be (-2 + 2)*26/52. Is 1/24 less than b?
False
Suppose -w - 7 = -2*g, 2 - 24 = -5*g + w. Let c be (-14)/(-7) - (14/g + -2). Are c and 1 nonequal?
True
Suppose -3*n = 2*n + 15. Let c(y) = -2*y**2 + 3*y + 5. Let x be c(3). Which is smaller: n or x?
x
Let t = -18 - -35. Let d = t + -16.9. Is d at least as big as 1/30?
True
Suppose 13*x + 5*t - 21 = 17*x, -21 = -x - 4*t. Which is smaller: x or -2/533?
-2/533
Suppose -4*h + 2*r = 58, -3*h + 3*r = 2*h + 73. Let p = 0.208 - -0.662. Let q = p - -0.13. Is q at least as big as h?
True
Let k = -0.3 + 0.1. Let n = 10.6 + -7. Let i = -11.6 + n. Do k and i have different values?
True
Suppose u + 18 = 3*t - 3*u, 2*t - 7 = u. Let n = -24685177/2044556 - -5/60134. Let y = -150/17 - n. Which is greater: t or y?
y
Let i = 510 + -509.9. Is i less than 60?
True
Let w = 45 - 49.6. Let t = -0.6 - w. Let o = -972 - -971.9. Is t less than o?
False
Let d = 1809.308 - 1759.4. Let v = d - -0.092. Which is smaller: v or 0.1?
0.1
Let w be ((-3)/(-6))/(6/(-24)). Which is greater: w or -19?
w
Suppose 3*g - 3*p = 219, g + 5*p - 86 = -25. Suppose 3*j = -g + 11. Which is smaller: j or -17?
j
Suppose -11*c + 4 = -7*c. Let s(y) = 13*y**3 - 2*y + 1. Let m be s(c). Suppose 3*q = m, 2*b - 4*q = -b - 22. Is b smaller than -3?
False
Suppose -483 + 2943 = -41*i. Is -30 >= i?
True
Let u be 2/(-5) + (-20)/(-50). Suppose -3 = o - 0, -4*x + 2*o + 30 = u. Is 6 bigger than x?
False
Let a be ((-2)/4)/(-10*(-2)/(-32)). Is a greater than 15?
False
Let u(g) = g**2 + 4*g. Let k(h) = 2*h**2 + 5*h. Let z(y) = 2*k(y) - 3*u(y). Let f be z(1). Is -2/43 equal to f?
False
Suppose -76*k = -99*k - 1012. Is k less than -44?
False
Let w = -21.2 + -13.8. Let n = -35.5 - w. Let h = -97/255 + -1/51. Which is greater: h or n?
h
Let v(i) be the second derivative of -i**4/4 - i**2/2 - 11*i. Let a be v(1). Let k be a/10 - 2/(-5). Which is greater: 1/2 or k?
1/2
Suppose 2*p + 0 = 10, y - p = 4. Suppose y*h = -h + 30. Is h less than 12/5?
False
Suppose -3*x + 6*x + 4*d = -584, 3*x - 4*d + 544 = 0. Do x and -188 have the same value?
True
Let s be (1 - (-3)/9)*75/(-1640). Is s greater than 1?
False
Let k(z) = -z**2 - 7*z - 1. Let s be k(0). Which is smaller: s or 99?
s
Suppose 325 + 899 = 3*x. Let b be -2*(-9)/x*-4. Are b and -1 equal?
False
Let d = -815 - -10519/13. Is -7 bigger than d?
False
Let v = -7/106 - -757/9858. Is v at least as big as 0?
True
Let s = -124 + 116. Which is smaller: -9 or s?
-9
Suppose 28 = -3*d + 4*q, 0 = 2*q - 4*q + 2. Let a(i) = -2*i - 3. Let w be a(d). Which is smaller: 11 or w?
11
Let l(n) be the third derivative of n**4/12 + 3*n**3 - n**2. Let y be l(-12). Let c = -5 - y. Which is smaller: c or 2/23?
2/23
Suppose -4*w - 4*u = 28, u + 6 = -3*w - 7. Let l be ((-11)/w)/((-3)/27). Is l at most as big as -32?
True
Let c be (0 + (-4)/214)*8/(-12). Which is bigger: c or 1?
1
Let n(j) = -j**3 + 8*j**2 - 2*j + 15. Let o be n(8). Which is smaller: -12/19 or o?
o
Let b(n) = 9*n**3 - n**2 + 4*n + 5. Let r(a) = -2*a**3 + 21*a**2 + 10*a + 9. Let k be r(11). Let y be b(k). Is y not equal to -80?
True
Let c = -8 - -1. Let d be (72/14)/(6/28). Let j = d + c. Is j > 16?
True
Let u = -12 + 24. Let j(n) = -n**2 + 13*n - 16. Let v be j(u). Is -3 <= v?
False
Let i = 22103314/1411 + -15665. Which is bigger: i or 1?
1
Let h = 161 - -1717. Let w be h/(-1276) + -9 + 11. Let q = w - 14/29. Which is bigger: -1 or q?
q
Let k be 135*(8/(-6))/(-4). Let a be (4/(-2) + 68)/(6/4). Is a at most k?
True
Suppose 5*j + 25 = 5*f, 0 = -3*j - 5*f - 1 + 18. Let y be j - 68/(-36) - (-10)/(-15). Which is bigger: y or -8?
y
Let j = 2.94 - -0.06. Let i be (-2 - -3) + 26/(-24). Do i and j have the same value?
False
Let p be 2*((-228)/(-20))/((-2)/(-5)). Let u = p + -53. Which is greater: u or 5?
5
Let w(r) = r**3 + 2*r**2 - 15*r - 66. Let q be w(-5). Is -0.3 not equal to q?
True
Let p = -3014 - -3036. Suppose -11 = 4*r - 103. Which is greater: r or p?
r
Let z be ((-159)/(-4))/(18/1296*27). Is 117 smaller than z?
False
Let q = 750.03 - 754. Let d = 4 + q. Is d != 1/2?
True
Let q(r) = r - 2. Let t(g) = g - 3. Let o(n) = -5*q(n) + 4*t(n). Let d be o(-7). Are d and 3 equal?
False
Suppose -39 + 23 = -2*m. Let o = -6 - m. Is o smaller than -15?
False
Let n = -32639/15225 - -2/2175. Which is greater: 0.08 or n?
0.08
Suppose -4*f = -3*f + 1. Suppose 2 = -2*y + 20. Let g be y/(-24) + 0 + 0. Which is greater: f or g?
g
Let u(i) = -i**2 - 10*i - 22. Let p be u(-4). Suppose 6*m + 2 = 3*m - c, 4 = p*m - 2*c. Let n be (-24)/35 - 4/(-14). Is m smaller than n?
False
Let u = 84 + -82. Is u at most as big as 8/13?
False
Let j = -1440 + 986. Which is greater: -455 or j?
j
Let b = 0.053 + -0.433. Let p = -3 + 3.02. Let c = b - p. Is 2/5 equal to c?
False
Suppose 4*c - 5*f = -11, 1 + 2 = f. Which is bigger: c or -4/11?
c
Let v = 469 - 219. Which is smaller: 249 or v?
249
Let w = 6 + -4. Let f(n) = -n**3 + 4*n**2 + 6*n - 4. Let v be f(5). Let m be v/w*(1 + -1). Is m <= 0?
True
Let a be (54/147)/(6/28). Let y(p) = -p + 13. Suppose -2*i = 3*i - 50. Let z be y(i). Are z and a equal?
False
Let d(g) = 2*g + 16. Let r be d(-7). Suppose 5 = -j, 2*j = -2*n - r*n - 6. Let f be (5 - n)*18/(-27). Is -2 less than f?
False
Let w = 7 + -5. Let y(s) = -s**2 - 3*s + 3. Let r be y(w). Suppose -33 = 3*g - 2*x - 5, 10 = -5*g - 4*x. Which is smaller: r or g?
r
Suppose 0*x = v + 3*x - 30, -4*v - 5*x + 92 = 0. Let s = v + -26. Is -8 != s?
False
Let t = 7011 + -4795523/684. Is 1 > t?
True
Suppose -f + 5*u - 4*u - 124 = 0, 0 = 2*f + 4*u + 254. Let r be (-1)/5*f/20. Let h be ((-1)/(-2)*-2)/(10/(-10)). Is r equal to h?
False
Let d(x) = 3*x**2 + 4*x + 1. Let r(c) = -4*c**2 - 6*c - 1. Let b(k) = -7*d(k) - 5*r(k). Let s be b(1). Is s <= 2/79?
True
Let s be (-14)/(196/21)*(-212)/6. Which is smaller: 50 or s?
50
Let o = 0.19 + -8.19. Let x = o - -6. Let g = 601 - 603. Is g smaller than x?
False
Let h(w) = 31*w - 54. Let p be h(2). Are p and 76/9 nonequal?
True
Let k be (-3)/9*(4/(-4) - 14). Suppose -2*q - 3*q + 26 = -3*o, -3*q + 2 = k*o. Is q != 4?
False
Let n be (-1)/6 - 2/((-48)/28). Suppose -5*g - 3 = -2*s, -s - 4*s + 4*g - n = 0. Which is greater: -2/27 or s?
-2/27
Suppose 4*d - 4*w - 68 = 0, 0 = -4*d + 3*d - w + 25. Suppose 2*g - 5*o - 38 = 0, 2*o = -5*g - o + 95. Is d not equal to g?
True
Let o = -411423/67 - -6141. Which is greater: o or 0?
o
Suppose 11*h + 19 = 8*h - 5*a, -3*a = 3*h + 9. Is h at most as big as -812?
False
Let v be 10/1 - (63 - 669). Is 616 at most as big as v?
True
Let r be (-8)/12 - 37468/561. Is -68 >= r?
False
Let o(z) = z**3 - 19*z**2 + 7*z + 195. Let r be o(18). Let x(a) = a**2 + 6*a - 2. Let v(f) = -f - 1. Let c be v(5). Let s be x(c). Which is greater: r or s?
s
Let o = 3.9737 + 0.0263. Which is greater: o or 0.19?
o
Let o = -3.2 - -3.3. Let z be (4 - 0) + (4 - 0). Which is g