e r(0). Let x = h - c. Which is smaller: x or 2?
x
Let o be 1/3*(-6)/(-10). Is o greater than 0.2?
False
Let b = 0.5 - -0.2. Which is smaller: b or 1/3?
1/3
Let j be ((-6)/(-9))/(2/102). Which is smaller: j or 33?
33
Suppose -5*l - 4*h = -9, -l - 2*l + 6 = 3*h. Suppose 0 = 4*w - q - 4, -5*w - q = -0*w - 14. Suppose -3 = -w*g + 1. Is l > g?
False
Let i = -2 + 2. Suppose i*h = -h + 5. Are 6 and h equal?
False
Let t be (-5)/(126/24 + 1/4). Suppose 0 = -3*u - 5*h + 1 - 11, -8 = -2*u + 4*h. Do t and u have the same value?
False
Let a be -1 + (2 - 2)/(-1). Let k(j) = -j - 3. Let z be k(-6). Let c be 3 - (-1)/(-3)*z. Which is bigger: a or c?
c
Suppose 0 = s + a + 4*a - 5, -3*s = -5*a - 55. Let d = 59/4 - s. Let t(o) = -o**3 + 2*o**2 + 4*o. Let i be t(3). Which is greater: d or i?
i
Let x = 2 + -6. Let v = -37 + 41. Let a = x + v. Which is bigger: 2/17 or a?
2/17
Let j(i) = -i**2 + 6*i + 1. Let o be j(6). Let t be 0/(o/(-3 + 2)). Suppose t = -z + 3*z + 8. Which is greater: -2 or z?
-2
Let h(f) = -f**3 + 10*f**2 - 1. Let y be h(10). Suppose -6 = -3*w + 6. Suppose -z = -w*z - 6. Which is smaller: z or y?
z
Suppose 12 - 1 = y + 4*h, 4*h + 1 = 3*y. Let g be (16/(-12))/(2/y). Let n be g + -2 - (-3 - 0). Is 0 bigger than n?
True
Let z = -8 - -6. Let s = 0 - z. Are s and 0.1 non-equal?
True
Let v be (112/21 - 5)*5*-3. Let d = -3 + 11. Let c = d + v. Is c less than 1?
False
Let q = 0 - 0. Suppose 0*f + f - 2 = q. Suppose -4*m + 3 = -3*a + 2, 3*m = -f*a + 5. Which is smaller: 3 or a?
a
Suppose 2*d = -3*r + 7, 5*r + 0*d - 18 = 3*d. Let q(h) = -h**3 - 6*h**2 - 9*h + 4. Let f be q(-4). Suppose -8*u = -6*u - f. Which is smaller: u or r?
r
Let v = -5/7 + 6/7. Which is bigger: -1 or v?
v
Let z = 83.8 - 84. Is 2/7 bigger than z?
True
Suppose -3*t - 157 = -4*b, 12 = -3*t - 4*b - 137. Let x be t/126 - 1/(-2). Is x > 0?
True
Let d be (-32)/(-48) - 4/6. Suppose 3 = -3*g + 6. Which is bigger: d or g?
g
Let c(n) = n**2 + 6*n. Let r be c(-6). Suppose 2*i + r*i = 20. Do 9 and i have the same value?
False
Let r(o) = -4*o - 2*o + 0*o + 5*o + 9. Let u be r(5). Which is greater: u or 1?
u
Let p = 83 - 412/5. Suppose 2*r - a = -5*a + 26, 3*a - 51 = -5*r. Let b be (-40)/(-18) - 2/r. Is p > b?
False
Let h(y) = y - 17. Let w be h(16). Let u be 0 - (-2)/(-1) - 1. Let i be (u/11)/(6/(-4)). Which is bigger: w or i?
i
Suppose -4*k = -5*k + 33. Let g = k - 163/5. Is 1 greater than or equal to g?
True
Let s = -36 + 56. Do s and 20 have the same value?
True
Let r = 3 + -2. Let x be (0/3)/(-3*r). Which is bigger: x or 3?
3
Let r = -1 + 2. Let v be ((-3)/(-22))/(3/(-4)). Is r > v?
True
Let g = -4.9 + 0.9. Let i = 0.48 - 1.48. Is i at most as big as g?
False
Let x = 0.6 - 2.6. Let y = -1.3 - -1.2. Does y = x?
False
Let i be ((-10)/8)/((-8)/128). Let b be 18/(-165)*i/6. Is b at most as big as 1?
True
Let l = -1827 - -9163/5. Are 5 and l non-equal?
True
Suppose 0*n = 3*n - 9. Let j = 7 + -4. Is j equal to n?
True
Let p = 29 - 24. Suppose 0 = -0*a + 2*a - 10. Is p at least a?
True
Let a = -8/11 - 48/55. Suppose 3*y - 6 = -15. Is a less than y?
False
Let q be (30/(-12) - -3)/(1/(-6)). Let r = 0.2 + -0.2. Is q < r?
True
Suppose -h - 10 = -2*c, -12*c + 25 = 2*h - 7*c. Which is smaller: h or 3/11?
h
Let s = -2.3 + 0.3. Which is smaller: s or -11?
-11
Let c = 1 + -2. Let p be (3 - 1)*(c - -2). Which is smaller: 2/3 or p?
2/3
Let c = -4.96 - 0.04. Let x = 5 + c. Let f = 0 - 0. Is f less than or equal to x?
True
Let m = 339 + -3047/9. Let q(r) = -r + 11. Let w be q(10). Which is smaller: m or w?
m
Let f = -91/6 - -15. Which is bigger: f or -1?
f
Let z be (-3)/(-15) + 208/10 + -2. Is z at least 18?
True
Suppose 0 = -5*f - 2*p + 4 + 7, -3*f = p - 7. Is f at most -1?
False
Let g be ((-2)/(-6))/((-112)/12). Let i = 1/14 - 33/70. Which is smaller: g or i?
i
Suppose 3*r = -2*o + 18, 4*r - 2*o = -6*o + 24. Let g = -4 + 6. Suppose -r*p = -g*p - 4. Which is greater: p or 0?
p
Let k(i) = -i**2 - 1. Suppose 10 = -4*z + 6*z. Suppose n = z*n + 4. Let j be k(n). Which is bigger: j or -2/3?
-2/3
Let m(g) = -g**3 - g**2 - g - 3. Let l be m(0). Let o = l - 0. Let w be o*(16/(-6))/4. Which is greater: w or 1?
w
Suppose -5*i = -2*i. Let n = i + 3. Let x be (2 - n)/(0 - -1). Do -3 and x have the same value?
False
Let v = -13.8 + -3.2. Let l = -19 - v. Is -0.3 greater than l?
True
Let w be ((-16)/12)/((-3)/9). Suppose -c + 6 = 1. Which is smaller: c or w?
w
Let g be (-4 + (1 - 2))*-1. Let v = 23 - 20. Is v smaller than g?
True
Suppose -3*u + 11 = -2*y, 0 = -2*y - 1 - 1. Suppose -4*a - 15 = -k, 4*k - u*a = -0*k + 8. Let p = k + -1. Which is greater: -1 or p?
-1
Let n(x) = -1 - 3 + 0 + x. Let j be n(4). Which is greater: 4/3 or j?
4/3
Let t = -6.5 + 6. Which is bigger: t or 1/5?
1/5
Let x be -15*1*(-1)/(-1). Let u be (-8 + -3)/(4 - 5). Let s = x + u. Which is bigger: s or -2?
-2
Let y be (-21)/(-28) + (-227)/36. Let t = y + 73/18. Is t smaller than -1?
True
Let m(r) = -3*r**2 - 3*r + 4. Let q be m(-3). Let s be q/24 - (-7)/14. Is -1 greater than s?
False
Let s be (4/6)/((-3)/(-18)). Let v(i) = -i**2 - 5*i + 8. Let w be v(-6). Suppose 2*k - 4*a + w*a = 14, 4*k - a = 16. Is k < s?
True
Let k = -1.2 - -0.2. Let u = 95 + -94.8. Which is greater: u or k?
u
Let x = -9 + 2. Let q be (-2)/(x/(14/4)). Is 2 != q?
True
Let x = 98 - 97. Is x at least as big as -4/19?
True
Let d = 6 - 1. Let u = -6 + d. Is -2 at most u?
True
Let s(m) = m**2 + 11*m. Let k be s(-9). Is -18 bigger than k?
False
Let z = 212 + -212. Let s be (2 + 0)/(7/4). Is z smaller than s?
True
Suppose -3*w - 8 = -2. Let q be 1/(-6)*(-1 - -5). Are q and w non-equal?
True
Suppose z - 1 + 0 = 0. Suppose -4*l - z = -5. Let u = 4 - 2. Which is smaller: u or l?
l
Let z be ((-208)/6)/(5/(-15)). Let a be 8/(-10) + z/5. Which is smaller: 19 or a?
19
Let k = 1412 + -26818/19. Is 0 < k?
True
Let a = 8 + -11. Let k = a + 5. Let u = 0.2 + 0.8. Is k bigger than u?
True
Let j = 54 + -51.93. Let x = 0.07 - j. Are x and -3 equal?
False
Let i = -292/13 - -2952/143. Which is smaller: i or -2?
-2
Suppose -50 = -3*f - f + p, f + 5*p - 23 = 0. Which is greater: 14 or f?
14
Let q(j) = 6*j**3 + j**2 + j. Let t be q(-1). Let u be (4/t)/(2/(-3)). Let v be (1 + (-6)/5)*u. Is v <= 0?
True
Let o be ((-5)/(-2))/((-1)/12). Let u be 6/o + 18/40. Suppose 0 = 5*w + 2*l + 11 - 1, -l - 5 = -4*w. Are u and w equal?
False
Let n(i) = -i**2 - 1. Let m(f) = f**3 + 11*f**2 - f. Let v(c) = m(c) + 6*n(c). Let y be v(-5). Which is smaller: y or 0?
y
Let r = 123 + -138. Which is greater: -11 or r?
-11
Let s = -2/2187 + 6625/69984. Is 0 at least s?
False
Suppose 0*s - 5*s + 2*t = -11, -1 = -4*s - t. Does 5/6 = s?
False
Let m = -18 + 18.1. Let b(c) = -c + 7. Let z be b(9). Which is smaller: m or z?
z
Suppose 0 = -7*z + 3*z. Let m = 6.1 + -6. Is m <= z?
False
Suppose y + 2*v - 5 - 1 = 0, -15 = y - 5*v. Suppose y = -0*u - 3*u + 12. Let b = u + -3. Is b greater than 1?
False
Let m = -83 - -84. Is -11 at least m?
False
Let l = 7.2 + -0.2. Let v = -8 + l. Which is smaller: v or 3/4?
v
Suppose 0*z - z = 4*p - 20, -3*z + 2*p = -74. Is 24 at most z?
True
Let r(a) = -a**3 + a**2 - a. Let y be r(0). Let n be 21/15 + 2/(-5). Let t be (n + 0)/(6 + -2). Which is bigger: y or t?
t
Let l be (-4)/5*(-5)/2. Let s be ((-120)/250)/((-4)/10). Which is smaller: s or l?
s
Let k(s) = 2*s - 3. Let c be k(3). Suppose u = -c + 2. Suppose d - 2*o + 10 + 0 = 0, 2*d - 5*o + 24 = 0. Which is greater: d or u?
u
Suppose -14 = 2*d - 6. Which is smaller: 2/3 or d?
d
Let v(q) = q**2 + 9*q + 15. Let m be v(-7). Let g = m - 1/3. Is 9 less than g?
False
Suppose 3*f - 5*k - 1 = 3, 0 = -5*k + 5. Let m = f - 2. Let t = -2/29 - -33/58. Is t smaller than m?
True
Let t = -36 - -36. Let p = 4 + -3. Are p and t non-equal?
True
Suppose 4*h + q + 19 = 0, 0*h - 23 = 2*h + 5*q. Let l = h - -7. Suppose -l*f = 2*f. Is f greater than 0?
False
Let g = -16 - -19. Are g and 5 equal?
False
Suppose 0 = 3*z - 0*z + 3. Which is smaller: z or -18/11?
-18/11
Let l = -18 - -18. Which is smaller: 1/2 or l?
l
Let j be 2 + 3/((-6)/(-28)). Is 6 < j?
True
Let p = -181/20 - -44/5. Let f(t) = 3*t + 15. Let w be f(-5). Is w smaller than p?
False
Suppose -2*g = -6*g - 5*n - 10, -g - 10 = 5*n. Let w = -30 + 61/2. Which is smaller: g or w?
g
Let v = 2.1 - 3.1. Let k = -0.2 + -0.8. Let 