 Let c be 4/(-24) + k/30. Is f greater than or equal to c?
True
Suppose 8*g - 719 + 2231 = 0. Which is smaller: g or -188?
g
Suppose -2*o + 5*l + 806 = o, -l - 1103 = -4*o. Suppose 219 = 4*g - o. Is g at least as big as 123?
True
Suppose 0 = -3*s + 5*s - 34. Suppose -15*y + s*y - 8 = 0. Suppose -1 = t - 5. Is t smaller than y?
False
Let u = -867.993 - -870. Let r = u - 0.007. Are 0 and r equal?
False
Let g(v) = -v**2 - 33*v - 66. Let w be g(-31). Let b = 0.3 - -0.1. Let z = 0.3 - b. Is w not equal to z?
True
Let d be (-13294)/680 + (-1)/(-20). Suppose 175 = -5*t + 70. Is t <= d?
True
Let d be 33 - 68 - -1*(-2)/(-2). Is -33 at most as big as d?
False
Suppose 0 = -3*d + 2*d - 106. Let r = 106 + d. Which is bigger: -2/245 or r?
r
Let b be (-2)/(((-80)/(-2602))/4). Let m = 5499/20 + b. Let f = 16 - m. Is f < 1?
False
Let r be (-1 + 17)*((-356)/(-40) - 1). Let q = -126 + r. Which is greater: 20 or q?
20
Let l = 136 + -147. Are -48/5 and l equal?
False
Suppose -6*s = 9 + 15. Let u(f) = -2*f**2 - 3*f + 7. Let z be u(s). Which is smaller: z or -10?
z
Suppose -25*s + 124 = 6*s. Is 0 <= s?
True
Let a = -349/468 + -1/234. Is 7 < a?
False
Let t = 705 - 703. Which is smaller: 37/11 or t?
t
Suppose 0*t - 2*t = -4. Let u(n) = -n**2 + 2*n - 1. Let c be u(t). Let h be 2/(-2) + (-1)/c. Is h > -1?
True
Let d = 0.1087 + -0.0087. Which is smaller: 26 or d?
d
Suppose 11*z = -164 + 131. Is z <= -0.031?
True
Let y = -174.5 + 178. Which is greater: y or 3?
y
Let f be (-7 - -12 - 7)*-7. Let a(m) = -m**2 - 9*m + 7. Let q be a(-8). Which is bigger: f or q?
q
Let v = -66.051 + 66. Let g = v + -3.949. Which is smaller: g or 1?
g
Let u = -71 + 147. Which is smaller: 78 or u?
u
Let o = -681 - -715. Do o and 241/7 have different values?
True
Let m = -125 - -130. Let k(b) be the first derivative of -b**3/3 + 5*b**2/2 - 2. Let w be k(m). Which is bigger: w or -2/17?
w
Let d = -14 + 3. Let f = d + 10. Is f less than 1/6?
True
Let r = -359/380 + 21/20. Let v(t) = t**2 + 15*t - 22. Let a be v(-16). Which is smaller: a or r?
a
Suppose 0 = 5*v - 9*v + 4. Let i be -3*((-87)/(-9) - v). Which is smaller: i or -27?
-27
Let r(h) = h**3 - h**2 + 6*h - 25. Let j be r(3). Is -3 smaller than j?
True
Let x be (-4)/(-14) + (-2)/7. Let f(d) = -d. Let z be f(x). Let j(q) = 11*q - 21. Let l be j(2). Which is smaller: l or z?
z
Let h = 407 - 406.953. Is h greater than -0.1?
True
Suppose -6*i = -2*i - 4. Which is bigger: 3/97 or i?
i
Suppose 2*n + 3*g - 27 = 0, -5*g + 40 = 3*n - g. Suppose 0*q - 2*q - n = 5*c, 5*q + 3*c = 8. Suppose -q*b + 0 - 25 = -5*w, 14 = -2*b + 2*w. Are -11 and b equal?
False
Let g(l) = l**2 - 6*l + 1. Let o be g(7). Let k be (2/8)/(6/o). Suppose 18 = -14*r + 4. Which is greater: k or r?
k
Let t = 15809/27438 - 14/807. Let p = 999/1666 - t. Which is smaller: p or 0?
0
Let m = 208 - 228. Which is greater: m or -106/5?
m
Let t = 30835/4 - 7805. Are t and -96 equal?
False
Suppose 5*j - 2*a + 518 = 2716, 3*j - 1324 = -4*a. Which is smaller: j or 439?
439
Let o(c) = -c**2 - 10*c + 417. Let q be o(16). Which is smaller: 9/146 or q?
9/146
Let y = 31 - 31.27. Let f = y + 0.24. Let o = -21 + 23. Which is bigger: o or f?
o
Let v(k) = -k**3 + 33*k**2 + 69*k + 30. Let g be v(35). Which is bigger: 19 or g?
19
Suppose -5*t = -10*t + 25. Suppose -f = -t*f + 3*w + 19, 5*f - 10 = w. Let b = 17 + -18. Are b and f unequal?
True
Let h = -319.079 + 319. Which is smaller: 0 or h?
h
Let v(m) = -5*m**3 - 2*m**2 - 5*m - 15. Let j be v(-2). Are j and 28 unequal?
True
Let x(u) = u**3 - 11*u**2 - 4*u + 79. Let l be x(10). Which is bigger: l or -59?
-59
Let q = -456 - -424. Is q at least 4?
False
Let u(g) = 13 + 13*g + 2*g**2 + 3*g**2 + 5*g**2 + 2*g - g**3. Let l be u(11). Is l equal to 58?
False
Let r = 130 - 136. Is -0.25 greater than or equal to r?
True
Suppose -h - 4*h - 30 = 0. Let q(i) = 4*i**3 + 23*i**2 - 7*i + 1. Let n be q(h). Which is bigger: 5 or n?
n
Suppose -7267 = -37*a - 1310. Do 1 and a have the same value?
False
Suppose 2*i = -f - 2*f + 5, 0 = -4*f + 3*i + 35. Suppose 2*p + 5*y = -20, f*p + 5*y + 0 = -20. Let x = -1/5 - p. Do x and -2/15 have different values?
True
Let g = -91 - -52. Is g < -36?
True
Suppose 3*a = -5*y + 1, 7*a - 14 = -y + 11*a. Which is smaller: y or -43.7?
-43.7
Let a = 48 + -18. Suppose 2 + 7 = -3*x, -a = 5*v + 5*x. Let w be -4 - v - 25/(-3). Is w bigger than 7?
True
Let w = -0.1 - -0.3. Let o = 186.5 - 179.5. Which is bigger: o or w?
o
Let h(d) = d**2 + 13*d + 27. Let v be h(-7). Let g be -9 + -1 + 3/(-1). Which is smaller: v or g?
v
Let o be (-76)/18 + (-2)/(-9). Suppose -b - 4 = 5. Let s = b - o. Which is greater: -7 or s?
s
Let d be (-17)/3 - (-2)/3. Let s = -19 + 23. Let y be (-2)/d*(s - 5). Which is smaller: y or 0?
y
Let w = -142.788 + 1.788. Which is greater: w or -0.03?
-0.03
Let a = 286 + -1428/5. Is a at least as big as 314?
False
Let b be (-1 - 4) + 7 + -5. Let l be 1/(-1 + b + 3 - 0). Let j = -3/202 + -144/505. Is j at most as big as l?
False
Let x(w) = 16*w + 9. Let i be x(6). Is 104 not equal to i?
True
Let f = -6 - 8. Let d = -15 - f. Which is smaller: d or 14?
d
Let u = -26.9632 - -27. Let k = -2.8932 - u. Let o = -0.07 + k. Is o < -0.2?
True
Let b = 50/19 + 541/76. Let d(m) = -3*m - 5. Let o be d(-5). Which is bigger: b or o?
o
Let v be (9 - 8) + 1*3. Let t be (3 + (-10)/v)*26. Suppose 5*z = -3 + t. Is 6/7 at least z?
False
Let x = 4733/9 - 526. Let j = -3 + 2. Which is smaller: j or x?
j
Let m be -3*8/20*(-30)/9. Let r(l) = -20*l + 17. Let o be r(m). Is o bigger than -64?
True
Let c be 2*(3 + (-4 - 0)). Suppose -4*v = -0*v + m - 11, -6 = -v + 3*m. Let d = c + v. Is d bigger than 1?
False
Let i = -7 + 4. Which is smaller: -9/4 or i?
i
Let g = 16.45 + -9.65. Is g < -0.2?
False
Let t(y) = -y**2 - 8*y + 15. Let k be t(-5). Suppose -4*p - 2*p = -k. Is p >= 12?
False
Let k = 0.029 - 1.029. Is -1 >= k?
True
Let q be (-43)/3 + (-372)/(-279). Let r be -3*(4/(-2))/2. Suppose -65 = 2*z + r*z. Do z and q have the same value?
True
Let s = 27 + 11. Let v = 10.48 - -27.02. Let c = s - v. Is c != -3?
True
Let d(f) = -13 - 2*f + 12 + 0*f. Let q be d(0). Which is smaller: q or 1/14?
q
Let h = -68/77 + 5/11. Suppose 3*y + 6 - 23 = -l, -y - 29 = -4*l. Suppose 6 = 3*r, -5*r = -3*o - l + 1. Is o equal to h?
False
Suppose 0 = 4*l - m + 637, 10*m + 5 = 15*m. Is -159 less than l?
False
Let l be 3/(-29)*((-33)/(-9) + -2). Let o = -141/145 - l. Which is greater: o or -1?
o
Suppose -11*z + 18*z = 28. Let x(b) = -2*b - 11. Let s be x(-6). Which is smaller: s or z?
s
Let m = 159 + -159.2. Which is smaller: -0.24 or m?
-0.24
Let z be (2/(-4))/((20/24)/5). Suppose 2*b = 5*b. Let l be -1 + (1 - b) + -2. Which is greater: l or z?
l
Let y = 81 - 971/12. Which is smaller: -1 or y?
-1
Suppose t + 136 = 5*n - 3*t, 2*n = -2*t + 40. Which is greater: n or -1/11?
n
Let t = -2104 + 2103. Let j = 29/7 - 27/7. Which is smaller: t or j?
t
Let g = 6 - 5.84. Let r = 0.11 - g. Is 1/3 bigger than r?
True
Let r = 29 + -11. Let s be 6/r + 89/3. Suppose 3*t - t - 14 = -j, -3*j - 3*t = -s. Do 5 and j have the same value?
False
Let s be (-8*(-14)/(-112))/(152/(-34)). Which is bigger: s or 1?
1
Suppose 2*w + s - 13 = -3*w, 3*w + 3*s - 3 = 0. Suppose 3*n + 6 + w = v, 4*v - 3*n = 18. Let t = -8 + 7.8. Which is smaller: v or t?
t
Suppose 0 = -10*w - 97 - 33. Let v(q) = -q**2 + 8*q + 7. Let i be v(10). Is w greater than i?
False
Suppose 0*t = -4*t - 5*t. Suppose -2 = -2*j + 2. Let s be j + (-18)/14 + 0. Which is greater: t or s?
s
Let o(y) = 5*y + 325*y**2 + 4 + 3 - 328*y**2. Let j be o(3). Is j <= 0.9?
True
Suppose -3*n + 3*x - 78 = 0, 4*x - x - 6 = 0. Let d = 33 + n. Suppose 4*j - 4*b = -d*b - 9, -4 = -j + 5*b. Are -1/4 and j non-equal?
True
Suppose -23 + 7 = 2*t - 4*f, 4*t - 5*f + 44 = 0. Let i(w) = -w**3 - 18*w**2 - 32*w - 8. Let h be i(t). Is -15/2 > h?
True
Suppose 8*y + 3*y = -1375. Which is smaller: y or -0.6?
y
Let n be (4/(-6))/((-12)/(-72)) + 10. Which is bigger: n or 26/5?
n
Suppose -y = -3*y + 8. Suppose 0 = -3*c - z + 72 + 32, 3*c - y*z = 79. Which is bigger: c or 34?
34
Let g = -1 - -1. Let o = 4474/9 + -498. Is g smaller than o?
False
Let j(m) = -15*m + 134. Let v be j(9). Which is smaller: v or -169?
-169
Suppose 5 = 43*p - 48*p. Which is greater: -2/7 or p?
-2/7
Let g be (-1)/(-4)*(-2)