t d be h(-1). Suppose 0 = -2*b + 3 + d. Let x = 0.041 + 0.159. Which is greater: x or b?
b
Let a be 1 - 2 - (-22 + -2). Suppose 5*f - 3 = -a. Let h = -5 + 0. Is f less than h?
False
Suppose -5*y = -3*t - 4, -5*y + 5*t = -y - 11. Let z(d) = -5*d**3 - d**2 - d - 1. Let k be z(y). Which is greater: k or 7?
7
Let z = -6 + 5. Let h be ((-16)/40)/(z/(-10)). Let a be h/4 + 30/26. Which is smaller: 0 or a?
0
Let d = 11 - 37. Let h = d + 24.9. Which is smaller: h or -1?
h
Let x be 2/(1/15*6). Suppose -t - 10 = -3*t. Are t and x unequal?
False
Let u(f) = -f**3 - 3*f**2 + 11*f - 1. Let b(g) = -g**3 - 2*g**2 + 10*g. Let q(c) = -7*b(c) + 6*u(c). Let p be q(5). Which is smaller: -1/10 or p?
p
Let l(x) = -x**2 - 3*x + 14. Let f be l(-6). Is f < -3?
True
Suppose -4 = -2*v - 0. Suppose 0*f + 18 = 2*f. Let g be 4*(f/6 - 1). Is g > v?
False
Suppose -h - 26 = -2*h + w, -124 = -4*h - w. Suppose -h = 8*t - 5*t. Which is bigger: -1 or t?
-1
Let s = -0.034 + -2.066. Is s at most -0.2?
True
Let i = -0.01 + -5.99. Which is bigger: -1 or i?
-1
Let s = 0.65 + 1.39. Let f = 9.96 + -10. Let u = f + s. Which is greater: -1 or u?
u
Suppose 3*t - 1 - 5 = 0. Is 3/5 > t?
False
Let d = 22023/4 + -5462. Which is smaller: 43 or d?
43
Suppose -4*y - m + 54 = -3*m, 0 = y + 3*m - 17. Is 13 smaller than y?
True
Let p(x) = -x**3 - 7*x**2 + 4*x + 3. Let l be p(-7). Is -26 at most as big as l?
True
Suppose -4*f + f + 3*j = 3, f - 2*j + 2 = 0. Let w be 1/15*(-9)/12. Is f at most as big as w?
False
Let k be (42 - 1) + 0/4. Suppose -5*q - 35 = 2*w - 5*w, 4*q - 5*w + k = 0. Let n(m) = -m - 3. Let j be n(q). Which is bigger: j or -1/5?
j
Let y = 5 + -1. Let s be 2 - (1 + 2 + -5). Is y less than or equal to s?
True
Suppose -2*p = -4*s - 172, -2*s = 2*s + p + 178. Let y be -1 - -3 - (2 + -5). Let t be -3 + y + s/14. Which is smaller: t or 0?
t
Let b = 0 - -2. Let t = 1553/3 - 531. Let n = t - -163/12. Which is bigger: n or b?
b
Let k(g) = g**3 - 8*g**2 - 10*g + 8. Let n = 6 + 3. Let f be k(n). Which is smaller: f or -2?
-2
Let d = -5 - -7. Suppose -5*p + a + 9 = 0, -d*p + 0*a + a = -3. Suppose -10 = 2*x - p*k, x + k + 3 = -0*x. Which is smaller: x or -1?
x
Let f = -7/2199 + 3094028/10995. Let m = f + -283. Which is greater: m or -3?
m
Let s = -3/26 + 157/234. Are s and 0 equal?
False
Let g be (-10)/(-25) + 4/(-10). Suppose 3*v + 4*r + 16 = g, -v = -0*v - 4*r. Suppose -3*i + 4*n + 1 = -10, i - n - 2 = 0. Does v = i?
False
Let a(r) = -r + 5. Let c be a(4). Which is smaller: c or -3/10?
-3/10
Suppose c - 4 = -0. Let w be 2/c + 52/8. Which is bigger: w or 8?
8
Let k(i) = -i**2 - 4*i + 3. Let j be k(-5). Let w be 0 + 2/(j/(-1)). Which is smaller: 3 or w?
w
Let j(r) = 3*r - 1. Suppose 0 = -2*h, -3*h + 4 = -4*l - 2*h. Let z be j(l). Let d be (-72)/16 + 1/2. Is z at least d?
True
Suppose 3*z + m + 0 = 1, 0 = -2*m - 10. Suppose -l + 2*j + j - 15 = 0, z*l - 2*j + 10 = 0. Let n = 25/33 + -12/11. Are l and n unequal?
True
Let l be 714/15 - (-2)/5. Let h be (-10)/4*l/(-30). Suppose -29 - 3 = -3*i - 4*c, c = -4*i + 21. Is h less than i?
False
Let o = -397 - -47. Let k be o/40 + 2/(-8). Are k and -9 unequal?
False
Let j = -12 + 12.07. Let k = j - -0.93. Is k >= 1/2?
True
Suppose -5*x + 7*x = 6. Which is greater: x or 1?
x
Let w be (-48)/45 - (2 - 3). Is -1 <= w?
True
Suppose -2*v - 2*q + 0*q - 8 = 0, -2*q = -3*v + 8. Which is smaller: -3/20 or v?
-3/20
Suppose -4*y = -7*y - 3*y. Let b be 3/(-11)*1/3. Is b less than or equal to y?
True
Suppose 4*n - 3*n = -2*n. Let z = 1 + 0. Let i = z + -2. Is i less than or equal to n?
True
Let g = -3.5 - -0.5. Let v = g - -2. Do v and 2/11 have different values?
True
Suppose 0 = -4*n - 3*p + 5*p + 78, 4*n = -2*p + 66. Let c = n - 18. Which is smaller: -3/4 or c?
-3/4
Let b(z) = -z**3 + 11*z**2 + 12*z - 7. Let t be b(12). Let j = t + 9. Let l be (1/(-2))/(2/(-4)). Is j < l?
False
Let m = -0.2 + 0.1. Let x = 0.2 - m. Which is bigger: 1/2 or x?
1/2
Suppose -3*s + 2*s + 14 = -5*b, -4*s + 4*b = -8. Let r = s + 0. Which is smaller: r or 0?
r
Let k = 1 - 3. Let j = -5 + 13. Let x = 8.1 - j. Which is smaller: k or x?
k
Let p(x) = -13*x. Let w be p(1). Do w and -12 have the same value?
False
Suppose -b - b + 2*s + 4 = 0, 5*b = -2*s - 18. Which is greater: -2/5 or b?
-2/5
Let x(j) = -5*j**3 + 4*j**2 + 3*j. Let g be x(-2). Let d = g + -71. Let m be (-19)/d + -2 + 1. Which is greater: m or 0?
0
Suppose -5*i + y - 9 = 1, -4*y = -2*i - 22. Let t be 1*((-6)/8 - i). Which is smaller: t or 0?
0
Let s = -0.3 - -10.3. Which is smaller: -3 or s?
-3
Let q be (-22)/99 + 2/9. Suppose -2*p + p = q. Which is bigger: p or 5?
5
Let g = 0.9 + 0.1. Let y(z) = z + 17. Let t be y(-11). Let i be 2/8*t/9. Is i at least g?
False
Let c be (4 + -3)*(-1 - (-32)/34). Which is greater: 0 or c?
0
Let c be 3/(-9)*3 + 2. Which is greater: c or 6/43?
c
Let g = -19 - -13. Which is smaller: g or 4?
g
Let m = 69 - 68.9. Is 12 not equal to m?
True
Suppose 3*n + 4*m = 5*n - 72, 213 = 5*n + m. Is 42 less than or equal to n?
True
Let p(m) be the first derivative of -3*m**2/2 + 3*m - 1. Let j be p(3). Let c be ((-8)/36)/(4/j). Which is greater: c or 0?
c
Suppose 2*j - 3 = -7. Let w = 0 + j. Let g be -1*(-3 + 1)*-1. Is w < g?
False
Let g be (-2)/(-8) - 8/(-32). Let x be (-4)/(-10) + (-6)/(-10). Which is bigger: x or g?
x
Let n be ((-4010)/17)/((-10)/10). Let b = -236 + n. Which is bigger: b or -1?
b
Suppose -4*h = 2*h. Let s be (-12)/(-9) + (-6)/(-9). Let x = 3/2 - s. Which is smaller: h or x?
x
Let j = 31 + -63/2. Let h(t) = 6*t**3 + t**2 - t - 2. Let g be h(-1). Which is smaller: g or j?
g
Let u be ((1 - 2/2)/2)/3. Let w = 337622422/455 + -742027. Let i = -1/65 + w. Which is smaller: i or u?
u
Let g be (3/(-1))/(3/(-2)). Suppose -g*w = -w. Suppose w = -3*l + 7*l - 12. Is l at least 3?
True
Let w be 8/44 + 38/(-88). Which is smaller: -1/26 or w?
w
Let w(d) = d**2 - 9*d - 10. Let t be w(10). Suppose -4*z + 116 = -t*z. Suppose -5*s - z = 4*q + 1, -5*q - 27 = s. Does s = -1?
False
Let y(s) = -s**3 + 8*s**2 - s + 14. Let o be y(8). Let a be (-29)/(-4) - 2/8. Is a at least o?
True
Let q be (-3 - -1)*5/45. Is q less than or equal to -114?
False
Let d = -13/24 - -239/264. Which is bigger: 0 or d?
d
Let r be 0*((-3 - -1) + 1). Suppose -v = -5*v + 12. Suppose r = -v*h - 1 + 4. Are -2 and h nonequal?
True
Let a be ((-5)/(-10))/(6/4). Let m = 5 - 1. Suppose -3*w + 18 = -4*s - 5, -w - s - m = 0. Is a < w?
True
Let f = -13/6 + 15/2. Which is bigger: f or 5?
f
Suppose 6 + 6 = 4*c. Let l = c + -3. Let s be (-48)/21 + l + 2. Which is smaller: 1 or s?
s
Let c = 57 + -55. Is c less than or equal to 1?
False
Let s = 3 + -2. Let u = -21 + 22.8. Let g = -0.2 - u. Do g and s have the same value?
False
Let y = 0.048 - 1.088. Let w = -0.04 - y. Which is greater: w or -1/5?
w
Suppose -21*o + 16*o - 375 = 0. Is o at most as big as -75?
True
Let u be ((-2)/(-4))/((-5)/10). Let w = 619272/3667 + 65/3667. Let p = -169 + w. Which is smaller: u or p?
u
Let l(j) = j + 15. Let r be l(-12). Is 0 <= r?
True
Let h = 7 + -12. Let z = -3.36 - -3.7. Let y = z + -0.24. Which is greater: y or h?
y
Suppose 3*d = 9*d + 18. Suppose -4*m + 6 = -6*m. Are m and d unequal?
False
Suppose -2*k - q = -1, 8 = -4*k + 5*k + 3*q. Is -9/4 equal to k?
False
Let i = -353 + 356.17. Let d = i - 0.17. Is d greater than -0.2?
True
Let c = -0.3 + 0.25. Let p = 0.65 - 0.3. Let n = p - c. Is n greater than or equal to 0?
True
Suppose -5*t - 51 = -8*t. Let l = t - 15. Is 0.2 > l?
False
Let r(p) be the second derivative of -2*p**3/3 - 2*p**2 - 2*p. Let y be r(-5). Let b = y + -110/7. Which is greater: 0 or b?
b
Suppose -2*a = a - 9. Suppose a + 9 = 3*p. Suppose 2*v - 3*l = -v, -l + 18 = 5*v. Is p greater than or equal to v?
True
Let r = 2.2 - 0.2. Let u = 2 + r. Which is smaller: 1 or u?
1
Let b = 11 - 11. Which is smaller: -1/2 or b?
-1/2
Let x = -151 + 147. Which is bigger: x or -36/7?
x
Let x be (4/9)/(6/(-9)). Which is greater: x or 1?
1
Let a be (-2)/(-4) - 1 - 315/(-462). Is a less than 0?
False
Suppose -2*q + 10 = -4*r - 4, 25 = 5*q. Let f be (-1 + 0/(-1))/r. Suppose -2*l - 8 = -4*o, -4*o - 5*l - 8 = -2*o. Is f > o?
False
Let r = -67 + 64.1. Let i = 3 + r. Let s = 0 - 1. Which is greater: s or i?
i
Suppose -42 = 2*j + j. Let c = j + 13. Let h be ((-2)/(-3))/((-2)/3). Is c >= h?