g = 3*l - 107. Let v = g - 28. Which is smaller: v or 1/16?
1/16
Let c = 0.4 - -8.6. Let k = 23 - 24. Which is smaller: k or c?
k
Let k = 127.04 + -132. Let l = k + 5. Let c = -0.04 + l. Which is smaller: 0.4 or c?
c
Let v be (1 - -4)*2/(-5). Let x(o) = o**2 + 3*o + 3. Let u be x(v). Let k be (0 + -1)/(u - 0). Is k equal to -1?
True
Suppose -z + 2*p = 4*p - 6, 0 = 5*z + 3*p - 9. Which is smaller: z or -2/19?
-2/19
Let z(g) = -4*g**3 - 2*g**2 + 2*g - 1. Let i be z(1). Let y be 2/i + (-24)/(-35). Let w be (4 + -4)/(-1 + -1). Is w less than or equal to y?
True
Suppose -m + 5 = -8. Let y = -235 + 247. Is m bigger than y?
True
Let i = 26 - 27. Let s be i/(-6) - 10/(-12). Let n = -10/7 - -12/7. Is n greater than or equal to s?
False
Suppose 4*d = 2*d + 36. Let k be d/(-4) + (-9)/18. Is k at most as big as -5?
True
Let g be -1*2 + 12/4. Is -2/5 smaller than g?
True
Suppose -5*r = -2*v + 29, -21 = -v + 3*r - 4. Suppose 2*g = v*w + 12, 0 = 3*w + g - 0*g + 2. Let f = 4 + -4.1. Is w at least f?
False
Let o be (-3)/9*-16 + (-1)/3. Is o at least as big as 4?
True
Let q = -15 - -12. Is 3 less than or equal to q?
False
Let y = -146 + 589/4. Which is smaller: y or 1?
1
Suppose 0 = -j - j. Suppose 5*t - 12 = 13. Let a(x) = -x**2 + 4*x + 5. Let s be a(t). Is s > j?
False
Let n(i) = -i - 1. Let a be n(3). Let z be (-6)/a*30/9. Let v = 4 - z. Is -2/9 != v?
True
Suppose 0 = -5*w - 3 - 17. Let r be 2/(-4) - (-202)/(-4). Let d be (-1)/(-4) + r/12. Is d smaller than w?
False
Suppose 19 = w - 4*v, -17 + 1 = -4*w + v. Let m be 3/(-3) + 5*1. Which is smaller: w or m?
w
Let x(s) = 2*s**2 - 17*s + 6. Let c be x(8). Let h be c/9 - (-8)/9. Is -13 less than or equal to h?
True
Suppose 0*b + 3 = -b. Does b = -4?
False
Suppose 0 = -r + 5*i - 24 - 7, 4*i = -8. Which is bigger: r or 1/2?
1/2
Let q(l) = l**3 + 4*l**2. Let k be q(-4). Let s be 0/((-6)/3) - k. Let a = -49/584 + -3/73. Is a <= s?
True
Suppose 0*c = -5*c. Suppose c*v - 5*v - 15 = 0. Is v less than -7/2?
False
Let r = -29 + 31. Is r equal to -4/9?
False
Let i = -23 + 24. Which is greater: i or -0.21?
i
Suppose 3*z = 2*z - 680. Let q be (-2)/(z/82) + -1. Let f = -7/10 - q. Which is smaller: 0.1 or f?
f
Let s = -7 - -8. Is s at most 1?
True
Let v be (-1)/(-1 - (-2 + 2)). Let y = 0 + 4. Suppose -j - 5 = y*j. Which is bigger: v or j?
v
Let s = -0.069 - -2.469. Which is smaller: -0.1 or s?
-0.1
Let s = -107611/8 + 13472. Let p = -3119/152 + s. Suppose -4*z + 12 = -3*j, -j - 3*z + 5 = -4. Are p and j equal?
False
Suppose 34*t = 29*t + 5. Let v = 90/23 - 1957/506. Which is smaller: t or v?
v
Suppose -7 = -4*p + 5. Suppose 12 = -3*h + p*l, 0 = -h + 3*l - 7 + 1. Suppose -3*i = -4*a - 20, -4*a + 2 = 4*i - 6. Is h at least as big as a?
False
Suppose 5*b = -3*r + 6*r - 15, 3*b = -5*r - 9. Is -2/45 at least r?
False
Let g = 0.2 - -0.8. Suppose -u = -4*i - 19, 0 = 3*u + 3*i + 4 - 1. Let p be (u - 5) + (-14)/(-8). Which is smaller: g or p?
p
Let c = -2 - -8. Let w = c + -5.6. Is w <= 0?
False
Let h(t) = t**3 - 4*t**2 + 5*t - 2. Let r be h(2). Let j(y) = -y**3 + 9*y**2 + 10*y - 1. Let w be j(10). Is r bigger than w?
True
Suppose 0 = -2*i - 2, 1 = -2*g - 6*i + 3*i. Let t be (-2)/4 + (-1)/(-6). Is t < g?
True
Let k be 21*1/10*6. Let y = 12 - k. Which is greater: y or 0.1?
0.1
Suppose 0 = -6*c + 3*c. Do c and -11 have the same value?
False
Suppose 4*r = -r + 5. Suppose -4*t + 21 - r = 0. Is 3 smaller than t?
True
Suppose 3*f - k = -5, 2*f + 0 = -5*k + 25. Suppose x - 5*c - 9 = f, 0*x - 4*c - 24 = 2*x. Is -6 less than or equal to x?
True
Suppose 6*u = 4*u. Let c = 3 + -2. Let i be ((0 - 1)/5)/c. Does u = i?
False
Let v = 10 + -68/7. Let g(s) = -s**3 + 4*s**2 - 3*s - 1. Let b be g(3). Which is smaller: v or b?
b
Let r = -1.03 - -0.03. Which is greater: -10 or r?
r
Let s = -28/9 + 137/45. Let z be (2/8)/(15/19). Let u = s + z. Is 2/5 greater than or equal to u?
True
Let k = -20/9 - -109/45. Let p be ((-2)/(-3))/(14/21). Let x = -2 + p. Is x >= k?
False
Suppose 3*d + 12 = d - 3*f, f + 4 = 0. Let c = 5671/1609097 + 3/3521. Let t = 832/18737 + c. Which is smaller: t or d?
d
Let x = 90 + -49. Is -1 < x?
True
Suppose -5*c + 4*c = 1. Are c and -4 equal?
False
Let m = 0 + 6. Let g be (m/(-44))/(4/16). Is -1 equal to g?
False
Suppose 5*s - 67 = 4*m + 116, 6 = 2*s. Let i = m - -29. Which is greater: i or -12?
-12
Let d be 11/99*(-3)/4. Which is greater: 0 or d?
0
Let v(a) = a**2 + 7*a - 11. Let k be v(-10). Suppose k - 4 = 5*w. Suppose 2*i + 4*o = 6, 0*o = w*o - 9. Which is bigger: -4 or i?
i
Let m(c) = -c**2 - 11*c - 11. Let k be m(-9). Is k at least 5?
True
Suppose x + 4*p - 23 = 0, -2*x - 3*p - 79 = -4*x. Let h be (4/x)/((-2)/(-5)). Let j = 10 + -10. Is h != j?
True
Suppose 0*h + 5*h + 5*k = 20, k = 5. Are h and -10 nonequal?
True
Let i = 2 + -2. Let l(c) = -c**2 + c + 5. Let t be l(4). Let s = 7 + t. Does s = i?
True
Let w = 0.84 - 0.24. Is 0.1 greater than w?
False
Let m = 9 + -6. Suppose 5*l = 10 + 5. Is l smaller than m?
False
Let p be ((-9)/(-12))/(273/104). Is p >= -88?
True
Let m = -19 - -18.93. Does -2 = m?
False
Let m = -0.3 - 1.3. Let i = m + 1.6. Which is smaller: 11 or i?
i
Let c = -0.1 + 0.1. Let x = 94 + -91.95. Let o = x + -0.05. Which is bigger: c or o?
o
Let x = -9 + 8.9. Let a = -1 + -11. Which is greater: a or x?
x
Let y(z) = -4*z + 2. Let n be y(5). Let q be 3/2*3/n. Does 1/5 = q?
False
Let w be (8/60)/(2/(-12)). Let r = 0.35 + -0.35. Which is smaller: w or r?
w
Let f be 62/(-126) + (-6)/27. Is -2/9 bigger than f?
True
Let l be 1/(-5) - (-6498)/(-810). Is -7 at least as big as l?
True
Suppose 3*x - 7*x = -5*n + 31, -5*x = -3*n + 16. Let u be (n - (-3)/3)*1. Let d = 22 - 15. Which is smaller: d or u?
d
Let m = -110 - -99. Is m < -13?
False
Let c be 3 - 7 - (-68)/18. Let s = -3 - -4. Which is smaller: c or s?
c
Let g = 49 - 21. Suppose g + 28 = -4*z. Let s be ((-2)/z)/(1/2). Which is greater: s or 1?
1
Let w = -36.8 + 17.8. Are w and -5 non-equal?
True
Let c = 0 - -5. Let j = c + -3. Let a be 3/j - 2/(-4). Is a equal to 2?
True
Let j = -11/12 - -2/3. Let u = 8 - 6. Let b be u + -1 + 0/(-2). Is b at most j?
False
Let w(b) = b**2 - b + 10. Let z be w(0). Is z less than or equal to 1?
False
Let u be 2/8 + ((-33)/(-12) - 1). Is 9/16 at least as big as u?
False
Suppose o - 5*o = -108. Suppose 5*r + 13 = -3*y, 0 = -3*r - 0*r + 3*y - o. Let l = r + 4. Do -1/7 and l have different values?
True
Suppose -5*r - 1 = -16. Suppose -r*n - 9 = -p, 3*n + 3 + 6 = -2*p. Let v be (-1)/3 - n/(-9). Which is bigger: v or -2?
v
Let x be (0/(-1))/((-8)/(-4)). Which is smaller: x or 3/7?
x
Let a(z) = -4*z + 2*z + 3*z - 3. Let p be a(6). Let k = p - 2. Are 0 and k unequal?
True
Let a(q) = 2*q + 8. Let g be a(-6). Let u = -23.989 + -0.011. Let c = -22 - u. Is g != c?
True
Let x = 6 + -4. Let t be 1*(0/2 - 1) - -4. Suppose -x = t*v - v. Is v not equal to -1?
False
Suppose -g = 3*g + 8. Let m be g/(-7) - 38/(-14). Let o be 1/m + 0/(-2). Do 0.3 and o have different values?
True
Let d be (4 + -9)*18/(-5). Suppose -2*z = -3*z - 2*q + d, -2*z = 2*q - 26. Let w(v) = v**3 - 8*v**2 - 5. Let y be w(z). Is y > -6?
True
Let p be (-12)/(-18) - (-8)/6. Suppose -p*g = g. Which is bigger: g or 2/9?
2/9
Let h(i) = i**2 + 8*i - 2. Let m be h(-8). Let f = -927/5 - -184. Which is bigger: f or m?
f
Let n be -4*3/(-24)*-6. Let c be 0*(5/(-2) - n). Is -1 smaller than c?
True
Suppose 0 = 5*m - 6 + 16. Let x be (-11)/(((-28)/66)/m). Let d = x - -52. Which is smaller: d or 1?
d
Let n = -60 + 60. Which is bigger: 2/31 or n?
2/31
Suppose 3*q + 4*k = 49, -2*k - 13 = -3*q + 3*k. Let i be (-13)/(-11) + (-2)/q. Is -3/10 <= i?
True
Let h = -2/3315 - 62957/46410. Let t = 6/7 + h. Suppose 5*p + 20 = 0, -2*p = 4*q - 0*p + 12. Which is greater: q or t?
t
Suppose 0*u - 15 = -3*u. Let s be ((-9)/u)/3*-5. Do 3 and s have the same value?
True
Let t = 2 - -1. Suppose 11*k = 5*k. Which is smaller: t or k?
k
Let v be 2/4*(-4374)/11. Let c = v - -199. Is c > 0.3?
False
Let t = -104 - -118. Which is greater: 15 or t?
15
Let s(l) = -l**3 + 2*l - 3. Let m be s(-2). Suppose 0 = 4*y + 5*n + 25, -5*y - n = -4*n - 15. Are m and y equal?
False
Suppose 2*m - 10 = b, 5*b - 2*m + 35 = 3*m. Let c be ((-6)/(-5))/(b/(-10)). Let z(n) = -n**2 + 12*n - 8. Let s be z(11). Are s and c unequal?
False
Let j = -0.3 