.1 + -2.1. Let b = -1.9 - j. Which is greater: b or x?
b
Let a = -191 - -5919/31. Let x = 12 + -11. Is a <= x?
True
Suppose 5*d = 4*d - 1. Suppose 0 = -4*p + 16, 2*p - 38 = -5*t - 5. Let a = 2 - t. Which is smaller: d or a?
a
Let n(p) = -3*p**3 + 2*p. Let i be n(-2). Which is smaller: 19 or i?
19
Let p(m) = -4*m**2 - 13*m - 5. Let v be p(-4). Which is bigger: -16 or v?
-16
Let x be ((-96)/(-80))/((-2)/(-5)). Is -3 < x?
True
Let r be (10/(-48))/((77/(-28))/(-11)). Is 0.1 < r?
False
Let f = 8 - 0. Suppose -2*j - 5*l + 46 = 2*j, -2*l - 32 = -4*j. Which is bigger: f or j?
j
Let w(l) = -l**2 + 7*l - 6. Let g be w(6). Let m be 5*(-8)/(-60)*9/24. Which is smaller: m or g?
g
Let f be 8784/13257 + 2/(-3). Do f and 0 have the same value?
False
Let s = -0.2 - -0.3. Let j = 47 + -33. Let x = -14 + j. Which is smaller: s or x?
x
Let i be 6*(9/6 - 2). Let h = -6 - i. Let p(a) = -a**2 - 4*a - 1. Let w be p(h). Which is bigger: 3 or w?
3
Suppose -18 = 4*c - c - n, 5*n + 6 = -c. Which is smaller: -8 or c?
-8
Let i = -0.93 + 0.9. Let z = i - -0.23. Let o = 6/31 - -32/155. Which is bigger: z or o?
o
Let m = -3.23 + 0.23. Which is smaller: -0.3 or m?
m
Let z(s) = s**2 - 5*s - 8. Let f be z(10). Suppose -4*h - 174 = f. Let k = 268/5 + h. Is k greater than -0.1?
False
Let v be -3 + ((-231)/(-15) - (-4)/(-10)). Is v != 12?
False
Let o(v) = -v + 3. Let w be o(3). Suppose w*t + 4 = t. Suppose c = -t*c - s - 21, -3*s + 7 = c. Is c equal to 1?
False
Suppose 0 = y - 1 + 3. Let r be (-1 - y)/1 + 1. Which is bigger: r or 0?
r
Let j be ((-3)/2)/((-2)/8). Let p be (9/(-42))/(j/(-8)). Let l = -1.9 + -0.1. Is l not equal to p?
True
Let p = -1.7 + -0.3. Let x = p + 4. Which is bigger: 1 or x?
x
Let y = -57/8 + 7. Suppose 12*z - 3*z = -9. Does y = z?
False
Let b be 12/68*(-3 + -4) - -1. Which is smaller: 0 or b?
b
Let t be (-116)/(-312) - (-1)/(-3). Are -1 and t unequal?
True
Let r(b) = b**3 + 4*b**2 + 2*b + 1. Let l = -9 + 5. Let y be r(l). Which is bigger: y or -8?
y
Suppose 5*y + 44 = -4*x - 31, -y = -3*x - 61. Let o = x + 27. Is o at most 8?
True
Let g = 2 + -3. Let b(m) = m**3 - m**2 - m - 3. Let i be b(0). Let q be (4 + i)*(g - -1). Is -5/6 <= q?
True
Let w(f) = 5*f**3 - f**2 + 1. Let b be w(1). Suppose -8 = -b*k + k. Suppose 3*l - 5 = -k*l. Are l and 1/4 nonequal?
True
Suppose 39 = 4*v - 5. Is -1 smaller than v?
True
Let u be 0 + (-3)/(-3)*3. Let n be 3/(-6)*(-370)/u. Let y = n - 61. Is -2 less than or equal to y?
True
Let d = 15 + -16. Let l = d + 1. Are -1 and l nonequal?
True
Let r be (0 + 2)/(-2)*-2. Suppose -4*n - t + 13 = 39, -5*t = -3*n - 31. Let f(w) = -w**3 - 8*w**2 - 7*w + 2. Let h be f(n). Is r < h?
False
Suppose 0 = g - 5*h - 2, 2*h - 9 - 1 = -5*g. Let u be g/(-4) - (-41)/2. Is u < 19?
False
Let d = 0.26 - 0.66. Which is bigger: d or -6?
d
Let l be (10 - 0/2) + -2. Suppose -2*r + 6*r + 3*y + 14 = 0, 3*r + 21 = 3*y. Let c = l + r. Does 3 = c?
True
Let t = -2 - -4. Suppose -3*p + 55 = a + 4*a, 2*p + 6 = t*a. Let u(k) = -k + 5. Let l be u(a). Is 1 > l?
True
Suppose -6*x + 6 = -3*x. Suppose -3*u + x*i = i - 3, -4*i - 12 = 3*u. Which is greater: 2/5 or u?
2/5
Suppose 3*y + 2*q + 8 = -y, 4*q + 12 = -4*y. Let z be (2*y)/(38/(-2)). Let a be 17 - 16 - (-1 + 2). Which is smaller: a or z?
a
Let v = 13 + -17. Is v < -3?
True
Suppose 30*z = 34*z + 4. Which is smaller: 1/3 or z?
z
Let r = -3 + 4. Let v = -23 - r. Let t be (-2)/v*(-9)/6. Which is smaller: t or 0?
t
Let u = 54 - 56. Is u bigger than 3?
False
Let r = -1 - -6. Suppose -5*v - b + 4 = -6, 23 = -2*v + r*b. Let z be 2/(-8)*6/(-9). Which is smaller: v or z?
z
Suppose 5*x + 295 = -5*m, -5*x = m + 42 + 13. Is -60 at least m?
True
Let l be (-7)/25 - 12/(-60). Do l and 1 have different values?
True
Let g = -82 - -417/5. Which is smaller: 1 or g?
1
Let j = -2 + -5. Let v be 2/2 + 5/j. Which is smaller: 0 or v?
0
Let y(d) = d + 15. Let k = -2 + 6. Suppose -2*i + 46 = -k*q, -q + 2*q = -i - 10. Let n be y(q). Are n and 2 unequal?
True
Let x(l) = -l**3 + l**2 - 15. Let v be x(0). Let w be (-10)/v - (-8)/(-3). Is w at most as big as -3/4?
True
Suppose -2*i + 5*k = -21, -i - 4*i + 6 = 3*k. Suppose a = -4*a - 20. Let t be 52/20 + a/(-10). Is t <= i?
True
Let a = 3 - 8. Let k = 3 + a. Let u = k - -2. Is 0.6 equal to u?
False
Let k be 2/((9/3)/3). Suppose 3*a + 32 = k*m + 2, -3*m + a = -31. Suppose -m = 4*l - 7*l. Which is greater: 1 or l?
l
Let n = -29 - -28.8. Which is smaller: 1/9 or n?
n
Suppose 2*b = 4*r + 2, 10 = 4*r - 3*r - 4*b. Which is greater: r or -12/19?
-12/19
Let s = 113 + -112. Which is smaller: s or -4/123?
-4/123
Suppose 61 = -2*l + y + 24, -39 = 4*l + 5*y. Let s = l + 23. Does s = 7?
True
Let g = 5 + -2. Suppose -2*w + 8 = 2*w. Which is smaller: w or g?
w
Suppose 0 = -5*z + 10*z - 130. Is 25 equal to z?
False
Suppose 3*c + 5 - 14 = 0. Let d = 7 + -2. Are c and d equal?
False
Let y(n) = 4*n**2 + 11*n - 3. Let u be y(-3). Is -69 greater than u?
False
Suppose 9 = -2*t + 1. Let m = -1 - t. Suppose -l - 3*l = -3*s + 3, -s = -5. Is l not equal to m?
False
Let w = 36 - 37. Which is smaller: -1/20 or w?
w
Let w be 4*-1*(-1)/4. Let r(j) = -2*j**2 + j. Let d be r(w). Which is bigger: d or 1?
1
Let t = 61/7 - 9. Let b be 0 + 4/8*2. Which is smaller: b or t?
t
Let h = 0.7 + 4.3. Let q = -5.4 + h. Which is smaller: q or -1?
-1
Let u(o) = o**3 - 2*o**2 + 3*o - 3. Let y be u(2). Let h(c) = c**3 - 15*c**2 + 26*c + 4. Let n be h(13). Is y at most n?
True
Let u be 1 + -4 + 21*-5. Let s be 2*(3 - u/(-32)). Does s = -1?
False
Let l = 6.5 - 6.6. Let t = 15.22 + -0.22. Which is smaller: l or t?
l
Suppose -3*o + 5*h = 4*h + 12, -5*o = 2*h + 9. Which is smaller: -6 or o?
-6
Let v = -3 - -4. Suppose -v = -4*t + 3*t. Is 6/13 equal to t?
False
Let k = -505/26092 - 2/593. Is k greater than 1?
False
Let m(r) = -2*r**2 + 7*r - 4. Let a be m(5). Let x = a - -27. Suppose 0 = 2*b - 0*b - x. Which is smaller: b or 3?
3
Suppose 3*o + 12 = -2*q, 2*o = -o - 5*q - 21. Let c be 4/(-16) - 17/(-4). Let k be (-10)/c + (-3)/(-6). Does o = k?
True
Suppose -4*b + 4*l - 12 = 0, 3*b = 5*l - 4*l - 15. Is -14/3 > b?
True
Let b = 1.3 - 0.7. Let v = b - -0.4. Is -0.05 != v?
True
Let l be (0 - -2)/(2/1). Let x(c) = c**3 - 2*c**2 - 3*c + 2. Let v be x(3). Let w be v/7 - 5/(-7). Is l at least w?
True
Suppose -5*g = 25, 5*a + 22 = -5*g - 8. Let z be ((-1)/3*-3)/1. Suppose 0 = -4*l - z - 3. Is a less than l?
False
Suppose 4 = -2*k + 10, 2*s = 4*k - 12. Which is bigger: s or -7?
s
Let v = -4 + 2. Let x be -2 + 0 + v*47. Let w be (x/10)/4 + 2. Is -1 at least as big as w?
False
Let z = 87 + -697/8. Suppose -3 = 5*p - t + 3*t, -5*t - 18 = 2*p. Which is smaller: p or z?
z
Let u be 2/(-4)*-2*-2. Let y = -22 - -20. Let k = u - y. Is k != 0?
False
Suppose 2*m - 3 = -0*m - r, -3*m + 2*r + 8 = 0. Suppose m*t = 6*t + 8. Let i = 127 + -507/4. Which is greater: i or t?
i
Let o = 5 - -1. Let y = 5.3 - o. Which is smaller: y or 0?
y
Suppose -2*u - 5 = 3*u + 3*m, 2*u + 4*m + 16 = 0. Let r(g) = g - 3. Let i be r(7). Let y = -2 + i. Is y < u?
False
Suppose 4*f - 2*y = -10 - 0, -3*f - 15 = -3*y. Let t = -2537/13 + 195. Is t > f?
False
Suppose -3*c = 4*m - 77, 0 = -m + 2*m + 4*c - 16. Let a be 2 + -4 - m/(-11). Let g = 2.1 - 2. Is a at most g?
True
Let m = 26 + -3. Let w = 23.1 - m. Which is smaller: w or 2?
w
Let x = -31.9 + 32. Which is greater: x or -30?
x
Let b = -0.04 + -0.06. Let z = -0.3 - -0.2. Let u = z + b. Which is greater: u or 1/4?
1/4
Suppose 3*v + 6 = 15. Suppose -v = -d - 0*d. Which is greater: d or 1?
d
Suppose 3 = 4*x - 5. Suppose -3*l + 8 - 2 = 0. Is x greater than l?
False
Let m = 288 + -292. Let d(a) = -2*a**2 - 3*a + 4. Let k be d(-3). Which is smaller: k or m?
k
Suppose 3*w + p + 2 + 0 = 0, -5*p - 10 = -2*w. Is w > 1/19?
False
Suppose 2*c + 0*c = -20. Is c less than or equal to -10?
True
Let l be 27/36*4/3. Which is bigger: l or 9?
9
Let d = -2.2 - -2. Suppose -3*r - 8 + 2 = 0. Is d less than or equal to r?
False
Let q = 2 + -1. Let x = 0.3 + -2.3. Which is smaller: x or q?
x
Suppose 5*i + 9 = 19. Suppose i = l - 0. Are 8/7 and l unequal?
True
Let x be 3 + 2 + 0/(-1). Suppose l - 4*a - 9 = 0, 0*l - x*a - 11 = -l. Let q = 0 + l. Which is smaller: q or -2/23?
-2/23
Suppose r - 1 = -2*y, y + 9 = 2*r - 2*y. Is r greater than 5/3?
True
Let r = -4/67 - 47/335. Is -