e -4*h + 0*o = 5*o - 19, 0 = -5*h + o + 2. Let j(m) = m**2 - m + 1. Let g be j(3). Let i = 10 - g. Which is smaller: i or h?
h
Let w = 12.7 + -8.7. Is -0.1 less than or equal to w?
True
Let c = 0 - 0.1. Let a = 103 + -106. Which is smaller: c or a?
a
Let n = 43 - 43.6. Is n at least 1?
False
Let u = -11 - -10.8. Let l = 1.97 + 0.03. Is u at most as big as l?
True
Suppose -38 = 3*d - s, 3*d + 0*d + 4*s + 28 = 0. Let n = d - -85/7. Suppose 5*g - 2*t = -10, -2*t + t = -2*g - 5. Which is greater: n or g?
n
Let x be -1 - (3 + -2 - 18). Let f = -11 + x. Suppose -f*i + 2*i - q = 0, -i = -q. Do -3/5 and i have different values?
True
Let d be 4520/30*2/(-8). Let y = d - -38. Let i be -2 + 2 - (-1 + 1). Is y at least as big as i?
True
Let h = 3 + -4. Let y be 3/(-2 + h)*-4. Let l be ((-2)/(-12))/(2/y). Which is smaller: -1/3 or l?
-1/3
Let q(d) = -d**2 + 5*d - 2. Let g be q(6). Suppose -p - 6 = -0. Let t = p - g. Is 2 != t?
False
Let t(b) = -b**3 - 8*b**2 - 2*b - 11. Let n be t(-8). Suppose -4*g = -n*g - 2. Let f be (-1)/(((-4)/2)/(-6)). Which is bigger: f or g?
g
Let g = 2.8 + -2.8. Which is greater: g or 2.2?
2.2
Let x(r) = -r**3 + 10*r**2 - r + 8. Let t be x(10). Let l be (3 - (t + 2))*2. Let b be l/(-1*(-1 + 3)). Which is bigger: -4 or b?
b
Let q(x) = 2 - 3*x + 0*x**2 + x**3 + 0*x**2 - x**2. Let l(u) = -u + 9. Let m be l(7). Let w be q(m). Is w at most -1?
False
Let m be (188/(-10))/(2*(-1)/5). Which is smaller: 48 or m?
m
Let y = 0 - -9. Let l = y - 5. Suppose l*d - 3 = 1. Is 2 > d?
True
Suppose 0 = 4*p + 4 + 20. Let u be ((-4)/(-68))/(3/p). Is u >= -1?
True
Let t(y) = y**2 - 8*y - 11. Let w(k) = -k**3 + 10*k**2 - 8*k. Let n be w(9). Let f be t(n). Let m(p) = -p**2 - 2*p - 3. Let o be m(-2). Is f smaller than o?
False
Let p = -0.23 + -9.77. Let c = p + 7. Let w = 26 - 25.9. Is c != w?
True
Let l be (-2)/(-3)*3*(-26)/(-8). Is 6 >= l?
False
Let h = -2/2073 - -6681/1382. Let d = -19/6 + h. Is 1 not equal to d?
True
Suppose 0 = -3*b + 3. Suppose 0 = -2*r + k + 3, 3*r - 6*r - 4*k = -32. Let q be 2/r + b/2. Are 1 and q non-equal?
False
Let d = -4 - -8. Suppose 3*q - 12 = 0, -5*b = -q + 2*q - d. Suppose b = -5*w + 25. Which is greater: w or 6?
6
Let r = -0.09 - -0.39. Let a = r - 2.3. Which is bigger: -0.5 or a?
-0.5
Suppose 3 - 5 = -2*a. Suppose 4*c = -a + 25. Let s be (-8)/18 + c/(-27). Is s at most -2?
False
Let q(f) = -f**2 - f + 4. Let w be q(0). Let c be (w/(-2) + 0)*-7. Let z be (2/(-1))/c*2. Are -1/5 and z nonequal?
True
Let g = -1273/30 - -127/3. Let c = 0 - -1. Which is greater: g or c?
c
Let s = -14 - -19. Suppose 0 = -s*b + 5*v - 10, 3*b + 1 = 6*v - 8*v. Let i = -1 - -0.98. Is b greater than i?
False
Let h = 10 + -5. Let c(m) = -m**2 + 4*m + 6. Let o be c(h). Which is greater: 4/5 or o?
o
Suppose 0 = -4*h + 2 + 6. Suppose -4*w = a - 14, -3*w + 13 = -a + 2*w. Let n(m) = 2*m - 2. Let x be n(a). Is h less than x?
False
Suppose -2*g - 92 = 2*f, -g - 187 = -2*f + 6*f. Which is greater: -48 or f?
f
Let w(k) = k - 5. Let r be w(6). Let i be (-6)/2 - 222/(-78). Which is bigger: r or i?
r
Let z = -13 + 7. Let h be 16/12 - (-4)/6. Is h > z?
True
Let u(s) = -s**3 + 6*s**2 + 6*s + 8. Suppose -4*n = -8*n + 28. Let i be u(n). Is i <= 0?
False
Let m(k) = -k**3 + 2*k**2 + 2*k + 3. Let s be m(3). Let l = -8 - -6. Let d = 11/5 + l. Which is bigger: d or s?
d
Let u = 3.2 + -2. Let g = u + -6.2. Let q = 3 + g. Are q and 1 equal?
False
Let f = 85.7 - 93. Let m = 6 + 1. Let n = m + f. Are n and -0.1 equal?
False
Suppose 0 = -5*a - 4*c - 20, -2*a + a = -4*c - 20. Let v = -361 - -2519/7. Is v at most as big as a?
True
Let q(c) = -5*c + 1. Let y be q(4). Let o = y + 13. Let l be (-2)/o*(-4 + -5). Are -1 and l nonequal?
True
Let l = 0.7 + 0.3. Which is smaller: 5 or l?
l
Let w = 9 + -5. Let x(g) = -2*g + 4. Let b be x(w). Let a(u) = u**2 + 5*u + 3. Let d be a(b). Which is greater: -2 or d?
d
Let p = -180/13 - -4834/351. Suppose b + 6 = 4*b. Suppose b*o = o. Which is bigger: o or p?
o
Suppose 2*u = 6*u - 12. Suppose u*t = -t - 4. Let r = 1209/7 + -173. Do t and r have different values?
True
Let k = 5 - 6. Let n = -2 - -4. Let i = 0 + n. Is i smaller than k?
False
Suppose 0 = 8*j + 31 - 79. Which is bigger: 33/5 or j?
33/5
Let p(s) = s**2 - 7*s - 4. Let a be p(7). Let g be (-8)/(-20) + a/(-15). Suppose 0 = 4*c - 3 - 1. Is g greater than c?
False
Let h be ((-54)/117)/(1/(-603)). Let v = h - 278. Which is greater: v or -1?
v
Suppose -3*m = -7*m - 24. Suppose -u + 12 = u. Let y = m + u. Is -1/8 equal to y?
False
Let z = -6 - -11. Which is smaller: -1/5 or z?
-1/5
Let z be 3/30*6*5. Suppose c - z*j - 2*j = 0, -3*c - 4*j = -19. Suppose 40 = -3*i - 4*l + 11, 0 = -i - c*l - 28. Does -2 = i?
False
Let d(w) = 6*w**3 - 2*w. Let u be d(2). Is 43 at most as big as u?
True
Let p = 0.02 + -2.02. Let t = 2.04 + p. Let q = t - 0. Which is greater: -1 or q?
q
Suppose -3*l + 60 = 189. Let g = -71 - l. Let w be ((-6)/g)/(9/(-12)). Are w and 1 equal?
False
Let u be 51/(-55) - (-1)/5. Let n = -126/143 - u. Which is smaller: 1 or n?
n
Let g(s) = -4*s**3 - 5*s**3 + 8*s**3 - 4*s**2. Let d be g(-4). Let k be ((-1)/5)/(2/(-5)). Which is smaller: k or d?
d
Suppose 6 = -3*v + 3*u, -5*v - 3*u = -0*u + 10. Is v greater than -4?
True
Let l = -0.94 - 0.46. Which is greater: l or -0.1?
-0.1
Let z be -3*10*(-2)/(-132). Suppose -2 - 8 = 10*x. Which is bigger: x or z?
z
Let b be (-2)/2 + (-176)/(-272). Which is bigger: 0 or b?
0
Let l = 32 - 29. Is l > 3?
False
Let x(y) = y**3 - 9*y**2 + 2*y + 1. Let q be x(9). Let r = -56/3 + q. Is r less than -2?
False
Let i = -10 - -13. Is -2 not equal to i?
True
Suppose 0 = 3*d + 12, -2*s + 42 = 3*s - 3*d. Let m be (-9 + (-30)/(-6))/(1*-1). Are m and s non-equal?
True
Let o be 5 - (5 + 3/(-7)). Which is greater: o or 1?
1
Let y = 2223/10 - 222. Do y and 0.2 have the same value?
False
Let c(q) = -q**3 - 2*q**2 + 1. Let j be c(-2). Suppose -4*b = -2*m + 2, -2 = b - m + 2*m. Let z = b - j. Is z at least -5/2?
True
Suppose 3 + 1 = 2*h. Let b = h + -2. Suppose b = 3*z + 2*z + 10. Which is smaller: 0 or z?
z
Let z(s) = s**3 + 6*s**2 - 1. Let y be z(-6). Let a = -49 + 47. Is y not equal to a?
True
Let x(q) = q - 13. Let b be x(14). Which is smaller: -4/81 or b?
-4/81
Let c = 5 - 3. Let p = 0 + c. Do p and 1/7 have different values?
True
Let h = -10/14297 - 9621771/157267. Let t = h - -61. Suppose 1 = -y, -4*q = -5*q - 3*y - 4. Is t bigger than q?
True
Suppose -4*s + 6 = -m, -5 - 9 = -5*s - 2*m. Let t be ((0/2)/2)/1. Suppose -5*o - 2*d + 15 = t, -6 = -2*o - 4*d + 3*d. Which is smaller: s or o?
s
Let s = -14.47 - -13.8. Let c = 0.6 + s. Let v = -0.93 + c. Is 1/3 greater than or equal to v?
True
Let s = -15 + 14. Does -0.07 = s?
False
Let h = 46/7 - 286/35. Let n be 1/((-4)/(-24)*-3). Is h less than or equal to n?
False
Let p be 1/2 - 6/4. Let c be (2 - p)*(-3)/9. Let h = -1 + c. Which is smaller: h or 1?
h
Let u = -2/25 - 19/75. Let x be (0 + -6 - -5) + -11. Which is smaller: x or u?
x
Let k be (-624)/(-882) + 4/(-6). Is k less than 1?
True
Let v(h) = h**3 - 13*h**2 - 14*h + 5. Let q be v(14). Suppose 3*y = -q*f - 13, 0 = -4*y + f - 6*f - 19. Is -6 at least y?
True
Let g = 102 + -103. Does -5 = g?
False
Let n = -0.01 - -0.11. Let g = 1.14 + -1.1. Let z = g + 0.06. Is z smaller than n?
False
Let s(f) = -f**2 - 14*f - 1. Let p be s(-13). Suppose -3*d = 3*v - 15, v = 4*v - p. Which is greater: 0 or d?
d
Let b(s) = 109*s. Let q be b(1). Suppose -659 = 4*o + q. Let r = -1726/9 - o. Are r and 1 non-equal?
True
Suppose 3*w - 2*t = -123, 0 = 2*t + 4 + 2. Is -45 equal to w?
False
Let q(v) = v**3 - 6*v**2 - 6*v - 3. Let j(o) = o**2 + o - 3. Let b be j(0). Let s be (-1 + 8)/(b/(-3)). Let x be q(s). Which is smaller: 5 or x?
x
Let o(h) = -6*h**3 - h**2. Let u be o(-1). Suppose 4 = u*j - 1. Suppose -j = -5*i - 2*z - 11, -i + 3*z + 15 = 0. Is i at most -1?
False
Let d = -15 - 8. Let z = -24 - d. Let a = 518/5 - 103. Is z equal to a?
False
Suppose 7*u - 62 = 8*u - 3*h, 3*h = 4*u + 248. Is u less than -62?
False
Let k(p) = 2*p + 2. Let h be k(-1). Which is bigger: 9 or h?
9
Suppose 0*j = -3*j + 420. Let w = 415/3 - j. Is w greater than or equal to -3?
True
Let t(c) = c**2. Let x be t(1). Let w be ((-11)/15)/(x - 0). Let b = w - -107/105. Is b less than -2?
False
Let q = 1895/6 - 315. Does