is greater: 1 or z?
1
Let i be (12894/(-81))/(4/(-6)). Suppose -3*m + 104 - 821 = 0. Let a = m + i. Is 1 equal to a?
False
Suppose -s + 1 + 4 = 0. Let w(o) = -4*o - 38. Let p be w(-11). Is s != p?
True
Let v(i) = -i**2 - 10. Let z be v(0). Let u(o) = -o - 13. Let x be u(z). Let f be (-26)/(-42) + 1/x. Which is greater: f or 0?
f
Let n = 91 - 90. Suppose 0*d - d - 3 = 0, 2*m - 5*d - 19 = 0. Let w be m/(-5) + 56/190. Does w = n?
False
Let u be (((-4)/(-1))/(-8))/((-3)/18). Let y be 5/(-2)*(-6)/5. Is y > u?
False
Suppose 4*u = 3*w - 0*w - 37, 2*u + 29 = 3*w. Which is bigger: 0.2 or w?
w
Let a(g) = -2*g**2 + 8 + 3*g**2 + 4 - 12*g. Let v be a(10). Which is greater: -7 or v?
-7
Suppose 0 = -4*u + 3*u + 5, 4*v - u + 1 = 0. Are -2 and v unequal?
True
Suppose 0*x - 189 = 3*x. Let r be (18/x)/((-12)/7). Which is smaller: 0 or r?
0
Suppose 5*j - 6*j - 40 = 0. Which is bigger: -38 or j?
-38
Suppose 0*b - b = 0. Let n be -7 + (3 - b) + 3. Which is smaller: -2 or n?
-2
Let a be 2/6 - 18/(-27). Suppose -a = 3*t - 10. Suppose 0 = t*i - i - 10. Are i and 4 non-equal?
True
Suppose 0 = -y - 0 - 1. Let x = y - -2. Let o be (-54)/(-24) + x/(-4). Is 0 not equal to o?
True
Let g = -186 + 2044/11. Is g smaller than -3/13?
False
Suppose 2*r - j = 12, -5*j = 5*r - 0*r. Suppose -3*t = 1 - r. Is -1/4 at least as big as t?
False
Suppose 6*u - 3*u = 0. Let f = u - -3. Is f smaller than 4?
True
Let h be (-2)/(-6)*(1 - -8). Let d be (-1)/3 - (-2)/h. Which is bigger: 0 or d?
d
Let i be 3976/90 - 2/(-9). Suppose 0 = 2*m - m + 4*n + 48, -3 = 3*n. Let w = i + m. Is w less than or equal to -3/4?
False
Let i = 15/14 - 51/14. Is i > 0.2?
False
Let r = -1.9 + -2.1. Which is smaller: 4 or r?
r
Let p = -0.1 + 0.09. Let v = -3.02 - -2.03. Let h = v + p. Is 2/5 at least as big as h?
True
Let q be (-36)/(5 - 1) - -5. Is 1 smaller than q?
False
Let u = -1.77 + -5.33. Let g = u - -1.1. Let r = -4 - g. Which is smaller: -1 or r?
-1
Suppose 4*r = -0*t + 2*t - 50, 5*r = -t - 80. Let p be 9/r - 51/(-60). Is p not equal to -1?
True
Suppose 0 = a - 1 - 0. Let r be (1/(-1) - a) + 6. Suppose -5*p + 17 = -2*d - 1, r*p - 16 = 2*d. Which is bigger: p or 3?
3
Let n be 0*(3 + 15/(-6)). Let q = -2 + 4. Let j = q - -3. Is j > n?
True
Let i = 1553/11 - 141. Is i < 0.15?
False
Let u(k) = k + 14. Let p be u(-12). Let r be p + (-6)/45*12. Is 0 bigger than r?
False
Let d = 0.11 - 0.01. Let o = 4.3 + -4. Let g = -0.25 + o. Is g smaller than d?
True
Suppose 4*z = -2*q - 16, -2*q = -0*q - 3*z + 2. Let a = 8 + q. Is a smaller than 9/2?
True
Suppose -4*w = -4*f - 12, 4*w - w + 3*f - 21 = 0. Let p(b) = -7 + 0 + 2*b + 0. Let n be p(w). Is 1 bigger than n?
False
Let f be 1 + (-1 - 0)/1. Is 1/5 smaller than f?
False
Let x = 13.9 - 14. Is x < 1?
True
Let a = 6 - 5.4. Let m = -1.4 - a. Let r = m + 5. Which is bigger: r or -1/2?
r
Let x be 18/(2 - 0)*28. Let r be x/35*15/(-2). Let s = r - -272/5. Is s equal to 0?
False
Suppose 3 = -x - 7. Let d(q) be the third derivative of q**6/120 + q**5/6 + q**4/24 + 11*q**3/6 - 12*q**2. Let u be d(x). Which is smaller: 4 or u?
u
Let d(y) = 17*y**2 + y - 1. Let j be d(1). Let s(g) = 2*g**3 + g**2 - 21*g + 17. Let f be s(3). Does f = j?
True
Let r(f) = -15*f + 2. Let z be r(-9). Let d = z + -553/4. Which is smaller: -1 or d?
d
Let x = 0.2 - -0.1. Let w = x + -0.3. Is w at most -0.3?
False
Suppose 21 - 1 = 4*m. Let a = 0.8 - 0.9. Are a and m nonequal?
True
Let j be -1*(-4)/6*6. Let d be (-1*1)/(j/(-4)). Which is greater: d or -1?
d
Let w = -1.95 + -0.05. Let v = -1 - w. Let r = -80/21 + 22/7. Which is smaller: v or r?
r
Suppose -4*y + 14 = 3*s, 3*s - 2*s + 4*y - 2 = 0. Suppose -2*l + s = l. Let m be -1*(-1 + -2 + 1). Is l equal to m?
True
Let k(p) = p**2 + 3*p - 4. Let x be k(-3). Let s = x + 2. Suppose 2*r = -2*w - r - 5, w - 2*r + 6 = 0. Which is bigger: s or w?
s
Let n = 0.73 - 3.83. Let o = n + 3. Let y be 4/(-6)*(-6)/(-10). Is y <= o?
True
Let t be (-3)/(-9) + (-2)/6. Suppose 2*b + 4*b = 48. Suppose t*o + 5*f - 10 = -5*o, -2*o = -4*f + b. Is -1 at most as big as o?
True
Let i = 1 - 6. Let u be 29/(-5) + (7 - (-144)/(-20)). Is i greater than or equal to u?
True
Suppose 3*m - 3 = -3*z + 18, -z = 2*m - 9. Suppose -4*h + 25 = 5*k, 0 = -k + 2*k + m*h - 11. Let l = k + 0. Which is smaller: 0.1 or l?
0.1
Let t = -1.1 + -7.9. Let r = -8.9 - t. Which is bigger: r or 0.2?
0.2
Suppose 5*z - 10 = -5*z. Which is bigger: z or -3/11?
z
Suppose 50 = -4*t + 10. Are t and -10 non-equal?
False
Let y = -11.52 - -0.52. Are y and -2/5 nonequal?
True
Suppose -8 = -3*s - 2. Suppose 0 = -0*g + s*g - 10. Suppose -g*n = -3 - 2. Which is greater: n or -1/4?
n
Let v = -135 - -353. Let d = v - 1964/9. Which is bigger: d or -1?
d
Let z(g) = -g**2 - 6*g - 4. Let h be z(-4). Suppose -4 - h = -a. Which is smaller: 7 or a?
7
Suppose -7 = -4*y - 27. Let p(u) = 2*u**2 - u**2 + 6*u - u. Let r be p(y). Which is smaller: r or -1/2?
-1/2
Let f = -9 - -8. Let k be f*1 + 7/5. Is 1/2 <= k?
False
Let x be -3 + 3/(-2) + 36/8. Which is bigger: x or 2/9?
2/9
Suppose 0*b - 1 = b + q, 0 = -4*b - 3*q - 3. Let d = -23 + 35. Let x be (-4)/6 + 2/d. Which is bigger: x or b?
b
Let f = -37 + 29. Which is smaller: 0.2 or f?
f
Suppose 3*n - 2*t + 57 = 0, 0*t + 3 = -t. Let b be 2*(-1 + n/(-30)). Is -2 at least as big as b?
False
Suppose 0 = 10*h - 10 - 0. Are h and -3.2 nonequal?
True
Suppose -5*z = 3*x + 2 - 3, -4*x + 3 = 5*z. Which is smaller: 12/7 or x?
12/7
Suppose w = -4 + 3, -1 = -3*k + w. Is -20 greater than or equal to k?
False
Let x = 28.5 - 5.5. Let g = -19 + x. Which is greater: -0.1 or g?
g
Suppose -3*s - 1 = 4*d, -1 - 1 = -3*d - 5*s. Let a = 88 - 2022/23. Which is smaller: d or a?
d
Let m be (-64)/(-40)*5/2. Which is smaller: m or 5?
m
Let o = 24.2 + -25.43. Let i = 0.23 + o. Is i at most -1?
True
Let n(f) be the third derivative of -f**5/60 - f**4/24 - f**3/6 - 4*f**2. Let a be n(-3). Let d = a - -6. Is 1/16 greater than d?
True
Suppose -5*f = -0*f - 20. Suppose -2 = j - 0. Let q = f + j. Which is smaller: q or 1?
1
Let j(w) = -w**2 - 12*w - 11. Let h be j(-11). Suppose -27*v = -29*v - 2. Which is greater: v or h?
h
Let f = -0.31 + 0.38. Which is greater: -0.1 or f?
f
Let h be (-3)/(4*1/20). Is h at most as big as -16?
False
Suppose 0 = -z - 2*z. Let h = z + -1. Is -1 smaller than h?
False
Let h = -2 - 3. Let d = 5.228 + 0.072. Let q = d + h. Is -0.1 at most q?
True
Let q(l) = l**2 - 2*l. Let k be q(2). Let d be k/(-3 + 6)*1. Which is smaller: 3/8 or d?
d
Let i be 5/(-14)*(-8)/290. Let f = -117752 + 95615631/812. Let s = f + i. Is s at least as big as 1?
True
Suppose 6 - 18 = 3*q. Let n(f) = 2*f - 3. Let d be n(q). Is -11 <= d?
True
Suppose 0 = -0*p + 4*p - 4. Let n be (-901)/1044 + (-4)/(-6). Let h = 3/116 - n. Is p < h?
False
Let j = -18 - -16.3. Which is smaller: j or -1/4?
j
Suppose -8 = d + 3*d. Let f be 96/(-63) + d/14. Which is greater: f or -1?
-1
Let c be (-3)/(30/(-5)) + 2. Is c at least as big as 4?
False
Suppose 4*p + 0*p = -2*n + 20, -15 = -p - 3*n. Is 7/4 bigger than p?
False
Let u(l) = 2*l - 8. Let d be u(6). Suppose 0 = m - 1, -4*m - 277 = d*f - 49. Let p be (-4)/6 - f/24. Which is smaller: 1 or p?
1
Let d = 3/242 + -7517/1210. Let o = 6 + d. Suppose 5 = 3*j + 5*a, -j - 4*a = -2*j - 4. Which is bigger: o or j?
j
Let p = -194513/9 + 21501. Let n = p - -112. Which is bigger: 1 or n?
1
Let j = 1 + 2. Suppose d - 3*o + 9 = 0, 0 = -j*d - 3*o + 11 - 38. Let n = d + 13. Is 3 equal to n?
False
Let g = -26.066 - -26. Which is bigger: -1 or g?
g
Suppose -5*v + 7 = -3. Let w = -14 - -26. Let o be ((-3)/w)/((-6)/40). Which is bigger: v or o?
v
Let b = -4 - -28. Let s = -23.92 + b. Are -1/2 and s non-equal?
True
Suppose 0 = 3*s - 2*s - 11. Let y = s - 2. Let v = 14 - y. Is v <= 4?
False
Suppose -u + 0*h - 4*h = -109, 3*u - 3*h = 282. Which is bigger: -1 or u?
u
Suppose -t - 3*t = 0. Let q be (3 - (t - -1))*1. Let w(z) = -z**3 + 3*z**2 - 2*z - 2. Let v be w(q). Are -3/2 and v equal?
False
Let b be (-1)/4 + (-35)/4. Suppose 0 = -l - 2*h - 3, 8*l + 54 = 3*l + 3*h. Is l equal to b?
True
Suppose 15 = 5*m + 5*y, 4*m + 11 + 9 = 4*y. Let h = -0.095 + 0.095. Which is bigger: m or h?
h
Let x be 43/(-12) - (-42)/(-63). Let c(f) = -2*f + 7. Let b be c(5). Does x = b?
False
Let f = 8 + -4. Is f equal to 4?
True
Let r = -237/5 + 47.