uppose -24*d + 23*d + 70 = 0. Is w greater than or equal to d?
True
Let n = -2379 + 2520.9. Let w = 142 - n. Which is bigger: w or 116?
116
Suppose -1119 = -141*z + 144*z. Is -370 != z?
True
Let u(c) be the third derivative of -c**4/24 + 3*c**3 + 16*c**2. Let m be u(-9). Suppose 0*p = p - m. Is 26 < p?
True
Let i be (3 - 239275/(-51))*(-12)/(-14). Are i and 8049/2 equal?
False
Let b = 0.133 - -204.867. Let v = -203 + b. Which is bigger: v or -0.11?
v
Suppose -14*v = -17*v - 5*h - 4796, 5*h = -20. Which is bigger: v or -1594?
v
Let g be -54 + (2 - -1)/(-1). Let q = -227 - -235. Let m be g/198 + q/24. Which is greater: -1 or m?
m
Let b(r) = -r**3 - 91*r**2 - 170*r + 721. Let i be b(-89). Let k be ((-3)/(-2))/((-1)/2). Which is bigger: k or i?
i
Let a(z) = -z**2 - 21*z - 102. Let g be a(-10). Suppose 26*h = g*h - 2*h. Is 1/146 >= h?
True
Let l = 134 - 135.57. Let m = 1.37 + l. Are m and 56 unequal?
True
Let a be 246/4 + 1/2. Suppose -2*h + 3*h + 2*u = 22, 5*h - 2*u = a. Let o = 447 + -432. Which is smaller: o or h?
h
Let z(v) = v - 2. Let n be z(6). Suppose o = h + 66, 0*h + n*h - o + 264 = 0. Let w be 11/h + 7/(-66). Is w not equal to 0?
True
Let s(u) = u**2 + 10*u + 24. Let t be s(-6). Let l = 4 + 0. Let d be l + 6/((-153)/61 + 1). Which is greater: t or d?
d
Suppose 3*x - 1074 = 5*f, 43*f = 47*f + 2*x + 868. Which is bigger: f or -213?
-213
Let x be (3/6)/((-2)/(-1) - 45/30). Is x greater than -2/3179?
True
Let q be 1020/408 + 10857/(-4218). Which is smaller: q or 0?
q
Let i(n) = -32*n + 50. Let b be i(3). Do -76 and b have the same value?
False
Let w(f) = -28*f - 2313. Let c be w(-82). Which is bigger: 0.9 or c?
0.9
Let s be 1 + 2/(-18)*(23256/289)/9. Which is greater: -0.1 or s?
s
Let w = -74.7 + 84. Let z = -10 + w. Let d = 12.91 + -16.91. Is z at least as big as d?
True
Suppose 3*d - 63 + 51 = p, 2*p + 4*d - 16 = 0. Which is smaller: p or -1/700?
-1/700
Suppose 5*z + 8628 + 6780 = -4*w, 3*w + 11575 = z. Which is greater: -3856 or w?
-3856
Let l = -2 - 4. Let w(x) = 5. Let s(k) = -5*k - 55. Let u(b) = s(b) + 6*w(b). Let q be u(l). Are q and 14/3 equal?
False
Let c(z) = 24*z**3 + 9289*z**2 + 387*z + 53. Let p be c(-387). Suppose -j - 3*m = -4*j + 174, -2*m = 3*j - 179. Do j and p have the same value?
False
Let h be 14658/(-33) - ((-4002)/(-253) - 16). Which is smaller: -1334/3 or h?
-1334/3
Let o = -36365/23 - -1581. Which is greater: o or -68?
o
Suppose 0 = 25*m + 85*m - 1794 - 14486. Is 133 < m?
True
Let l(h) = 3*h + 8. Let u be l(-6). Let w(k) = 3*k - 40. Let y(i) = 3*i - 40. Let o(z) = 5*w(z) - 4*y(z). Let x be o(10). Is x >= u?
True
Suppose -6*k + 18*k + 5*k = 0. Suppose -a = 3*i - 24, 3*a + 2*i - 61 - 25 = k. Which is smaller: 123/4 or a?
a
Let r(o) = 3*o**2 + 32*o - 7. Let y be ((-66)/(-99))/((-4)/66). Let a be r(y). Is a at most 24/5?
True
Let r(g) = -3*g - 7. Let i be r(-3). Suppose 2 = 3*t - i*u, -5*t + u + 3 - 2 = 0. Let c = -23.15 - -15.85. Which is smaller: t or c?
c
Let h = -14087.67 - -13986. Let d = -1.33 + h. Let y = 102 + d. Are -4/17 and y unequal?
True
Let l be ((-36)/(-162))/(2/(-3))*(-1204 - -1). Do 393 and l have different values?
True
Let l(r) = -r**3 - 3*r**2 - 4*r - 3. Let c be l(-2). Let h = -261437/145 - -1803. Let d = h + 324/2465. Which is smaller: d or c?
d
Suppose 15*f - 16 = 13*f, -3*q = f - 14. Which is greater: q or 179/57?
179/57
Let q be (-98)/56*52/(-156702). Which is greater: q or -1?
q
Let c(h) = h**2 - 12*h - 2. Let d be c(12). Suppose -2*a = -4*a + 20. Suppose -a*i + 12 = -6*i. Does d = i?
False
Let z be (1/2)/((-62)/(-124)). Is z at least -1/2492?
True
Let c = 2620 + -2705. Which is smaller: -76 or c?
c
Let q = -236 - -419. Suppose -3*i + 4*i = d + 193, 5*d = 2*i - 401. Suppose i*p = q*p - 5. Which is smaller: p or -3/67?
p
Let j(c) = -2*c - 27. Suppose 3*b - 8*b + 25 = 0. Suppose 23 = b*w + 93. Let i be j(w). Which is bigger: i or -11?
i
Let q = -5767 - -5710. Is -169/3 <= q?
False
Let j = -4203.4 + 4156. Which is bigger: 0 or j?
0
Let g be (-2580)/36*30/(-25). Which is smaller: g or 38?
38
Let w be (-21)/(-14)*-2 - 11/(-1). Suppose 3*j + 29 = w. Let d = 725/33 + -315/11. Are j and d nonequal?
True
Let d be (6/(-4))/(60/(-50) - 45/(-50)). Which is greater: d or 43/10?
d
Let i be (1*-3)/(3/(-2)). Suppose u = -4, 3*j - 3*u = -5*u + 4. Suppose 2*k - 3*k - j = -2*r, -3*r + 7 = -2*k. Is i > r?
True
Let o = 72085/2 - 5261677/146. Is o < 4?
True
Let l = 48 + -46. Suppose y - 46 = -2*z, 104 = 2*z + l*z + 5*y. Suppose 4*c - 4*q = z + 31, -2*q = 3*c - 24. Do 9 and c have the same value?
False
Suppose -2*v + 100 = -3*k, -151 = -3*v + 8*k - 3*k. Suppose -2*l + v = -3*j, -37 = 2*j - 31. Is l < 21?
True
Let i = -1/8901 - 1646669/142416. Which is smaller: -11 or i?
i
Let f = -73.04 - -78. Let r = 2.96 - f. Let l = 3 - 13. Which is smaller: r or l?
l
Suppose 24 = -42*l - 111 + 9. Let w(g) = -4*g**3 - g**2 + g - 1. Let o be w(-2). Suppose 2*h + 3*h = -o. Is h at least l?
False
Let d = 4730.3 + -4936. Let j = 197 + d. Is j at most -2/5?
True
Let w(s) = -s**2 + 12*s - 34. Let q be w(5). Let t be 45 - (1 + q - 8). Which is bigger: t or 53?
53
Suppose 82*v = 29*v + 53. Which is greater: v or 1/10744?
v
Let h(l) = l**2 - 2*l - 1. Let t be h(3). Let z = -0.34968 + 0.02968. Which is greater: z or t?
t
Let j = -1.3996 + 1.3466. Which is bigger: j or 5/3?
5/3
Let x(t) = -2*t - 1. Let s be x(15). Let l = 34 + s. Suppose -6 = a - l*a. Is 2 > a?
False
Let m be ((-88)/562)/(10/215795). Let z = m - -3379. Which is bigger: 0 or z?
z
Let h(z) be the second derivative of -z**5/20 - 7*z**4/12 - z**3/6 - 3*z**2 + 47*z. Let i be h(-7). Do i and -2/303 have different values?
True
Let h = 0.433 + -0.437. Let p = -130.1 - -127.096. Let x = p - h. Is 1 at most x?
False
Suppose 0*l = -3*l. Let p = 244 - 243. Let m be p + 1*(-58)/52. Is l at least as big as m?
True
Let h = -0.0011 - -3.3011. Is h greater than -6/35?
True
Let q(z) = -11*z + 2*z**2 - 2*z**2 + z**2 + 8. Suppose -25*h + 26*h = 11. Let l be q(h). Is l at least as big as 0?
True
Let t = -7071 - -7169. Is 4/5 less than or equal to t?
True
Suppose 3*i - 38 = 4*s, -2 = 2*s + 3*i + 8. Let o be 12/s - (-31)/2. Is o at most 13?
False
Let z = -13.129 - -13.608. Which is smaller: 9 or z?
z
Suppose 39*y + 571 = 80*y - 3. Let i(b) be the third derivative of -b**4/12 - 5*b**3/6 + 2*b**2. Let m be i(-9). Which is smaller: y or m?
m
Let a be (6490/106)/(33/(-1617)). Let l = a + 3000. Which is bigger: 1 or l?
1
Let d be -5 - (-4 + (-6 - -3)). Which is bigger: d or 1/2?
d
Suppose -13*d - 180 = -4*d. Let g be (28/(-49) + 3)/(d/(-14)). Is 2 bigger than g?
True
Let k = 58 + -187/3. Suppose 3*j = -2*n + 13, 2*n + j = -4*j + 19. Suppose 15 = -5*f + 5*m, 2*f - 4*m + 0*m = -n. Is k equal to f?
False
Let x be -54 - -11 - (3 - -2)*-1. Suppose -z - 3*j + 96 = -0*j, -j = z - 92. Let a = z + x. Which is greater: 51 or a?
a
Let k = 9458 + -11677. Are -2219 and k nonequal?
False
Let z = 1.1023 + -1.1893. Is z <= -3.1?
False
Let b be (2/4 - 0)*(-15295038)/627. Do b and -0.1 have different values?
True
Let h = -0.47 - -85.47. Let j = -36.48 - -121.48. Let y = h - j. Which is smaller: 51 or y?
y
Suppose 21*n - 8486 = 7*n + 4*g, 3*g = 3*n - 1827. Let x be 4/74*(-22381)/2. Let d = x + n. Is 1 <= d?
False
Let o = 2230 - 1444. Does 10 = o?
False
Let u be (12/(-80))/(-2*17/(-408)). Which is smaller: u or 459?
u
Let s be (-15)/((-165)/(-143)) + -105. Which is greater: s or 3?
3
Let x = 2749550082/1007 + -2730436. Let l = -4/53 + x. Which is bigger: l or 2?
2
Suppose -74*c - 3*v - 12 = -77*c, 5*v - 61 = -4*c. Let i(j) = 8*j - 58. Let h be i(c). Do h and 14 have different values?
False
Let j = -5794 + 2700003/466. Is 1 greater than j?
True
Suppose 0 = 27*j - 25*j - 176. Let u be ((-34)/8)/(22/j). Suppose 20 - 54 = 2*d. Is d smaller than u?
False
Let r(u) = -2*u**2 + 11*u - 182. Let h be r(6). Which is bigger: h or -190?
h
Suppose -21*w = 449 - 8. Let a be w/(-224)*52 + -6. Which is greater: a or -1?
-1
Let d = 5926/597921 - 4/2481. Which is greater: d or 1?
1
Let f = 14835 - 17371. Is -2536 less than f?
False
Let u = 4811 - 5097.9. Let v = 287 + u. Which is smaller: v or 0.186?
v
Let l = -472990 - -472993. Suppose 0 = 2*i - 0*i + 16. Let z = -6 - i. Which is bigger: z or l?
l
Let j be (-695)/2 + (-25)/(-50). Which