e q(-31). Which is smaller: 1/78 or d?
d
Let l(n) = n**2 - 4*n + 4. Let w be l(4). Suppose -w*u - 293 = -5*z, -3*u - 201 - 19 = -4*z. Let g be 1/2 - 20/u. Which is smaller: g or 2?
g
Let f(y) = 2*y - 9. Let q be f(6). Suppose -4*z + 69 = -o + 270, 2*o = -q*z + 347. Which is smaller: 180 or o?
180
Suppose -5*m - 4*b + 229 = -1049, -m + 4*b + 270 = 0. Which is greater: m or 257?
m
Let v(w) = -w**3 - 11*w**2 - 14*w + 4. Let q be v(-10). Let h = q - 41. Suppose 9 + 6 = -h*i. Is i smaller than -7?
False
Let a be 3*(965/480 + -2). Suppose -2 = -k - 3*q - 14, -k + 4 = -q. Suppose -4*m + 3 = -k*f + f, -4*m - 2*f = -2. Do m and a have the same value?
False
Let v = 22 + -23. Let q(o) = 433*o**2 + 5*o + 4. Let a be q(v). Let h = a + -883/2. Is h at most -10?
False
Let k = 219 - -261. Let t = 479.8 - k. Is -88 less than t?
True
Let f = -272 - -790/3. Is f > 50?
False
Let u(j) = -j**3 - 12*j**2 - 11*j - 72. Let p be u(-11). Is -30 not equal to p?
True
Suppose 0 = 6*w + 145 + 29. Let n(y) = -y - 35. Let a be n(-8). Which is smaller: w or a?
w
Let t = -1004/51 - -312/17. Which is smaller: -1/61 or t?
t
Suppose -h = 2*u - 59, u + 0*h = h + 31. Let j(b) = -6*b**2 + 33*b - 12. Let v be j(4). Is v != u?
True
Suppose -3*z + 4*z = 5*n - 4723, -5*z + 3790 = 4*n. Which is greater: n or 946?
946
Suppose 0 = -w, 5*w + 8 = -2*r + 2. Let i(h) = -20*h - 158. Let b be i(-8). Let m be 7 - (18 + -9) - b*1. Which is bigger: m or r?
r
Suppose -605*m + 593*m = 2 + 10. Are 6/3829 and m non-equal?
True
Let a = -0.096 - -21.096. Let c = 18.5 - 18.5. Is c at least a?
False
Let r be 825858/(-8) + 2 - 2/(-8). Let b be (-15819)/r + 7/(-42). Let g = -1/370 + b. Is g less than -1?
False
Let x = 8.8 - 10. Let k = x - -0.2. Let y = -24219 - -24219.14. Which is greater: y or k?
y
Suppose -2*m = -4*m + 8, 16 = 2*y - 4*m. Suppose -3*a = b - 4*a - 4, -y = 5*b + 4*a. Is -13/11 equal to b?
False
Let c = -4 + -5. Let a be -160 + (-4 - -8) + 0/(-2). Let h = 148 + a. Which is smaller: h or c?
c
Suppose 0 = -13*l + 9*l. Suppose 3*u + 46 = 2*i, -4*u + 3*i - 4*i - 65 = l. Suppose v + 26 = -4*z, -4*v - 76 = -0*v + 2*z. Is u at most v?
False
Let d = -4.74 - -0.76. Let x = d + 4.04. Is x != 28/3?
True
Let c be ((-10)/(-42))/((-15)/(-15975)). Let p(d) = -29*d**2 - 3*d - 1. Let k be p(-3). Let s = c + k. Is -0.02 at least s?
False
Let m(x) = 26*x + 235. Let g be m(-9). Is -1/1097 > g?
False
Let d = -21 + 69. Let y be 5 + d/8 + 3 + -2. Suppose -2*w + 18 + 4 = 0. Which is smaller: y or w?
w
Let p = -33.15 - -31.8. Let l = p - -1.55. Is -193 at most l?
True
Let w = -199 + 91141/458. Which is smaller: w or 1?
w
Let p(b) = -b**2 - 8*b + 33. Let d be p(14). Let u be (-55)/d - (-61)/(-285). Does 1 = u?
False
Let c = -38 + 119. Let f = c + -85.7. Let z = 3.7 + f. Is z smaller than 0?
True
Suppose -87*m + 18 = -84*m. Let n be m/(8/(-144)*-1). Which is greater: 111 or n?
111
Suppose 2*q = -4*p - 8, 4*p - 6*p + 4*q = -6. Let j be p*(5 + -491)/6. Which is greater: 82 or j?
82
Suppose 71*d - 6 = 65*d. Let n be 24/(-230)*((-4500)/27)/25. Which is smaller: n or d?
n
Let n = 0.225 + 0.025. Let g = 0.09 - n. Let a = 18 - 18.2. Which is smaller: a or g?
a
Let y = 13.51 + -14.2. Let g = y - 0.11. Let q = 927 + -929. Is q bigger than g?
False
Suppose 57*i = 68*i + 7634. Let r = -693 - i. Which is bigger: 2/103 or r?
r
Suppose 0 = -245*s + 243*s - 50. Let d be (-6)/27 + (-951)/(-27). Let q = 11 - d. Is s bigger than q?
False
Let m = 3/442 - -31/221. Suppose 14 = -5*w + 9. Which is bigger: w or m?
m
Suppose 0*l - 2*l - 3*c + 255 = 0, 2*l - 276 = 4*c. Suppose -l = -2*t - 82. Is t less than 25?
False
Suppose 3 + 2 = 5*p. Let l = -2 + p. Let q be 46/437 + (-375)/2660. Which is smaller: q or l?
l
Let c be (-1357)/2655 - 10/(-25). Suppose -4*o + 2*v - 2 = -4, -3*o = v + 6. Let y be (o + 3)/2 + 0. Which is smaller: y or c?
c
Let v be 3/8 - (-378)/16. Let x be -3*v/(-9) - 0. Is x <= 8?
True
Suppose -h = -2*w + 6, -w - 5*h - 23 = -4*w. Let z be (-112)/(-24)*w*-12. Let u = z - -81. Which is bigger: u or 24?
u
Let p = -1142 + 1316. Is 181 greater than p?
True
Let d(l) = -l**3 - 11*l**2 - 36*l - 10. Let b be d(-17). Let t be (-4)/(-18) + (-1)/((-18)/b). Suppose -8*y - t = 5*y. Which is bigger: -7 or y?
-7
Let u = -40.9745 - 0.0255. Let w = 41.07 + u. Is w != 3.4?
True
Let a = 59 + -53. Suppose -y - 4 + a = 0. Suppose 0 = -3*x - 4*x + y*x. Is x bigger than -2/11?
True
Let m be (-3)/5 - (-5 - (-3608)/(-55)). Let r be ((-14)/(-56))/((-5)/(m/(-8))). Which is smaller: 2 or r?
r
Suppose 5*t + 29 = -31. Let y(q) = -8*q + 0*q + 0*q + 39 - q**2 + 9*q - 5*q. Let u be y(t). Is u > -57?
False
Suppose 80 = 5*t - 0*t. Suppose t*p = 21*p + 5. Let d(s) = s**3 + s**2 + 2*s + 2. Let i be d(p). Which is smaller: -5/12 or i?
-5/12
Let q(z) = z**2 + 10*z + 12. Let i be q(-9). Suppose y - 936 = -i*y. Suppose 0*o = -4*o + 2*a + y, -4*a = -o + 62. Is 57 equal to o?
False
Suppose 10*r = -4*r - 30*r. Suppose r = -5*s + 10, 4*s + 2 - 10 = 4*c. Is c greater than 1/2?
False
Suppose 21*r - 7*r = 336. Suppose 16*n = r*n + 8. Which is smaller: 2/147 or n?
n
Suppose 0 = -30*u + 50*u - 63740. Is 3187 equal to u?
True
Let c be (-404)/(-44) - ((-540)/165)/(-18). Which is greater: 112 or c?
112
Let p = -0.4587 + 39.4587. Which is bigger: 7/9 or p?
p
Suppose -75*w - 580 = -71*w. Let c be -5 - (5 + w/6). Which is smaller: c or 15?
c
Suppose 0 = -40*y - 67 + 195 + 72. Which is greater: 54 or y?
54
Let p be (0 + 9 + (-730)/80)*-8. Let k be 3294/8 - 0/7. Let z = -518813/1260 + k. Is z at least p?
False
Let l(h) = -14*h + 123. Let u be l(12). Let k be (-8)/(-52) + u/39 - -1. Is k less than 1/44?
True
Suppose 5*t + 114 = -y, 3*y - 2*y + 106 = -t. Let h = -126 - y. Which is smaller: h or -14?
h
Suppose 0 = 83*f + 46*f + 237876. Do -1845 and f have the same value?
False
Suppose 63*f - 68*f = 5*a + 1325, 3*a - 3*f = -777. Is a at most -252?
True
Suppose 64*q - 14*q = q + 17101. Which is bigger: 342 or q?
q
Let w(l) = l**3 + 29*l**2 - 62*l + 3. Let u be w(-31). Suppose -u*q - 36 = 42. Is -23 < q?
False
Let w = 2905 - 2094. Which is smaller: w or 813?
w
Let l be (-8)/(-32)*(-16)/142. Let q = 11.75 - -0.25. Let f = q + -12. Is f at least l?
True
Suppose 14336 = -452*v + 420*v. Do v and -448 have the same value?
True
Let y be (-8)/(-12)*(-476118)/36. Which is smaller: y or -8816?
y
Let h be 2669/22 + -6*(-2)/66. Let u = h - 125. Is u at most -1/7?
True
Let k = 5 - 0. Suppose 0*w + 4*w = 5*b + 6, -k*b + 6 = -w. Suppose -w*f = -4*d - 12, -2*d - 9 = -4*f + d. Are -2/69 and f non-equal?
True
Let a(s) = s**3 - s**2 + 3*s + 4. Let x be a(0). Suppose x*w + 1 = -3*o, o + 4*w = 6 - 17. Are 9 and o nonequal?
True
Let d be 9*((-165)/(-27) + -6). Is d at least -28/171?
True
Let i(y) be the third derivative of -y**6/120 + 11*y**5/60 - 2*y**4/3 - y**3/6 + 20*y**2. Let h be i(9). Let x = -23 + h. Is x at most -31/5?
False
Let n(g) = 4*g + 24. Let s be n(-12). Let y(i) = 2*i**2 + 2*i - 24. Let d be y(0). Is s greater than or equal to d?
True
Let k(o) = -2*o + 76. Let t be k(-29). Let y = t - 1205/9. Which is greater: y or 18?
18
Let t be (-1)/(-2)*(92 - 92). Suppose t = -1492*r + 1495*r + 24. Let m be (3 + -1)*(-4 + -1). Which is bigger: r or m?
r
Let w(q) = 546*q**3 - 19. Let l be w(14). Let f be l/(-751830) + 0 + 0 + 2. Let i = f - -2/1319. Which is smaller: 0 or i?
0
Suppose -t = 5*a + 1767, -39*t + 3*a + 7085 = -43*t. Which is bigger: -1773 or t?
t
Let j = -736 - -740. Suppose -54 = -13*i + j*i. Is 7 at least as big as i?
True
Let y = -42963 + 42945. Is y < -784?
False
Let i(u) = 3*u**2 - 1. Let d be i(-2). Suppose m + d*s - 15*s = 14, 10 = 5*m - 5*s. Which is smaller: m or 0.27?
m
Let n = 171 + -284. Let w = -113.2 - n. Is w at least -3?
True
Let b be 0/(3/(-4) - 80/64). Let q be b + (-9 - -4) - 0. Let y be -1 - (3 - 3) - 5. Do q and y have the same value?
False
Suppose -66*x - 5472 + 1644 = 0. Which is greater: x or -465/8?
x
Let c = -981 - -996. Let n be (4368/(-70))/((-6)/c). Is n greater than or equal to 157?
False
Let f(t) = -t**3 + 12*t**2 + 15*t - 29. Let s be f(13). Let h(x) = 4*x + 16 + 20*x - 3*x. Let w be h(s). Which is greater: w or 0?
0
Let p be (-21)/9*669/(-6)*6. Suppose -12*o - 121 = -p. Is 123 != o?
True
Suppose 39*t + 119064 = -93*t. Which is bigger: -899 or t?
-899
Let w = 