 + 25*w - 32. Let y be g(24). Let j be y/(-132)*(0 + -6 + 3). Which is smaller: 2 or j?
j
Let k = -112 + 205. Let v = -92.8 + k. Which is greater: v or -0.2?
v
Let b(w) be the third derivative of w**6/40 - w**5/30 + w**4/24 - 23*w**2. Let c be b(1). Which is smaller: c or 2/3?
2/3
Let f = 150 - 147.88. Which is greater: f or 1?
f
Let s = -271 - -275.99. Let m = -0.11 - s. Which is smaller: m or 1?
m
Let d be (81/27)/((-3)/(-2)). Which is smaller: 21/16 or d?
21/16
Let k = 25 + -10. Let n be ((-2)/24)/((-3)/k). Which is smaller: n or 2/7?
2/7
Suppose 5*r = -2*c + 2*r - 58, -2*c = 5*r + 54. Let v = -32 - c. Is 0 at most as big as v?
True
Let h(n) = n**2 - 6*n + 4. Suppose 5*v + 4*u = -0*v + 17, 3*v = -4*u + 7. Suppose v*k - 9*k + 16 = 0. Let w be h(k). Are w and -5 nonequal?
True
Suppose 0 = -11*u + 47 - 410. Which is smaller: -97/3 or u?
u
Let s(k) = k**3 - 5*k**2 + k. Let w be s(5). Suppose w*j + 4*m = 9, j + 3*m + 2 = 6. Which is smaller: j or 3/7?
3/7
Let h(u) = u**3 - 17*u**2 + 15*u + 30. Let r be h(16). Let l be ((-9)/6)/((-1)/10). Which is bigger: r or l?
l
Let d = 282 + -282. Which is bigger: -1/193 or d?
d
Suppose -64 = 50*n - 14. Is 3/41 at most as big as n?
False
Let p be 1/(-2)*2/(-10)*0. Is -12/13 less than or equal to p?
True
Let y = 2328/12337 + -18/169. Which is greater: 0 or y?
y
Let w = -1 - 36. Let s = w + 37.1. Is s bigger than -1/9?
True
Suppose 93*v + 314 = 94*v - 2*a, -5*a = -5*v + 1555. Which is bigger: v or 615/2?
v
Let s(z) = 5*z - 32. Let a be s(7). Let n(v) = 3*v - 7. Let t be n(a). Let l be (-1)/4 + 2/8. Is l greater than t?
False
Suppose 0 = 14*n - 9*n + 330. Let f be (-12)/n + 4/(-22). Which is bigger: -3/20 or f?
f
Let g be ((-1)/(-20) + (-3)/(-4))*23. Which is smaller: g or 19?
g
Suppose -5*q - 20 = 0, -o = 5*q + 18 - 0. Let f = o - -1. Suppose 2*h = f*h. Is h bigger than 1?
False
Let k be 4 + -37 + 16/4. Let d be (3 - -34)*(-4)/(-4). Let o = d + -65. Which is greater: k or o?
o
Let s be (9/(-3) + 1 + 2)*1. Suppose b = 3*i + 22, 5*b + 2*i - 17 - 8 = s. Do 7 and b have the same value?
True
Let n(w) = -8*w**2 - 2. Let j be n(-2). Let v = -19 - j. Let q = -13 + v. Which is smaller: q or 5/9?
5/9
Let t be (-3)/(-2) + 74/4. Suppose -3*q - t = -0*q + 5*s, 3*q + s + 4 = 0. Suppose q - 5 = -5*v. Is v <= -1?
False
Let d be (6/(-10))/(-3) + (-552)/60. Let n be (d/(-6))/((-36)/(-6)). Which is greater: n or 3/5?
3/5
Let s = 43.7 - 23.8. Let o = s - 20. Which is smaller: 0.14 or o?
o
Let q = 14.1 + 0.9. Let c = -42 + q. Let y = c + 27.2. Is -2 not equal to y?
True
Let j(v) = -v + 1. Let b be j(-6). Suppose 0 = 3*k - b*k. Let u be ((-1)/(-3))/(6130/(-5517)). Is u < k?
True
Let l = -63 - 46. Let i = 60 + l. Is 1 < i?
False
Suppose 0 = 4*g + 8, g + 0*g = 5*q - 2. Let h = -26/15 - -79/30. Is q at least as big as h?
False
Suppose -4*d - d = 15. Suppose 5*r - 109 = 1. Let j = -24 + r. Is j at least as big as d?
True
Let p be (7/21 - 1)/(11/1). Let k be 1/((-1)/(2 - 1)). Which is smaller: k or p?
k
Suppose -3 + 18 = 5*j. Let p(t) = -11*t**2 - 1. Let c be p(-1). Let w be (-2)/12 - 29/c. Which is smaller: w or j?
w
Let x(w) = -w**2 + 33*w - 116. Let s be x(4). Which is smaller: s or -1/129?
-1/129
Let g = -3630 - -3638. Let h be 36/10*10/(-3). Let i = 18 + h. Which is bigger: g or i?
g
Let o = -1.24 + -9.06. Let t = -10.2 - o. Which is smaller: t or 4?
t
Let y be (4/(-4))/(1/8). Suppose 8*k - 19 = 10*k - w, -5*w + 23 = -k. Are k and y equal?
True
Let a(i) = 2*i**2 - 44*i. Let y be a(22). Is -2/31 equal to y?
False
Let u = 6 - 3. Let d be -2*u/(-6) + -4. Suppose -6 = 3*t + 3. Is d at most as big as t?
True
Suppose 7*x = 10*x - 15. Suppose 4*c - 17 = -2*m + m, -177 = -x*m + 3*c. Do 34 and m have the same value?
False
Let d be ((-13)/2)/(23/138). Which is greater: d or 2?
2
Let d = 170216/37 + -4601. Let y = d + 485/333. Which is bigger: y or 0?
y
Let o = 19 - 15. Suppose -2*b = -3*b + o. Let g = b - 6. Is -3 smaller than g?
True
Suppose -2*c + 4 = 2*m, 3*c - 2 = -2*m - 0. Suppose -161 + 21 = -m*s. Which is greater: s or 36?
36
Let g(z) = -5*z - 144. Let h be g(-30). Let u be 66/(-4) + (-1)/(-2). Let t be 33/(-22)*u/h. Is t bigger than 3?
True
Let c be 1/8 + (-6391)/(-88). Let j = 72 - c. Is j smaller than 0.3?
True
Suppose 2*s = -2*s + 44. Let z = -6 + s. Suppose -z*x - 38 = 2*y, 2*y = x - 3*y - 14. Which is bigger: x or 1/2?
1/2
Let h be (-4629)/23295 - (62/(-10) + 6). Is 1 at least as big as h?
True
Suppose 3*x + x + b = 324, 3*x - 243 = b. Suppose -3*y + x = -0*y. Let i be 93/y - (0 + 3). Which is greater: i or 0?
i
Let j = 82 - 72.3. Let f = j + -9.9. Is f at least -2.4?
True
Let c = -234 + 233. Suppose 0 = 3*n + n - 4*p + 12, -n - 4*p = -22. Let k be n/(-7) + 62/119. Which is greater: c or k?
k
Let w be (22/55 - 14/10) + 3. Is -1.4 at most w?
True
Let p(t) = 8*t**2 + 3*t - 132. Let r be p(4). Suppose 3 = 2*b - i, -b + i = -2 - 2. Which is greater: b or r?
r
Let q be (-135)/(-18)*(-4)/(-6). Let w(f) = f - 2*f - q - 13 + 5. Let y be w(-7). Does -7 = y?
False
Let j be (-57 + 1)*6/168*35. Which is smaller: j or -71?
-71
Let h = -1153 + 1153. Which is smaller: h or -1/73?
-1/73
Let q = -7 + 6.9. Let c = 64.08 + -63. Let z = c - 1.1. Are q and z nonequal?
True
Let g be 6*-3*1/(-2). Suppose 5*i = g*i + 104. Is 1 at most as big as i?
False
Let w be (-4)/(-7) - 21/21. Is 0.4 bigger than w?
True
Let j(f) = -2*f + 1. Let y be j(-2). Let n(w) = -w**2 + 4*w + 3. Let k be n(y). Let v = -38 - -35. Are v and k unequal?
True
Let x = -123 + 123.1. Let c = 31 - 51. Which is bigger: c or x?
x
Let s = -28.4 - -29. Let g be (43/3)/(3/(-18)). Let q = 604/7 + g. Is q > s?
False
Let d be (8/6)/((-5)/45). Let v be 10/(-12)*d/15. Let u = 76 + -75. Which is bigger: u or v?
u
Suppose 4*b + 38 = 186. Let c = b + -49. Is -1 at least c?
True
Let h = 4381/15 - 292. Suppose 4*d + 0*b + 4*b = 20, 3*d + 5 = 2*b. Let w = -1 + d. Which is bigger: w or h?
h
Let i = 2/9 - 17/36. Do i and -488 have the same value?
False
Let h(i) = i**2 + 3 + 0 - 4*i + 4*i + 7*i. Let p be h(-7). Which is smaller: p or 0?
0
Suppose 4*g + 16 = 2*y, 0 = -g - 4*y - 2 + 7. Suppose 4*o - 20 = 0, 0 = 2*c - 0*c - 3*o - 29. Let p = 19 - c. Is g less than or equal to p?
True
Let t = 1.761 + -2.748. Let k = t + -0.013. Which is greater: k or -8?
k
Let r be 7/3 + 160/(-48). Which is smaller: r or -2/879?
r
Let z be (-7)/(-140)*5 - 94/(-8). Let d = -0.39 - 1.61. Which is smaller: d or z?
d
Suppose 4*k = 6*k + 110. Let z = 37 + k. Let l = z - -37/2. Are 0.06 and l non-equal?
True
Let y = 4289/3 + -1462. Is -32 greater than or equal to y?
True
Let i = 7.8 + -7.7. Let p = -0.0486 + -2.9414. Let l = p - 0.01. Is l at least as big as i?
False
Let v = -12 + 13.6. Let j = -1.7 + v. Let c = 21 + -24. Is j smaller than c?
False
Let m(o) = -o**2 + 19*o - 40. Let v be m(16). Suppose 31 - v = i. Is i < 23?
False
Let q = 760 + -325. Which is greater: 436 or q?
436
Let i = 220.666 + -221. Let l = i - -0.134. Does l = -0.2?
True
Let p = 133.06 - 133. Which is greater: -0.031 or p?
p
Suppose 0 = 5*p + 2*q + 2061 + 3820, p = q - 1172. Is -1/2 <= p?
False
Let h(d) = d**2 - 6*d - 53. Let s be h(12). Do 22 and s have the same value?
False
Let u be (1*(-34)/1)/(-2). Let j be (-1840)/690 - (-218)/12. Which is smaller: u or j?
j
Let y = -2706 - -81173/30. Which is bigger: y or -1?
y
Suppose 28*i + 684 = 10*i. Is -113/3 less than i?
False
Let x = -2.1 + 2.13. Let h = 0.67 + -0.8. Let u = h + x. Is u smaller than 6?
True
Suppose 0 = 2*o + 4*a - 2*a, -4*o = -2*a. Let y = -4 + o. Which is smaller: -5 or y?
-5
Suppose -3*s + 55 = 4*b + 1, 4*b - 26 = -s. Which is bigger: s or 0?
s
Let z = 32 + -28. Suppose -5*d - z + 2 = 3*q, -q - d = 0. Which is greater: 1/5 or q?
q
Let n(t) = 2*t**2 + 21*t - 262. Let v be n(-24). Which is smaller: v or 771/2?
771/2
Suppose 3*l = -2*l. Let r = 15 + -14. Let k = r - l. Do k and 2 have different values?
True
Let s = 11205/2 + -5469. Is s bigger than 134?
False
Let j = -194/11 - -1003/55. Is j at least as big as 0?
True
Let g = -1.3 - -1.2. Suppose 5*b - 43 + 107 = -m, m - 56 = 5*b. Let v = b - -12. Which is bigger: g or v?
v
Let s = 650182/703 - 36495/38. Let m = -1/37 - s. Which is bigger: m or 36?
36
Let h = -0.1537 - -8.3537. Is -0.4 < h?
True
Let c = 1392 - 1391.926. Is -2/21 equal to c?
F