l?
True
Let y = 18 + -15. Suppose -2*h = 1 - y. Is 2/5 bigger than h?
False
Suppose 0 = -3*x + 5*f + 534, 2*x + 3*f - 310 = 27. Let q = x - 2247/13. Are q and -1 equal?
False
Suppose 2 = -q - 0. Let o be (-1 - (3 + q))/1. Do -3 and o have the same value?
False
Suppose -d + 0 = 1. Does d = -2/17?
False
Let w be 2/1 - (-432)/(-252). Which is smaller: w or 30?
w
Let m = -3 + 4. Which is smaller: m or 10?
m
Let f = -0.74 - -0.8. Let k = f - -0.14. Is k > 0.1?
True
Let h(d) = -d**2 + 5*d + 2. Let v be h(4). Suppose -4*y = -y + v. Is y < -2?
False
Let p = 6 - 44/7. Suppose -7*c = -3*c - 4. Which is smaller: c or p?
p
Suppose -d + 2*q + 9 + 3 = 0, 2*d = 3*q + 21. Suppose 3*i + d = 21. Which is bigger: 2/11 or i?
i
Let i(a) = 3 + a**2 - 7 + 3. Let k be i(-1). Let t(y) = -y**2 - 7*y + 20. Let p be t(-9). Does k = p?
False
Let b = 0 + 0.1. Let p = -253 - -231. Is b greater than p?
True
Let n be 4/(-12) - (-8)/6. Let l(d) = 5*d - 6. Let k be l(2). Is k less than or equal to n?
False
Let l be 2/10 + 1/20. Which is smaller: l or -1/2?
-1/2
Let m = -62/3 - -21. Is m >= -1/5?
True
Let k be (6/(-9))/((-8)/(-132)). Let i be (-12 - k)*2/(-2). Is -2/9 smaller than i?
True
Let u(c) = c**3 - 5*c**2 + c - 7. Let n be u(5). Let t = n + 1. Which is greater: t or -2?
t
Let g = -6 - -3. Let j = 2 + g. Let q = 1.2 + j. Is q >= 0.1?
True
Suppose 1 = -5*g + 2*o + 10, g + 4*o - 15 = 0. Let d be (1 + (-14)/10)*5. Let y be (1/(-2)*d)/1. Is g <= y?
False
Let c(o) = o + 4. Let k be c(-5). Which is greater: k or 3/7?
3/7
Let t = 44 + -45. Let w = 0.03 - 4.03. Let r = w + 3. Is t smaller than r?
False
Let m be (-26)/60 - (-4)/(-10). Is m >= 0?
False
Let h = 13 + -6. Let g = h - 6. Which is bigger: 1/7 or g?
g
Let o = -16 + 16.1. Let j = o + 0. Is j at least as big as 3/8?
False
Let m(f) = f**2 - 3*f - 1. Let b be m(3). Let z = 7.6 + -7. Which is bigger: z or b?
z
Let s = -97 - -289/3. Which is greater: -0.049 or s?
-0.049
Let h = -28 + 28.1. Let k = -14 - -44/3. Which is smaller: h or k?
h
Suppose 5*m + 15 = 2*m. Let u = -4 - m. Suppose -u = r + 3. Is -4 at most r?
True
Suppose -2 = -y + 3*y. Let o be 5 - (-2 - -4 - y). Is 3 >= o?
True
Suppose 0 = -2*w - 5*j + 3 + 3, 2 = -5*w - 4*j. Let t(n) = -n**2 + 5*n + 4. Let p be t(6). Is p less than w?
False
Let g = 21 - 16. Suppose z = -2*z, 5*q = g*z. Which is greater: -1/12 or q?
q
Let v(r) = 2*r + 19. Let l be v(-13). Suppose 3*c - 6*c = -3. Do c and l have the same value?
False
Suppose 0 = 3*c - c + 3*u - 1, -2*c + 3*u = -7. Let f be (c/(-27))/(11/(-66)). Are f and 1 nonequal?
True
Let p = -20/11 + 58/33. Is p equal to -1?
False
Let m be -2 - (-60)/78 - 2/(-1). Is 0 < m?
True
Let z = -169/3 - -57. Is z less than 1?
True
Let a = -9 - -4. Let f = a - -4. Is 0.1 smaller than f?
False
Let j = 2 - 1.7. Let z be 0*(0 + 2/(-4)). Is j at least as big as z?
True
Let a = 21 - 15. Let v = a - 6. Let j = -0.9 + 0.5. Is v < j?
False
Let b(s) = -2*s + 14. Let k be b(11). Is k < -9?
False
Suppose -4*o - 2*p - 6 = -p, -4*o - 10 = 3*p. Is o not equal to 5?
True
Let f = 3 + -1. Suppose -f*g + 2 = -0, g = 5*k - 9. Which is bigger: 3/2 or k?
k
Suppose w + 0*w + 6 = 0. Let v be (8 + w)/((-4)/6). Let u(r) = r**2 + 5*r - 1. Let q be u(-5). Which is greater: q or v?
q
Let d be 336/351 + 8/12. Let b = 24/13 - d. Which is bigger: b or -1?
b
Let w(o) = 2*o + 7. Let z be w(-3). Which is bigger: 2/57 or z?
z
Let k(s) = 24*s**3 + 3*s**2 + 2*s - 1. Let c be k(-2). Let v = c + 2404/13. Is v at least -1?
True
Let v be -3 + 4/(16/10). Let y = 0.21 + 0.19. Is v bigger than y?
False
Suppose 0 = -3*i - i - 24. Let r(o) = -o - 3. Let v be r(i). Which is smaller: v or 1?
1
Suppose -2*g = -0*g - 4*m - 2, -13 = 3*g + 2*m. Let n be (-3)/g + -1 - -2. Suppose -2*u - n*p = -4, -3*p = -2*u - 2*u + 15. Which is greater: 4 or u?
4
Let w be (0 - -1 - -3) + -3. Let t(u) = u**3 - 5*u**2 - 4*u - 8. Let l be t(6). Let a be l/10 + (-40)/(-25). Which is smaller: w or a?
w
Let c(a) = -7*a**3 + 15*a**2 - 18*a - 3. Let r(t) = -4*t**3 + 7*t**2 - 9*t - 2. Let m(i) = -3*c(i) + 5*r(i). Let x be m(9). Which is smaller: x or -2/39?
x
Let y be (4 - 2)*(-3)/6. Let v = 0 + y. Let m = 0 - 2. Which is bigger: v or m?
v
Let d = -80/21 + 22/7. Which is bigger: d or 5?
5
Let f be (-210)/(-4) - 3/2. Let g be f/(-15) + 4/10. Which is greater: g or -4?
g
Let o = -65/108 + -4/27. Is 2 greater than o?
True
Suppose -17*w + 14*w + 24 = 0. Which is smaller: w or 6?
6
Let c = 17/5 - 41/15. Let h be (3 + -3)*(-7)/14. Is c smaller than h?
False
Let j be -5 + 3 + 34/(-20). Let k = 427/110 + j. Which is bigger: k or 0?
k
Suppose 4*l = 3*l + 1. Let z(a) = 5*a + 1. Let d be z(l). Let x(o) = o**3 - o**2 + o - 1. Let v be x(2). Which is smaller: d or v?
v
Suppose 6 - 2 = -4*a. Suppose -4*x + 6 = 14. Let b be 5/((-5)/x) - 3. Is a smaller than b?
False
Let s = 6 - 4. Suppose -4*d + 3*d = -6. Let h be (-24)/d*(-1)/s. Is h <= 2?
True
Let l = 9 + -8. Suppose l - 3 = -c. Is 8/7 < c?
True
Let d = -9.4 - 3.6. Which is greater: d or 3?
3
Suppose u = -2*r - 103 + 18, -2*r + 5*u = 91. Which is bigger: r or -42?
-42
Let d = -0.1 + 0. Which is smaller: d or 3/7?
d
Let z = -1 + 0.95. Let p = z - -1.05. Does p = 0.8?
False
Suppose -3*n - 4 = n. Let c be (n/3)/(30/20). Is c smaller than 0?
True
Suppose 0 = -2*t - 1 - 3. Let v = 4 + t. Let s be (-3 - (-5 + v))/2. Which is smaller: -2/9 or s?
-2/9
Let w = -0.04 + -1.96. Let x = 0.7 - -0.3. Let o = x + w. Which is smaller: 2 or o?
o
Let q be -1*6/(-9)*12. Suppose q = 3*s + 2*p - 9, -2*s + 5*p + 5 = 0. Suppose 5*r - 4*u = -0*r + 9, 4 = s*r + u. Is -2/5 less than or equal to r?
True
Let z = 2.92 + 0.08. Let g = z + -3. Let i = 0.3 + g. Which is greater: i or -0.1?
i
Let s = 36 + -36. Are 7 and s equal?
False
Let w = -179 - -235. Is w less than or equal to 56?
True
Let s = 6 + -5.6. Are 4 and s unequal?
True
Suppose -2*m + 26 = 4*j, -5*j + 2 = -8. Is 9 greater than or equal to m?
True
Let p be ((-156)/50)/(-3) + -1. Let n = -1030679/100 + 10307. Let s = n + p. Is s at least -2?
True
Let p be ((-3166)/(-3))/(110/30). Let f = -288 + p. Suppose 3*q + 2 = 2*b, b = 2*q - b + 2. Which is smaller: f or q?
f
Let c(g) = g + 5. Let m be c(-5). Suppose -r - r - 2 = m. Let p = -2/23 - -31/92. Is p bigger than r?
True
Suppose 4*q + q = 25. Suppose -q*x - 24 = -2*x. Is -8 > x?
False
Let d be 0 - (1 - (-26)/(-8)). Which is bigger: d or 1?
d
Suppose -5*b + 29 = f, 4*f - 5*b + 0 + 9 = 0. Suppose 0 = f*c - 8 - 4. Do c and 3 have the same value?
True
Suppose 3*v - 4*v + 4 = 0. Are 6 and v equal?
False
Let g = -37 + 110/3. Are -1 and g non-equal?
True
Suppose 5 + 7 = 4*c, -4*n = 4*c - 16. Let v = 192 - 185. Do v and n have the same value?
False
Suppose -o = -4*o + 12. Suppose -2*s = i + s + 10, -2*i - o*s = 18. Suppose 3*g = -4*w - 33, w = g + 5 - 1. Is g at least as big as i?
True
Suppose -8 = -5*s + 2. Let l(j) = j**3 - 3*j**2 + 3*j - 3. Let q be l(s). Suppose 3*u = u. Is q != u?
True
Let b = 2 - 3. Let t = 8 - 6. Let o = t - b. Is o not equal to -1?
True
Let t(m) = -5*m + m - 5 + m - 3*m - m**2. Let l be t(-6). Which is smaller: l or -6?
-6
Suppose 3*y = -m - 7, -4*m + 6*m = 2*y + 2. Let z(n) = n**2 + 6*n + 4. Let h be z(-5). Do y and h have different values?
True
Suppose 26 = -2*b + 3*n, 12*b - 3*n + 56 = 7*b. Does 0.1 = b?
False
Let v = 0.2 - -0.1. Let a = -0.1 - v. Which is smaller: -1 or a?
-1
Let l(t) = -t**2 + 13*t + 7. Let h be l(13). Which is greater: h or 8?
8
Let m be 2/7 + (-104)/(-210)*-3. Suppose -2*g + 4 = -4*g. Is g equal to m?
False
Let p be ((-3)/(-4 - -1))/(-1). Let g = -2.9 - -3. Let m = g + -0.1. Which is bigger: p or m?
m
Let w be 268/(-72) - -2 - 3/(-2). Which is bigger: 1 or w?
1
Suppose -2*c - 36 = c. Let n be (-15)/c + (-1)/4. Is n at most -1?
False
Let s = -51.9 - -52. Is s bigger than 1/10?
False
Let f = 18 + -42. Is f smaller than -23?
True
Let m = -54 - -48. Let k be (-5)/4*(-12)/(-3). Is m bigger than k?
False
Let t(w) = w**3 - 3*w**2 - 2*w + 4. Let h be t(3). Is h <= 2?
True
Let w = 1 + 0. Which is greater: -3/136 or w?
w
Let a = 1463/184 + -65/8. Which is bigger: a or 0?
0
Suppose d = 2*d + 1. Let m = 1/84 + -11/42. Is d at least as big as m?
False
Let l = -10/3 + 4. Is l smaller than -8?
False
Let l = -0.1 - -1.7. Let f = 2 - l. Suppose z - 10 = 4*a, -5*a = 3 + 7. Is f gr