 -0*w - c, -8 = 3*w - c. Is w at most as big as -9/2?
False
Let l = 33 + -20. Let d = 6 - l. Which is bigger: 0 or d?
0
Let o = -111 - -75. Let m = o + 25. Which is greater: -10 or m?
-10
Let f be 4/10*(-3 - -2). Is f less than or equal to -0.1?
True
Let n = -0.26 + -0.04. Let k = -2.3 - n. Which is bigger: 3 or k?
3
Let k be (-4)/28 - (-22)/7. Let n = 2 + 2. Does k = n?
False
Suppose -k + 2*k + c - 1 = 0, -3*k + 4 = 2*c. Let s = 4/35 - -128/105. Which is smaller: s or k?
s
Let g = -142 + 153. Is 2 less than or equal to g?
True
Let o = 4 - 1. Let f(r) = -2*r + 5*r - 2*r - o. Let s be f(3). Is s < -1/3?
False
Let h(p) = -2*p**3 - 1. Let d be h(-1). Is d < 0?
False
Let j(n) = n**3 + 3*n**2 + 2*n + 1. Let t be j(-2). Let q be (-6)/40*(-3 - t). Suppose -14 = -5*h - 3*p - 0, 0 = -2*p + 6. Which is greater: h or q?
h
Let r = -2 + 1. Suppose 2*n = -n + 12. Suppose -n - 2 = 3*w. Do r and w have the same value?
False
Suppose 0*t - 5*f + 14 = -4*t, -2*t + f = 4. Let v = -11266676/221 + 50978. Let j = 44/17 + v. Which is smaller: t or j?
t
Suppose u + 1 = -0*u. Suppose -5*t - 141 + 136 = 0. Do t and u have the same value?
True
Suppose 3*t = 2*h + 2, 0 = -4*h - 0*t + 5*t - 4. Which is smaller: 2/45 or h?
h
Let f = -57 - -46. Which is smaller: -72/7 or f?
f
Let t = 15 + -11. Suppose 6 = -t*m - 6. Let a = m + 3. Is a greater than or equal to 0.1?
False
Let p(s) = -s**2 + 9*s - 4. Let o be p(8). Suppose 0 = j + 2*u - 9, -o*j + 2*u + 3*u = 16. Let x be (1/12*-2)/1. Is x greater than or equal to j?
False
Let a(p) = p**3 + 3*p**2 - 3*p + 3. Let q be a(-3). Let h be 3/q - (-33)/(-36). Let g be (0 + 0)/(-2 + 0). Is g at most h?
False
Suppose -5*j = -0 - 10. Let g(l) = 4*l**3 + 2*l**2 + 2*l - 2. Let b be g(j). Let n be b/30 - 4/10. Are 2/13 and n unequal?
True
Let q be (-315)/108 - (0 - 3). Which is greater: q or 1?
1
Suppose 6 = -5*g - 79. Which is smaller: -15 or g?
g
Let p(v) = -5*v + 2. Let k be p(2). Which is bigger: -15/2 or k?
-15/2
Let z = 0.04 - -0.08. Let f = z + 0.08. Is 0 not equal to f?
True
Let x = 0.24 - 6.24. Let r = 7 + 0. Let n = r + x. Which is greater: n or 0?
n
Let x = -190.11 - -189. Let a = x - -0.11. Is a equal to -2?
False
Let k(t) = -t**2 + 2*t + 4. Let v be k(3). Suppose -2*z = -6*z + 12. Let m be (1/2)/(z/4). Which is smaller: v or m?
m
Let o = 15 + -11. Which is smaller: o or 6?
o
Let h be ((-4)/(-8))/((-6)/(-4) + -2). Is h > 4/17?
False
Let m = 0.34 - 1.5. Let i = 0.16 + m. Is 0.04 >= i?
True
Let i be ((-7)/(35/(-15)))/3. Let y = -165 - -1158/7. Is i not equal to y?
True
Suppose 0 = -4*l + 3*j + 21, -3*l + 5*j + 25 = 1. Suppose l*a = 3*z + 6, -z - 4 = -3*a - 6. Which is smaller: -1 or a?
a
Suppose -r + 0*r = 0. Let l = -2 - r. Let q be (-1)/l*-3 + 1. Which is smaller: 0 or q?
q
Let x = -117 - -1051/9. Let u = 1 + -1. Suppose -3*l + l + 2 = u. Which is smaller: x or l?
x
Let u(y) = -y - 8. Let s be u(-6). Let z be (-2 - -1) + (-4)/s. Does z = -4?
False
Let s(d) = -d**2 + 7*d + 8. Let g be s(6). Let k = g - 10. Suppose -k*h = -4 - 0. Which is greater: h or -2?
h
Let h be 48/(-9)*3/2. Which is smaller: h or -3?
h
Let v = -0.34 - 14.66. Let r = 17 + v. Let z = 3 - 1. Is z > r?
False
Let i be 4/2*6/(-3). Let n(x) be the second derivative of x**3/6 + 2*x**2 - 2*x. Let s be n(i). Which is greater: -3 or s?
s
Let h = -105/4 + 26. Let c(n) = -n + 7. Let m be c(0). Suppose -t + 2 = -m*a + 2*a, 8 = -a + 4*t. Is h > a?
False
Suppose 4*w + 1 = -15. Let f = 5 + w. Is f smaller than -1?
False
Let h be (3 - 1) + (-104)/50. Suppose j - 5 = 3*a + 3*j, -5*j - 20 = 0. Which is smaller: h or a?
h
Let j = 1822/5837 - 2/449. Which is bigger: j or -1?
j
Suppose 4*i = 2*h + 20, -5*h - 1 - 1 = 2*i. Suppose 553 - 113 = -i*j. Let g = 768/7 + j. Is -1 at most as big as g?
True
Let f be ((-15)/(-27) - 1) + 0. Let g(r) be the third derivative of -r**6/120 - r**5/10 - 5*r**4/24 + r**3/6 + r**2. Let s be g(-5). Which is bigger: f or s?
s
Let h = -0.33 - -0.03. Let q = 1 - -2. Suppose v - 4*u + 1 + 3 = 0, q*u = 2*v + 3. Is v < h?
False
Let w = -16 - -18. Is w > -3?
True
Let y = -3 + 3. Let c(p) = p. Let l be c(-1). Which is greater: l or y?
y
Let l be 1/(-4)*0/4. Which is smaller: 7/8 or l?
l
Let r be (-4)/(-18) + (-572)/(-99). Suppose -2*a = -4*j - 18, -2*a + 19 = -r*a - 3*j. Which is bigger: a or 0?
0
Let b = -18 - -11. Let w be -8 + 0 + 3*3/9. Let s be (2/w)/((-3)/b). Which is smaller: s or 2?
s
Suppose 0 = 5*i + 4*f - 17, -6*i + i - f + 8 = 0. Is i equal to 1/35?
False
Suppose -5*o + 13 = 3*w + 3, -29 = 4*o - 5*w. Which is bigger: o or -7?
o
Let t = -0.11 - -0.01. Let u = 46.5 - 45. Which is smaller: t or u?
t
Let h = -1146/7 + 164. Let q be ((-3)/(-2))/(15/10). Is h not equal to q?
True
Let u be 4/(-10) + 6/15. Let j = u + -1. Do j and -2/19 have the same value?
False
Let b = -2 + 3. Let k be ((-1)/(-2))/((-4)/(-9)) + -1. Is k at most as big as b?
True
Let c = -1.2 + 0.2. Let j = c + 4. Let p = -128 - -898/7. Which is greater: p or j?
j
Let w = -80 - -236/3. Which is greater: -1 or w?
-1
Let w = -26 + 23. Are -23/14 and w unequal?
True
Suppose 36 - 12 = 4*v. Which is smaller: v or 8?
v
Let i = -8 + 11. Suppose v = -i + 1. Which is smaller: -3 or v?
-3
Let v = -28 + 40. Let w be 1/((-1)/(-2)) + 9. Which is bigger: v or w?
v
Let q = -2 + 1. Let s be -1*(-2)/(-12) - (-1)/(-6). Which is bigger: q or s?
s
Let i = 111 + -98. Which is smaller: 6 or i?
6
Let d(g) = 3*g**2 - 1. Let q be d(-1). Let r be 0 + q + (-62)/34. Is 1 at least r?
True
Let y be 3 - (0 + (-4)/(-4)). Let v = 3 - 0. Which is greater: y or v?
v
Let s(t) = t**3 + t - t - 4 - 5*t**2 + t. Let u be s(5). Let j be 2*(1 + (-6)/7). Which is smaller: u or j?
j
Suppose -12*o - 23 = -83. Which is smaller: 4 or o?
4
Suppose s + 4 = -4*i - 2*s, -s - 3 = 3*i. Let q be (-1)/(15/(-18))*5. Suppose 3*v + 18 = 5*j, 4*j - q = 6. Is i greater than v?
False
Let n = -2.09 + 2.4. Which is smaller: n or -2/3?
-2/3
Suppose 4*g + 9 - 1 = 0. Let k be 13/39 - g/(-42). Let l(v) = v + 5. Let s be l(-5). Which is smaller: k or s?
s
Let s = -12 + 21. Let z = 0 + 10. Which is smaller: z or s?
s
Let v be 288/20 - 2/5. Is 14 smaller than v?
False
Let s = 1981/8 - 248. Suppose -5 = -d - 1. Let g be (2/d)/(3/(-6)). Which is greater: s or g?
s
Let m = 12/7 + -53/35. Let p be (-1 - -2*1)*1. Which is greater: p or m?
p
Let h be (1/(-4))/((-7)/28). Let s be (4/8)/((-5)/(-2)). Which is smaller: s or h?
s
Suppose 0 = -3*d + 5*g + 181, -d + 220 = 3*d + 4*g. Is 57 greater than d?
False
Let g be (-2)/8*16/(-10). Let o = 12.2 + -0.2. Let x = -12 + o. Which is bigger: x or g?
g
Suppose -5*i - 11 - 6 = 4*j, 14 = i - 5*j. Let f be (-3 + (-6)/(-2))/(-2). Is i at least as big as f?
False
Suppose -c - 5 = -6. Do c and 1/6 have different values?
True
Let t be (-10)/(-3) - 1/3. Suppose -8*y + 1 = -4*y - t*a, y + 4 = 5*a. Which is greater: 1/3 or y?
y
Suppose -1 = -17*t + 18*t. Is -1.4 at least as big as t?
False
Suppose -5*u + 4*v = 44, 45 = -2*u - 4*v + 5. Do u and -10 have different values?
True
Let j = 6 - 12. Let f be (-1)/((-2)/(j/(-3))). Which is greater: -1/12 or f?
f
Let f = 2 - 2. Suppose -2*t + f*t - 4 = b, -t - 5*b = -7. Which is smaller: t or -2?
t
Suppose 9 = 3*l - 0*l. Suppose -l*f = -f + 4. Let a be f/(-6 - 2)*-1. Is 0.2 != a?
True
Suppose -2*u = 10, 4*k + 4*u = -12 - 12. Let c = -21370/7161 + -27/682. Let x = c - -20/7. Which is bigger: x or k?
x
Let o = 0.07 - 0.01. Let j = -0.76 + o. Let b = 0.71 + j. Is -1 greater than or equal to b?
False
Let c be 15*(-6)/9*3/1. Do -0.1 and c have the same value?
False
Let s = 8.3 + -7.6. Is -2/9 equal to s?
False
Suppose -5*v + 5 = -5*r, 3*v + 3 - 6 = -4*r. Let p = 1214/915 - -2/305. Which is smaller: r or p?
r
Suppose -2*b + 9 = -5*b. Which is bigger: b or -2?
-2
Let n be (-9 - -6) + 4018/(-18). Let z = n + 226. Is 1 greater than z?
True
Let y = -5/4 + 1. Is y greater than or equal to -1?
True
Suppose 2*g - 3*g + 3 = 0. Let c be 0 - g/((-66)/(-4)). Suppose 3*p + 2*o = -3*o - 12, -5*o - 18 = -3*p. Which is smaller: p or c?
c
Let v(q) = q - 8. Suppose 14 = 3*h - 7. Let p be v(h). Which is bigger: -2/7 or p?
-2/7
Suppose 2*c + 3*o + 9 = 0, 3*o + 3 = -5*c - 24. Let m be 64/77 + c/21. Are m and 1 non-equal?
True
Let g(i) = -3*i**3 + 2*i**2 + i - 2. Let b be g(2). Let c = -15 - b. Is -2/9 at most as big