 -1 + f. Which is bigger: v or t?
t
Suppose b - p = 6, 0*b + 4*p - 4 = -3*b. Let s = 82 - 79. Is s > b?
False
Let r be 18/14 - (-10)/(-35). Is r at least as big as -2/9?
True
Let m = 3.05 - 0.05. Let r = -1 + m. Which is smaller: r or 0.2?
0.2
Let n = -101 + 109. Which is smaller: n or 7?
7
Let r = 14 - 8. Suppose -4*h - 3*y = 16, r*h - y = h - 1. Let m be 16/28 + (-4)/14. Which is bigger: m or h?
m
Let m(p) = -p**2 + 8*p + 11. Let r be m(10). Let v be (r/30)/((-18)/(-75)). Which is greater: 0 or v?
0
Let j = 18 + -18.4. Which is bigger: j or -0.1?
-0.1
Let f = 2/2261 - -2253/9044. Let t = -14.12 - -0.12. Which is smaller: f or t?
t
Let s = 457/7 + -65. Suppose f = -2*f. Suppose -5*i = -f*i. Which is smaller: s or i?
i
Let d be 2/3 - (-18)/(-27). Which is greater: d or 4/7?
4/7
Let p = 1.3 + -1.2. Let d = -0.8 - 0.2. Is d less than or equal to p?
True
Let y be 37*3/(-22) - -5. Which is bigger: y or -1?
y
Let y(m) = -2*m**2 + 4*m. Let n be y(4). Which is smaller: n or 0?
n
Suppose -s - 2*s - 9 = 0. Let u(h) = -h**3 - 7*h**2 - 6*h - 4. Let k be u(-6). Let d be -3*k*3/(-9). Is s at most as big as d?
False
Let u = -88 + 183/2. Let y = -45/14 + u. Which is greater: y or 0?
y
Let j = 4 - -3. Let p = j - 6.7. Let g = 17/21 - 8/7. Is g greater than or equal to p?
False
Let z = 0.9 - -0.1. Let t = -84 + 84.3. Do z and t have different values?
True
Let o = 0.876 - -0.124. Is -5 >= o?
False
Let h(w) = -w**2 - 2. Let z(m) = -m**2 - m - 1. Let v(l) = 2*h(l) - 3*z(l). Let d be v(-2). Let o = -4 - d. Which is greater: -1/2 or o?
-1/2
Let z = -22 - -21. Let q = 0.2 - 0.12. Which is smaller: z or q?
z
Let o(g) = -4*g**3 - 2*g - 6*g**2 + 3*g**3 + g. Let v be o(-6). Is 3 > v?
False
Let v = 1 + -1. Suppose -o - 2*o + 15 = v. Suppose -2*h + o*z = 13, -3*z = -5*h - 6*z + 14. Are h and 1 equal?
True
Let c = 8 - 6. Let b be -1*(c + (-3)/3). Is b <= -1?
True
Let u(o) = 2*o + 14. Let r be u(-6). Suppose r*t - 5 = -1. Which is smaller: t or 11/5?
t
Suppose 0 = -3*r - 0*r + 2*w - 9, 5 = r + 2*w. Is r >= -2?
True
Let b = 7 + 18. Let y = b + -20. Is y not equal to 5?
False
Let p(d) = -d**2 - 4*d - 2. Suppose 0*s - 6 = 2*s. Let y be p(s). Suppose 0*z = z - y. Is 0 greater than z?
False
Let q = -38 + 25. Which is bigger: -14 or q?
q
Suppose -f + 4*p = -15, -2*f - 2*f = -p. Which is bigger: 2/35 or f?
2/35
Suppose -3*a + 99 = 36. Let y = a - 83/4. Which is greater: y or 0.4?
0.4
Let u = 3.1 + -3. Let a = -11 + 4. Is u at least a?
True
Let s be (-4)/(-1 - (-6)/4). Let h be 273/12 - 2/(-8). Suppose 12 = -5*g - h. Is s not equal to g?
True
Suppose 5 = 2*o + 21. Which is bigger: -10 or o?
o
Suppose 0 = -3*l - 5*b - 8, -5*l - 4*b + 5 = 1. Which is smaller: 2 or l?
2
Let b = 11 - 9. Is 0 < b?
True
Let a = -1647/2 - -802. Let z = -22 - a. Which is smaller: -2 or z?
-2
Let c be (-1)/3*(1 - 1). Which is smaller: 2/29 or c?
c
Let a = -1.9 + -0.1. Let u = a + 2.2. Let p = u + -0.1. Are -0.2 and p equal?
False
Let w(l) be the first derivative of l**3/3 + l**2 + 2*l - 1. Let v be w(-2). Suppose -6*f = 5 - 11. Which is bigger: v or f?
v
Suppose 41*o + 70 = 43*o. Are o and 35 non-equal?
False
Suppose -7*l + 3*l - 16 = 0. Let y(t) = t**3 + 15*t**2 + 15*t + 11. Let o be y(-14). Is l at least as big as o?
False
Let i = 30 + -21. Which is smaller: -2/5 or i?
-2/5
Let d = -0.003 + -0.397. Which is smaller: d or 4?
d
Suppose j = 3*l + 453, 5*j = j + 3*l + 1812. Let x = 1821/4 - j. Is x less than or equal to 3?
True
Suppose -3*i - 38 = 4*w + 50, 5*w = 2*i + 28. Let m be 3*4/i*0. Is -2 at least as big as m?
False
Suppose -42 - 6 = -4*u. Suppose -5*h = -2*h + u. Is h less than -3?
True
Let d = -13 + 18. Suppose -2*j + 2*c + 8 = 3*j, 4 = -4*j - c. Suppose j = t - 4. Which is greater: d or t?
d
Let b = -1 - -0.4. Let c = -10.4 - -10. Let w = c - b. Which is greater: w or 2/11?
w
Let c = 111/290 - -1/58. Suppose -5*g + 5*r = 5, -g + 3*g - r = -2. Which is bigger: g or c?
c
Let y = -165/4 - -41. Is y at least as big as 0?
False
Let b = -6 + 6. Suppose -z + 3*z - 10 = b. Is z greater than 5?
False
Let j = -3.3 - -3. Let p = -0.4 - j. Is p at least 0.1?
False
Let z = 7 + -5. Suppose 0 = -5*h + z*h. Which is smaller: h or -2/11?
-2/11
Suppose 1 = b - 4. Suppose -b*t + 7 = 2. Let x be (-24)/18 - t/(-3). Are x and 0 unequal?
True
Let o = 0.09 + 1.21. Let z = 2.2 - o. Let t = -1 + z. Which is smaller: 1 or t?
t
Let j = 869/17 + -93/68. Let r = j - 50. Suppose 2*l + 10 = -4*v, -4*v + 5*v + l + 4 = 0. Which is bigger: v or r?
r
Suppose -2*r = 4*h - 5*r - 113, 5*h - 135 = 5*r. Suppose 2*k + 5*t = 4, 5*k + 2*t + h = -0*t. Which is smaller: 1 or k?
k
Let g be 2/3*235/(-350). Let r = g - -11/15. Which is greater: 5 or r?
5
Let d = -4 - 0. Let c = 1 + -4. Let a = c - d. Are -2/9 and a equal?
False
Let f(d) = d**3 - 2*d**2 - 4*d. Let q be f(4). Let j be (-2)/(-8) + 12/q. Suppose 0 = h + u + 1 + j, 2*u + 4 = -h. Is 0 at most h?
True
Suppose 3*k - k - 36 = 0. Suppose 0 = -5*w - 12 - k. Which is smaller: -5 or w?
w
Let j = 1.12 + -0.12. Are j and 6 unequal?
True
Suppose -4*f + 8 = 12. Is 5/12 < f?
False
Let z be ((-120)/(-36))/(4/114). Is z less than or equal to 95?
True
Let d = 1 - 1. Let a be (d + (-3)/3)/1. Let h be -2 - (-2)/1 - 0. Which is bigger: h or a?
h
Suppose 2*z + 0*z + 38 = 2*p, 5*p = 3*z + 99. Let x be ((-7)/p)/(3/(-4)). Are x and 0 equal?
False
Suppose 5*s + 3 = -c, 3*s + 5*c + 15 = s. Let y(x) = -15*x**2 + 2*x + 2. Let r be y(-1). Let g be 3/r*(-2)/(-1). Is g >= s?
False
Let l = -10.988 - -11. Which is smaller: 0 or l?
0
Let v be -1 + 0/(-1) + 2. Let m be 4 + 0 + -3 + 0. Is m greater than v?
False
Let c(p) = -2*p**3 - p**2 + 2*p - 1. Let s be c(-2). Let a(u) = -u**2 + 5*u + 10. Let y be a(s). Let r be (y/(-18))/(0 + -1). Which is bigger: 1 or r?
1
Let t be (-76)/(-18) - 2/9. Let l = 1 - t. Which is smaller: l or -2?
l
Let i = 10 - 6. Let z = 0 + i. Let o = -4.2 + z. Which is bigger: -1 or o?
o
Let b = -492/7 - -70. Let y be 2/(-4)*-2 - 0. Let s = 0 + y. Which is bigger: b or s?
s
Let f(v) = v - 7. Let z be f(9). Let b = -4 - -7. Is b greater than z?
True
Let o = 2 + 1. Suppose -o*c = -p - 3*p - 24, -5*p - 11 = c. Let w be c/(-8) + (-2)/(-4). Which is smaller: -1/3 or w?
-1/3
Let x(k) = -k**2 - 11*k - 9. Let z(d) = d**2 - 2*d - 10. Let f be z(0). Let s be x(f). Which is smaller: 0 or s?
0
Let h = 7 + -5. Suppose -h*l - 2*u - 2 = -0*u, 2*u = -l - 3. Let f be (2 + -3 + 3)/8. Are f and l unequal?
True
Let p(f) = f**2 - 8*f - 7. Let s be p(9). Let i be ((-6)/(-16))/(3/s). Which is bigger: i or 3?
3
Let a be (-3 + (-14)/(-4))*14. Let s = 0 - -5. Is a bigger than s?
True
Suppose 4*j + 12 = -0*j, -2*j - 22 = -4*s. Let w = s + -1. Suppose a - w*a = 0. Which is bigger: a or 0.2?
0.2
Let s = -661/2989 + 11/61. Which is smaller: s or -1?
-1
Let u = -13.6 - -16.6. Which is bigger: u or -0.1?
u
Let x be 663/(-630) - 6/(-10). Let z = 1/2 + x. Suppose 2*n = 3*n - 1. Which is bigger: n or z?
n
Let t = 44 - 49. Let w(z) = -6*z**3 + z**2 - 1. Let l be w(1). Which is bigger: t or l?
t
Let q = 389.93 + -393. Let x = -0.18 - -0.25. Let t = q + x. Which is greater: 1 or t?
1
Suppose 3*l - l = 32. Suppose 0 = -4*p - 2*d + l, 0*p - 5*p = -4*d - 20. Let t be p + -2 + 0/(-3). Are t and 2 unequal?
False
Let t(l) = -l. Let y(s) = -s + 4. Let h(r) = -2*t(r) + y(r). Let j be h(-3). Which is smaller: j or 1/2?
1/2
Let z = 57 + -33. Suppose -2*l = 2*s + 30, 3*l + 10 = -2*s - z. Let h = -8 - s. Which is greater: 4 or h?
4
Let q = 51 + -59. Which is smaller: 0.2 or q?
q
Suppose 9*v = 3*v - 30. Are v and -5 equal?
True
Let p(z) = -2*z**2 + 5*z - 2. Let w be p(3). Let k be 38/(-30) - 3/w. Which is smaller: -0.1 or k?
k
Let l(m) = m**3 - 14*m**2 - 15*m + 4. Let f be l(15). Suppose -1 = -f*q + 11. Which is greater: q or 5?
5
Let g = -7277533/72 + 101079. Let a be (38/2)/(7 + -15). Let m = g + a. Which is bigger: m or -1?
m
Suppose -3*l - 20 = 2*l. Let z(m) = m + 9. Let i be z(-6). Suppose -2*t = -2*j, -3*j = 4*t + 38 - i. Is j <= l?
True
Suppose 0*k = 2*k + 2. Which is greater: k or 52/3?
52/3
Let i be -9*3 - 1*12/(-4). Is i less than -24?
False
Suppose 3*a = a + 2*s - 2, 3*s - 4 = 2*a. Which is smaller: a or 1/18?
1/18
Let l = 5 - -47. Is -1 less than l?
True
Let t be ((-8)/(-20))/(47/(-5)). Let h = 55/188 + t. Which is smaller: h or 1?