ich is smaller: 2 or u?
u
Let s = -3661/18164 - -240/239. Which is greater: s or 1?
1
Let v be (-2)/4 - 3/(-12). Let r = -39.37 - -40. Let a = 0.17 + r. Which is smaller: v or a?
v
Let k = -185140 - -2657684699/14355. Which is bigger: -1 or k?
k
Let y(k) = k**3 - 8*k**2 - 3*k + 5. Let c be y(7). Let o = c - -113. Which is smaller: o or 49?
o
Let f = 3639 + -9891. Which is bigger: f or -2?
-2
Let r(m) = 8*m - 31. Let h = -102 + 106. Let b be r(h). Which is greater: 2/201 or b?
b
Suppose -6*j + 160 = 2*j. Let q be (-6)/(-10) - 452/j. Let t = q + 23. Is t smaller than 0.38?
False
Let a be ((-13)/39)/((-9)/567*1). Are a and -0.43 unequal?
True
Let q(v) = 2*v**2 - 15*v + 33. Let p be q(4). Which is smaller: 2 or p?
2
Suppose 1 = -5*h + 21. Suppose -8 = -h*u + 48. Suppose 3*d - d = -u. Are d and -29/4 unequal?
True
Let x(d) = d**2 + 6*d + 10. Let o be x(-2). Let c be (4 - 156/30)/(2/(-30)). Let h be (-6)/c + 15/(-117). Which is bigger: h or o?
o
Let u = -396803/357 + 3334/3. Which is smaller: u or 0?
u
Let b = 89855/3 + -29926. Suppose 0 = -3*q + 6, -58 = -2*m + 4*q - 7*q. Is b >= m?
False
Suppose 373*z - 409 + 1111 = 355*z. Is z equal to -56?
False
Let s be (3228/(-144))/(5 - 14/3). Is s greater than -68?
True
Let c(b) = 43*b**2 + 43*b + 473. Let p be c(-8). Do 2878 and p have different values?
True
Let b = -1669214/101 - -16527. Which is bigger: -1 or b?
b
Let a(c) = -9*c**3 + 11*c**2 - 14*c + 24. Let f(b) = -11*b**3 + 10*b**2 - 12*b + 25. Let r(s) = -6*a(s) + 5*f(s). Let i be r(-16). Is -404 not equal to i?
True
Suppose 8 + 20 = 14*a. Let l be a/(-7) + 628/(-7). Let y = l + 89. Which is smaller: 1/17 or y?
y
Let a = -15323 - -41663239/2719. Which is greater: a or -1?
a
Suppose -40*r + 2999 = -13881. Is r not equal to 419?
True
Let m be -1 - (922/(-3))/(-12 - (-222)/18). Which is greater: m or 920?
m
Let f(y) = 2*y**2 - 26*y - 266. Let x be f(18). Which is smaller: -81 or x?
x
Suppose 0 = 48*j - 37*j - 88. Let a be ((-260)/j + 3)/((-4)/(-8)). Is a < -57?
True
Let d be 5842/8 + (-75)/(-100). Which is smaller: -0.2 or d?
-0.2
Let h(c) be the first derivative of c**3/3 - 9*c**2/2 + 16*c - 18. Let a be h(7). Suppose 0 = -3*f + a + 1. Which is smaller: 9 or f?
f
Suppose -717*s + 721*s - 268 = 0. Let v be 18/15*(-111)/2. Let k = s + v. Which is bigger: k or 5.4?
5.4
Suppose 0*b - b + 307 = 0. Suppose -3*c + 922 = -1126*g + 1124*g, 3*c + 5*g - 929 = 0. Which is bigger: c or b?
c
Let q(h) = 2 + 20*h - 37 - 45 + 0. Let p be q(4). Suppose 2 = 3*f + 5. Which is bigger: f or p?
p
Let t = -0.27 + 1.7. Let i = -1.45 + t. Let w(q) = 3*q**2 - 2*q - 1. Let k be w(-1). Which is greater: i or k?
k
Let i be 872/(-14)*21/(-6). Let w = 1346 - 1129. Which is smaller: w or i?
w
Let j = -4185 + 4246.7. Which is greater: -2/5 or j?
j
Let x be (-414)/(-46) - (1 - -7). Which is smaller: -2/149 or x?
-2/149
Suppose 5*k + 20 = 0, 3*p - 11*k = -6*k - 847. Let m = 291 + p. Is -7 at most as big as m?
True
Let i(w) = -w - 31. Let g be i(-23). Let o(b) = -b. Let l be o(g). Let x be (6/l)/((-3)/(-12)). Is 3 greater than or equal to x?
True
Suppose 0*q = q - c - 5, 4*c + 18 = 3*q. Let j = q - 0. Let l be 1*(j + (-2 + 3)/(-1)). Which is smaller: l or -19?
-19
Let q = -36.41 - -36.21. Let s be (-6)/9 - (-1938)/18. Which is bigger: q or s?
s
Let s = -0.01186 - -0.21186. Let h = 130 - 20. Which is greater: s or h?
h
Suppose 4*f + 5*p = 1, -2*f + 14 = -2*p - 0. Let q be (f*(-2)/(-72))/1. Let s be 40/(-14) + (9 - 6). Which is greater: q or s?
s
Let g be 186/(-42) - -5 - -23*91/(-5978). Are g and 0 unequal?
True
Suppose f = -3*g + 24, f + 3*f = 12. Suppose 0 = t - g + 9. Let k be (30 + -31)/(t/(-4)*-1). Which is smaller: k or 16?
k
Suppose 7*p - 6 = 4*p. Suppose -28 = p*k + 20. Let h be 350/(-21) + -6 - 1/1. Do h and k have different values?
True
Let q be (-8 + 6)*3 + (-52452)/(-8721). Is q bigger than 0?
True
Suppose 0 = -8*i - 41 + 65. Suppose i*n - 6*n + 93 = 0. Which is smaller: n or 34?
n
Let l be 204/(-238) + (-7560158)/60592. Let v = 1005/8 + l. Is 1 <= v?
False
Let c = -26.6706 - -26.5706. Let n = 114 - -343. Which is bigger: c or n?
n
Suppose 0 = 5*x - 5*q + q - 8, 4*q = 3*x - 8. Suppose x = -17*s + 15*s - 24. Let g be (s/(-4))/(27/2). Is g less than 0?
False
Suppose 4*d + 2*j = 0, -27 = -d - 176*j + 171*j. Let t = -4 - 3. Which is greater: d or t?
d
Suppose -f = -3*f + 5*f. Suppose -8 = -2*z, f = -0*s + 4*s + z - 96. Is -3 != s?
True
Suppose -8*n - 21*n + 7159 = -6152. Which is smaller: n or 461?
n
Let d = -945184/11 - -86020. Let w = 94 - d. Which is smaller: -2/5 or w?
-2/5
Let i = -8714 + 8796. Which is bigger: i or 86?
86
Let h = 2 + 51. Let j = 53 - h. Let n = -128/2793 - 1/147. Is j != n?
True
Let b(r) = -2*r**3 - 65*r**2 + 1300*r + 24. Let f be b(14). Let p = -8 - -13. Let j = p - 2. Is j at most as big as f?
False
Let r = -2.917 + 1.884. Let f = r - -0.033. Which is bigger: f or -27?
f
Let h = 24.327 - 24.327. Is h >= -5106?
True
Let t = 18 + -12. Let u(k) = -3*k - 27. Let y be u(-9). Suppose y = -19*p + 111 + 22. Which is greater: p or t?
p
Let o = -27241589/1469208 + 1/61217. Let x = 8855/456 + o. Let l = x - 4/19. Is l != -10?
True
Suppose -24 = 23*c - 35*c. Suppose 0*o + 2*o = -c*y, 4*o = y - 5. Let i be (-1 - 2)*7/9. Which is smaller: o or i?
i
Let v be (9594/52)/((-30)/(-4)). Do 26 and v have the same value?
False
Let k(v) = -2*v**3 - 7*v**2 - 47*v - 62. Let a be k(-6). Which is bigger: 392 or a?
a
Suppose d + 28*z = 33*z - 15, -2*d = -5*z + 15. Is 55/129 equal to d?
False
Suppose 0 = 11993*l - 12012*l - 52174. Which is smaller: l or -2745?
l
Let k(w) = 23*w - 1347. Let y be k(58). Are -284/23 and y non-equal?
True
Suppose 0 = k - 4 + 17. Let a(t) = 46*t**2 + 9*t + 14. Let s(v) = 55*v**2 + 8*v + 13. Let j(i) = -6*a(i) + 5*s(i). Let o be j(k). Is o bigger than -3?
False
Let j be 2 - 2/(-4)*4. Let t be (-100)/(-124) - j - -3. Let m = -216/155 - t. Does 0 = m?
False
Let s = -502 + 505. Suppose 0*j - 5*j + 4*x = -69, 5*x - 71 = -s*j. Which is greater: j or 110/7?
j
Let l be 52860/90*-6*(-26)/285700. Let n = l + -2/2857. Is n >= -1?
True
Let b = -0.04871 - -0.03391. Which is greater: b or -5/4?
b
Let h(s) = 2*s**2 - 16*s + 9. Let g(u) = -6*u**2 + 46*u - 26. Let o(w) = -4*g(w) - 11*h(w). Let t be o(4). Suppose -t*f + 48 = 18. Is f < -2/5?
False
Let w(n) = 3*n**2 - 4*n - 10. Let l be w(-3). Let h = l + -26. Let i be h/(-28)*1/6*4. Which is smaller: i or 1?
i
Let a = 6547/6 - 1088. Let i = -296 + 299. Is a smaller than i?
False
Let j be (-181064)/16460 + 10 - -1. Is -1 > j?
False
Suppose -k + s = -167, -17*s + 6 = -18*s. Are 645/4 and k nonequal?
True
Let r = 12433 + -12429. Which is smaller: r or -548?
-548
Let a be (-2)/17 + 19027/901. Let d be 334/14 + (-54)/63. Which is greater: a or d?
d
Let g(v) = -4*v**2 + 3*v + 7. Let j be g(-1). Let t be 6/(-3) + -112 + -2. Which is greater: t or j?
j
Let f(t) = t**3 - 6*t**2 + t. Let u(s) = -s**2 + 4*s + 5. Let j be u(4). Let h be f(j). Let p be (-3)/(55/(-44) - ((-28)/(-5))/(-4)). Does p = h?
True
Let l be -2 - 0 - (1990/(-175))/((-60)/(-35)). Is l < 6?
True
Let i = 0.047 - -0.029. Let t = -0.017 + i. Let d = -0.009 + t. Which is smaller: d or 0.7?
d
Suppose -3*q + 875*j = 876*j + 93, 0 = -3*j + 9. Which is greater: q or -3/5?
-3/5
Let h(a) be the second derivative of -a**4/12 + a**3/6 + 11*a**2 + 2*a. Suppose -185*y = 22*y + 828. Let b be h(y). Is -1 less than b?
True
Suppose -4*y + 2*l + 0*l = 230, -5*y + 2*l = 288. Let i = 181 - 124. Let t = y + i. Which is greater: 1/17 or t?
1/17
Suppose 0 = -2*z - 40 + 34. Let q be 3/z*3/(-135). Is q at least 1/3?
False
Suppose -3434 + 13374 = -4*s + 24*s. Which is bigger: 490 or s?
s
Let y = -2997121/14113 + 2336/11. Is 0 less than y?
False
Let r be (183 - (-3 + 8)) + (-3 - -4). Let a = r + -187. Which is bigger: -27 or a?
a
Let x = -2436.6 - -2436.8. Which is bigger: x or -0.0358?
x
Let y = 27 - 26.27. Let z be (-9)/((-234)/65) + 1*-3. Which is smaller: y or z?
z
Let n = 1321368 + -79303319/60. Let u = n - -354. Let w(o) = o**2 + 3*o - 18. Let q be w(3). Which is smaller: u or q?
q
Suppose -3*g = 2*y - 64, -46 = -2*y + 4*g + 4. Suppose -2*q - 289 - 725 = 0. Let z be q/(-18) - (-1)/(-6). Which is smaller: y or z?
z
Let j be (4 - 4) + (1 - -5) + -8. Which is smaller: -387 or j?
-387
Sup