 + 2 = 0. Which is bigger: x or f?
x
Suppose 0 = h - 4*h - 36. Let l be ((-3)/(-5))/(h/(-8)). Is l less than 1?
True
Let a = -83.7 + -149.32. Let d = a + 230. Let f = d + 0.02. Which is smaller: -1/2 or f?
f
Let g(y) = 3*y + 3. Let i(p) = 6*p + 7. Let c(v) = -7*g(v) + 3*i(v). Let q be c(-1). Suppose 0 = 5*t - 2*a + 22, 0 = 7*a - q*a - 4. Which is bigger: t or -3?
-3
Let c(k) = k**3 - 2*k**2 - 2*k + 1. Let o be (-16)/(-12) - (-2)/3. Let h be c(o). Is h > -2?
False
Let a be (-4 + 0)/(-13 + 3). Suppose -1 = 3*n - 2*c, 0 = 3*n + 2*c - 5 - 2. Is a != n?
True
Let m be (-1)/(-3)*(-3 + 0). Let y(j) = -j**3 + 4*j**2 + 11*j + 4. Let d be y(6). Which is smaller: m or d?
d
Let u = -0.05 - -0.08. Let s = u + -0.13. Let f = -0.4 - -0.5. Is s not equal to f?
True
Let i = 19 + -17. Which is smaller: i or 0.01?
0.01
Let x be 1/3 + (-1 - 0). Let o be 5/30 + -1 + (-10)/(-12). Which is smaller: x or o?
x
Let p = -12023/37 + 325. Is p bigger than 0.3?
False
Suppose 0*z - 5*z - 25 = 0, 5*z + 23 = -2*u. Let r(n) = -2*n + 1. Let m be r(u). Which is smaller: m or -2?
-2
Let h = 2.87 + -2.97. Let a be (38/5)/(22/(-10)). Let t = a - -244/77. Which is smaller: t or h?
t
Let z(s) = s**2 - 5*s - 8. Let m be z(7). Suppose -m*o + 3*o = -18. Suppose 0 = 3*x + 3*p, -p = -2*x + 3*p - o. Which is smaller: 2/5 or x?
x
Let q be (-12)/42 + (-5)/7. Is q >= 2/5?
False
Suppose -3*u - 4*z = -8, -3*u + 5 - 11 = -3*z. Is -1/22 bigger than u?
False
Let u = 1384/7 + -198. Let l be (4/(-6))/(7/3). Is l smaller than u?
False
Let v = -539 + 808. Let o = 2949/11 - v. Is 0 less than o?
False
Let w be (-15)/(-9)*4/(-10). Suppose 5*k = 17 - 2. Suppose 5*n = k - 13. Is w at most n?
False
Let o = 24 - 41. Is -18 greater than o?
False
Let v = -0.026 + 25.026. Let h = -26.1 + v. Let q = 0.1 + h. Is q at most as big as 8?
True
Let a = 5 + -6. Let s be a/(-4) - (2 + -2). Is -2/9 > s?
False
Let h = -0.1 + 0.1. Let g = 2.77 - 2.8. Is h at most as big as g?
False
Let l = -7.6 + 7. Let s = 2.4 + -1.4. Which is greater: l or s?
s
Let s = -27 + 23. Which is bigger: s or -18/5?
-18/5
Suppose -2*i + 19 = -95. Is -1 > i?
False
Let p be (-3)/7 + 160/(-35). Let n be (3/(-9))/(p/(-2)). Suppose 3*s = -3 - 0. Which is smaller: n or s?
s
Let d = -229 + 2059/9. Which is smaller: d or -2?
-2
Let y = 3 - -3. Which is bigger: y or 0?
y
Let s = -20 - -8. Let i = s + 47/4. Is 14 not equal to i?
True
Let a = -3.36 - -3. Let f = a - -0.06. Let x = 0.3 + -0.2. Is x at least f?
True
Suppose -k + 5 = 4*b - 0, 2*b - k = -5. Which is smaller: b or 2.2?
b
Let o = -2/681 + 4148/21111. Which is smaller: o or 0?
0
Let v(w) = -3*w - 3. Let s be v(-2). Suppose 4*f = g, -2*g = s*f - 0*f. Which is bigger: g or -2/17?
g
Suppose 3*k - 3*s + 2 = -1, -5 = -s. Suppose -2*p + 0 = -3*d + 10, 0 = -4*d + k*p + 20. Let q = -12/5 - -3. Is q at least d?
True
Let g be (-2)/(-4)*5/5. Which is smaller: g or 0?
0
Let w(b) = b**3 - 3*b + 2. Let y be w(1). Which is smaller: y or -8?
-8
Let u = -155/4 - -39. Let y(x) = -x + 10. Let p be y(9). Is p not equal to u?
True
Let o = 2.2 - -0.8. Let w = -3 + o. Is 3 not equal to w?
True
Let g = 1 + -2. Let k(m) = m**2 - 2*m - 4. Let f be k(3). Let b be f/(2 + (-3)/3). Is b < g?
False
Let d(s) = -s**2 + 8*s + 13. Let k be d(9). Suppose 3*y = 4*r + y + 190, -5*y + 175 = -k*r. Let a be (-2)/(-10) - (-14)/r. Which is bigger: a or 1?
1
Let j = 8 + -15. Let f = j - -6.9. Which is smaller: -2 or f?
-2
Let o = -45 + 1. Is o greater than -45?
True
Let c be ((0 - -2) + -3)*1. Suppose z = -2*t + 5*t, 4*z - 2*t = 0. Let m be 2/(-10)*(z - 2). Which is smaller: c or m?
c
Let v = 32 - 157/5. Suppose 0*k - 3*k = -3. Is v at most k?
True
Let b(i) = -3*i**3 + i**2 + i - 1. Suppose -5*w + 0*l - 2*l = -28, -3*w + 3*l = -21. Let s(h) = h - 5. Let t be s(w). Let k be b(t). Is -2 at most as big as k?
True
Let b = -60 - -55. Is -3/2 equal to b?
False
Let p(b) be the second derivative of -2*b - 3/2*b**2 + 0 + 1/6*b**3. Let j be p(6). Are j and 3 nonequal?
False
Let i = -68.8 - -63. Let w = 0.2 - i. Do w and -1/2 have the same value?
False
Let n(g) = g**3 - 2*g**2 - 7*g. Let l be n(3). Is l >= -13?
True
Let x(p) = p - 8. Let u be x(4). Let q be 4/2*u/8. Are -1 and q equal?
True
Suppose 3*i = 2*b - 19, i - 1 = -3*b - 0*i. Suppose -2*l + 2 + 2 = 5*m, 2*m = 5*l - 10. Suppose m = -u - u + b. Is 2/7 at least u?
False
Let v = -21 + 34. Let n = 7 - v. Let j = 6 + n. Which is smaller: -1 or j?
-1
Let s(w) be the second derivative of 3*w**5/20 - w**4/6 + w**3/6 - w. Let n be s(1). Suppose -10 = -d + 6*d + y, n*d = -y - 4. Which is greater: 1 or d?
1
Suppose -5*a - 5*q = -20, -2*a + 3*q - 18 = -6. Is a less than -1?
False
Let p = 1840244/5 + -4797518533/13035. Let z = -1/237 - p. Let n be 3 - (1 - (-2 + -1)). Which is bigger: z or n?
z
Let c(y) = -y**3 - 7*y**2 + 8*y - 2. Let f be c(-8). Let i be 0/1 + 1 + f. Is i equal to -1?
True
Suppose 0 = 4*j + 23 + 5. Let i be 4/(-8) - j/6. Let l = -1.6 + 0.6. Is i <= l?
False
Let z = -0.15 - 16.85. Let u = 16.1 + z. Let q = u + 1. Which is smaller: 0 or q?
0
Let g = 39 + -39. Let w = 16.8 - 20. Let m = w + 3. Is g greater than or equal to m?
True
Let n = 0.8 - 1. Let x = 0 + n. Let s = 77/4 + -19. Is s less than x?
False
Suppose -4*h + 8*h - 64 = 0. Suppose -2*q = -q + b - 3, 5*b = -4*q + h. Let g be (-3)/5*(4 - q). Are -2 and g equal?
False
Let d(f) = f**2 + 6*f - 7. Let x = 14 - 21. Let y be d(x). Which is greater: 1/4 or y?
1/4
Let s = 5 + 4. Let o be (-2)/s*(-15)/(-10). Suppose -n = -0*n - 1. Which is smaller: n or o?
o
Let u(r) = -r**3 - 6*r**2 + 5*r - 8. Suppose 3*i + 5*d + 16 = 0, -5*d = -2*i - 2*d - 17. Let v be u(i). Let k be v/(-33) - 2/(-11). Which is smaller: k or -1?
-1
Suppose -13 = -2*y + 1. Suppose 3*j - 5*k = -k - 11, 3*k = j + y. Is -1/2 less than or equal to j?
False
Let v = -102.98 - -102. Let s = -0.02 + v. Let a be 5/(-2 + 0/3). Is s bigger than a?
True
Let l be -4*12/(16/4). Let g be 9/l*-4 - 1. Let m = 7 + -4. Which is smaller: m or g?
g
Let t be (1*-1)/((-2)/(-12)). Let b be (2/39)/(2/t). Let v(d) = d**3 + 3*d**2 + 2*d + 1. Let c be v(-1). Are c and b nonequal?
True
Let c = -25/44 - -9/11. Which is smaller: c or -1.2?
-1.2
Let c(f) = 3*f - 34. Let u be c(11). Is u greater than 1/131?
False
Let n(h) = 4*h - 22. Let t be n(5). Is t less than -17/6?
False
Suppose 2*w - 7 = 19. Which is smaller: -0.1 or w?
-0.1
Let q = 2.5 - 2.8. Is 3 less than q?
False
Let u = 56 - 91. Is -36 bigger than u?
False
Suppose -5*p = -5*r + 10, 3*r + p - 1 = -p. Is r less than 0?
False
Let a = 12 - 13. Which is smaller: a or -0.02?
a
Let c(b) = b**2 - b + 1. Let a be c(0). Let u be ((-18)/12)/((-6)/8). Suppose u*w - 4*m = 18, m + 0 + 2 = -2*w. Is a at least as big as w?
True
Let d be 1*(3 + -6 + 1). Which is smaller: -14/11 or d?
d
Suppose 0 = 5*f - 4*v + 5, 2*f + 3*v + 2 = 4*v. Let x = -7 + 16. Let q be x/(-9) - (-9)/11. Which is bigger: q or f?
q
Let v = 131/576 - 1/192. Let l(o) be the third derivative of o**4/24 + o**3/6 - 2*o**2. Let q be l(-1). Which is smaller: q or v?
q
Suppose 3*x + 5 + 7 = 0. Let s = x - -2. Let p = 153 - 156. Is s < p?
False
Let r = -41 - -41.54. Does r = -2/9?
False
Let v be (-15)/(-6) - (-1)/2. Suppose -5*j = o - 7, 9 = v*o - j - 12. Is o not equal to 8?
True
Let o = -0.6 + 0.9. Let w = -2.3 + 2.4. Are w and o non-equal?
True
Let j = -20 - -20. Which is greater: j or 5?
5
Let s = 0.07 - 0.14. Let k = 0.03 - s. Which is smaller: k or 0?
0
Let n(p) = -p**2 - 10*p - 6. Let c be n(-10). Is c not equal to -0.1?
True
Let j = 5 + -5.5. Let h = 14.5 + -11. Let u = j - h. Is u <= -0.1?
True
Let m = 35 - 141/4. Is -4 greater than or equal to m?
False
Suppose 3*i + 2*i = 55. Suppose -5*k + 4*v + 11 = 0, 3*k + 3*v - v - i = 0. Suppose -2*m - m = b + k, -2*b - 5*m = 5. Is 1/6 bigger than b?
True
Let f = -0.06 - 5.94. Let x = -1.2 - -5.2. Let r = f + x. Is r not equal to 1?
True
Let w = 30 + -59/2. Is 1 at most as big as w?
False
Let z = -199/12 + 67/4. Suppose 4 = -4*q - 3*w - 0, 3*q + 2 = -2*w. Let k be (q/(-4))/((-1)/2). Do z and k have different values?
True
Let z be 4/12*(-3)/(-2). Which is smaller: 0 or z?
0
Let a = 9 - 0. Let k be 6/(-2)*(-3)/a. Let x(o) = -o**2 - 7*o + 1. Let w be x(-7). Is w bigger than k?
False
Suppose 2*d + 7 = -4*j - 5, 3*j - 2*d = 5. Let c = j - -1. Which is b