2/(4 - 2). Let h be -15*((-35)/(-7) + (-74)/10). Let f = h + l. Which is bigger: f or 3?
3
Suppose -8*b + 29024 = 8*b. Let q = -74380/41 + b. Which is smaller: q or -1?
-1
Let j = -8994 + 9378. Is j <= 384?
True
Let b(p) = -p**2 - 5*p - 6. Let k be b(-9). Let u = -40 - k. Suppose 0 = -u*c + 3*m - 25, -5*m + 23 = -4*c + 2*c. Which is bigger: c or -12?
-12
Let z = 217 + -217. Let j be 0 - (z + 1/1). Let m be (-5)/(10/(-4)) + -6. Is j < m?
False
Let q(c) = -47*c - 188. Let s be q(-4). Suppose -2 = -2*t, 5*b - 6*b - 4*t - 14 = s. Suppose 5*k + 2*p = -31 - 48, 23 = -k - 4*p. Which is smaller: k or b?
b
Let m(f) = -2*f**2 + 8*f - 26. Let y be m(3). Let d be (-6660)/24*((-4)/(-2))/y. Which is greater: d or 27?
d
Let u be 225/500 - (-2)/40. Is u > 303?
False
Let n be ((-4)/30)/((-12)/(-80)). Suppose -8*u = -51 + 11. Let f be (5 - u)/(-5 - (-2)/2). Is f at most as big as n?
False
Let s be 13566/(-33) + (-50)/(-550). Which is smaller: s or -3700/9?
-3700/9
Let c = -6518 - -6837. Is c not equal to 314?
True
Let y = -57.4 - -60.23. Let i = y - 15.83. Which is bigger: -0.05 or i?
-0.05
Let v be 20 + -13 + (-10664)/1016. Which is bigger: v or -4?
v
Let p = -98971 - -4454861/45. Let o = p + -232/9. Let n(q) = -q**2 - 6*q - 4. Let u be n(-5). Is o smaller than u?
True
Let c = -36863 - -36862. Does c = 11052?
False
Let w(k) = -10*k + 218. Let s be w(21). Let v be s/((-336)/(-35)) - 1/(-6). Let l = 7501/30 + -250. Which is greater: l or v?
v
Let f = 23.24 - 24.24. Is 1338 greater than f?
True
Let t = 59 + -57. Suppose -t*r + 5 - 1 = 0. Suppose -3*f = -18 + 3. Is r at most as big as f?
True
Let n(t) = 21*t - 12. Let d be n(4). Is 74 less than d?
False
Let l(c) = -53*c - 140. Let u be l(-8). Is u bigger than 284?
False
Let n be (3/(-174))/(4/(-320))*(-740)/(-74). Is 14 at most n?
False
Let m(z) = z**3 - 4*z**2 - 12*z + 47. Let l be m(6). Suppose 91 = 2*p - 3*s, 11*p + 3*s + l = 12*p. Which is greater: p or 41?
p
Let t be 2/10 + (-17)/10. Suppose 0 = -4*l + 3*d + 21, 4*l - l + 5*d - 23 = 0. Suppose l*h = 5*h - 2. Which is greater: h or t?
t
Suppose 18*k = 20*k + 8. Let q be 442*(-4)/(k - 0). Let b be (-6)/(-4)*q/39. Which is greater: b or 18?
18
Let c = 348 - 5573/16. Let y(j) be the second derivative of -j**5/20 + 5*j**4/6 - 2*j**3 + 14*j**2 + j + 157. Let w be y(9). Does c = w?
False
Suppose -b + 4*f - 36 + 31 = 0, -b + 11 = 4*f. Is 42/11 != b?
True
Let j = 1327.4 - 843.4. Do 0.4 and j have different values?
True
Suppose -19*a + 2584 = -0*a. Suppose 0 = 18*s + 118 - a. Is s smaller than 10/23?
False
Let d be ((-21)/(-28) + -1)/(2/8). Let v be (5 + (-14)/2)/(0 - -2). Let a be -2 - (-102)/72 - (-2 - v). Which is smaller: a or d?
d
Let v = 8 + -2. Let i(p) = -2*p. Let j(n) = n**3 - 8*n**2 + 3*n - 6. Let g(x) = 5*i(x) - j(x). Let c be g(6). Which is smaller: v or c?
c
Let f = -79 - -78. Let k be (-24)/(-18)*(f + (-10)/(-4)). Suppose -4*z + k*b - 148 = 6*b, 135 = -3*z + 3*b. Is -41 smaller than z?
False
Let d be 17/(-4 - 4/(-10)). Let s = 211 - 431/2. Let h = s - d. Which is bigger: h or -1?
h
Let o = 6111 - 6126. Which is greater: o or -372/25?
-372/25
Let x = 25 - 13. Let m be 4/34 - -11*x/34. Suppose 5*c + 5 = -3*q, -c + 1 - 2 = m*q. Which is bigger: 1/17 or q?
1/17
Suppose 258 = -4*m - 5*d - 373, m + 5*d + 169 = 0. Let b = 157 + m. Which is bigger: b or 5/3?
b
Let c be (-22311)/(-136620) - (-1)/(-4). Let p = 131327/115 - 1142. Let q = c - p. Which is smaller: -1 or q?
-1
Suppose -6*r + r + 10 = 0. Let b = -1 + r. Let x = 652/629 - 34/37. Which is smaller: b or x?
x
Let r(g) = -935*g. Let p be r(1). Let m = -10230899/10953 + -140/3651. Let d = m - p. Is d < -2/7?
False
Let t = 929 + -929. Which is bigger: 2/83731 or t?
2/83731
Let d(m) be the second derivative of 5*m**4/12 - m**3/3 + m**2/2 - 6*m. Let a be d(1). Let o be a + 2 + -1 + -3. Is o smaller than 8?
True
Let s be 4/(-2)*(-2)/(-4). Let p be (-18)/(-24) - 30/8. Let k be (3 - 5)/(p/(-2)). Which is smaller: s or k?
k
Let n = 689 - 685. Suppose -2*h - 3*g - 10 = 0, n*h - 4*g = 7*h + 13. Which is smaller: 2/635 or h?
2/635
Suppose -20*q = -21*q + 3*f + 10386, 4*q + 4*f = 41640. Which is greater: q or 10403?
q
Let s = -253492/45 + 5634. Is s < 0?
False
Let w be 1200/(-5400) - 10/(-72)*94. Which is smaller: w or 14?
w
Let q(j) = -4*j**2 + 45*j - 185. Let f be q(9). Which is bigger: 2 or f?
2
Let w = 4 - 6. Let x be w/(4 + (-3)/1). Let j be ((-11)/374)/(11/528). Which is greater: j or x?
j
Let g = 22198 - 444067/20. Let r = g + 28/5. Is r <= -0.02?
False
Suppose -8*x - 214 = -6*x. Let j = -96 - x. Suppose 6*w - j*w - 5 = 0. Which is smaller: -10 or w?
-10
Let m be (-142)/(-6) + (-2)/3. Suppose -x + m = -28. Suppose 9 = 5*c - x. Which is smaller: c or 11?
11
Let w = -455.02 + 114.02. Is -16 at least as big as w?
True
Let i = 11 + -10. Let a be 21/105 + (-2828)/(-10) + 1. Let z = a + -288. Which is smaller: z or i?
z
Let u(m) = -m**3 - 23*m**2 + 150*m - 366. Let t be u(-31). Is 2672 at most as big as t?
True
Let h = -354.2 - -351.2. Let a be 31*(-2 + (0 - -1)). Which is greater: h or a?
h
Let c = -1/828 + -1229/10764. Let m(x) = 2*x - 7. Let p be 6/(-39) + (-216)/(-52). Let j be m(p). Which is smaller: j or c?
c
Suppose -2352372 = -135*q - 7*q. Is q <= 16566?
True
Let t = 276341/230 - 2403/2. Let z be -4 + -1 - -2 - -4. Is t greater than z?
False
Let s = 290.835 + -0.635. Let l = s + -290. Which is greater: l or 1.93?
1.93
Let w be -2*429/(-22) + -5. Let m be (-5)/(-1) - w/(-34). Let l = 19 + -8. Are l and m equal?
False
Let k = 23656149/1828 + -12941. Is k at most as big as -0.4?
False
Let k = -5 - -10. Suppose k*f - 335 = 5*y, 0 = 7*y - 12*y + 3*f - 325. Which is greater: -63 or y?
y
Let l be 9/(270/35) - 20/48*2. Which is bigger: 1/228 or l?
l
Suppose -148*o = -153*o + 595. Suppose -8*c + 1124 = 172. Is o at least c?
True
Let m = 102 - 85. Let z = -28 + m. Let f = 12 + -15. Is f != z?
True
Let n = 254.104 + -254.28. Which is bigger: n or -0.051?
-0.051
Let v = 15 + 596. Let z = 643 - v. Let w = 27 - -4. Which is greater: w or z?
z
Let y = -14501 - -14501. Is 2/2787 less than y?
False
Suppose -9*a + 7*a + 20 = 0. Suppose 3*h + 11 = -5*y, -y + 4*h + a = -3*y. Let x be 15*(2 + y - 2 - 0). Is -13 not equal to x?
True
Suppose -13*b + 17*b = -16*b - 5400. Which is smaller: b or -2?
b
Let y = 230476839968719244 - 6661726552047233875352975/28904104. Let j = y + -25/781192. Let l = 557 + j. Which is smaller: 0 or l?
l
Let u(f) = f**3 - 35*f**2 - 4*f + 139. Let a be u(35). Is a greater than -20/659?
False
Let q(x) = 82*x + 56. Let j be q(4). Let w = j + -362. Is w != 22?
False
Suppose -10*i + 4*i = 30. Suppose 4*l = 5*x - 7, 15*l - 13*l + 2 = 4*x. Is l > i?
True
Let g be ((-14)/((-196)/273))/(6/(-104)). Let j = 677/2 + g. Is -145 at most j?
True
Let n = 1039 + -10399/10. Let o be 31/(-18) - (-69)/46. Is n < o?
True
Suppose 375*q - 377*q = -2. Is q less than -367?
False
Let v = 46 + -37. Suppose x - 4*x + v = 0. Let h be x/5*15/24. Which is bigger: -1 or h?
h
Let f be ((-4)/(-14))/((-42)/(-147)). Let v(k) = -241*k**3 + k**2 - 2*k + 2. Let w be v(f). Let g = -158 - w. Which is greater: g or 81?
g
Suppose -107 + 575 = -2*d - 4*n, 0 = 4*n - 8. Which is smaller: -2146/9 or d?
-2146/9
Suppose -10*c + 52 = 32. Suppose 2*h + 2 = -2*w, c*w + 5 - 3 = h. Is w > 3/65?
False
Let m be ((-5 + 2)*85/272)/((-258)/14). Which is smaller: -1 or m?
-1
Let g(n) = -6*n + 8. Let i be g(1). Suppose 3*r - 2*k + 107 = -i*r, -3*r - 65 = -2*k. Which is smaller: -12 or r?
r
Let r = -8.8 + 11.8. Let q = -0.3 - -28.3. Let z = 27.2 - q. Which is greater: z or r?
r
Let n be (19/(-57))/(1822/(-6)). Which is smaller: n or 0?
0
Let o be 1/(-2 + 2 + -16). Let d = o + 3/112. Suppose 9*u - 6*u - 2*f = 0, 0 = -2*u - 4*f. Which is smaller: d or u?
d
Let y = 169 - 169. Let i be (y - 0) + (-784)/364. Which is greater: -1 or i?
-1
Let z(k) = 1608*k + 3152. Let o be z(-2). Is -2982/47 <= o?
False
Suppose -82 = -6*k + 44. Suppose k = 4*h + 5. Let o be (h + -1 + -1)*(-9)/(-10). Are 1 and o non-equal?
True
Let f be 33/(-5)*(-1980)/17226. Which is smaller: 1.6 or f?
f
Let g = -12250/19 + 645. Let j(l) = 60 + l - 32 - 23. Let d be j(-5). Is d greater than or equal to g?
False
Let n = 8521 + -8521.0311. Which is smaller: 0.1 or n?
n
Let p be (-8)/(-6) + (-26)/(-13) + -