e (-1 + 1)/(d + r). Which is smaller: -1/9 or z?
-1/9
Let o = 17537 + -17533. Do o and 161/45 have different values?
True
Let d be (6 - 1) + -1 + -2 + 1. Suppose 4*j + v = -476, d*v - 114 - 498 = 5*j. Is -116 less than or equal to j?
False
Let k be 1228*(-6 + (-104)/(-16)). Let x = 614 - k. Is 1/416 at most as big as x?
False
Let t be (32*16/(-160))/(26/740) + -2. Is -92 at most as big as t?
False
Let x be -7 - (-2 - (-137)/(-780)*28). Are x and 1 equal?
False
Suppose 0 = -35*o - 275 + 275. Do o and 16/17 have different values?
True
Let j be 17/(-11) - (1 + 0). Let c be (82/21 - 4)/((-1112)/(-24) - 46). Which is bigger: j or c?
c
Let b be ((-150)/36 + 4)*(-120)/940. Which is greater: b or -4/5?
b
Let o be ((-450)/63 - (-1)/7) + -4. Let y be (o - -1)/(-2*(5 + -4)). Let b = 2 + 2. Is y at least as big as b?
True
Let p = 3 + 4. Suppose 2*r + 10 = -l, 2*l + p*r = 4*r - 15. Is l greater than or equal to -1/215?
True
Let r = -4 - -3.3. Let z = r - -5.7. Suppose -3*a + 5*n + 21 = -6*a, 0 = 9*n + 27. Which is bigger: z or a?
z
Suppose -10*q = -88 - 62. Let u be (q/6)/((-11)/((-110)/(-15))). Which is smaller: u or 2/5?
u
Let u(m) be the first derivative of -5/3*m**3 + 0*m - 3/4*m**4 + 1 - 5/2*m**2. Let y be u(-2). Is y <= 14?
True
Let s be (24 - 0)*(236/72 - 4/(-18)). Let i be 0 - 17/1*-5. Is s at least i?
False
Let r = 23338 + -23364. Let n(g) = -g**3 + 6*g**2 - 4*g - 1. Let k be n(6). Which is greater: k or r?
k
Suppose 5*o - 4*o = -4*n - 18, 4*n + 12 = -4*o. Let w be (2/o)/((-16)/((-6880)/(-30))). Suppose 60 = -3*x - x. Is x at most w?
True
Let s be ((-864)/(-20))/((-3)/10). Which is smaller: s or -146?
-146
Let c = 3.99568 + 0.00432. Are 0.0106 and c equal?
False
Let t = 291 - 305. Let j be (21/9 - 1)/(t/357). Which is smaller: -36 or j?
-36
Let t = 7935 + -7933. Which is greater: t or -0.3781?
t
Let o = 0.3974 + -0.0264. Let h = 724 - 2174/3. Is o greater than h?
True
Let b = -2.487 + -0.513. Which is bigger: -21/34 or b?
-21/34
Let o = 2/2705 - 2711/8115. Which is bigger: 10.13 or o?
10.13
Let y be (24/(-100)*255/102)/((-1770)/(-32)). Are 0 and y unequal?
True
Let q = -38 + 32. Let l(m) = -m. Let k(o) = 3*o - 8. Let v(y) = q*l(y) - k(y). Let c be v(-3). Which is bigger: c or -20?
c
Suppose 0 = -2*s - 195 + 393. Let v be 1 - (6 + s/(-21)). Let u = 15 - 15.062. Which is smaller: v or u?
v
Let w = 30 - 20. Suppose -w = -22*o + 23*o. Let v be o/19*(-18)/(-45). Which is smaller: 0 or v?
v
Suppose -17*a = -39*a + 37*a - 105. Which is smaller: -330 or a?
-330
Let o be (-3 - 2) + (-240)/(-8). Let q be 1 - o/(-5)*4. Suppose q = 5*r - 2*r. Which is bigger: r or 3?
r
Let a = -7 - -4. Suppose 0 = 2*g + h - 2*h - 103, -g + 49 = -3*h. Suppose 19*q = 6*q - g. Is a greater than q?
True
Let s = -250.4 + 281. Let a = s - 28.59. Let f = a - 2. Which is smaller: 3 or f?
f
Suppose 0 = 4*c - 4*h + 892, 2*c = -6*h + h - 460. Suppose -768*j + 16495 - 50266 = 139797. Is j bigger than c?
False
Suppose -67*k + 69*k = -4*w - 3750, 4*w + k + 3749 = 0. Is -8440/9 > w?
False
Let y = 63 - 63. Let b = y + 0.2. Is b < -13?
False
Let y be 2/(-5) - 36/10. Let g be 13176/(-2440) + (-201)/(-40). Is y at least as big as g?
False
Let b be 157 + 2 + 0 - -1. Let d = -849 + 867. Suppose 10*a - b = d*a. Which is smaller: a or -21?
-21
Let x(i) = i**2 - 278*i + 6073. Let r be x(23). Suppose -3*p + 146 = -475. Which is bigger: r or p?
r
Let p = 0.079195 + 64.063805. Let k = p - 0.143. Let h = k - 26. Which is smaller: 0.2 or h?
0.2
Let q(u) = u**2 - 35*u - 6. Let t be q(-19). Suppose 8*a - 124 - t = 0. Is 142 < a?
True
Let z = -13/33 - 29/429. Let m = z + -1/26. Let j = 1.8 + -0.8. Which is bigger: m or j?
j
Let a = -21147 + 21364. Which is greater: 1307/6 or a?
1307/6
Let h(x) = x**3 - 21*x**2 + 2. Suppose 8*u = 6*u + 42. Let y be h(u). Suppose -j = -y*j. Is j less than -1?
False
Suppose -36 = -7*t + 3*t. Suppose -t*z + 365 = 68. Suppose -b - 5 = d + 2*b, -b + z = -4*d. Is -8 at least d?
True
Let g = 568.2 - 569.7. Let n = 0 - 0.1. Which is smaller: n or g?
g
Suppose 5*q - 60 - 60 = 0. Suppose 3*a - 23 = z, 218*z - 215*z = 4*a - 34. Do q and a have different values?
True
Let n = 957 + -18173/19. Let o be (-5 - -1)*(-5)/10. Let h(d) = d - 2. Let b be h(o). Is b less than n?
True
Let t = -154 - -150. Let k be (-1 - -2) + t + (-99)/(-18). Suppose -5 - 1 = -3*m. Is k at least as big as m?
True
Let m = -48 - 777. Let z = m - -1194. Is 369 > z?
False
Let i = -224 - -683. Let v = 328 - i. Is -131 > v?
False
Let a be (3 + -1)/((132/(-30))/(-11)). Let g be 126/(-4)*4*a/55. Which is bigger: -12 or g?
g
Let h = -2805.3 + 2571. Are h and -1/3 non-equal?
True
Let g(h) = h**2 + 21*h - 56. Let o be g(-23). Let v be -10*o/125 + -1 + -35. Let d = v + 35. Is 0 at least d?
True
Suppose 15*f - 20088 = 43*f + 3*f. Is f less than -648?
False
Suppose -2*i + 28 = -6*i. Let o(t) = -t**3 + 14*t**2 - 67*t + 712. Let g be o(13). Which is smaller: g or i?
i
Let a(i) = i**2 - 8*i + 5. Let y be a(8). Suppose 4*k = y*g - 13, -7 = k - g - g. Let z(n) = -2*n**3 + n**2 + 2*n + 5. Let x be z(k). Are -34 and x unequal?
False
Let r = 1071.03 + 0.97. Do 1/2 and r have the same value?
False
Suppose 3*o = -4*i - o + 60, 2*i - 2*o - 18 = 0. Let h be 11 + -4 - 92/i. Is h less than 57?
True
Let k = 13144 - 13500. Which is greater: 0.13 or k?
0.13
Let d = 2951 - 2951. Which is bigger: -2187/4 or d?
d
Suppose 7*r - 6*r - 2 = 0. Let x be 3 - (2158/455 + r/(-14)). Is x less than -1?
True
Let g(y) = -y**3 - y + 2*y + 5*y - 7*y + y**2. Let m be g(1). Are -6/73 and m equal?
False
Suppose -41*b + 38*b = -3, -4*m - 4*b = -76. Which is smaller: m or 9?
9
Suppose -55*o + 74069 = -88786. Do o and 0 have different values?
True
Suppose 4*a = -3*i - 129, 21*a - 24*a + 2*i - 101 = 0. Let p be 1/(-4) - (2 - -31). Which is greater: p or a?
a
Let v(r) = r**3 + 9*r**2 - 9*r - 12. Let f be v(-10). Let w = -37 - f. Suppose -342 = 17*g + 2*g. Which is bigger: g or w?
w
Let n = 401.717 + -402. Let x = -2.483 - n. Do x and 0.04 have different values?
True
Let k be ((-3)/104*-2)/(30/20). Let g = 75/598 - k. Suppose 5*u + 5 = h, -2*u - 4*h + 7 = -13. Is g at most u?
False
Let w = -5662 + 5661. Which is greater: w or -71/42?
w
Let h be (-2)/(-4)*(1289 - 3). Suppose 9*b = 275 + h. Is b not equal to 102?
False
Suppose -115*s + 729 = 2799. Suppose -n - 16 = -3. Let u = -31 - n. Is u > s?
False
Let y(n) = -3*n**2 - 4*n - 1. Let z be y(-2). Let j = z + 8. Suppose -w + 7 = -4*k - 1, 2*k = j*w + 6. Is w at least as big as -2?
False
Let i(m) = 4*m**2 + 73*m + 86. Let v be i(-17). Let g = -229 - -2526/11. Which is greater: g or v?
v
Let h = 15458 + -18102. Is -2645 less than or equal to h?
True
Let v = 168 - 167. Let r be 1 + 1 + 3 + (-233852)/48888. Let q = r + -2/873. Which is bigger: v or q?
v
Suppose 20*z = 6 + 14. Suppose -6339 + 732 = 5*w + 4*g, 4*g = 8. Let n = -84224/75 - w. Is n <= z?
True
Let x = -12 + 12.1. Suppose -10 = -l + 4*o - 0, -2*l + 2 = o. Suppose -l*k - 15 = -83. Which is greater: x or k?
k
Let a = 159 - 160. Let d(h) = h**3 + h**2 - 1. Let m be d(a). Let q(p) = -p**3 + 8*p**2 + 1. Let c be q(8). Which is bigger: m or c?
c
Let i be (-4)/6 - (-477)/27. Let f = i - 15. Let r be 4 - (2 + (5 - 5) + 1). Do r and f have different values?
True
Let z be (-90)/42 - 6/(-42). Let p be 173/(-9) - z/9. Is -19 not equal to p?
False
Let j(t) = -17*t**2 + 19*t - 40. Let l be j(8). Is l != -978?
True
Suppose -4*n = -2*o + 96, 0 = 3*n - 8*n - 5. Suppose 2*k - 28 = 2*p, -16*k + 14*k = -4*p - o. Are 19 and p non-equal?
True
Let h = -5 + 4.8. Let u = 2.5823 + -1.4623. Which is smaller: u or h?
h
Let y = -7 - -7. Suppose -40*g + 37*g = y. Suppose g = 4*t - 17*t + 91. Which is bigger: -2 or t?
t
Suppose -5*a = -125 - 65. Let z = a + -569/15. Which is bigger: 2/11 or z?
2/11
Suppose q + 2*r = 8, 12 = -5*q + r + 2*r. Suppose 440 = 5*i + 3*w + 2*w, -3*i + 4*w + 257 = q. Suppose 3*c - i = -2*o + 4, 27 = c - o. Is c less than 28?
False
Let a = -85 + 84.1. Let f = a + 13.9. Which is smaller: -5 or f?
-5
Let y = 37 - 838. Let f = y + 801. Which is bigger: f or -5/2?
f
Let t be 172/(-1806) - 484/210. Let m(c) = -c**2 - 1. Suppose f = -f. Let v be m(f). Which is smaller: v or t?
t
Let o be (-10)/6 - 11/33. Let n be 1 - (o + 5 + 113). Are -114 and n unequal?
True
Suppose -17*l