 be u(-4). Suppose -1 - 2 = d*l. Which is smaller: l or j?
l
Let v = 2.88 - -0.12. Is v <= -1?
False
Suppose -3*f + 9 = -6. Suppose 2*d + 3 = -f. Suppose 6 = -5*w + x, -3*w - 12 = 2*x + 2. Which is smaller: w or d?
d
Let m = -1.75 + 0.15. Let y = m + 4.6. Which is smaller: y or -2/7?
-2/7
Suppose -2*j + 4*j - 13 = 3*c, 2*j = 5*c + 23. Let g = 71/5 - 487/35. Which is greater: j or g?
g
Let o(d) = -d**3 - d**2 + 2*d - 1. Let u be o(-2). Let l(q) = -q + 1. Let f(z) = z + 1. Let y(m) = 2*f(m) - l(m). Let v be y(u). Which is bigger: 0 or v?
0
Let q be ((-15)/6)/((-1)/2). Suppose -q = 3*o + 1. Let t be -2*(o + (-10)/(-4)). Is t at most as big as 1/3?
True
Let z be 1/(-3)*(0 + 21). Is z >= -8?
True
Suppose 0 = 4*i - 16 - 12. Suppose -4*p + i + 1 = 0. Which is bigger: p or -4?
p
Let d = 2 + -3. Let h(u) = -u**3 - u**2 + u + 1. Let a be h(d). Which is greater: 2/15 or a?
2/15
Let i be 5/2 + -1 + -1. Suppose -4*r + r + 4*q - 18 = 0, r + 4*q = 10. Let x be (-2)/3 - r/3. Are i and x nonequal?
True
Let d(q) = -q**2 - 7*q + 11. Let s be d(-9). Are -3 and s equal?
False
Let h = 0.2 + -0.3. Suppose m + 1 = 2. Which is smaller: h or m?
h
Let u = 12 - 12.1. Which is smaller: -0.11 or u?
-0.11
Let i = 0.07 + -0.21. Let y = 5 - 6. Is y at most as big as i?
True
Let i = 5.1 - 5. Let y = 0.3 - 0. Let h = 0.2 - y. Which is greater: i or h?
i
Suppose 20 = -g + 5*g. Suppose 0 = g*o - 39 - 11. Let r = -6 + o. Is r greater than 4?
False
Let b(c) = c**3 - 5*c**2 + c + 11. Let r be b(4). Let w be 3/9 + 32/(-6). Which is bigger: r or w?
r
Let z = 151/2784 - 2/87. Which is smaller: 0 or z?
0
Suppose 5*s + 4*n = -538, s = -0*s + 4*n - 98. Let x be s/(-10) - (2 - 1). Let h = -46/5 + x. Is h greater than or equal to 0?
True
Let u = -47 + 49. Which is greater: u or -15?
u
Let q = 1130 - 14683/13. Is q less than or equal to 0?
False
Let y be (-10)/42*(-270)/(-24). Let l = -5/28 - y. Which is bigger: 4 or l?
4
Let r(h) = -16*h**2 + 2*h - 1. Let l be r(1). Are l and -14 non-equal?
True
Let g(p) = p**2 + 4*p + 7. Let o be g(-2). Which is bigger: 12/5 or o?
o
Let o be (3/(-6))/((-2)/(-1)). Let x = 7 + -5. Suppose 0 = 3*n + 1 + x. Is o greater than or equal to n?
True
Let c = 0.122 - -0.878. Which is smaller: c or -12/7?
-12/7
Let z(t) = t**2 + 4*t. Let x be z(-4). Let y(s) = 2*s + 0 - s**3 + 0*s**3 - s + 3*s**2 - 2. Let u be y(3). Which is greater: u or x?
u
Let s = -7 - -8. Let w be 33/(-84) + s/4. Which is smaller: -0.1 or w?
w
Suppose 5*p - y + 1 = 2*p, 5*p + 5 = 5*y. Suppose 0 = x - p*x. Which is smaller: x or -2/15?
-2/15
Let t(q) = q**2 + 2*q - 3. Let s be t(2). Suppose r - 3*f + 76 = -4*r, -3*f + 25 = -2*r. Let u be r/(-4) + 4/(-16). Which is bigger: u or s?
s
Let y(r) = -r**2 - 6*r. Let u be y(-3). Which is smaller: -1/4 or u?
-1/4
Let o = -40 + 43. Suppose -2*w + 0*w = 2*p - 4, 0 = w + 5*p - 6. Is o at most w?
False
Suppose 3*z + 19 = -2*f - 0*f, -31 = 4*z - 3*f. Is z at most -11/2?
True
Let z(w) = w + 6. Let n be z(-5). Let r(a) = -a - 14. Let s be r(-7). Let t(l) = l**2 + 6*l - 7. Let j be t(s). Which is smaller: n or j?
j
Suppose 2*p = 3*n + 26, 3*p + 2 = 5. Let r be 108/(-14) + n/28. Let a be ((-2)/8)/(2/r). Which is bigger: a or -2?
a
Let b = -8 + 15/2. Which is smaller: -2/45 or b?
b
Let i = 3 - 4. Let v be 10/(-4)*(0 - -2). Let y be v/(-15)*(-12)/10. Which is smaller: i or y?
i
Suppose -19 + 11 = -4*a. Is 4/5 at least a?
False
Suppose -15*x + 20*x = -10. Is -4 at most as big as x?
True
Suppose -2*t = -2*r - 14, 4*r + 28 = -2*t + 12. Which is smaller: r or -6?
-6
Let q be (0 - 1) + (-77)/(-33). Which is bigger: q or 1?
q
Let a(b) = -b + 7. Let l be a(6). Let v = 3 + 0. Suppose -v*p - 8 = -2. Is l not equal to p?
True
Let j be (-1*3)/(-3 + 4). Let y be -2 + (-2)/j - -2. Suppose -5*b = -0 - 10. Is y bigger than b?
False
Let d = 1752 + -2533. Let j be d/198 + -1 + 5. Which is bigger: -1 or j?
j
Let g = -0.01 - 0.09. Is 3 smaller than g?
False
Let d = -2 - -2. Let y = 1 - d. Let f be 2/(-3 - (-3)/3). Is f > y?
False
Let r be ((-10)/30)/(1/2). Which is smaller: r or 3/13?
r
Let h = -345/4 - -85. Let j = 3 - 5. Which is smaller: j or h?
j
Suppose -4*h = 3 + 21. Which is smaller: -8 or h?
-8
Let y(n) = -n**3 - 6*n**2 - n - 8. Let v be y(-6). Let p be (-3)/((-2)/(v + 1)). Let o = -74 - -72. Which is bigger: p or o?
p
Suppose -5*t = -17 - 58. Suppose 35 = 2*m + 3*b, -5*m - 3*b + 84 = b. Is m less than t?
False
Let h = 7 + 0. Let j be h/3 + (-4)/(-6). Suppose v = 4*n + 1, 0 = -v + 4*v - 3*n - j. Do v and -1/4 have the same value?
False
Let s = -28 + 27.97. Is 0.1 bigger than s?
True
Let i = -0.19 + 0.03. Let q = -0.06 - i. Which is greater: -0.2 or q?
q
Let l be (10/4)/(-5)*-2. Is l greater than or equal to 12/7?
False
Let j = 150 + -144. Let n = 1 + -1.1. Are n and j unequal?
True
Suppose -2*q = -q - 4. Let n be q/(-1 + 0/3). Which is bigger: -3 or n?
-3
Let p be (6 - 3)/(33/2). Let u(q) = q - 4. Let r be u(4). Which is greater: r or p?
p
Suppose -2*c - 22 = -76. Which is smaller: c or 26?
26
Let y be ((-6)/(-20))/(12/2528). Let v = -64 + y. Which is bigger: -2 or v?
v
Let l = 4.33 - 0.13. Let n = l + -4. Which is bigger: -3/5 or n?
n
Let a = 38.5 + -38. Is a less than -3?
False
Let t be -3 - ((-3 - -8) + 3). Are t and -12 non-equal?
True
Let c be ((-2)/(-3))/((-6)/9). Let a be (2 - 4) + 10/2. Suppose 2 + 1 = 3*p + 2*t, 0 = -4*p + a*t - 13. Is p < c?
False
Suppose 7 = -4*l - 5. Let k(g) = g**2 - 8*g - 2. Let x be k(6). Let s be 78/(-21) - (-4)/x. Which is smaller: l or s?
s
Suppose 11*t - 9 = 8*t. Is t at least as big as -1/6?
True
Suppose -4*f = -4*n + 24, -3*f - 8 = -2*n + 12. Let d = 3 - 10. Which is greater: f or d?
d
Let a(h) = -h**3 - 5*h**2 + h + 7. Let t be a(-5). Suppose -8 = n - t*n - 5*z, 2*z = -3*n + 37. Which is greater: 12 or n?
n
Suppose 5*w = 9*w + 12. Is -3 at least as big as w?
True
Suppose 5*u + 61 = -0*s - 2*s, s + 2*u = -28. Let d be (-11)/72 - (-4)/s. Which is smaller: d or 0?
d
Suppose 20*f = -23 + 103. Suppose 2*a - 5*a + 9 = 0. Which is smaller: a or f?
a
Let o = 0.3 + -0.3. Let b = o + 2. Which is greater: b or -0.2?
b
Let g(r) = -r**3 - 3*r**2 + 5*r - 3. Let b be g(-4). Let m be 27/(-6) + (-4)/(-8). Let x = m - b. Is 4 greater than x?
True
Suppose -3*m - 3*w = -0*w - 39, -18 = -3*m + 4*w. Let a be (-2)/8*4/m. Which is smaller: 0 or a?
a
Suppose -3 = -3*s - 0*s. Let j = -48/95 + 2/19. Which is smaller: s or j?
j
Let w = -29 + 63. Is w greater than or equal to 33?
True
Let k(q) = 7*q**3 + 15*q**2 - 5*q + 5. Let u(z) = 10*z**3 + 22*z**2 - 8*z + 8. Let t(m) = -7*k(m) + 5*u(m). Let s be t(-6). Do -3 and s have the same value?
False
Let c = 0.5 + 4.5. Is c at most as big as -7?
False
Let q = -9/8 + 39/56. Which is greater: q or -1?
q
Let f = 6 + -20/3. Which is smaller: f or -2?
-2
Suppose 4*f = f + 24. Let n = 8 - f. Suppose -2*z = 3*x + 2, -3*x = -0*x + 3*z. Is x at least as big as n?
False
Let d(o) = 26*o**2 + o + 2. Let q be d(-1). Is q less than or equal to 28?
True
Let u be -5 + 12/4 + -26. Let k be (-1 - -11)*u/(-70). Is k <= 3?
False
Suppose -39 = 2*c - 7. Let n = 28 + c. Suppose 0 = 3*q + 2*q + 3*t + 28, 2*q + 2*t = -n. Is q < -6?
False
Let q(n) = -n**3 - n**2 - n - 1. Let h be q(-2). Suppose h*p + 0*p + 5*k - 1195 = 0, -215 = -p + 5*k. Let z = p - 2113/9. Which is smaller: 0 or z?
0
Suppose 5*g = 10 + 5. Suppose g*b = -2*b - 25. Let j be 2/b + (-165)/25. Which is smaller: -8 or j?
-8
Let n(j) be the third derivative of 3*j**4/8 - j**3/6 + j**2. Let p be n(1). Is p != 8?
False
Let b = 7.82 + 0.18. Do b and 0.1 have the same value?
False
Suppose 3*g + 5*m - 15 = 0, -2*m + 20 = g + 3*g. Let s be (8/6)/(g/15). Let h(n) = -n + 5. Let q be h(s). Is 0 bigger than q?
False
Let c = -0.15 - 0.04. Let n = -1.24 - c. Let w = n - -0.05. Are w and 5 nonequal?
True
Let h = 2 + 3. Let n be ((-9)/5)/(12/(-40)). Is n <= h?
False
Let p be 18/14 + (-3 - -2). Let v(h) = h**3 + 7*h**2 + 7*h - 15. Let s be v(-5). Is s greater than p?
False
Let z(r) = -r**2 - r + 1. Suppose 2 = -3*w + 5. Let x be z(w). Is 1/3 at most x?
False
Suppose 3*d + 93 = 69. Which is greater: d or -0.7?
-0.7
Suppose -4 = d - 3*d + 2*o, -d + 8 = 5*o. Suppose 0 = 3*b + 2*w + 7, -d*b + 5*w + 30 = 2*b. Let y be -2 - (0 + (b - 3)). Which is bigger: 0.3 or y?
0.3
Let v = -11.4 + -1.6. Let c = v + 