+ 1 = -0*o. Do a and b have the same value?
True
Suppose 0 = -2*r + 21 - 57. Let x be (r/(-12))/(294/8). Is x at most -1?
False
Let h be -2 - ((-225)/(-21))/(-5). Which is smaller: 0 or h?
0
Let o be 0 - (-2)/(-4)*-3. Let l = 3 + -3. Suppose -5*k + l = -15. Which is greater: o or k?
k
Let n = -5 - -7. Suppose 23 = n*b + 5*a, -3*b = 2*b + 5*a - 20. Let l be (3 + -6 - -5)/(-6). Is l less than b?
False
Let l = 33/17 + -576/323. Is l <= 0?
False
Let z = -1.77 + 0.17. Let i = z - -0.6. Is 3 at most i?
False
Let z = -0.1 - -1.1. Let m be (-5)/12*(-18)/(-20). Which is smaller: z or m?
m
Let r be -10 - (-1 + 0 + 3). Let u = -37/3 - r. Is 0 smaller than u?
False
Let s = 0.074 - 4.974. Let a = 5.4 + -0.4. Let r = s + a. Which is greater: 0 or r?
r
Let w be 0 - 2 - (-2 - 0). Suppose w*a - 2*a - 4 = 0. Let k(t) = -t**3 - 9*t**2 + t + 8. Let h be k(-9). Is h less than or equal to a?
False
Suppose -2*q = -0*q - q. Which is smaller: -1/80 or q?
-1/80
Suppose 3*m + 3*h = 39, -h - 2 = m + 3*h. Let q be (-2)/2 - (-14)/m. Let o = 0.28 + -0.48. Is q greater than o?
False
Let l be (-2)/4*(-1932)/(-56). Are 0 and l nonequal?
True
Let l be 16/24 - (-28)/3. Suppose 3*u - j - j - 41 = 0, -5*j + 35 = 5*u. Which is greater: u or l?
u
Suppose 4*y - m - 4*m = -5, -m + 1 = -4*y. Let a = 0.15 + -0.2. Which is smaller: y or a?
a
Let y = -1/59 - 32268/295. Let u = y + 109. Which is smaller: 1 or u?
u
Suppose c + 3*c - 80 = 0. Let h be (-18)/(-1) + 1 + 2. Is h bigger than c?
True
Let t(h) = -h - 2. Suppose 0 = -7*i + 5*i - 2. Let v be t(i). Which is bigger: v or 1/6?
1/6
Let v be (-2)/(-4)*(-2 - 2). Which is smaller: -4/5 or v?
v
Let h be 2*-1 - 36/(-21). Let w(x) = x**3 + 14*x**2 + 14*x + 13. Let m be w(-13). Is h at least as big as m?
False
Suppose -6*o + o + 3*x + 7 = 0, -12 = 3*x. Which is bigger: o or -6/35?
-6/35
Let y = -0.9 - -1.1. Let c = -0.02 - -0.42. Let z = y - c. Which is smaller: z or -2?
-2
Let g = -0.3 - 0.2. Let c = g + 0.6. Is 3 bigger than c?
True
Let v be (-15)/(-15)*(-2 - 1). Which is smaller: v or 0?
v
Let a(l) be the second derivative of l**5/20 + l**4/3 + l**3/2 + l**2/2 - 3*l. Let q be a(-3). Is q at most as big as -2/7?
False
Let p = 37/3 - 12. Suppose 2*s + 27 - 6 = -5*m, 0 = -2*m - 10. Suppose 0 = -2*a - s. Is a at most as big as p?
True
Let g(d) = d**2 + d - 6. Let z be g(-3). Let x(o) = 7*o**2 + 2*o + 1. Let n be x(-1). Let w be 1/n - (-1)/2. Is z greater than w?
False
Let f(h) = h**2 - 3*h + 4. Let a be f(4). Suppose -14 = -3*x + 7. Is a != x?
True
Let p = -3 - 1. Let g = 3 + p. Let d = 4 + -3. Which is bigger: g or d?
d
Let d(k) = -k + 18. Let w be d(14). Is w != 5?
True
Let l(k) = k**3 - k**2 - k + 1. Let f be l(0). Is f at least 2/25?
True
Let p = -4.02 + 4. Let h = p + 0.02. Are 1 and h nonequal?
True
Let v be ((-12)/10)/((-10)/25). Suppose -8 = v*r - 5. Let i be r + 2 + 14/(-8). Is i less than or equal to 1/4?
True
Let z = -1 + 0.3. Let l = z + 4.7. Let q = l - 3.9. Is q smaller than 0?
False
Suppose -a = 0, -4*j + 0*a - 16 = -5*a. Let b(v) = v**3 - 13*v**2 + 2. Let f be b(13). Let h = f + j. Which is smaller: h or -4?
-4
Let x = -42 + 22. Which is bigger: -21 or x?
x
Let u = -9818 - -38833/4. Let v = 108 + u. Let f = 1 - 2. Which is smaller: v or f?
v
Let s(o) = o**2 - 6*o + 4. Let y be s(4). Suppose -5*a = -5*p + 67 - 22, 3*p = -4*a - 1. Is a less than y?
False
Let r = 0.1 + 0.9. Let x = -648/5 + 130. Is r greater than or equal to x?
True
Suppose -3*r = -2*r - 8. Let w be ((-2)/(-3))/(r/12). Suppose -2*l = a + 4, 2*l + 12 = a + 4. Is w less than or equal to a?
True
Let l = 4 - 2. Suppose -u = l*u. Is 0 less than u?
False
Let g = -0.05 - -0.14. Is g bigger than -0.2?
True
Let l be (-6 + 0)/(6/(-4)). Let m = -9 + l. Let h = m - -12. Which is bigger: h or 6?
h
Let q be 0 + 78/(-15) + 5. Let p = 0.3 + -1.3. Which is smaller: p or q?
p
Suppose -3*h - 14 = 4. Which is smaller: h or -7?
-7
Let p be (6/(-2))/3 + 0. Which is smaller: -2/3 or p?
p
Suppose c + 0*m - 3*m - 8 = 0, 4*c - 32 = -m. Let d be 2/c - (-9)/(-4). Is 1/6 at least as big as d?
True
Suppose -3*b = 7*u - 8*u + 1, 0 = -5*b - 2*u + 13. Which is bigger: 3/50 or b?
b
Suppose -5*t - 1 - 9 = 0. Let v be 1/2*(-1 - 0). Is v <= t?
False
Let b = 137 - 1783/13. Is b > -2/3?
True
Let s(f) = f - 5. Let q be s(3). Let r be (4/42)/(q/(-3)). Suppose -5*p + 2 + 8 = 5*m, 3*p - 6 = 2*m. Which is greater: r or m?
r
Let b = -5/97 + -206/1649. Let o = 23/34 + b. Which is smaller: 0.1 or o?
0.1
Suppose 3*u - 2*h - 29 = 0, -u + 4*h = -1 + 8. Suppose 5*s + 5*n - 12 = 3, 0 = -5*s - 4*n + u. Are 2 and s nonequal?
True
Let m = -6818/4707 + -8881418641/258885. Let g = m + 34311. Let l = -30/11 + g. Which is greater: l or -0.1?
l
Let o be (6/(-9)*-117)/((-3)/2). Is -52 less than or equal to o?
True
Let g = 0.09 - -0.01. Let y = 0.1 + g. Which is greater: y or 0.1?
y
Let j be (-9)/(-12)*4 - 2. Are 2 and j equal?
False
Suppose -3*k - 2*k + 10 = 0. Suppose 0 = -k*l + 2 + 2. Which is smaller: -3 or l?
-3
Let k = -10 + 18. Let m = -7 - -7. Is m bigger than k?
False
Let b(d) = d. Let u be b(-1). Let v be (-2 - (-2 + 1)) + 3. Suppose 5*x - 15 = 0, v*x = k - 1 + 7. Is u > k?
False
Suppose 16 = -w - 5*l, -4*w - l + 24 = -3*l. Let b(o) = -o**3 + 5*o**2 - 5*o + 6. Let y be b(w). Let c(q) = q**2 - 4*q - 3. Let t be c(5). Is y < t?
False
Let b = -46277/92 - -503. Let m = b + 189/460. Let x = 0.4 - 0.2. Are m and x non-equal?
True
Suppose 4*i = 4*q, 5*i - 3 - 3 = -q. Which is smaller: 2/63 or q?
2/63
Suppose 3*z = -2*y + 42, y - 5*y + 70 = -z. Let q = y - 11. Let x = q - 3. Which is greater: 3 or x?
x
Suppose 0 = -3*a + 7 + 5. Suppose -5*p - 4*c + 26 = 0, 0*c = 4*p - c - a. Suppose -2*i = 5*h - 9, -p*i = i - 6. Which is greater: h or 0?
h
Let j = -74/3 + 236/9. Let g = j - 20/9. Let z = -26 - -25. Is g less than z?
False
Let p be 14/3 + (-19)/(-57). Let z = -1 - -2. Which is bigger: p or z?
p
Let n = -31473 - -188417/6. Let z = 70 + n. Is z at least -0.1?
False
Let p(a) = 6 + a**3 + 6*a**2 - 3 - 2*a**2. Let v be p(-4). Let o be (-1)/v + (-10)/15. Which is greater: -2/5 or o?
-2/5
Let k = -127 + 127. Let y be (-1 - 27) + (1 - 3). Let t be ((-3)/y)/((-12)/10). Which is greater: t or k?
k
Let o = -0.1 - 0. Is o less than or equal to 10?
True
Let p = 4 + -6. Let n be 1/p - (-1)/(-6). Let r be (1/3)/(-1 - 0). Are n and r non-equal?
True
Let u be ((-4)/(-4))/(62/2). Let m = -37540714/217 + 172999. Let l = m - u. Is -1 < l?
True
Let g be 2 - 0 - (-140)/(-91). Which is bigger: -1 or g?
g
Let p = -782 - -3896/5. Are p and -3 non-equal?
True
Let m be (-1)/(0/4 - 31). Is 1 at least as big as m?
True
Suppose 2*p = p + 14. Let t be 30/(-7) + 4/p. Let j be (-6)/15*(-1 + t). Which is bigger: j or 0?
j
Let w be 11/(-22) + (-18)/(-44). Let t(v) = -v - 6. Let n be t(-6). Which is greater: w or n?
n
Suppose 50 + 10 = -4*m. Let l(a) = a**3 + 14*a**2 - 15*a - 1. Let v be l(m). Is v greater than or equal to -6?
True
Suppose -2*j = 4*w - 20, -2*j = 3*j + 4*w - 68. Let y be 4/(-6)*(-6)/j. Let l be (4/(-6)*3)/(-2). Which is greater: l or y?
l
Let u = 97/770 - 2/77. Which is smaller: 1/3 or u?
u
Suppose 0 = 2*y + y. Suppose -3*q + 5*q - 2 = y. Is -1/10 bigger than q?
False
Suppose -20 = -3*o - 35. Is -5 < o?
False
Let p be (-10)/(-46)*2/10. Let q = p + 17/138. Do 0 and q have the same value?
False
Let l = 26 + -26.1. Which is bigger: l or 2?
2
Let m = 11 - 12. Is m greater than or equal to -2?
True
Let f(v) = -1. Let n(a) = -a + 9. Let i(w) = 5*f(w) + n(w). Let x be i(5). Suppose -2 = -4*y + 2. Which is greater: y or x?
y
Let m(c) = -4*c**2 - c. Let t be m(-1). Let f = -8 - -13. Suppose 2*h = f*h + 9. Is t equal to h?
True
Let n be 4/8*6 + -7. Let m = 2 + n. Is 7 > m?
True
Suppose -7 = 3*u - 1. Let t = -0.79 - 0.21. Which is smaller: u or t?
u
Suppose 3*n + 71 = -0*k + 5*k, -4*n - 5*k = 83. Let s be 4/n - 2/(-11). Is s > 5/4?
False
Suppose 5*l + 4*r - 7 = 0, 9 = l - 3*r - 0*r. Suppose j = -l + 8. Which is greater: 4 or j?
j
Let z(f) = -f**3 + 6*f**2 - 4*f + 2. Let h be z(5). Let g = -5 + h. Is g greater than or equal to 2?
True
Suppose 0 = -7*g + g. Do g and -2/201 have different values?
True
Suppose 0 = k + 4*h + 17, k - 2*h + 5 = -0. Let o be -2 + k/(-11) - -1. Let d = -1.23 - -0.23. Do o and d have the same value?
False
Suppose -5*y + 2*t - 