s?
True
Let d = -34 + 34.1. Let w = -0.2 + 1.2. Which is smaller: w or d?
d
Suppose u - 501 = -2*u. Let t = u + -2173/13. Is t smaller than 1?
True
Suppose -6*c = -2*c. Is -8/3 > c?
False
Let c = 10 + -2. Let k be c/2 + -2 + -3. Is 0 < k?
False
Let o = -130 + 653/5. Let k = 2 - 0. Is o > k?
False
Let g = -8.84 + 9. Let r = g + -0.2. Which is bigger: r or -0.2?
r
Let x = 0 - 0.3. Let k = -0.4 - x. Let c = -4 - -6. Which is smaller: k or c?
k
Let a be 3*(-1)/(-2)*2. Suppose -2*j = -5 + 1. Which is smaller: j or a?
j
Let q = 1.2 + -3.2. Let a = 13/20 + 1/60. Is a less than q?
False
Let s = -429 - -1267/3. Is s bigger than -8?
True
Let h = -2 - 0. Is 0 greater than or equal to h?
True
Let f(t) = t**2 + 6*t - 2. Let g be f(-6). Suppose 0*a = 2*a + 4. Is g greater than a?
False
Suppose -b = 3 - 1. Let g be -1 + 2 - (0 - -2). Is b less than g?
True
Let i = -1.8 + 2. Let w = -0.8 - i. Let t = 3/5 - 11/10. Is w less than t?
True
Let f be -57*26/(-30) - 3/(-5). Is f smaller than 51?
True
Let n be (-1)/4 + (-3)/(-12). Let b = 3 - n. Suppose -w + 4 = -2*a, 0*w = w - a - 3. Which is smaller: w or b?
w
Suppose 0 = 4*u + 3*z - 28 + 5, 28 = 4*u + 4*z. Let t be (2/u)/(-3 + 2). Is t smaller than -0.2?
True
Let j = -2.8 - -11.8. Which is bigger: j or 2/5?
j
Let s = -2 - -7. Let c be (-15)/4*(-1)/s. Which is smaller: c or 0?
0
Let v = -6 + 12. Let l be v/20*(-24)/18. Let a = 0.2 - 0.3. Is a smaller than l?
False
Let m = -7 - -3. Is -6 at least m?
False
Let s = 14 - 11.1. Let t = 2.98 + 0.02. Let o = t - s. Are o and 1/2 equal?
False
Suppose -4*w + 2*w - 1 = 3*c, 15 = -5*c. Suppose 8 = -w*y - 4. Which is smaller: y or -1?
y
Let c(t) = t**2 - 9*t + 4. Let x(a) = -3*a**2 + 28*a - 12. Let k(d) = d - 7. Let b be k(0). Let j(o) = b*c(o) - 2*x(o). Let w be j(6). Is w less than 2?
False
Let i = -34 + 39. Which is smaller: i or 7?
i
Let c(u) = -u**2 - 3*u + 2. Let a be c(-3). Let t be -2*(a - 3)/6. Let n be (4/6)/((-20)/45). Which is smaller: n or t?
n
Let k be 144/110 + (2 - 72/30). Is k at least 2?
False
Let j(r) = -r**3 + 6*r**2 - 2*r + 4. Let m be j(6). Which is greater: m or -9?
m
Let s be (-2)/(-3 + (-1 - -1) - -5). Is s <= 1/96?
True
Let d(b) = b - 1. Let s(q) = -q**2 + 5*q + 4. Let u(x) = d(x) - s(x). Let z be u(3). Is z bigger than -13/2?
False
Let s be (-51)/10 + (18/10)/3. Which is greater: -6 or s?
s
Suppose -4 = -4*s + 32. Let t be 8/((-96)/(-18))*6. Is t < s?
False
Let q = 11 - 11. Which is smaller: 2/15 or q?
q
Let j = 3 + 4. Let i be 4*5/(-30) - 43/(-6). Are j and i nonequal?
True
Let a = 5 - 0. Suppose 3*l - a = -3*v + 2*l, -4*v - 4 = -4*l. Are 6/13 and v equal?
False
Suppose -4*g = -0*g - x + 19, -6 = 3*g + 2*x. Let o(n) = -n**2 - 11*n - 5. Let b be o(-9). Suppose 4*r = 1 - b. Which is smaller: r or g?
g
Let r be -2*4/(-5) + 0. Is r <= 2?
True
Let u = 23734/265 - 448/5. Is 0 at least as big as u?
True
Let p = -3.8 - -12.9. Let g = p + -9. Is -3 less than or equal to g?
True
Let l = 11 - 7. Suppose c - 2*g + 10 = 0, 14 = -l*c + c + 2*g. Which is bigger: c or -3?
c
Suppose -5*f - y - 6 = 0, -4*f + 4*y - 16 = 2*y. Which is bigger: f or 0.02?
0.02
Let t be ((-4 - -3) + -4)*1. Which is smaller: -8 or t?
-8
Suppose 2*b + 8 = 7*b + l, 7 = -2*b + 3*l. Let j be 2*1/(-2)*-1. Is j equal to b?
True
Let r = 4.801 + 0.199. Let z = 0.1 + 0.1. Let s = 0.1 - z. Which is smaller: r or s?
s
Let j be 1 + 1 + (-2)/1. Let o = j - -3. Which is greater: 3/2 or o?
o
Let i(k) = -k - 4. Let t be i(4). Do t and -5 have the same value?
False
Let j be -1*(0 - 1/13). Let u = 2 + -2. Which is greater: u or j?
j
Let q = 0.3 + 2.7. Which is greater: 0.2 or q?
q
Suppose -5*w = 5 - 15. Let d be 2 - (-2 - 0)/(-2). Let m be d/(-4) - (-34)/8. Is m at least as big as w?
True
Let w be (2/(-6))/((-6)/18). Let u = w + -3/2. Which is greater: u or 2?
2
Let q be (1/1)/(-1*1). Suppose -72 - 167 = -f. Let y = f - 1199/5. Is y <= q?
False
Let j = -1/9 - 11/63. Which is greater: 0 or j?
0
Suppose 2 = -4*j + 10. Suppose 0*b + j = -2*b. Let n be 18/(-16) + (2 - 1). Is n less than b?
False
Suppose -2*d - 5*m + 5 = 0, 0 = -3*d + 5*m - 8 + 3. Is d < 7/10?
True
Suppose 8 = 2*w + 2*k - 8, 2*w + 5*k = 25. Let q(z) = -2*z**2 - 6*z + 4. Let t be q(-5). Let v = -10 - t. Is w greater than or equal to v?
False
Suppose -2*k + 5 = z, -3*z + 5*k = z - 20. Suppose 4*m - 4*j + 0 + 4 = 0, z*m - j = 7. Which is greater: m or -0.06?
m
Let q(x) = -x**2 - 6*x - 6. Let r be q(-5). Is 1 < r?
False
Suppose -3*c + 34*b - 30*b + 40 = 0, 44 = 3*c - 5*b. Suppose 2*z + 4*a = 0, 5*a = 2*z + 2*z - 39. Is c > z?
True
Let u = 0.26 - 0.08. Which is smaller: u or -2?
-2
Let d be 7 + -27 + (-4)/6. Which is smaller: -20 or d?
d
Let x = -18 - -20. Which is bigger: x or -1?
x
Let i = 1 + -9. Let r = i + 5. Let j = 1 + r. Is -1 equal to j?
False
Let c be (5 - 4)/(2*1). Are 0.3 and c unequal?
True
Let d = -32.98 + 33. Is d at least as big as -0.1?
True
Suppose -b = 2*b + 6. Let n be (-51)/(-45) + b + 1. Is n at least 1?
False
Suppose -4*f + 26 = 2*l, -5*l + f + 37 = 4*f. Suppose l*z + 12 = 7*z. Suppose 0 = x - 5*i - 18 - 6, x + i = -z. Is -2/3 at most as big as x?
False
Let q(z) = z**3 - 2*z + 7. Let p be q(-3). Is p at most -16?
False
Let y = -0.5 - 4.5. Let t = 5.1 + y. Let k be 15/(-25) - (-2)/10. Which is smaller: t or k?
k
Let g = 3 - -2. Suppose 3*q = -1 - g. Is q greater than or equal to -1?
False
Let a = -25.9 + 29. Let q = -3 + a. Let z = 0.2 - q. Which is bigger: z or -2?
z
Let o = 3.8 + 1.2. Let f(p) = p**2 + 7*p + 2. Let r be f(-6). Let h be (r/(-2))/(6 - 0). Which is smaller: o or h?
h
Let w = -282.1 + 266.09. Let n = w - -16. Which is bigger: -2 or n?
n
Let l be (-3)/(-3) - (1 - -2). Let q be l/8 - (-1)/12. Let z be -5 - (-1 - (6 + -3)). Which is smaller: z or q?
z
Let i = 1376/7 - 16673/84. Let v = i - -2/3. Is -1 less than or equal to v?
False
Let a = 0.15 + -0.1. Which is greater: 2/9 or a?
2/9
Let l = -1.5 - -10.5. Let n = -9.1 + l. Is 0.3 < n?
False
Suppose 4*q + 28 = -0*q. Let m be (2*(-3)/2)/q. Let k = -0.2 + 0.3. Which is greater: m or k?
m
Let h be 12/(-90)*(-5)/3. Is 0 at most as big as h?
True
Let j(b) = -b + 10. Let k be j(13). Let y(a) = -a**3 + 2*a + 1. Let i be y(2). Let x = i - -2. Is k smaller than x?
True
Let w = 0.7 + -0.85. Let g = 0.05 + w. Is g less than 6?
True
Let o = 1 + -1. Let m = -0.12 - -0.12. Let w = o + m. Is w smaller than 1/6?
True
Let g = -13873/25 - -555. Is -1 less than g?
True
Let s be (8/6)/((-8)/12). Let r be ((4/(-2))/s)/1. Which is bigger: r or 9/5?
9/5
Suppose 4*d + 1 = 5. Suppose -m = -0 + d. Do m and -2 have the same value?
False
Let g be 1/2*-1*0. Let l(b) = -b**3 - 5*b**2 - 6*b - 5. Let w be l(-4). Suppose 5*c - 7 - w = 0. Is c bigger than g?
True
Let o(r) = r**3 + r**2 - 6*r + 1. Let i be o(-3). Is i greater than or equal to 4/17?
True
Suppose -4*i - 6 + 74 = 0. Which is smaller: 16 or i?
16
Let z(d) be the third derivative of d**5/60 - d**4/6 + d**3/3 + d**2. Let m be z(2). Is m greater than -1?
False
Let t = 295/28 - 41/4. Is t >= -1.5?
True
Let r = -53 + 79. Let u = 22 - r. Do u and -4 have the same value?
True
Let c = 27 - 23. Is c < 4/5?
False
Let l be ((-2)/(-15))/((-13)/65). Which is greater: 3 or l?
3
Let k be 0 + 3 - (-7)/(-21)*3. Let s be (-3 - -3) + 2 + 0. Let h be (-2 + s)*(-2)/4. Does h = k?
False
Suppose r = -3 + 15. Let c(b) = b. Let z be c(r). Is -1 at least z?
False
Let i = 165/2 - 1819/22. Let v be (7 - 2) + -1 - -1. Let j = v - 5. Do j and i have different values?
True
Suppose 0*x - 56 = -5*h + x, 0 = 3*h - 2*x - 35. Is h less than 13?
True
Suppose x + 2*x = 0. Let p = x - 3. Let a(g) = -g**3 - 3*g**2 + g + 3. Let k be a(p). Which is smaller: k or -1?
-1
Let g = -0.3 - 0.7. Let t = -0.1 + -0.2. Let l = t + 0.2. Which is bigger: l or g?
l
Let y be (2 - 0)*(8 - 10). Are y and -5 nonequal?
True
Let p = 5 + -10. Let w = 0 - p. Suppose 3*b - 7*b - 3*f = 8, w*b + f + 10 = 0. Is b greater than -3?
True
Let i(w) be the second derivative of w**4/12 + w**3 + 3*w**2/2 + 8*w. Let v be i(-6). Is 1 bigger than v?
False
Suppose -3*o - 2 = -n, o - 9 = -3*n + 17. Let q be ((-6)/(-12))/(42/n). Which is smaller: q or -2/3?
-2/3
Let z be (606/(-8))/((-35)/(-8)). Let k = -110/7 - z. Which is smaller: 1 or k?
1
Let f = -67 - -205/3. Suppose h + 6 = -2*d - 0*d, 0 = 2*h - 3*d - 16. Wh