 be (5 - 3)*(-5 + 2 + 1). Let j be u(k). Let a = 30 + -30.12. Which is smaller: a or j?
j
Let q = 8.43 + -8. Let n = 51.43 - q. Let c = n + -49. Are c and -19 equal?
False
Let b be (224/(-5))/(-7)*(476/8 - 2). Which is greater: 360 or b?
b
Let i = -18/449 - -43703/1078947. Is 0 at least i?
False
Let c = 7129319/3928 + -1815. Is c < -1?
False
Let i = 29520.6 + -29520. Which is smaller: -3/58 or i?
-3/58
Suppose 26*d + 5512 - 24778 = 0. Is 731 greater than or equal to d?
False
Let f(m) = m**2 + 7*m - 11. Let h be f(-9). Suppose -2*w - 5 = h. Let r(v) = -v**3 + v**2 + 10*v + 2. Let b be r(4). Is w bigger than b?
False
Suppose 10080 = 35*b - 0*b. Let x = b + -324. Which is smaller: -33 or x?
x
Let u be 106/4 + (-23)/(-46). Suppose -5 = 2*q + u. Is -102/7 greater than or equal to q?
True
Let u = 73027/45265 - -4/823. Let v = u - 9/5. Which is bigger: 2/87 or v?
2/87
Suppose 11*j = -439 + 65. Let d = j - -35. Suppose b - 4*c - c = -16, 4*b = -c - d. Which is bigger: b or -1/103?
-1/103
Let c = 1548.898 + -1549. Let w = 21.24 + -19.138. Let j = c + w. Which is smaller: j or 0.04?
0.04
Let w = -2 - 51. Let s = w + 59. Suppose s*m - 13 = 19*m. Do m and -6/13 have the same value?
False
Let k be (6/40136)/(-8 + (-1128)/(-96)). Is -1 at most k?
True
Let w = -2/47715 + -1001977/906585. Which is greater: w or -4/9?
-4/9
Let j be (104 + 16 + -56)/(4/(-2)). Suppose -p - 136 = 4*l, -3*p = -0*p. Do l and j have the same value?
False
Let a(u) = u**3 - u - 1. Let h be a(-1). Let o be ((-148)/(-474525)*27)/(36/10). Do h and o have different values?
True
Let q = 3075 - 3074.9. Let w be (-1*1)/(55/(-10)). Which is smaller: w or q?
q
Let q(v) = 6*v - 15. Let t be q(21). Let x = t + -101. Let r be x/3*(4 + 2)/(-1). Is r equal to -21?
False
Let n = 3.4 - 3.3. Let q = 9.03 + -9. Let b = n + q. Which is smaller: b or 2/3?
b
Let o = 10921 + -10961.4. Which is smaller: 0.01 or o?
o
Let i(b) = -b**2 - 3*b - 6. Let f be i(-4). Let h be 4/(-6)*15/f. Let c(n) = n**2 + 75*n + 143. Let m be c(-73). Is h not equal to m?
True
Let l = -144617/7 - -20626. Let c = 271/7 + l. Let d(y) = 6*y**3 + y**2 - 2*y + 1. Let w be d(1). Is w greater than c?
True
Let t = -0.11 + 11.71. Let v = 0.04302 + 11.22698. Let k = t - v. Is k greater than or equal to -1/4?
True
Let s be 1 + 8 + (2/6)/((-29781)/804249). Which is greater: s or 1?
1
Suppose 0 = 4*z - f - 3, -25*f = -3*z - 23*f + 1. Are -62/231 and z unequal?
True
Suppose -1930 = -8*a - 2*a. Let c = a + -194. Is c bigger than 1/84?
False
Let d = 2446/13 + -3069/91. Which is smaller: 154 or d?
154
Let b(d) = 3*d**3 - 27*d**2 + 1. Let y(n) = -n**3 - 3*n**2 + 8*n - 1. Let t be y(-5). Let f be b(t). Which is smaller: f or -2/25?
-2/25
Let b = 573.7 + -42.7. Let d = b - 532.6. Is -7 not equal to d?
True
Let v = 118 + -58. Let a = -82.6 - -142.25. Let k = v - a. Is 0 less than k?
True
Let q be (840/1552)/(5 - 18/4). Which is smaller: 2 or q?
q
Let k = -683/25 - -87107/3225. Let u = 1/43 - k. Which is smaller: 7.8 or u?
u
Suppose -11*i - 5 = -6*i. Let y be (-5)/2*680/(-1078650). Is y smaller than i?
False
Let x(d) = d**3 + 5*d**2 - 5*d + 7. Let m be x(-6). Let c = -226.2 - -277.2. Which is greater: m or c?
c
Let t be 11256/(-23184) + (-1)/(-2). Let l = 10 + 23. Let w = 32 - l. Is w smaller than t?
True
Suppose -4*k - 3*h = -h + 10, 0 = 4*k - 4*h - 20. Let m = -2/655 - -781/41265. Is k not equal to m?
True
Suppose -4*r - s + 24 = 0, 4*s - 9 - 7 = 0. Let u be r + (6/12 - (6 + -1)). Which is greater: u or 2.29?
2.29
Let b = -17/89 + 407/267. Let z = 0.2 - -0.8. Let a = z - 0.7. Which is smaller: a or b?
a
Let q be (-2 - 0)*(-14 + 267/(-6)). Does 117 = q?
True
Let m be 171/(-2)*(-44)/(-33) + 2. Suppose -4*s - 266 = -730. Let x = m + s. Do x and 13/3 have the same value?
False
Let b = 18625 - 14636. Which is smaller: b or 0.1?
0.1
Let z = -5830 - -87458/15. Which is greater: z or 13?
13
Let b = 2.54 - 5.75. Let n = 3.31 + b. Is n != 0.218?
True
Let m(n) be the third derivative of -2*n**4/3 - 11*n**3/2 + 13*n**2. Let c be m(-4). Let l = c - 16. Do l and 15 have the same value?
True
Suppose 9*u - 5434 = 3719. Which is smaller: 1022 or u?
u
Let r = 6 - -398. Let i = -412 + r. Is i at least as big as -8?
True
Let i = -762 + 763. Is 445 less than or equal to i?
False
Let s be (-27)/81*1*-9. Suppose 5*t = -2*y + 122, -s*y + 22 = t - 2*y. Which is smaller: t or 2?
2
Let x = 0 + 1. Let a be 0/((-3)/(-12)*-4). Let q be ((-8)/3 + a)/(2 + 4). Which is smaller: x or q?
q
Let f = -3.293 - -2.893. Which is greater: -2/107 or f?
-2/107
Suppose g + u + 4*u = -12, -4*g - u + 9 = 0. Suppose y + 2*f = 0, g*y + 2*f + 10 + 2 = 0. Let v be (-1)/3 + -2 + (-200)/y. Do v and 32 have the same value?
False
Let v = 226249/44 + -5142. Let m be (-6 + 2)*(-2 + 1). Let z = 3 - m. Which is greater: v or z?
v
Let x = 94771/79912 - 36/1427. Let z = 217/8 + -28. Let o = x + z. Which is greater: o or -7?
o
Let y = 30.05 - 28. Let i = y - 0.05. Let a = 2.312 - 1.312. Which is smaller: a or i?
a
Suppose 6*s = 5*m + 4*s - 150, 5*m - 135 = -s. Let v be 60/(-15)*1/m. Let l be (20/(-30))/(4/6). Which is greater: v or l?
v
Let s = -3/85 - 86/3825. Let l = s + -3649/450. Which is bigger: l or -7?
-7
Let h = -153/4 + 449/12. Let t = 31.45 - 29.45. Is t at most h?
False
Let n = 374906113/671955 + -4/134391. Let s = n - 558. Let l be (2 - (5 - 2))*0. Which is greater: l or s?
l
Let y be ((-4)/670)/((-24)/(-90)). Is 2/3 less than y?
False
Let q = 31697 + -31696.8. Let i = -0.06 + -1.04. Which is bigger: q or i?
q
Suppose -4*o + c = -0*o + 97, -88 = 4*o - 4*c. Let r be o/1*(-96)/540. Is 4 >= r?
False
Let g be 4/(-3658)*(-695)/70. Let l = 5/217 + g. Let x = -11.6 - -13.6. Which is smaller: x or l?
l
Let m = -40517614/124453 - -7488/23. Which is greater: m or -1?
m
Let g = 9467 - 9468. Is g less than 7120?
True
Let d = 638.2 - -143.8. Let u = d + -781. Which is bigger: -15 or u?
u
Suppose 8*h + 20 = 12*h. Let p be (-6)/h - 9954/(-70). Does 141 = p?
True
Let m = 0.057 - -0.563. Let d = m + -0.82. Let t = d - 8.8. Which is bigger: -2 or t?
-2
Let u(q) = -6*q + 133. Let v be u(22). Let h = 577/1600 + -2099171/4800. Let d = -437 - h. Is d at least v?
False
Let t be 7/14 + -2*1278/(-24). Is t less than 746/7?
False
Let b = -53 + 155. Let c = 104 - b. Let t be 9/2*(-4)/(-30). Is t at most as big as c?
True
Let j = -5470 + 5498. Let o be ((-24)/(-5))/((-9)/30). Let n = o - -46/3. Which is greater: n or j?
j
Let u = -4406 + 6278. Suppose -19*q + u = -7*q. Which is smaller: 155 or q?
155
Suppose -7*w + 6*w + 12 = 2*g, -4*g + 2*w + 8 = 0. Suppose 3*s - 7*j = -g*j + 561, -j = 1. Is 186 at most s?
True
Suppose 0 = 5*l + 2*m - 198 - 62, -5*l + 260 = 3*m. Let n be 7/42 - (-2990)/60. Is l at least n?
True
Let v(r) = 20*r + 940. Let q be v(-47). Which is greater: q or -5/18?
q
Let n = 739.3 - 741. Let d = -12.8 - -11. Let a = d - n. Which is smaller: a or 13?
a
Let z = 2.543 + -1.369. Let f = z - -0.066. Let y = -0.24 + f. Is y <= -6?
False
Suppose 4*r = 4*j - 40, r + j = -4*j + 14. Let x(o) = -4 + 0*o**2 + 6*o + o**2 + 3. Let m be x(r). Is m >= -1/30?
False
Let o = 17962 + -18010. Let g = -1 - -1.1. Let v = 1.1 - g. Which is greater: v or o?
v
Suppose -4*h = 2*n + 138, -3*n + 175 = -5*h - 5*n. Suppose 4*y + 4*b + 18 + 122 = 0, 0 = -2*y + 5*b - 91. Which is smaller: y or h?
y
Suppose 5*x - 5*p - 69 = 26, 0 = x - 5*p - 39. Suppose 0 = 6*h - 28 - x. Which is smaller: h or 43/7?
43/7
Let o = 33021/34 + -1943/2. Let z be 1*2 + 278/(-136). Let n = z - o. Which is smaller: n or 1.4?
n
Let n = -1256 - -5071. Which is greater: n or 3816?
3816
Let f be 1*(1 - 2) + 14600/14552. Which is bigger: 0 or f?
f
Let s = 3977 - 3978. Which is bigger: s or -10/271?
-10/271
Suppose 2*v = 2*i - 170, -2*i = -v + 2*v - 173. Suppose 2*n - 5*q - 152 = -2*q, -q = n - i. Which is smaller: 83 or n?
n
Suppose -g - 2 + 13 = 3*d, -12 = -2*d + 4*g. Suppose -219 = 5*z + 2*q, -z - 217 = d*z + q. Is -173/4 at most as big as z?
True
Let v = -22015 + 22833. Is v at most as big as 4909/6?
True
Let s = 128 - 16. Let z = s + -120. Are z and -8 unequal?
False
Let t = -12 + 17. Let f be 1/2*(1 - (t + -4)). Suppose -6*q + 3*q = f, 0 = -4*i - 2*q + 4. Are 2/85 and i nonequal?
True
Let y(f) be the second derivative of f**4/12 + 25*f**3/6 + 73*f**2/2 - 83*f. Let 