 -3*r - 40. Let c be j(-17). Which is greater: 10 or c?
c
Suppose -4*j + 0*j - 8 = 0. Let s be ((-2)/4 - j)/(-4). Is 0 < s?
False
Let o(k) = -6*k - 18. Let z be o(-12). Let g = 2 + 1. Let h be g/(z/(-2))*-3. Which is bigger: 1 or h?
1
Let m be 2/9 + (-92)/144. Let u = m - -7/60. Is 1 greater than u?
True
Let z(v) = -v**3 + 8*v**2 + 10*v - 13. Let q be z(9). Suppose -2*f - 2*k - 20 = 0, -2*f + 0*k + k = 5. Which is smaller: q or f?
f
Suppose 4*w + 0 - 4 = 0. Which is greater: w or -2/87?
w
Let f(r) = r**3 + 16*r**2 - r - 11. Let q be f(-16). Which is smaller: 8 or q?
q
Let h = 2.3 - 2.4. Which is bigger: -5/7 or h?
h
Suppose -4*r + 4*w + 8 = 0, w - 4 = -2*r + 2*w. Let a = 1369/1705 - 1/341. Which is greater: a or r?
r
Let j = -71 + 68. Let y = 0.3 - -0.7. Let b = j + y. Is b less than or equal to 2?
True
Let y = 2/95 + 89/285. Is -0.19 at least as big as y?
False
Let w = 5/23 + 11/161. Let u = -7 - -5. Let l = -2.5 - u. Is w > l?
True
Let v = 33 - 23. Let y be 2/v - 3/15. Suppose -5*c = -y*c - 20. Which is smaller: 3 or c?
3
Let w(g) = -g**2 - 4*g + 4. Let c be w(-5). Which is greater: c or 3/8?
3/8
Let l(g) = -g**2 - 7*g + 5. Let k be l(-7). Suppose -w - 1 = -k. Is w equal to 5?
False
Let m be 12/(-42)*14/(-4). Is m smaller than -1/31?
False
Suppose 0 = c - 2 - 0. Let q be (21/(-6) + c)*2. Let y be (-26)/8 - (-4)/16. Is q greater than y?
False
Let k be (-2)/(-4) + 10/((-700)/819). Is 0.1 != k?
True
Let v = 0 - -3. Suppose 26 = 2*o + 24. Is o less than v?
True
Let u(v) = -4*v**3 - v**2. Let s(x) = x**2 - 6*x - 1. Let d be s(6). Let k be u(d). Let o = 3.1 - 3. Are o and k equal?
False
Let y = 0.5 + -2.3. Let v = y + 1.79. Is 2/9 > v?
True
Let r = 993/14 + -139/2. Let n = 5 - 5. Which is bigger: n or r?
r
Suppose -7*w - 109 - 45 = 0. Is w < -20?
True
Suppose -2*w = -3*y + 11, 8 = -2*w - 0. Let c be (5/110)/(y/(-2)). Which is greater: c or 0?
0
Suppose -4*n - 48 = -16. Let o = -8 - n. Which is greater: o or -1/5?
o
Let a = -8 - -13. Suppose a*w - 3*z - 19 = 0, 3 + 6 = -3*z. Let l be w/4 - 2/3. Which is greater: l or -1?
l
Let g be ((-17)/(-4))/(3/(-12)). Let u be (-2 - -1) + g/(-8). Let p = -5/8 + u. Which is smaller: p or 2?
p
Let a be 29/31 - (-1 - -2). Is a > 0?
False
Suppose 0 = -4*t + t. Let m be (-1884)/78 + (-2)/(-13). Let z = 49/2 + m. Which is greater: z or t?
z
Let u be 4/(-8)*-10 - 1. Let o be 3/u*64/18. Is 4 greater than o?
True
Suppose -4*x - x = 5. Let h = -94/133 - -8/19. Is x less than h?
True
Suppose 4*m - c = 5*m + 3, 2*m - 14 = 3*c. Which is greater: -2/35 or m?
m
Let o = 6 - 2. Suppose -o*q - 15 = -9*q. Is 3 less than or equal to q?
True
Let g = 8.2 + -8.1. Let m be 50/(-8)*4/3. Let q = m + 77/9. Is g at least as big as q?
False
Let n(b) = b + 4. Let i be n(-2). Let g be -5 - (0 - -2) - -3. Let v = i + g. Which is smaller: -3/4 or v?
v
Let p = 16 + -7. Let d be (4/6)/(-1)*-15. Which is greater: d or p?
d
Let v = 6 - 6.23. Let k = 0.2 + v. Let a = k - 0.07. Which is greater: 0.1 or a?
0.1
Let b = -0.1 - 0. Let l = -4.95 - 0.05. Let x = l + 5.1. Which is smaller: b or x?
b
Let u be (-517)/282*(-6)/44. Let n = -9 - -1. Which is smaller: u or n?
n
Let s be ((-2)/6)/(8/(-18)). Is 5 at most s?
False
Let n = -12 - -27/2. Is n < 1?
False
Let k(h) = 2*h + 11. Let l be k(-6). Is -1/58 at least l?
True
Let p be (-2)/((-4)/2) - (-5 - -9). Let u(l) = l**2 + 7*l + 9. Let b be u(-6). Let f = -8 + b. Which is smaller: f or p?
f
Suppose 5*p + 34 = -4*s, -6*s + 4*s = -3*p + 28. Is s greater than -41/4?
False
Let c = 3 + -1.5. Let f = -1.7 + c. Let w = -1 - -1. Is w smaller than f?
False
Let l = 29 - 18. Which is smaller: 39/4 or l?
39/4
Let l be (16/(-9) - -2) + 6352/(-72). Is -87 smaller than l?
False
Suppose 0*q = -3*q + 69. Suppose 2*w + s = -3, -3*s + 6 - q = -2*w. Is w at least as big as 0?
True
Let f = -3 - 1. Suppose m + 3*m = -4. Let l be ((m + 2)*2)/(-1). Is l <= f?
False
Let t = -415 + 411.14. Let p = t + -0.14. Is p at most 3/2?
True
Let j be (2/10)/((-8)/56). Is -2 > j?
False
Suppose -7*c + 3 - 10 = 0. Let p = -49 + 247/5. Which is smaller: p or c?
c
Suppose 2*a = -4*h + 102, 0*a + 5*h = a - 58. Which is smaller: 52 or a?
52
Let o be -1 - 1 - (-6)/1. Let t be (-1 + o)/((-6)/4). Are -4 and t nonequal?
True
Let f(y) = y + 7. Let h be f(-5). Suppose q = h*q. Let j be 9/(-3) + 2 + q. Which is bigger: j or 0.2?
0.2
Suppose -17*l + 22*l = -55. Is -1 at least as big as l?
True
Suppose 2*h = 5*h + 72. Let n = h + 47/2. Is n greater than -1?
True
Let g = 227/3 + -74. Which is greater: 3 or g?
3
Suppose -2*t - 10 = -0*t. Suppose 0 = 4*h + 3*u + 12, -u = 3*u. Which is smaller: h or t?
t
Let w = -3 + 6. Suppose -3 = -3*z + w*t - 12, -3*z = t - 3. Let r be (-135)/120*(-4)/(-6). Which is greater: z or r?
z
Let t = 96 - 478/5. Let u = -4.4 - -4. Let p = u + 0.3. Which is bigger: t or p?
t
Suppose -5*h = 5*i - 35, 0 = -2*i - i + 4*h - 14. Suppose -r = -4*n + 25 - 11, -5*r + 2*n = -i. Is 2 less than r?
False
Let d = 0.1 + -3.2. Let j = 3.04 + -0.04. Let u = j + d. Is -0.3 greater than u?
False
Let m = -0.4 + 0.2. Is m at most as big as -5/6?
False
Let b(m) = -2*m - 3. Let y(n) = -4*n - 5. Let s(r) = 9*b(r) - 4*y(r). Let p be s(-5). Let d = -5 + p. Is d < -1?
True
Let s be 2*(-2 - -1) + 3. Let j be (1/(-1) + -2)/s. Suppose 5*m - 2 + 22 = 0. Is m greater than or equal to j?
False
Suppose 2*h = -4*v + 2, 5*h + 6 = -v + 2*v. Is h not equal to -10/37?
True
Let l(i) = i**2 + 7*i - 17. Let g be l(-9). Suppose 4*s = 6*s - 10. Let u be (-1)/(s - 1/g). Which is smaller: -1 or u?
-1
Suppose 0 = -t - 3*z + 8, -3 = 3*t + z + 5. Let v be (1 + -2)*(t + 5). Which is greater: -2/5 or v?
-2/5
Let u = -2 - -3. Let v = 2.26 - 2. Let m = v + -0.2. Which is smaller: u or m?
m
Let p = 154 - 149. Which is smaller: 0.1 or p?
0.1
Let v be (2 - 0)/(-2 + 3). Suppose 0 = g + g + 5*y + 13, -8 = -2*g + v*y. Let m = 12/41 - 219/328. Which is bigger: g or m?
g
Suppose h = -2*h + 423. Let s = h - 1549/11. Does 0 = s?
False
Let k = -88 + 438/5. Let u be (8/16)/((-1)/(0 + -2)). Which is greater: k or u?
u
Let g = -8 + 13. Suppose 4*c - 2*h = 20, 5*c + 2*h = 44 - 19. Suppose -x = g*s + 14, -3*s + c*x - 10 - 4 = 0. Is s smaller than -3?
False
Let d(f) = 3*f**2 + 2*f + 1. Let t be d(-2). Suppose 5*s + z = -3*z + 15, -4*s + z - t = 0. Let r be ((-1)/(-1))/((-4)/(-6)). Is s less than r?
True
Let h = -12.1 + 12. Which is greater: 0 or h?
0
Let f = 963/299 - 43/13. Suppose -4*s - 22 = 2*u, 2*u = -3*u - 3*s - 20. Which is bigger: f or u?
f
Let x = -2.7 + -0.3. Let d = -9 + 13. Let n = x + d. Is -1/2 less than n?
True
Suppose -m + 3*m - 22 = -2*n, -3*m + 2*n = -18. Suppose -o = 2*r - 0*r - 10, 0 = -2*r + 2. Is m greater than or equal to o?
True
Suppose -5*z = -2*m + 126, -1 = z + 5*m + 35. Is z at least as big as -28?
True
Let s = -24.9 + 25. Is 3/16 less than or equal to s?
False
Let s = 315352/4595 - 27/919. Let y = -69 + s. Is y less than or equal to -15?
False
Let y = 26 + -25.8. Which is bigger: 3 or y?
3
Let r be 40/(-18) + (-8)/(-36). Let w be r + ((-1)/1 - -3). Is 3/5 greater than w?
True
Let j(n) = n**2 - 5*n - 4. Let m be j(5). Let w(f) = f**3 - 5*f**2 + 5*f - 1. Let b be w(4). Let t = -7 + b. Is t greater than m?
False
Let p = -200.9 - -211. Let y = 2.5 + 7.5. Let i = y - p. Which is greater: i or -2?
i
Let v be -1 + 0 + 28 + -12. Suppose v = j - 5*u, 0 = j - 3*u - 1 - 8. Is 3/8 at least as big as j?
True
Let q = 7 + -3. Suppose -q*n + 4 = 4*d, -3 = -2*n + 5*n. Let t be -4 + d + 2*2. Which is smaller: -0.1 or t?
-0.1
Let s be 1/(-4) + (-3)/4. Let p be (-16)/(-7)*s - -2. Is p greater than -0.2?
False
Suppose 7 = -3*y + l, -4*l = y - 6*y - 21. Let a = -1.58 - -2.65. Let p = a + -1. Which is bigger: p or y?
p
Let g be 0 + 3/(42/4). Is -2/9 at least as big as g?
False
Let q = 2.9 - -1.1. Let s = -2.96 - 0.04. Let m = s + q. Is 0.1 smaller than m?
True
Let b(v) = v**2 - 5*v - 5. Let k be b(6). Let p be (1 + 1)*k/2. Which is greater: -2/9 or p?
p
Let z = 1 + 1. Let m = 2.8 - 3. Let c = m - 0. Is c at least z?
False
Let g(a) = a**2 + 9*a. Suppose 4*p + 44 = 8. Let w be g(p). Which is greater: w or -1/12?
w
Let i = 1.1 - 1.3. Let z = i - -0.4. Let h be 3*(-4)/6 - -2. Which is smaller: h or z?
h
Let o = -23 + 20. Which is smaller: -0.1 or o?
o
Suppose 4*l - 3*m = 10, 0*l - 11 = -l + 5*m.