 Which is smaller: t or w?
w
Let c(r) = -110*r - 768. Let w be c(-7). Let m(q) = -q**2 + 3*q - 1. Let o be m(4). Let v be (w/36)/(o/(-10)). Is 1 != v?
True
Let b = -1631.661 - -1631. Let t = -0.69 - b. Let u = t - 0.871. Which is greater: u or -0.1?
-0.1
Let z = -107/10 - -2253/190. Let l(c) = 3*c**2 - 8*c + 6. Suppose -1 + 8 = 2*v + p, -v - 2*p = -8. Let u be l(v). Are u and z unequal?
True
Let u = -3303 + 13265/4. Suppose 0*n = -n + 13. Which is smaller: u or n?
n
Let i = -20123 + 20124. Which is smaller: 1885 or i?
i
Let r = 11425.73047 - -0.26953. Is r at most as big as -1/3?
False
Suppose -29*d + 3*d - 64*d = -264150. Are d and 2939 equal?
False
Let d = -726 + 1248. Let f = 578 - d. Is 59 at most as big as f?
False
Let t = 4940 + -5221. Which is smaller: t or -280?
t
Let j = 220338983/5713 - 38568. Are j and 0 nonequal?
True
Let p = 3 + -28. Let l = -2248 + 2246. Is l > p?
True
Let c = 681 - 987. Let a = c + 308. Which is smaller: 5/2 or a?
a
Let b = 46 - 43. Suppose b*r - 69 = -0*r. Suppose 4*j - r = d, j + 0*d - d - 5 = 0. Is 7 at least j?
True
Let i be ((-3)/6)/(49/196). Which is smaller: -63/88 or i?
i
Suppose -x + 127 + 166 = 4*s, x = -5*s + 367. Suppose f + 3*g = -s, 2*g + 12 - 2 = 0. Is -59 smaller than f?
False
Let t = -1402 + 1235. Which is smaller: t or -168?
-168
Let l be (-32)/(-14) + -4 + (-52)/(-14). Let d(s) = -16 + 3*s + 8 + 2. Let j be d(l). Which is greater: 4/11 or j?
4/11
Let t(z) = -6*z**2 + 8*z - 10. Let o be t(1). Let x be 4/(-72)*-3*-49. Which is bigger: o or x?
o
Let m be (2 - 3/2)/(2/(-4)). Let s be 99/(-98) + m + 2. Which is bigger: s or 1?
1
Let n be ((-18)/(-10))/3 - 11862/(-30). Let s be 474*(5/(-4))/(108/(-72)). Which is smaller: n or s?
s
Suppose -31*l - 5428 = 15249. Which is smaller: l or -669?
-669
Suppose -4*t + v + 290 = 14, 4*t - 2*v = 272. Let x(u) be the first derivative of u**4/2 - 8*u**3/3 - 4*u**2 - 26*u - 41. Let g be x(6). Is g smaller than t?
False
Let c = 291 + 18. Let w = c - 619/2. Which is bigger: w or -296?
w
Let v = 12124 + -12583. Is -458 greater than or equal to v?
True
Let o = 11.7 + -237.7. Let l = o + 227.101. Let x = l + -0.101. Is 10 greater than x?
True
Let j = -343 - -309. Suppose -5*c = 125 + 35. Which is smaller: c or j?
j
Let c be (-7505 - (11 - -1))/(1/1). Which is bigger: -7518 or c?
c
Suppose -2*j + 5*i = 688115, -j - i - 2*i - 344085 = 0. Let r = 4475032/13 + j. Let a = r + -164. Is a at most as big as -2?
False
Let k = 14112 + -14111. Suppose -4*g = 0, h + g = 1 - 0. Let d be (-25)/34 + h/2. Which is smaller: d or k?
d
Let c = -6.8 + -0.2. Let x be (2/13 - 1204/559)*2. Which is smaller: x or c?
c
Let x(c) = -452*c - 319. Let t be x(1). Which is smaller: t or -772?
-772
Suppose -5*y - 4 = 4*j, j = 4*j + 2*y - 4. Suppose 4*f = -m + 11, 0 = 5*m + 3*f - 0 - j. Let i = 1313/42 + -185/6. Is i not equal to m?
True
Let v = 2/9 + 0. Let h = 6.6 - -2.4. Does v = h?
False
Let l = 5 + -10. Let p be 4 - -4*(29 + -6). Let x be 1/((-40)/p) - -3. Which is greater: x or l?
x
Let h = -92.111 + 0.111. Let s = 42 - h. Let p = s - 136.8. Which is smaller: 1 or p?
p
Let i be 246/(-328)*314/27. Which is smaller: i or -9?
-9
Let d be -3 - (-2 + -7) - (-1 - -4). Suppose d*m + 125 = 8*m. Which is smaller: m or 20?
20
Suppose 0 = 2*i - 4*r + 10, 3*i = -3*r + 11 + 1. Let y = 188/11 - 87818/5137. Which is smaller: y or i?
y
Suppose -m = -4*l - 4321, 4*l - 24*m = -22*m - 4322. Is l >= -1082?
True
Suppose 5*i - 1304 = t, -2*t - 781 = -3*i - 0*i. Let r = i + -390. Let h be (-1)/(-8)*-2 - r/(-12). Which is smaller: h or -6?
h
Let c(b) = b**3 + 2*b**2 + 9. Let t be c(-3). Suppose 0*p + p - 3 = u, t = -2*u + 5*p - 6. Is -29 < u?
True
Suppose 11*d - 155 = 76. Let b be (d/8)/(-1) - 6/(-2). Which is bigger: 0 or b?
b
Let n = -120 - 276. Let t be (n/(-16))/(1/(-4)). Are t and -99 unequal?
False
Let f be (-60)/9*(-18)/12. Suppose 5*i + 244 = 19. Let p be (24 - 23)/((-4)/i). Is p greater than f?
True
Let c = -1.8 + 2. Let t = 86 - 87. Let g be 4/(2 + t) + -6 + -1. Which is smaller: c or g?
g
Let f = -61 + 73. Let u = f + -10. Let c be ((-3 - u) + 2)/(-7) - 1. Is c > -1?
True
Let r = -516 - -516. Let c(a) = -a**2 - 24*a. Let z be c(r). Which is greater: 2/869 or z?
2/869
Let x = 3421/19 - 3999263/22211. Which is smaller: 0 or x?
x
Let v = 63.74 + -60.74. Which is smaller: -124 or v?
-124
Let y be 2/6 + (-16)/12*109. Let x = -145 - y. Is 4/13 greater than x?
True
Suppose 15*d - 19*d - 28 = 0. Let z be d - (202 - (-3 + -1)). Is -213 smaller than z?
False
Let h be (-1 - 1) + (-188363)/308. Let m = h - -2439/4. Which is smaller: m or 1/4?
m
Let s = 6/299 - 3899/598. Let l = 10.5 - 10.54. Is s less than l?
True
Let v be -6 - -9 - (-2487)/(-828). Suppose -41 = -2*q - 39. Which is greater: v or q?
q
Suppose 2 = -10*z + 8*z. Let k be 0 + -4 - z - -3. Let w = -1/3 + k. Is w less than or equal to 5?
True
Let b(n) = -n**3 + 6*n**2 - n + 20. Let s be b(6). Suppose s*y - 31 = 25. Which is greater: 12 or y?
12
Let w be ((16/(-14))/(22/77))/14. Does w = 4896?
False
Let p(k) = -21*k + 34. Let i be p(-2). Suppose -10*y + 12*y = i. Which is smaller: 37 or y?
37
Let u = 90 - 136. Suppose 0 = 20*x + 2*x - 132. Let a be (x - (2 + -2))/(-2) - 44. Is u < a?
False
Let s(a) be the first derivative of a**4 + a**3/3 - 3*a**2/2 - 8*a - 26. Let f be s(-3). Do f and -99 have different values?
True
Let v = -192 - -186.73. Let f = 0.37 - v. Let d = f + 0.36. Is 1/3 > d?
False
Suppose -l - 73 = -86. Suppose 4*p = -17 + l. Which is smaller: p or 1/609?
p
Suppose 4*r + 0*s + 3*s = -13994, 0 = 3*r + 5*s + 10479. Are r and -3504 unequal?
True
Let m(b) = b**2 + 2*b + 2. Let a(t) = -t**2 + 8*t + 33. Let x(k) = a(k) - m(k). Let y be x(6). Which is smaller: y or -40?
-40
Let w be (-4)/24 + (-100)/(-546). Let l = w - -2533/910. Let t = 1.745 - 1.745. Is l greater than t?
True
Let r = 5 - 5. Let v = -1762.24 - -1762. Which is bigger: r or v?
r
Suppose -v + 3 = -0*v + 5*f, -3*v - 3*f - 3 = 0. Suppose -4*z + 10 - 22 = 0. Let y = z - v. Is y less than 7?
True
Let k = 27 + -111. Let s = 85 + k. Let c = 2.1 + -2. Is s >= c?
True
Suppose -t - 287 = -5*b, 0*b - 4*b - 2*t + 238 = 0. Which is smaller: b or -1?
-1
Suppose -3*m = -4*m + 2. Let a be m/4*12/(-30)*-15. Let l be 7/12 - (18/24)/a. Which is smaller: l or -1?
-1
Let p(a) = -2*a**2 - 21*a + 43. Let q be p(-10). Suppose 0 = -12*f - q - 271. Which is bigger: f or -32?
f
Let c be 6/(-9)*(5 - -1). Let s be 7 + -13 - 7/(-1). Is c greater than or equal to s?
False
Let p = -13/2783 + 7523/473110. Let d = 27063/34 + -796. Let k = d + p. Is 1 greater than k?
True
Suppose 21*s = 9*s + 12. Let f be ((-15)/4)/(33/10) + s. Is f smaller than 3?
True
Let o be (88 + -80)*15/4. Let r be 220/138*(5 - 114/o). Is 3 < r?
False
Let p = -8/7 + 25/28. Suppose t - y = 9, 2*y + 0 + 6 = 0. Let c be (1/(-2))/(t/(432/(-42))). Which is bigger: p or c?
c
Let t = -323/1278 + 13/426. Let s = 1.4 - 9.4. Let m = -8.6 - s. Which is greater: m or t?
t
Let q = -23/137 + 252104/959. Which is bigger: q or 262?
q
Suppose -35 = -23*f - 12. Let v be ((3 - -7) + -10)/(f*-1). Which is smaller: v or 23/18?
v
Suppose -5*d + 235 = 5*t, -5*t - 22 = 3*d - 169. Let r = d + -45. Is -20/9 greater than or equal to r?
False
Let a = 2767/32130 + 2/945. Let d = 38 + -54.4. Let y = d + 17.4. Is a smaller than y?
True
Let s be 2/12 - 26013/5742. Suppose 4*l + 26 = -2*g, -4*g - 1 = -2*l + 1. Which is smaller: s or g?
s
Let y = 53 + -2. Let w = -65.457 + 3.457. Let f = w + y. Is f at least 2?
False
Suppose 3*w + 8235 = -5*r, -39*w - 5*r + 2705 = -40*w. Is -2735 at most as big as w?
True
Suppose 5*m + 63*a = 61*a - 2195, 3*a + 15 = 0. Which is bigger: m or -5?
-5
Let l(b) be the first derivative of b**3/3 - 4*b**2 + 5. Let a be l(8). Let q be (-3)/4 + (-63)/(-52). Which is smaller: q or a?
a
Suppose w - 12 = -3*w. Let v be (2 + (-20)/6)/(2/(-6)). Suppose -3*t - v*t + 2*t = 0. Which is smaller: t or w?
t
Let n = 10159 - 10192. Which is smaller: -770/23 or n?
-770/23
Let c = -2.3982 + 0.4482. Which is bigger: -1 or c?
-1
Let v = -11093 + 11102. Which is greater: 148/19 or v?
v
Let b = 27677/3 + -9116. Which is bigger: b or 111?
111
Suppose 0 = -5*a - 5*b - 5, -a - 1 = 8*b - 3*b. Let f = 12 + -36. Let m be (-2)/(-15)*f/32. Is m >= a?
True
Let x = -797.08 + 698. Let