 be 1*2*4/8. Let q = -19.9 - -20. Which is smaller: c or q?
q
Suppose 2*w - 5*g + 31 = 134, 4*g - 175 = -5*w. Let q = w - 81/2. Is -3 equal to q?
False
Let g = 10 + 2. Let u = 3 - g. Let q = u + 12. Which is greater: 2 or q?
q
Suppose 0*k + 14 = 2*k. Suppose -2*p + k + 5 = 0. Let w be 4*(0 + 3/p). Is w at most as big as 2?
True
Let k be 6/4 - (-1035)/(-1050). Which is greater: k or 0?
k
Let m = -12 + 30. Let j = m + -20. Which is greater: j or -5?
j
Let o be (-30)/4*2/(-3). Let r = -1 - o. Let j be r/21 - (-4)/14. Is j greater than or equal to 1/4?
False
Let g(b) = -4*b**2 + 3*b. Let u be g(3). Which is bigger: -29 or u?
u
Let h be -9*4*(-5)/(-30). Are h and -5 nonequal?
True
Let s = -4 - -14. Let m(p) = p**2 - 11*p + 11. Let h be m(s). Suppose z + 27 = 2*z + 5*u, 4*z - 13 = -u. Which is greater: z or h?
z
Let q = -8 - -11. Let v be (4 - (q + 0))*1. Is v at least 1/5?
True
Let j(a) = 10*a - 15. Let i be j(3). Which is smaller: i or 1?
1
Suppose 0 = -3*b + 3, -3*x + 14 = -4*x - 5*b. Is 2/3 bigger than x?
True
Let v(l) = 2*l + 8. Let s be v(-7). Let o = 4 + s. Let b = 2509/7 - 359. Which is smaller: b or o?
o
Let l be ((-16)/(-60))/((8/5)/(-4)). Let a = -6 + 5.55. Let s = 0.05 + a. Which is smaller: s or l?
l
Let c be 12/24 - 3/14. Are 1 and c equal?
False
Let r be (-1 + (-1)/(-2))/(-4). Is -1 smaller than r?
True
Let p = -5 + 10. Let z be 3 + -3 + (-6 - -2). Let w = z + p. Is 2/11 bigger than w?
False
Let p = -8 + 7.9. Is p greater than -6/5?
True
Let d(t) = -t**3 - 9*t**2 - 2*t - 1. Suppose 2*m + 2*c - 5*c = -27, 3*m = -4*c - 15. Let q be d(m). Are q and 16 unequal?
True
Let b(v) = -7*v + 9. Let d be b(4). Let j be (1/d)/(3/6). Which is smaller: j or 0?
j
Let x = -18 - -17.9. Which is smaller: x or 7?
x
Suppose 9 = 3*u - 6. Let z(s) = 3*s**3 + 17*s**2 - s - 19. Let g(h) = -h**3 - 8*h**2 + h + 9. Let d(f) = 5*g(f) + 2*z(f). Let x be d(u). Does -3 = x?
True
Let q = 169/8 + -20. Which is smaller: 0 or q?
0
Suppose 12 = 2*i + h, -18 = -2*i + 2*h - 6*h. Suppose 20 = 2*u + 5*o, o - 4 = i*u - 0*u. Let b be -3 + 2 - (-8)/6. Which is smaller: b or u?
u
Let q(c) = c**3 + 5*c**2 - 7*c. Let v be q(-5). Let h be (-13)/(-56) + 5/v. Is -1 at least h?
False
Let f = 910/9 - 1769/18. Which is smaller: 3 or f?
f
Let c = 0 + 0.06. Let i = -0.94 - c. Is -1 >= i?
True
Suppose -y + 4*s - 12 = -3*y, 0 = -2*s + 6. Suppose -2 - 4 = -3*v. Let g = 7/3 - v. Which is smaller: y or g?
y
Let m = 35 - 32. Does m = 32/9?
False
Let m = 1 - 0.8. Let s = 0.8 - m. Is 2/7 less than or equal to s?
True
Let q = 0 + 0. Let p = 0 - -1. Let u be p/(-5) + 4/20. Is q smaller than u?
False
Let t be 2 + (-14)/(-1 - -2). Let a = -75 + 64. Which is smaller: t or a?
t
Let c = -9 + 14. Let z(x) = -7*x**3 + 2*x**2 + 2*x + 1. Let f be z(-1). Let o be 2/f - (-12)/(-48). Is c > o?
True
Let r = -0.9 - 0.1. Let l = r - -0.7. Let y = l - -0.2. Which is smaller: -1 or y?
-1
Let r = -0.01 - 5.99. Let w = 6 + r. Let d = -0.1 - -1.1. Which is smaller: w or d?
w
Let m = -33 + 54. Let l be ((-67)/m + 3)/(-2). Which is smaller: 1 or l?
l
Let n(o) = -2*o + 2. Let z be n(3). Suppose 0*t = 4*t + 12. Are z and t non-equal?
True
Let a be ((-12)/(-8))/(6/32). Let i be (9/(-12))/((-9)/a). Does 2 = i?
False
Let u = 185/11 - 6323/374. Are 0 and u equal?
False
Let w be 8/32 + (-194)/8. Let n be (-1)/(w/((-1)/1)). Is 0 < n?
False
Let q(i) = -i**3 + i. Let y be q(-1). Which is smaller: y or 1/6?
y
Let o(a) = -a + 8. Let k be o(6). Let l = k + -7. Let y be ((-1)/l)/(-1 + 2). Is y less than 1?
True
Let y be ((-3)/3 - -13) + 2. Let r = y - 20. Let l be (-1)/3 + (-2)/r. Is l less than or equal to 0?
True
Let m be (-1)/(1*(-3)/(-6)). Let h be (m/(-16))/(3/(-4)). Let p be (2 + 2 - 4)/2. Which is bigger: h or p?
p
Let m = 0.3 + -0.4. Let x be 1 - (2 - -1 - -13). Let w(s) = -s**2 - 15*s - 2. Let t be w(x). Which is bigger: t or m?
m
Suppose -d + 3 = -2*d. Let t be (d + 3)*1/1. Which is greater: -2 or t?
t
Let q be ((-1)/1)/(4/(-44)). Suppose -4 = -5*v + q. Does 4 = v?
False
Suppose -3*l = 3 + 3. Let i(a) = -a - 2. Let r be i(l). Let f = r + 0. Which is smaller: -2/15 or f?
-2/15
Let k be ((-10)/(-8))/((-1)/4). Let z be ((-4)/(-10))/((-6)/k). Suppose 10*p + 18 - 28 = 0. Is p < z?
False
Let f = 69 - 63. Suppose -d = -5*c - 6*d + 25, 2*c - 2*d - 14 = 0. Is c at most f?
True
Let b(d) = 6*d**2 - 2*d. Let p be b(-3). Which is smaller: 61 or p?
p
Let t = 14 + -13. Let s(m) = m**2 + 8*m + 7. Let f be s(-5). Let a(c) = -c**3 - 9*c**2 - 8*c + 2. Let j be a(f). Which is smaller: j or t?
t
Let i = 7 - 5. Is -1 at least as big as i?
False
Let a(f) be the third derivative of 2/3*f**3 - 3*f**2 + 1/24*f**4 + 0 + 0*f. Let v be a(-4). Is v greater than or equal to -1?
True
Suppose -9*g + 1 = -17. Which is smaller: g or 5/6?
5/6
Suppose -s = f + 6, 0*s + s - 24 = 5*f. Which is smaller: 4/21 or s?
s
Let y(b) = -b**3 - 7*b**2 - 6*b + 9. Let j be y(-6). Is 31/3 <= j?
False
Let v be 4*(-2 - (-10)/4). Suppose -6*y = -p - v*y - 11, 0 = 4*p + y - 24. Let u be 12/(-15)*p/(-38). Is 0 smaller than u?
True
Let p = 1.26 + -1.36. Is p less than or equal to -1/5?
False
Let q be (-15)/(-25) + (-92)/(-5). Let d = -16 + q. Does 5 = d?
False
Let a = -4 + 8. Is -1/2 smaller than a?
True
Let c = -33 + 174. Let p = -2963/21 + c. Is p greater than 0?
False
Let b be (-8)/(-3) + (-1 - -1). Let k(z) = -z**2 + 6*z + 1. Let l be k(7). Let n(x) = -3*x - 15. Let t be n(l). Which is greater: b or t?
t
Suppose 0 = -4*o - 371 - 537. Let r be 3/(-9) - o/24. Let j = 1517/168 - r. Are 0 and j equal?
False
Let d = 63 + -62. Which is smaller: 12/11 or d?
d
Let p = 3 + 5. Suppose -q = f + 2, 0 = 3*f + p + 1. Does q = 1?
True
Suppose 8*y + 6 = 5*y. Which is greater: -4/3 or y?
-4/3
Let z(k) = k**2 + 3*k. Let i be z(-3). Suppose i*l - 4*l + 4*a + 24 = 0, 4*l + 6 = -2*a. Do l and 1/22 have different values?
True
Let h = 11.04 + -0.04. Let p = h + -10.7. Which is greater: 2 or p?
2
Let g = 429 + -9861/23. Is g >= 0?
True
Let a be (0 - -2) + -1 + 1. Do a and 6 have the same value?
False
Let n = 4 + -1. Suppose k - 4 = -4*z, -n*k + 3*z - 3 = -4*k. Suppose -5*w - 1 = -6. Which is smaller: w or k?
k
Let g be 1/3 - ((-310)/12)/(-31). Let p be 1/(-4)*4/3. Is g greater than p?
False
Let n = -5 - 1. Let m = -4 - n. Let q be 5/3*(-14)/35. Are m and q equal?
False
Suppose 3*w - 2*w = 2*w. Do -2/25 and w have different values?
True
Let y be (2/5)/(18/(-30)). Which is bigger: y or -0.8?
y
Let d be (3 - 17/5)*(-1)/(-6). Is 2 <= d?
False
Let b = 9 + -13. Let i = 19/5 + b. Let t(q) = -q - 3. Let k be t(-4). Are k and i equal?
False
Let g = 0.2 - -0.2. Let a = -9 - -25/3. Is a < g?
True
Let p be (-7)/9 + 9/12. Which is smaller: 1/4 or p?
p
Let y = -2.4 + 1.4. Which is smaller: 1 or y?
y
Suppose -4*m = -2*m + 20. Let t be -1 + 4 + 25/m. Let r = t - -1. Are r and 3 unequal?
True
Let c = 18 - 13. Suppose 5*j = 2*s + 9, -s = -4*j + c + 1. Are -6/5 and s non-equal?
True
Suppose 0 = -0*r + 5*r + 10. Let w = r - 4. Which is greater: w or -7?
w
Let v be ((-120)/(-13))/(-5) - 4/26. Is 1 smaller than v?
False
Let r be (4 + -1)/(-7 - -3). Which is smaller: r or -1?
-1
Let s be (-22)/44 + 2/60. Which is bigger: s or 1?
1
Let o(f) = f**2 - 4. Let p be o(0). Let m = p + 1. Which is bigger: m or -4?
m
Let n = 0.3 + -0.2. Let o = n + 0.9. Let j = 5/11 + 1/22. Is j at least o?
False
Suppose -2*d = 4*h - 7*d + 5, 0 = 3*h - 4*d + 5. Suppose -h*t - 5 = -0*t. Which is smaller: -1/11 or t?
t
Let y be (-4)/(-14)*(-654 + 2). Let t = 186 + y. Let s be (1/(-5))/((-32)/(-120)). Which is bigger: s or t?
t
Let v = -28 - -40. Let w be (-2 - v/(-7)) + 0. Suppose 0 = 4*i - 5*i + 3. Which is greater: w or i?
i
Let g = -200663/45 - -4459. Let v = g - 283/180. Which is greater: -3 or v?
v
Suppose -2*m - 4*p - 12 = 0, -p + 10 = 5*m + 4. Suppose 9 + 1 = 5*c. Let f = m + c. Is 4 smaller than f?
False
Let j be (-2)/(40/68) - -2. Which is bigger: -2 or j?
j
Let u(q) = -q**3 + 2*q**2 + q - 3. Let f be u(2). Let d be f + (-6)/(-8) + 1. Suppose 0*y = 4*y + 5*g - 4, -3*y = 5*g - 3. Is d at most as big as y?
True
Let h(q) = q**2 + 7*q + 4. Let c be h(-7). Let z = c + -5. Is -3 greater than z?
False
Let d be (-1)/2*2 + 0. Let w = d + 4. Which is smaller: 1 or w?
1
Suppose 5*f - 20 = -o, 5*o - 31 = -5*f - 11. Suppose 3*c - 4 + 1 = o. Let u = -6