. Let p be (-180)/(-65) + (-2 - 1). Which is smaller: p or h?
h
Suppose 10 = -2*d - 0*d. Suppose -4*h - 4*f - 20 = 0, 4*h + 0*f + 5*f = -19. Which is smaller: d or h?
h
Suppose 2*f = 271 - 61. Suppose -5*z + 0*z = -f. Let h be (-78)/z + (-2)/7. Is h bigger than -5?
True
Let n be (((-70)/2175)/7)/(1/3). Which is smaller: n or -1?
-1
Let m = -10 + 2. Let n be 0 + 1 - 2 - 11. Let o be (-2)/m + (-25)/n. Which is greater: o or 3?
3
Let o be 1*((2 - 12) + 2). Which is greater: o or -7?
-7
Let c be 1/(-2*(-4)/(-8)). Let v = 14 + c. Is v < 13?
False
Let j = -69 + 69.2. Is j bigger than -3/8?
True
Let i(q) = -16*q**2 - q + 1. Let n be i(1). Let w be 4/(-11)*(-24)/n. Which is smaller: w or 0?
w
Let x = -16/35 + 6/7. Let g(q) = -q**2 + 5*q - 5. Let c be g(2). Which is smaller: x or c?
x
Let a = -63 - -25. Which is bigger: -37 or a?
-37
Suppose 3*n + 2 = 5*n. Let f be (n - -1) + -1 + 0. Let x be (-3 - -4) + (-1)/1. Which is smaller: x or f?
x
Let g = 9/20 - 1/5. Is g at most as big as 1/4?
True
Let v = 15 + -13. Suppose -2 - v = -4*x. Is -0.02 at least as big as x?
False
Let t = 8 + -16. Let s = t + 8. Is s at least -8?
True
Let c(x) = -x**3 - 15*x**2 - 3*x - 32. Let q be c(-15). Which is bigger: q or 11?
q
Let p be (11/((-220)/(-168)))/((-4)/(-10)). Are p and 21 non-equal?
False
Let m = -0.2 - -0.3. Let n = m + -0.2. Let g = -0.1 - n. Which is greater: -0.1 or g?
g
Let f be 2 + -1 + (-2)/5. Which is smaller: f or 2?
f
Suppose -15*s = -9*s - 18. Which is greater: s or 21/8?
s
Suppose -4*j = j + 10. Let l(d) = -d**3 - 2*d**2 - d - 1. Let w be l(j). Is 1/8 smaller than w?
True
Let b = 0.08 - 0.18. Is b at least as big as -0.36?
True
Let w = 19 + -14. Are w and 6 nonequal?
True
Suppose 3*m - 10*m + 119 = 0. Which is bigger: 18 or m?
18
Suppose 0 = q - 1 + 2, -5*r - q + 4 = 0. Which is smaller: r or -0.06?
-0.06
Let t = -0.123 - -0.023. Let g = 0.1 - 4.1. Which is bigger: g or t?
t
Let l be 3/6*-2*2. Let r = 7 - l. Do r and 2/5 have the same value?
False
Let f(q) = q**3 + 6*q**2 + 5*q + 5. Let u(w) = -2*w**3 + 2*w**2 + 3*w - 3. Let p be u(2). Let o be f(p). Suppose 4*a - 1 = -o. Is a equal to 0.3?
False
Let k(j) = 3*j**2 - 7*j - 2. Let o be k(5). Suppose 2*g = 3*w + 7*g - o, 2*w - 4 = 2*g. Let q be 16/(-42) + w/9. Which is smaller: 1 or q?
q
Let r be (-10)/4*4/5. Which is bigger: r or -3?
r
Let d = -75 - -93. Is 1/3 at most d?
True
Let q(v) = 5 + 7 + v - 7. Let p be q(-2). Is p less than or equal to 4?
True
Let f(t) = 6*t - 70. Let p be f(12). Let o be (-1)/2 + 7/2. Are p and o non-equal?
True
Suppose -2*g - 2*g = -s - 6, 4*s + 7 = -g. Let u be 1*2*g/2. Let k be 1 - (9/4 + -1). Which is greater: u or k?
u
Suppose 0 = 5*i + 2*q - 27, 3*i - 32 = -i + q. Let d = i - 6. Let y be d*((-1 - -1) + 1). Is 1/5 > y?
False
Suppose -1 = -2*i + 1. Let p be (3 - 7)/((-52)/(-262)). Let b = -20 - p. Is b at least i?
False
Suppose 0 = -3*r + 7*r + 2*s + 2, 1 = 2*r - s. Suppose -4*n + 40 = -4*y, 0*n - 55 = -2*n - 5*y. Let o be (-1)/n - (-6)/9. Which is bigger: o or r?
o
Let q be -3*((-205)/(-15) - 3). Is -31 > q?
True
Let c = -29 + 20. Is -15/2 < c?
False
Let h = -0.3 - -0.31. Let f = h + 0.09. Let o = 0.3 + -0.4. Is o <= f?
True
Let g = -8 + 6. Let o = -2.1 - g. Let z = 0.1 + o. Is z smaller than 2?
True
Let y = 1536/11 + -434710/3113. Which is smaller: 0.1 or y?
y
Suppose 15 = 3*k + 2*k. Suppose -k*g = -6*g. Let f be (-1*1/3)/1. Which is bigger: f or g?
g
Let g = 22.2537 - -0.0463. Let f = -21 + g. Do 0.1 and f have different values?
True
Suppose 7 = -5*w - 0*k + 3*k, -4*w - 4 = -2*k. Let f be -1 - 16/(-15) - (-4 + 4). Which is smaller: w or f?
f
Let q = -567/235 + 3/235. Is -2/7 greater than q?
True
Let d = 5 - 3. Suppose -z = z - 10. Suppose 0*c = z*c - 2*o, 2*c = -5*o. Which is smaller: c or d?
c
Suppose 5*b - 4*y - 7 = -0, 3*b - 3*y - 3 = 0. Suppose -b*m - 5 = -w, 2*w - 2*m + 0*m - 6 = 0. Is 2 <= w?
True
Let g be 17/(-4) + 1/4. Let s = 4 + g. Are s and 1 non-equal?
True
Let x = -71 + 71. Is -0.048 != x?
True
Let a be (-465)/(-18)*(-12)/45. Is a smaller than -8?
False
Let i = -81.2 + 75. Let c = i + 0.2. Let h = -2 - c. Are 0.2 and h equal?
False
Let t be (-26)/5 - 1/(-5). Let c(q) = -4*q. Let i be c(1). Which is smaller: i or t?
t
Let m = -1/5 - -4/15. Is -1 < m?
True
Let g = -0.32 + -1.98. Let v = 2.3 + g. Is v at most as big as -1/3?
False
Let c be -3 + 0 + -3 - -1. Which is smaller: c or -4?
c
Let w = 0.2 + -0.4. Let o = -7 + 7.3. Let g = -0.7 - o. Is w at least g?
True
Let g = -0.8 + 0.9. Is g equal to 7?
False
Let p(w) = -6 + w - w + 3*w**2 - 2*w. Let i(r) = 4*r**2 - r - 7. Let k(z) = -4*i(z) + 5*p(z). Let s be k(-6). Is s greater than 0?
False
Let u(k) = k**3 - k + 3. Let h be u(0). Suppose -7*d + h*d - 12 = 0. Which is smaller: -4 or d?
-4
Suppose -2*o - 3 = -z, -4 = 4*z + 5*o - 3. Is 2/3 bigger than z?
False
Let k(p) = -p**2 + 3*p + 4. Let n be k(4). Let j = -25 - -10. Let s be 8/10*j/(-2). Which is bigger: s or n?
s
Let f = 17.9 - 11. Let s = f - 7. Is s smaller than 5/4?
True
Let k be 4/10 + 218/(-570). Let t = k - 134/57. Let j(i) = i + 2. Let h be j(-5). Which is smaller: t or h?
h
Let z = 10/63 - 4/9. Suppose 3*q + 2*m = 15, 6*m - 3*m = -4*q + 20. Let b = q + -6. Which is greater: b or z?
z
Let q = -1.5 + 0.5. Is 0.3 less than q?
False
Suppose 2*a - h - 9 = 0, 0 = a - 5*h - 1 - 17. Suppose -4*l - 5 = -21. Let k be (a - l) + 0 + 1. Do k and -1 have different values?
True
Let u = -15 + 15. Suppose u = 5*w - w. Do w and -7/5 have different values?
True
Let i be 124/240 + (-2)/3. Let b = i + 11/20. Which is smaller: b or -2/7?
-2/7
Let h = 1.94 - -0.06. Suppose 2*g - 5*n + 14 = 4, -10 = 3*g - 5*n. Which is smaller: h or g?
g
Let u = 8 + -2. Let j be (4/u)/((-8)/12). Let p be (3/6)/(j/2). Is -1 bigger than p?
False
Let k(o) = -o**2 + 10*o - 16. Let l be k(8). Let v(z) = z + 4. Let a be v(-2). Which is greater: l or a?
a
Suppose -3 + 19 = 2*n. Is 7 not equal to n?
True
Let j be 197/(-3) - (-6)/9. Let b be 4/6 + j/3. Let v be -1 + (-1 - 39/b). Which is smaller: v or -1?
-1
Let m(a) = 2*a**2 - 11*a + 6. Let z be m(5). Let f(v) = -v**2 - 4*v + 6. Let p be f(-5). Is p bigger than z?
False
Suppose 0 = 2*x - 5*o + 12, -2*o + 28 = 9*x - 4*x. Which is bigger: 3 or x?
x
Let b = 28/3 + -26/3. Let d = -3 - -3. Let z = 2 - d. Are z and b nonequal?
True
Let c be (1/(-2))/(1/2). Suppose 5*m - 4 = 5*z - 14, 0 = -4*z - 3*m - 13. Are c and z nonequal?
False
Let o(l) = -2*l + 34. Let r be o(11). Is r at least 7?
True
Let a(r) = 2*r + 2. Let m(l) be the first derivative of -l**3/3 - l**2/2 + 1. Let s(w) = a(w) + m(w). Let x be s(2). Are 1/6 and x non-equal?
True
Suppose 0*v - 2*v = -5*y + 16, -5*v + 2*y + 2 = 0. Let k = -0.1 - -0.3. Let j = k - 0.3. Which is smaller: v or j?
j
Suppose 0 = -w - 4*u - 11, 4*w - 2*u - 7 = 3*w. Let t be (18/405)/(w/10). Which is greater: t or 0?
t
Let x = 22 - 65/3. Let j = -17 + 18. Let v be (1 - j)/(0 - -2). Which is smaller: x or v?
v
Let g(t) = 2*t - 1. Let o be g(3). Which is bigger: o or 4?
o
Suppose 3*a + 6 = 6*a. Let f = 5 - 6. Which is bigger: a or f?
a
Let n(v) = -v**3 + 2*v**2 + 4*v. Let t(z) = -2*z + 1. Let c be t(-1). Let x be n(c). Is 2 <= x?
True
Let h = 4 - -18. Suppose -5*g - c = 10, 0 = 2*g + 3*c - 5 + h. Suppose 5*f - 3*i - 3 = 0, -f + 5*i = -4*f - 5. Is f at least g?
True
Let v(q) = -q**2 + 6*q + 10. Let w be v(7). Let p be -2 + 46/8 - w. Which is bigger: 2 or p?
2
Let b be 3/6*-2*(-20)/(-16). Which is greater: b or -0.06?
-0.06
Let l(h) = h**3 + 6*h**2 - h - 7. Let j be l(-6). Let g = 3/152 - 471/760. Which is greater: j or g?
g
Let z be (-6)/(-4)*(-6)/27. Which is greater: -1.6 or z?
z
Let z = 1 - 2. Let x be z/5*20/1296. Let f = -637/3564 + x. Is f <= 0?
True
Suppose 0*b = 2*b. Suppose -3*h + h = 4*x + 14, -5*h + 2*x + 13 = b. Let c(p) = -p**2 - 4*p. Let n be c(-4). Is n at least as big as h?
False
Let n be (5/(-12))/(14/(-63)). Which is bigger: 2 or n?
2
Let z be 555/180 + 6/(-8). Which is bigger: -1 or z?
z
Let b(j) be the first derivative of j**4/4 - 4*j**3 + 11*j**2/2 + 7*j - 3. Let h be b(11). Suppose -3*k - h = 2*v, -21 = -4*k + 2*v - 7. Does 1 = k?
True
Let b = 9/10 + -23/20. Is 0.06 bigger than b?
True
Let y = -14 - -13. Let b = 120 - 259. Let q = -1253/9 - b. Which is greater: q or y?
q
Let o be 7/2*8/14. Let y be 1/2