(s). Let c be k(8). Is c > -4?
True
Let s = 0.54 + -2.54. Which is smaller: 1 or s?
s
Let b = -64 - -81. Is b smaller than 18?
True
Let y be ((-3)/(-2) - 2) + 2/(-28). Is -1 <= y?
True
Let u = 1.4 - 2.4. Which is smaller: 3/14 or u?
u
Let z = -7 - -11. Suppose -2*s = 3*d - 1, -2*s = -s + 3*d - 2. Let j be (-2)/(10/(-6) - s). Which is smaller: j or z?
j
Let t = 20/13 - 326/195. Which is bigger: t or 0?
0
Suppose -3*v = -h - 2 + 12, h - v - 4 = 0. Is h greater than or equal to 1?
True
Suppose -14*m + 17*m = 0. Which is bigger: 1 or m?
1
Let x = -113.1 - -113. Which is smaller: -0.013 or x?
x
Let j(y) = -y + 13. Let k be j(13). Let o = k - 1. Which is smaller: -7 or o?
-7
Let q = 26 - 53/2. Let d = 10 - 7. Suppose 4*s = d*s + b - 3, 0 = 5*b - 5. Is q > s?
True
Suppose -5*h + 39 = -4*w, 5*h - w - 4*w - 35 = 0. Are h and 11 unequal?
False
Let n = -2.7 + 2.5. Is n at least as big as -2?
True
Let j = 13 - 19. Let n be (-12)/(-2)*(-2)/j. Let u(z) = -z**2 + 6*z + 8. Let m be u(7). Which is smaller: m or n?
m
Suppose 7 = 10*c + 17. Is -3/31 equal to c?
False
Let p = -22 - -20.9. Let i = -0.44 + -0.56. Let q = i - p. Which is greater: q or -1?
q
Let c be 0/(-2) - (2 + -5 - -3). Suppose -3*y = -6*y - 6. Let d = y - -1. Are d and c nonequal?
True
Let v(m) = 2*m**2 + m. Let h be v(1). Let b = h + -1. Suppose -5*n + b*g + 31 = 0, 5 = 2*n - 2*g - 11. Is n greater than 5?
False
Let a(o) = -2*o - 7. Let b be a(-8). Is b <= 1?
False
Let k = -2648/7 - -108498/287. Which is smaller: k or -1?
-1
Suppose 4*b = 5*b + 6. Let x be b/(-36)*(-3)/(-2). Is 0 < x?
True
Let x be 3 - 16/6 - (-57)/(-117). Is x at least 1?
False
Let u = -3.58 - -24.88. Let s = -21 + u. Let d = -2 - -3. Which is smaller: d or s?
s
Let p be 64/10 + 2/(-5). Let h be (-4)/2 + (-4)/(-2). Let t = 2 - h. Is p at most t?
False
Let v(w) = w**2 + 11*w - 12. Let g be v(-11). Let n = -15 - g. Is -3 at most as big as n?
True
Let h = 65.2 + -65. Is h less than or equal to 61?
True
Let y be (7/(-2))/7 + -2. Which is smaller: -2 or y?
y
Suppose -z + 2*a = 6, -2*a - 4 = -4*z - 10. Which is bigger: 1/100 or z?
1/100
Let g be (0 + -1)*(-1 - 2). Suppose -f + g*f = 0. Is f not equal to -2/63?
True
Suppose -4*d = -2 - 2. Suppose -5*h + h - 16 = 0, 7 = 5*n + 2*h. Suppose -n*w - 10 = l + l, -4*w = 2*l + 14. Is l < d?
False
Let a be -3*(1 + 0) + 1. Let y be 9/195 + a/10. Which is smaller: y or 1?
y
Suppose 4*a - 20 = -2*c - 2*c, c - 2*a = 2. Is 4 <= c?
True
Suppose 0 = a + 7*z - 3*z + 5, 0 = -3*z. Let l(d) = -2*d - 11. Let r be l(a). Let p = 0 + 0. Which is bigger: r or p?
p
Let o = 0.19 - 0.09. Which is greater: 0.11 or o?
0.11
Suppose 0 = -b + 3*c - 11, 2*b + 5*c + 104 = 27. Does -26 = b?
True
Let k(f) be the first derivative of 8*f**3/3 + f**2 - f - 2. Let r be k(1). Suppose -i = 5*u + 3, 1 = 5*i - r. Is -3/2 less than u?
True
Suppose 4*i + i = 5. Which is smaller: 8 or i?
i
Let d(l) = l**2 - 2*l - 9. Let u be d(4). Which is smaller: 5/22 or u?
u
Let i be 9 + 0/(3 - 4). Let t = -10 + i. Is t bigger than -1/5?
False
Let g = 4/27 - -5/27. Is g > 8?
False
Let i be (-3)/1*10/(-24). Let l = i + -3/4. Let o(a) = a**2 - 2*a - 13. Let c be o(-3). Are c and l non-equal?
True
Suppose -2 = -2*r + v, 11 = 5*v + 1. Suppose 0 = -3*w - 5*u + 7, -r*u - 1 = 3*w - 2. Which is greater: -2 or w?
w
Let v(s) = 2*s**3 + s**2 - 2*s + 1. Let i be v(2). Let d = 18 - i. Which is smaller: -1 or d?
-1
Suppose -3*x = 2*x - 10. Let m = 6 + -6. Let u be 0 + (-3)/(-6) - m. Which is greater: x or u?
x
Let m = -206 + 178. Is -27 equal to m?
False
Suppose 4*k = -2*b - 12, 0 = -2*b + 6*b + k + 17. Is -3 at most as big as b?
False
Suppose -108 = -3*d - n, -5*d - 3*n = -n - 181. Let u be (10/d)/(6/14). Which is smaller: u or 0?
0
Let z = -2 - -2. Suppose g - 2 + 3 = z. Let q(h) = -h**2 + 3*h - 3. Let l be q(2). Is l < g?
False
Suppose -2*r + 0*r + 314 = 0. Suppose 2*v + 0*y = 3*y - r, 3*v + 3*y + 258 = 0. Let p = v + 251/3. Is p < 2?
True
Let t = 9 - 4. Let b(z) = -z**3 + 4*z**2 + 3*z + 3. Let h be b(t). Is h > -6?
False
Let k be 14/44 + 4/22. Let j be (3/(1/1))/1. Suppose -3*l + 0*l = -j. Does k = l?
False
Let f = -0.24 - -5.24. Which is smaller: -1 or f?
-1
Let h = -8 + 6. Let q be (h/(-4))/((-2)/12). Is -3 greater than q?
False
Let l = -6 - -8. Suppose -l*k = -1 + 3. Which is bigger: -3/4 or k?
-3/4
Suppose -2*t = t + 300. Let l = 108087/5 + -21717. Let o = t - l. Which is bigger: 1 or o?
1
Let v = 5.16 + 0.54. Let x = -6 + v. Let k = x + 0.2. Is 4 smaller than k?
False
Suppose -3*v + 2*v = 4. Which is smaller: v or -1?
v
Let q(f) = -f + 6. Let s be q(7). Is 1/13 at least as big as s?
True
Let k = -12 - -11. Which is smaller: 2/19 or k?
k
Suppose 4*l + w - 3 = -0, 0 = -5*l + 5*w - 15. Let x = -11/8 - -195/136. Are l and x nonequal?
True
Let i(c) = 4*c + 71. Let z be i(-18). Let m = 2 + 9. Is z less than or equal to m?
True
Suppose -39 = 6*p + 249. Is -47 smaller than p?
False
Let z(h) = 7*h - 41. Let l be z(6). Is 0 bigger than l?
False
Let r = 1 - -2. Suppose 4*z - 2*c = 3*z - 9, r*z = -5*c + 28. Let o = 0 + z. Is 1 less than o?
False
Let p = 4 + -2. Let f = 7 + -9. Let v be f*(3/2 - 3). Which is smaller: p or v?
p
Suppose y - q = -0*y + 3, 3*q = -9. Are y and 0 equal?
True
Let b = 5 - 4.4. Let o = b + -0.5. Which is bigger: o or 5?
5
Let k = 109/4 + -27. Is 1 <= k?
False
Let u = 1024/10089 - -2/531. Suppose -k = 0, 2*k = -5*g + 3*k. Is u bigger than g?
True
Suppose 38 = -3*r + 35. Let h = -5.9 + 5. Is r >= h?
False
Let v = 1.1 - 0.1. Let f = -4 - -13. Let m = 10 - f. Is v at most as big as m?
True
Let j be ((-2)/6)/(11/(-3)). Suppose -3*b + 9 = 3. Suppose -3*g - 17 = b*k + 2*k, 0 = -4*g - 2*k - 6. Which is smaller: j or g?
j
Let i = 1 + -2. Let d be (-30)/(-5)*(-1)/(-15). Is i bigger than d?
False
Let a = 1/42 - 97/546. Suppose 0*y - 10 = 5*y. Let z be 2/9 + y/9. Is a less than or equal to z?
True
Let s = -21 - -21. Which is greater: -2 or s?
s
Let v(u) = u + 10. Let d be v(-7). Let g = d - 1. Suppose i = -0*i + 4*f - 8, -i = -f + g. Are i and -1 nonequal?
True
Suppose -13*u = -2 + 2. Which is greater: 45 or u?
45
Suppose -4*o + 8 = 5*t, 0 = 4*t - 6*t - 3*o + 6. Suppose -2*k + 4*k = t. Let y be (k + (-1)/(-4))*4. Which is bigger: y or 2?
2
Let q = 25 - 35. Let d = 16 + q. Which is greater: -1 or d?
d
Let p be 1/(2/(-10)) + 1. Let q(d) = -5*d**2 - d + 1. Let a(r) = 15*r**2 + 3*r - 3. Let f(m) = 2*a(m) + 7*q(m). Let i be f(1). Is i at most p?
True
Let c(k) = 2*k**2 + 3*k. Let v be c(-3). Let r = -9 + v. Which is greater: 7/5 or r?
7/5
Let i = 179.8 + -180. Is 7/3 greater than i?
True
Suppose -33*l - 4 = -31*l. Is -9/2 at least l?
False
Suppose 0 = 3*r - 3 + 9. Let s(z) = -z - 2. Let h be s(2). Which is greater: h or r?
r
Suppose 14 = 3*k - 7. Let y = k - 8. Let z = y + 1. Is z less than -2/7?
False
Let r = 9 - 6. Let g be 4/r*6/44. Let w be 0/(0 - -1 - -1). Is w >= g?
False
Let m be 34/10 + (-14)/35. Let q be (m/9)/(1/(-3)). Which is greater: 1 or q?
1
Let j = -0.4 - -0.4. Let y = 0.14 - -0.06. Let h = y + 4.8. Are j and h equal?
False
Let z(i) = i**3 - i**2 + 2*i + 4. Let m be z(0). Suppose -m*a = -a. Let f = -126 + 880/7. Is f < a?
True
Let g = -35 + 106/3. Let n = 0.059 + 0.241. Which is greater: n or g?
g
Let s = -11 - -12. Is s less than -1/8?
False
Let x = -77/2 - -38. Do x and 0 have different values?
True
Let q(l) = -l**3 + 7*l**2 + l - 4. Let c be q(7). Let g(t) = t - 4. Let h be g(c). Which is greater: -2 or h?
h
Let q = 0.083 + 0.017. Which is bigger: 0.18 or q?
0.18
Let q = 3 + -4. Let j = 1.99 + -2. Is j < q?
False
Let p(n) = -n - 4. Let t be p(-5). Let q be 2/(-3) + (-78)/(-9). Let z(s) = s**3 - 7*s**2 - 9*s + 8. Let f be z(q). Is f != t?
True
Let u = -101 + 507/5. Let r = 47.1 + -47. Is u not equal to r?
True
Let g = 167 - 167.1. Is 11.2 at least as big as g?
True
Let y(x) = x. Let u be y(-11). Is -11 at least u?
True
Let d be 63/(-45) - 4/(-10). Let r = d + 1. Is r at least as big as 1?
False
Let y = 59 + -59.29. Let m = y - -0.09. Which is smaller: m or -2?
-2
Suppose 3*w + 9 = -3. Let c be 9/w + (-3)/(-12). Let f(l) = -2*l**3 - 2*l**2 + 2*l. Let a be f(c). Is 2 less than or equal to a?
True
Suppose -5 = -5*x + 5. Let c(w) = w - 5. Let g be c(8). Let p(b) = b**2 - 3*b + 2. Let i be p(g). Is i > x?
False
Let w = 211 + -212. Which 