+ -5.29. Let b = -20 + 19.3. Let l = y + b. Is -1 less than or equal to l?
False
Let n be (6/4)/((-6)/(-8)). Let i(o) = -n + o - 3*o + 3 + o. Let j be i(0). Which is smaller: j or 2/5?
2/5
Let b = 0 + -2/3. Let f = -18 - -7. Let h = -10.9 - f. Which is smaller: h or b?
b
Let g be 12/(-11) + 30/165. Which is greater: g or -2?
g
Suppose -2 = -2*g + 22. Do g and 13 have the same value?
False
Suppose 5*h + 3*c + 13 = -8, -3*c = -2*h. Let z be h/(-2 + (-20)/8). Which is smaller: z or -3?
-3
Let h be (-33)/12 - 3/(-4). Is -4 > h?
False
Suppose 5*a = -2*z - 34, 5*z - 4*a + 28 = 2*z. Let t = z - -11. Do 1/25 and t have different values?
True
Suppose a - 2*z - 20 = -7, 5*a = -5*z - 10. Is 19/5 at most a?
False
Let y(g) = -g**3 + 8*g**2 - 7*g + 4. Suppose 0 = c - 5 - 2. Let u be y(c). Suppose -u - 2 = v. Is -6 < v?
False
Let b(i) = -i - 6. Let m be b(-8). Let u be ((3 - 3)/(-2))/m. Which is smaller: u or 3/5?
u
Let o = 58/7 + -8/7. Let t = 207/28 - o. Let i be (2 + -1)*0/2. Are i and t equal?
False
Let t(f) = f**3 + 4*f**2 - 15*f - 10. Let m be t(-6). Which is bigger: m or 6?
m
Suppose -3*f + 4*h + 1 = 0, -4*f + f - 2*h - 5 = 0. Which is smaller: -5 or f?
-5
Let m be (3 - -23)/(4/2). Let v be (10 - m) + 2*1. Which is smaller: 2/9 or v?
v
Let j = 7.3 - 5.2. Let x = j - 2.2. Which is bigger: x or 0?
0
Suppose -z - 5*m = -3*z - 2, 0 = -4*z - 3*m - 4. Suppose 5*u + 23 = -y, -u - 9 = 2*u. Which is greater: y or z?
z
Let q = -6 + 6.2. Which is greater: -2 or q?
q
Let n be (4/(-12))/((-2)/(-6)). Let c = 3 + n. Let b be (-4)/(-12)*(0 - c). Is b less than 1?
True
Let n = -1 + -1. Is -0.4 less than n?
False
Let h be (-4)/10 - 26/(-40). Let w = 953/1978 - 31/43. Let c = w - 1/92. Is h at least c?
True
Let b(k) = -3*k**2 + 8 + 0*k**2 + 2*k**2 - 6*k. Let s = -10 + 3. Let c be b(s). Is 4/7 greater than or equal to c?
False
Suppose 9*a - 2*a = -98. Is -14 >= a?
True
Let n = 9 + -5. Suppose -n*v + 13 = 1. Let o be 4/28*(v - 1). Is 1 greater than o?
True
Let h = 63.2 - 62. Do -2/5 and h have the same value?
False
Suppose -2*o = -2*f + 6, 0 + 3 = -f + 4*o. Suppose -5*w + 5 = -5*y, f*y = 3*w - 10 - 5. Is y bigger than -5?
False
Suppose -4*g + 4 + 4 = 0. Suppose 7 = -u - 4*k - 12, 4*u = g*k - 4. Let d = 4 + u. Which is smaller: 2 or d?
d
Let k = 7.6 - 7. Let n = k + -0.4. Let j = 1.2 + -0.2. Which is greater: j or n?
j
Let k = 12 - 12.3. Let p = -0.7 + k. Let f = -2 - -3. Is p greater than or equal to f?
False
Let z = -1 - 0. Let n = -1391/12 - -116. Is n > z?
True
Let r(d) = d - 2. Let x be r(2). Suppose x = 2*g - 0 + 2. Which is smaller: -1/9 or g?
g
Suppose t + 2*j - 70 = 3*j, -344 = -5*t - j. Is t > 70?
False
Suppose x = 3*y + 12, 3*y - y + 5*x = -8. Let r = -807 - -1609/2. Which is bigger: r or y?
r
Suppose -b = -0 - 1. Let g(h) = -h. Let o be g(b). Let i(v) = -2*v**2 - v. Let w be i(o). Is 2/5 less than w?
False
Suppose -4*i + 66 = 2*n, -2*i - 3*n + 36 = -5*n. Let u be i/((-1)/(3 + -2)). Let w = u + 87/5. Which is greater: w or -1?
w
Suppose 3*p - 16 = -n - p, 16 = 5*n + 4*p. Suppose n + 2 = -k. Suppose -9 = -4*b - 21. Which is bigger: b or k?
k
Let w be (1 - 1)/(-3 + 1). Suppose w = 3*u + 3 + 3. Is u greater than or equal to -5/8?
False
Let v be (-2)/4*(-9 + 11). Is -3/13 not equal to v?
True
Suppose 0 = 4*q - 85 - 139. Which is smaller: 1 or q?
1
Let p = -2 - -1. Let s(q) = q - 1. Let z be s(p). Let k be z/3*(-9)/2. Is 2 at most as big as k?
True
Suppose -x = -3*x. Let f be (8/(-1390))/(-1)*-108. Let g = f - -3/139. Is x at most as big as g?
False
Let h(p) = p**3 + 6*p**2 - 8*p - 7. Suppose 3*c - 4*q + 9*q + 1 = 0, -4*q = -16. Let u be h(c). Which is bigger: u or -2/15?
u
Let x = 1.39 + 0.61. Is x bigger than 0.08?
True
Let g = 880373/7790 + -244/779. Let k = g - 113. Are k and 0 unequal?
True
Let n(o) = -o**3 - 3*o**2 - 2*o - 3. Let c be n(-3). Let q = 1 - c. Let h be 4/(-10) - 3/5. Which is bigger: h or q?
h
Suppose 2 = 3*y + o, 1 = -5*y + 2*o - 3. Suppose 5*g - 3 - 22 = y. Suppose 0*r + 5 = g*r. Which is smaller: -4 or r?
-4
Suppose -5*a - 6 = 159. Do a and -32 have the same value?
False
Let i = -239 + 43. Let o be (-273)/i + 1/(-4). Which is greater: o or 2?
2
Let z be 14/4 + (-1)/2. Let b be (24 - (-3)/(-3))*z. Let d be -2 - (2 - 282/b). Which is bigger: d or -1?
d
Suppose 2*c = -2*p + 10, p - c + 0 + 1 = 0. Which is greater: p or -6?
p
Let m = -30 + 21. Let b = m + 13. Is 3 smaller than b?
True
Let d be (((-9)/(-12))/(-1))/((-27)/(-392)). Is d bigger than -10?
False
Let i = -7 + 16. Let u = 2 + -1. Let w be (-6)/i - (u - 1). Is -2/3 equal to w?
True
Let u = 17 + -10. Let z(m) = m**2 + m + 4. Let w be z(u). Let c be w/(-4)*1/(-3). Is c >= 6?
False
Suppose 4*p + 2*v = 48, -5*v - 30 - 4 = -4*p. Is p greater than or equal to 13?
False
Let z(p) = -2*p + 2*p - 5 - 3*p**2. Let s be z(4). Let n = 741/14 + s. Which is smaller: -1 or n?
-1
Let f be (-512)/52 + 2/(-13). Let b = 11 + f. Is -0.5 equal to b?
False
Let i be (-2 + 1)*(-1)/(-58). Let w = -14/29 + i. Is w >= -1?
True
Let l = -11.1 + 11. Is -3/7 <= l?
True
Let b(k) = -k + 5. Let d be b(0). Let j be 6/10*d/23. Which is smaller: j or 1?
j
Suppose 3*v + x + 3*x = -8, 0 = -v - 3*x - 11. Suppose v*j - 5 + 1 = 0. Is 0 >= j?
False
Let b be (-2 + (-6)/(-2))*3. Suppose -2 = -z - b. Which is greater: 2/15 or z?
2/15
Let j = -25 - -53. Let o = j + -83/3. Which is bigger: 0 or o?
o
Let p(c) = c - 14. Let w be (-11 - 0)/(-4 - -3). Let b be p(w). Let y = -1 + 3. Which is smaller: y or b?
b
Let w = 543/1147 + -13/31. Is w greater than 1?
False
Suppose 3*g + 33 = -5*d, -g + d - 21 = 6*d. Suppose -4*t - 26 = 2*a, 3*a - 3*t + 11 = -2*t. Which is bigger: a or g?
a
Let n = 2 + -1. Is n greater than -2/99?
True
Let y = -33 + 30. Which is smaller: 3 or y?
y
Let k be ((-4)/12)/((-2)/18). Let s(o) = -2*o + 5. Let j be s(k). Which is smaller: -3/4 or j?
j
Let n be ((-5)/100)/(2/12). Let g = -1/10 - n. Which is smaller: 1 or g?
g
Let h = 2465 - 5143/2. Let l = 2383/22 + h. Let k = l + -113/44. Is -2 less than k?
True
Let l(f) = -f**2 + 10. Let c = -11 + 11. Let q be l(c). Are q and 9 unequal?
True
Let j be (2 + 0 + -2)/(-2). Suppose 3*v + 9 + 3 = j. Is v at least -4?
True
Let p be 2/(-6) + (-68)/(-6). Let n = -7 + p. Suppose -n*s + 13 - 33 = 0. Is -6 at most s?
True
Let g(o) = o + 9. Let h = 3 + -9. Let b be g(h). Is b less than 1?
False
Let f = 0.4 - 0.4. Suppose 2*h = 6 + 2. Is f at least h?
False
Let i(k) = -k**3 + 11*k**2 - 2*k - 79. Let d be i(10). Let p(x) = -5*x. Let b be p(-1). Which is greater: b or d?
b
Let n(b) = -b**3 - 6*b**2 - 5*b - 9. Let g be n(-6). Suppose 3*j = -2*l - 0*j - g, 45 = -5*l - 5*j. Let s = l + 6. Which is smaller: s or -1/2?
-1/2
Let u = 27 + -19. Let x = u + -13. Let q(i) = -i**3 - 5*i**2. Let v be q(x). Which is smaller: 1 or v?
v
Let r = 0 + 0. Let c be r/(-1 - (1 - 0)). Let k be (c/(-2))/((-2)/2). Are 2 and k equal?
False
Let c(m) = m**2 - 9*m + 6. Let l be c(6). Are l and -13 unequal?
True
Let p be (0 + 1 + -3)*1. Let t be (-1)/p + 9/(-6). Which is smaller: 0.1 or t?
t
Let i(w) = w**2 - 8*w - 11. Let c be i(10). Let r(z) = z - 8. Let d be r(c). Is d != 0.2?
True
Suppose 0 = -l + 5 - 4. Suppose 5*r = -0*r + 10, 0 = -3*y - r + 77. Suppose 2*j + y = -3*j. Which is smaller: j or l?
j
Let g be 0/2 + 1 + 8. Let r = -6 + g. Is r not equal to 1?
True
Suppose 5*d = 2*x + 184, -20 = d + 4*d. Let j = -411/4 - x. Is j less than or equal to 2/5?
True
Suppose 0*p + 4*p + 68 = 0. Let n be (-3)/(-3 - (3 + p)). Does n = 1?
False
Let v(z) = z**2 - 10*z + 5. Let m be v(9). Suppose 2*y + 2 + 0 = 0. Let f be y + (-2 - (0 + 0)). Which is smaller: m or f?
m
Suppose -5*f + 25 = -0. Let c = f + -1. Suppose -3*k = -4*g - 32, k + c*g + 40 = 6*k. Which is smaller: k or 5/2?
5/2
Let g = -23.13 - -23. Let k = g - -0.03. Which is smaller: 2/5 or k?
k
Suppose 491 = k - 5*v - 64, 2*k - v = 1101. Let m = -3844/7 + k. Does m = 2?
False
Suppose 8*b - 386 = -5*q + 5*b, -b = -2. Is q at least 76?
True
Suppose -116 = -4*i - 16. Suppose 0 = -x + 6*x - i. Let b(v) = v**2 - 4*v - 8. Let n be b(6). Which is smaller: n or x?
n
Let t = -13/8 - -97/40. Suppose 0*f + 8 = 4*f. Is t smaller than f?
True
Let b = 5919/70 - 127/10. Let l = b + -71. Which is bigger: l or 0?
l
Let l be ((-2)/(-20))/(4/15). Suppose 3 = -t + 5*k + 7, -3*t - k = -28. Su