aller: v or -1.2?
-1.2
Let s = 51227 - 137237131/2679. Let f = s + -2993/420603. Which is greater: f or 0?
0
Let g = 0.07 + 0.73. Let r = g + 0.2. Which is bigger: -18 or r?
r
Let f = 6.9 - -0.1. Let l be ((-3)/(-6)*-5)/((-18)/(-27)). Let k = -4 - l. Which is greater: f or k?
f
Let c be 1/9 + 495/2835. Which is smaller: c or 1/125?
1/125
Let c = 4 + -15. Let v = c + 10.8. Let u = -0.3 + 0.2. Which is greater: u or v?
u
Suppose 0 = 21*m - 55*m - 34. Is -16/13 at least m?
False
Let z = 566 - 125. Let o = z - 20283/46. Is 1 bigger than o?
True
Suppose 0 = -5*s - 19 - 11. Let n be (26/4 + -7)/((-9)/6). Which is smaller: s or n?
s
Let h be 28/(-42) + 28/39. Do 1 and h have different values?
True
Let n = 1690 - 1690.2. Are 0.174 and n equal?
False
Let s(w) = w. Let d be s(1). Let l be ((-2)/5)/(3/(-30)). Let j be ((-2)/l)/(28/(-8)). Which is greater: d or j?
d
Let j = 2245 + -2246. Let c = -8.3 + 8. Let b = c + -11.7. Is b at least j?
False
Let f be ((-6)/5)/(14/(-35)). Suppose 2*m + f = m. Is m smaller than -14/5?
True
Let v = -350469/505 + 694. Which is greater: 1 or v?
1
Let c = -4.93 + -0.07. Let z = 78 - 81.3. Let n = -3.2 - z. Is c at least as big as n?
False
Let r(f) = -2*f**2 + 2*f + 3. Let i be r(-3). Let b = -16 - i. Suppose 3*l + 3 = a - 0*a, -3*l = -4*a + 12. Which is bigger: a or b?
b
Let o = -19 + -1. Which is bigger: -75/4 or o?
-75/4
Let o = -2/16351 - 196138/604987. Is o greater than 0?
False
Let k be -1*(-1 + -3 + 0 + 4). Which is smaller: 5/123 or k?
k
Suppose y - 16 = 3*m + 5*y, 4 = m - y. Is m > -2/53?
True
Suppose 19 = 20*j - 741. Is -1 at most as big as j?
True
Let k = -410.8 + 407.8. Let x(h) = -h**2 + 5*h - 1. Let s be x(6). Is s equal to k?
False
Suppose 0 = 26*f - 20*f - 1104. Is 0.1 greater than f?
False
Let o be (2/10)/(14/70). Is -2/5 smaller than o?
True
Let v be (3 + -4)/(4*(-5)/(-600)). Let q = v - -6. Do -21 and q have the same value?
False
Suppose 9*w = -0 - 0. Suppose 3*i - 5*i + 8 = w. Is 4 smaller than i?
False
Let w(u) = u + 8. Suppose 4*i - 2 + 26 = 0. Let a be w(i). Let m be a/16 - (-1)/(-8). Which is smaller: m or -2?
-2
Let t be (-588)/126*(2 - -1)*1. Let s = 24 + t. Are 10 and s unequal?
False
Suppose -3*l = -22 - 59. Let o = -28 + l. Let v be 4 + (1 - 4) + o. Is v at most as big as -2?
False
Let g be -4*(3 - 21/6) + 93. Suppose -3*p + 5*w - 17 + 43 = 0, 2*w - g = -5*p. Which is smaller: p or 16?
16
Let h be (-20)/3*6/(-5). Let q = -13 + h. Let s = 4500 - 4506. Do s and q have the same value?
False
Suppose 6*c = 19*c. Which is smaller: -6/649 or c?
-6/649
Suppose 65 = -9*k + 4*k. Let p = 1 + k. Is -11 less than p?
False
Suppose 5*b + 726 = 8*b. Suppose -366 = -19*w + b. Which is bigger: 31 or w?
w
Let v(s) = -2*s**2 + 6*s + 12. Suppose 14 = 3*k - 16. Let z be v(k). Let c = -642/5 - z. Is c less than or equal to 15?
True
Let f(q) = -q**3 - 5*q**2 + 1. Let p be f(-5). Let i be (-13 - 1918/(-147))*(-1)/3. Which is smaller: i or p?
i
Let g be -4 + 13 + 1 + 1. Let l(s) = -s**2 + 13*s - 24. Let r be l(g). Is r less than -4?
False
Let u(n) = -n - 23. Let a be u(0). Let q = a + 9. Suppose -5*o = -o. Is q at least as big as o?
False
Let i be 74732/(-120) + 3/(-2). Let s(w) = -40*w + 144. Let b be s(-12). Let h = i + b. Is 1 at least h?
True
Let n be (6/(-91))/((-5)/35). Is -0.05 < n?
True
Suppose 16*s - 954 = 758. Let w = s - 80. Is -2 bigger than w?
False
Let i = -68.5 - -65.5. Is -35 > i?
False
Let j be (-3)/5 - (-80)/(-200). Let q = -12/125 - -632/1375. Is q < j?
False
Let r = 5.6 + -5.2. Let m = -0.22 + 0.4. Let o = 0.12 + m. Which is smaller: r or o?
o
Let d be (-3)/(-25) - (4 - 2 - 2). Suppose 2*z - 3*b + 4 = 0, 0 = 3*z + 3*b - 11 + 2. Do z and d have different values?
True
Let f = 783 + -5480/7. Does 1 = f?
False
Let c(m) = -77*m - 454. Let w be c(-6). Let t(r) = -r**2 - 5*r + 8. Let a be t(-6). Suppose -w = -0*f - a*f. Are f and 4 nonequal?
False
Let b = 152.909 - 153. Let t = -19.909 + b. Which is greater: -1/5 or t?
-1/5
Let c be -1*(-2)/(3 - 1). Let z = c - 2. Let f be (2 - 3)/((-2 + -1)/(-39)). Is z < f?
False
Let o = 8/23 + -337/506. Let v = 46 - 47. Is v at least as big as o?
False
Suppose 0 = d + 4 - 13. Let t = d + -8. Suppose 2 = -4*u - 3*y + t, 4*u - 17 = 3*y. Is 0 at least u?
False
Suppose -2*w = 4*t - 5*w - 5, -15 = -4*t + w. Let f be (-2 - -4)/(t - 1). Suppose -d = -2*i + 2, 9*d + 10 = 4*d. Is i at most as big as f?
True
Let j = -566/35 - -103/5. Let y = j - 307/63. Which is smaller: 0 or y?
y
Let z = 0.1705 + -0.4705. Which is bigger: 66 or z?
66
Let x = -17/2 - -8. Is x <= 3/10?
True
Let h = -1 - -4. Let s = -0.6 + 1.6. Let b = h - s. Is b greater than or equal to 2?
True
Suppose -3*r + 51 = -5*c - 82, -188 = -4*r + 4*c. Let t = 44 - r. Does 1 = t?
False
Let z = 1 + 3. Let p be (-12)/9*3 - z. Does p = -6?
False
Let b(z) = -10*z - 23. Suppose -2*m = -6*j + 2*j - 24, 3*m - 12 = 0. Let d be b(j). Which is smaller: 18 or d?
d
Let t = -0.113 - -1063.113. Is t < -2/7?
False
Let y(u) = -u + 5. Let k be y(7). Let p(t) = -t**2 - t + 1. Let d be p(k). Let h = 2/3667 - 3703/66006. Which is smaller: d or h?
d
Let u(f) = 7*f**2 + 4*f + 2. Let p be u(-1). Suppose -5*q = v + 2, p = -2*q + v - 0. Which is bigger: -7/4 or q?
q
Suppose -3*d = -4*p + p - 207, -d - 4*p + 74 = 0. Let c = -69 + d. Which is smaller: -8 or c?
-8
Let v be 1/(2/36*3/11). Which is smaller: 67 or v?
v
Let r = -335 - -478. Is r >= 1?
True
Let r = -147 + 135.6. Let u = r - -18.4. Which is smaller: -0.3 or u?
-0.3
Let h be 93/(-6) + (-1)/(-2). Let z = -579 + 566. Is z at least as big as h?
True
Suppose -31*k + 34*k + 42 = -3*t, -4*t - 80 = -4*k. Is 5/6 less than or equal to t?
False
Let s = 2.7 - 16.7. Let m = s - -24.1. Let j = 10 - m. Is 2/23 smaller than j?
False
Let c = 289/1030 - -2/103. Suppose -3 = 5*u + 2. Which is bigger: u or c?
c
Let r = 599/3 - 415/2. Is r at least as big as -2/5?
False
Let p(x) = 5*x - 10. Let u(a) = -a. Let z(g) = p(g) + 3*u(g). Let l be z(5). Suppose l = 9*w - 14*w. Is w > -2?
True
Let g = -743 - -727. Is -22 not equal to g?
True
Let v = 840244561/10702620 + -112/72315. Let o = v + -157/2. Which is smaller: o or -1?
-1
Let g(q) be the first derivative of -q**4/4 + 19*q**3/3 - 17*q**2 + q - 15. Let l be g(17). Which is bigger: l or 13/12?
13/12
Let z be (5 - 33/(-3)) + -1 + 0. Is z >= 11?
True
Let l be -39*(-12 - -10 - (-1 - 2)). Which is bigger: -40 or l?
l
Suppose 5*m - 7 = -0*i - i, 0 = 2*i + 4*m - 8. Suppose -i*o - 3*f + 4 = 0, -5*o - 5*f - 1 = -6. Is 2/85 at most as big as o?
False
Let d = 1334 + -1335.086. Is 2/5 at least d?
True
Let l be ((-798)/35)/3*20 - -6. Is -150 >= l?
False
Let p(i) = -2*i**2 - 6*i - 1. Let d be p(-4). Let u be d/(-18) - 13/(-2). Let f = u + -7. Is -1 bigger than f?
False
Let s = -161.76 - -158. Let z = s + 0.56. Which is greater: z or -0.2?
-0.2
Suppose 2*r = 10, 2*x - 2 = 4*r - 22. Do x and -10/77 have the same value?
False
Suppose 26 = -3*g - o + 6, -18 = 2*g + 3*o. Let v be 4*(-1 + (-15)/g). Is v bigger than 19/3?
False
Suppose 5*g + 157 = -33. Which is smaller: -340/9 or g?
g
Let n(f) = -14*f - 777. Let l be n(-38). Do -246 and l have the same value?
False
Let m be -2 + (-48)/(-22) + 2. Let x = -179/77 + m. Which is greater: 0 or x?
0
Let g be -4 + 60/14 + 1632/21. Let k be -7*(-4 + g/21). Is k >= -23?
True
Let o = 4 - 1. Let x be (5/5)/(1/3). Suppose 0 = -c + x - 0. Is c at least o?
True
Let a = -10 + 4. Let p be (2/(-6))/(a/252). Suppose 3*j - p = j. Is j < 7?
False
Let c(t) = t**3 + 5*t**2 - 14*t. Let n be -2*3/24*2*14. Let o be c(n). Let z = -84 - -757/9. Which is smaller: z or o?
o
Let x be (1 - 2)/(8/(40/(-35))). Which is smaller: 2/27 or x?
2/27
Let f be (-5)/45*-3 - 310/(-6). Let p = -45 + f. Let s(r) = r**3 + 5*r**2 - 2*r - 4. Let h be s(-5). Which is smaller: h or p?
h
Let g = -7904.03 + 7942. Let l = 38 - g. Let b = -31/2 - -16. Which is bigger: l or b?
b
Let n = -36 - -39. Let k be (-5)/(-10) + 1/((-2)/n). Which is greater: 0 or k?
0
Let l = -0.1 + 0.1. Let b = l + 0.2. Suppose 3*k = -x + 5, -3*k - k - 5*x = -14. Which is greater: k or b?
k
Suppose 0*j - 166 + 166 = -11*j. Let a = -2 - -1. Which is greater: a or j?
j
Suppose 0*v - 3*j + 39 = -3*v, 16 = 4*j. Let g(f) = -f**2 - 9*f. Let c be g(v). Suppose -4*d + 2*y - 2 = c, 6*y = 2*d + 3*y + 3. Is d less than