et t be (-71 - -2)*(-2 + (-70)/(-15)). Suppose 0 = -5*c - 12 + 2. Let j be t/176 + (-1 - c). Is -1 not equal to j?
True
Let x(h) = 36*h**2 - 6*h + 3. Let i be x(2). Let f be -4 + 3*3/i*69. Which is smaller: f or 2?
f
Let u = 78 + -30. Let c = 48.39 - u. Let r = 0.39 - c. Which is smaller: 2 or r?
r
Let d be 5 + -2*12/8. Suppose 6*u - 6 = 2*o + d*u, -5*o + 21 = -u. Suppose o*w + 4 = 4*s + 2*w, 3*s - 3 = -w. Is 1/4 greater than s?
False
Let u be ((-4)/18 + (-59)/18)*-2. Suppose 9*k = -7 + u. Is k at most 0?
True
Suppose v - 33 = 68. Suppose -1 = -3*r + 2, 0 = 5*q + 4*r + v. Which is smaller: q or -22?
-22
Suppose -2*c = x - 6, -3*x + c + 15 = x. Suppose x*v = 3*v + 2. Let j be (-25)/(-40)*v/(-2). Which is smaller: -1 or j?
-1
Suppose -3*y + 3*q - 40 = q, 15 = -4*y - 5*q. Let z = y - -9. Is z < -10?
False
Suppose 10 = 4*q + 4*p - 6, 5*q + 10 = p. Let u = -188.7 + 188. Is q greater than u?
False
Let b be 137/70 + (-4)/(-10). Which is bigger: 3 or b?
3
Suppose -9*j + 43 = 34. Let u = -293 - -6733/23. Which is smaller: j or u?
u
Let f(v) = v**3 - 8*v**2 + 12*v. Suppose 4*c - 36 = -3*p, -4*p + 33 = 5*c - 13. Let l be f(c). Let a = -45 + 312/7. Which is smaller: l or a?
a
Let b be (-2)/1 + (-7 - -6). Let l = -525201/10198 - -2/5099. Let z = 48 + l. Which is greater: b or z?
b
Let o = 37 + -37. Suppose -2*r - 18 + 44 = o. Which is greater: 2 or r?
r
Let f(h) = h**3 + 3*h**2 + 3*h + 1. Let k be f(-2). Let q be (-142)/102*-1 - 12/9. Is k < q?
True
Suppose 289 = -2*t + 3*q, -2*t + 3*t + 141 = -2*q. Is -143 less than t?
False
Let o = 97/85 - -1/17. Suppose 0 = 205*f - 206*f. Is f < o?
True
Let u = 12.1 - 13.1. Which is smaller: u or -0.81?
u
Let o be (49 + (0 - -1))*(-175)/200. Let z = 131 + -87. Let w = z + o. Is w bigger than 0?
True
Let v be (-2)/5 - (-136)/40. Let g be 4/(-8) + v/(-2). Let z(b) = -b**3 - b**2 + b. Let h be z(g). Is 5/8 at most h?
True
Let u = 2 + 1. Let k(t) = -t**3 + 3*t**2 - t + 4. Let w be k(u). Are w and -2 equal?
False
Let u = 172 - 174.14. Let t = u - 0.06. Which is bigger: -1 or t?
-1
Suppose -2*z - 3*r + 24 = -z, 3*r + 111 = 4*z. Let n be (1*-3)/(z/18). Which is smaller: n or 3?
n
Let o(b) = 2*b**3 + 2*b + 3. Let h be o(-2). Let l = 15 - 13. Suppose -5*k = -l*k + j + 59, -5*j = 25. Which is smaller: h or k?
k
Let q = 46 - 37. Is -0.24 not equal to q?
True
Let p = -892 + 366. Which is greater: -524 or p?
-524
Let j = -226.2 - -226. Let g = 31/4 - 15/2. Is g != j?
True
Let h(o) = -o**3 - 26*o**2 + 2*o + 44. Let m be h(-26). Is 26 smaller than m?
False
Let d(z) = z - 5. Let x be d(2). Let v be 1 - x - 0 - 1. Is v greater than or equal to 1?
True
Let z be (14/4 + -1)*57/(-15). Is z at least -11?
True
Let j = 3936796/3269 - 8430/7. Let x = 868/15411 - j. Let g = 184 - 184. Is g > x?
False
Let i = 2 + -10. Let a be i + 0 - (-2 + 5). Let k = -15 - a. Which is smaller: -5 or k?
-5
Let m = -1986 - -2004. Which is smaller: -10 or m?
-10
Suppose -3*z = -12*z + 2*z. Let b be (0 - -1)*(-1)/1. Which is smaller: b or z?
b
Let j = 7.107 - 0.107. Which is greater: -14 or j?
j
Let j = 3.7 + -13.5. Let h = 9.95 + j. Is h equal to -0.1?
False
Let q(i) = 2*i**3 + 17*i**2 - 10*i. Let a(d) = 3*d**3 + 18*d**2 - 9*d. Let x(w) = 3*a(w) - 4*q(w). Let t be x(13). Suppose l + t = 2. Are l and -2/7 equal?
False
Let t = -230/7 + 471/14. Which is smaller: 0.1 or t?
0.1
Let m = -50 - -49.52. Let a = 0.08 + m. Is -3/2 <= a?
True
Let z = -146 - -146.58. Which is bigger: z or -0.4?
z
Let f = 9 + -10. Let a be 1/((2/(-4))/f). Let k = 50 + -50.05. Which is greater: a or k?
a
Let k = 2.9 - 3. Let f be (-8)/48 + (500/(-24))/1. Which is greater: k or f?
k
Let g = 1795/3 - 578. Which is greater: g or 20?
g
Let h(f) = f**3 + 7*f**2 + 3*f - 5. Let s be h(-4). Let i be (s/(-2) - -2) + 0. Which is bigger: -13 or i?
-13
Suppose 0 = -b - p + 20 + 16, -3*b = -8*p - 64. Is -4 smaller than b?
True
Let k be ((-1242)/24)/9*4. Let f(s) = s**3 - 5*s**2 + 5*s - 2. Let b be f(4). Let m be 1/(b/(-96)*2). Which is smaller: m or k?
m
Suppose f + 1 + 3 = 2*u, f - 5*u = -19. Suppose -15 = l - f*l - 5*b, 49 = 3*l - 5*b. Which is smaller: 66/7 or l?
l
Let d be (-2)/(-20)*15/(-2). Let x = 5.25 - 5.15. Which is bigger: d or x?
x
Let n(r) = 15*r + 9. Let g be n(4). Let v be 6/(-21) + g/(-126). Suppose 4*f + 4*z + 12 = 0, -2*z - 1 + 2 = -5*f. Are v and f non-equal?
True
Let z(r) = 3*r + 52. Let a be z(-21). Let d = 11 + a. Let h be ((-2)/(-8))/((-15)/(-8)). Which is greater: d or h?
h
Suppose -2*g - 93 = -3*g. Suppose 4*c + 2*b - 102 = -0*b, -3*c = -4*b - g. Let l = c + -21. Is l greater than 6?
False
Let y = 5.29 + -5.39. Let n = 9 + -27. Which is greater: y or n?
y
Let i be 13*(10 - 9) - 14. Let p(j) = j + 19. Let d be p(0). Which is greater: d or i?
d
Let j(v) = v**2 - 8*v - 10. Let o(d) = d + 4. Let q be o(5). Let f be j(q). Let x = -17 + 16.9. Which is bigger: f or x?
x
Suppose 0*z + 2*z - 32 = 5*t, 0 = -5*t - 3*z - 52. Let b = 17 + -25. Are b and t unequal?
False
Let w be 48/9 + (-2)/(-3). Let o be (2/(-11))/(w/3). Let q = 299 - 300. Is q at most o?
True
Let b be (6 + (-364)/63)/((-2)/12). Is -31 smaller than b?
True
Let a = -3057 - -21391/7. Let g be (-2)/(-2) + -3 + 1. Which is bigger: g or a?
g
Let w = -567.9 + 568. Let s = -2 + -2. Which is bigger: s or w?
w
Let r = 46 - 58. Let g = 2 - r. Is g at least 0?
True
Suppose y - 30 = -2*y. Let w(t) be the third derivative of -13*t**4/24 - t**3/3 + 6*t**2. Let l be w(-1). Is l less than or equal to y?
False
Suppose -4 = 3*s - 10, 1154 = 3*f + s. Is f >= 383?
True
Let o(s) = -s**3 - 9*s**2 - s - 7. Let r be o(-9). Suppose -2*b - 6 = -2*z - r, 4*b = -5*z - 8. Let g be (-15)/(-6) - b/4. Is g > 3?
False
Let f(o) = -o**3 - 10*o**2 - 5*o - 24. Let g be f(-9). Let z be 18/(-8) + 45/g. Let u(q) = q - 6. Let x be u(5). Which is smaller: z or x?
z
Let t be (-490)/(4*6/12). Is -246 greater than t?
False
Let s = -3.7 - -0.7. Let g = -3.1 - s. Let i = -0.2 - g. Is i bigger than -0.6?
True
Let u = 28 + -28. Suppose 2*d = -u + 4. Suppose -d*r - 19 - 17 = 0. Is r at most -18?
True
Let g(c) = -2*c**2 - 6*c - 3. Let t be g(-2). Do t and 8/47 have different values?
True
Suppose 116 = -4*n + 5*n. Suppose -5*q = -16*q + 396. Suppose -5*k + 25 = 0, 0 = -4*o - 4*k + n - q. Is -1/3 at most as big as o?
True
Let p(x) be the second derivative of -x**5/20 - x**4 + 13*x**3/6 + 2*x**2 - 2*x. Let u be p(-13). Which is smaller: 3 or u?
3
Suppose -b = -w + 4, 3*b = w + 8*b + 8. Suppose 0 = w*a - 22 + 4. Do 9 and a have the same value?
True
Let w = -29.11 - -29. Let s = w - -0.21. Do s and 24 have the same value?
False
Let n = -20 + 19.76. Let x = 18.76 - n. Which is smaller: 1 or x?
1
Let u be (-80)/(-25)*-1*5. Let f = -0.025 - 0.075. Is u bigger than f?
False
Let t = 6.12 + -6.32. Let f = -51/10 - -18/5. Which is smaller: f or t?
f
Let s = -1005 - -1024. Is s smaller than 14/5?
False
Suppose -3*p = -14*p - 352. Which is bigger: p or -97/3?
p
Let h be (-4)/(-4752)*-862 + 4/4. Let f = -8861/54 + 164. Let j = h + f. Do 1/2 and j have different values?
True
Suppose 0 = -3*g - 3*g - 6. Which is greater: g or 14/29?
14/29
Let m(g) = g**3 - 19*g**2 + g - 8. Let o be m(19). Suppose 2 = o*l - 9. Are l and -1/190 nonequal?
True
Suppose 0 = -d - 6*g + g - 89, -5*g + 267 = -3*d. Let y = d + 123. Is 35 less than or equal to y?
False
Let k(r) = 2*r + 3. Let o be k(-3). Let m be (-1 - o)*4/(-8)*2. Let h be (1/(1/(-3)))/2. Which is bigger: h or m?
h
Let d = -36697/3421 + -1/3421. Which is smaller: d or -11?
-11
Let r(d) = -17 + 7*d**2 - 7*d + 18*d**3 - 6*d**3 - 11*d**3. Let v be r(-8). Let q = -34 - v. Is -0.1 < q?
False
Let u = -1.2 - -0.2. Let w = -0.25498 - -73.25498. Which is bigger: w or u?
w
Suppose -27 = 22*g - 31*g. Which is bigger: -0.2 or g?
g
Let z(m) = -109*m - 6. Let q(u) = 109*u + 5. Let j(n) = -3*q(n) - 2*z(n). Let v be j(8). Let s be ((-20)/v)/(4/10). Which is smaller: s or 1?
s
Suppose 90*d - 91*d - w - 2 = 0, 0 = -4*w. Does d = -0.24?
False
Let f(w) = 12*w - 23. Let p be f(2). Is 2/53 not equal to p?
True
Let y be 8/3 + 6 + (-153)/27. Let w be (-3)/(-3) + (-6)/(-2). Which is smaller: w or y?
y
Let d be (-2)/4 - (-5)/2. Let q be ((-152)/12)/((-2)/(-6)). Let v = q - -39. Which is smaller: d or v?
v
Suppose -4*r + r = -21. Suppose r*t = -5 - 30. Let f be (t + 2)*(-5)/