-3*g + 4*d + 14 = 0, -t*g - 2*d = 3*d - 50. Suppose -5*s = -g*s. Are 0 and s equal?
True
Let i be (-26)/8 + 3/12. Let q = i + 6. Suppose -q*h = 2*h - 25. Is h smaller than 0.1?
False
Let f be -5 - (-7)/4 - (-1)/4. Let x be 3/(1 + (-2)/1). Is x greater than f?
False
Let h be (-1)/(-21)*411702/10. Let m = -10201/5 + h. Let a = m + 80. Which is bigger: -2/7 or a?
a
Let f = -0.38 + -0.02. Let g = f + 0.5. Which is smaller: g or 2/5?
g
Let h be (-5259)/26 + 7/14. Let a = -149137/728 - h. Let l = -27/8 - a. Are l and 0.1 equal?
False
Let t = -8.13 - -8. Do 2 and t have different values?
True
Let x = 1 - -1. Let c be -1 - -5 - 2/2. Let z be 1 - c/(-27)*-3. Is x at most as big as z?
False
Suppose -4*h = -p + 1, 4*p - 9 = -2*h + 13. Let z = h - 2. Let x = -307 + 1227/4. Is x > z?
True
Let r = 17 - 10. Suppose m - 18 = 4*c, -3*m + r*m - 3*c = 20. Let l be 1/3 + m/6. Which is smaller: l or 2?
l
Let y be (-14)/14*1/35. Is -1 not equal to y?
True
Suppose -2*a = -a. Let s be a*(2 + 3/(-2)). Suppose -z + 1 = -s*z. Do z and -1/4 have the same value?
False
Let q = -1.17 + 0.17. Which is smaller: 0.8 or q?
q
Let q be 55/(-20) - 3/4. Suppose 2*n + 8 = -3*o + 28, 0 = -n + o. Suppose -2*l - 2*x = -2, -n*l + 5*x - 29 = -l. Is l at most as big as q?
False
Let m = 2 + -4. Let c be -2 - m/(-5) - -2. Is c less than -2/5?
False
Let v = -173.9 + 158. Let r = v - -16. Which is greater: r or 0?
r
Suppose 0*j + 18 = -3*j. Let o be 4/2 + -3 + 6. Let d = j + o. Which is bigger: d or -1/2?
-1/2
Let j = 26/27 + -58/135. Which is smaller: 1 or j?
j
Suppose 0*i - 2*i = -16. Let d be (5/2)/((-4)/i). Is -4 less than d?
False
Let s(v) = -v**2 + 8*v - 5. Let z be s(7). Suppose 4*d - 12 = -5*x, 2*x - 3 = -z*x - d. Let y be (0 + x)*(0 - -1). Is y equal to 2/7?
False
Let u = 0 - -2. Let k(z) = z**3 + 6*z**2 - 3*z - 8. Let h be k(-6). Suppose h - 25 = -5*f. Is u greater than f?
False
Let p = -1 + 1.1. Let k be 6/(-6) - 7/(-3). Let x = k - 5/6. Is p > x?
False
Let c = -247/9554 - 1/281. Do 0 and c have different values?
True
Let i(g) = -g + 4. Let h be i(6). Let j = 2/173 - 523/346. Which is smaller: j or h?
h
Suppose 2*k - 3*k = -11. Let g be 2/((-6)/k) - -2. Let c be 1 + ((-19)/(-57) - (-26)/(-6)). Is g >= c?
True
Suppose -4*l - 2*i + 6 = 2, 4*i = -5*l + 8. Are -2 and l unequal?
True
Let y be (1/16)/((-6)/12). Which is greater: y or 0?
0
Let v = -44 - -42. Which is smaller: v or -3?
-3
Let y be (4/28 - -1)/6. Which is smaller: 0 or y?
0
Let f = -3 - -3. Which is greater: f or -7/9?
f
Let g(s) = -s**3 + 11*s**2 - 8. Let c be g(11). Is -8 >= c?
True
Let l = -94/7 - -13. Are -1 and l unequal?
True
Let z(f) = -f + 2. Let s be z(3). Let w = -30/49 + -163/294. Is w <= s?
True
Let g(k) = -2*k - 5. Let y be g(-7). Let j be -2 - (3/y + 0). Which is greater: -1 or j?
-1
Let t = 1.5 + -10.5. Let m = -7 - t. Let i = -0.1 + 0.1. Which is greater: m or i?
m
Let u = 35 + -66. Which is bigger: 2/3 or u?
2/3
Suppose -4*z - 5*v = -128, 0 = 3*z + 4*v - 53 - 43. Is 31 less than z?
True
Suppose 0 = -y - 11 + 2. Which is smaller: y or 2?
y
Let c = 9.9 + -11.9. Is -11 at least as big as c?
False
Let u = -93 + 93.048. Is u not equal to -0.2?
True
Let s = -32.12 + 31. Let g = s - -0.12. Which is bigger: g or -1/3?
-1/3
Suppose 15 = -k + 5*y, 3*k + 10 = 2*k + 4*y. Which is greater: k or 11?
11
Let g be 46/(-11) + (-5 - -9). Is 1 less than g?
False
Suppose 4*b + 8 = 0, 2*b + 16 = -2*m - 0*m. Let x = 12 + m. Is x less than -1?
False
Let n be 128/8 + 6/(-2). Which is greater: n or -5?
n
Suppose 2*d - 3 = d. Suppose 0 = -u + 2*u - 2. Are d and u non-equal?
True
Let q = 2 + -1. Let b = -91/44 - -20/11. Is b equal to q?
False
Suppose -18 = 5*q - 153. Which is greater: 25 or q?
q
Let g be -24 + (5 - (5 + -3)). Let c be 12/g - (-104)/(-14). Is c greater than -8?
False
Let j = -0.12 + 5.22. Let v = 5 - j. Which is bigger: 3 or v?
3
Suppose 0 = -3*i + 3 - 0. Let s = -2 + 2. Is i bigger than s?
True
Suppose 2*g - o - 6 = 0, -2*g + o + 6 = 2*o. Are g and 3 equal?
True
Suppose -3*l + 6 = -t, -5*l + 2*t = -3*l - 4. Let b = 1 - l. Which is bigger: 1 or b?
1
Let a(c) = c**3 + 8*c**2 + 6*c - 12. Let v be a(-7). Is v at least as big as 3/7?
False
Let u = 0.137 + -6.437. Let y = u - -6. Is y at least as big as -1?
True
Suppose 2*d - 108 = -d. Suppose 3*i - d = -i. Suppose -5 = g, i*h + 9 = 5*h - g. Is -2/3 greater than or equal to h?
True
Let a = -4.8 - -3. Let i = a - -2.9. Which is smaller: i or -1/4?
-1/4
Let v be (-1)/1 + 38/36. Let g = v - 23/9. Let x(l) = l + 4. Let p be x(-6). Is p greater than g?
True
Let m = -5548 + 22419/4. Let h(n) = 2*n**3 - n**2 - 3*n - 3. Let g be h(-3). Let w = m + g. Is w at least as big as 1?
False
Suppose 2*a = n + 2*n - 137, 0 = 3*a - 3*n + 207. Let p = a + 491/7. Which is smaller: 2 or p?
p
Suppose -6*t + 20 = -2*t. Let o = 3 - t. Let y be (12/45)/(o/5). Which is smaller: y or 0?
y
Let j = -1.44 - -2. Let b = j + 0.04. Let q = 4.6 - b. Which is bigger: q or -0.1?
q
Let r = -0.132 - -0.032. Which is smaller: r or -2/71?
r
Let x = -4 - -6. Let w = 0 - x. Let i = w - -2.4. Which is greater: i or 0?
i
Suppose 24 = -2*w + 122. Is w bigger than 48?
True
Let x = 43 + -30. Suppose 3 = -5*r + x. Suppose -r*b + 0 = f + 2, -f = 5*b + 8. Which is smaller: f or 4?
f
Let z = 1.1 + -1. Let h = 3 - 3. Let j = -0.1 - h. Which is bigger: z or j?
z
Let i be 153/36 - (2 + 2). Suppose -4*p + 18 = 2*l, 3*l - 6 - 7 = -4*p. Suppose 0 = 5*g + 3 + p. Which is smaller: i or g?
g
Let p = 28 - 27. Suppose -2*q + 6 = u, -3*q - 4*u + 14 = -5*q. Is p at least q?
True
Let t be -6 - (3 + -4)*1. Let z = 0 - t. Which is bigger: z or 0?
z
Let b = -38 + 49. Which is bigger: b or 13?
13
Let u = -791/40 - -97/5. Which is smaller: u or 0?
u
Suppose -t + 30 = 5*l, -5*l + t = -10 - 10. Suppose a - d = -1 - 4, l*d = -a + 25. Suppose -16 = x + 3*o, -18 = -2*x - 2*o + 6*o. Which is smaller: x or a?
x
Let i be (-4)/6 - (-14)/12. Let j = 0.02 + 0.09. Let t = 0.01 - j. Is t < i?
True
Let y = 67 - 67. Which is bigger: y or 2/55?
2/55
Let k = 8 - 7.7. Let x = -0.51 - -0.41. Are k and x non-equal?
True
Let b = -31 - -40. Is b bigger than 7?
True
Let m be 46/69 - (-91)/3. Is m > 31?
False
Let b = -11 - -13. Suppose -f = -3*f + b. Let q = 237 - 2605/11. Is f >= q?
True
Let s be 2 - (-13)/(-5) - 44/110. Is -10/19 greater than or equal to s?
True
Let x = 13 + -9. Let d be 2/(-4) + (-5)/(-2). Suppose 3 = x*n - v - 8, -14 = -4*n + d*v. Is 1 less than n?
True
Suppose 0 = r - 0*r - 9. Let u = -10 + r. Is u <= -6/5?
False
Let j be (-1)/(-3)*(-7 - (6 - 70)). Does j = 35/2?
False
Let m(s) = 199*s - 2. Let w be m(-4). Let v = w + 69424/87. Let r = v + -56/87. Is -1 at most r?
True
Suppose 0 = 2*a + 11 + 1. Let h be (-2)/a - 57/117. Which is bigger: h or 1?
1
Let p be ((-6)/(-4) - 1)/2. Let k be 22/8 - (-4)/16. Suppose i = 4*i + 5*g + 25, -k*i + 3*g = -15. Which is bigger: i or p?
p
Suppose 0*q + 4 = -4*q. Let n be ((-6)/(-2) - 0)*q. Is -2 smaller than n?
False
Let p be (-51)/(-9) - (-2)/6. Let r = 5 - 3. Suppose -p*l + r*l = -4. Which is smaller: 0 or l?
0
Suppose k - 6 + 2 = 0. Suppose 0 = -4*p - k. Which is smaller: p or 0?
p
Let c = -2 - -6. Let r be 1 + (44/(-9))/c. Let w be -1 + -1 - (-1 + 0). Which is smaller: r or w?
w
Let o be (-2 - -1)/(6/(-6)). Suppose -o = -4*q + 3. Is 2/7 less than q?
True
Suppose u - 4*c = -5*c + 5, 0 = -3*u + 2*c. Suppose -5*y = o - 12, -o - o = u*y - 8. Let b be o/(-8) - (-15)/(-20). Which is smaller: -4/7 or b?
b
Suppose -8*m + 5*m = -15. Which is smaller: m or 11?
m
Let g = -0.8 + 11.8. Let s = 11 - g. Are -0.4 and s nonequal?
True
Let q be 6/8 + (-23991)/39780. Let l = q + -3/221. Which is smaller: 0 or l?
0
Let y(c) = -c - 4. Let d be y(-3). Is d >= -2/27?
False
Let d = 33 + -29.92. Let m = d + -0.08. Let i = m - 4. Which is greater: 2 or i?
2
Let p = 0.09 + -0.59. Which is smaller: p or -0.2?
p
Suppose 0*z = -2*z + 22. Which is smaller: z or 12?
z
Let m = 4 - 3. Which is smaller: -1 or m?
-1
Suppose m = -0 + 5. Suppose -1 = 4*w - m. Let y = 2 - w. Is y at most as big as 0?
False
Let r be ((-6)/(-8))/((-18)/35). Let f = 1/24 - r. Is f at least 2?
False
Suppose 0 = 5*f + 2*o, 5*f + 3*o - 7*o - 30 = 0. Let y = 14 - 94/7. Which is bigger: f or y?
f
Suppose 5*x - 17 - 8 = -2*w, 115 = 5*w + 2*x. Let s be 2/38*45/w. Let v 