s bigger: 4 or w?
4
Let s = -1.05 - -0.15. Let o = -0.91 + -0.09. Let v = o - s. Which is smaller: -1 or v?
-1
Let u be (-5)/(-2)*(-36)/90. Let m = 6 - 8. Does m = u?
False
Let r be 1*(-12)/(-4) - 7. Let o be (r/2)/(4 + -6). Is -1/19 at most o?
True
Let o = -0.17 - -0.18. Let y = 1.2 - 4.2. Which is smaller: o or y?
y
Let k = -64 - -65. Let x = -3 + 9. Which is smaller: x or k?
k
Suppose -18 = 3*o - 5*o. Suppose -o = -2*x + 3. Which is greater: 5 or x?
x
Let v = 2/29 + -57/406. Which is bigger: -1/4 or v?
v
Let u = 0.34 - -0.66. Is u at least as big as -2/25?
True
Let a = -47 - -46.83. Is a at most as big as 1?
True
Let w(u) = -u**3 - 7*u**2 - 3*u - 43. Let o be w(-6). Is -61 >= o?
True
Let s = 0 + -4. Let v = 14 - s. Let b be (-2)/(-3)*v/48. Which is greater: b or 0?
b
Suppose 0 = 4*v - 4*i, 5*i + 15 = -v + 3*v. Which is smaller: 1 or v?
v
Let u = 34/95 + -3/19. Suppose 12 = 5*b - 8. Suppose 0 = -l - b*l. Which is bigger: u or l?
u
Let j be (-3)/(-1 + 15/24). Suppose j = 3*y - 1. Suppose 3*a = 2*c - 5, 4*a = 3*a - y*c - 9. Is a > -3?
False
Let b = -2.2 + -0.8. Which is smaller: b or -10?
-10
Let v be 11 + (4 - 1)/3. Let s be 2/4 + v/(-8). Let f = -4 + 2. Which is smaller: s or f?
f
Suppose 0*i - 2*i - 168 = 0. Let g be 3/(-2)*16/i. Let h(d) = d**2 - 2*d - 3. Let p be h(3). Is p greater than g?
False
Let u be 6/14*(-2)/2. Let m be (9/(-27))/(3/9). Is m < u?
True
Let z(c) = c - 4. Let b be z(5). Let r be b/((-1)/(-3)) - 5. Is r > -2/3?
False
Suppose -3*u + 8*u = 850. Suppose -4*l = -4, 5*g - l - 29 + u = 0. Let v be (-3)/g + (-3)/12. Which is smaller: v or 1/4?
v
Let o = -1.1 - -5.1. Let a = 2.7 + -3. Let s = -0.2 - a. Is s greater than o?
False
Suppose -5 = -5*j, 5*k - 2*j = 2*j + 126. Is 0 equal to k?
False
Let f(h) = -2*h + 5. Let u be f(0). Suppose -a - 9 = -u*z - 1, -3*a = -3*z + 12. Is 3 at most a?
False
Let r be 3/4 - 2/(-8). Let o be 2/4 + 9/6. Suppose -o = 4*z - 6. Is z < r?
False
Let s = 3.01 + -3. Let f = -2.01 + s. Is f bigger than 1?
False
Let k(r) = -2*r**2 - 5*r + 1. Let h be k(-4). Let p be 77/(-14)*2*1. Is p > h?
False
Let j = -1 + -0.5. Let m = j + 2.5. Which is smaller: m or 1/6?
1/6
Let h be ((-1)/4)/((-5)/12). Is 2 at most h?
False
Let z = 4.96 + -5. Let u = z + -0.06. Which is smaller: -2/9 or u?
-2/9
Let g = 25 + -35. Let k(d) = d + 9. Let o be k(g). Is o <= -1?
True
Suppose 2*a - 4*s - s + 6 = 0, -2*s = -5*a + 6. Let f be 0 + ((-8)/4)/a. Is f at most as big as 1/6?
True
Suppose -4 = 3*k - 1. Let m be k/(-3) - 30/9. Let j = -0.2 - -1.2. Which is greater: j or m?
j
Suppose -5*j + 14 = 4*i + 3, -i - 4*j = 0. Suppose 0 = d + i*u - 21, d - 22 = -d - 4*u. Let w be 1/(-9)*-1*-4. Is w > d?
False
Let s(i) = -i**3 + 9*i**2 + 10*i + 1. Let h be s(10). Which is greater: h or -1/7?
h
Let d be (-1)/((-1)/(-6))*(-105)/(-42). Does d = -14?
False
Let d be 1/(-3) - 5/(990/(-64)). Which is greater: d or 0?
0
Let b(n) = -3*n + 3. Let z be b(-2). Which is greater: z or 10?
10
Let d(i) = -2*i - 6. Let b be d(-5). Suppose -4 = x + 2*k, 3*k + k + 4 = -b*x. Which is smaller: x or 3/4?
3/4
Let z(p) = -p**3 - 9*p**2 - 9*p - 7. Let g be z(-8). Let a be 0/(-2)*(0 - g). Which is greater: -1 or a?
a
Let c = 14 - 15. Is c > 2/29?
False
Suppose -4*j + 2*t = -2*t + 44, 2*j - 5*t = -7. Is j greater than -16?
False
Let t = 2 - -1. Let x = t + 0. Does x = 4?
False
Let a = -18 - -17.8. Which is smaller: a or -0.4?
-0.4
Let d be (12/10)/((-2)/(-5)). Let u be 2/d + 28/12. Let b = 1 - u. Which is bigger: b or -1?
-1
Let o = 126 - 886/7. Which is smaller: 3 or o?
o
Let o = 21 + -20. Which is greater: o or -1?
o
Let o(x) = x**3 + x**2 - x + 4. Let m be o(0). Suppose 3*l - m = c - l, -2*c + 4*l = 8. Let u = 7 + c. Which is bigger: -1 or u?
u
Let w be 0/(4 - 8 - 0). Which is smaller: -2/35 or w?
-2/35
Let j = -472/21 - -67/3. Which is greater: j or -1/4?
j
Let y be (-2 + -1 + 1)/(-1). Let n(r) = -2*r - 3. Let k be n(-2). Let w be (-5 + y)*k/1. Is -2 smaller than w?
False
Let o be ((2 - -39 - 0) + 3)/2. Do 19 and o have the same value?
False
Suppose -7*y + 5*y = 4. Is y != -1?
True
Let c = -2 + 1.6. Is c at least as big as -1?
True
Let m(r) = r + 10. Let x be m(-2). Which is smaller: x or -1?
-1
Let j(a) = -a. Let l be j(3). Let r = -1 - -2. Let v be r - (0 + (-6)/l). Is v equal to -0.1?
False
Let n = 1.1 + -1. Let j = n + 0. Which is greater: j or 2/11?
2/11
Let v = -7 + 10. Let o = -16.2 - -13. Let g = o + v. Is g less than or equal to -1?
False
Let z be (24/(-36))/(4/6). Which is greater: z or -1/8?
-1/8
Let x = 139/6 - 23. Let c = 0.09 - 0.09. Is c > x?
False
Let s = -1 + 2. Which is smaller: -1/60 or s?
-1/60
Let a = 13 - 12. Let x = a - -1. Which is smaller: x or 1/2?
1/2
Let f be (-2)/(-4) + 4/(-8). Let o = f - -1. Suppose 0 = -3*w + 2*s - 5, 5*w + 0 = -2*s + 13. Are w and o unequal?
False
Let z = 0.12 - 0.42. Let p = 6 - 6.1. Is z smaller than p?
True
Let m(d) = -d**2 + 2*d - 3. Let v be m(3). Let f be v + -4*12/(-16). Which is greater: f or -4?
f
Let y(x) = -2*x. Let l = -13 - -9. Let g be y(l). Let h(w) = 2*w**2 + 18*w - 12. Let b be h(-10). Is g greater than b?
False
Let t = -1.37 + 1.3. Let z = t + -0.93. Is z != -2?
True
Suppose -8 = -4*h + s + 3, 5*s - 25 = 0. Is h at least as big as 5?
False
Let g be 390/56 + (-8)/(-28). Let s = g + -311/44. Suppose 5*z = -0*z + 5. Is s at most z?
True
Let o be (0 - -62)/(-3 + -3 + 4). Which is smaller: o or -29?
o
Suppose 5*l = -2*k + 18, -5*k - 4 = -k. Let p = l + -2. Suppose 2*j = -4*v - 2, -p*j + 12 = 2*j. Is -3 >= v?
False
Let i(s) = -s**2 + s + 1. Let h be i(1). Let f be h/2*6 - 7. Is -3 less than or equal to f?
False
Let d(r) = -2*r**3 - 2*r - 1. Let y be d(-1). Let i be (-1)/y + 3/7. Suppose -3*l + q = -1, -5*l - 5*q + 0*q + 15 = 0. Do i and l have different values?
True
Let m = -4 + 2. Let s = m + 4. Let t = -1.96 + s. Does 0.1 = t?
False
Let v = -51 + 68. Do 17 and v have the same value?
True
Suppose -d - 2*d = 6. Let f be ((-2)/1)/(1/d). Suppose -f*z = z. Which is bigger: 1 or z?
1
Suppose -4*p = -3*m - 0 + 7, 5*p + 14 = 2*m. Let w be -1 + 1 - 1/p. Which is smaller: -1 or w?
-1
Suppose 13 = 4*t - 3*r, -1 = -2*r + 1. Suppose -y + 5 = t*y. Let l(o) = -o**2 - 5*o - 3. Let m be l(-4). Is m equal to y?
True
Let k be 2/(-5) - (-81)/165. Let o be 1 + -5 + 4*1. Are o and k non-equal?
True
Suppose 0 = 7*w + 18 - 46. Let j = 1 + -1. Which is smaller: j or w?
j
Let g = 0 - -2/5. Let a = 13 - 7. Let z = 6 - a. Are z and g equal?
False
Suppose -413 = -2*o - 85. Is o <= 165?
True
Let r(y) = 2*y + 2. Let v be r(-1). Is v <= -1?
False
Let c(q) = -q**2 + 5*q + 4. Let d be c(5). Suppose 13 = -4*z - f, 0*z - 2*z + 2*f = d. Let n be (z + 4)*1/1. Is 2 at most n?
False
Let r(t) = -t + 2. Let p be r(-2). Let j = p + -5. Is j smaller than -1/3?
True
Let z be 3/(2 - 47/22). Is 0 <= z?
False
Let r = -6 - -10. Let w be 4 - ((-1)/(-3) - 3/(-18)). Which is smaller: r or w?
w
Let d be (-3)/(-12) + 18/(-8). Let x be (2/158)/((-1)/(-2)). Let c = -152/237 - x. Is d > c?
False
Suppose -5*h = -0*h + 45. Which is greater: h or -8?
-8
Let w(b) = b**3 - 4*b**2 - 6*b + 4. Let i be w(5). Suppose -6*k + 4*x = -k + 13, -9 = 3*k - 3*x. Let f = i - k. Is f less than -1?
False
Let f = -139/2 + 69. Which is smaller: -9 or f?
-9
Suppose 0 = -10*p - 22 - 18. Let s(u) = -u**2 + 2*u - 2. Let i be s(3). Which is smaller: i or p?
i
Let n(u) = -u. Let p be n(-1). Let j be p/((-2)/(-8)) - 1. Are j and 3/2 nonequal?
True
Let f = -98/1809 + -4/201. Suppose 5*r + 0*r - 34 = -3*y, -3*y - 11 = -4*r. Suppose -r*d + 6*g - 15 = 4*g, 2*d = 3*g - 17. Which is smaller: f or d?
d
Let c = 11/30 - -2/15. Let p = -37 - -34. Let h = -2 - p. Which is bigger: c or h?
h
Let s(d) = -3*d**2 + d. Let u be s(1). Let h(c) = -c - 11. Let q be h(-10). Which is smaller: q or u?
u
Suppose 20 = -v + 6*v. Let l be (v - (-3 - -5)) + -1. Which is smaller: -1/8 or l?
-1/8
Let q = 5.3 + -5.1. Let w be -1*(0 + (-1)/3). Is q bigger than w?
False
Let b = -3.313 - 0.087. Is 0.1 at most as big as b?
False
Let y be 6/4 - (-2)/4. Let m be ((-2)/4)/(y/20). Let u = 5 + m. Is 0 smaller than u?
False
Let y(x) = x**2 + 3*x - 8. Let b(o) = -2*o**2 - 5*o + 17. Let z(w) = -2*b(w) - 5*y(w). Let q be z(-6). Let a be (-1)/((-14)/(-4) + 2). Which is bigger: q or a?
q
Let s be -2 - (-12 - 2/2). Let o = 11 - 