e 3*a - 20*a + 68 = 0. Suppose 0 = -3*h + 4*p + 11 + 8, 3*h + a*p - 59 = 0. Let i = -57 + h. Is i at most -43?
True
Let j be 6/(2*(-48)/(-736)). Which is smaller: j or 44?
44
Suppose 3850 = -426*w + 365*w - 7557. Do w and -185 have the same value?
False
Suppose -3*k - q = -6*k - 1193, 3*q = k + 411. Let h be (-2)/18 - (-11)/(k/(-6376)). Is -0.1 less than or equal to h?
True
Let h = 268 + -240. Suppose -h = -16*m + 9*m. Is 4 smaller than m?
False
Let y = -576/5 - -231/2. Let w = 215 - 238.2. Let z = w + 23. Which is bigger: z or y?
y
Let r be (-19 - (-3710)/196)/((-4)/16 - 0). Let q(j) = j**2 - 5*j + 3. Let g be q(6). Let x be ((-3)/18)/((-2)/g). Do r and x have the same value?
False
Let b(h) = 42*h + 207. Let y be b(4). Which is smaller: 372 or y?
372
Let w = 228002 + -26676046/117. Is w equal to 3?
False
Let x = 27448 + -32316. Which is bigger: x or -4865?
-4865
Let v(i) = -546*i - 776. Let f be v(-7). Is f at least 3045?
True
Let k = -62570 + 187708/3. Let d be (78/38 + -2)*-3. Which is bigger: d or k?
d
Let g be ((2/(-3))/((-8)/132))/((-174)/348). Let r(s) = 7*s + 5. Suppose -5*o - 7 = y - 2*o, 2*o + 18 = -4*y. Let z be r(y). Which is greater: g or z?
g
Suppose t + 31 = 38, 2*f - t + 6313 = 0. Which is smaller: -3154 or f?
-3154
Suppose 34*a + 66 = a. Let r be (-9)/(-324)*9*a. Which is bigger: -1 or r?
r
Let x = -83 + 24. Let g = -50 - x. Suppose -g*m = m + 30. Which is bigger: -6 or m?
m
Let i = -0.2 + 0.5. Let g = 213 + -212.9585. Let u = 16.9585 + g. Are i and u non-equal?
True
Suppose 142 = -5*r + 3*j - 235, 0 = -5*r + 2*j - 373. Let v = 55 - 130. Which is bigger: v or r?
r
Let h = 2676845/48162 + -31/2094. Is h less than 57?
True
Let o = 58 - 56. Suppose -3*f - 17 = -o*n, 0*f - 4*f = -3*n + 25. Let w = 109 + -101. Is w > n?
True
Let n = -7 - -4. Suppose 0 = -0*o - 2*o - c + 4, 3*c = 0. Let u be (o + n)*(3 - -4). Which is bigger: -4 or u?
-4
Let r be (-11)/88*12/990. Does 0 = r?
False
Suppose -8*u + 576 = u. Let g = -28 + u. Let k be 4/g*(-3)/2*-86. Is k at most 14?
False
Let l = -124 - -182. Let c = 61 - l. Let f be c/((-45)/(-12)) - (-1)/5. Which is bigger: f or 1/15?
f
Let s = -72791/5 + 14700. Is 142 >= s?
True
Let z = 21911 + -21910. Let o = 57021/35 - 1629. Are z and o equal?
False
Let i = 6202349416/11194819 + 52/211223. Let f = i + -554. Let p = -4304 + 4305. Which is bigger: p or f?
p
Let h(u) = 9*u + 2. Let z(f) = -5*f - 3. Let x be z(-1). Let t be h(x). Suppose 8 = 2*c + 2*c, -4*c = -4*b - t. Are b and 3 nonequal?
True
Let o(a) = 3*a**2 - 6*a - 35. Let h be o(-3). Let j be (h/(-6))/(70/(-1008)). Is j <= 0.05?
False
Let m be 4/6*(0 + 4/8). Suppose 3*c + 8 = -w, -4*w = -2*w + 2*c. Suppose b - 9 = -2*b + w*v, b - 5*v = 14. Which is smaller: m or b?
b
Let i = 0.01 - 0.003. Let r be 33 - (-8 + 9429/231). Is i != r?
True
Let w = -21.831 + 21.3. Let g = -0.231 - w. Do g and -3.9 have the same value?
False
Let g(k) = k - 15. Let i be g(17). Let u be 3/4 - (-18)/(-24). Suppose -4*l - 3 = 4*o + l, 3*l - 3 = u. Is o at most i?
True
Let o = 110 + -112. Let f be (10/15)/(o/3) + -9. Which is bigger: -13 or f?
f
Let d = -3509 + 3807266/1085. Suppose -3*b + 3*b = 3*b. Is b less than d?
True
Let j = -4/15299 + -72867/13876193. Is 1 smaller than j?
False
Let a = -127.69 - -127.69. Do a and 27.48 have different values?
True
Let k = 0.035 - 47.035. Let r = -5.61 - -37.61. Let x = k + r. Which is smaller: x or -2/7?
x
Suppose 4*i - 45 = 3*r + 391, i + 446 = -3*r. Is r less than or equal to -152?
False
Suppose -84*o + 81*o = 561. Let q(l) = -l**2 - 44*l + 229. Let t be q(-52). Is t >= o?
True
Let z(t) = 5*t**2 + 2*t - 1. Let b be z(4). Let k = b - -24. Let i = 105 - k. Is i less than -7?
False
Let x = 12773 + -12772. Which is smaller: 141 or x?
x
Let p be ((-87)/54)/(62/(-34)). Let t = 1/186 + p. Let n(j) = j + 1. Let y be n(1). Does t = y?
False
Let a = 171.5 + -172. Let y = 0.6 + a. Which is greater: y or 74?
74
Let g be 586/2*((-12 - -1) + 8). Which is smaller: -876 or g?
g
Let n be (3/7)/(20/(-42)). Let y = 114211/3 - 38070. Which is smaller: y or n?
n
Let c be (6 + -7)/(1*(30/155)/6). Which is greater: c or -51?
c
Suppose -5*z + 20*q = 17*q - 62, -3*q = 5*z - 38. Let c be (75/z)/(-15)*82. Is c at least -41?
True
Let d = 60 + -53. Suppose 3*x + x = -4*x. Let j be 4 + (-4 - x) + d/(-3). Which is smaller: -8 or j?
-8
Let m be (4 - 4/5)*(-7465)/(-2). Is m smaller than 11943?
False
Let o(v) = v**3 + 7*v**2 + 3. Let n be o(-5). Let j = n + -49. Suppose c + j*c - 4*p = 95, -70 = -4*c + 2*p. Are c and 15 equal?
True
Suppose -1 = -3*g - 2*a, -7*a = g - 3*a - 7. Let n(p) = p + 1. Suppose -2*h + 6*h - r = -25, 34 = -5*h + 4*r. Let v be n(h). Is v at least g?
False
Let j = 1052 - 1016. Let k be 45/j - 21/(-28). Let r be 3/(1 + (-6)/1). Which is smaller: k or r?
r
Suppose 2005 = 22*i + 2577. Is i bigger than -3/8?
False
Let u = -1504 + 1501. Which is smaller: u or -95?
-95
Let l(x) = 3*x**3 - 10*x**2 + 4*x - 47. Let h be l(4). Is -16/49 > h?
False
Let u be (-15)/(-138)*2*12/(-8130). Which is smaller: -1 or u?
-1
Let q(p) = -3*p**3 + 19*p**2 + 19. Let s be q(0). Which is greater: s or 29?
29
Let v be 7*(-2)/7*4/(-4). Suppose -11 = -3*l - v. Suppose -f = l*f + f. Is -2/43 not equal to f?
True
Suppose -855*z + 6628 = -859*z + 3*q, 0 = -2*z - 5*q - 3314. Which is smaller: -1656 or z?
z
Suppose 5*i - 5*g + 35 = 0, 0 = 5*i + 2*g - g + 53. Let m(u) = -u**3 - 11*u**2 - 9*u + 12. Let w be m(i). Suppose q = -w*q + 3. Which is smaller: 1/3 or q?
1/3
Let h(f) = f**3 - 8*f**2 + 14*f + 12. Let a be h(5). Is a greater than or equal to 27?
False
Let m = -7212 + 7221. Is 94.9 at least m?
True
Let m = 6301/18885 + -2/6295. Is 28.1 smaller than m?
False
Let v be (-8)/(-3) + -3 + (-112)/(-66). Let m = 0.251 + -0.051. Is m >= v?
False
Let n = -162852/103 + 1581. Which is bigger: 0 or n?
0
Suppose 0 = -x - 2*f + 6*f + 28, 2*x - 56 = 5*f. Let s be ((-180)/27)/((-2)/9). Which is greater: x or s?
s
Suppose -p - 194 = -3*z, -4*z + 50 = -4*p - 206. Suppose z*v - 63*v - 884 = 0. Which is greater: v or 441?
v
Suppose 28*u + 7879 = 7879. Is -2/9689 greater than or equal to u?
False
Let z = -0.29 - 1.26. Let u = 112091 + -112092. Which is greater: z or u?
u
Let r be 18/(-9)*(-4 - -1). Let n be r/9 + 426/(-18) - -1. Is n smaller than -24?
False
Let z = 0.6618 - -1.3382. Is z at least 1113?
False
Let g = 10.1 + -7.55. Let w = -42929 + 42929. Which is smaller: g or w?
w
Let x(f) = -f**3 + 10*f**2 - 17*f + 4. Let z be x(8). Let i be 384/14 - z/7. Suppose i*c = 24*c - 32. Is 0 <= c?
False
Let m = -2701.9 + 3104. Which is greater: m or 1/2?
m
Let w be (-3 + -5)*6/(-392). Suppose -325*u = 334 - 9. Which is greater: w or u?
w
Let x = -14433/2002 + 5/182. Do -6 and x have the same value?
False
Let b = -4.88 + 5. Let d = 0 - b. Suppose -5*x + 20 = 57*j - 59*j, 0 = -5*x + 3*j + 25. Which is greater: x or d?
x
Let p be 1*(-3 - (-720)/224)/(6/7). Which is smaller: p or -8/97?
-8/97
Suppose 0*u - 5*g - 67 = -2*u, 3 = 3*g. Let m be (u/(-30))/(3/15). Let v = m + 0. Which is smaller: -9 or v?
-9
Let d be (-2 + 3)/((-19)/(-19)). Let l = 241 - 1691/7. Which is bigger: d or l?
d
Let y be (-301)/(-23) + (-426)/138 + 3. Suppose 3*r + 47 = -37. Let x be r/(-24) + (-2)/3. Which is smaller: x or y?
x
Let j = 1084173/11 + -98667. Let d = j - -106. Let n = 6.961 - 2.961. Which is smaller: d or n?
d
Suppose 105 = 7*p - 147. Suppose 194*y - 190*y = -p. Is -9 equal to y?
True
Let d(g) be the first derivative of 5*g**2/2 - 114*g + 33. Let p be d(0). Let u be ((-22)/(-33))/(4/p). Is u <= -19?
True
Let p be -25 - (-19 - (-13 - 1)). Which is smaller: -23 or p?
-23
Suppose -4*o - v - 5545 = 0, 21*o - 4161 = 24*o + v. Which is greater: o or -0.6?
-0.6
Let n = 6 - 10. Let o(g) = 3*g**3 - 66*g**2 - 67*g - 61. Let v be o(23). Which is bigger: n or v?
n
Suppose -125*x = -5*s - 124*x - 565, -s - x = 119. Which is bigger: s or -257?
s
Let k = 20530 + -22813. Which is greater: -2 or k?
-2
Let o = -0.432 - -0.3. Let z = 25.868 - o. Is z equal to 1?
False
Suppose 0 = -2040*a + 2034*a. Which is bigger: -2/96093 or a?
a
Suppose -u = u - 36. Let q be ((-20)/(-14))/((-22)/(-154)). Let w be (-2)/(((-10)/q)/(u/(-4))). Do -35/4 and w have different values?
True
Let b = 523 - -7566. Is b <= 8089?
True
Let v = 9559 - 9559. Let b be (