 -3*v + 25. Is v greater than r?
False
Let k = 1 + -1. Let z be 3 + 0 + k - 3. Which is bigger: z or 1?
1
Suppose -f - 8 = 2*x, 4*f = -5*x - 0*x - 17. Let z = f - -4. Suppose z*d + 6 = 4*d. Which is greater: -2 or d?
-2
Let l be (2597/7)/7*2/(-2). Which is smaller: l or -54?
-54
Let z be ((-45)/(-20))/((-3)/8). Let i = z + 7. Is 1/6 not equal to i?
True
Let t be 1/(((-9)/(-3))/3). Let l be (-20)/(-6)*(-54)/15. Let h be (-21)/l - 2/(-8). Which is greater: h or t?
h
Let r(y) = 2*y**2 - 16*y. Let p(i) = -i**2 + 8*i. Let u(t) = -5*p(t) - 2*r(t). Let o be u(8). Suppose -k + 0*k = o. Is k <= -4/5?
False
Let v = 19/84 + 3/28. Which is greater: v or 0?
v
Suppose -5*r - 18 = -3. Suppose 3 = -q + 2. Which is greater: q or r?
q
Let w(v) = -v**3 + 14*v**2 + 16*v + 12. Let i be w(15). Are -0.1 and i equal?
False
Let c = -3242/11 - -296. Which is smaller: c or 2?
c
Let b(t) = t**3 - t**2 - 2*t + 3. Let d be b(2). Suppose p + d*p = 8. Suppose 2*c - 4*c - p = 0. Which is smaller: 1/3 or c?
c
Suppose 2*n + 15 = 4*h - 51, 2*n = -5*h + 105. Which is smaller: 18 or h?
18
Let y be (-2)/4*(-38)/171. Which is smaller: y or 1?
y
Let g(o) = o**3 - 8*o**2 + 7*o - 2. Let v be g(7). Which is smaller: v or -8/3?
-8/3
Let f(x) = -21*x - 3. Let r be f(-1). Which is smaller: 37/2 or r?
r
Suppose -1 = -5*x - 3*a - 14, -3*x = 3*a + 9. Let o be (-1 - 0) + -1 + 3. Is x <= o?
True
Suppose 5 = -3*w + 8*w. Let h = -4 + 0. Let o = h + 5. Is w smaller than o?
False
Suppose 0 = s - 3 + 2. Let d = -1 + 0. Which is greater: s or d?
s
Let n(p) = -p**2 + 7*p - 6. Let y be n(6). Let r(v) = v**2 + 2*v - 4. Let f(u) = u + 4. Let h be f(-7). Let s be r(h). Is y not equal to s?
True
Let a be -3 + (-4)/((-12)/15). Let h be a/6*9/30. Which is bigger: 1 or h?
1
Let y be ((-1)/2)/((-2)/24). Let z = 6 - y. Are z and 2/3 unequal?
True
Let x = 3.4 + -3.5. Is x >= 0.06?
False
Let p = 26 - 25.64. Is p > 0?
True
Let p be -2 - (1*-3 + 1). Let s(m) = -m**3 - 4*m**2 + 6*m + 7. Let o be s(-5). Let t = -2 + o. Is p greater than or equal to t?
True
Let h(f) = 2*f**2 + 3*f - 1. Let z = -1 - -3. Let x be h(z). Suppose 2*s = -3*b + 3, 0*b - 5*s + x = 2*b. Which is smaller: b or -1/2?
b
Let z = -0.09 + 1.09. Which is smaller: z or -2/51?
-2/51
Let t = -79.1 - -80. Are t and 1 equal?
False
Suppose -4*c = 2*p + c - 23, -3*c + 13 = p. Suppose 5*l = 4*h - 0 - p, l + 4*h - 4 = 0. Are l and -1 non-equal?
True
Let c(q) = q**2 + 3*q + 2. Let l be c(-3). Let k = -65 + 63. Which is bigger: k or l?
l
Let m = -13 - -3. Which is smaller: -0.02 or m?
m
Let b(p) = 2*p - 7. Let o(g) = -g + 3. Let n(f) = -4*b(f) - 9*o(f). Let t be n(0). Let r be -2 - (-21)/9 - t. Is r bigger than 2/3?
False
Let s(m) = m**2 - 19*m + 20. Let x be s(17). Suppose 63 = -0*n - 5*n + 4*r, -r + 12 = -n. Are x and n equal?
False
Let n = -1 - 1. Let l = 1 + n. Suppose 0 = -3*h - j - 1, j - 18 = 4*h - j. Is h > l?
False
Let h = -65.8 + 61. Let i = h - -6.77. Let r = -0.03 - i. Which is bigger: 1 or r?
1
Let o(h) = -h**3 + 11*h**2 - 10*h - 10. Let b be o(10). Let a = b + 16. Is 5 at most as big as a?
True
Let o = 17 - 12. Suppose -2*p + o*i = -7*p, -4*p + 8 = -4*i. Which is bigger: p or 2/17?
p
Let z = -33/46 - 1659/92. Let u = z + 65/4. Is u not equal to -2?
True
Suppose 0 = 3*n - 6*n - 9. Let j be (-3)/n*-1 + 4. Suppose 3*w + 14 = 4*i - 0*w, 0 = 4*i - w - 18. Is i at most j?
False
Let u = -76 + 75. Which is smaller: 11 or u?
u
Let t be (-9)/10*(-100)/(-8). Let x = t - -11. Is 21 at least x?
True
Suppose -2*m - m - 5*v = 20, -4*m = v + 38. Do -11 and m have the same value?
False
Suppose y = 5*y - a - 52, a + 66 = 5*y. Is y <= 15?
True
Suppose 1 = 2*f - 5*h, -3 = f + 4*h + 3. Let l be 13/(-6) - 1/(-6). Let w = l - f. Is w > 1?
False
Let z(m) = m**3 + m**2. Let l(o) = -5*o**3 - 3*o**2. Let p(f) = l(f) + 6*z(f). Let x be p(-3). Let u = 0 + x. Is u equal to -4/5?
False
Let u = -2 - 0. Let k be (16/6 + -2)*-3. Does u = k?
True
Let h = -96 - -80. Is h >= -4?
False
Let h be (-7530)/25 + (-4)/6. Let u = -302 - h. Which is bigger: u or 0?
0
Let z be 4/2 + (-7)/21*9. Which is bigger: 3/8 or z?
3/8
Let o = 0.3 + -11.3. Which is smaller: o or -1?
o
Let b(t) = -t**3 - 3*t**2 - 1. Let c be b(-3). Which is smaller: c or 1/29?
c
Let h = 1 + -6. Let d = h + -4. Is -10 <= d?
True
Let m = -7238 - -289629/40. Let g be 6/(-2)*(-26)/30. Let h = m - g. Which is smaller: -1 or h?
-1
Let x be (1 + -1)/(-2) + -3. Which is smaller: x or -5?
-5
Let x be (2/(-5))/((-2)/20). Suppose 0 = -a - 0*a - s, -5*a - x*s = 2. Is -2 > a?
False
Let t be 5/(-10)*(1 - 0). Is t at least as big as -2?
True
Let d be (-1)/(4/(-4))*-17. Is d not equal to 1?
True
Suppose -w + 2*w + 1 = 0. Which is smaller: w or 2/11?
w
Suppose 5*w - 5 + 0 = 0. Let a be -5*(0 - (-2)/(-10)). Is a at least as big as w?
True
Let w be ((29 - -3) + -2)*(2 + -1). Which is greater: w or 29?
w
Let l = -65 + 73. Do -3 and l have the same value?
False
Let l = -0.906 - 0.094. Which is greater: l or -0.23?
-0.23
Let j = -27 - -20. Let y = -7 - j. Which is smaller: y or -2/9?
-2/9
Suppose -12 = 3*c - 0. Let m be (2/(-3))/(c/54). Let i be 1/(-1) - m/(-7). Is -2/3 smaller than i?
True
Let c(m) = -m**2 + 5*m - 5. Let q be c(4). Let r be 2/90 + 4/(-18). Is q at most r?
True
Let f(a) = -a**3 - 12*a**2 + 2*a + 25. Let t be f(-12). Is -1/84 less than t?
True
Let r = -5 - 0. Let g = -28 - -32. Let v = r + g. Which is smaller: -2 or v?
-2
Let f(g) = -2*g**2 + 13*g + 7. Let k be f(10). Let a be k/(-45) + 4/(-10). Let z = -847/9 + 94. Which is greater: a or z?
a
Let u = 4 - 9. Let o = u - -4. Is -1 >= o?
True
Let w = -79 - -184. Is 105 greater than or equal to w?
True
Suppose 0 = -5*b - 92 + 2. Let c be 4/b - (-76184)/(-132480). Let q = -1/368 + c. Does 0 = q?
False
Let u = 24.88 + -25. Which is bigger: 1 or u?
1
Let x be (-15)/(-6) - 2/4. Let r = -0.1 - 0.1. Which is greater: r or x?
x
Let c be (((-21)/(-2))/(-7))/3. Is c at most 0.2?
True
Let i(z) = -z + 1. Let u be i(2). Let a be (-2)/(-4)*0/(-1). Let y be (-6)/14 - (a + 0). Which is greater: u or y?
y
Let t(d) = -d**3 + 10*d**2 + 2*d - 15. Let k(h) = 3*h. Let q(r) = r - 1. Let c(s) = k(s) - 4*q(s). Let b be c(-6). Let u be t(b). Is 5 less than u?
False
Let z be 496/10*340/(-8). Let b = 14732/7 + z. Are -2 and b unequal?
True
Let x = 7372 - 685583/93. Let b be 4/6 + 240/(-279). Let u = x - b. Is u < 0.1?
False
Let n = 30 - 28. Suppose 3*l - 5*f - 2 = -1, n = -2*l + 2*f. Let r be -1*3*1/2. Which is bigger: r or l?
r
Let n(p) = -p**2 + 7*p - 10. Let s(z) = -z - 2. Let y be s(-7). Let g be n(y). Let o = 1 + -4. Is g bigger than o?
True
Suppose -v + 54 = -4*g - 0*v, -4*g - 4*v - 44 = 0. Is g greater than -13?
False
Let b be ((-18)/27)/(8/(-114)). Is 11 equal to b?
False
Let p = 26.6 + -27. Is p greater than -0.2?
False
Let j(w) = 2*w + 1. Let i be j(1). Let y = 13 + -14. Is i >= y?
True
Let b(k) = -k**3 + 4*k**2 - 3*k. Let u be b(2). Let v be 1 + (0/u - -1). Suppose 0 = -v*l + 3*l - 1. Is 0 > l?
False
Let m be (1 - 0)/(3/12). Suppose -r - 3*r - m = 0. Which is greater: r or -1/3?
-1/3
Suppose s = -5*l + 29, 6*l - 23 = -2*s + 3*l. Suppose -s*i + 5 - 1 = 0. Is i < 1?
False
Let j = -248/3 + 82. Is j >= -2/3?
True
Let s = 161/4 + -40. Let o = 124 + -124. Is s < o?
False
Suppose -7*h - 78 = -h. Is h < 0.1?
True
Let y(i) = i**3 - 2*i**2 - i - 1. Let f be y(3). Suppose 0*h - f*h = 0. Is -5 greater than or equal to h?
False
Suppose 5*t - 2*w + 1 = -w, -t - 1 = -w. Is t bigger than 1/19?
False
Let d = -5/11 + 41/66. Let r(j) = j + j + 6 - j**3 + 6*j**2 - 9*j**2. Let k be r(-3). Is d at most k?
False
Suppose -37 = 5*t + 3*w + 8, 3*w = 2*t - 3. Let a be (t/(-9))/(4/18). Suppose 0 = -2*h + 2*y + 4, 4*y - 1 + a = -2*h. Which is bigger: h or 2?
2
Let k = 39 - 65. Let z = k - -24.05. Let q = z + -0.05. Is q <= -1?
True
Let o = -1 - -15. Let k = o - 15. Is k >= 0?
False
Let p = 11 + -10. Let y = 1.1 - p. Is y at most 0.02?
False
Let k = -55 - -85. Is k at least as big as 29?
True
Let s = 1.01 - 7.01. Is -1/4 at least as big as s?
True
Suppose b = 2*b. Which is greater: 2/49 or b?
2/49
Suppose 4*q + 3*d - 11 = 0, -d - 15 = 4*d. Which is smaller: q or 7?
q
Let v = -17.06 - -17. Let p = -0.26 - v. Which is greater: -1 or p?
p
Let h be 1*(4/2 + -2). Let q(z) = 3 - z + h*z + 6 + 2*z. Let l be q(-8). Is l > 1?
Fals