s g smaller than -1?
False
Let o(u) = -100*u**3 - 7*u**2 - 5*u + 4. Let k be o(-4). Let g = -75953/12 + k. Let x = g + 75/4. Which is greater: 2 or x?
2
Suppose -7*d = -4*d + 3. Let u be ((-6)/(-76))/((-8)/16). Which is smaller: u or d?
d
Let g be ((-3)/6)/(1/10). Let k be g/(-2)*12/265. Let m = 247/159 + k. Which is smaller: m or 1?
1
Suppose -2*u + 2 = 4*c, 0 - 2 = -2*u + c. Let a = 118 + -207. Let q = a - -711/8. Which is bigger: u or q?
u
Let s(i) = -2*i**2 + i. Suppose -j = 3*j - 4. Let u be s(j). Let d(y) = 2*y**2 - 35*y + 15. Let w be d(17). Which is smaller: u or w?
w
Let w(h) = h + 2. Let a be w(-3). Which is smaller: a or -8/15?
a
Let w(p) = p + 3. Let f(n) = n + 4. Let o(t) = -3*f(t) + 2*w(t). Let m be o(-6). Which is smaller: m or 2/21?
m
Let d be 3/(-1) - (2 + -4). Is d at least as big as 0?
False
Let a be (-2)/(-6)*12/1. Suppose 3*f - 21 = -a*u, 5 = -u + 5*f - 7. Let s be (0 - -1)*3/u. Which is smaller: 0 or s?
0
Let p = -21 - -5. Is p at most -17?
False
Let v(a) = -3 + 3*a - 7 - 12*a - a**2. Let z be (-8)/20 - (-38)/(-5). Let j be v(z). Which is smaller: j or -1?
j
Let d = -1.4 + 3.4. Which is smaller: d or -1/8?
-1/8
Let k be (4 + 1)*56/20. Suppose -15 = 5*r - 5*g, -4*r + 4*g - k = r. Which is smaller: r or 0?
r
Let p = -0.14 - -0.11. Let h = -0.07 + p. Is -5 >= h?
False
Let w = 213 + -209.04. Let q = w - -0.04. Is 0.1 <= q?
True
Let y = -25 - -28. Which is smaller: y or 15/4?
y
Suppose 10 = 5*g + 5*z, -2*g + 10 = -0*g - z. Which is greater: 23/6 or g?
g
Let x = 10 + -10.1. Are x and 8 non-equal?
True
Let u be ((-3)/(-6))/((-2)/(-4)). Let c be (22/2 - 1)*u. Let f(b) = -b + 13. Let w be f(c). Which is smaller: w or 4?
w
Let q = 17 - 12. Suppose -5*s + 3*j = -6, 0 = -j - q + 3. Which is smaller: -3/14 or s?
-3/14
Let s = -2 + -5. Let j = 7.1 + s. Which is bigger: j or 1/4?
1/4
Let r = -3 - -3.1. Let y = 2 + -2.06. Which is greater: r or y?
r
Let o(f) = -2*f**2 - 4*f. Let d be o(-3). Which is smaller: -1 or d?
d
Suppose 5*u = 3*u + 2. Is -4/7 <= u?
True
Let p be -28*(-2)/8*1. Suppose 0 = 2*l - 3*t + p, -t + 2 = -3*l - 5. Which is smaller: l or 0?
l
Let a = -2 + 2.1. Let f = a + -0.1. Let k = 0.13 + -0.03. Which is greater: f or k?
k
Let m = 479 - 1450/3. Is m < -3?
True
Let d be (-10)/2*4/5. Let c = 6 + d. Suppose 5*r = c*r - 6. Is -4/5 bigger than r?
True
Let a = -13 + 6. Let v be 3 - 4 - (a - 2). Let u be (-1)/4 - 6/v. Do u and 1/4 have different values?
True
Let k be (246/(-124) + 2)*(3 + -5). Is 0 > k?
True
Let h = -2/255 + 308/255. Which is smaller: h or 2?
h
Let f = 5 + -3. Which is smaller: f or -2?
-2
Suppose 5*a + 2*r - 4*r + 4 = 0, -2 = 5*a - r. Which is smaller: a or 1/6?
a
Let g = 7 - 5. Let f(l) = -2*l + 1. Let w be f(-1). Is w at most g?
False
Let n = 0.4 + -0.57. Is 0.1 at most as big as n?
False
Let t = -215/6859 + 4274065/7249963. Let u = t - -2/151. Is 1 equal to u?
False
Suppose -s = 3*a + 11, s + a + 3 = 6*a. Which is greater: s or -9?
s
Let u = 5 + -2. Let r = -2632/5 - -528. Is r greater than or equal to u?
False
Let a = -84/31 - -2259/868. Which is bigger: 0 or a?
0
Suppose 4*j = -3*a + 53, 17 = -2*a - 3*j + 53. Let n be ((-54)/a)/((-3)/(-290)). Let p = 2440/7 + n. Is 0 at least p?
False
Let c be 6/(-7)*(-189)/135. Let o = -5 + 6. Is c greater than o?
True
Let z = 601 + -621.96. Let g = z + 20. Let n = g + -0.04. Is n > -2?
True
Suppose 2*x - 3*y = -6*y - 5, 2*x = 3*y - 23. Let j = x - -27/4. Is j <= -0.05?
True
Let o = 51 - 36. Let k = o - 17. Is -3 greater than or equal to k?
False
Let j(w) = w**3 - 4*w**2 - 5*w - 1. Let k be j(5). Suppose -5*z = 2*n, 7 = z - 4*n - 15. Let v be (z/6)/(7/(-9)). Which is smaller: k or v?
k
Suppose 4*x = -3*j - 0*x + 15, 9 = 3*x. Suppose 0 = -q - 4*q - 15. Let b = q + j. Which is greater: -1 or b?
-1
Let n = 125/2 - 63. Suppose 4*m + 3*w + 13 = 0, 0*m + 3*m + 9 = -2*w. Is m not equal to n?
True
Let a be 2 - ((-4 - -2) + 3). Let v = -157 + 1103/7. Is v smaller than a?
True
Suppose 26*y + 3 = 23*y. Do -31 and y have different values?
True
Let q be (-9)/7 + 1 + 0. Let d be -5*(-1)/((-15)/(-36)). Suppose -3*g + x + d = 4*x, -2*x = -g - 11. Is g less than q?
True
Suppose 3*u - 14 = -5, 0 = -4*s - 5*u + 31. Suppose -4*z = -2*b + 4, -2*z + 2*b - 2 - s = 0. Which is greater: -1/8 or z?
z
Suppose -2*r - 4 = -8. Suppose -5 = 2*b + 5*k, -2*b - r*k = 2*k + 4. Let c = 3.1 + -3. Is b greater than c?
False
Let m = 104 - 119. Is -14 <= m?
False
Suppose 2*z + 1 = 7. Which is greater: z or 2?
z
Let c = 30 + -22. Which is bigger: c or 9?
9
Let a = 1 - 0. Suppose -3*t = -2*y + 1, -4 = 2*t - 2*y - 2. Are a and t equal?
True
Suppose 5*f - 17 = -4*q, -f - 8 = q - 4*q. Suppose 5*g = q*g. Suppose 21 = -3*m - 5*h, -h + g*h + 5 = -4*m. Do -1 and m have the same value?
False
Suppose 9 = -3*c - 0*c + 3*i, 2*c = 4*i + 2. Is c smaller than -9?
False
Let v = 20 - 34. Which is smaller: v or -15?
-15
Suppose -3*x = -2*g + 14, -4*x - 20 = -2*g - 2*g. Suppose 0 = -f - 4 + 2. Let a be -4 + f/(-6)*0. Are x and a equal?
True
Suppose -2*w - 27 = -71. Let j = 26 - w. Which is smaller: 6 or j?
j
Let a be (9 + -8)*(-1)/1. Suppose -2*b - 3*v = -22, -4*b - 3*v + 0*v = -32. Suppose -f - 3*f = -b*w + 28, 5*f + 5*w = 10. Which is smaller: f or a?
f
Let r be 167/28 - 20/(-70). Which is smaller: r or 5?
5
Let w = -1 + 9. Suppose -3*k - w = k. Is k smaller than -1?
True
Suppose 0 = 5*x - 3*o - 11, -2*o + 0*o = 3*x + 1. Is -1/5 < x?
True
Let t(j) = -j**3 - 3*j**2. Let l be t(-4). Suppose 2*f = -f + c + 3, 0 = 2*f + 4*c - l. Let b be (-1)/((0 - 0) + -1). Which is bigger: b or f?
f
Let u(c) = -c**2 + 4*c + 1. Let g be u(3). Suppose 4*f + 28 = -g*l, 4*f = -17 - 3. Which is bigger: -3 or l?
l
Suppose 0 = -15*w + 16*w. Suppose w*a - 40 = -4*a. Do -1 and a have the same value?
False
Suppose 2*k = 3*k. Let g be ((-3)/(-9) + 0)*1. Which is greater: g or k?
g
Let o be (-1 + -4)*(-132)/30. Let g be 12/o + -8 + 8. Which is greater: g or 1?
1
Let t = -3 + 3. Let v be (0 - 1 - t)*1. Let w(r) = -r**2 + 6*r - 6. Let b be w(5). Is v at least as big as b?
True
Let h(t) = -t**2 + 9*t - 7. Suppose 5*v - 6 = 2*n + 36, -5*v - 5*n + 35 = 0. Let k be h(v). Which is bigger: k or 2/43?
k
Let v = 0.4 - 0.3. Let y be ((-16)/9)/(4/526). Let a = 234 + y. Is v < a?
True
Let l = 2 - 2. Is l at least as big as 1/8?
False
Let r = 17 + -17. Is r > 2/11?
False
Let m = 0.07 - 5.07. Let v = 6 + m. Is -5 <= v?
True
Let o = 0.04 - -0.07. Let u = 6.11 - o. Which is smaller: 0.1 or u?
0.1
Let o = -26 - -17. Let q = o + 8. Which is smaller: 2/7 or q?
q
Let m be ((-4)/16 - 2/8)*0. Is 1/2 less than m?
False
Suppose 5*y - 5*r - 21 - 9 = 0, 5*r + 15 = 0. Suppose 0 = -y*j - j + 4. Which is smaller: j or 2?
j
Let v be -4*(-33)/36*-3. Let d = v + 7. Is d bigger than -3?
False
Let t(b) = -4*b**3 + 3*b**2 - b**2 + 1 + 4*b - 5*b. Let q be t(2). Let a be 35/q - (-1 - 0). Which is smaller: -1 or a?
-1
Let l = 0.3 - -1.7. Let h(g) = 0 - 3*g + g**2 - 2*g + 3. Let m be h(4). Which is smaller: l or m?
m
Suppose -133 = -5*v - 2*z, -2*v + 5*v - 5*z = 55. Suppose -s = 4*s - v. Which is smaller: 6 or s?
s
Let i = 10 - 17. Let a = i - -8. Which is smaller: -2 or a?
-2
Let v be (-28)/(-12) + 4/6. Suppose -v*d + 3*a = 0, -5 + 1 = 2*d - 4*a. Suppose -d*z = -3*z. Which is bigger: -2 or z?
z
Let s be (-9)/(-39) + (2 - 2)/(-1). Is -1 at most s?
True
Let b(w) = -w - 2. Let d be b(-4). Suppose 2*v + 4 = -v - 2*m, m + 1 = -d*v. Suppose -4*h + 1 = -3*g + 8, 2*g + 14 = -v*h. Which is smaller: -5 or h?
-5
Let x(b) = b + 8. Suppose 2*p + 28 = -2*p. Let g be x(p). Is g bigger than 2?
False
Suppose s - 8 = -4. Is 3 bigger than s?
False
Let h(c) = -c - 2. Let a be h(-6). Suppose 0 = -a*x + s - 2, 3*x - 5*s = 2 + 5. Which is smaller: -2/9 or x?
x
Suppose 4*v - 8*r + 3*r = 8, 0 = 3*v + 3*r - 6. Suppose v*p - 3*p = 0. Is -2 < p?
True
Let d = -2.74 + -0.26. Is d < 3?
True
Let z = 48 - -2. Is 50 < z?
False
Let j be -2*(-2 + 4) + -2. Let p be 33/j*(-6)/(-15). Is p at least as big as 0.1?
False
Let l be (1 + 0)*(-2)/(-7). Suppose -2*a - a = -15. Suppose b - 25 = -a*y, b = -b + 5*y - 10. Is b <= l?
False
Let f be (-1)/4 + 76473/324. Let c = -236 + f. Which is bigger: 1 or c?
1
Suppose -4*v - 3*p = -2*v - 4, -3*v - 13 = -5*p. Let j be 15/(-3) + (-1 - -3). Which is bigger: v or j?
v
Let y(s) be the third deri