g as p?
True
Suppose -3*n + 76 = -n. Let m(b) = -b**2 - 86*b - 443. Let y be m(-6). Is y less than n?
True
Let o = -8.34 + 3.34. Let z = -0.02 - 0.28. Let v = z - 1.7. Is o bigger than v?
False
Let c = 97697 - 33510041/343. Which is bigger: c or 1?
1
Suppose 1550 = -13*l + 11*l - 2*x, 5*x - 3895 = 5*l. Which is greater: -782 or l?
l
Let p(s) = s**3 + 16*s**2 + s + 38. Let b be p(-16). Let c be -3 + b/4 + 78/(-28). Which is bigger: c or 208?
208
Let a = -26988.6316 + 26989. Are -2/3 and a nonequal?
True
Let w = 36272 + -36374. Is w < 0.16?
True
Let j = 225.31 + -225. Let u = j - 23.31. Let m(a) = -a**3 + 5*a**2 + 6*a + 2. Let w be m(6). Is u less than w?
True
Let q be ((0/2)/13)/(-2). Is q smaller than -1/5993?
False
Let o be (9/11 - 1) + (-1680)/924. Let w be (0 + 120)*1/(-2). Let s = -788/13 - w. Is s <= o?
False
Let c = -330 - -493. Let y = -9934 + 10099. Which is smaller: c or y?
c
Suppose 110*h + 29 = 139*h. Which is greater: h or -2/11047?
h
Let y(q) = 346*q - 125 - 354*q + 31. Let d be y(-31). Which is smaller: 153 or d?
153
Suppose 5*o + 15 = 0, 2*f - 22*o + 24*o = 142. Suppose 6*c - f = -458. Which is smaller: c or -63?
c
Suppose -22*m = -18*m - 12, 0 = -s + 2*m - 1092. Does s = -1084?
False
Let r(g) = g**3 - 8*g**2 - 5*g + 29. Let b be r(10). Suppose 176*l = b*l - 9. Is 0 greater than l?
False
Let m(v) = -6982*v + 83886. Let p be m(12). Let x(y) = 3*y**2 + 5*y + 2. Let b be x(5). Do b and p have the same value?
True
Suppose -31 = 6*p + 137. Suppose 0 = -6*u - 689 + 509. Which is smaller: p or u?
u
Let f = 4769151 + -7444642718/1561. Let u = f - -2/223. Let d be 329/35 + -9 + 3/5. Which is smaller: u or d?
d
Let m be (-502)/1255 - 9984/(-24885). Let n = 7 - 7. Are m and n non-equal?
True
Let y(a) = -22*a + 60. Let n be y(12). Let q = -192 - n. Let u = -35/124 + 1/31. Which is smaller: q or u?
u
Let l(u) = u**3 + 5*u**2 - 2*u - 1. Let t be l(-4). Suppose 296*n = 289*n + 175. Are n and t nonequal?
True
Let x = -454 + 355. Let k = x + 1288/13. Do k and 0.2 have different values?
True
Let x be 4/(-14) - (-1672)/(-616). Suppose -2*h = -5*h. Suppose -2*r + h*r - 12 = 0. Does x = r?
False
Suppose -3*a - z + 0*z - 56 = 0, 0 = 3*a - 5*z + 26. Let u be 0 + (-14)/6 + (a - -19). Let k = -10 - -11. Do u and k have the same value?
False
Let q be (-81)/(-1) + 12/12. Suppose 4*t + q = 90. Is t smaller than 25/23?
False
Let w = 15 - 5. Suppose 21 = 3*g, 5 = 11*r - 14*r + 2*g. Are w and r equal?
False
Let o = 55 - 47. Let f = 2825.04 - 2825. Is f bigger than o?
False
Let j be 3763*(-12)/(-579) + 0. Let d = -369 - -291. Let h = d + j. Does h = 0?
False
Let m = 250.5629 - 0.0629. Let y = -245 + m. Which is greater: 0.1 or y?
y
Let q = -35203/4 - -9989. Which is smaller: 1187 or q?
1187
Let s = 328 + -326. Let l be (300/35)/(-2) + (6 - s). Which is greater: 31/10 or l?
31/10
Let h = -184 - -206. Let b = h + 1/2. Is 22 < b?
True
Let h be (-1 - 3)/(5/(-35)). Let y = -648 + 649. Is y <= h?
True
Let x be (-6)/14 - (4 - (-416)/(-56)). Let k be 2/21 + 46*x/(-126). Is k at least as big as -19/28?
False
Let l be (-56875)/75780 - (-24)/32. Does l = 1?
False
Let c be 2*((-51)/6)/(-17). Let x = 1879/35 + -377/7. Does x = c?
False
Let o = -7.54 - -25.48. Let a = -0.06 - o. Let l = a + 15.7. Which is smaller: -1/2 or l?
l
Let h be ((-3 + 60274)*-1)/(-7). Let g = h + -8627. Which is smaller: g or -18?
-18
Let f(v) = -20*v**3 + 6*v**2 - 5*v. Let h = -242 - -244. Let t be f(h). Which is smaller: t or -145?
t
Suppose -4*n = 4*b + 20, -3*b + 5*n = 7*n + 13. Let m be b*212/316 + 2. Is -1 not equal to m?
True
Let z(j) = -157*j + 230. Let o be z(-5). Is o greater than 1016?
False
Let x(b) = -18*b + 68. Let z be x(4). Let r be 70/(-56) + z/((-30368)/9474). Is -1 < r?
True
Let i = 4 + -3.7. Let t = 337.9149 + 0.0851. Let h = t + -338.9. Is h greater than i?
False
Suppose 5*n + 55 = 4*q, 5*n - 40 = -3*q - 130. Let u(m) = m**2 + 14*m - 9. Let t be u(n). Let s(v) = -2*v - 3. Let f be s(-4). Do t and f have different values?
True
Let s be (-9 - 17030/(-30))/(122/(-114)). Let f = 522 + s. Is 1 at most f?
False
Suppose -582984 = 159*h + 189744 - 205257. Is h <= -3568?
True
Let r be (-7)/21 + (-2 + -3)*14/42. Which is bigger: r or -174/179?
-174/179
Let i = 5.647 - 4.647. Is -1697 at least as big as i?
False
Let v = -244 + 463/2. Let b(o) = o**2 - 4*o - 9. Let i be b(-3). Suppose -120*h + 119*h = i. Is h at least v?
True
Let g = 172 + -166. Suppose -12*c - g*c = -18. Which is smaller: 1/38 or c?
1/38
Let j be (-6 + 1)*((-4512)/(-30))/(-2). Let r(h) = 2*h - 410 - h + j. Let i be r(14). Is i smaller than -20?
False
Let z = 19 + -73. Let v be (-234)/(-429)*66/(-8)*12. Is v < z?
False
Let j be -1 + 12/9 - (-4)/(-12). Suppose -m = -j*m - 34. Suppose -m*b + 324 = -43*b. Which is smaller: -37 or b?
-37
Let s = 4882.2 - 4882. Is s bigger than -880?
True
Let r = -1265 + -29. Which is smaller: -1292 or r?
r
Suppose x - 4*f = 5, 0 = -3*x + 5*f - 4*f - 29. Let c(y) = -16*y - 56. Let i(h) = -3*h - 11. Let m(a) = x*i(a) + 2*c(a). Let o be m(8). Is 17 at most o?
True
Let x be 362/(-26) + (-10)/780*6. Which is greater: x or -113/9?
-113/9
Let c(n) = 9*n**2 - 2*n + 1. Let h be c(2). Let z(p) = 6*p - 32. Let v be z(6). Suppose 15 = -5*x, -84 = r - v*r - 4*x. Is h smaller than r?
False
Suppose 8*m + s + 2 = 9*m, -3*s - 4 = -2*m. Suppose -4*f + 38 = -3*d - 48, -d + m*f = 30. Which is smaller: -36 or d?
-36
Suppose -24*b - 91 = -37*b. Suppose -184 = -b*d - 177. Is 15/23 smaller than d?
True
Let c(k) = -2*k**2 - 8*k + 8. Let x be c(2). Let b be (-6)/6 + -7 - 3. Which is bigger: b or x?
b
Let i = 839 + -841.4. Let r = i + -48.6. Which is smaller: -3/2 or r?
r
Let l(f) = -7*f - 97. Let z be l(-14). Let d be -4 + 0 - -1 - z*-53. Which is greater: 51 or d?
51
Let d be (5 - 1)*11/(-286). Let q be (1 + -1)/(-6 + (-9 - -13)). Is d less than q?
True
Suppose 13*j + 1279 = -684. Are j and -166 unequal?
True
Suppose -4493 = -3*a - 2*p, 0 = p - 0*p - 1. Does a = 1488?
False
Let m = 330/23 - 377/92. Let w = -168 - -178. Is w greater than or equal to m?
False
Let t be -1 + (28/16 - 2) + 106785/60. Is t smaller than 1778?
False
Let b = -26 - -29. Suppose -2*v = 2*k - 4, -k + 2*k = -b*v - 4. Suppose -3*f - 2*h + 43 = 16, 5*f + h - 38 = 0. Which is smaller: k or f?
k
Suppose 4*q - 33 = 3*q. Let d = 34 - q. Let l be ((d - -1 - 3)*2)/123. Which is bigger: 0 or l?
0
Let n = 30545410039680798298/2871575 - 10637162546575. Let c = 26/9415 + n. Let l = c - -21/61. Which is greater: -1 or l?
l
Let s = 537.22 + -537. Let m = 9 - 7. Which is bigger: s or m?
m
Let b = 6061/13014 - 25/54. Which is smaller: b or 0?
0
Let k = 417020/33 - 12634. Let f = -58/3 + k. Is -16 <= f?
False
Let x be (-7 + (-1096)/(-160))/((-105)/760). Which is smaller: 2 or x?
x
Let h be (27/(-6) + 2)*((-7888)/(-85))/(-4). Which is greater: 654/11 or h?
654/11
Suppose 0 = -17*c - 4 + 13 + 8. Which is smaller: 10/659 or c?
10/659
Suppose 127 = 6*y + 3*y + 46. Is y greater than or equal to -321?
True
Let o(p) = p**3 + 24*p**2 + 9*p - 42. Let v be o(-22). Suppose 5*h - z = v + 606, 1066 = 4*h - 2*z. Is h at most as big as 266?
False
Suppose 3*b - 6*b - 19 = w, 4*b + 5*w + 18 = 0. Which is greater: b or -106?
b
Suppose -86*b - 37*b = -1863 - 4410. Let x = -55 - -105. Is b greater than x?
True
Let t = 0 - 3. Let d(v) be the second derivative of -v**4/12 - v**3/3 + 2*v**2 - 2*v - 263. Let x be d(t). Is 0 > x?
False
Let h be -1*(-3)/12*7. Let g = 9.2 - 9.1. Let f = -0.1 + g. Is h <= f?
False
Let x be (-3)/(-45*(-4)/24). Let c(d) = d**3 - 5*d**2 + 7. Let o be c(5). Let i be 2/o + 204/(-273). Which is smaller: x or i?
i
Let o = 241.39 + -242.39. Which is greater: o or -0.2501?
-0.2501
Let k(f) = -3*f + 1. Let b be k(4). Suppose 940 = -0*u - u + 4*w, 0 = 2*u - 4*w + 1896. Let t = u + 944. Is b > t?
True
Let n = -3255 - -3254.9. Let o be (10/(-6))/((-35)/60). Which is greater: n or o?
o
Let r be (8/64 - 0)*48/21. Which is greater: 0.076 or r?
r
Let u = 12483 - 12480. Which is smaller: u or 6/919?
6/919
Let g = -6.02 + 283.02. Let w = g - 277.298. Which is smaller: 1 or w?
w
Suppose 6*m - 8 = -86. Let y(z) = -6*z - 14. Let h be y(m). Is 64 bigger than h?
False
Let w(j) = -2*j**2 - 18*j - 13. Let k(q) = -4*q**2 - 37*q - 26. Let z(u) = -3*k(u) + 7*w(u). Let n be z(-6). Su