 (-6)/(-180)*(0 - -4). Which is greater: -2 or h?
h
Let a = 4 - -1. Suppose a*h + 11 = -4. Let t = 0 + -2. Which is smaller: h or t?
h
Let c(p) = -p**2 - 2*p + 7. Let a(w) = 3*w - 2. Let v be a(-1). Let n be c(v). Which is smaller: -6 or n?
n
Let m(s) = -s**3 - 11*s**2 - 11*s - 11. Let r be m(-10). Which is smaller: -7 or r?
-7
Suppose 7*b = 4 + 3. Let o = 2 - 1. Let t = o - 0. Is t at most b?
True
Let c = -5.09 + 0.09. Let t = -4.6 - c. Let p = -0.2 + t. Which is smaller: p or -2?
-2
Let u be ((-1)/3)/((-3)/(-105)). Which is smaller: u or -13?
-13
Let x = -615/8 + 77. Let z be 0 + 2 + 54/(-16). Let o = x - z. Is 3 at most as big as o?
False
Suppose -3*v - n - 5 = -56, 60 = 3*v + 4*n. Which is greater: v or 15?
v
Suppose -5*t - 3*k = -39, -2*t = 2*t + 2*k - 30. Is t smaller than 4?
False
Let f(i) = i**3 + 4*i**2 + 3. Let z = 1 + -5. Let q be f(z). Which is smaller: q or 2?
2
Suppose 0 = u - 0 + 2. Let l be 0 + u - (-24)/2. Let w = 6 - l. Is w less than -3?
True
Let n = 160 + -160.12. Which is bigger: n or 2/11?
2/11
Let q be (-28)/(-6) - 0 - 6/9. Let r = 3 + 0. Which is smaller: r or q?
r
Let n = -15.7 - -15. Let k = n - 0.3. Which is greater: 2/7 or k?
2/7
Let c = -11 - -11. Is 1/12 greater than or equal to c?
True
Let q be 7/(-2) + (-3)/(-6). Let f = 7.2 - 7. Which is smaller: q or f?
q
Let k(x) = 3*x**3 + 4*x**2 + x + 2. Let c be k(-2). Is -7 not equal to c?
True
Let c = 1 + -4. Let w be 102/24 - (-2)/(-8). Suppose 3*v - p = 7*v + w, -5*v - p - 5 = 0. Which is smaller: v or c?
c
Let l be 3 + -1 + -4 - 1. Let k = 6 + l. Suppose -2*a - 5*n - 15 = k*a, -n + 13 = -3*a. Which is greater: -3 or a?
-3
Let s(v) = -v**2 - 5*v - 7. Let c be s(-3). Are -2 and c equal?
False
Let k(b) = -b**3 + 7*b**2 - 8*b + 13. Let t = 15 + -9. Let z be k(t). Which is smaller: z or -2/9?
-2/9
Suppose 0 = b + 2*b. Let s = 989/4 + -248. Are s and b equal?
False
Let a = -4 + 8. Suppose -a*l = -0*l - 16. Suppose 0 = -2*p - t - 4*t + 5, l*t = 2*p + 4. Which is greater: p or 4/9?
4/9
Let b = 0.7 - 0.59. Let h = b - 0.01. Which is smaller: -1 or h?
-1
Let c = -5.4 - -3.9. Is c less than or equal to 2/9?
True
Let l(z) = z - 6. Let j be l(5). Let t = j + 1. Which is bigger: 3 or t?
3
Let o be (-1 - 172/225) + 2. Let s = -1/75 + o. Suppose -2*i = 2 - 0. Which is greater: i or s?
s
Let f be 9/6*8/(-6). Let t be 0/(3/(9/3)). Which is bigger: t or f?
t
Let u = 841 - 591. Let z be (-6)/39 + u/(-65). Is z less than or equal to -1?
True
Let f(u) = u**2 + 18*u - 14. Let a be f(-19). Is 4 at least as big as a?
False
Let l(p) = 2*p**2 - 3. Let r be l(-3). Suppose 0*f + 5*k = f - 21, -5*f = 5*k + r. Let g be 2/f - (-52)/(-16). Which is bigger: g or 0?
0
Suppose -3*s + 6*o = 3*o - 18, -5*o = -4*s + 29. Let r = s - 1. Let x(g) = g**2 - g. Let p be x(r). Which is bigger: p or -1/5?
p
Let q(g) = -g**2 + 11*g + 13. Let j be q(12). Which is smaller: j or 2/187?
2/187
Let h = 1 - 1. Let m = -2 - -1. Let n = h + m. Which is bigger: n or -2?
n
Let p be 38/(-95) - 4/(-10). Does -8/7 = p?
False
Let l be (-1 - 9/(-6))*2. Let v = -383/11 - -35. Do l and v have different values?
True
Let m be 0/((-3 + 1)/(-1)). Let f be 6/4*(-711)/18. Let y = f - -59. Is m >= y?
True
Suppose 4*d - 9 = -25. Let u be 6/(-4) - (-2)/d. Let k = -43 + 43. Which is smaller: k or u?
u
Let k(t) = -t**3 + 5*t**2 - 5*t + 7. Let g be k(4). Let j be (-1 + 1)/(2/2). Suppose -n - g*n + 12 = j. Which is smaller: n or 4?
n
Suppose 0 = -2*a - w + 19, 2*w - 21 = -2*a - w. Let y be (-2 - (-60)/a)*3. Let x be (0 - -2)*(-2)/y. Which is smaller: 1/2 or x?
x
Suppose -10*j - 115 = 135. Which is smaller: -26 or j?
-26
Let f = 109 + -109. Is 26 greater than f?
True
Suppose -14 - 6 = 3*o + 4*j, -3*o + 25 = -5*j. Let w = -0.35 + 0.05. Is o bigger than w?
True
Suppose c - 7 = 1. Let a(j) = -4*j + 1. Let x be a(-2). Is x less than c?
False
Let m(n) = -n**3 + 6*n**2 - 9*n + 11. Let z be m(5). Is -41/4 < z?
True
Let a(o) = -4*o + 7. Let u be a(3). Suppose -3*q - 15 = -0*q. Do u and q have the same value?
True
Let x = 22 - 19. Suppose 2*s + 2 - 8 = 0. Is x at least as big as s?
True
Suppose z = 2*z - 2*r - 1, -32 = -4*z + r. Suppose 2*c = -c - z. Which is smaller: c or -4?
-4
Let q(d) = d**3 + d - 1. Suppose -4*l - m - 11 = 4*m, l + 3*m = -8. Let i be q(l). Let n = 1258/7 - 180. Which is bigger: n or i?
i
Let x = 52/11 + -244/33. Which is bigger: x or 0?
0
Let k = 1.3 + -7.3. Is k at least 0?
False
Let a = -25 - -32. Is 11 not equal to a?
True
Let h = 3359/16 + -210. Which is bigger: h or -1?
h
Let t = -54 - -54.17. Which is smaller: 1 or t?
t
Let w = 2 + -6. Let m be (12/10)/(w/(-10)). Let y = m + -4. Which is greater: -2/9 or y?
-2/9
Let u be (-2)/4 - (-85)/10. Which is smaller: 7 or u?
7
Let u be 12/36 + (-11)/6. Let f be (0 + 1)/(1/(-1)). Which is smaller: f or u?
u
Let g = -7 + 10. Suppose 8 = 4*f - 5*w - g, 2*w = 4*f - 2. Is f < 1?
True
Let c = 10 + -1. Suppose 0 = -5*z - 2*h - 15, h + h + c = z. Suppose -2 = -y + 3*y. Are z and y equal?
True
Let c(p) = -p**3 + 7*p**2 + p - 8. Let l be c(7). Suppose f - 22 = -3*w, -3*f = 5*w - 0*w - 46. Is f greater than or equal to l?
True
Let s be (2/3)/(-2 + -428). Let w = s - -1313/14835. Which is smaller: 0 or w?
0
Let f = 16 - 10. Let g be 1/(-1 + f/7). Let z be (-2)/g*(-1 + 0). Which is greater: -1 or z?
z
Let u = 32 - 23. Let j(b) = -u - 4*b**2 - 2*b**2 - b**2 + b**3 + 8*b. Let m be j(6). Is 1 smaller than m?
True
Suppose 3*m - 7*m = -3*g + 20, -4*m - 20 = -g. Which is smaller: g or -3?
-3
Suppose -4*t = -5*a - 6, 2*a + 5*t + 13 = -2*a. Is a at most 1/2?
True
Let b(y) = -y**2 - 9*y - 3. Let u be b(-8). Let p be (-33)/(u + -2) - -2. Let m be p/(-6) + 6/(-3). Is m > -1?
True
Let d be ((-2)/(-12))/(21/357). Which is bigger: d or 4?
4
Let q be 2 - 1 - (-468)/24. Let x be 938/20*9/21. Let l = q - x. Which is greater: -0.2 or l?
l
Suppose -s - 4*f = 2*s + 11, -3*s - f - 5 = 0. Is 3/43 >= s?
True
Let i = -14 - -17. Suppose -3*m = 2*h - 43, 2*m - 3*m = -i*h + 59. Are h and 21 equal?
False
Let d = 38 + -35. Which is greater: 0.3 or d?
d
Let k = -29/44 - -13/44. Which is greater: 1 or k?
1
Let b = -1 + 2. Let s = -16 + 16. Are b and s equal?
False
Let h = -3.7 - -0.7. Let x = h + 5. Let r = -0.2 + 1.2. Is x smaller than r?
False
Let l be (2/(-14))/(1 + 0). Let i(j) = 2*j. Suppose -2*g = -4*g. Let z be i(g). Are l and z non-equal?
True
Let u = 57 + -56.8. Is 0.1 < u?
True
Let k = 0.02 - -0.08. Let o = -9 - -2. Are o and k non-equal?
True
Suppose -3*z + 0*c - 12 = -3*c, 3*c = 5*z + 12. Suppose 3*a - 2*a = -3. Let l = -2 - a. Which is bigger: z or l?
l
Let r = -4.1 + 4.3. Which is smaller: -0.7 or r?
-0.7
Let v = -0.2 - -0.6. Let h = -54 + 38. Let f = -15 - h. Which is smaller: v or f?
v
Let v be 0 - -1 - -1 - 2. Let k be (1 + v)/(15/(-20)). Suppose 4 = -2*s - 0. Which is smaller: k or s?
s
Suppose -w - 3 = -3*d + 1, 3*d - 20 = 5*w. Which is smaller: d or -1/2?
-1/2
Let b = -2.9 - -3. Are b and 4/3 non-equal?
True
Suppose 5*p - 10 = -0. Suppose -4*l - 4*s + 6 + p = 0, 4*l = 4*s - 24. Let h(g) = -g**2 - 5*g - 4. Let i be h(-5). Is i less than l?
True
Let y be 0 - (0 - -2)*1. Let k(p) = p**3 + 4*p**2 - 7*p**2 - p - 4*p**2 + 6. Let l be k(7). Which is bigger: y or l?
l
Let j(g) = g**2 + 6*g + 2. Let q be j(-6). Suppose -4 = w - q*w - 3*h, 0 = 2*h - 4. Suppose -2 = m - 0. Is m equal to w?
True
Let z = 6.1 + -6. Let a = z + -4.1. Let p = a - -5. Which is smaller: 4/7 or p?
4/7
Let k be 42/18 - 1/3. Suppose -2 = l + 3*n, k*n - 16 = -3*l - 2*l. Is 5 at least as big as l?
True
Let l = 1.83 - -0.17. Is l less than 2?
False
Let q = -9 + 9. Suppose -5*u - 5 + 15 = q. Let a be u/(-8) - 1/(-4). Do -1 and a have the same value?
False
Let c be 6/(-8)*(-16)/66. Is -0.4 at least as big as c?
False
Let x be (-2)/(2/((-4)/(-2))). Let g be 2 - x/(6/9). Suppose -g - 3 = -4*w. Which is smaller: 2/7 or w?
2/7
Suppose 4*h = 9 + 7. Let w = 3 - h. Let x = w + 1. Which is smaller: x or 2/7?
x
Let r(n) = n + 8. Let u be r(-6). Suppose 0 = u*k + 2 - 0. Let f = 1 + 0. Are k and f equal?
False
Let i = -126 - -118. Which is smaller: i or 0.02?
i
Let z = -113 + 110. Suppose 4*c - 34 = -c - 2*n, 0 = -c + 3*n. Suppose -3*d - 2 = -4*d, 0 = -4*k - d - c. Is k bigger than z?
True
Let s = 1 - 2. Let c be 0/(1 - (-2 + 4)). Suppose k - 2*t - 9 = c, 3*k