. Is u equal to -72?
False
Let i be (0 - 3) + (1 - 0). Let v = i + 6. Suppose -5*z + v = -z. Which is greater: 3 or z?
3
Let i(s) = 3*s - 4. Let g be i(-6). Let o be g/28 + -1 + 2. Let b = 2/7 + o. Which is smaller: b or 2?
b
Let n(r) = 6*r + 2. Suppose -6*b + b = -15. Let v be n(b). Let w be 15/v*(-1)/1. Which is smaller: -2 or w?
-2
Let i = 1254/5 - 253. Suppose -a + 4*s - 2*s = -4, a + s + 5 = 0. Which is greater: i or a?
a
Let x be (-2)/2*(1 + 84/(-1)). Which is smaller: x or 82?
82
Let h = 2.4 - 2.5. Suppose 6*r = 2*r - 8, -3*k - 5*r - 4 = 0. Suppose -3*u = k*u. Are u and h non-equal?
True
Suppose -2*o - 39 + 41 = 0. Is 0 > o?
False
Let q be 4/2 - (-3 - 0). Suppose -4*t = -q*z + 30, z + 4*t + 17 = -1. Let o = -1 + 3. Is o at most as big as z?
True
Suppose -5*f = -0*f. Let t = 20/11 + -29/22. Which is greater: t or f?
t
Suppose -1 = -4*f - 3*t, f + 3*t = -0*t - 11. Suppose -f*s + 0*s - 36 = 0. Is -0.1 greater than or equal to s?
True
Let y(f) = 5*f + 8. Let b be y(-2). Do -2 and b have the same value?
True
Suppose 0 = 5*r + 4 - 19. Suppose 0 = -r*k + 5*t - 12, k + 0*t + 2 = t. Let q be k/(-3) - (-7)/3. Do 3 and q have the same value?
False
Suppose s - 4*o = 2*s + 19, 3*o = -s - 15. Let m(n) = n + 2. Let b be m(0). Suppose i = -4*q - 0*i - 21, -b*q + 17 = -5*i. Which is smaller: s or q?
q
Let z = -0.06 + -0.02. Let p = z - -5.08. Let n = -5.2 + p. Is n < 0.2?
True
Let g(o) = -o**2 + o + 2. Let p be g(0). Let b(k) be the second derivative of k**3/6 - 2*k**2 - 5*k. Let x be b(p). Is -4/5 bigger than x?
True
Let l(v) = v**3 + 7*v**2 + 7*v + 4. Let r be l(-6). Let b be (12/(-30))/(r/20). Suppose 0 = -5*f - i + 24, b*f = 2*i + 2*i. Do 4 and f have the same value?
True
Let s = 1.8 + -1.4. Does -0.2 = s?
False
Let d(m) = -m**3 + m + 8. Let s be d(0). Suppose 0 = 3*g - g + 2*x + s, -5*g + 3*x - 4 = 0. Is g at most -3/4?
True
Let m = -12.4 + 12. Let z = 1.7 + -0.7. Does z = m?
False
Let k(a) = -a**3 + 3*a**2 - 2*a + 3. Let p be k(2). Suppose 4 + p = -h. Are h and -8 nonequal?
True
Let b be -4*(0 - 3/54). Which is smaller: 1 or b?
b
Suppose -12 - 132 = -4*m. Let w be (-26)/m - 12/(-54). Suppose -2*y - 2 = -0*y. Is y greater than w?
False
Let d = -0.96 - 0.04. Which is smaller: d or -2.4?
-2.4
Let h = 10.9 + -1.8. Let u = h + -10. Is -0.2 smaller than u?
False
Let v = 5 + -7. Which is smaller: -1 or v?
v
Let b(t) = t + 1. Let h be b(-2). Is 1 smaller than h?
False
Let f = 25 - 26. Is f equal to -1?
True
Let y(t) = -8 + 6*t - 2 + 4*t**2 + 8 - t**3. Let g be y(5). Let f be (2 - 8/g) + 0. Which is smaller: f or 1?
f
Let l = -611.97 - -609. Let z = 0.07 + l. Let x = z - -3. Is x less than 0.1?
False
Let z be (7/(-14))/((-2)/12). Is 4 smaller than z?
False
Suppose 0 = 3*l - 19 - 8. Let v = 0 - l. Let o(s) = -s**2 - 8*s + 9. Let j be o(v). Which is smaller: j or 4/7?
j
Let n be (-4)/6 - ((-112)/(-36) + -4). Is 0 bigger than n?
False
Let p be (-3)/6*0 + 4. Let c = p - 8. Let z = -2 - 1. Which is greater: z or c?
z
Let p = -7 + 11. Let d = p - 4. Which is bigger: d or 2/13?
2/13
Suppose 5*y + 28 = -2*a, -3 = -2*a - a. Let i be 2/5 - y/(-15). Let j be (-1)/6*(i + 2). Is -0.1 != j?
True
Suppose 4*x - 4 = 4. Let a = -3 + x. Are 1 and a non-equal?
True
Let w = -1 + 1. Let s = -10 + 33. Suppose 3*o + s = -5*c, 0 = -2*o + 7*o + 4*c + 21. Which is bigger: o or w?
w
Let d = -0.09 + -5.91. Let h = d - -5.9. Let p = -1 - -3. Which is smaller: p or h?
h
Let h = 14 - 223/16. Which is smaller: 0 or h?
0
Let v be 0/(1/(-2)*(2 - 4)). Which is greater: 4/19 or v?
4/19
Let m = -15.1 - -15. Is 2 smaller than m?
False
Suppose 9 = 4*v + 1. Suppose -25 = -v*b + b - 3*h, 0 = -3*b - 4*h + 60. Let i be 2/(-8)*b/(-6). Which is bigger: 0 or i?
i
Suppose 4*p - 3*n = 48, -3 = 3*p - 2*p + 3*n. Let a be 4/18 + 12/(-54). Suppose 5*b + 2 = -a*v - 4*v, 3*v = -p. Is b bigger than 2?
False
Let m be 2*4*30/(-40). Are -5 and m equal?
False
Suppose 0*h = 4*h. Which is bigger: h or 1/10?
1/10
Let a be 0 - -3 - (1 - 2) - 3. Is -9 at most as big as a?
True
Let f = -1.2 - -1.14. Which is smaller: -2/3 or f?
-2/3
Let m = 6 - -1. Let k = -3 + m. Is k <= 4?
True
Let q be (-8)/(-6)*6/44. Let u be 24/(-48)*(2 + 0). Which is bigger: q or u?
q
Let p = -64 - -322/5. Is -1 at least p?
False
Suppose -6*s = -8*s. Suppose s = f + 3 - 11. Which is bigger: f or 6?
f
Let s be 22/6 + (-2)/3. Suppose 0*d + 9 = -s*d. Is d greater than -1?
False
Let z be (-66)/(-10) - 2/(-5). Suppose 5 - z = m. Suppose -l = -3*l - 4. Is l < m?
False
Let p = -4/45 + 1/5. Which is smaller: p or 0?
0
Let i be ((-60)/405)/((-3)/(18/(-44))). Is 1 < i?
False
Suppose 4*r + 10 = -2. Let b be 2/r + (-98)/(-21). Suppose 2*n + 16 = 4*j, 2*n + 20 = 4*j - 2*n. Is j at most b?
True
Let s = -5 - -4.9. Let j = s + 0. Which is smaller: j or -0.3?
-0.3
Let y be (-1)/2*(0 + 12). Let d = -4 - y. Which is greater: d or 0?
d
Let u(n) = -3*n**3 + 5*n**2 - 5*n - 3. Let a(q) = -q**3 + q**2. Let w(m) = 4*a(m) - u(m). Let r be w(-3). Suppose f = r*f. Is -0.1 greater than f?
False
Let f(n) = -n**2 + 2*n + 2. Let u be f(3). Let j(g) = g - 1. Let b(r) = -6*r + 6. Let p(w) = -2*b(w) - 11*j(w). Let t be p(0). Is t >= u?
True
Let b = 8 + -8.1. Which is smaller: b or 1/4?
b
Let i = -497.1 - -478. Let g = i - -15. Let s = -4 - g. Is s < 0.4?
True
Let d = 22 + -24. Is d != -2?
False
Let h be (-10)/2*(-2)/(-15). Let x be 0/((-1)/1 + 0). Are h and x non-equal?
True
Let w be 1/2 - 753/18. Let p = w - -41. Which is greater: 0 or p?
0
Let b = -373/198 - -23/18. Let f = b - -406/561. Which is smaller: 1 or f?
f
Let y = -48 + 124. Suppose v - 14 = -d, 5*v - d + 0*d - y = 0. Suppose 2*a = 5*a - v, a + 5 = 5*r. Which is smaller: r or 1/2?
1/2
Let c = -3 + 3. Let l = -0.1 + c. Let b = 0 - l. Which is bigger: 1 or b?
1
Suppose 4*b = 2*z + 24, 0 = -5*z + 2*b - 8 - 12. Suppose -y = 3*i, -3*i - i + y - 7 = 0. Is z at least i?
False
Let b = -2 + 6. Suppose b - 13 = -t. Let c be 0 - (-1)/((-12)/t). Which is smaller: c or -1?
-1
Let w be (45/(-30))/((-1)/(-3)). Is w less than or equal to -4?
True
Suppose 0 = 2*i - 2, 5*l = -0*i - 4*i - 76. Let r = l + 15. Which is greater: r or -2?
r
Let p = 79 + -78. Is -3/44 at most as big as p?
True
Suppose -r = -2*r + 30. Let u be r/40 + 2/8. Do u and -10 have the same value?
False
Let u = 0.25 + -0.15. Which is smaller: u or 2/3?
u
Let v = 0 - -8. Let t(p) = -2*p + 10. Let h be t(v). Let k be h/(0 + (-6)/3). Is k bigger than 2?
True
Let q(m) = m - 8. Let a be q(8). Let i be (a/(-1))/(-1 - -3). Is i greater than or equal to 2/5?
False
Let b = -2 - -2.3. Let n = -0.2 + b. Does -1/7 = n?
False
Let z be (-4)/6*(-18)/4. Suppose 3*y = -2*y + 4*d - 21, -7 = -5*y - z*d. Let t be (4/3)/(y + -1). Which is smaller: -2 or t?
-2
Let o be (-8)/(-20) - 8/(-5). Suppose a + o*a = -6. Are a and -1 unequal?
True
Let g = -0.04 + 0.08. Let b = 0.44 - g. Is b bigger than -0.3?
True
Suppose 0 = s + 6*z - 2*z - 18, 4*s + z - 27 = 0. Let n be ((-8)/160)/((-1)/s). Are -1 and n equal?
False
Suppose l - 3*h - 27 = 2*l, 0 = -5*l - 5*h - 125. Which is smaller: 0 or l?
l
Let v(h) = -h**2 - 17*h + 46. Let j be v(-16). Is 61 at most as big as j?
True
Let t = -17 + 30. Is t at most as big as -0.1?
False
Let s = -10 - -15. Let l = s - -4. Let r = -14 + 24. Which is bigger: r or l?
r
Let a be ((-84)/7)/(3/(-15)*2). Does a = 30?
True
Let f = -11 - -16. Let t = -16 + 22. Let u be (-9)/6*(-16)/t. Are u and f equal?
False
Let k = -20 - -3. Let u = -18.8 - k. Let s = 2 + u. Which is greater: s or -1?
s
Suppose -4 = -2*z + 2. Let j = -2 + z. Is 2 bigger than j?
True
Suppose -3*r - a + 7 = 0, 4*r + 0*a - 41 = 5*a. Suppose 2*i = -6 + r. Which is bigger: -3/4 or i?
-3/4
Let l be (-17)/3 + 11 + -8 + 3. Which is bigger: l or 30?
30
Let p be 6/(-10)*(6 + -1). Let g be ((-16)/72)/(2/p). Suppose -6*x + 3 = -3*x. Are g and x equal?
False
Suppose 7 = -3*o - 2. Let d = -4 - o. Which is greater: -1/4 or d?
-1/4
Suppose 2*s - 2 = s. Let u(l) = -3 + s*l + 2 - l. Let t be u(-3). Is -4 bigger than t?
False
Suppose -5*g - 3*b = -40, -4*g + 45 = g + 4*b. Let u = 3 + 13. Suppose -q = q - 2*p, -3*p = g*q - u. Is 0 < q?
True
Let p be -2 - -9890*278/1368836. Let l = p + 1/1577. Let t = l - 452/1953. Which is smaller: 1 or t?
t
Let f = 0.1 - 0.5. Which is smaller: f or -2?
-2
Let f(o) = 5*o**2 - 4*o + 3. Let