Suppose l*i + 20 = -2*i. Which is greater: i or j?
i
Let c = 9 + -10. Let q be (-18)/35 - 6/21. Is q >= c?
True
Suppose -2*s + b = 4*b - 19, -s = -2*b + 8. Suppose -3*n + n = -h - 1, s*n - 4 = -2*h. Suppose -2*y - n = -y. Which is greater: y or -2?
y
Let v(u) = u - 7. Let z be v(6). Let a be (-151)/3 - (-2 - -4). Let m = a - -2047/39. Which is greater: m or z?
m
Let a(r) = -r**2 + 16*r - 10. Suppose 0*g - 30 = -2*g. Let d be a(g). Is 5 != d?
False
Let m = 14.1 - -28.9. Is 0.1 greater than m?
False
Let y = 261 - 1023/4. Is y less than or equal to 6?
True
Suppose -w = w - 4*r - 10, 3*w = r + 15. Let i be (2/w)/(3/75). Is i equal to 0?
False
Suppose 4*u - u = -4*g + 11, -13 = 3*g - 2*u. Suppose 3 = 5*l + 18. Let x be (-2)/l + 4/(-6). Which is smaller: g or x?
g
Suppose -8 = 4*h + 4. Let x be (2/(-9))/((-2)/h). Which is smaller: x or 1/10?
x
Let l = -6 + 6. Suppose 5*s + 5*d - 15 = l, -3*s + 2*d + 2*d = 12. Does -3 = s?
False
Let f be (3/(-9))/(10/(-12) + 1). Is f >= -1?
False
Let b = -22373/153 + 1324/9. Let a = b - -21/34. Which is greater: 1 or a?
a
Suppose y = -5*y + 9*y. Is y greater than -2/103?
True
Let i be ((-4)/(-6))/((-32)/48). Let s = 56/3 - 19. Which is bigger: i or s?
s
Suppose 0 = 3*b + b + i - 30, 20 = 4*b - 4*i. Let x = b - 6. Which is bigger: 2/5 or x?
x
Suppose 41 = 4*o - 31. Is 17 bigger than o?
False
Suppose 0 = g + 3, -5*n + 6*g = g - 25. Let w = n + -3. Is -1 at least as big as w?
True
Suppose -5*z = 2 + 3. Which is greater: -2 or z?
z
Let v = -5 + 6. Which is greater: 4/15 or v?
v
Let h = -46/37 - -802/407. Is h <= 0?
False
Let k = -65 - -28. Which is greater: k or -38?
k
Suppose -4*n - 5*t = -76, -n + 11 + 7 = t. Is n at most 14?
True
Let m(y) = -y - 4. Let o be m(-5). Let k = o - 2. Is -3 less than or equal to k?
True
Let v = -1 + -4. Let p be (-4)/5 - v/(-25). Let r(y) = -y**3 + y**2 + y + 1. Let z be r(2). Is p at most as big as z?
True
Let z = 8.8 + -9. Is -2/3 <= z?
True
Suppose 0 = x + 2*x - 6. Suppose -i + x = -b - 3, 20 = 2*i - 4*b. Suppose -2 = -2*j - i*j. Is j <= 1?
True
Let f = 2.02 + -5.02. Is -12 greater than f?
False
Let a be 1016/56 - 4/(-2). Let c = a - 20. Which is greater: c or 1?
1
Let n(y) = y**2 - 3*y - 12. Let l be n(6). Suppose -l = 7*s - 10*s. Are 2 and s nonequal?
False
Let o be -2 + 3*14/6. Suppose -c = -4*w + 4, 28 = 4*w - 0*w + o*c. Suppose 4*b = -j - 13, j + w*j = -4*b - 15. Which is smaller: j or 0.2?
j
Let z(o) = 15*o**2 + 2*o + 2. Let b be z(-1). Is b equal to 15?
True
Suppose -3*p = p - 24. Let l = -0.26 + 0.16. Do p and l have different values?
True
Let w be (-1)/(12/(-115)) + (-4)/16. Is 8 < w?
True
Let k = -0.6 + -1.4. Let u = -2.6 - k. Let r = u - -0.7. Are 0.3 and r equal?
False
Let n be 2/9 + 43/9. Let d = n + -8. Is -3 greater than or equal to d?
True
Let u = 0.99 - 0.09. Let n = 1 - u. Which is greater: n or 18?
18
Let o = -22 + 20. Which is bigger: o or -4?
o
Let g = -5.06 + 5. Let t = 0.06 + g. Which is bigger: t or 1?
1
Suppose 0 = -3*t + 15. Suppose h = t*h + p - 22, -5*p + 10 = 0. Let m be 1 + 0 - (h - 4). Is 0 greater than m?
False
Let d(a) = 12*a**3 - 3*a**2 + 2. Let k be d(2). Let y = 194128/2245 - 32/449. Let b = k - y. Which is greater: -1 or b?
b
Let k(i) = i**3 + 9*i**2 - 12*i - 11. Let d be k(-10). Suppose 0 = 4*y - y - d. Suppose -y*m = -m. Which is bigger: -1 or m?
m
Suppose k + 6*l + 6 = 3*l, 15 = -3*l. Let z(y) = 4*y - 19. Let x be z(k). Which is smaller: 18 or x?
x
Suppose -4*d + 13 = o, -3*d + 3*o = 5*o - 16. Let c be -2 - -7*(-1 + d). Suppose -5*b = -3*b + 6, 0 = 4*r - c*b - 15. Which is greater: -2 or r?
r
Let g = 3.9 - 3.8. Are g and -3 equal?
False
Suppose 0 = -0*r - r. Suppose 5 = -5*k - r. Let z be (-4)/((-24)/3)*-1. Is z at least as big as k?
True
Let p be ((-2)/20)/((-5)/20). Which is smaller: p or -1?
-1
Suppose 0 = -2*f - 3634 + 1138. Let l = -288301/231 - f. Let z = 5/21 + l. Is 1 bigger than z?
True
Suppose 3 + 1 = -d. Suppose 4*g = -4*t, 4*t - 3 - 29 = 4*g. Let f = g + 1. Are f and d non-equal?
True
Let u = 22 - 18. Are u and 6 equal?
False
Let c(k) = -3*k - 3. Suppose 1 = 3*b + 91. Let a be 1/3*b/5. Let z be c(a). Is z less than 4?
True
Let z(q) = -7*q - 2. Let s be z(-5). Let g be (-2)/(-12) + s/126. Suppose -y + 0 = 1. Which is smaller: y or g?
y
Let v = 23 - 23. Suppose 3*r - 11 = 4*x, v*x - 4 = 2*x. Which is smaller: -3/7 or r?
-3/7
Suppose -10 = n + n. Let d be (-3)/n + (-6)/10. Does 4 = d?
False
Let k be -5 - 8/(-4) - (-2 - -1). Which is greater: -17/7 or k?
k
Let i be (-666)/4074 + (-2)/(-14). Which is greater: i or 1?
1
Suppose -12*p = -6*p - 144. Is p equal to 22?
False
Let f = -14 - -43/3. Let i = 52/35 + -6/5. Is f < i?
False
Suppose w + 11 = -2*q, 2*w = 1 - 3. Let i = 6 + q. Does i = 1?
True
Let s(x) = -4*x**3 - x**2 - x. Let d be s(-1). Suppose -3*w + 4*w = d. Is w at least 4?
True
Let t(o) be the third derivative of o**4/12 + 13*o**3/6 + o**2. Let f be t(-9). Let c be ((-10)/2)/(3 + -2). Is c >= f?
True
Let j be -3 + 4/((-28)/(-23)). Which is greater: 9 or j?
9
Let w = 2 + -2. Let y = -102992/1165 - -6/1165. Let g = y - -88. Is w != g?
True
Let t = -129/224 - 337/32. Let a = -118/7 - t. Let h = -6 - a. Are -1/5 and h nonequal?
True
Suppose -3*g = 2*x - 2*g + 8, g - 10 = 4*x. Does x = -3?
True
Let b be (-6 - 539)*6/35. Let z = b + 93. Is -1 <= z?
True
Let x = -18/23 - 107/69. Which is smaller: x or -1?
x
Let g be (-2)/7 - 845/(-91). Are g and 8 equal?
False
Let r = -55 + 64. Is 8 at most as big as r?
True
Let y(s) = -s - 3. Let b = -1 - -1. Let t be y(b). Let x be (-16)/(-10)*t/(-12). Which is greater: -1 or x?
x
Let j = 1 + -0.4. Let b = 86 + -85.3. Let s = j - b. Which is bigger: s or 1?
1
Let k be 1 + (-1 + 0 - -4) - 32. Which is smaller: k or -30?
-30
Suppose 6*x - 3*x = x. Is x bigger than 1/62?
False
Let v be (-2)/10 - (-18)/15. Suppose 3*o + v - 7 = 0. Which is smaller: 6/7 or o?
6/7
Let z = 25 + -24.99. Which is smaller: 0.1 or z?
z
Let h(a) = a**3 - 8*a**2 + 6. Let i be h(8). Let v be 1*2*(-9)/i. Let f be (-2)/(-6) + 4/v. Which is greater: -3/2 or f?
f
Let w = -7489/9 + 837. Let y = w + -50/9. Suppose -2*o + 5 = -5*o + 5*u, 0 = -u + 1. Which is bigger: y or o?
o
Suppose 5*x - 27 = -2. Suppose -5*k + 20 = x. Suppose 4*r - 21 = k*j, 4*j + 4*r - 3 = -r. Which is smaller: j or -4?
-4
Suppose -2*c - 1 + 9 = 4*j, 3*j - 2*c + 8 = 0. Suppose 7 = -g - 4*r, r = g - j*g - 8. Are -1 and g nonequal?
True
Let r = 71 - 96. Which is greater: r or -2/9?
-2/9
Let k = 0.021 + -0.121. Which is smaller: -3/4 or k?
-3/4
Suppose -3*c = -9, -3*f = -f - 4*c + 10. Suppose 0 = -5*d + 1 + 9. Which is bigger: d or f?
d
Let h be 4 - (-1)/3*-6. Which is bigger: h or 15/19?
h
Let x be 15 - 12 - (-3 - 0). Which is smaller: 7 or x?
x
Let q = -9.09 + 0.09. Let t = 12 + q. Which is smaller: -1/3 or t?
-1/3
Suppose -2*m - 3*m = 0. Suppose -k = -m*k. Is k <= -1/5?
False
Suppose -p = -0 + 2. Let o be -3*p*3/117. Which is smaller: 0 or o?
0
Let x be (-3)/(-2)*12/(-63). Let h be (3*1/(-27))/(2/4). Is h bigger than x?
True
Let p be 1*(1 + 1)/(-2). Let y = -5.59 - -0.59. Are p and y non-equal?
True
Let x(j) = j**2 + j. Let a be x(-2). Suppose 3*r + a - 5 = 0. Is r less than or equal to 1/8?
False
Let j = 244 + -1459/6. Do 0 and j have the same value?
False
Let r = 19 + -27. Let a = r - -12. Suppose -4*m = -7*m. Which is smaller: a or m?
m
Let k = -0.09 + -0.61. Let p = 1 + k. Let f = p - 0.4. Which is smaller: 0.1 or f?
f
Let t = 1.4 - -0.2. Let b = -1.7 + t. Does -6 = b?
False
Let w = -0.38 - -5.38. Let s = -4 + -1. Let f = s + w. Is 2/5 at least f?
True
Suppose -3*v - 2*v = -10. Let a be ((-84)/(-27))/2 - v. Is -1 < a?
True
Let v be (-2 - (-2 - 0))/(-1). Suppose v = -x + 4 - 2. Is 2 < x?
False
Let z = -1.2 + 1. Is z less than 2/3?
True
Let r = -14 - -15. Which is smaller: 5/9 or r?
5/9
Let o be ((-15)/(-27))/(1/15). Let d = -8 + o. Is d <= 1?
True
Let q(u) be the first derivative of u**4/4 - 2*u**3 - 6*u - 2. Let n be q(6). Let i = n - -3. Is i greater than or equal to -2?
False
Let v be 21*(1 + 0)/1. Let i be 5/(-7) - 6/v. Let r be 1*i/(7/(-2)). Is -1 at most r?
True
Let r = -0.08 + -0.02. Which is greater: 0.4 or r?
0.4
Let h(i) = 2*i + 7. Let s be h(-6). Let t be 1/((s/(-2))/5). Let g = 2 - t. Is -3/5 greater than or equal to g?
False
Let x(s) = -s**2 + 7*s - 6