be (13 - 1)*(19 + -21). Let m be r(n). Which is smaller: 4 or m?
4
Let i be 30/7 + -14 + (-17 - -27). Let d = -37.8 - -53.8. Which is smaller: d or i?
i
Let i be -34*(-8)/1224 + 1 + (-570576)/466857. Is i at least as big as -1?
True
Let h(i) = -5*i + 10. Let s be h(2). Suppose 4*b - v + 19 = -0*v, s = -4*b - 2*v - 10. Let j be (-1)/2 + b/(-8). Which is smaller: -2/189 or j?
-2/189
Suppose -5*a = 4*r - 29, 5*r + 7*a - 2*a = 30. Let m be (-2)/(r/((-4)/(-12))). Let f be ((-9)/6 - 36/(-40))/(-2). Is f at most as big as m?
False
Suppose 6*u - 2*u = 0. Let m = 27/2876 - -44855/123668. Do m and u have the same value?
False
Let q(j) = 40*j**2 + 24*j + 42. Let k be q(-7). Which is smaller: k or -1/4?
-1/4
Suppose -1005 = -2*x + 2*s - 5*s, 0 = -2*x + 5*s + 1013. Is 504 less than or equal to x?
True
Let y = 17008 - 17213. Which is smaller: -15 or y?
y
Suppose 12*o = 17*o - 45. Suppose 5*b - 16 = j, -1 = -2*b + 4*j - o. Let a be 3/(4 + 8)*b/3. Is a < -1?
False
Let n = 0.1983 + -0.1983. Which is smaller: 16079 or n?
n
Let k(c) = -2*c**2 - 81*c - 816. Let u be k(-20). Which is smaller: u or 36?
u
Let n(k) = k**2 + 3*k + 5. Let m be n(-3). Suppose 2*j + 2 = h - 4, 4 = -m*j - 3*h. Is -29/10 <= j?
True
Let b be (6/4)/(3/(-2)). Let q = 10 - 42. Let l be 2/(-3)*((-67)/q + -2). Which is smaller: l or b?
b
Let z be 2/(-21) - 44/(-462). Suppose 4 - 5 = 3*m - 2*c, z = -4*m - c - 5. Do -6/89 and m have different values?
True
Suppose 362*p = 2580 + 1147 + 3151. Which is bigger: 15 or p?
p
Let p(u) = 3*u**2 - 18*u + 61. Let d be p(6). Let w = d + -68. Which is smaller: w or -19?
-19
Let n = -1598/161 - -98228/12719. Is -1 at most as big as n?
False
Let b = -32 + 111. Let d be (96/(-2496))/(2/(-52)). Does d = b?
False
Let y = 2.3 + -2.35. Let m = 5.45 + y. Let w = m + -5.5. Is w greater than or equal to 2/123?
False
Let n(r) = -3*r**2 + 219*r - 333. Let x be n(69). Is -4 greater than x?
False
Let w be 10/(-4) - (-63)/6. Suppose w*j - 498 = 2*j. Let a be 6/10 - j/130. Is 1 >= a?
True
Let r = 6.704 - 4.625. Let w = r + 0.021. Let m be 9/(-10) + (-2)/(-5). Which is smaller: w or m?
m
Let g be (1 - 1)/(2 - 5/5). Let p = -4 - -2.9. Let k = -0.8 - p. Is g greater than k?
False
Suppose -20643 = 4*w - y + 63983, 4*y + 21131 = -w. Which is greater: w or -21154?
-21154
Let d be 12176467/(-1338) + (-2)/12*3. Let w = d - -9101. Are w and 0 non-equal?
True
Let a = -1692/13 - -130. Which is smaller: a or 66/25?
a
Let r = 6 - -13. Let v be 1*2 + (r - 18). Let k be 1*v*(-2)/3 + 32. Which is smaller: 31 or k?
k
Let o be (-8 - -70)*4/9. Which is bigger: o or 28?
28
Let j = 9.723 + 37.477. Which is greater: j or -3?
j
Let d be (-120)/(-54) - 2/9. Let b be (d/7 - 646/56)*3. Let a = b + 1247/36. Which is greater: 1 or a?
1
Let u = 366 - 1843/5. Let v(j) = j - 4. Let o be v(-8). Let s = -14 - o. Does s = u?
False
Suppose -10*w + 112 = -12*w + 4*z, 4*w + 179 = -z. Are -134/3 and w nonequal?
True
Let f(j) = 2*j**2 - 43*j + 22. Let o = 57 - 36. Let p be f(o). Let t = 659293/161 + -4095. Is p bigger than t?
True
Let n(l) = -l**2 - 56*l + 4279. Let y be n(-99). Which is smaller: 5 or y?
5
Let p be (-2)/(5 + (-207)/42). Let a be (-6)/14 - (-9 + (-226)/p). Which is smaller: 74 or a?
a
Suppose -7*i + 2254 = -2590. Suppose 14*x - 974 = i. Which is greater: 120 or x?
120
Suppose 0*i + f = -i + 20, -32 = -2*i + 2*f. Let h(g) = -g**3 + 17*g**2 + 17*g + 20. Let v be h(i). Suppose -y = -v + 9. Is y smaller than -7?
False
Let q be (4 + -5)/((-2)/68). Suppose -100 = 2*u - q. Let y be u/11 - 12*(-8)/31. Which is smaller: 0 or y?
0
Let u = -5569 - -33415/6. Is u at most as big as -225?
False
Let t be 3*54/(-5) + -21*9/315. Which is greater: t or -28?
-28
Suppose -f + 14*f + 195 = 0. Let q be 7/((-294)/f)*8/150. Is 0 >= q?
False
Let m be -3 + (-20)/(-8) - (-84)/8. Suppose -7*u + m*u = 0. Is 1/7 < u?
False
Let s = 676 - 494. Let w = -182.25 + s. Are w and 0.15 non-equal?
True
Let y be 10 + -27 - (-33607)/1967. Which is smaller: 0 or y?
0
Let j(k) = 18*k**3 - 3*k - 2. Let p be j(3). Suppose 3*f - 117 = c, -3*c - p = c - 5*f. Let o be (1/(-3))/(1 - c/(-117)). Which is bigger: o or 2/7?
o
Let i = -20.985 - -20.8. Let c = i - 24.815. Is -0.4 < c?
False
Let m be -20*(-5)/20 - -32. Suppose -1550 = f - 1588. Which is smaller: m or f?
m
Let w = 1793 + -1678.3. Let a = w + -7.9. Let y = a + -107. Which is smaller: y or 6/17?
y
Suppose 3*s - 4 + 1 = 0. Let x = -10/157 + 791/5024. Let u = -7/160 + x. Is u equal to s?
False
Let m = 7139/39 + -183. Let f = 79 + -148. Let r = f - -69. Is m at most as big as r?
False
Suppose -5*m - 23 = -38, -2*m - 1905 = 3*f. Let z = f - -417. Which is smaller: z or -221?
-221
Suppose -47*i + 81 - 136 = 133. Suppose 0*c = -5*c - 20. Is i at least c?
True
Let q = -0.1 + -0.1. Let j = q + 0.1. Let n = 1.4006 - -1.1994. Which is bigger: n or j?
n
Let u(d) = -234*d - 241. Let i be u(-1). Is i at most -11.37?
False
Suppose -a - 567*g = -568*g - 56, 0 = 2*a - g - 112. Is a < 400/7?
True
Let f be (-1174)/30 - 22/(-165). Let x be (-442)/11 + 340/55 + -6. Is f smaller than x?
False
Let b = 1 + 3. Let k = 214296 + -214296.057. Do k and b have different values?
True
Suppose -2*l = 0, -38 - 202 = 5*n + l. Let d be 36/n - (1962/(-8))/3. Is 81 equal to d?
True
Suppose -4*d + 47 = 34*u - 33*u, d = 5*u - 4. Suppose c + 2*s = 20, 4*c = 3*c - 3*s + 24. Which is greater: c or d?
c
Let g = 64 + -30. Let v = 543 - 542. Is g != v?
True
Let d = -12186 + 12229. Which is smaller: 2 or d?
2
Let v = -10311 - -10412. Is 107 smaller than v?
False
Let c(b) = 25*b - 445. Let a be c(23). Which is smaller: 652/5 or a?
a
Let r = -1366/75 + -2/225. Let d = r + 18. Are 1.6 and d nonequal?
True
Suppose 2*b + b + 48 = 0. Let i be ((2 + b)*54/4)/(-22). Let c = -17/2 + i. Which is smaller: c or 1?
c
Let l(i) = 4*i**2 + 2*i - 1. Let h be l(1). Let w = 261 + -259. Let n be (-1*33/(-18))/(1/w). Is h > n?
True
Let z be (-2 + 3)*(-120)/(-8). Let h(u) be the second derivative of u**4/12 - 7*u**3/3 - 8*u**2 - 11*u. Let f be h(z). Is -13/9 greater than or equal to f?
False
Suppose -4*t + 25 = 9. Suppose -5*d + 72 + 2 = t*m, m - 14 = -d. Let i be (0 + (-8)/d)/(2/(-3)). Which is smaller: 1.5 or i?
i
Let k be ((-507)/(-27) - 1) + (-80)/(-360). Let v be 50/(-3325)*3/k. Are v and 0 equal?
False
Suppose t - 2 = 4*c + 5, 2*t = -4*c + 50. Suppose -5*f + 10*f - 50 = 4*h, -4*f - h + t = 0. Suppose 3*q - f = 4*m, 3*m + 3*q - 2 = 4. Is m greater than 1/47?
False
Let a(p) = -2*p**3 + 14*p**2 + 8*p - 40. Let n be a(6). Is 886/11 smaller than n?
False
Let y = 653/1977 - -2/659. Let g be ((-7)/3 - 1)*-9. Let u be g/(-4) + (5 - 2). Is y at most as big as u?
False
Let h be 5122*(5/65*26 - (-5)/(-2)). Which is smaller: h or -2558?
h
Let s = 60/229 - -207741/1603. Which is greater: s or 131?
131
Let q be (-2)/((-3)/((-3)/2)). Let s be ((-66)/(-55))/(9/(-10)). Which is smaller: q or s?
s
Let h(a) = 22*a + 189. Let r(t) = 11*t + 94. Let c(i) = -6*h(i) + 13*r(i). Let s be c(-8). Let l = 55/969 - 20/57. Is l less than s?
True
Suppose 0*c + 4*c = 5*y + 2, -2*y + 3*c + 2 = 0. Let b be (y + 33/12)/((-95)/(-40)). Let f be (-18)/(-14) - (-16)/(-56). Are b and f equal?
False
Let v = -18026 - -27972. Which is smaller: 9947 or v?
v
Let k be -3*(1 + 1096/(-12)). Let o = k + -226. Is 231/5 equal to o?
False
Let u = 8033 - 8037. Is u at least as big as -560/3?
True
Let b = 35 + -33. Suppose 0 = -5*a + k - 36, -k = b*k + 12. Let l be (2*((-700)/a)/7)/1. Which is bigger: l or 26?
26
Let w be 4 + -1 - 138/(4 - 6). Is w at most as big as 0.43?
False
Let y(l) = -2*l - 6*l - 12 + 74. Let q be y(15). Which is smaller: q or 1?
q
Suppose 632 = -6*a + 10*a. Let h be (-1 - 0)/(((-6)/a)/(-3)). Let x = h - -116. Is 37 <= x?
True
Suppose 0 = 3*r + 15*r - 5274. Let l = 287 - r. Let a be (-2 + 15/9)*4. Is l smaller than a?
True
Let n = -1675 + 5020/3. Let m be (0 - (-6)/(-255))*-11225. Let d = m + -264. Is n at least d?
False
Let b(q) = -q**2 - q - 91. Let u be b(0). Let a(r) = 93*r + 463. Let c be a(-6). Which is greater: u or c?
u
Let f be 2/(3/((-18)/(-4))). Let u(j) = j - 13. Let d be u(12). Let n be (0 - 0)*d/1. Is f > n?
True
Let o be (3/(-43))/(2/14). Suppose -1432*r - 3 = -4872*r - 2101*r - 3. Is r at least as big as o?
True
Let l be 2/6*72/12. Let w be (-1 - l)*13/2*2. Let s