
Let i = -27 + 36. Suppose -3*b + b = 0. Which is greater: i or b?
i
Let b be 4/(-11)*2/4. Let j(d) = -d**2 + 5*d + 2. Let c be j(4). Let h be (c/(-21))/(1/(-1)). Is h < b?
False
Let x = -319 + 5103/16. Suppose 2*u - 3*u + 5*d = -21, -2*u - d = 2. Which is smaller: u or x?
x
Let f be -5*1*12/30. Let a(l) = l. Let d be a(-5). Do d and f have the same value?
False
Let z be 9/4*(0 + -4). Suppose 30 = 5*j - 2*j. Let r be z/j*4/(-6). Does 1 = r?
False
Let r = 163.9 + -164. Suppose -i = -1 - 3. Let g be ((-4)/6)/(i/(-30)). Which is smaller: r or g?
r
Let d(j) be the third derivative of j**4/24 - 5*j**3/6 + 4*j**2. Let t be d(3). Let q = 7/4 + t. Are 0.1 and q equal?
False
Let v be 2/(-4)*288/(-18). Suppose 5*f - 23 = -v. Which is smaller: f or 4?
f
Suppose -5*l = 3*m + 19, 5*l - 2*m + 5 - 1 = 0. Suppose -5*a + s - 3*s = 4, s = -3*a - 2. Suppose -2*n - 4 + a = 0. Is n <= l?
True
Let q be 1/(-1) - (0 - 1). Which is bigger: 2/5 or q?
2/5
Let j(v) be the second derivative of 2*v + 1/2*v**2 + 0 - 1/12*v**4 - 1/6*v**3. Let f be j(-2). Which is smaller: f or -1/7?
f
Suppose -8*d = -3*d - 90. Suppose p - 30 = -4*q - p, 5*q = 4*p + d. Which is bigger: q or 7?
7
Let f(m) be the third derivative of m**6/120 + m**5/60 + m**4/24 - m**3/6 + 2*m**2. Let z be f(0). Which is smaller: z or -3?
-3
Suppose -3*x = 5*l - 10, l - 5*x = 2*l - 24. Let y(b) = -2*b**3. Let q be y(1). Is q bigger than l?
False
Let l be (-4)/(-6) + 60/(-117). Let k = -5/52 - l. Suppose 5*o - 7 = -4*h, 3*o + 1 = -2*h + 4. Is k <= o?
False
Let r = -10.3 - -10. Let d = -0.3 - r. Which is smaller: -0.1 or d?
-0.1
Let u = 9/7 + -31/35. Are u and -1 equal?
False
Suppose -3*b - 2 = 2*l, 37 = -5*b + 3*l + 2. Let w = b + 7. Is w greater than 3?
False
Suppose -2*z + 7*z = 0. Let x be (1 + 2 - 6) + z. Which is smaller: x or -1?
x
Let r = 661 + -677.11. Let m = r - -16. Let k = 0.06 + m. Is -2/5 less than or equal to k?
True
Let u = 0.2 + 0. Let z = -1.7 + 1.7. Is z at most u?
True
Let n = 671/8 + -84. Suppose 4*h = -5*g + 21, -15*h + 13*h - 22 = -4*g. Which is greater: n or h?
n
Let d = -9.02 - -9. Is d <= 1/4?
True
Let a be 189/(-9)*(-1)/(60/(-3)). Are 0 and a nonequal?
True
Suppose -3*w + 5*b + 9 = 0, -w - w - 4*b = -6. Suppose -5*u + w = -4*u. Suppose j = u*c + 2*c + 5, 0 = j. Which is smaller: -3/2 or c?
-3/2
Let h be -4 + 657/(-7) + -4. Let n = h - -102. Which is bigger: n or 2?
2
Let h(k) = -k**2 - 10*k - 4. Let x be h(-6). Suppose 0 = -4*i - 5*o - 43, 5*i + 0*i - 5*o = -x. Let q = 9 + i. Is 3 greater than q?
True
Let p = -13.9 + 14. Which is bigger: -2/13 or p?
p
Let u = -7 + 9. Suppose -u*d - 14 + 4 = 0. Let g(j) = 2*j + 5. Let i be g(-5). Is i greater than d?
False
Let t = -34 + 38. Which is greater: 34/13 or t?
t
Let b = 4104149 + -110799146/27. Let c = b - 477. Which is smaller: c or 1?
c
Let g be 6/(-9) + 21/(-9). Let h = g + 2. Which is greater: -2 or h?
h
Suppose -4*w + 3*i = -w + 48, 2*i + 13 = -w. Let r be (-4)/(-10) + 21/w. Is -2 != r?
True
Let h(l) = -l - 8. Let p be h(-5). Which is greater: -4 or p?
p
Let d = -17 - -18. Is d less than -2/15?
False
Let i = 14 + -5. Let f = i + -7. Which is greater: 0.9 or f?
f
Suppose 4*g - 4*x + 28 + 4 = 0, 2*g + 17 = 3*x. Let r = -18 - -10. Which is greater: r or g?
g
Let r be (3/(-2))/((-6)/32). Let q = -13 - -20. Which is bigger: r or q?
r
Let k = -19 + 3. Do -17 and k have the same value?
False
Let x = 61/130 - -2/65. Let n = -8 - -5. Which is bigger: x or n?
x
Let a = 4 - 2. Let l = a + -5. Let p = l + 5. Which is greater: p or -1?
p
Let n(w) = -2*w**2 + 5*w. Let a be n(4). Let p be 10/(-72) - 3/a. Let y = -1.4 - -2.4. Which is smaller: p or y?
p
Let f(v) = -v**2 - 9*v - 4. Let u(x) = x**2 + 10*x + 5. Let i(z) = -5*f(z) - 4*u(z). Let p be i(-4). Is p at least as big as -3?
False
Suppose 15*f = 12*f - 6. Are f and 1 equal?
False
Let g be 9*30/9 + -1. Which is bigger: 0 or g?
g
Let i = -3.1 + 3. Let s = -0.3 - i. Let x be 3 + -1 + 1 + -4. Which is smaller: s or x?
x
Let o = 9 - 1. Which is smaller: -0.1 or o?
-0.1
Suppose 4*k + 5 = 3*i - 10, 2*k = -3*i + 15. Let w = k - -2. Is w less than 2/3?
False
Let c be -7 + 10 - 3*(-9)/(-6). Do -4 and c have the same value?
False
Let f = 16 + -17. Which is greater: 1/31 or f?
1/31
Suppose -28 = -2*d + 5*k, -7*d - 2*k + 8 = -3*d. Suppose -l - d = 3*l + 4*p, -5*p = 20. Suppose 0 = 7*h - h - 12. Is h != l?
True
Let h be -2 + 1 + 3 + 0. Let f be (0 + -3)*(-4)/3. Suppose f*b + 12 = -4*a, b = -h*a + 5*a - 11. Which is smaller: a or 3?
a
Let j = -17/21 - -1/7. Which is bigger: 9 or j?
9
Let r(s) = -s**2 + s. Let i be r(2). Let k be 2/(-5)*20/(-4). Let b = i + k. Which is greater: -2/9 or b?
b
Let q be 8*(-1)/(-6)*-1. Let j(r) = r**2 + 2*r - 4. Let o be j(-3). Which is bigger: q or o?
o
Let y = 11 - 8. Let n = 0.171 + -1.141. Let g = 0.03 - n. Do y and g have the same value?
False
Let y = 4.2 - 4.3. Is y <= 24?
True
Let s = 11 - 16. Let i = 2 - s. Suppose 3*n = i*n. Which is bigger: -2 or n?
n
Let x = -11 + -1. Let f = x + 20. Which is bigger: f or 1?
f
Let h(n) = n**2 + n + 1. Let j(p) = p**3 + p**2 + 8*p + 1. Let b(l) = -4*h(l) + j(l). Let f be b(2). Let t = -1 + f. Which is greater: t or 2/5?
2/5
Let l = 2 - 2. Let v = 6041/9 + -671. Is v < l?
False
Let t be (0 - 1/(-5))*9. Let s = -41/20 + t. Let d = -2 + 3. Does s = d?
False
Let h = -37 + 36.8. Which is greater: 0.1 or h?
0.1
Let v(b) = b**3 - 4*b**2 - 4*b + 5. Let f be v(5). Suppose -3*s - 2*s = -f. Is 4/3 bigger than s?
False
Let d = 6.2 - 0.2. Let m = -16 + 13. Is m at least as big as d?
False
Let j be 86/(5 - (-1)/(-1)). Is 21 greater than j?
False
Let r(d) = -3*d + 2. Let h be r(2). Let a be -2 + ((-8)/2 - (1 + -5)). Which is smaller: a or h?
h
Let h be ((0/(-1))/(-3))/1. Suppose a + 0 - 2 = h. Suppose 4*f + 0 - 4 = 0. Is f at least as big as a?
False
Suppose 0 = 3*r - 3 - 9. Suppose -3*s - 2*u - 4 = 0, -2*s + r = -4*u + 2*u. Which is bigger: s or 8?
8
Let o = 24 + -26.6. Let h = 0.4 - o. Let u = h - 2.8. Is u != 2/7?
True
Suppose 4*b + 0*z = -3*z + 21, 0 = -5*b - z + 18. Suppose -f - b*f = 0. Is f at most as big as 3?
True
Suppose 5*t - 3*t = 0. Let a be (-8)/18 + (-527)/(-1530). Which is bigger: t or a?
t
Let h = 144 - 149. Is h equal to -5?
True
Let m = -5 - -6. Is -1/21 less than or equal to m?
True
Let r(w) = w**2 - 17*w - 10. Let s(j) = j. Let i(c) = r(c) + 2*s(c). Let p be i(15). Which is smaller: p or -11?
-11
Let o(a) be the third derivative of 7*a**4/6 + a**3/6 - 3*a**2. Let x be o(1). Let m be -1*1 - (-31)/x. Which is greater: m or 0?
m
Let c be 20/6 + (-8)/24. Let b be (-2)/(-6)*c + -2. Are -0.06 and b equal?
False
Let x be 6/15 - (-323)/(-690). Let b = -3/46 + x. Is 1 equal to b?
False
Suppose 0 = -6*i + 10*i + 8. Let z(m) = 3*m + 6. Let j be z(-4). Let k be 3/(i/j*3). Is k greater than or equal to 2?
True
Let k = 85 - 197. Let i be 4/14*k/72. Which is smaller: i or -1?
-1
Let y = -11 - 1. Let i be (-2)/(-25)*(-6)/y. Which is smaller: i or 0?
0
Let k = 134/3 - 45. Suppose 3*c - 2 = 5*c. Which is bigger: k or c?
k
Let s = 0.09 + -1.69. Let h = 0.45 + -0.05. Let g = h - s. Do g and -0.1 have different values?
True
Let b = -95 - -180. Let h = b + -2633/31. Which is greater: h or 1?
1
Let f = 5198/17 + -306. Are -1 and f nonequal?
True
Let q = -6 + 5.7. Let c = q + 0.2. Is c < 1?
True
Let q be (-9 + -1)*(-7)/(-14). Let x be (6/(-5))/(12/45). Let i = q - x. Are 0 and i equal?
False
Let g be 3*(-2)/(-6) - -181. Let z be (-2)/7 - (-80)/g. Let d(x) = x**3 - 4*x**2 - 6*x + 5. Let q be d(5). Which is bigger: q or z?
z
Suppose -1 = 3*p + 4*i, 31 = 3*p - 9*i + 5*i. Suppose -p*g + 0 = -10. Are 2 and g unequal?
False
Let d = -5 + 11. Suppose -5*o + 4*o = -2*m + 3, -d = 2*o + 2*m. Suppose f + 3 = -0. Is o at most as big as f?
True
Let m be (-3 - 15/(-6))/((-1)/8). Which is greater: 8 or m?
8
Let x(w) = w**2 + 5*w + 1. Let q be x(-5). Suppose -7 = 2*b - 3*b. Let t be 3/84 - 2/b. Is t smaller than q?
True
Let a = 1 + -0.88. Let d = -0.02 + a. Are d and 4/3 nonequal?
True
Let h(l) = l**2 + 4*l - 7. Let j be h(-5). Let a be -4 + (64/(-12))/(-2). Is j less than a?
True
Let w = -2/121 + 494/605. Let v be (1 + -9)/4 - -3. Is v less than w?
False
Let q = 40 + -23. Let j = q + -10. Let r = -6 + j. Which is smaller: -1/4 or r?
-1/4
Let z = -3.24 + 0.24. Let l = -13/