2*5 + 2. Let j = u - y. Which is bigger: 1/34 or j?
1/34
Suppose 0 = -3*s - 17*z + 19*z + 14, 28 = 3*s + 5*z. Let n be (s - (-168)/(-30)) + 324/(-10). Which is smaller: n or -1?
n
Let m = -1607 - -3236. Let j = 21153/13 - m. Which is greater: 0.3 or j?
0.3
Suppose -5*k + n - 334 - 160 = 0, k + 94 = -n. Which is greater: k or -389/4?
-389/4
Suppose 0 = u - 2*t - 1, -3*t + 10 = -t. Suppose -4*s + u*s = 28. Suppose -7*h = -s*v - 4*h - 151, 5*h = -2*v - 95. Which is greater: -41 or v?
v
Let k(q) = -6*q - 100. Let v be k(-17). Suppose 5*c + 19 = v*r, 5*r + 2*c + 19 = -6. Is -48/13 < r?
True
Let j(x) = -8 - 5 + 3*x - 5*x. Let a be j(-9). Suppose -c - 2*l = 4*c + 136, -2*c - 46 = a*l. Which is smaller: c or -27?
c
Let a = -9674687/53898 - 2/26949. Let x = a + 180. Are 0.087 and x equal?
False
Let d = -292 + 279. Let p(o) = -o**3 - 4*o**2 - 5*o - 5. Let c be p(-4). Let q = c + d. Is 7/6 less than q?
True
Let d(i) = i**2 + 7*i + 2. Let u be d(-9). Let h = u + -39/2. Let f = -690 + 636. Is f smaller than h?
True
Let t = 38 - 38. Suppose t = 3*j + 4*j. Suppose 0 = o - j*o - 3*o. Which is smaller: o or -3?
-3
Suppose 5*o = -j - 2146, -5*j + 585 = 4*o + 2306. Let y = o - -222. Which is greater: -205 or y?
-205
Suppose 31*b = 30*b + 7. Let g be (b + -9)*(0 - (-3)/(-2)). Let i(s) = -s**2 - 5*s - 3. Let p be i(-4). Which is smaller: p or g?
p
Let o = 19834 + -19922.8. Let x = -83 + -6. Let g = x - o. Is 0 bigger than g?
True
Let l(w) be the third derivative of w**5/60 - 5*w**4/12 + 11*w**3/3 - 8*w**2 + 2. Let z be l(7). Is -5/29 less than or equal to z?
True
Let w be -9 + (-156)/(-18) + (-67)/(-3). Suppose -w*p = 128 + 4. Let t(x) = -x**2 - 6*x - 2. Let i be t(-7). Is p greater than i?
True
Let s = 582195436/12881 + -45198. Which is smaller: 1 or s?
s
Let q(m) = -3*m + 23 + 31 - 74 + 47. Let h be q(10). Is h > -32/13?
False
Let c be (5/(105/(-6)))/2. Let q be (-6)/((-24)/14)*(-8)/14. Let m be 2/(-3)*(q + (-42)/(-12)). Which is smaller: c or m?
m
Suppose 0 = 2*c + 10 - 0, 2*g - 5*c = -79. Let d(o) = -23*o + 172. Let t be d(10). Are g and t non-equal?
True
Let d be (-2)/(-15) - (3741/(-630))/(-29). Let y = d + 151/154. Which is smaller: y or 0?
0
Suppose 599*y = 500*y - 8217. Let q(a) be the third derivative of -11*a**4/24 - 5*a**3/6 + 2*a**2. Let h be q(7). Which is bigger: y or h?
h
Suppose 30 = 43*x - 37*x. Suppose 90*g + x = 85*g. Which is smaller: 2/79 or g?
g
Suppose 51*a - 586*a + 24871 + 12579 = 0. Which is greater: 80 or a?
80
Let n = 2.25 + -235.25. Let y = 223 + n. Is 1 at most as big as y?
False
Suppose -b = -3*v - 14, -2*b - 2*v + 0 = -4. Suppose 0 = b*x - 7*x + 64. Is 29 smaller than x?
True
Suppose -2*i + 2*u = 2*i - 34, -13 = 2*i + 5*u. Let k be (i/(-117))/(13 - 12). Let g be (-1 + 0)*(0 - 0). Which is smaller: k or g?
k
Let w = -328.8 + 330.02. Let p = 996/7 - 142. Does p = w?
False
Suppose 22 + 265 = -7*w. Let x = -920 - -876. Is w at least as big as x?
True
Let t = -1 + 4. Let u(v) = -8*v + 44. Let l be u(5). Suppose -l*f - 3*f = f. Which is smaller: t or f?
f
Let r be (5*6/60)/(-2 + 4941/2472). Which is bigger: r or -414?
r
Let d = -10203 - -10219. Is 49/3 < d?
False
Suppose 4*v + 4*a = -68, v - 10*a + 12 = -12*a. Which is smaller: -167/8 or v?
v
Let m = -12434 - -3472. Which is greater: -8960 or m?
-8960
Let y(t) = -2*t**3 - t**2 - t. Let l be y(-1). Let m be (80 - -1) + -1*l. Suppose -86 + m = b. Is -1 not equal to b?
True
Let d be (-2139)/(-5) - ((-121)/55 - -2). Let p = d - 440. Is p greater than or equal to -9?
False
Suppose -3*q = -5*h + 24 - 9, 0 = 4*h - 2*q - 10. Is h bigger than 156/139?
False
Let l be 3/(22/(-55) - 151/(-365)). Suppose -39 + l = 12*r. Do r and -0.1 have the same value?
False
Let u = 5130727/30 - 497101/3. Let v = 5317 - u. Which is bigger: v or -7?
v
Let r = 330 + 72. Let m = 402 - r. Is m > -2/3?
True
Let b be (7/(-3))/((-12)/648). Let u = 132 - b. Let a be 10/4*(u - 4). Does 6 = a?
False
Suppose 1124 = 37*o - 32*o - 3*d, 0 = 3*d + 9. Which is smaller: o or 226?
o
Let q be -4 + -3 - (-1 + (-200)/35). Let u = 25.35 - 26. Which is greater: u or q?
q
Suppose 3*v = 3*y + 12, 0 = 4*v - y + 3*y - 40. Suppose 0*i = -3*i + 9. Suppose -i*r - 40 = v. Is -17 > r?
False
Let w(c) = 8*c**2 + 34*c - 167. Let n be w(-6). Which is greater: -2/555 or n?
-2/555
Suppose 127 = -5*o - 4*b - 129, 0 = 2*o + 2*b + 104. Suppose 2*a + 5*s - 14 = 3*a, 34 = -2*a + 4*s. Let u = o - a. Which is smaller: u or -2?
u
Let z be (-26)/7 - -3 - (-16)/(-8). Let r be (-194)/(-18) - 20/(-90). Suppose -r*u + u - 20 = 0. Which is greater: u or z?
u
Suppose 3*w - 37476 = -3*h, -5*w + 41*h = 39*h - 62509. Which is greater: w or 12500?
12500
Suppose 40 = -5*c - 4*o, -c + 4*c - 13 = 5*o. Let m be ((-2)/c)/(1/2). Let q be 91/522 + (49 - 885/18). Are m and q non-equal?
True
Let b = 1073 + -234985/219. Let i be ((-3)/(-6))/(3/(-6)). Which is bigger: b or i?
b
Let i be (1/(-2))/((-46)/11776). Suppose 0 = 3*t - 0*t - 2*y - 6, 5*y = 5*t - 5. Suppose -6*o + t*g + i = -2*o, -98 = -4*o - 2*g. Are o and 25 nonequal?
True
Let a = -3124 + 37487/12. Which is smaller: a or -69?
-69
Let b be (-30)/4*1*272/(-12). Let v = b + -179. Which is smaller: -11 or v?
-11
Let c be (-3*(-10)/(-3195))/(-1). Suppose 9*m = 5*m + 4. Which is smaller: c or m?
c
Let s(t) = -t**2 - 8*t - 7. Let l be s(-6). Suppose f + l*f = 6. Let g(p) = -15*p + 6. Let k be g(f). Which is smaller: k or -19/2?
-19/2
Suppose 0 = 4*o - r - 3035 - 1325, 0 = o + r - 1085. Suppose 1085*d - 32 = o*d. Let a be 2 + (-1 - 1) + -9. Is d at least as big as a?
True
Let w = 108851/8 + -13606. Let n(m) = 2*m**2 - m. Let s be n(1). Let o = 2 - s. Which is smaller: o or w?
w
Let l be (65/(-15) + 4)*6. Let s be (-14)/(-42)*(-2 - l). Let n be (-4)/(-8)*s/(-4). Is 0.07 < n?
False
Let d be (-2)/(1 + 3)*6 + 13. Suppose -13 = -3*l + 6*l + 2*t, -5*t = d. Which is bigger: l or 6?
6
Let q = -3250/11 + 886/3. Let j be 1/(-1 + 6/4). Suppose -1 = m - j. Is m > q?
True
Let b = 46/1149 - -2068/5745. Let a(l) = 5*l**2 - 1. Let n be a(-1). Let q be n/(-10) - 12/(-30). Which is greater: b or q?
b
Let a = 343 + -376. Let f be (-365)/1980*-1 + 6/a. Which is bigger: -1 or f?
f
Let s = 144 - 144. Suppose -y + 20 - 50 = s. Which is smaller: y or -29?
y
Let x be (2/3)/(9/81). Let u be (-2 + 5)/((-4)/(2 - x)). Which is greater: u or 19/10?
u
Let p = 2163 + -2237. Which is greater: -5/2 or p?
-5/2
Let p = 64 + -43. Let a(d) = -d**2 + 23*d - 35. Let y be a(p). Suppose y*w - 4*q - 16 = 2*w, -5*w - 5*q + 25 = 0. Which is smaller: 5/2 or w?
5/2
Suppose -19*g - 8981 - 13609 = -34*g. Do g and 1508 have the same value?
False
Let m = -31/2 + 61/4. Is m less than 3985?
True
Let z = -1306/7 - -187. Let a = 581 + -643. Let p = a - -62. Which is smaller: p or z?
p
Let j = 0.06 - 0.1. Let x = j - -0.076. Let f = 82281/4 + -20570. Which is smaller: x or f?
x
Let d(l) = 0*l - l + 0*l + 17. Let v be d(-8). Is 19 at least v?
False
Let i(d) = 17*d + 1. Let w(l) = -4*l + 26. Let s be w(11). Let f be i(s). Let h be (-4)/(-6) + f/525. Is -1 less than h?
True
Let r be (-31)/(372/72)*2/(-6). Which is smaller: r or 152?
r
Let r = -492.9074 - -493. Let l = r + -0.0106. Which is smaller: l or 2/7?
l
Suppose 15*s - 1590 = -0*s. Let g = 2088 + -1984. Does g = s?
False
Let b be (-6)/9 - 1152/(-27). Let a be ((-25)/75)/((-2)/b). Is a less than 23/4?
False
Let o be 5/(-45) + (-35)/(-315). Which is smaller: 6/415 or o?
o
Let t be -2 - (12 - (-160)/(-24))/(2/57). Which is smaller: t or -3?
t
Suppose 5*s + 6*s + 14619 = -0*s. Are -1324 and s unequal?
True
Let p = -20755.97 + 20756. Which is greater: 2143 or p?
2143
Let p be -5306 + 19 + (-348)/12. Is p less than -5316?
False
Suppose -n + 111 = 3*k, 0 = k + 3*n - 5*n - 23. Which is smaller: 48 or k?
k
Let v = 59 - -11. Suppose -15*a - 80 - v = 0. Is a less than or equal to -35/4?
True
Let u = -25285/2 + 12884. Which is greater: 241 or u?
u
Let l(v) = 2*v**3 - 61*v**2 + 71*v + 3. Let i(p) = p**3 - 32*p**2 + 35*p + 2. Let c(s) = -11*i(s) + 6*l(s). Let k be c(4). Which is greater: k or -2/719?
k
Let q = 155 + -110. Let a = -248 - -247.9529. Let w = -0.0471 - a. Which is smaller: w or q?
w
Let j = -1284.85 + 1315. Let p = j + -29. Let g = -0.85 + p. Which is smaller: g or -0.09?
-0.09
Suppose -84*w = -171*w + 89*w + 78. Is w equal to 