+ 7*z + 6. Let n be a(7). Suppose -h*o = o + n. Which is greater: -3 or o?
o
Let c(r) = -14*r - 7. Let i be c(-1). Which is greater: i or -0.08?
i
Let r be (-1 - -3)*(-12)/(-9). Let p = -149/60 - -3/20. Let d = p + r. Do d and -0.5 have different values?
True
Let i be (-10)/4*1*2. Let t(u) = -u - 5. Let x be t(i). Suppose -5*r = -j - 0*j - 3, -r = -4*j + 7. Is x < j?
True
Let k(q) = -q**2 + 6*q - 5. Let b be k(4). Suppose 0 = -b*s + s. Which is smaller: s or 1?
s
Suppose 0 = 2*c - 4*z - 20, -z + 0 = -4*c + 5. Which is greater: -2/11 or c?
c
Let y be (-2)/11 + (-45218)/319. Let u = 142 + y. Are u and -1 unequal?
True
Let i = -1.9 + -0.1. Which is bigger: i or -0.2?
-0.2
Let b be -1 + (-4 - -2 - -1)*-1. Is -5/8 < b?
True
Suppose -4*g = -9*g + 35. Which is bigger: 4 or g?
g
Suppose l = -2, 3*l + 2*l = 3*n - 55. Let b be n/(-12)*(-2)/10. Is b greater than -1?
True
Suppose -2*t + 1 = -t. Let l be (-128)/(-5) - 10/(-25). Let y = l - 76/3. Do t and y have different values?
True
Let w(b) = -24*b**2 + b + 3. Let z be w(-2). Is z equal to -95?
True
Let s(m) be the second derivative of m**3/6 - m**2/2 - 5*m. Let d be s(1). Let f = 115 - 919/8. Are f and d unequal?
True
Let i be ((-1)/(-5))/(1/(-2)). Let t(w) = -w**3 + 4*w**2 - 2*w - 3. Let o be t(3). Which is smaller: o or i?
i
Suppose 0 = 4*q + 18 - 6. Let a = 0.63 + 0.37. Which is bigger: a or q?
a
Suppose 4*o = -0*q - 2*q + 18, -3*o - 5*q = -31. Let s(t) = -1. Let x(i) = i + 11. Let j(k) = 2*s(k) + x(k). Let n be j(-8). Is o greater than n?
True
Suppose -5*j - 40 = -3*m, 3 = -4*m - j + 18. Suppose -m*l = 1 - 26, -4*y + 2*l + 26 = 0. Let v be (-15)/y + -1 + 2. Is v at most as big as -2?
False
Let b = -166 + 4152/25. Let x = 17/100 + b. Is x bigger than 0?
True
Let q(t) = 5*t + 3. Let p be q(1). Let s = -11 - -19. Let z = s - p. Is -9 less than or equal to z?
True
Let x = 373/7722 - 1/351. Let c = -13/44 + x. Let j be (-1)/3 - 2/(-3). Which is bigger: j or c?
j
Let k = 42 - 41. Suppose -2*x + 340 = -7*x. Let g = -200/3 - x. Which is smaller: g or k?
k
Let j be (1/2)/((-2)/(-4)). Let c be (4/(-10))/(156/(-135)). Let l = c - -2/13. Which is bigger: l or j?
j
Let v = 2.1 - 11.1. Let r = -9.1 - v. Let u = -0.1 - 0.9. Which is smaller: u or r?
u
Let y = 25 + -17. Let x be (y/14)/((-4)/(-14)). Let m be (-5)/x + (-4)/(-8). Is m bigger than -2?
False
Let m = -2 + 1.9. Which is bigger: m or 2/7?
2/7
Let p = -13409/11912 - -1/1489. Which is smaller: -2 or p?
-2
Let p = 3 + -3. Suppose p = 2*h + 1 + 1. Suppose r + 2 = -4*a - 8, 0 = -r + a. Is h greater than or equal to r?
True
Let c be ((-56)/70)/((-2)/30). Are c and 10 equal?
False
Let g = -17 - -33. Which is greater: g or 15?
g
Suppose 2*x + 29 = -v, -3*x + 5*v - 63 = -0*x. Which is bigger: x or -18?
x
Let p = 6.4 - 7.4. Let c = -1 - 1. Let r be 1 + (c - 0/(-2)). Is r <= p?
True
Let r = 0.6 + -2.6. Is 1 equal to r?
False
Let b(x) = -5*x + 9*x - 2*x**3 + x**3 + 17 - 14*x**2 - 3*x. Let m be b(-14). Suppose 5*z - 8 = 7. Are z and m equal?
True
Let h = -209 - -835/4. Let z = -2 - -3. Let l(r) = 6*r**2 - r + 1. Let c be l(z). Which is smaller: c or h?
h
Let l be 0 - (-6 - (-3 - 0)). Let x be 3/(-12) + l/(-4). Which is smaller: -1/6 or x?
x
Suppose 0 = 7*t - 9 + 23. Let s = -0.4 + -0.1. Which is smaller: s or t?
t
Let u = 0.13 - 0.1. Is u greater than -5/2?
True
Let g be 3/(-1) - (0 + -1 - -1). Is 0.05 not equal to g?
True
Let j be 78/21 + (-4)/(-14). Is j equal to 5?
False
Let x be (4/7)/(((-4)/5)/2). Which is smaller: -0.3 or x?
x
Let u = 12 + -10. Suppose -3*o + 5 = -1, 3*b + u = 4*o. Is 1 at least as big as b?
False
Let o = 3 - 2.8. Let w = -0.2 - -0.2. Let q = w + 0.1. Is q at least o?
False
Let k be 9*(-2 + 24/9). Suppose d = -d + k. Let z = d - 4. Which is bigger: z or -2?
z
Let w be (-22)/(-6) - (-5)/15. Suppose -w*t + 13 = -5*t. Is -14 greater than t?
False
Let r be 4 + 8*-2*3. Let o = r + 93/2. Is -2 smaller than o?
True
Let c = -20 + 16. Is c less than or equal to 0.1?
True
Let b(f) = -f**3 - 8*f**2 + 6*f - 11. Let k(u) = -2*u**3 - 17*u**2 + 12*u - 23. Let a(m) = -5*b(m) + 2*k(m). Let x be a(-7). Which is smaller: 1/2 or x?
1/2
Suppose 5 = -5*d - 3*s, -3*d - 2*s = -5*s + 3. Is -4/3 less than or equal to d?
True
Let q(s) = s - 10. Suppose -12 = 3*o, 3*y - o - o - 44 = 0. Let b be q(y). Let c = -4 + b. Is c smaller than -1?
True
Let f = 45 + -44.9. Suppose -40 = -2*g - 3*x, 2*x - 51 - 27 = -5*g. Let z be 2*-1 - (-24)/g. Is f equal to z?
False
Let z = -2.8 + 2.8. Let w be (-5)/(-6) + 4/(-6). Is w at most as big as z?
False
Let o(q) = q - 1. Let z be o(2). Suppose -2*s - 6 = -5*s. Which is smaller: z or s?
z
Let d = -58 + 57.93. Are d and -1 unequal?
True
Let i be 2 - ((-2 - -5) + -2). Which is smaller: i or 2?
i
Let n = -64 + 67. Does n = -8?
False
Let o be (-56)/(-42)*(-2)/4. Which is smaller: 0.24 or o?
o
Let v(q) = -4*q + 3. Let t be v(3). Let r be (18/(-10))/(t/30). Is r != 5?
True
Suppose -2*q + 5*m - 7 = 0, 4*q + 16 = -m - 9. Suppose -t + 3*a = 11, t - 29 = 4*t - 5*a. Which is greater: q or t?
q
Let n(m) = -m**2 - m + 2. Let d be n(0). Suppose d*f = 4*t + 4, 3*f - 8*f + 28 = -t. Suppose -4*b = 4*a - 4, -f*a + 2 = -4*a + 3*b. Is a < 2?
True
Let v = -11.94 - -12. Let r = 0.04 - v. Is -2 <= r?
True
Let n = 0.05 + 8.95. Let u = -8 + n. Is -4 > u?
False
Let i(l) = -l**2 + 3*l + 5. Let b be i(4). Let t(o) = -o**2 + 7*o - 1. Let m be t(7). Which is greater: b or m?
b
Let a(h) = 5*h**2 + h + 3. Let k(y) = 11*y**2 + 3*y + 7. Let d(q) = -9*a(q) + 4*k(q). Let c be d(4). Let o = c - -2. Which is greater: o or -3?
o
Let p be (-4)/16 - (-18)/8. Is 2 at most p?
True
Let q = -67.1 + 73. Let x = -1.3 + -4.7. Let l = q + x. Is -0.1 at most as big as l?
True
Let p be (-7)/(-3) + (-2)/(-3). Which is greater: p or 2?
p
Let n = -4.8 + 4.9. Are n and 27 equal?
False
Suppose 0 = l - 2 - 3, 5*l - 27 = -2*b. Let u = 45590823/52 + -876793. Let d = -185/4 - u. Is b equal to d?
False
Let l = 615 - 14143/23. Are -1 and l non-equal?
True
Let v = -148 - -152. Let u be ((-15)/(-25))/((-1)/(-5)). Is v greater than or equal to u?
True
Let x = -22 - -16. Let u be x/9 - 28/(-6). Suppose -2*m = -0*m + u. Is -3 greater than m?
False
Suppose -3 - 5 = 3*r + 5*q, -4*r - 2*q = 20. Let z = 3 + r. Let v(i) = -2*i - 4. Let a be v(z). Is a smaller than 1?
False
Suppose -4 = h - 2. Let u be (2/4)/(6/(-24)). Do h and u have different values?
False
Let n be ((-3)/(-12))/(1*-1). Let p = 3 - 2.7. Let t = p - -0.7. Which is smaller: n or t?
n
Let s = 14/27 + -232/135. Is 2 not equal to s?
True
Let p(s) = -s**3 - 5*s - 2*s + 7 - 4*s**2 + 6*s**2 + 5*s**2. Let j be p(6). Are j and 1 equal?
True
Suppose -2*b + 5*u = b - 8, -4*u - 4 = 0. Let h be -2*(-3)/12*b. Is 0 smaller than h?
True
Let b = -2/31 + -769/93. Which is greater: -7 or b?
-7
Let d = -173/445 - 1/89. Let j = 35 - 35. Which is greater: d or j?
j
Let v(b) = -1 + 0 + 0*b - 2*b. Let f be v(-2). Suppose -5*y = 25, -3*j - y + 1 - f = 0. Is j smaller than 2?
True
Suppose 3*j + 3 + 17 = -4*g, -2*g = 10. Let y = 12 + -9. Suppose -6 = -y*z - j. Which is bigger: 3 or z?
3
Let f = 3 + -1. Suppose 5*v - 15 = 0, -f*c - 5*v + 9 = -0*c. Let h be 2/c - 4/(-15). Which is bigger: 0 or h?
0
Let g = 4 - 6. Let k(x) = 3*x + 0 - 6*x - 1 + 2*x. Let z be k(g). Which is smaller: -1/4 or z?
-1/4
Suppose -16 = g + g. Let o = -36 - -26. Which is smaller: o or g?
o
Suppose 0 = 6*c - c - 35. Suppose -4*g - 5 = c. Is -1 > g?
True
Suppose 9*m - 4*m + 171 = -3*s, -2*m = 2*s + 114. Is s < -55?
True
Suppose -24 = 2*m - 5*m. Suppose -2*n - 2*n + m = 0. Which is bigger: 2/3 or n?
n
Let u = 3 - 2. Let z be (40/(-15))/4 - -1. Which is smaller: z or u?
z
Let v be 0 + (-3 - -1) - 1. Let m be (-10)/v*6/5. Suppose t - m*t + 3 = 0. Which is smaller: 1/9 or t?
1/9
Let a = 8 + 8. Is 16 at most a?
True
Suppose -4*t + 6*o - 3*o = -25, -6 = 2*o. Suppose 0 = -2*x - 6 - t. Let w(l) = l**2 - 6*l + 4. Let a be w(3). Is a not equal to x?
False
Let y = 0.032 + -0.202. Which is bigger: 0.1 or y?
0.1
Let u(o) = -2*o**3 + 2*o**2 + 1. Let a be u(0). Suppose -4*y + 5 = y. Is y greater than or equal to a?
True
Let f = -47171607/235 + 200731. Let l = f + 2/47. Is l < 2?
True
Let a be (-374)/88 + (-1 - -5). Suppose 4*v = -y + 3*v - 1, 3*y = -v + 3. Let m = -3 + y. Which is greater: a or m?
a
Let l be -1 -