 greater: h or 0?
h
Let b be 1/(-1)*(-5)/1. Suppose d + 2 = -b*u, 4 = 4*d - 2*u + 12. Let w(k) = k**3 + 2*k**2 - 1. Let r be w(-1). Is r smaller than d?
False
Let k = -8 - -6. Are k and -3 non-equal?
True
Suppose 0*c + 3*a - 58 = -5*c, 0 = -2*c - 5*a + 8. Which is bigger: 13 or c?
c
Let c = -14 + 14. Is c not equal to 5/7?
True
Let r = -25 + 27. Is r smaller than -8?
False
Let k = -6390/9197 + -6/541. Let i = -2/51 - k. Let y(v) = 2*v - 4. Let d be y(3). Are d and i equal?
False
Let n be -6*(-2 - 28/(-15)). Which is smaller: -2/11 or n?
-2/11
Let s(q) = q**3 - 5*q**2 - 8*q + 5. Let v be s(6). Let d = -8 - v. Which is bigger: d or 1/3?
1/3
Let m = -7 + 10. Is 8 < m?
False
Let n = 1937/17 - 114. Let f = -21583/1615 - -268/19. Let w = n - f. Which is smaller: w or -1?
-1
Let z(r) = -r**3 - 5*r**2 + 8*r + 9. Let q be z(-6). Let j be (-2 - -1)*2 - 0. Which is smaller: q or j?
q
Let y(g) be the second derivative of 0 - g - 1/6*g**3 - 9/2*g**2. Let s be y(-8). Which is greater: -3/7 or s?
-3/7
Let b = 1978/9 - 220. Which is bigger: 1/4 or b?
1/4
Suppose -2 = -3*n + 4*n. Is -3 less than n?
True
Suppose o - 72 = 33. Let m be 44/o + (-2)/7. Is 1 > m?
True
Let g = -19.88 + 0.88. Which is smaller: 0.1 or g?
g
Let l be (-52)/20 + 4 + -1. Let n = 19 + -20. Which is greater: n or l?
l
Let i = -104/231 - -5351/231. Let k = 23 - i. Is -0.1 >= k?
False
Let r = -7 - -4. Let d = -27 - -22. Are d and r equal?
False
Let w(x) = -2*x + 24. Let t be w(12). Which is smaller: t or -2/9?
-2/9
Let f(r) = 2*r**2 - 5*r + 6. Let v(c) = 3*c**2 - 5*c + 7. Let y(h) = 4*f(h) - 3*v(h). Let q be y(-6). Which is smaller: 1 or q?
q
Let y = 2.3 + -2.11. Let j = -1360 + 1352.19. Let p = j - y. Which is greater: p or 0.1?
0.1
Suppose 8 = 2*b - 0*b. Let v = b + 3. Do 8 and v have the same value?
False
Suppose 5*z = -5*h + z + 227, 0 = -5*z - 10. Which is bigger: 48 or h?
48
Let g be -2 - -2 - (-4)/(-2). Is -5 <= g?
True
Suppose 12 = -3*t - 0*t, -t = v + 88. Let y be (6/15)/(12/(-2525)). Let a = y - v. Is a greater than -1?
True
Let u be (-9)/12*(10 + -2). Let c = 4 + u. Let q be ((-4)/3 - c)*3. Are 2/3 and q nonequal?
True
Let r be ((-4)/(-3))/(4/60). Suppose -8 = -2*u + 3*w - 20, -3*u = -5*w + r. Suppose u = o - 0*o + 1. Which is greater: -2 or o?
o
Let c be 8/(-6) - (-2 + 4). Is c <= -4?
False
Let c = 13 + 0. Suppose 3*l + 4 = c. Suppose l*m = -2*m. Which is smaller: m or -2/5?
-2/5
Suppose -k - 24 = -5*s, 3*s - k + 11 = 27. Are s and 4 unequal?
False
Suppose 5*s + k + 12 = -3*k, -2*s - 3*k - 9 = 0. Which is smaller: 2/5 or s?
s
Let j = 0.3 - 3.1. Let x = 0.8 + j. Let y = -158/3 - -52. Which is greater: y or x?
y
Let i(l) = -l**3 + 2*l + 1. Let h be i(3). Let d be 0 + (-2 - h/14). Suppose 3 + 3 = -3*z. Which is smaller: d or z?
z
Let o = 8 + -9. Let x = -4 - 0. Is x at most as big as o?
True
Let q = -8 - -5. Let y(b) = b**3 - 11*b**2 - 13*b + 8. Let j be y(12). Is j at least as big as q?
False
Suppose -4*m = -5*s + 19, 2 + 4 = 3*m + 3*s. Let h be m - 1/(1/1). Does h = -2?
True
Let v = 110 + -115. Let y be 2*(9/2)/(-3). Which is smaller: v or y?
v
Let r = -110 - -213. Is r >= 103?
True
Let g be 5/(10/(-6)) - -4. Let a be (0 - g) + 16/4. Is a > 5/2?
True
Let z = -0.08 - -0.18. Which is bigger: 2 or z?
2
Suppose a - 4*a - f = -26, -3*a = 5*f - 10. Let z = 9 - a. Let c = 4 + z. Is c greater than or equal to 3?
True
Let p = -3 + 3. Let a be (0/(1 + p))/2. Is a at most as big as -2/9?
False
Let j = 57 + -57.1. Is j at most as big as -0.33?
False
Let h = -2004/17 - -118. Let b = h - -9/68. Is 0 bigger than b?
False
Let o be (-9)/(-60)*345/(-2). Let m = 26 + o. Let p(w) = -w**2 + 8*w + 1. Let z be p(8). Is m less than or equal to z?
True
Let y = -5/14 + -8/7. Let a be 1 - (4/1 - 1). Which is bigger: y or a?
y
Let j be 85/102*(-8)/(-1130). Are j and 0 unequal?
True
Let f = 54 - 55. Which is bigger: -9/7 or f?
f
Let w = 0.1 - -0.3. Which is smaller: w or -3?
-3
Suppose -v + 5*v = 20. Suppose i + 11 = m, i - v = -3*m + 24. Let u = -9 + m. Is 2 at most as big as u?
False
Let r be (1254/54)/((-4)/(-30)). Let q = r - 175. Which is bigger: 0 or q?
0
Suppose 0 = -0*h - 5*h + 5. Let u = 2 - h. Is 1/2 less than or equal to u?
True
Let z = -19127/45 + 425. Is 1 >= z?
True
Suppose 0 = -o + 2*o + 3. Let m = o - -3. Let j be (-2)/(2*-1)*-1. Which is smaller: m or j?
j
Suppose -z - 4*b + 7 = -3, z + 2*b - 6 = 0. Let g = -2 - -3. Is z > g?
True
Let d = -17 + 5. Let x be -2 + d/(-3) + 3. Are 6 and x equal?
False
Let v = 80 - 79.9. Is 1/18 at most v?
True
Let d = -2 + 1. Let u(g) = -g - 6. Let p be u(-12). Let t be (((-27)/p)/(-3))/6. Which is greater: d or t?
t
Suppose 5*j = 4*j + 2. Let d = -7037/2 - -3600. Let p = -79 + d. Which is smaller: j or p?
j
Let h be 17/3 + (-4)/(-12). Suppose 2*n = u - 6, -h*u = 2*n - 2*u + 26. Let l(q) = q + 3. Let c be l(n). Is c equal to -3?
False
Let v(t) = t**3 - 6*t**2. Let x be v(6). Suppose x = -5*z + 3*z + 8. Is z >= 0.1?
True
Let x be (2/(-24))/((98/315)/7). Is x smaller than -3?
False
Let j(g) = g - 10. Let n be j(6). Let k = -6 - -3. Which is greater: n or k?
k
Suppose -3*f = 2*t - 0*f, -5*t = 5*f + 5. Which is smaller: t or 4?
t
Let w = 22 - 16. Let z be (-1 - -1) + (7 - w). Is z less than -2?
False
Let y be 384/(-1050) - (-2)/7. Is -1 > y?
False
Let u be 2 + (0 - -4 - 0). Let g be (-4)/6 - (-16)/u. Suppose g*c - 1 = -7. Is -3 at most c?
True
Let o be ((-2)/(-4))/(4/(-8)). Which is smaller: -2/59 or o?
o
Let f be -3 - (1/((-28)/32) - 2). Let n(i) = -i**3 + i**2 - i + 1. Let v be n(1). Which is smaller: f or v?
v
Let l(c) = -c**3 - 6*c**2 - 2*c + 6. Let p be l(-4). Do p and -18 have different values?
False
Let q(w) be the third derivative of w**6/120 + w**4/24 - 3*w**2. Let x be q(1). Let d be 28/49*x/(-12). Are d and 0 non-equal?
True
Let c = -0.7 - -0.6. Suppose k + 0 = -4. Is c at least k?
True
Let o = -8/9 - -2/9. Is -1 greater than o?
False
Let r = -13.93 + 14. Let g = r - 0.2. Is -1 at least g?
False
Let v be (-9)/(-7) + 4/(-14). Let q be (-6)/9 - (-58)/60. Which is bigger: q or v?
v
Let g(w) = w**3 - 6*w**2 + 4*w + 3. Let a be g(5). Let c = -4 + 1. Let m = c + 2. Is a less than or equal to m?
True
Suppose 2*p + 41 = 5*t, 3*t + 24 = -5*p - 1. Is -11 at least as big as p?
False
Let z be ((-10)/8)/(10/(-40)). Suppose -5*b - 10 = -z. Are b and 1/10 equal?
False
Let b be (18/4)/((-6)/(-8)). Suppose 0*m = -3*m - b. Let z = 0 - -1. Is z > m?
True
Let n = 6 - 3. Suppose 2*k + 3*v - 16 = 0, 0*k = 2*k - n*v + 8. Which is bigger: k or 1?
k
Let w = -2.5 + -17.5. Which is bigger: 1 or w?
1
Suppose 6*y - 10 = y. Let d be 2/y*(-7 - -5). Is d less than -1/2?
True
Suppose t = -4*s - 404, 0 = 4*s + 2*t + 2*t + 392. Let n = 314/3 + s. Which is bigger: 2 or n?
n
Suppose -5*b - m - 1817 = 0, 4*b - 4*m + 236 + 1208 = 0. Let w be -3 - b/216*2. Let x = 1/9 - w. Is -1 smaller than x?
True
Let h = 0.2 + 13.8. Let k = 10 - h. Is k less than -2?
True
Let c = -16 - -15.7. Let a = 0.6 - 0.9. Let g = a + 0.4. Which is greater: g or c?
g
Let x be (19 - 16) + 1 + -3 + 2. Let u = 5 + -2. Do x and u have the same value?
True
Let z = -0.02 + -0.18. Let k = -0.1 - z. Is 1 <= k?
False
Let o = 22.9 + -23.9. Suppose -4*a - 692 = 5*r, 3*a + 0*r = 2*r - 519. Let f = 1209/7 + a. Is o at least as big as f?
False
Suppose -2*l - 5 = 2*n + 5, 3*n = 3. Let w = 27 - 32. Which is greater: w or l?
w
Let g(w) = w**2 - 10*w - 1. Let z = -2 - -12. Let n be g(z). Which is bigger: -3 or n?
n
Suppose o = -q + 8, -5*o + 33 = 2*q + 11. Which is smaller: q or 11/2?
11/2
Let f = 1.2 - 1. Let g = 14 + -13. Is f bigger than g?
False
Let h = 0.56 + 9.44. Let l = -14.9 - -0.9. Let q = h + l. Which is greater: q or -1?
-1
Let a = -0.02 + -0.28. Is -0.3 > a?
False
Suppose 2*j + 0*j = -2. Let p be (-3 + -1 + 0)/(330/45). Is j > p?
False
Let v = -2/8199907 - -4296753838/10536880495. Let h = v - 2/257. Is h <= 0?
False
Suppose -9 = 3*h, -3*h = d - 7 + 1. Are 15 and d equal?
True
Let y be (-2)/(-8) - (-25)/44. Let w = y - 25/44. Let s = -6 + 3. Which is greater: s or w?
w
Let u be (-2325)/30*4/(-10). Which is smaller: u or 33?
u
Suppose 0 = 2*s + 3*a - 13, 0*s - 2*a + 9 = s. Which is bigger: s or -3?
s
Let x = -4 - -2. Which is smaller: x or -3?
-3
Let z be 1/(1 + 4 + 0). Is 8 equal to z?
False
Let m = -12.4 - -2.4. Let t = m 