/87
Suppose 0 = 4*v - z - 3*z - 32, -4*v + 3*z = -29. Suppose -3*x = a + 2*a - 15, 0 = v*x - 3*a - 9. Is 3 at most as big as x?
True
Let z = 160413 + -3530381/22. Let t = 119/2 + z. Let b = 59/110 - t. Which is smaller: 1 or b?
b
Let b = -14 + 14. Suppose 0 = -5*a - b*a. Which is smaller: -3/5 or a?
-3/5
Let q be -1 - (2 - (4 - 3)). Which is bigger: -9/5 or q?
-9/5
Let a be (-3)/1*(4 - 5). Suppose -5*j + 10 = 0, 6 = a*z - 5*j + 16. Which is bigger: -1/6 or z?
z
Let h be 8/33 + (-56)/42. Is -2 bigger than h?
False
Suppose 4*d - 2*k = 6, 3*d + 6 = d - 2*k. Suppose 3*i + i + 36 = 0. Let s be (-3)/(-15)*6/i. Which is smaller: d or s?
s
Let o be ((7 + -4)*1)/((-3)/(-5)). Is o equal to 29/8?
False
Let j = -265 - -4497/17. Let d = 11/85 - j. Let n be 7 + -8 + (-6)/(-4). Is n not equal to d?
True
Suppose 4*d = 3*d + 3. Suppose 0 = 4*z - 4*c - c + 24, -2*c = 5*z - d. Suppose -2*r = -3*r. Which is smaller: r or z?
z
Let h be 4/(-6)*12/32. Let b = 0.1 - -1.9. Which is smaller: h or b?
h
Suppose -3*x + 25 = 2*x. Suppose 2*c + 1 = 5*o - x, 3*c = -3*o - 9. Is -1 less than or equal to o?
True
Let j be (-48)/(-6)*(-2)/10. Which is smaller: j or -3?
-3
Let c = -155773/93 + 1675. Let x = c - 200/651. Which is smaller: 0 or x?
x
Let c = 19.9 + -20. Are c and -7 equal?
False
Suppose 2*k = -v + 2, 2*k + 5*v - 2 = -0. Suppose 4*s = 4*r, -7*r = -4*r. Which is bigger: s or k?
k
Let o = -1977/8 + 167829/680. Let t = 2/17 + o. Suppose 2*m + 4 = 3*d + 3*m, -4*d + 4 = m. Which is bigger: d or t?
d
Suppose -s - 11 = -2*g, g - 2*s = 5*g - 2. Let y be (-3)/(-4) + (2 - g). Let k = 3.1 + -3.1. Is y at least k?
False
Suppose -4*l - 3*c = -53, 0 = -l + 3*c - 4*c + 13. Is l less than 102/7?
True
Let h = 23/42 + -3/14. Which is bigger: -1.7 or h?
h
Let j(z) = -z**3 - 9*z**2 + 9*z + 11. Let o be j(-10). Let l be (-4)/o + 2/7. Is -2/7 smaller than l?
True
Suppose -3*z - 58 = -o, -9*z + 5*z = 3*o + 73. Is z smaller than -2/3?
True
Let n = -17 + 22. Suppose -3*w = -n*w. Suppose -5*d + 2*t + 2 = 11, -d - 3 = -t. Is d smaller than w?
True
Let z = 1 + -1. Suppose -2*i = -2 - 2. Let h = z - i. Is -1 greater than or equal to h?
True
Suppose 5*n - 5*r = 105, 0*n = 4*n + 5*r - 57. Let b = -18 + n. Let d(k) = -6*k**2 + 1. Let v be d(1). Is b at most as big as v?
False
Let l(p) = -p**3 + 6*p**2 + p - 6. Let k be l(6). Suppose k*w - 2*w + 4 = 0. Suppose w*u + 2*u - 8 = 0, -5*z = -5*u. Is 2/3 at most z?
True
Let a = 1 - 0. Let h = -2.2 - -1.2. Let k = -0.9 - h. Which is smaller: k or a?
k
Let q = -138/59 - -12400/5251. Let d = q + 172/267. Suppose 0 = 5*k - 2*u - 8, 2*k + 3 = k + 5*u. Is k at least d?
True
Suppose -m = -0*m. Is m > -2/19?
True
Suppose p + 0 + 9 = 0. Let n = 198.9 + -199. Which is smaller: n or p?
p
Let f be -1 + -2 + 0 - -27. Which is bigger: -3 or f?
f
Let a(q) = 3*q**2 + 9*q + 6. Let y be a(-5). Suppose 2*g = 3*d - y - 3, 5*d = 3*g + 66. Is 14 greater than d?
False
Let j be (2 + -2)/(-3) - -3. Is j at most 5?
True
Let f be ((-1)/16)/(2/76). Let w = 187/72 + f. Is w at most 1?
True
Let t = 50 - 27. Suppose 5*j + 25 = 0, -f + 6*j = 4*j + t. Let k = -98/3 - f. Is -1 bigger than k?
False
Let x(u) = -u**2 + 11*u - 9. Let v be x(8). Let c be (8/6)/(10/v). Let s be 0/(0 + -1*c). Is -2/11 less than s?
True
Let l = -6 + 5. Let m = 1 - l. Let c be (m*2/4)/3. Is c >= -0.4?
True
Let i(n) = n - 5. Let c be (-83)/(-5) + 4/10. Let a = c - 11. Let x be i(a). Is 2 >= x?
True
Let c = 30 + -29. Which is bigger: 6 or c?
6
Let j(t) = t**2 + 9*t - 7. Let g be j(-10). Let v = -7 - -11. Let r = v - g. Which is greater: -2/19 or r?
r
Let m(p) = -p**2 - 16*p + 1. Let w(x) = 3*x**2 + 32*x - 1. Let n(s) = 5*m(s) + 2*w(s). Let i be n(8). Let a = i + 367/6. Is a at most as big as 0?
False
Suppose -2*b + 11 = 3*b - d, -d + 5 = 3*b. Let a be 2/(-1) + 1 - -6. Suppose a*i + 0*i + j + 20 = 0, 4*i - b*j + 16 = 0. Which is smaller: -5 or i?
-5
Let c = 484 + -43074/89. Is -1 not equal to c?
True
Suppose x - 5*x - 42 = 5*f, x + 16 = -4*f. Let c = -4 - x. Suppose -c*b = y + 13, 4*b + 3 + 8 = y. Is -2 less than or equal to y?
True
Suppose 10*w = 7*w - 24. Which is greater: -7 or w?
-7
Suppose a - 5 = -1. Suppose 0 = 5*r - f - 792, 0 = a*r + 5*f - 367 - 284. Let x = r - 1275/8. Is 1 equal to x?
False
Suppose -2*k + 11 = 21. Are k and -11/2 non-equal?
True
Suppose -8 = 3*v + u + 3*u, -2*v + u = -2. Suppose 4*f = 3*f. Is f less than or equal to v?
True
Suppose -27 = 5*y - 7. Let t be y + 6/9*-3. Do t and -7 have the same value?
False
Suppose -5*t - 25 = 0, 25 - 5 = 5*l - 5*t. Which is smaller: l or 2/17?
l
Let j = -2 + 3. Which is smaller: -3/8 or j?
-3/8
Let k be (-4)/(-10) + 23/(-20). Which is smaller: k or -1?
-1
Let o be (-3 + (-99)/12)*-4. Let g be (o/30)/(6/8). Which is smaller: 1 or g?
1
Let m = 2 + 2. Suppose 0*l - l = m*t - 22, 4*l + 4*t - 28 = 0. Which is smaller: l or -1?
-1
Let y be (-2)/7 + 5/(-7). Which is greater: y or 2/23?
2/23
Let p = 6.4 - 6. Let q = p - 0.7. Let j = 0.2 - -0.8. Are j and q nonequal?
True
Let a(y) = 3*y**2 + 23*y - 3. Let v be a(-11). Does v = 106?
False
Let p = -0.2 - 0. Let z = -8/15 + 4/45. Is p less than z?
False
Let m = -89 + 89. Are 0.07 and m non-equal?
True
Let w(c) = -c**3 + 4*c**2 - c + 2. Let p(i) = 5*i**2 + i. Let h be p(-1). Let d be w(h). Let a be 10/22 + -1 + 0. Which is bigger: d or a?
a
Let u = -0.04 + 0.04. Let h = 3 - 5. Which is bigger: u or h?
u
Let r = -0.31 + 2.31. Is r bigger than -1/4?
True
Let t = 0.7 + -0.67. Let m = t + 0.07. Which is bigger: m or 0?
m
Let b(f) = f - 5. Let k be b(7). Let r(w) = -w**2 - 3*w + 1. Let u be r(-3). Which is bigger: u or k?
k
Let c = 36 - 58. Is c greater than or equal to -22?
True
Let j(q) = 12*q**3 - 2*q**2 - q. Let n be j(-1). Let x be n/(-11) + 4/(-22). Which is smaller: 2 or x?
x
Suppose 5*l + 19 + 1 = 0. Let u(q) = -2*q**3 - 34*q**2 + 36*q - 3. Let v be u(-18). Which is smaller: l or v?
l
Suppose 2*a - z = -6, 0 = -5*a + 2*z - z - 12. Let v(o) be the first derivative of -o**2 - o - 1. Let k be v(a). Which is smaller: 2 or k?
2
Let a = -0.061 + 15.061. Is 0.1 at most as big as a?
True
Let s be 2 + (-7 - (-1 + 3)). Let p = 11 + s. Suppose d = p*d. Which is bigger: -1/3 or d?
d
Suppose -2*y - 2*x - 10 = 0, -20 = -4*y + 9*y + 4*x. Is y less than or equal to 1/49?
True
Let x be (-9 - 183/(-20))*(-4)/6. Suppose -3*j + 8*j = 5. Is j <= x?
False
Suppose -2*q + 2*g - 34 = 0, -5*q - 4*g + 0*g = 121. Which is smaller: -20 or q?
q
Let f be (1/(-3))/(1 - 138/180). Is f greater than 0?
False
Suppose l + 2*j + 1 = 2, -2*l + 3*j + 9 = 0. Suppose -5*a = i + 13, -2*i + 5*a = 3*i - 55. Suppose 5*c - l = -s, -4*c = c - s - i. Are c and 2 non-equal?
True
Let l = -51011/417 - -367/3. Which is bigger: l or 0?
l
Let l be (8/(-18))/(14/(-3)). Let m = -0.5 + 0.6. Are m and l equal?
False
Let i = 13 + -13.1. Which is smaller: 3/2 or i?
i
Let n = 73 - 78. Are n and 0 non-equal?
True
Let t(u) = u**2 + 9*u + 1. Let z be t(-9). Let g = -1 + z. Which is smaller: 2/3 or g?
g
Let d = -94 - -100. Let c(r) = -r**3 + 3*r**2 + 6*r - 5. Let j be c(4). Is j > d?
False
Suppose -2*u + 3 = -3. Suppose 3*t = -4*h + 5*t + 8, -u*h - 2*t = -20. Let f be (-48)/(-70) - h/10. Which is greater: -1 or f?
f
Let o(t) = -t**3 + 10*t**2 - 9*t - 3. Let v be o(9). Is v less than or equal to -3/2?
True
Let b(m) = m**2 + 4*m + 3. Suppose 9*i - 4 = 11*i. Let o be b(i). Is 0 smaller than o?
False
Suppose 0 = v - 4*u - 77, -v + 192 = 2*v + u. Is v <= 63?
False
Let j be -8 - (-2)/4*2. Let o(d) = -2*d**3 + 13*d**2 + 6*d. Let m be o(7). Is m smaller than j?
False
Let a = 0.9 + -0.5. Let h = a + -0.4. Let o = 37 - 31. Is o < h?
False
Let q = -6 - -2. Let s = -4 - q. Which is greater: s or -4/11?
s
Suppose a + a = 0. Is a equal to 1/17?
False
Let q = -10.99 + -0.01. Let f = 12 + q. Is 5 at least as big as f?
True
Let q = 1.7 + -1.61. Let l = -0.03 + q. Is l equal to 0?
False
Let n = 109692929/148089420 + -4/172197. Let s = n + 2/215. Which is bigger: 1 or s?
1
Suppose 20 = -5*r - 0. Suppose 7*f = 5 + 2. Let b be f*2*r/8. Are b and -2/19 unequal?
True
Let w = 18 + -9. Let j = w + -10. Is j > -1?
False
Let h be -4*(-2 + 10/8). Is h bigger than 3?
False
Let v = -72 + 74. Let m = -0.26 + -0.04. Let q = m + 0.1. Which is bigger: q or v?
v
Suppose 0 = -2*z - 6*z. Let h = 1 - 2. Is z >= h?
