 be ((-2 - f)*1)/3. Do -2/3 and g have the same value?
False
Suppose -y - 2*c - 5 = c, -4*y + 22 = -2*c. Let r be 1*(-4)/y*1. Which is bigger: r or -2/21?
-2/21
Suppose -12 = -0*f - 4*f. Suppose 0*o = 3*o - f. Let s be -3*(-3)/27*-1. Do o and s have the same value?
False
Let v = -61 + 60. Which is smaller: -2/19 or v?
v
Let v be 2/((-8)/6)*-2. Which is smaller: 2/5 or v?
2/5
Let y be (-1300)/21*(-12)/8. Let z = y - 5920/63. Does z = -2?
False
Let v be (-2)/(-6) - (-47)/3. Let s be ((-2)/v)/((-5)/20). Is -0.05 >= s?
False
Suppose -3*x = -5*k + 20, -2*k + 2*x + 12 = -0*x. Which is smaller: k or 1/49?
1/49
Let u(x) = -3*x**2 + 2*x - 1. Let n be u(1). Let i be (3 - 1)*3/n. Let j(t) = t**3 + 7*t**2 + 7*t + 4. Let b be j(-6). Which is bigger: i or b?
b
Let i = -3.28 - -3. Is -2/3 < i?
True
Suppose -2*y + 5*i + 22 = 0, -6*i = -4*i + 8. Let b be ((y - 1) + -5)/(-1). Suppose -b*z = -2*z + 3. Which is greater: z or 1?
1
Let b(h) = 5*h**2 + 41*h + 6. Let l be b(-8). Which is bigger: l or 0?
0
Let j be 153/(-135) - (-1)/(-5). Is j less than or equal to -0.2?
True
Let s = 3/167 - -390/6179. Let t = s + 59/185. Suppose -2*g = 2*g + 5*j - 15, 3*j = g + 9. Is g not equal to t?
True
Let q be (2/(-3))/(-1)*3. Suppose 4 = d + 1. Suppose 0 = -3*w + d*i - 2 - 10, 0 = -w + 5*i - 24. Is q >= w?
True
Suppose 0 = -g + 6*g - 5. Let l = -1 + g. Which is smaller: l or -3/10?
-3/10
Let a = -20/13 + 105/26. Suppose 3*p - 2*p - 20 = 0. Suppose 3*f - p = -2*f. Which is bigger: a or f?
f
Suppose 0 = -4*m + 27 + 17. Which is bigger: -0.1 or m?
m
Let s = 1 - 1.2. Let c = 258/455 + 2/455. Is c less than s?
False
Let r = -0.8 + 0.6. Which is smaller: 0.1 or r?
r
Let r(c) = 3*c + 5. Let z be r(-2). Is -1 smaller than z?
False
Let a(d) = 25*d + 1. Suppose -5*w + 4*w = 1. Let c be a(w). Let j = c - -49/2. Which is greater: j or 1/3?
j
Let d = 27/44 - 4/11. Let l be 2*2/(-2)*-1. Suppose 4*b = l*b. Which is smaller: d or b?
b
Suppose 0 = 5*q + 14 + 16. Is q greater than -5?
False
Let r = -15/2 - -8. Let x = r - 1. Is -1/2 at least x?
True
Let t = 0 - -4. Let y be 4/(-2) + t - 3. Let m(q) = -q**2 - 8*q + 8. Let w be m(-9). Is w > y?
False
Let j = 3 + -1. Suppose 0 = -3*v + j*v - 4. Let a be v/(-12) - (-1)/3. Which is bigger: 2 or a?
2
Suppose 0 = -5*d - 2*s + 23, -2*d + 13 + 1 = 2*s. Let k be (-2)/4*(-11 - -3). Is k less than or equal to d?
False
Suppose 10 = -4*j - 2*d - 8, -2*d = -2*j - 18. Let c be (-11465)/(-45) + (-4)/(-18). Let p be c/(-35) - (-4)/14. Which is greater: p or j?
j
Suppose -50 = -5*h + 4*i, 3*h = h - 2*i + 2. Let w be 6 - h - (-2)/7. Which is smaller: -1/9 or w?
-1/9
Let b = 0.8 + -0.6. Let d = -1.3 - -1.6. Which is greater: d or b?
d
Let w(s) = s**3 + 4*s**2 - 12*s - 1. Let c be w(-6). Which is smaller: -1/4 or c?
c
Let x = -52 - -76. Let r = -16 + x. Is 8 > r?
False
Suppose 0 = s - 5*g + 26 - 68, 0 = -3*s + 5*g + 106. Let f be 6/s*(-20)/(-30). Let t(m) = m**3 - 3*m**2 + m - 3. Let u be t(3). Which is smaller: u or f?
u
Let c be -4 + 5 - (-229)/(-228). Let n = c + 461/1140. Suppose -f + 5*s + 25 = f, 5*s = f - 25. Which is bigger: n or f?
n
Let r(o) = o**2 - 2*o - 12. Let a be r(5). Let t be 32/(-18) - (-5 + a). Let s be 2/(-20) + 4/(-10). Is t equal to s?
False
Suppose -2*k - 4*k = -396. Is 67 not equal to k?
True
Let u(f) be the third derivative of f**5/120 + f**4/3 + f**3/3 - f**2. Let n(g) be the first derivative of u(g). Let b be n(-9). Is 2/11 at most as big as b?
False
Suppose 4*s - 3*f + 3 = 0, 3*f - 16 = -2*s + 5. Suppose 0*u + u - 3*d - 9 = 0, 4*u - d + 19 = 0. Let b be (-9)/u + 18/12. Is b greater than s?
False
Let b = 15 - 14.95. Which is smaller: b or 0?
0
Let w(a) = -2*a - 2. Let l be w(-4). Let k be (-2)/3 + 4/l. Suppose 0 = r + 4 - k. Is r bigger than -2?
False
Let h = -0.07 + 0.14. Let g = h - 2.07. Which is smaller: g or 2/5?
g
Let a be (-1 + 2 - 1)/(-2). Suppose -5*j + 3 = 4*v - 8, a = -j - 3*v. Let s be (-6)/(-63)*j*-1. Which is smaller: s or 1?
s
Let q be ((-12)/(-5))/((-4)/(-10)). Suppose 3*x = f - 51, x - f - 93 = q*x. Let m = x + 73/4. Which is greater: m or -0.1?
m
Let j be (3*1)/(27/18). Suppose -3*x - j*l = 3*l - 22, 0 = -3*x + l - 8. Let g = -229 - -1598/7. Which is greater: x or g?
g
Let a(c) = 6*c - 6. Let d be a(5). Is d != 24?
False
Let i be (-2 - 2/((-72)/44)) + 1. Let f = -1 - 0. Are i and f unequal?
True
Let g(c) = c - 2. Let s be g(6). Let l = 8 + -3. Is s > l?
False
Let f(m) = 2*m**2 - 1. Let p be f(1). Let l(b) = 4*b - 1. Let g be l(p). Let k(o) = o**2 - 7*o + 3. Let h be k(7). Is h smaller than g?
False
Suppose 4*r = -2*s - 6 + 2, 20 = -5*r + 5*s. Which is bigger: 20 or r?
20
Let z(r) = 2*r - 4 + 3 - 2 + r**2. Let p be z(2). Suppose 3*u - 19 = -u + p*f, 1 = -5*u - 2*f. Is 1 >= u?
True
Let d = 27 - 34. Are d and -6 unequal?
True
Let w = -781/5 + 158. Is 1 smaller than w?
True
Suppose 0 = -0*p - 5*p + 2*s + 3, 5*p - 1 = 4*s. Is p at most 5/6?
False
Suppose 2*t = -4*g + 16, -4*g + 14 = 6. Let d = 5 - t. Let j = -25/12 - -11/6. Which is smaller: d or j?
j
Suppose x + 0*x - 8 = 0. Let o = -8 + x. Is 4/7 less than o?
False
Let j = 21.41 + -1.41. Which is smaller: -0.3 or j?
-0.3
Let m = -18 - 10. Let q be ((-109)/(-3))/((-4)/3). Let f = q - m. Which is smaller: f or 2?
f
Suppose 5*g - 4*j - 3 = 0, j + 8 = -2*g - 2*j. Let y = 0 - 1. Is g bigger than y?
False
Let m = -15 + 19. Let v be m/195*15/(-6). Which is greater: v or 0?
0
Let w = -3/86 + -243/430. Let y(n) = n**2 - 11*n + 8. Let b be y(10). Let l be 6/b*1/3. Is l > w?
False
Suppose -3*t + t = 0. Let p(z) be the second derivative of -z**3/6 - 2*z. Let h be p(-1). Which is bigger: h or t?
h
Let b = 78 + 45. Let w = 195/737 + -816877/6633. Let o = w + b. Do -1 and o have different values?
True
Let z = -14.14 + 0.14. Let k = 16 + z. Is -0.3 bigger than k?
False
Let p(r) = -r**3 - 4*r**2 + 8*r - 8. Let i be p(-6). Suppose 59 = 2*m + m - 2*f, 4 = -f. Do m and i have different values?
True
Suppose 2*h = h + 1. Let g(r) = r - 6. Let w be g(6). Let v = h - w. Is -1/5 greater than v?
False
Suppose -4*i + 3*l = -22, -2 - 2 = -2*i - 2*l. Suppose 5*d + k = -10, -k = -i*k - 15. Let c be (-2)/(-7) + 6/(-21). Which is greater: c or d?
c
Let d be (-1)/2*(-1 - -2 - -1). Is d bigger than -1?
False
Let u(y) = -y**3 - 6*y**2 - 5*y. Suppose t - 2 = -7. Let l be u(t). Which is smaller: l or 4/5?
l
Let c(m) = -m + 8. Suppose i - 6 = -6*d + 3*d, 0 = 3*i + 5*d - 10. Let j be c(i). Suppose -4*g + 8 = -j. Which is smaller: g or 3?
3
Suppose -42*b + 44*b = 28. Which is greater: 8 or b?
b
Suppose -5*i = 8 + 17. Let j be ((-63)/6)/3*2. Are j and i equal?
False
Suppose -f + 4 = -5*f. Let l be f/(2 - 22/4). Is -1 at least l?
False
Suppose 3 = q + 1. Suppose 0 = -11*t + 16*t. Which is smaller: q or t?
t
Let c = -1307/3601 + -6/277. Which is smaller: c or 1?
c
Let s = 0.8 + -1.8. Let l be ((-1)/4)/(15/20). Which is greater: l or s?
l
Let r(b) = 4*b + 9. Let l(m) = -5*m - 9. Let q(p) = 5*l(p) + 6*r(p). Let x be q(8). Which is smaller: x or 0.02?
0.02
Suppose -5*y = 5*a - 37 + 2, -4*y = -3*a - 7. Let v be 4*(0 - 1/(-2)). Suppose v*l - 9 = -l. Is a > l?
False
Let j = -5 + 3. Let c(u) = 6*u - 14. Let s be c(2). Is s equal to j?
True
Suppose -4*m + 3*m = -7. Suppose m*v + 5 = 2*v. Let d(g) = -4*g**3 + 1. Let l be d(v). Which is bigger: 1 or l?
l
Let r(v) = -v**3 - 3*v**2 + 3*v. Let j be r(-4). Let g = j - 6. Which is greater: g or -1?
-1
Let a be (-5 - -4)*(-18)/(-8). Which is greater: -1 or a?
-1
Let s = -0.3 + 0.4. Let k = 0 - 0.2. Let y = k - s. Which is greater: 0 or y?
0
Let x be (-2)/(-10) + 16/20. Is x at least as big as -1/23?
True
Let f = -4/9 + -1/18. Is 3/4 at most f?
False
Let z = -8 + 13. Let j be (6/z)/((-9)/(-30)). Are 5 and j unequal?
True
Let f be (-4)/6*6/4. Is f at least as big as 1/21?
False
Let p = -3863/23 + 168. Which is smaller: -1 or p?
-1
Let j = 0 + 0.3. Is j at least as big as 0.1?
True
Suppose 0 = -3*a - 0*a - 30. Let o = -10 - a. Which is bigger: -1 or o?
o
Suppose -5*q - 6*y + 29 = -2*y, -2*q - 2*y = -12. Let r be ((-40)/6)/5*-3. Are q and r non-equal?
True
Let z = -1.1 - -0.1. Which is bigger: 1 or z?
1
Let l = -0.2 - 0. Let h = -59 + 60. Is h at most l?
False
Let u = 0.37 - 0.17. Let c = -3 + 3.2. Let g = c + -0.1. Which is smaller: g or u?
g
Let l be (-18)/(-20) + 2/(-4). Let b(v