er than z?
True
Suppose -3 = 726*a - 723*a. Is a smaller than 6/259?
True
Suppose -5*w - 4*l + 165 = l, -3*w = -l - 87. Let h be (-25)/w*3/(-10). Suppose -t = -3*v - 2, -v + 4 = -0*t - 5*t. Which is smaller: t or h?
t
Let u = -0.05 + -1.95. Let y = 5 + -3. Which is smaller: y or u?
u
Suppose 4*y - 3*u - 8 = -3, -3 = -3*u. Let c be (0 - (-2)/y) + 2. Suppose 2*d = 4*m - 10, -c*m + 2*d + 6 = -3. Is m > 1/4?
True
Suppose -34 = -5*c - 39. Let q be 3 + ((-176)/46 - -1). Which is bigger: q or c?
q
Let k be (-21)/(-28) + -9091*(-3)/(-36396). Is 1 equal to k?
False
Suppose -4*k + 5*x = -k - 23, 4*x + 16 = 0. Suppose -k = 2*y - 23. Suppose 0 = -v + 2*m - 22, -m + 6 = y. Are -33 and v non-equal?
True
Let x(l) = 75*l - 1047. Let f be x(14). Let m be (-16305)/22 + (-2)/(-4). Let c = -739 - m. Are c and f nonequal?
True
Let x be (517/141)/(1/(-3)). Let r be (-3)/3*(-1 - -10). Is r smaller than x?
False
Suppose -d = 27 + 71. Let h = 169 + d. Is h at least as big as 72?
False
Let z = -590 + 591. Is 2/609 < z?
True
Let q = 1321/1122 + -2/187. Let n = 5 + -4. Which is bigger: n or q?
q
Suppose -24 = -4*m + 4*i, -4*i - 3 - 1 = 0. Suppose -h - q = -6, -26 = -4*h + 4*q - 7*q. Let f be 6/h + m/20. Is -1 smaller than f?
True
Let v be (-185)/(-135) + (30/(-9) - -2). Which is greater: v or 1/3?
1/3
Let s = -15 - 672. Is s <= -687?
True
Let y = -803 - -803.9. Is -0.17 at most as big as y?
True
Suppose -33*a + 1760 = -25*a. Which is smaller: a or 219?
219
Suppose -5*o - 110 = -2*m, 2 = -5*o - 8. Is m not equal to 3?
True
Let p be 1/3*-132*(-14)/56. Is 0.07 > p?
False
Let w = 7266/11 + -660. Let a = 0.2 - 12.2. Let z = a + 11.9. Which is smaller: w or z?
z
Suppose -3*h + 1029 = -1398. Which is smaller: 808 or h?
808
Let w be 4 + 1 + 6 + -11. Is w at least -18?
True
Let j = -18 + 23. Suppose -3*o = j*o - 40. Is o less than or equal to 0.4?
False
Let v = 1578.96 + -1606. Let q = 0.04 + v. Is -1 != q?
True
Let n be (6/(-8) - -1)/(114/2280). Is 126/25 >= n?
True
Suppose -10*d + 14*d = 16. Suppose -2*h + 2*u + 88 = d*u, 0 = -h - 5*u + 64. Is h <= 39?
True
Let j be 10/4*(-28)/(-35). Suppose -t = -j, -t - 1 = 3*o - 6. Is -15 at least as big as o?
False
Let q(x) = x - 1. Let f be q(3). Let s be (f - -19)*(-2)/(-6). Do -1 and s have different values?
True
Let x = 158 - 160. Suppose -15 + 5 = 5*f. Is x smaller than f?
False
Let h = 2.75 + -0.75. Let v = h + -1.7. Are 5 and v nonequal?
True
Let i = -12 - 52. Let x = 2676 - 2738. Is x less than or equal to i?
False
Suppose -9*x - 7 = -7. Let a be x - 11/(22/(-4)). Which is smaller: -10 or a?
-10
Let j be 2179/(-290) + -22 + 26. Let u = -2/145 - j. Which is smaller: u or 4?
u
Suppose 2*s - 5*a + 25 = 0, -s = 5*a - 14 - 11. Suppose -3*l + 2*i + i - 63 = s, 1 = i. Which is bigger: l or -22?
l
Let m = 36 - 61. Let k = 23 + m. Is -2 at least k?
True
Let l(z) = z**2 - 5*z - 15. Let d be l(8). Let p be (2/(-6))/(d/27). Which is bigger: p or 1/36?
1/36
Let u = 297527/1487585 - 2/297517. Let v = 3 + 0. Let l = 2 - v. Is l less than u?
True
Let x(m) = m**3 + 4*m**2 - 3. Let k be x(-3). Let r be -2 + -1 - k*(-205)/430. Which is bigger: r or -1?
r
Let a = -942 - -21668/23. Let t(l) = -l**3 - l**2 + 1. Let b be t(1). Are a and b unequal?
True
Suppose 8*i = -144 + 136. Do i and 1/16 have different values?
True
Let l = 1314 - 1318. Which is smaller: 4/243 or l?
l
Let p = 1125 + -1107. Is -2.9 >= p?
False
Suppose -a = 3*a - 20. Suppose a*m + 14 = 2*i - 14, 3*m = -3*i. Suppose 0 = r - 2*l + 9, 4*l - 21 = 3*r + l. Which is smaller: r or m?
r
Let q = 0.06 - -7.04. Let b = q - 1.1. Let f = b - 4. Which is greater: f or 1/4?
f
Let j(m) = -m**2 + 9*m - 15. Let t be j(3). Let y be (15 - 15) + 2/t. Which is smaller: y or 0?
0
Let u be (-42)/(-4)*(-9)/(-54)*-8. Suppose 0 = -a + 5*a + 52. Which is greater: u or a?
a
Let z = 15 - 11. Let o be 0/(z*(-5)/(-10)). Do -4/15 and o have the same value?
False
Let v be 4502/(-70) + (-8)/28. Let x = 64 + v. Suppose 0*i + 15 = -3*z + 3*i, -5*z - 19 = -3*i. Is z bigger than x?
False
Let y = -28 + 5. Suppose 0*n - 5*n - 110 = 0. Is y bigger than n?
False
Let c = -1054 - -1027. Is 11 less than c?
False
Suppose -4*t - 3 = 49. Let v be 0/4 + t/(-4). Suppose -3 = 2*z + 3*x, 2*x - 3 = z + 4*x. Is v > z?
True
Let i be (-24)/20 - 2/(-10). Let p = -313 + 973. Let t be (p/76)/(-3) + 3. Which is greater: t or i?
t
Let p = 38.63 - 0.63. Let c = p - 38.32. Let x = 0.22 + c. Which is smaller: -3 or x?
-3
Let c be (-3 + 16/6)/((-4)/(-24)). Which is greater: -12/13 or c?
-12/13
Let v(c) = c**3 + 12*c**2 + 22*c + 4. Let l be v(-10). Which is greater: 5/2 or l?
5/2
Suppose -5*s - 72 = -4*s. Is -70 less than or equal to s?
False
Let d(h) = -1 - 2206*h**2 - h + 3 + 2203*h**2. Let i be d(1). Which is bigger: -4 or i?
i
Let j = 45.4 + -50. Let o = -6.6 - j. Is -2 at most o?
True
Suppose 0 = 24*x - 20*x + 20. Which is bigger: -3/4 or x?
-3/4
Suppose -t + 4*y - 15 = 0, -5*t + 1 = -3*y - 9. Suppose t*c - f - 18 = -6, 2*f - 6 = 0. Suppose u - 4 = -c*u. Which is bigger: u or 1/3?
u
Let a = -541 + 863. Is 323 at least as big as a?
True
Suppose 0 = -15*p + 18*p + 129. Let d = 47 + p. Is 7 at least as big as d?
True
Let v = 28 - 30. Let h = 3 + v. Which is smaller: h or 3/5?
3/5
Suppose -4*s + 116 = f, -f + 84 - 24 = 2*s. Let t = s + -19. Is t smaller than 44/5?
False
Let k be 59920/490*14/4. Are k and 428 non-equal?
False
Suppose 0 = n + 5*s - 5, -4*n - s + 135 = -4*s. Let u(h) = 14*h + 2. Let l be u(2). Are n and l non-equal?
False
Let a = -33 - -33.021. Is a not equal to -1?
True
Let c be -2 - (8/1 + -3 + -24). Let s(a) = a**3 + 10*a**2 + 13*a + 8. Let w be s(-8). Let t = 48 - w. Does t = c?
False
Let j = 0.12 - -3.88. Let g = -3 + j. Which is smaller: -0.1 or g?
-0.1
Let b(g) = -g**2 + 21*g - 65. Let w be b(18). Is w not equal to 0?
True
Let g = 44 + -44. Suppose g = -3*o + 12. Does o = 3?
False
Let m be 275/285 + 2 - 3. Let z = 49/228 - m. Which is bigger: z or -4?
z
Let n = -34 + 50. Let i = n + -7. Let c = -8 + i. Does -0.07 = c?
False
Let y(t) = 12*t + 461. Let n be y(-38). Let g = 5 - 2. Let w be g/(4 - n - -2). Which is smaller: w or 4?
w
Suppose -4*l - 7 = -5*z, -z + 3 + 2 = l. Suppose 0 = -l*v + 4*v + 222. Let p = -7213/65 - v. Is 1 <= p?
False
Let p(m) = -m**2 + 10*m + 7. Let g be p(11). Let l be 20/6 - g/6. Let y be ((-4)/10)/(6/(-120)). Which is smaller: y or l?
l
Let w be 26/6 - 3 - (-6496)/528. Is 13 smaller than w?
True
Let q = -7 - -7.3. Let x = q - 0.1. Let w = -298 + 297.5. Which is smaller: x or w?
w
Suppose -5*p = -10, 5*p - 3*p = -3*n + 13. Suppose n*h = -v + 34, 5*h - 40 = -v - 0*h. Which is smaller: v or 22?
22
Let k = 0 - -0.28. Let d = 2.72 + k. Let f = d - 2.9. Is f smaller than 9?
True
Suppose 0 = -0*b - 2*b - 4. Let z be 5*2*(0 - 3/(-6)). Suppose -14 = -z*v - 29. Is v at most as big as b?
True
Suppose -5*a + 3*f - 31 = 0, 3*a + f = -5 - 8. Let s(z) = 3*z. Let g be s(-2). Is g > a?
False
Let u(f) = 2 + 0*f - f**2 - 3*f**3 - f + 4*f**3. Let z(j) = -j**2 - 10*j - 19. Let r be z(-3). Let w be u(r). Which is smaller: 0 or w?
0
Let m = 15385 + -46156/3. Suppose 0 = o + 2*o + 3. Let f = o + 1. Is f smaller than m?
False
Let l(y) = -80*y + 240. Let p be l(3). Are -2/1321 and p non-equal?
True
Let k(y) = 2*y**2 - 7*y + 3. Let g be k(4). Are g and 47/7 unequal?
True
Let k be -2 - (11 - 7)/(-1*1). Let w be (-462)/294 - (k - 1)*-1. Is w at most -1?
False
Suppose 0 = o + 2*k - 10, -7*o = -12*o + k + 61. Do 13 and o have the same value?
False
Suppose 0 = 3*w + 5*d + 72, -2*d = -5*w + 13 - 164. Let q = -40 - w. Let j(s) = 29*s + 222. Let p be j(-8). Which is smaller: q or p?
q
Let r be (((-16)/(-1010))/(-1))/(111/555). Is r equal to 1?
False
Let x = -12/59 - -346/1121. Let l = 14 + -9. Suppose -2*c = -4*p - 20, l*c - p - 4 = 1. Which is smaller: x or c?
c
Let d(h) be the first derivative of 3*h**2/2 - h - 6. Let c be d(1). Let z(k) = -k**2 - 12*k - 24. Let q be z(-9). Which is smaller: c or q?
c
Let w(c) = -c**2 - 10*c - 23. Let j be w(-7). Let y be ((0/1)/j)/(-3). Which is bigger: 1/3 or y?
1/3
Let s be 54/(-5)*30/(-18). Let l(h) = 2*h**2 + h + 4. Let z be l(-3). Is s smaller than z?
True
Suppose -y + 6 = 24. Let r be ((-1)/9)/((-33)/y). Suppose -2*g - 5*c - 10 = 0, 5*g + 3 - 1 = -c. Is g greater than r?
True
Suppose 0*x - 3*x =