t t = -1.4 - -1.4. Let j = t + s. Which is smaller: -1 or j?
-1
Let b be (6/(-4))/(51/(-1156)). Let f = b - 167/5. Which is smaller: -2/5 or f?
-2/5
Let y = 5 + -3. Let s = 22/3 - 6. Which is bigger: s or y?
y
Let d = 48 + -27. Which is smaller: d or -2/5?
-2/5
Suppose 3*b + 2*y = -37, -2*y = -b - 0*y + 1. Let w = 12 + b. Suppose 2*s = -5*r + 10, -5*r + w + 7 = 0. Which is smaller: -1 or s?
-1
Let g = -29.7 - -1.7. Let i = g + 27.8. Let x = 3 - 4. Which is greater: i or x?
i
Let w be (-4)/18 + (-58)/(-18). Does w = -1?
False
Suppose 0 = -2*c + 3*z - 14, -z + 5 = -c - 0. Let s be 4/(-20)*497/1. Let o = -99 - s. Is o >= c?
True
Let w = 509/3 + -170. Is w at least 0.23?
False
Let c be (-4)/6*(-354)/(-372). Let i = c + -1/31. Is -7/4 less than i?
True
Let c(i) = 2*i + 32. Let m be c(-15). Is 2 < m?
False
Let w = -717/470 + -7/94. Is w at least as big as -2?
True
Suppose 5*c = -11 + 1. Let g(x) = -x + 2. Let i be g(3). Let t be c/9*(i - -4). Which is smaller: -1 or t?
-1
Suppose 0 = -15*b + 14*b + 5. Let x be (-2)/(-9) + 156/27. Which is smaller: b or x?
b
Let n = 8.1 + -8. Let m = 1.5 - -0.5. Which is bigger: m or n?
m
Let l = -109 - -108.8. Is -0.022 != l?
True
Let g = -7 - -8. Let u be (-8)/(-18)*1/(-2). Are u and g equal?
False
Let a be (15/8 - 2)*-4. Let m = 18 - 3. Suppose -2*p = -q + 3*q + 4, -m = 5*q. Which is smaller: p or a?
a
Suppose -2*j = -3*j + 15. Suppose 2*u + l = 10, 0 = 3*u + 5*l - l - j. Let z be 4*2 - (4 + -2). Which is smaller: u or z?
u
Let r(g) = g**2 + 4*g - 3. Let n(y) = -y. Suppose d + 0*d = -f + 4, d = 5*f + 10. Let t be n(d). Let o be r(t). Is 1 at most o?
True
Let i = 13 - 13. Which is smaller: 7 or i?
i
Let n be (6/15)/((-1)/(-5)). Let i = 31 - 21. Let a be (6/(-12))/(i/(-12)). Is a less than or equal to n?
True
Let t be (8/5)/2*5. Let a be (6/t)/((-4)/8). Does 0 = a?
False
Let y(n) = -n**3 - 3*n**2 + 4*n. Let z be y(-4). Let g be 0 + -1 + 15/13. Does z = g?
False
Suppose -4 = 5*g + 1. Is 2 less than or equal to g?
False
Suppose -2*f + 8 = -2*x - 0, -3*f + 12 = -2*x. Is 6 less than or equal to x?
False
Suppose 2*r - 15 = -5*i - 0*i, -5*r - i + 3 = 0. Suppose r = -7*f + 2*f + 3*s, 0 = f + 3*s. Suppose -n = 2*j - 9, 2*n - 6*j + 5*j = -2. Is n bigger than f?
True
Let g be -2 - 741/105 - 2/(-10). Which is bigger: -10 or g?
g
Suppose 0*o + 48 = 3*o + 2*s, 5*o + s = 80. Is o less than 5?
False
Let c(w) = -w**3 + 10*w**2 - 9*w - 5. Let x be c(9). Is 0 >= x?
True
Let q = -2 - -2. Let k = -5 + q. Let r = k - -1. Is r smaller than -4?
False
Let u = -11.79 + -0.21. Let j = u - -13. Which is smaller: j or -6?
-6
Let r = -32.2 + 27. Let d = 0.2 + r. Let a = -4.9 - -5. Is a equal to d?
False
Let v = -326 + 3907/12. Which is bigger: v or -2?
v
Let d be (3 + (-231)/75)*5. Is 2/3 less than or equal to d?
False
Let p(q) = q + 15. Let m be p(-14). Suppose -10 = -3*n - 2*n. Which is greater: n or m?
n
Let v be (-3 - 1 - -3)/(-1). Which is bigger: -0.7 or v?
v
Let x = 13.5 + -20.5. Which is greater: -2/15 or x?
-2/15
Let i = 7.2 - 7. Let q = i + 1.8. Let s = 0 + 0.1. Which is smaller: s or q?
s
Let j = 4/1485 + -398/25245. Which is smaller: j or -1?
-1
Suppose -4*z - i + 18 = 0, z + 3*i - 2 = -3. Suppose -d = h + z, 3*d + h + 5 = -0*d. Which is greater: d or 1?
1
Suppose 7 + 2 = i. Which is smaller: i or 10?
i
Let b = 19 + -18. Let z be b/(-3) + (-4)/(-3). Which is smaller: z or 2/15?
2/15
Let x be (-252)/(-66) + 4/22. Let j be (-6)/(-4)*x/54. Do j and -1 have different values?
True
Let l(h) = 2*h**2 - h**2 + 0*h**2 - 7 - 7*h. Let p be l(8). Which is smaller: 2/37 or p?
2/37
Let o = 5.03 + -5. Which is greater: o or 0.2?
0.2
Let q = 2564/15 - 171. Let n = -1 - -2. Is n bigger than q?
True
Let w = 1 - 1. Let p(y) = -y**2 + y + 3. Let a be p(w). Let i = 1/99 + -203/495. Is a <= i?
False
Let f = 106 - 102. Suppose 2*m = 4*m. Is f not equal to m?
True
Suppose 0 = 4*j - 5 + 21. Let o be j/((-4)/16*-4). Is o != -4?
False
Let d = -2798/247 + 150/13. Let f = -11/38 - d. Is -2 equal to f?
False
Suppose 8 = -3*f - f. Let w be -2 + (39 - f - -2). Let h = w + -124/3. Which is greater: h or 0?
0
Let r = 0.9 + 44.1. Which is smaller: 1 or r?
1
Suppose 0 = -0*n + 3*n. Let q = -0.3 - -0.1. Let f = 0 - q. Which is greater: f or n?
f
Let v = -4.9 - -3.9. Let s = 0.3 - 0.5. Which is bigger: v or s?
s
Let i = 33 - 33.77. Let s = -0.07 - i. Which is smaller: 0 or s?
0
Suppose -3*p + 169 + 32 = 0. Suppose 94 = 4*y - 2*t - 0*t, 3*y = -2*t + p. Is y less than 24?
True
Suppose -2*f + 5 = -25. Let j = -14 + f. Let k = -2 - -1. Which is smaller: k or j?
k
Suppose 0 = -5*x + 5*q - 25, 0*q - 2*q + 16 = -4*x. Let z be (1/6)/(3/(-12)). Which is greater: x or z?
z
Let k = 21/4 - 83/16. Is 1 smaller than k?
False
Suppose 0 = 4*x - 5 - 11. Suppose -x*z - z = -35. Let v = -0.3 - -0.2. Which is smaller: v or z?
v
Let f = -27 - -12. Do -16 and f have the same value?
False
Let p(m) = m**2 - 7*m - 12. Let b be p(9). Let l = b - 6. Suppose 3*o = o. Is o greater than l?
False
Let x(u) = u**3 + 6*u**2 - u - 6. Let n be x(-6). Suppose n = -3*s - s. Is s greater than 2?
False
Let p = 5 + -1. Let c be p/10 + (-393)/3. Let v = c - -131. Which is greater: v or 1?
1
Let a = 0.2 - 0.22. Let d = -0.08 - a. Let l = d + 0.06. Are -0.1 and l unequal?
True
Suppose 2*y = 4*y - 2. Let o be 2 - (-14 - 0)*1. Let s = o - 49/3. Which is greater: y or s?
y
Let t = -1.09 - -0.09. Are t and 74 equal?
False
Let t = -345/292 + -5/73. Suppose w + 2 = -0. Let h be (1/3)/(w/6). Is t > h?
False
Suppose -2*k + 8*k + 78 = 0. Is -12 less than or equal to k?
False
Let y = -17 - -17.07. Are -1/4 and y nonequal?
True
Let z(a) = -3*a**2 + 7*a + 8. Let c be z(9). Let p be c/14 + (-10)/(-35). Is p less than -1?
True
Suppose 5*f = -4*s + 18, -5*f = 3*s - 4 - 17. Let i be 4/f + 20/6. Suppose -2*p = -i*p. Which is smaller: 1/10 or p?
p
Let r be -2 - (-1)/(2/(-8)). Let q = 75 - 82. Are q and r unequal?
True
Let v(m) = -3*m**2 - m + 3. Let o(s) = s**2 + s - 1. Let y(i) = 4*o(i) + v(i). Let u be y(-2). Are u and -10/3 nonequal?
True
Let l = -385 + 15017/39. Suppose -4*c = 4*u - 12, 2*u - 6 - 2 = -3*c. Which is smaller: u or l?
l
Let w = -2/495 + -2956/3465. Is 0 >= w?
True
Suppose 2*n - 36 = -4*v - 10, -5*v + 4*n = 0. Suppose -5*k = 5*o - 30, -4*k = -v*o + 36 - 4. Let s = 7 - o. Which is smaller: s or -3/8?
-3/8
Let k = -27 - -43. Are k and 15 nonequal?
True
Let i = -100 + 163. Let h = -505/8 + i. Is -1 > h?
False
Let w(j) = -j**2 + 11*j - 16. Let m be w(9). Do m and 7/9 have the same value?
False
Suppose -2*l + 3*l = -2. Let o be 4 - (l - -8)/(-2). Which is smaller: o or 2/5?
2/5
Let v = 2 + 3. Suppose 0 = -0*x + v*x - 5. Suppose -3*h - 15 = i - 4*i, 2*i + h - 1 = 0. Is x at most i?
True
Let h = -1 - 4. Suppose -11 = -i + 3*f, -3*i - 4*f - 21 = 2*i. Let m = -5 - i. Which is bigger: m or h?
m
Suppose -x - 8 = 4*y, -14 = -5*y + 5*x - 49. Suppose 3*w + 6 = -0*w. Is w bigger than y?
True
Let z = 0.13 + -0.23. Let x = -3.01 - -3. Let g = x + -4.99. Is g greater than or equal to z?
False
Let j be 1/(-2) + 218/(-28). Let a = 972/119 + j. Which is greater: a or -1?
a
Let s(r) = r**2 + 2*r - 17. Let n be s(0). Let t = 13 + n. Which is smaller: -3 or t?
t
Suppose 0 = -5*p + 1 + 9. Let v be p - -2*51/(-42). Which is smaller: v or 1?
v
Let w = 7 - 9. Suppose 5*y = -m + 18, -3*m - 6 = -y - 4*m. Is y equal to w?
False
Let s = 0.3 + -0.5. Let j = 0 - -2. Which is bigger: j or s?
j
Let w = 3430/881 - -16809391/552387. Let x = 103/3 - w. Let j = x - -408/1045. Does -1 = j?
False
Let p = 138 + -137. Is 2 equal to p?
False
Let n = 8.98 + 0.02. Let k = n + -3. Let i = 6.1 - k. Which is smaller: -1 or i?
-1
Let f be 7/((-196)/12) - 1. Which is bigger: -1 or f?
-1
Let n(s) = s**3 - 5*s**2 - 10*s + 15. Let a be n(6). Which is bigger: a or -11?
a
Let s be -1 + (1 - -2) - -10. Suppose -c + 0*y - s = 2*y, -c + y = 3. Is c at most as big as -5?
True
Suppose 172 = -9*h - 296. Is h >= -50?
False
Let t = -20.91 - -21. Let j = 12.1 - 12. Do t and j have the same value?
False
Let k be 0/(4/12*3). Which is greater: k or -3/29?
k
Let n(r) = -4*r - 2. Let k be n(-2). Let p = k - 6. Let z be (2 + 0)*-1 + p. Is -2 smaller than z?
False
Suppose b + 30 = -2*b. Let d be (b/4 + 1)*2. Let j be (-2 - d)/(-1 + 2). Are 2/13 and j unequal?
True
Let k be (2 + 7)