aller: g or 1?
g
Let d = -20/9 - -22/9. Let m = -7 + 16. Do m and d have different values?
True
Let t = 3 - 6. Let o be -5*((-2)/(-1) + t). Suppose 3*l - 13 = -0*u + 2*u, -5*u + o*l = 25. Is -2/3 at least as big as u?
True
Let w(j) = 2*j - 8. Let l be w(4). Let g = -0.1 - 0.9. Is g greater than l?
False
Let v(z) = -z**3 + 3*z**2 + 6*z - 6. Let y be v(4). Let l be -24*y*(-1)/(-4). Let j be 3/(-9) + 2/l. Is j smaller than -2?
False
Let m(i) = i**2 + 6*i - 2. Let s be m(-7). Suppose 5*j = s*v - 55, j = -v + 4*j + 17. Is v greater than 7?
True
Let l = -7 - -19. Is 10 < l?
True
Let y be (-15)/5 - 14/(-2). Suppose y*o + 20 = -0*o. Which is smaller: o or -11/3?
o
Let i = -1823/7 + 260. Which is bigger: i or -1?
i
Let i(p) = 7*p**3 + p**2. Let a be i(-1). Let y = -11 - -5. Is a at least y?
True
Let g(i) = i**2 - 6*i + 4. Let d be g(8). Suppose 6*a - 3*c - 6 = 4*a, 0 = 3*c. Suppose -k - d = a*k. Is -5 at least as big as k?
True
Let x = -13 - -13.1. Which is greater: x or -11/4?
x
Let l = -0.1 + 0.3. Let r = -11 - 31. Let q = -125/3 - r. Which is greater: l or q?
q
Let o = -9 - -5. Let d = -2 - o. Let n be 1/5 + d/(-10). Is n equal to 0?
True
Let j = -0.01 + 0.11. Let l = j - -0.4. Let v = l + -0.4. Is -7 less than v?
True
Let k be -1 - 0 - -4 - -1. Which is bigger: 2 or k?
k
Let x = -136.9 - -143.93. Let j = -7 + x. Which is smaller: j or 1/4?
j
Let m = -9 + 10. Let k = -22/9 - -20/9. Which is bigger: k or m?
m
Let h = 0.32 - 0.02. Let y = 7595/244 + 15/122. Let k = y - 31. Is h greater than k?
True
Let q(o) = -4*o + 36. Let z be q(9). Which is smaller: -4/7 or z?
-4/7
Let b(x) = x**2 + 4*x + 4. Let h be b(-3). Let z be (h - (-1 - -2)) + 2. Does 3 = z?
False
Suppose -2*x + 8 = 2*x. Suppose x*d + v = 4*v - 15, -5*v = -3*d - 25. Is d greater than -2?
True
Let k be 23*((-3)/(-15) - 0). Let f = k - 5. Which is smaller: f or -1?
-1
Let u = 5 + -5. Suppose 0*d = 5*p + 2*d - 36, 4*p - 33 = -3*d. Suppose 5*h + 3*r + p + 6 = 0, -20 = 4*h + 5*r. Is u at least h?
True
Suppose 3*r = -17 + 2. Let i(g) = g**3 + 4*g**2 - 6*g - 10. Let d be i(-5). Is r less than or equal to d?
True
Let h(r) = 3*r - 20. Let d be h(7). Let q = -138 + 1240/9. Are q and d non-equal?
True
Suppose 3 + 9 = -2*f. Suppose -5*v - 4*r = -19 - 12, -3*v = -r - 5. Suppose v*t = -5*g - 5, g + 0 - 27 = 5*t. Is t <= f?
False
Let j = -2.926 + -0.024. Let y = j - 0.05. Let m = -0.2 - -0.3. Are m and y nonequal?
True
Suppose -6*r = 3 + 81. Is r smaller than -15?
False
Suppose 2*n + 5*i = 2*i - 11, -7 = 4*n + i. Is -3 != n?
True
Let q be (-78)/42 - (-2)/(-14) - -2. Is 2/157 equal to q?
False
Suppose 2*o + 2 = 4*o. Let x = 80 - 82. Is x at most as big as o?
True
Let y(n) = n**3 - 2*n**2 - 3*n + 5. Let x be y(2). Let i(w) = w**2 - w - 1. Let z be i(-1). Which is bigger: z or x?
z
Let k be (-3)/(-6) - (-2)/(-4). Suppose -3*y = -6*y. Suppose -3*u - 3*c - 6 - 12 = y, -u + 4 = -c. Is u bigger than k?
False
Let k be (-1 + -2 - -27)*-1. Let m be 3/4 + 18/k. Which is smaller: m or -3?
-3
Let v = 17 + -17. Do 10 and v have different values?
True
Suppose -5*o = -3*o. Suppose o = -3*g - 2*g - 5. Let s be (-1)/(-5) + (-7)/10. Are g and s non-equal?
True
Let q be (-1)/(4 - (-3454)/(-866)). Let d = -87 - q. Is -1/2 bigger than d?
False
Let i(g) = g**2 - 4*g + 1. Let m be i(3). Let p be 4/8 - 1/m. Let b(n) = -n**3 - 3*n**2 + 5*n + 4. Let c be b(-4). Which is greater: p or c?
p
Let u = 1.23 + -0.23. Is -14 smaller than u?
True
Let w = -13 + 29. Let r be (-12)/w - (-2 - -1). Is -0.3 greater than r?
False
Let f = 48 - 243/5. Let u be 2/(-6) + 1/(-6). Does f = u?
False
Suppose 26*k - 21*k + 5 = 0. Which is smaller: -2/37 or k?
k
Suppose 2*v - 7*v - 100 = 0. Let h be (-18)/v + (-4)/8. Is h <= 0.1?
False
Suppose -14 = 15*k + 1. Is 3/14 less than k?
False
Let j(l) = 2*l**2 + 2*l - 2. Let c be j(-2). Which is smaller: c or 4?
c
Let l = 86 - 85. Which is smaller: 5/11 or l?
5/11
Suppose -r - 3*r - y + 11 = 0, -5*y = -15. Which is smaller: -1 or r?
-1
Let f = -43 + 43.4. Let q = 0 + -0.2. Is f < q?
False
Let c be (55 - -1)/(1 - 2). Let b be 1/(-29)*c/(-10). Let x = b - 6/29. Which is smaller: 0 or x?
x
Let t(r) = 2*r**2 + 2*r - 2. Let d be t(-2). Suppose -d*q - 5 - 19 = 0. Let l be 2/q*6/(-4). Which is bigger: l or 0?
l
Let c = 31 - 31. Is c > -2?
True
Let p = 6 - 4. Suppose 5 = 5*a + 5*d, p*a - 4*d - 7 - 1 = 0. Let m be a*9/(-6) - -4. Is 5/3 < m?
False
Let m = -2 - -1. Let n be 8/(-40) + 34/120. Let j = -1/3 + n. Which is smaller: j or m?
m
Let u = -1.1 - -0.1. Let k = 87 + -52. Let a = k + -103/3. Which is greater: a or u?
a
Let c(j) = j - 4. Let u be c(8). Let y be u/2 + -3 + 4. Let q(a) = -a - 4. Let o be q(-6). Is y greater than or equal to o?
True
Suppose 0 = 3*p + 4 - 1. Does 3/10 = p?
False
Let y(c) = 6*c**2 + c**3 - 5*c + 3 + 0*c**3 - 4*c**2 + 2*c**2. Let a be y(-5). Which is greater: a or 2?
a
Suppose 0 = -3*t + 2 + 4. Suppose -t*l - l - 6 = 0. Let b = -121/135 - -8/27. Is l > b?
False
Let p(l) = -l - 2. Let v be p(-7). Suppose -7*j - v = -2*j. Which is smaller: j or 0?
j
Let t = -15 - -14.9. Let a = 9 + -6.6. Let r = -0.4 + a. Which is smaller: t or r?
t
Let r be 15/(-1 + 0)*28/7. Is r >= -60?
True
Let i = -154 + 1692/11. Which is greater: 0 or i?
0
Suppose 3*y - 3 = 15. Let s be (-16)/66*y/(-8). Is 1 less than s?
False
Suppose 5*y = 2*y + 3. Let b be 2/(-5) + (-48)/(-70). Is b greater than or equal to y?
False
Let y be 4/(-75)*(-12)/(-8). Are y and 0 nonequal?
True
Let f be (19/(-38))/((-1)/(-2)). Let u be 1*(0 + -1) - 1. Let t = f + u. Which is smaller: t or -4?
-4
Let z(n) = n**3 - n**2 - 4*n + 3. Let w be z(2). Suppose -5*o + 3*o + 3 = -d, -2*o - d = 3. Is w greater than o?
False
Let l = 4.03 + -0.03. Let x = -9 + 13. Let z = l - x. Is 1/2 <= z?
False
Let f = 2/582275 + 3833116303/6405025. Let s = f - 599. Let w = s + 35/44. Which is greater: -1 or w?
w
Let b(c) = -6*c - 2. Let r be b(-5). Suppose 0 = i + 2*p + 11, -3*i = -0*p + 5*p + r. Suppose 0 = 2*z - z - 1. Is i less than or equal to z?
True
Let k = 28 + -27. Is k != 1/46?
True
Let c = 84 + -83. Is c greater than or equal to 2/177?
True
Let s = 78/175 - 4/25. Is -1/4 smaller than s?
True
Suppose -8 = 4*x + 8. Let c be 6/4 + x/(-8). Suppose -4*o = -8*o, -3*y + 9 = -2*o. Is c smaller than y?
True
Let z = 1.5 - 1.3. Which is greater: z or -1?
z
Let j = 0.1 - 6.1. Let i = 5.7 + j. Which is smaller: 2 or i?
i
Suppose -2*m + 5*b = -22, -b - 4 = -4*m + 4. Do m and 2 have different values?
True
Suppose -54 = -3*f + 3*m, -2*f = m - 4 - 32. Let i be (f/21)/(4/(-28)). Is i greater than -6?
False
Let j be (-7)/(-2)*24/42. Let n(r) = -r**2 + 5*r - 4. Let m be n(3). Let c be 0 - m/(-22)*j. Are 0 and c equal?
False
Let a = 6.98 - 7. Let x = -0.16 - a. Let z = -0.04 - x. Is z equal to 1/6?
False
Let m be -1*((-172)/170 + (-12)/(-20)). Which is smaller: m or -1?
-1
Suppose 12 = 4*b - 0*b. Suppose -b*t = -4*i + 5, 4*i - 4*t - 30 = -6*t. Which is bigger: i or 6?
6
Let b = -6 - -8. Let s = 119 + -1315/11. Is s < b?
True
Suppose -9*t + 2*t - 210 = 0. Is t at least -29?
False
Suppose 3*y = 79 - 100. Is y at most -46/7?
True
Let w(i) = i + 19. Let q be w(-14). Let j = 6 - q. Let k be ((-2)/(-4))/(j/(-6)). Which is greater: -0.1 or k?
-0.1
Let s = -27 - -27. Let y(z) = z**2 + z + 5. Let v be y(0). Suppose 0 = -v*t + t - 4. Which is smaller: s or t?
t
Let w be ((-5)/(-2))/(-5)*0. Suppose 2*d - d = w. Is d >= 2/9?
False
Let m(f) = f**2 - 7*f + 3. Let v be m(7). Let u be 1 + v + (-69)/(-18). Let z = u + -317/42. Is 0 equal to z?
False
Let o = 11 + -11. Let h be ((-2)/52)/(1/6). Which is bigger: o or h?
o
Let o = -1/43 - -221/258. Let h = 13 + -13. Which is smaller: o or h?
h
Let u(j) = -j**3 + 7*j**2 + 2*j - 10. Let h be u(7). Suppose -27 = -h*m + m. Which is smaller: 8 or m?
8
Let y = -2.83 - 0.17. Is y at least 0.04?
False
Let a be 0 + (4 + -4)/(-1). Which is smaller: a or 4/11?
a
Suppose 5*q - 37 = -3*g, 5*g - 51 = -q - 2*q. Do 9 and g have the same value?
True
Suppose 0 = -3*z + 19 - 46. Let b = -12 - z. Is b < -1?
True
Let d = -45 + 39. Which is smaller: d or -4?
d
Suppose -5*w + 4*f - 11 = 0, 5*w + 15 = f + 4*f. Which is smaller: w or -0.1?
-0.1
Let t = 61.6 + -62. Which is smaller: -0.1 or t?
t
Let b be -1 - 2*10/(-4). Suppose -b*t + 9 = 1. Suppose -t*y = -4 + 2. Are 2 and y 