-11 = -3*b - 2*l, 0*b + 5*b - 3*l = 12. Suppose -b*d - 3 = -0*d. Is v less than d?
False
Suppose -4*u + 2 = 2*m, -2*m + u + 18 = -3*u. Suppose 0 = -m*z + 3*g + 20, z + 5*g = 6*z - 30. Let t be z/(-5)*1 - 0. Is -1 at most as big as t?
True
Let c = 15 + -13. Let p = -12 + 14. Is c > p?
False
Let v be (-2)/10 - (-666)/30. Which is smaller: v or 41/2?
41/2
Suppose 120 - 7 = -u. Let c = 793/7 + u. Which is greater: -1/2 or c?
c
Let m(v) = -v**3 - 2*v**2 + 2*v + 1. Let i be m(-2). Let z be ((2 - 0) + -3)*26/26. Which is smaller: i or z?
i
Let k = -139/5 + 28. Suppose -4*s = 5*v - 15, 4*v = 5*s - 18 - 11. Which is bigger: k or v?
k
Let d = 2.28 + -2.2. Which is smaller: d or 0.1?
d
Let d(p) = -p**2 + 2*p + 1. Let t be d(3). Let c(a) = -a**2 - 2*a. Let u be c(t). Does -0.2 = u?
False
Let f(t) = t**2 + t - 8. Let c be f(-3). Which is smaller: 5 or c?
c
Let d be 4/(-10) - 14/(-10). Let y = -247/7 + 35. Which is bigger: d or y?
d
Suppose 28 = -3*f + 5*u, f + 3*f + 4*u - 16 = 0. Which is bigger: f or -2?
f
Let l = 15 - 12. Which is smaller: 16/5 or l?
l
Let n = -16 - -14. Which is bigger: -3 or n?
n
Let r = -2 + 3. Let q be (12/54)/((-30)/17). Let b = q - 2/27. Which is bigger: b or r?
r
Suppose 3*q - 9 = 24. Is 11 smaller than q?
False
Suppose -2*s + 2*u = -0*u + 2, 0 = -5*u + 15. Suppose 2*c = -s*c - 20. Which is smaller: c or -6?
-6
Let z = -0.3 + 0.1. Let x = 1.68 + -1.5. Let l = -0.02 - x. Is l < z?
False
Let f = 19 - 19. Suppose 2*v + v - 30 = f. Do v and 10 have the same value?
True
Let d(x) = -x**2 - 4*x - 3. Let s be d(-3). Let u(z) = -z**2 + 4*z + 3. Let t be u(4). Is t greater than s?
True
Let k be 1 - (36 + -4)/2. Let h = k - -24. Which is bigger: h or 7?
h
Let a(t) = -2*t**2 + 20*t - 7. Let w be a(10). Which is smaller: -2/13 or w?
w
Let i(q) = -2*q**2 - 21*q + 17. Let a be i(-11). Which is smaller: 4 or a?
4
Let n = 63 + -61. Which is bigger: 0.6 or n?
n
Let m = 8 - 3. Let h = m + 2. Is 0 at most h?
True
Suppose 5 = -5*r - 10. Is r equal to -3?
True
Suppose 2*b - 3 = h, 0*b + b + 3 = -h. Let k be ((-3)/6*b)/(-3). Which is greater: -2/7 or k?
k
Let h = -0.01 + 0.12. Let d = h - 0.03. Let y = d - -0.92. Does 0 = y?
False
Suppose 5*y - 261 = 3*o, -4*o - 190 = -2*y + 144. Is o at most -83?
False
Let d = -0.2 + 2.2. Let o = d - 1. Let r = -236 - -234. Which is smaller: r or o?
r
Let t = -1.8 + -3.2. Are t and -3/7 non-equal?
True
Suppose -2 = s, 5*s + 22 = m + 2*m. Suppose -8 = -m*n + 16. Is 7 smaller than n?
False
Let z = 20/260919 - -86970620/31049361. Let x = 46/17 - z. Suppose -5*w + 0 = 5, -v + w + 2 = 0. Which is smaller: v or x?
x
Let o = 149 + -158.1. Let y = 12 - 21. Let w = o - y. Is w bigger than -2?
True
Let x = -10.3 - -0.3. Is x at most as big as 0.1?
True
Let b be 11 + (1 - -2 - 6). Let i be ((-1)/(-2))/((-20)/b). Which is smaller: 1 or i?
i
Let c(h) = -h**2 - 8*h - 2. Let r(l) = 2*l. Let b be r(2). Let k = b - 11. Let p be c(k). Is 6 smaller than p?
False
Suppose 0 = a + 4*a. Let q be 2/4 - (-3)/30. Which is smaller: a or q?
a
Suppose -a = -5*i + 19 - 3, -4*a = -3*i + 13. Let u be 1/(a + 0 - -2). Let o be (-1 + 1)*(-1 + 2). Is u <= o?
False
Let y = -660/7 + 94. Is y at least 5?
False
Suppose -4*y + 3*v - 2*v + 23 = 0, 3*y - 21 = 2*v. Which is bigger: y or 6?
6
Let c(a) = -a - 1. Let k(l) = 5*l + 3. Let q(d) = 4*c(d) + k(d). Let y be q(7). Suppose -4*s + 2*x = y*x - 8, 3*s + 5*x - 10 = 0. Which is smaller: s or 1/4?
s
Let r(d) = d**2 + 2*d - 3. Suppose -6 = s - 0. Let p be r(s). Let k be (3/p)/(9/(-6)). Which is bigger: -1 or k?
k
Let w be 4/92*(-3 + 1). Is w at least -1?
True
Let d = 0.5 - 0.4. Let p = d - 0.2. Let c = -6.6 + 0.6. Which is smaller: c or p?
c
Let x(r) = -2*r - 16. Let u be x(0). Which is greater: -15 or u?
-15
Let m be -2 + -1 + -15 + 2. Let c be (0*4/m)/1. Which is bigger: -1 or c?
c
Let t(q) = -q**3 - 5*q**2 + 7*q + 8. Let w be t(-6). Suppose -5*p = -w*p. Let f = p + 2. Is 2/3 greater than f?
False
Suppose 2*n + 3 + 3 = -2*s, 5*s = n + 15. Let b be ((-6)/8)/(s/(-8)). Let i(l) = -l + 7. Let z be i(5). Is b at most as big as z?
False
Let n = 4.071 + 0.029. Let g = n + -4. Let j be ((-1)/3)/((-2)/(-9)). Is j equal to g?
False
Let n be (-3)/6 + 2/(-4). Is 12 less than or equal to n?
False
Let v be (-44)/16 - (-5 - -2). Let u = 0 + v. Let y be (2/(-4))/(18/(-8)). Which is smaller: u or y?
y
Let c = 8 - 10. Let r be c + 1 - 9/(-21). Is 0 equal to r?
False
Let n = 157576901/5 + -31369073. Let j = n + -146837. Let l = j + 528. Which is smaller: -3 or l?
-3
Let x = 3 + -4. Let t = -82 + 74. Is t equal to x?
False
Suppose -2*l - 12 = -d + 3*d, 0 = 5*d. Suppose 0 = -4*n - 1 - 19. Is l equal to n?
False
Let b = -4/5 + 1/2. Is -1 at most b?
True
Let m = -4.81 - -1.79. Let y = m + 0.02. Is y > -1?
False
Let o = 17/150 - -4/75. Let b = 14 + -14. Is b equal to o?
False
Suppose -5 = -2*x - 15. Suppose -5*p - 33 = -4*g, 0*p + 51 = 5*g - 3*p. Suppose -2*f = f + g. Which is smaller: x or f?
x
Suppose 3*r + 5*h - 2 = 6, 4*r + 5*h - 9 = 0. Let a(x) = -x + 5. Let f be a(7). Let u = f + 2. Is u >= r?
False
Suppose -2*w = -0*g + 3*g + 12, 4*g = -5*w - 44. Let b(c) = c**3 + 11*c**2 - 12*c - 1. Let v be b(w). Is -11/4 less than v?
True
Suppose -6 + 1 = -t. Is 3 equal to t?
False
Let b = 41 + -78. Let w be 4/14 - b/(-7). Which is smaller: -4 or w?
w
Let z = -657/5 - -131. Is -6 >= z?
False
Let x = -0.192 - -8.292. Let d = x - 8. Which is bigger: -1 or d?
d
Suppose 0*a = -a - w - 12, -2*w + 81 = -5*a. Let g be a/(-9) - (-2)/6. Let x be g/(-8) + (-26)/(-40). Is -0.5 smaller than x?
True
Let r be (-99)/44*32/6. Is r less than -11?
True
Suppose -16 = -4*z + 2*d - 4*d, 0 = 5*z - d - 13. Suppose -5*g = -z*g. Is g < 0?
False
Let q = 0.1 - -11.9. Let x = q + -13. Let b = -0.1 - -1.1. Is x equal to b?
False
Let q(c) = -c**3 + 14*c**2 + 18*c + 24. Let h be q(15). Is h at least 69?
True
Let x(z) = -z**3 + 4*z**2 - 2*z. Let y be x(4). Is -11 equal to y?
False
Suppose -4*w - 16 + 40 = 0. Let u be (5/30)/(2/w). Which is bigger: -1 or u?
u
Let f(o) = o + 2. Let n be f(-5). Let x be 1*(-6 + 5 + -3). Is x smaller than n?
True
Let p = 0 - 7. Which is greater: p or 2?
2
Let c(p) = -2*p**3 + 2*p**2 - 3*p + 1. Let i be c(2). Let b = i - -13. Does 0 = b?
True
Suppose -2*u - 3*f - 4 = -3, 0 = 4*u - 5*f - 31. Let v(y) = -8*y**2 + 7*y - 5. Let l be v(u). Let q be 2/(-3) - 100/l. Which is smaller: 1/3 or q?
q
Let q = -0.08 + -2.92. Let g = -0.03 + 2.03. Let o = g - 3. Which is smaller: o or q?
q
Let x = -0.29 - 2.91. Let z = x + 3. Let s = -0.3 - z. Which is smaller: 0 or s?
s
Let f = -28/13 + 29/13. Is f bigger than 0?
True
Let x = -146 + 146.2. Does 4/7 = x?
False
Let s(g) = g - 11. Let b be s(5). Let p(c) = -c**3 - 3*c**2 + 11*c + 7. Let i be p(-5). Let q be (b/15)/(2/i). Which is bigger: 1 or q?
1
Let n = 72 + -58. Which is greater: -2 or n?
n
Let z be (0 - 1)/(1/5). Let a = -2 - z. Let u = 4 - a. Is -1/3 smaller than u?
True
Let o(n) = 4*n - 1. Let y be o(-1). Let i = y + 4. Which is bigger: i or -1/9?
-1/9
Let q be (2/10)/(6/5). Suppose 3*j = 8*j - 5. Is q smaller than j?
True
Suppose -2*t = 4*t + 6. Let f = 3472/23 - 151. Which is smaller: t or f?
t
Let a be (72/16*4/(-6))/2. Let s be (2 + (-2)/2)*-3. Which is smaller: a or s?
s
Suppose n = 6*n - 25. Suppose 0 = -0*y + n*y - 20. Which is greater: 6 or y?
6
Suppose 2*j = -u - 2*j - 16, -2*u = 2*j + 2. Let b(f) = f**2 + 7*f + 2. Let t = 7 + -14. Let m be b(t). Which is greater: m or u?
u
Let q = 1.6 + 0.4. Let l(c) = 2*c - 9. Let d be l(-9). Let z be (-2 - 0) + (-51)/d. Which is greater: q or z?
q
Let n be 6/4*10/3. Suppose -4*z + n = -7. Is 1 at least as big as z?
False
Let k = 20 - 4. Are k and 17 nonequal?
True
Let l(v) = -8*v + 24. Let i be l(7). Is -32 <= i?
True
Let c = 0 - 0. Which is smaller: 3/14 or c?
c
Suppose 1 = 2*n - 13. Let j be (-27)/(-15)*20/6. Which is greater: j or n?
n
Let x be -1*(7 + (-4 - -2)). Suppose 19 = -4*g - 9. Let y = x - g. Is y less than 4?
True
Let n(b) = 3*b**3 + 4 - 8*b**2 - 2*b**3 + 13*b**2. Let g be n(-3). Let z be g/18 + 6/(-27). Which is smaller: z or 2/9?
2/9
Let x = -9/2 - -4. Is x at least as big as -4?
True
Suppose 3*v = -o - 2*o - 12, -3*o + 3*v + 12 = 0. Suppose o = -5*f - 4 + 24. Suppose f*b + 0 - 4 = 0. Is 6 at least as big as b?
True
Let o = 1/3 - 2/3. Let j(