t t be (75/125)/((-56)/(-5)). Is t at most as big as 1?
True
Suppose 4*q = 3*k + 30, -6*q + 2*q = 0. Suppose -30*u + 32*u = -3*t - 32, -3*u - 4*t = 45. Which is smaller: k or u?
k
Let k(l) = 11*l + 471. Let i be k(-43). Let m = 164001 + -1809374/11. Let q = 487 + m. Which is smaller: q or i?
i
Let x(s) = 40*s - 3. Let q be x(-2). Let y = q + 71. Which is bigger: y or -11?
-11
Let y = -16.26 - -0.26. Let s = y + 16.1. Which is smaller: s or 3/13?
s
Let w(s) = s + 2. Let o be w(-11). Let v be -4 + (-8 - 6) + 7 + -1. Which is smaller: o or v?
v
Let r(h) = -h**3 - 9*h**2 + 24*h + 2. Suppose 0 = -2*n - 26 + 4. Let a be r(n). Which is smaller: -21 or a?
-21
Suppose 52 = 2*w - 5*a, 4*a = 8*w - 9*w + 26. Which is greater: 24 or w?
w
Let c be -3 + (-3)/(-3) + 3. Suppose -c = -2*n + 17. Is n not equal to 7?
True
Let b(g) = -8*g - 79. Let a be b(-10). Let y = 2/15 + 1/5. Does a = y?
False
Let p = -13611/41 - -332. Suppose -2*v - v + 12 = 0. Let l be (v - 4)*3/(-9). Is p > l?
True
Let x = 1027/6 + -122165/714. Is x greater than or equal to 0?
True
Let w = -7825 + 923343/118. Are w and 0 non-equal?
True
Let i = 50 + -34. Let n = -16.2 + i. Which is bigger: n or 5?
5
Let b = 1545/11 - 141. Is -1 greater than or equal to b?
False
Let f = -5/21 + 1/6. Suppose -c = 5*h + 19, -5*c + 4*h = 7 - 28. Does f = c?
False
Let i be 48/(-192) - 126/8. Do -16 and i have the same value?
True
Let b(q) = 2*q**2 + q**3 + 4*q**3 + 2 - q - 3*q**3. Let r be b(-2). Let u = -63/22 + 4/11. Which is bigger: r or u?
u
Let r = -2801 + 2837. Is -5 at most as big as r?
True
Let p = 55 + -38. Suppose 3*b - 5*t - p = -5, 3*b + 5*t = -18. Is b <= -3/2?
False
Let n(u) = u**3 + 8*u**2 - 3*u - 18. Let k be n(-8). Let s be -5*(0 - k/(-15)). Which is smaller: s or -3/2?
s
Suppose 5*q + 58 + 22 = 5*u, -u + 52 = -4*q. Which is smaller: q or -53/4?
-53/4
Let s = 27805/3 + -9402. Let c = -135 - s. Suppose -2*f - 19 = -4*q + q, 2*f = -3*q + 11. Is f smaller than c?
True
Let o = 525 - 533.84. Let j = o - 0.16. Let u = 8.6 + j. Which is smaller: u or 2?
u
Let a = -0.1 - -0.1. Let b = 10.96 + -37.96. Does b = a?
False
Let a(u) = -u**2 - 7*u - 1. Suppose -m + 2*f = -f + 20, -m = -2*f + 15. Let l be a(m). Which is smaller: 10 or l?
l
Let b(g) = 5*g + 9. Let n = 21 + -27. Let i be b(n). Let a = i + 21. Which is smaller: a or 2/41?
a
Let k = 3/188 - 597/2068. Suppose 0 = d + s - 4, 0*s + 4 = -d + s. Which is bigger: d or k?
d
Let y = 13 + -34. Let s = 75 + -53.95. Let m = s + y. Which is bigger: m or 0?
m
Suppose 4*j - 10 = 5*l - j, 22 = 4*l + 2*j. Let q be (1 - 4/10)/(l/(-2)). Is 23 greater than or equal to q?
True
Let p = 261/280 + -19/20. Is 0 greater than p?
True
Suppose s = -43 + 150. Let o = s + -23. Which is smaller: 83 or o?
83
Let t = 0.2 + 2.4. Let x = -2.76 + t. Let h = 0 + x. Is -1 greater than or equal to h?
False
Let b = -9 - -13. Suppose r = b*z - 4, 0 = z + 3*z - 5*r + 12. Let j = z - 5. Does j = 2?
False
Let o be (-2)/16 + 212/(-352). Suppose -j - 5 = 2*s + 4, -2*j - 5*s - 22 = 0. Is j smaller than o?
True
Let h be (1 - 2) + (-50)/(-51). Let i be (-1)/((1 + 2)/(18/6)). Is h < i?
False
Let o = -3348 - -3340. Suppose -5*g = 2*t + 2*t - 15, 2*g = -2. Suppose -2*n = -4*u - 8, 2*n - n = -t*u - 3. Is u at least as big as o?
True
Let r = 6 + -7. Let k be 0/(-5 + 2 - r). Is k > -2/7?
True
Let r = -102.4 - 8.6. Which is smaller: -2 or r?
r
Let v = -505.7 + 529. Let a = -22 + v. Let u = a + -1. Is 2/3 at least as big as u?
True
Suppose 5*h = 3*t + 12, -5*t + 5*h = 4*h + 20. Let p be 590/385 + t/(-22). Let u(k) = k**3 + 21*k**2 - 24*k - 43. Let v be u(-22). Which is smaller: v or p?
v
Let a = -42 + 83. Let o = a + -41.04. Which is smaller: o or -0.1?
-0.1
Suppose 4*m = -4*p - 504, -4*p + 0*p + 2*m - 486 = 0. Let j = p + 121. Suppose 2*h + 9 = -h. Is h bigger than j?
False
Let g = -0.863 + 0.737. Is g > 4?
False
Let b = -27.86 + 29.46. Is b less than -4?
False
Let x(b) = b - 1. Let v be x(4). Let j be 3 + v/(-24)*65. Let i = j + 631/120. Is -1 <= i?
True
Let q be 20596/57 + (-4)/(-6). Is -2/3 at most q?
True
Let a = 243 - 326. Is 1 at least a?
True
Let p = 0.3 + -2. Let j = p - -1.77. Which is greater: -2/9 or j?
j
Let y = -9.12 - -9.02. Are 104 and y unequal?
True
Let r = 20 - 18. Let m = r - 5. Which is greater: m or 1?
1
Let u = -534/11 - -548/11. Is u smaller than 1/4?
False
Suppose 0 = 2*k - 3*y - 9, -3 - 62 = -5*k - y. Let u be (-4)/3*k/8. Which is greater: u or 0?
0
Let z be 11/(198/(-28))*(-2)/4. Let d(l) = -l**3 - 2*l**2 + 1. Let q be d(-1). Is z less than q?
False
Let k(h) = -2*h**3 - 5*h**2 + 1. Let w be k(-2). Let r be w + 76/(0 - -4). Is 15 at least r?
False
Let n = -10 + 9. Let q = n - -2. Let h be 16/40 + (-6)/(-10). Do h and q have different values?
False
Let j = 375659/21105 + 2/4221. Let c = j - 1671/95. Which is greater: c or 0?
c
Let o(r) = -r**3 + 10*r**2 + 34*r - 212. Let h be o(10). Is 133 equal to h?
False
Suppose -5*i = -5*o - 115, -5*o + 60 = 7*i - 5*i. Let a = i + -11. Is 14 <= a?
True
Let o = 463 + -806. Which is greater: o or -345?
o
Let y be (21/8)/(63/462). Let j = -37/2 + y. Is 0 greater than or equal to j?
False
Let n be 1 + 10/(-8) - 1995/(-140). Let s = n + 12. Is 26 smaller than s?
False
Let t be ((-2)/5)/((-110)/(-125)). Let f(v) = -v**2 - 4*v - 3. Let i be f(-3). Which is smaller: i or t?
t
Suppose 0 = 3*c - 4*u - 28, 2*c + 0*u - 2*u = 16. Let i = 18 - 21. Let p = i + c. Is p greater than or equal to 2?
False
Let f(y) = -y**2 - 3*y + 2. Let z be f(3). Suppose 37*x - 66 = 4*u + 40*x, -u + x - 13 = 0. Which is greater: u or z?
u
Let p = -3.6 + 3.11. Let k = p - 7.51. Do k and 5 have the same value?
False
Let k(i) = -133*i + 77. Let y(l) = -7*l + 4. Let n(q) = -3*k(q) + 56*y(q). Let f be n(2). Suppose f*w = 4*w - 3. Which is greater: w or -5/7?
-5/7
Let l be (27/6)/(1 - -2). Let h = -23 + 23.1. Let k = -0.1 + h. Which is bigger: k or l?
l
Let k be ((-2)/8 - (-3)/6)*(-804)/(-18). Suppose -4*t + 16 = 2*c, 5*c + 3*t - 46 = -t. Is k > c?
True
Suppose -y - 8 = -3*y. Suppose y*k + 3*t = -26, 5*k - 4*t = -20 + 3. Which is smaller: -4 or k?
k
Suppose -g + 3 + 1 = 0. Suppose 6 = -z + g*z. Suppose -z*x - l + 0*l = -5, 3*x = -4*l - 5. Is 4 greater than x?
False
Let b = 1 - 7. Let v(f) = -2*f**2 + 19*f - 4. Let h(z) = 6*z**2 - 55*z + 12. Let q(g) = -6*h(g) - 17*v(g). Let y be q(4). Does y = b?
False
Suppose 2*r = -3*q - 62, -r - 13*q + 10*q - 34 = 0. Which is smaller: -2 or r?
r
Let u = -1519321/42 + 36178. Let r = 23/6 - u. Which is greater: r or 0?
r
Let z be (6 - 4)/(-68)*13. Let g = -1/34 - z. Let f = g - 29/34. Is -7 at least as big as f?
False
Suppose 0 = -18*d + 117*d - 33858. Is d != 342?
False
Let g be -1*(-14)/(-91) + 38/(-260). Which is smaller: g or -17?
-17
Let p be (-2)/(-2)*-4 + 1. Let c be p + -46*(-1)/14. Let d = -25/76 - -3/38. Are d and c equal?
False
Suppose 4*b + 13 = 5*t, -5*t - 2*b - 4 + 5 = 0. Let s be (6/(-8))/(t/4). Suppose 5*v + 12 = -8, 0 = -4*o - v - 8. Which is smaller: o or s?
s
Let o = -26 - -26. Let u be ((0 + -1)*(o - 1))/3. Let m be (-6)/2*8/(-6). Which is smaller: u or m?
u
Let w be (-50963)/164 + 3/4. Are -2 and w equal?
False
Let z = -12 - -16. Suppose 0 = -4*t + z. Let o = -38 - -37. Which is smaller: o or t?
o
Let i = 79 + 6. Let y be (80/i)/(1*2). Which is smaller: 0 or y?
0
Let n = -103 + 105. Suppose 0 = 2*v - n, -7*v + 2*v - 63 = 4*x. Is x greater than -19?
True
Let g = -9 + 1. Let c = -1 - g. Suppose -c*f - 10 = -2*f. Which is greater: f or 0?
0
Let a = -1.5 - -2. Let p = -0.5 - a. Is p at least as big as -11?
True
Let j = 2 + 1. Suppose 2*s - 9 = s + 4*k, 3*k = 5*s - 28. Suppose s*c + 19 = g, -11 = j*c + 1. Is g > -1/2?
False
Let d(h) = -2*h**2 - h. Let z(v) = -v**2 - v - 1. Let k(w) = -2*d(w) + 3*z(w). Let n be k(3). Let l = n - 17/5. Which is smaller: -8 or l?
-8
Let u be 132*(5/(-10))/(-1). Let i be 3/(-9) + u/9. Is i greater than or equal to 8?
False
Let g be (308/(-5) - -2) + 14/(-35). Let x be (0 + (-8)/6)*(-345)/g. Which is smaller: -2 or x?
x
Let g be -2 + 3 + -31*1. Let p be ((-4)/5)/(g/(-225)). Let c be 27/p - 8/(-16). Which is smaller: -5 or c?
-5
Let w be (4/14)/((-24)/70). Let v(d) = d**2 - 7*d - 3. Let s be v(8). Suppose -2*t - 16 = 4*x + 2*t, -s*t = 15. Which is bigger: x or w?
w
Suppose 0 = 55*l - 0 - 55. Which i