, -5*t + u = -18. Which is bigger: -2 or t?
t
Let m = 85.64 + 9.36. Which is smaller: -1.8 or m?
-1.8
Suppose 171*g = -174*g + 340*g - 150. Let h be ((-8)/3)/(2/21). Is h less than or equal to g?
False
Let d be 3/12 - ((-3)/8 + 13/8). Let n be (-5 + 3 + 1)/(-12). Is n at least d?
True
Let h(v) = 204*v - 119. Let r be h(-3). Let z = -615 - r. Which is smaller: z or 115?
115
Let o be (39/9 - 4)*(8 - (-40)/(-8)). Are o and 1/396 nonequal?
True
Let x(r) = -15*r - 59. Let s be x(-4). Is s < -8/53?
False
Let t = -848123 + 14486788969/17081. Is t greater than -1?
True
Let i = 15 - -8. Let f = i + -30.95. Let p = 7.9 + f. Is -6/5 at most as big as p?
True
Suppose w + 15 = 3*a, a + 11*w = 6*w - 11. Suppose -34 + 102 = a*b. Which is smaller: 24 or b?
b
Let t = 52 + -14. Suppose -2*q + 3*b - 22 - t = 0, -200 = 5*q + 5*b. Let c = -56 - q. Is -18 > c?
True
Let j be (2/(-7))/((-2000)/(-21700)). Which is bigger: -2 or j?
-2
Let c be 18780/1056 + -11 + -9. Which is bigger: -2 or c?
-2
Let i = 58572555 + -4510336389/77. Let h = -22818/7 - i. Is h at least -18?
True
Let h = -49.2 + 70. Let r = h + -20.9. Are r and -0.11 unequal?
True
Let k(a) = 2 - 27*a**2 + 28*a**2 + 0 - 2*a. Let b be k(1). Let s be (9 + -10)/(b - 0). Which is smaller: 5/7 or s?
s
Let v = 8237915/686067 + -83/4209. Let g be (0 - 1)*((-18)/(-6) - -9). Let h = v + g. Which is greater: h or 0?
0
Let t = 0.13927 + -0.13927. Which is smaller: t or 68.26?
t
Let h be (25 + (-5838)/252)/(1/6). Suppose 5*f + 2*s - 56 + 142 = 0, -2*f + 5*s = 17. Let p = 26 + f. Is h > p?
True
Suppose 6 - 114 = -2*z. Let d(m) = -m**3 + 4*m**2 + m. Let a be d(4). Suppose -z*k = -58*k + a. Which is smaller: k or 2/87?
2/87
Let s be (510/5)/3 - (-6 - -3). Suppose -31*b + s*b = 54. Suppose -4*m + b*m = -20. Is -9 greater than m?
False
Let x = -21036 + 20990. Let v = -0.2 - -0.1. Which is smaller: x or v?
x
Suppose 4*i - 6102 = -3*l, 0 = -23*i + 26*i - 2*l - 4602. Do 1529 and i have the same value?
False
Let d = 301/42631 - -2/479. Let r = -22 - -19. Let f be (-44)/(-99)*r*(-3)/4. Which is greater: f or d?
f
Suppose -5*j = 2*w - 857, 1886*j - 340 = 1884*j + 2*w. Which is smaller: 133 or j?
133
Suppose -4*q = -2*k + 96, -13 + 7 = 3*q. Let o = -372/13 + 1849/26. Which is smaller: o or k?
o
Suppose -4*q + 14 = -2*c, 3 = -5*q - 5*c - 2. Suppose -3*s - 5*w - 38 = -32, -2*w - q = s. Do s and -46/35 have the same value?
False
Suppose 0 = 6*q + 2*c - 5*c + 62382, 3*q - 5*c + 31198 = 0. Which is bigger: -10395 or q?
-10395
Let i = -1630/4499 + -6/4499. Is i > -313?
True
Let o = 384 + -390. Suppose 3*k + 1 + 1 = -4*a, 16 = 4*k - 4*a. Suppose 0 = -3*v - k*v - 25. Which is greater: o or v?
v
Let t(v) = -v**2 - 6*v + 25. Let h be t(-6). Let s(g) = -h*g + g**2 + 48*g + 1 - 24*g - 2*g**2. Let j be s(4). Which is smaller: -21 or j?
-21
Let b = -32613/480482 - -2/6493. Which is smaller: b or 1?
b
Let n be ((-6)/9)/(1/(-84)). Suppose -3*p - p + 2*y + 230 = 0, -4*p - y = -215. Is p greater than or equal to n?
False
Let t be -16*(4/(-16) - 4). Let j = t - 66. Suppose -3*m - 2*b = -j*m + 4, -b = -4*m - 25. Is m > -7?
True
Let l = -201 - -160. Let d be 4/(-2)*l/(-41). Which is bigger: d or -7?
d
Let k be -3 - (-4 + -2 - -2). Let a be k/(0 - (0 - 3))*3. Let f = a - -2. Which is smaller: f or 0?
0
Let m(x) = x**3 - 18*x**2 + 19*x + 41. Let j(c) = -3*c**3 + 54*c**2 - 56*c - 124. Let v(g) = 3*j(g) + 8*m(g). Let d be v(17). Which is bigger: -21 or d?
-21
Let b = -0.0866 - 0.7814. Let a = -1.068 - b. Let x be -50 + 1 - -2 - -2. Is a greater than x?
True
Let c = 2.0116 + 1.5484. Which is bigger: c or 0.28?
c
Let d = -7166 + 9091. Do 1927 and d have different values?
True
Let k(x) = 26 + 2 + 8 - 3 + 2*x. Let o be k(-17). Which is bigger: o or -2/207?
-2/207
Let w = 0.3886 + -0.5886. Do w and 942/11 have different values?
True
Suppose 3*v + 33 = 312. Suppose -127 = 5*m + v. Let t = m - -98. Is 54 greater than or equal to t?
True
Suppose -x - 4735 = 448*i - 446*i, -4*x = -2*i + 18980. Which is smaller: x or -4742?
x
Suppose 27*x + 1465 = 32*x. Suppose 2*w - 54 - x = -3*n, 0 = -3*n - 4*w + 343. Which is smaller: 118 or n?
n
Let u = -115.2567 - -0.1567. Let a = -115 - u. Is -146 < a?
True
Suppose -222*h - 125 = -217*h. Let j(f) = -2*f - 51. Let x be j(h). Let o be (-2 - 81/(-12))*-4. Is x bigger than o?
True
Let p = -41.5 - 1.5. Let n = p - -30. Suppose 93 - 83 = -5*x. Which is greater: x or n?
x
Suppose -113*m + 100*m - 26 = 0. Which is smaller: m or 110?
m
Let h be ((-28)/238 + 372/4029)/(-282). Is 0 less than h?
True
Let i be (-68)/(-20) - 3/(-5). Suppose -z - z - 2*l = -112, -i*z - 2*l = -220. Suppose 51*c - 56*c + 210 = 4*k, 0 = -c - 2. Which is greater: z or k?
k
Let b be 5/(-10) + (-5)/10. Let r(j) = -122*j - 1. Let z be r(b). Do z and 120 have different values?
True
Let c(u) be the second derivative of -u**5/20 + 2*u**4/3 + 2*u**3 - 29*u**2/2 - 68*u. Let l be c(10). Is l smaller than -109?
False
Let n(j) = j**3 - 2*j**2 - 6*j + 5. Let m be n(4). Let q = -912 - -930. Is q at least m?
True
Let p = 4.6276 - 346.7576. Let k = p - -342. Let g = 76/3 + -25. Is k equal to g?
False
Let t(z) = -70*z**3 + 5*z**2 + 12*z + 20. Let h be t(-2). Let n be 3 + 1 - (8 - h/153). Is n not equal to 1?
True
Let k = 1612/9 + -179. Which is greater: 7 or k?
7
Let x = -5.1 + 5. Let p = 65974/280245 - 2/16485. Is p < x?
False
Let u be (-69)/13*(-12)/(-18) + 4. Let n = -486185/52 + 9349. Let z = n + u. Is 0 greater than or equal to z?
True
Let t(i) = -i**3 + 18*i**2 + 20*i - 23. Let v be t(19). Let g = -1 - v. Suppose -g*y = 6 - 0. Which is bigger: -4 or y?
y
Let s(h) = -349*h + 3846. Let q be s(11). Is q <= 0?
False
Let j = -1167 - -1216. Which is greater: j or -30?
j
Let t = -7 + 57. Let q be (-798)/(-16) + 74/592. Is t not equal to q?
False
Let m = 13 - 12.98. Let n = -363.9917 - 0.0083. Let s = n + 366. Are m and s nonequal?
True
Let k = -0.1 + 0.1. Let a = -34.3076 + 34.6076. Is k greater than or equal to a?
False
Let u(a) be the third derivative of -17*a**4/8 + 10*a**3 - 14*a**2. Let w(i) = -5*i + 6. Let p(m) = 2*u(m) - 21*w(m). Let r be p(1). Which is smaller: r or -5?
-5
Let r be (-59899)/(-16625) + (-6 - -2). Let f be (-5 - -5)*1 + 3/(-125). Let j = r + f. Is j <= 1?
True
Let u be (10/(-21))/(2/(-7)*(-42)/(-56)). Let i = -4 - -4. Suppose i*c = 5*c - 10. Is u smaller than c?
False
Let m(u) = u**3 + 36*u**2 - 67*u - 2179. Let y be m(-36). Which is bigger: -23 or y?
y
Let z(q) = -q**3 - 83*q**2 - 1172*q - 131. Let g be z(-65). Which is smaller: -5/227 or g?
g
Suppose -10*u - 108 = -138. Suppose -w = -3*g - 2*w + 433, 418 = u*g + 4*w. Which is bigger: g or 147?
147
Let a = -19531 + 19531.1. Which is smaller: 7/464 or a?
7/464
Let u be (6/(30/5) - 6) + 4. Is -160/79 greater than u?
False
Let n = -73 - -70. Let v(b) = -b**2 + 2*b + 19. Let d be v(n). Let y be (d/(-16))/(-5*(-2 - 1)). Which is bigger: y or -1?
y
Let s(v) = 21 + 10 + 249*v - 2*v**2 - 238*v + v**2. Let u be s(-3). Which is smaller: u or 4?
u
Let g = -4/10123 - 263170/70861. Let v be 4 + -1 - 6 - 0. Is v less than g?
False
Let s(f) be the first derivative of f**3 - 5*f**2/2 + 3*f + 45. Let j be s(1). Which is bigger: -5/53 or j?
j
Let z be 1*(-432 - -5) + (-4 - -10). Is 1/4 < z?
False
Let o be (((-4)/14)/(72/(-504)))/(8 - 1). Let p = 2 + -5/2. Which is smaller: p or o?
p
Let d = 0.09 - 4.09. Let h = 3.9 + d. Let l = -3.3871 - -2.3871. Which is smaller: l or h?
l
Let o = 5778 - 5808.58. Which is bigger: 0.1 or o?
0.1
Let v = -190 - -196. Let x be (-98)/3*v/4. Is -50 at most as big as x?
True
Let y = -108992/5 + 1907033029/87485. Is y smaller than 0?
False
Let s be -4 + -5*19/(-5). Suppose -5*r + s = -10, -3*r + 14 = l. Which is smaller: l or 1/8?
l
Let s = 17.6 + -17.508. Let u = s - 0.047. Which is smaller: -1 or u?
-1
Let g = 233 + -229. Suppose -8 = 4*o + g*o. Which is smaller: 79 or o?
o
Suppose 16*w = 15*w + h - 1731, 3*w - 2*h + 5190 = 0. Let i be w/24*3/4. Are -55 and i unequal?
True
Let u be 2 - 10*(-2)/(-5). Let p be -2 - (u + 10)/(-8). Is p smaller than -5/31?
True
Let s = 144 - 136. Let i(l) = -3*l**2 - 13*l - 2. Let k(f) = 5*f**2 + 25*f + 4. Let u(a) = 7*i(a) + 4*k(a). Let b be u(8). Which is smaller: s or b?
s
Let t be (-26)/(-8) + -3 - ((-1287)/36 + 12). Let i(g) = g**2 - g + 23. Let w be i(0).