er: o or x?
o
Let i be 1/(3/12) + 0. Let c(a) = -a**3 + 3*a**2 + 3*a + 3. Let s be c(i). Is s bigger than 1?
False
Let l be (-22)/18 - 22/(-99). Does l = 0.08?
False
Suppose 4*b + 3*f - 145 = 0, 60 = b - 5*f - 5. Suppose -3*p = -8*p + n + 34, -5*p = 5*n - b. Let a be (-5 + p)*2/(-4). Is 0 bigger than a?
True
Let j(w) = w**2 + 2*w - 2. Let g be j(1). Which is smaller: -1 or g?
-1
Suppose x + 4*z + 4 = 2*x, -5*x - z - 1 = 0. Suppose x = 3*v + 5*t, 2*t - 7*t = 5*v. Let p = -1 + 1. Are p and v equal?
True
Let v = 2 - 110. Which is smaller: v or -1?
v
Suppose 0 = 2*v - 62 + 64. Is v greater than -7?
True
Suppose 0 = -3*p + 2*b + 4, -2*p + b + 5 = 2*b. Let j(r) = r - 3*r - 3 - r**p + 7. Let q be j(-3). Is q >= 0.1?
True
Let x be (-2)/3 - 29/15. Is x <= -4?
False
Let j = -45.6 + -5.4. Which is smaller: j or 0.1?
j
Let f = 4373/180 + -220/9. Which is smaller: 0 or f?
f
Let v = 0.2 - 0.2. Let r = 0.03 + -0.13. Is v <= r?
False
Let d = -3 + 4. Let q be -5 + 4 - (d - 0). Is q > -3/4?
False
Let n = -3/14 + -13/70. Is 5/43 at most as big as n?
False
Let b be 3/3 + 201/(-162). Let k = -2/27 - b. Is -1 smaller than k?
True
Let i be (-28)/(-8) + 3/(-2). Let m be 50/(-4)*i - -1. Let x be (-2)/(-11) - m/(-495). Which is smaller: x or 0?
0
Let v be 47/(-196) + (-5)/(-20). Let j = v + -55/588. Which is bigger: -1 or j?
j
Suppose p = 5*p + t - 15, -p = -5*t + 12. Let y = p + 1. Are 4 and y non-equal?
False
Let v(s) be the second derivative of -1/6*s**3 + 2*s**2 - 3*s + 0. Let y be v(5). Does -1 = y?
True
Let g be (-3)/15 + (-4)/(-20). Suppose g = -2*i - i. Are 1/24 and i non-equal?
True
Let v(u) = -u + 5. Let t be v(-5). Let o be (-24)/t + 10/25. Let h be 2 + ((-34)/6 - o). Which is smaller: h or -1?
h
Let k be (1 - 3/(-1)) + -4. Suppose z = 1 + 3. Let d = z - 3. Which is greater: k or d?
d
Let o(x) = x**3 + 6*x**2 - 10*x - 9. Let i = 17 - 24. Let l be o(i). Suppose -l = 3*s + 6. Is s at least -6?
True
Let q(p) = p + 0 + 3*p**3 + 3*p**3 + 1 + p**2. Suppose -2*y + 2 - 4 = 0. Let l be q(y). Which is smaller: -6 or l?
-6
Suppose -2*k + 4 = 3*l, 0 = 4*k - 5*l + 7 + 7. Suppose 4*x - 1 = 3. Which is greater: x or k?
x
Suppose 0 = 67*j - 12*j + 55. Let u = 7.3 - 1.3. Which is smaller: u or j?
j
Let o = -169 - -176.9. Let p = o + -8. Let w = 5 - 9/2. Which is smaller: w or p?
p
Let z = -0.7 - -0.64. Let m = -0.14 + z. Is m equal to 5?
False
Let g(a) = -a**3 - 6*a**2 + 1. Let o be g(-6). Are o and 2/11 unequal?
True
Suppose -5*s = -7 + 2. Suppose 2 - 22 = -5*o + 4*d, 0 = -5*o + 3*d + 15. Which is bigger: o or s?
s
Let x be (5/2 + 0)*(-56)/(-10). Is x != 55/4?
True
Let i be (4/10)/(72/15). Which is bigger: i or 0?
i
Suppose l + i + 8 = 0, 3*l = i - 3*i - 21. Let a = l - -6. Is 2 < a?
False
Let h = -7 - -12. Suppose -h*l + 5 = 0, 21 = 3*b + 6*l - 3*l. Do 7 and b have the same value?
False
Let d = 1 + -2.9. Let v = -0.1 + d. Is v equal to -2?
True
Suppose -q = 1 - 6. Suppose -1 - 4 = -q*u. Are 1 and u non-equal?
False
Suppose -p = 2*m + 3*m + 21, -p - m - 5 = 0. Which is bigger: -2/13 or p?
-2/13
Let b be (-8)/28 + -2 + 2. Is -2/13 <= b?
False
Let k(p) = -4*p**2 - 2*p**3 - 2*p + 3*p**3 - 2*p**3 + 2. Let r be k(-2). Let x = 0 - 0.1. Is x < r?
False
Suppose 4*m = 9 - 1, -4*o = 3*m - 6. Let z(j) = 2*j**2 + 3*j. Let p be z(-2). Suppose o = p*u + 2*b - 10, -u - u = -4*b + 14. Do 1 and u have the same value?
True
Let a = -221/40 - -1/40. Let l = -12 - -6. Which is bigger: a or l?
a
Let t(j) = -j**2 - 6*j - 2. Let w be t(-4). Let o be ((-1)/4)/(3/w). Let l(h) = -h - 8. Let p be l(-6). Which is smaller: o or p?
p
Let k be ((-12)/18)/(2/(-3)). Which is smaller: 2 or k?
k
Suppose 0 = 3*k - 2 - 4. Let f = 0 - -4. Let w = f - 3. Which is smaller: k or w?
w
Suppose 7*x - 4*x = -2*k + 13, x + k = 6. Is x less than 3?
True
Suppose 0 = 4*n, 2*n + 7 = l - 0*n. Is l at most as big as 7?
True
Suppose 3*g = 5*h + 5, -4*g + 0*h - 4 = 4*h. Are g and 2/25 equal?
False
Suppose 5*t + 4 = -4*s - 2, -5*s - 10 = 5*t. Suppose -t*g - 3 = -g. Let n be -2*1/6*g. Is n bigger than 2/3?
True
Suppose 2*j - 46 = -0*j. Suppose 5*b - j = 7. Let z be (-1 - -2)*(-6)/b. Is 0 less than z?
False
Let b = 6 + -6. Let i be (0 - b)/(2 + 0). Let a be -2*(-1)/3*3. Which is greater: i or a?
a
Suppose 4*c - 36 = 36. Which is greater: 17 or c?
c
Let h = 3 + -7. Let o be 1 + 2 + (h - -1). Which is greater: 3/4 or o?
3/4
Let o be (-3)/(-2)*(-8)/28. Let v = 130 - 131. Which is smaller: v or o?
v
Let s = 1465 + -4465/3. Let p = 23 + s. Let t = -7 + 5. Is p bigger than t?
True
Let f(y) = 21*y - 5. Let v be f(2). Let i = v + -113/3. Let r = 10/7 + -37/21. Which is bigger: i or r?
r
Let m = 8 - 5. Suppose 0 = m*z + 4*r + 13, -8 = z + z + 2*r. Let c(h) = h**2 + 9*h + 10. Let g be c(-7). Do g and z have the same value?
False
Let q be (2/(-8))/((-4)/8). Is -1 <= q?
True
Suppose 2 = -3*h - 2*b, 2*h - 3*b - 20 = -2*h. Let r be (6/(-28))/((-1)/h). Which is bigger: r or 0?
r
Let v(r) = r + 7. Let w be v(-5). Let z = w - 3. Let t be 1*(1/z - -1). Which is smaller: t or -2/5?
-2/5
Suppose 2*m - 5*n = -4*n - 36, -m - 27 = -5*n. Is -16 > m?
True
Let m = 21.016 + -0.016. Let j = 22 - m. Is 0.1 smaller than j?
True
Suppose 0 = -4*b - 20, -b - 5 = -2*a - 0*b. Is -1/3 at most a?
True
Let b = -7 + 11. Let a = -4 + b. Let q be (-9)/11 + (a - -1). Is 1 less than q?
False
Let h = 1 + 0.8. Let o = 0.04 + -2.04. Let w = h + o. Is 0 less than w?
False
Suppose -5*u + 2*i - 80 = -0*i, -2*u = 5*i + 32. Let w = 370/23 + u. Is w greater than or equal to 0?
True
Let q = 1.03 + -0.03. Let f = -2.95 + q. Let z = 0.05 - f. Is z less than or equal to -0.2?
False
Suppose 2*t - 7*t + 2*s - 5 = 0, 3*t + 4*s = -29. Let o = 14 - 13.91. Let g = o - 2.09. Are g and t non-equal?
True
Let s = 1662 + -457052/275. Is s at most 1?
True
Let y be (-4 - 122/(-30))/(-1). Are y and 1 nonequal?
True
Let a(y) = -2*y + y - 13*y**2 + 14 + 3*y**3 + y**2 - 2*y**3. Let t be (0 + -12)*(-1 + 0). Let n be a(t). Is 3 greater than n?
True
Let n = 2/193 - 4252/579. Is -6 greater than n?
True
Let a = 16 + -22. Suppose -8 - 6 = 2*j. Which is bigger: j or a?
a
Let z = 143 + -127. Is z at least as big as 1?
True
Suppose -3*l + s - 1 = -14, -4*s = 16. Let p(a) = 7*a**2 + 15*a - 5. Let h(x) = 3*x**2 + 7*x - 2. Let z(i) = -9*h(i) + 4*p(i). Let u be z(4). Is l < u?
False
Let p(v) = -v**3 - 8*v**2 + v + 1. Let a be p(-6). Let l be (-5727)/a - (-12)/(-42). Let z = 74 - l. Which is smaller: 0 or z?
z
Suppose -k - 7 = -11. Is k > 5?
False
Let a = -5 - -7. Let m be a - 87/27 - -1. Which is smaller: 0 or m?
m
Let u(g) = g - 2. Let p be u(-3). Let c be (-1)/2*(-2)/p. Which is greater: c or 1?
1
Let y = -3.627 - 0.073. Let h = 4 + y. Let u = 0.3 - h. Is u greater than or equal to 2/3?
False
Let r = -6 - -10. Let i(c) = -c**2 + 4*c. Let f be i(r). Which is greater: 2/7 or f?
2/7
Suppose -2*u + 2*y + 6 = 0, -2*y = -0*y + 2. Suppose f - 5*n = 2*f - 8, -8 = -2*f - u*n. Do f and 0.2 have different values?
True
Suppose 0 = 2*a - 1 - 1. Which is smaller: -3/20 or a?
-3/20
Suppose 2 = q + q. Which is bigger: q or -6/29?
q
Suppose 4*s = 1 + 23. Let l(a) = a**3 - 7*a**2 + 5*a + 8. Let d be l(s). Suppose -d*h = -7*h. Which is greater: h or -5/4?
h
Let p = -42 + 30. Let a = -11 - p. Let r = -1/82 + 173/738. Does a = r?
False
Let g(p) = -4*p + 2. Let i be g(-2). Suppose 2*t = i + 4. Let q be 0 + (t/(-4) - -1). Which is smaller: -2 or q?
-2
Suppose 4*h = 7*h - 9. Let m be (0*(-2)/6)/h. Is m greater than 2/17?
False
Let h(i) = 5*i + 29. Let t be h(-6). Is -1/6 <= t?
False
Let v(q) = 2 - 7*q**2 - 4 + 7*q + 6*q**2. Let z be v(6). Suppose -d - h - 23 = 4*h, -z*d - 17 = 5*h. Which is bigger: 1 or d?
d
Suppose 0 = -2*g - 4*u - u + 33, -2*u = 5*g - 72. Let t = g + -13. Is t < 2/3?
False
Let o be 2/((-1 - -11)/(-2)). Is 1 bigger than o?
True
Let k(y) = y - 10. Let s be k(6). Let w be ((-5)/10)/((-1)/(-10)). Do w and s have the same value?
False
Suppose 5*i + 4*c = -9, -3*i - 3*c - 3 - 3 = 0. Which is bigger: -8/5 or i?
i
Let u be 0/((0 + 1)*1). Suppose 0 = -u*o - 3*o - 12. Let f be (7/2)/(o/8). Which is bigger: f or -2?
-2
Let n = 21 + -20. Are n and 0 equal?
False
Suppose y + 0 + 3 = 0. Suppose 7 = -3*g + 5*t + 1, 3*g = -4*t - 6. Which is greater: y or g?
g
Let l = 771/4 + -190. Let m = l + -9/4. Which is smaller: 0 or m?
0
Le