ich is greater: o or r?
o
Let b(p) = -p**2 - 19*p - 16. Let s be b(-18). Suppose s*y - 3*y = -5. Let l(u) = -3*u + 15. Let h be l(y). Which is smaller: 2/115 or h?
h
Suppose 0 = 47*f - 0 + 2303. Let z(y) = -2*y**2 - 97*y + 66. Let m be z(f). Which is smaller: 13 or m?
13
Let k(a) = a**3 + 3*a**2 + 5*a. Let l be k(-3). Let v be (25/l)/((-34)/6). Which is smaller: v or 0?
0
Let i(k) = k**2 + 10*k - 17. Suppose -z - 5*d = -2*d, 5*d = 2*z + 44. Let l be i(z). Suppose -14*g + 15*g = l. Which is smaller: 9 or g?
g
Suppose 0 = -1834*f + 1876*f + 420. Is -10 less than f?
False
Let o be 54/(-16) + 3 + -1. Let k be -4 + 8/2 + 0. Suppose 4*z + 16 = -2*g, 2*g + 10 = -z - k*g. Is z less than o?
True
Suppose 2*m = -0*m + 16. Let s(a) = a + 2. Let z be s(9). Let g = m + z. Is g greater than or equal to 19?
True
Let j(z) = 13*z**2 + 55*z + 161. Let m be j(-12). Is 1373 at least as big as m?
True
Let i = -119 - -202. Let u = 582/7 - i. Do -2.8 and u have the same value?
False
Let a be 4/58 + ((-151560)/(-435))/(-6). Let k be 0 + 0 + -5 + -54. Which is smaller: k or a?
k
Suppose 658 = x + 5*b, -4*x + 1954 = -x + 5*b. Let o be 7/(28/x) + -1. Suppose 5*j + 2*j = o. Which is bigger: 24 or j?
24
Suppose h + h + 40 = 0. Let w be 0*(-20)/(-20)*2/(-6). Suppose 9*l + 47 + 142 = w. Are l and h nonequal?
True
Let o = 539 + -592.5. Let s = o + 55.4. Which is smaller: s or -1?
-1
Let s be 17541/18 - 4*(-18)/48. Is -1/2 less than or equal to s?
True
Let a(o) = -74*o**3 - 3*o**2 - 2*o - 4. Let c(d) = d**2 + 12*d - 2. Let q be c(-12). Let n be a(q). Let f = n + -4072/7. Is f greater than -3?
True
Let m be (1/(-3))/((-1)/3). Let y be 630/(-5)*(418/(-33) + 12). Is m >= y?
False
Let n be 22/(-39) - 279/(-1209). Let c be (-12)/8*124/(-3). Which is smaller: n or c?
n
Let v = -200949.191 - -200737. Let n = 0.191 + v. Which is smaller: -2 or n?
n
Let p = -140 + -58. Let f = p + 184. Is f equal to -2?
False
Let m be 3/(54/4) + (137750/(-225) - 42). Is -654 != m?
False
Let u be ((-6730)/(-24) - 0)/((-142)/(-284)). Is 560 bigger than u?
False
Suppose 5*h + 12637 = 3*f, 5*h + 34*f + 12644 = 30*f. Is h equal to -2527?
False
Let k = -278.86 - -3.26. Let s = 276 + k. Which is greater: 7 or s?
7
Let w be (-3 - (-15676)/(-20)) + 3. Let l = -788 - w. Suppose 70*y = 66*y - 12. Which is smaller: y or l?
l
Let t = 0.27 - 0.263. Let v = 1.307 - t. Let x = v + -2.3. Is x > -24?
True
Let l = -17 - -16. Let a = -392/52207 + 5736427010/3497869. Let h = a + -1640. Which is smaller: l or h?
l
Let j = -10670 - -949642/89. Suppose -2*f + 4 = -b, -3 = 5*f + 2*b + 2*b. Is j less than f?
True
Let t = -14.803 - -14.559. Does t = -2/187?
False
Let c = 275 + -102. Let w = c - 173.7. Which is smaller: w or -2/11?
w
Let x be (2 - (-12)/(-9))/((-2)/6). Let i(r) be the first derivative of -r**3/3 - 3*r**2/2 + 2*r + 2. Let v be i(x). Is 4 at least v?
True
Suppose 15563*g - 15602*g = 0. Which is smaller: g or 2/131?
g
Let h(c) = 24*c**2 + 4515*c + 564. Let z be h(-188). Which is bigger: 8178 or z?
8178
Suppose 0 = -29*g + 25*g + 40. Let y be (9/2)/(g/(-20)). Let d be (y/6 + 2/(-4))/2. Which is smaller: d or -5/13?
d
Let q be 10/(-25) + 14/20. Let m = -427 + 445. Let s(c) = -8*c + 143. Let p be s(m). Which is greater: p or q?
q
Let a = -414 - -285. Let y = -129.009 - a. Do 1 and y have the same value?
False
Suppose 3*a + 5*o - 332 = 0, -2*a + 233 = 4*o - 3*o. Let f = a + -144. Let r = -37 - -13. Which is bigger: r or f?
r
Suppose -2*k - 2*k = -16. Suppose 0 = -k*n + 5*b - 220, 7 = -3*n - 5*b - 123. Let f(q) = q**3 + 2*q**2 + 7*q + 9. Let d be f(-4). Is n less than d?
False
Let j(l) = -7*l**2 + 6*l - 7. Let i be j(2). Let q = i - -11. Let g be 12/91 + q/(-78). Which is smaller: 1/6 or g?
1/6
Let o = -670 - -718. Let q be (-492)/o + 10 - 109/36. Is -2 <= q?
False
Suppose 44*r = -18*r. Is r < 4/105?
True
Let v = -239 - -233. Let g(f) = 3*f**2 + 21*f + 8. Let z be g(v). Which is smaller: 6 or z?
z
Suppose 4*g + 1 = 3*g. Let f be 12/((-18)/(-6) + (g - 0)). Let z be (-2 - -4) + -7 + f. Is z greater than 4?
False
Suppose -24*y = -30*y + 18. Suppose 2*u = -3*i - 1, -y*i - 17 = -3*u + 4. Let d be 0 - 45/(-1 + u). Do d and -13 have the same value?
False
Let v(l) = -4*l + 17. Let r = 21 - 8. Let z = r - 9. Let w be v(z). Which is smaller: w or 0?
0
Let g be (3/(-10) + 34/(-20))*(-2526)/(-12). Does -417 = g?
False
Let u(h) = -44*h**2 + 12*h + 23*h**2 + 13*h**2 - h**3 + 24. Let r be u(-9). Is -3/7 at least r?
True
Suppose -4*k - 88 = -5*g - 0*k, -3*k - 6 = 0. Let w be (17/2 - 7)/((-1)/358). Let c be w/(-30) + (217/70 - 3). Is c at most as big as g?
False
Let j be (4/3 + -1)/((-1060)/(-1054170)). Is j greater than or equal to 333?
False
Let b be ((-68)/(-6))/(504/(-108)). Let x = -3 + 1. Are x and b unequal?
True
Let t be (-646)/85*((-1608)/114 - (-4)/38). Is 107 <= t?
False
Suppose 5*m - 5*p + 2345 = 0, 609 = -2*m + 5*p - 338. Let y = 864.6 + -864.5. Which is bigger: m or y?
y
Suppose -534*o = -436*o - 16562. Which is bigger: o or 146?
o
Suppose 0 = -25*u - 120 + 20. Let r be -20*144/(-690) + u. Suppose 0 = -2*v, -2*h - h - 3 = 2*v. Which is bigger: r or h?
r
Suppose 4625 - 1319 = 19*g. Suppose 0 = 20*m + 114 - g. Is m bigger than 19/12?
True
Let r(q) = -q**3 + 16*q**2 - 3*q + 26. Let s be r(16). Suppose -11*a = a + 216. Which is greater: s or a?
a
Let n = 1/210648 + 1698349/105324. Let i(c) = -8*c. Let s be i(-2). Which is bigger: s or n?
n
Let r = -5226 - -5224. Does 1238 = r?
False
Let p = 0.09076 + 0.90924. Let c = 63 + -38. Which is greater: p or c?
c
Let i = 153 + -148. Suppose i*d + 2*y - 16 = 3*y, 5*y = 5*d - 20. Which is smaller: 7 or d?
d
Let y = -8556 + 7531. Which is greater: y or -1026?
y
Let t = -43/1291 - -2881813/9037. Do 3 and t have different values?
True
Let d = -2.791 + -250.409. Let k = -228 - d. Let c = -25 + k. Which is smaller: c or 0.14?
0.14
Let p(o) = -o**3 + o + 8*o**2 + o**2 - 2 - 2. Let w be p(9). Suppose 5*n = -5*v - w, -4*v - n - 4 = 2*n. Is v greater than or equal to -1/74?
False
Let j be 11 + (-77)/(924/144). Is j less than 5/4969?
True
Suppose -45 = -22*z + 13*z. Suppose -6*u - 236 = -z*u - j, 2*u = 4*j - 482. Which is bigger: u or -230?
-230
Suppose -2*x = 8*x - 210. Suppose x = -21*c - 0. Which is smaller: c or -13/8?
-13/8
Let q = -0.2 + 0.1. Let m = q + 0.1. Let n = -0.02571 - 12.97429. Do n and m have the same value?
False
Let y = 1730 - 1819. Which is smaller: y or -88?
y
Suppose 4*l = 7*l. Let t(k) = -13*k**2 + 7*k - 12. Let w be t(2). Which is greater: l or w?
l
Let a = 24 + 26. Let n = 50.3726 - -0.0274. Let q = n - a. Which is smaller: q or -1/4?
-1/4
Let i = 540 - 542. Let g be 0/5 + (i - -2). Which is greater: 1/1137 or g?
1/1137
Let q = -171292/763865543 - -1/395171. Which is greater: q or -1?
q
Let k be ((1 - 1) + 0)/(1 + -2). Let x be (k + -8*8)/((-8)/(-28)). Let p be (-2)/6*(-714)/x - -1. Which is smaller: 2 or p?
p
Suppose 2*y = 5*m - 2067, 339*m - y + 1651 = 343*m. Are m and 410 nonequal?
True
Let x = -412 - -415. Suppose 0 = -x*c - c + 5*f - 49, c + 4*f = 14. Is -4 greater than c?
True
Let h(p) = 23*p**2 + 140*p + 10. Let b be h(-6). Is b equal to 958?
False
Let l be 40/(-7) - 58/203. Let n be (-6 - (l + 1))*-1. Is n smaller than 1/211?
False
Let z = 16153/105 + 86/15. Let a = z + -4324/21. Which is bigger: a or -45?
-45
Suppose -p + 81 = 90. Let y be (42/(-46))/(p/12). Which is smaller: 0.2 or y?
0.2
Let u = -331 - -357. Suppose u*q + 22 = 37*q. Which is smaller: 0 or q?
0
Let k(v) = -4*v**3 + 14*v**2 + 29*v + 589. Let x be k(19). Is -21241 greater than x?
True
Let i = -2038/7 - -292. Suppose 4*s + 41 = c - 355, -2*s - 2 = 0. Let q = -392 + c. Is i at least as big as q?
True
Suppose -17 = -0*n - n. Let y(t) = -5*t + 113. Let o(c) = c - 23. Let v(r) = 19*o(r) + 4*y(r). Let x be v(n). Which is smaller: x or 6?
x
Suppose r - 20 - 35 = -5*n, -4*n + 45 = r. Suppose -n = 9*w + w. Which is greater: w or 10/23?
10/23
Let n(p) = -p**3 - 3*p**2 - p - 20. Let z be n(-4). Let k(d) = 13*d + 5. Let h be k(z). Which is bigger: 22 or h?
22
Let h = 0.1 + -0.2. Let i be 175/50*26/1. Suppose 0 = 3*u + 2*b + i, 2*b + 98 = -4*u - 26. Which is smaller: h or u?
u
Let o = -735 - -1260. Let g = o - 528. Which is smaller: -27 or g?
-27
Let v = -0.23 + -106.77. Let n = v + 107.3. Which is smaller: