 = -1 - -3. Let n = -2.2 + v. Which is smaller: -3 or n?
-3
Let y = -0.4 - 0.6. Let f = 7 + -6.4. Which is bigger: f or y?
f
Let l be (-5)/28 - 18/(-42). Let i = 2 + -3. Let w = -1 - i. Which is smaller: l or w?
w
Let f = -19 - -7. Let t = -11 - f. Suppose 0 = 2*a - 2*i - 2*i, 0 = -2*a - 4*i + 8. Is t smaller than a?
True
Suppose 4*b - 10 = -3*n, -n - 5*b = -0*n - 18. Let s(g) = g - 3. Let v be s(5). Suppose 4*d - 9 - 2 = c, -v*d = -4. Which is greater: n or c?
n
Suppose 3*s = 2*s. Let y = -1 - s. Let k be (-60)/(-126) - (-2)/(-6). Which is smaller: k or y?
y
Let p(f) = f**3 + 8*f**2 + f + 10. Let x be p(-8). Let o = 11 - x. Is 8 < o?
True
Let k be (8/(-6))/((-8)/12). Suppose -4*l - k = 2*x, -l = -4*l + 9. Let i be (x/(21/18))/(-2). Is i < 3?
False
Let h = 0.2 + -0.3. Let w = -0.1 + 4.1. Which is smaller: w or h?
h
Suppose 2*j = 3*j. Let z(x) = x**3 - 4*x**2 - x + 5. Let l be z(4). Let c = l - 0. Is j greater than or equal to c?
False
Let q = 3 - 7. Is q != -2?
True
Let i = -11 - -19. Which is smaller: i or 0?
0
Suppose 4*v - 3*q + 133 = 33, 25 = -v + 5*q. Is -24 > v?
True
Let v be 25/(-20)*(9 + -1). Let j = v + 9. Which is greater: 2/51 or j?
2/51
Let l = 0.1 + -0.1. Let b = 16.12 + -16. Let r = b - 0.62. Is r >= l?
False
Let z = -88 + 60. Which is greater: 1/4 or z?
1/4
Let x = -40 - -40. Let z = 1 + 0. Let j = 1.5 - z. Are j and x non-equal?
True
Let c = 0.07 - 0.47. Let l = 0.6 - c. Let v = l + -4. Which is smaller: 1/2 or v?
v
Let u = -14 - -15. Let a be u*(-1 - (-4)/5). Which is smaller: a or -1?
-1
Let i = -40 + 26. Let z = 1/74 + 499/37. Let g = i + z. Are 0 and g equal?
False
Suppose 4*j = -j + 45. Let b = 3 - -6. Are b and j unequal?
False
Let i be 2/(-7) + (-46)/(-14). Let s = -2 + i. Let m be (-4)/(-6) + -3 - -2. Which is smaller: m or s?
m
Let p = 1 + 1. Suppose 3*c - 6 = -p*j, -2*j = -4*c - c + 26. Is j != -1?
True
Let k = 0.1 - 0.04. Let c = k - 0.06. Which is bigger: -1/14 or c?
c
Let f(k) = k**3 - 10*k**2 - 27*k + 5. Let z be f(12). Do -31 and z have the same value?
True
Let q be 3 - 3/((-81)/5529). Let c = 208 - q. Which is bigger: c or 1?
1
Let t be ((-2)/6)/((-2)/(-12)). Suppose 0*f = 2*f - 10. Suppose 3*k = -f - 4. Is k less than or equal to t?
True
Let w(q) = 27*q**2 + 3*q - 3. Let g be w(1). Which is smaller: 26 or g?
26
Suppose -5 + 35 = 5*j + p, -40 = -3*j - 5*p. Suppose -16 - 9 = j*q. Do q and -2 have the same value?
False
Let s = 20 + -41/2. Let k = -1 - -1. Let d be (2 - 10/4)*k. Do s and d have different values?
True
Let w be 3 - 3*15/27. Is -0.1 smaller than w?
True
Let u = -1.57 + 0.27. Let t = u + -0.7. Which is smaller: 1/4 or t?
t
Let k be -1*(-4)/(-12)*-1. Which is smaller: 0 or k?
0
Suppose -4*h = h + 60. Let f be h/(-20) + (-12)/20. Which is smaller: -3 or f?
-3
Let l(z) = -z + 1. Let p(c) = 3*c - 11. Let f(s) = 4*l(s) + p(s). Let j be f(-6). Is 2/7 at most as big as j?
False
Suppose 2*k - 3*k = 4. Let n(h) = -h**3 - 4*h**2 + h + 3. Let w be n(k). Is -3 at most w?
True
Let p(k) = 2*k - 1. Let c be p(2). Let h = 0 + -0.1. Let x = h + 0. Which is greater: c or x?
c
Let r be -2*(0 - 1/(-4)). Suppose 5*f + 2*y - 10 = 0, -f + 2*f + 4*y - 2 = 0. Suppose f*i + 10 = 3*j, -2*j + 4*i = -23 + 3. Which is greater: j or r?
j
Let r be -2 + 1*(-1 + 3). Do -9/7 and r have the same value?
False
Suppose -t - 3 - 9 = 0. Let m be t/7 + -4 + 6. Let y(d) = -d**3 + d**2 - 1. Let r be y(0). Which is greater: r or m?
m
Let m(y) = -y**3 + 13*y**2 - 14*y + 24. Let d be m(12). Which is greater: 5/9 or d?
5/9
Let o(t) = -t - 2. Let s be o(0). Let k(h) = -10*h - 58. Let m be k(-6). Is m at least as big as s?
True
Let j = 149 + -148. Is 2/13 smaller than j?
True
Suppose 0 = -6*p + 6. Which is smaller: 1.3 or p?
p
Let d(c) = -c**3 - 11*c**2 + 12*c + 1. Let v be d(-12). Let f be (v/(-36))/(1/2). Suppose -3*n - 4*q - 9 = -7*q, -4*q = -2*n - 10. Which is smaller: n or f?
n
Suppose -4*u = -0*u. Let o be 1/(u - (2 - 1)). Let t = o - -5. Is 4 smaller than t?
False
Let x(n) = -n**2 - 7*n - 5. Let f be x(-6). Suppose 3*l + 5*j = -5, 5*l - 3*j + 0*j - 3 = 0. Are l and f unequal?
True
Let m = 926/675 - 38/25. Which is smaller: -1 or m?
-1
Let z(c) = -205*c**3 + c + 1. Let y be z(-1). Let v = y - 75. Let i = v - 386/3. Which is smaller: i or 1?
1
Suppose 5*r - 2*i + 40 = 0, i + 3 = -2. Let o be r/4 + (-3)/(-6). Which is greater: o or 0?
0
Suppose 18*l - 15*l + 12 = 0. Let n be 10 + -8 - (-6)/l. Is n at most as big as -5?
False
Let s be 0/(3*-1) + 5. Suppose -s*n + 2*n + 21 = 0. Let p(i) = -i**3 + 7*i**2 + i - 8. Let v be p(n). Which is smaller: v or 0?
v
Suppose 3*z + 20 = 5*b, 12 = 3*b + z + z. Suppose -u + 2 = b. Which is smaller: u or -3/4?
u
Let c(r) be the first derivative of r**4/4 + r**3/3 + r - 2. Let i be c(0). Let z = -2 + i. Which is bigger: z or 1/4?
1/4
Let u = -15.1 - -14. Let q = 0.9 + -1. Let j = q - u. Is j < 0.2?
False
Let n = 237 + -5923/25. Which is smaller: 1 or n?
n
Let x be (-2)/6*0 - 40. Let u = x - -24. Let o be ((-2)/6)/(u/(-6)). Are o and 1 unequal?
True
Let c(l) = l**3 - l - 1. Let t be c(-2). Let v(x) = -42*x + 2. Let u be v(-3). Let k be 3/t - u/28. Do -5 and k have different values?
False
Let y = 46 + -52. Is -22/3 at least y?
False
Let c(a) = -a**2 - 5*a + 7. Let o be c(-6). Let i be (2/1 + -1)*-3. Let h = o + i. Are -2 and h unequal?
False
Suppose 14 = 5*u + 4. Let l be 1/2 - 1/u. Let a = l - -1. Is 1 < a?
False
Let q be ((-2 - 0)*-1)/2. Suppose 4*j - 3 = q. Which is smaller: j or -1/4?
-1/4
Let q = -163 + 491/3. Is q greater than or equal to -11/5?
True
Let v(u) be the first derivative of -u**2/2 + u + 1. Let i = 19 - 16. Let o be v(i). Which is greater: o or -1?
-1
Let g be (3/(45/190))/(3/(-9)). Is -1 less than g?
False
Let y = -5 - -10. Suppose -5*m + y = -2*o + 13, 4*o + 14 = -5*m. Is 0 less than or equal to m?
False
Let s = 0.3 + -0.2. Let g = 47 - 845/18. Let z = 23/90 - g. Is s less than or equal to z?
True
Suppose 26 + 2 = -2*s. Let i = s + 5. Which is greater: i or -8?
-8
Let q be (-4)/22 + 1405/7425 + 0. Which is smaller: 0 or q?
0
Let n = 0.11 - 0.23. Let d = 0.22 + n. Do -3 and d have the same value?
False
Let d be (3 - 6) + 10/25 + 3. Which is smaller: 6 or d?
d
Let t(a) = a**2 + 38*a + 325. Let m be t(-25). Let s be (-7)/5 + 4/10. Is s at least m?
False
Suppose 0 = p - 6 + 5. Are p and 1 unequal?
False
Let v = -0.22 + 1.22. Which is greater: v or -2?
v
Let i = -6.4 - -6. Let z = 0 + i. Let k = z + 1.4. Are k and -6 non-equal?
True
Let r be (1 - -1)/(180/(-93) + 2). Is 30 less than or equal to r?
True
Suppose -90 = 2*u - 2. Let l be 627/u - 2/(-8). Let q be 4/14 - 17/l. Which is bigger: q or 3?
3
Let k be (2 - 6)*9/(-6). Let l be 7 + 4/(8/k). Suppose 0 = -5*z - 0*z - l. Is z smaller than -2?
False
Let l = 1 - 0.9. Let b = l - 0. Let m = -0.2 - 2.8. Is m at least as big as b?
False
Let w = 128/3 - 43. Let o = w + 1. Which is smaller: o or -2?
-2
Let x = -29 + 33. Which is smaller: x or 8?
x
Let m = -203 - -2637/13. Is -1 bigger than m?
False
Let m(w) = -1 + 4*w - 6*w + w. Suppose 4 = -2*x - 0. Let g be m(x). Is -1/5 >= g?
False
Let n(g) = g**2 - 27*g + 4. Let m be n(25). Is -44 > m?
True
Suppose 2*b - 6*b = -5*y + 7, 3*b + 2*y + 11 = 0. Let h = -1.24 - 0.76. Which is smaller: h or b?
b
Let g = 22 - 16. Which is smaller: 0.1 or g?
0.1
Suppose 10*t - 6*t = -24. Which is smaller: -8 or t?
-8
Let n(x) = x**2 + 5*x - 9. Let w be n(-7). Let h(a) = a - 3. Let o be h(w). Do o and 1 have the same value?
False
Let l(s) = 2*s - 6. Let x = 12 + -8. Let v be l(x). Let j = -0.8 - -1.8. Do v and j have the same value?
False
Let p be ((-8)/12)/1*-3. Let t be 35/15 + 2/(-6). Suppose t*i = -i. Which is smaller: i or p?
i
Let t = -305/66 - -14/3. Is t less than 1?
True
Suppose -8*r + 5 = -3*r. Let h(n) be the second derivative of n**3/6 - 7*n. Let j be h(r). Do -1/7 and j have different values?
True
Let g = 4 + -3. Let i be 2/((-69)/9 + 3). Which is greater: i or g?
g
Let f be (1 + 0)/((-10)/30). Are f and -6 nonequal?
True
Let v be (-15)/30*(-116 + 1 - -1). Which is greater: 58 or v?
58
Let h = -7.98 - -8. Which is bigger: -0.1 or h?
h
Let i be 2/5 - -2 - 3. Which is greater: i or -3?
i
Let s(b) = 22*b**2 - b - 2. Let o be s(-1). Which is bigger: 20 or o?
o
Let o = 268/411 + 2/137. Which is bigger: 4 or o?
4
Let a(n)