-11 - -32. Let o = -23.5 + i. Let a = -2.6 - o. Which is bigger: a or 4/3?
4/3
Suppose 4*t = -0*m - m - 122, m = 3*t - 122. Does m = -121?
False
Let h(m) = -4*m - 6*m**2 + 2 - 8 + 5*m**2. Let q be h(-10). Let d be 1*-2 + q/(-39). Which is smaller: 0 or d?
d
Let n = -283 + 285. Is n less than -22?
False
Suppose -5*l - 4*r = -0*r + 9, 1 = 2*l - 3*r. Let c = -41 - -66. Is l bigger than c?
False
Let q(n) be the first derivative of 2*n**2 - 43*n - 13. Let u be q(10). Suppose 5*o - 5*h + 30 = -0*o, -5*o + 2 = 3*h. Which is smaller: u or o?
u
Suppose -46*x - 628 - 62 = 0. Are x and -15 equal?
True
Suppose 4*f = t - 15 + 4, -3*f - 37 = 5*t. Is -5 less than f?
True
Let b = 225 + -174. Which is smaller: b or 53?
b
Let d = 1270 - 1294. Let b = -97 - -68. Let z = b - d. Which is bigger: -8 or z?
z
Let i = 403 - 394. Is i equal to 17/2?
False
Let k be (-583)/11 - -14 - (-2)/(-1). Is -42 at most as big as k?
True
Let g(v) = v**2 + 2*v - 6. Let f be g(2). Suppose 53 = f*l - t, -l - t + 72 = 2*l. Let r be -1 + (-1 - (-40)/l). Which is bigger: 0.3 or r?
0.3
Let k = 55 + -30. Suppose k = i + r, 5*r = 4*i - 60 + 5. Is -1 <= i?
True
Let o(v) = v**3 + 13*v**2 - 15*v - 15. Suppose -3*r - 47 = -5. Let z be o(r). Are z and 3/11 non-equal?
True
Let t = 86 + -32. Let w = 54.04 - t. Let c = -25 + 76/3. Which is greater: c or w?
c
Suppose -7 + 3 = -a. Let v be 2/(a - (-18)/(-4)). Let r be 1 - (0 - 14/(-18)). Is r at least as big as v?
True
Let k = 5.3 + -5.2. Let f = 0.03 + -0.09. Which is smaller: f or k?
f
Let i be 1 + -10 + (2 - 1). Let d be 1 + (-8)/7 - (-8633)/(-1358). Which is greater: d or i?
d
Let j(r) = r**2 - 4*r - 5. Let b be 175/28 + 2/(-8). Let h be j(b). Suppose -5*c - 33 = -q, 2*q - 2*c - 2 = 3*q. Which is smaller: q or h?
h
Let y = -192 + 203. Is 5 != y?
True
Let y be (-1)/2*(3 + 7/(-3)). Is -89/3 equal to y?
False
Let g(y) be the third derivative of -y**5/60 - 2*y**4/3 - 19*y**3/3 - 5*y**2. Let s be g(-13). Is s < -1/243?
False
Suppose 7 = 5*w + 2*u, 4*u + 8 + 5 = -w. Suppose 0 = -3*k + 6 + w. Let r(f) = -2*f - 5. Let z be r(-5). Is k at least z?
False
Suppose 3*o + 9 = p, -2*o - 3*o - 15 = 0. Let z be 2/(1 + p + 2). Let d = 0.9 - -0.6. Is z at most d?
True
Let s = 193 - 192. Is s <= 1/135?
False
Suppose -8*b + 9 + 7 = 0. Suppose -b*z + 7*z = -160. Is -31 smaller than z?
False
Suppose -4*m + 36 - 40 = 0. Are 3/1037 and m non-equal?
True
Let q be 878/(-6) + 88/66. Which is bigger: q or -150?
q
Let u be (10/(-6) - -2)*129. Which is greater: 44 or u?
44
Let w = 23/4 - 77/12. Which is bigger: w or -0.08?
-0.08
Let t = -11409/28 + 2607/7. Let q = t - -471/4. Let l = 83 - q. Which is smaller: l or 0?
0
Suppose 5*f + 5 = 0, -4*o + 13 - 1 = -4*f. Let p = -0.26 - -0.66. Let t = -0.5 + p. Which is greater: t or o?
o
Suppose -2*y + 3*m - 4 = 5*m, -4*y + 10 = -5*m. Suppose y*b - b = 11. Which is smaller: b or -12?
-12
Let t = -32 + 673/21. Is t greater than 5/3?
False
Let v be (0 + -5)*31/(1240/(-48)). Which is greater: v or 9?
9
Suppose 3*u = -z + 13, -6*z + z - 4*u = -10. Let d = 3.1 - 3. Let r = d + -0.08. Is r <= z?
False
Suppose 22 = -2*n + 30, -5*b + n - 14 = 0. Is -0.041 smaller than b?
False
Let f(w) = 111*w**2 + 3*w + 2. Let t be f(-1). Let p be (-80)/(-56)*-2*2/t. Which is smaller: p or 1?
p
Let g be 270/35 - ((-6)/(-21))/(-1). Let f = 529 + -295. Let q be (3/f)/(2/g). Which is smaller: -1 or q?
-1
Suppose 66*d - 8*d + 290 = 0. Which is smaller: -93/16 or d?
-93/16
Let c = -205 + 205. Which is smaller: -5/96 or c?
-5/96
Suppose -4*x + f + 13 = 0, 27 = 3*x - 0*x + 5*f. Suppose 4 = 2*b + 4*j, b = 6*j - x*j + 18. Is 2 less than b?
True
Suppose 5*w = 47 - 12. Suppose -4*k = -2*v - 2*v + 12, w = -3*v - k. Which is greater: -5/13 or v?
-5/13
Let d = 25 + -22. Suppose -w + 16 = d*w. Is 2 at least as big as w?
False
Let z be (6/(-8) - -1)*5. Let c = -4282 + 4281.99. Is z at least as big as c?
True
Let n = 1097 + -484. Is 615 < n?
False
Suppose 3*b - 1611 = -6*b. Is 178 not equal to b?
True
Let a be 27/(-36) - 254/(-8). Let w be 32/a*108/240. Let t = 2/31 - w. Which is smaller: t or 5/6?
t
Suppose 7 = 4*f - 1. Suppose f - 5 = -3*r. Let g be 21/(-49) + 130/238. Is g greater than r?
False
Let o = -5 - -10. Suppose o*h + 0 = -5. Let s = 6/229 - 747/2290. Is h not equal to s?
True
Let o be (-1)/(-7) - 1665/(-7). Let c be (-20)/(-90) - o/990. Do -1 and c have different values?
True
Let f(p) = -p**2 - 10*p + 10. Let j = -25 - -47. Let a = -33 + j. Let q be f(a). Which is bigger: q or -7/6?
q
Suppose -4*l - 137 = 3*z, 2*z + 105 = -3*l - z. Let y be l/(-6) + 9/(54/(-8)). Which is smaller: y or 19?
y
Let h be (-52)/(-10) + 2/(-10). Suppose -5 = 5*s - 4*r, -9 - 16 = -h*r. Which is smaller: s or 4?
s
Suppose 0 = -8*n + 6*n - 32. Let m be 4/n*16/(-22). Let l = m - -7/22. Is 1/2 not equal to l?
False
Let u = 337 + -172. Let z = u + -164. Is z < 0.9?
False
Let l = 11390/23 + -495. Which is greater: -0.1 or l?
l
Let d be ((-15)/45)/((-2)/(-6)). Which is greater: d or 6/25?
6/25
Let l = 2.005 - 2.105. Let s be (4/(-10))/((-6)/9). Which is smaller: s or l?
l
Let g = 12 + 261. Let v be 1/7 + (-18)/g. Is 0 at least as big as v?
False
Let v = -3.52 + -147.48. Let z = v - -151. Which is greater: -3/10 or z?
z
Suppose -72 = -4*t + 2*y, -4*t - 3*y = -6*y - 70. Suppose 5*j - j = -3*i - 21, 28 = -4*i - 4*j. Let a be (4 + i + t)/2. Which is smaller: a or 7?
7
Let a be (99/75)/((-14)/35). Let h = -1/5 + a. Is -1/3 < h?
False
Let v be (0 + 138/36)*4. Which is smaller: v or 15?
15
Let d(o) = -15*o + 47. Let x be d(-10). Is 199 at least as big as x?
True
Let z = 436 - 436. Is z > -1/411?
True
Let j = -1467.038 - -1467. Which is greater: 1 or j?
1
Let v be ((3 - 6)/6)/((-1)/(-94)). Let c = v - -519/11. Which is smaller: c or -1/5?
-1/5
Let d be -9*((4 + -2)/2 - 0). Is d at least -1/2?
False
Let j be -3 - 6/((-6930)/3487). Which is bigger: j or 1?
1
Suppose 0 = -3*t - 93 + 3. Let m be (3 - t/(-8))/((-66)/16). Is m less than or equal to 2/5?
True
Let p = -301 + 301. Is 5/27 != p?
True
Let t be 1/(4 - 5) + -1. Is -15/11 at most t?
False
Let k be (-3 - -3)/(-2)*4/8. Let c be (-16)/(-7) - (2 - 0). Which is bigger: k or c?
c
Suppose -2*p + 12 = m, -m + 0*p - 3*p + 14 = 0. Is 3 bigger than m?
False
Let z = 266318 - 6642783/25. Let r = z + -607. Is 1 less than or equal to r?
False
Let v = 3.1 + -2.75. Let m = v + -0.11. Let i = -0.76 - m. Is -3 equal to i?
False
Let p = 45 - 91/2. Let v = 0.2 + -1. Which is bigger: v or p?
p
Let m be -5*6/(-15)*(-57)/20. Let u = m - -5093/890. Is 1 at most as big as u?
False
Let q(z) = z**2 - 8*z - 10. Let h be q(-8). Let y = h + -118. Which is smaller: y or 2/547?
y
Let r = 12.3 + 0.7. Let w = 133.1 - 120. Let u = r - w. Which is smaller: 0.2 or u?
u
Let g(x) = x**3 - 8*x**2 + 2*x - 12. Let l be g(7). Which is greater: -13 or l?
-13
Let u = 154 - 0. Which is greater: 0 or u?
u
Let s = 53.945 - -0.055. Let q = s + -52. Is -30/13 less than or equal to q?
True
Let x be (-4)/(-6)*9/(-12). Let k = 6.2 + -7.6. Let u = 1.1 + k. Which is smaller: x or u?
x
Let d be ((-6)/(-2) - 5)/(-1). Suppose l + d*l - 15 = 0. Suppose 2*b + l = -3*b. Are -2/17 and b unequal?
True
Let s be (-3)/2*(-210)/2835. Which is bigger: s or 0.9?
0.9
Let v(x) = -4*x**2. Let g be v(1). Let k(u) = -5*u - 37. Let t be k(-7). Let n be 2/t - ((-33)/(-12) - 0). Which is greater: g or n?
n
Let y = -71380 - -714909/10. Let t be ((-37)/(-2))/((-4)/(-24)). Let s = y - t. Is 0 at least as big as s?
True
Let i = -81 + 82. Is i bigger than -0.896?
True
Let a be 0/((-1)/(-1) - -1). Let y = a + 1. Let z = -503/854 + 37/122. Is y bigger than z?
True
Let a be (-15)/(-25) - (-9)/(-15). Suppose 2*g + 3*g - 15 = a. Is g > 1?
True
Suppose -72 = 3*r + 3*w, -4*r - 2*w - 74 = -r. Let g = 39 + r. Suppose 4*a = 12, 52 = 5*c - 3*a + 1. Is g equal to c?
False
Let h = 0.0725 - 0.0575. Is h at least as big as -3/5?
True
Let u be (-20 - -24) + 1487/(-4) + 6. Is -362 < u?
True
Let u(q) = -3*q + 40. Let b be u(12). Suppose 2 = 6*g - b. Does g = -1/95?
False
Let h be -3*5/4710*(-3 - 1). Which is smaller: h or 1?
h
Suppose 4*g - g = -63. Let a = g + 20. Are 2/9 and a equal?
False
Let r be (-9)/(6 + 10/(-2)). Let l(h) = h**2 - 8*h - 3. Let s be l(7). Are r and s non-equal?
True
Let i be ((-10)/6 + 2)/((-12)/(-216)). Let v = 16 + -9. 