f - 3. Which is smaller: v or n?
n
Suppose -a = 5*d - 5*a - 664, d - 3*a = 124. Let v = d - 136. Is 1/162 not equal to v?
True
Let p = 8 + 6. Let f = 35 - p. Let l = -22 + f. Which is smaller: -1/4 or l?
l
Let t = 38 + -350/9. Let y be (2*-1)/(-4 + 6). Is y at most as big as t?
True
Suppose 0 = 5*z - 7 - 123. Let m = 13 - z. Let s be (-12 - -22)*(-3)/2. Is m bigger than s?
True
Suppose 93*l = -b + 88*l - 103, -3*b - 4*l = 254. Is -870/11 > b?
False
Suppose -447*y + 452*y = -340. Which is bigger: y or 2/3?
2/3
Let h be (3/(-27))/(4/12). Suppose 2*s - 3*z - z = 0, -4*z = 3*s. Suppose 4 = -4*l - s. Is h less than or equal to l?
False
Let h = 1.1 + -0.8. Let r = -351 - -348.7. Let t = r + h. Does 3/7 = t?
False
Let u(m) = -m**3 - 14*m**2 - 15*m - 13. Let s be u(-13). Is s bigger than 0?
True
Let s = -0.196 - -0.548. Which is greater: s or -0.1?
s
Suppose -14 = 3*d - 2*l, -5*d + 6 = -7*d + 2*l. Is -3/7 >= d?
True
Let p = -226 - -226.1. Is -7.57 equal to p?
False
Let o = -74 - -116. Let d be 3 + 38*(-3)/o. Which is bigger: -0.08 or d?
d
Suppose -43 = -3*z + 5. Suppose 6*x - z = 2*x. Let s be 2/x*(-42)/(-98). Is 0 < s?
True
Let a(o) = 4*o + 10. Let z be a(-4). Let b = -40/7 - z. Which is greater: -1 or b?
b
Suppose -3*i = -t - 10, -16*t = -12*t - 8. Let p be (-2)/i*60/(-15). Suppose 5*w - 3*y = -1, -y + 4 = 2*w - 0. Which is smaller: p or w?
w
Let g = 0 - 1. Let n = -3 - g. Let f be (n - -2)*1/2. Which is bigger: 4/5 or f?
4/5
Let d(n) = -n**2 + 15*n - 3. Let b be d(13). Suppose -5*m + 75 = -5*y + 25, 3*y + b = 2*m. Suppose 0 = -m*i + 2*i + 25. Is i greater than 5?
False
Suppose 0 = 3*z + 72 - 60. Let g be (-271)/(-45) + z/18. Is 5 < g?
True
Suppose o = -2*x, 4*x + 1 = x - 2*o. Is 14/15 bigger than x?
False
Let d = 70 + -35. Suppose -2*v - 3*v = -d. Let f be 6/v + (-9)/(-21). Is -1 < f?
True
Suppose 0 = j - 3*z + 4, 2*j - 4 = -5*z + 10. Suppose 3*g + j*g - 10 = 0. Suppose -5*u + 3*b + 4 = -2, -b - 2 = 4*u. Are g and u unequal?
True
Let z be ((-1200)/700)/(3/(-7)). Which is greater: -169 or z?
z
Let f(i) = i**2 + 10*i - 7. Let z be f(-11). Let x be (z + 6)/(-5) - -3. Which is smaller: -2 or x?
-2
Let u = -5922/11 - -99981/187. Are u and -5 unequal?
True
Let f be (3 - (-370)/(-124))/(7/28). Let t(n) be the first derivative of -n**4/4 + n**3 + 5*n**2/2 - 3*n + 3. Let u be t(4). Is u at least f?
True
Let m = -351 + 811. Let a be (1372/m - 3)*5. Do a and -1 have the same value?
False
Suppose -4*w - 13 + 73 = 0. Suppose -w = -5*b - 10. Is b less than 9/8?
True
Let x be 32/(-24)*54/(-498). Which is smaller: -1 or x?
-1
Let s(l) = -l**3 - l**2 + l - 3. Suppose 0 = -3*a + 4*w - 6, 5 = -4*a + w - 3. Let j be s(a). Is 17 less than or equal to j?
False
Let t be (-9147)/(-378) - ((-2 - -2) + -2). Let f = -80744/7 + 11561. Let o = f - t. Which is smaller: 0 or o?
o
Let s = -2.7 - -5.1. Let p = s - -0.6. Which is greater: 5 or p?
5
Let v be (6/(-16))/((-9)/(-42)). Let l = 0.3257 + -0.0257. Is v greater than l?
False
Suppose -5*b - 3 = -2*b, -3*b - 853 = -5*q. Suppose 4*c + 4*u = 126 + q, -2*u - 4 = 0. Which is bigger: 75 or c?
c
Suppose 4*t = 2*u - 66, -5*u = 5*t - 12 + 87. Is t smaller than -14?
True
Let q = -0.0474 - 2.3426. Let x = -0.61 + q. Do 8 and x have the same value?
False
Let i = -0.3 - -0.2. Suppose 4*u = 5*v + 5*u - 265, u + 167 = 3*v. Let t be 2/(-8)*(-288)/v. Which is smaller: t or i?
i
Let c be (-1 - 0)*(7 - 4 - 41). Let w = -8 - -3. Let t be w + 3 - (-80)/c. Is t greater than 1?
False
Suppose 2*a + 4*w - 36 = 0, 22*a - 5*w + 75 = 26*a. Is a equal to 125/6?
False
Suppose -183*o + 420 = -169*o. Let t(w) be the first derivative of 7*w**2 + 2*w - 2. Let z be t(2). Are z and o non-equal?
False
Let t be (3 - 0)/(4 + 15/(-6)). Let o be 0 - (0 + 2 + -4). Suppose i = o*i + 1. Is i at most t?
True
Let n = -2/61 + -45/488. Suppose o + 20 = -3*o, 0 = -5*x - 5*o + 10. Let s = x + -7. Which is smaller: n or s?
n
Let p = -1847 + 1835. Which is smaller: -160/13 or p?
-160/13
Let f(c) = c**3 + 63*c**2 + 76*c - 318. Let a be f(-62). Which is greater: -1187 or a?
a
Let y(b) = b**3 + 6*b**2 + 5*b - 3. Let q be y(-5). Let c = q + 8. Let w(s) = -s**3 - 5*s**2 + 4*s - 8. Let i be w(-6). Which is smaller: c or i?
i
Let g = 102 - 45187/443. Are 0 and g nonequal?
True
Suppose -2 = 5*p + 13. Let v be ((-2260)/(-485) - 4) + 2/p. Is 1 at least v?
True
Let c = -1192582 + 121641575/102. Let h be (-6)/4*-11 + 1. Let u = c + h. Which is greater: -1 or u?
u
Let c be (-2)/8 + (-250)/(-8). Let r(p) = -p**3 - 11*p**2 - 16*p + 31. Let k be r(-9). Suppose -120 = -17*h + k*h. Is c >= h?
True
Let a be ((-4)/2)/(0 - -1). Let x = 355/4 - 91. Which is bigger: a or x?
a
Let r = -448 - -446. Which is greater: r or 34/13?
34/13
Let q = 229 + -459/2. Which is bigger: 15 or q?
15
Suppose 0 = 2*d - 3 - 3. Let o(z) = 3*z - 41. Let l be o(17). Let n be (-2)/l + 1/d. Is -0.1 >= n?
False
Let z = -4387/93310 - -5/602. Is z != 1?
True
Let p = -85/6 - -185/12. Let y be 9/(-6)*(-8)/6. Which is bigger: p or y?
y
Suppose 0 = -2*b + 4*b - l - 79, 6 = 2*l. Let d = -41 + b. Which is greater: -2/25 or d?
d
Let y = 0.14 + -0.08. Let h = 13.94 + y. Let s = h + -14.02. Is -1 less than or equal to s?
True
Let y be 14/(-8)*(-9 + 5). Let x = y - 16. Which is smaller: -4 or x?
x
Let m = -1.61 - -1.51. Suppose 5*d + 2 = 7*d. Let v = -16 + d. Is v less than m?
True
Let r = 4 + -6. Let j be 7/(11 + 340/(-30)). Which is greater: r or j?
r
Let r be (16/5)/((-4)/(-10)). Let u = -7 + r. Let q be 4/(-7)*(2/3 + -3). Is q >= u?
True
Let a(c) = -c**2 + 3*c + 5. Let h be a(4). Suppose 11*j + 8 = 7*j. Which is smaller: h or j?
j
Let z = 36.1 - 34.14. Let u = 7 - 5.3. Let d = z - u. Which is greater: -0.1 or d?
d
Let n(f) = 17*f**2 + 8*f - 14. Let t be n(-6). Is t at most 549?
False
Let l = -6 + 5.8. Let x = 369/7 + -53. Which is smaller: x or l?
x
Let b = -1202/9 + 33521/252. Is b less than -1?
False
Suppose -5 = 4*w + w. Let g be ((-8)/(-44))/((-1)/1). Do w and g have different values?
True
Suppose 4*o - 52 = -4*q, -2*o + 5*q - 5 = -3. Suppose -3 = -o*u - 12. Which is smaller: u or -3/38?
u
Let g = 44 + -175/4. Let c be ((-20)/2)/(18/(-10) - -2). Let s be c/(-12) + -4 + 1/30. Are g and s nonequal?
True
Let s = -8 - -5. Let c = s - -2.9. Let z be (20/(-110))/((-24)/(-88)). Is c >= z?
True
Let f be 1/(-1 - (8 + -10)). Which is greater: -2/169 or f?
f
Suppose 3*t + 16 = 2*h, 2 - 10 = -2*h - t. Suppose 14 = 4*s - 2*m, 3*m = 5*s + h*m - 4. Suppose 4*c = 2*c - 3*g + 4, 3*g = s*c - 4. Which is bigger: -3 or c?
c
Let g = 1 - 1. Let f(a) = a**3 - 6*a**2 - 16*a. Let o be f(8). Suppose o*n + i - 34 = -5*n, -5*i = n - 26. Is n not equal to g?
True
Let l be -2 - (-2)/4 - -1. Let u = -20267.2 + 20266. Which is smaller: u or l?
u
Let i be (-18)/(-8)*100/(-75). Is i at most as big as -10?
False
Suppose -2 = 4*l - 6. Which is greater: l or 1/66?
l
Let v(a) = a**3 + 19*a**2 - 2*a - 37. Let z be v(-19). Let j be (-1)/((-723)/(-6) - 1). Let r = j + -416/7409. Is z >= r?
True
Let s = 230 - 203. Suppose -q = 2 - 0. Which is greater: s or q?
s
Let p(f) = 2*f + 22. Let j be p(-7). Suppose 0 = -4*g - 4, -3*g = -4*t - t + j. Which is smaller: 3 or t?
t
Let q be ((-6)/(-15))/((-24)/(-260)). Let d(x) = -2 + x**2 + 3 - 5*x + 2. Let y be d(5). Which is bigger: y or q?
q
Let s(n) = n + 1. Let f be s(0). Suppose -4*g - f = -l, -4*g - 2 = -2*l - 0*g. Is l >= -9/26?
True
Let i = 1362 - 2725/2. Are 33 and i equal?
False
Let t = -13/34 + -2/17. Which is smaller: 20.1 or t?
t
Let g be 5*(-12)/((-864)/200). Which is greater: 15 or g?
15
Suppose -m + 4 = -3*m. Let w be 2/16 - (-228)/(-288). Are w and m non-equal?
True
Let h = -47 + 237/5. Let i = 16 + -17. Is i bigger than h?
False
Let g(q) = -q**2 + 15*q - 15. Let a = 27 + -13. Let p be g(a). Suppose 47 = 3*k + 23. Which is smaller: k or p?
p
Suppose 0 = -h + 5*t - 72, 0 = -2*t - 43 + 47. Which is smaller: -489/8 or h?
h
Let k(s) = 49*s - 363. Let y be k(7). Which is smaller: y or -167/8?
-167/8
Let l = -967 + 969. Let q(h) = -2*h**3 + 2*h**2 + 4*h + 3. Let m be q(-2). Are l and m unequal?
True
Let c(v) = v**3 - 15*v**2 + 25*v + 1. Let k be c(13). Suppose 5*w + 80 = -5*m, 0*w = 4*w + 2*m + 58. Let g = k - w. Is g at most -1/5?
False
Let g = -13 - -67. Let z = -1.043 + 0.043. Is z equal to g?
False
Let v = 247/43