 (2 - 5). Are 21/4 and g non-equal?
True
Let o(h) = -h**2 + 4. Let l be o(0). Suppose -3*u - 3*d = 3, 4*u - l*d - 1 + 5 = 0. Suppose 0*b - 4*b - 8 = 0. Which is greater: b or u?
u
Let l(d) = -d**2 - 2*d - 1. Let k be l(-2). Is -4/11 greater than or equal to k?
True
Let k(q) = -4*q - 6. Let o be k(-6). Suppose 2*v - 4*y = -o, 6*v = 2*v - 4*y + 12. Which is greater: 0 or v?
0
Let b = -1 - -3. Suppose 0 = 7*x - b*x. Let j = -5/4 + 11/12. Are x and j equal?
False
Let z = 66 + -69. Which is bigger: -19 or z?
z
Let k be ((-6)/(-9) - (-37)/(-15)) + 3. Suppose -h + 1 + 0 = 0. Is h equal to k?
False
Let s(z) = -z**2 - 7*z + 5. Let h be s(-7). Suppose -a - 4 = -h. Which is bigger: a or 2?
2
Let v = -4/5 - -6/5. Is 1.6 at most v?
False
Let l(s) = s**3 - 2*s**2 - 2*s + 2. Let r be l(3). Suppose -y + 5*h - 10 = 3*h, r*y = 2*h - 82. Let m be (-14)/y - (-2)/9. Which is smaller: m or 0?
0
Suppose 5*g - 5*o = 65, -5*o + 10*o = -g - 11. Let j be (-5)/25 - g/5. Suppose 2*u + 2 + 0 = 0. Is j at least as big as u?
False
Suppose 5*g = 2*y - 13, 0 = -3*y - 2*g - g + 9. Is 3 greater than y?
False
Suppose -5*a = 5*z - 45, 0*z + 5*a + 43 = 3*z. Let g = z + -11. Let v = 4 - 6. Which is smaller: g or v?
v
Let s be 7 + 2 + 2/(-1). Let f be (-2)/s + (1 - 1). Let h(k) = k**3 + 5*k**2 + 4*k + 1. Let g be h(-4). Is g greater than f?
True
Let b(p) = -1. Let z(k) = k + 6. Let l(h) = 3*b(h) - z(h). Let f be l(-9). Which is bigger: 1 or f?
1
Suppose 0*w + 391 = -5*c - 2*w, 317 = -4*c - 3*w. Let d be (6/(-4))/((-21)/c). Which is bigger: d or -5?
-5
Suppose g - 4*g - 30 = 0. Let f be 12/(g/(-4) - 1). Which is bigger: 7 or f?
f
Suppose 5*j + d + 25 = -4*d, 4*d = 2*j + 4. Which is bigger: j or -22/7?
-22/7
Let d = -1/625 - 103/13750. Which is smaller: d or 0?
d
Let g be (-30)/57*(-3)/6. Is g != 1?
True
Let x = 26.96 - 26. Let q = x + 0.04. Is -1 equal to q?
False
Let k = 0 - 1. Let w = -4/5 - k. Let h(d) = -d**2 + 14*d - 1. Let b be h(14). Which is smaller: w or b?
b
Suppose 2*r - 11 = 5*h, r - 2*h = 3*r + 10. Let g be r/(-5) + (-12)/105. Is g at least -1?
True
Let g be (4 + -8 + 4)/(-2). Which is smaller: g or 1/126?
g
Let w(t) = 2*t**2 - 4*t + 15. Let a(h) = -h**2 + 2*h - 7. Let g(m) = -13*a(m) - 6*w(m). Let i be g(2). Which is smaller: i or 2/19?
2/19
Suppose 0 = -i + 6*i + 25. Is -11/2 > i?
False
Let x = 23 + -32. Let z = 120.1 - 120. Which is smaller: z or x?
x
Let m = -46 + 185/4. Is m greater than -1?
True
Let p = -43 + 65. Is 70/3 < p?
False
Let z(l) = -4*l**2 + 0*l**2 - 4*l + l**2 + 2*l**2 + 1. Let o be z(-5). Is -4 at least o?
True
Suppose j + 0*j = 5*b - 37, 3*b - 15 = -3*j. Let z = -6 + b. Which is bigger: 1/4 or z?
z
Suppose 5 = 3*q + 2*i - 6*i, -q + 2*i + 3 = 0. Let w(p) = -p**2 + 1. Let b be w(q). Which is bigger: b or -1/7?
b
Let g = 13 - 12.9. Let h be -9*5/(-44) - 1. Let v = 93/220 - h. Which is greater: g or v?
v
Let d(s) = -s**3 + 2*s**2 - 2*s + 4. Let o be d(2). Let l be ((-240)/(-22))/4 + -2. Which is bigger: l or o?
l
Let b = -6/49 - -73/196. Which is bigger: b or -7?
b
Suppose 3*u = 4*n - 34, 5*u + 2*n = 10*u + 38. Is u greater than or equal to -6?
True
Let x(u) be the third derivative of -u**5/60 - 5*u**4/24 - 5*u**3/6 + 2*u**2. Let t be x(-4). Is t smaller than 1/8?
True
Let b = 3 - 11/4. Is b equal to 2/13?
False
Suppose 3*l + 4 = -l. Let c = l + -1. Suppose -4*w + 0*w - 2*p = -8, -3*p + 12 = w. Are w and c unequal?
True
Let n = 4.94 + -0.94. Let f be (-1)/3 - 14/(-24). Are n and f unequal?
True
Let j = -3 - -5. Suppose -n = -3*n - 6. Let y be 0 - j*n/(-15). Which is greater: y or -1?
y
Let u(m) = m + 1. Let p be u(-1). Suppose h + p*h = -3. Let t(x) = x**2 - 5*x + 3. Let j be t(4). Which is smaller: h or j?
h
Suppose 0 = 2*d - 3 - 7. Let y be 16/(-5) + 1/d. Is y > -2?
False
Let z be (-1)/(5/3 - 2). Suppose 0 = -2*p + 5*k + 11, p + 3*k - 9 = -z*p. Suppose -16*q = -18*q + 8. Is p not equal to q?
True
Let y(d) = d**2 - 10*d + 5. Let x be y(9). Do -4 and x have the same value?
True
Let y = -3.2 - -3.3. Which is smaller: -2/5 or y?
-2/5
Let o = 11.7 + -0.7. Let p = 11.1 - o. Which is smaller: p or 0.5?
p
Let h = -0.1 + 0.7. Let z = 1.6 - h. Does -2/5 = z?
False
Let k be (-42)/(-3)*2/4. Suppose 2 = -k*p + 6*p. Which is greater: p or -1?
-1
Let m = -3.14 - -0.14. Is m smaller than -1/4?
True
Let f = 1048 - 2173/2. Let a = f + 116/3. Which is bigger: 2/3 or a?
2/3
Let v be ((-18)/642)/((-6)/(-4)). Let u = -97/535 + v. Which is bigger: u or 1?
1
Suppose 0*f + 2*f = 20. Let a be (2/(-30))/(f/(-20)). Let x be (0 + (-2)/2)/1. Is x greater than or equal to a?
False
Suppose -5*r - 3*k + 11 = -3, -5*r = -4*k + 7. Let v = -17/110 + -3/110. Is v > r?
False
Let k = -1166/9 - -1358/9. Let h = -454/21 + k. Is -2/9 bigger than h?
True
Let y = 154.7 + -166. Let q = 11 + y. Is q equal to -3?
False
Suppose -q - 2*i = 29, 0 = -3*q - 4*i + 2*i - 67. Does q = -18?
False
Let f be (-8)/(-4) + (1 - -10). Let l be 7/(-21) + f/21. Which is bigger: l or 0?
l
Let g(s) = -5 + 3 + 3*s - 8 - 4*s. Let h be g(-9). Let r = -0.3 - -0.4. Does r = h?
False
Let o = 89.1 + -89. Which is bigger: -3/22 or o?
o
Let r = -7 + 10. Let u = -65 - -66. Which is smaller: u or r?
u
Let h be (-2)/8 - (-52)/16. Suppose -2*o - 1 = -h. Let f = 104/7 - 499/35. Is o smaller than f?
False
Suppose -3*g + 7 + 17 = 0. Suppose -h = h - g. Let t = h - 3. Which is smaller: 2 or t?
t
Let p be (-76)/90 + (-2)/(-3). Let d = p - 2/9. Which is smaller: 1 or d?
d
Let m = 7 + -8. Let i be (-5)/(-2)*-2*m. Is 4 at most i?
True
Let o = -0.9 - -4.9. Let v = o - 3. Let c = 3 - v. Which is bigger: 1 or c?
c
Let w(z) = z**2 - z - 4. Let i be (-2)/(-2)*9/3. Let l be w(i). Suppose 0 = -3*d - l - 1. Is d smaller than 0?
True
Let v = 1.97 - -0.03. Let o = -3 + v. Let c = -1.1 - o. Is c greater than or equal to 2/5?
False
Let l be ((-10)/25)/(132/40). Which is smaller: 1 or l?
l
Let j = 38 - 42. Which is bigger: j or 0.02?
0.02
Let k = 18 - 16.8. Let o = -1.1 + k. Is o at least as big as -2?
True
Let l = 2.8 - 3. Let c = -61 - -60.7. Is c <= l?
True
Suppose 3*k + 1 = -5*n + 8, n = -k + 1. Which is bigger: 9 or n?
9
Suppose -5*q + 37 = -3*b, q - 11 = -b - 2*q. Is -5 <= b?
True
Let r = 4 + 0. Suppose 4*o - 4*l + 8 = 0, 5*o - o + r*l - 24 = 0. Are 1 and o non-equal?
True
Let k(f) = -15 - 3*f + 0*f**2 - f**2 + 11. Let s be k(-3). Let n = -83/2 - -39. Is s at least as big as n?
False
Suppose -3*a + 2 = -3*i + 5, -5*a - 2*i = -2. Let l be -1 + 1 + 0 + 1. Which is smaller: a or l?
a
Let p = -0.02 + -0.08. Suppose -d = -4*j - 3*d - 12, -3*j - 4*d - 4 = 0. Which is smaller: j or p?
j
Let r be 1 + -3 + 4 + -2. Suppose 0*b - 5*b = -5. Let f be 2 + -3 - (0 + b). Which is bigger: f or r?
r
Let v = -812974/361 - -2252. Is 1 bigger than v?
True
Let w be (-7 - -5)*(-711)/24. Let y = 59 - w. Do y and 1 have the same value?
False
Let t = -24.93 - -0.93. Which is greater: 0.1 or t?
0.1
Let y(v) = 9*v**2 - 16*v - 3. Let j(h) = 5*h**2 - 8*h - 1. Let n = -1 + 7. Let r(p) = n*y(p) - 11*j(p). Let d be r(-7). Is d < 0?
False
Suppose 0 = -q - 4*c + 5, -5*c + 4 = 2*q - 0*q. Let b be (0 + 0)/(q - -2). Does b = -0.2?
False
Suppose 2*r + 4*t = -2*r - 52, r + 1 = 3*t. Which is bigger: -11 or r?
r
Let d be 2/4 + 25/10. Which is smaller: d or -1?
-1
Let x(m) = 17*m - 1. Let t be x(-1). Let d = -37/2 - t. Let o = -2 + 0. Is d <= o?
False
Let m = -3.1 + 3. Is -73 equal to m?
False
Let c = 1.56 + 0.04. Let f = 1.5 - c. Let t be 3/((-6)/5) - -1. Which is smaller: t or f?
t
Let y = 137 - 137.5. Which is smaller: -3/2 or y?
-3/2
Let g be 3/(0 + -3)*-1. Suppose 4*f = 5 - g. Let c = -4/75 + -2/25. Is c < f?
True
Let s = -0.4 - -0.2. Let h = 0.8 + -1.6. Let u = s + h. Is -1 < u?
False
Suppose 0 = n - 6*n - 5. Let l(a) = a**2 - 2. Let s be l(-2). Let x be 56/1040 + s/(-13). Are n and x equal?
False
Let x(o) be the second derivative of o**5/20 - 5*o**4/12 - o**3/6 + 7*o**2/2 + 2*o. Suppose 4 = a - 1. Let s be x(a). Which is smaller: s or 3?
s
Let d = 0.43 + -10.23. Let q = d + -0.2. Which is smaller: q or 2/5?
q
Let v be 32/3 + 4/(-6). Let t be (-5)/v*1*2. Which is smaller: -2 or t?
-2
Let u = -4030/861 - -4/287. Let m be 2/(-7) - (-99)/(-21). Is m less than u?
True
Let b = -366 - -220. Let d = 442/3 + b. Which is bigger: d or 1?
d
Let q = 9.92 + -10. Is -2/9 at least q?
False
Let