alue?
False
Let y be ((-5)/(-25))/(6/195). Is 6 < y?
True
Suppose -4*q - 54 = 310. Let w = q - -462/5. Let s = w + -4/5. Which is greater: -1 or s?
s
Let l = -1 - 0. Is l <= 2/15?
True
Let m = -227 - -2495/11. Suppose -5*g - 3*s + 15 = 0, 5 = -4*g + 4*s - 3*s. Which is bigger: m or g?
g
Suppose 3*w - 20 = -2*w. Suppose 0*j = w*j + 4. Let t be (-4)/(-14)*(-2 - j). Is t at least as big as -0.1?
False
Let s = 6 + -12. Which is greater: s or -4?
-4
Suppose -v = -2*d - 2, d + 2*d + v = -3. Let s = 5 + d. Suppose -g = s*h - 4, h = -2*h - g + 4. Is 1/3 <= h?
False
Let l = 6 - 5. Suppose -5*x - l - 9 = 0, -2*x = 5*v - 6. Suppose -5*f - 4*n = -13, 3*n = -f - v*n + 11. Which is bigger: f or 1/2?
f
Let b be 2/(-8) - 723/(-2796). Let h = 456/1165 + b. Which is bigger: 1 or h?
1
Let c be (-2 + 1)*1*-1. Suppose -2*i = -3*p - 191, 0*p + 186 = -3*p - 3*i. Let k = p + 253/4. Is c greater than or equal to k?
True
Let r be (-445)/(-194)*(-2)/20. Let q = -2/97 + r. Which is greater: q or 1?
1
Suppose -5*b + 3*z + 15 = 0, 10 = 3*b - 2*z + 1. Let w be (1*(-5 + 1))/((-30)/60). Suppose w*p = b*p. Which is smaller: p or -1/3?
-1/3
Let y = -36 + 68. Let i = -1535 - -3007/2. Let b = y + i. Which is smaller: 2 or b?
b
Let w = 0.38 - 0.28. Which is smaller: -25 or w?
-25
Let o = -0.1 - 0. Let u = 5 + -4.5. Which is smaller: o or u?
o
Suppose 0 = 2*b + 2 - 0. Let k be -3 - b - 1816/9. Let h = k + 204. Which is smaller: h or 1?
h
Let x be 2 + (-87)/84*2. Let z = 6 - 7. Which is greater: z or x?
x
Let o = -8 + 13. Is o bigger than -1?
True
Let u = -38 - -37. Which is bigger: -1/8 or u?
-1/8
Let i = 30484/91 - 335. Is -1 less than i?
True
Let m = -0.6 + 0.3. Is m < 3?
True
Suppose -5*s - 6 = -4*x, -4*s + 6 = s - x. Let h be (-1 - -1)*s/4. Suppose h = -2*o + 5*a - 8, -3*o + 5*a - 1 = 6. Is 1/4 equal to o?
False
Suppose i - 1 = 2*i. Let r be (i - -2 - 0)*3. Which is smaller: 1/4 or r?
1/4
Let b = -4 - -3.84. Let s = 0.06 + b. Let n = -3.1 - s. Which is bigger: 2 or n?
2
Let z = -156 - -278. Let x be 20/(-90) + z/(-18). Which is smaller: x or -6?
x
Let y = -0.06 + -0.24. Let n = -0.3 + y. Is n equal to 2/5?
False
Let q(n) be the second derivative of -n**3/2 - 2*n**2 - n. Let f be q(-2). Which is greater: f or 0?
f
Let r = 5 + -1. Let y be (-2 - 5) + r/(-2). Let z be (-1)/(-1 + y/(-6)). Does -2 = z?
True
Let s(b) = 4*b**3 + 2*b**2 - 1. Let k be s(1). Suppose -k*n - 11 = -c, -c + 0*c - 9 = 5*n. Which is smaller: 0 or c?
0
Let v = 0.07 + -0.07. Which is greater: v or 10?
10
Suppose s - 2 - 3 = p, 3*s - 15 = 0. Suppose 5*c + 6 = 46. Suppose i + 2 = -r - 4, 3*r + i + c = 0. Is r greater than p?
False
Suppose -5*x + 5*q + 20 = 0, -5*x - 7 = 4*q + 18. Which is bigger: x or 3/32?
3/32
Let a = 17 - 19. Let g = 2.3 + a. Is g equal to -1?
False
Let o = 4/167 - -974/1169. Suppose -3*h - 5*a - 14 = 0, h + a = -13 + 11. Which is smaller: o or h?
o
Let g = 0 - 0. Let n = 1 + g. Which is bigger: n or 0?
n
Let o be 1*((-2 - 2) + 2). Let g(f) = f**2 - f. Let w be g(2). Let x be w/(-5) + 13/(-5). Which is greater: x or o?
o
Suppose -3*a = -4*g + 13, -g + 1 = -0*g. Suppose 0 = -h + 1 - 6. Let c = h - a. Which is greater: c or -1?
-1
Let t be -2 + (-78)/5 - 6/15. Is t bigger than -55/3?
True
Suppose 4*z = -4*o - 16, 0*z + 4*z - o = 9. Suppose 4*u - s = 49, -55 = -2*u - 3*u - 5*s. Suppose 0*j + u = -4*t - 4*j, -2*t + 3*j = -9. Is t >= z?
False
Suppose v = 2*v - 2. Is v less than or equal to 5?
True
Let s = -0.14 + 0.14. Which is bigger: -2/9 or s?
s
Let i = 87 - 87.2. Which is smaller: 11 or i?
i
Let l(i) = -i**3 + 5*i**2 - 4*i + 2. Let y be l(4). Let c be (-2)/3 + 2/6. Which is bigger: c or y?
y
Let c be (-5)/(-1) + (-4 - -1). Let l be -2 + 4/3 + 2. Which is bigger: l or c?
c
Let r be 4/(-12) + 34/66. Let z be 0 + (0/2)/(-2). Do r and z have the same value?
False
Let i = 91/1020 - 2/51. Which is greater: i or 1?
1
Let f = 9 + -10. Let h = 0.58 + -0.08. Which is bigger: h or f?
h
Let n = 0.03 + 0.27. Let z = -0.3 + 0.1. Let u = z + n. Which is smaller: 3 or u?
u
Let j = -28 + 34. Which is bigger: 7 or j?
7
Let o(n) = 7*n**2 + 1. Let w be o(1). Let b(j) = -j + 12. Let a be b(w). Which is smaller: a or 3?
3
Let m(x) = x + 6. Let j be m(-5). Let a = -5/2 + j. Let v(b) = -b**2 + 2*b + 1. Let s be v(3). Is a <= s?
False
Suppose 7*f + 7 = -0. Which is bigger: f or 1?
1
Let i = -23 - -26. Which is greater: -2 or i?
i
Suppose 0 = y - 5 + 2. Suppose -5*m + 15 = -y*x, 10*x - 5*x - 4*m + 25 = 0. Which is bigger: x or -4?
-4
Let k(g) = 6*g**2 - 3*g + 3. Let j be k(1). Do j and 11 have the same value?
False
Let g(b) = -b - 5. Let d(t) = -t**3 + 10*t**2 - 9*t - 5. Let f be d(9). Let r be g(f). Which is greater: -2 or r?
r
Let n = -4/333 - -14006/1665. Which is bigger: 8 or n?
n
Let d(m) = -5*m - 2. Let s be d(-1). Let o = 3578/2079 - 2/297. Is o smaller than s?
True
Let d be (38/5)/(21/15). Let t = d + -373/70. Is -1 > t?
False
Let n = -191 - -1335/7. Let m = 6 - 4. Do m and n have the same value?
False
Let v be 315/(-78) + (-3 - -7). Is v equal to 0?
False
Let a = 12 - 17. Let t be 10/(-4)*1/a. Which is greater: 0 or t?
t
Let h = 4 + -12. Which is bigger: -17/2 or h?
h
Let j be 1 - (0 - -1 - 3). Let l = j + -2. Which is smaller: -4/15 or l?
-4/15
Let p = 15 + -167/11. Let t(f) = f**3 - 3*f**2 - 3*f - 5. Let v be t(4). Let w be v - (2 + 0)*-1. Is w smaller than p?
False
Let k = 51 - 258/5. Let q = k + 4/15. Are q and 0 non-equal?
True
Let v(w) = -w**3 + 14*w**2 - w + 15. Let a be v(14). Which is greater: a or -2/13?
a
Let l = 14 - 13. Let k be 2/(-6)*18/48. Which is smaller: k or l?
k
Suppose 7 = -3*j - 4*j. Which is smaller: 3 or j?
j
Let w = -0.08 - -6.08. Let v = 817067/271 + -3015. Let t = 552/1355 - v. Which is bigger: w or t?
w
Suppose 2 = -3*r + 5*o, 0*r - 2*r = -3*o + 1. Which is smaller: 0.1 or r?
0.1
Suppose 3*a - 8*a = 2*h - 62, 5*a - 63 = -3*h. Suppose 0 = -5*s + a - 2. Is s greater than 4/7?
True
Let c = -7 - -12. Let t = c - -9. Suppose 8 = w - 3*w + 3*i, -3*w - 2*i = -t. Which is smaller: 0.1 or w?
0.1
Let a = -8.8 + 0.8. Let h = 8 + a. Do -8 and h have the same value?
False
Let t = 252 - 251. Let c be (1 - 0)*(-1)/(-9). Which is bigger: c or t?
t
Let z(r) = r - 10. Let b be z(0). Let h = -10 - b. Suppose 0 = -5*s - 0 - 5. Which is smaller: h or s?
s
Let q be -1 + 0 + 15/18. Suppose -u + 5*z - 4 = 0, -3*u - 2*u - 5*z + 40 = 0. Let c = 7 - u. Are q and c non-equal?
True
Let k = 4 + -35. Do k and -30 have different values?
True
Let y = 2/21 + 4/7. Do 2 and y have the same value?
False
Let f(h) be the second derivative of -h**3/6 + h**2/2 - 2*h. Let a = 15 - 11. Let p be f(a). Which is greater: p or -2?
-2
Let z be 18/(-42)*(5 - 1). Do -2 and z have the same value?
False
Let p be 4/14 - 12/(-7). Let s = 0 + 0. Are p and s non-equal?
True
Suppose 5*j - 8 = -3*u - 2, -j = 0. Let m be 3/4 - u/8. Which is greater: m or 1?
1
Let i(f) = 3*f - 2. Let j be i(-5). Let o = 31/2 + j. Is o smaller than -3?
False
Let a be 1 - (-4 - -5) - 0. Let y = a + 0. Is y bigger than -4/11?
True
Let t = 20 - 15. Suppose -t*g + 23 - 8 = 0. Suppose 0*r - 2*r = -x + 8, -r = 3*x - 10. Which is smaller: g or x?
g
Let r = 39/16 + 3/16. Do 4 and r have different values?
True
Let t(v) = -2*v**2 + 5. Let u(y) = -5*y**2 + 11. Let m(j) = 13*t(j) - 6*u(j). Let f be m(-1). Is 3 not equal to f?
False
Let s = -5 + 9. Suppose -s*l = -2*l - 6. Let g be 4/(-15) + 2/3. Is g <= l?
True
Let u be -16*(1 - -6*(-12)/63). Do u and -1 have different values?
True
Suppose -4*h - 18 = -h. Do -6 and h have the same value?
True
Let f be (-12)/(-6) - (0/3 + 3). Which is smaller: 1/13 or f?
f
Let c = -4 + 3. Let r = c + 2. Are r and 1 equal?
True
Suppose -m + 0 = -4. Suppose m*j + 10 = 2*j. Let v be 0/j + (1 - 0). Is 1 <= v?
True
Suppose 0 = -3*g - 5*n + 5, 3*g + 2*g = -5*n + 5. Let i be 2 + g/(2 - 3). Let m be (i/(-6))/((-3)/6). Which is smaller: 0 or m?
0
Suppose -2*k - 118 = 2*m, 2*k + 177 = -k - 4*m. Is -59 < k?
False
Let v = -6196/19 + 326. Which is smaller: 0 or v?
v
Let i = 1.57 - 1.53. Is 0.1 smaller than i?
False
Let g(m) = 3*m. Let u be g(1). Suppose u*z + 2 = -1. Let l be 2/((4/z)/2). Which is smaller: -1/8 or l?
l
Suppose 0 = t + 4*t + 10. Let q = t + 3. Suppose g = -q - 0. Is g < -3?
False
Suppose 11*n - 2*n + 63 = 0. Is n less than or equal