+ -141. Let k = 391/10 + n. Let x = 29.22151 + -28.22151. Which is greater: x or k?
x
Let h be (-10)/(-3)*(-396)/6468. Are 1 and h nonequal?
True
Let y = -4132 - -4127. Do y and 144 have different values?
True
Suppose 11*a = 19*a - 20*a - 105912. Does a = -8828?
False
Suppose 16*k + 32 = -16. Let h be k - ((-394)/54 + -1 + 5). Is -1 > h?
False
Let s(w) = w**3 + 137*w**2 + 4510*w - 9. Let a be s(-82). Let r = 0 - 1. Let b be -11 - -2*(-1)/r. Is b greater than a?
False
Let h = 53.981 - 54. Let s = h - 0.301. Let g = s - -0.22. Which is bigger: g or 0.4?
0.4
Suppose 11*t - 84 = -17*t. Let v = 18190/11 - 1652. Which is smaller: t or v?
v
Let h be 4/(-8) - (291/6)/1. Let v be (37/h - 1) + 49 + -47. Which is smaller: v or 1?
v
Suppose 0 = -2*l, 2*l + 153 = 3*c - 702. Let v = c - 235. Which is smaller: v or 99/2?
99/2
Let b = 51 - 72. Let o = 28353 + -28352.97. Is o greater than b?
True
Let i = 714 + -232.1. Let r = i + -482. Suppose 2*k - 40 = -k + 2*a, -2*a = 2*k - 20. Is r less than or equal to k?
True
Let p be (-404)/(-14392)*178 + -5. Let g = p + -2524/322021. Do 0 and g have the same value?
False
Let a = -36 - -320/9. Let i be (-2)/((-2)/(-3)) + 27/9. Suppose i = 3*b - 4*n - 19, 3*n + 0*n + 13 = b. Which is smaller: a or b?
a
Let h be (-5358)/19 + -4 + 3 + 0. Do -285 and h have different values?
True
Let n(f) = -9*f - 238. Let g be n(-28). Let s be ((-112)/3)/(-4)*12/g. Let v = -2 - -3. Which is smaller: v or s?
v
Suppose -30 = 5*k - 7*k. Suppose 6*w - 5*p = 2*w - 111, 0 = -w - 3*p - k. Let o = -0.6 - -0.5. Is w != o?
True
Let d = 18930 + -18931. Is 2968 > d?
True
Suppose -18 = -2*j - 12. Let o be ((-5)/10 - -3)*126/15. Let h = o + j. Is h bigger than 25?
False
Suppose -g - 131 = 2*n, -28*g + 135 = -2*n - 25*g. Let z = -18 + 17. Is n greater than or equal to z?
False
Let o(g) = 79*g - 2. Let a be o(2). Suppose -10*p = -4*p - a. Let w be (-160)/(-6) + (-2)/(-6). Is w greater than p?
True
Let l(g) = 7*g + 20. Let h(x) = 48*x + 140. Let s(z) = 3*h(z) - 20*l(z). Let i be s(-5). Let w = -1241/126 - -59/6. Is i > w?
True
Suppose -l - 5*h - 5 = 0, -4*h + 2 = -2*l - 6*h. Let i(s) = 14*s**2 + 11*s + 12. Let j be i(-1). Suppose 9*w - 14*w + j = l. Are w and 0 equal?
False
Let g = -1546/9 - -172. Let t = 10.55 - -172.45. Is g at most t?
True
Let y = 36 - 58. Let j = y - 16. Let t = j + 34. Which is smaller: 0.5 or t?
t
Let b(v) = v**3 - 15*v**2 - 8*v + 21. Let g be b(8). Let z = g - -1408/3. Is z > -23?
True
Suppose 3*v - 17902 + 17902 = 0. Which is smaller: v or -251?
-251
Let i = 8339 + -8337.03. Which is greater: i or 18?
18
Let j = 0.1358 + -0.0931. Let v = j + 20.1573. Does v = -2/5?
False
Let n = 6141 - 6245. Which is greater: n or 6/11?
6/11
Let v be ((-825)/31380)/(35/(-14)). Which is smaller: 0 or v?
0
Let n = -543 - -973. Let r = n + -430.3. Is r >= -18?
True
Suppose 0 = 83*k - 76*k - 49. Let n be k - (-978)/(-420) - (-3)/7. Is 6 at least as big as n?
True
Suppose 0 = -239*b + 248*b + 6192. Which is smaller: b or -687?
b
Suppose -6 - 2 = 4*o. Suppose 2*z + 0*z = 32. Let k = 16 - z. Which is greater: o or k?
k
Let m = -467 - -47165/101. Let h = -1195104047/1717 - -696042. Let n = m - h. Which is smaller: n or 0?
n
Suppose -22*k = 5*u - 20*k - 662, 1 = k. Let a = u + -134. Is 60 smaller than a?
False
Let p(k) = -k**2 + 5*k - 2. Let z be p(2). Suppose b + c = 4*b + 1681, 0 = -z*b - 5*c - 2254. Let h be 2/13 + b/351 + 1. Is h less than -2?
False
Suppose -22*c = -530282 + 201558. Which is bigger: c or 14943?
14943
Suppose -13*j + 3*j + 20 = 0. Let d be 28/(-90) - j/(-18). Which is greater: -10 or d?
d
Let y = -3186 + 3185. Is y smaller than -1/899?
True
Suppose -3*b + x + 0*x = 137, -5*x - 63 = 2*b. Suppose -19*r + 308 = -26*r. Is r not equal to b?
False
Let q(b) = b**3 - 2*b**2 - 7*b - 9. Let u be q(9). Suppose -d + 0*i = i - u, 5*d + i = 2463. Suppose 57*v = 63*v + d. Are v and -81 nonequal?
True
Let s = -4865869227/14791 - -328975. Is s <= 0?
True
Let o = 9772 - 9820. Which is greater: o or -234/5?
-234/5
Let n = -11.4 - 4.7. Let l = n + 16.1. Is 16.9 < l?
False
Let o(s) = 9*s**2 - 32*s - 106. Let w be o(-3). Which is smaller: 99 or w?
w
Let j = -3 - 9.2. Let t = -12 - j. Suppose 0 = 66*l - 64*l - 8. Which is bigger: t or l?
l
Suppose 3*z = 3*v, -5*z = -0*z - 4*v - 2. Let j be z*(-4)/(-20) + 23572/(-4930). Let i = 78/17 + j. Is 0 at least i?
False
Let p = 90.44 + -91.55. Is p <= -7?
False
Let b(m) = -84 + m + 19*m - 18*m - 7*m. Let t be b(9). Is -129 at most t?
True
Let u = -0.4135 - -1.4135. Is -24 greater than or equal to u?
False
Let h = 10722 - 11667. Which is greater: -946 or h?
h
Let o = -0.22 + 20.02. Let z = -20 + o. Let g be (-3 - 0)*1 + (-2 - -3). Is g at most z?
True
Let a = -2/13101 - -26216/91707. Is -2689 greater than or equal to a?
False
Let p = -143 + 50. Let z = -91 - p. Is 12 > z?
True
Let d = 3396.494 + -3397. Which is greater: d or 6/5?
6/5
Let k be (0 - 4/(-6))*6. Suppose -4*f = -2*r - 4, -5*f + 3 = -3*r - k. Let g = 15743/18 + -1749/2. Which is smaller: f or g?
f
Let a = 336 - 735. Is a >= 1/3?
False
Let o be (-1)/(1/(-1) - (-128)/160). Suppose o*w - 19 = -r, 3*r + 32 = 4*w + 13. Which is smaller: 2/1245 or r?
r
Let r = -4883 - -4706. Is r > -173?
False
Suppose 2*d = 4*o - 248, 0*d = d - 5*o + 127. Let x = d - -160. Is x less than 39?
True
Suppose -3*i = r - 27, 2*r + i - 10 = 19. Let w be -2 - (r/15 + -3). Suppose 986 = 22*p + 986. Is w at least p?
True
Suppose 2*y - 15 = 5*i, -5*y + 3*i = 5*i - 23. Suppose -464 = y*k + 11*k. Which is bigger: -33 or k?
k
Let n = -8106 + 8106. Which is smaller: -1/1428 or n?
-1/1428
Let y be (-328)/20 + (-52)/(-130). Suppose b - 336 = -2*b. Let n be ((-52)/b - (-4)/y)/(-1). Are 2 and n equal?
False
Let u(t) be the first derivative of 208*t**2 - 4*t + 12. Let c be u(1). Suppose -3 = 2*i + 5, -5*j + c = -3*i. Which is smaller: j or 79?
79
Let p = 28 + -37. Let b be (3/p + -3)*(-3)/2. Suppose 14 = 4*h - 2*o, -2*h + 14 = -b*o - 5. Is -6 != h?
True
Let b(k) be the third derivative of -k**5/20 - k**4/6 + k**3/6 + k**2. Let y(m) = m**3 - 6*m**2 + 23*m - 213. Let z be y(7). Let g be b(z). Is 3 > g?
True
Let m be -1*(3 - 5/2)*-1010. Suppose -d + 4*u - 202 = d, -m = 5*d - u. Let r = d - -2321/23. Do r and 1 have the same value?
False
Let p be (-453)/(-5)*(4 - -111). Let t = -10314811/990 + p. Which is smaller: 1 or t?
t
Suppose 0 = -4*y + 4, 4*f + 0*y - y + 1 = 0. Let m = -1839 - -1845. Suppose -60 = m*i - f*i. Which is smaller: -19/2 or i?
i
Let o(h) = 23*h - 2490. Let i be o(51). Which is smaller: i or 2?
i
Suppose -14*c + 38 + 74 = 0. Let k be -1 + 350/c + 33/(-44). Are 39 and k equal?
False
Let p(i) = -i**2 - 71*i - 139. Let o be p(-69). Is o greater than or equal to -0.6987?
False
Let g = 361 - 2616. Is g smaller than -2256?
False
Let i = -9237269/19 + 486035. Is -136 at least i?
True
Let p(l) = 4*l**2 - 232*l + 473. Let w be p(70). Are 3829 and w unequal?
True
Suppose 3*u + 0*u = 15, -u + 5 = 5*i. Suppose -5*w + 4*g = 17, -g - 1 = 4*w - i. Which is smaller: 3/8 or w?
w
Let z = -20879/5 + 4176. Which is greater: 510 or z?
510
Let f(g) = -2*g**2 - 116*g + 262. Let w be f(-60). Is -56 > w?
False
Let f be (10/6)/(((-28)/(-6))/14). Let b be (3 + f + -7)*0. Which is smaller: 3 or b?
b
Let r = -10649 - -10648.7. Is 1481 > r?
True
Let o(x) = -2*x + 1. Let m be o(1). Let k = -0.07413 - -71.85413. Let t = 72 - k. Which is bigger: t or m?
t
Let x = -155934724/647 - -241012. Which is greater: x or 1?
1
Let w = 169 - 162. Suppose -w*i - 9 = 2*i. Which is smaller: i or -1/44?
i
Suppose -z = 3 - 2. Let t be 4/(-1 + -1) + z. Let n(m) = 3*m - 1. Let d be n(-1). Which is smaller: d or t?
d
Let b = -1 + -9. Let u(m) = 36*m - 504. Let s be u(14). Let y be -6 - (4 + (2 - s)). Which is bigger: y or b?
b
Let z = 167 - 162. Which is smaller: 203/43 or z?
203/43
Let a = -13614 + 14343. Which is greater: a or 730?
730
Let j = 463 - 460.76. Let l = j - 2.03. Which is greater: 0.5 or l?
0.5
Let z = -985188/91 + 75744/7. Let t = z - -44/7. Let q(u) = -u**2 + 7836*u - 86073. Let f be q(11). Which is smaller: f or t?
t
Let w = -372 - -376. Suppose -1410 - 167 = w*f + y, 0 = -4*y - 4. Is -394 smaller than f?
False
Let a = 5/28 - 181/700. Let m = -2434 + 2433. Which is smaller: a or m?
m
Let n = 104 - -108. Let c = n - 113.