pose 0 = -4*d - 2*g - 10, 0 = -3*g - g - b. Let q be 2 + -1 + d + 1. Is q smaller than 1?
False
Let m = -21 - -24. Is 1 equal to m?
False
Let d = 48 - 59. Is d smaller than -13?
False
Let g be 6/27*-14*1. Which is bigger: g or -3?
-3
Let y(z) = -z + 6. Let u be y(6). Let a be -1 + 0 + 1 + u. Let g(p) = -p + 10. Let n be g(11). Are n and a equal?
False
Let g be (2/(-5)*2)/((-16)/(-120)). Is -4 bigger than g?
True
Let w(d) = -d**3 + 8*d**2 - 4*d - 3. Let x be w(5). Let b = -262/5 + x. Which is greater: b or 1?
1
Let z(r) = r + 5. Let h be z(5). Suppose 2*g + 0 = -h. Which is greater: g or -6?
g
Let q be 6 + 33 - (-2)/1. Suppose -3*v = 5*c + 2*v - 130, -c - 4*v + q = 0. Suppose 3*m = 2*k - c, -k - 4*m - 11 = 2*k. Are k and 0.1 non-equal?
True
Let t be (70/(-9))/((-2)/(-15)). Let i = -59 - t. Let o = -0.08 + -0.12. Does o = i?
False
Let d = 203/31 + 1431/217. Which is smaller: 12 or d?
12
Let h be 13*-1*19/19. Which is smaller: h or -0.1?
h
Let g = -2.16 - -22.06. Let j = g + -19. Are j and -1 unequal?
True
Let h be 4/(-26) + 11/(-13). Is h at most -2/3?
True
Let r = 85/4 - 21. Let m(h) = 4*h + 1. Let v be m(0). Is v greater than or equal to r?
True
Let b(l) = 9*l**3 - l**2. Let p be b(1). Is p > 8?
False
Let g = -13 + 21. Let u = -5 + g. Let d = u - 4. Which is bigger: d or -3?
d
Let b be -4 + (4 - 0 - -1). Are b and -1/16 non-equal?
True
Let i(l) = l**2 + l. Let z(y) = -5*y**2 - 9*y + 2. Let g(b) = 6*i(b) + z(b). Let u be g(2). Are u and -4/5 unequal?
True
Let c(q) = -q**3 + q**2 - q - 2. Let u be c(0). Which is smaller: u or -0.1?
u
Let h(m) = m**2 + m - 1. Suppose -4*k = -3 - 1. Let v be h(k). Let y be 2/(-9) - (-2)/36. Which is greater: y or v?
v
Let g be (-12)/(-4 + 0) + 1. Let t be g*-2*2/(-4). Are t and 4 non-equal?
False
Suppose -n + 44 = 32. Let y be 2 - 18/(2/(-1)). Is n greater than y?
True
Suppose -5*h + 16 = 2*r + 4, h + 1 = 3*r. Suppose 3*c - h*d = 0, -6*c + 4*d - 2 = -c. Suppose 0 = -c*i + 4, -f - 4*i + 0 + 3 = 0. Is f smaller than -4?
True
Let b = 20.97 - -0.03. Let d = -8 + b. Which is bigger: -0.1 or d?
d
Let o be (-1 - 17/(-10))*(-60)/(-105). Let q = -10/3 + 17/6. Is o greater than or equal to q?
True
Let b = 0.9 + -1. Let w = -3.99 + 1.99. Which is bigger: w or b?
b
Let j be (2/(18/(-3)))/1. Are -0.2 and j nonequal?
True
Let v be ((-30)/150)/((-2)/(-4) - 1). Which is bigger: -25 or v?
v
Let t = -1 + 1. Let q be 5/5 - 32/6. Let h = -5 - q. Do t and h have the same value?
False
Let s(d) = -d**3 - 16*d**2 - 16*d - 6. Let m be s(-15). Which is bigger: m or 6?
m
Let x = 12 - 8. Suppose -2*a + 8 = -x*w, 0*a + 4*w + 6 = a. Is a <= 1?
False
Let d(k) = k**2 + 5*k + 4. Let f be d(-3). Let z be -2*3/(f + 5). Is -2 greater than z?
False
Suppose -3*n = -5 - 10. Suppose -2*c + n = 3*c. Which is bigger: -2/5 or c?
c
Let m(v) = -v**3 + 5*v**2 + 5*v + 7. Let s be m(6). Let a be s - -1*(-12)/10. Are a and -1 unequal?
True
Let m = -24420331930/45434334033 - 2/16455753. Let y = 2/251 - m. Which is smaller: y or 0?
0
Suppose -7*y + 2*y + 50 = 0. Suppose -u = 4*u + y. Which is greater: -1 or u?
-1
Let l = 55/3 + -511/12. Let f = -57 - l. Let a = f + 33. Does a = -1?
False
Let o = 62 + -61. Which is bigger: o or -2/19?
o
Let c = 3.8 - 3. Let k = c + 0.2. Let i be (15/(-10))/(3/(-2)). Is k bigger than i?
False
Suppose 0*k - 4*k + 28 = 0. Let j(r) = -r**3 - 3*r**2 - r + 3. Let c = -6 + 3. Let p be j(c). Which is bigger: k or p?
k
Let z = 16 - 32. Let r(h) = 17*h + 1. Let m be r(-1). Do m and z have different values?
False
Let l be ((-26)/(-4) + 3)/((-2)/4). Which is bigger: l or -14?
-14
Suppose -2*m + 4*w + 2 = 5*w, -w = -3*m + 13. Which is bigger: m or 15?
15
Let t be (2 + 0)*-1 - 1. Let b be (12/(-7))/((-45)/70). Let m = b + t. Which is smaller: m or 0?
m
Let b = -6 - -4. Let u = -1.9 - b. Is 2 less than u?
False
Let f = 0 - 11. Let s = -8 - f. Which is bigger: s or 0.1?
s
Suppose 0 = 3*x - 4*b - 1 - 2, -2 = -2*x - 5*b. Do 5/4 and x have the same value?
False
Let h = 100 - 75. Which is smaller: 1/3 or h?
1/3
Let t be ((-5)/2)/((-2)/4). Suppose 10 + 10 = t*g. Suppose 0 = 5*m - 3 - 17. Are g and m non-equal?
False
Let w = -1 + 5. Let y be (-55)/(-50) - 2/w. Is 1 > y?
True
Let d be 3 - -6*(0 + -1). Is d smaller than 0.3?
True
Let x = 3.6 - -0.4. Let l = -39 - -37.1. Let b = -2 - l. Which is greater: b or x?
x
Let j = -7 - -8. Is j greater than 0.5?
True
Let j = 235 - 140. Which is smaller: -0.1 or j?
-0.1
Let k = -8 + 11. Suppose -4 = -3*b - 4*n, n + 1 = 5*b + 2*n. Suppose 0 = 4*d + k*q - b*q - 32, -2*d + 26 = 4*q. Which is greater: 4 or d?
d
Let z = 7 + -4. Suppose 3*o + z*r + 4 = -2, o - 1 = 2*r. Let m be ((-3)/(-4))/(-3)*(-184)/(-207). Are o and m unequal?
True
Let q be (3 - 1)/(-1) - -22. Suppose -4*m - q = 0, -3*m - 9 = -4*y - 2. Let h be y/4 + 2/(-4). Is -1/5 greater than or equal to h?
True
Suppose 2*u = -2*u + 4. Let c = -1376/5 + 276. Is c < u?
True
Suppose -4*c - 18 = 5*b + 19, 4*c - 2*b + 30 = 0. Let d = 7 + c. Is -2/19 bigger than d?
True
Suppose 4*z = d + 3*z - 9, -5*d = 3*z - 5. Suppose 0 = -5*l - t - 1 + 15, d = 3*l + 5*t. Let s be (-3)/(-22)*(-4)/l. Which is smaller: s or -1?
-1
Let b(t) be the second derivative of t**3/6 + 2*t**2 + t. Let v be b(-4). Let m = 26/55 - 3/11. Is v less than m?
True
Let q = -7.29 - -0.39. Let o = q + 7. Is 2/5 smaller than o?
False
Let t be 1*(3 + -1)*(-6 + 7). Are t and 4 non-equal?
True
Let l(j) = -3*j. Let s be l(2). Let g(u) = -u**2 - 7*u - 5. Let t be g(s). Is -1/21 greater than or equal to t?
False
Let o = -10 - -10. Suppose -3*t + 1 - 4 = o. Which is greater: -2/11 or t?
-2/11
Let y be (-3 + -1 + 7)*-198. Let n be 18/99 + 130/y. Is n at most as big as -1?
False
Let m(n) = 2*n + 0*n - 2*n - n + 12. Let a be m(9). Let g be 2/a*12/(-28). Which is greater: g or -1?
g
Let a(u) = 2*u**2 - 2*u - 2. Let f be a(2). Let v be f/4*(5 + -13). Is -5 bigger than v?
False
Let g = 5 + -6. Are g and -4 unequal?
True
Let h be (-12)/108 + (-14)/(-18). Which is bigger: 0.6 or h?
h
Let a = 0.9 - -0.1. Let y = 4 - a. Let h = -0.03 + 0.13. Is y at least h?
True
Let k be 2/(-1 - 7/3). Suppose 2*w - 4 = -6. Is k greater than or equal to w?
True
Let l = -134 - -79. Is -55 smaller than l?
False
Suppose -1744884 = q + 2*q. Let v = 165764161/285 + q. Let t = v + -2/57. Which is greater: t or 2?
2
Let v be (-100)/16*(417/105 + -4). Which is smaller: v or 1?
v
Let f = -0.98 + -6.82. Let y = 0.2 - f. Let m = 7 - y. Which is smaller: -2/13 or m?
m
Let u = 4 - 9. Let y = -5.1 - u. Let w be 20/(-12)*(-2)/5. Which is bigger: w or y?
w
Let r(m) = -15*m**2 - 5. Let a be r(-2). Which is smaller: -64 or a?
a
Let v(g) = g**2 - 9*g + 9. Let r be v(8). Suppose 0 = -3*x - r + 7. Suppose 12 = -4*f - t, 7*f = 2*f + 3*t + x. Do f and -2 have the same value?
True
Let u = 14 + -12. Suppose -3*o - 2*n = -6*o, 2*o + 2 = u*n. Which is bigger: o or 1?
o
Let k = -0.032 + -0.068. Is k bigger than 1/10?
False
Let h = 1 + 0. Suppose -2 = 3*s + h. Suppose 2*n - 4 = 6*n. Is n <= s?
True
Let q = -1 - -3. Let c(w) = -w**2 + 3*w - 2. Let a be c(q). Let v(s) = s**3 + 10*s**2. Let m be v(-10). Is a at most m?
True
Let f(k) = -k**3 + 6*k**2 - 10*k. Let p be f(3). Is p at most -3?
True
Let k(g) = -4 - g - 5 - 1. Let l be k(-10). Let y = l + -1. Is -1 not equal to y?
False
Let i(z) = -z**2 - 3*z - 1. Let f be i(-3). Let t be (-2)/(1/2 - -2). Which is smaller: t or f?
f
Suppose 4*v = x + 37, -23 = -0*v - v + 3*x. Suppose 4 = 4*y - v. Do y and -0.1 have different values?
True
Suppose 3*n + 2*n - 3*z + 31 = 0, -z + 2 = 0. Let a(w) = -w**3 - 6*w**2 - 7*w - 4. Let u be a(n). Which is greater: u or 5?
u
Let o = 29 + -26. Which is smaller: -4 or o?
-4
Let g = -0.05 + 0.45. Let v = -2.4 + g. Which is smaller: v or -2/5?
v
Let r = 0.01 - 0.01. Let c = 43.3 + -43. Which is bigger: c or r?
c
Let a(d) = d**2 - 6*d - 3. Let w be a(6). Let p(l) = -l**3 - 2*l**2 + 3*l + 4. Let x be p(w). Let m be 1 + -2 + x - -1. Is m greater than or equal to 4?
True
Let s = 0.24 + 0.06. Which is smaller: s or -1/3?
-1/3
Suppose -23 = -5*f + 32. Which is greater: f or 10?
f
Suppose 5*r - 2*b = -41, -r = b - 0*b + 11. Let t = 8 + r. Which is greater: -1/23 or t?
-1/23
Let x = -548/63 + 86/9. Suppose s - 75 = -4*s - 3*z, 21 = 3*s - 3*z. Suppose 0 = 2*d - 2*y, -2*d + 0*y = 4*y - s. Which is grea