ch is bigger: h or v?
v
Let m be 3*(3 + 10/(-3)). Let i be 11/(44/16) + (-2982)/749. Is i <= m?
False
Suppose -3*d = 3*g + 39, -5*d - 42 = 3*g + 23. Suppose -2*c - 44 = -6. Let i = c + d. Is i <= -31?
True
Let z = 162 + -647/4. Let j = -24 - -40. Suppose 4*o + d = 10 + j, 0 = 4*o - d - 30. Are z and o non-equal?
True
Suppose 4*m + 7 = 15. Suppose g + m*g = 0. Let v = -40/57 + 395/969. Which is bigger: v or g?
g
Suppose -2*c - 72 = 42. Suppose 219 + 1401 = -27*d. Is c < d?
False
Let s(w) = -46*w + 169*w**2 - 65*w**2 + 8*w + 28 - 84*w**2 - w**3. Let y be s(18). Is -9 less than or equal to y?
True
Let a = 102.8 + -105.86. Is -0.02 at most as big as a?
False
Suppose 96*k - 76*k + 1 = 1. Is k at least as big as 6/1487?
False
Let b be (11/(-132))/((-1)/12). Which is smaller: b or -15/68?
-15/68
Suppose 156 = 50*q - 11*q. Let l be (-360)/480 + -1 + 7/q. Suppose 0 = v + v + 24. Is v <= l?
True
Let f = 7536 - 75473/10. Let d = f - -23/2. Do -1 and d have different values?
True
Suppose -4*f + 17332 = -47*f + 15*f. Which is smaller: -618 or f?
f
Let l = 6 - 4. Let m be -4 + 15 - (-8 + 17). Let t be (-3 + 0 + 10/m)/l. Are 1/4 and t nonequal?
True
Let g be (-615)/40*(-1)/(-9). Let f = g + 11/8. Which is smaller: -4 or f?
-4
Let y = 38015 - 532211/14. Let u = -1.4 - -0.4. Let g = 1 + u. Which is smaller: g or y?
y
Let t = -1464 + 1860. Which is greater: -0.4 or t?
t
Let p = 3883 - 3882.9739. Is p less than 0?
False
Suppose -916*l + 865*l + 1734 = 0. Do l and -19 have different values?
True
Suppose 5*p + 3*o + 14 = 0, 0 = -3*p - 5*o - 30 + 12. Is p bigger than -12/413?
False
Suppose -2*m - 1 = k - 2, 3*m = 2*k + 5. Suppose -5*r + 42 = 12. Let z be r/3 + 0 + 0. Which is smaller: z or m?
m
Let i = -27170 - -23549. Is -3620 > i?
True
Let z = -2.921 - -5.921. Which is smaller: 3/19 or z?
3/19
Let l = 1 + -1. Let t be (-2193)/(-2)*2/12. Let s = -182 + t. Which is smaller: l or s?
l
Let s = -55 + 49. Let z be 3*2/s - 1. Which is smaller: z or -3?
-3
Let k = -18775 - -18722. Is -886/17 less than k?
False
Suppose 5*s - 9 = 2*s. Let o be (629/(-37))/((-1)/s + 0). Which is smaller: o or 50?
50
Suppose -2*p = -q - 7, 2*p - 16 = -10. Is q <= 1/240?
True
Suppose 4*w + v = -0*v + 658, 5*w + 5*v = 815. Let d = 171 - 7. Is w smaller than d?
False
Suppose -v - 2*j + 46 - 22 = 0, 56 = 4*v + 3*j. Let o be 15/12*(0 - -6). Which is greater: o or v?
v
Suppose -3*v - 29*v = v. Which is bigger: -53/63 or v?
v
Let s = -94 - 26. Let w be (-6960)/56 + 2/7. Which is greater: s or w?
s
Let f be (-171)/(-14) - (-4)/14. Let r = -906 + 579. Let q = 340 + r. Which is bigger: q or f?
q
Let s(j) = 8*j**3 - 36*j**2 + 4*j + 46. Let q be s(8). Which is bigger: q or 1?
q
Let w = 322.9 - 323. Is w less than 293?
True
Let i be ((-4331)/(-305))/(5/850). Which is smaller: i or 4827/2?
4827/2
Suppose 47*d = -66*d - 26664 - 1586. Are -997/4 and d unequal?
True
Let b(d) = -d**2 + 13*d + 31. Let f be b(18). Let k = 104 + f. Let l be 183/k + (-2)/(-15). Which is smaller: -1 or l?
-1
Let q = -87449 + 859186423/9825. Which is smaller: q or 1?
q
Suppose -1 + 55 = 69*x - 15. Which is smaller: 23/419 or x?
23/419
Suppose 3*f = 905 - 302. Let s = f + -201. Is 2/13 smaller than s?
False
Suppose 4*f - 2 = -2*m, -3*m - 8 = -5*f - 0. Let c be 0 - (f - 46/(-10)). Suppose -7*p = r + 3*p + 47, 5*p + 20 = 0. Is c equal to r?
False
Let l be 10/14 - (-6)/21. Let t = -6/9289355 - 906633578/11565246975. Let q = -2/1245 + t. Which is greater: q or l?
l
Let l(q) = 12*q**2 + 5*q - 5. Let s be l(5). Which is smaller: 333 or s?
s
Let m(j) = 9*j**3 - 23*j**2 + 33*j - 136. Let w be m(6). Are 1179 and w equal?
False
Let r be 47127481030810/23825 + 4 + 5. Let z = r + -1978068457. Let x = z + 4/953. Which is greater: 12 or x?
12
Let a = 1243 - 2105. Let h = 7768/9 + a. Which is smaller: h or -11?
-11
Let f = -8.3 - 142.7. Let r = -137.762 + -0.238. Let k = r - f. Which is smaller: 0.4 or k?
0.4
Suppose -14*s + 51*s - 1184 = 0. Let x be 8/s + 158*6/(-3984). Let c = 3 - 2. Which is bigger: x or c?
c
Let c = -223 - -485. Let w = -235.9 + c. Let b = 26 - w. Which is smaller: -14 or b?
-14
Let g be (-284)/2130 - -17*(-2)/(-30). Do g and 1/4866 have different values?
True
Suppose 4 - 48 = -11*n. Suppose n*p + 12 = 0, 3 = b + 4*p + 12. Let s = 24 - 15. Is b at least s?
False
Let k = 2596 + -730. Which is greater: 1871 or k?
1871
Let j be 4/26 + 7640720/(-299780). Let v = j + 2/3459. Is -25 smaller than v?
False
Let n be 2/3 + (2/(-7608))/(33/83710). Which is bigger: n or -1?
n
Let o = 60 + 87. Suppose 41 = 4*v - 5*k, -7177*k + 7178*k = -v - 10. Which is smaller: o or v?
v
Let y(z) = 24*z**2 + 159*z - 8. Suppose -5*k - 31 - 4 = 0. Let n be y(k). Is 58 bigger than n?
True
Let g(v) = -52*v - 28. Let u(b) = -18*b - 10. Let n(w) = 4*g(w) - 11*u(w). Let c be n(-1). Is -6 greater than or equal to c?
False
Let w = -123 + 176. Suppose 0 = 2*b + 2*c + 168, 2*b - 5*c + 121 + 54 = 0. Let q = w + b. Is -32 greater than or equal to q?
True
Let u = -2012 + 34188/17. Let x = -4 - -2. Is u less than or equal to x?
False
Let j = 3945.455 - 3944. Which is bigger: j or 2/3?
j
Let o be (-2084640)/327 + (1 - -3). Let k = -6371 - o. Is k less than or equal to -1?
False
Let r = -327 + 325.61. Let i = -37.39 - r. Which is bigger: i or -0.2?
-0.2
Let x(r) = -85*r - 62. Let s be x(-8). Let z be ((-10)/(-438))/(515/s). Which is smaller: 0 or z?
0
Let q(x) = -31*x**3 + x**2 + 9*x + 7. Let h be q(-1). Let k be (-7)/3*(h + -66). Which is bigger: k or 82?
k
Let t = 0.059 - -102.941. Let i = -144229 + 144230. Which is bigger: i or t?
t
Let v = -0.4899 - -0.6542. Which is greater: v or 0.6?
0.6
Let x = -21399 + 21392. Is x < -343/58?
True
Suppose -33*g + 1439 = 4904. Are -101 and g equal?
False
Let j(y) = 3*y**2 - 3*y + 10. Let z(i) = -7*i**2 + 5*i - 22. Let a(s) = -5*j(s) - 2*z(s). Let b be a(5). Let o be (-2)/(-10) + (-15)/b. Which is bigger: o or 4?
4
Let w = 26 + -392. Let p = w + 367. Do -95 and p have different values?
True
Let n(g) = 9*g - 66. Let j be n(7). Let s be -8 + 12 + j/1. Do s and -8 have the same value?
False
Let z = 0.4 + -0.5. Let t be 4 + 25/5 + -11. Let m(u) = -3*u**3 + u**2 + 5*u - 2. Let x be m(t). Are z and x unequal?
True
Let n = -17.985 - -17.5. Let m be (-3)/((-51)/(-30) - 2) - (-16416)/(-1596). Which is greater: m or n?
m
Let z = 1.494 + 0.55. Let o = 0.044 - z. Let i = -1/42 - 121/210. Which is smaller: i or o?
o
Let l be 8/(-52) - (-107580)/286. Which is smaller: l or 388?
l
Let m = -1/9587 - -134325/1025809. Which is bigger: -1 or m?
m
Let f be (-45)/18 - -10 - 7. Which is smaller: f or -0.06?
-0.06
Let z = -12663 + 12663. Which is greater: -72/95 or z?
z
Suppose -2*r + 200*o - 203*o - 175 = 0, -224 = 2*r - 4*o. Which is greater: r or -101?
r
Let w be 6503*27/(-567) + (1 - 4/3). Is -39 <= w?
False
Let c be (-9)/6 + 2/4. Let r = 168819/11 - 15347. Is r equal to c?
False
Suppose 6*h = 7*h + 4. Let j be -1*((-6 - h) + 1). Let n = 119/1692 + -2/47. Which is smaller: j or n?
n
Let h = 158 + -136. Suppose -h = -3*u + m, 4*m = 6*m - 4. Let x be (14/(-6))/(1/(-3)). Is u at most x?
False
Suppose -2*b - 1230 = -594. Which is bigger: -320 or b?
b
Let w(a) = a**3 - 107*a**2 - 326*a - 439. Let b be w(110). Which is smaller: b or -70/269?
-70/269
Let p be (-1 - -1*2)/(-5). Suppose 0 = 29*l - 16*l + 117. Let s be (-14)/18 - (-2)/l - -2. Which is smaller: p or s?
p
Let k(g) = -g**3 - 7*g**2 - 7*g - 231. Let u be k(-10). Does 141 = u?
False
Suppose 4*c - 2*c = 30. Let y = c - 13. Let f = 3639/44 + -896/11. Is f equal to y?
False
Suppose 0*c = 2*c + 2*o + 2, 2*o + 2 = -5*c. Suppose -3*s + 5*s - 390 = c. Let h be s/(-21) - (-6)/21 - -1. Which is bigger: h or -9?
h
Suppose w + 20 = 5*g - g, -3*w = 0. Suppose g*d + 44 = 149. Suppose -d*k + 16*k = 10. Is k < -1?
True
Let y be (-1)/14*-2 - (-3229050)/(-2394). Which is bigger: y or -1348?
-1348
Let k = 7176 - 7127.41. Let f = k - -3.41. Which is smaller: 2 or f?
2
Let v be (669737/(-2442))/((-1)/2). Let o = v - 1639/3. Which is bigger: -1/4 or o?
o
Let m = -94.017 + 0.017. Let r = -96.15 - m. Let n = 0.25 + r. Are n and -0.1 unequal?
True
Let h = -10506328/157 - -66919. Which is smaller: -1 or h?
-1
Suppose 4*r - 43 = -y, 69 - 83 = -r + 3*y. Which is smaller: r or 17?
r
Let c = -0.14788 - -0.02788. Let r = -20