be l(-7). Let d = g + u. Is 3 smaller than d?
False
Let s be 1/2 + (-7633)/306. Let r = s - -2384/99. Which is greater: r or 0?
0
Let b = -10 + 139/14. Let x = b + -2/21. Is x bigger than 1?
False
Let h = 184/855 - -2/285. Let w = -60.4 - -69.4. Which is greater: h or w?
w
Suppose 0 = -5*v - 2*g + 50 + 32, -5*g - 75 = -5*v. Let u = -31 + v. Let p be ((-4)/u)/(2/(-5)). Which is smaller: 0 or p?
p
Let f be (-46)/130 + (-2)/(-10). Which is smaller: 0 or f?
f
Let k = -1099 - -9881/9. Do k and -2 have the same value?
False
Let q(g) = g**3 - 4*g**2 - 7*g + 6. Let y be q(5). Let w = 153/2 - 80. Which is smaller: w or y?
y
Let z = -9 - -29. Does z = 20?
True
Let u(y) = y**2 - 2*y - 3. Suppose 0*d + 2*d = 6. Let b be u(d). Let r be (b/(-1))/(1/1). Which is bigger: 4/7 or r?
4/7
Let f = 7 - 7. Which is bigger: 0.7 or f?
0.7
Suppose 2*l = -2*l + 20. Is 32/7 at least as big as l?
False
Let d = -89 + 122. Do d and 1 have different values?
True
Let n = 3 + -2. Suppose -b + 35 = 4*b. Suppose 4*u = 4*t - 12, b*t + n = 2*t + u. Is 1/6 >= t?
True
Let k(o) = -o**2 - 4*o - 9. Let r be k(-5). Suppose 4*t = 2*t + 22. Let p = r + t. Is 0 at most as big as p?
False
Let b = -3/55 - -173/1155. Let u = 16/21 - b. Is u less than 0.7?
True
Let r(q) = q**2 + q + 5. Let i be r(0). Suppose -4*w + 16 = -4*l, 4*l = 3*w - i - 7. Is l < -2/11?
False
Let p = 4 - 3. Is p at least as big as 3?
False
Let j = -16.8 - 2.2. Let p = -13 - j. Is -1 at most as big as p?
True
Let m = 14 - 14. Is 2/123 greater than m?
True
Let o be 3*8/6*-1 - -3. Is 1/3 smaller than o?
False
Suppose 2 = -m - m. Let i be (-1)/2*(-2)/1. Let s = -3 + i. Is s <= m?
True
Let y = 2 - 2. Is y smaller than -4/15?
False
Let f = -2.2 - -4. Which is smaller: f or 0.1?
0.1
Let f = -446 + 2237/5. Are 0 and f equal?
False
Let g = -17 - -15. Let k = -4 + g. Is k at least 0?
False
Let w be -2*(-4)/(-128)*30. Is 0.1 > w?
True
Let d(k) = 4*k**2 - 12*k - 1. Let f be d(3). Is -1/8 greater than or equal to f?
True
Let k = -7 + 11. Which is smaller: 1 or k?
1
Suppose -5*b + i + 245 = 0, 4*b - i - 3*i - 196 = 0. Which is bigger: 50 or b?
50
Suppose -3*p - 6 = 4*r, -3*r - 6 = -2*r + 3*p. Suppose 3 = -3*b - 3*s, 0*b = 2*b + s. Let f = b + -11/13. Which is smaller: f or r?
r
Let g be -1 + 2 + 1 + -2. Let m be ((-8)/696)/(2/6). Which is smaller: g or m?
m
Let n be 32/(-6) - 4/6. Let m(k) = k**2 + 7*k + 1. Let g be m(n). Suppose -51*o = -47*o + 16. Do g and o have different values?
True
Suppose j = -0 + 2. Suppose 0 = -0*q - 2*q + 8. Let m = -1 + q. Is m equal to j?
False
Let h be ((-4)/10)/((-3)/15). Suppose 3*x + 4*p = -2, 7 = 2*x + 3*p - h*p. Is 6 <= x?
True
Suppose 0*u = u - 4. Suppose -u*j = -2*j. Suppose -4*s = -4*k - 20, 3*s + 9 - 21 = 0. Which is smaller: j or k?
k
Let s be ((-8)/10)/((-9)/(-45)). Let d = -20 - -9. Let g = d + 8. Which is smaller: s or g?
s
Let u be (3 + -3)/2 + 0. Let v be 5/(0 - (-1 + u)). Is v bigger than 16/3?
False
Suppose 0 = -4*g + 5 + 123. Which is greater: 30 or g?
g
Let x(g) = -g**2 + 5*g - 6. Let v be x(6). Let t be 10/v*(-6)/15. Which is smaller: t or 4?
t
Suppose -4*o + 2*x = -o + 437, 2*x = o + 147. Which is greater: o or -146?
o
Let h be 46/3 + (-8)/24. Suppose 2*j - 5*n - h = j, -2*n = -4*j + 24. Which is greater: 4 or j?
j
Suppose 0*q = -q + 3*k + 3, -5*q + 2*k + 28 = 0. Let n be -1 - (q/(-10) - 0). Let t = -13/20 - n. Is 1 at most as big as t?
False
Let c = -2 - -7.08. Let i = c - 0.08. Is i > -1?
True
Let a = 1.8 - 1.9. Is a not equal to -16?
True
Let d = -3 - -5. Suppose 0 = -d*o - 3*o. Let h = 137/184 - -1/184. Is o < h?
True
Let b = 0.31 - 0.01. Let m = b - 0.4. Let n be (4*(-7)/42)/(1/3). Which is smaller: n or m?
n
Suppose -3*c = -40 - 35. Suppose 7*y - c = 2*y. Are y and 7 nonequal?
True
Suppose -3*v - 1 = 2*v - 2*z, -2*z = -4*v. Is v smaller than -4/37?
True
Suppose 47*b - 2 = 45*b. Let p = -4271/133 - -227/7. Are p and b equal?
False
Let a(x) = 2*x - 5. Let q be a(6). Suppose -4*f - q = 1. Let d = 0 + -1. Is d less than f?
False
Let j = -26 + 28. Which is smaller: -1.4 or j?
-1.4
Suppose -i + 0 + 2 = 0. Suppose 0*r = -i*r. Which is bigger: 2/7 or r?
2/7
Let x be (-2 + (-3)/(-3))*-8. Is 8 greater than x?
False
Let y(g) be the second derivative of g**3/3 - 7*g**2 + 3*g. Let i be y(10). Let h be 6/(-8)*(-16)/i. Is -0.2 at least as big as h?
False
Let o = -11 + 5. Let a = -9 - o. Let v = a + 3. Is v <= 1/4?
True
Suppose q = 4*t - 3, t = -0*t + 3*q - 2. Which is bigger: t or 3/70?
t
Let g be 31 - 13 - (-3)/(-1). Let q = g - 14. Is -1/9 bigger than q?
False
Let d = -69 - -63. Which is smaller: -5 or d?
d
Let w = -1073/945 - 1/135. Is 0 less than w?
False
Let z be (-2)/(-1)*(0 - 3). Suppose -b + t = -8, -b + 3*t + 0*t + 18 = 0. Let h = -2 - b. Which is greater: z or h?
h
Let p be -3 - (1 - (-165)/(-39)). Do 0 and p have the same value?
False
Suppose 2*r - 6 = -0*r. Suppose -3*b - 4 + 22 = r*l, -4*l - 3*b + 19 = 0. Is l > 1/6?
True
Let x = 6.1 - 6. Let v = 0.8 + -0.7. Is v < x?
False
Let t = 60 - 59.6. Which is smaller: t or -13?
-13
Let g be -22 + 0 + 2/1. Let j be g/(-8)*(-3)/20. Suppose 0 = 5*x - 0*s + 2*s - 5, 0 = 3*s - 15. Is j bigger than x?
True
Let b be 4/6 - (-28)/12. Let j be 9/(-18) - b/(-14). Is 0 less than j?
False
Suppose -5 = -w - 0*w. Suppose 0 = w*r - 0 + 5. Which is smaller: r or 2/3?
r
Let v(h) = -2*h + 12. Let u be v(4). Which is greater: 5 or u?
5
Let w(u) = -u**2 - 3*u + 3. Let p be w(-4). Let f be ((p + 1)/(-3))/2. Suppose f = -r + 5*r. Which is greater: r or -1?
r
Suppose 0 = -p - 2*p + 45. Let w = p - 11. Which is bigger: 3 or w?
w
Let z(p) = p**2 + 25*p - 1. Let m be z(-25). Is -3/2 at least m?
False
Let h(j) = -j + 5. Let m be h(4). Is -0.2 <= m?
True
Let i(u) = -u**3 + 12*u**2 - u - 4. Let m be i(12). Let t = -23 - m. Is -7 > t?
False
Let x be (-1)/(-3) + 2 + (-9)/3. Which is smaller: x or 0.07?
x
Let p = -0.005 + 2.105. Let j = 1.1 - p. Which is smaller: j or -0.1?
j
Let z = -0.1 + 0.1. Is z greater than -2/21?
True
Suppose v = -4*x - 0*x + 9, 5*x + 5*v - 15 = 0. Which is bigger: 9/5 or x?
x
Suppose -s + a = 4*a + 1, -2*s - 3*a = -13. Suppose 4*o - 2*y = -y + s, 2*y + 16 = 4*o. Let i(w) = -w**2 + 3*w - 1. Let d be i(o). Which is smaller: d or -2?
-2
Let f = 0 - -1. Let o = 0.23 - 1.63. Let w = 1.4 + o. Is f less than or equal to w?
False
Let t = -2 + 2. Let m = -4 - t. Let r be (4 - 4) + (-4)/(-14). Which is smaller: r or m?
m
Suppose -x = -5*x + 4. Let l = 166/11 - 160/11. Which is smaller: x or l?
l
Suppose 2*h - 5*h + 3 = 0. Is -11/5 less than or equal to h?
True
Let q be 0/16 + (-4)/(-18). Is 2/9 > q?
False
Let j = -3 + 5. Let s = 0 - j. Let u be 1*s + 1 - -1. Which is greater: u or -2/5?
u
Suppose 11 = -u + 12. Which is smaller: u or 3?
u
Suppose 0*s = -5*s. Let j = -1796/7 - -257. Let i = j - 1/7. Which is greater: i or s?
i
Let w = 1 + -1. Suppose -r = -8 + 6. Suppose g - 2*h = -w*g + 2, 4*h = g + r. Are 5 and g equal?
False
Let s(m) = -m**2 + 15*m - 44. Let x be s(11). Which is bigger: 4/15 or x?
4/15
Let a = 50 - 249/5. Let z be (15/(-9) + 2)*9. Suppose r + z*r = 4. Which is smaller: r or a?
a
Let i = 0.05 - 0.05. Let p = 0.3 - 0.4. Is p at least as big as i?
False
Suppose 5 - 4 = -c. Let u be 3 - -1 - 2*c. Let f = -7 + 13. Does f = u?
True
Let n = -0.05 + 8.05. Let r = 0 + 8. Let x = n - r. Is 2 > x?
True
Let t be 299/(-11) + 8/44. Which is smaller: t or 1/2?
t
Let p = -86 + 173/2. Which is greater: p or 0?
p
Let i = -43/52 + 14/13. Which is smaller: i or 1?
i
Suppose -4*k = -4*b + 12, -3*b = 3*k + 5 + 4. Suppose 0 = 2*c - 3*c - 2*o - 3, -5*c + 3*o - 15 = b. Let v = c + 4. Which is smaller: -3/5 or v?
-3/5
Let i(c) = 5*c**2 + 3*c + 1. Let n be i(-2). Let b = -4 + n. Suppose 5*o + 25 = -0*o, -4*p = o - b. Is 4 not equal to p?
False
Let l = -91 + 453/5. Which is smaller: l or 2?
l
Let u be 323/(-285) - (6/(-10))/(-3). Which is smaller: -2/7 or u?
u
Let y be 2/(-14)*42473897/19. Let b = y - -319355. Let z = 16/7 - b. Which is greater: z or -1?
z
Let w = -25 + 18. Let u(f) = -6*f + 3 + 2 + 4*f**3 - 3*f**3 + 6*f**2. Let j be u(w). Is j at most -1?
True
Let n = -81 - -60. Which is greater: n or 1?
1
Let k be (2 + -3)/((-502)/(-4)). Which is bigger: k or 0?
0
Let p = 16 - -10. Which is greater: p or 24?
p
Let s = -0.22 + 0.1. Which is smaller: s or -2/7?
