h is greater: m or -161?
m
Suppose 11*f + 55115 + 123715 = 26*f. Which is smaller: 11921 or f?
11921
Let y = 256670335/3521 + -72897. Is y less than 0?
True
Suppose 2*s = l - 14, 2*l + s = -0*s + 8. Let h = 605 + -600. Which is greater: l or h?
l
Let a = 76 - 129. Let h = -47 - a. Is h smaller than 0.6?
False
Let f(t) = 3*t**2 - 4*t - 4. Let d be f(4). Suppose -5*i - d = 37. Let c = -57/4 - i. Which is bigger: -2 or c?
c
Let w = -0.644 - 1.246. Which is greater: w or -0.2?
-0.2
Suppose 0 = 6*u - 39 - 15. Suppose -60 = -10*s + 30. Is u <= s?
True
Suppose 0 = -3*r + 1081 + 272. Let b be r/28 - 10/40. Is b at least as big as 15?
True
Let s(d) = d**3 + d**2 - 97*d + 426. Let z be s(5). Is 91 at least as big as z?
True
Let j = 7703/120 + -956/15. Is j at most as big as 0.7?
True
Let b = -96695/8 - -12071. Let x = b - -63/4. Are -0.36 and x nonequal?
True
Let i(p) = -387*p + 2321. Let n be i(6). Which is greater: 880 or n?
880
Suppose -139 = 97*r + 42*r. Which is smaller: r or -136/69?
-136/69
Suppose 13*q = 12*q - 2*o - 14, 3*q + 5*o + 41 = 0. Which is smaller: q or 46?
q
Let s = -2745 + 4710. Let m = -332086/169 + s. Is m at least as big as -1?
True
Let g = -23805 + 23797. Do g and -10 have different values?
True
Let n = -264 - -150. Let g(b) = -3*b**2 + 11*b + 77. Let v be g(10). Which is greater: v or n?
v
Suppose 0*a = 2*a + 46. Suppose -q - 94 = -5*h + 2*q, -57 = -3*h + 2*q. Let m = h + a. Is 1 != m?
True
Let c be 2*(6586/20)/37. Are c and 10 non-equal?
True
Suppose -4*y + 25 - 9 = 0. Let k = -50537 + 50549. Is k > y?
True
Let x = 0.592 - -3.678. Let v = x + -2.97. Let t = -2 + 2. Is v > t?
True
Let v be 2/(-3) + 10/(-3). Let a be -5*((-126)/(-30) - 5). Let p be (-2)/v*8/a. Is p at least -31/5?
True
Let f(l) = 199*l + 2788. Let h be f(-14). Which is smaller: h or 63/25?
h
Let p = 12381 + -12378. Is p smaller than -598?
False
Let l be (4 + 2)/(147/(-14)). Which is smaller: 23.9 or l?
l
Let d(i) = -10*i + 452. Let g be d(37). Is g bigger than 87?
False
Let z(a) = 779*a - 3012. Let p be z(8). Is -1 <= p?
True
Let o(g) = 8*g**2 + 224*g - 21. Let a = 161 + -189. Let r be o(a). Suppose -u + j - 28 = -2*j, -4*u - 4*j - 64 = 0. Which is smaller: u or r?
r
Let c = 933 - 233. Which is bigger: 698 or c?
c
Let w = -0.03441 + 0.04121. Which is smaller: -0.1 or w?
-0.1
Let z be (-89)/(-445) - (-2)/((-330)/(-3067)). Let a = z + -85982/4587. Does 1 = a?
False
Let m be (2/(-2))/(5/1). Let f = -4336 + 4252. Is m at most f?
False
Let h = -4438 - -4408. Let s = 0 + 2. Let z be s/(h/((-15)/(-3))). Which is greater: z or 0.2?
0.2
Let o = 3.1 + -0.1. Let h(r) = r**3 + 10*r**2 + 5. Let u be h(-10). Let q be u/2*20/425. Is o equal to q?
False
Let r = -0.1794 + 0.5894. Which is bigger: -111 or r?
r
Let h = 0.43267 + 198.16733. Is -0.1 at most as big as h?
True
Let v be 102 - (-38 - -17)*(-3 + 4)/3. Which is smaller: v or 115?
v
Let o = -1257 + 1267. Are o and 59 nonequal?
True
Let n = 12255 - 12136.58. Let r = n - -2.58. Let f = r + -120. Is f at least as big as 6?
False
Let r(c) = c**3 + 8*c**2 + 5*c + 1. Let t be r(0). Is t smaller than -1322?
False
Let k = 25 + -19. Let x be k - -1 - -9*4/(-12). Suppose 10*m + x = -16. Which is smaller: -16/7 or m?
-16/7
Let t(v) = 2*v**3 + 56*v**2 - 5*v - 21. Let b be t(-28). Let g = 25 + b. Is 146 less than or equal to g?
False
Let p be (63/(-7) - -3) + (7/1 - 0). Is p equal to 110/137?
False
Let k be (-376)/(-190) - 3/(3/2). Let l = -30994/87305 - 22/919. Let a = k + l. Which is smaller: a or 5/6?
a
Let r = 13610 + -13332. Which is greater: r or 274?
r
Suppose -13*h + 14*h = 2*d - 11, -4*d = -h - 21. Is d > 18.3?
False
Suppose -n - 2*n - 24 = 3*o, -3*o + 32 = -4*n. Let v be (n/6)/((-38)/(-3)). Which is bigger: v or -1?
v
Suppose -40 = -10*r - 0. Let m be 175/225 - r/(-18). Does m = -4/117?
False
Let h(v) = v**2 - 9*v - 20. Let g be h(16). Suppose 13*b - 8*b = 470. Does g = b?
False
Let f = 8 + -9. Let l be f + 2 - (1 + -2). Let m = -18.087 + 0.087. Which is greater: l or m?
l
Suppose 2*y + 19 + 53 = 0. Let b be 2519/(-55) - (-8 - 1). Which is greater: y or b?
y
Let u be (-235)/45 - 2/(-9) - -17. Let s be ((-87)/290)/(2421/u). Which is greater: s or -1?
s
Let f = 53 + -70. Let q be (-12)/51 - 2/f. Is q less than -1?
False
Let q be 3*20/(-15) + 6. Suppose 4*s = 5*l + 17, -4*s = q*l - 6*l - 16. Is s at most as big as 37?
True
Suppose -12 = m - 10. Let g be m/3*(-15)/20*10. Let z(a) = a**3 - 7*a**2 + 13*a - 12. Let q be z(g). Which is greater: q or 2/21?
q
Let p be 3/((-108)/224) - (-6)/27. Let b be (-1)/58*p/(-9). Which is smaller: b or 1?
b
Let g = 156.622 - 155.622. Let v = -17.1 + 4.9. Which is smaller: v or g?
v
Let m = -1.04 - -440.04. Let z = -458 + m. Which is bigger: z or 1?
1
Suppose 99*y = -22*y. Does 2/663 = y?
False
Let h(f) = -f**3 - 43*f**2 + 16*f + 27. Let y be h(-43). Let i = y + 875. Are i and 214 non-equal?
False
Suppose 10*z + 4 + 6 = 0. Let m be -11 + (z - 4) + 1. Is m less than -16?
False
Let j = 67 + -18. Let c be 1918/j - (-1)/(-7). Is 39 equal to c?
True
Let c(x) = x**3 + 11*x**2 + 10*x + 8. Let z be c(-10). Let a = 10 - 8. Suppose 1 = n + a. Is z < n?
False
Let n be (-1)/(-17)*94 - (-5 + 3). Is 7 greater than n?
False
Suppose -3 = -4*z + 1. Let x = 89 - -11. Let l be (-1)/(-4) + (-27)/x. Is l at most z?
True
Let f(d) = d**2 + 9*d - 322. Let n be f(-23). Which is greater: n or 2/2881?
2/2881
Suppose 9 = 2*r + 7. Let i be (-26)/300*-3 + r/(-4). Which is smaller: i or 0?
0
Let p = 0.75 - 1.75. Let m = 4.7 - 4.629. Let g = 2.829 + m. Which is smaller: g or p?
p
Let n(m) = -2*m**2 + 95*m + 392. Let f be n(42). Are 855 and f nonequal?
True
Let l = 346657/25 - 13865. Do 0 and l have different values?
True
Let m be 6/(-9) - (-1772)/2649. Let l = m + 6175/2649. Is -0.5 greater than l?
False
Let g(s) = -20*s + 1006. Let q be g(50). Are q and 309/49 equal?
False
Let t = 420 + -419. Let f be 555/33 + -3*4/(-66). Let k be (3/f)/(36/(-24)). Is k at least t?
False
Let m = -2.17 + 38.37. Let x = 36.07 - m. Let y = 1/4 + -3/4. Do x and y have different values?
True
Let v be ((17/34)/1)/((-1)/18). Let r be 7*v/(-168)*(-8)/12. Let a(o) = o**2 - o - 4. Let h be a(-5). Which is greater: r or h?
h
Let k = -10767/308 - -237/44. Which is greater: -0.2 or k?
-0.2
Let j = 1.8 + -1.48. Let k = -0.3 + j. Let d = 275740 + -275740.04. Is d smaller than k?
True
Suppose 19*o + 22190 = 5299. Let p = o - -2663/3. Is -2 at most as big as p?
True
Let n be (-2)/(-28)*(4/134 + 6 + -6). Let m(h) = -h**3 + h. Let l be m(0). Which is greater: l or n?
n
Suppose -5*d = 7 - 2. Let v = 41077 + -492919/12. Is v < d?
False
Let g(d) = d**3 - 5*d**2 - 3*d - 11. Let u(w) = -2*w**2 + 9*w - 4. Let b be u(2). Let n be g(b). Suppose 0 = -n*h + 50 - 204. Is -21 bigger than h?
True
Let b = 14066 + -15286. Which is bigger: b or 1/6?
1/6
Suppose 4*y - 79 - 101 = 0. Let t = -42 + y. Let q = 0.44 - 0.18. Which is greater: q or t?
t
Let i(k) = -k**3 + 9*k**2 - 21*k + 8. Let n(b) = -b**3 + 7*b**2 - 20*b + 7. Let o(v) = 3*i(v) - 2*n(v). Let c be o(11). Is c at most 13.3?
True
Let a = -52341/22 - -2379. Is a at most as big as -9?
False
Let d be -16*78/100*(-760)/(-432). Do -22 and d have the same value?
False
Suppose -4*j - 5*g = 11, 2*j = -17*g + 12*g - 13. Is 1/437 bigger than j?
False
Let i = 5.6342 - -0.0658. Let j = -5.6 + i. Is 0.01 < j?
True
Let j = 6204 + -5869. Which is bigger: j or 4/7?
j
Let o = -8115 + 7889. Are o and -228 equal?
False
Let k be (-172)/(-3) - 6*(-11)/(-198). Let c = -8 - 48. Let x = k + c. Which is bigger: -2/13 or x?
x
Let c be (-732)/(-549) - (-5484)/(-9). Which is greater: c or -603?
-603
Let l be ((-66)/(-198))/(141/1152). Which is smaller: l or 2?
2
Let s be ((-1702)/(-8))/(23/(-92)). Let t = s + 633. Which is bigger: t or -217?
-217
Let v be 64/(-6)*126/(-56). Let y be ((-2)/(-12))/((-4)/v). Let s = 127102/155 - 820. Are y and s equal?
False
Let g(w) = 2*w**3 + w. Let q be g(-1). Let z be 9/(-4) - (1 + q). Suppose 5*f - 10926 = -3*a - 10919, -2*a + 11 = -3*f. Is z greater than f?
True
Let b(c) = 4*c**2 - 4*c + 5. Let y be b(1). Suppose y*u = 4*k + 5, -5*u + 5 = -5*k + 9*k. Is 2/133 smaller than k?
False
Let a = 786 + -3949/5. Let d = -2.6354 - -2.68. Let x = 0.0554 + d. Which is greater: a or x?
x
Suppose 0 = 18*c - 64 + 82. Let m b