-0.34 - -15.34. Let a = g - 10. Which is smaller: a or 1/3?
1/3
Suppose 0 = -5*w + 2*w + 9. Which is smaller: w or 15/4?
w
Let b be (10/(-8))/(25/(-30)). Are 2 and b equal?
False
Let x(w) = -w - w + w + 0. Let o = -1 - -3. Let q be x(o). Is -2 greater than q?
False
Let k = -0.1 + 3.1. Let y = -3.111 + 0.011. Let s = y + k. Which is bigger: s or -2?
s
Let j be 1/(-5) + 42/10. Let q be 7/42 - j/(-6). Which is smaller: q or 2?
q
Let x = -1 - 0. Let u = -1.2 - x. Let y = u + 0.2. Which is smaller: 2 or y?
y
Suppose -43 = 7*g - 15. Is g at least as big as -2?
False
Suppose 6*h = 3*h + 21. Suppose 2*z = 2*b - 8, 20 = -4*z - 2*b + h*b. Let d = 0.12 - 0.02. Which is smaller: d or z?
z
Let o = 3 - 3.2. Let v = 2044/11 + -186. Is o at most as big as v?
True
Suppose -4*r = -2*r. Let z = -1 - r. Is z bigger than -1?
False
Let g(n) = n**3 - 2*n**2 - 2*n - 1. Let f be g(3). Suppose f = 4*t - 4*b - 6, 2*t - 5*b = 4. Suppose -4*w - 15 = -t*h - 3*h, 0 = 2*h + 3*w + 17. Is h < -1?
False
Let v = 295/1562 - 1/142. Are v and 0.8 non-equal?
True
Let h = 20 + -17. Is h at least 1/4?
True
Let i = -101/4 - -25. Let z(x) = -x**2 - 3*x - 2. Let l be z(-3). Let a be (-1*(l - -3))/1. Which is smaller: i or a?
a
Let d(s) = 2*s + 2. Let z be d(-1). Which is bigger: 2/25 or z?
2/25
Suppose 4*x = 5 - 13. Let g = -2 - -2. Is x != g?
True
Let k(u) = -u**3 + u**2. Let c(g) = 6*g**3 - 10*g**2 - 7*g + 9. Let m(w) = c(w) + 5*k(w). Let t be m(6). Let a be t/(-2)*(-6)/9. Is 1 <= a?
True
Let j = -0.96 + -0.04. Is 0.08 smaller than j?
False
Let d = 2/35 - -64/105. Which is greater: 1 or d?
1
Let b(i) = -i**2 + 8*i - 10. Let j be b(6). Which is bigger: j or 1/2?
j
Let m be ((-17)/102)/((-2)/5992). Let f = -504 + m. Is -6 > f?
False
Let g be (3/(-21))/(2/1578). Let w = 113 + g. Are 1 and w equal?
False
Let o = 0 - 6. Let w = -6 - o. Which is greater: w or 2/15?
2/15
Let f = -59/3350 + -3/134. Which is smaller: f or -1?
-1
Let b = -49 - -33. Let m be -2*-5*2/b. Is 0.1 at most as big as m?
False
Let w be (-10)/15 + 6/9. Which is smaller: 2/5 or w?
w
Suppose 3 = -2*b + 5. Let j = 16 + -34. Let s be 2/3 - (-3)/j. Which is smaller: s or b?
s
Let k be ((-1)/(-3))/(15/90). Suppose -k = -c + 9. Is 11 at most c?
True
Let c = -104 - -97. Is -6 smaller than c?
False
Suppose -3*x = -4*x. Suppose 0*l + 3*l - 36 = x. Let y be l/(-18)*(-18)/8. Which is smaller: 3 or y?
y
Let q = 7 + -11. Let p(z) be the second derivative of -5*z**4/12 + z**3/6 + z**2/2 - 2*z. Let o be p(-1). Which is smaller: o or q?
o
Let w be 27/63 + 3/(-7). Are 1/14 and w equal?
False
Let b = 127/12 + -31/3. Is b greater than 0?
True
Let w(q) = q - 7. Let b be w(13). Let k be (-11)/(-30) - b/12. Do k and 1 have the same value?
False
Let y = -10.82 - -0.02. Let a = y - -10. Is a bigger than -2/3?
False
Let s = 2 + -3. Let g = 213/23 + -9286/1035. Let v = -1/15 + g. Are s and v unequal?
True
Let j = 135 - 149.2. Let k = -14 - j. Are 1 and k nonequal?
True
Let p(c) = c**2 + 6*c + 3. Let l be p(-5). Is l greater than or equal to -2?
True
Let z be 0/1*4/8. Let w be (7 - 5) + (-11)/6. Is w greater than z?
True
Let u = -5 - -13. Suppose 0*t + u = 2*t. Suppose 0 = 2*r - t*j + 2*j - 8, 0 = r - 5*j - 16. Is 2/15 greater than r?
False
Let m = -11.3 - -16.9. Is -0.1 > m?
False
Let m = 2 - 0. Let l be (1/2)/(m/(-12)). Let t(y) = -4*y**2. Let v be t(1). Are l and v unequal?
True
Let g(m) be the second derivative of m**4/12 + m**3 - 2*m**2 - 3*m. Let h be g(-7). Suppose -3*n + 7 = -b, 10 = h*n - 2*b - 2*b. Which is smaller: n or 1?
1
Suppose 4*f + 34 = -3*z, 0*f - 10 = -z + 4*f. Let h = z - -5. Is -8/7 smaller than h?
True
Let t(g) = 2*g**3 + g**2 + 2*g + 1. Let d be (-1 - 1) + 0 + 0. Let i(z) = -z**2 - 3*z - 3. Let p be i(d). Let r be t(p). Which is smaller: -1 or r?
r
Let h be (-3)/12 + (-19)/4. Suppose 5*o + 16 = -2*j, 0 = 3*j + 3*o + 50 - 8. Let d = j + 13. Is d less than h?
False
Suppose 10*v + 4*f = 5*v + 4, 3*v = -5*f - 8. Let n be -1 + v + (-49)/21. Do -1 and n have the same value?
False
Suppose -2*r + 5*r + 3 = 0. Let v(x) be the third derivative of x**6/60 + x**5/30 + x**4/24 - x**2. Let j be v(r). Which is greater: -3 or j?
j
Let k be (-2)/(-2) + 1 + -1. Let x be ((-57)/874)/((-3)/4). Which is bigger: k or x?
k
Let u = -424/7 - -60. Let c(s) = -s + 1. Let k be c(2). Which is bigger: k or u?
u
Let h(g) = g**3 + 7*g**2 - 7*g + 3. Let a be h(-8). Let t = a + 2. Suppose 5*w = -3*u - 4, 12 + 8 = -5*w + 5*u. Which is smaller: w or t?
t
Let v = 97 + -97. Is 0.13 equal to v?
False
Let k(a) = -10*a**2 + 3*a - 2. Let b(j) = -j**2 + j - 1. Let n(q) = -2*b(q) + k(q). Let i be n(1). Does -6 = i?
False
Let k = -11.99 - -12. Let f = -3 - -2.99. Let n = k + f. Is 3 smaller than n?
False
Let x = -7 + 6.6. Which is smaller: 4 or x?
x
Let y be 187/(-102) + 1/(-6). Which is smaller: y or -4/3?
y
Let i = 10 + -7. Let s = -3 - 1. Let t = s + i. Is t > 0?
False
Suppose 0 = -p + 2*p + m, 2*p + 4*m = 0. Suppose 5*b - 23 + 3 = p. Let t be (b + (-1)/(-1))/1. Is t at least -0.1?
True
Let n = 12 - 11.93. Let b = n + -0.17. Is b <= 1?
True
Suppose -c - 3*c = -60. Suppose 3*v = u + 2*u + 9, -c = 3*u. Which is greater: v or 0?
0
Let m(c) = -4*c + 21. Let k be m(6). Which is bigger: k or -2?
-2
Let s = 16.26 - 6.18. Let u = -11 + s. Let c = 0.08 - u. Is 2 at least as big as c?
True
Let m(k) = k**2 - 2*k - 5. Suppose 1 = 3*z - 2*z. Let s(b) = 5*b - 1. Let q be s(z). Let o be m(q). Does o = 3?
True
Let u be (-4)/(-2) + (0 - 3). Suppose -2*r = -0*r + 6. Is r at most u?
True
Suppose 3*w - 13 - 2 = 0. Suppose -2*v + w = -3. Suppose 3*o = -v*r - r - 17, -4*r - 2*o - 12 = 0. Which is greater: r or 2/7?
2/7
Let u = -10 + 6. Let x = 10 + u. Let j = x - 5. Which is smaller: j or -0.1?
-0.1
Let s be 8/6*(-9)/(-6). Suppose -s*n + 2 = -0. Which is greater: n or 2?
2
Let m = 17 - 33. Is -15 at least as big as m?
True
Let x(u) = u**3 + 2*u**2 - 5*u + 1. Let o be x(-3). Do o and 2/9 have the same value?
False
Suppose -2*g + 5*b - 13 - 4 = 0, 25 = 5*b. Suppose 22 = d + 5*w, g*d + 0*w + 2 = -2*w. Is -3 != d?
False
Let f = -8 - 3. Let s = -7 - f. Let x be (-4)/(-2)*s/(-20). Which is smaller: 1 or x?
x
Let u = 14/195 - 3008/36465. Is -1 less than or equal to u?
True
Suppose c - 3 = -2*h, -5 = -4*c + 3*h - 4*h. Is -1/14 < c?
True
Let p = -30 + 10. Let r = p + 28. Let l = 78 - 69. Is l >= r?
True
Suppose -4*y + 275 = -3*r, 4*y + 126 = -5*r + 425. Suppose -3*k - 194 = 5*l, 4*l - y = 6*l - k. Let g = l + 257/7. Is 1 greater than g?
True
Let i be (1 - -3) + 1 + 3. Let f = i + -4. Are 2 and f equal?
False
Let r = -0.1 - -11.1. Let a = r - 11.02. Is a bigger than -1?
True
Suppose -b = -3*b - 8. Does b = -4?
True
Suppose 0*a + 3*a + 15 = 0. Let i(n) = -3*n + 10. Let o be i(4). Is o smaller than a?
False
Suppose k - 2 + 14 = -3*i, 3*k = -5*i - 24. Let a(y) = 2*y + 5. Let t be a(-4). Let n be k*t*(-2)/18. Which is smaller: n or -2/7?
n
Let o = -5339/210 + 127/5. Which is greater: o or 0?
0
Let j be (10/(-2) + -2)*-1. Let b be (-30)/j + (-4)/(-14). Is -4 greater than b?
False
Let k = -2 - -4. Which is bigger: k or 0.04?
k
Suppose -5*y = -5 - 15. Which is smaller: y or 17/4?
y
Let n = 0 + 4. Let s(x) = -x**2 - 7*x - 7. Let q be s(-5). Suppose r = -q*r + n. Which is smaller: r or -0.1?
-0.1
Let i(u) = u**3 - 9*u**2 - 11*u + 9. Let r(o) be the third derivative of o**6/120 - o**5/15 - o**4/8 + 4*o**2. Let l be r(5). Let b be i(l). Are 3 and b equal?
False
Suppose 3*o + 4 = n, 3*n - 3 = -2*o - 2*n. Let u be -6*(8/3)/1. Let v = 63/4 + u. Is v at most o?
False
Suppose -2*y + 4 = 22. Let x = -2 - y. Which is smaller: 8 or x?
x
Let y be (-1)/(-1) - (-1 + 9). Let q be (-1 - y) + 3/(-1). Let i be 9/5 + (-3)/15. Which is smaller: i or q?
i
Suppose 7*v - 4*v + v = 0. Which is smaller: v or 37?
v
Let j be (-4)/(-26) + (-8)/52. Suppose 3*t + 2*i + 11 = j, -2*t + 2*i + 4 = -2. Which is bigger: t or -1/7?
-1/7
Let f be 2/8 + 26/(-8). Let a = f - -5. Suppose 6*c - a*c = -4. Which is greater: 1/5 or c?
1/5
Let s be 6/(-9)*(-30)/4. Let k(y) be the first derivative of y**2/2 - 11*y - 1. Let u be k(s). Which is smaller: -5 or u?
u
Let h(q) = q**2 + 5*q + 4. Let c(l) = l**3 + 4*l**2 + l + 1. Let r be c(-4). Let b be h(r). Suppose 0 = -4*v + 6*v. Does b = v?
False
Let f be -8 - -7 - (-28)/10. Let b = -2 - -3. Do f and