6 = 4*l + 5*g, g = -5*l + r. Are 2/11 and l equal?
False
Let p be (-11)/(0 + 1/1). Do -11 and p have different values?
False
Suppose 12 = p + p. Let x = 11 - p. Let a = -3 + x. Are a and 3 equal?
False
Let g(c) = 5*c**2 + 7*c + 10. Let a(z) be the third derivative of z**5/60 + z**2. Let d(q) = -6*a(q) + g(q). Let j be d(8). Does 1/2 = j?
False
Let w = -42 - -28. Let n be 24/14 - 4/w. Suppose -3*a + 5*f = -20, -5*f = n*a + 5 + 15. Which is bigger: a or 0.1?
0.1
Let b = 9 + -2. Let c(u) = -u**2 + 6*u + 8. Let r be c(b). Do r and 12/7 have the same value?
False
Let t be (-6)/(-9) - 14/35. Is -1 equal to t?
False
Let r = -4 - -3. Let t = -321341/42 - -7650. Let h = t + 8/7. Which is greater: h or r?
h
Suppose -2*b - 8 = -2. Let n be ((-2)/b + -1)/(-1). Let m(u) = -2*u**3 + 21*u**2 + 10*u + 11. Let w be m(11). Which is smaller: n or w?
w
Suppose -1 + 9 = -4*r + 4*j, -14 = -3*r - 2*j. Suppose 1 = r*y + 5. Is -10/9 bigger than y?
True
Suppose -3*k - 3*n + 2*n = 6, 3*n - 10 = 5*k. Let v be (2 - 2) + k/(-15). Let d = 2 + -2. Is d greater than or equal to v?
False
Suppose 0 = -2*j + 5*s - 10, -j - 8 = -3*s - s. Suppose -4*d + 2*k = 0, 3*d - 5*k + 7 = -0*d. Which is bigger: d or j?
d
Let f(r) = -r**2 + 3*r + 2. Let n be f(2). Suppose -2*t = n*m, -2*t + 4*m = -0*m - 8. Let p be (t/(-2) + 1)/1. Is -4/5 at least as big as p?
False
Suppose r = 5*r - 212. Let w be (r/38 - 0) + -1. Let h = w + 47/266. Is 0 greater than h?
False
Let b(n) = n - 7. Let l be b(9). Suppose 4*i - i + 1 = -l*c, -7 = i + 4*c. Let s be 10/(-8) - 2/(-2). Is i at most s?
False
Let x be 2 + (-1370)/(-1023) + -2. Let i = 2/341 - x. Which is bigger: 0 or i?
0
Suppose 0 = y + 3*y. Suppose 5*z + 2*r = 1, 5*r = z - y*r + 16. Let s(h) = 2*h + 4. Let w be s(-3). Is w smaller than z?
True
Let y = -58/109 + -1792/3597. Let v = 4/11 + y. Which is greater: -2 or v?
v
Let h = 9 - 5. Suppose -l + h = 0, 6 = 4*n + 4*l - 14. Suppose -f + 4*g + n + 1 = 0, 2*g = 0. Which is bigger: f or 3?
3
Suppose 4*t + t = 0. Which is greater: t or 3/11?
3/11
Suppose -9*g - 176 = -g. Suppose 126 = -4*o + 42. Which is smaller: o or g?
g
Let c = -12 - -21. Let g = 8 - c. Which is bigger: g or 3/10?
3/10
Suppose -5*x + 0*x = -30. Let g be 3*(-1 + 0) + x. Does g = 2?
False
Let h = 1.99 + -2. Let v = -0.09 + h. Which is greater: v or 0.3?
0.3
Let j = 1026/25 + -71/25. Let t = 38 - j. Which is smaller: 1 or t?
t
Let n be -3 + 1 + 1*2. Let a(b) = b**2 + 9*b - 2. Let t be a(-8). Let d be 9/t + (-2)/(-4). Which is greater: d or n?
n
Let h = -10 - -11. Let i be 101/72 + (-4)/4. Let o = 5/18 - i. Is o smaller than h?
True
Let m(s) = -s**2 - 5*s - 6. Let d be m(-4). Let t be (-2 - 3/d)*0. Suppose -3*f + 0 + 6 = 0. Is f smaller than t?
False
Let f(u) be the third derivative of -u**6/120 + u**5/15 - u**4/12 - 2*u**3/3 + 2*u**2. Let x be f(3). Let n be ((x - -5)*-1)/(-5). Is n at most as big as 0?
False
Let v = 1.6 + -1.7. Let h be (-1)/4 + (-15)/36. Which is bigger: v or h?
v
Let k(v) = v**3 + 10*v - 4 - 4*v**2 - 6*v**2 + 0*v. Let o be k(9). Suppose 0 = -0*z + o*z - 5. Are z and -1 unequal?
True
Let d = 1/50 - 29/200. Let i = 3 - 1. Let c be (-2)/24 - i/(-6). Which is smaller: c or d?
d
Let v be (1 - 8)*(-76)/6. Let q = 88 - v. Suppose 2*y - 7*y = 10. Is y greater than or equal to q?
False
Let b be (-196)/(-91) - 2/13. Suppose 0 = b*y - 3*m, 7 = -5*y + 5*m - m. Which is greater: -4 or y?
y
Let k = 0.4 - 0.47. Let r be (1 - 3)*(-1 + (-8)/(-7)). Which is bigger: r or k?
k
Let r(x) = 2*x**3 + 3*x**2 + x - 1. Let t be r(-2). Let a(k) = 2*k**2 + 15*k + 10. Let w be a(t). Which is greater: w or 2?
w
Let b = -71/192 + -1/192. Let d(l) = -l**2 - 2*l - 1. Let i be d(-1). Which is smaller: i or b?
b
Let q be (-4)/(-62)*(-3 - (-55)/20). Which is smaller: q or 0?
q
Suppose 2*s - 4*a = 6*s - 452, -2*a = 3*s - 343. Let j be (-60)/s + 2/3. Which is smaller: 1 or j?
j
Let g = 2 - 7. Let m = g - -5. Let l be (5 - 2)/3*m. Is l > 1/3?
False
Let j(n) = -3*n**2 + 5*n - 5. Let o be j(3). Let q be o/4 + 8/32. Which is bigger: -3 or q?
-3
Let c(f) be the second derivative of f**5/20 + 7*f**4/12 + 7*f**3/6 + f**2/2 - f. Let p be c(-6). Let q be 36/(-20)*(-30)/(-9). Are p and q non-equal?
True
Let u(a) = -a**3 + a**2 + 6*a + 2. Let x be u(3). Let j be ((-1)/(-1))/2*4. Is x greater than j?
False
Let f = 285/26 + -21/2. Are f and 1 equal?
False
Let k be (-2)/(-8) - (-49)/28. Let h be (0 + 1)/(k/(-2)). Let o be (-1)/2 - (-7)/18. Is h at most as big as o?
True
Let h = -1802/11 - -164. Is 0 less than or equal to h?
True
Suppose -105 = 5*l + a - 3*a, -3*l - 5*a = 63. Let f = l + 9. Let v = -62/5 - f. Which is bigger: v or 0.3?
0.3
Let q = -0.99 + 5.89. Let f = -0.9 + q. Let b = 5 - f. Which is smaller: b or 0.2?
0.2
Let n be (39/126)/((-2)/(-5)). Let a = n + -3/28. Which is greater: a or 0?
a
Let m(o) = o**3 - 3*o**2 - o + 3. Let d be (2/(-4))/(1/(-6)). Let v be m(d). Which is smaller: v or -1?
-1
Let j be -2 - 1 - 4/(-4). Let y be 5/(-10) - j/(-4). Which is bigger: y or 2?
2
Let l = 1 - 3. Let u(c) = -3*c**3 - c**2 + 1. Let q be u(1). Let h be q/(-30)*2*-3. Are l and h equal?
False
Let c = 101/869 - 2/79. Let z = 14/33 - c. Let h = 36 - 34. Is z less than h?
True
Let r = -0.86 + -0.14. Is -0.31 <= r?
False
Let s(t) = t**3 - 12*t**2 + 12*t - 8. Let i(m) = -m**2 + m. Let y(v) = 5*i(v) - s(v). Let l be y(6). Which is smaller: l or 1?
1
Let h = -4 + 4. Let v be (-9)/15 + 66/10. Suppose 3*x - x + v = y, -4*y + 4*x + 8 = h. Which is smaller: 1/3 or y?
y
Suppose -s = 2*s. Is -1/12 > s?
False
Let a be 2 + 1 + (-85)/15. Which is bigger: a or -4?
a
Let k = 22 + -16. Suppose 0 = 4*n - 0*n - 20. Which is smaller: n or k?
n
Let w(a) = -8*a - 1. Let h be w(-2). Suppose 2*g - 3*g = -2*p + 12, -5*p - 5*g + h = 0. Let u = 8 - p. Is u > 2?
True
Let y = -237/20 + 45/4. Which is smaller: -2 or y?
-2
Let p = -8.5 + 8.4. Is -0.7 smaller than p?
True
Let a = -41/60 + -1/15. Is 0 greater than a?
True
Suppose -3*t = -3*b - 8*t - 40, 0 = 2*b - 2*t. Which is smaller: b or -7?
-7
Suppose -2*r - 40 = 4*f, -20 + 56 = -4*r + 3*f. Let p be 4324/10570 - r/(-42). Let t = p - 10/151. Is 1 less than or equal to t?
False
Let r = -379 + 395. Let n = 44/57 - 2/19. Which is greater: n or r?
r
Let f(x) = x**3 + x**2 + 2*x. Let d be f(0). Is d less than or equal to -2/45?
False
Let m = 27 + -15. Let r = -12 + m. Is r bigger than 3?
False
Let u = 152 + -154. Is u <= -17?
False
Let r = 0 - 4. Let c be (-1)/(-7) - 45/21. Which is greater: r or c?
c
Let n = 612261/14 - 655120439/14980. Let k = n + 3/107. Which is greater: k or -1?
k
Let j = 0.7 + 0.3. Let g(d) = d**2 - 3*d + 8. Let b(n) = n**2 + n. Let v(p) = -2*b(p) + g(p). Let x be v(-6). Is x less than j?
False
Suppose 0 = 5*i - 26 + 6. Suppose -i*c + 6*c = 0. Which is smaller: -4/5 or c?
-4/5
Suppose -3*b = b - 8. Suppose -4*o = -2*l - 2 - 2, b*o + 4*l - 2 = 0. Which is bigger: 2/27 or o?
o
Let a be (-41)/129*1 - (-12)/36. Is a bigger than 0?
True
Let q be -2 - 0/1 - 7. Let g be (-92)/q*(-205)/(-20). Let j = g - 105. Which is smaller: j or 1/3?
j
Let t = -6/1277 + 596401/8939. Suppose 0 = -7*b + 3*b - 3*w - 262, 2*b + 136 = w. Let n = b + t. Which is smaller: -1 or n?
-1
Let q(w) = -w + 2. Let n be q(1). Which is bigger: n or 0?
n
Let z be (15/(-50))/(15/(-20)). Let s = 0.1 - 0.1. Is s smaller than z?
True
Let i = 38.5 - 39. Which is bigger: i or -1.1?
i
Let a = 73 + -51. Is a smaller than 21?
False
Suppose -17 + 2 = -5*m. Let b be m + -2 + -3 + 2. Suppose -2*g = -2*i + 6, -2*i = -b*i. Is -5/3 < g?
False
Let z(l) = l - 5. Let d = -2 + 5. Let w be z(d). Which is bigger: -5/3 or w?
-5/3
Let g be (3/(-24))/(66/36). Which is greater: 0 or g?
0
Let n be 1 - (2 + -2 - -57). Let l be 12/n + 4/(-14). Is 4/7 > l?
True
Let o = -1/15 + -1/3. Let b = 2.25 + -0.35. Let d = -2 + b. Which is smaller: o or d?
o
Let d = 0.9 + -0.4. Let i = -0.7 + d. Is -1 less than or equal to i?
True
Let j = -0.104 - -0.136. Is j > 1/3?
False
Suppose -2*r = -3*r - 1. Let u = -358 + 358.7. Is r less than u?
True
Let a be 5 - (0 + 2 + 1). Suppose -a = y - 1. Which is smaller: 1 or y?
y
Let b(u) = 0*u + 1 - 1 + u. Let g be b(0). Which is smaller: -2 or g?
-2
Let b = 71681/97 - 739. Is -1 less than or equal to b?
True
Let q be -1*2*1 - -5. Let n be q*1*(-4)/(-6). Let w = 1 + n. Which i