h is bigger: 1/2 or m?
m
Let d(t) = -t**2 + 2*t + 8. Let i be d(-2). Which is smaller: i or 15/458?
i
Suppose -55 = -4*o - 5*f, 4*o - 22 = 3*o - 4*f. Suppose 0 = -79*d + 80*d - 4. Does o = d?
False
Let a = 165027 - 165036. Let f = -0.2 + 0. Let i = -0.3 - f. Does a = i?
False
Let p = 2 + -10. Let g = 10 + p. Let i = 26181 + -26211. Are i and g equal?
False
Suppose -3*l + 38*v = 41*v + 798, l + 260 = 5*v. Which is bigger: -259 or l?
-259
Suppose 7*k - 5*x = 12645, -6*k - 4*x + 7164 = -2*k. Is k < 7205/4?
True
Let l be ((-12)/5 - (-78)/195) + 2. Suppose -16*f + 681 + 1255 = l. Which is smaller: 122 or f?
f
Let c be ((-1)/2)/(12/(-24)) - 0. Suppose -4*w - 3*p = -23, 2*w + 0*w - c = -5*p. Suppose -w*q + 2 + 6 = 0. Are -1/121 and q unequal?
True
Suppose -56 + 120 = 47*z + 111. Do z and -65/426 have the same value?
False
Let f = 16 - 10. Suppose 0 = -2*b + f, 27 = 2*g - 3*g + 5*b. Suppose 4*x = 5*u + 3 + 45, 3 = -x. Is u greater than or equal to g?
True
Suppose 16*i + 7978 = -6470. Is -901 smaller than i?
False
Let s be 2/2 - (-4 - 8). Suppose s*y - 5*y - 48 = 0. Are y and 5 nonequal?
True
Let c = 18639 - 24006. Are -5368 and c equal?
False
Let z = 2016 - 1955. Which is smaller: z or 9?
9
Let v(u) = -2*u**2 - 5*u + 8. Let x be v(6). Let t = x + 91. Is -7 smaller than t?
True
Let v(j) = 1 + 723*j - 12 - 722*j. Let g be v(1). Let w be (5/(10/24))/(-1). Which is smaller: w or g?
w
Let l = -463/2331 + -29/333. Is -2/963 equal to l?
False
Suppose -4 = 4*z + 5*f, f + 2*f + 5 = -5*z. Suppose -16 = 2*r + 5*w, 0 = -4*r + r - 3*w - 42. Let i be 112/(-315) + (-4)/r. Does i = z?
False
Let r = 7.32 + -7.3. Let v = r + -0.12. Let f = 469/12 - 121/3. Is f < v?
True
Suppose 136*k + 9334 = -26*k - 710. Let q be (-428)/7 + 0/3. Which is bigger: k or q?
q
Let j = 3801 - 45587/12. Suppose 3*r = o, 3*o - 4 = -31*r + 36*r. Which is smaller: j or o?
j
Let v = -3251 + 16253/5. Is v at most 116?
True
Let k = 2259.01 + -2258.6. Which is bigger: k or 58?
58
Let g(m) = -3*m**2 - 51*m + 14. Let j be g(-17). Let v be 26/(-455)*j/6. Let p(d) = -9*d**3 - 2*d**2 + 2*d - 1. Let b be p(1). Is b > v?
False
Let o = -9296714421/8775367026545 + 5/52817521. Let h = -1/505 + o. Do -1 and h have different values?
True
Suppose 2*r + 2*r + x + 6729 = 0, 5*x - 1698 = r. Let p = 165732/95 - 1025/19. Let w = p + r. Does w = 9?
False
Let k = 2774 + -3117. Is k at least as big as -345?
True
Suppose -2*r + 4*i + 30 = 6*i, 4*r - 70 = i. Suppose -u + 15*u = 4158. Let d = u + -299. Is r not equal to d?
True
Let k = -105 - -111. Let t be -31*(k/5 + 4/(-20)). Let x = 31 + t. Which is smaller: x or -3/23?
-3/23
Let x = 5271 + -5310. Which is bigger: 3 or x?
3
Let r(z) = 41*z + 865. Let n be r(-27). Do n and -246 have the same value?
False
Let s = 6983 - 6982. Which is bigger: -4117 or s?
s
Suppose -5*y + 2*j = -1, 4*j + 17 = 2*y + 7. Let f be (29/(-58))/(-2*y/8). Which is bigger: f or 4?
4
Suppose 12*r - 3*r - 819 = 0. Suppose -5*w = 699 + 2161. Let h be w/r - (-4)/14. Which is bigger: -24/5 or h?
-24/5
Let r = -3060 + 3059. Which is smaller: -1028 or r?
-1028
Let d(w) = 26*w**3 - 3*w**2 + w + 2. Let b be d(1). Suppose 2*u = -2*g + b, -5*u - 17*g + 15*g + 65 = 0. Which is smaller: u or 40/3?
u
Let w(a) = -2*a**3 + 21*a**2 - 8*a - 19. Suppose 0 = x - 4*s + 7 - 1, -14 = -x - s. Let b be w(x). Is 3/71 < b?
True
Let y = 16357 - 16383.87. Is y at most -0.2?
True
Let f = -36 + 32.09. Let o = f + 4.03. Do 1/4 and o have the same value?
False
Let m(u) = 3*u**2 - 54*u + 47. Let b = -2 + 23. Let o be m(b). Are o and 237 non-equal?
True
Let d be (-28)/6*437817/209. Let i = d - -9760. Which is smaller: i or -17?
-17
Let c be 2 + 1 + 3/(-3). Let g be 13 + 8/(-2) + c. Suppose 219*r - 5196 = -214*r. Is r != g?
True
Let b be (5/(-45))/(-1*((-28)/6 + 5)). Which is smaller: b or 1902?
b
Let v be (-2)/4 - (-133)/(-14). Let s = v + 4. Let r(l) = l**3 + 18*l**2 + 16*l - 18. Let z be r(-17). Which is bigger: z or s?
z
Let x = -8893592974790803276/2235 - -3979236345047941. Let s = x + -114716494. Let u = 2/447 + s. Are -8 and u equal?
False
Suppose 3*s = 301 - 1351. Suppose 8*a - 5*p + 2837 = 0, -4*a - 1786 + 354 = -4*p. Is a at least s?
True
Let k be 62 - (1 + (0 - -1)). Suppose 0 = 5*t - 3*v + 48 - 42, -3*t = -4*v - 3. Let b be ((-4)/k)/(2/t)*1. Is b equal to -1?
False
Let z be 1/((6/(-1615))/6). Let q be (3/(-6))/((z/(-780))/17). Is -4 < q?
False
Suppose f = j + 83, 5*j - 3*j + f = -157. Let q = 90 + j. Let p be 3672/(-170) - (-1)/(q/6). Which is bigger: p or -23?
p
Let o = 383 - 380.91. Let w = o - 14.09. Which is smaller: 1 or w?
w
Let i = -25.9 + -72.1. Let q = 97.04 + i. Is -2/7 at most q?
False
Let z be ((-16554)/(-1780))/(3/10). Let r = -91/110 + 5/22. Are z and r non-equal?
True
Let j(t) = -6*t**2 + 154*t - 123. Let b(c) = -2*c**2 + 51*c - 41. Let v(q) = -17*b(q) + 6*j(q). Let y be v(28). Is -16 > y?
False
Suppose 73*f - 56*f - 17 = 0. Suppose 2*o + 4 = -o + 4*h, -f = 3*o - h. Is o at most 20/21?
True
Let u = 1333 - 1330. Which is bigger: u or 317?
317
Let u(y) = -y - 3. Let l be u(-5). Suppose -l*q = -6*r + r + 7, 4*r = 4. Let t = -1306127/75 + 17415. Is q less than or equal to t?
True
Let r = 28 - 21. Suppose r*t = 8*t + 1. Let k be (22264/1386 - 16)/(4/3). Do t and k have different values?
True
Let t = -31.78 + 32. Let g = t - 1.82. Let d = 1.5 + g. Which is smaller: -2/39 or d?
d
Suppose -2*o - 16 = -5*w + 4, -3*o - 4*w = -16. Suppose o = 18*r + 686 - 2450. Which is greater: r or 99?
99
Let l = -63 - -83. Let s be (-1)/l*486*2. Which is bigger: s or -50?
s
Let b = 0.022 + 0.173. Let u = -0.145 + b. Which is greater: u or 9?
9
Let h = -20 - -11. Let p be (-6)/h*9/6. Let a = 14566/35 - 416. Is a less than p?
True
Let r(t) = -t**2 - 14*t - 2. Let s be r(-14). Is s < -59/113?
True
Let m = 23526 + -23608. Let i be (7/42)/(1/3). Is m <= i?
True
Let h(r) = r**3 + 7*r**2 - 4*r - 2. Let b be h(-7). Let o be -3 + 1 + 1 + b. Suppose 0 = 24*i - 20*i - 104. Are o and i equal?
False
Let a be -71*(64/8 - (-81)/(-9)). Which is smaller: 79 or a?
a
Let q = -53 + 53. Suppose q = -10*o + 2*o - 40. Is -2 greater than or equal to o?
True
Let u = -1328.37 - -1338.8. Is 8 less than u?
True
Let w = 1160.78 - 1132. Let n = w + 3.22. Which is smaller: -1/2 or n?
-1/2
Let n(z) = -z**3 + 10*z**2 - 4*z - 2. Let s be n(4). Let r = 35 - s. Let u = 543 + -586. Is r smaller than u?
False
Let b(c) = 63*c - 15. Let r be b(-2). Let a = 125 + r. Is -12 not equal to a?
True
Let b = 6097.87813 - -0.12187. Which is greater: b or -1?
b
Let z = 43090 - 67866752/1575. Let s = z - -1679/81900. Are s and -1 unequal?
True
Let g = -471 - -647. Let f = 170 - g. Which is greater: -2 or f?
-2
Suppose 14 = w + 51. Let q = w - -33. Let l be (4/28)/((-2)/q). Which is smaller: l or -1/3?
-1/3
Let h(a) = 51*a + 38. Let o be h(11). Let t = o + -6594/11. Which is smaller: t or 1?
t
Let c(b) be the second derivative of b**5/20 - 11*b**4/12 + 5*b**3/2 + b**2/2 + 31*b. Let q be c(6). Let n = q - -97. Does n = 28/3?
False
Suppose 0 = 7*r + 983 - 52. Let m be 1 + (r/14)/((-572)/(-56)). Is 1 at most m?
False
Suppose 770 = 108*l + 122. Which is smaller: 107/21 or l?
107/21
Let r = -43.9 - -8.9. Let b = r + -1. Let a = 28 + b. Which is smaller: 0 or a?
a
Let k = 0 - 0. Let o(h) = h**2 - 203*h + 7394. Let s be o(51). Is k at most s?
False
Let w = 4724 - 5404. Is w <= -678?
True
Let k be 18/(-153) + 36/17. Suppose 5*b - a = -5*a + 80, k*b + a = 35. Suppose 0 = m + 3*h - 24, -5*h + h = -b. Is 10 < m?
False
Let l(i) = 6*i**2 + 2*i + 17. Let n be l(5). Suppose -3*s - 1033 + 144 = -5*d, d - 173 = -s. Which is greater: d or n?
n
Let r = 8/12119 + 101981369/24238. Is r at most as big as 4208?
True
Suppose 4*b - 5*l = -3*l + 2, 5*b = -5*l - 20. Let s = -69 - -77. Let o be 2/(-4)*b*s/(-18). Is o < -1?
False
Let f = -4.9675 - 0.0325. Do 119 and f have different values?
True
Let o = 4954 - 4953. Are 779 and o equal?
False
Suppose 5*v - 5*z = 3*v + 28, -4*z = 8. Suppose -454 + 1795 = -v*l. Is l greater than -148?
False
Suppose 0 = 104*o - 103*o - 2. Suppose -q + 2 = 3, 17 = -5*b - o*q. Which is smaller: 2 or b?
b
Suppose -3*f = -3*c - 36, -5*f + 5*c = -2*f - 32. Let g be 1 + -5 + f + -11 + -134. Let d be (-3)/(-234)*g/20*4. Which is greater: -1 or d?
d
Let o(q) = -q**2 - 2*q - 1. Let m