. Let m = 0.2 - 0.3. Is y less than or equal to m?
True
Let f = 5/7 + -59/63. Let b(p) = -p**2 + 3*p + 4. Let i be b(4). Which is smaller: f or i?
f
Suppose -6 = -5*h + 2*h. Let y(l) = -l**3 + 2*l**2 + 1. Let d be y(h). Which is bigger: d or -1/3?
d
Let t(h) = -h**3 + h + 2. Let i be t(0). Suppose 6*a - a = 0. Are a and i equal?
False
Suppose 0*i + 116 = 3*i + l, 3*i - 140 = 5*l. Suppose 3*k = 0, 5*k + i = 2*r + 2*r. Let q = r + -5. Which is bigger: q or 4?
q
Let j = -3.08 + 3. Let d = j - -0.08. Which is smaller: -2 or d?
-2
Let d = -565/7 - -81. Which is bigger: d or 1?
1
Let w = 0.02 - -6.98. Let p = -6.9 + w. Is p at most as big as 2?
True
Suppose -2*k + v + 138 = 0, 216 = 3*k + 2*v + v. Let m be (-2)/(-4)*(-40)/k. Which is smaller: m or 0?
m
Let t = -33 + 39.6. Let m = t - 0.6. Which is greater: 0.1 or m?
m
Suppose 0 = 2*o + 2 - 0. Let q be ((-3)/(-57))/(o/(-2)). Suppose 0*p = 2*p. Which is greater: q or p?
q
Let y = -0.3 - -0.4. Let r be 4/(-22) - (-48)/(-99). Which is bigger: y or r?
y
Suppose u - 3 + 1 = 0. Let s(r) = -r**3 + 4*r**2 - 2*r - 2. Let l be s(u). Which is smaller: 1 or l?
1
Let z = -1.3 + 0.3. Let i be 1/(-3) + 3/9. Let y = i - 0. Which is smaller: y or z?
z
Let s = 51 + -76. Let w = 26 + s. Which is smaller: 2 or w?
w
Let s = 0.45 - -0.05. Let l = s - 2.5. Which is bigger: l or 0.3?
0.3
Let v = -180/11 - -2465/154. Is v != 1?
True
Let j be 0*(0/3 + -1). Let u be (2 - j)/(3 + 2). Suppose -2*q + 12 = -5*q. Which is smaller: q or u?
q
Let h = -50 + 68. Is h greater than or equal to 1/4?
True
Suppose 0 = 2*v - 4*a + 4, v - a = -3*a - 2. Are v and 52 nonequal?
True
Let d be 9/6*(-8)/(-138). Suppose 5*b = -h + 4*h - 16, -2*b = 2*h - 16. Suppose h*u = 3*u. Which is smaller: u or d?
u
Let g be 0/(1/2*-2). Suppose u = 3, 10 = -2*z + 2*u - g*u. Is z less than or equal to -3/2?
True
Let w(l) = l**3 - 6*l**2 + 6*l - 4. Let m be w(5). Are 0 and m equal?
False
Suppose 2 = -4*q + 6, -v + 4*q = 8. Let m(b) be the second derivative of -b**4/6 - b**3/2 + 2*b**2 + 6*b. Let l be m(-3). Is v at most l?
False
Let w = 21 - 18. Let y(s) = -s**3 + 6*s**2 - 8*s + 3. Let b be y(w). Is 5 greater than or equal to b?
False
Let d be ((-177)/120 - 8/20)*1. Which is greater: -3 or d?
d
Let f be 8/52 + (-446)/26. Is f > -20?
True
Suppose p + 4 = 6. Let f be (-18)/(-27)*p/6. Is 0 at most as big as f?
True
Suppose p = 4*j - 16, 3*p + p = -3*j + 12. Suppose 3*y = -y - j. Is 2/25 at least y?
True
Let k = 21 + -22. Which is smaller: k or -3/4?
k
Let b = -15 + 16. Which is greater: 0 or b?
b
Let q be (16/(-18))/((-4)/(-6)). Suppose 0*p + 5*p = -n + 72, 2*n = 3*p - 51. Suppose -5*h + 3*o - p = 7, -4*o = -4*h - 24. Which is greater: h or q?
q
Let q(a) = a**2 - 9*a + 8. Let y be q(5). Suppose 18 = -4*g - 34. Is y not equal to g?
True
Suppose 3*m - 3*w - 12 = 0, 20 = 3*m - 4*m - 5*w. Is m bigger than -2/7?
True
Let c(o) = o + 5. Let k be c(-6). Let n be 1*3 + 3 + k. Suppose -5*s + 4*s - 5 = -3*f, 0 = n*f - 2*s - 8. Which is smaller: f or 1?
1
Let i be (-6292)/165 - 2/(-15). Which is greater: i or -35?
-35
Let u be 1/3*(-360)/56. Which is smaller: -3 or u?
-3
Suppose 0 = 2*t, 0*q = -3*q - 4*t + 3. Let z be -1 + q - 2 - -2. Let j = 153/20 - 37/5. Is j at most z?
False
Let d = 6 - 8. Which is greater: d or 1?
1
Let l = 35 - 34.8. Which is smaller: -1 or l?
-1
Let s = 10 - 5. Suppose -s*g + 7 = -4*g. Let n = -22/3 + g. Is -1 greater than n?
False
Let w(c) be the second derivative of c**4/12 - 7*c**3/6 + 3*c**2 + c. Let r be w(6). Which is greater: 2 or r?
2
Let w = 12.3 - 9.3. Is w greater than 1.4?
True
Let b be (2/5)/(4/2). Suppose 0 = -12*i + 11 + 1. Is b at least i?
False
Let y = -12 + 107/9. Suppose 2 = 3*q - 1. Is y at most q?
True
Suppose -3*d + 18 = -5*x - 2*d, 2*x = 3*d - 2. Which is bigger: x or -22/5?
x
Let z = 0.05 - 1.05. Which is greater: -2 or z?
z
Suppose -d = -4*d - 12, 3*d = 4*o - 24. Which is smaller: 2 or o?
2
Let c = -152 - -81. Let g = 783/11 + c. Is g at most as big as 0?
False
Let k = 17 - 12. Suppose 11 = -5*c - 4, -t + 4*c = -11. Which is bigger: k or t?
k
Let d(q) = q - q + 0*q - 2*q + 13. Let v be d(6). Is 1/3 less than or equal to v?
True
Let x(m) = 9*m**2 - 2*m + 3. Let p be x(1). Let i(q) = -q**2 - 6*q + 6. Let l be i(-5). Which is smaller: p or l?
p
Let y = -2/291 + -476/15423. Which is smaller: 0 or y?
y
Let y = -43 - -27. Which is bigger: y or -17?
y
Let k(g) = -g**3 - 17*g**2 + 16*g - 35. Let n be k(-18). Is 22 > n?
True
Let l = -1.1 - -1.1. Let h = l + -1. Is h greater than -3/7?
False
Let d = -6 - -3. Let i = -8 + 6. Let f = i - -1. Which is bigger: d or f?
f
Let a = -151 + 11625/77. Is -1 at most as big as a?
True
Suppose 0 = d + 6 - 5. Is -1 smaller than d?
False
Let o be -5 - 10/((-80)/39). Which is smaller: 0 or o?
o
Let m be 0/((-3)/(-1 - 2)). Let p = 4216/9 - 468. Which is bigger: p or m?
p
Suppose -2*k + 18 = -2*n, 4*k - 7*n - 41 = -2*n. Suppose 60 = k*t - 0*t. Suppose 3*q - 3 = -t. Is -4 >= q?
True
Suppose -3*r = -5*d + 4, 4 = d - 2*d + 3*r. Which is smaller: 10/11 or d?
10/11
Let w be (-3 - 30) + -1*1. Let d be 2 - w/(-10) - -2. Which is smaller: d or 0?
0
Let t be 6792/9 - 4/(-30). Let y = t - 752. Is y at least 3?
False
Let y be 10/(-55) - (-63)/286. Which is greater: y or -1?
y
Let j = 0.8 + -1.8. Is -0.8 less than j?
False
Let b = 4 - 4.04. Let u = b - 0.96. Which is smaller: 0.1 or u?
u
Suppose 75 = -31*v + 28*v. Which is smaller: 2 or v?
v
Let u = 1.187 + 4.903. Let n = u + -0.09. Is n equal to 0.1?
False
Suppose -4*r = -5*v - 16 - 2, 4*v + 14 = 3*r. Suppose 0 = -2*l - 0 - 6, 3*s - 9 = l. Which is smaller: v or s?
v
Let l = 2 - -12. Suppose 0 = -z - 5*d - l, -5*z - 14 = -2*d + 2. Suppose 3*g = -0*g. Is z >= g?
False
Let x be -2 + 8 + 6 + -6. Which is smaller: x or 5?
5
Let g = 16.1 - 16. Suppose 4*x - 24 = -4*u, x + 3 = -0*x + 2*u. Suppose -2*v - 10 = 4*y, -y + 15 = x*v - 5*y. Is v less than g?
False
Suppose 10*o + 21 = 3*o. Let h = 0 - 4. Is h greater than or equal to o?
False
Let x = 4.06 + -0.06. Let k = -5 + x. Let s = 2 - -1. Are k and s nonequal?
True
Suppose -2*t - t + 39 = 3*y, 5*t = y - 31. Let z = y + -77/5. Are 2 and z nonequal?
True
Suppose -2*a + 0*a + 4*c = -70, 4*c = -2*a + 30. Suppose -2*n - 3*n = -4*h + 17, -5*h - 3*n - a = 0. Which is smaller: -5/4 or h?
h
Let v = 7.6 + -7. Let z = v - 0.7. Which is smaller: -0.7 or z?
-0.7
Let b be 2*(-3 + 1) - (0 - 150). Is 1 smaller than b?
True
Let k = 8/1417 - -592250/9919. Let g = k + -9600/161. Which is bigger: 0 or g?
g
Let k = 1 + 1. Suppose k*o - 15 = -o. Is o less than 6?
True
Let c(s) = s - 5. Let y be c(6). Let z = 2 - y. Is -1/15 at least as big as z?
False
Suppose 0*d + 4*a = -4*d - 40, -3*d - 36 = -3*a. Let q = 11 + d. Which is greater: q or 2/45?
2/45
Let q(x) = x + 1. Let t(d) = -d - 17. Let g be t(-8). Let l be q(g). Which is smaller: l or -9?
-9
Suppose -2*p - d + 2 = -p, -24 = -4*p + 4*d. Suppose 0 = -2*c + 8, -3*y = -c - 51 - 53. Let f be y/15 - 6/15. Which is bigger: f or p?
p
Let h = -54 - -54. Let i = -6/157 + 392/2041. Which is greater: h or i?
i
Let b be (16/(-10))/(1/85). Let k = 964/7 + b. Are 2 and k non-equal?
True
Let y(t) = -t**3 - 5*t**2 - 2*t - 2. Let f be y(-5). Suppose -f*p + 4*p - 4 = 0. Which is greater: 2 or p?
2
Suppose -4*b = -17 - 15. Suppose -p - s = 2*s - 10, b = 2*s. Let t be p/4*0/4. Is -2/3 bigger than t?
False
Let k be (-320)/305 + -1 - -2. Which is bigger: -1 or k?
k
Let x be (6/(-5))/(3/(-15)). Let v(q) = -2*q**2 - x*q + 3*q**2 + 0*q**2. Let j be v(6). Are j and -1/4 equal?
False
Let o be 4/(-10)*(-15)/(-9). Let s be (-1)/1 - (-1)/(-11)*-13. Is o < s?
True
Let f = 39 - 55. Let v = 16 + f. Does 0 = v?
True
Let p be 0 + ((-51)/(-30) - 2). Let z = 46 - 45. Is p smaller than z?
True
Let c = 2627815349 - 65709672552/25. Let a = c + 571470. Let q = -83 - a. Which is greater: q or -1?
q
Let a be 3 + (-2 + 0 - 0). Let r be 1 - a - (-3)/12. Which is smaller: r or 0?
0
Let a = 16 + -26. Let l be 15/5 - a/(-4). Let z = 0.3 + -0.5. Which is greater: z or l?
l
Let r be ((-6)/15)/((-6)/(-3)). Suppose -6 = y - 6*g + g, -2*y - 5*g = -3. Which is smaller: r or y?
y
Suppose -10*v = -12*v + 2*b + 6, -b - 4 = 0. Is v less than or equal to 1/18?
True
Let v = -30 - -92/3. Let g = 5 - 9. Let i = g + 2. Which is greater: i or v?
v
Let v