 Which is bigger: a or -10?
a
Let u be -4 - 6/9*-3. Let o be (75/6)/(-5)*-2. Suppose -2*g - 5 = m, o*g - 2*m + 7 = m. Does g = u?
True
Let p(q) = -20*q**2. Let b be p(1). Suppose 2*c + 46 = -4*f - f, c - 5*f + 8 = 0. Are c and b unequal?
True
Let x(w) = -w**2 - 8*w - 1. Let q be x(-7). Suppose q*n - 16 = 2*n. Suppose -n = -2*j - 4*a - 8, 5*a + 14 = -4*j. Is -5 less than j?
False
Let b be ((-156)/54)/(-3*(-6)/(-2052)). Is 329 > b?
False
Suppose 0 = 4*f - 15 - 9. Let p(s) = 0 + s**3 - f + 0*s**3 + 2 + 4*s**2 + 3*s. Let v be p(-3). Is -4 > v?
False
Let b = -16 - -31. Let i = b - 10. Suppose i*d = -1 + 6. Is 1 > d?
False
Let k = 23.1676 - -0.0324. Which is bigger: 2/3 or k?
k
Let r be (-76)/18 - (-6)/27. Let i = -444 + 438. Which is smaller: i or r?
i
Let d = -0.8 + -0.2. Let a = 0.7 - -3.7. Let v = 4.5 - a. Is v less than or equal to d?
False
Let s = -273 + 274. Is -2/129 < s?
True
Let z = -6.9 + 5. Let m = -1 + -0.2. Let t = z - m. Is t less than or equal to 0?
True
Let y = 258 + -126. Let w be (-3 + 0)/(y/40). Let n = w - -61/55. Is 0 less than or equal to n?
True
Let g be -2 + 6/(-118) + 53 + -51. Let x = 4/13 + -21/26. Is g greater than or equal to x?
True
Let h = -24.975 - 0.025. Let u = h + 26. Which is smaller: u or 1.2?
u
Let g = 13 + 59. Let v = g + -70. Which is smaller: 14 or v?
v
Let b = -240 + 221. Is 2 greater than b?
True
Let o be (-10 + 2)*78/104 - 689. Which is smaller: -694 or o?
o
Let m = 24 + -23. Let g = 467/11 - 1007297/23727. Let n = 14386/6471 - g. Are m and n nonequal?
True
Let j = 44/23 + -155/69. Suppose -2 = -4*i + 18. Suppose -2*h + 3 = -k, -i*k = 3*h + 3 - 27. Is k less than j?
False
Let l = 8357231/767 - 10896. Which is greater: l or 0?
0
Let s = 25 + -25. Suppose 4*f + f = s. Which is smaller: f or -3/11?
-3/11
Let o = -9 - -11. Suppose 2*d + 23 = f, -6*d + o*f = -d + 56. Let n be (-5)/d - (-1)/(-2). Which is smaller: 2/5 or n?
n
Let b(s) = s**3 + 15*s**2 - 23*s - 58. Let p be b(-17). Are -246 and p equal?
False
Let a be (11 + 12/10)*(-2)/6. Which is smaller: a or -4?
a
Suppose -3*w - 3 = 0, 4*w + 6 = 5*s + 2. Suppose 2*i - i - 8 = 3*y, i + 2*y - 3 = s. Let k = 18.88 + -14.88. Is k bigger than i?
False
Let k be 2 + -134*(-1)/(-72). Is -1 at least k?
False
Let b = -0.1577 + -0.1423. Which is smaller: 2/113 or b?
b
Suppose -2*w - 12 = 22. Suppose -18*y + 30*y - 156 = 0. Let r = w + y. Is r at most as big as -4?
True
Let q = 55 - 275. Let j be (-3)/(-15) - q/25. Does j = 11?
False
Let u = 7657/580 + 7/145. Is u != 13?
True
Let a be (24/(-9))/(3/(-108)). Let v = -96 + a. Which is bigger: v or -4/5?
v
Let g = -0.0598 + -0.0002. Is g > -29?
True
Suppose g - 150 = -4*o - 55, o - 4*g - 11 = 0. Let h be (3/1)/(1/7). Which is greater: h or o?
o
Let y be (-1)/3*(-5 - -2). Which is smaller: -8/23 or y?
-8/23
Let f = -31.4 + 38.4. Which is smaller: f or -13?
-13
Suppose -5*m + 3*z = -5, -1 = 3*m + 2*z - 3*z. Let a be (3 + (-1 - 3))/((-2)/(-1)). Which is bigger: a or m?
a
Let s = 35 + -34.98. Let b = -0.18 + 0.08. Is b at least as big as s?
False
Let w = 2 - 12. Let a = 13 + w. Suppose a = -3*f + 2*f. Is -0.1 greater than or equal to f?
True
Suppose 3*m = -12, o + 4*m = -3*o - 32. Let w = 1540 + -1547. Which is smaller: w or o?
w
Suppose -592 = 145*b - 141*b. Which is smaller: -146 or b?
b
Let i be 0/2 + (5 - 4). Suppose 0 = 2*j + 4, 3*j + j - 7 = 5*b. Let a be (-265)/275 - b/5. Which is bigger: a or i?
i
Suppose 3*v + 38 - 35 = 0. Let m be (2/(-196))/(9/6). Which is smaller: m or v?
v
Let w = 111.4 + -111.3. Is w less than -790?
False
Let n = 70 + -48. Suppose r = 2*r + 8. Let l be ((-2)/8*23)/(2/r). Which is greater: n or l?
l
Let h be ((-2)/(-1))/(6 + -2). Let o = -0.088 + -37.012. Let w = -37 - o. Which is bigger: h or w?
h
Let i(w) = w**2 + 13*w - 103. Let g be i(-19). Which is smaller: 13 or g?
g
Let x = 0.3 - 0.5. Let p = 81 + -90. Which is greater: p or x?
x
Suppose -12 = -0*p - 3*p. Suppose q - 138 = -z + p*z, 0 = 3*z. Let g = q - 2623/19. Which is smaller: g or -1?
-1
Let h = 0.2 + -0.1. Let t be (-62)/217 - (-2852)/(-112). Which is greater: t or h?
h
Let j(v) = 71*v**2 + 13*v - 31. Let x be j(2). Is 277 at most as big as x?
True
Suppose 2*b = b + 4. Let r(x) = x - 3*x - b*x**2 - x**3 - x. Let z be r(-3). Which is smaller: z or 1?
z
Let i be (-130)/2795 + (-647)/(-43). Is 4 >= i?
False
Let f = -10/9 - -68/45. Let i = 1.1 - 0.1. Let l = i - -2. Which is bigger: f or l?
l
Let b(s) = s**2 - s. Let w(m) = 2*m**2 - 8*m - 2. Let v(j) = 6*b(j) - w(j). Let u be v(-1). Suppose -u*p - 2 = -3*p. Is p > -2/3?
False
Let z(h) = -h**3 + 4*h**2 + 5*h - 13. Let i be z(4). Suppose t + 2*y + i = 0, -3*t - 3*y - 15 = -6*t. Which is smaller: 6/5 or t?
t
Let a be -8 + 0 + (-2 - -4 - 1). Which is bigger: a or 1?
1
Let r = -440679/55 - -8012. Let x = -2931/50710 - -3/922. Let w = r + x. Is w at most as big as 7?
True
Let g = -16 - -11. Let d(y) be the second derivative of y**3/6 + 3*y**2 + 5*y. Let n be d(g). Which is smaller: 0 or n?
0
Let s be 50/(-60) + (-20)/(-24). Which is smaller: s or 3/146?
s
Let f = 2.72 - 2.72. Which is smaller: f or 193?
f
Let v be -1*(-1 + 2) + 11. Let u be (-2)/5 + (-6)/v. Suppose 0 = -25*l + 18*l - 14. Is l > u?
False
Let h be 36/90 - (-133)/(-345). Which is bigger: h or 1?
1
Let g = 27 - 27.3. Let m = -0.4 - g. Which is greater: m or -2?
m
Let o = 48/5 - 276/35. Which is greater: 1 or o?
o
Let a be 1/(-2)*-8*1. Let u(p) = -p**3 + 7*p**2 + 9*p - 5. Let s be u(8). Let t = 1 + s. Is t at most as big as a?
True
Let t be ((-27)/(-54))/((-2)/(-28)). Which is smaller: 13 or t?
t
Let v(m) = 3*m**3 - 20*m**2 + 60*m + 4. Let b be v(6). Is 0.1 != b?
True
Let y = -15.7 - -15. Let c = y - -0.4. Let x = 1.3 - 1.7. Is c equal to x?
False
Let s(a) = -2*a**2 - 165*a - 650. Let i be s(-4). Suppose 0*k - k = 21. Which is smaller: k or i?
i
Let y be 2538/(-81) - 1/(-3). Is y > -30?
False
Let a be -2*(-3 - 103/(-2)). Let v = -100 - a. Let n = 536/3 + -182. Which is smaller: n or v?
n
Suppose 1636 + 764 = 50*q. Which is smaller: q or 0.2?
0.2
Let z be 16*(-6)/((-24)/(-5)) - -5. Which is greater: z or -87?
z
Let u = 53 + -91. Suppose -39 - 50 = 2*l + 3*h, 0 = -5*l - 3*h - 200. Is l < u?
False
Let j(s) be the second derivative of s**4/12 - 7*s**3/6 + 7*s**2/2 + 6*s. Let k be j(6). Let n = -2 + k. Do -2/45 and n have the same value?
False
Let m = 6 + 6. Suppose 8*p + 60 = m*p. Does 14 = p?
False
Let b be (1/5)/((140/434)/(-10)). Let c be (4/(-6))/((-5)/(-45)). Which is smaller: c or b?
b
Let w be -30 - -34 - 1*20. Is w smaller than -17?
False
Let x be 42/35*15/(-6). Let t be (-21 + -1)/(x + 5). Is -11 >= t?
True
Let k be (1/22 + 0)*-36. Let z(v) = -v**3 + 39*v**2 - 37*v - 39. Let y be z(38). Which is smaller: y or k?
k
Let p be (0 - -3) + (-8)/((-8)/69). Let u = 52 + 20. Are p and u equal?
True
Let l = -1.83 - 12.07. Let r = 14 + l. Let y = 235/3 + -79. Which is bigger: y or r?
r
Let c = -207 + 135. Let y be (-2)/(-9) + (-272)/c. Suppose 2*q + 7 + 1 = 0, y*o + 5*q + 20 = 0. Which is bigger: o or 6/5?
6/5
Let s = 30 - 32. Let n = 15 + s. Which is smaller: n or 1/4?
1/4
Let d be 363*-11*(-2)/1188. Is d > 7?
False
Suppose -4 = 2*q - 2. Let a be (-2)/(-2) + q - -6. Let c = 716 - 715. Is c less than a?
True
Suppose 0 = -6*p + 2*p + 5*r - 1046, 2*r + 796 = -3*p. Let f be p/30 + (-6)/(-15). Which is greater: f or -7?
-7
Let l = 546.1 - 546. Is -14 at most as big as l?
True
Let g(z) = -20*z - 34. Let t be g(-6). Suppose -4*v - 64 = 4*c, t = -5*c + 2*v - 4*v. Is -17 greater than c?
True
Suppose 49 = 2*k - 41. Let q = k + -51. Are q and -6 unequal?
False
Let h = -0.4422 - -49.5322. Let w = h - 49. Is w bigger than 0.04?
True
Let r be ((-138)/18)/((-2)/6). Let o = 31 - r. Suppose m + 5*q - 2 = 4*m, -3*m = 2*q - 5. Is m less than o?
True
Let x = 8.34 - 0.64. Let j = -9 + x. Let m = 0.3 + j. Which is smaller: -2 or m?
-2
Let a(k) = 2*k + 1. Suppose 0*x + 24 = 4*y - 4*x, 5*x = 4*y - 23. Suppose 0 = 3*r - 2*r + y. Let s be a(r). Is -12 greater than or equal to s?
True
Let o be 24/44 + 3624/616. Which is bigger: o or 6?
o
Suppose c - 354 = -355. Is -9/484 equal to c?
False
Let n = -12 + 68. Which is smaller: 6 or n?
6
Let g be 11/(-7) + -11 + 162/14. Which is smaller: g or -468?
-468
Suppose -2*a - 28 = -7*y + 2*y, 0 = y - 5*a - 1. Which is small