reater: h or 0?
0
Suppose -z = 5*l + 18 - 4, 0 = -2*z - 8. Let n be (4/(-14))/((-2)/l). Let c = -4 + 4.1. Which is smaller: c or n?
n
Let o(a) = -3*a**2 + 3*a - 1. Let b(j) = -j**2 - j. Let c(f) = -4*b(f) + o(f). Let u be c(-7). Let s be 5 - 5 - (1 + -1). Which is greater: u or s?
s
Suppose 27 = c - 3*r, -5*c + 151 = -r + 2*r. Suppose -5*s + c = -0*s. Suppose 2*t + 1 = -5*m, s*m - m - 4*t = -13. Is 2/15 greater than m?
True
Suppose -3*z + 5*u - 3 = 22, -5 = -u. Suppose 4*c - 1 + 9 = 0. Is c at most as big as z?
True
Let u = -1.4 - -0.5. Let x = u + 9.9. Are 2/7 and x equal?
False
Let q = 3.998 - -0.002. Do 0.03 and q have different values?
True
Let k(r) = -r**3 - 8*r**2 - 5*r + 7. Let f be k(-5). Let p = 647/15 + f. Is 0 at least as big as p?
False
Let g = 255/4 + -65. Let h(f) = -f**3 + 13*f**2 + f - 15. Let z be h(13). Which is bigger: g or z?
g
Suppose -i + 0*i + 1 = 0. Suppose 0 = h + i + 4. Which is greater: h or -4?
-4
Suppose 2*g = 2*o - 2, -g - 3*o = -0*g - 15. Which is smaller: 8/3 or g?
8/3
Let h be ((-4)/6)/((-5)/30). Suppose -3*d + 12 = d. Suppose 3*s - 3*p = -h*p - 3, 2*s + d = -p. Do s and -1/2 have the same value?
False
Let a(s) be the first derivative of -s**4 + s**3/3 - s**2/2 + s - 2. Let b be a(1). Is -1 smaller than b?
False
Suppose 4*q + 3*o = o + 16, -5*q - 4*o = -26. Let y be 5*(1 + 0) - q. Suppose 6*l = y*l - 3. Are l and 1/9 nonequal?
True
Suppose 2*a = 3*w - 0 + 35, -2*a + 45 = -5*w. Is 10 <= a?
True
Suppose -4*f + n + 11 = 0, 13 = 4*f + 2*n - 1. Let m(c) = -3*c + 4*c**2 - 2*c**3 + 0*c**2 + c**3. Let p be m(f). Which is smaller: p or 2?
p
Let n = 0.97 + 0.03. Suppose 0 = 5*b + 4*l + 26, -7 - 1 = b - 2*l. Let o be -1 + (-10)/b*1. Which is bigger: o or n?
n
Let d(m) = -m**2 - 4*m. Let a be d(-2). Suppose -l - a*c - 4 = 0, -l + 8 = -2*l - 2*c. Let n be (-2)/(-3)*l/20. Is 1 smaller than n?
False
Let x = 1.94 - -0.06. Let d = x - 0. Let l = -0.3 + 0.2. Is d greater than or equal to l?
True
Let f be (4 - 1)*(-3)/9. Let v = 8 + -4. Suppose 8 + 4 = -v*o. Which is bigger: o or f?
f
Let l(h) = -h**3 - 5*h**2 - 5*h - 3. Let x be l(-4). Is x > 1/17?
True
Let y(w) = w**3 - w**2. Let z be y(1). Let f(p) = p - 3. Let i be f(6). Suppose l - 4*l - i*n = -18, 3*l - 4*n = -17. Which is smaller: l or z?
z
Let g = 0.8 - 0.9. Which is smaller: g or -4?
-4
Suppose 24 + 1 = -5*j + i, -4*j = i + 20. Suppose -3*k = 2*o + 1, k + 2*o = -4*k - 7. Are j and k nonequal?
True
Let s be (-6)/(2 - 0) + (-26)/(-10). Do s and -0.02 have the same value?
False
Let y = 9 - 8.82. Let f = y + 1.82. Are f and -8 equal?
False
Let m = -14 + 16. Is 4/3 greater than m?
False
Let y = 1 - 2. Let c = y - -5. Let t = 0.035 - -1.965. Is t at least c?
False
Suppose -4*d - 2*s - 4 = 0, 0 = d + 3*s + 2*s + 1. Suppose g - 5*g = -8. Let n be 6/10 + (g - 3). Is d less than n?
True
Let j = -29 + 28. Is -4/17 greater than j?
True
Let l = 12 - 15. Let k = 14 - 20. Let s = k - l. Which is smaller: s or -2?
s
Let n be 2 - (0 + 6) - 2. Let t = n - 4. Let w be 2/t*20/8. Is 0 greater than w?
True
Suppose y - 3*y - 6 = 0. Let g = 6 + y. Is 2 at most as big as g?
True
Let y = 4 - 3.6. Let c = -0.3 + y. Let h = -18 - -10. Which is smaller: c or h?
h
Let d = 15 + -30. Let k be d/(-3) + 0/(-1). Is k bigger than 4?
True
Let j = 0.04 - 0.34. Let k = j + 0.2. Let b = k + -0.1. Do b and 0.1 have different values?
True
Let a = -2/15 - -94/255. Which is greater: a or -2/3?
a
Let z = 273/4 - 68. Is -16 < z?
True
Suppose 0 = 2*m - d, -19 = -4*m - 3*d + 1. Suppose -8 = -5*t - 2*a, m*t + 3*a = -3*t + 12. Let p = 3/17 + -55/119. Which is greater: p or t?
t
Let t = 22 - 20. Suppose -20 = -2*a + 4*c, 0*c = -t*a - c + 10. Which is smaller: 5 or a?
5
Suppose 0 = -3*l - 2*y + 16, l = -0*l - 5*y + 27. Let d be (l + -1)/(2/6). Suppose 8*h = d*h. Do -1 and h have the same value?
False
Suppose -2*b = 2*k - 4*k + 6, -2*k + 3*b = -8. Let c be (4/1*k)/1. Is 7 at most c?
False
Suppose -2*g + 1 = 2*n + 5, 3*n + 4 = -4*g. Let j = n - -5. Let w be -2*j*2/(-2). Which is smaller: w or 1?
1
Let d(q) = q**2 + 17*q - 38. Let o be d(-19). Which is greater: o or 0.02?
0.02
Let c be -3 + -1 - 1336/(-10). Let x = c + -131. Is x greater than -2?
True
Suppose 9*u = 4*u + 150. Let v be (-102)/u + 5 + -2. Suppose -4*m + 2*m = 0. Is m less than or equal to v?
False
Suppose 0 = -3*l - 5*b + 9, 3*b = 4*l - b - 12. Suppose 0 = -3*o + 2 + 1. Suppose -d - 2*i + o = 0, -l*d - 3 - 1 = -i. Does 0 = d?
False
Let b = 0 - -2. Suppose 6*p - 21 = b*c + 3*p, c + p = 2. Is -3 at least as big as c?
True
Let k(u) = 2*u - 21. Let j be k(5). Is -9 < j?
False
Let c = -3 - -2. Let k be (-1 - -3) + c + -1. Let a = -4 - -6. Do a and k have the same value?
False
Let y be (-11)/(-10) - 1/2. Let d = -1.9 + 2. Is d not equal to y?
True
Let l = -40 + 30. Which is smaller: -9 or l?
l
Let f = 8 + -6. Let c be 95/75 - f/3. Does 0 = c?
False
Let o = 11 + -9. Let b = o + -6. Which is greater: 2/5 or b?
2/5
Let n be (-28)/(-5) + 14/35. Let m be (-8)/n + 2 + 0. Which is smaller: m or 2?
m
Suppose v = -2*s + 4, 2*s = 5*v + 3*s - 2. Let d be ((-2)/(-4) + v)*1. Is d >= 2?
False
Let w(g) = -g - 3. Let x be w(-3). Which is smaller: 16 or x?
x
Let c = 6.5 + -6. Let x = c - 0.4. Is -1/3 greater than or equal to x?
False
Suppose -5*q - 12 = -32. Suppose -5*l + 19 = q. Which is smaller: l or 2?
2
Let v = 2 - 1. Let d = v + -0.9. Which is smaller: d or -0.1?
-0.1
Let q be -6 - -7 - (-1)/((-2)/82). Do -41 and q have the same value?
False
Let z(s) = s**2 + s. Let d be z(0). Let t = 192052 + -2110535/11. Let g = -185 + t. Which is bigger: d or g?
g
Let p be 1/3 + -4 - 2/(-1). Is -1 less than or equal to p?
False
Let g be (6/105)/(8/(-10)). Is 0 at most as big as g?
False
Let c be (52/39)/(2/(-6)). Which is greater: c or -6?
c
Suppose 3*l = 6*l - 21. Let j = l - -1. Suppose -j*i + 3*i = 0. Do 0 and i have the same value?
True
Suppose 0*l - 5*l = -2*z - 2, 4 = -3*l - 4*z. Suppose l*k - 5*k = 0. Let p = -1609/9 + 179. Which is smaller: p or k?
k
Let j be -1*(6 + 3 + -5). Let w be (j - -1)/1 + 3. Is 1/7 < w?
False
Suppose 5*u - 46 + 6 = 0. Suppose 0 = m - 4*r - 0 + 27, -45 = 5*m - 2*r. Let d = m + u. Does d = 1?
True
Let d = -3 + 3. Let m = 19/6 + -3. Do d and m have different values?
True
Let x = -193 - -208. Are 10 and x equal?
False
Let l = 19.9 - 19.6. Let o be (6/(-16))/((-6)/4). Is l smaller than o?
False
Suppose -2*g - 4*u = -6*u + 8, -3*g - u = -8. Is 12/7 greater than g?
True
Let v(b) be the third derivative of -b**4/24 - b**3/3 + 2*b**2. Let p be v(-1). Which is bigger: p or -1/2?
-1/2
Suppose -5*m + 7*m = -16. Are m and -8 unequal?
False
Suppose 0 = 5*l - c + 4*c - 14, 2*l = -2*c + 8. Let s(r) = -l - 2 - 2 + r. Let f be s(6). Which is greater: f or -2/15?
f
Let u = 1 + 2. Suppose -u*r + 2 = -5*r. Let l be (12/(-6))/(20/2). Is r less than l?
True
Let w = 28/9 + -139/36. Suppose 4*k = 3*k. Which is greater: k or w?
k
Let o = 3/8 - 23/104. Which is smaller: o or 1/8?
1/8
Let h be (-20)/(-28) - (-2)/7. Is 1/126 <= h?
True
Let z = 3 + 0. Are 30/13 and z nonequal?
True
Suppose 0 = -h + 4*j + 15, -h = 2*h - 4*j - 21. Let o = 5 - h. Suppose w - 4 = 2*f, -o*f + 1 = -2*w - f. Is -2 smaller than w?
False
Suppose 52 = 4*q + r, -5*q - 2*r + 62 = -0*q. Let n be q/(2 + -1 + 0). Suppose -l - n = -3*l. Which is bigger: l or 6?
l
Let c be -1 + (1 - (1 - 0)). Let h = -0.3 + -0.7. Is h <= c?
True
Let d = 4 + 0. Let s be 1/d*(-8)/(-3). Let u = s - 1. Do 1 and u have the same value?
False
Suppose -1 = -p - 2*p + a, 5*a = 5*p - 5. Let w = -1.1 - -0.8. Which is smaller: p or w?
w
Let d be 2/14 + (-44)/(-84). Does -1 = d?
False
Let d = 47/10 + -21/5. Suppose -2*c + 5 = 3*c. Is c <= d?
False
Let q = -7 + 8. Let v = -0.1 - q. Is v <= -1?
True
Let x = -25 - -37. Let a = x - 13. Are 5 and a equal?
False
Suppose -5*l = 10, p - 3*l + 2 = -4*l. Suppose -2*a = -a + 2. Let i = 3 + a. Which is smaller: i or p?
p
Let p = 8 - 8. Suppose p = 2*f + f - 3. Let q be (-3)/36*(-16)/(-18). Which is smaller: q or f?
q
Let q(r) = -r - 4. Let h be q(-4). Are 19 and h nonequal?
True
Suppose 4*f + 16 + 24 = 0. Let m be (-4)/8 + f/(-16). Which is greater: 1 or m?
1
Let a(m) = m**3 - 5*m**2 - 7*m + 3. Let u be a(6). Suppose -4*b + 0*b - 5*n - 28 = 0, 5*b = -4*n - 26. Which is greater: b or u?
b
Let r(f) = -2*f**2