 than b?
True
Let v = 2/1701 + -6886/69741. Is -1 < v?
True
Suppose t - v = 5*t + 16, -8 = 2*v. Which is smaller: t or 0.2?
t
Suppose -a = 4*a. Let q be (-2 + a)*-1 - 1. Let v = -25 + 25. Which is smaller: q or v?
v
Let c be (-3)/12 - (-6)/24. Let y be ((-160)/(-24))/(c - 4/(-6)). Is y greater than or equal to 10?
True
Let u be 1 + (-3)/((-3)/4). Suppose 3*c - u = -0*f + 4*f, -5*c = -4*f - 11. Let o be 6/(-9) + (-2*1 - (-175)/75). Which is greater: f or o?
f
Let y = 40 + -39.66. Let d = 0.54 - y. Which is smaller: d or -2/33?
-2/33
Let w = 1919 - 2638. Are w and -721 non-equal?
True
Let p = 56.65 + 0.45. Let t = p + -57. Is 0.77 at least as big as t?
True
Let n = -29/5 - -62/15. Let m = 20 + -20.2. Which is smaller: n or m?
n
Suppose -l + 6 = r + 54, 4*r + 162 = 2*l. Is -44 > r?
False
Let i(n) = -n + 7. Let y be i(5). Let x be ((-7)/y)/((-5)/(-10)). Is x greater than -7?
False
Let r = -16 + 33/2. Let k = 11 - 9. Are k and r unequal?
True
Let i = 5.8 + -3. Let z = i - 3. Which is smaller: z or -1/19?
z
Let z = -18.4 + 2.4. Let o = 4523 - 4521. Is z at least as big as o?
False
Let x = -341.1 - -341. Which is smaller: -0.097 or x?
x
Suppose 5 - 56 = -5*v - 3*m, -5*v + 69 = -3*m. Let i = v + 0. Suppose 3*w - 29 = -0*c - 2*c, -51 = -2*w + 5*c. Which is bigger: w or i?
w
Let n = 0.039 + 56.961. Let v = n - 56. Which is bigger: -2/7 or v?
v
Let g(o) = 8*o**2 - o**3 - 2*o**2 - 6*o + 2*o**3 + 9 - 2. Let v be g(-7). Let b be (-6)/(-27) - 7/(-9). Which is smaller: v or b?
v
Let j = -4180 - -447248/107. Let c = 829/8346 + j. Is -1 smaller than c?
True
Let q = 66 - 66.13. Let b = -1.57 + q. Which is greater: 2 or b?
2
Let v(n) = 2*n - 35. Let t(x) = x - 18. Let g(d) = -7*t(d) + 3*v(d). Let h be g(14). Suppose -h*c - 4 = -32. Is c less than or equal to 3?
False
Suppose 0 = -3*p + 4*z - 120, 3*p + 2*z + 120 = -2*z. Let i = -233 - -192. Is p less than or equal to i?
False
Let v = 39 + -38.69. Let j = v + -0.41. Does 18 = j?
False
Let g be 2/1*(1215/(-18))/(-15). Suppose -g*y - 28 = 5*y. Let q be 8/(-3) + (-2)/6. Which is smaller: q or y?
q
Let d be 2/8 + 1/(-4). Suppose d = -5*x - 2*i + 8, -5 = -x + 3*i. Suppose -3*q + 7*s - 12 = x*s, -3*s = 2*q + 8. Which is greater: q or -5?
q
Let y(h) = 0*h**3 - 3*h**2 + 0*h**3 - 1 + 4*h**2 - h**3 + 4*h. Let v be y(3). Let j = v - -2. Does j = -5?
True
Let g be -3 + ((-6030)/63 - (-2)/(-7)). Which is greater: g or -101?
g
Let a = -5 + 14. Suppose a*t - 3*t = 30. Suppose 20 - 25 = -t*k. Is 2/31 equal to k?
False
Let i = 0.1 - 0.1. Let o = -25.434 - -0.034. Let n = -26 - o. Which is bigger: n or i?
i
Suppose 2*p - 4*s + 559 = -p, 3*s + 182 = -p. Which is greater: -183 or p?
-183
Let f(w) = -w**3 + 41*w**2 - 75*w - 116. Let j be f(39). Does j = 5/129?
False
Suppose 0 + 1 = -n. Let l be 28/42 + 751/(-1131). Let u = 411/12818 - l. Which is greater: u or n?
u
Let m(z) = z**3 - 5*z**2 - 6*z - 2. Let o be m(5). Let b = 48 + o. Let w = -175/11 + b. Which is smaller: w or 1?
w
Let i = -72.57 + -0.43. Let w = -42 - i. Let v = w - 30.8. Which is greater: -1/11 or v?
v
Let b = -30 + 33.9. Let x = -4 + b. Let k = 3 + -7. Is k less than or equal to x?
True
Suppose 37*d - 15 = 32*d. Is d at least as big as -66?
True
Suppose 4*k - 11*k + 378 = 0. Let i = -53 + k. Which is smaller: -4/9 or i?
-4/9
Suppose -11*a + 15*a - 5*u - 93 = 0, 2*a + u = 29. Is a not equal to 1/2?
True
Let m = 699 + -699. Is m at most -2/395?
False
Let y(u) = -37*u + 9. Let j be y(-7). Let q be j/52 + 2/(-13). Suppose 2*r + 8 = 0, q*n = 2*r + 4 + 4. Which is bigger: -1/6 or n?
n
Let k = 3 - 1. Let a = 1.9 - k. Let n = -2/109 - -454/981. Which is bigger: n or a?
n
Suppose 0 = -6*s - 2496 - 288. Is -463 less than s?
False
Let b = -3.05 - -3.75. Which is greater: 17 or b?
17
Let m = -36 + 184/5. Which is bigger: m or 1/5?
m
Let n = -110 - -114. Let c be 10/(-190)*n/18. Is c greater than -1?
True
Let z be (-1)/3*564/(4/1). Which is smaller: z or -49?
-49
Let p = -0.036 + 23.036. Let z = p - 28. Is -0.3 bigger than z?
True
Let t(i) = -i**3 + 9*i**2 - 19*i + 3. Let j be t(6). Which is smaller: j or -1?
j
Let m(l) = -l**2 - 4*l + 1. Let p be m(-3). Let i(x) = x**3 - 9*x**2 - 6. Let u be i(9). Let c be 40/u*6/(-15). Is p at most c?
False
Let g(h) = h**2 + 4*h + 5. Let q be g(-4). Suppose -1 = 3*v + q. Let z be 12/3 - 20/4. Is z >= v?
True
Suppose 4*k + 3*g - 6 = k, 0 = 5*g. Suppose 0*y - k*y = -14. Suppose y*o = 3*o - 32. Is o < -9?
False
Let c = 78 - 78.3. Suppose -3*l - 5 - 7 = 0. Which is greater: c or l?
c
Suppose 2*k - 4 - 100 = 0. Suppose 2*w + w + 2*p = k, 36 = 4*w - 4*p. Is w at least 12?
True
Let c = -108 - -57. Let q = c + 55. Is q greater than or equal to -0.1?
True
Let f be (10/6 - 0)*3. Suppose -4*a - 1 = l, -f*l = -a - 0*a - 16. Suppose l*b + 21 = 3*v, -5*v + 4*b + 43 = b. Is -1 at least as big as v?
False
Let c be (-12)/258*1*(0 - -1). Is 1 < c?
False
Let v be 4/6 - (1 + 0). Let f = 2.19 - -7.81. Which is smaller: v or f?
v
Let t = 8089/5 - 1618. Let u = -0.17 + 0.07. Which is bigger: u or t?
u
Let a be ((-63)/14 + -4)/((-4)/8). Which is smaller: a or 64?
a
Let y = -13016/23 - -566. Let l(q) = q - 4. Let j be l(4). Which is greater: y or j?
y
Let q = -108 - -104. Which is greater: -13 or q?
q
Suppose 98 = -9*n + 62. Let u be (-3)/(9/(-1)) + -3. Which is smaller: n or u?
n
Let l(h) = -h - 2. Let r be l(-1). Let t = 2/5 - 13/20. Is r at least t?
False
Suppose 0 = -2*g - 3*g - 3*w + 2, 5*g + 14 = w. Let p be (1 - -3 - 3)/(-1). Is g >= p?
False
Let v(x) = 2*x - 23. Let j be v(16). Let h be ((-3)/j)/((-4)/12). Is 5 less than or equal to h?
False
Suppose 11 = k - 4*f + 21, 0 = -2*f + 8. Let t = 0.2 - 0.2. Which is greater: t or k?
k
Suppose -3*b = -7*b - 4. Let u = 31.044 - 31. Let q = -1.356 - u. Which is smaller: q or b?
q
Let x = -43 + 43.1. Is 103 < x?
False
Let c = 4.9 + -5. Suppose -1 = -u - 5, -5*u = 5*y + 70. Is c not equal to y?
True
Let w = -125 - -251/2. Which is smaller: 0.19 or w?
0.19
Suppose -5*q = 20, 3*q = 3*t - 6*t + 36. Let l be (t/6)/((-110)/(-45)). Is 2 smaller than l?
False
Suppose -3*f + 4 = 2*y - 6*y, -5*y - 5 = -f. Suppose g - 4*g = 78. Let c be 2/g*y/2. Which is smaller: c or -1/2?
-1/2
Let m(z) = z**2 + 3*z - 8. Let r be m(-5). Suppose 0 = -3*x + 2*k - 3, x = -x - 3*k - r. Is x at most as big as 2/141?
True
Let o(h) = -h**2 + 14*h + 34. Let a be o(16). Which is smaller: -3.12 or a?
-3.12
Let p(g) = -2*g**2 - 25*g + 15. Let t be p(-13). Suppose -i = 4, 11 = t*c - 2*i - 3. Suppose 0*o = -4*o + 20. Is o at least c?
True
Let l(k) = k**3 + 5*k**2 + 4*k + 1. Let t be l(-4). Let r be 0 + 2 - (6 + t). Suppose 5*w = -5*p - 10, 3*p + 0*p - 2*w + 6 = 0. Is r > p?
False
Let c be ((-8)/(-12))/(16/6). Let v = -0.3 - -4.3. Which is greater: v or c?
v
Let w be ((-90)/(-7))/(13/91). Suppose -p + 5*h + 90 = 0, p = 2*p - h - w. Let y be (-38)/p + (-2)/15. Which is bigger: -1 or y?
y
Let u be 2*(-1176)/(-15) - 318/(-265). Are 153 and u unequal?
True
Let s be (-1 - 4) + 15 + -14. Let d(t) = -t**2 + 21. Let x be d(s). Is -1 at most x?
True
Let d(a) = -10*a. Let u be d(-1). Let o = -13 + u. Let n(b) = -2*b**2 - b + 1. Let w be n(o). Is -14 equal to w?
True
Let k = -7/11 - 1/33. Let s be 80/(-6)*6/(-5). Let r = s - 16. Are k and r equal?
False
Let q = 3/1013 + -601737/5065. Are -119 and q non-equal?
True
Let i = 111/95 - 26/19. Let g be 0/(-2 - (-3)/1). Is i less than g?
True
Let z = 4.6 - 0.6. Let t = -221 + 220.5. Which is bigger: z or t?
z
Suppose 0*n - 2 = -n. Suppose -1 = w + n. Let j(g) = g**3 + 4*g**2 + 2*g + 2. Let b be j(w). Are 5 and b unequal?
False
Let v(t) = 2*t + 9. Let l be v(5). Let m = l - 20. Let h = -7663/21 - -365. Is m bigger than h?
False
Let a be (-10)/4*28/(-105). Let g(w) be the third derivative of -w**6/120 - w**5/20 + w**4/6 - w**2. Let x be g(-4). Is x at most as big as a?
True
Let i(o) = -5*o - 11. Let g be i(-9). Suppose -10 = -2*c + g. Let t = 38 - 17. Which is bigger: t or c?
c
Let m = -63.8 + 61.8. Let b = -37 - -39.1. Do b and m have the same value?
False
Let b = -0.3602 - -0.3602. Let z = 85.57 + -1.57. Which is greater: z or b?
z
Let i be (-48)/(-20)*923618760/4972772. Let n = i - -18/73129. Let u = n - 446. Is u less than or equal to -1?
False
Let t = -65 + 62.18. Let c = t + -0.18. Let s = -5 + 7. Which is smaller: s or c