n = 13 + g. Which is smaller: -1 or n?
-1
Let z(g) = -g**3 - 4*g**2 - 2*g - 4. Let a be z(-4). Let l(k) = -k**2 + 3*k + 3. Let c be l(a). Which is bigger: 2/9 or c?
2/9
Let g = -189 + 23. Let z be ((-4)/6)/((-16)/g). Let o = -25/4 - z. Which is smaller: o or 1?
o
Let j = 295 - 167. Do j and -0.1 have different values?
True
Let p = 4.104 + -0.004. Let x = -3.98 + -0.02. Let n = x + p. Which is smaller: 0.3 or n?
n
Let k be 0/2 + (-10)/15. Which is greater: k or 0?
0
Suppose 0 = 5*w - 133 - 137. Which is smaller: 53 or w?
53
Let i = 20 - 12. Suppose 12 = -2*v - 3*a, -a + 3*a = -i. Let b = 0 - v. Is 1 at least b?
True
Let m(w) = -2*w + 16. Let b be m(8). Do -10/29 and b have the same value?
False
Let r = -5.709 + 0.009. Let y = 6.3 - 0.3. Let z = r + y. Which is bigger: z or 0.1?
z
Let n be (-9)/12 + 1 + 0. Let g = 10.8 + -8.8. Is g <= n?
False
Let m = -27 + 28. Let k = -1 + 1. Which is smaller: m or k?
k
Let v = -58/9 - -20/3. Suppose 2*c = -3*o + 15, -3*c + 4*o + 0 = 3. Let x = -3 + c. Is x not equal to v?
True
Let u be (-141)/48 - (-9)/(2 - -1). Which is greater: u or 0.2?
0.2
Let l(r) = -r**3 + 9*r**2 - 12*r + 7. Let i be l(8). Let b be (-10)/i - (-18)/(-20). Is b greater than 2/3?
False
Let r = 46 - 53. Is r less than or equal to -9?
False
Suppose -2*b + 6 + 2 = 0, 2*l - 4*b + 76 = 0. Let h be 2/2 - (-302)/(-10). Let t = l - h. Is t bigger than -2?
True
Let x = -13 - -17. Which is smaller: x or -0.1?
-0.1
Let l be (59/2)/(7/14). Let q = 235/4 - l. Is 1 at least as big as q?
True
Let t = -7 + 7. Is t at least as big as 1/6?
False
Suppose 0 = -6*b - 27 - 15. Are -15/2 and b non-equal?
True
Let w(k) = k**2 + 2*k - 10. Let p be w(3). Is p > 3?
True
Suppose -9*r + 218 = 56. Which is bigger: r or 20?
20
Let t be 0/(-2 - -1 - 0). Suppose t*a - 1 = -a. Which is smaller: 2 or a?
a
Let x = -7 + 10. Let o(n) = n**2 - 4*n - 9. Let j be o(6). Is x at most as big as j?
True
Let h = 2946079031/65 + -45327400. Let o = h - -3107. Let t = o - -8/13. Which is smaller: 5 or t?
t
Let u be 4 - 2 - 24/10. Let z = 2 - 0. Let a = z + -3. Which is smaller: a or u?
a
Suppose 0*b - b + 3 = 0. Let s be b + 3 + (-15)/3. Which is smaller: 2/9 or s?
2/9
Let y(t) be the first derivative of -t**4/4 + 5*t**3/3 - 3*t**2/2 - 3*t + 4. Let k be y(4). Is 7/5 equal to k?
False
Let c be 27/(-6)*(-10)/(-3). Let s = -11 - c. Is 3 at most as big as s?
True
Let q = 15 - 7. Let t = 7.9 - q. Suppose 0 = 4*a + 8 - 4. Which is smaller: a or t?
a
Let r(h) = -h + 7. Let y(i) = -7 - 2*i + i**2 - 4*i**2 + 4*i**2 - 3*i. Let v be y(7). Let q be r(v). Is q > -0.1?
True
Let b(h) = -h**2 + 18*h - 7. Let g be b(17). Let l = 15 - g. Let s be ((-3)/5 - -1)*10. Which is greater: l or s?
l
Let q be 6/(-4)*(-8)/6. Let s be (-1)/((-1)/(q/2)). Let y = -14/45 - 1/45. Is y at most s?
True
Let w be 6*(-3)/12*2. Let i = 4 + w. Let n = 1 - i. Is n less than -1?
False
Let m(a) = a**2 + 4*a. Let b(y) = -y**3 + y**2. Let x be b(2). Let t be m(x). Which is greater: 1/7 or t?
1/7
Suppose 0 = 2*a - 4*a. Let g = 2515/44 + 23/11. Let x = 59 - g. Which is smaller: x or a?
x
Let n = -4 + 1. Suppose -5*o + 29 + 46 = 0. Let j be o/(-10)*(-1 + 3). Is j less than or equal to n?
True
Suppose 5*i + 5 = 2*n, 3*i = -n - i + 9. Suppose -4*c - m - 301 = -95, n*c + 4*m + 252 = 0. Let l = c + 362/7. Is l smaller than 1?
True
Let l = 0.069 - -0.031. Is l at most as big as 0.2?
True
Let l be (-471)/135 - 2/5. Let t = 193/45 + l. Suppose 0 = -5*j - 10, 5*f + 2*j + 13 = -2*j. Is f less than t?
True
Let c be (10/4 + -3)/(5/(-10)). Does c = 2/37?
False
Let w(l) = l**2 + 18*l - 27. Let t be w(-19). Which is smaller: -7 or t?
t
Let d(p) = -p**2 - 4*p + 5. Let f be ((-8)/(-6))/(4/(-12)). Let q be d(f). Suppose 0*i - 5*a = i + 10, q*a + 10 = -3*i. Is 1 at least i?
True
Let c be (3*2/16)/((-18)/(-12)). Which is smaller: c or 3/5?
c
Let d = -20.26 + 20. Let r = 0.04 - d. Are r and -1/3 equal?
False
Suppose -h - 22 = -26. Let a = 6 + -1. Is h greater than or equal to a?
False
Let n = -1/1023 + 1821/2387. Is 0 less than or equal to n?
True
Let l = 1.14 - -3.76. Let t = l - 5. Is t equal to -3?
False
Let b(w) = w**2. Let g be b(0). Suppose -6*o + 11*o + 4*j + 15 = 0, -o = -2*j - 11. Which is smaller: g or o?
g
Let s be (-4)/(-190)*(-55)/11. Suppose -5*y + 5 = -0*y. Which is bigger: y or s?
y
Let d(s) = -4*s + 9. Let m be d(5). Is -11 smaller than m?
False
Let f(n) = 16*n + 1. Let j be f(1). Suppose 3*r - c - j = 0, 0*r - 4*c - 3 = r. Suppose -9 = -4*x - r. Is 0 less than or equal to x?
True
Let g be ((-1)/4)/((-1)/20). Let l be 1 + 1/1 + g. Does l = 8?
False
Let w(p) = p**2 - 8*p + 1. Let f be w(8). Which is smaller: -2/3 or f?
-2/3
Let h be (1 + (-27)/21)/(-6). Suppose 0 = -3*g - 6, -j + 4*g + 5 = -4. Which is bigger: j or h?
j
Let f be (-357)/33 + 18/(-99). Which is bigger: -15 or f?
f
Let c(k) be the second derivative of k**3/6 + 3*k**2 + k. Let o be c(-6). Which is smaller: o or -2/5?
-2/5
Let m be ((-99)/4)/(-9)*2. Is m less than 1/4?
False
Suppose 4*t = 5*t. Suppose -o + g - 3 = t, -o - 5*g + 1 + 2 = 0. Which is bigger: o or -1?
-1
Let z = -129 + 905/7. Suppose 4*f - f = -54. Let c = f - -53/3. Is z at most as big as c?
False
Let u(a) = -a - 2. Let z be u(-2). Which is smaller: z or -2?
-2
Suppose -b = -3*n - 13, 0 = -b - 4*n + 2*n + 3. Suppose 3*d - b*d - 20 = 0. Is d at most as big as -4?
True
Suppose -6*r = -3*r. Let h be (159/27 + -6)/((-2)/9). Let n = h + r. Which is bigger: 1 or n?
1
Let z(d) = d**2 - 2*d. Let c be z(4). Which is bigger: c or 27/4?
c
Let d be 4/(12/(-9))*-1. Let j be (1 + -2)*(-1 + 2). Let i = d + j. Are 2 and i equal?
True
Let p(s) = s - 7. Let q be p(11). Suppose 3*r = -4*u, 0*r = q*r - 2*u. Which is smaller: 1/5 or r?
r
Suppose 3*w + 77 = 3*j - 130, -6 = 3*w. Does 66 = j?
False
Let p be (-2)/(-12) + 679/462. Is 2 greater than p?
True
Let p be (2225/555 + -4)*(0 - 2). Which is bigger: p or 1?
1
Suppose 6*d = 5*d + 5. Let j = d + -9. Is j greater than -4?
False
Suppose 3*s = -4 + 1. Let w(f) = f**3 + 9*f**2 + f + 5. Let x be w(-9). Let m = x + 2. Which is greater: s or m?
s
Suppose 4 = 3*f + f + 4*g, 13 = f + 5*g. Let i be (-3)/f*(-83)/9. Let y = 29/2 + i. Is y at most 1/4?
False
Let h be (2 - -1) + 2 + -6 + 1. Is -2/9 bigger than h?
False
Let f(v) = 2*v**3 + 9*v**2 - v + 7. Let z(l) = -3*l**3 - 14*l**2 + 2*l - 11. Let a(t) = 8*f(t) + 5*z(t). Let p be a(-1). Is 1 greater than p?
True
Let s be (2 - 5) + -2 - (-5 - -2). Let m(g) = g**3 + 4*g**2 + 5*g + 3. Let w be m(-3). Which is smaller: w or s?
w
Suppose -4*i + 2*j = j + 5, -5 = -j. Which is smaller: i or -7/8?
-7/8
Let c = 138 + -137.9. Is 2/73 >= c?
False
Let a = -0.6 + 1.3. Is a > -1/2?
True
Let c = 0.25 - -0.18. Is c greater than 1/2?
False
Let b = 2.6 - 5.6. Is 1/7 at most as big as b?
False
Let y(u) = -u**2 + 5*u - 3. Let v(p) = p**2 - 6*p + 4. Let f be v(6). Let t be y(f). Suppose l - t = 2*l. Which is bigger: l or 0.1?
0.1
Let y = -10 - -9.2. Let z = -1 - y. Let r(q) = -q**3 + 3*q**2 - 3*q + 3. Let i be r(2). Which is greater: z or i?
i
Suppose -3*m - 45 = 2*m. Let w = 9 + m. Which is smaller: -1 or w?
-1
Let i be (-5)/(-10) - 30/4. Let g be (-1 - i)*1/9. Is -17 bigger than g?
False
Let q = 1 + -7/5. Let g(i) = -i**2 + 5*i - 1. Let d be g(3). Suppose 2*t - 3 = d*t. Is t at least q?
False
Suppose 55 = -5*r + 3*o, 0*o = -4*r + 2*o - 42. Is -6 at most r?
False
Let m(o) = -o + 7. Let j be m(10). Let i = 1 + 0. Let r be 2*i - (-8)/j. Which is bigger: r or -1?
r
Suppose 20 = -0*m + 4*m. Let s = 2 - m. Is s at least -3?
True
Let l(n) = -n**3 - 7*n**2 - 7*n - 6. Let y be l(-6). Let j(h) = h**3 + 7*h**2 - 8*h + 1. Let v be j(-8). Let k = -1 + v. Does y = k?
True
Let z = 74374/85 + -875. Which is smaller: 1 or z?
z
Let b(k) = -k**2 + 15*k - 13. Let v be b(14). Is 2/23 at least v?
False
Let r = -3 - 3. Let x = r + 5. Which is bigger: x or 2?
2
Suppose -3*o - 12 = -5*o. Suppose -3*x - o = 5*y, -5 + 15 = -5*x + y. Which is smaller: -5/9 or x?
x
Let a = -45 + 43. Which is bigger: -0.17 or a?
-0.17
Let v = -0.11 - 0.03. Let r = 0.06 - v. Let i = 0.1 - 0.2. Is r at least as big as i?
True
Suppose 2 = -c + 1. Let j be 3/(-12) + 33706/(-120). Let w = j + 281. Is c less than w?
True
Let a = 83/21 + -11/3. Let g = 0.038 + -0.048. Is g greater than a?
False
Let u = -18 + 50. I