 = -0.99 + 41.99. Let i = b - 41.01. Let s = i + -0.99. Do 3/10 and s have different values?
True
Suppose 3 = 4*p + 3*a - 141, 5*p = a + 180. Let l be -4*3/(-66)*p/3. Is 1 less than l?
True
Let f(c) = -2*c**3 - 12*c**2 + 33*c + 3. Let q be f(-8). Are 99 and q non-equal?
True
Let q(b) = -b - 3. Let z be q(3). Let f(v) = 406 - 77 - 17*v + 22*v + 23*v. Let m be f(-12). Which is bigger: m or z?
z
Let y = 288 - 160. Let u = -128 + y. Are -2 and u unequal?
True
Suppose -14*q + 829 + 5079 = 0. Let a = q - 867/2. Is a bigger than -11?
False
Let v(b) = b + 75. Let l be v(0). Let c = l + -64. Let u = -43 - -41. Which is smaller: c or u?
u
Suppose -422 = -151*q - 573. Which is smaller: q or 2/21883?
q
Let c = -3183 - -3185. Is -17/10 smaller than c?
True
Let v be 8/((-128)/12)*(-1070 + 2). Let d be (2/12)/((-6)/v). Is d > -22?
False
Let f = -225.9808 - 0.0192. Let v = 206 + f. Is -1 at most as big as v?
False
Suppose 11*z + 94 = y, -z = 4*y + 3*z + 56. Is -2203/4 > y?
False
Let w(i) = i**2 + i. Let a be w(-2). Suppose -34 = -3*y + 4*o, -2*y - a*o - o = 0. Let r(p) = -p**3 - 3*p**2 - p - 13. Let x be r(-4). Is y less than x?
True
Suppose -c + 17 = -3*m, 4*m + 5*c - 12 = -3. Let n be ((-2)/(-4))/((m - -1)/(-90)). Let r(x) = -x**3 - 3*x**2 + 1. Let f be r(-4). Which is smaller: n or f?
n
Suppose -9*i - 76 - 995 = 0. Let m = 101 + i. Which is greater: -16 or m?
-16
Let c be 4/(-2) + (104 - 1). Let g = 913/9 - c. Suppose 0 = 2186*r - 2139*r - 47. Is r bigger than g?
True
Suppose -3*n + 1474 = 2*c + 93, n - 465 = -3*c. Let a be ((-13764)/10)/(-3) - (-4)/20. Is n at least as big as a?
True
Suppose 0 = s + 4*t + 98, -93 = -0*s + s + 5*t. Let r(p) = 60*p + 1. Let i be r(-2). Is s <= i?
False
Let u = -18802298323/66830 + 2813451/10. Let k = -1/1440 - -4483/234720. Let a = u - k. Is 1 at least a?
True
Let g = -29644 - -29644. Is g != -1/2428?
True
Let z = -1.587 + 12.887. Let f = -2.568 - 8.802. Let v = f + z. Is v > -0.3?
True
Suppose 5*t - 255 = 30. Let q be 18/(-4)*4/t. Suppose -5*z + 35 = 40. Which is bigger: q or z?
q
Let h = -333.9 - -316. Let d = h - -26.9. Is 6 < d?
True
Suppose 2*h + 20 = 4*i - 3*i, 5*h = -4*i + 106. Let v(o) = 15*o + 187. Let z be v(-11). Which is smaller: i or z?
z
Suppose 2*r - 6*r = -5*z - 1114, 1105 = -5*z - 5*r. Let f be 661000/(-3000) - (1 - 10/(-6)). Which is bigger: f or z?
z
Let k = -522/13 - -18309/455. Let i = -130 - -388/3. Which is smaller: k or i?
i
Suppose 4*t - 4*k = -692, -2*t + 5*k + 179 = 537. Let l = t - -82. Let f be 23/(-9) + (-3 - l/27). Is -2 less than or equal to f?
False
Let n = 155 - 151. Suppose 0 = o - d + 75, 0*o = o + n*d + 70. Suppose -2*q + 373 = -5*i, 4*i + 304 = 4*q - q. Which is smaller: o or i?
o
Suppose -3*k + 407 = -14*k. Let q = k + -78. Which is smaller: q or -114?
q
Let f = 0.186 - -512.814. Let r = 394 - f. Is 0 at least r?
True
Let h = 113 - -174. Let m = 1443/5 - h. Which is smaller: 2 or m?
m
Let n = -883/116 - -228/29. Which is bigger: n or -8/25?
n
Suppose -498*f + 3 = -510*f - 9. Does f = 2/18845?
False
Suppose 0 = -3*y + 3, 4*y - 228 - 247 = -3*h. Suppose h - 37 = 5*q. Let t = q - 33. Which is smaller: -2 or t?
t
Suppose -836*b - 1270 = 3*d - 841*b, -4*d = 3*b + 1674. Do d and -421 have different values?
True
Let i be 7/(49/1778) + 2 + 1 - 3. Which is smaller: 259 or i?
i
Let j(m) = 9*m**2 + 2*m - 10. Let k(q) = -7*q**2 - 2*q + 11. Let g(i) = -3*j(i) - 4*k(i). Let n be g(-7). Which is smaller: n or 19?
19
Let l = 23 - 141. Let d = -118.4 - l. Is d less than or equal to -4/11?
True
Let m = -59823 - -416422/7. Is -334 > m?
True
Let d = 19017 + -18881. Which is smaller: 124 or d?
124
Let n = -73733056/1823 + 40446. Let u = n + 282557/7292. Is u equal to 40?
False
Let a be 1566/135*-1 + (12 - 0). Which is smaller: a or 4505?
a
Suppose 0 = -4*j - n - 0*n + 52, 3*n = 3*j - 54. Let d be 27/(-19) + (16 - j). Are d and 1 equal?
False
Let a = -98 + 104. Suppose -a*r + 39 = 7*r. Let v be (16/140)/(r - 21/6). Which is greater: 0 or v?
0
Let t = -33.544 + 5.134. Let s = 4.41 + t. Let g(l) = l**2 - 6*l + 2. Let q be g(6). Which is greater: s or q?
q
Let k be (-14 - -13)*(-24)/1. Let o = k + -19. Suppose -3*a + 20 = 2. Is o equal to a?
False
Suppose 2*y = 2*y - 2*y. Suppose 3*i - 5*i + 2*j - 16 = 0, y = 3*j. Let s be (i/80)/(2/(-8)). Is s at most -1/3?
False
Let t = 368 - 546. Which is greater: t or -182?
t
Let k = 55295266/8033817 + -40527/7108. Let p = k + 1/1644. Which is smaller: p or 0?
0
Let m = 2 + -4. Let n(i) = -i**3 - 17*i**2 - 31*i - 2. Let u be n(-15). Suppose 5*k = -u - 27. Is k bigger than m?
False
Let n be (-95)/(-19) + (-7)/28 + (-69)/12. Are -2/10861 and n non-equal?
True
Let k be 2/((-14)/(-3)) - (-61589)/(-144067). Which is smaller: 1 or k?
k
Let r = -2305 + 2270. Which is greater: r or -57?
r
Let y = -1220/17 + 5156/51. Which is bigger: 44 or y?
44
Let o = -0.1 - -0.1. Let v = 1 - o. Let c = -39621.6 - -39621. Are v and c equal?
False
Let o = -17097 - -17093. Let t = -0.8 + 0.77. Which is smaller: o or t?
o
Let q = -10/3 + 7688/105. Is 70 equal to q?
False
Let f = -2068 + 2284. Suppose -3*l = -7*l + 4*k + 872, -3*l + 654 = -k. Which is smaller: l or f?
f
Let d be 5/40 + -2 + (-484)/288. Let y = d + 581/171. Suppose -6*i = -9 + 3. Which is smaller: y or i?
y
Suppose 2*u + u = 2790. Suppose 13*z + 18*z = u. Is z != 34?
True
Let d = -4484 - 10328. Are -14813 and d unequal?
True
Let x(o) = 4*o + 10. Let w be x(0). Suppose 0 = -w*c - 201 + 211. Is c <= -1/48?
False
Let m = -2/15 + -11/30. Let r = 222 + -220.46. Let z = 1.62 - r. Which is smaller: m or z?
m
Let y(s) = -8*s**2 + 2 + 539*s - 537*s + 0 - 2*s**2. Let a be y(-1). Let f be (-5 + 8/1)*7/(-3). Are a and f equal?
False
Let a be 1*6 + (-1332)/225*1. Let u = -385 - -385.6. Which is greater: a or u?
u
Let f = -89975/9 + 9997. Let i be (-69)/180 - (-2)/8. Which is smaller: i or f?
f
Let r(x) = -14*x - 2. Let h be r(-2). Suppose -61 = -2*b + u, 39*b - 35*b = -3*u + 97. Is h >= b?
False
Let u be 5/2 - 194528/64. Do -3037 and u have the same value?
True
Let s(m) = 3*m**2 - 197*m + 297. Let p be s(65). Suppose 204 = 5*z - 621. Is z greater than p?
False
Let s = 7404 + -7496. Is -824/9 less than s?
False
Let v = 3 - 0. Let f be (3 + -2)*((-1)/(-36))/((-3)/(-312)). Which is smaller: v or f?
f
Let y = -2152 - -2167. Which is smaller: y or 14?
14
Let j(o) = -o**3 + 4*o**2 + 3*o - 3. Let h be j(2). Suppose 4*q = h*q - 245. Let f = -89 + q. Is f > -54?
False
Suppose 0 = 143*z - 97*z + 14950. Which is smaller: -1632/5 or z?
-1632/5
Let i = -309 + 302. Let t = 22 - 15.2. Which is greater: i or t?
t
Let v = 8118 - 7926. Which is bigger: 177 or v?
v
Let v = -554 - -5527/10. Suppose 9*n = 5*d - 0*n, d = -n. Which is smaller: d or v?
v
Let w = 189 - 170. Suppose -l + 20*o = w*o - 72, -o = -2*l + 145. Is 0 less than or equal to l?
True
Let x be -5*4/(-90) - (-140)/504. Which is bigger: x or 602/13?
602/13
Let c be (-147 - -133)*(0 - 3). Which is smaller: c or 12?
12
Let t be (3 - -80)*(0 - 3 - -4). Suppose -11*b - t = -17. Are b and -1/2 equal?
False
Let p(r) = -r**3 + 18*r**2 - 22*r + 23. Let b be p(17). Let t = b - -63. Let s be t*(0/(-2) + 0)/4. Is s at least as big as 6/13?
False
Let d be 1 - (-4)/((-24)/(-78)). Suppose 52 = -u - 5*w, u + 3*w = -d - 40. Is -231/4 bigger than u?
False
Let r be 20/120 + 2/((-84)/2227). Let b = r - -1571/28. Let s be 3/(2 + 3/(-6)). Are s and b unequal?
True
Suppose 10 = -2*b, 0 = -3*q - 0*b - 5*b + 164. Let t = -47.3 - -47.1. Are t and q nonequal?
True
Suppose -4143 = 8*l - 1607. Let y = -317 - l. Which is greater: y or 2/61?
2/61
Suppose 5*w + 180 = 5*b, -w = 2*w. Suppose -8*v + b = -2*v. Are v and -2 unequal?
True
Suppose -3*k = -13*r + 10*r + 69, 2*k = -3*r - 36. Which is greater: k or 17?
17
Let x be (-27)/189*(9956 - -5). Is -0.04 >= x?
True
Suppose 5*r - 6534 = -o, -258*r = -o - 256*r + 6555. Are 6550 and o nonequal?
True
Let b(n) = 11*n**2 - 34*n - 208. Let g(f) = -9*f**2 + 34*f + 210. Let r(i) = 4*b(i) + 5*g(i). Let h be r(40). Which is bigger: h or -19?
-19
Let d = 2.6808 + 3650.3192. Is d smaller than -3/4?
False
Suppose 135*q - 127506 = -102*q. Is 2 bigger than q?
False
Let v(s) = 4*s + 1 - 7*s + 0*s + s**2 - 4. Let m be v(-1). Let o be m + (40/18)/(-4). Is -1 equal to o?
False
Let x = 19/9 - 103/36. S