qual to z?
False
Let a = -7200451/989370 + 2/54965. Let t = a - -15/2. Let q = 50/57 - 4/19. Which is smaller: q or t?
t
Suppose -8*v + 3*v + 40 = 0. Let w = -15 + v. Is -7 bigger than w?
False
Let d be 15/(-4) - (-4)/(-16). Let m be (3/(-6))/(6/d). Which is smaller: m or 1?
m
Let o be (-8)/(-20) - 2/5. Let q = -1 + 3. Suppose 3*j + q + 1 = 0. Is o at most j?
False
Let l(j) = -2*j - 18. Let g be l(-9). Let t(m) = -m - 4. Let f be t(g). Which is greater: -6 or f?
f
Let o be (-67)/(-4)*6/12. Let k = -27/4 + o. Let p = k - 25/8. Is p at least -2?
True
Let f = -126 + 125. Is f bigger than 68?
False
Let x = -20 + 16. Which is smaller: -11 or x?
-11
Let p be -2 - (-1 + 2 + -19). Let z = 15 - 11. Suppose 0 = z*f - 4*x + p, -6*x - 11 = 5*f - 2*x. Is f at most as big as -3?
True
Suppose -4*g - 3 = 1. Let c(v) = -v**2 - 3*v. Let b be c(-2). Let n be b/(-4) + 1/10. Is n < g?
False
Let j be 21/272*2222/(-1353). Let u be (-674)/(-1968) + (-2)/6. Let d = j + u. Is d > 0?
False
Let u be (-25)/100 - 178/(-8). Is 20 equal to u?
False
Suppose r + 3 = -4*l, l - 3*r = -2*l + 9. Let y = 14/19 + 187/133. Which is greater: y or l?
y
Let a = 0.06 + 1.94. Let k = a - 2.3. Let r = -0.5 - k. Which is bigger: -1 or r?
r
Suppose -11 - 7 = -2*d. Let q = d - 6. Let z be q/(-6) + (-10)/4. Is -2 less than z?
False
Let p(l) = l**3 - 19*l**2 + 18*l - 13. Let d be p(18). Is -15 at most as big as d?
True
Suppose -2 = 3*n + 2*x, 0 - 4 = 4*n + 3*x. Which is smaller: 3 or n?
n
Let w(y) = y**3 - 2*y**2 + 4*y - 3. Let k be w(2). Let g be 7/k + 4/(-10). Which is smaller: -2/25 or g?
-2/25
Suppose 3*u = -2*u + 5, u + 65 = -3*i. Which is smaller: i or -23?
-23
Let n be (-21)/27 - (-2)/(-9). Is -1 greater than n?
False
Suppose -4*z + 21 + 31 = 0. Suppose -3*b = -z - 2. Let q(g) = -g**3 + 2*g**2 + 3*g + 4. Let k be q(3). Is k greater than or equal to b?
False
Let f = 76 - 71. Let r = 0 + -0.1. Which is greater: r or f?
f
Let h(g) = g**2 - 16*g - 18. Let y be h(17). Is 2/11 greater than y?
True
Let d = 26 + -15. Let w = d + -15. Is w at most as big as 0.1?
True
Let c = 2 - 13. Let n = c + 18. Let w = -13 - -19. Is w greater than or equal to n?
False
Let t = 1 + 1. Let c be 0 + 3 + (2 - t). Are 3/2 and c equal?
False
Suppose -a - 5*d - 40 = 0, 0*d - 118 = 4*a - d. Let c = 5 - 1. Let u be (c/a)/((-2)/(-10)). Which is greater: 1/2 or u?
1/2
Suppose 2*x = -3*c + 3, -x = 2*x - c + 23. Let j = x + 8. Let v be 4*21/45 - j. Is v > -1?
True
Let z(y) = -y**2 + 5*y - 5. Let t be z(4). Let i = 1147.2 + -1147. Which is smaller: t or i?
t
Let x be -4 + (0/(-2) - 0). Let w be (x/(-2))/2 + -1. Do -2/13 and w have the same value?
False
Let n = 1 - -2. Suppose -s = 2*x - 2, -5*s + 0*s = 3*x - n. Suppose 3*j = -s*j + 12. Is j smaller than 4?
False
Let m(s) = -2*s + 3. Suppose 1 = -2*c + 5*t, 0*c - 8 = -5*c + 2*t. Let f be m(c). Do f and 5 have different values?
True
Let z = 2 - -2. Which is greater: 0.03 or z?
z
Suppose -u = 3*u - 8. Let g be (-6)/(-4)*u/(-3). Is g at most 0?
True
Suppose 4*u = -4*a + 20, 2*u + a + 10 = 3*a. Suppose 5*d - 2*z - 1 = 2*d, -z - 2 = u. Which is greater: d or -2/3?
-2/3
Let x = -2 + 4. Let w be x/(3/(3/(-1))). Which is greater: -1 or w?
-1
Let v = 0.06 + 0.04. Is v at least 24?
False
Suppose 0 = 5*z + 25, 3*v - 4*z + 3 = -z. Let w be (2/(-6))/((-6)/v). Which is bigger: 0.02 or w?
0.02
Let o(m) = 13*m**2 + 3*m - 2. Let j be o(1). Which is smaller: j or 15?
j
Let c(a) = a**3 + 6*a**2 + 6*a + 5. Let r be c(-4). Let t = r - 12. Is -2/25 less than or equal to t?
True
Let c(l) = -l + 11. Let i be c(6). Suppose -o = p + 2*o - 21, 5*o = i*p - 5. Let g be p/(-5)*(-1)/(-3). Are g and -1 equal?
False
Let j be 1 - (6/(-9) + 1). Let z be (-11 + -1)*(-6)/(-12). Let l = z - -6. Is j < l?
False
Suppose -7*b = 2 - 9. Which is smaller: b or -1/21?
-1/21
Let u = -52/11 - -2/33. Is -4 at least u?
True
Suppose -2*l = -m + 12 + 22, 5*m - 44 = 3*l. Is -17 at least as big as l?
True
Let m be 4/(-6) + (-34)/(-6). Let y = m + -4. Is -1/5 at most as big as y?
True
Suppose -3*m + 4*m = -4*n + 3, -2*m = n + 1. Is 4/9 less than or equal to m?
False
Let n be 1 - 3 - (0 + -14). Let v be ((-24)/(-5))/(n/40). Suppose 0*y = -y + 3*s - 15, 4*y = s - v. Is -3 greater than or equal to y?
True
Suppose -2*h - 5*n = -10*n + 2, -h = -n - 5. Let l be ((-24)/9)/(3/h). Is l at most as big as -9?
False
Let l = -16.4 + 17. Suppose 0 = -2*x + 4*j - 16, -3*j = -16 + 4. Does l = x?
False
Let a(t) = 2*t + 16. Let u be a(-13). Is -10 equal to u?
True
Let s(g) = -g**2 - 3*g - 3. Let z be s(-3). Let q be (-14)/(2*(-4 - z)). Is q less than 7?
False
Let k = -2 - -3. Suppose 2*s - k = -5. Let n(a) = a**2 - 4*a + 2. Let b be n(2). Is s > b?
False
Suppose 2 = 3*c - 2*g, g = -c - 3*g - 4. Let h be ((-5)/(-3) + -2)*c. Let t be 8/3 + (-1 - 1). Is t >= h?
True
Let q = 1 + -6/7. Let i = -1.5 + 1.3. Is q greater than i?
True
Let t = 0.77 + -0.37. Let r = -0.3 + 2.3. Let w = r - 3. Is w equal to t?
False
Let b = 4 + -1. Suppose b*m + 2 = m. Is m >= -1/15?
False
Let f be ((-3)/(-30))/((-2)/5). Is 0 < f?
False
Let d be (-3)/(-5) - (-2)/5. Suppose -h + 3 - 1 = 0. Suppose h*c - 2 = -0*c. Are d and c nonequal?
False
Suppose 2*g = -6*y + 2*y - 32, 5*y = 3*g - 62. Is y greater than or equal to -10?
True
Let y = 3664/3045 + -2/609. Which is bigger: y or 1?
y
Let t(m) = 2*m. Let u be t(1). Suppose -i = -2*i - 2, -2*i - 14 = -s. Let j be 3/s*(3 - 1). Are u and j equal?
False
Let w = -44 + 25. Let x = -17 - w. Is -7 greater than x?
False
Let w be 3*-1*1/3. Which is bigger: -3/8 or w?
-3/8
Let p be 6/(-9)*(-9)/8. Let v(a) = -a**3 - 6*a**2 - a - 4. Let j be v(-6). Is j smaller than p?
False
Let j = -6 + 5.4. Let t = -0.2 + 0.6. Let p = j - t. Which is greater: 2/9 or p?
2/9
Let i be 1 + 1 + 3/(12/4). Are 11/5 and i unequal?
True
Let x(p) = -3*p**2 - 6*p + 9. Let q(l) = 8*l**2 + 18*l - 26. Let n(s) = -4*q(s) - 11*x(s). Let y be n(4). Which is smaller: y or -8/3?
y
Let h be (-6)/(-8)*4/(-7). Let f = -33 + 34. Is f greater than h?
True
Let a(x) = 2*x - 2. Let p be a(5). Let t be p/3 + -6 + 5. Which is greater: t or 3?
3
Let q be (4 + -7)*(-3)/(-12). Which is smaller: -2 or q?
-2
Let s = 6 - 10. Let k = s + 2. Let l be (1/5)/(4/(-5)). Are l and k equal?
False
Let r = -14.03 - -0.03. Let w = 13.93 + r. Is 1 at most as big as w?
False
Let a = 0.4 + -0.2. Which is greater: a or 14?
14
Let a(p) = 5*p**2 - 1. Let d be a(2). Let k = -10 + d. Let z = -28/3 + k. Is 1 smaller than z?
False
Let q be -11 + (7 - (4 - 0)). Is -9 bigger than q?
False
Let b = 3882 + -178563/46. Let s = -2/69 + b. Is 0 at most as big as s?
True
Let d be 0 + 1 + 242/(-50). Let y = d + 3502/925. Which is smaller: y or 0?
y
Let u(w) = -w**2 + 6*w - 4. Let s be u(5). Which is bigger: s or -2/65?
s
Suppose 0*f + 32 = -4*f. Let w = 13 + f. Which is smaller: w or 6?
w
Suppose -2*a = 3*a - 55. Let k = a - 5. Let q be (k/(-9))/(10/(-6)). Is 3 smaller than q?
False
Let f = -2 - -1. Let r = -2267/15 - -151. Which is greater: f or r?
r
Let s be 6/27 + 106/9. Is 12 > s?
False
Let m = 854/5 + -172. Let b = m - -7/5. Which is bigger: 0 or b?
b
Let d be 10 + -2 + -4 - (-125)/(-30). Let g be 0/(2/(-3)*-3). Suppose -5*o + 0*o = g. Are d and o unequal?
True
Let m = -130.2 - -130. Let l = 0.4 + 1.6. Which is greater: m or l?
l
Let t = 6 - 12. Is t greater than 0?
False
Let h = -0.06 + 0.04. Let u = -0.12 - h. Which is bigger: 0.9 or u?
0.9
Let z be 2/(-5) - (-22)/(-20). Let a(t) = 2*t + 5. Let h be a(-4). Is h less than or equal to z?
True
Let s be 2/7 + (-2)/7. Let h = s + 0. Let r = h + -1. Which is smaller: r or -1/2?
r
Let a(c) = 2*c**2 + 2*c - 3. Let w be a(-3). Let i = -17 + 27. Is i greater than w?
True
Let s = -87 - -86.8. Let n(t) = -t**3 - 3*t**2 + 6*t + 1. Let h be n(-6). Let l = h - 805/11. Which is bigger: l or s?
l
Let y(n) = n**3 + n + 1. Let j be (-6)/9 - (-1)/(-3). Let k be y(j). Suppose -a - q + 0*q = 2, 10 = -5*a + 5*q. Which is smaller: a or k?
a
Let n = -23 + 22. Let i = 1.2 + -2.3. Let k = -0.1 - i. Which is smaller: n or k?
n
Let h be 2*5/14 + -1. Which is bigger: 1 or h?
1
Suppose 0 = g + 2, 2*g - 7*g + 62 = 4*c. Let s be (4/c)/((-4)/(-6)). Is 0 at least s?
False
Let f(l) = l**3 + 6*l**2 + 4. Let t be f(-6). Is 2/3 at most as big as t?
True
Let k = 15 - 9. Let f = k + -5. Let a = 0.3 -