u. Let t be o/65 - (-1 - 0 - -3). Which is smaller: t or -1.1?
-1.1
Suppose -5*f - 13 = 27. Let g = 5 + f. Which is smaller: g or -2?
g
Let w be 0 + (-2)/(-1) - 15. Let v = -46 + 32. Which is smaller: w or v?
v
Let d = -10567 - -21137/2. Let h(c) = -13*c - 1. Let n be h(-1). Let w be n/2*(-1)/(-2). Is w greater than d?
True
Suppose 2*g = -6, 5*c - 168 = g - 0*g. Let l = 65/2 - c. Which is smaller: -2/63 or l?
l
Suppose 4*q - y - 2*y - 100 = 0, 0 = 3*y - 12. Let l be (q/12)/(3/9). Are 4 and l non-equal?
True
Suppose 0 = -17*j + 18*j - 1. Is -1/747 less than or equal to j?
True
Let k = 382/5 + -76. Let w(a) = a**2 - 16*a - 18. Suppose -5*u = u - 102. Let c be w(u). Is k less than c?
False
Let d(k) = -2*k**2 + 3*k + 3. Let a be d(10). Let o = -8515/51 - a. Is o <= -2?
False
Let o(w) = -3*w - 32. Let k be o(-13). Suppose 3*s - 1 = -k. Are -2 and s non-equal?
False
Let p(n) = 2*n**3 - 4*n**2 + 3*n - 2. Let q be p(2). Suppose -w = -4*b - 8, 4*b + 2*w + 4 + q = 0. Let j be b/4 - (-91)/(-26). Which is smaller: j or -3?
j
Suppose 0 = 3*d - 3*u - 21, -5*u = 5*d + 4 + 11. Let p(v) = 2*v**2 + v - 4. Let h be p(d). Let z be 146/h + 1/(-3). Do 23 and z have the same value?
False
Let z(k) = -3*k - 33. Let w be z(-18). Let r = 20 - w. Let u be r/(3/((-12)/(-82))). Which is smaller: -1 or u?
-1
Let j = 43.11 + -43. Let i = 0.06 - j. Is 5 at least i?
True
Let h be 3 - ((-14)/10 + 14/7). Which is greater: h or 2?
h
Suppose -4*d - 3 = -5*k, -12 = 2*d + 5*k - 3. Let i(q) = -4*q**2 - 2*q + 2. Let p be i(d). Let b be 8*(5/(-20) - 1). Is b bigger than p?
False
Let j = 240 + -250. Which is bigger: j or -26/3?
-26/3
Let v = -246 - -1304. Which is smaller: 1057 or v?
1057
Suppose 4*m + 17 = 117. Suppose -4*d + 113 = 3*g, -142 = -5*d - 7*g + 3*g. Does d = m?
False
Let b = -4 + -1. Let v = -1 - b. Let m be (-2)/60 - v/24. Which is bigger: 1 or m?
1
Let p = 72 + -106. Let a be 2 - (p/(-14) - 42/98). Does -6/17 = a?
False
Suppose 4*f + 3*z = 153, -2*f = 5*z - 0*z - 87. Suppose -2*h + h + 4*l - 6 = 0, 4*h - f = -4*l. Let g be 35/15 - h/(-9). Is 2 bigger than g?
False
Let j(q) = -q - 3. Let f be j(-3). Suppose f*d + 12 = 3*d. Let y be 15/21*14/d. Is y not equal to 3?
True
Suppose 2*v + 22 = -5*k, 4*v + 2*k - 7 + 19 = 0. Let x = 12/3077 - -64065/141542. Let w = x + -557/414. Which is greater: w or v?
w
Let c = -182 - -183. Is c equal to 4/29?
False
Let v = -1.7 + 0.7. Let j = v + -2. Let t = 479 - 479.4. Which is smaller: t or j?
j
Let q(o) = -o**3 + 8*o**2 + 5*o + 8. Let s be q(8). Suppose -5*m - 3*v = -121, 5*v + 11 - s = -2*m. Do -1 and m have the same value?
False
Let d(l) = 5*l - 46. Let o be d(9). Let s be ((-1)/(-8)*-6)/(o - 2). Which is bigger: s or -37?
s
Let l(d) = d**3 + d**2 - 3*d + 3. Let x be l(2). Suppose 2*c + 1 = 5*b - 39, -4*c = 2*b - 40. Suppose 2*v = 5*q - b*q + 53, 1 = q - 2*v. Is q > x?
False
Let l = -1386 + 318779/230. Let u = -3209/2530 + l. Let y be (-8)/(-4) + 0 + -1. Which is smaller: y or u?
u
Let k = 0.1132 + -665.1132. Which is smaller: 0.1 or k?
k
Suppose 11 = 5*t - 4. Suppose -t*w - s + 3*s = 0, -2*w = -4*s - 8. Which is smaller: -7/3 or w?
-7/3
Let k = -1066015/513 - -2078. Which is smaller: k or 1?
k
Let n be (-19 + 20)/(2/(-18)). Let q(g) = -g**2 - 7*g + 10. Let x be q(-9). Is x <= n?
False
Let q be ((-10)/(-6) - 1/(-3)) + 5. Suppose -x = q*x - 8. Is -3 > x?
False
Let b = -20.035 + 20. Let m = b - -6.735. Is m smaller than 1/4?
False
Let c(o) = o**2 - o - 1. Let u be c(1). Let k(m) = 11*m**3 - 2*m**2 - 2*m - 1. Let z be k(u). Let y = 106 + -117. Which is smaller: z or y?
z
Let j be 72/132 + 36/(-66). Which is bigger: -14/75 or j?
j
Let i = -6782770417/239428 + -2762/59857. Let m = i - -28332. Let t = 22/7 - m. Is -1 at least as big as t?
False
Let i be (8/(-126))/(-19 + (-338)/(-18)). Let h = -3 - -2. Which is greater: h or i?
i
Let i = 12 + -10. Suppose -y + 3*p = i*y - 42, 2*p - 77 = -5*y. Let b = y - 16. Does b = 2/31?
False
Let q = 2343302/499 + -4696. Is q at most as big as 0?
True
Let m(w) = -2*w. Let o be m(-2). Suppose 24 = 2*l + o*l. Suppose u - l*u = 6. Which is smaller: u or 0?
u
Let h = -57.9 + 64. Let s = -2.1 + h. Is s less than or equal to 1?
False
Let l = -1/6 + 8/3. Let b(h) = -h + 2. Let q be b(-4). Suppose 14 + q = 5*n. Do n and l have the same value?
False
Suppose 16*h = 21*h + 15. Let y be h/(-2)*-2 + (-6058)/(-2015). Is y <= 0?
False
Let f = -58/93 - -49696/651. Let v = 14 - 90. Let k = f + v. Do 1 and k have the same value?
False
Let s = 108/7 + -4745/308. Is s < -1?
False
Let g be (-1)/(-2*(-3)/18). Which is bigger: -12 or g?
g
Suppose -2*f + t - 2 = 0, -t = -4*f - 6*t + 10. Suppose -i + f*i = -7. Let l(v) = v**2 + 2*v + 4. Let x be l(-3). Is x greater than i?
False
Let j be (-1 - -2) + -2 + 1 + -103. Which is smaller: -102 or j?
j
Let b be 6512/2574 - 4/18. Which is smaller: 1 or b?
1
Suppose 5*v + 0 = -5, 0 = -5*s + v + 326. Let z be 4 + 638/10 + -3. Let g = z - s. Is 0 at most g?
False
Let b be 1*5/25 + 12/15. Suppose -4*k = 4, -k + b = 4*w - 2*k. Is w <= 2/53?
True
Let n = 0.01 + 0.69. Let a = 1.1 - n. Let k = a - 0.5. Which is greater: -8 or k?
k
Let r be (16/(-10))/(455/1800). Let t = 34/13 + r. Which is greater: -5 or t?
t
Let o be (17*-1)/((-12 - -27)/(-75)). Is o at least 83?
True
Let n = 0.702 + -6.102. Which is smaller: 0 or n?
n
Suppose 4*g - 32 = 4*s, -5*s + 4*g - 24 = 3*g. Let t be s + 132/63 - -2. Suppose -5*b + d + 0 = -1, 0 = -3*b + d - 1. Which is greater: t or b?
b
Suppose -101 + 1 = 5*n. Let c be n/25 + (-88)/(-10). Which is smaller: -1/4 or c?
-1/4
Let h be 0*(-8 + (-100)/(-12)). Which is smaller: h or -1/493?
-1/493
Let u = 327 - 326. Which is greater: 10/23 or u?
u
Suppose 11*p + 5*x = 8*p + 295, 2*p = -2*x + 190. Which is greater: 84 or p?
p
Let q = 32 + -30. Suppose 2*m = 4*m + q. Let a be 11/4 - m/4. Which is greater: a or 5?
5
Let f be (-12)/18*(-6)/8*38. Which is smaller: f or 13?
13
Let d be (-1 + 3)/((-22)/4 - -5). Let f be 8*((-9)/d)/9. Is f not equal to -0.06?
True
Suppose 3*h + 5 + 25 = 0. Let u = -25 - h. Let y(d) = -d**2 + 28*d + 150. Let n be y(33). Is u at least n?
True
Let x(d) = 6*d - 107. Let n be x(24). Which is greater: n or 40?
40
Suppose 0 = -2*o + 7 - 1. Is 1 at most o?
True
Let a = 30 + 869. Let m = -884.14 + a. Let l = m - -0.14. Which is bigger: l or 0?
l
Let j be 12/12 - (0 - -1). Suppose 7*p - p = j. Which is greater: p or 5/9?
5/9
Suppose 2*t + 2*d = -2*d - 120, -5*d + 235 = -3*t. Let f = t - -70. Is f greater than or equal to 6/79?
False
Let y be -7 - (3 + -8 - -3). Which is smaller: y or -51/14?
y
Suppose 5*h = w + 2, -4*w + h = -3*w - 14. Let k = 21 - w. Let p be k - (-3)/(-1)*1. Which is greater: 2/103 or p?
2/103
Let g = -45 + 100. Suppose -2*f + g = x, -2*x + 174 = x - 3*f. Let b be (-2 + 1)*x/(-9). Does b = 7?
False
Let p be (-8)/48 - (-13)/6. Suppose -p*t + 11 = 27. Is t at most as big as -11?
False
Let x(h) = h**2 - 4*h - 21. Let t = 173 + -166. Let w be x(t). Is 4/3 < w?
False
Let s(l) = 106 - 29 - 3*l - 29. Let u be s(16). Let d = -1/15 + -3/5. Which is greater: d or u?
u
Let k(i) = -4 + 2*i + 9*i - 3*i + i**2 + 6*i. Let t be k(-14). Let v be (3/21)/((-1)/t). Which is smaller: v or 2?
v
Let p(k) = k**2 - 56*k - 78. Let s be p(40). Is -718 smaller than s?
False
Suppose 10*g = 828 - 98. Let z = -64 + g. Is 10 at most z?
False
Let m = 13 - 12. Let t be (-10)/((-5)/((-5)/(-2))). Suppose 15 = -0*u - t*u + h, -3*u + h - 7 = 0. Is u <= m?
True
Let q be (4/10)/2 - 192/(-15). Let k(p) = 3*p - 29. Let c be k(q). Let u = 1/12 - -1/6. Are u and c unequal?
True
Let v = 1/233 - 237/932. Let q = -0.1 + 0. Let g = -0.1 + q. Are v and g equal?
False
Suppose -p = -4*h + 2*p + 22, -h - 5*p = 6. Let j be 12/15 - (-11 - -9). Is h < j?
False
Let p = 0.11 - 11.11. Let z = p - -12. Which is greater: z or -17?
z
Let v = -425644183625/39288597494 + 1118/3299899. Let m = -2/17859 - v. Which is greater: m or 10?
m
Let c(o) = o**2 + 2*o - 6. Let r be c(2). Suppose r*u = -t - 10 - 8, 0 = -t + 2*u - 6. Which is smaller: -13 or t?
-13
Let q(i) be the third derivative of -i**4/24 - i**3 - i**2. Let h be q(-5). Let m = -8 - h. Which is smaller: m or -8?
-8
Let b be -4*(-2 + 3) - -6. Let f be b*-2 + 3 + 0. Is 5 > f?
True
Let z = 1.048 - 5.048. Let l = 0.01 - 0.81. Let c = -0.2 + l. Is z 