be 2 + 2 + 2/q. Is 5 greater than t?
True
Let t be 1357/33*(59 + 5). Let n = t + -2632. Let o = n + 122/231. Are -1/3 and o non-equal?
True
Let x be ((-2)/(-3))/(2/9). Let v be (x/(-4))/(69/(-8)). Is v != 1?
True
Suppose -4*t + 7*t - 9 = 0. Suppose -t = -5*k - 13. Which is smaller: k or -1?
k
Let x = -19 - -19. Which is greater: x or -2?
x
Let v = -1.7 - -2. Let k = v - 0.3. Let d = k + -0.1. Are 1 and d unequal?
True
Let l = -14 + 10. Let a(g) = -g**3 - 5*g**2 - 3*g + 5. Let j be a(l). Is -2/21 smaller than j?
True
Let x be 1/(1/(-1 + 2)). Which is greater: 0.4 or x?
x
Let a = 5/56 - 3/8. Is 1 > a?
True
Suppose 4*x + 5*i - 5 = 0, -x - i = -0*x - 1. Suppose 3*p = 3*d + 27, x*d + 3*p + 22 = -4*d. Which is bigger: -6 or d?
-6
Let h(d) = d**3 + 7*d**2 - 8*d - 1. Suppose 3*u + 0 - 6 = 0. Suppose -u*k - 16 = -0*k. Let p be h(k). Is p <= 3/7?
True
Let c = -1/88 + -173/264. Which is greater: c or -12?
c
Let z(q) = -3*q - 3. Suppose -2 = -d - 4*h + 4, 0 = 4*h - 8. Let x be z(d). Which is greater: 4 or x?
4
Let m = 2849 - 82629/29. Which is smaller: 0 or m?
m
Let a be (9/15)/((-1)/(-5)). Suppose -5*z - 2*s = 83, -s + a*s = -8. Let y be 18/z - (-3)/15. Is -1 at most y?
True
Suppose p = 2*p - 27. Let i = -53/2 + p. Let j(v) = v**2 + 8*v - 7. Let g be j(-9). Is i at most g?
True
Let h(x) = -3*x + 11. Let i be h(3). Which is smaller: i or -1?
-1
Let v = -34 + 39. Which is greater: v or 3?
v
Let p = -15 + 39. Let u be (-3*(3 + -2))/(-1). Suppose -5*z + 11 = 3*l, u*z - 4*l - p = -0*z. Which is bigger: z or 3?
z
Let i = -127/21 + 19/3. Let n(c) = c + 4. Let v be n(-3). Let j = 2 - v. Is j != i?
True
Suppose -w + 2*w = 0. Let l = 25/117 - -1/117. Which is bigger: l or w?
l
Let q = 23 + -36. Let o = q - -21. Suppose -20 + o = -4*s. Is 3 at most s?
True
Let h = -15 - -14.12. Let a = h - -0.18. Let p = a + 2.7. Which is greater: p or 1?
p
Suppose -4*q - 4*a + 45 + 31 = 0, 2*q - a = 41. Is q <= 19?
False
Suppose 0*f + 3*f = -4*u - 15, -12 = 4*u. Is -1/77 at least f?
True
Let v be -4 - ((-3)/1 + -1). Is v at least -2/49?
True
Let q be -3 + 4 - 2/2. Let g be ((-2 - q) + 3)*0. Let h be 3/7*(-6)/9. Is g smaller than h?
False
Suppose -4*k = -4*t - k - 20, -k + 10 = -3*t. Suppose 2*x = -2 - 2. Is t <= x?
True
Let b be (-2)/(-12) + (-13)/6. Let r(m) = m + 2. Let p be r(-6). Is b bigger than p?
True
Let t = 59/825 - 5/33. Are 0 and t unequal?
True
Let m = -1279/5 - -9083/35. Which is smaller: 5 or m?
m
Let z be (-1)/(-2) + (-27)/6. Let a(k) = 3*k**2 + 19*k + 3. Let d be a(-6). Is z >= d?
False
Let r be -1 + (34/(-14))/(-1). Suppose -4*q + a + 6 = 0, 4*q - 3*q = 4*a + 9. Which is bigger: r or q?
r
Let o(v) = -v**2 - v - 1. Let a(u) = 4*u**2 + 9*u + 15. Let m(w) = -a(w) - 5*o(w). Let i be m(7). Do i and 11 have different values?
False
Let c = 621 - 16769/27. Is c at least 3?
False
Let c = -18.1 - -17. Let m = c - 2.9. Which is greater: m or 0?
0
Let y be (-4)/(-6) - (-10)/(-24). Which is smaller: y or -1?
-1
Let n(q) = -2*q**2 + 8*q + 16. Let j be n(-3). Is j bigger than -27?
True
Suppose 0 = n + 2*n. Let y be -1*2*(0 + -1). Let s be ((-6)/(-27))/(y/6). Which is bigger: n or s?
s
Suppose d - 5 = 2*h - 0, 0 = 2*h - 4*d + 20. Which is bigger: -0.07 or h?
h
Suppose 5*w + 4 = -56. Is w at least -11?
False
Let q = 0.02 - 0.12. Let z = 0.14 - -0.86. Which is smaller: z or q?
q
Let r = -15 - -21. Let u = r - 6. Which is bigger: u or -0.06?
u
Suppose -b - 335 = -5*s - 6*b, 4*s - 256 = 2*b. Let z = 46 - s. Which is greater: z or -20?
z
Suppose 45 = 4*q + s, 3*s = 2*q - 22 - 11. Let v be (-2)/q + 35/(-6). Is v greater than -6?
False
Suppose r + 0*r = -2*v + 8, 0 = -5*v + 3*r + 9. Suppose y = 3*h + 5 - 11, -5*h + 2*y = -9. Is h at most v?
True
Let w = 5 + -5.1. Is 1/10 <= w?
False
Let w(d) be the third derivative of d**4/24 + d**3/2 + 2*d**2. Let m be w(-4). Let h = 2 + m. Is h bigger than -1/3?
True
Let w = -26/21 - -4/7. Let s = 0.15 + -2.25. Let i = s + 2. Is i greater than or equal to w?
True
Suppose -5*g - 2 = 58. Suppose 25 = -3*t + 7. Let o be (-34)/14 + g/t. Is o > -1?
True
Suppose -5*o + 2 = -13. Suppose 5*b = o*b. Which is greater: 2/3 or b?
2/3
Let i be (-12)/15*(-5)/(-3). Let z = 0 - 1. Does i = z?
False
Suppose 18 = -4*b - 38. Is b > -13?
False
Let z = 0.8 - 0.3. Let d = -0.3 + z. Let j = -31 + 92/3. Is d equal to j?
False
Let r(u) = u**3 + 9*u**2 - 11*u - 13. Let h be r(-10). Suppose -2*x - 3 = -2*b + 1, -5*x = -2*b + 16. Let t = h - x. Is 2 equal to t?
False
Let c(f) = -f**3 + 13*f**2 - 11*f - 11. Let i be c(12). Is 0 <= i?
True
Suppose -i - 15 = -2*t + 11, -4*i = -3*t + 39. Let h = 13 - t. Let a = -0.1 - -1.1. Is h less than a?
True
Let l be 8*(0 + (-15)/6 - -2). Is l at least as big as -18/5?
False
Let g be (-17)/(-18)*3 + -3. Does 0 = g?
False
Let q = 20 + 4/3. Let w = q - 150/7. Is 1 bigger than w?
True
Suppose -8 - 34 = -7*m. Which is bigger: 1 or m?
m
Let z be (-1)/(-1) + 1 + -43. Let b = z + 25. Is b > -17?
True
Let d = -7777/1384 + -1/173. Let l = d - -167/24. Is 1 less than or equal to l?
True
Let a = 6 + -4. Let z(n) = n - 10. Let t be z(9). Let p = t + a. Which is bigger: 0 or p?
p
Let l be ((-416)/(-5936))/(2/6). Let z = -4/53 - l. Is z less than 2?
True
Let y(q) = -q**3 + 5*q**2 + 6*q + 5. Let g be y(6). Suppose -g*i + n = 12, 6*n - 4*n = -4*i - 4. Is i at least as big as -3/2?
False
Let y = 1.9 + -1.97. Is y less than or equal to 0?
True
Let u(b) = 7*b + 3. Let k(j) = -4*j - 2. Let h(t) = -5*k(t) - 3*u(t). Let w be h(3). Is -5/6 < w?
False
Let z be 82/6 - (-2)/6. Suppose 5*u - 4*n = 2*u - z, -5*u + 2*n = 0. Suppose 0 = -u*p + 8 - 4. Is 2 equal to p?
True
Let p = 37 + -21. Are -1 and p nonequal?
True
Let c be (-1)/((1/(-3))/(-1)). Are -3 and c equal?
True
Suppose 5 = 5*w + q, -3*w + 4 - 1 = -3*q. Is 2/17 at least w?
False
Suppose -4*l + 152 + 4 = 0. Is 40 >= l?
True
Suppose -17*h = -20*h + 3. Is h <= 10?
True
Let g = 24.85 - -0.15. Let q = g + -25.1. Is -6 bigger than q?
False
Let d = 22 - 19. Which is greater: 2 or d?
d
Let n(i) = -i**2 - 7*i - 9. Let y be n(-4). Suppose -2*q - 6 = -h, 3*h - 6 = -3*q + 3. Is h less than or equal to y?
False
Let m = 2 + -1. Let p = 2 - m. Is p at most 0.4?
False
Suppose -3*k + 11 + 26 = -5*n, 0 = 3*k - n - 17. Is k greater than or equal to 26/5?
False
Let d = 21 + -13. Let j = d - 6. Suppose j*l - l = -1. Which is greater: -2 or l?
l
Let j be 2*(-28)/(-22)*1. Let l = 301/88 - j. Is 1 less than l?
False
Let m(v) = -2*v - 2. Let b be m(-3). Let w be b/(-63) - (-2)/(-9). Is 0 != w?
True
Let r = 1.1 + 2.9. Let q = r + -3. Is q > -2?
True
Let r be 1/(-3) + (-28)/(-21). Suppose 0 = -4*x - t - 21, -4 + r = x + t. Which is smaller: x or -7?
-7
Suppose n = 1 - 6. Let c = -15 - -16.1. Let u = c + -0.1. Is n greater than u?
False
Suppose 4*i - 2 = 6. Let c = -143/21 - -57/7. Is c >= i?
False
Let b = -13391/62 - -216. Let n = 113995 - 21203135/186. Let p = n + b. Is -1 != p?
True
Suppose 3*s - 6 = 5*s. Is -4 != s?
True
Let h be ((-9)/(-30))/(6/(-8)). Is 0.2 >= h?
True
Let i = -22 - -31. Suppose 0 = -5*o + 1 + i. Is 2 <= o?
True
Let q be 0 + 2 + (-1 - -5). Suppose y - q*y = 0. Which is smaller: -4/3 or y?
-4/3
Suppose -12 = 3*v - 3*a, -4*v + 0*a - 16 = -a. Let b = v - -5. Suppose -4*d = 2*c + 2, 0*c = c + 5*d + b. Is -3/7 >= c?
True
Suppose 0 = q + 4 + 6. Which is smaller: -7 or q?
q
Let q = 0 + -0.2. Let o = 1.7 - -0.3. Is o less than q?
False
Let i = -8 - -12. Let x(v) = -4*v - 4*v + i + 7*v. Let n be x(5). Which is greater: n or 1/4?
1/4
Let j = 0.4 - 0.3. Let b = 0 + j. Let r = -0.1 + b. Is r less than or equal to 2/7?
True
Let s = -13 + 26. Suppose s = -2*o + 5*j, 4*o = -j - 4 + 11. Let b = 37 - 112/3. Do o and b have the same value?
False
Let t = -1/211 + -389/6963. Which is greater: 1 or t?
1
Let j be (-2)/(-9)*(-534)/(-8). Let d = j - 341/24. Is d <= 1?
True
Let i = -69 + 67. Let n = 130/7 - 18. Is n >= i?
True
Let g(c) = 3*c**2 + 2*c + 5. Let a be g(4). Which is smaller: 60 or a?
60
Let n(x) = -x**3 - 12*x**2 - 11*x. Let m be n(-11). Let l(w) = 4*w**2 - w - 1. Let b be l(2). Suppose 3*g = -9, -r = -5*r + 3*g + b. Is m >= r?
False
Let j be -5 + (1 - 0) - 188/(-38). Which is greater: 1 or j?
1
Let l = -150 + 293/2. Is l > -1?
False
Let d = 18 - 16. Suppose 2*m = d - 0. Are m and -1/5 non-equal?
True
Let s be ((-2)/4)/((-15)/