 - 65 = 0, -4*a - 55 = 3*d - 6*d. Suppose -p - 5*t = d, 4*p + 3*t + 11 = 2*t. Let v = -3709 + 3709. Which is bigger: p or v?
v
Let z = 18197 - 33973800/1867. Is z less than 0?
True
Let j be 291330/(-120) - 5/20. Do j and -2429 have the same value?
False
Let i be -5 + (-8)/(-1) + (3 - 154). Let k = -263 - i. Are k and -116 nonequal?
True
Let y = -47 + 47. Suppose y = -7*u - 2 + 37. Suppose 0 = u*r + 5*p - 15, -r - 5 = p - 4*p. Which is bigger: 1/12 or r?
r
Suppose 75096 = -6653*v + 6617*v. Is v < -2086?
False
Suppose -3420 = -24*o - 14*o + 8*o. Is o smaller than 16?
False
Let m = 195.0036 + 0.8564. Let z = -196 + m. Let g = 20 + -22. Which is smaller: g or z?
g
Suppose 18*n = 25*n + 483. Which is greater: -65 or n?
-65
Let i be 2 + 4/(-3) - 2280/3150. Let v = i - -13/840. Which is bigger: v or 1?
1
Let a be -6*3/(-360)*-4 - 14/(-45). Is -81/2 smaller than a?
True
Let o = 0.0077 + -0.1697. Let y = o - -0.062. Which is greater: 119 or y?
119
Let l = 630/103 - 354000/57371. Which is bigger: 1 or l?
1
Suppose -r = -4*o + 40, 2*r + 85 = -2*o + 5*o. Let x be (-165)/4 + (-5)/(-20). Let p = x - r. Is p <= 5?
True
Suppose -3*l - 5*f = 38, 13 + 12 = -2*l - 3*f. Let o be (-19)/95 + l/(-5). Let x be o/5 - (-6)/(-15). Which is bigger: 11/12 or x?
11/12
Let x(j) = 11*j**2 + 320*j - 301. Let z be x(-30). Is z less than or equal to 1/6015?
True
Let u be (-32)/56*14 - (-147102)/18387. Which is greater: u or -1?
u
Let s = -461621/16842870261 + -2/525699. Which is bigger: -1 or s?
s
Let q(c) = 44*c + 806. Let o be q(-19). Is o >= -32?
True
Let t = -917/374070 - -38/1011. Is 1 smaller than t?
False
Suppose -3*w = -s + 4583, 2*w - 13782 = 3*s - 6*s. Let g be 544/s + 3/(-21). Which is smaller: -1 or g?
-1
Let y(k) = 15*k + 3*k**2 + 107 - 4*k**2 - 9*k - 99. Let c be y(-3). Is -23 equal to c?
False
Let r = -19 + 34. Let q be (r/(-12))/((-4)/16 - 0). Let w be (0 - 0)/(q - 4). Are -12/19 and w nonequal?
True
Let r = -0.03473 - 222.76527. Is r less than 1?
True
Let v = -305.3 + 299.3. Is -260 smaller than v?
True
Let m = -13452/25 - -538. Suppose -2*w = -6*w + 12, 5*t = -5*w + 5. Let k be ((0 - 1)*t)/(-1 - 1). Which is greater: k or m?
m
Suppose -18*n + 2156 = 24710. Which is greater: -1250 or n?
-1250
Let t be (-1 - 25/(-35)) + 212/7. Suppose -16 = -n + t. Let u = 47 - n. Is -0.6 >= u?
False
Let u = -0.067 + 0.008. Let d = 17407/6 + -2890. Let b = d - 32/3. Which is smaller: b or u?
u
Let k = -82198/7397873 + 22/1819. Which is smaller: k or 1?
k
Let d be (-9)/(-2)*12/18. Suppose -153 = -6*f + d*f. Let h = 1715 + -1665. Which is smaller: f or h?
h
Let b(o) = o**3 - 12*o**2 + 13*o - 16. Let m be b(11). Suppose -q + 7*q = -m. Suppose -2*x = p - 6 - 0, 0 = -x - p + 4. Is q at least as big as x?
False
Let x(o) = 3*o**2 - 18*o + 17. Let z be x(11). Suppose -5*w - 180 = -w + 2*y, 0 = 4*w + y + z. Let u = -45 - w. Is -1/45 <= u?
True
Let v = -3325 + 3327. Does v = -905?
False
Let m = -57/65 - -4/5. Let r = -2.29348 + 0.04248. Let i = 0.251 + r. Which is greater: i or m?
m
Suppose -11*w = 10 - 32. Suppose 0 = -o - 29 - w. Let m be 87/(-58)*(-64)/(-3). Is o not equal to m?
True
Let r(d) be the third derivative of d**6/120 - d**5/15 - 5*d**4/6 + 11*d**3 - 9*d**2 - 3. Let s be r(5). Is -10 <= s?
True
Let c be 48/(-176) + 682/726. Is c less than 48.6?
True
Suppose 2*a = -2*x - 30 + 80, 2*x + 40 = a. Suppose -18*f = -240 - a. Are f and 12 unequal?
True
Let d be 14/273 - (-75292)/1092. Which is greater: d or 346/5?
346/5
Let k be ((-6514)/(-3))/(3/((-15)/(-1420))). Let v = k + 3/142. Which is bigger: v or 7?
v
Let z = -1284 - -1290. Let h(x) = x**2 + 9*x - 10. Let t be h(-10). Suppose t = 127*o - 129*o - z. Which is smaller: o or -12/7?
o
Let v = 2058 + -1597. Is 1382/3 equal to v?
False
Let t be ((-31 - -15)/240)/(-43). Are t and 1 non-equal?
True
Let u be (5/(-3))/(((-68)/(-9741))/(-4)). Is 955 >= u?
True
Let g be (-60)/(-180) + (-11)/(-3). Suppose 5*c + 880 = -z, -g*z + 17 + 3 = 0. Which is smaller: -175 or c?
c
Let m be ((-65)/15 + 12/4)*63/(-12). Do 306 and m have the same value?
False
Let m(v) = -9*v**3 - v + 1. Let n be m(1). Let k(p) be the third derivative of -p**5/30 - 7*p**4/24 + 7*p**3/2 + 14*p**2. Let q be k(n). Does q = -79?
False
Suppose -18 = 5*c + 4*r, -c = -6*c + 5*r. Let v be c/(-5) + (-162)/(-45). Let d be 338/132 + 3/18. Which is smaller: v or d?
d
Let f = 1715 + -32580/19. Suppose o - 5 = -5*p, -4*o + 62 = -0*o - p. Suppose -6*n - 5*c - o = -2*n, -2*c = 3*n + 6. Which is greater: f or n?
f
Let g be ((-158)/28)/(10/(-4)). Let t = g + -13/7. Let u(w) = -2*w**3 - 41*w**2 - 100*w + 14. Let p be u(-3). Is t < p?
False
Let s = -2 + 1.96. Let r = 0.36 + -1.65. Let m = -1.49 - r. Is s less than m?
False
Let g be 50/((0 + 1)*16/208). Which is smaller: g or 3251/5?
g
Suppose -6*u - 10788 = -108. Let o be 4/((-1184)/u) - 6. Is 1 bigger than o?
True
Let w be (9/(-12))/((-2)/8). Let q be (50/w)/(4/(-12)). Let c = q + 37. Which is smaller: c or -12?
c
Suppose -5*b + 130 = 5*w, 5*b - 3*w - 120 = -6*w. Suppose 3*v + 0*v = -b. Which is smaller: v or -132/17?
-132/17
Let h be (-2 - -1)*1/(-87). Suppose 2*z - y - 13 + 1 = 0, -5*z = -10*y - 105. Is z >= h?
True
Let c = -5443 - -5423. Is -46 at most as big as c?
True
Let w be 61/((-12)/8*2/(-6)). Suppose 5*k - w = 88. Let j(b) = -44*b. Let g be j(-1). Is g bigger than k?
True
Let n be 2/6*53154/(-27). Let q = n - -657. Let y(w) = w**3 + 4*w**2 + 3*w. Let k be y(-2). Which is smaller: q or k?
q
Suppose 5*b + 2*n - 35 = 0, 0*b + 5*n + 16 = -b. Let c be (-7 - -9)*(0 + b/6). Which is smaller: 39 or c?
c
Let u(z) = z**3 + 55*z**2 - 653*z - 195. Let d be u(-65). Which is smaller: -5/469 or d?
-5/469
Let t = 8.51 + -87.85. Let u = 80 + t. Let d = -0.46 + u. Which is greater: d or 1/4?
1/4
Let c be (-58)/(-30) - (4/(-50))/((-38)/(-190)). Is 16.8 at least c?
True
Suppose -2*o + 132 = -4*c, 4*c - 90 = -3*o + 158. Let l = -80 + o. Let a be (35/2)/7 - (-2)/l. Which is smaller: a or 5/2?
a
Let z be ((-8)/(-50))/((-42)/105). Let h = 79 + -46. Is z at least h?
False
Let n be (3/(-5))/((-2)/(-25)*-5). Let s = -2825 + 2810.03. Let h = s + -0.03. Which is bigger: n or h?
n
Let h = -7694 + 7771. Is h > 0.11?
True
Let q be (-11184)/26 - 7 - 42/(-273). Which is bigger: -436 or q?
-436
Let v be (81/6)/(-6 - -9) + 44/(-11). Is -137/4 greater than or equal to v?
False
Let q be (3010/40)/((-4)/(-24)*8/48). Is -1 >= q?
False
Let b = 767 + -745.3. Which is smaller: b or 1/6?
1/6
Let q = 72591 - 72590.7. Let g = -143 + 97. Is g greater than q?
False
Let l = 11 - 198. Let a be (-277)/(-11) - (-34)/l. Suppose -61 = 2*j + a. Which is smaller: -42 or j?
j
Let d = -4382 - -4266. Which is smaller: -117 or d?
-117
Let c be ((-6)/70)/((-4)/(-30)). Suppose 42*m = 2507 - 2549. Which is greater: c or m?
c
Let o be 33/68 - (-5)/(-20). Let k(c) = -2*c**2 - 6*c - 22. Let p be k(-11). Let n = -197 - p. Do o and n have different values?
True
Let q = -7911 - -6906301/873. Let n be (-1 + -8)*(-3)/27*0. Which is greater: n or q?
n
Let c be 6/2 - (3 + -4). Suppose 5*m + 4*a + 11 = -c, 0 = -4*m - 3*a - 11. Let w be (-977)/70 + (2379/61 - 25). Is w < m?
True
Let a(z) = z**3 - 13*z**2 - 92*z + 376. Let r be a(18). Let v be (-115 + -3 + 5)/(4/(-12)). Is r at most v?
False
Let f = 139 + -133. Let q = 3 - f. Is -13/8 equal to q?
False
Let o = 29.016 - 0.016. Let x = 4.15 + 0.85. Let z = -5.1 + x. Which is smaller: o or z?
z
Suppose 0 = -5*l + 25, 0 = -b + 4*l - 7 - 9. Suppose b*q = 750 - 78. Suppose 4*a = -4*a + q. Is 21 greater than a?
False
Let i be ((-323)/(-19))/(2/14 - (-66)/77). Is i > 31?
False
Suppose 10*h + 20 = -90. Suppose -5*y - 26 = -3*y - r, 0 = -5*r. Which is bigger: h or y?
h
Suppose -251*l - 2*a = -248*l - 94, 2*l - a - 72 = 0. Suppose -113 - 22 = -5*w. Let t = w - l. Is t at most -8?
False
Let r be (0 - (2 - 32))*(-420)/315. Which is bigger: 7 or r?
7
Suppose -94*h = -60 + 3068. Let o be ((-4)/(-8))/(2/(-128)). Let y = h - o. Is 0 less than or equal to y?
True
Let a(x) = -59*x**3 - 20*x**2 - 52*x + 1. Let y be a(-3). Are y and 1568 nonequal?
True
Let s = -1.69 + 2. Let q = s + -0.211. Let x = q + 0.001. Is -58/3 <= x?
True
Let u = -2269 - -2737. Is 1402/3 smaller than u?
True
Let a(g) = -50*g + 189. Let j be a(-15). Let r = -605 + j. Are 333 and r equal?
False
Let