-4*n. Suppose -2*h + 228 = -5*h. Let p be h/(-10) + -4 - n. Is -2 at least p?
False
Let n = 8 + -16. Let u be 28/n*(-8)/14. Suppose -2*z - q = -3*z + 6, 0 = -u*z - 2*q + 4. Is 3 at least as big as z?
False
Let d = 677 - 378. Let b = -299 + d. Is 1/278 greater than or equal to b?
True
Suppose -24*m = -29*m - 15. Suppose 14*g + 648 = -4*g. Let q be 238/g*(36/(-21))/m. Which is bigger: -3 or q?
-3
Let v = -42.64 - -43.7. Let z = -15.94 - -16. Let x = v - z. Which is smaller: -48 or x?
-48
Suppose -a + 396 = 5*k - 3*a, 5*k - 393 = a. Suppose 2*u - k = z, 1 = z - 1. Let j be 2/10*(u/(-15))/(-8). Which is smaller: 0 or j?
0
Let w = -2 - -1. Let v be 66/(-10) + 3*2/10. Let f be 5 - (5 - (4 - (-16)/v)). Which is greater: f or w?
f
Let j(x) = x**3 - 19*x**2 + 3*x + 9. Let c be j(19). Let l = -40 + c. Let s = -0.1 - 0. Which is smaller: l or s?
s
Let c = 9225.6 - 9206. Which is bigger: 15 or c?
c
Let r(b) = 6011*b**3 + 6*b**2 - 4*b - 1. Let f be r(1). Which is smaller: f or 6011?
6011
Let r be 6/58*7388 + 1. Let j = r + -765. Which is greater: -1 or j?
j
Let z = -0.1503 - -48.2503. Let h = -47.49 - 0.51. Let f = h + z. Are -16 and f equal?
False
Let k(d) = 337*d + 7751. Let u be k(-23). Do u and -1/2086 have the same value?
False
Let l(s) = 37*s - 111. Let r be l(15). Let m be (-14)/5*(4 + r/(-116)). Is -1 at least as big as m?
False
Let z be (-2)/(-12)*8/((-16)/(-6))*-2. Is 6/17 > z?
True
Let o = 209/61 + 23547/427. Which is smaller: o or 60?
o
Let s = 563/4 - 6233/44. Is s greater than or equal to 68?
False
Suppose -3*h + 0*h - 5*f = -9, 5*h - 5*f - 55 = 0. Suppose -2*b + h = a + 3*b, 4*a = -4*b + 16. Let s be (-28)/49*a/(-132). Which is bigger: 0 or s?
s
Let y(j) = -7*j - 10*j**2 - 12*j**2 + 23*j**2 - 2. Let p be y(7). Let c = p + 1. Is c greater than 2/41?
False
Suppose -3*q + 82 = k, 0 = 5*q - 3*k - 35 - 83. Suppose v - 8 = 5*b, -2*v + q = -b + 19. Which is smaller: -2 or b?
-2
Suppose 2*u - 3*u - 68 = 0. Let m be -95 + 95 + (3 - (-1 + 3)). Let i be m/2*u/(-119). Is i less than 6/7?
True
Let y = 3.42 - 3.8. Let t = -44856 - -134567/3. Which is smaller: y or t?
y
Let m be ((-5)/(-1))/(3/(-15)). Suppose 370*p - 2125 = -8785. Is m at least as big as p?
False
Let d = -2930 + 2941. Is 4.3 greater than or equal to d?
False
Let l be (-14)/(-21) - 28/(-12). Let v be (2/l)/((-2)/(-5)) - 2. Which is smaller: v or 3/29?
v
Let s be ((-3)/44)/((-9)/(-2) + -3). Suppose z = -5*t + 18, -6*z + 2*z = -3*t + 20. Let m be ((-7)/(-21))/((z - -1)/3). Is s less than or equal to m?
False
Let j be (-114)/(-1026) + 780/27 + 11. Suppose -7 = 5*z - 207. Do z and j have different values?
False
Let f(z) = 6*z - 306. Let s be f(51). Suppose -643*b + 638*b + 545 = s. Which is smaller: b or 108?
108
Let d be (-3)/9 + 14/(-21). Suppose 4*i = 11*i + 63. Let a be i/(-27) + (-4)/(36/(-105)). Which is smaller: d or a?
d
Let k = 190 - 190. Suppose k*a = -16*a + 1280. Which is bigger: a or 81?
81
Let d be -4*(-4)/1536*(-27)/16*2. Which is smaller: -1 or d?
-1
Let l = 1125.8 + -1241.8. Is l > -9/10?
False
Let r be 282521454/(-198)*(2 + 0/3). Let a = r + 2854303. Let p = a - 551. Which is smaller: 0 or p?
p
Let y(r) = -r**3 + r**2 - r + 3. Let d be y(3). Let m be (5162/89 - 50) + 2 + -17 + 0. Is d not equal to m?
True
Let j = 76 - 142. Suppose 51*y = -39*y - 5940. Is j < y?
False
Let g be (-40 - -35)/((-5)/6). Suppose -3*j - g = -i + 3*i, 8 = -2*j. Is 5 greater than i?
True
Suppose -2994 = 22*o - 75*o + 18683. Suppose -521 - 295 = -2*u. Which is smaller: u or o?
u
Let x = -169 - -166. Let z be 618/15 - (x - -1)*3. Is 46 greater than z?
False
Suppose -2 = -10*s - 2. Suppose s = -5*t + 33 - 28. Let n be t*2/(-4)*2. Which is smaller: -1/9 or n?
n
Let l(x) = -x + 10. Let j be l(1). Suppose -477 = -j*b + 6*b. Are b and 159 equal?
True
Let a = -1173 - 794. Which is smaller: a or -0.1?
a
Let u be 3/15 - (-325232)/640. Let w(f) = 63*f**3 + 3*f + 1. Let i be w(-2). Let x = u + i. Is -1 <= x?
True
Let m(d) = -d**3 + 4*d**2 + 3*d - 2. Suppose 3*j = -167 + 176. Let n be m(j). Which is smaller: n or 19?
n
Let f = 0.03 - -2.57. Let m = f + -10.6. Let b = -9 - m. Which is smaller: 1/2 or b?
b
Let y(s) = 2*s + 164. Let g be y(-36). Is 0 > g?
False
Let p = -7433 + 2461. Is p at least as big as -4974?
True
Let z = 0.02948 - 10.82948. Are -8 and z nonequal?
True
Let x(o) = -2*o**3 + 37*o**2 + 47*o - 23. Let h be x(-8). Do h and 2993 have the same value?
True
Let k be 15936/2016*(-1 - -13). Is 2/5 equal to k?
False
Let u(y) = -y**2 - 2*y - 1. Let x be u(-2). Let o = x - -2. Let n be -12 - 69*(-120)/684. Is o smaller than n?
False
Let b be 4 - (2/(-5))/(63/(-175)). Suppose 42*t - 20 = 37*t. Is t greater than or equal to b?
True
Let x(l) = -l**3 - 5*l**2 - 5*l + 59. Let b be x(6). Let o = 367 + b. Is o greater than 1/232?
False
Let l = 2.738 - 2.81. Let u = -0.008 + 0. Let m = u + l. Which is greater: -1 or m?
m
Let t = -14516 + 14516.56. Which is smaller: 47 or t?
t
Let y(r) = -35 + 81 + 20 + 23 - r**2 - 28*r - 23. Let s be y(3). Which is bigger: s or -26?
-26
Let s be ((-32)/1200)/(-5 - (-1827)/(-27)). Do 0 and s have the same value?
False
Let t = 125 - 177. Let v = 56 + t. Suppose -3*g + 64 = v*y, g - 27 = 2*y + 11. Are g and 29 equal?
False
Let s(c) = 9*c + 42. Let b be s(-4). Let w be (b*9/(-7902))/(3/(-2)). Which is smaller: w or -1?
-1
Suppose k - 5*l - 230 = 0, -k + 3*l + 254 = 26. Which is smaller: 179 or k?
179
Let x = 37.055 + -37. Let u = -91/25 + 339/100. Which is smaller: x or u?
u
Let k = 4671 - -1842. Which is smaller: k or 1/3?
1/3
Let n = -148 + -437. Which is greater: n or -587?
n
Suppose 2*k = -6, 5*a - a - k = 59. Let z = a - 12. Suppose 3*y - 5*p = -10, -4*y - 2*p - z = 46. Does -12 = y?
False
Let n be 1880/(-564) - 38/(-15) - (-513)/85. Do 4 and n have the same value?
False
Let x = 139 + -99. Let b = 143 - x. Let m = 129 - b. Is m at least -1?
True
Let a = -30 - -33. Suppose 4*s - 36 = -a*c, 0 = 3*s + 4*c - 11 - 9. Let u = -10 - -19. Is u not equal to s?
True
Suppose -3*l = -3, 3*n + 23 = 5*l - 63. Suppose 3*x - 110 = -2*x. Let k = x + n. Which is smaller: -4 or k?
k
Let v = -709150/21783 + 740/411. Is v greater than or equal to -32?
True
Let b be 28/(-160) + 24/64. Is b != -170?
True
Let n be (17/(-2))/((-1)/6). Let m be 9/(324/1272)*((-9)/6 - -3). Is n >= m?
False
Let s be (-19)/(3192/(-96)) - 2459/4438. Which is smaller: s or -1?
-1
Let k(p) = -2*p**3 - 4*p**2 - 4*p - 5. Let u be k(-3). Suppose -18*b + u*b = -7. Is b > 1/21?
False
Let l = 3292 + -16462/5. Are l and -1170 non-equal?
True
Let t(x) = 6*x**2 + 142*x + 194. Let i be t(-29). Which is smaller: 1123 or i?
i
Let o = -189 + 194. Let r be (-736)/52 - (-6)/39. Let c = -10 - r. Which is smaller: c or o?
c
Let b = 0.28 - 2.07. Let h = -1.79 - b. Which is smaller: -1/7 or h?
-1/7
Let z(s) = -3*s**2 - 179*s - 1557. Let u be z(-10). Does -16 = u?
False
Let j = -906.87 - 2.13. Let l = -993 - j. Is -3/5 bigger than l?
True
Suppose 1521 = -75*l - 729. Which is greater: -326/11 or l?
-326/11
Suppose 0 = -4*s - 4*h + 440, -3*h - 397 = -5*s + 113. Are s and 99 nonequal?
True
Let q = -1196 - -1196. Suppose 42 = -a + 262. Which is smaller: a or q?
q
Let r be 2/((-4)/(-588)*6). Let n be -2 + 8/3 - r/42. Suppose 2*d - 6*d = -2*p - 10, -2*d - 5 = p. Which is smaller: d or n?
n
Let q(t) be the first derivative of t**4/4 + 6*t**3 + 17*t**2 + 25*t - 39. Let o be q(-16). Let c = 13 + -19. Do c and o have different values?
True
Let c be ((-51)/21)/17 - 4/14. Is 316/7 greater than or equal to c?
True
Let h = -76.517 + 14.587. Let g = 0.064 - -61.936. Let v = h + g. Which is smaller: 4 or v?
v
Let i(g) = -g**3 - 17*g**2 - 52*g + 11. Let x be 13/4*(-42 + 38). Let q be i(x). Which is bigger: q or 0.06?
q
Suppose -l + 0 = -1. Suppose 0 = -x + 4*r - l, 11*r - 6*r + 1 = -x. Which is bigger: -3/115 or x?
-3/115
Let o = 14000068289/27711 + -505217. Do 0 and o have different values?
True
Let l = 61 - 56. Suppose l*b - 58 = -c + 47, 2*b = 3*c + 25. Is 7 at least as big as b?
False
Suppose 562 + 428 = -11*p. Let s = 91 + p. Let m be (-1143)/(-12) - (3/(-4))/s. Are m and 96 equal?
True
Let t(m) = -2*m**3 - 22*m**2 + 4. Let n be t(-11). Suppose -3*f = 9*d - n*d - 6, 3*d - 4*f + 8 = 0. Let b be (d - 4) + (-1166)/(-253). Which is bigger: 0 or b?
b
Let s = -17 + 