pose -w + f = 2, 4*f + 2 + 4 = -3*w. Which is bigger: w or 7?
7
Let d = 146 + -1319/9. Let g = -2/9 - d. Is -0.38 >= g?
False
Let g be (-3)/12 - 39/(-12). Let h = -5 + g. Let r be (-18)/14 + 4/14. Which is smaller: r or h?
h
Let c = -122 + 122.94. Let k = -0.84 + c. Is k bigger than 29?
False
Let a = -15 + 14. Let h be ((-6)/201)/(4 + -3). Which is smaller: a or h?
a
Suppose 3*m + 1 = g, 5 = 4*m + 8*g - 3*g. Does m = -34/39?
False
Let o(l) = 2*l - 11. Let m be o(8). Suppose -i + 62 = 2*i - n, -m*n = 3*i - 50. Let u be i/(-25)*(-2 + 7). Which is smaller: u or -1?
u
Suppose -6*r + 64*r = 58. Is -3/148 greater than or equal to r?
False
Let l(u) = u**3 - 12*u**2 + 4*u - 41. Let a be l(12). Is 12 at most a?
False
Let c = 94.064 - 94. Let p = 0.036 + c. Is p smaller than -4?
False
Let h = -745 + 1599. Are h and 1/2 unequal?
True
Let d = 8 - 8. Suppose d = 5*j - 15. Suppose o = -3*w + 5, -3*o + 0*o + 15 = j*w. Which is greater: 2 or w?
2
Let y(w) = 5*w**2 + 2*w - 18. Let t(d) = 9*d**2 + 5*d - 35. Let m(o) = -6*t(o) + 11*y(o). Let l be m(8). Let k be 3 + 9 + (-2)/2. Which is smaller: k or l?
k
Suppose 2*q - j - 103 = 0, -5*q + q - j + 215 = 0. Let g = 39 - q. Let y be (-30)/(-40)*(-8)/g. Is y greater than or equal to 1?
False
Let j = -535356 - -2686578/5. Let b = j - 1966. Is b equal to 0.1?
False
Let p = 1185 + -1023. Is p greater than 162?
False
Suppose i + 0 = -r - 1, 4*i = -r - 13. Let c be r/(9/2)*(-567)/(-18). Which is smaller: 22 or c?
c
Let b = -71 + 81. Suppose -4 = b*t - 6*t. Which is smaller: t or -1/87?
t
Let p = -0.028 + 0.088. Let o = -103 - -102.9. Is p < o?
False
Let l be -3 + ((-148)/185 - (-637)/165). Do l and 2 have the same value?
False
Let u be 70/(-21)*-15*1/2. Which is greater: 21 or u?
u
Suppose -4*g - 2*y - 4114 = 0, 0 = -4*g + y - 3929 - 182. Which is smaller: g or -1?
g
Let y(s) = s - 30. Let p be y(20). Which is bigger: -2/49 or p?
-2/49
Let h be (24/(-30))/((-19)/10). Let i = h + -5/57. Which is smaller: 11/5 or i?
i
Let s be (-6)/(-21) - (-8788)/(-38402). Which is greater: s or 0?
s
Let g(i) be the third derivative of i**4/24 - i**3/2 + 4*i**2. Let r be g(6). Suppose -5*w - 4*l = 19 - r, 3*w = 4*l + 16. Which is bigger: -0.05 or w?
w
Let k = -204513/47 - -4351. Which is smaller: k or 0?
k
Let j = 5 + -6. Let k = -124 - -743/6. Is j smaller than k?
True
Let c = 598/259 + -22/37. Which is smaller: c or 12?
c
Let b be (-2)/9 + (-304)/(-72). Suppose u + u = 5*w - 41, -34 = -b*w + u. Suppose -3*v - r = 3, -4*v + r + w = -2*r. Which is smaller: v or -5/4?
-5/4
Suppose -8 = -o - 197. Is -189 != o?
False
Let m be (-120)/5*4/(-6). Suppose 2*c + 11 = j, 4*j - 4 = m. Let v be c/6 + (-22)/(-20). Is 2 not equal to v?
True
Let z = 164 + -163.927. Let r = 0.017 + z. Which is bigger: r or -4?
r
Let i = 26 - -141. Is -3/5 at most as big as i?
True
Let u be (-15)/10*(-2)/(-3). Suppose 2*b + 4*f - 90 = -0*b, 0 = b - f - 54. Suppose 47 = -2*y + b. Is u >= y?
False
Let q(k) = -k**2 + 4*k - 14. Let o be q(3). Let r be ((-1)/(-33))/(o/(-858)). Which is greater: r or 1?
r
Let h(y) = -5*y**3 + 77*y + 11 - 10*y**2 + 4*y**3 - 85*y. Let t be h(-9). Which is smaller: 3 or t?
t
Let y = 6.83 + -6.5. Let i = -3.58 + 4. Let h = i - y. Is 0.1 greater than h?
True
Suppose 194 - 138 = 4*s. Suppose 4*n - 6*o + o - s = 0, 3*o = -6. Which is bigger: 2/69 or n?
n
Let j be ((104/(-16))/13)/(1/80). Is j equal to 0?
False
Let l be (-1)/(-21)*(-11)/(-44)*4. Is l less than or equal to 1?
True
Let p = -350 - -350. Let k = 235/2 - 49119/418. Which is greater: k or p?
p
Suppose -7*h + 13*h = 1356. Let f be h/10 - 16/(-40). Suppose -4*p + 104 = 4*v, 4*v - 3*v = -2*p + 48. Is f != p?
True
Let f(s) = 10*s + 7 - 4*s**3 - 3*s - 5*s**2 - s**3 + 4*s**3. Let o be f(-6). Which is greater: o or 6/17?
o
Suppose -m + 5*w = 11, 5*m - 3*w = 4*m - 9. Let a be m*(-6 - (-8)/4). Let s be a/(4/(16/6)). Is 16 smaller than s?
False
Let q be ((-8)/10)/(18/10). Let x = -2/71 - 116/923. Which is smaller: q or x?
q
Let c = -22 - -10. Let d = c + 12.36. Let h = d - 0.4. Is h smaller than 0.2?
True
Let a be (-30)/(-144) - 5/(-40). Which is smaller: a or -243?
-243
Let k = -83.4 + 83.2. Which is greater: -0.84 or k?
k
Let l be (-288)/(-40) - 2/10. Suppose -4*x = 2*b + 18, 3*x - b + l = 4*b. Let f = 209 + -641/3. Which is greater: x or f?
x
Let d = -3.95 - -4. Let o = d + -0.1. Let a = -1006/9 - -112. Which is greater: a or o?
a
Let n = -412 + 412. Let s be (3/18*8)/6. Is n at least s?
False
Let b(u) = -46*u - 18. Let v be b(-4). Is 166 bigger than v?
False
Suppose -5*c = -x - 248, 5*x + 300 - 60 = 5*c. Is c at most as big as 342/7?
False
Let l = -360 - -362. Which is smaller: 14 or l?
l
Let z = 1254 + -1891. Let i = z - -3174/5. Is -2 > i?
True
Suppose 0*r + 8 = -2*r, 0 = -j + r + 82. Is j < 78?
False
Let q be (2 - 0) + -47 - 8. Which is smaller: -58 or q?
-58
Let c = -0.1 + 0.1. Suppose 15 = 3*w, -3*j + 40 = -3*w + 106. Is c bigger than j?
True
Suppose 26*n = 3*n - 828. Is -36 < n?
False
Suppose -441*k - 27968 = -464*k. Is k bigger than 1216?
False
Let p be -5 - (17/119 - 573/42). Which is smaller: 11 or p?
p
Let z(f) = -8*f + 59 + 7*f + 5*f. Let k be z(-13). Which is smaller: -2 or k?
-2
Let g(h) = 4*h**2 - 1 + 10 - 2 - 3*h**2 - 7*h. Let n be g(6). Let y be (55/(-330))/(2/(-4)*1). Which is smaller: y or n?
y
Let x = 1262/7 - 904/5. Is 0 at least as big as x?
True
Let a(w) = w**2 - 12*w - 3. Let h be 90/8 - 4/48*3. Let o be a(h). Is -13 at least o?
True
Let k be 9/((-1)/(-1 + 3)). Suppose 4*q = 3*l - 12, -3*q + 4 = -3*l + 13. Which is bigger: k or q?
q
Let l be 68 - (4 + -6)/(-1). Let v = l - 65. Which is smaller: v or 17?
v
Suppose 6*o = 2*o + 16. Suppose -2*t + 74 = 3*b, 5*b - 24 = -o. Let u = t + -38. Which is smaller: u or -0.1?
u
Let c = 5 - 4. Let l be 1/5 - (-135606)/2295. Let i = 532/9 - l. Are i and c nonequal?
True
Let x = 4/22827 - -40061377/45654. Which is smaller: x or 878?
x
Let w = -10 + 15. Suppose -q + w*i + 28 = 0, 5*q = -i + 12 - 2. Suppose -63 = -3*d + 3*p, -d = q*p + 2*p - 27. Which is smaller: d or 23?
d
Let a be (-136)/(-14) + (-4)/(-14). Let d(c) = c**3 + 2*c**2 - 2*c + 6. Let k be d(-3). Suppose -k*n = n - 36. Which is bigger: a or n?
a
Let g(n) = 3*n + 3. Let p be g(3). Suppose -7*l = -2*l - 10. Let y = l - -10. Is p < y?
False
Let y(q) = -q**3 - 9*q**2 + q + 15. Let z be y(-7). Let n be 0 - 3*8/z. Is n <= 1?
True
Let u = -0.0227 - 2.9773. Which is smaller: u or -27/25?
u
Let p = -83 - -82. Which is bigger: p or 0.122?
0.122
Let p = -479 - -478.3. Is -1.6 bigger than p?
False
Let q(u) = 31*u + 1. Let i be q(2). Let m be (-51)/i + (-6)/(-9). Which is smaller: -1 or m?
-1
Let l(v) = 2*v**2 - 22*v - 19. Suppose 2*a + 2*t = 24 - 6, 12 = -4*t. Let d be l(a). Is d at most 8?
True
Let t = 0.3 + 1.5. Let v = 0.017 + 2.083. Let z = v - t. Which is smaller: z or 0.5?
z
Let u = 15 - 18. Suppose -3*f + 15 = 0, 2 + 12 = -2*n + 2*f. Which is smaller: n or u?
u
Let q = 704 - 703.94. Which is smaller: q or -34?
-34
Let m = 1235/9 + -137. Which is smaller: m or 17.5?
m
Let x be 14/3 - (-2)/6. Suppose -x*s + s = 0. Is -0.5 greater than or equal to s?
False
Suppose 5599*a - 5600*a = 1. Is -143/5 <= a?
True
Suppose 5 + 94 = -3*k. Let s = -34 - k. Which is bigger: 2/5 or s?
2/5
Suppose 57 = -5*i - 163. Let q = 2503 - 2546. Is q at least i?
True
Let f = -1 + 1. Let m(x) = 2*x**3 + x**2 - x. Suppose -2*v + 7 - 5 = 0. Let a be m(v). Which is smaller: a or f?
f
Let l(a) = -6*a - 24. Let z be l(-13). Suppose -z - 12 = 6*y. Let n be (-123)/y + 4/(-22). Is 11 equal to n?
True
Let j be ((-24)/84 - 33/7) + -27. Which is greater: j or -31?
-31
Let m = 2 + -3. Let h(n) = 2*n**2 - 11*n + 4. Let s be h(5). Let g be 0 + ((-4)/(-8))/s. Which is smaller: m or g?
m
Suppose -14 + 20 = 4*n - 2*t, 2*t + 6 = 0. Let m = -831/5 - -15819/95. Is m greater than or equal to n?
True
Let r = -1 + 1.1. Let m = -6.821 + 0.021. Let d = 8.2 - m. Which is greater: r or d?
d
Let g be (1 - 34/30)/((-7)/55923). Let i = g - 1051. Which is smaller: i or 14?
14
Suppose 0 = 20*t - 18*t - 23*t. Which is smaller: t or 5.4?
t
Let g = -0.21 + 0.38. Let t = -6.83 - g. Let d = 3 + -3. Which is bigger: d or t?
d
Let d(r) = -3*r**2 - 14*r - 1. Let m be d(-6). Let f be (8/(-20))/((-255)/m). Which is greater: 0 or f?
0
Let h = -357 - -