1 = -3*a. Which is smaller: a or 1/11?
a
Let t = 2.02 + -0.02. Let l = -0.08 - 2.92. Let g = t + l. Is g <= -1/3?
True
Let b = -103 + 103. Let s = 4/105 - 149/1155. Which is bigger: s or b?
b
Let d be (-9 - 960/(-99)) + (-2)/6. Let r be 0 - 0/(-1)*-1. Is d at least as big as r?
True
Let v = 7.2 - 1.2. Let c = v - 5. Let a = 257/5 + -51. Are a and c nonequal?
True
Let u = -125 - -1372/11. Which is smaller: 1 or u?
u
Suppose -2*a + 16 = 2*a - 4*g, 2*a = -4*g + 14. Suppose x + a = o + 13, -3*x = o - 12. Suppose v + 12 = -2*v. Do v and o have the same value?
False
Let d be (0 - -2)/(-4)*0. Suppose 3*g = 5*g. Suppose g = -2*h + 8, 4*r + h + h - 4 = 0. Is r equal to d?
False
Suppose 0 = -l - 2*l - 27. Let v = l - -3. Does -6 = v?
True
Let l = 8 - 6. Let f = 2.02 - 0.02. Let u = f - 2.1. Which is bigger: l or u?
l
Suppose 4*q + 4*h = -0 + 4, -3 = -2*q - 3*h. Let j be 3/(3/8 + q). Let z = j - 5. Is 2/3 greater than or equal to z?
False
Let s = 0.17 + -1.97. Let b = s + -0.2. Which is smaller: b or -3?
-3
Suppose 2*f + 3*j - 18 = 12, -2*f + 5*j = -30. Let w = -9 - -24. Is w >= f?
True
Let u(d) = d - 2. Let t be u(2). Suppose -3 = -s - t*s. Suppose -2 = 2*c - 6. Is c < s?
True
Let l(r) = r**3 - 6*r**2 - 6*r - 3. Let n be l(7). Suppose n*i + 0*i = -4. Let q be (2/i - -2)/1. Is 0 < q?
False
Let h = 274 + -561/2. Let u = 22 + -29. Which is bigger: u or h?
h
Let r = -7 + 9. Suppose -5*u + r + 8 = 0. Is u greater than 0?
True
Let o be 82/188 - (42/(-12) - -4). Is 0.1 at least as big as o?
True
Let s = 4.9 - 3.9. Let l = 0.3 - 0.5. Let j = l + 0.1. Which is greater: j or s?
s
Suppose k = -8*k - 18. Let n = 5 + -9. Are k and n equal?
False
Let b = 0.1 + -0.12. Let m = 10.4 - 10.4. Which is greater: m or b?
m
Suppose -4*y + 0*y + 64 = 0. Let d = 16 - y. Is -4 greater than d?
False
Let d(x) = 6*x - 5. Let n be d(6). Suppose -3*w - 1 - n = -5*r, -20 = 5*w. Let o be (-8)/6*1/r. Is 0 equal to o?
False
Let h = 1/387 - 1163/774. Suppose 21 + 21 = 3*q. Suppose -5*m = 4*v + 13, -5 = m - 5*v - q. Are m and h non-equal?
True
Let r be ((-16)/(-40))/((-1)/(-10)). Suppose -2*w + 2 = r. Which is bigger: -2/23 or w?
-2/23
Let f be (6/224)/(6/(-4)). Which is greater: f or 1?
1
Let q = 154.53 - 162.5. Let o = -8 - q. Let t = -0.03 - o. Which is greater: 0.3 or t?
0.3
Let b = -1.6 + 1.8. Is -2/5 at most as big as b?
True
Let l = -4.1 - -4. Which is greater: 0.11 or l?
0.11
Let r(z) = -14*z - 1. Let u be r(-1). Is 13 greater than u?
False
Let h(g) = -g**2 - 2*g + 8. Let l(o) = o**2 - o - 1. Let z(c) = h(c) + 2*l(c). Let i be z(4). Is 6 less than i?
False
Let n = 20 - 138/7. Which is greater: n or -5?
n
Let v = 27 + -16. Let z = v - 11. Do z and 2/5 have the same value?
False
Let g be (525/(-56))/(3/2). Is g not equal to 0?
True
Suppose -5*z + 2*r = 78, -z + 2*r - 21 = 1. Is z <= -16?
False
Let m be (-49081)/(-18) - 4/18. Let x = m + -8252/3. Let c = x + 24. Which is greater: 0 or c?
0
Let n = 0.4 - 0.2. Which is greater: -2/3 or n?
n
Let b(c) = -2*c + 5. Let y be b(-6). Let j = y + -21. Is j <= 0?
True
Let w = -6 - -8. Let j be (9 - 1)*6/12. Suppose 5*r - 4 + 3 = j*z, -5*z = 4*r - 9. Is w at least z?
True
Suppose 0 = 3*q - 4*q + 3*k + 10, 4*q + 4*k + 8 = 0. Let o be (6/135)/(q/10). Does o = -1?
False
Suppose -6*c - 9*c - 45 = 0. Let o = 0.3 + -0.1. Is c at most o?
True
Let h = -0.52 - 0.18. Let m = h + 0.6. Is m >= -0.1?
True
Let c be ((-7)/14)/(3/(-48)). Which is smaller: c or 20/3?
20/3
Let w = -18 - -19. Let v = 0.4 - 0.2. Which is greater: v or w?
w
Suppose d + z = 7, -2*d - 4*z = -0*z - 18. Suppose -3*q - 23 = 4*v, -d*q + v = -0*v. Let g(t) = t**2 - 5*t - 3. Let l be g(5). Does l = q?
False
Suppose -2*b + 3*q - 15 = 0, 0 = 2*b - b + 5*q + 40. Let k = b - -16. Is k equal to 2?
False
Let c = -10 + 16. Suppose -5*v + 5*m = -v + 13, 2*v - 2*m + c = 0. Let s = -5 + 3. Is s != v?
False
Suppose -b = -2*b - 8. Let x = b - -7. Which is smaller: -3 or x?
-3
Let u = 611/3 + -202. Suppose -2*r - 3*y - 8 = 2*r, 5*r - 17 = 3*y. Is r bigger than u?
False
Suppose -4*z - 20 = -0, 0 = 2*x - z - 15. Is x >= 9?
False
Let j(f) = f**3 + 10*f**2 - 1. Let z be j(-10). Is 2/7 smaller than z?
False
Let b = -1 + 2. Let m be (5/(-20))/(b/4). Is -3/8 at most as big as m?
False
Let l = -0.03 + 0.33. Let i = -3.99 - 0.01. Which is smaller: l or i?
i
Let z = 10 + -9. Suppose -2*h - 5*g - 5 = 0, 4*g = -5*h + z - 5. Which is smaller: -2/31 or h?
-2/31
Let v = -88/15 + 17/3. Let n = -0.8 - -0.9. Which is bigger: v or n?
n
Let k be 10/2 - (6 - 7). Let n = k + -5. Which is greater: -2/11 or n?
n
Suppose -7*v + 14 = -0. Suppose -30 = -5*m + 7*n - v*n, -2*m - 4*n + 6 = 0. Is -2 equal to m?
False
Let l be (-12)/26*(-2)/6. Let k be 7/(273/(-46)) - -1. Let u = l - k. Is u at most 0?
False
Suppose m - 2 = 5*q, -2*q + 3*q + 4*m = 8. Does -3/8 = q?
False
Let y = -1.03 + 1. Let z = y - 0.07. Which is bigger: z or 2?
2
Let q = -1.4 - -1.34. Let s = q - -0.16. Which is smaller: s or 7?
s
Suppose -4*i + v = -1, 2*i = 5*i - 5*v - 22. Which is smaller: -2/5 or i?
i
Suppose -2*r + 4*r + 2*u - 10 = 0, r - 6 = -2*u. Is 6 < r?
False
Let k = 75 - 47. Suppose 0 = 6*u - 2*u + k. Which is greater: u or 0?
0
Let r = 8 + -8. Is r >= 4?
False
Let i(u) = u**2 + 7*u + 11. Let r be i(-6). Let n = r + -1. Is -0.1 at least n?
False
Let y be 192/18*6/4. Suppose -4*z - 4*w = -w + y, -21 = 5*z + 4*w. Suppose 0*r - 3*j - 9 = -5*r, r - 3*j = 9. Is r bigger than z?
True
Let x(b) = -2*b - 41. Let m be x(-19). Suppose -3*s - 38 = 4*o, 2*o + 40 = -4*s - s. Let h be 3/m + s/(-2). Is h at least 1?
True
Suppose -3*r + h = 37, 2*h = 3*r - 0*h + 41. Let c = -24 + r. Let d be (-6)/c + 10/25. Do d and 2 have the same value?
False
Let f be (8/(-42))/((-4)/6). Let i = -5991/7616 - -1/1088. Let t = f + i. Is t not equal to 0?
True
Let o(b) = b**2 + 3*b - 4. Let r be o(-3). Let i(k) = -k**2 - 7*k - 5. Let n be i(-7). Is n at least r?
False
Let d = 0.114 + -0.168. Is d != 0?
True
Suppose 4*g - w = -g + 177, 0 = 2*g - 3*w - 63. Which is smaller: g or 35?
35
Let y be (-54)/(-30) - 1/(-5). Suppose d = 5*q + 4*d + 10, y*d = -q + 5. Is q greater than -5?
False
Let b be (1 - 1)/(2/(-2)). Let u = b + 0. Is u less than -2/5?
False
Suppose 2*a + 2 = -4. Let h = -6 - a. Which is smaller: h or -5?
-5
Let h = -2/81 + 334/405. Is 2 < h?
False
Let o = 31 - 31.2. Is o < 14?
True
Let n be 2 - (7 + -3)/4. Suppose g - 2*g - n = 0. Is g smaller than 1/6?
True
Let s be 36/24 + 14/4. Let o(t) = 14*t**2 + 1. Let c be o(1). Let w be (c/(-9))/((-2)/6). Is w greater than s?
False
Let n = 9 + -10. Let p = 8 + n. Is 7 >= p?
True
Let z = -3 - -3. Is z not equal to -53?
True
Suppose 4*g - 5 = -13, 4*o = 3*g + 70. Suppose 5*d + 184 = -o. Let z be (-4)/20 - (-2)/d. Are z and 1 equal?
False
Let y be 198/308 + (-1)/2. Let u = -6 + 20. Let l be (-4)/(-10) + u/(-10). Which is smaller: y or l?
l
Let k be ((-42)/9 - -4)/(-1). Suppose 4 = c + 3*c. Let o be c/2 + (-2)/6. Do o and k have the same value?
False
Let x = -4 + 1. Let q = -1 - 3. Let h be (q + 2 - -7)*-1. Which is greater: h or x?
x
Suppose 3 = 45*h - 42*h. Is 0 at least as big as h?
False
Let z = 10 - 7. Suppose -3*x + z*p = -51, 2*x + 35 = 4*x - 3*p. Suppose 5 = -4*k - 0*k + 3*l, -k + x = 5*l. Is k >= 3/7?
True
Let b be 2/(-6)*(-18)/8. Suppose -3*m + 3 + 0 = 0. Which is greater: b or m?
m
Let l(m) = 7*m - 16. Let q(k) = 3*k - 8. Let h(i) = 4*l(i) - 9*q(i). Let c be h(-8). Suppose 7*y - 3*y + 4 = c. Is y less than 2/5?
True
Let q = -2 - -11. Suppose q = 5*c + 4. Is c greater than or equal to 1?
True
Let t(v) = v**3 + 7*v**2 + v + 5. Let o be t(-7). Let m = 1 + o. Which is greater: 4/13 or m?
4/13
Suppose 3*p + 25 = 4*p. Is p at least as big as 25?
True
Let z = -32 + 35.6. Let l = 4 - z. Which is smaller: l or 1?
l
Suppose 5*z = -0*z + 7*z. Let d = 0.3 - 0.2. Let h = -0.2 + d. Which is smaller: z or h?
h
Let t be (-4)/22 + 3378318282/(-177760). Let m = -304063/16 - t. Let p = m - -3/202. Is p at most 1?
False
Suppose 3*p - 6 = 0, a + 6*p - 53 = 2*p. Suppose -o - a = 2*o. Which is greater: o or 2/3?
2/3
Suppose 2*m + 7 + 3 = 0. Let d(h) = h + 4. Let u be d(0). Suppose 4 = -2*x - u. Does m = x?
False
Let b be 2/(-25)*(6 - 1). Let k = -0.122 + 0.022. Which is greater: b or k?
k
Suppose -2*c - 13 = 3. Let g be (18/c)/(6/(-24)). Which is g