. Is z < f?
False
Suppose -z + 8 = -3*z. Which is greater: z or -5?
z
Suppose -t = -2*t. Suppose -5*k + 15 + 0 = 0. Suppose t = -b - k*b. Which is smaller: 2/9 or b?
b
Let t(x) = 2*x**2 + 4*x + 7. Let z be t(-3). Is 13 greater than or equal to z?
True
Let s(l) be the first derivative of l**3/3 + 2*l**2 + 2*l - 2. Let c be s(-4). Which is greater: c or 0?
c
Suppose -3*h - 2*y + 59 = 0, y = -2*h + 6*y + 14. Let q be h/6 - (-5)/30. Suppose -i - q = -4*i. Is 2/7 <= i?
True
Suppose 0*g - 13 = 2*t - g, 4*g - 36 = 4*t. Let s = 3 - -1. Let x = t + s. Is -4/3 at most x?
True
Let t be (-2)/(-8) - (-34)/(-8). Let n(u) = -u - 7. Let v be n(-4). Which is bigger: v or t?
v
Suppose 0 = 3*w - 0*y - 3*y - 9, 0 = 3*w + 3*y + 3. Which is bigger: w or -4/15?
w
Let f = -1.01 + 0.01. Let h be ((-204)/18)/((-8)/6). Let d = h + -9. Which is smaller: d or f?
f
Let y be (1 - 15/12) + 0. Which is smaller: -0.02 or y?
y
Let c = 5 - 7. Let i = -1 - c. Let o be (-1)/4 + (-10)/(-8). Are i and o non-equal?
False
Let m be 0*(2 + -4)/(-2). Let f = 7283/105 - 348/5. Let b = f - -4/7. Which is bigger: b or m?
b
Let y be (-1)/3*(-1 + 4). Suppose 2*r - 3*k + 96 = -r, 5*k = 5. Let a = 157/5 + r. Is y equal to a?
False
Let s = -2 + 1.8. Let n = -2 - -1.8. Let x = n - s. Which is smaller: 0.1 or x?
x
Suppose 2*d - 3 - 1 = 0. Suppose 6 = -4*a + d*b - 4, 2*b - 13 = 5*a. Is a < -2?
True
Let c(a) = -a + 1 + 11*a + 0*a. Let t be c(1). Is -0.1 < t?
True
Suppose 5*i - 6 = -2*j - 17, -2*i - 4*j = 14. Let p = -2 - i. Which is bigger: p or -1/4?
-1/4
Suppose -m + 1 = y, -2*m + 3 = -3*y - 3*m. Is -1 at least as big as y?
True
Let z be 30/(-4)*(56/12 - 4). Is z less than or equal to -15?
False
Suppose -2*m + 34 = 2*k, 0*m = -3*m + 4*k + 44. Let t be m/(-20)*(-5)/2. Suppose -3*v = -2*v - t. Is v equal to 4/5?
False
Let o be 1 - (1 + (2 - 2)). Let g(f) = f**3 + f**2 - f - 1. Let x be g(o). Is x less than 0?
True
Suppose 0 = 3*x - 16 - 11. Are x and 9 non-equal?
False
Let l(h) = h**2 - 11*h - 14. Let g be l(9). Do -32 and g have the same value?
True
Let d = -0.9 - -1.1. Let x = 3.04 + -0.04. Is x >= d?
True
Let u be (-1)/28 - (-32)/112. Let s be ((-4)/(-6))/((-4)/(-6)). Let c = s + -1. Which is smaller: u or c?
c
Suppose -a = 3 - 9. Suppose 0 = -5*p + 30 - 5. Which is smaller: a or p?
p
Suppose -q - 1 = -2. Let d be ((-1)/6)/(q/4). Do -2 and d have different values?
True
Let z(u) = -u**2 + 11*u - 11. Let r be z(10). Which is greater: -4/11 or r?
-4/11
Let p be -2*(2 + 92/(-44)). Is p <= 0?
False
Let x = -12 - -14. Which is smaller: -2/3 or x?
-2/3
Let c be (-19)/30 + (-10)/(-20). Let u = 0 - -2. Suppose x + 11 = 2*x - 5*t, u*x + 2*t + 2 = 0. Is c != x?
True
Let q = 21 + -4. Suppose -l - q = -5*d, d + 5 + 0 = -l. Which is bigger: l or -1?
-1
Let c = -7503/91 - 9/182. Let l = c - -84. Let x = l - 2. Which is smaller: 1 or x?
x
Suppose -3*v + 2*n = -3, 10 = 5*v + 5*n - 20. Let i = -5 + v. Let k = i + 2. Is 7/5 greater than or equal to k?
True
Let v = 1 + -6. Let m = 5.195 + 0.005. Let y = v + m. Is 1 greater than or equal to y?
True
Let i(n) = 2*n**2 + 3*n - 4. Let c be i(3). Let l = c - 45/2. Is 1 at most l?
False
Let h = -7/33 + 311/66. Is h bigger than 6?
False
Suppose 0 = 2*n - 2. Let w be 0 - (0/1 + 1). Is n < w?
False
Let j = -11 - -12. Let s = -0.02 - 2.98. Let g = -2 - s. Does g = j?
True
Suppose 0*u + 72 = 3*u. Suppose 0 = k - 5*k - u. Is -7 < k?
True
Let o = -19 + 20.1. Let y = -2.9 - o. Is y at most as big as 1?
True
Let f(b) = -b**2 + 12*b - 12. Let h be f(9). Let j = h + -18. Is j bigger than -5?
True
Let y(f) = f**3 - 7*f**2 + 4. Let q be y(7). Suppose q*t = 4*d + d - 14, 0 = -t + 3*d. Is 0 at least t?
True
Let m be (-1)/(-4) + (-77)/(-44). Let r = -2 + 4. Suppose r = 2*s - p + 1, 0 = 2*s + 2*p - 16. Is s less than or equal to m?
False
Let f = -125 + 127. Which is bigger: 7/3 or f?
7/3
Let x be (-15)/6*(-16)/10. Let b be x/16*-13*8. Is -25 smaller than b?
False
Let q = -78 - -79. Let l = 0 + 0.1. Is l > q?
False
Suppose 3*l = -4*v + 166, v + l + 2*l = 46. Let i = v - 82. Let g be 3*(2 - (-88)/i). Which is bigger: -0.3 or g?
g
Let v = 36 - 37. Are v and -18/11 non-equal?
True
Suppose 0 = 5*t + w - 3, t + 9 = -w + 4*w. Suppose 0 = -4*j - 0*x + 2*x + 4, -3*j = -4*x - 8. Is j bigger than t?
False
Let b = -1065 + 13837/13. Let w = b - -14/65. Which is smaller: 1 or w?
w
Let b be (70/28)/((-2)/12). Which is smaller: -14 or b?
b
Let z = 0 + 0. Suppose -r - 16 = -3*r. Let d be -1*(0 + r/(-14)). Is z less than or equal to d?
True
Suppose -2 - 2 = -4*l. Let w = 1 + -1. Is l smaller than w?
False
Let p = -2.6 - -2.2. Is p bigger than -2?
True
Let m(k) = -k**3 - 8*k**2 - 11*k - 9. Let p be m(-7). Suppose -2*f - 15 = -p. Which is greater: f or 0.08?
f
Let y = -6.825 - -6.8. Which is greater: 0.1 or y?
0.1
Let d = -6 - -10. Suppose -2*y = -2*o, y - d*o = -9*o - 6. Let j(f) = -f**3 + f**2 + 2*f - 1. Let i be j(2). Is i > y?
False
Let r = -2111/7 + 301. Let c(o) = -o**3 + 4*o**2 + 6*o - 5. Let u be c(5). Are u and r nonequal?
True
Let l be -2*(-2)/(-4)*1. Let g(p) = -p**2 + 6*p - 10. Let v be g(8). Let a be (-4)/(-26) + 17/v. Which is greater: l or a?
a
Let a = -18 + 16. Which is bigger: 0.2 or a?
0.2
Suppose -r - 2*g = -3*r + 6, 0 = -2*r - 4*g + 6. Suppose -4*p + 4 = -r*d, 2*d - 3*p + 1 + 1 = 0. Let b be -3 + 4 + d - 1. Is -1 equal to b?
False
Let t be (-666)/12*4/(-6). Let w = t - 112/3. Suppose 0*n - 5 = -5*n. Which is smaller: w or n?
w
Let y = -13 - -13. Do 2 and y have different values?
True
Let x = -2.07 + 2. Let k = 0.07 + x. Is k smaller than 0.1?
True
Suppose -2*t - 8 + 0 = 0. Let r = 5 + t. Is 2/7 equal to r?
False
Let c(m) = -2*m + 1. Let x be c(-5). Let g = 56 - 44. Which is smaller: g or x?
x
Let p = -1.65 + 1.643. Is -2 > p?
False
Suppose -9 = -0*d - 3*d. Suppose a + 0 = -4, -d*o + 5*a = -23. Let z(b) = -2*b - 3. Let h be z(-2). Do h and o have the same value?
True
Let q be -2*((-11)/(-22) - 2/3). Is q smaller than -18?
False
Suppose -12 = -3*p + 5*p. Let z be (-2)/p*(1 - -2). Let l = -98 - -880/9. Which is greater: l or z?
z
Let y be 18/30 + (-3946)/(-40). Let i = -98 + y. Is 0 < i?
True
Suppose 125 = -5*j + 3*n, -j - 7 = -4*n + 1. Which is smaller: j or -30?
-30
Let t = 1416 + -1409.89. Let v = t - 6. Which is bigger: 0.1 or v?
v
Let x be (-3)/12 - 1/(-4). Which is smaller: 3/44 or x?
x
Let p = 3.8633 - -0.0067. Let v = p - 0.77. Let o = v + -3. Which is smaller: o or -5?
-5
Let h be (-3)/12 - (-3)/(-4). Let x be (-1552)/(-1410) - 1 - 0. Let z = x - 11/47. Which is greater: h or z?
z
Let b be ((-56)/12)/((-2)/(-3)). Let o = -6 - b. Which is bigger: -2/11 or o?
o
Let g = -1325/7 - -189. Let h = -0.02 - -1.72. Let f = -0.7 + h. Is f greater than g?
True
Suppose -14*r = -17*r + 33. Does r = 8?
False
Let y(g) = 2*g**3 + 1. Let c be y(1). Suppose 0 = 4*u - 5*u - c. Let r be 4/2 - (-3 - -8). Is r less than or equal to u?
True
Let l = -9 - -14. Suppose 5*d - 3 = -x + 2*x, 0 = -5*d - l*x + 15. Let r = -22 - -22. Which is smaller: r or d?
r
Let k = -0.8 + 1. Let a = -0.1 - -0.1. Do k and a have the same value?
False
Let i = 10 - -5. Let c be i/(-38) - 1/(-2). Is c equal to 0?
False
Let b(n) = -1. Let w(d) = -d**2 - 3*d + 3. Let h(c) = 6*b(c) + w(c). Let g be h(-2). Which is bigger: -3 or g?
g
Let a = -18 - -17.3. Let w = a + 1. Which is greater: w or -2/5?
w
Let k(n) = n**3 - 3*n**2 + 2*n. Let u be k(2). Let z = 436/693 + 20/77. Which is bigger: u or z?
z
Suppose -5*t - 2 = -3*t. Let x be 8/2 + -2 - 2. Which is smaller: t or x?
t
Let w = -38 - -37. Suppose n = -y - 2, 4*n = -3*y - 3 - 6. Let j be 10/n*6/15. Is w at least j?
True
Let j be -3*((-399)/(-405) + -1). Do j and 1 have the same value?
False
Let a be 0 + 14 + -4 + 4. Let x = a + -14. Which is smaller: 6/7 or x?
x
Suppose -4*v = -6 - 6. Let j be (1 + 23)*v/(-6). Let x be (j/(-16))/((-2)/(-8)). Is x <= 3?
True
Suppose -30*b + 32*b - 154 = 0. Is 77 equal to b?
True
Let w = -0.08 + 5.08. Let i = 4.9 - w. Which is smaller: i or 1?
i
Let p be -18*2/(-15)*-5. Is -12 bigger than p?
False
Let k = 3 + -4. Let u = k + 1. Are -1 and u equal?
False
Let p = 4.6 + -6.6. Is -1/4 less than p?
False
Let t be (2/26)/(1/(-2)). Is -1 greater than or equal to t?
False
Let c = -11 - -11.28. Let j = c - -0.02. Which is greater: j or -1?
j
Let x = 664536/13