Which is bigger: b or 2?
2
Let w = 1/4728 + -12413/9456. Which is smaller: w or 0.1?
w
Let v = -1/4759 + -5905916/14277. Let t(n) = -70*n + 2. Let u be t(6). Let x = u - v. Which is greater: -3 or x?
-3
Let f = -1 - 0. Let i = -22623/14 + 1616. Which is greater: f or i?
i
Suppose 2*o = -5*z - 36, o - 40 = 4*o + 4*z. Let h(v) = v**2 + 38*v + 185. Let g be h(-32). Which is bigger: g or o?
g
Let u = -259/2 - -130. Suppose 0 = -2*a - 0*a + 16. Let o(s) = -s**2 + 8*s + 1. Let i be o(a). Which is smaller: u or i?
u
Let g be (4 - (-1)/1)*(-114)/(-1). Suppose 77*k - g = 71*k. Do 95 and k have different values?
False
Suppose -15*d - 537 = 408. Let a be ((-200)/150)/((2/d)/(-2)). Is a less than or equal to -84?
True
Let b be -3 + 4 + (-2)/4. Let a = -29.971 - 0.029. Let t = a + 25. Which is smaller: t or b?
t
Let n(q) = 103*q**2 + 16*q - 16. Let x be n(1). Is 313/3 equal to x?
False
Let s(w) = -w**3 + 17*w**2 + 41*w + 14. Let h be s(19). Is h >= 73?
False
Let f = -0.03 + 0.07. Let o = f + -0.01. Let k be (0/(-2))/((-24)/(-12)). Which is greater: o or k?
o
Suppose -608 = -2*q + 248. Which is greater: q or 429?
429
Suppose 3*w + 19 = 2*r, -7 = -3*r + w + 11. Let f be (-3)/r + (-20)/50. Which is bigger: f or 2/29?
2/29
Let o = 345 - 1373/4. Let i = -0.6 + 0.3. Let a = -0.3 - i. Which is bigger: o or a?
o
Let a = 19 + -6. Let s = 13 - a. Is -3 <= s?
True
Let c = -146 + 311/2. Suppose 6*z - 251 - 13 = 0. Suppose 3*y = -5*v + z, 4*v - 48 = -y + 5*y. Is v greater than or equal to c?
True
Let u = 108.9 + -108.92. Which is smaller: u or 26?
u
Suppose -10*r - 837 + 827 = 0. Which is greater: r or -17/7?
r
Let p be (4 - 5)*(-6)/2. Suppose b + p*j + 3 = 7, -2*j - 2 = -4*b. Let n be (1*(-3 - -2))/b. Which is bigger: -0.1 or n?
-0.1
Suppose -p + 6*p = -3*y - 72, 4*p + 60 = -3*y. Let u be (-1 - (-8)/p)*-6. Which is smaller: 14 or u?
u
Suppose -3*c = 2*c - 2*q - 68, -5*c + 5*q = -80. Suppose 0 = -2*r - h + c, r - 2*h + h = 0. Suppose 0 = r*n + 11 - 3. Which is smaller: 0 or n?
n
Let d = -199/2 - -99. Which is bigger: -6/7 or d?
d
Let u(r) = 13*r**2 - 53*r - 149. Let x be u(-3). Which is smaller: 129 or x?
x
Let y(x) = -526 + x**3 - 5*x + 0*x**2 + 526 + 3*x**2. Let i be y(-4). Let n be (-28)/(-6) + (-7)/21. Is i greater than or equal to n?
False
Let l(z) be the third derivative of 7/60*z**5 - 2*z**2 + 1/120*z**6 + 0*z - 1/3*z**4 + 0 + 1/6*z**3. Let j be l(-8). Is 6/13 <= j?
True
Let o be 1 + (-18)/4 + 2. Let v = -16.13 + 15.13. Which is bigger: o or v?
v
Let z be 94/(-132) - 53/(-318). Which is greater: z or 11?
11
Let f be 603/(-27) + (-4)/6. Which is bigger: f or -119/5?
f
Suppose 2*y = g - 4*g, 5*g = -4*y + 2. Suppose y*l = 7*l - 56. Which is smaller: l or 13?
13
Let m = -46.978 + -0.022. Let j = m + 44. Which is smaller: -20 or j?
-20
Let t = -2.36 - -2.16. Is t <= 2?
True
Let s = 250 - 231. Which is smaller: s or 0.2?
0.2
Let v(l) = -11*l + l**2 + 5 + 2 + 7 - 3. Let q be v(10). Which is smaller: q or -1?
-1
Let u = -126 - -880/7. Is -90 > u?
False
Let b(a) = 2*a**2 - 2*a - 3. Let z be b(3). Suppose z*k - 11*k + 14 = 0. Let t(j) = j**3 - 8*j**2 + 6*j + 8. Let u be t(k). Which is smaller: -1 or u?
-1
Let u = 295 + -524. Do u and -229 have the same value?
True
Let h(u) = u**3 + u. Let d be h(-2). Suppose 5*k = p + 3*p - 66, -k - 22 = -3*p. Is k less than d?
False
Suppose 0 = -3*s + 26 - 38. Let b be -24 - 1/(-4)*s. Let c be 12/54 + b/72. Is c smaller than 1?
True
Let o = -1.2 - -1. Let b be 8/60*-6*(-30)/4. Let d be (-253)/(-605) + b/(-10). Which is greater: o or d?
d
Suppose -12*i - 2036 = -332. Let x = -430/3 - i. Is x < 0?
True
Let l = 20 + -44. Let y = 23.7 + l. Let j = 3 - 3.1. Do j and y have different values?
True
Let v be 50/18*(-9 - -18). Is 28 < v?
False
Suppose -5*i - 5*u + 23 = -4*i, i + 3*u = 15. Suppose 5 = -i*p + 17. Is p greater than 2?
True
Let q = -11 + 13. Suppose -11 = -m + q*m. Let u be 9/m*4/6. Which is smaller: -2 or u?
-2
Let s = -1106/5 - -222. Let d(c) = 2*c - 8. Let p be d(6). Suppose -5*x = h - 0*h - 1, 0 = p*x - 5*h + 5. Which is bigger: s or x?
s
Let h(d) = d + 4. Let a be h(-3). Let u be (-3 + (-51)/(-15))/(10/250). Let r be (-33 + 3)/(10/(u/(-2))). Is r < a?
False
Suppose v - 4*z - 13 = 5, 3*v - 2*z - 54 = 0. Let x(j) = -4*j - 38. Let d be x(-14). Do v and d have different values?
False
Let k(q) = -2*q**2 - 40*q + 45. Let u be k(-21). Suppose n = -3*c, 4 + 8 = u*c - 3*n. Let m = -0.3 - 13.7. Which is greater: m or c?
c
Let r be (-34)/(-51) + 1185/(-1764). Does r = -1?
False
Suppose -7*q = -5*q - 36. Suppose -2*j + 10 = 2*c, -4*j - 4*c = -c - q. Suppose -j = -4*r + 5. Which is greater: r or 4/3?
r
Let f(n) = 2*n - 67. Suppose 5*k + 5*s = 1 + 14, 4*k = -3*s + 16. Let y be f(k). Does y = -52?
False
Let n be (-2)/8 - 33/(-36). Let o = 457 - 455. Is n smaller than o?
True
Let m(p) = 8*p - 110. Let n be m(16). Which is smaller: 19 or n?
n
Let o = -7.84 + -0.16. Suppose m - 39 = 4*m. Let y = 14 + m. Which is bigger: o or y?
y
Let k = -2/799 + -3174/8789. Which is smaller: k or -3?
-3
Let m be 1*7*(1 - 2). Let t be 832/(-28) - (-4)/(-14). Let u = t - -24. Which is bigger: m or u?
u
Suppose 1614 = -8*o - 362. Let l be (-1)/(-2)*76/o. Is -0.09 at least as big as l?
True
Let o be 3 + (-18443)/5866 + (-5)/(-35). Is o not equal to 1?
True
Let p be 2/(((-4)/(-49))/(60/(-70))). Let f be 3 + -3 + -18 - 2. Is p less than or equal to f?
True
Let s be (-674)/10 + 10/25. Let o = 57 + s. Is -7 >= o?
True
Suppose 5*f + 4*v - 19 = 0, -f + 2*v + 5 = 4*v. Suppose -w - 12 = f*w. Is w greater than -15/8?
False
Suppose 0 = 46*i - 13*i + 3564. Which is smaller: i or -113?
-113
Let a = -1 - -7. Let h = -43 + 50. Which is bigger: h or a?
h
Let n(i) = -i**3 - 8*i**2 + 3. Let o be n(-8). Suppose -2*l + o*r + 31 = -0*r, -2*r = 6. Which is smaller: 13 or l?
l
Suppose 5*k = -20, k + 63 = 3*y - 2*k. Suppose 0 = 3*l + 2 - y. Suppose -44 = -3*z + 5*w, 0 = l*z - 0*z - 3*w - 68. Does 13 = z?
True
Let k = -2 + 2.038. Let q = k + -0.138. Which is greater: q or 4?
4
Let s = -50/101 - -8199/16766. Is s greater than or equal to 1?
False
Let c = -50.4 - -54. Let v = -4.6 + c. Which is smaller: v or -1/6?
v
Suppose 10*u + 497 = -133. Is u bigger than 0.1?
False
Let v be 2/(-2)*(1 + -1). Suppose -j + 19 = 10. Let z = v + j. Is 9 greater than or equal to z?
True
Let u be -1*(-1 - (3 + -4)). Let n be -25 - ((u - 4) + 7). Let a be 54/(-10) - n/70. Does a = -5?
True
Suppose -18*p - 41 + 23 = 0. Which is smaller: p or 2/1389?
p
Let z = -49 - -145/3. Which is greater: -2/35 or z?
-2/35
Let v(h) = 230*h - 485. Let o be v(-6). Which is smaller: o or -1866?
-1866
Suppose -5*r - 5*y = -4*y - 184, r - 28 = 2*y. Suppose -m = -r + 43. Which is smaller: m or 2?
m
Suppose 26 = -2*m - 2*l - 16, -2*m = 3*l + 47. Let p = m - -11. Is -2 at least p?
True
Let m be (-1)/((-52)/16 + 3). Suppose -4*y + 1 = n + m, y + 22 = 4*n. Which is smaller: -2/3 or y?
y
Let b(a) = -2*a**3 - 140*a**2 + 2*a + 142. Let f be b(-70). Suppose -3*h + 8 = -7*h. Is h equal to f?
False
Let h = -13/43 - -573/473. Which is bigger: h or 0?
h
Suppose 59 = 19*q - 74. Is q bigger than 102/13?
False
Let j = 62.9953 - -0.0047. Which is smaller: j or -2/9?
-2/9
Let n = 2727/5 + -541. Are -2/9 and n unequal?
True
Let i be 681/(-2497) + 109/(-44). Suppose -5 + 2 = h. Is h >= i?
False
Let w(j) = j**2 - 5*j. Let a be w(4). Suppose -3*u = -13*u - 50. Is u less than or equal to a?
True
Let k(a) = 3*a - 3. Let w be k(-2). Let i be ((-12)/9)/((-42)/w). Which is smaller: 60 or i?
i
Let v be (-127)/560 - -3*4/60. Is 0 > v?
True
Let n(l) = l**2 - 11*l - 6. Suppose -d - 2*d = -36. Let y be n(d). Let s be (-2 + y/4)/(-3). Is -1 greater than s?
False
Suppose -151*n + 142*n = 11835. Is -1315 <= n?
True
Let i = -30 + 29.08. Let l = i - -1.02. Is 7/4 at least as big as l?
True
Let z = -125.1 + 124.1. Is z >= -4.1?
True
Let g = 2144 + -2097. Which is bigger: -15/2 or g?
g
Let g(x) = 2*x + 12. Let m = -43 - -37. Let s be g(m). Suppose 2*z - 5 = v + 3*z, s = -3*v + 2*z - 5. Which is greater: -1 or v?
-1
Let m = -57 - -49. Suppose -4*o = -20, -o + 77 = -4*h - 32. Let v = -34 - h. Is m not equal to v?
False
Let c = 5 + -13. Let l(v) = v. Let h be l(c). Let u = -6 - h. Is 1 at least as big as u?
False
Let g = 992 - 4001/4. Which is greater: -8 or g?
-8
Let 