 + 1. Let f(l) = -4*b(l) - u(l). Let g be f(2). Are g and 3 unequal?
True
Suppose 8*d - 25 = 3*d. Suppose -42 = d*q + 78. Let o be (-1)/(-78) - (-4)/q. Is o at most 0?
True
Let f = -21 - -15. Suppose h - 2*h + 14 = 0. Suppose -h*q = -18*q - 20. Which is smaller: f or q?
f
Let r = 2/339 + 3041/1695. Suppose w = -5*a + 8, 3*w = -a + 8 + 2. Which is smaller: r or w?
r
Let a(i) = -i**2 - 7*i + 4. Let w be a(-8). Let q be 2/w + 5250/44. Let x = -119 + q. Which is smaller: x or 1?
x
Suppose 7*r = 5*r + 38. Is r < 19?
False
Let o = 17 - 16.7. Is -3 > o?
False
Let x be ((-10)/4)/(-5)*-12. Let s = -1 + -4. Let n = x - s. Is n bigger than -2/13?
False
Suppose -2*n = -4 + 2. Let x(p) = p**3 - 4*p**2 + 5*p - 4. Let l be x(3). Suppose -4*d - 2 = l. Is n equal to d?
False
Suppose 4*h - 4 + 0 = 0. Is h greater than 1/2?
True
Let g = 89 - 87.98. Let c = g + -0.02. Is 2/3 at least c?
False
Suppose -2*k - 11 = -k + 4*s, 4*k = -4*s - 20. Suppose -2*j + 15 = -7*j. Are j and k nonequal?
False
Suppose -5 + 3 = 2*c. Let v(a) be the third derivative of -a**5/20 - a**4/24 - a**3/6 + 9*a**2. Let d be v(c). Is -2 smaller than d?
False
Let x be ((-2)/(-1))/(4 - 6). Are x and 2/97 equal?
False
Let p = 0.6 + -0.6. Let h = p - 2. Which is smaller: -0.2 or h?
h
Suppose -14 + 8 = -s. Let f = s - 13. Which is smaller: f or -9?
-9
Let y(a) = -a**3 - 5*a**2 - 5*a - 12. Let d be y(-4). Is d greater than or equal to -9?
True
Let k = 0.2 - 0.1. Let v = k + -0.2. Let l = 6.4 - 6. Is v greater than l?
False
Let k = -31 - -30.8. Is k bigger than -0.15?
False
Let j = -2 + 2. Let a be -4 - (3 + (-146)/22). Is j smaller than a?
False
Let f(l) = l**3 - 7*l**2 + 10*l - 3. Let o be f(6). Which is bigger: o or 18?
o
Let f = -211 - -839/4. Let o = 9 + -11. Is o < f?
True
Let g be (1 - 2) + 2 - -1. Let s be 7*2/(-4)*g. Is -8 > s?
False
Suppose -4*k - 5*a + 3 - 18 = 0, -4*k + a = -3. Is -2/41 at most as big as k?
True
Let i(p) = p**2 + 5*p - 6. Let w be i(-6). Suppose w = -0*x + 5*x + 35. Is -6 bigger than x?
True
Suppose -4*i = -11*i + 49. Which is greater: 9 or i?
9
Let n(i) = 3*i - 5. Let x(w) = 4*w - 7. Let h(o) = -7*n(o) + 5*x(o). Let y be h(-1). Let t be -1 + -1 + y + 2. Which is greater: 1/3 or t?
t
Let t = 163028 - 50212693/308. Let h = t + -2/77. Which is smaller: -1 or h?
-1
Let o be ((-3)/(-15))/((-2)/5). Let m(a) = a + 1. Let u be m(3). Suppose -2*z - 2 - 2 = -q, 2 = 2*z - u*q. Which is smaller: z or o?
z
Let f be 16 + (2 + -1)*2. Are 17 and f non-equal?
True
Suppose -20 = 4*o, 4*r = o + 329 - 100. Let j be 1/3 + r/(-60). Which is greater: j or -1?
j
Let o = 28239/7 + -336803/84. Let z = o + -93/4. Are z and 1 equal?
False
Let u = -29 - -20. Let l be ((-2)/6)/(1/u). Which is smaller: l or -0.2?
-0.2
Suppose -y = 0, -2*l + y = -1 - 5. Suppose 5*w - 3 = 7. Which is smaller: l or w?
w
Let g(x) = x**3 - 5*x**2 + 5*x - 4. Suppose -3*m + 12 = n, -6*n = -n. Let c be g(m). Which is bigger: c or -1/5?
c
Suppose 3*i + 5*y = -30, i + 5*y = -0 - 10. Let a = i + 13. Is a greater than or equal to 3?
True
Suppose 0 = 2*n + 2, -5*h + 2*n + 67 = 0. Let d be -3 + (1 - h)/(-2). Is d at least 4?
False
Let u be 16/(-10)*10*-1. Let i = -15 + u. Which is smaller: 0 or i?
0
Let y be 1 - (33/7 - 4). Is y < 0?
False
Let j = -72 + 79. Is 0 > j?
False
Let n be (1 - -1)/(2/3). Let b = -3 + 7. Suppose -7*z + 3*z = 4*a - 40, -b*a = 3*z - 35. Which is greater: z or n?
z
Let v be (144/(-40))/((-1)/(15/6)). Which is smaller: v or 0.1?
0.1
Let r be (-2)/210*-67 - (-12)/(-18). Which is smaller: 1 or r?
r
Let f be ((-3)/(-10))/((-120)/(-25)). Suppose -22 = z + 2*z + 5*b, -z + 21 = -4*b. Is z smaller than f?
False
Let k be 2 + -3 + (-6)/(-10). Suppose 2*x = -2 - 0. Which is smaller: k or x?
x
Let b(m) = -m**3 - 11*m**2 - 11*m - 1. Let n be b(-10). Suppose 0 = 2*h - 5*h + n. Which is greater: -2/7 or h?
h
Suppose w - 25 = -4*c - 2*w, -32 = -5*c - 3*w. Let u = 40 + -34. Is u <= c?
True
Let w = -0.01 + -4.99. Let a be ((-3)/2)/(1 + 2). Which is greater: w or a?
a
Suppose f + 12 = 3*r - 13, 2*f - 4*r = -40. Which is smaller: -0.3 or f?
f
Let j be 1 + -3*4/(-3). Suppose -3*c + 4 = -j. Suppose 4*k + 3*z - 5 - 6 = 0, 5 = 2*k + z. Which is greater: k or c?
c
Let f = -18 - -29. Let i = -34 + 26. Let m = f + i. Is m at most 4?
True
Let y = 1 - 0. Suppose 3*s + 6 = 15. Suppose 2*o + 1 = s*o. Do o and y have different values?
False
Suppose 0 = 5*b - 4*b + 5*b. Suppose 2*h - h - 1 = 0. Let a be -2 - (h - (-40)/(-13)). Which is smaller: b or a?
b
Let g be (8/70)/((-2)/5). Let x = 9 - 5.9. Let w = x + -3. Which is greater: g or w?
w
Let k be 4/10*(99/44)/(-9). Suppose 0 = o - 0*o + 4*g - 3, 2*o - 3*g = -5. Which is greater: o or k?
k
Let r = 16 - 17. Is r at most as big as 0.82?
True
Suppose 4*g = g. Let p be (g/(-2))/(4/(-2)). Which is smaller: p or -8/9?
-8/9
Let m(s) = -2*s + 12. Let j be m(5). Let n be (-2)/(-8) + (-60)/(-16). Let w be -2 + (1 - (2 - n)). Is j >= w?
True
Let l be (-22)/(-8) - (-3)/(-1). Let z be (2/(-140))/((-2)/(-388)). Let y = -18/7 - z. Which is bigger: y or l?
y
Let x = 12 - 9. Let q = 3 - x. Let h = 3/43 - 64/301. Which is greater: h or q?
q
Suppose 6 = 3*l - l. Suppose l*r = -0*r. Is r equal to 8/7?
False
Suppose -3*c - y - 3*y = -9, -3*c + 12 = 5*y. Is 2/87 equal to c?
False
Let p be (2 - 0) + (-13)/(-39). Suppose 12 = 3*k + k. Which is greater: k or p?
k
Let t be 4*(-5)/(-8)*2. Suppose 0 = t*v - 21 + 6. Which is greater: v or 2?
v
Suppose -4*k + 0*k = 0. Is k less than or equal to -4?
False
Let f be 1 - 0 - (3 - 2). Let r be -62 + 63 - 7/3. Is f != r?
True
Let t(v) = -v**3 - 4*v**2 - 3*v - 10. Let o be t(-4). Is o bigger than 1?
True
Let n(t) = -t**3 + 8*t**2 - 9*t + 4. Let h be n(6). Suppose 5*i = 4*r + 25, -2*i - h = -4*i + 4*r. Which is greater: i or -1/3?
i
Let k = 0 + -0.1. Let d(j) be the second derivative of -3*j**5/20 + j**4/12 - 2*j. Let i be d(1). Which is bigger: k or i?
k
Suppose -k + 6*u = 3*u - 4, 0 = -3*k - 4*u - 53. Is k greater than or equal to -10?
False
Let b = -0.1 + 0. Let t = b + 0.1. Let s = -7 + 7.1. Is s > t?
True
Suppose p - 5 = -0*y - 2*y, -y + 4*p + 16 = 0. Suppose 0 = 2*o - 4*o - 2*x + y, 2 = o - 2*x. Is 2 greater than or equal to o?
True
Let l = 1.4 + -1.3. Which is smaller: l or 0.01?
0.01
Let o(z) = -2*z**3 + 2*z**2 + 5*z - 3. Let r be o(3). Is -23 at most as big as r?
False
Let k = -0.9 - -2.9. Which is greater: 8 or k?
8
Suppose 5 = 2*x - k, 0 = -5*x + 6*k - 2*k + 17. Is -3/32 not equal to x?
True
Let w = -5.1 + 5.1. Is -7/4 <= w?
True
Let d(a) = 0*a**2 + a - 4*a**2 + a**2 + a**3 + 3 - 6*a. Let f be d(4). Do 2/21 and f have the same value?
False
Let j = 11168/3549 - 2/507. Is j <= 2?
False
Let x be (-445)/(-4) + -6 + (-1)/4. Is x < 104?
False
Let r(g) = g**3 + 2*g**2 + 2*g. Let s be r(-3). Let a = -24 - s. Which is smaller: a or -8?
a
Suppose 5*h - 4*a = -5*a - 50, 2*a = -3*h - 30. Let l = -11 - h. Which is greater: 3/7 or l?
3/7
Let u = 16 - 114/7. Do -1 and u have different values?
True
Let j(g) = 2*g - 8. Let h be j(6). Suppose 4*t - 9 = -5. Suppose a + l = -l + t, 4 = h*a + l. Do 0 and a have the same value?
False
Let k = 6 - 3. Suppose -6*x + x - 5*f = -15, 0 = -2*f. Is k != x?
False
Let o = 59.6 + -60. Is o at least 0.1?
False
Suppose 2*x - 20 = -3*x, 4*x - 22 = -2*w. Is w < -1?
False
Let v(n) = -4*n + 46. Let m be v(11). Which is smaller: -1 or m?
-1
Suppose 0*k = k - 3*q - 7, k - 4*q - 9 = 0. Which is bigger: 1/40 or k?
k
Let j = -26 - -26. Is 1/11 at least j?
True
Let g = 6.3 - 1.3. Let p = g + -1. Is p < -2/3?
False
Let t be ((-2)/8*1)/1. Let c = -7 + 6.1. Let q = c + -0.1. Which is smaller: q or t?
q
Let o be ((-483)/(-14))/(9/12). Is 45 bigger than o?
False
Let w be -2 + (-129)/(-33) - 3. Let f = w - -10/11. Suppose -i = 4*i. Which is greater: i or f?
i
Let n = 55 - 55. Which is greater: n or -5.3?
n
Suppose -5*n - 27 = -4*v + 5*v, -3*n = -4*v + 7. Is v at least -4?
True
Let n be (-7)/10 + (1 - 2). Let x = n + 11/5. Let d = -0.04 + -0.96. Is d at most x?
True
Suppose -7 = -5*t - 12. Is 1/19 at most t?
False
Let a = 40 - 50. Which is bigger: -43/5 or a?
-43/5
Suppose -5*u = 81 - 256. Suppose u - 7 = -4*d. Let t be -1 + -1 + (-10)/d. Is t bigger than -1?
True
Let q = -39272/51 - -770. Which is bigger: -1 or q?
q
Let m be -7*2/(2/1). Let r = 69 - 75. Which is