 (-65)/(-78)*(-18)/(-20). Is h greater than or equal to q?
False
Let m(c) = -2*c - 5. Let f be m(-5). Suppose 5*z + f = -0*z. Suppose -4*w - 11 + 3 = 0. Is z less than w?
False
Let q be (-172)/(-10) - 4/20. Which is smaller: 11 or q?
11
Let h = -4 - -2. Let q be 3 - (3 + 1/h). Suppose -5*y - 20 = 0, b + 3*b - y - 8 = 0. Which is bigger: b or q?
b
Let x = 0.13 - 0.13. Let c = x - 0. Is -0.1 at least c?
False
Suppose 150 = -0*i + 5*i. Which is smaller: i or 29?
29
Let h(w) = 2*w - 4. Let b be h(4). Which is bigger: b or 10?
10
Let v be ((-1)/2)/(1/(-4 + 6)). Which is bigger: v or -24/13?
v
Suppose -y - 4*y + 5 = 0. Is -1 at least as big as y?
False
Let q be 282/18 + 2*(-3)/(-18). Which is bigger: 18 or q?
18
Let x = 0.5 + -0.4. Which is bigger: x or -1/3?
x
Let z = -8108/21 - -386. Is -1 at least as big as z?
False
Suppose 960 = -4*b - 4*k, 0 = -3*b + 3*k - 7*k - 715. Let s be (1628/b)/(-4) + -2. Let w = 3/49 - s. Do -1 and w have the same value?
False
Let v = -6 + 210. Suppose 0*f + v = -3*f. Let r = -339/5 - f. Which is smaller: 1 or r?
r
Suppose -5*p - 2*u - 30 = 0, 7 - 25 = 3*p - 2*u. Is p bigger than -5?
False
Let y(m) = -m + 1. Let r be y(5). Let f(a) = -a**3 - a + 7*a + 0*a**3 + 5*a**2 - 5. Let c be f(6). Is c less than r?
True
Let s be 2/(-3)*3/2. Let x be 1*(0 - (-7)/(-4)). Is x greater than or equal to s?
False
Suppose z + 7*q = 2*q + 4, 2*z = -5*q + 8. Suppose -5*p = z*n - 2*n + 41, 5*n - 2*p = -30. Let o be (1/2)/(1/n). Is o at most as big as -5?
False
Suppose -35*q + 30*q = 0. Is q greater than -3?
True
Let q be 6/33 + 1839/(-132). Let c = -29/2 - q. Which is bigger: c or -1?
c
Let y be (-2)/7*-1 + 120/70. Which is smaller: 0.12 or y?
0.12
Let u be 8/(-16) - (-26)/4. Let s be 9/5 + u/(-3). Which is smaller: s or -1?
-1
Let k(y) = -y**2 - 6*y - 4. Let i = 13 + -18. Let t be k(i). Let m be 4*(50/24 + -2). Do t and m have the same value?
False
Let y = -0.6 + 2.6. Which is smaller: -5/4 or y?
-5/4
Let c(d) = -d**2 - 7*d - 7. Let i be c(-6). Let u = i + 1. Let j be 2/38*(3 + -1). Which is smaller: u or j?
u
Suppose 5*f = 3*r - r - 31, 0 = 3*r + 5*f + 16. Let b = r - -3. Let k = b - 3. Which is bigger: 4 or k?
4
Let k be -1 + -2 + 12 + 3. Let g be (0 + 3)/(k/12). Is 3 > g?
False
Let s = 97 + -98. Is 1/47 greater than s?
True
Suppose 3*b = 2*x - 2 - 2, 5*x + 3*b + 11 = 0. Is x bigger than -5/4?
True
Suppose 4*r - 15 = -3*t, 3*r + t - 5 + 0 = 0. Let s = 171/2 + -85. Which is bigger: s or r?
s
Let v = -1/2 - -1. Is v != 3/11?
True
Suppose m = -0 + 6. Which is smaller: 0.1 or m?
0.1
Let o = 75.86 - 74. Let h = -0.14 - o. Is h bigger than -1?
False
Suppose -3 = 5*n + 17. Let q be n/22 + 2/11. Let x = -1 + q. Is 0 < x?
False
Let y be ((-2)/(-12))/((-21)/(-84)). Let n = 0 + 0. Is y at most as big as n?
False
Let u be (-1 - -3 - 1)*0. Which is greater: -3 or u?
u
Let a be 55/(-1*1/(-1)). Let v = 55543/54 - 1947/2. Let y = a - v. Is 1 < y?
False
Let r = -9 + 7. Let m be 3/6 + (1 - 2). Is m > r?
True
Let t(x) = x**2 + 2*x. Let v be t(-3). Is v != 3?
False
Let x = 10 + -7. Let w be (-1)/x - (-44)/(-84). Is 0 greater than w?
True
Let y(j) = j**3 + 5*j**2 - j - 1. Let f be y(-5). Suppose -3*v = -0*v - 15. Is f > v?
False
Let i(d) = -d**2 + 6*d + 4. Let v be i(7). Let j = v - -2. Let r = -177/728 - -5/56. Is r smaller than j?
False
Let j = -39.2 + 39. Let m = 28/15 + -338/165. Which is bigger: j or m?
m
Let z be (3 - 4) + -1 - -4. Which is bigger: z or 1?
z
Let u be (-2)/(-6) + (-8)/6. Let x = -25 - -149/6. Which is greater: x or u?
x
Let v be (1/9)/((-4)/(-6)). Which is smaller: 1 or v?
v
Suppose 4*h - 7 = -t - 17, 0 = -5*t + 3*h + 19. Let o be t/((-2)/6 - -1). Let d(i) = -2*i - 6. Let b be d(-5). Which is smaller: b or o?
o
Let f be 4/12*(-6)/(-2). Let d = -683 - -11614/17. Which is smaller: d or f?
d
Suppose 3*r - 7 = 2. Suppose -3*c = 5*x - 15 - r, -4*c - x = -7. Does c = 0.2?
False
Suppose -4*r + 2*h = 18, 7*r + 12 = 3*r - 4*h. Suppose -5*p - 25 = -0*p. Which is greater: r or p?
r
Let h(s) = s**2 - 13*s + 11. Let o be h(12). Which is smaller: o or -4/7?
o
Let l be 0 + -4 - (-3 + 1). Let q be 0/(-2 + (l - -2)). Let o be 1 - (-1 + (0 - q)). Is o != 3/2?
True
Let l(b) = 2*b - 3. Suppose -3 = -4*q + 9. Let s be l(q). Suppose -3*m = 4*r - s, 0 = -6*m + 3*m + 3. Which is smaller: r or 1/5?
r
Let q = -0.14 - -0.21. Let v = q + -1.07. Does v = 4?
False
Let n be (-1)/2 - ((-201)/(-390) - 1). Which is greater: n or -1?
n
Let q = -12/49 + 575/147. Which is greater: 3 or q?
q
Let s = 4 - 3. Suppose -5*l = 25, 6*g - 3*l - 3 = 2*g. Which is smaller: g or s?
g
Let p = -199 - -3385/17. Let o(m) = -m**3 - 2*m**2 + 2*m - 4. Let y be o(-3). Is y less than p?
True
Suppose 0 = -0*d - 5*d + 10. Suppose 3*a + 1 = 7. Suppose -4*g + 2*u = -3*u + 1, u = 3*g - a. Is g greater than d?
False
Suppose -2*y = y. Suppose y = 2*a + 3*a. Let g be 3/(45/(-6)) + a. Are 0 and g nonequal?
True
Let u(j) = j**3 - 6*j**2 - 2*j + 7. Let o be u(6). Let a = -6 - o. Let t be a/(-4) + (-3)/12. Which is smaller: 2/3 or t?
t
Suppose 2*i = -0 + 2. Which is smaller: i or -1/12?
-1/12
Let g be 4/18 + 520/(-72). Is -8 > g?
False
Let j = -10.1 + 10. Let x = j + 0.1. Is x != 2/9?
True
Let n = -8 + 7. Let y = 1 + 0. Is n > y?
False
Let h = -0.84 - -0.44. Which is smaller: -5 or h?
-5
Let s = 0.1 - -0.1. Let v = -10 + 9.2. Let m = s - v. Is m equal to -2/5?
False
Let f = -0.02 + -3.98. Let v = -4.7 - f. Let i = v - 0.3. Is i less than 2?
True
Let u = 71 + -70. Is u bigger than 3/4?
True
Suppose -m = 2*m - 18. Is m > 7?
False
Suppose 0 = 2*f - 5*f - 15. Are f and -6 non-equal?
True
Suppose -u = -2*u, -2*j + 22 = -5*u. Let y be -1 + (-2 - -2) + j. Is y at least as big as 9?
True
Suppose -5*b + 2*z + 3 = -98, 0 = 5*b - z - 98. Does 21 = b?
False
Let i be 10*(-2 + 4)/(-2). Is -9 bigger than i?
True
Suppose 8*m - 10*m = -16. Suppose 3*z - m = -2. Let l = -23/2 + 12. Which is bigger: l or z?
z
Suppose q + 3*n - 5 = 8, -6 = -2*q - 2*n. Let s = q + 2. Let r = -30 - -31. Which is bigger: r or s?
r
Let f = 25 - 24.9. Which is smaller: f or 0.7?
f
Let y be 6/(-33) - (-13)/11. Are -2 and y nonequal?
True
Let y be (27/(-8))/((-3)/4). Suppose -18*b + 104 = 8*b. Is b greater than y?
False
Let x = 8 - 16. Suppose -8*i = 4*k - 4*i - 24, -i = 3*k - 10. Let z be -12 - -2 - (k + -4). Is z less than or equal to x?
True
Let m = 27.4 + -28. Which is smaller: 1 or m?
m
Let l(z) = -4*z**3 - 2*z**2 + 6*z - 8. Let w be l(2). Does -36 = w?
True
Let m = 128 + -900/7. Which is bigger: 1/3 or m?
1/3
Let l be 16/(-196)*(-1)/(-2). Let q = -143/98 + l. Let r(g) = 2*g + 10. Let x be r(-6). Is q not equal to x?
True
Suppose -8*m - 3 = -59. Is m bigger than 7?
False
Let u(f) = -2*f - 10. Let a be u(-7). Suppose 0 = -a*p - 7 - 1. Is p >= -7/5?
False
Let d be (4/(-12))/(4/36). Let y = 12 - 7. Suppose x - v - 3 = -0*v, 0 = x + y*v + 27. Which is smaller: x or d?
d
Let w be 4/(-12) - (-13)/3. Let o be ((-4)/(-8))/(2/w). Let m = -2 + 2. Which is smaller: o or m?
m
Let f = -0.3 + 0.2. Let q = 18/7 - 19/7. Is q >= f?
False
Let t = -0.69 + 0.3. Is t <= 1?
True
Let a = 0 - -0.1. Let k = -34.2 + 64. Let d = -30 + k. Do d and a have different values?
True
Suppose 12 = -3*s, 4*r = -0*s + 3*s. Is r < -5?
False
Suppose 1 - 15 = -2*k. Let i = 7 - k. Which is greater: i or -5/4?
i
Suppose -3*d - 10 - 3 = 4*c, -3*c - 26 = -d. Let v = c - -5. Let x = 7 + -10. Do x and v have different values?
True
Let d be (((-36)/150)/(6/20))/2. Which is greater: d or 3/20?
3/20
Let d be 2 - (0 - (-585)/7). Let f = 245/3 + d. Which is smaller: f or 0?
0
Let d be ((-16)/(-70))/((-1)/(20/24)). Which is smaller: d or -1?
-1
Let i = -1.9 + 2.9. Is i > 1?
False
Suppose -7*r - 205 = -667. Suppose 0 = -6*j - r + 24. Is 0 less than j?
False
Suppose 5*f - 7 = -2*b, 3*f + 0*b = -b + 5. Suppose 15 = 3*m + f. Suppose 2*r - 5*r + z = -15, z + 3 = 0. Is m < r?
False
Let k(f) = -f**2 - 10*f + 11. Let v be k(-11). Does v = -3?
False
Let b(v) = v + 10. Let h be b(-6). Let k = h - 3. Are 0 and k non-equal?
True
Let g(x) = -3*x**3 - 2*x**2 + x - 2. Let k be g(-2). Let f = k - 14. Is f smaller than -1?
True
Let z be 15/17 - (-16)/136. Which is greater: 2/55 or z?
z
Let g = -0.06 + 2.06. Is g greater than or equal to 2/11?
True
Let w = 511 + -508. Let v(j) = -5*j - 1. Let z be v(-1). Whic