l?
True
Let s = -1520.8 - -1522.8. Is 2697 equal to s?
False
Suppose -20*h + 12 = -18*h. Let m(d) = -3*d + 8. Let s be m(8). Let i = -12 - s. Is i != h?
True
Let c = -2810.2 - -2810. Let n(k) = 8*k + 1. Let j be n(2). Are j and c non-equal?
True
Let j(s) = -6*s**3 - 116*s**2 - 36*s + 66. Let a be j(-19). Is a <= 295/11?
False
Let c be (-2)/1810*-2*5/(-3). Let j = 40733/2172 + c. Which is greater: 19 or j?
19
Let u = -22/1555 - -19573/1273545. Do 0 and u have the same value?
False
Let z be (-3142)/(-12) + 1/6. Suppose d + 137 = 3*p, d + 3*p - z = 3*d. Is d at most as big as -125?
True
Let t = 54.7 - -171. Let l = 226 - t. Let w be 2 - 3 - (-18)/14. Is l != w?
True
Let a be ((-6)/(-15))/((-18)/8). Suppose 13*o + 13 = -4*k + 21*o - 11*o, -57 = 19*o. Which is smaller: a or k?
k
Suppose -4*p + 6 = 3*w, p - 2*p = -4*w + 27. Let m be 472/w + (-2 - 8/(-6)). Let y = m - 78. Is 1/10 at least as big as y?
True
Let w(x) = -2*x**2 + 25*x - 70. Let y be w(8). Suppose 0*o + 4 = 2*o. Let a be (o/3)/(2/3). Which is smaller: y or a?
a
Let k be -3 - ((-12773)/(-4338) + 1/2 + 1). Which is smaller: k or -1/4?
k
Suppose -m - 1116 = 40*x - 36*x, 4*x + 1140 = 5*m. Which is greater: -836/3 or x?
-836/3
Let i(m) = -3*m**2 + 12*m - 8. Let g be i(3). Let n be ((-456)/342)/(0 + 258/(-81)). Are n and g non-equal?
True
Let x = 0.028 - 0.008. Let l = 3.05 + -3.05. Which is smaller: l or x?
l
Let u = 249 - 252. Let f be -6 - (((-1725)/(-35) - 0) + u). Is -51 greater than or equal to f?
True
Suppose 13*z + 27 = 53. Let d be (-7011)/99 - z/11. Is d less than 1/4?
True
Suppose 0 = 25*t - 68*t - 395342. Does t = -9194?
True
Let y = -221 + 119. Let m = y - -113. Let a = m + -4. Is a bigger than -1/7?
True
Suppose 11*h - 1602 = 7792. Let c = h - 791. Which is smaller: c or -3?
-3
Let i = -3540 - -3620. Is i != 94?
True
Let h = -121.6571 + -0.1429. Let g = h - -122. Do -52 and g have different values?
True
Let l be ((-3)/9)/((-2)/(-6)). Let o = 353512.867 - 353513. Which is greater: l or o?
o
Let m be (-62)/217 - (-940)/7. Let k be m/6*30/(-10). Let g = 0 + -1. Which is smaller: g or k?
k
Let z = 4259/3 + -1418. Which is bigger: 1/899 or z?
z
Let l = 768 + -770. Suppose -j + 5*j + 24 = 0. Let w = j + 7. Which is smaller: l or w?
l
Suppose 29 + 45 = 3*r - l, 0 = 4*r + 3*l - 116. Let x = r + -29. Let h = -59/8 + 505/88. Is h greater than or equal to x?
True
Suppose 18 = 4*t - 4*s + 2*s, 0 = 3*t + 2*s - 3. Suppose 7*p + 24 = t*p. Suppose i - 4*h = -1 + 9, -5*h = i + 19. Which is greater: i or p?
i
Let i = 577 + -4765. Which is bigger: -12566/3 or i?
i
Let h = 1/3430 + -12237/795760. Is h at most 0?
True
Suppose -4*y + 15 = -3*r, 0 = -r + 3 - 0. Suppose y*q - 300 = 11*q. Which is bigger: -59 or q?
-59
Let d = 3444 + -3439. Is -515/3 < d?
True
Let b be 42*4/152 - (-6)/(-57). Which is smaller: -9/317 or b?
-9/317
Let c = -30 - -62. Let m be 1 - 40/28 - (-723)/(-42)*-2. Do c and m have the same value?
False
Let r be (-2 + 44)/(2457/1008). Which is smaller: 18 or r?
r
Let f be (6/42*0)/(1/1). Let w(j) be the third derivative of j**4/24 - 9*j**3/2 - j**2. Let n be w(f). Is -28 less than or equal to n?
True
Suppose 5*q + 0*m + 1036 = 3*m, -3*q = -m + 624. Let h(k) = k**3 + 3*k**2 + 18*k - 68. Let n be h(-5). Is n bigger than q?
True
Let k = -168.66 + -14.14. Let z = -181 - k. Which is bigger: z or -9/8?
z
Let u(b) = 34*b**3 - 2*b**2 + 3*b. Let q be u(1). Let v = -15 - -112. Suppose n - 43 = -4*z + v, 2*z - n - 64 = 0. Which is greater: q or z?
q
Let q be 9/(27/(-94))*(2 + -3)/(-24). Are 0 and q non-equal?
True
Let a(n) be the third derivative of n**5/60 - 5*n**4/12 - 37*n**3/6 - 12*n**2. Let h be a(16). Let o = -56 + h. Is o at least 4?
False
Let x be (6 - (-2217)/4) + (-7)/28. Which is smaller: x or 558?
558
Suppose 6 = -2*v, 2*u + 2*u - 85 = 3*v. Which is bigger: u or 104?
104
Suppose 47 = -p + 39, 5*u + p + 86548 = 0. Are u and -17307 unequal?
True
Suppose 4 = -a, 2*a = -6*i + 3*i - 8. Suppose i = -m - 4, -4*l + 2 = -l - 2*m. Is l at most as big as -5?
False
Let x(p) = -3*p**2 - 20*p + 23. Let v be x(1). Let c be (-3111)/13878 - (-2)/9. Is c bigger than v?
False
Let n = 1262 - 382. Which is bigger: n or 878?
n
Let g be (-719 + 8)/9 + -2. Which is smaller: -82 or g?
-82
Let s = -133 + 138. Suppose 0 = -16*c + 21*c - s. Do 2/11 and c have different values?
True
Suppose 2*h + 5 = h. Let q be (2/(-1))/((-138)/(-437)). Which is smaller: q or h?
q
Suppose 4*q + 333 = 5*q. Let k be q/189 + (2 - 4). Suppose -4*b - 5 = -4*l + 7, 2 = -b. Which is greater: l or k?
l
Suppose -2*j = -2*n + 4, -104*j = -108*j + 5*n - 9. Which is bigger: j or -73/107?
-73/107
Let n be (-13970)/75 + (-27)/(-45). Let c = n + 186. Do -0.02 and c have different values?
True
Let i(b) = -b + 4. Let v be i(4). Suppose 0 = -37*h + 65 + 120. Suppose 4*u + h = -3*k, -3*u - 3 = 2*k + 1. Which is smaller: k or v?
v
Suppose 4346 = 77*w + 4423. Let c be ((-4)/(-4434))/((-1)/3). Which is greater: c or w?
c
Let g = -85 - -133. Let m be ((-4)/6)/((-22)/(-33)). Let y be (2 + -2 - m) + -3 + 50. Does g = y?
True
Suppose u + 5236 = 3*v, u - 2040 + 7340 = -5*v. Is u <= -5259?
True
Suppose -388*t - 4270 = -203*t - 199*t. Is t < 318?
True
Let j(i) = -i**2 + 12*i - 5. Let u be j(12). Let o be u + (-156)/(-992)*38. Let q = o - 7/31. Which is smaller: -2/3 or q?
-2/3
Let b(z) = -z**3 + 5*z**2 + 3*z - 2. Let c be b(5). Let f be (6 - 1 - 3) + (-9 - (-434)/21). Which is greater: f or c?
f
Let s(x) = 3*x**3 + 6*x - 13. Let p be s(2). Suppose -22 = 3*c - 5*r, -7*r = 3*c - 3*r - p. Suppose -2*j - 3*m - 13 = 0, 4*j + 5*m = -0*m - 21. Is j at least c?
True
Suppose x - 574 = 2114. Suppose -30*p = -16*p - x. Are 193 and p equal?
False
Let p = 5604 - 7390. Which is smaller: 1 or p?
p
Let b = 1582 + -871. Suppose 10*u + b = -489. Is -118 < u?
False
Let h(t) = 12*t**2 + 76*t + 1804. Let a be h(-33). Is a equal to 12364?
True
Let f = -52 - -81. Suppose 22*i - 15 = 27*i. Let r = i + 33. Which is smaller: r or f?
f
Suppose l = -3*d + 6*l + 159, 5*d + 2*l = 234. Suppose 0 = d*t - 17*t + 992. Which is smaller: -33 or t?
-33
Let i(q) = -q**2 + 23*q + 36. Let l be i(23). Let n be l + -76 - (-1 - -1). Which is greater: 2/5 or n?
2/5
Suppose -2*s - 11 = -3*u, 6*s = s + 4*u - 17. Let d = -3/4 - -355/484. Is d less than or equal to s?
False
Suppose 2*s + 4 = s + 4*d, -2*s - d = 17. Let z be (-12)/s + (-4445)/2970. Are 1 and z equal?
False
Suppose 0 = 3*c + 9*c + c. Suppose j + 8 = q + q, 5*q + 5*j - 20 = c. Suppose 38 = q*i - 6. Is 12 greater than i?
True
Let y = -28.945 - 0.055. Let t = -30.24 - -0.24. Let s = y - t. Which is bigger: 0.3 or s?
s
Let q(n) = -n**2 - 10*n - 16. Let j be q(-7). Let f be j/((-25)/2)*(-88 + -2). Let p = -37 + f. Which is bigger: 1/24 or p?
1/24
Let a = -1 + 3. Let z(i) = i - 23 + 77*i**2 + 70*i**2 + 17*i - 146*i**a. Let l be z(-19). Is l != -5?
True
Let v(w) = -24*w - 1146. Let y be v(-9). Which is bigger: -933 or y?
y
Let u be 282/18*1*3. Let k be (-6)/(-4 + 872/224) - 9. Is u at most k?
True
Suppose 23*v - n + 9 = 21*v, -3*v + 4*n - 36 = 0. Which is bigger: v or -2/58657?
v
Let n be 11 + -4 + (14 - 1223). Which is greater: -1203 or n?
n
Suppose -f = 6*f. Let u be 7/(-5) - (-3)/5 - (-26784)/30780. Which is bigger: f or u?
u
Let z(l) = -2*l**3 - 2*l**2 + 2*l + 21. Let y be z(6). Let n = 463 + y. Which is bigger: n or -14?
n
Let n = -3 + 2. Let k = 258053/246 + -1049. Is n at least as big as k?
False
Suppose 2 + 6 = -4*o. Let p = -23.3 + -366.5. Let t = -388 - p. Do t and o have the same value?
False
Let m(d) = -d**3 - 4*d**2 - 2*d - 6. Let h be m(-4). Suppose -78 = 4*f - h. Let t = f - -18. Are t and -4 unequal?
True
Let a(p) = -23*p**2 - 33*p - 1187. Let y be a(-15). Which is bigger: -5870 or y?
y
Suppose 3*c - 2429 - 2449 = 4*w, -3*c + 5*w + 4887 = 0. Do c and 1607 have the same value?
False
Suppose 5*f = 451 - 66. Let w be (-5 - 66/(-12))*f/(-1). Let v = w - -38. Which is greater: v or 6?
6
Let u(f) = -2*f**2 - f + 1. Let i = 49 + -51. Let l be u(i). Let v be (-9)/6 - (l - -1). Which is greater: v or 2?
v
Suppose -37*d + 38*d = -n + 1741, 1745 = n - d. Is n >= 1739?
True
Let c(d) = 3*d + 50. Let y be c(-11). Suppose -4*v = -5*g + 31, -10*v - y = -8*v - 3*g. Which is greater: v or -23/5?
v
Let q = -0.03429 + 1.03429. Which is greater: 