 + u = 4*g. Is -0.2 greater than g?
False
Let x = -8 + 1. Let u = x - -3. Which is bigger: u or -1?
-1
Suppose -4*l - 2 = -6. Let g = -6 + 8. Which is bigger: l or g?
g
Suppose -4*p + 5*w = 0, -4*w + 9*w = 2*p. Suppose 0 = -3*v + 3 - p. Which is smaller: -3/10 or v?
-3/10
Let y(d) = -d + 10. Let v be y(7). Suppose -4 = f - t, 4*t + 42 = -v*f + t. Let i = 8 + f. Is i <= -1/4?
True
Let p be ((-4)/15)/(4/10). Let n = -1/6 - p. Is n > 1?
False
Let x = 352/1503 + -2/167. Let n(j) = -j + 14. Let g be n(13). Is x less than or equal to g?
True
Let v be (3 + -1)/((-2)/(-2)). Suppose 0*o = v*o + 4*t + 12, -4*o - 2*t - 30 = 0. Which is smaller: o or -7?
o
Let j = 6 - 5.95. Let y = -0.05 - j. Is y > -0.5?
True
Let c = 1.8 + 0.2. Let l = 1.6 + -3.5. Let i = c + l. Which is greater: 2/5 or i?
2/5
Let h = -2 - -3. Let d = 109 + -1855/17. Is d greater than h?
False
Let f(t) = t**3 + 9*t**2 + 9*t + 5. Let i be f(-8). Let g be i/(-5) - (-96)/(-210). Which is bigger: -1 or g?
g
Let q = 0 + -0.02. Let h = -0.02 - q. Is h at most as big as -0.2?
False
Let i(f) = -2*f - 3. Let h be i(-2). Let d(a) = -a**3 - 6*a**2 - a - 8. Let l be d(-6). Let v = h + l. Are -2/41 and v equal?
False
Let w = 1494 + -13472/9. Let c = w - -20/9. Is c > -2?
True
Suppose 12*f - 9*f = 171. Is f at least as big as -0.1?
True
Let z = 3 + -3.8. Let h = z + 0.6. Which is greater: h or 0?
0
Let p be ((-14)/(-6))/((-8)/(-6)). Let n(j) = -j + 4. Let r be n(2). Which is bigger: r or p?
r
Let g = 7 + -10. Let u = 1 + g. Let y = u - -2. Is y greater than or equal to 0.2?
False
Suppose 0 = 8*l - 16 + 24. Suppose -2*f + 5*f = 12. Let y = -2 + f. Which is greater: l or y?
y
Let q = 74 - 75. Which is bigger: -1/59 or q?
-1/59
Let p be (-9)/((-2)/(-4)*-3). Let j(g) = 3*g**3 - g**2 - g. Let u be j(-1). Let w be 2/u*p/10. Does w = -1?
False
Let p = -19 - -13. Let t be 6/p*(1 + 0). Which is smaller: -0.04 or t?
t
Let b = -6 + 4. Let y be (b/(-3))/((-14)/6). Which is smaller: y or 1?
y
Let h(z) = 2*z - 3. Let p be -3 + 8 - (0 - -3). Let j be h(p). Let l = -0.1 + 0.2. Does l = j?
False
Let f = -86/51 + 13451/204. Let i = f + -64. Is i > -3?
True
Let b be (-52)/24 - (-4)/6. Let k = -0.6 + 0.4. Which is smaller: b or k?
b
Let u be -4 - 2*(-2)/(-4). Let g(r) = -r**2 + r. Let q be g(-4). Let a = 14 + q. Which is bigger: u or a?
u
Let i = -13 + 15. Suppose y = 5*x + 2, -4*x + i*x + 7 = -3*y. Let s(q) = -q**2 + 4*q - 3. Let p be s(4). Is y at most p?
True
Suppose -10*f = -9*f + 1, -5*o + 4*f - 11 = 0. Is -11/4 smaller than o?
False
Let n be (-102)/(-105) - (-3 - -4). Let a = n - -37/70. Which is smaller: 1 or a?
a
Let r be (-46)/14*(-6)/48. Let w = r - 1/8. Let m(d) = d**2 + 6*d + 6. Let z be m(-5). Is z bigger than w?
True
Suppose 0 = -10*a + 9*a - 14. Is -14 greater than a?
False
Let h = 0 + -1/8. Let j be 1/(-2) + 99/6. Suppose f = 4*k + j, 5*f - 2*k - 6 = 2. Which is smaller: h or f?
h
Suppose r + 5*q - 3 = -4, 3*q = r - 7. Let y = -5 + 3. Let h(j) = -j**3 - 2*j**2 - 3*j - 3. Let u be h(y). Is r greater than or equal to u?
True
Let q = 289/2 + -149. Is q less than or equal to -6?
False
Let n be ((-5)/20)/((-11)/(-12)). Is n > 0?
False
Let z = -22 + 17. Is z greater than or equal to -6?
True
Let v be (-5)/5*(0 - (-1)/(-50)). Which is bigger: 0 or v?
v
Suppose -10*o + 6 = -8*o. Which is smaller: 0 or o?
0
Suppose -7 = 3*a - 4, 0 = -5*s - a - 2926. Let v be 2/(-5) + (-299)/s. Which is smaller: v or 1?
v
Suppose -5*s = -9 - 21. Let n = s - 10. Let t(j) = -j - 5. Let x be t(n). Which is smaller: x or -4/5?
x
Let f(w) = -28*w**2 + 5*w + 5. Let v(x) = -83*x**2 + 14*x + 14. Let b(l) = 17*f(l) - 6*v(l). Let z be b(2). Let g = z + -635/7. Which is smaller: -2 or g?
-2
Let r = 1.3 + -0.5. Is r bigger than -2?
True
Let h = -22 - -22. Are h and -3 equal?
False
Let d = 83/3 - 3817/138. Let p = 295/2622 - d. Suppose -3 = -5*i + 4*n, 7 = i - n - 3*n. Which is smaller: i or p?
i
Let b(s) = s - 6. Suppose 3*y - 7 = 2*y. Let r be b(y). Are r and 1/6 equal?
False
Let v be 5/((1 + 0)/(-1)). Let c(y) = 14*y**2 + 2*y - 3. Let t(h) = -5*h**2 - h + 1. Let d(i) = -6*c(i) - 17*t(i). Let f be d(v). Is f greater than 1?
False
Let s(i) = -i**2 - 3*i - 1. Let p be s(-3). Let n be -857*(30/14 - 2). Let d = 122 + n. Which is bigger: p or d?
d
Suppose 0 = -f - 4*f + 20. Let a(u) = -2 + u + f*u - 4*u. Let v be a(2). Which is bigger: v or -3/5?
v
Suppose 5*h = -0*n + n - 4, -5*n + 5*h = 0. Which is smaller: -4/11 or n?
n
Let a(b) = 4*b**3 - 1. Let y be a(-1). Do -5 and y have different values?
False
Let s be 8/12 + 10/(-6). Is -1 >= s?
True
Let j = -5 + -7. Suppose 0*m - 4*m + 40 = 0. Let u be 2/m - j/15. Are u and -2/5 unequal?
True
Let m(y) = -y**2 + 9*y - 8. Let i be m(7). Suppose -n - 8 = 3*f - 6*f, -4*n - 3*f + 43 = 0. Let d = i - n. Which is smaller: d or -1/6?
d
Let s be (-1116)/(-210) - (21/(-15) - -1). Which is bigger: 6 or s?
6
Suppose 0*b - 8 = 4*b. Is -1/2 at most as big as b?
False
Suppose -17*b = -11*b + 6. Is b != -1/89?
True
Let s(h) = -h**2 - 5*h + 1. Let j be s(-3). Let z be (-3)/j*(-4)/(-6). Which is smaller: z or -1?
-1
Let a(j) = -j**2 + 9*j - 3. Let r be a(8). Suppose r*i - 50 = -0*i. Let s = 29/3 - i. Do 1 and s have the same value?
False
Suppose -5*l + 89 + 16 = 0. Which is bigger: l or 20?
l
Suppose -40 = -0*f - 5*f. Let i = -3 + f. Let k be (i/(-25))/(2/5). Which is smaller: 1/3 or k?
k
Let u be (-5)/1 + (-114)/36*-3. Suppose -3*o + 4*b = 0, 3*b + 1 - 2 = 2*o. Which is bigger: o or u?
u
Let y = 0 - 0.2. Is y < 4/5?
True
Let v = -91 + 43. Is -47 at most as big as v?
False
Suppose -2*f = -4*f - 10. Let y = 1 + f. Let m(o) = -3*o + 11. Let p be m(4). Which is smaller: y or p?
y
Let s(t) = t**2 + 7*t + 10. Let w be s(-5). Are w and 3/4 equal?
False
Let f(h) = 2*h - 5. Let d be f(4). Let i = d + -4. Suppose 4*g = -2*c, 8 = -3*c - 2*c - 2*g. Are c and i non-equal?
True
Let s = 17/4 + -9/2. Which is smaller: 1 or s?
s
Let m = -84 + 1429/17. Is 1 >= m?
True
Let g = 0.05 + 0.75. Let q = g - -0.2. Let d = 0 - q. Are -2 and d unequal?
True
Let g = -4.05 - -4. Let c = 1.94 - g. Let q = c + 0.01. Which is smaller: q or 1/4?
1/4
Let o be 399/14*4/(-6). Let h be -6*1/(-2)*o. Let t = 1541/27 + h. Which is smaller: -1 or t?
-1
Let o be (-1)/(1/(-2) - -1). Let k = 6 + -1. Suppose 5*l - k = -15. Is o less than l?
False
Let l be 210/(-40) - (-1 + 9/12). Does 5 = l?
False
Let r(y) = y**3 - 7*y**2 - 6*y + 8. Let v be r(8). Suppose 4*w + v = -4*q, 8*w + 26 = -5*q + 4*w. Suppose 16 = -6*u - 2. Is u less than q?
True
Let n(g) = g - 7. Let w be n(6). Let f(s) = 4*s - 3*s - s**2 + 4*s + 3. Let b be f(6). Is w at most b?
False
Let q be 0 + 4*(5 + -4). Is q less than or equal to 4?
True
Let k = 69 - 277/4. Is 2/5 < k?
False
Let f = -6 + 10. Let j = -3 + f. Is 0.2 bigger than j?
False
Let a = -0.03 - 0.27. Which is greater: -3 or a?
a
Let g(t) = t**2 - 8*t + 1. Let f be g(8). Let a be 0 - (50/35)/(-5). Which is greater: f or a?
f
Let x = 7.9 + 0.1. Is x at most as big as -1?
False
Let w be 0/(-2) - (-1 + 9). Suppose f = 4 + 2. Let l be 4/6 + w/f. Are l and -2 unequal?
True
Let g = -20/7 - -653/231. Let q(l) = -l**3 + 7*l**2 - l + 8. Let f be q(7). Which is smaller: g or f?
g
Let o(c) = -c**3 - 7*c**2 - 9*c - 5. Let h be (-6)/21 + (-120)/21. Let z be o(h). Which is smaller: z or 14?
z
Suppose -2*v + 7 = -3. Suppose 4*c + 4*u = 29 - v, 0 = 2*c - 3*u + 13. Which is smaller: -2/9 or c?
-2/9
Let n be (-17)/(-136) - 66/16. Is n less than or equal to -0.2?
True
Let k = 1 + 2. Let b = k - 4. Let d = b + -1. Which is smaller: d or 0.2?
d
Let d be 18/36*(-12)/103. Which is bigger: d or 0?
0
Let n(r) = -r**2 + 5*r + 1. Let m be n(4). Suppose -m*q - v + 7 = -2*q, 1 = -3*q - 5*v. Let i be (-3 + 5)/((-14)/2). Is i <= q?
True
Let c(v) be the second derivative of -v**3/3 - 3*v**2 + 2*v. Let d be c(-4). Let i = 2/23 - -40/69. Which is smaller: d or i?
i
Let s = -52 - -262/5. Suppose -96 = 2*d + d. Let m be (-4)/(d/(-6))*4. Is m at least s?
False
Suppose 0 = 4*s - 6 + 2. Let t be (2/(-7))/(2/436). Let k = t + 62. Which is smaller: k or s?
k
Let p(b) be the first derivative of -b**3/3 + 2. Let r be p(1). Is r < 0?
True
Suppose -3*h + 15 = 0, l - 22 = -2*l - 5*h. Let f = 11 + -23/2. Is l > f?
False
Suppose l + 3*l + 4*z + 4 = 0, 4*l - z = 1. Suppose v + v = l. Is 