/(-30). Let o = 2/3 - l. Which is greater: 1 or o?
1
Let j(s) = s + 7. Let b be j(-10). Let q be (-1)/(2/3*b). Is q greater than -0.4?
True
Suppose 0 = -g - 2*v - 8, g - 5*v - 20 = 2*g. Suppose -3*k + 14 = 4*m, -3*m = 2*k - 12 + 2. Let n be 1 - 2 - m/2. Which is greater: g or n?
g
Let v be -8 + 10 - 16/9. Which is smaller: v or 3?
v
Let q(d) = 2*d - 5. Let s be q(5). Let j(n) = -n**2 + 5*n + 2. Let l be j(s). Let r = 1 + l. Is 3 >= r?
True
Let f = 5 - -13. Let h be 3*4/f*-3. Is h at least 0.1?
False
Let l = 135.44 + -138. Let w = l - -2.6. Is w greater than or equal to 0.1?
False
Suppose y = -3*y - 8. Are -5/6 and y non-equal?
True
Let r be ((-3)/2)/1*-4. Suppose 0*x - r = -3*x. Let t be (x/8)/(3/(-4)). Which is smaller: 0 or t?
t
Let t = -7 - -6.93. Let y = t - 0.93. Suppose 4*l + 4 = 0, 3*l + 3 = -x - 3. Which is smaller: y or x?
x
Let n(t) = t**2 - 10*t + 13. Suppose 0 = -v - 5*x - 2, -x + 30 = -3*v - 4*x. Let y = v - -21. Let m be n(y). Which is bigger: m or 3?
m
Let a be -2 - (84/(-63))/(12/(-34)). Is a bigger than -7?
True
Let x be (-22)/3 - (-16)/48. Which is greater: x or -15/2?
x
Suppose -24 = -4*h + 4*i, 0 = 2*h - 0*h + 5*i + 23. Let s = 13 + -12.9. Are h and s equal?
False
Let x be (-299)/(-39) + (-2 - 4/(-3)). Which is bigger: x or 3?
x
Let y be ((-12)/2)/(-3) - 11. Which is smaller: y or -10?
-10
Let u = 6 - 6.1. Let x = 0.2 + u. Which is smaller: x or -2?
-2
Suppose 8 + 7 = 3*y. Suppose f + 13 = 2*w + 4*f, -17 = 2*w - 3*f. Is y bigger than w?
True
Let z = -43 + 33. Which is greater: z or -11?
z
Let w be -1 + -1 + 3/(-9). Let y(x) = x**2 - 16*x + 26. Let m be y(14). Which is smaller: m or w?
w
Suppose -2*x - k - 2*k = -6, -4*x + 10 = 5*k. Is 1/7 >= x?
True
Let k(c) = -c**3 - c**2 + c - 2. Let a be k(-2). Let t(i) = -i**2 + 8*i - 10. Let z be t(-10). Let u = 947/5 + z. Which is bigger: a or u?
a
Suppose 4*o - 4 - 28 = 0. Let c = o - 11. Suppose 6 + 2 = -4*h. Is h bigger than c?
True
Let w(g) = -g + 9. Let v be w(8). Which is smaller: v or 1/28?
1/28
Let d = 58 - 14. Let m = -1978/45 + d. Which is smaller: 1 or m?
m
Let g = -5 + 19. Suppose z = 3*z + g. Is z at least -7?
True
Let q be (-8)/(-10) - 4/(-20). Suppose -2*k - k = 4*p + 3, 4*p + 4*k + 8 = 0. Which is smaller: p or q?
q
Let f(j) = -j**2 + 5*j + 3. Let w be f(4). Suppose -17 = -z + 5*b, -2*b = -w*b - 15. Which is smaller: 18/7 or z?
z
Let k = 3 + -1. Suppose w - 1 = -k. Is 5 bigger than w?
True
Let z(p) = -p**3 + 7*p**2 + 5*p + 9. Suppose w - 14 = -3*n, 0 = -3*w - 2*w + 2*n + 36. Let l be z(w). Which is greater: -16 or l?
l
Let p = -4 - -3.96. Let w = p + -0.56. Let o = -3.6 - w. Which is smaller: o or -1/4?
o
Suppose 4*m + 87 = 5*d, -2*d - d + 97 = -4*m. Do -29 and m have the same value?
False
Let z = 0.15 - 0.45. Which is bigger: -7/5 or z?
z
Let p = -64 - -323/5. Let l be (-1 - -2) + 2/2. Which is bigger: p or l?
l
Let m(t) = -t**2 + 5*t + 4. Let n be m(6). Let f = 5 + -11. Let p be (1 + -1)/(8 + f). Is p less than n?
False
Suppose 7*s + 8 = 15. Which is smaller: s or -2?
-2
Suppose -8*j = -11*j + 9. Which is smaller: 4 or j?
j
Let v(b) = b - 5. Let h be v(5). Let z = h - 2. Which is greater: -1/2 or z?
-1/2
Let k = -33 - -15. Is -17 equal to k?
False
Let a be 2/8 + (-11)/12. Let d = 1293/55 - 86519/3465. Let l = 26/21 + d. Is l <= a?
False
Suppose 0 = 4*z - 5*m + 3, 2*z + m - 11 = -2. Let k be (5 + -2 + z)/(-5). Which is smaller: k or -1?
k
Suppose -39 = -2*w - 11*j + 6*j, 5*w - 2*j - 54 = 0. Is w >= 13?
False
Let j = -2/523 + 4715/2092. Is 3 less than or equal to j?
False
Let k(a) = a**3 + 3*a**2 - 3*a. Suppose 5*q = 2*g + 10 - 27, -3*g = -4*q - 8. Let o be k(g). Let y = o - -6. Is 3 greater than y?
True
Suppose 2*v = -v - 15. Suppose -3*q + 28 = q. Let k = v + q. Which is smaller: k or -1?
-1
Let i = 0.18 + 1.82. Is i != -2/15?
True
Let h = 1/64 + -25/64. Which is bigger: 1 or h?
1
Let i = 5 - 9. Let w be ((-6)/(-4))/(2/i). Suppose 0*h + 2*h = -4. Which is smaller: h or w?
w
Suppose -4*n - 5*s + 28 = 0, -n + 2*n - 2*s = -6. Suppose -2*i = 1 + 9. Let q be 1/5*-3*i. Which is bigger: n or q?
q
Let f = -9 + 3. Let a be (-10)/4*(3 + -1). Which is greater: f or a?
a
Suppose 37*r = 31*r - 6. Which is bigger: r or 0?
0
Let o be (-4)/(-108)*2*3. Let h = -3 - -2.9. Which is greater: h or o?
o
Let c(b) = 14*b + 10. Let v be c(9). Let o = v + -821/6. Which is smaller: -0.1 or o?
o
Let t be (-124)/22 + (-12)/(-3). Which is smaller: t or -3?
-3
Let k be 1/2 - (-5 + 4). Let i = k + -11/10. Which is bigger: -1 or i?
i
Let z be (-1)/(-2)*0 - -1. Let r be 21/(-6) + 6 + -2. Which is greater: z or r?
z
Let j = 79007/63 + -1254. Let c = j + 701/693. Do c and 2 have the same value?
False
Let d = 89/8 - 11. Which is greater: 5 or d?
5
Let m(v) = v + 5. Let h be m(0). Suppose -h = -4*j + 3. Let n be 25 + -31 + (-1 - -8). Which is smaller: n or j?
n
Let z = 2.9 + -3. Let h = 0.2 - 0.1. Which is bigger: z or h?
h
Suppose 78 + 38 = -4*o. Which is smaller: o or -1?
o
Let s be -2 + (4 - -13) - -1. Let i be (s/(-4) - -5)*0. Which is bigger: 1/23 or i?
1/23
Suppose 2*i + 8 = -2*i. Which is bigger: i or -3/5?
-3/5
Let f = 0.5 + 0.1. Let j = 0.7 - f. Which is smaller: j or -1?
-1
Let u be (48/(-18))/((-4)/6). Let b = u + 1. Which is smaller: 9/2 or b?
9/2
Let q be 4/(-10)*1*10. Let m be 2/q + (-6)/(-24). Let n = 0 + 1. Which is greater: m or n?
n
Let j(d) = -2*d**3 + d**2. Let u(w) = -w**3 - 3*w**2 + 1. Let x be u(-1). Let m be j(x). Suppose -2*c - m*c + 35 = 0. Is 6 < c?
True
Suppose 0*l - 2 = 4*y + 2*l, -2*y = 2*l. Let u(g) = g**3 + 3*g**2 - 2*g. Let o be u(-3). Let m = 4 - o. Is m at least y?
False
Let f(t) = -t**2 + 4*t + 7. Let a be f(7). Let b be (-32)/(-63) - (-4)/a. Let y = 4435/13 - 341. Which is bigger: y or b?
b
Let i = -6 - -9. Suppose s + 5*a + 18 = 0, -i*s + a + 26 = -4*a. Suppose -5*u - 5*p = 5, s*p = -u - 4*u - 5. Is -2/5 at most u?
False
Let b = -11 - -16. Let r be -1 - 1 - (-8 + b). Is 0 smaller than r?
True
Let b = -0.58 - -0.77. Is b >= 0.2?
False
Let g be (3 + 3 + 2)*2/(-516). Is 1 != g?
True
Let v(d) = 7*d**3 - 2*d + 1. Let u be v(1). Let t be 2/(-4)*(2 - u). Let s = t - 3. Is 2 bigger than s?
True
Let g = -6 - -7. Let j be (-1)/(-2)*6 + g. Which is smaller: j or 3?
3
Let g = 2 - 3. Is g smaller than 1/66?
True
Let d(o) = o**3 - o**2 + o + 11. Let r be d(0). Let y be -2 + ((-104)/r)/(-4). Is y greater than 0?
True
Suppose -s + 31 = 4*h, s - 42 = -3*h + 4*s. Let a = h + -10. Let t = 1 + -2. Are a and t non-equal?
False
Let k = -0.1 + 0.2. Is k <= 5?
True
Suppose -5*t + 3*f = -8, -3*f - 8 = -4*t - 1. Which is bigger: t or 1/52?
t
Let w(a) = -a**3 + 8*a**2 - 6*a + 1. Let g be w(7). Let q = g + -4. Is 4 smaller than q?
False
Let f = -47 + 51. Is 8 greater than f?
True
Let d = 39 + -64. Is -24 greater than or equal to d?
True
Let w(d) be the first derivative of -3*d**2 + d + 1. Let p be w(1). Is -4 smaller than p?
False
Let p be (-3)/15 + 1/5. Let w be 17/(-55) - 38/(-95). Which is smaller: w or p?
p
Let m = -31 - -26. Is -27/5 >= m?
False
Suppose -2*k + 0 = -10. Suppose -n = -k*s - 10, -4*n + s + 2 = -2*n. Suppose -c + 2*c + 1 = n. Is c smaller than 2/11?
True
Let g = -0.2 - -0.3. Which is smaller: 20 or g?
g
Let f = 4/7 - 19/21. Which is smaller: f or 1?
f
Suppose 0*i = -i. Let t be (0 - 2/5) + 1. Is t at least i?
True
Let z = -31358/39 - -804. Is 0 at most z?
False
Let c = -3 + 2.9. Let o = 0 - -11. Let a = -7 + o. Do c and a have different values?
True
Let o(g) = -g - 1. Let n be o(3). Let y be (2 + 0)/(1*n). Which is smaller: -1 or y?
-1
Let j(k) = -k - 6. Let b be j(-7). Let n be 90/825*(-5)/(-2). Which is bigger: n or b?
b
Suppose 2 = r - 0. Let g be 2/9 - ((-150)/54 - -1). Is r less than or equal to g?
True
Suppose 0 = 5*y - 29 + 4. Suppose -3 = -2*m + m - y*t, m = -2*t + 3. Suppose 2*j - 5 = -3*a, -2*a + 4 = 5*j - m*j. Which is smaller: a or -2?
-2
Suppose d = -4*d + 35. Let x(a) = -a**3 + 7*a**2 + a - 9. Let g be x(d). Which is bigger: g or -1?
-1
Let f be ((-12)/(-21))/(4/14). Suppose -5*p + p - 8 = 0, 2*p - f = -3*l. Which is smaller: l or 0?
0
Let o be 0 - (0 - (-2 + 2)). Suppose -f - 7 = -2*u, 5*f + o*u = 3*u. Suppose -f*h = -1 + 4. Which is bigger: h or -2?
h
Let r be ((-2)/13)/(0 + 1). Let o be (-96)/52 - (-6)/4. Let x = r + o. Which is bigger: -1 or x?
x
Let b b