h is greater: -3/10 or b?
b
Let j be 4686974/(-28)*(-8)/68. Let n = -19692 + j. Let d = 3/119 - n. Is -2 greater than d?
False
Let x be (-12 - -13) + -2 + -1. Suppose s = -0*s + 10. Let f = -10 + s. Which is smaller: x or f?
x
Let f be (-18)/(-40) - (-54)/72. Let v(i) = -4 - i + 0*i - 2 - 4. Let q be v(-12). Do f and q have the same value?
False
Let a be -11 + (3 + -3 - -2). Let j = a - -6. Let f be (20/(-25))/(6/15). Is f at most j?
False
Let w(b) = b**3 + 6*b**2 + 6*b + 7. Let i be w(-5). Suppose 5*o - i*y - 1 = 0, -o - y - 1 = -2*y. Let s be (-5)/6*(-288)/1080. Which is bigger: o or s?
o
Let f be (3 - 2)/(-3 + 2). Suppose 4*v + 0*v = -8. Let z be 3/v*9/27. Is f not equal to z?
True
Let q be (1 - -4)*(-1)/(-3)*3. Suppose h + 4 = -4*k, h - q = -0*h + 5*k. Are 0 and h nonequal?
False
Let n = -658.3 + 658.6. Let h = -4/125 + -331/1375. Is h smaller than n?
True
Suppose 85*j = 51*j - 7106. Is j > -206?
False
Suppose -106*p = -121*p - 15. Suppose 0 = n - 117 - 84. Let i = n - 1611/8. Is p at most i?
True
Suppose 0 = 3*x - 2*x - 1. Let t = -3.4 - -3.01. Let g = 0.59 + t. Which is smaller: g or x?
g
Let a be (1/(1 - -1))/(-4). Let b = 16.22 + -16.42. Which is smaller: a or b?
b
Let l be 88/264*(-27)/1. Is -0.09 > l?
True
Let c be 0/(1/2*2 - 3). Let q be -1 + 1 + (-2)/78. Does c = q?
False
Let g = 2.26 - 93.26. Let u = g + 79. Which is bigger: u or 1/5?
1/5
Suppose 0 = 3*w + 67 - 70. Let n be (1 + (-54)/57)*305. Let b = n - 16. Is b equal to w?
False
Let j = 614/5 - 14137/115. Let y = j - -61/115. Is y < -2/3?
False
Let g = 107 - 37. Let a be g/30 + (-2)/(-3). Suppose -5*s - 4 = 21, -2*n = -a*s - 27. Which is greater: -1 or n?
n
Let i = -2252/9 - -484117/1935. Which is smaller: i or -1?
-1
Let i be -21 - (-3 + 2)/1. Which is bigger: -23 or i?
i
Suppose n - 3933 = -5*o + 4735, 0 = 5*o + 5*n - 8660. Let x = o - 13941/8. Are -10 and x unequal?
True
Let k(i) = i**2 - 63*i - 338. Let u be k(-5). Is -14 greater than u?
False
Let o be ((-3)/(-2))/((-6)/(-16)). Suppose 3 = -3*j - o*w, -2*j - 3*w - 6 = -4. Is 17 at least j?
True
Let u = 2435 - 1250. Is 1185 smaller than u?
False
Let v(r) = r**3 - 4*r**2 - 1. Suppose 3*m - 1 - 11 = 0. Let t be v(m). Which is bigger: t or -3/20?
-3/20
Suppose -10 + 18 = 8*q. Is -2/599 smaller than q?
True
Suppose -3*u + 6*t - 15 = 9*t, 2*u = -t - 6. Let q = -0.02 + 3.02. Let d = -9 + q. Which is greater: d or u?
u
Let k = -89 - -96. Suppose 0 = 2*o - 0*o - 10. Let h = o + -1. Do k and h have different values?
True
Let n = -1146 + 1211. Which is smaller: 52 or n?
52
Let q = 18697/6 + -3086. Which is greater: 31 or q?
31
Let r be (2 + (-6)/4)*22. Suppose -r = -x - 12. Which is greater: x or 3?
3
Let v(f) = f**3 + 9*f**2 - f + 9. Let z be v(-8). Let t be 8/6*(z/(-6))/(-9). Is 11/16 at most as big as t?
True
Let y = -1350 - -6748/5. Is y not equal to 9/64?
True
Let f = -3329/5 + 755703/1135. Is -1 at most as big as f?
True
Let z(l) = -l**3 - 8*l**2 - 9*l - 10. Let c(d) = d - 7. Let v be c(0). Let x be z(v). Let a(g) = -g**2 + 11*g - 13. Let i be a(9). Is i at most x?
False
Let v = 2.2 - 2. Let b = -1338 - -1330. Is b < v?
True
Suppose -3*d + 3*k + 2 = -2*k, 3*k - 14 = -2*d. Suppose -d*i - 50 = -2*m, 5*m - 2*i + 7*i = 155. Is m at least 0.2?
True
Let f be ((-6)/(-16))/((-1326)/52). Which is smaller: -1 or f?
-1
Suppose -3*j + 5*b = 157, 5*b = 5*j + 2*b + 267. Is j >= -107/2?
False
Let z be ((-1)/(-3))/(0 - 5/15). Are z and -4/99 unequal?
True
Let c = -1 + 1.1. Let x be (-3)/(-5) - (-84)/(-15). Is c greater than x?
True
Let o = 268 + -275. Is o at most -11?
False
Let z(m) = m - 10. Let a be z(6). Let d be -1 + (-1 - a) - 72/38. Which is greater: d or 0?
d
Let f = 47/4 - 12. Are f and -107 unequal?
True
Suppose 25 = f + 8. Suppose -c - 2*y + 30 = 0, 0 = 10*c - 7*c + 2*y - 70. Is c bigger than f?
True
Let t = 609 + -611. Is -73 at least as big as t?
False
Let d(i) = i**3 + 7*i**2 - 6*i + 10. Let k(s) = -3*s + 1. Let g be k(3). Let l be d(g). Let z be (4/l)/((-56)/(-24)). Which is bigger: z or -1?
z
Let u = 355/2 + -190. Is -14 <= u?
True
Let b = 36 + -6. Suppose -6*t = -t - b. Suppose -p = 7 - t. Which is smaller: p or 0?
p
Let c = -0.242 + 0.062. Let p = 22 + -21.82. Let o = c + p. Is -6 at least o?
False
Let h = -30658/35 + 6700/7. Let a = h - 2917/35. Which is greater: -3 or a?
a
Let a = 1919 - 1916. Let c = 3071 + -33751/11. Which is bigger: a or c?
a
Let w = -957 - -199059/208. Is 0 greater than w?
False
Let u = 53237/65 - 819. Let h = u - 69/130. Is 9/5 <= h?
False
Let u be ((-28)/(-3))/(-1 + (-31)/(-30)). Suppose 566 = -6*o - u. Is o <= -140?
True
Let w = -5238 + 31243/6. Let a(g) = g**3 - 6*g**2 - 2*g + 2. Let d be a(3). Let f = d - w. Does -1 = f?
False
Let f be 43 + -48 + 77/15. Let i = 8.09 + -0.09. Which is bigger: f or i?
i
Let f be 1 + 16/(-40) + -1. Which is bigger: -78 or f?
f
Let g = -1653 + 1655. Which is greater: 1/12 or g?
g
Let v(o) = -2*o - 2. Let n(f) = f**3 + 5*f**2 + 3*f - 2. Let m be n(-4). Let k be v(m). Let x = 2 + k. Which is greater: -3 or x?
-3
Let x be 100/(-7) + 6/21. Let q be -2*(x/(-4) - -2). Let c(a) = a**2 - 11*a + 19. Let m be c(6). Do m and q have the same value?
True
Let f(m) = -m**2 - 20*m - 84. Let a be f(-14). Which is smaller: a or -3/146?
-3/146
Let v = 199.5 - 208.5. Is v greater than or equal to 139?
False
Suppose 255 = -b + w, 51*w = -4*b + 48*w - 1034. Is b at least -257?
True
Let k = -168 - -1171/7. Let n = -109 + -62. Let b = n + 171. Which is smaller: b or k?
k
Let q = -611 + 590. Are q and 5 unequal?
True
Let l be -39*6/(-45)*445/(-356). Let d(s) = -s**2 - 3*s + 4*s - 2*s. Let u be d(2). Which is smaller: u or l?
l
Let k = -772 + 771.977. Are k and -5/6 equal?
False
Let v(s) = -2*s + 5. Let d be v(0). Suppose -180 = -d*g - 5*n, 2*n + 87 = 4*g - 69. Is -1 less than g?
True
Let w be 1/(-5)*(5 - (10 + -6)). Which is bigger: 23 or w?
23
Let k(o) = -5*o**3 + o**2. Let t be k(1). Let y = 1.88 + -2.9. Let a = 0.02 + y. Which is smaller: t or a?
t
Let y be (-4)/(-524)*(0 + (-1)/3). Which is bigger: y or -1?
y
Let a = 24 - 15. Let v = a + -4. Let d = v + -7. Which is smaller: 3 or d?
d
Let z = 12 + -8. Let u(p) = -6 + p**3 + z*p - p - 4*p + 5*p + 7*p**2. Let h be u(-6). Are 4 and h equal?
False
Suppose -6*q + 5*q - 7 = 0. Let p = 0.492 + 0.008. Is q bigger than p?
False
Let p = 3.7 - 2. Let x = p - -1.44. Let s = x + -0.14. Is s < 0.2?
False
Let l be 7 + -6 - (-20)/(-14). Let k = -1 - -2. Are k and l nonequal?
True
Let q = 0.432 + 0.328. Is q less than 2?
True
Let j be (-2)/(-2) + -1 + 0. Suppose 2*f - c - 14 = 0, -2*f + j*c + 2 = -4*c. Suppose 0 = -3*n + 4*u + 40, -4*n - 3*u + 28 = n. Is f not equal to n?
True
Let i = 261/2360 + -8/59. Is i at least -0.1?
True
Let s = 591 + -591. Which is bigger: 5/14 or s?
5/14
Suppose 5 = -3*g + 5*i, -2*i + 7*i - 5 = 4*g. Suppose 2*m + m - 21 = g. Let j(k) = -2*k + 9. Let n be j(m). Do -3 and n have different values?
True
Let t = -189.98 + 190. Are t and -7 equal?
False
Let j be (-28)/36 - (143/22 - 7). Which is bigger: 0 or j?
0
Let n = 4 + -3. Let p = -115 + 76. Let d = 62 + p. Which is bigger: n or d?
d
Let o = -35/108 - -2/27. Let j(k) = k**3 - 6*k**2 + k - 7. Let s(b) = b**3 - 6*b**2 - 7*b + 6. Let h be s(7). Let p be j(h). Is p at least as big as o?
False
Let i = 81 + -79. Let y be (i*(-3)/(-3))/(-42). Which is greater: y or 2?
2
Let z(n) = -7*n + 13. Let q be z(2). Is q bigger than -1/192?
False
Let y(w) = -4*w - 36. Let l be y(-17). Let t = -18 + l. Is t greater than or equal to 14?
True
Let h = 35 - 32. Let s = 3924/5 - 782. Which is smaller: s or h?
s
Suppose 5 = -5*v - 2*l + 13, v - 4*l - 6 = 0. Suppose 0 = z + 1, -v*g + 2*z - 6*z - 6 = 0. Let i be (-1)/1 - (-1 + g). Which is smaller: i or -2/17?
-2/17
Let r be (1*3/15)/(1100/(-250)). Which is greater: r or 0?
0
Let h = -14.1 - -15. Let k = 1.1 + h. Let c = -2 + k. Which is smaller: -2 or c?
-2
Let q(f) = f**3 + 11*f**2 - 45*f - 12. Let g be q(-14). Is g equal to 336/11?
False
Let j = 126269/122 - 1035. Is j at least as big as 2?
False
Let h = 1040.57 + -1041. Let z = -0.07 + 0.27. Which is smaller: z or h?
h
Let b be -16 + 6 + 6 - -19. Let k(l) = 3*l + 1. Let i be k(5). Let j = i - b. Is -1 greater than or equal to j?
False
Let w be (-5)/(-1620)*56/(-21). Is 1 bigger than w?
True
Let w be