r**3 + r - 5. Let a be l(2). Which is smaller: a or 56/15?
56/15
Let d(v) = -5*v + 181. Let h be d(37). Let c = -12 + 8. Let b be (2 - h/c)*0. Which is bigger: b or -2/37?
b
Let n be (-5)/(-25) - (-314)/5. Which is smaller: 59 or n?
59
Let u = -13/37 + 2/111. Let d = -3 + 6. Suppose -2*z - z = d. Is u at most z?
False
Let g(s) = 21*s. Let l = -22 + 20. Let t be g(l). Let d = -31 - t. Which is smaller: 13 or d?
d
Let b be (4 - 0) + 741/(-180). Let l = 2/15 - b. Is l less than -3/7?
False
Let p(y) = 10*y - 109. Let d be p(11). Is d != -53?
True
Let y be 0*2/(-8)*2 - 313. Let l = 639/2 + y. Which is smaller: l or 7?
l
Suppose -24*a + 4613 + 4075 = 0. Is a less than or equal to 359?
False
Suppose 0 = -3*y + 4*x - x + 21, -3*y - 5*x - 3 = 0. Suppose 0 = -4*k + 8. Suppose -5*o = s - 21, -k*o + 2*s + s = -5. Is y smaller than o?
False
Let r be 1 - (0/1 - -1). Let n(h) = -h**2 + 14*h - 6. Let p be n(13). Suppose -9 = -10*z + p*z. Which is smaller: r or z?
r
Suppose 3*q = 12*z - 8*z, 2*z = 5*q. Which is smaller: -7/340 or z?
-7/340
Let z(y) = -y**3 + 3*y**2 + 5*y - 4. Let t be z(4). Suppose -6*s + 18 = -t*s. Let l be s/2*(-4)/(-6). Which is smaller: l or 1/29?
1/29
Suppose 3*o + 2*l = 752, -1469 = -5*o + l - 220. Let q = o + -4254/17. Let w = -9/34 + q. Is 1/4 smaller than w?
False
Suppose -3*x + 16*f = 17*f + 821, -3*x = -4*f + 826. Which is smaller: -273 or x?
x
Let r = 24823 + -24704.79. Let l = 118 - r. Are -1 and l equal?
False
Let o be -1 + 3 + -9*2. Let h = o + 20. Do h and 2 have different values?
True
Let q(w) = 33*w - 27*w + 3 - 1. Let p be q(10). Is p < 61?
False
Let u be (2 - -2)/(-2) - (-648)/340. Is u equal to 0?
False
Suppose 6*v - 2*v = -2*z + 62, 0 = -3*v + 3*z + 69. Suppose 6*t - t = 95. Which is smaller: t or v?
v
Suppose 11*g + 33 = 22*g. Suppose g*p - 5*p + 2*s = -4, 2*p = 3*s + 6. Which is bigger: p or 1/25?
1/25
Let h = -51 + 55. Let y be (1 + 1)*(-26)/h. Is -16 at least y?
False
Suppose -26 = 8*z - 7*z + 3*f, 3*f = -15. Let u = -8 - -7. Which is smaller: z or u?
z
Let r be 496/(-6600) - (-2)/11. Which is greater: r or 0?
r
Let p = -1851/2 - -1024. Is p > 99?
False
Suppose -31*p = -26*p + 645. Is -129 bigger than p?
False
Let p = 28 - 25. Suppose -5*s - 8 = -p. Is s != -2/33?
True
Let a(l) = -8*l + 266. Let u be a(50). Which is greater: u or 1?
1
Suppose z = -3*z - 24. Let y = 63 + -134. Let t = 67 + y. Which is greater: z or t?
t
Suppose -2*d = -0*d. Let h be 37/143 + 7*(-12)/462. Is h at most d?
False
Suppose 5*s = -1 + 6. Let l(n) = n**2 + 7*n - 5. Let m be l(-7). Let d be (2/m)/(32/(-10)). Which is smaller: d or s?
d
Let t = -27.4 - -0.6. Let b = t + 27. Are b and 0.02 nonequal?
True
Let o = -0.92 + 1. Let f be -3*6/72 - 34/(-72). Which is greater: o or f?
f
Suppose -10*v = -3*v + 1071. Suppose 687 = -3*z + u + 230, 0 = 4*z + 5*u + 641. Is z != v?
True
Let k = 26 + -42. Let c = -3 + 4. Which is greater: c or k?
c
Let i be (94/(-4))/((-2)/(-16)). Let v be ((-2)/i)/(1/4). Let o = 0.18589 + -0.08589. Are o and v non-equal?
True
Let u be (8 - (1 - -4)) + (-7 - -2). Let q be u/(-4 + 2)*-1. Which is smaller: 1/9 or q?
q
Let i = 8 + -7. Let g = 4 + -3. Let z = g - 3/4. Is z bigger than i?
False
Suppose 14*j = 6*j + 328. Let w be ((-3)/(-5) - 1)*j/(-82). Suppose 20 = -5*f - 3*m, -m + 0 = 5. Is w < f?
False
Let x(r) = -r**2 + 7*r - 3. Let y be x(6). Let p(o) be the third derivative of o**5/30 - o**4/12 + o**3/3 + 44*o**2. Let f be p(y). Are 14 and f unequal?
False
Let s be 0*3/(3 - 0). Suppose s = -4*n - 8. Let a(q) = -q - 9. Let p be a(-8). Which is greater: p or n?
p
Suppose 4*c + 6 = 6*c. Suppose 0 = 5*q - c*q - 10. Let m(z) = z**2 + z + 4. Let p be m(0). Which is greater: q or p?
q
Let p be 2/21*(-98)/(-1722). Is p smaller than 0?
False
Let s be -2*(-59)/(-10) + (-24)/120. Is s less than -51/4?
False
Let x = 17/5 - 143/45. Which is smaller: x or 28?
x
Let a = 710 - 710. Let w = -1.9 - 0.1. Is a less than w?
False
Let w(x) = -x**3 - 3*x**2 + 10*x + 3. Let c be w(-5). Suppose a - 22 = c*a. Do a and -11 have the same value?
True
Let t = -248459/28 + 35909/4. Let b = 104 - t. Let a be (-19)/6 - (0 + -3). Is a bigger than b?
False
Let c be 565014/110415 + 48/(-408) - 5. Is c > -1?
True
Suppose 58 + 137 = -5*y. Let n = y + 32. Which is smaller: -13/2 or n?
n
Let f(z) = 1599*z - 2. Let n be f(3). Let v = n + -14512/3. Let d = v - -42. Which is smaller: d or -4?
-4
Let r = 26.9 - -2.1. Let h = 65 + -93. Let b = r + h. Which is bigger: -0.1 or b?
b
Let l be 49/(-147)*(-14 + -1) - 578. Which is greater: -571 or l?
-571
Let h(a) = -a**3 + 3*a**2 + 5*a - 4. Let y be h(4). Let u be 26/(-16) - (-10 + 9). Which is bigger: u or y?
y
Suppose -2*d - 5 = 3*d. Let t = d + -1. Let v be 25/105*6/5. Which is bigger: v or t?
v
Suppose o = 7*o - 12. Let t be 1085/(-124)*(-12)/50. Which is smaller: o or t?
o
Let x(h) = 13*h**2 - 661*h - 110. Let i be x(51). Let g(r) = -r**2 + r. Let c be g(-2). Which is smaller: c or i?
i
Let l = 2 + -5. Let m(y) = 7*y + 12*y + 14*y - 6 - 31*y + 8. Let p be m(l). Which is bigger: -2 or p?
-2
Suppose d - 12 = -8. Suppose -2*a = 3*f + a + 96, d*f + 3*a + 124 = 0. Which is smaller: f or -29?
-29
Let q = -15 + 10. Let h = 9 + 2. Let c(r) = r**3 - 10*r**2 - 10*r - 14. Let t be c(h). Is t less than or equal to q?
False
Suppose -3*s = 9, 7*j - 5*s = 4*j + 18. Are j and -30/73 equal?
False
Suppose 5*v = -16 + 46. Let y be 3/6 - 18/(-4). Suppose 4*h + q = y + 17, 0 = h + 3*q. Is h < v?
False
Let g(t) = t**3 - t - 4. Let i be g(0). Let c(y) = -y**3 - 3*y**2 - y + 4. Let p be c(-3). Let u = i - p. Which is bigger: -12 or u?
u
Let n = -22395 - -22381. Let s(q) = -q**2 + 2*q. Let w be s(-3). Which is smaller: w or n?
w
Let w = -23 + 23. Suppose 3*g - 5*v + 33 = 0, w*g - 4*v - 6 = 3*g. Is -7 < g?
True
Let i(o) = -2*o**2 + 18*o + 1. Let m be i(9). Which is smaller: 1/7 or m?
1/7
Let d be (8/6)/((-3)/18). Suppose 21*b - 18*b + 27 = 0. Which is smaller: b or d?
b
Suppose -524 = -8*f + 260. Suppose 6*d - f = 8*d. Do d and -48 have different values?
True
Let l = 2828.9 - 2829. Which is bigger: l or -2/51?
-2/51
Let m be (-6 - (-6)/(-2))/(13 - -1). Suppose p + 4 = -3*p. Is p at most as big as m?
True
Suppose -s - 44 = -5*s. Suppose -m - 5 = -5*x, -5*x - 59 = 4*m + s. Which is smaller: -0.1 or m?
m
Let k be 110/484*(3 - 1)*-3. Which is bigger: 2 or k?
2
Let b be (-5)/(-10)*298*2. Let k be (-4)/16 - b/24 - -3. Are -10 and k non-equal?
True
Let d(h) = -3*h + 30. Let m be d(10). Let s be (-881)/(-420) + 10/(-5). Let y = s - 1/70. Is m at most as big as y?
True
Let t = 137789484551/377319831768 - -3/105869762. Let c be (3/15)/(1296/(-10)). Let o = t + c. Is 1 < o?
False
Let g be (-2)/(-5) + 8571/(-840). Let w = 66/7 + g. Is w at least as big as -1?
True
Suppose -3*a - 15 = -3, -2*w = a + 4. Suppose 5*y + 6 = -w*y + 4*t, 5*y + 5 = 5*t. Let b be 3/y - (-84)/24. Which is bigger: 1/2 or b?
b
Suppose 12*i = 9*i. Suppose 160 = -i*b + 2*b. Suppose 5*t + f - b = 0, -t + f + 11 = 1. Is t at least as big as 15?
True
Let g = -295 + 319.1. Let y = -38 + 15. Let o = y + g. Which is smaller: -1/2 or o?
-1/2
Let h(n) be the second derivative of n**3/2 - 3*n**2/2 + 5*n. Let s be h(2). Suppose -4*g - 5*a = -2*a - 11, 3 = s*a. Is g smaller than 5/3?
False
Let h(c) = 5*c**2 - 7*c + 7. Let a(w) = w**2 - 2*w + 2. Let j(p) = -9*a(p) + 2*h(p). Let y be j(-4). Let d be -1 + 6 - 2/y. Which is greater: d or 7?
7
Let o(i) = 11*i**2 + 8*i. Let w be o(-11). Is 1243 greater than w?
False
Let g = -0.2 - -0.3. Let u = -0.355 - -0.255. Let z = g - u. Which is smaller: -0.03 or z?
-0.03
Suppose -3*p = 4*x + 292, 0 = 3*p - p + 2*x + 192. Let f = 463/5 + p. Which is greater: 0.2 or f?
f
Let o = 121/32276 - -2470404193/225932. Let q = 10910 - o. Let c = q - -24. Which is greater: -5 or c?
c
Let k = -88 + 60. Let f = k - -29. Which is smaller: 3/4 or f?
3/4
Let v be 54/4*(-2)/(-3). Suppose -3*z + v = -6. Suppose 12 = -z*j + j. Is -1 < j?
False
Let h(d) = 89*d + 980. Let v be h(-14). Which is greater: -0.1 or v?
-0.1
Suppose 31 = 5*n - 4*f, 0*n + 14 = -2*n - 5*f. Let l be 0 - n - (-102)/17. Which is smaller: l or 18/5?
l
Let u = 17 + -6. Suppose -6*f - 204 = -0*f. Let i = f - -44. Is u at least as big as i?
True
Suppose 90*l + 783 = -1107. Is l smaller than -32?
False
Let o be (2/