se 32 = 5*o + l. Is o equal to 16/5?
False
Let w = -18 + 8. Is w >= 2?
False
Let s = -1.1 - -1.3. Which is bigger: s or 2/7?
2/7
Let w = -8515/9 - -949. Which is bigger: w or 4?
4
Let t be 0 - ((-6)/8 - 30/40). Is -0.1 not equal to t?
True
Let q = 1 + 0. Suppose 0 = -0*x + x + 4*u + 18, 4*u + 20 = -2*x. Do q and x have different values?
True
Let u = 0.2 - 0.5. Which is smaller: 3 or u?
u
Let k = 15 - 16. Is k >= -2/183?
False
Suppose 23 - 79 = 5*k + x, 5*k + 59 = -4*x. Does k = -12?
False
Let r = 11.17 - 0.17. Let d = r + -11.1. Let p = 6 - 4. Are p and d equal?
False
Suppose -4*b + 66 = v, -3*b = 4*v - 2*v - 52. Let s be (b/(-12))/((-152)/12). Suppose 5*a - r = -0*r + 6, -3*a + 5*r = -8. Are s and a equal?
False
Let m = -81/4 + 227/12. Let x be 120/(-100) - 4/5. Are x and m equal?
False
Let x = -7 - -6. Let m = x - -0.8. Let v = 2.9 - 3. Which is bigger: v or m?
v
Let f be 13/39*(-1 - -10)/(-1). Which is smaller: -12 or f?
-12
Let m(s) = -2*s + 11. Let k be m(10). Is k less than or equal to -8?
True
Let z(x) = -x**3 - 10*x**2 - x - 11. Let c be z(-10). Which is smaller: c or 2/39?
c
Suppose s = -0*s - 1. Let u be (-3 + 1 - 1)/s. Suppose u*i + 8 + 1 = -3*l, -4*i - 2*l - 6 = 0. Is i at most 1/2?
True
Let f = -0.7 + -0.3. Let v be (-122)/(-5) + 4/(-10). Let w be (-9)/(-36) - (-10)/v. Which is smaller: w or f?
f
Let y be (1 - 5)/((-2)/3). Suppose 4*b - 76 + 8 = -4*l, 35 = 2*l + 3*b. Let m be (1/y)/(4/l). Is m at least 3?
False
Let b be (27/18)/((-2)/4). Is -6 at least b?
False
Suppose -17*t = -22*t + 5. Is 2/65 < t?
True
Suppose 3*p + 0*p = 0. Let t(c) = c - 5. Let v be t(3). Which is greater: v or p?
p
Let y be 56/(-352) - (-2)/8. Is 1 at least y?
True
Let d = -89801857/200436670 + 93/60923. Let r = -1/94 + d. Let z = 6/7 + r. Which is smaller: -0.1 or z?
-0.1
Let s = -4 - -7. Suppose 0*r + 2*v = s*r - 11, -4*r - 4 = 2*v. Suppose 5*o + 5*k = -0*o + 35, 4*k - 22 = -2*o. Which is bigger: o or r?
o
Let k(z) = z**2 - 3*z + 3. Let y be k(3). Suppose -y*w - 5*n + 15 = 0, -w + 4 + 5 = 3*n. Let s = 5/9 + -2/9. Which is greater: w or s?
s
Let q = 3086/7 + -440. Suppose 0*l - 4*l = -b + 4, 4*b = 2*l + 16. Is l equal to q?
False
Suppose -110 = -0*x - 5*x. Is 22 equal to x?
True
Suppose -9 + 2 = 5*j - 4*z, 2*z - 2 = 4*j. Let k be 4*-6*(-3)/24. Suppose k*q = -2*q. Which is bigger: j or q?
j
Let j = -2.45 + -0.55. Let h = 2 - 3. Let b = j - h. Is 1 <= b?
False
Let j = 1.3 - 1.3. Which is smaller: j or 0.08?
j
Let t = -8 - -13. Suppose 0 = t*p + 1 - 11. Which is smaller: 1 or p?
1
Suppose 4 = 2*g - 6*s + 3*s, 4 = -2*s. Let b be 0 - (24/(-117))/(-4). Which is smaller: b or g?
g
Let m = 7201/84 + -1007/12. Let x = m + -5/3. Is 0 smaller than x?
True
Let k be (-3)/2*(-28)/(-84). Is k at least 0?
False
Let z = -10/31 + -1/93. Which is greater: z or 9?
9
Let b(c) = -c - 6. Let a be b(-5). Which is smaller: a or -7/4?
-7/4
Let s = 6.5 + -0.5. Let q = s - 5.8. Let c = -3 + 2. Which is greater: q or c?
q
Let y(m) = m**3 + 7*m**2 - 9*m - 6. Suppose z - 11 = -4*o, -2*o = -z + 2*o + 27. Suppose -2*s + 3 = z. Let p be y(s). Are 0 and p equal?
False
Let d(s) = 3*s**2 + 6*s + 1. Let g(f) = -2*f**2 - 6*f - 1. Let p(x) = -3*d(x) - 4*g(x). Let i be p(4). Let n = 5 - i. Which is smaller: -3 or n?
n
Let m(u) = -u**3 - u**2 + 3*u + 1. Let f be m(-2). Which is bigger: -0.25 or f?
-0.25
Let p = -94 - -105. Are 12 and p equal?
False
Suppose 12 = 5*z - q - 21, -4 = -2*z + 5*q. Which is bigger: z or 9?
9
Let p = -27/7 + 398/105. Suppose v + 3 = 4*v. Which is greater: v or p?
v
Let n be 3/(-2)*(-41)/6. Let s = n - 361/36. Let z = -1.5 + -0.5. Is s > z?
True
Let k = 13/2 - 49/6. Let n(p) = -2*p + 6. Let w be n(4). Is k < w?
False
Let l(o) = -3 - 4*o - 4*o + 4*o + 2*o. Let y be l(-3). Let n be (-4)/(-3)*y/2. Is n < 2?
False
Suppose -1 = 4*r - 3*r. Let v be 1 + r + (-1 - -3). Let m = -5.1 - -5. Is m <= v?
True
Let g = 0.16 + -1.16. Let v = -4 + g. Which is greater: -0.1 or v?
-0.1
Let w(v) = -4*v**2 - 2*v - 6. Let j(x) = -x**2 - 1. Let t(u) = -5*j(u) + w(u). Let c be t(3). Let y be (-9)/(-60) - c/5. Is y equal to 1?
False
Let x = 84/5 - 2011/120. Which is bigger: 1 or x?
1
Let a = -7 - 0. Is -35/6 not equal to a?
True
Let t = -6.9 - 2.1. Let o = 1 + t. Which is bigger: o or 0?
0
Suppose -6*z = -3*z + 447. Let b = -593/4 - z. Is b smaller than 2?
True
Suppose -2*u + 3*u - 2*a = 7, -3*u - 2*a - 11 = 0. Let h = 209 - 1460/7. Are u and h nonequal?
True
Let g = -31 + 17. Let w be g/(-4)*(-8)/(-12). Are 2 and w non-equal?
True
Let n be (-2 - -1)/(15 + -14). Let s(q) = q**2 - 4*q + 2. Let f be s(3). Let x = f - -2. Which is bigger: n or x?
x
Let c = 5.1 - 5. Which is smaller: c or -5?
-5
Let i be 2*(-71)/(-12) - 1/2. Which is smaller: i or 12?
i
Suppose -3*q = 5*b - 0*b - 20, 2*q - b = -4. Suppose 5*v + 2*f + 19 = 0, -2*f + 2 = -v - 9. Let z be (-4 - -2) + v/(-3). Which is bigger: q or z?
q
Let b = 726 - 7978/11. Which is bigger: b or 2?
2
Suppose 12 = -3*a - 9. Let h be 7/98 + (-3)/a. Which is smaller: h or 0.01?
0.01
Suppose 3*y = 5*t - 28, y - 5*t = 4*y - 22. Let w(l) = -5*l**3 + l**2 + 3*l**2 + 8 + 5*l**2 + 9*l + 4*l**3. Let d be w(10). Is y bigger than d?
True
Let h = 0.68 + -1.01. Which is smaller: 0 or h?
h
Let l be (2/3)/(26/39). Suppose 0*d = 4*w - d + 10, -2*w + d - 4 = 0. Let c be 2 + 11/w + 2. Which is smaller: l or c?
c
Suppose 5*n - 6 + 1 = 0. Let w(s) = s**2 - 1. Let u be w(1). Suppose -4*z - 3 + 7 = u. Are z and n unequal?
False
Let c be (-2)/17*2/(-10). Let t = 81/170 + c. Is t <= 0?
False
Let y be (1 - 3/(-12)) + -1. Let j = -0.5 + 0.4. Which is smaller: j or y?
j
Suppose 5*q + 31 = -19. Let p be 2 + q/(-28)*-4. Which is smaller: p or 2?
p
Let k(h) = h**3 - 4*h**2 + 3. Let o be k(4). Let v = -3 + o. Is 1/4 not equal to v?
True
Suppose -3*r + 2*r + y = 8, 0 = 5*y + 25. Is -4 at most as big as r?
False
Suppose 0 = -5*z + 4*q + 87, -4*z - 2*q + 57 = -23. Let k = z + -26. Which is bigger: -11/2 or k?
-11/2
Let x = 13 - 20. Let j = -14 + 14. Is x equal to j?
False
Let b = -0.22 + 0.2. Let n = 0.38 - b. Let y = -0.3 + n. Are y and 1/4 nonequal?
True
Let g = 2998 - 32946/11. Which is greater: 2 or g?
g
Let b(m) = m - 6. Let g be b(6). Suppose -4*l + 4 + 4 = g. Let h be -1 + 1 + -4 + l. Which is bigger: h or -1/2?
-1/2
Suppose 3 + 0 = -3*n. Suppose 0 - 4 = -t. Let q be t/8*1/2. Does q = n?
False
Let s(j) = j**3 + 6*j**2 + j + 1. Suppose -z - 3*d - 18 = 0, 4*z - 2*d = -0*z - 16. Let g be s(z). Which is smaller: g or -4?
g
Suppose 2*c - 24 = -4*l, 0 = -3*c + 2*l + 1 + 3. Let d(r) = -r**3 - 2*r**2 - 3*r - 4. Let b be d(-2). Which is bigger: c or b?
c
Let v be 6/(-33) + 69/(-44). Do v and -1 have different values?
True
Let b be (-2)/(-11) - (-1496)/1089. Which is smaller: b or 2?
b
Let t = 1/144 + -151/1008. Let q(z) = 0 - z**2 + 0 - z**3. Let f be q(0). Is t >= f?
False
Suppose 2*v = -2*v - 2*u + 90, 5*v - 4*u - 119 = 0. Suppose v = -4*b + 15. Suppose -2*a - 2*o - 8 = 4, 5*o + 28 = -3*a. Is b less than a?
True
Let v be 10/4 + (-1 - 4/8). Which is bigger: v or -2/215?
v
Let p = -27.9 + 28. Is p greater than or equal to 12?
False
Let n be 2*1 - (-110)/(-30). Is n less than -3?
False
Let c be (-12)/280*-17 - 9/21. Is c >= 1?
False
Let q be (6/(-15))/((-9)/5). Which is greater: 1 or q?
1
Suppose -3*p = -2*y - 3, 2*p + 2*y - 8 - 4 = 0. Suppose -2 = 5*v - 6*m + 3*m, -p*v = 4*m + 7. Is v at most 3/7?
True
Suppose -3*z = 3*o - 12, z - 14 = -3*o + 7*o. Which is bigger: z or 2?
z
Let q = 3 + -3. Suppose q*b - a = -b - 3, 0 = -2*b - a. Which is smaller: 0 or b?
b
Suppose 7*o - 8 + 1 = 0. Which is smaller: 6 or o?
o
Let l = 0.14 - -0.86. Which is smaller: l or 0.2?
0.2
Let m(x) = 2*x**3 - 4*x**2 - 1. Let u be m(3). Let o be (u/5 + -3)*2. Which is bigger: o or 0?
o
Let n be (12/(-2))/(9/12). Let d be (-52)/112*n/2. Let x = d + -10/7. Is x less than 1?
True
Let m be (-729 - 0)/((-22)/(-6)). Let i = m - -199. Let z = -203 + 203. Which is bigger: z or i?
i
Let g = 1 - 5. Let c(a) = -a**2 - 1. Let h be c(2). Are h and g nonequal?
True
Let r = 14 + -18. Is r at most as big as -4?
True
Let l = -4 + 8. Let y(o) = o**3 + 13*o**2 + 12*o + 5. Let p be y(-12). Which is smaller: p or l?
l
Suppose 5*o - 5 - 5 = 0. Suppose -o = 5*b - 27, k - 12 = -3*b. Let q be 10/(-35) - k/35. Which is bigger: 0 or q?
0
Let m