: l or -2/3?
l
Suppose -2*m = -7 + 11. Which is bigger: -5/4 or m?
-5/4
Let d = -44.8 - -45. Let u = -2 - -1. Let y = 2 + u. Which is smaller: d or y?
d
Suppose 5*x + 0*x = 0. Let w be (6/(-9) + x)*12. Let c = 9 + w. Is c greater than or equal to 1?
True
Suppose 6 = -5*o + 1. Suppose 0 = 4*f + f + 60. Let c be 1/(-2)*(-6)/f. Do c and o have the same value?
False
Let d(k) = -24*k - 6. Let s be d(-1). Which is bigger: 17 or s?
s
Suppose 5*k = 16 - 6. Is 3 > k?
True
Let c(y) = y**3 + 3*y**2 - 3*y + 4. Let j be c(-4). Suppose 4*d + 4 = 4*n, d - n + 5*n - 14 = j. Which is smaller: 1 or d?
1
Let u = 0.2 - 1.2. Let g = -0.204 + -0.196. Which is greater: u or g?
g
Suppose 0 = -18*y + 17*y - 10. Which is smaller: -9 or y?
y
Let b = -67/4 + 327/20. Let t be (-15)/(-50)*4/3. Is t smaller than b?
False
Suppose -3*z + 14 - 6 = x, 3*z - 28 = 4*x. Let k be (-14)/x - (-2)/4. Suppose 7*q - 3 = k*q. Are 0 and q equal?
False
Let t be (2*1)/(-7 - 6). Let x be -3*((-5)/3 - -2). Which is smaller: t or x?
x
Let r(d) = -d**2 + 8*d - 4. Suppose 3 = 3*b + 6. Let n be -21*b/(3 + 0). Let l be r(n). Which is bigger: l or 4?
4
Let w = -521/7 - -74. Is w equal to 2?
False
Let u = 4.09 + -4. Let f = 352 - 347.91. Let b = f - u. Is -0.1 >= b?
False
Let n = 45.4 + -42. Let w = n + -0.4. Is -2 smaller than w?
True
Let l(u) = -u - 6. Let p be l(-9). Let v = 4 - p. Do 1/8 and v have different values?
True
Let f(q) = q**2 - 28*q + 66. Let g be f(28). Are 65 and g equal?
False
Let f = -52 - -80. Is 29 < f?
False
Let t be 5/2*4/5. Suppose 5*b = 3*k - 10, -4*b - t*k - 9 = 21. Let f = -15 + 11. Is f >= b?
True
Let s = -831/7 + 119. Let y = -105/4 + 26. Is s > y?
True
Let t = -2022.989 + 2018. Let d = 0.089 + t. Let k = d - -5. Is k < 0.2?
True
Let v be (2/(-5))/((-3)/(-60)). Let m be (-9)/12 - 22/v. Let a = -22 + 91/4. Is a at least as big as m?
False
Let a be (-9)/2*(-20)/15. Suppose 15 = 3*b - a*b. Is b < -5?
False
Let v be 54/(-15) - (-4)/(-10). Let o be (-8)/((-1)/1 - 1). Suppose -2*b + 4 = -o*b. Which is greater: b or v?
b
Suppose 4*v + 38 = -0*v - y, 4*v + 44 = 2*y. Is -10 >= v?
True
Let j = 29 - 72. Is -43 at least as big as j?
True
Let k = -4 + 8. Suppose -q - k = -5*q. Which is bigger: 0 or q?
q
Let g be 2/(-4) - (-6)/12. Are -2/35 and g unequal?
True
Let j = 84112/5 + -16944. Let w = j + 4316/35. Which is smaller: 2 or w?
w
Let x be (3*(-4)/930)/((-8)/40). Which is greater: x or 1?
1
Let d = -0.9 - -0.1. Let y = d + 0.3. Let p = y + 0.4. Which is smaller: -1 or p?
-1
Let p = 3.6 + 0.4. Let y = 3.7 - p. Which is bigger: 1 or y?
1
Suppose 0 = 2*s + 2 + 10. Is s greater than or equal to -5?
False
Let m(x) = -x**3 - 7*x**2 + 8*x - 2. Let n be m(-8). Is n < -3/5?
True
Let n be -1 - 0/(9/3). Let l be (-15)/(1 + 100/8). Is l at most as big as n?
True
Let b(i) = -3*i - 15. Let v be b(-6). Suppose -4*s - 2*t = -0*t + 28, 0 = -3*s + v*t - 30. Which is smaller: -1 or s?
s
Let y = 16 + -10. Let f = 5.836 - -0.064. Let s = f - y. Is -1 not equal to s?
True
Let j(l) = l - 9. Let g be j(10). Suppose -5*s + 3 = -2. Let p be 8/(-5)*s + 2. Is g at least p?
True
Let s = -112 + 73. Is 0.1 less than s?
False
Suppose 7*x - 18 = 4*x. Which is bigger: 5 or x?
x
Let y = 300/7 + -43. Which is smaller: 0 or y?
y
Let o = -8.8 + 4.6. Let r = -4 - o. Which is bigger: -3 or r?
r
Let h = -43 - -85/2. Suppose -20 = -0*l + 5*l. Let n be (1 - 4)*l/(-18). Which is greater: h or n?
h
Let t = 27 + -27.2. Is t at most as big as -7?
False
Suppose 0 = 2*m - 2 + 8. Let o be 431/14 + m/6. Let a = -204/7 + o. Which is smaller: a or 2?
a
Let f = -19/63 - -4/9. Let b be -2*(3*-1)/(-6). Is f bigger than b?
True
Let q = 14401/324615 + 2/4845. Is -1 < q?
True
Let j(a) = a**3 - 6*a**2 - 5*a - 14. Let z be j(7). Let o be (z - -4) + (-20)/5. Which is greater: -1 or o?
o
Let c be ((-2)/(-4))/((-1)/2). Let b be 8/(-12)*3/c. Suppose v = -b*v. Which is smaller: -1 or v?
-1
Let l(w) = -w**2 - 10*w + 3. Let i be l(-10). Suppose 0*c + 6 = i*c. Suppose 3*f - 3*k - 13 = 2*f, -k - c = 2*f. Which is smaller: f or -0.02?
-0.02
Let r be (-12)/7*2/(-8). Suppose 0 = -2*c - 4*p + 22, 10*p = 5*p + 25. Which is greater: c or r?
c
Let p = 10 - 8. Are 2 and p equal?
True
Let s be ((-1)/(-3))/(12/(-84)). Let f = 17/6 + s. Let d = 7 - 4. Does d = f?
False
Let a(z) = 4*z + 1. Let k be a(1). Suppose -k*o + 24 = -11. Is 6 >= o?
False
Let h(q) = -q**2 + 7*q + 14. Let i be h(11). Let g be (-4)/i*9/6. Which is greater: 1 or g?
1
Let m = 3 - 3.2. Let b be 192/80 - (-6)/10. Do b and m have the same value?
False
Let y(c) = c**3 - 4*c**2 - 7*c + 10. Let k be y(5). Is -1/160 less than k?
True
Suppose 0 = 3*h - 2*a - 3, 2 = 3*h - 4*a - 1. Is h <= -2/65?
False
Let u = -42 - -60. Let c = -18 + u. Which is smaller: c or -16?
-16
Let d be 5/(-750)*(-8)/(-22). Let h = d + 302/825. Which is smaller: h or 1?
h
Let l be 2/(1 + -3) - -9. Suppose -l = -2*t, -4*t = -2*y - t - 16. Suppose 6 = -z + 5*g, 7*z + 9 = 2*z + 4*g. Is z at most as big as y?
False
Let r = -31 - -47. Which is smaller: r or 17?
r
Let a be 2/11 - 2/11. Let v be 0*(2 + (a - 1)). Suppose 5*j = 2*j - 3. Which is smaller: j or v?
j
Suppose 2*t - 10 = -0. Which is greater: 4 or t?
t
Let k be (-9)/(-2)*8/(-6). Are k and -9 unequal?
True
Let v(j) = j**3 + 5*j**2 - 4*j - 4. Let w be v(-4). Let y = 113/4 - w. Which is smaller: y or 1?
y
Suppose 3*x + 0*x = o + 1, -2*x - 1 = o. Let l = -3 - -1. Let h = -3 - l. Does o = h?
True
Suppose -2*a + 22 = -4*k, -4 + 14 = -2*k. Is -1/44 at least as big as a?
False
Let g(n) be the second derivative of -n**5/20 + n**4/3 - n**3/3 - n**2 + n. Let m be g(2). Let f be 3/(3/(-4)*m). Is f at most as big as -2?
True
Let k = -84 - -89. Which is greater: k or -2/13?
k
Let i be (1 - (-3 + 1))/(-1). Is -3 >= i?
True
Let a = 0.2 - 0.7. Let c(j) = -j**3 + 3*j**2 - 3*j. Let o be c(2). Let b be (o - 0)/(2/1). Which is smaller: b or a?
b
Let c be (-31)/(-2 - 5/(-2)). Let a be 1*(0 - (2 - c)). Let t = a - -321/5. Is t greater than -1?
True
Suppose 2*o + 2*c + 6 = 0, 5*o + 0 = -3*c - 7. Suppose -2*r + 46 = -4*b, b - 48 = 3*r - 6*r. Suppose -q + 4*a = r, o - 13 = -3*a. Is 2/9 at most as big as q?
False
Let b be 48/(-9)*6/(-4). Suppose -b = -4*o + 3*o + 2*k, 0 = -2*k - 4. Suppose 3*g - h - 3 = 0, -3*h + o*h + 2 = 2*g. Which is smaller: 2 or g?
g
Suppose -r + 8 = -2*h - 3*h, 2*h - 32 = -4*r. Suppose 7*c + 5 = 54. Are c and r non-equal?
True
Let a(x) = -4*x - 4. Let s be a(-1). Let o = -2 - -3. Is s greater than o?
False
Let v = 2.1 - 2.1. Which is smaller: v or -2/7?
-2/7
Let q = -21 + 20. Is 2 smaller than q?
False
Let l = 358 - 369. Let j(f) = -f - 6. Let x be j(5). Is l at most x?
True
Let l(c) = 9*c**2 + 1. Let z be l(1). Suppose 2*f + 3*t - 6 = 0, -z = -5*f - 2*t - 3*t. Which is smaller: 2/13 or f?
f
Let p be (20/(-15))/((-8)/(-84)). Which is greater: -12 or p?
-12
Let c = -26 - -20. Which is smaller: c or -8?
-8
Let t be -5 + (3 - 4) + 2. Which is smaller: -19/6 or t?
t
Let t = -4.8 - -26.8. Let q = t - 21.95. Is 1 at most q?
False
Suppose -3*j + 9 = -3. Suppose 0*r = j*r. Suppose r = -6*x + 2*x - 4. Is x at least 1/4?
False
Suppose 0 = -2*y - 0*y + 4. Let d(n) = n - 6. Let o be d(-6). Let h be o/(-10) - (-2)/(-10). Are h and y equal?
False
Suppose 27 = 3*s + 4*t, -5*t = s + 6 - 26. Are s and 5 non-equal?
False
Let p = 7.5 - -3.7. Let n = p - 12. Is n < 0.2?
True
Suppose w = -4*w. Let t be 1 + w/(2 - 3). Let h be 9*(-2)/14 + t. Is h <= -1?
False
Let t = 3 + -1. Let o be t/(-6)*(-6)/154. Let m = 73/308 + o. Which is greater: m or 0?
m
Let t = 339/1162 - 1/166. Is 0 at most t?
True
Let b = 26 - 51/2. Which is smaller: 10 or b?
b
Let t = 147/10 - 871/30. Let a = -14 - t. Suppose 3*v = -0*v. Which is smaller: v or a?
v
Let l(j) be the third derivative of j**6/120 + 7*j**5/60 - 7*j**4/24 + j**3 - 4*j**2. Let f be l(-8). Is f at most -3?
False
Let s be (-3 + 57/15)*-5. Suppose -4*m = -4*r - 36, 2*r + 2 = -5*m + 12. Which is bigger: s or r?
s
Let q(b) = -b + 8. Let l be q(9). Which is smaller: 3/19 or l?
l
Let d be (4/(-14))/(45/(-18)). Which is smaller: d or -1?
-1
Let s(g) = g + 4. Let w be s(-5). Which is smaller: -2/103 or w?
w
Let p be (-51)/17*44/6. Is p <= -20?
True
Let p = 105.1 - 111. Let j = p + 6. Which is smaller: -10 or j?
-10
Let t = -0.2 - -0.18. Let q = 0.22 + t. Is -0.2 >