(-6)). Which is smaller: l or s?
l
Let j be (0 + 0)*(3 + -4). Let b be (4 - 6) + j/1. Is b smaller than -5/6?
True
Let t be ((-1)/38)/(13/(-52)). Which is greater: -1 or t?
t
Let w = 27/4 + -413/60. Which is greater: -1 or w?
w
Let c(d) = d**2 - d. Let o(t) = t**2 - 5*t + 2. Let h(k) = 2*c(k) - o(k). Let l be h(2). Suppose 0 = -4*s - l. Are s and -1 non-equal?
True
Let w(n) = -2*n + 12. Let v be w(7). Does v = -4?
False
Let s be (2/2 + -3)/((-1192)/(-8)). Which is greater: s or 1?
1
Let f be (-30)/50 + 2 + (-51)/15. Which is bigger: -6 or f?
f
Let j = 19/2 + -91/10. Which is smaller: 0.2 or j?
0.2
Let b be 0 + -2 + (1 - -1). Suppose 49 + 24 = -5*p + 2*v, -3*p - 3*v = 48. Let f be 24/p - (0 - 1). Is f bigger than b?
False
Let t(h) = -h**3 - 6*h**2 - 5*h. Let c(g) = -g**2 - 5. Let i be c(0). Let j be t(i). Is 1 at most as big as j?
False
Suppose -7 = 4*b - 3*d, -17 = b - 2*b - 3*d. Let p = b - 3. Is p <= -3/2?
False
Let j(f) = f**3 - 8*f**2 - f + 11. Let l be j(8). Suppose a + 0 = l*w - 2, -4*a - 17 = -3*w. Which is smaller: w or -3?
-3
Let z = 44 - 43. Let r be 1 + 17/(-15) + 0. Which is smaller: z or r?
r
Let u(o) = o**3 - o**2 + o - 1. Let r be u(0). Let g be (3 - 1)/8*r. Is -0.2 < g?
False
Let f(v) = 2*v**2 - 20*v + 37. Let p be f(7). Which is bigger: p or -12?
p
Suppose -x + 2 - 6 = 0. Let t = x + 4. Let j be t + 0/(-1 - 2). Which is greater: -2/17 or j?
j
Suppose 0 = 10*w - 2*w + 56. Is w greater than -32/5?
False
Let v(d) = -4*d + 33. Let k be v(8). Which is smaller: 2 or k?
k
Let r = 9 - 37/4. Is r at most as big as -0.5?
False
Let a = -5 + 95. Is a less than 90?
False
Let k be -1*2/4*-6. Let l be (0/2)/k - 2. Let x be l/6 - (-8)/(-12). Which is smaller: x or 2/5?
x
Let o(y) = 4*y + 5. Let x be o(-3). Let n(i) = i + 7. Let t be n(x). Let w = -0.04 - -2.04. Which is bigger: t or w?
w
Let o be (2 - 5) + 1 - 2. Let u be (-12)/o + -1 + 3. Let w be (-2)/(3 - u - -8). Is -6 at most as big as w?
True
Let h(g) = g - 1. Let s be h(2). Which is bigger: 2/233 or s?
s
Let x be (9/(-6))/1*12/10. Is -2 at most x?
True
Let z = 43/8 - 279/40. Which is bigger: z or -0.2?
-0.2
Let z = -2/1323 + -3778/1323. Is -2 smaller than z?
False
Let c = -10.93 - -11. Let u = 0.04 - c. Let p = 1.97 - u. Do p and 1/4 have different values?
True
Suppose 5*x = -h - 0*h, 0 = -2*x. Suppose 104 = -3*b + 2*b - 3*v, -5*b - 615 = -4*v. Let w be b/(-140) + 2/(-8). Are h and w equal?
False
Suppose 5*c - 136 - 4 = 0. Suppose -c = -4*l - 4*a, 39 = 4*l + 5*a + 6. Which is bigger: l or 0?
l
Let q = -0.72 - -0.52. Is q < 32?
True
Suppose -18*z + 12*z = 18. Is z greater than or equal to -3?
True
Let q = 0.019 - 0.119. Is 34 at least as big as q?
True
Suppose s - 2*s = -2. Suppose -2*y + l = 2, 0*l + 5*l - 2 = s*y. Which is smaller: y or -2/15?
y
Let c = 3/23 - 35/92. Suppose 2*z - 6*z = 0. Which is smaller: z or c?
c
Let x be (12/(-13) + 1)*-1727. Let d = x + 133. Is 1 not equal to d?
True
Let t be (365/(-20))/(2/(-8)). Let m = t - 729/10. Which is bigger: -1 or m?
m
Let b be (-2)/(12/9)*1. Let u = 2 + -2.2. Let w = u - -0.2. Which is smaller: w or b?
b
Suppose 3 = 2*v + 7. Does -5 = v?
False
Let z = 11 + -11. Let c(h) = -3*h**2 + 3. Let l(a) = -a**2 + a - 1. Let i(n) = c(n) - 2*l(n). Let r be i(-4). Is z bigger than r?
True
Let f be (-308)/(-100) - (-9)/(-3). Is f at most -1?
False
Let o = 4 - 3.5. Let p = 0.2 - o. Let f = p - -0.2. Are -0.1 and f nonequal?
False
Let z(g) = -g**2 + 23*g + 17. Let a be z(26). Is a equal to -61?
True
Let g(n) = n**3 + n**2 - 6*n + 4. Let m be g(-5). Let f be 10/15 - (-68)/m. Which is greater: f or -1?
f
Suppose 0 = 18*x - 7*x + 66. Which is greater: x or -1?
-1
Let k(n) = n**3 - 9*n**2 + 8*n + 3. Let x be k(8). Suppose -2 = -p + x. Let z(g) = -g**2 + 5*g + 1. Let i be z(p). Which is greater: 2 or i?
2
Let r = 14 + -17. Which is greater: -5 or r?
r
Let j = 0.2 + 1.8. Suppose -5*w = w - 24. Let d be w/7 + (-4)/7. Is d at least as big as j?
False
Let o(r) = r**3 - 3*r**2 - r + 3. Let n be o(3). Let a be 0*(2 + 0 - 3). Is n at least as big as a?
True
Let q(x) = 4*x**2 + 12*x - 14. Let z be q(4). Is z smaller than 98?
False
Let p be 108/11 + (-10)/(-55). Are p and 9 unequal?
True
Let k = 3643/675 + 2/675. Which is bigger: 6 or k?
6
Let f(h) = -h**3 - 4*h**2 + 2. Let w be f(-4). Let q be (w + -1 + 0)*-1. Let m = -1 - -1. Is m >= q?
True
Suppose -107 = -3*j - 35. Let w be (1/28)/(9/j). Are 0 and w equal?
False
Let g = 0.02 + -0.05. Suppose -4*k + 3*k = -1. Does g = k?
False
Let r(o) = -o**3 - 6*o**2 - 6*o - 5. Let h be r(-5). Let t be 6/(-1) - h/4. Does -6 = t?
True
Suppose -4*o = -3*j + 135, -3*j - 2*o = -7*j + 170. Let c = 163/4 - j. Let x = 5 + -5.1. Which is smaller: c or x?
c
Suppose 0 = -0*h - 5*h. Suppose h = k - 3*k. Let u(c) = -c**3 + c**2 + 2*c - 1. Let b be u(2). Is k equal to b?
False
Let n(l) = -l - 13. Let r be n(-5). Let x = r + 6. Which is smaller: x or -1?
x
Let p(h) = h**2 - 2*h + 7. Let q(a) = -5*a**2 + 8*a - 29. Let m(z) = -9*p(z) - 2*q(z). Let x(g) = -2*g. Let v be x(2). Let w be m(v). Which is smaller: 4 or w?
w
Let r be 0*(-1)/4 - 1/(-1). Let w = 5 - 11. Which is greater: r or w?
r
Let u be 18/10 - 1/(-5). Suppose -5*a + 12 = -u*a. Let j be ((-2)/28)/(a/32). Is -2 at most as big as j?
True
Let n = -23 - -15. Let l be n/3*(-60)/16. Suppose -3*j - 2*b + l = 2*j, 4*j = 5*b + 8. Which is smaller: 2/3 or j?
2/3
Let h(r) = 2*r + 27. Let f be h(-14). Is f at most as big as -2?
False
Let x = 5 + -7. Let c be 0/(-1)*(-5 - -6). Let s be c + 2 + (-22)/8. Is x < s?
True
Let n(x) = -x**2 + 3*x - 3. Let f be n(2). Let w be 3/(((-150)/4)/5). Which is smaller: f or w?
f
Let d be 49/21*(-3)/(-17). Let j = d + -69/85. Which is smaller: j or 1?
j
Let m be ((-13)/4)/(4/(-48)). Let x = m + -26. Is 12 > x?
False
Let i = 0.4 - -0.6. Let n = 1.07 - i. Let b = -2.93 - n. Which is smaller: -1 or b?
b
Let s be (-2)/(2 + 9/(-6)). Let c be 23/5 - (-4)/10. Let j = s + c. Do j and -2 have the same value?
False
Let s be (-3)/12 - 3/4. Let v(f) = 0*f + 0*f + f**2 + f. Let p be v(s). Are p and 0 unequal?
False
Suppose -4*z = 4*b + 8, 2*z - 4*b - 2 + 0 = 0. Suppose -4*h = 5*j - 18 - 23, j = -4*h + 21. Let d be -4 + 2 + 11/j. Which is smaller: d or z?
z
Suppose -h - 4*h = 0. Which is bigger: 1/70 or h?
1/70
Let r = -181 - -189. Is 1.1 less than r?
True
Let j be (-16)/24 + 5/3. Is 2/13 >= j?
False
Let a = -10.7 + 10.7. Which is smaller: a or -3?
-3
Let u be ((-6)/(-40))/(204/85). Is -1 < u?
True
Let k = 7.8 - 8. Which is bigger: k or 0.26?
0.26
Let i be 2/11 - 251/(-11). Suppose 3*b = -5*x + b + i, -x = 5*b. Is 6 greater than x?
True
Suppose 0 = 2*w - 4, 0*p + 10 = -4*p + 5*w. Let i be (-18)/(-8) - (-1)/(-4). Suppose -v - i + 0 = p. Which is greater: v or -1?
-1
Let q = 1/36 + 17/36. Let n = -1/4 + q. Let y = -0.4 + 0.5. Is n < y?
False
Let z = 52 - 27. Let c = z - 16. Are c and 9 equal?
True
Let h(l) = l**3 - l + 7. Let n be h(0). Let f = n + -6. Is f <= 0?
False
Let a be 10/4 - 4/(-8). Suppose -3 = a*o + 6. Is -4 at most as big as o?
True
Let q = 8 + -8. Which is smaller: 3 or q?
q
Suppose h - 25 = 2*p, -4*p = -4*h - p + 100. Let o = -27 + h. Is o not equal to -10/7?
True
Let x(v) = -6*v - 1. Let r be x(-1). Suppose r = 4*i + i. Which is bigger: 1/4 or i?
i
Let u = 1.4 + -0.9. Let q = u + 0.5. Let d be 0 - 0 - (1 + 0). Which is bigger: q or d?
q
Suppose 3*l - 18 = -6. Suppose -4*m = g + 8, 3*m - l*g = -g - 6. Are -3 and m nonequal?
True
Let q = -2/5359 + -4271075/128616. Let r = q + 100/3. Let s(a) = a**3 + 7*a**2 + 1. Let k be s(-7). Is r at least as big as k?
False
Let k = 2 - 0.3. Let q = -0.3 - k. Let o = 5/18 - 1/36. Which is greater: o or q?
o
Let k = -2.1 + 0.1. Let i = 1 + k. Is 2/5 equal to i?
False
Let r = -1.85 + -0.2. Let y = r + -0.05. Let p = y + 2. Which is smaller: 1/3 or p?
p
Let r be (8/3)/(-1 - (-98)/102). Is -68 greater than or equal to r?
True
Suppose -5*z - 35 = -b + 7, -5*b + 4*z + 252 = 0. Which is smaller: b or 54?
b
Let l = -319 + 22013/69. Which is bigger: l or 1?
1
Suppose -4 = l - 1. Let u = -0.1 - 0. Which is bigger: l or u?
u
Let x(s) = -s**2 - 4*s - 7. Let d be x(-3). Let o = 4 - 7. Is o smaller than d?
False
Let v = -7 + 12. Let c = -3 + v. Which is bigger: 3 or c?
3
Let v = -30.8 + 26. Let b = v + 5. Let k = 0 + b. Which is smaller: