 is greater: -1 or x?
x
Let m be (-14)/(-12) + (0 - 1). Let l = -18 - -18.1. Which is smaller: m or l?
l
Let l = -4634/19 - -244. Let w = l - 23/38. Is 3 less than w?
False
Let y = 143 - 3578/25. Let g = y + -13/100. Let a = 1 - 0. Which is smaller: a or g?
g
Let c = -31 + 32. Suppose -j - 2*j = -2*d + 4, 0 = 5*d + j - 10. Which is greater: c or d?
d
Suppose z = -4*z. Let p = -79/234 + 3/26. Is z > p?
True
Let u be 4/(-6) + 2/(-6). Suppose -3*y + 4*x = -19, -2*y = -5*x + 2 - 10. Let f be (3*u)/y - -1. Is 2 at least f?
True
Let w = 9 - 43/5. Let o = 85 + -142. Let i be o/126 - (-14)/49. Is w smaller than i?
False
Suppose -168 = 3*d - 7*d. Let p be (-691)/d - (-2)/7. Let k = 33/2 + p. Is -1 bigger than k?
False
Let k = 0.5 - 0.8. Let u = 4.8 + 1.2. Let v = -5 + u. Which is smaller: k or v?
k
Suppose 4*v = 0, 2*x + 0*x + 4*v = 4. Is 2 at most x?
True
Let d be (-5)/(-15)*111983421/21238. Let y = 65020/37 - d. Let g = -1/82 - y. Is 1 greater than or equal to g?
True
Suppose f = -4*f + 5. Suppose 0*i - f = i. Let n be 10/(-3) + (9 - 8). Which is bigger: i or n?
i
Let t = 396/1435 + 2/205. Is t < 2/59?
False
Let y = 1.4 + -1.3. Let f be (-6)/(-9)*(-6)/10. Is y >= f?
True
Let f = -0.16 - -0.06. Let q = 3 + -3.2. Are f and q unequal?
True
Suppose -2*p = 1 - 1. Which is smaller: p or 1/51?
p
Let w be (-4)/6 - 1/3. Which is greater: -0.2 or w?
-0.2
Let z = -1.2 - -2.2. Which is smaller: z or 0?
0
Let u be (154/143)/(-2 - -4). Which is bigger: 0 or u?
u
Suppose 21 = 4*f + 3*a, 0 = 4*f - a - 5 - 4. Let k(n) = -n + 2. Let w be k(f). Let c(m) = 2*m. Let d be c(-1). Which is smaller: w or d?
d
Suppose a - 6*a = 0. Which is bigger: 4/23 or a?
4/23
Let x be -2*1/((-2)/(-8)). Let z = 2 + x. Let m be ((15/2)/5)/z. Is 0 <= m?
False
Let u(o) = o**3 + 5*o**2 - 7*o - 3. Let z be u(-6). Suppose z*n = -0*n + 9. Are 2 and n equal?
False
Let w be ((-4)/8)/((-2)/8). Let v be ((-6)/2 + w)/1. Which is smaller: v or -3/7?
v
Let l be 4*(-10)/42 + 1. Let v(q) = 9*q - 145. Let c be v(16). Which is smaller: c or l?
c
Let l(i) = 7*i - 1. Let o be l(2). Let k = o + -21. Let g = -7 - k. Which is bigger: 0 or g?
g
Let r(k) = 31*k**2 - k - 3. Let f be r(-1). Which is bigger: 31 or f?
31
Suppose 0 = -k + 3, -3 - 3 = 2*z - 4*k. Which is smaller: z or 12?
z
Let d = -3.1 - -3. Let t = d - 0. Is t less than or equal to 0?
True
Suppose -1 = 7*y + 34. Which is smaller: 0.07 or y?
y
Suppose 0 = 3*d + 2*d - 3*i - 8, 3*d = -3*i. Let g(h) = -5*h + 14. Let j(y) = 3*y - 7. Let s(a) = 4*g(a) + 7*j(a). Let u be s(-5). Which is greater: u or d?
u
Let h = -23 - -20. Let d be 12/h - (-3 + -11). Is 11 >= d?
True
Let m = 5 + -8. Let r = m - -7. Let o = r + -3.8. Which is greater: -0.1 or o?
o
Let y(w) = -w**3 + 2*w**2 - w - 1. Let a be y(3). Let l be 2/(-4)*2/a. Let m(d) = 2*d**2 - 9*d + 3. Let t be m(4). Which is bigger: l or t?
l
Let b be 0/(2 + -1*4). Let p be b/((-6)/3) + 1. Which is greater: 1/8 or p?
p
Let w(a) = 2*a**2 + 7*a - 1. Let g be w(-5). Which is smaller: 13 or g?
13
Let l = -75033024847/2235 - -33571821. Let r = -1/447 + l. Which is greater: -1 or r?
-1
Let i = -24 + 56. Which is greater: -2/11 or i?
i
Suppose -3*c + 5*w + 12 = 0, 0 = -c - w - 0*w - 4. Is 1/35 at least c?
True
Suppose 1953 + 6935 = -4*n. Let a be 2/(-4) + (-1526)/n. Let z = a - 1/202. Which is smaller: 0 or z?
0
Let a(d) = d + 6. Let c be a(-5). Let z = c + -1. Suppose -5*n = 3*n. Is z less than or equal to n?
True
Let s be (-3 + -1)/4 - -7. Let w be 4/s*-1*-3. Are 1/3 and w non-equal?
True
Let a(z) = -z. Let q be a(-3). Suppose 6*t = p + 2*t - 8, -q*p + 8 = -4*t. Is p greater than or equal to -2?
True
Let l = -4 + 1. Which is smaller: -0.1 or l?
l
Let w = 42 - 42.69. Let t = -0.11 + w. Let c = t + -0.2. Is -0.2 bigger than c?
True
Suppose -2*p + 48 = -2*u, 79 = -3*u + 4*p + 2. Is u > 1/4?
False
Let b = 0.11 + -5.11. Let u = b + 4. Is 1 at least as big as u?
True
Let n(g) = -34*g - 2. Let v be n(3). Let o be -6*36/v - 2. Suppose -25 = 5*q - 4*r, -2*r = -r - 5. Which is smaller: q or o?
q
Suppose 3*m = -2*m. Let w be (-1)/(m + (-3)/9). Are w and 4 non-equal?
True
Suppose 4*t + 10 = -2*s, t + s = -3*t - 7. Is -3/4 >= t?
True
Let c be (-1)/1 - 0 - 2. Let u be (-2)/c - 4/6. Suppose 3*n + n + 8 = u. Which is greater: n or -3?
n
Suppose 2*n + 5*g + 14 = -2*n, 0 = -3*n + g - 20. Is n less than or equal to -3?
True
Let q = 0.07 + 0.05. Let y = 0.02 - q. Let g = 2.7 - -0.3. Which is greater: g or y?
g
Let a be (7 + 5)/(-4) - 27. Is a less than or equal to -29?
True
Let v = 0.1 - 1.1. Let d = 13/20 - 9/10. Is d <= v?
False
Let x(w) = -4*w - 6. Let d be x(-4). Let m be ((-24)/40)/(2/d). Which is smaller: m or 0?
m
Let d = -0.06 + 0.1. Is d at most as big as 1?
True
Let l = -97 + 90. Is 1 <= l?
False
Let r = 0.5 - 1. Let p = 0.3 + r. Which is smaller: p or -1?
-1
Let o = -9 - -11. Which is bigger: o or 3?
3
Suppose -15*r + 3*r = -36. Which is smaller: r or 5?
r
Let j = 0.2 - 0. Let u = -0.2 + j. Let r be (-34)/(-40) + 3/(-12). Which is smaller: r or u?
u
Let a = 4.069 - -0.031. Let f = a - 4. Is f smaller than -0.4?
False
Let s(g) = -2*g - 11. Let y be -3 + (-2 + 0)*1. Let i be s(y). Is i bigger than -1/3?
False
Let r = -8.14 + 8. Let c = r + -9.86. Which is smaller: 0 or c?
c
Let u = -22 - -31. Suppose -12 = 4*i - 5*p, 0*p = 3*i + 5*p + u. Do -1 and i have different values?
True
Suppose -5*s + 11 + 0 = -n, -3*n - s - 1 = 0. Which is smaller: n or 0?
n
Suppose 0 = r + 5*l + 14, 0*r - 4*r + 2*l + 10 = 0. Which is greater: r or -2/13?
r
Suppose 2*s = 3*s - 7. Suppose 3*j + a = -7, -5*j = 2*a + 4 + s. Which is smaller: j or -1/3?
j
Let v be ((-7)/(-168))/(3/4). Is v <= 0?
False
Suppose -2*p + 6*p = 12. Is p smaller than 2?
False
Suppose 5*q - 2*r = -7 + 26, 3*r = -3*q + 24. Let n(c) = c**3 - 6*c**2 + 7*c + 2. Let i be n(q). Does 12 = i?
True
Let s be 41/(-13) - -2 - 6/(-39). Let h = -17 + 18.6. Do h and s have the same value?
False
Let r be 50/(-4)*(-24)/10. Let f be (-10)/6*(-4)/r. Let n = -1/9 - f. Does n = 1?
False
Let w = -34 + 36. Which is smaller: 12/13 or w?
12/13
Suppose 20 = 4*x - 20. Let o = x - 4. Let c(g) = g - 7. Let n be c(o). Which is smaller: n or 1/3?
n
Let k be (-2)/(100/(-6) - 18/(-27)). Let p be 4/10*(-3 + -2). Let a be (-6)/4 + (-1)/p. Which is greater: k or a?
k
Suppose 5*n = 5*t - 55, 4*t - 38 = t + 4*n. Let f(s) = -s**2 - 9. Let g be f(0). Let c be 9*(-2 + (-24)/g). Is c > t?
False
Let l = -2 + 4. Let c = -4 + l. Is c equal to -3?
False
Let p be (2/5)/(2/(-10)). Which is greater: -0.1 or p?
-0.1
Let n be (-2)/6 + (-2)/3. Let p be n/(-4) + (-42)/(-24). Suppose 2*k + 8 = 3*z, 4*k + 4*z - 16 = p*z. Is k < 2?
False
Let k(t) = 2*t - 23. Let w be k(12). Is w less than or equal to 11?
True
Suppose -3*f + 0*f = -42. Is 14 less than or equal to f?
True
Let d = 13/12 - -43/6. Let s = 107/12 - d. Let h = -3.9 + 4. Is s bigger than h?
True
Let r = 0.2 + -0.1. Suppose 0*l - 4*l - 4*y - 40 = 0, -2*l - 16 = y. Let m be l/24 - 0/(-2). Is m at least as big as r?
False
Let k = 24.97 - 0.97. Which is smaller: 2/7 or k?
2/7
Let a = -1631974/45 - -36264. Let w = -38/15 - a. Is w <= 0?
True
Let b be (4 - 1) + -2 - -1. Let j(s) = 2*s**3 - 4*s**2 + 2*s - 2. Let x(i) = 5*i**3 - 8*i**2 + 5*i - 4. Let t(c) = 7*j(c) - 3*x(c). Let o be t(-4). Is b < o?
False
Let l = 533/198 + -29/11. Are 1 and l non-equal?
True
Suppose -6 = 19*r - 22*r. Let x(v) = -v**3 + 7*v**2 - 4*v - 8. Let f be x(6). Which is smaller: r or f?
r
Let l = -2 + 2. Let h = l + 0. Which is greater: h or 0.08?
0.08
Suppose -44 = 4*m + 3*u, 0 = 2*m - 0*m - 5*u - 4. Let b(q) = -q - 8. Let d be b(m). Is -2 at least d?
False
Let g = -161 - -649/4. Suppose -3*p = 2*p - 10. Is p at least as big as g?
True
Let b = -3 + 3. Let m(i) = i**2 - 2*i - 4. Let r be m(4). Which is greater: r or b?
r
Let s = 41 - 39. Is -2 equal to s?
False
Let i be (-134)/(-44) + (1 - 4). Is i smaller than 1?
True
Let w(z) = -z + 9. Let t be w(7). Suppose -k - t = -6. Suppose -k*n = -6 - 2. Is n < 3?
True
Let o = 0.2 - 0.3. Let x = -11 - -6. Let u = x + 3. Is u greater than o?
False
Let c(j) = 4*j - 5. Let t be c(1). Let l be ((-1)/(-6))/((-3)/(-4)). Which is bigger: l or t?
l
Let r = -11 + 10.6. Let a = 0.5 + r. Which is smaller: 0.02 or a?
0.02
Let k = -12 + 17. Suppose -z = -5*i - 13, 7*z - 5*i = 2*z 