t most as big as u?
True
Suppose -q - 2 = q. Let i = 1 + q. Which is greater: 1/3 or i?
1/3
Let v = -21 - -11. Let a = v - -6. Let z = 0.09 - 1.09. Which is greater: a or z?
z
Let g be (4 - 3)*-1*-3. Let y be 0 + (-60)/14 + g. Which is bigger: y or -2?
y
Let r be 1/(-5) + 123/(-285). Let d = 3/95 + r. Let f = -12 + 10. Which is smaller: f or d?
f
Let j = 0.025 + 6.975. Is 2/5 >= j?
False
Let h = 0.1 + 4.9. Let z = 3 - h. Is z not equal to -2?
False
Let z be ((-1)/(-3))/((-3)/(-6)). Suppose -3*v + 0*v = 0. Which is smaller: v or z?
v
Suppose 20 = 4*g, -6*j = -3*j - 2*g + 139. Which is smaller: j or -41?
j
Let o be 2/9 + (-482)/(-18). Let h be (-5)/18 - 6/o. Suppose t = -2*l + 8, -4*t + l = -4*l + 33. Is h >= t?
True
Let q be (3 - 132/42)*-7. Is q at most as big as 0?
False
Let v(t) = -t**2 - 2*t + 4. Let o be v(-3). Let z = 0 + -1. Let b be 4/3*z/(-6). Which is smaller: b or o?
b
Let r = 3 - 1. Let j = r - 3. Are 2/7 and j equal?
False
Let p(s) = -2*s**3 - s**2 - s - 1. Let o be p(-1). Let u = 26 - 23. Let l be 1*u*10/(-150). Which is smaller: l or o?
l
Let l = -25/36 + 4/9. Suppose 3*q = -2*m + 7, 3*m - 7 = -0*m - q. Suppose m = 5*k - 3. Which is greater: k or l?
k
Let l = 2.9 + -3. Let m be (-113)/(-3) - 2/1. Let n = m - 35. Is l greater than n?
False
Let h = 10 - 88/9. Let g = -4 + 6. Suppose w - 6 = -g*w. Is h bigger than w?
False
Suppose 3*w + 3 = -0*w. Let n = 24 + -23. Let t = -2 + n. Does t = w?
True
Let a = 0.02 + 0.06. Let u = 0.02 + a. Let j = 0.06 + 2.94. Which is smaller: u or j?
u
Let v be (6/4)/((-2)/(-12)). Let z(f) be the first derivative of f**4/4 - 8*f**3/3 - 4*f**2 - 11*f - 2. Let q be z(v). Is q not equal to -3?
True
Suppose -7*h = -0*h - 140. Suppose h = 3*m - 1. Is 7 >= m?
True
Let g(o) = o**2 - 2. Let a be g(-2). Is -6 equal to a?
False
Let w = -0.04 - -1.04. Are w and -24 equal?
False
Suppose -3*a = 5*o + 11, 0*a - 3 = o + a. Is o at most 0?
True
Let w(n) = -n**3 - 6*n**2. Let s be w(-6). Let f be -3 - (-2 - (3 + 0)). Suppose -f*m - 12 = 3*i + m, 4*i - 4*m = 8. Is i greater than or equal to s?
False
Let o be (-4)/(-2)*1/7. Let a be (92/60)/1 + (-2)/10. Is o greater than or equal to a?
False
Let l be (-6)/3*(-1)/2. Suppose l - 7 = 2*t - w, 2*w = -t - 8. Which is bigger: t or -1?
-1
Suppose 5*r + 1 = 6. Which is smaller: -1 or r?
-1
Let g = -57 + 102. Is 47 greater than or equal to g?
True
Let s be 3/(-1) + 3012/(-33). Let c = s + 94. Are -0.1 and c unequal?
True
Let u = 1/31 - -28/93. Which is smaller: 2/7 or u?
2/7
Let n be 3*(1 + (4 - 4)). Let i = n + -2. Are 2/13 and i equal?
False
Let b(p) = -2*p + 6. Let i be b(-7). Suppose 4*u - 2*h = 2*h - 20, -5*u + 4*h - i = 0. Is -1/14 at most u?
True
Let l = -3 - -1. Which is smaller: -1 or l?
l
Let o be (-258)/2100*(-5)/2. Let q = o - 2/35. Let u(j) = -j**3 + j**2 + 1. Let w be u(0). Which is bigger: q or w?
w
Let d(y) = -2*y**2 - 4*y - 3. Let b be d(-1). Which is smaller: -4/51 or b?
b
Suppose 0 = 3*h, 4*t - h = 4*h - 20. Let b = 2 + t. Let s(k) = 3*k. Let y be s(-1). Is b greater than y?
False
Let b be 32/14 + 2/(-7). Suppose -8 = -b*o - 0. Suppose -2*p - 3*h = 10, -5*h - o - 12 = 4*p. Which is smaller: 2/11 or p?
2/11
Let k(r) = -r - 12. Suppose 55 = -5*t - 5. Let l be k(t). Which is smaller: l or 2/21?
l
Suppose 5*r = 79 - 9. Let l be 3/(r - 2)*-3. Suppose -5*c = 2*u, 2*c = 5*c + 2*u. Which is greater: l or c?
c
Let b = 19/10 - 57/5. Are b and -9 nonequal?
True
Let c = 1238/79 + -1/237. Which is smaller: 16 or c?
c
Let c = 15014/27 + -556. Is -1 smaller than c?
True
Let o be 60/(-52) - (-2)/13. Let n be 3*o/(-4 - -3). Are 2/9 and n unequal?
True
Let j = 2 - 0. Let i be (3/6)/(j/8). Let s = 10 + -7. Which is smaller: i or s?
i
Suppose -4*o + 128 = 4*o. Is 16 at most as big as o?
True
Let m be 37/3 - 9/27. Let l(k) = -k**2 + 12*k. Let a be l(m). Is a greater than 6?
False
Let w = 0.978 + 0.022. Is -0.3 greater than w?
False
Suppose 5*i - 2*i + 5*k + 13 = 0, -3*i - 3*k - 15 = 0. Suppose 0 = -2*m + 1 + 5. Let f(p) = -p**3 + 2*p**2 + p + 2. Let a be f(m). Which is smaller: i or a?
i
Let t be (-6)/27 - 1124/(-36). Is 32 greater than t?
True
Let f(a) = -a**2 - 6*a - 2. Suppose 0 = 4*b + 12, 4*w + 5*b = w - 30. Let c be f(w). Which is bigger: c or 7/3?
c
Let k be -6*15/(-24) + -3. Let s be (-1)/(-5) - (-4)/5. Is s >= k?
True
Let u be ((-1*4)/(-52))/1. Are -1 and u non-equal?
True
Let u = -6.5 - -3.5. Which is bigger: -0.8 or u?
-0.8
Let i(c) = -c**3 - 11*c**2 - c - 8. Let j be i(-11). Is 3 greater than or equal to j?
True
Let q be (-2)/5 + (-248)/(-20). Suppose -q = 3*g + 9. Is -8 bigger than g?
False
Suppose -3*g = -1 + 4. Which is smaller: g or -2/33?
g
Let i(l) = 4*l. Let r be i(1). Let k be (-64)/24 + r/6. Which is greater: k or -2/5?
-2/5
Suppose -2*q + q = 12. Which is smaller: -11 or q?
q
Let m = 175.05 - 175. Is m > -3/4?
True
Suppose 0 = -0*g - 3*g + 15. Suppose 0 = -d + 3*v + 2 + 8, 2*v - 16 = -g*d. Let l = d - 4. Which is bigger: -1/8 or l?
l
Let o = -0.93 - 0.07. Let b = o + 5. Let u = -1 + b. Which is smaller: 0.2 or u?
0.2
Suppose -2*q - d = d + 12, 2*q - 5*d = -5. Let o be -16*7/(-28) - 9. Is q not equal to o?
False
Let w(b) = -2 + 2*b**2 - b**3 + 5*b**2 - 2 + 7 + 6*b. Let d be w(8). Is -12 less than d?
False
Suppose 2*g = 4*g - 18. Let v = -10 + g. Let s = 1.3 - 1. Do s and v have the same value?
False
Let t be ((-273)/(-84))/(2/(-4)). Let d = -15 - -8. Is d less than or equal to t?
True
Let o = 14 + -12. Suppose -2*m + i = -9, 2*m - o*i = 2*i + 24. Let u(g) = 2*g**3 + g**2. Let l be u(1). Which is bigger: m or l?
l
Suppose 0*k + 3*k = 0. Let j(a) = -a - 12. Let p be j(-13). Suppose 0 = -b - k + p. Which is smaller: 0 or b?
0
Let y be 0 + (0 - (0 + -3)). Is y equal to 0?
False
Let f be ((-2)/5)/(5 + 7). Is 0 > f?
True
Let n be 1 + 2*6/16. Let h = 0 - 1. Let c be (-1 - (h - -1))*-2. Is c greater than n?
True
Suppose 2*s = -f + 10, -13 = -5*f + 4*f - s. Suppose -4*v = -2*j - f, 2*v + j - 8 = -2*j. Are 3 and v equal?
False
Let y(d) = -d**3 + 3*d**2 + 20*d - 13. Let w be y(6). Do w and -1/309 have different values?
True
Let n(i) = -i**2 - 11*i - 6. Let v be n(-10). Suppose -v*l = 4 + 4. Suppose 9 = 5*k - 5*z + 24, 0 = -2*k + 5*z - 15. Is k at most as big as l?
False
Suppose 0 = 2*a + 10, -3*a - a = p + 15. Suppose 0 = -3*b + p*b. Let l be (-4)/14 + 4/14. Is b not equal to l?
False
Suppose -y - 5 = -2. Which is smaller: y or -2?
y
Suppose -7*l + 2*l = 0. Let p(r) = -345*r**2 - 2*r - 1. Let i be p(-1). Let x = i + 2404/7. Which is smaller: l or x?
x
Let y = 2 - 7. Are y and -1 non-equal?
True
Let u(k) be the second derivative of -k**3/6 - 3*k**2/2 + 3*k. Let s be u(-5). Let t = 1 - 2. Is t at most as big as s?
True
Let c = 42 - 40. Which is greater: c or 14?
14
Let s be (1 - 16/20)/(-1). Let y = 3 - 9. Let n be (-6)/4*(-4)/y. Are s and n non-equal?
True
Let q be 1215/(-69)*1/(-6) - 3. Which is greater: 1 or q?
1
Let y = -11.5 + 6.8. Which is greater: 1 or y?
1
Let n = -268 + 466. Let j be 2/12 + (-69)/n. Which is bigger: -1 or j?
j
Let s = 155 + -152. Is 35/9 at most as big as s?
False
Let j = -37 - -18. Let m = j + 24. Which is bigger: 6 or m?
6
Let p = -10 - -11. Which is bigger: p or -1/4?
p
Let g be -4 - -1 - (3 - (-74)/(-6)). Which is smaller: 7 or g?
g
Let c = -0.21 - 0.89. Which is smaller: c or -0.2?
c
Let z = -8.1 + 8. Which is bigger: 0 or z?
0
Let y = 79 - 40. Suppose f - y = 4*f. Which is bigger: f or -11?
-11
Let w = -4 + 19. Let a be (-1)/(-3) - 20/w. Is a < -4?
False
Let l = -11 + 13. Suppose l*x = -2*j + 20, 0*x - 5*j + 32 = 2*x. Which is greater: 7 or x?
7
Suppose x - 3*x = -6. Suppose 32*p - 45 = -13. Which is smaller: x or p?
p
Let d = -4.96 + 5. Let v = d - -0.96. Let i = v - 4. Which is greater: i or -1?
-1
Let n = -35 + 33. Which is smaller: n or -2/11?
n
Let a = 203 + -4059/20. Which is greater: a or -1?
a
Suppose -20 = 5*w - 80. Which is smaller: 34/3 or w?
34/3
Let j(h) = -4*h + 1. Let c be j(1). Is -3 smaller than c?
False
Suppose 3*r + 1 - 1 = 0. Is r at most 5/27?
True
Let a = -0.19 - -0.09. Is 2 less than or equal to a?
False
Suppose n = 2*t + 5*n - 14, 0 = -4*n + 12. Let a = 1 + -1. Is a at most t?
True
Suppose a - 2*a - 6 = 0. Let n(j) = -j**2 - 5*j + 3. Let m be n(a). Is m at least -1?
False
Let t be (3 - 3) + (-2)/(-6). Let j = 1.59