45)/24*u/(-6). Is t < 2?
False
Let r = -6 - -14. Suppose -3*s - y = -3*y + 37, -4*s - y = 42. Let c = s + r. Is -2 equal to c?
False
Suppose -w + 9 = 10. Let a be (-2)/12 + 15/(-54). Are w and a nonequal?
True
Suppose 1 + 15 = -4*q - 2*f, 5*q - 3*f + 9 = 0. Which is smaller: q or -26/7?
-26/7
Suppose 3*x - 21 + 57 = 0. Which is greater: x or -35/3?
-35/3
Let i = -2051 + 79993/39. Is 0 greater than i?
False
Let j be 0*(0 + -2)/2. Let a = -15 + 14. Is j >= a?
True
Let j = -2 - -4. Suppose l = 3*f + f + 11, -2*l = j*f + 8. Is -4/9 less than l?
False
Let c = -14 - -13.88. Let n = -0.22 - c. Let g be 2/(-7) + 3/35. Which is smaller: n or g?
g
Suppose 16 = 7*w - 3*w. Suppose -w = 3*m - 10. Which is smaller: m or 4/7?
4/7
Let i = 114 - 116. Do i and -1/8 have the same value?
False
Let u = 21 - 23. Are u and 0.2 unequal?
True
Let h = -14 + 3. Let m = -7 - h. Which is bigger: m or 2/5?
m
Suppose -4*l - j - 7 = 4*j, -3*j = -4*l + 17. Suppose -w = -6*w. Which is bigger: w or l?
l
Let b = -5/203 + -6278/609. Which is smaller: -11 or b?
-11
Let k = -207 - -172. Do k and -35 have the same value?
True
Let d(q) = 4*q - q - 8 + 2 - 5*q. Let k be d(-4). Is k bigger than 0?
True
Suppose 4*z + 8 = 0, 5*p - p = -z + 218. Which is bigger: 56 or p?
56
Let f be (-3)/(-9)*6/2. Let m be (-3)/(18/4) - -1. Is m equal to f?
False
Let x(h) = h**2 - 8*h - 8. Let g be x(10). Let d be (-54)/g*8/(-6). Is d equal to 6?
True
Let j = 116 - 128. Which is bigger: j or -10?
-10
Suppose 7*i + 4 = 5*i. Is i at most -1?
True
Let w = -10 + 9. Let r = w - -1. Which is bigger: r or 5/6?
5/6
Let g = -56 - -65. Which is smaller: 12 or g?
g
Let z = -11 - -10. Let x be (10/(-40))/(z/(-4)). Which is bigger: x or -4/11?
-4/11
Let a = 94 - 95. Is -1/106 > a?
True
Let z(l) = l**2 - 2*l - 5. Let q be z(5). Let j(y) = q - 3*y**2 + 0*y**2 + 2*y**2 + 8*y. Let a be j(9). Which is smaller: a or 2?
a
Let b = -29/15 + 122/15. Is b at most as big as 7?
True
Suppose -m + 6 = -y - y, -2*y = -2*m + 4. Which is smaller: -12/11 or m?
m
Let l be (-2)/6 - (-4)/6. Suppose -2*w + 0 = 32. Let k(u) = -u**3 - 15*u**2 + 15*u - 18. Let c be k(w). Is c greater than l?
False
Let a(t) = 15*t**2 - t - 1. Let f be a(-1). Let x = f - 8. Suppose x = 2*q + 3*v, q + 4*v = -0 + 1. Which is smaller: -1 or q?
-1
Let l be ((-6)/8)/((-4)/16). Let a be ((-9)/12)/(l/2). Which is smaller: a or -2?
-2
Suppose f - 4*p - 4 = 0, 0*f + 1 = -3*f - p. Suppose -5 = -5*j, 0*j = m - 3*j. Which is smaller: f or m?
f
Let l be 1/(-3) - (-63)/243. Which is smaller: 0 or l?
l
Let b(x) = x**3 - 3*x**2 - 5*x + 1. Let w be b(4). Let l = -18 - -10. Let p be 2 - 3 - l/(-12). Is p > w?
True
Suppose 0 = -t + 21 + 25. Suppose i - 4*l + 4 = 0, -i = 4*i + 2*l - t. Suppose 0 = 4*d - i - 8. Are d and 4 equal?
True
Let m be (-1 + (-2)/(-3))*0. Let o be (-15)/130*8/(-6). Which is greater: m or o?
o
Let c = -6.05 - -0.05. Let u = -5 - -1. Let r = u - c. Which is smaller: r or -1?
-1
Let a = 1.534 - 0.534. Let w = 5 - 4.7. Is a != w?
True
Suppose 3 = 2*w - 1. Is w at least 0?
True
Suppose -3*c + 3*j - 3 = -72, -j = 3. Suppose -2*h + 4*h - c = -5*o, -3*o = -12. Is h at most as big as 2/11?
True
Suppose -33 = i - 10. Let w = i - -34. Which is smaller: w or 0?
0
Suppose 0 = -b + 4*o + 5 + 7, -b + 2*o + 6 = 0. Let s = -0.2 + 0.22. Is b < s?
True
Let q be (-1)/2 + 0/(-11). Which is bigger: -2/7 or q?
-2/7
Let q be 10/(-6) + 3/1. Are q and 1 nonequal?
True
Let s be (3 - (-4)/(-2))*1. Let a = -7 + 5. Let j be a/(-14)*-1*1. Is j greater than s?
False
Let a = 19 + -18.4. Let h be 1/(-2 - 2) - 0. Which is greater: a or h?
a
Suppose -94*r + 7 = -95*r. Is -7 greater than r?
False
Let k be (-21)/(-13)*(-60)/9. Let w = k + 3067/286. Is w <= -1?
False
Let x(f) = -f - 1. Let q(p) = -6*p - 6. Let r(w) = 2*q(w) - 11*x(w). Let h be r(-2). Let u be (-2)/(1 - -1)*0. Which is smaller: h or u?
u
Suppose 2 = 245*p - 247*p. Does p = -105?
False
Let y = -130 + 131. Do y and 4 have different values?
True
Let w = 990/1757 - -2/251. Suppose 5*b = 2*b. Which is smaller: b or w?
b
Suppose 0 = -7*h + 5*h - 22. Which is greater: h or -12?
h
Let s(d) = d**3 - 2*d**2 - 4*d - 4. Let a be s(4). Suppose -2*v = b + 4, -4*v + 3*b = v - a. Suppose -4*w - y - 24 = v, 2*y - 3*y = 0. Which is bigger: w or -5?
-5
Suppose 5*g - 19 = 3*m, m + 3*m + 3*g - 23 = 0. Let r be 0 + m + 6/(-2). Let q = -27/40 - 3/40. Is q at most as big as r?
False
Let u = -14 - 2. Is -16 bigger than u?
False
Let y be 97/11 + (-2)/(-11). Is y >= 9?
True
Suppose -17 = -t - t + 3*h, 0 = 4*t + 3*h - 43. Is t greater than or equal to 11?
False
Suppose 0*m = 3*m - 138. Let f be m/40 + 2/(-5). Let o = -1.03 + 0.03. Is o greater than or equal to f?
False
Let f be ((-3)/2)/(2 - 74/40). Is f bigger than -17/2?
False
Let m be (1/(-2))/((-2)/(-16)). Let a be -4 + m + 4 + 1. Which is smaller: -8/5 or a?
a
Let d = 7 + -21. Does d = -13?
False
Let f be (10/(-3) + 4)/(-2). Is 0 greater than f?
True
Let j = -76 + 534/7. Which is greater: 1 or j?
1
Let n = 43 - 44. Let j = 0.06 - 0.26. Which is smaller: n or j?
n
Let u = -1 + 3. Let n be ((-8)/1)/(1/u). Let m be 2/(-5) - n/(-10). Which is bigger: -0.1 or m?
-0.1
Let y be 2 + -1 - (-37)/(-35). Let f = y - -286/105. Which is smaller: f or 4?
f
Let d = -3.8 + 6. Let k = -0.04 - 1.96. Let c = k + d. Which is greater: -1 or c?
c
Let q(p) = -p**2 + 3*p - 17. Let i be q(6). Is i greater than or equal to -35?
True
Let r be (-1*1)/(-1 - -2). Let a be r/(-5)*(0 - 2). Let l = -6 + 5. Is l < a?
True
Let c = 33.1 - 33. Let r = 0.6 + -4.6. Let o = 1 + r. Which is smaller: c or o?
o
Let j(r) = -r**3 + 3*r**2 + 18*r + 16. Let a be j(7). Is 0.1 < a?
False
Let c(t) = -3*t - 9. Let i be c(-5). Suppose d - i = -3. Which is bigger: d or 2?
d
Let i = -190 + 1332/7. Let g = -3 - -2. Which is bigger: g or i?
i
Let q(t) = -t**3 + 4*t**2 + 5*t - 5. Let k be q(5). Let g(x) = -x - 3. Let v be g(k). Let m be v/(1 - 8*-1). Which is bigger: m or 0?
m
Let l = 12 - 17. Let u be (l - -4)*1*2. Which is bigger: u or -3?
u
Suppose -5*n + 4*a = -41, -5*n + 5*a + 43 = 3*a. Let d(t) = -t**2 + 9*t + 1. Let p be d(n). Which is smaller: 2/5 or p?
2/5
Let f = 2/69 + 44/69. Let p = 5 + -9. Is p >= f?
False
Let p be (4/8)/((-2)/4). Let s be 0 + -3 + 0 + 1. Which is greater: s or p?
p
Let g be -4*1 + (-43)/(-10). Is 1 less than or equal to g?
False
Let u be (-3 + -2)*(-4)/90. Let l(m) = -m**3 + 5*m**2 + 5*m + 5. Let x be l(6). Do x and u have different values?
True
Let s be ((-1)/2)/(5 - 0). Let j = -37 + 37. Is j at most s?
False
Let x = -98 - -98. Which is greater: x or -11/8?
x
Let n = -1.63 + 1.7. Let q(z) = -z**3 - 8*z**2 - 8*z + 3. Let g be q(-7). Suppose -2*w = -g + 8. Which is smaller: n or w?
n
Let d be 2 + (-39)/(-33) - 3. Which is greater: d or 1?
1
Suppose 0 = 2*g + 2. Let d = 1 + 5. Let p be ((-2)/(-4))/((-1)/d). Is p > g?
False
Suppose -2*k = -k - 2. Let i(x) = x. Let t be i(0). Which is bigger: k or t?
k
Suppose 3*k - 14 = 4*w, -w + 4*k - 3*k = 4. Let f be 1*2/(w + 8). Which is bigger: -1 or f?
f
Let u = -16 - -11. Which is greater: 0 or u?
0
Let l = -1.9322 + -0.0678. Let o = -0.4 - -0.2. Is l at least as big as o?
False
Let b = 0.56 + 31.44. Let a = 23 - b. Which is smaller: a or 0.2?
a
Let d = -1 - -7. Suppose -82 = -4*p - d. Suppose 3*n = 4 - p. Are -4 and n unequal?
True
Let k(b) = b**3 - 6*b**2 + 4*b + 4. Let u be k(5). Let r = 8.3 + -8. Let n = r + -0.3. Is u at least n?
False
Let o be (-2)/(-12)*(-16)/(-16). Is -3 less than o?
True
Let j = 22 - 12. Let l = 11 - j. Let b = -269/6 - -45. Which is bigger: l or b?
l
Let u = -0.6 - -0.59. Let a = u + -0.99. Let c = -1.1 - a. Which is smaller: c or -0.3?
-0.3
Let l be (-4)/(-1662)*3/(-2). Let a = 2497/1108 + l. Is 3 greater than or equal to a?
True
Let q be (-18)/(-3)*4/108. Are q and 1 non-equal?
True
Let r = -85 - -85.14. Which is smaller: r or 0?
0
Let j = 346/5 - 69. Is -4 not equal to j?
True
Suppose 0 = -5*a + a + 8. Let v be -3*a*(-2)/(-12). Let c be ((-7)/(-21))/((-8)/6). Is v at least c?
False
Let r be 2*(-4)/(-8)*-14. Is r bigger than 1?
False
Suppose -q + 3*a + 19 = 0, -2*q + a = 2*q - 21. Suppose q*b = -b. Is b less than or equal to -1/5?
False
Let u = -5 - -8. Let k be (-2)/(u/(-6)*-4). Is k != 1?
True
Let t(d) = -d**2 - d + 5. Let l be t(0). Suppose -l*x + 2*s = 2