t t = 5.1 + -4.1. Is 4/5 >= t?
False
Suppose -3*b - 4 = -b. Let n be (-3)/(-5 + b + 2). Which is smaller: -2/27 or n?
-2/27
Let v(i) = -2*i**3 - 3*i**2 - i + 18. Let p be v(-3). Which is bigger: p or -0.1?
p
Suppose -3*d - 86 = -20. Let n be (-6)/5*25/(-45). Is n less than d?
False
Let t = 9 + 57. Let n be 3/2 + (-10)/(40/t). Is n greater than or equal to -16?
True
Let d(s) = 3*s**2 + 5*s**3 - 12*s**3 - 5 + 8*s**3. Let z be d(-2). Let p = -1234/11 + 112. Is p at most as big as z?
False
Let i be 9/(-24) + 3/8. Which is smaller: i or 2/55?
i
Let l(m) = -2*m - 37. Let s be l(-19). Which is smaller: s or 149?
s
Let b = 280 - -67. Let n = 1741/5 - b. Which is greater: n or 0?
n
Let l = 4 - 0. Let k be 18/39*2/l. Suppose -o + 2*r = -0*o + 5, 5*r = 5*o + 15. Is o bigger than k?
False
Let i(u) = 8*u**3 - 1. Let g be i(1). Let b be -4 - (-1 + 3 + -8). Suppose 4*s - 4*v - 24 = 0, -2*s - b*s + v = -27. Is g at most s?
True
Let f = -8 + 12. Let b = 1 + 1. Let x = b + 0. Which is smaller: f or x?
x
Let v = -10 + 11. Suppose 8 = 2*u + 4*f, 5*f + 2 = 3*u + v. Suppose -z + 4*a - u = z, 5*z + 5*a = -5. Is z less than -4/5?
True
Let l = 597799/4200 + 1/4200. Let d be 10/(-4)*(-174)/(-3). Let s = l + d. Which is smaller: s or -3?
-3
Let i = 29 - 18. Suppose i = -3*q + 14. Let g = -4 - -6. Is q at most as big as g?
True
Let i(q) = -6*q + 104. Let h be i(7). Which is bigger: h or 60?
h
Let f = -33 + 32. Let j = -0.173 + 1.873. Which is greater: f or j?
j
Let z(h) = -5*h**2 - 1. Let s be 2 + (-4 - (-3 + 2)). Let b be z(s). Let g = 9 + b. Is 2 > g?
False
Let f(q) = q**3 + 7*q**2 + 4*q - 13. Let v be f(-6). Let k = -6 + 2. Let r be v*k/(4*-1). Is r at most 1?
True
Suppose 0 = 3*k + k + 20. Let u be (-9)/(-18) + k/(-2). Which is greater: u or 4?
4
Suppose -4*t = -2*t - 2. Suppose -i - 5 = -b - 3, 5*b + i = -14. Let w be (-3)/((-12)/(-8)*b). Is w at least t?
True
Let g be (-4 + 4 + 0)/(-1). Suppose g*v + 40 = -2*v. Let s be (1 - v)*2/12. Are 3 and s nonequal?
True
Suppose 5*i - 4*i - 143 = -4*s, 5*s + 4*i - 187 = 0. Which is smaller: s or 31?
31
Let y be -1*(-2 + 5) - 0. Let r be 1 - (15/18 + -1). Let k = r - 11/6. Which is smaller: k or y?
y
Let j be (-5)/(-50) - (-245)/50. Suppose -3*q - 2 + 11 = 0. Which is smaller: j or q?
q
Let n be -4*(-3)/(-90) + 13/(-15). Let m = -282239/9 + 31437. Let f = 77 - m. Which is smaller: n or f?
n
Let g be 124 + 16/2 + -4. Suppose 0 = -x + 180 + g. Let p be 272/x - 9/21. Are p and -1 nonequal?
True
Let g = 15 + -15. Suppose g = -2*o + 5*o + 5*p - 29, 0 = 2*o - 5*p - 11. Suppose -4*l - 34 + 1 = -5*h, 0 = -l - 2*h + o. Is -2 bigger than l?
False
Suppose -58 + 64 = 2*r, 0 = k - 3*r + 722. Is k >= -713?
True
Let b = 2241 - 307021/137. Let h = b + -1898/685. Are 2/3 and h non-equal?
True
Let c be (1 - -3)/12*-6 + 7. Suppose -3*m + 2*x + 7 = 3*x, -5*x - 45 = -c*m. Let a be (1/2)/((-3)/(-6)). Which is bigger: m or a?
m
Suppose k = -4*k + 15. Suppose -k*c + 18 = 3*n, -c = -n - n - 3. Suppose 2*h - 1 - 4 = -x, h - 3*x + 1 = 0. Which is greater: h or n?
h
Let k be 69/(-828) + (-554)/(-7512). Which is greater: k or 1?
1
Let c = -32 - -35. Suppose 0 = c*z - z + 30. Let f = z + 36. Is f greater than 20?
True
Let r be (749/(-91))/((-2)/64). Let v = r - 263. Is v equal to -1?
False
Let t be 4 + (-118)/12 + 6/1. Which is bigger: t or 1/4?
1/4
Let g = -9 - -39. Let h = -28.9 + g. Which is bigger: -1/2 or h?
h
Let u(i) = -7*i**3 + i**2 + 28*i - 28. Let n be u(1). Which is bigger: 35 or n?
35
Suppose 10 = -5*b, -4*b - 1268 = -3*k - 402. Which is greater: 289 or k?
289
Suppose 2*h + 6*z - 40 = 2*z, -62 = -3*h - 5*z. Let t = 7 - h. Suppose 5*w + 4*y = -105, -5*w + 4*w - 2*y - 27 = 0. Is w < t?
False
Let l = 3.56 - 1.76. Which is greater: l or 0.3?
l
Let m = 17 + -32. Let v be 7/((-7)/2) - -5. Suppose 0*y - 42 = v*y. Which is smaller: m or y?
m
Let r = 656.33 - 666. Let c = r - -10. Let n = 0.43 - c. Which is bigger: -2/31 or n?
n
Let u = -1.2 + 2.3. Let d = -45.9 - -46. Let k = u - d. Which is smaller: k or -0.11?
-0.11
Let g = -371.2 + 367. Which is greater: g or -0.3?
-0.3
Let p = 27.27 + 125.83. Let u = 153 - p. Which is smaller: u or 14?
u
Let n = 126.26 + 2.74. Is 1/3 less than n?
True
Suppose 0 = o - 3*z + 18, z - 4*z = 12. Let t be 7/o + (-9)/(-18). Which is smaller: -1 or t?
-1
Let k be 94/18 - 2/9. Let l = 36 - k. Is 32 > l?
True
Let p = 0.347 + 64.653. Which is smaller: -0.5 or p?
-0.5
Let y(d) = -d + 10. Let q be y(8). Suppose 2*u - q = -8. Let w = 9/76 + -45/19. Which is smaller: w or u?
u
Let m(a) = -265*a**3 + 8*a**2 - 6*a + 2. Let y be m(1). Is y equal to -257?
False
Let t be 38/((0 + -2)*-1). Suppose 4*u - j = 10, 3*u + 4*j = -j + t. Is u at most 4?
True
Let a be (2 - 1)*0/5. Suppose a = -3*s + s - 76. Is s smaller than -39?
False
Suppose 34*i = 12*i + 154. Let j be (-216)/(-3)*(-6)/9. Let m be (-10)/(-4)*j/(-15). Which is smaller: m or i?
i
Let u(l) = l**3 - 4*l**2 - l + 5. Let s be u(4). Let q be 3/(-2)*(-16)/8. Suppose 3*m = 5*n - q, 0*m = -4*n + m + 8. Are s and n unequal?
True
Suppose -4*s = -2*d - 8, -d - 2*d = -s + 27. Which is smaller: -75/7 or d?
-75/7
Suppose 0 = -2*z + 7 - 5. Suppose 0*y = -2*y. Let w be 1*(z + y) + 2. Is -1 smaller than w?
True
Let s = 11.72 + -11.8. Let o be 15/20 + (-5)/4. Which is smaller: s or o?
o
Suppose -9*v = -14*v + 15, -2*v + 12 = -k. Is -122/25 > k?
True
Let v(n) = 3*n - 15. Let z be v(6). Let k be (z/(-4))/(525/(-200)). Suppose -5*l = -46 - 29. Is l not equal to k?
True
Suppose 24*g - 28*g = -780. Which is smaller: 196 or g?
g
Let g = 14 - 9. Suppose 0 = -6*p - 1 - g. Is p < 2/9?
True
Let h = 3215/3 - 1071. Which is smaller: 0.407 or h?
0.407
Let k be 226/(1/(69/(-6))). Let f = -13046/5 - k. Let p = 10 + f. Which is greater: 1/3 or p?
1/3
Let x = -651 + 649.43. Which is smaller: x or 0.4?
x
Suppose -3*d - 5*g - 27 = 0, 38 = -12*d + 4*d - 2*g. Which is smaller: d or -19/7?
d
Suppose 4*u + u = -10. Let g be (-1 - u)/((-1)/9). Is g smaller than -8?
True
Suppose -2*x + 20 = 4*h, -5*x = -3*x. Let k = 0 - h. Let d be (-2)/5 + (-140)/25. Is k smaller than d?
False
Let z = -70.2 - -70.3264. Is z less than 0.1?
False
Let j(d) = -9*d + 12 + 5*d + 6*d. Let f be j(-10). Is -6 at least as big as f?
True
Let z be -2 - -1*(5 - 2). Which is smaller: 4/253 or z?
4/253
Let m(z) = -z + 5. Let u be m(5). Suppose 3*s + u*s = 0. Which is smaller: -8/17 or s?
-8/17
Let p = -161.037 + 161. Which is greater: p or -1?
p
Let g be (11/(-13) - 0) + (-4)/26. Let k be (-3 + 1)*((-63)/60)/(-3). Is k < g?
False
Let p = 0.0283 + 4.9717. Is p > 16?
False
Let j be (8 - 290/35)/(6/14). Is j less than 173?
True
Suppose -3*t - 4*j = -j + 24, 4*j + 20 = -3*t. Let p be t/(-3) + (-18 - -1). Let k = -13 - p. Is 0 less than or equal to k?
True
Let r(t) = 4*t - 11. Let c be r(5). Suppose -2*s + 2*j + 10 = 0, 3 = 3*j - 6. Which is smaller: s or c?
s
Let k(o) = 2*o**3 + 12*o**2 - 15*o - 26. Let d be k(-10). Which is smaller: d or -677?
-677
Let j be 1/(-8)*1064/(-14763). Which is smaller: 0 or j?
0
Let w(b) = -2*b + 8. Let x be w(7). Let c = -6 - x. Suppose -5*r - 25 = -c*r. Which is greater: -6 or r?
r
Let m = 25.8 - 30.8. Which is smaller: m or 0.2?
m
Suppose -3*i - 4 = -1. Let u = -1 - i. Suppose u = 5*p - 2 - 3. Do p and -1/4 have different values?
True
Let t = -7 + 7.14. Let p = -1 - -1.2. Is t less than or equal to p?
True
Let s be 2 + -16 + 8 - 29. Which is smaller: 5/3 or s?
s
Let x = 1130 - 1543. Are -413 and x equal?
True
Let p be (-4 - (-6)/2) + -3. Let n be (-6)/p - 1026/(-36). Is 30 less than or equal to n?
True
Suppose 18*g = 26*g. Is g smaller than 3?
True
Let z be 1/(-3)*(-2)/16. Suppose -2*s = 2*g - 10 + 44, g = 5*s + 73. Let v be (1 - 1/1)/(s + 12). Which is smaller: v or z?
v
Suppose 3*t = 5*o - t + 10, 0 = -3*o + t + 1. Let p = 141 + -140. Is p bigger than o?
False
Let f = -1 + -10. Let h = -5 - f. Suppose h = 2*y + y. Are y and -3 nonequal?
True
Let y(l) = -6*l**2 + 19*l - 2. Let p be y(3). Is 661 at most as big as p?
False
Let s(a) = 3*a**2 - 42*a + 18. Let n be s(13). Which is smaller: -26 or n?
-26
Suppose -3*k - 41 = 55. Which is greater: k or -2?
-2
Let u be 19*(2/4)/(2/(-12)). Let w = 60 + u. Which is greater: w or 9?
9
Let n = -3183 + 3183.8. Which is greater: -19 or n?
n
Let b(g) = 3*g**2 + 21*g + 6. Let p be b