r -8?
-8
Let i be (-28)/(-6) + (-3)/(-9). Suppose -i*r - 15 = -4*v + 3*v, -r + 2*v - 12 = 0. Which is smaller: -6/11 or r?
r
Let a = 7.8 - 7.5. Is a equal to 0.04?
False
Let v(z) = -z - 1 - 1 - 2. Let r(q) = q - 11. Let s be r(8). Let x be v(s). Which is smaller: 0 or x?
x
Let w be (-1 - 15/(-24)) + 1. Suppose -20*q + 21*q = 0. Which is smaller: q or w?
q
Let t be 1 + 0 - 2*-1. Let j(q) = -q**3 + 8*q**2 - 7*q + 3. Let x be j(7). Let f be x/(-12)*2*-6. Is t less than or equal to f?
True
Let y = 2.7 - 2.6. Which is smaller: -1.1 or y?
-1.1
Let k(o) = o**2 + o - 1. Let g be k(-4). Suppose 15*l + 36 = 19*l. Does g = l?
False
Let r = 6 + -9. Let n be (8 - (-3 - -5)) + r. Is n < 3?
False
Suppose 3*u = 3*z + 66, 5*u - 2*z - 126 = -25. Is 18 not equal to u?
True
Suppose 0 = 4*n + 8, -h + 5 + 1 = -3*n. Which is bigger: h or -1/3?
h
Suppose 12 + 12 = -4*x. Let c be x/30 - (-6)/(-20). Let a = 4 - 6. Are c and a unequal?
True
Let p = 9 - -1. Let i be ((-4)/p)/(8/(-40)). Suppose o + 0*o = -2*b - 6, -5*o - 10 = 5*b. Are o and i equal?
True
Let x(j) = -3*j + 4*j + 1 - 6*j. Suppose 0 = -f + 5*f + 4. Let v be x(f). Which is greater: v or 5?
v
Let l = 0.01 + -20.01. Let d = 24 + l. Let s be (-2)/6 + 2/24. Which is greater: d or s?
d
Let p(o) = 2*o**2 - 12*o - 2. Let q be p(6). Which is smaller: -24/25 or q?
q
Let z = 3 + -2. Let n be -25*(1 + -3)/2. Suppose -6 = -3*h, -5*h + n = -0*r + 5*r. Which is smaller: z or r?
z
Suppose 3*x = -2*x - 30. Let l be (x/10)/(5/(-25)). Let q be (l/5 - 1)/(-2). Is q at least 1?
False
Let r(c) = -6*c**2 + 3*c**3 + 7*c - 2*c**3 + 0*c**3. Let l be r(5). Suppose -l = -2*a - 4. Is a <= 3?
True
Let b = 5 - 3. Suppose 0 = -2*n + 4*p + b, n = -n - 2*p + 8. Let y = -6 + 7. Which is smaller: y or n?
y
Let v be (-6)/3 - (1 + -3). Which is bigger: v or -1/18?
v
Let i = 10 - 10. Is i <= 1/2?
True
Let j = -38376/49 + 783. Let b = 2/49 + j. Is 0 bigger than b?
True
Let u be (3 + 2)*(-4)/5. Which is bigger: u or -2?
-2
Let c = -8 - -4. Let t = -1.1 - -6.1. Let v = t + -4. Which is bigger: v or c?
v
Let c be 2 - (24/21 + 1). Suppose 5*f - 2*d = -3, -2*d - 3 = -0*f + f. Is f less than or equal to c?
True
Let m be (-16)/(-272)*(0 + 1). Which is smaller: -0.1 or m?
-0.1
Let a = 143 - 717/5. Let p = 47 - 47.06. Is a at least as big as p?
False
Let d = 1804 - 37864/21. Let t = d - 2/7. Which is greater: 1 or t?
1
Let g be 160/30 - (-2)/(-6). Suppose g = -4*f - 7. Which is bigger: f or -4?
f
Let x = 10 + -10. Let a = 0.1 - 0.2. Which is smaller: x or a?
a
Let m = 76 + -75.9. Let s = -4.0612 - 0.0088. Let t = s - -0.07. Which is bigger: t or m?
m
Suppose 4 = 3*x - x. Suppose p - x*p = 1. Let q be 2/(-2)*p + 4. Are q and 5 non-equal?
False
Let m(v) = 0*v - v**3 + 10*v**2 - 6 + 3*v - 3*v. Let q be m(10). Which is greater: q or -5?
-5
Let t = 23 - 35. Let f be t/9 + 3 + -1. Let z = -23 + 24. Is z smaller than f?
False
Let w = 1243/69 + -18. Does w = -1?
False
Let r be 17/1*(-3 + 3 - 5). Are r and -85 non-equal?
False
Let w be -3 - (-3 - (-19)/(-5)). Let t = 4 - w. Let p be 0/(1 + -3 + 3). Which is smaller: p or t?
p
Let o = 4 - 6. Let m be (6/(-4))/(o/(-4)). Which is smaller: -2 or m?
m
Let o be 64/(-40)*5/(-2). Suppose 2*c - 20 = o*v - 0*v, 2*v + 2*c = -4. Which is smaller: -3 or v?
v
Suppose 0 = -5*k - 53 + 13. Which is smaller: -13/2 or k?
k
Let w = -17/48 - 5/16. Let i be (480/9)/4 - 1. Let v = i - 12. Which is smaller: w or v?
w
Let h(v) = -2*v - 1. Let k be h(2). Let r be -1 - -1 - (k + 3). Which is bigger: r or 3?
3
Let d(f) = f**3 - 4*f**2 - 4*f - 6. Suppose -30 + 5 = -5*l. Let x be d(l). Suppose -8 = v - 2*z, 0 = 3*v - 0*z + 2*z. Which is smaller: v or x?
v
Let u(m) = -4*m**3 + m**2 - 1. Let q be u(1). Let w(t) = 7*t**2. Let c be w(1). Let i(y) = 2*y - 16. Let n be i(c). Is q < n?
True
Suppose 2*t = 4*t. Let f = 1738155/11 - 158153. Let v = 139 + f. Is v less than t?
False
Let i = -13.7 + 14. Which is smaller: i or 1?
i
Let h be 2/44*(-4 - 0). Let k be -4*1/(-3 - 1). Which is bigger: k or h?
k
Suppose 5*m - 4*h - 37 = 0, h + 4*h = -m - 10. Which is bigger: m or 36/7?
36/7
Let y be (0 + 1/(-2))/((-30)/(-24)). Which is smaller: 38/5 or y?
y
Let y = -28 + 39. Let o = y - 10.9. Is o > 4?
False
Suppose 3*m - 15 = 3*g + 2*m, -m = 3. Let v = g - -5. Which is greater: -1/8 or v?
-1/8
Let a = -2.7 + 2.87. Let q = 0.23 + a. Is q less than -3?
False
Let o = 10.2 - 10. Let f = 38.8 - 31. Let h = f + o. Which is smaller: h or -1?
-1
Let v = 113 + -225/2. Which is bigger: -1.1 or v?
v
Let r be (-2)/(-5)*15/(-18). Let y = 11 + -10. Which is bigger: y or r?
y
Suppose -2*t = 2*t - 16. Let v = -1 + t. Suppose 12 = v*i + i. Is 4 equal to i?
False
Suppose 4 = 2*u - c, 7*u - 2*u - 2*c - 8 = 0. Let p(r) = r**3 - 6*r**2 + r - 7. Let i be p(6). Which is smaller: u or i?
i
Let m = 33 - 43. Is m > 4?
False
Let h(p) = p - 4. Let u be h(7). Suppose 0 = b - u*b. Is 3/4 less than or equal to b?
False
Suppose -5*n + 5*r = 10, -4*r + 0 = 4. Is -3 > n?
False
Let l = -0.7 + -13.3. Is 2/3 at most l?
False
Let q = -0.1 - 0.2. Let c = 2 + -2.2. Let k = q - c. Which is greater: -1 or k?
k
Let o(g) = g**3 + 7*g**2 - 10*g - 6. Let p be o(-8). Let u = p + -14. Which is smaller: u or -3?
u
Let k be ((-6)/(-15))/(18/45). Is k at least as big as 15/7?
False
Let c be 4/2 + (-15)/3. Let u be (-2 + -10)*-1*1. Let n be (3/(-6))/(2/u). Is n >= c?
True
Let l be ((-6)/(-5))/((-6)/60). Does -12 = l?
True
Suppose 0*g + 610 = 3*g + 4*b, g + b - 205 = 0. Let w be 2/(-3) - (-200)/g. Which is smaller: w or 0?
0
Let p = 0.05 + -0.15. Is 0 greater than p?
True
Let v = -1 + 1. Let l = v - 0. Let h = -0.254 - -0.054. Which is smaller: l or h?
h
Let g be 50/2 + (1 - 4). Let z = -17 - g. Let j be z/(-60) + 1/(-4). Which is bigger: -2 or j?
j
Let x = -5 - -5. Let t = 0 - x. Let o = t - 0.2. Which is greater: 2 or o?
2
Suppose -3*f + 0 - 3 = 0. Which is greater: 5 or f?
5
Let p = 9 + -7. Suppose -d = p*w - 0 - 13, -4*w = -d - 17. Suppose 3 - w = -t. Which is smaller: 7/3 or t?
t
Let i = -1.8 + 0.9. Let r = -0.8 - i. Which is bigger: r or -2?
r
Let p = 8 + -11. Let x be p/1 - (-95)/35. Let s(l) = l - 1. Let t be s(2). Does t = x?
False
Let k(b) = 2 - 8 - b + 0*b. Let i be k(-6). Suppose i = -s - 1 + 2. Which is bigger: -0.1 or s?
s
Let z = -1 - -0.3. Let f = z - 0.3. Is f != 0?
True
Let z be 24 + (-2 - (-2 - 0)). Let g be z/(-16)*(-2)/9. Which is greater: 4 or g?
4
Let n = -4 + 10. Let y = n + -5.9. Which is smaller: y or -1?
-1
Let i = -46 + 85. Let d be -2 - ((-18)/i - 2). Do d and 0 have different values?
True
Let c = -9 + 10. Is c < -26?
False
Let u(n) = 2*n + 16. Let c be u(-9). Is c > -6?
True
Let j = -5.8 + 5. Let w = 0.5 + j. Which is greater: 0.2 or w?
0.2
Let y be ((-3)/6)/(10/(-6)). Which is bigger: y or -1?
y
Let p = -3 + 2.8. Let g be (3 + -4 + -2)*-8. Let n be (-2 - 0)*(-3)/g. Which is greater: p or n?
n
Let g(c) = c**2 - 8*c + 1. Let d be g(10). Let q be (-1)/d*-2 + 0. Let i be (4 - 2) + -3 + 1. Are q and i unequal?
True
Let b(x) = -2*x - 7. Let t be b(-9). Let z = 18 - t. Is 5 equal to z?
False
Suppose -3 = -35*n + 32*n. Which is bigger: 2/123 or n?
n
Let u = -12/7 - -55/28. Which is bigger: -1 or u?
u
Let z = 6.6 - 0.6. Is z < 0.1?
False
Let r = -4 + 1. Let v = -32.96 - 0.04. Let t = v + 32.8. Is t greater than r?
True
Let h = 101 + -399/4. Let j = -2 - -1.9. Let r = j + 0.2. Which is bigger: h or r?
h
Let j be 0/(2 - 0) + -8. Let m = 4 + j. Which is smaller: m or -3?
m
Suppose -3 = 3*z - 2*z. Which is smaller: z or 0?
z
Let h be ((-4)/(-6))/((-6)/9). Which is smaller: h or 3?
h
Let p(b) = b**3 - b**2 - b - 1. Let y be p(2). Let t be 3 + (304/28)/(-4). Which is bigger: y or t?
y
Let d(n) be the third derivative of n**5/60 - n**4/24 - 2*n**3/3 + 3*n**2. Let c be d(3). Are c and 4 equal?
False
Suppose 3*f = 12, a - 4*f - 509 = 6*a. Let m be ((-2)/85)/((-7)/a). Let z = m + -5/34. Which is greater: z or -1?
z
Let d = 0.96 + -1. Let y = d - -0.74. Which is smaller: y or -2?
-2
Let a = 0.091 + -0.231. Is -0.2 < a?
True
Let a = 1.3 - 1.3. Which is greater: -2 or a?
a
Suppose -2*j - 3*p - 8 = -5*p, -p + 4 = 5*j. Let g = 2/69 + 7/23. Is j equal to g?
False
Let z = -60848 + 424975/7. Let w = -137 - z. Which is greater: w or -2/9?
w
Let s be (27/(-4))/9*-44. Let c = -31 + s. Let o = 187/240 - -1/48. 