hich is smaller: m or -1?
m
Let z = -7 - -11. Suppose 0 = o - z + 1. Which is bigger: 2 or o?
o
Let t be (-5)/(-3) + (-1 - 0). Let j = 5 + -5.3. Let p = j - -1.3. Which is smaller: p or t?
t
Suppose -5*x - s - 55 = -x, s + 42 = -3*x. Let p be 3/(-1*(-1)/(-4)). Are p and x nonequal?
True
Let p be (1*-6)/((-5)/(15/(-6))). Let u = -5 - -1. Which is smaller: u or p?
u
Suppose 4 - 6 = -p. Let r = -1 + p. Let v = r + 0. Which is smaller: v or 2?
v
Let g = -3 + 3. Is g equal to -9?
False
Let j = 3.1 + -2.2. Let l = j - 0.5. Is l >= -1/5?
True
Suppose 5 = -j + 6*j. Let u = j - 2. Is u greater than -4/7?
False
Suppose l - 6 = -2*l. Suppose g + 0*g = l. Suppose 0 = -g*x + h - 2*h - 3, -3*h = 3*x + 9. Which is smaller: 2/21 or x?
x
Let h = 76/3 - 25. Let k(f) = 2*f - 2. Let v be k(2). Let a be 1/(-2)*v/(-2). Which is smaller: h or a?
h
Let x = -117 - -116. Let r = 4.7 + -5. Let i = -0.7 + r. Is i bigger than x?
False
Let k be 2*-1 - (-16)/9. Let n(b) be the third derivative of -b**4/24 + b**3/6 - 3*b**2. Let j be n(0). Does j = k?
False
Let d = 86 + -607/7. Let q = d + 17/14. Let b be 12/45 - (-2)/5. Are q and b unequal?
True
Let s(h) = 3*h**2 - h. Let x be s(1). Let u = -52 + 55. Is x at least u?
False
Let j = -0.43 - 10.57. Which is bigger: j or -1?
-1
Let u = -5.1 - -1.1. Let c = -4.1 - u. Let n = -18 + 21. Which is smaller: c or n?
c
Let k = 0.26 - -0.14. Which is greater: k or 6?
6
Let j be 2 - 3 - (-6 - -1). Let y be (-7)/5 - j/(-10). Let o = 1346 + -1347. Is y >= o?
True
Suppose 0 = -o - o. Let q(n) = n**2 + 1. Let x be q(o). Let r be 6*x/(-2) - -3. Which is greater: r or 1/5?
1/5
Let v = 2 + 1. Suppose -v*a = -4*a. Which is smaller: a or 0.01?
a
Let y = 2.8 - 2.9. Which is smaller: 1 or y?
y
Let n be -4 + 5 - (-1 + -3). Let u = -5 - -8. Suppose 2*g + m - 1 = -5, u*g + m + n = 0. Is g less than or equal to -2?
False
Let g be 2/(-6)*(0 - (-2 + 3)). Let u be (-10)/(-12)*4/10. Are g and u nonequal?
False
Let d(z) = -3*z + 20. Let u be d(0). Is 20 greater than or equal to u?
True
Let o(i) = -i**2 - 4*i + 8. Let x be o(-6). Let t be (12/x)/(2/(-6)). Suppose 0 = -3*n - 0*y + 2*y + t, n + 11 = -4*y. Is n less than or equal to 1?
True
Let o = -6/137 - 314/5343. Let q = -170/897 - o. Is -1 smaller than q?
True
Let c = -40 + 41. Which is greater: c or 0?
c
Suppose 3*l + 5*x = -l + 12, 4*l + 2*x = 12. Suppose 0 = -l*g + 2*g. Suppose -3*t + 0 = -3. Which is smaller: t or g?
g
Let r be (8/(-26))/((-2)/1). Suppose 1 = t - 0. Are r and t unequal?
True
Let j be (-3)/(-6)*(0 + 0). Do j and -0.1 have the same value?
False
Let t = 0.4 + -0.9. Let n = -0.5 - t. Which is smaller: 3/4 or n?
n
Suppose 3*x = 4*x. Suppose -4*c + c + 6 = x. Suppose s + c = 3. Which is bigger: s or 1/2?
s
Let p be (-4)/10 + 14/10. Let m(z) = z - 2. Let k be m(0). Let x(t) = t**3 + 2*t**2 + t + 1. Let l be x(k). Does l = p?
False
Suppose r - 4*a - 2 = -0*r, 0 = -2*r + a + 25. Suppose -16 = -2*t - 2*t, -d = -3*t + r. Let f(w) = -w - 8. Let o be f(-7). Which is smaller: o or d?
d
Let u = 4 - 3. Let a be 5 - 1 - (0 - u). Suppose -a*y + 10*y + 10 = 0. Is -4/7 bigger than y?
True
Let h be (-1)/2*0 + 6. Let c(l) = -7*l + 47. Let o be c(6). Which is smaller: o or h?
o
Let q = -2 + 2. Is 3 less than or equal to q?
False
Let q be (-140)/30 - (-8)/2. Suppose 4*p - z = -5*z + 48, -4*z + 4 = 0. Suppose -4*g + 3*o - 19 = -0*o, g = 2*o - p. Which is greater: q or g?
q
Let w be (2469/(-12) + 0)/1. Let g = 204 + w. Which is smaller: g or -1?
g
Let d = 6 - 22/3. Let i = -28 + 48. Let w = i - 20. Is d at least w?
False
Let n = -3 - -7. Suppose -i + 2*i = -n. Which is greater: i or 1/2?
1/2
Let u(g) = -6*g + 3. Let q be u(2). Let r = q - -13. Do 4 and r have different values?
False
Let k = -2 + 4. Let t = 0 - k. Is t equal to -2?
True
Suppose -3*y + 2*c - 15 = 0, -3*y - 2*c - 3*c - 36 = 0. Suppose -137 + 167 = -5*l. Which is greater: l or y?
l
Let i = -0.28 - 0.02. Do 0.6 and i have different values?
True
Let h = -0.2 + 0.1. Is h bigger than 6.1?
False
Let k be (40/(-65))/(-1 + 3). Is k >= 0?
False
Let p = 6 - 4. Let w be p/12 + (-13)/6. Let k be w + ((-3)/(-6))/1. Which is bigger: -1 or k?
-1
Let o be 51092/100 - (-3 + 1). Let r = o + -513. Is r at least 0?
False
Let x(p) = 3*p + 1. Let n be x(-3). Do n and -6 have different values?
True
Let m be (8/(-2))/(-4) + (-5)/4. Are 0 and m equal?
False
Let j(c) = 3 - 4*c + 3*c + 4. Let u be j(13). Which is smaller: u or -5?
u
Let r(q) be the third derivative of q**5/60 + q**4/3 + 4*q**3/3 - q**2. Let z be r(-7). Let m = 25/33 + -1/11. Is m at least as big as z?
False
Let x be 220/(-74) + 72/24. Is x >= 0?
True
Let f be (-10)/25 - 84/(-10). Suppose f = -5*x + 5*o - 22, -2*x - 3*o = -13. Which is bigger: -2/17 or x?
-2/17
Let a(d) = -d**3 + 9*d**2 + d - 13. Let c be a(9). Let i be 7/(-5) + 14/35. Let u = i - 3. Is u at least c?
True
Let a(l) = -2*l**2 + l. Let o be a(1). Suppose -2*j - 2*k = -2 + 8, -j - 5*k = 3. Is o greater than or equal to j?
True
Let l = 76 - 78. Is l < 2?
True
Let b = 2681/8 + -336. Let z = b - -9/8. Is 2/11 bigger than z?
False
Suppose 0 = 2*t + 4*r - 10, 4 + 13 = -3*t + 2*r. Is t at most -5?
False
Suppose w + 2 = 3*w. Which is bigger: 1/56 or w?
w
Let r = -23/5 + 4. Suppose 6*g + 6 = 3*g. Are r and g equal?
False
Let z(l) = -l**3 + 8*l**2 + l - 7. Let x be 26/3 - 4/6. Let h be z(x). Suppose -a = 2*r - 0*a - 3, 0 = -r - 4*a - 2. Is r <= h?
False
Let b = 19 + -19. Let x = 0.31 - 0.01. Is x smaller than b?
False
Let s(d) = -d - 6. Let y be s(-6). Let h = -37 + 36.83. Let n = 0.03 - h. Is n greater than or equal to y?
True
Let m = 0.53 - 0.03. Let u = m - 0.4. Is u > -2/11?
True
Let y be 1*-1 - (-15068)/15070. Let h = -4492/218515 + y. Let b = -459/1160 - h. Is 1 equal to b?
False
Suppose 3*t - 4*t + 21 = 0. Are t and 21 equal?
True
Suppose -5*m + 3 = i, 8*i - 4*i - m = 12. Suppose -7*a + 3*a - 20 = 5*h, h + 2*a + 10 = 0. Let p be 2 - (-1 - (1 + h)). Which is smaller: i or p?
i
Let x(b) = -b**2 + 5*b + 3. Let g be x(5). Let z(l) = l**3 + 6*l**2 + 5. Let a be z(-6). Suppose -9 - 1 = -a*d. Is d at most g?
True
Let t = 0 + 0.02. Let x = 58 - 55.02. Let s = x + t. Is 2 < s?
True
Let u be 3/9*(-36)/(-354). Which is smaller: -1 or u?
-1
Suppose q + q = 6. Let l = 3 - q. Suppose l = 3*n + 2*n. Which is greater: n or -0.3?
n
Suppose 0 = -t, -5*g + 3*t = -2 + 17. Let d = -24 - -22. Which is smaller: g or d?
g
Let w be 8/9*66/(-88). Which is greater: -1 or w?
w
Let l(z) = 0*z**2 + 2*z**2 + 3 - 4. Suppose 0 = -4*q - 0*i + i + 3, 0 = -q - 2*i + 3. Let s be l(q). Is s not equal to -1/6?
True
Let x be 2/13 + 95/(-26). Let n = 3 + x. Is -1 > n?
False
Suppose 3*a - 3*v = 6, -5*a - 7*v + 2*v = 10. Which is smaller: a or -7?
-7
Let k be 0/((-1 + 3)/(-2)). Suppose k = -2*y + 12. Which is smaller: y or 5?
5
Let i = 13 + -13. Is i greater than or equal to -1/225?
True
Let l = 68 + -57. Is l bigger than 11?
False
Let t be 3 + -1 + -2 + 0. Let o = -79 + 77. Is o less than or equal to t?
True
Suppose 5*p + 21 = n - 19, -120 = -5*n + 5*p. Suppose 6*t + 3*s = 2*t - 19, n = -4*s. Which is smaller: t or 0?
t
Let n(v) = -v + 12. Let m be n(6). Let q = 12 - 5. Let g(x) = x - 4. Let k be g(q). Which is greater: k or m?
m
Let f(i) = 10*i**2 + 4*i + 3. Let j(t) = -3*t**2 - t - 1. Let q(b) = 2*f(b) + 7*j(b). Let g be q(1). Is 0 at least as big as g?
True
Suppose -t + 5*a - a = -7, 2*t - a = 7. Suppose -g + 12 = t*g. Which is greater: 1 or g?
g
Let a be ((-6)/15)/(2/10). Let d be (-7)/14 + 1/2. Suppose 0*z + 3*z + 9 = d. Is a greater than or equal to z?
True
Suppose 0 = -4*s + 705 + 315. Let t = s - 143. Let b be 4/10 - t/105. Which is smaller: b or -2/5?
b
Suppose 4*o = 4*k + 12, 3*o - 5*k - 18 = -1. Let q be (-2)/(-8) + 5/(-12). Is o bigger than q?
False
Suppose -2*r - 12 = -4*x, x + 2*r = 7 + 1. Suppose -b + x = -2. Suppose z - b*z = -5. Is z at least 1/3?
True
Let w be (-18)/99 - (-133)/792. Are 1 and w equal?
False
Let g(a) = 2*a - 4*a + a + 5. Let o be g(7). Is o < -1?
True
Let l = 1243/10 + -124. Is 1 < l?
False
Let n = 5 - 5. Suppose d - 6*d + 20 = n. Let p be (-11)/(-13) - d/(-26). Which is greater: p or -1/16?
p
Let c = -1.774 - -1.7. Let o = 2.974 + c. Let p = o + -3. Which is smaller: 1 or p?
p
Let n be 2/9*6/4. Suppose 0 = 5*l - 25 + 10. Let w be 1 - 7/(-4) - l. Is 