. Let j be x(5). Suppose 8 = -0*h + j*h. Let z = 1.1 + -1. Which is smaller: h or z?
z
Suppose 2*q + 2 = -2*o, 5*q - o = 3*o - 5. Is -2/21 <= q?
False
Let o = 0.8 - 1. Let b = o - -0.2. Let u = 2 + b. Is 0 > u?
False
Let k = 8 + -8.1. Let o = -0.5 + k. Let q = o - -0.8. Is 2/11 less than q?
True
Let z = -122 - -852/7. Which is bigger: -2/17 or z?
-2/17
Let n = -3.19 + 3.4. Let p = n + -0.2. Is p less than -1/4?
False
Suppose 0 = -5*g + 3*g + 6. Suppose -3*f - 6 - g = w, -3*f - 15 = -w. Which is bigger: 4 or w?
4
Let u be 4/(-6) - (-5)/3. Let t be 2/3 - u/3. Let k = 9 + -8.7. Are k and t unequal?
True
Let i = -4 - -3. Let f be (-3)/(-6) + i/2. Let b = -0.02 + 0.02. Is b bigger than f?
False
Let f = 32 - 30. Is f not equal to 2?
False
Suppose 976 = 4*l + 5*x + 238, 4*l + x - 746 = 0. Let s = l - 2430/13. Which is greater: 1 or s?
1
Let q = 3.71 + 1.19. Let p = q + -5. Let a be (-50)/60*(-4)/(-15). Which is smaller: p or a?
a
Let o = 2 + -17. Is -15 >= o?
True
Let l = -0.963 - 0.037. Is -0.11 less than l?
False
Let j = -11 + 10.8. Let q = -0.2 - j. Let d = 1 + q. Is -2 less than or equal to d?
True
Let d be (9/1)/(-2 - -7). Suppose 5*s = -5*i + 10, -2*s - i + 1 = 4*i. Are d and s unequal?
True
Let n = -123917/15 + 8256. Let m = -2/109 + -2065/327. Let r = m - n. Which is smaller: r or -1?
r
Let s = -4 - -3.6. Let y = 0.01 - 0.31. Let k = y - s. Which is greater: k or 0?
k
Let q = -0.099 + -5.801. Let u = q + 6. Let s = 0 + u. Do s and 3 have the same value?
False
Let w = 3 - 0. Let z(l) = 26*l**3 + l**2 - l + 1. Let a be z(1). Let i be w/(-2)*4/a. Is i equal to 1?
False
Let q be -2*(-1)/12*-4. Suppose -4*x = 2*m - 2, x = 3*x + 3*m - 7. Is x less than q?
True
Suppose y + 4 = 5*p, 3*y = -p + 3*p + 1. Does -5/11 = p?
False
Suppose -9 = 3*l, -4*l = 3*i - 6*l - 54. Let s = i - 13. Which is greater: 5 or s?
5
Let y = -2 + 3. Let h = -1/2 - y. Let r be ((-12)/3)/4 - 0. Is r <= h?
False
Let i = 82861/6 - 13865. Let m = 54 + i. Which is greater: m or -1?
m
Let w = -5 + -3.9. Let f = 9 + w. Which is smaller: f or -1/3?
-1/3
Let s = 15 + -9. Let j = 3 - s. Let n = 863/5 - 173. Which is bigger: n or j?
n
Let n(j) = j**2 - j - 1. Let m be n(3). Let k = -5 + m. Which is bigger: -3/11 or k?
k
Suppose -3*j - j + 4*x + 16 = 0, 3*j - 14 = 4*x. Let n be ((-14)/(-35))/((-16)/(-30)). Which is bigger: j or n?
j
Let p = 13.3 + -12.69. Which is smaller: p or 1?
p
Let l be (-105)/(-14)*(-2)/(-3). Suppose -l*a = -a. Is a equal to 2/5?
False
Let y be (2 - 15) + (1 - 1). Let h = 27/2 + y. Which is smaller: 2 or h?
h
Let u = 44 - 62. Which is smaller: 0 or u?
u
Let s be -2 + 2 + 2 + -2. Let f be 77/(-190) + (-2)/10. Let v = f - -2/19. Which is smaller: s or v?
v
Suppose -4*k - 4*r + 13 + 3 = 0, -4*r + 20 = 5*k. Let p be k/(-10) - (-5)/(-50). Which is smaller: p or -2?
-2
Suppose -3*l - 5*h + 10 = 0, 2*l + 4*h - 1 = 7. Is 5/6 bigger than l?
True
Suppose -3*b + 40 = -2*q, 2*q + 0*q = -5*b + 40. Suppose b*o - 5 = 5*o. Which is smaller: o or 5?
o
Let s(w) = -w + 1. Let r be s(4). Let g = r + 4. Let x = g + 0. Is 2/7 at most as big as x?
True
Suppose -2*o + 2*j + 14 = 0, -3*o + 2*j + 9 = -2*o. Which is bigger: -1 or o?
o
Let g = -9 + 15. Let n(t) = t - 5. Let b be n(g). Let o be (0 - -1)*1/5. Is o equal to b?
False
Let p = -5 + -1. Let w be -5 + 6 - 3*1. Let q be (w/20)/(2/8). Is p less than q?
True
Let j = 31 + -26. Are j and 17/3 unequal?
True
Suppose q = -3*l + 5, l - 2*q = -0*q + 4. Let s be (-6)/9*l/8. Is s at least as big as 0?
False
Let l = 0.12 - 0.32. Let q = 2 + -2. Let m = q - 0.1. Which is greater: l or m?
m
Suppose -2*m - 3*m + 45 = 0. Let g be (16/10)/(2/10). Let a = m - g. Is a greater than or equal to 1?
True
Suppose 0 = 8*x - 6*x + 10. Let u(r) = -r**3 - 4*r**2 + 5*r + 2. Let m be u(x). Which is smaller: m or 1?
1
Suppose i - 4*i = -3. Which is greater: i or -5/2?
i
Let v = -113 + 111. Which is smaller: v or -9/5?
v
Let x be 956*(-2 - -5)/12. Let k = 1040/21 + 16021/84. Let w = x - k. Which is greater: -2 or w?
w
Let q = -3/190 + -7/38. Let j(w) = -w**3 - 6*w**2 + w + 7. Let u be j(-6). Are q and u non-equal?
True
Let b = -1 - -5. Suppose 2*v - 2*d + 10 = 0, -b*v = v - 3*d + 19. Let q(h) = -h**2 + 4*h - 3. Let t be q(3). Is t < v?
False
Let u be 1*-2 + 1 + 5. Let o(s) = -s - 3*s - u + 3*s. Let a be o(-3). Does a = 1?
False
Let u = 9.6 + -1.6. Let i = -7.7 + u. Let q = -0.7 - i. Is q greater than 0?
False
Let i(d) be the third derivative of -d**4/24 - d**3/2 + d**2. Let w = 13 + -17. Let c be i(w). Which is smaller: c or 3?
c
Let a be (-4 + 6 + -3)*0. Let n = 109 + -871/8. Is a at least n?
False
Let q = -23.9 - -23. Let d = q - -0.8. Which is bigger: d or 2?
2
Let n = 15 + -11. Is n != 4?
False
Let y be 54/12 - 2/4. Suppose 0 = y*w - w. Suppose -j + w*j = 2. Which is smaller: -3 or j?
-3
Suppose 0 = 5*b - 11 - 29. Let n be (-6)/b - (-3)/(-12). Let c be n/1 - 0/5. Is -0.1 > c?
True
Let z = -32 + 13. Let w = -18.9 - z. Is -0.21 smaller than w?
True
Suppose 0 = 4*c + 4*a - 24, -3*c + a + 5 + 5 = 0. Let u be 6/c*(-76)/6. Is -19 at least as big as u?
True
Suppose g - 2*q + 11 = -23, 5*g = -5*q - 140. Let z = -25 + 23. Let c be z/3 + (-29)/g. Does c = -1?
False
Let b = 493/77 + -94/11. Are b and -2 unequal?
True
Let p = -1.35 + 0.24. Let h = p + 0.11. Do -1 and h have the same value?
True
Let j(g) = -g - 9. Let z be j(-10). Suppose -3*h + 2 = n, -15 = 3*h + 5*n - z. Is h not equal to 1/2?
True
Let k = 1.7 - 0.7. Let p = -2 - k. Which is greater: 0.3 or p?
0.3
Let l(j) = j**2 - 6*j + 7. Let y be l(6). Let v = y + -5. Suppose -i - 36 = -4*f - 6*i, 0 = 5*f + v*i - 28. Are 3 and f non-equal?
True
Let j = 571/4 - 207. Let p = j - -64. Let f be -1*1/2*0. Which is smaller: f or p?
p
Let a = 42 + -43. Which is bigger: -1/5 or a?
-1/5
Let t = 37 - 37. Let b = 3/59 + 153/472. Is t greater than b?
False
Let q = 7 + -3. Let z = 0 + q. Is z bigger than 1/3?
True
Let x be (-24)/21 + -2 + (5 - 2). Are x and -1 equal?
False
Suppose 5*w + 5*k - 2 - 3 = 0, -4*w - 5*k = 1. Do w and 5 have the same value?
False
Let g = -24 - -23. Is g less than or equal to 12?
True
Let r be (-54)/(-15) + 6/15. Let g be (-7)/4 - 1/r. Suppose 4*p - 1 = -5*y - 0, 4*p = 2*y - 6. Which is bigger: p or g?
p
Let x(n) = n**2 + 0*n - n + 1 - 2*n - 2*n. Let b be x(5). Which is greater: 3/8 or b?
b
Suppose 2*u - 5*u = 99. Let f be (-159)/u + (-2)/(-11). Is 4 greater than f?
False
Let a = -2 + -2. Let b be (6/2)/(3/a). Which is smaller: -3 or b?
b
Let h be (-3)/(((-27)/(-6))/(-3)). Let s be 5 + -5*14/16. Is h greater than or equal to s?
True
Let f(r) = r**3 + 6*r**2 - 7*r - 1. Let j be f(-7). Let x be (-1)/14 + j/(-2). Is x at most 1?
True
Let q = 0 - 1. Are 0 and q unequal?
True
Let d = 13 - 8. Let f be -4*(d/(-4))/1. Suppose -2*q + 3*o + 21 = 0, o + 4*o + 9 = -q. Is f >= q?
False
Let m(j) = j**3 + 5*j**2 - 6*j - 4. Let h be m(-6). Are h and -3 non-equal?
True
Let c = 60 - 46. Which is bigger: c or 0?
c
Let d = -5530 - -210155/38. Let q = d + 2/19. Which is greater: q or 2?
2
Suppose 3*j - 16 = 5*w, 4*j = -w - 1 + 7. Is 5/4 bigger than j?
False
Suppose -2*c = a - 7, -2*a - 49 = -7*a + 4*c. Suppose -i = -4*i + a. Suppose -2*q + i = 7. Which is bigger: -3/4 or q?
-3/4
Let k = 21 + -17. Suppose s - 6 = -s. Which is greater: k or s?
k
Let u(i) = -i - 5. Let b be u(-4). Let d be 1/(3*b/(-27)). Let w(y) = y**2 - 9*y + 1. Let g be w(d). Are g and 1 equal?
True
Suppose -2*j + 4*j - 8 = 0. Let z = -31 - -35. Is j less than z?
False
Let l be 706/354*1 + -2. Let m = -113/885 + l. Which is bigger: 1 or m?
1
Let u be (6/5)/((-30)/(-225)). Which is smaller: u or -2/3?
-2/3
Suppose 1 = -2*m + b, -b + 4 = -5*m + 3*b. Suppose m*s + 2*s - 4 = 0. Let t = -6 + 8. Is s at least as big as t?
True
Suppose -3 + 3 = -10*c. Is c less than 2/97?
True
Let n = -266/5 - -53. Is n greater than -1?
True
Let p(t) = -4*t + 6*t + 6*t - 4 - 3*t. Let r(y) = -14*y + 13. Let n(h) = -11*p(h) - 4*r(h). Let v be n(11). Which is bigger: 4 or v?
4
Let h(z) = -z + 14. Let q be h(15). Is 2/41 at most as big as q?
False
Let w = -3.3 - -65.3. Is -0.1 < w?
True
Let m = 1 - -1. Suppose -b - 1 = -m*b. Is b not equal to 2?
True
Let w(l) = 3*l + 1. Let z be w(-2). Is z < -7?
False
Let l(j) = j**3 - j**2 + 4*j - 4. Let v be l(3). Suppose -x - 3*x = 2*i + 48, 0 = 3*