Let h be (-2)/8*(-32 + (-17 - -21)). Is h less than or equal to 680?
True
Suppose 260 = 4*w - 2*f, -5*w - f + 328 = -2*f. Let q = 4 - w. Let a = q + 81. Is 20 bigger than a?
True
Let k(m) = -m + 5. Let l be k(2). Suppose 0 = 2*x + l*x + 4*o - 605, -3*x + 363 = o. Let a = x + -124. Is a at least -3?
True
Suppose -6*c - 112 = 8*c. Let k(u) = -u**3 - 8*u**2 + u + 8. Let x be k(c). Which is greater: 2/581 or x?
2/581
Suppose 0 = -2*a + 1 + 3. Let j be 20/232*4/(-25). Let i = j - -89/145. Is i at most as big as a?
True
Let x be (-201)/(-67) - (-1538)/144. Let w = x - -5/72. Which is smaller: 15 or w?
w
Let b = -26 + -34. Let w = 181 - 241. Do w and b have different values?
False
Let s = -186.75 + 186.8. Is -1/458 greater than s?
False
Suppose -142 = 408*w + 266. Let p = 5508/37625 + -6/875. Is p > w?
True
Suppose 267*x = -5*a + 268*x - 75856, -24 = -4*x. Is -15171 smaller than a?
True
Suppose 0 = 66*a - 242 + 12584. Which is bigger: a or -183?
-183
Let b(t) = -200*t + 362. Let m be b(10). Do -1639 and m have different values?
True
Let q = 31 - 0. Let k = 39 - q. Let y = k - 7.8. Which is smaller: -1/19 or y?
-1/19
Suppose 0*n = -2*n + 4. Suppose -n*y - 5*a + 15 = 0, 2 + 1 = 4*y + a. Suppose y = 2*c - c. Which is smaller: 1.7 or c?
c
Suppose 2*x - 164 = 192. Suppose -28*u + u - 9204 = -79*u. Is x at least u?
True
Let m = 893 + -909. Which is greater: 203 or m?
203
Let m be (87/580)/((3/(-7))/((-12)/(-42))). Do m and -0.3 have different values?
True
Let x be 9/(-6)*(0 + -4). Let q(g) be the second derivative of g**5/20 - 5*g**4/12 - 4*g**3/3 + 6*g**2 - 10*g. Let t be q(x). Which is smaller: t or 1/41?
t
Suppose -252*b + 6860 = -280*b. Which is greater: -246 or b?
b
Let l = 132/3277 + 416144/1058471. Let f = -6/19 + l. Which is bigger: 0 or f?
f
Suppose -6 = 4*t - 2*q, -6*t + 9 = -2*t + 3*q. Let u be (-2)/(-1) - 1210/(-303) - 6. Is u at most t?
True
Let d = 63.9 - 41.7. Let s = 21.9 - d. Is s != -0.46?
True
Let q = -107 - -118. Let w = 10.9 - q. Are w and 11/5 equal?
False
Let l be (-4)/102 + 4/(-6). Let j(h) = h**3 - 20*h**2 + 44*h - 8. Let i be j(18). Let z = i - 138. Which is bigger: l or z?
l
Let k = 418997/21 + -19931. Let r = -144/7 + k. Do r and 0 have the same value?
False
Let w = -42/41 + 1548/1271. Suppose 4 = 5*v - 3*n + 221, 5*v + 225 = -5*n. Let q = v + 45. Which is smaller: w or q?
w
Let y = -18.762 + 320.762. Which is smaller: y or -1.9?
-1.9
Suppose 0 = 76*u + 401 + 359. Let x be (3/(-3))/(-1) - -3. Suppose -x*c - 4 = -2*c. Which is greater: u or c?
c
Let w = -584 - -582. Let d be 1703/(-65) + w/(-10). Is -26 not equal to d?
False
Suppose 28*i + 13741 = 86009. Is i greater than 2582?
False
Suppose 0 = -4*t + 9*t - 145. Let o(r) = 10 - t*r + 21 + r**2 + 22. Let c be o(27). Which is bigger: c or -5?
c
Let k = -3617 + 3602. Which is bigger: -68 or k?
k
Let n(t) = 44*t - 1. Let s(u) = 35*u - 2. Let q(r) = -4*n(r) + 5*s(r). Let w be (2 - (2 - 0))/1. Let j be q(w). Which is smaller: j or -29/5?
j
Suppose -4*m + 33 = 2*h - 9*m, 4*m = -2*h - 12. Let d = -251 - 49. Let l be (280/d)/(2/(-10)). Which is smaller: l or h?
h
Let g = 0.22 - -10.78. Let u = g - 15. Let z = -77.95 - -78. Do z and u have the same value?
False
Suppose -3*h + 9 = 4*q - 3*q, -2*h = -2*q - 6. Does h = -59?
False
Let g be 2/(8/9) - (-109)/(-436). Suppose -5*l - 5*w = 5, -2*l + g*w + 4 = 2. Which is bigger: l or -1/990?
l
Suppose -2*h - 8 = 0, -2*p + 11 = -h - 1. Suppose -5*y + 116 = -p*w, 3*y - 4*w - 48 = 20. Let r be -5*(3 + -4 + -4). Which is smaller: y or r?
y
Suppose 5*j = 10*j - 10, -39 = 11*t - 3*j. Let v = -1081/620 - 1/155. Which is bigger: v or t?
v
Let l = -47 + 125. Suppose -8*a + 4*a - 5*h - l = 0, 55 = -3*a - 2*h. Is -13 at most as big as a?
False
Let g be (-583 + -29)/((2/6)/(4/(-24))). Do g and 313 have the same value?
False
Let r(z) = -3*z**2 - 78*z - 18. Let j be r(-19). Let m = -380 + j. Let o = 1135/84 - 94/7. Is o at least m?
False
Suppose 4*i - 21 + 9 = 0. Suppose 5*w = 4*z + 41, 3 = i*z + 2*w + w. Let y(d) = d**2 - 8*d + 10. Let h be y(4). Which is greater: z or h?
z
Let i(f) = f**2 - 2*f. Let g be i(2). Suppose g = 53*n - 48*n + 900. Is n less than -178?
True
Let x(i) = i**3 - 20*i**2 + 18*i - 62. Let y be x(20). Let d = -0.239 + 0.139. Which is smaller: d or y?
d
Let r(b) = -7*b**2 - 353*b + 205. Let n be r(-51). Is n at most -1/5552?
False
Let n(u) = -u + u**2 + 0*u - u + 1. Let v be n(3). Let o = -63 + 61. Which is smaller: v or o?
o
Let u = -189 + 189.038. Let p = -7.962 - u. Which is bigger: -4/9 or p?
-4/9
Let g = -14.038 - -14. Let m = g + 0.138. Let l = -1/169 + 1187/676. Which is smaller: l or m?
m
Let b(m) = 4*m - 33. Let q be b(10). Suppose -4*i = -q*i + 6. Suppose -4 = 2*d - 4*r, -2*d = 7*r - i*r - 5. Which is greater: 1/74 or d?
1/74
Let v = -0.8455 + -1257.1545. Is v equal to -1?
False
Let q = -13704 + 13444.86. Let a = q + 259. Does a = -30?
False
Suppose -12*v = 35*v + 39010. Is v smaller than -831?
False
Let y(n) be the first derivative of 2*n**2 + 140*n + 34. Let c be y(-33). Is c equal to 62/7?
False
Let p be 266560/1275 + 3/(-45). Let q(n) = 211*n**3 - n**2 - n + 1. Let w be q(1). Which is greater: p or w?
w
Suppose -s - 41 = 2*q - 243, 764 = 4*s - 3*q. Suppose -2*w + s = -4*x, 3*x + 201 = -2*w + 73. Which is smaller: x or -42?
x
Let r = -2726 + 3729. Is r less than 1002?
False
Let j = 120/491 - -382/2455. Which is greater: j or 18?
18
Let g(h) = 55*h - 1217. Let u be g(21). Is -800/13 != u?
True
Let b = -104 + 19. Suppose 4 = -4*u, -307*u + 302*u = 4*t + 349. Which is smaller: t or b?
t
Suppose -2*j = -5*j - 6. Let b = -172706/3 - -57569. Which is greater: b or j?
b
Let s be (-4)/(-6) - 722/1083. Is s at least -238/279?
True
Let t = 35 - 35.82. Let q = t - 6.28. Let m = q + 6.1. Is -0.21 at most m?
False
Let x(o) = -174*o**2 + 2*o + 78. Let n be x(6). Which is smaller: -6175 or n?
-6175
Suppose 3*x + m - 81 = 89, -5*x + 265 = -2*m. Let h be 349*-2*(x/(-40))/11. Let g = -86 + h. Which is smaller: 0 or g?
0
Suppose -3*l - 2*q + 120 = -5*q, 2*q - 80 = -2*l. Let b(g) = -5*g**2 + 19*g + 9. Let w be b(4). Suppose 0 = 13*i - w*i - l. Which is smaller: 4 or i?
4
Suppose -642 = 3*l + 3. Let x be 3/(-5) - 344/l. Let j be 1/(-2) + (-3)/(-6). Which is smaller: x or j?
j
Let a = 153845 - 153842. Let i(z) = -10*z + 5. Let v be i(6). Which is greater: v or a?
a
Let m = -175 + 293. Let a = -234 - -352. Is m bigger than a?
False
Let z be -41 - (5/(-10) - 3/(-2)). Let k be 10/(-35) - 5/z. Let d be (-1)/1 + 2*1. Which is greater: k or d?
d
Let r(o) = -54*o + 35*o - 5*o - 11*o**2 - 3. Let s be r(-2). Is s > -2/1279?
True
Let h be 5 + -7 + 2 + 0 + 3. Suppose 0 = -3*l + 2*o - 149, -h*l - 7*o - 125 = -3*o. Which is greater: l or -50?
l
Let o(s) be the third derivative of -5*s**4/24 - 25*s**3/6 - 18*s**2. Let x be o(6). Let n = -51 - x. Is n at most 3?
False
Suppose 0*t + t - 2 = 0, 2*t = 4*p - 6044. Suppose 2*k - 8*k = p. Let s be (33/4)/(k/(-24)). Is 0 equal to s?
False
Suppose 30*w = 42*w - 35*w + 23. Is w < -3/1549?
False
Let n = 8553 + 10943. Do 19497 and n have the same value?
False
Suppose -5*t + 5 = -4*f, -5*t + 2*t = -5*f - 16. Let j be t/783*781 - -3. Let b be (-2 - -1)/(7/7). Is b < j?
True
Let t = -7788 - -3755. Are t and -4032 equal?
False
Let y = -423 - -602. Let o be (-60)/(-20) + y + 1. Is o not equal to 184?
True
Let j = 47 + -78. Let k = j + 27. Let p be (k + 2)*2/6. Does 0.02 = p?
False
Let j be -11 + ((-42)/(-216) - -11). Are j and -1 nonequal?
True
Let b = 87107 - 87138. Let q = 1.14 - 0.04. Let o = q - 0.1. Is o greater than or equal to b?
True
Let z(j) = 3*j**3 - j**2 + 54*j - 220. Let l be z(4). Which is smaller: 341/2 or l?
341/2
Let t = -202.81 + -20.19. Is 4 at least as big as t?
True
Let y be (4/12*-9 + 3)/(-2). Which is smaller: -0.1094 or y?
-0.1094
Let l = 868 + -876. Which is smaller: l or -7?
l
Let n = 84 - 87. Suppose -37*j = -41*j + b - 124, 0 = -5*b - 20. Which is greater: j or n?
n
Let o = 0.53 + -0.26. Let k = o + 1.73. Let i be (-1)/((-18)/(-12) + (9 - -1)). Are i and k non-equal?
True
Let o be (-2)/3 - (-22472)/(-159). Are -134 and o equal?
False
Suppose 3*o - s - 6 = 0, 0 = -5*o + 9*s - 6*s + 10. Suppose 0 = 4*y + 20, -p - 5*y = 17 + 6. Is o not equal to p?
False
Let h = -910956/21539 - -719/17. Let k be -1 - 