 - 23 - 31. Which is bigger: r or o?
r
Let k(a) = -a**3 + 25*a**2 - 24*a + 22. Let y be k(24). Let g(h) = -h**3 + 21*h**2 + 24*h - 37. Let i be g(y). Which is greater: 11/2 or i?
i
Let f be 3/(-32)*26390/(-7245). Let c = f - 3/368. Which is smaller: c or 0.05?
0.05
Let z = -2594 + 2597.1. Is z at least as big as -17?
True
Suppose 2*f + 932 = 4*r, 336 = 2*r + 4*f - 170. Which is smaller: r or 234?
234
Let h = -129.4 + 128.6. Suppose g - 1 = -t, -3*t - g = -t - 1. Are t and h equal?
False
Let w be 1 + 1 + (1 - 2). Let j be (-1092)/(-117) - 2/6. Let z be 2322/504*12/j + -6. Which is greater: z or w?
w
Let p be (-6355)/(-20) + 9/6 + (-81)/36. Is p at most as big as 318?
True
Let i be ((-10066)/4)/(882/(-504)). Is 1437 > i?
False
Let a be 1*4/18 - (-24 + (-8743)/(-180)). Which is smaller: a or -23?
a
Let n(w) = 665*w + 5133. Let v be n(-8). Which is smaller: -180 or v?
v
Let d(x) = 2*x**2 - 20*x. Let g be d(10). Suppose g = 3*t - y + 446, -48*y = -4*t - 47*y - 595. Which is smaller: -148 or t?
t
Let h = -26 + 31. Suppose -40 = h*m - 30. Let y be 130/1100 + m/(-11). Which is greater: 0 or y?
y
Let c be (0 + 0/(-4))/(-7 + 9). Which is smaller: c or -4/3295?
-4/3295
Let p be 1/((-35)/(-98)) + 1/5. Let t be 415/3 - (p + -11). Which is bigger: t or 146?
t
Let x(z) = -2*z**2 - 10*z - 6. Let m be x(-4). Let a be (m/6)/((-1)/(-9)). Let h = -8 - -9. Which is greater: a or h?
a
Let b = 299 + -312. Let d = b + 14. Which is smaller: d or 32/11?
d
Let q = 70 + -68. Let x be 2/(-3*q) + (-31)/93. Which is greater: x or -11?
x
Let j = 27044331475/45401 - 595677. Is 1 at least j?
True
Let p = 1 - 0.46. Let m = p - -1.31. Which is bigger: m or -1?
m
Suppose f + 5*k = k - 2, -3 = -3*k. Let n(g) = -g**3 - 6*g**2 - 3*g - 9. Let a be n(f). Which is bigger: 58/7 or a?
a
Let q = 639767/366 + -1748. Let z = -541/19398 - q. Is z < 1?
True
Let s(n) = -7*n - 22. Let d be s(-5). Is 12 at least d?
False
Suppose 5*p - 188 = 17. Let y = p - 52. Is y greater than -12?
True
Let b be (-4)/6*3/(-69). Let o = 266 + -263. Suppose -q + 9 = 2*j, -o*q + 22 = 2*j + 3*j. Is q less than or equal to b?
True
Let i be (1 - -14)/(51/51). Which is bigger: i or 214/15?
i
Suppose -4*t = -18*t - 2380. Let c = t + 240. Let s be 3/(-15) - (-39)/c. Is -1 != s?
True
Let c be (-3)/3 - 5/((-5)/6). Let n be -95*((-15)/3)/c. Let a = n + -77. Which is bigger: a or 0?
a
Let r = 1068 + -558. Let w = 513 - r. Is w greater than 2/33?
True
Let b be 1116/(-31)*(16/(-2) + 2). Which is greater: -8 or b?
b
Let w = -10976/5 + 2198. Which is smaller: -1 or w?
-1
Let a = 22 + -0.1. Let p = a + 75.1. Let c = p - 97.1. Which is greater: c or 8/7?
8/7
Let x = -10.3 - -8. Let r = 2.325 + x. Let t = r - -4.975. Which is smaller: t or 0.2?
0.2
Let l = -1549 + 1551. Which is greater: l or 13.2?
13.2
Let b be 18/(-63) - (4/(-7))/2. Suppose b = 5*s + 8 + 47. Let d(o) = -o**3 - 11*o**2 + o + 1. Let f be d(s). Which is bigger: f or -4?
-4
Let k(i) = 18*i**2 + 31*i**2 - 47*i**2 + 18*i - 2 - 18. Let a be k(-10). Let q(d) = -d**3 - 5*d**2 - 4*d + 1. Let s be q(-4). Which is bigger: s or a?
s
Suppose -2*y + 4 = 0, -s + 4*s - y - 19 = 0. Suppose -2*b + 7 = -1, 3*b = 4*q. Suppose 3 = s*d + q. Which is smaller: d or 5/11?
d
Suppose -i + 17 = 2*q, 33 = 4*q + 2*i - i. Suppose 0 = 4*v - 105 + 17. Let d = v - 13. Which is greater: q or d?
d
Let i = -6893 - -6662. Are -257 and i non-equal?
True
Let i = 11 - 3. Suppose -5*b + i = 198. Suppose 4*t + 3*m + 187 = 26, -5*t - 4*m = 202. Are t and b unequal?
False
Suppose -f = 4*h + 30, -5*h + 2*h = 12. Let o(u) = 5*u - 1. Suppose -7*p = -8*p. Let i be o(p). Is i greater than f?
True
Suppose 7 - 8 = -m. Suppose 0 = 2*p + 3*q + 1, 4*p + 0 = 5*q + 9. Is m equal to p?
True
Suppose -y = -131*k + 128*k - 4198, 3*y + 4*k - 12581 = 0. Is y at least 4195?
True
Let o = -8.78 - -44.08. Let h = -35.4 + o. Let k be (-2)/(-4) - (-10)/4. Is h less than or equal to k?
True
Suppose -d = -4*q + 157 - 9, 2*q + 3*d = 88. Let b = q + -67. Which is smaller: b or -34?
-34
Suppose -69*n + 72*n - 111 = 0. Let l = n + -33. Suppose -l*i - 6 = f + 39, 0 = 5*i - f + 45. Which is smaller: -6 or i?
i
Suppose -26*x + 5*a = -24*x + 24, 4*x = 5*a - 38. Let s be (-2 - 72/(-30))*-20. Is x at most s?
False
Let b(k) = -6*k - 48. Let z be b(-8). Suppose -3*h + 61 = -2*q - 122, z = 3*h + 9. Let p = q + 157. Which is greater: 62 or p?
62
Let p = 4/75 + 428/3225. Which is greater: p or 2/17?
p
Suppose -4*q + 4*t = 0, -4*t = -2*q - q + 1. Let a be (141/29 - 4)/1 + q. Suppose -w - 5 = 2*r, 6*r = r + 3*w + 15. Is r <= a?
False
Suppose -h - 4*s = 18, -h - 3*h - 2*s = 72. Suppose 274*d - 1230 = 356*d. Is d > h?
True
Suppose -940*l + 558*l = -471*l - 89. Are l and -74/401 nonequal?
True
Let t(o) = -o**2 + 2*o - 13. Let f(n) = n - 7. Let u(y) = -7*f(y) + 4*t(y). Let v = 840 + -839. Let d be u(v). Is d at least as big as -4?
False
Suppose 0 = -2*k - 4*n - 6, 7 = -4*n + 3. Suppose 5*p - 3*p = 5*d - 15, 0 = -4*p + 4*d. Let o be p/(-42) + 50/175. Is o < k?
False
Let r = -272 - -461. Let f = r + -165. Which is bigger: f or 27?
27
Let a(g) = 11*g + 65. Suppose 13*b - 66 + 144 = 0. Let c be a(b). Let p be (1 - 10/12)*-5. Which is bigger: p or c?
p
Let o be 847/(-5) - (-15 + 803/55). Do o and -169 have different values?
False
Let m be 4*4/64*44. Suppose -6*y - 5*v - 10 = -m*y, -v = -3*y + 16. Is 6 at most y?
True
Let h = 60429 - 60429.1. Let a be ((-8)/258)/(2/3). Is h != a?
True
Let z = -80.26 + 86. Let p = -5.84 + z. Which is smaller: p or -577?
-577
Let t = -11646 + 11717. Which is greater: t or 15/8?
t
Let d(j) = -j**3 - 7*j**2 + 25*j - 55. Let c be d(-10). Let t be 1/(148/24 - 6) + c. Is -7 greater than t?
False
Let w = -37483/8 + 4685. Is w greater than or equal to 218?
False
Let p = -30398699/2140 - -14205. Let v = 17159/83460 - p. Let i be 12/(-60) + 1/5. Which is smaller: i or v?
i
Suppose 5*l - 5*q + 2*q = -5572, 0 = l - q + 1112. Is l at most as big as -5592/5?
False
Let a = -13.5 + -16. Let i = 29 + a. Let o = -21 - -20.8. Is o not equal to i?
True
Let a(s) = 17*s + 65. Let o be a(-3). Let g be (o/(-1491))/((6/9)/1). Which is smaller: 0.1 or g?
g
Suppose -3*g - 546 = 3*r, 6*g + 126*r + 1082 = 125*r. Which is smaller: g or -183?
-183
Let i(o) = -1. Let p(u) = -u - 1. Let c(f) = -4*i(f) - p(f). Let a be c(0). Suppose 0 = g - 0*g - a*h - 4, 4*g + 3*h = -7. Which is greater: -20 or g?
g
Let i = 23659758553/143 - 165450268. Let p = i + -2589. Let h = -49532 + 49531. Which is bigger: h or p?
p
Let p = -4653 - -4654. Let i = 1170842/179 - 6541. Is p < i?
False
Suppose 4*b + 0*t = t + 6, 3*t + 18 = 4*b. Is b less than or equal to 2/40833?
True
Let o = -3086 - -3321. Is o not equal to 235?
False
Let v = 7 - -2. Suppose -18*m - 360 = -54*m. Is m greater than or equal to v?
True
Let p be (-2)/60*(5 + -3 + 0). Which is greater: p or 0.06?
0.06
Let h(x) = 3*x**3 - 17*x**2 - 4*x - 11. Let v be h(6). Let d = 1.2 + -14.2. Let m = d - -26. Is m at most v?
False
Let a = -16.511 - -78.011. Is 4 less than or equal to a?
True
Suppose -2*m = -4*d - 7*m, -5*m = -4*d. Let n be 147 - (7 - (4 + -1)) - d. Which is greater: 1 or n?
n
Let h(a) = -a**2 + 124*a + 5371. Let j be h(158). Is j less than or equal to 2/36039?
True
Let v = -20.21 - -0.21. Let a = 20.128 + v. Let t = a + -0.128. Which is greater: -0.7 or t?
t
Let i be (1616/(-144)*3)/(1/27). Which is smaller: -913 or i?
-913
Let f(c) = -3*c**2 + 121*c - 157. Let q be f(39). Let v = -4.3 - -0.3. Let r = v + 15. Which is greater: q or r?
r
Suppose -46*y - 21*y - 4633 = 46*y. Which is bigger: -19 or y?
-19
Let z be (-10)/((4 + -9 + 3)*-1). Is z greater than or equal to 51?
False
Suppose 3*m - 4*v = 6*m + 13, m = -v - 2. Is 743 greater than or equal to m?
True
Let f = 227 + -223. Suppose 3*v - 5 = -2*s - 21, f*v = 4*s - 8. Which is smaller: -16/13 or s?
s
Let z be (-2 + 4 + -4)*(-36)/(-72). Are 31/749 and z unequal?
True
Let n be 4/10*(1 - 16). Let d(l) = -l**3 - l**2 - 13*l + 12. Let a be d(10). Let u be (3/18)/(-5 - a/245). Which is smaller: u or n?
n
Let d = 1.1 + -1.27. Let w be ((-5)/32)/(3435/(-16488)). Which is smaller: d or w?
d
Let u = -3601 - -6002. Is u bigger than 1/5?
True
Let j(f) = 130*f - 297. Let m be j(10). Which is smaller: 1006 or m?
m
Let s(q) = 5*q**2 - 126*q + 29. Let m be s(25). Which is 