 w = 0.22 + 0.08. Which is smaller: u or w?
u
Suppose 2*f = 16*p - 11*p + 579, -5*f = -4*p - 453. Let l = p - -112. Suppose -5*z - 3 = -2*z. Is l less than or equal to z?
True
Let b = -47 + 118. Let k be 2*1*(-142)/(-4). Let r = k - b. Is r greater than 12/29?
False
Let r = 957.1 - 957.5. Which is bigger: -988 or r?
r
Let f = 6092263/300 - 121703/6. Let r = 95/4 - f. Let t = r + 23/50. Is t bigger than 4?
False
Suppose 515*i = 482*i + 33. Let f be (-10)/(-40) + 41/92. Which is bigger: f or i?
i
Let r be 18 + 233 + -23 - -4. Is 2564/11 smaller than r?
False
Let t = 480 + -503. Let o = t + 24. Which is smaller: -3/322 or o?
-3/322
Let t = 5647 - 5646. Which is greater: 8/367 or t?
t
Suppose -12*n + 177 = -207. Suppose -n = -45*o + 37*o. Which is greater: o or 3?
o
Let i = 1828 + -1084. Let o be (-21)/i*-30 - (-3)/(-4). Which is smaller: 1/2 or o?
o
Let k = -14 - -10. Let p = -226 + 334. Let f = 98 - p. Is f less than k?
True
Suppose -4*j - b = b, -j = -4*b. Suppose 4*n - 5*u - 91 = 0, -n + 5*u = -j*n - 19. Is n at least 2?
True
Suppose -10*h + 3*x = -9*h + 13, 5*x = 4*h + 24. Let f be 10/(-84)*(-8)/40. Which is smaller: h or f?
h
Suppose -77*w + 126 = -91*w. Let p be ((-20)/300)/(w*(-3)/(-30)). Suppose 1 = q + 3*c, -3*q + 0 = -2*c - 3. Are p and q non-equal?
True
Let f = 44.69 + -2.69. Let r = f - -187. Is r greater than -0.1?
True
Let t be (-5610)/(-264) + 1*5/(-4). Suppose -3*f - 3*y - 13 = -4*y, -4*f - 14 = 2*y. Is f bigger than t?
False
Let b(l) = l**2 - 13*l - 31. Let m(y) = y + 27. Let u be m(-11). Let s be b(u). Let w(a) = a**2 - 17*a + 4. Let r be w(s). Is r <= 23/5?
True
Let x be 18/(-9)*(-6)/12 - (153 - -1). Do -164 and x have different values?
True
Let r = -10871.9 - -10872. Is r != -0.1515?
True
Let i = 9366 + -4187. Is i equal to -1?
False
Let b = 650 + -642. Let c = -75 - -93.2. Let f = -19 + c. Which is smaller: f or b?
f
Let s(y) = -5*y - 23. Let h be s(-7). Suppose h + 23 = -7*r. Is r not equal to -7.4?
True
Let p = -0.0902 + -13.8398. Let f = p + 14.03. Let c = -42.073 + 0.073. Which is smaller: f or c?
c
Let i = 42 - 26. Let p be 165/(-204) + 12/i. Is p at least as big as -0.3?
True
Let t be ((-3)/(-2))/(10 + 679/(-70)). Suppose -m + 8*a = 11*a + 37, -t*a - 47 = m. Let v be (3/(-4))/((-6)/4). Is v < m?
False
Let u be 1*(-2)/3*6/(-4). Let k be -4*u + -23 + -3 + 5. Let b(n) = -n**2 - 26*n - 28. Let w be b(k). Is w != -13/4?
True
Let z be (26/(-637)*7)/(4/((-56)/80330)). Is 0 at least as big as z?
False
Let a(c) = c**2 - 12*c + 8. Let h be a(4). Let g be (-16)/h - (-545)/(-3). Which is bigger: -183 or g?
g
Suppose 0 = 5*d + 4*c - 603, 2*d + 15*c - 14*c - 243 = 0. Let g be (-496)/d - 16/(-4). Which is greater: g or 1?
1
Let k = 1791 + -4681. Is k < -2891?
False
Let g = 9455/7783 - 52/43. Is g >= -24?
True
Let c = -5235 + 5344. Is 2/13 bigger than c?
False
Let a = -82 + 81. Let v(r) = 17*r**2 + 7*r - 21. Let h(q) = -8*q**2 - 4*q + 11. Let j(b) = 13*h(b) + 6*v(b). Let m be j(-6). Is m <= a?
False
Let h = 4007 - 3968. Which is greater: h or 11?
h
Suppose 0 = -k - 0*k + 1. Let n(r) = r**3 + 11*r**2 - 12*r + 4. Let h be n(-12). Let m be (-1)/7*(h - 1). Which is smaller: k or m?
m
Suppose -5*m - 16*u = -19*u - 77, 5*m + 4*u = 84. Is m < 306/19?
True
Let u(d) = 2*d**3 + 36*d**2 - 24*d - 62. Let r be u(-15). Is 1648 greater than r?
False
Suppose 25*m + 15 = 28*m, -3*m + 526 = -z. Let u = 465 + z. Is -6 at most u?
False
Let t = -181 + 184. Suppose -5*k = 20, 2*k + 15 = t*u - k. Which is greater: -51 or u?
u
Let v(y) = -y**3 + 11*y**2 - 10*y + 2. Let w = 27 - 17. Let a be v(w). Suppose -3 = t - b, -a*t - 10 = b - 4*b. Is 2/103 greater than t?
False
Suppose -6*v = -10*v. Let h = -234389/39 - -6010. Which is smaller: v or h?
v
Let u be 1*(-4)/(-58) - 50768/128934. Is 0 greater than u?
True
Let l = 257 - 228. Let i = 28.962 - l. Are 0.1 and i unequal?
True
Suppose 24 = -4*t + 2*k, k = t + 2*k. Let q be (2 + t)*(-30)/12. Suppose q*b = b. Which is smaller: -1.5 or b?
-1.5
Let k = -5 + 2. Let z be (99/(-24))/(k/2). Let f = -431174 + 431173.9. Is z >= f?
True
Let a(c) = 197*c**2 + c - 42 - 23*c - 198*c**2. Let k be a(-21). Let b be 0 - (k + 1 + -4)/(-1). Is b greater than -25?
True
Suppose i + 2*i + 5*i = 0. Suppose -4*r = -4*v - 48, -3*v + v + 3*r - 24 = i. Let f be -3 + 4 + 58/v. Which is smaller: -4 or f?
-4
Let x = -111/272 + 91/80. Which is smaller: x or 0?
0
Let q(w) = -11*w - 3. Let b(n) = 32*n + 9. Let k(f) = 6*b(f) + 17*q(f). Let s be k(-1). Let r be (-6)/24*-4 + 1 + s. Which is smaller: r or 10/13?
r
Suppose 10*y - 14 = 26. Suppose y*f + 2 = 2*d, 0 = 5*f + 11*d - 8*d + 30. Which is greater: f or -53?
f
Let l = 19 - 9. Let p = 12008 - 12009. Which is smaller: l or p?
p
Let p(a) = 7*a**3 - 11*a**2 + 17*a + 47. Let y be p(4). Is y <= -2?
False
Let f(c) = -55*c + 1650. Let w be f(30). Which is smaller: w or -3/169?
-3/169
Let v = 92.76 + -93. Let c = -0.44 - v. Which is bigger: 36 or c?
36
Let g = 11579 - 103534/9. Let a(u) = 36*u - 141. Let q be a(6). Let y = g - q. Which is bigger: 0.2 or y?
y
Let p = 26 + -16. Let t = -4798.2 + 4788. Let g = t + p. Which is smaller: g or 19?
g
Let f(t) = -t**3 + 11*t**2 + 5*t - 48. Let w be f(11). Let i = -11 - -11.8. Let z = 0.3 - i. Is z less than or equal to w?
True
Let b = -0.19722 + -103.80278. Is b not equal to -112?
True
Suppose 10*r - 6*r = -8. Let s(u) = -u - 9. Let j be s(-11). Suppose 74 = j*i + 28. Is i != r?
True
Let s = 8493/13 - 76463/117. Let b = 6 + -8.4. Let f = b + -28.6. Which is smaller: s or f?
f
Let t be 1314/(-663) + 1 + 1. Suppose 0 = 330*o - 613 + 943. Is t at least as big as o?
True
Suppose -5*a + 69 + 6 = 0. Suppose -a*g - 40 = 455. Are g and -97/3 equal?
False
Let l = 395 + -686. Let a = l + 296. Which is smaller: -1 or a?
-1
Let p = 107.4474 + -0.4474. Let g = 1/311 - 631/2799. Is p at most g?
False
Let t(n) = -14*n**3 + 3*n**2 - 4*n. Let f be t(2). Let c = f - -5291/49. Let y be 36/(-44) - 2/11. Which is bigger: y or c?
c
Let k = -240 + 402. Let y = k + -161.83. Suppose 0 = 5*o + 20, 0 = -5*q - 3*o - 12. Are q and y unequal?
True
Let w(p) = -p**3 - p**2 - p**2 + 17 + 9. Let z be w(0). Suppose 3*v - 5*v = z. Is -15 bigger than v?
False
Suppose -5*s = 4*w - 278, w = -83*s + 79*s + 97. Suppose z + 3*g = 58, 178 = 2*z + 3*g + 62. Which is smaller: w or z?
w
Suppose 5*m = -0*m + 5. Suppose 39*j - 37*j - 748 = 0. Suppose 18 = j*z - 368*z. Is z < m?
False
Let w(x) = 4*x**3 + 7*x**2 - 2*x + 5. Let y(q) = 5*q**3 + 8*q**2 - 2*q + 4. Let i(s) = 4*w(s) - 3*y(s). Let m be i(-4). Is m != 18?
True
Let p = -1.01411 + 0.89411. Let l be 0/2 - (-3)/10. Is l at least as big as p?
True
Let h = -260/485109 + 6/5989. Let x = h - 3659/4293. Is -1 < x?
True
Let x(p) = -p**2 + p + 1. Let h be x(2). Suppose 5*b + 1111 = -y, b + 3*y = -49 - 162. Let c = b - -224. Which is greater: c or h?
c
Let v be 0*(1 + 0/1). Let i = 62699756/5 - 270549446227/21575. Let g = i - 2/863. Which is smaller: g or v?
v
Let w = -61086/83 + 736. Suppose 52*g + 1638 = 58*g. Suppose -300*r = -g*r. Which is bigger: w or r?
w
Let q = -0.4204 + -0.8146. Which is smaller: q or 2?
q
Suppose 4*l = 3*f + 949 - 26, 0 = -3*l + 5*f + 695. Let z = 270 - l. Which is smaller: z or 44?
z
Let w(n) = n. Let q be w(-12). Let g(b) = -b**3 - 12*b**2 - 3*b - 37. Let y be g(q). Are 2/191 and y non-equal?
True
Suppose 164 = 2*x + k, -2*x - 4*k - 1 + 165 = 0. Let p = x + -140. Suppose -11*g = -15*g + 35*g + 1767. Which is bigger: p or g?
g
Let l(a) = a**3 + 56*a**2 + 588*a - 53. Let i be l(-20). Is i >= 2587?
True
Let t be 6/2 - (1 - (-3 + -5)). Let o be 4 - (5 - (t - -360)). Are o and 352 equal?
False
Let b = 108 - 29. Let y = 17.1 + -15.97. Let g = 0.13 - y. Which is greater: g or b?
b
Let h = -242 - -253. Let u be (32 - 4/1)*h/2. Is 154 >= u?
True
Let a be (-46972)/36 - (-86)/(-387). Is -1304 greater than or equal to a?
True
Let x be ((-16)/(-20))/(-2) + 184581/131940 + -1. Which is greater: x or 0?
0
Let g = 68 + -62. Let y be 1/g + (65/6 - -5). Suppose -2*v - y = -5*f, -2*v + 4 = 4*f + 2. Which is smaller: 3 or f?
f
Let v be -5*1*5/(-5). Let g be ((-2)/v)/(-6 - 56/(-10)). Let s = -576 + 54145/94. Which is smaller: s or g?
s
Let b = 25 - 63. Let c be (b + 42)/(1/(-13)). Which is smaller: -50 or c?
c
Let h = -79.25 + 72. Let v = 8 + h. Let o