aller: w or r?
r
Let m = 287 + -275. Suppose -5027 = -m*h - 83. Is 413 greater than h?
True
Let r be (382/6)/(3 + 140/(-45)). Let x be r/6 + ((-30)/(-6) - 5). Which is smaller: x or -96?
-96
Let g(h) = -2*h**3 + 3*h**2 + 10*h - 4. Let a be g(4). Is a at most as big as 6?
True
Let g(a) = 24*a**2 - 15*a - 162. Let s be g(-14). Which is bigger: 4750 or s?
s
Let j = 3029 - 9092/3. Let p be (36/(-6))/(2 + 0). Which is smaller: j or p?
p
Let h = -1.07 + 0.07. Let b = 16.9 + 0.1. Is h bigger than b?
False
Let z = -1439.042 - 2.958. Is z greater than 0.2?
False
Let x(w) be the third derivative of -w**5/60 + w**4/4 + 4*w**3/3 - w**2 - 2. Let j be x(6). Let d be 2/(-8) + 54/8. Which is smaller: j or d?
d
Let r be 4694/41*(-51346)/14. Let f = r + 419891. Let h = 21/41 - f. Which is greater: h or 1?
h
Let w be (718/(-1 - -2))/((-438)/73). Which is greater: w or -119?
-119
Let k be ((-466)/1)/(-10 + (-8 - -7) - -9). Is 1621/7 greater than k?
False
Let g be (0 - (-1)/(-3)) + (-46157)/(-303). Suppose 3*c + 125 = -4*r - g, 3*r + 94 = -c. Is -94 equal to c?
False
Let n = -941.2 - -940.6. Let s be (-3)/(-2)*8/(-6). Let a be 3/12*s + 0. Which is smaller: n or a?
n
Let c = 116 + -115. Let i = 205454 - 2271809/11. Let r = -1075 - i. Which is smaller: r or c?
r
Let a be (-4)/3 - (-200)/60. Let b be 453/102 - 3 - 3/a. Which is smaller: b or 5/3?
b
Let z = -1703 - -1702.7. Which is greater: -3.23 or z?
z
Let f = 229 - 287. Let i = f + 57.6. Are 17 and i equal?
False
Let f be (-78)/130 + (-3)/(-5). Let a be (36/54)/(465/(-9)). Which is smaller: f or a?
a
Let b = -457 + 459. Let d be b/(-7 + (-40)/(-5)). Is d <= -0.111?
False
Suppose 0 = -5*h - v - 58, -9*h + 2*v = 5*v + 108. Let z(t) = t**3 + 4*t**2 + 4*t + 4. Let y be z(-4). Which is smaller: y or h?
y
Let f = 21012 - 21013. Which is bigger: -5/1391 or f?
-5/1391
Let t = 0.13102 - 0.02702. Is 2/11 >= t?
True
Let u = 106 - 99.1. Let x = 6.862 - u. Let d = 0.138 + x. Is d at least 19?
False
Let d be 43 - 7 - (0 + 1). Let g be (-1 - d/(-26))*(-64)/(-48). Is g less than 1?
True
Let y = 24 - -257. Let t = y + -275. Is t <= 13/2?
True
Let k = -7337574546594473/2749 - -2669179476256. Let c = k - -60519. Let u = c + -65990/19243. Are 0.1 and u unequal?
True
Let m = -15959 - -41272. Which is greater: m or 25312?
m
Let f = -3156/7 - -450. Which is bigger: 213 or f?
213
Suppose -4240 = -3*s + 4*y, 1834 = -3*s - 5*y + 6038. Is 1408 != s?
False
Let z be (-2)/(0 - -2)*(25 - 1). Let y be (z/(-10) - 0)/((-28)/(-20)). Which is greater: y or 2?
2
Let r(i) = 8 + 9*i - 12*i - 1. Let f be r(-4). Suppose 0 = -v + 3*x - 12, 3*v + 2*x = f. Which is smaller: v or -1?
-1
Suppose -6328 = -368*r - 440. Which is greater: r or 335/21?
r
Let a = -0.049 - 0.012. Let b = 2.061 + a. Which is smaller: b or -9/11?
-9/11
Let f be (-244)/(-15)*3 + 10/50 + -4. Which is smaller: f or 60?
f
Suppose a = 6*a, 2*r + 3*a = -54. Let k be (-27)/(-14) + 1 - r/(-63). Let f = 8 + -6. Are k and f non-equal?
True
Suppose 12*g - 22 = 10*g. Let d = g - 11. Let m be -24*2/238*(-2793)/(-798). Which is greater: m or d?
d
Suppose -238 = -5*s + 87. Let z = s + -56. Suppose 4*r - 17 = -3*t + 15, -5*t + 40 = 4*r. Which is greater: z or r?
z
Let s be ((100/(-15))/(-5))/((-4)/(-6)). Suppose p + 53 + 8 = -5*v, -s*p + 3*v = 83. Let f = p - -52. Is f at least 6?
True
Let t = 196 - 190. Let b be (-5 - -5 - -27) + t. Which is greater: b or 35?
35
Let k be -4*(-1 + (-27635)/(-50)). Let i = k - -2199. Are -9 and i nonequal?
True
Suppose -1051 = -2*p + 3471. Is p less than 2260?
False
Let t be (-1)/(-9) + 2346/27. Let q = t - 52. Let k be 6/(-20)*7/((-294)/q). Which is bigger: 7 or k?
7
Suppose 0 = f + 3*f + 4*w + 16, 5*w = -20. Suppose 0*g + g + 1427 = f. Let p = g - -54223/38. Is -1 smaller than p?
True
Let u be 0*((-80)/140 + 34/(-14))/(-9). Which is smaller: -420/19 or u?
-420/19
Let x(d) = -2*d**3 + 2*d**2 - d + 3. Let t be x(-3). Suppose 716 = -4*f + 15*b - 16*b, 0 = -5*f - 5*b - 880. Let a = -103 - f. Which is bigger: t or a?
t
Let t = -474 - -469. Let p be t + (92/1449)/(2/157). Is 1 at least p?
True
Suppose 0 = 5*n + 9*q - 33, -q = 74 - 76. Suppose 0 = -2*i + 7*i - 95. Let d = i - 13. Is n less than d?
True
Let s = 75315/4 + -18011. Which is smaller: 818 or s?
s
Let z = -57 + 49. Let h be 2/z - (-588)/48. Suppose i + 5*i = -h. Is 0.5 greater than i?
True
Suppose -9 = 3*y, y + 27 = -2*a + 4*a. Is -4 <= a?
True
Suppose -1582 - 61 = -5*u + 3*w, 0 = u - 2*w - 323. Let a = 136 + 196. Which is bigger: u or a?
a
Let c = -8 + 2. Let z(l) = 8519*l + 4*l**2 - 8528*l - 2*l**2 - 23. Let p be z(6). Which is greater: c or p?
p
Suppose -5*m = -5*v - 10, m + 3*v = 19 - 13. Suppose 3*z + 25 = 5*j, m*j + 2*j - z - 15 = 0. Let x be 74/56 - 2/(-8). Which is smaller: x or j?
x
Let n = -7.5 - -42.5. Let g = 156.2 + -36.2. Let t = g - 120.1. Is t != n?
True
Let f be ((-56)/(-8) + -2)/1. Let x(m) = -m**3 + 8*m**2 - 16*m + 7. Let v be x(f). Which is bigger: -36 or v?
v
Suppose -z + 5*n + 58 = -2, 5*z - 4*n - 279 = 0. Suppose 5*x - c = z, 2*x - 8*c = -10*c + 10. Are x and 78/7 nonequal?
True
Let t = 114 - 90. Let v = -86 + 16. Let x be 8/t - v/(-246). Is -3 smaller than x?
True
Let z = -422 + 703. Let n = z - 310. Is n less than -27?
True
Let j = -3684 - -3617. Which is bigger: 12/11 or j?
12/11
Let o(h) = h**2 - 2. Let m be o(-2). Suppose 3*g - m*p + 89 = -3*p, g + p = -29. Let n be 2/8*g/15. Which is bigger: n or 0?
0
Let v be (0 - -1)*(2 - (8 - -1)). Let x be (v + 4)*2/123. Let s = x + 85/902. Is -1 less than or equal to s?
True
Let s be (-57 + 58)/((-4)/(-6) + -1). Let v(i) = i**2 - 8*i + 3. Let j be v(8). Which is smaller: s or j?
s
Let c(n) = -n**3 + 16*n**2 - 13*n - 28. Suppose 60 = -4*v + 8*v. Let u be c(v). Suppose 0 = 3*o + u*i - 3, -3*i = -8*o + 3*o + 24. Is o < 4?
True
Let r = 100 - 65. Let w be r/(-28) - 402/(-8). Which is greater: w or 51?
51
Let u be 618/396 + (-48)/32. Is 303 > u?
True
Let h = 8/8811 - 83689/63060327. Is h at most 1?
True
Let y = 262/5 + -53. Let c = 1761.3 + -1761. Which is greater: c or y?
c
Let i = -627 - -438. Is -177 >= i?
True
Suppose 0 = 4*n - 4*d - 36, n = -4*d + 50 - 31. Is n at least 297/25?
False
Suppose 0 = 6*l - 8 + 14 - 12. Which is bigger: 2/2467 or l?
l
Let s = 136.3 - 164. Let o = -76.7 - s. Is o at most -2?
True
Let d = -34375 - -34714. Which is smaller: -33 or d?
-33
Let q = 1471.8 - 1469.8. Let p = 0.05 + -2.05. Which is smaller: q or p?
p
Let i = -48.68 + 50.68. Which is smaller: i or 109?
i
Let n be 2/((-4)/5) + -21*3/(-18). Which is bigger: n or -4535?
n
Let c = -1576 + 3803. Is 2227 >= c?
True
Suppose -120*u = -122*u - 8, -u = 4*a - 76. Which is greater: 386/19 or a?
386/19
Let v(z) = -z**3 + 13*z**2 - 11*z - 7. Let q be v(12). Let b be (q + (-28)/4)/((-12)/(-182)). Is -29 less than or equal to b?
False
Suppose 3*k = -5*o - 170, -5*k = o + 170 + 106. Which is smaller: k or -49?
k
Let w = -3699 - -3692. Which is smaller: w or 12?
w
Let r be ((-8)/10)/((-23)/(-5)). Let v = -284597 - -284598. Which is bigger: r or v?
v
Suppose 30*x + 71*x - 89 = 12*x. Is 1/400 at least as big as x?
False
Let x = -10696 + 10364423/969. Which is smaller: x or 1?
x
Let p be (-688)/(-80) + 3/30*-6. Suppose 11*o = p*o + 243. Is o > 81?
False
Let w = -27661 - -27548. Is -136 < w?
True
Let s be (-74*15/6)/(4/4). Let v = s + 22387/121. Which is greater: -1 or v?
v
Let k = -0.567 - 2.223. Let g = -5.79 - k. Is g less than 11?
True
Let j(m) = m**2 + 44*m - 194. Let f be j(-48). Which is smaller: -219/25 or f?
-219/25
Let y = 616 - 1455/2. Let u = y - -100. Let r = -24 - -13. Which is greater: u or r?
r
Let f(s) = -s**2 - 72*s - 654. Let w be f(-20). Which is greater: 393 or w?
393
Suppose -9*l - 2 + 11 = 0. Let v be (-272)/238 + l/7. Which is smaller: 12 or v?
v
Let s = 799/12 - 4031/60. Which is greater: s or -429?
s
Let z = -7 + 15. Let v(b) = 69*b - 1171. Let o be v(17). Suppose -d - 4*q = -z, -2*d - o*d + 2*q = 4. Does 4/29 = d?
False
Suppose 5*t + 190*k = 192*k - 18, 4*t + 48 = 10*k. Which is bigger: t or -73/51?
-73/51
Suppose -78*f + 73*f + 1720 = 0. Which is bigger: f or 343?
f
Let q be ((-39267)/26487 - -4)*3*-2. Let m = -136/9 - q. Which is greater: 0 or m?
0
Let o(z) = -9*z**2 - 3. Let s = -14 - -15. Suppose -5*c + s = -2*w + 7, 0 = 2*c + 5*w + 14. Let g be o(c