**2 - 472*n + 7. Let m be g(11). Suppose 0 = -4*v + 24 + 56. Which is greater: v or m?
v
Let q = -40 + 65. Suppose -3*r - 93 = 18. Let w = -10 - r. Which is smaller: q or w?
q
Let d = 23677567/38 + -1247599/2. Let l = -705 - d. Suppose 15*t + 9*t - t = 0. Is l greater than t?
True
Suppose 478*r + 332 = 146*r. Is r greater than or equal to -12/5555?
False
Let b = 0 - -1. Let i = 1/597124 + 5075545/5374116. Which is smaller: i or b?
i
Let l(f) = f**3 + 20*f**2 + 100*f - 8. Let o be l(-12). Let y be 1/(-3 + 322/108). Is o equal to y?
False
Let r = -816 + 817. Which is smaller: r or 29/33?
29/33
Let v be 1896/(-70) - (-1 - 24/(-20)). Let n = v + 27. Which is smaller: -3/4 or n?
-3/4
Let x = 91 - 27. Suppose -25 = 2*o + b, 3*o - 3*b - x = 8*o. Are -53/5 and o equal?
False
Suppose -15*x - 4*b = -11*x, b = 3*x. Suppose -11*l - 62 + 51 = x. Do 0.05 and l have different values?
True
Let q = -47741/2 + 69773/3. Are -612 and q non-equal?
True
Let u = 82 - 72.08. Let y = u - 9.9. Let k = -0.02 + y. Which is smaller: k or 3/10?
k
Let i(m) be the second derivative of m**5/20 - 13*m**4/12 - 7*m**3/3 + 19*m**2/2 + 18*m. Let p be i(14). Let v = -23 + p. Is -3 equal to v?
False
Suppose 2*b + 6*b = -48. Let k be 4/5*b/(-12). Let s = 0.6 - 5.6. Is s at most k?
True
Let c be ((-10)/(-6))/((-65)/(-78)). Let r(x) = 5 - 4 + 1 - 10*x. Let s be r(c). Is -18 less than s?
False
Let c be (4/3)/((-5)/90). Is -26 equal to c?
False
Suppose i + u - 22 = 0, 0 = -5*i + i + 3*u + 95. Let r = i - 21. Let x be -1 - ((-13)/4)/(r/8). Is x greater than 13?
False
Let a = 87 + -95. Let k = 140 - 141. Which is bigger: k or a?
k
Let s = -1.9024 + 0.8165. Let g = 0.0859 + s. Which is smaller: 18 or g?
g
Let o(w) = 4*w**3 + 4*w**2 - 2*w - 2. Let f = 44 + -42. Let t be o(f). Let j be (8/t)/(3/7). Which is bigger: 1 or j?
1
Let g be ((-16 + 5)/11)/(1/(-4)). Let v = -38 + 26. Let o be ((-1)/(-5))/(v/15). Is g at least o?
True
Let q be 3/(7568/(-32) + 10). Is 0 smaller than q?
False
Let u(k) = -k**2 - 6*k + 16. Let n be u(4). Let l(p) = -3*p**2 + 10*p + 2. Let m be l(5). Which is greater: n or m?
m
Suppose 0 = -2*r - 10, -5*f - r + 1195 = -2*f. Let q be (5*4/f)/2. Let t = 591 - 591. Is t at least as big as q?
False
Let b(w) = -w + 3. Let h be b(4). Let l be (-1235)/5544 - (-46)/207. Let a = -953/53592 - l. Which is greater: h or a?
a
Let a = 124 - 134. Let l be (1668/(-21) - 2)*5/a. Is l at most as big as 41?
True
Let f(g) = 8*g**2 + 79*g + 108. Let c be f(-9). Which is smaller: -2 or c?
-2
Let i(m) = -m**3 + 19*m**2 + m - 9. Let b be i(19). Suppose 25*a = 24*a - b. Which is smaller: -8 or a?
a
Let v = -259 + 249. Let y be v/4*(-364)/(-70). Which is bigger: y or -49/4?
-49/4
Let j = -78/7 + 76/7. Let h be (10/4)/((-2)/((-16)/(-20))). Which is bigger: h or j?
j
Let n(z) = -237*z + 1604. Let b be n(7). Is -48 not equal to b?
True
Let h be ((-27)/4)/(2/(-8)). Let d be 7/((-28)/(-9120)) - (0 - -6). Let q = 2302 - d. Is h less than q?
True
Let y be 68/(-110)*(2283/3 - 1). Let d = 470 + y. Do 0.4 and d have different values?
True
Let o = 17.082 - 16.999. Which is smaller: 0.41 or o?
o
Let d be -31 - (3 - (2 + 0)). Let c = 39 + d. Suppose -m + 0*m + 10 = 0. Is c at least m?
False
Let o = 0.13 + 9.87. Let g = o + -10.46. Let y = -0.46 - g. Is y bigger than 0?
False
Let q(h) = h**2 + 9*h - 15. Let d be q(7). Is 113 bigger than d?
True
Let o = 251.9 - 253. Is o at least -0.49?
False
Let m(i) = -12 + 60*i**2 - 84*i**2 + 2*i**3 + 2*i - i + 1. Let j be m(12). Let n = 698/13 + -53. Is n less than or equal to j?
True
Let z be 4 + 1*(-5)/5 + 1. Let i be (-32)/(-14) + (-3 - (-5 + z)). Which is smaller: i or 2/41?
2/41
Let v be (1 - 3130/4)/(94200/(-48)). Let f = v + -6/157. Is f less than 0?
False
Let y = -784 + 550. Let m = 126 + y. Let a = m + 112. Which is smaller: a or -1?
-1
Let p = -0.413 + 0.51. Let g = -1.097 + p. Which is smaller: g or -2/21?
g
Let v(y) = y + 1. Let r(g) = g + 10. Let z(q) = r(q) - 3*v(q). Let l = -117 - -120. Let c be z(l). Is 1 not equal to c?
False
Let u = -17332 + 17152.18. Let t = u + 180. Is 1 <= t?
False
Suppose -3*t = -24*t + 777. Suppose 2*f = 5*f + 5*b - t, 72 = 4*f + b. Is f greater than 10?
True
Suppose 558 = -17*c + 8*c. Let o = 67 + c. Suppose -o*u = 15, -k - u = -4*k - 18. Does k = -4?
False
Let w(h) = h**2 - 2*h. Let c be w(6). Suppose -6*j - 102 = -c. Let v = j - -53/4. Which is smaller: v or 0?
0
Suppose 0 = -3*u - 0 - 9. Suppose -712 = 192*t + 34 + 22. Which is smaller: u or t?
t
Let s be 1849923/(-1071) - (-5)/(-7). Is s <= -1727?
True
Let j be 5 + 6/((-12)/434). Let n = j + 92. Which is smaller: n or -119?
n
Let m = -267 + 240. Let x be (-6)/m + 656/1584. Which is greater: x or 6?
6
Let h be 3/(-4)*(-8)/(-12)*-4. Suppose g + 3*j + 23 = -h*j, 2*j + 8 = 0. Which is smaller: -23/13 or g?
g
Let a = -19 + 24. Let h be 5 + -4 - 0 - -1*a. Let d = 31/255 - -4/51. Which is bigger: h or d?
h
Let q = 1589 + -1591. Is -65/4 != q?
True
Let d = -72890/2911 - 1172032822/363875. Let x = 3246 + d. Let y(t) = -2*t**3 + 12*t**2 + 13*t + 8. Let s be y(7). Which is smaller: x or s?
x
Let c = -11 + 7. Let f be -1*(23 - -3)*(c - -6). Let x = 47 + f. Which is greater: x or -6?
x
Let g = 1484 + -1882. Which is greater: g or -373?
-373
Let m = 8695/9 + -2897/3. Is m smaller than -0.6?
False
Let l = 864.423 + -865. Let u = l - 0.423. Which is bigger: -8/23 or u?
-8/23
Suppose 122 = -6*y + 122. Which is smaller: 31/94 or y?
y
Let b(r) = -r**3 - 315*r**2 - 6983*r + 503. Let g be b(-291). Let x = 558 - 348. Which is smaller: g or x?
x
Let k be ((-2)/21*-7)/((-2)/(-597)). Let g = 182 - k. Which is bigger: -18 or g?
g
Let u(a) = a**2 - 3*a - 4. Let r be u(4). Suppose r*j + 2*j = 0. Suppose 5*p + 98 - 43 = j. Is -11 < p?
False
Suppose -5*a + 3*a = -3*f - 35, 3*a = 3*f + 51. Let x(k) = 14*k**2 - 2*k. Let y be x(2). Let o = y + -36. Does o = a?
True
Let y(u) = 3*u**2 + 18*u + 16. Let q(o) = -7*o**2 - 37*o - 32. Let k(d) = -4*q(d) - 9*y(d). Let m be k(-1). Which is smaller: 2/33 or m?
m
Let c(b) = b**2 - b. Let z(x) = 6*x**2 - 20*x - 152. Let d(u) = -5*c(u) + z(u). Let o be d(-8). Is o != 31?
True
Let z be ((-5852)/(-16324))/((-18)/10). Is -1 < z?
True
Let w(t) = 18*t**3 + 2*t**2 + 5*t + 1. Let b be w(-2). Let c be (14/(-112) + 11/(-40))*b. Is c greater than or equal to 115/2?
True
Let p = -4/203 - -877/13601. Let t = -1500 - -1500. Which is smaller: t or p?
t
Let y be (3 + (-14)/6)*6 + 32. Suppose 18 = 9*i - y. Which is smaller: -0.03 or i?
-0.03
Let j = -29 + 28.94. Let r = -7675 + 7675.06. Are j and r unequal?
True
Let u(r) = 3189*r + 36. Let m be u(2). Let n = m + -391245/61. Is n equal to 1?
False
Let s = -578 + 913. Let v = s + -335. Is -5 less than v?
True
Let y be -3 + 13*9/33. Suppose -9*q + 176 = -10*q. Let i = q + 164. Is i != y?
True
Let o be (-477)/(-108) + 3/(-4). Let x = 6474 - 6476. Which is smaller: x or o?
x
Let w = -6417 - -6420.74. Which is bigger: w or 7?
7
Let r = -20842 + 21492. Is r less than 6?
False
Suppose 3*r - 17 + 14 = 0. Let x be (-2)/4 - (-133)/14. Let s be 48/(-52)*x/(-6). Which is smaller: r or s?
r
Suppose 342*z + 54 = 315*z. Does -192/115 = z?
False
Let z(m) = -m**3 - m + 1. Let b(f) = -f**2 + 2*f - 1. Let k(r) = -2*b(r) - z(r). Let u be k(-5). Which is bigger: -3 or u?
-3
Let x = -37/2 + 5. Which is bigger: -14 or x?
x
Let g(u) = u**2 + 47*u - 140. Let q be g(3). Let k = 4 - 6. Let c be (-3 - -5) + (-14)/k. Do c and q have different values?
True
Suppose 5*a + 13 + 1 = t, 3*t - 4*a - 31 = 0. Suppose t = -m + 11. Let o be -75*(m - 6/4). Which is greater: -38 or o?
o
Suppose -2*c + 2*f = 6092, 5*c + 3*f = -3839 - 11431. Is -3050 greater than c?
True
Let b = -2967.3587 + -0.6413. Are b and -1 equal?
False
Let d = -44 - -77. Let f = d - 112. Let w = 80 + f. Which is greater: 0.57 or w?
w
Let h be -1*1*((-32508)/6503 + 5). Let v = 4111 + -4112. Which is smaller: h or v?
v
Let i(s) = -s**3 + 47*s**2 + 112*s - 347. Let t be i(49). Is t less than or equal to 337?
False
Let k(s) = s**3 + 75*s**2 + 421*s - 118. Let o be k(-64). Is o > 17995?
False
Suppose -3*s + 1 = -4*s. Let m be (10 - 14) + s + (-17)/(-4). Is 0.2 less than or equal to m?
False
Let y = -2188 - -2558. Which is bigger: 2584/7 or y?
y
Let g = -46 - -46. Suppose -7*n + 682 + 200 = g. Suppose -5*p = -0*p -