)/(0 + -2). Is b at least o?
True
Let z(y) = 35 - 76*y + 220*y - 78*y - 73*y. Let r be z(5). Let c = 5 - 16. Does r = c?
False
Let m be 1331/187 + 2/(-17). Suppose -g - m = -0*g - v, -2*v = -8. Which is greater: g or -1?
-1
Let r be 1/(1/(-4)) + 567/35. Let u be 136/5*52/112. Let j = r - u. Is j <= 0?
True
Let c(t) = -t**2 + 2*t - 153. Let r be c(0). Let f(z) = -z**3 + 21*z**2 - 23*z + 10. Let h be f(20). Let m = r - h. Which is bigger: -104 or m?
m
Let p(m) = -98*m - 1599. Let x be p(-15). Is x bigger than -97?
False
Let i = 27 + -76. Let g = i + 64. Suppose -g = -6*p + 9. Is 0 smaller than p?
True
Suppose 31 = 3*r - 28 + 8. Which is greater: -23 or r?
r
Let l = -1750 - -1788. Suppose -3*f - 2*m - 136 = 0, -6*m = -4*f - m - 143. Let y = f + l. Which is greater: y or -3?
-3
Let a = -23.921 + -0.079. Let m = a - -21. Let w = m + 2.9. Which is bigger: -0.32 or w?
w
Let r = -321 - -481. Suppose r = 16*y + 16*y. Do y and 79 have different values?
True
Suppose j = -334 + 502. Suppose -j - 120 = 24*y. Which is greater: y or -13?
y
Suppose 0 = 4*t - 13*t - 56*t - 25805. Is t >= -402?
True
Suppose 20 = -5*s, -44 = -7*b + 3*b + 2*s. Suppose 5*w - b = 6. Suppose w*t - 114 = -0*t + 4*f, 38 = t + f. Is t greater than or equal to 39?
False
Let v(a) = 1332*a + 4221. Let l be v(-3). Which is smaller: 215 or l?
215
Let s be -26*22*(-12)/(-48). Is s at least as big as 0.1?
False
Let u be ((-36)/(-8))/(-4 + 62/16). Let l = -1475/41 - u. Let n(m) = -m. Let v be n(0). Which is smaller: v or l?
v
Let z = -24164 - -9544774/395. Let y be (-6 - (-2346)/395)*(-2572)/18. Let b = y + z. Is 8 greater than or equal to b?
False
Let p be ((-131)/(-691942))/(12/8). Which is greater: p or -1?
p
Let x = -14880 + 14880. Is -1/4164 less than x?
True
Suppose 0 = -2*j + 8, -4*j + 76 = -b - b. Suppose 135*w + 42 = 114*w. Let f be 6*(b/108 - w/(-9)). Which is bigger: f or 0.4?
0.4
Let v = 259313 - 2854897/11. Which is greater: v or -222?
-222
Let w = -8 - -9. Let k be 1/2*-2 - 6/(-6). Let x be 10 - (k/6 - -6). Which is smaller: x or w?
w
Suppose 0 = -2*h + 3*i + 6, 4*h = 5*h + 3*i + 6. Let j be 214/(-1260) + (-4)/14 + (-113)/(-226). Are h and j equal?
False
Suppose 74*s = 67*s + 35. Let y(u) = u**3 - 11 + 201*u**2 - s - 194*u**2 - 9*u. Let j be y(-4). Is 67 <= j?
True
Let v(s) = s**3 - 4*s**2 - 5*s - 3. Let r = -93 - -98. Let m be v(r). Are m and -0.16 equal?
False
Let f = -523/8 + 50747/776. Let s(k) = -3*k - 3. Let h(l) = -7*l - 4. Let y(q) = -2*h(q) + 5*s(q). Let o be y(-7). Is o bigger than f?
False
Suppose -2*p = 5*v - 78 + 25, 26*p = 4*v - 70. Let y = -375883/3490 - -1077/10. Are p and y non-equal?
True
Let a = 15.2 - 18.4. Let q = a - 17.8. Is q greater than or equal to 0.2?
False
Let n = -221 - -376. Let l = -184 + n. Which is smaller: l or 1/3?
l
Let s = 47.4 + -31. Let w = -15.5 + s. Let g = 0.1 + 0.9. Is w not equal to g?
True
Let d = 65582 + -372702500/5683. Which is greater: d or 1?
1
Let c = -8797.1 - -8797. Which is smaller: c or 661?
c
Let d = 475343/11810 - -60/1181. Is d <= 40?
False
Let j be (0 - (-2)/6)*-3. Let t be ((-36)/(-10))/(-3 - 39/(-15)). Let s be t/132*(24/(-42))/1. Which is smaller: j or s?
j
Suppose 0*p = 4*p + 84. Suppose -9*n - 1360 = 260. Let j be 24/n + 328/(-15). Is p at least j?
True
Let f be -3*(0 - (-308)/33). Is -34 greater than or equal to f?
False
Suppose 0 = 3*x + 3*u - 651, u + 276 = 2*x - 161. Are x and 218 non-equal?
False
Let z = 1698 - 2007. Is -310 > z?
False
Let u = 4906 - 4906. Which is smaller: u or -6/2779?
-6/2779
Let c be (-12)/6*15/2. Let z be ((-18)/c)/(-3)*(23 - -2). Are z and -67/6 equal?
False
Let b(z) be the second derivative of -z**5/20 + z**4/6 - z**3/3 + 2*z**2 - 124*z. Let j be b(2). Which is smaller: j or 5/33?
j
Let b = 0.32 + -0.305. Let p = b + -23.015. Let i = p + 21. Which is bigger: i or 28?
28
Let o = 46 + -43. Suppose -2 - 9 = -o*d - 4*j, -2 = -j. Suppose 3*x - 2 = 3*h + d, 17 = -h + 5*x. Is 0 > h?
False
Let a be (3/(-2))/((-30)/(-40)). Let j be (-567)/a*16/(-12). Which is greater: j or -380?
j
Let n = 229 - 454. Which is bigger: -1578/7 or n?
n
Let n(u) = u**2 + 19*u + 6. Let t be n(-16). Let c = -47 - t. Are -11 and c nonequal?
True
Let j = 99 - 93. Suppose 4*p + j*u - 3*u = -55, -u - 53 = 4*p. Let b be 1/2 + p/(-26). Which is smaller: 4/21 or b?
4/21
Let y = -142 - -121.6. Let k = y + 20.38. Let i = -29 + 29.08. Which is smaller: i or k?
k
Suppose -6846 = -121*l - 8*l - 825093. Is l less than or equal to -6344?
False
Suppose 15*c - 1785 = -6435. Let f = c - -305. Is 0.2 < f?
False
Let i = 0.0188 + -0.3931. Is 0 at most as big as i?
False
Let n = 17219 + -19413. Is n at least -2192?
False
Let w = -429177/395 - -5433/5. Let s = 35 + -36. Is w at most s?
False
Suppose -11*d - 6*d - 3*d = 48*d. Which is smaller: d or -2/117421?
-2/117421
Let w be (-8)/(-28) + 201/7. Suppose k = 5, -38 = -h - 5*k + 2*k. Let p = w - h. Which is bigger: 5 or p?
p
Let o(x) = -17*x + 933. Let j be o(-50). Is 3563/2 at least as big as j?
False
Suppose 480 = 4*r + 3*y, -r + 343 = 2*r - 2*y. Let j = r + -121. Let h be (11/(-2 + 3))/(5/j). Is -10 at least as big as h?
False
Let m be ((-2)/24)/(62/160456). Which is smaller: -216 or m?
-216
Let s(u) = 2*u**2 - 101*u + 453. Let d be s(5). Does d = -2?
True
Suppose -1 + 31 = -2*v. Suppose 7*g + 376 - 299 = 0. Which is smaller: v or g?
v
Let v be (-2)/((-1 - -3)*2/(-6)). Suppose a - 3*z = -274, -811 = v*a - 0*a + 2*z. Is -270 < a?
False
Suppose y - 117 = -12*w + 11*w, 0 = -3*y - 9. Let c be 0*(w/(-16) + 7). Are -0.092 and c unequal?
True
Let u = -669/8 - -5957/72. Which is bigger: u or 67?
67
Let s be (4/10)/(1/(-5)) + -4. Let u(g) = 13*g + 83. Let l be u(s). Which is smaller: 2.1 or l?
2.1
Let a be (-6)/(-3) + 3 + (4 - -21). Let u(d) = d**2 - 19*d + 56. Let p be u(a). Which is smaller: 388 or p?
p
Suppose 6*w + 583 = -413. Let f = 113 + w. Which is greater: f or -269/5?
f
Let o = 21592/13825 - 1/553. Let h = -363313 + 363316. Which is smaller: h or o?
o
Let g be 1 + 0 - ((-405)/540)/(4/(-890)). Which is smaller: g or -166?
-166
Let x = 142.76 + -138. Which is smaller: x or -0.2?
-0.2
Let g be ((-34)/(-6))/(1/(-3)). Let l = 403 + -393. Suppose 12*p - l - 14 = 0. Is p bigger than g?
True
Let r be (-82)/(-42) + -30*38/(-3420). Let w(j) = -j + 5. Let m be w(6). Let t = m - -3. Is r at least as big as t?
True
Let h be (-221 - -195)/(20/(-1)). Let u = 221/2 + -110. Are h and u equal?
False
Let i = -545/2112 + 8/33. Suppose 2*d + 2*d + 4 = -2*x, 4*d = x - 4. Is i equal to d?
False
Let g(o) = -692*o + 14. Let n be g(4). Let c be n/(-90) + (-4)/(-10). Let b = 31 - c. Which is smaller: b or 2/13?
b
Let b be (-190)/(-25) - 2 - 2. Suppose -176 = 5*d + 6*d. Let s(m) = m**2 + 16*m + 3. Let g be s(d). Which is smaller: g or b?
g
Let q be (4/78)/(19/(-21 - -78)). Is q != -176?
True
Let s = 5.9588 + 1.0412. Is 1.36 greater than s?
False
Let p(s) = 3*s**2 - 7*s - 4. Let l(i) = -i**3 + 15*i**2 + 2*i - 25. Let f be l(15). Suppose 0 = g - f*g + 16. Let w be p(g). Are w and 3 nonequal?
True
Suppose -15 = -3*a - 0*a. Suppose 32 = 3*y + a*y. Suppose 3*w + 1 = y*w. Is 1/26 at least w?
False
Let v = 0 - -1. Let g = -2368/29 - -2299386/28159. Which is bigger: g or v?
v
Let n(z) = z**3 + 3*z**2 - 140*z - 131. Let r be n(-13). Which is smaller: r or 2/4591?
r
Let p be (20/80)/(3/(-12)). Which is greater: p or -3/1565?
-3/1565
Let w = 20.954 - -0.046. Let m be (42/(-105))/(2/30) - -8. Which is smaller: m or w?
m
Let s = -7145 + 7146. Is s smaller than 25/666?
False
Let n = -18592 - -16402. Which is smaller: n or -2189?
n
Let y(d) = 4*d**3 - 2*d**2 + 6*d - 29. Let l be y(3). Let a = l - 121. Do -41 and a have different values?
True
Suppose 4*z = -3*y + 16, 20 = -3*y - 0*y + 5*z. Let a(x) = -4*x**2 + 32*x - 52. Let j be a(4). Let v be (3 + 4 + y)*j/(-14). Which is smaller: v or -7?
-7
Let k be (-145)/130*-1046*2. Let l = -2332 + k. Let j be (-2 - 36/(-20)) + 54/45. Which is bigger: l or j?
l
Let k be (-4)/(-6) + 1351*30/7245. Let z = k + -2137/345. Suppose -6 = -2*l + b, 2 = -5*l + 2*b + 15. Which is bigger: l or z?
l
Let l(o) = 4*o + 64. Let n(g) = 2*g + 64. Let t(v) = 2*l(v) - 3*n(v). Let i be t(29). Suppose 5*f + 2*d + 35 = 0, 4*d - 4 = f + 3. Is f equal to i?
False
Suppose 336*u - 176*u = 160. Which is greater: u