2/6. Let t be -10 - (-2 - -5)/(-3). Is t less than f?
True
Let g be 80/(-100)*(-5)/(-1382). Which is smaller: 0 or g?
g
Let v(i) = 11*i**2 - 4*i - 8. Let a be v(-3). Let x be a/(-623) - -3*(-5)/(-105). Which is greater: -2/3 or x?
x
Let u(v) = v**2 + 18*v + 23. Let s be u(-17). Let f(w) = 5*w + 1 - s - 6*w + 11*w. Let o be f(-2). Does o = -26?
False
Let c = -142 - -211. Does 1 = c?
False
Let m(x) = x**3 + 10*x**2 + 7*x - 15. Let z be m(-9). Let c = 7 + -4. Is z smaller than c?
False
Let o = 12520/776503 - 12/1219. Is 1 > o?
True
Suppose -5*m + 104 = -9*m. Let g = m + 32. Is 7 greater than g?
True
Let s = 378/605 - 3/121. Which is bigger: 86 or s?
86
Suppose x - 9 - 9 = 4*i, -2*x + 5*i + 21 = 0. Suppose 20 = -12*c + 2*c. Is c > x?
False
Suppose -m = -3*y - 32 + 214, 4*y - 8 = 0. Which is bigger: m or -174?
-174
Let l be (-21 + 15)*4/(-6). Suppose -l*n - 4 = -5*n - 5*v, 0 = 3*n + 3*v. Suppose 3*h + 3 = -0. Are n and h non-equal?
False
Suppose -4*j - 30 + 18 = 0. Let a be -1 - (-3)/j*(-210)/206. Which is smaller: -1 or a?
-1
Suppose 2*t - 4*d = 12, 7*t = 3*t + 5*d + 21. Let a(k) = 4*k + 11. Let b(g) = -1. Let q(l) = -a(l) + 2*b(l). Let c be q(-4). Which is greater: c or t?
t
Let q = 45 + -5. Let b = q - 21. Suppose -b*s + 17*s = 6. Is -10 smaller than s?
True
Let w be (2 - 412/56)/((-15)/(-20)). Is -6 <= w?
False
Let g be (-15126)/(-18870) - (-8)/(-10). Which is greater: g or 0?
g
Suppose o + 2*o - 50 = -5*x, -5*x + 5*o = -10. Suppose x*l = 2*l + 10. Which is bigger: l or 1?
l
Let w be (-14)/(-10)*(-6)/2*5. Which is smaller: -25 or w?
-25
Let a(g) = g**2 + 5*g + 8. Let x be a(-3). Let d be (1 - 1)/(-1 + 2). Suppose d*o + 16 = x*o. Is o at least 7?
True
Let o = -0.048 + 38.048. Let a = o + -38.1. Which is smaller: a or 46?
a
Let r = 212/5 + -843/20. Does r = 0.92?
False
Let r = 400 - 399. Let o = 24 + -16. Suppose 4*s + 9 = -5*n + o*s, 2*n = -2*s. Which is smaller: r or n?
n
Let z(t) = -228*t**2 + 2*t - 3. Let v be z(1). Which is smaller: -689/3 or v?
-689/3
Let r = -53 + 74. Let t = r + -21.18. Let z = 0.14 + t. Is 1 at least z?
True
Let b be (9/(-108))/(5/((-660)/(-9))). Which is bigger: b or 1?
1
Suppose 0 = -4*b - 0*b + 24. Suppose -2 - b = 2*q. Is q at most -1?
True
Suppose -100 + 364 = 12*f. Which is bigger: 23 or f?
23
Let y(b) be the third derivative of b**5/60 - b**4/12 - 25*b**3/2 - 7*b**2. Let o be y(0). Let z be 15/o + 2/(-15). Are z and 8/7 nonequal?
True
Let f = 58/131 + -20537/524. Let w = -39 - f. Which is bigger: w or -1/3?
w
Suppose 157*x - 850 = 158*x. Which is bigger: -849 or x?
-849
Let q = -199 + 517. Let u = q - 11762/37. Is 0 at most u?
True
Let d = -453 + 907/2. Which is smaller: d or 2?
d
Let j be (8*-1)/((-10)/15). Suppose 10 = 2*f - j. Suppose -1 = k + 3*r, 3*r - 2 + f = -3*k. Which is smaller: k or -10/3?
k
Let j(p) = 2*p**2 + 48*p - 24. Let o be j(-24). Which is bigger: o or -25?
o
Let z = -8.6 - -11. Let y = -2.4 + z. Is y not equal to -0.3?
True
Let a be 4 - 2 - (0 + 1). Let c = 68 - 60. Suppose -2*d - 2*d = -c. Which is smaller: a or d?
a
Let j = 7.3 - -1.7. Let f = j + -21. Let k = f - -12.02. Is k greater than 2?
False
Let d be 0/5 - 3 - 166/(-54). Let f(j) = j**3 + 3*j**2 - 2*j - 4. Let h be f(-3). Which is smaller: h or d?
d
Let z be (-1285)/205 + 0/(-9) - -7. Which is bigger: z or 2?
2
Let q = -25 - -23. Let a = 1 + q. Is a >= 36?
False
Let d(w) = -2*w + 9. Let q be d(-7). Let v = q - 22. Suppose -4*t - v - 3 = 0. Is -2/17 < t?
False
Let a be ((-11)/((-44)/24))/1. Let v(f) = -f. Let z(n) = 10*n + 1. Let y(t) = a*v(t) + z(t). Let j be y(-1). Which is greater: j or -1?
-1
Suppose 2*a + 3*j = 5*a + 24, -j + 48 = -5*a. Let m be 3/a*-1*(-3 - -4). Which is bigger: m or 0?
m
Let p = 0.13 - 0.33. Let l = p + 1.8. Let j = l - -0.4. Which is smaller: -7 or j?
-7
Let q = 12 - -1. Let g(i) = 2*i**2 - 4*i - 2. Let b be g(4). Which is bigger: q or b?
b
Let i be 1/(-10) - 4/10. Let v = -94 - -47. Let k = -48 - v. Is i less than k?
False
Let n(h) = 4*h**3 + 3 - h**2 - 3*h**3 - 6*h + 4*h + 0*h. Let r be n(2). Suppose x = -r + 1. Is -5/2 <= x?
True
Let x = 216/17 - 2274/187. Which is smaller: x or -4?
-4
Suppose -2*a = 2*a + 80. Let d be 225/14*1302/(-1116). Which is bigger: a or d?
d
Let w = -1.99 + -0.01. Let n = 358 - 358.01. Is n equal to w?
False
Suppose 4*v - 3*w = -5*w - 12, 0 = v - 3*w - 11. Let p = 849/40115 - 4/565. Let a = -77/426 + p. Which is smaller: a or v?
v
Suppose 5*r = 45 + 5. Suppose 5*y - r = 3*w, 3*y - 4*w = 14 + 3. Let t be y*(-5 + 4) + -1. Do 2 and t have different values?
True
Let v be ((-39)/117)/(1/(-9)). Which is smaller: v or -49?
-49
Let g be (-7953)/693 + (0 - 1/(-3)). Let o = g - -100/7. Which is greater: o or 2?
o
Let k be (4/30)/(60/(-50)). Let s = -14 + 13. Is s < k?
True
Let a(v) = -2*v + v + 3 + 3*v. Let s be a(-4). Suppose 26 = -6*h + 2. Which is bigger: s or h?
h
Let y(t) = -t**2 + 10*t - 24. Let s be y(4). Is -1/71 != s?
True
Suppose 0 = 3*d + 5*q - 58, 5*q - 69 = -3*d - d. Suppose -3*t - 12 = 3*p, p - d = -t - 3*t. Which is bigger: -8 or p?
-8
Let u be (3 - (-72)/(-30))/((-7)/(140/(-24))). Let c = 5 - 3.4. Which is smaller: u or c?
u
Suppose 5*u + 5*x - 137 = 128, 12 = 4*x. Let l be ((-10)/u)/(1/3). Which is smaller: -0.2 or l?
l
Let z = 2 - 2. Let k = 0.5 - -1.5. Let x = -1.93 + k. Which is bigger: z or x?
x
Let o = -410 - -270. Which is smaller: o or -1?
o
Let s = 8.2 + 2.8. Let j = -4.6 + 13.6. Let g = s - j. Which is smaller: -1/5 or g?
-1/5
Let p be (3 + (-20)/12)*3. Let f be p/((-16)/(-9)) + (8 - 10). Which is smaller: f or 23?
f
Suppose -3*j = -4 - 5. Suppose j*i = -0*i + 4*u - 9, 5*u = -3*i - 36. Let x = 10 - 12. Is i greater than or equal to x?
False
Suppose 3*x + 2*x = 2*h - 116, 3*h - 174 = 4*x. Which is smaller: 294/5 or h?
h
Let v(o) be the first derivative of -2*o**3/3 + 7*o**2/2 + o - 6. Let k be v(6). Do -30 and k have the same value?
False
Let b = 4.02 - 4. Let w = b - 0.02. Which is smaller: -0.049 or w?
-0.049
Let l = 100 + -95. Which is smaller: l or -3/5?
-3/5
Let j(a) = -2*a**2 + 33*a - 50. Let w be j(18). Is w >= -105?
True
Let q = -2.19 - -2.49. Which is greater: 12 or q?
12
Let m = -17.8 + 18. Let z = 2.2 - m. Does 2 = z?
True
Let d = 0.057 - 41.057. Let u = d - -49. Is 0.2 smaller than u?
True
Let w be (-1 - 1)/(2/(-8)). Let z = -69 + 72. Suppose d - 12 = q, -d + 4*q + 24 + z = 0. Does w = d?
False
Suppose 21 = -5*g + 4*w + 2, -14 = 4*g - 2*w. Which is smaller: g or -18/5?
-18/5
Suppose -3*x + 2 = 2*v - v, 2*v - 2 = -4*x. Let o = 3/8 + -91/200. Is o at least as big as v?
True
Let r = -508.76 + 523. Let m = -14 + r. Is m smaller than 0?
False
Let y = -23 + 28. Suppose 0*k - y*k - a = 0, -5*a = k. Let v be (-2)/(-72)*(-3)/2. Which is greater: k or v?
k
Suppose -4*s - 5*y - 153 = 328, -3*s - 5*y - 367 = 0. Are s and -4 nonequal?
True
Let z be ((-64)/96)/((-2)/3). Is 2/429 smaller than z?
True
Let z(x) = x**3 + x**2 - x - 1. Let a(q) = q**3 - 6*q - 5. Let d(c) = a(c) - 2*z(c). Let r be d(-2). Which is greater: 3 or r?
r
Let a = 214 + -216. Is a equal to -43?
False
Let f = 16.7 - -2.3. Let l(q) = -q**2 + 13*q + 1. Let m be l(13). Which is smaller: m or f?
m
Let u = -10.3 + -63.7. Is 3 greater than or equal to u?
True
Let l be 8 + -11 + 2*(-219)/9. Let m = 51 + l. Which is greater: 3/11 or m?
3/11
Suppose 0 = 22*o - 3*o + 342. Which is smaller: o or 3?
o
Let b(g) = -22*g**2 + 9*g - 7. Let x be b(4). Which is bigger: x or -325?
x
Let t be (6/(-5))/(6/(-20)). Let h be 2662/(-42) - -1 - 2/7. Let z = -60 - h. Which is smaller: z or t?
z
Let o be ((-2)/(-4))/(-11 + 8988/816). Let q(c) = c**3 - 10*c**2 + 13*c - 2. Let x be q(9). Is o not equal to x?
False
Let f be 16256/1778 + (-12)/(-14). Suppose p = -3*l + 28, l = 4*p + p - 60. Which is greater: f or p?
p
Let m be ((-80)/50)/((-2)/10). Suppose 2*d = 4*x - 9 + 1, m = 3*d + 4*x. Let q be (1 - d)*(1 - 0). Do 1/4 and q have the same value?
False
Let d be -1 - 5*(0 + -1). Suppose 0 = 10*z - 16*z + 12. Suppose f - z = d*u, -2*f + 0*f - 3*u = 29. Is f at least as big as -10?
True
Let c be (-46)/161*14/22. Let g be (-6)/10 + (-6)/(-15). Which is bigger: c or g?
c
Suppose -2*w = -5*w + 237. Let k = w - 111. Let t be k/(-12) - (-3)/(-18). Is 2 bigger than t?
False
Let f = 23 - 21. Let v be (-3 + 4 - 1)/f. Suppose -3*p = -v*p -