e g*(2794/438 - 4). Let b = 678 - k. Which is smaller: b or 1?
b
Suppose -5*o = 5*o + 1280. Let a = o - -127. Which is greater: a or 0?
0
Let r(v) = v**3 - v**2 + 3. Let b be r(3). Let f be ((-8)/(-10))/((-14)/(-35)). Let c be 15*(b/(-9) + f). Is c not equal to -5?
False
Suppose 40 = 6*a - a. Suppose -b + 4*q = 8*q - 1, 5*b + 5*q + 25 = 0. Let d = a + b. Which is smaller: -3/10 or d?
-3/10
Let a(x) = -2*x**3 + 9*x**2 + 9*x + 10. Let r(z) = -z**3. Let q(d) = a(d) - 3*r(d). Let g be q(-8). Let p be (0 + g - 7)*-1. Is p equal to 4?
False
Let l = 33 + -27. Let u = -7 + l. Which is smaller: u or -2/57?
u
Let o = -113/63 + 11/7. Let d(k) = -9*k - 35. Let z be d(-4). Is o < z?
True
Let f = -253 + 255. Which is smaller: -32 or f?
-32
Suppose -2*o = y + 3, 2*y = 2*o - 1 - 5. Let z be 1/(1 + (0 - o)). Does z = -3?
False
Let d be ((-5464)/330)/((-123)/15). Let z = d - -20/123. Let b(l) = 11*l - 32. Let w be b(3). Which is smaller: w or z?
w
Suppose 12 = 3*n - 30. Suppose 1 = 3*s + g, -2*s + n = -4*s + 3*g. Let c = -4456/17 - -262. Which is greater: s or c?
c
Let v = 8.57 - 8.6. Does v = -2/3?
False
Let z be -6 + 12/(4 + -1). Let q be (3/z)/(1/(-2)). Which is bigger: 1 or q?
q
Let n = 5/741 - -4/57. Is n > 1?
False
Let v = 1.95 - 19.12. Let q = v - -2.47. Let c = 14 + q. Which is smaller: c or 1?
c
Let i(y) = 3*y**2 - 4*y + 254. Let g be i(0). Is 255 not equal to g?
True
Let l = -12 + 35. Let v = l + -25. Is v greater than 0?
False
Let g be (-8)/(-4)*1/(-2). Let f(p) = -p**3 + 6*p**2 - 22. Let u be f(6). Let a be u/36 - (9/2 + -4). Which is greater: a or g?
g
Let r = -4 - -2. Let t = -1.1 - 4.9. Let o = r - t. Which is greater: -2 or o?
o
Suppose -4*f + 10 - 42 = 0. Let i = -8 - f. Let d(y) = -y**2 - 4*y - 4. Let v be d(-3). Is i at most v?
False
Suppose 0 = -3*p + 10 - 1, p - 5 = -c. Suppose 3*t - t = c. Let a be 0/((-5 - -3)*t). Is -1/7 greater than a?
False
Suppose -q - 3*n - 7 = 0, -41 = 3*q - 5*n + 4*n. Is -13 != q?
False
Let y be -1 - 25/10 - (-1)/2. Let o be (495/15)/(12/y). Is o at most -8?
True
Suppose -m = -0*h + h - 2, 0 = 5*m + 2*h - 4. Let b be 6/(-10) + 162/245. Which is greater: m or b?
b
Let j = 137.11 + -138. Let u = -0.11 + j. Is 7/4 > u?
True
Suppose 23*h = 15*h + 1664. Is 208 greater than h?
False
Let j be (((-117)/27)/13)/((-1)/39). Which is bigger: j or 12?
j
Let s(d) = d**2 - 14*d - 23. Let w be s(15). Let r(h) = h**3 + 5*h**2 - 6*h - 8. Let p be (-4)/(-18) + 280/(-45). Let b be r(p). Is b greater than w?
False
Let m = 0.02 + 0.02. Let d = m + 0.06. Which is bigger: d or -7?
d
Let l = 143 - 712/5. Let k = 0.07 + -46.07. Let g = k + 44. Does g = l?
False
Let k = 1.209 - 0.209. Is -1.28 bigger than k?
False
Let j = -3.92 - 0.08. Let h = j - -5. Let y = -3.01 + 2.91. Which is smaller: y or h?
y
Suppose -15 = -24*v + 19*v. Let h(o) = -2*o**2 + 2*o + 1. Let x be h(v). Which is smaller: x or 2?
x
Suppose 0 = -t, -5*t + 2 = j - 3. Let n = -52.2 - -61.2. Is j > n?
False
Let j be 1/(-2) - 6/(-4) - -2. Suppose -8 - 7 = 5*f - 4*h, 22 = -f - j*h. Which is bigger: f or -5?
-5
Let r(i) = i + 23. Suppose j = -5*t + 9 + 9, 3*j - 3*t + 36 = 0. Let c be r(j). Is c at most 14?
False
Let v = -253/595 - -3/119. Let m be -1 + 3 + (-5 - -5). Suppose -3*w + 5*b + 2 = 3*b, m*w - b = 2. Which is greater: w or v?
w
Let w = 6 + -6. Let v be (9/12)/((-98)/8). Let r = 31/294 - v. Which is smaller: w or r?
w
Let u = 2279 - 11501/5. Which is bigger: u or -22?
u
Let g = -1.08 - 0.02. Let l be 1/(-7)*112/(-48). Is l less than g?
False
Let j(o) = o + 9. Let k be j(-6). Let y = k - 7. Let a be 8 - (-4*2)/y. Is 7 at least as big as a?
True
Suppose -n + 5*q = -1 + 2, 5*q = 5. Let o(u) = -3*u + 6. Let i be o(6). Let d(x) = -x**2 - 11*x + 15. Let s be d(i). Are n and s equal?
False
Let y = 11 - 27. Let r be (36/y)/(14/(-8)). Which is smaller: r or 0?
0
Let s = -1/2696 + 8341/682088. Does -1 = s?
False
Let t be -2 - 3/((-9)/12). Suppose -k = -t*k. Let n = -33/19 + 103/114. Is k less than n?
False
Let m = -2402817/43100 + -2/10775. Is -57 < m?
True
Let n be (((-4)/(-1040) - 0)/1)/(-1). Is -1 at most n?
True
Let r(b) = -b**3 + 3*b**2 + 6*b - 17. Let d be r(4). Which is bigger: d or 0.26?
0.26
Let v = -243.97 - -244. Which is smaller: -0.14 or v?
-0.14
Let n be (1/(-3))/(51/(-18)). Let b = -20.4 + 107.4. Let g = 84 - b. Which is smaller: g or n?
g
Let d = 164 - 174. Let o = -0.1 + 0. Which is greater: d or o?
o
Let p be 132/(-255) + 2/17. Do 1.25 and p have different values?
True
Let d(m) = 14*m - 716. Let n be d(50). Which is greater: n or -25?
n
Let l = 2.2 - 2.3. Are -135 and l nonequal?
True
Let n = -0.22 + -5.08. Let p = 5.3 + n. Does p = 3?
False
Let t = -2 - -4. Let o = -9 - -7. Let s be -3*o/(-57)*1. Which is smaller: t or s?
s
Let c = 39 + -57. Let r = -12 - c. Which is smaller: -1/2 or r?
-1/2
Let m(b) = -b**2 - 13*b - 39. Let f be m(-10). Let z be (f - -3 - -5)/(-1 - -2). Are z and 3/7 nonequal?
True
Let c = 0.05 + 0.2. Let z = 13.09 + -13. Let d = c - z. Which is smaller: d or -2/7?
-2/7
Let x be (-6)/15 - (-33)/15. Let t = 0.14 + -0.24. Which is smaller: t or x?
t
Let z = 4.04 - 0.04. Let a = 0.33 - 4.33. Let b = a + z. Do -3 and b have the same value?
False
Let n(o) = 2*o**3 + 22*o**2 - 85*o + 2. Let s be n(-14). Which is bigger: s or 7/3?
s
Let l = -28 - -25. Let q = -377/63 - -38/7. Let y = q - -7/9. Is l at most y?
True
Let w = 2 + -1. Suppose -3*c = i - 0*c + 39, 0 = 5*i - 4*c + 100. Let f be (-4)/(-1) - (-97)/i. Which is smaller: f or w?
f
Suppose 91*f - 212*f + 90 = -31. Let s be 31/35 + (0 - 1). Is f less than or equal to s?
False
Let s be 8 + (-230)/30 + (-2)/6. Which is smaller: s or 1/213?
s
Let t be 46/(-234) - 58/(-261). Let y = 11 + -6. Suppose -d + 4*d - v + 3 = 0, y*d + v = 3. Is t at least d?
True
Let g = -716 - -709.96. Which is smaller: 0 or g?
g
Suppose 0 = 12*b - 13*b + 58. Let t = 59 - b. Is t bigger than 3/64?
True
Suppose 2*f + 3*z = -2*z - 58, -2*f = -z + 34. Which is smaller: 7 or f?
f
Suppose 0*r - 100 = 5*r. Let p be 1/4*(-48)/r*-1. Which is greater: p or 0?
0
Let y = -78 - -133. Let b = -57 + y. Let z be ((-3)/26)/(6/8). Which is greater: z or b?
z
Let r = -14 + 9. Let c = r + -3. Let z(s) = -s**3 - 8*s**2 + 2. Let a be z(c). Do a and -2 have different values?
True
Suppose -5*a - 4 = 4*r - 40, -r = 2*a - 15. Is 0 at least as big as a?
False
Let m = 9 + -8. Let f(z) = 2*z + 10. Let r be f(-16). Let a be ((-6)/(-4))/((-11)/r). Which is smaller: a or m?
m
Let z = -43 + 24. Suppose -115 - 5 = 6*x. Do x and z have the same value?
False
Let w be 6/8 + 2718/(-72). Let f = -89 - w. Is f greater than -52?
False
Suppose 4 = 2*k, -42 = -4*l + 2*k + 14. Let j be 12*(6/8)/((-1)/(-2)). Is l bigger than j?
False
Let x be 972/(-99) - 4/22. Let g be (-100)/12 + 1/3. Do g and x have the same value?
False
Suppose -138*g = -129*g + 1215. Which is bigger: g or -267/2?
-267/2
Let q be (3/12)/(2/(-4)). Suppose 0 = 49*s - 42*s. Which is greater: s or q?
s
Let h = -81 + 78. Suppose 0 = -5*s - 4*a - 10, 5 = -2*s - 4*a + 1. Which is bigger: s or h?
s
Let a be -14 - ((-7)/1 + 4). Which is bigger: -41/4 or a?
-41/4
Let n be 2/(2/10*-2). Let l(m) be the third derivative of m**5/60 + 5*m**4/24 + m**3/3 - m**2. Let r be l(n). Is -1 equal to r?
False
Suppose -3*v + 4*v = -8*v. Which is smaller: v or -6/679?
-6/679
Let y = -15/149 - 18878/447. Which is smaller: -42 or y?
y
Suppose 4*b + 24 = -4*x, 2*x - 6*x = 2*b + 20. Let u be (2/x)/((-6)/(-12)). Are -2/7 and u equal?
False
Let r(o) = o**2 + o + 6. Let m = -54 + 59. Let q be r(m). Which is greater: 35 or q?
q
Suppose 0 = 2*a + 1892 + 2704. Let q = -310228/135 - a. Is 1 < q?
False
Let s = 0 - -2. Let o = 2401.8 - 2402. Is o bigger than s?
False
Let r be (-6)/11 + 8899/121. Which is smaller: r or 75?
r
Let r be 18/(-36) - (-13)/(-30). Let w = r - -208/255. Which is smaller: w or 1?
w
Let q(w) = -w**3 - 2*w**2 - 7*w - 10. Let f be q(-3). Let b = -13 + f. Let x = 5 + 3. Is x bigger than b?
True
Suppose 28 = 2*j + 2*j. Let q(g) = -g**3 + 10*g**2 - g + 18. Let h be q(10). Let b be j/((-28)/h) - -1. Which is greater: b or -1/17?
-1/17
Let w = 24 + -42. Let u = 2147 - 2146. Which is bigger: u or w?
u
Let o be (-1 + (-14179)/(-44))/(-1). Which is smaller: -320 or o?
o
Let f = 0.03 + 164.97. Let b = -165 + f. Let n = 4 - 