hich is bigger: 0 or o?
0
Suppose 35*w + 130 = 25. Let k(h) = -2*h**2 - h. Let g be k(1). Is g bigger than w?
False
Let d = 644/3 + -197. Which is bigger: 19 or d?
19
Suppose -2*u + 5*q = -146, -3*q - 256 = -4*u - 2*q. Let x = u + -191/3. Which is smaller: 4 or x?
x
Suppose 0 = -18*i + 20*i. Which is bigger: i or 1/13?
1/13
Let h(n) = -n - 8. Let z(o) = 2*o - 2. Let x be z(2). Suppose 1 = -x*s - 15. Let r be h(s). Which is greater: r or -3/4?
r
Let z(n) = -n**2 - n - 4. Let v be z(-4). Let h be v/10*5/(-20). Let l = 0.3 + -1.3. Is h less than or equal to l?
False
Let z = -3546 - -17673/5. Let w = -11 - z. Let h = 55.1 + -55. Is h less than w?
True
Let k = -0.13 - 0.87. Let i = 1 - 6. Is i > k?
False
Let u = 131 - 657/5. Which is bigger: u or -9?
u
Let d = -6 + 6.06. Let a = 0.66 - d. Let w = a - 4.6. Which is smaller: -1 or w?
w
Let v = 175 - 878/5. Which is smaller: -1 or v?
-1
Let o be 32/14 + 4/(-14). Suppose 2 = o*s + 4. Which is bigger: s or -2?
s
Suppose 0 = -4*l + 1 - 9. Which is bigger: l or -1?
-1
Let f = 50/3 + -16. Suppose 4 = 5*i - 3*i. Let s be 20/12 - i/3. Are f and s non-equal?
True
Suppose 24 = 2*b + 2*b. Let o be 8/b + 1/(-3). Let f = -63 - -565/9. Which is greater: o or f?
o
Let x be ((-21)/112)/(6/(-8)). Let y = 3.2 + -0.2. Which is greater: x or y?
y
Let n = 0.55 + -0.56. Which is smaller: n or 1/4?
n
Let t = 18 - 16. Suppose 0 = -t*q - 2 + 14. Which is greater: q or 5?
q
Let d(x) = -x + 7. Let i be d(5). Suppose 0 = -c - i*c. Let t = 19 + -18. Is t greater than or equal to c?
True
Let m be ((-201)/(-51) - 4)/(-1). Which is smaller: -1 or m?
-1
Let m(w) = 2*w + 19. Let f be m(-10). Let u = 182 - 1277/7. Is u less than or equal to f?
False
Let n = 22 - 12. Is 10 at most as big as n?
True
Suppose 0 = -5*j + 15 + 5. Suppose -17 = j*n - 77. Suppose 4*d + d = n. Which is smaller: d or 5?
d
Suppose 0 = 5*q - 0 + 5. Let a be (-10)/(-2)*q/1. Let y = a + 5. Is y at least 0?
True
Let s(a) = a**3 + 9*a**2 - 5*a - 42. Let k be s(-9). Suppose -m + 3*m - 6 = 2*v, -3*v + 3 = 3*m. Which is bigger: m or k?
k
Let s(h) = 67*h**2 - 1. Let v be s(1). Let k = v - 460/7. Is 2 at least k?
True
Let h = -5 + 8. Which is bigger: h or -7?
h
Let d = -4 + -3. Let h = d - -12. Let q be 33/6 + (-2)/(-4). Is h smaller than q?
True
Let i be ((-6)/4 - -1)*0. Suppose i = 3*q - 8 - 4. Is 3 greater than or equal to q?
False
Let n be 98/138 - 8/12. Let k = 1 - 2. Is k smaller than n?
True
Suppose -2*l - 20 = 2*l, -13 = 4*y + l. Let j be 2 + -2 + y + 1. Is 0 at least as big as j?
True
Let h = 1 - -4. Let n = -6 + h. Which is greater: n or -1/6?
-1/6
Suppose 0 = 5*l - 4 - 6. Suppose l*y = -y. Suppose 6*t + 11 = f + 2*t, y = 4*f - 3*t - 5. Which is smaller: 0 or f?
f
Suppose 159 = 10*l + 29. Which is bigger: 12 or l?
l
Let y = 20 - 26. Let n be 1*3/y*-8. Is n <= 4?
True
Let c = 9 - 7. Let x be (-1)/(c + (-1 - 2)). Is -2/5 smaller than x?
True
Suppose 4 + 8 = 3*z, -5*z = -4*d - 8. Suppose 4*h - d*h = 3. Suppose -3*l + h = -6*l. Is -2/27 bigger than l?
True
Let w = -0.3 - -0.8. Let b = -0.4 + w. Let n = 0.1 + b. Is n != 0.1?
True
Let j = -1/25 - -53/75. Let x(u) = u**2 + 8*u + 7. Let d be x(-7). Suppose -5*y - 2*s + 8 = d, 3*y - 3*s + 8*s - 1 = 0. Is y greater than or equal to j?
True
Suppose -2*p - 40 = -5*o + 3*p, -22 = -5*o - 4*p. Let u = 192/43 + 3/86. Is o greater than u?
True
Suppose -2*w + 9 = 1. Suppose 8 = -0*z + 3*z - w*q, 5*z - 3*q = 6. Suppose 4*p + 3*m - 12 = 0, 0 = 3*p - 4*m + 17 - 1. Is z greater than p?
False
Let m = -0.38 - -30.38. Let d = -44 + m. Is d smaller than -1?
True
Let g be (5 - 1)*(-3 - -2). Let l be g/10 - (-29)/10. Which is smaller: 2 or l?
2
Let f be ((-3)/(6 - -9))/((-6)/20). Let l = 4.92 + -1.9. Let x = l - 0.02. Which is bigger: x or f?
x
Let z be 24/9*(-1)/4. Is z at least -2/3?
True
Let x be (-1 - -1)/2*-1. Does x = 0?
True
Let b = -4.984 + -0.016. Is b greater than or equal to -0.02?
False
Let z(u) = -3*u. Let o be z(2). Let g = 7 + o. Let i(n) = n - 5. Let m be i(8). Do g and m have different values?
True
Let l = 10 - 9. Is 8 bigger than l?
True
Let t = -22.1 - -22. Is -34 less than or equal to t?
True
Let n(l) = -79*l**2 - l + 1. Let p be n(1). Let i = -155/2 - p. Which is smaller: 3 or i?
i
Let i be ((-30)/9)/((-2)/6). Let u be 96/i + -1 + 3. Let y = u - 12. Which is greater: y or -1?
y
Suppose -2*n = 3*n. Suppose 4*s + 0*s = n. Which is smaller: 2/13 or s?
s
Let n be 0 + -1 + (-4)/(-2). Let g = n - -2. Let l = 3 - g. Is l <= 1/8?
True
Let v(m) = -m**2 - 15*m - 15. Let a be v(-13). Is a not equal to 10?
True
Let o = 911 - 35527/39. Which is greater: -1 or o?
o
Let h be 6/4*(-8)/(-12). Let j(p) = -2*p + 5. Let d be j(-5). Let z be (-3)/d*1*2. Which is smaller: z or h?
z
Let n be (-1)/(4 - 28/8). Which is bigger: n or 1?
1
Let o = 14 + -8. Let n be (o + -3)/(10/(-6)). Which is bigger: -2 or n?
n
Let b = -4 + 1. Is b >= -7?
True
Let m be (2/4)/((-7)/(-2954)). Let r = -6965/33 + m. Which is greater: r or 1?
1
Let s = 14.1 + -14. Is -1 at least as big as s?
False
Let y = 3.2 - 2.2. Let o be -1 + 3 + (-22)/14. Which is greater: o or y?
y
Let o(v) = v**2 + 10*v + 6. Let j be o(-7). Is j greater than or equal to -15?
True
Suppose -a + 3*a = -5*x - 2, -3*x = 4*a + 4. Suppose -n - n = 8, 0 = 4*m + 3*n + 4. Let r be (x - m)*(-2)/16. Are r and 0 non-equal?
True
Let v = 90 - 1171/13. Suppose 7*d + 3 = 4*d. Which is smaller: d or v?
d
Suppose 6*q = q. Let h = -8 + 7. Let o be -1 + q - (h + -3). Is 3/2 bigger than o?
False
Let t(l) = -l + 3. Let r be t(0). Suppose -r*k = -4*k + 6. Let j be (2/k)/(2/6). Which is smaller: j or -1?
-1
Let l be 69/90 + (-9)/15. Let i = l + 1/2. Suppose 0 = 2*p + 2*p - 8. Which is bigger: i or p?
p
Let b = 8 - 6. Let w = 4.69 + -3.69. Is w < b?
True
Suppose -9*z + 9 = -6*z. Is z < 4?
True
Let g = 0.3 - 0.3. Let y = 0.3 + g. Let p = 0.4 - y. Which is bigger: 2 or p?
2
Let g be (4/16 - 39/12) + 15. Do g and 11 have different values?
True
Suppose -2 = g + 4. Let d be (30/24)/(3/g). Is d at least as big as -2?
False
Suppose -t - 3*k = -6*t + 5, 0 = -3*t - k + 17. Let b be (-2 + t)/(14/49). Let r be ((-15)/(-12))/((-2)/(-8)). Is r <= b?
True
Let v = 0 + -0.2. Let o be (-3)/2*(-4)/21. Is o > v?
True
Let f(a) = a**3 - 3*a**2 - 3*a - 1. Let z be f(4). Suppose 5*u - 4*k - 27 = -7, 0 = 4*u + k - 16. Which is greater: u or z?
u
Suppose 0*j + 22 = 2*j. Let u = 2 - j. Are u and -9 nonequal?
False
Let n be 18/5 - (5 - 1). Which is smaller: 1 or n?
n
Let i(l) be the second derivative of -l**5/20 - l**4/2 - l**3/6 - 2*l**2 - 3*l. Let j be i(-6). Which is smaller: -1 or j?
-1
Let q = 3 - 0. Suppose -m - q*m - 48 = -4*o, 0 = 3*o - 2*m - 39. Let s be (o/(-6) - -2)/(-2). Are s and -3 non-equal?
True
Let m be (-1 - 0)/((-2)/4). Let d be (-1)/(-3) - m/(-3). Is 2 bigger than d?
True
Let m be (-11)/6 - 2/(-1). Let z = 23/66 - m. Let p be (0*(-2)/(-4))/(-2). Which is smaller: p or z?
p
Suppose 0 = -5*t - 141 - 339. Let c = t - -187/2. Which is smaller: -2 or c?
c
Let z = -84 - -254/3. Let p = -28 - -16. Are z and p equal?
False
Let h be 2 - (6 + -4) - -4. Suppose -h*y + 1 = -d, 5*d + 4*y + 24 = d. Which is greater: d or -6?
d
Let r be 1 - -6 - (0 + -1). Let q = -5 + r. Suppose q*k = -1 - 11. Is k less than -3?
True
Let r = 2.5 - 4. Let x = 1 + r. Let l = -0.5 + x. Which is smaller: l or 2/5?
l
Let z be 128/(-56) + 2/7. Which is smaller: -2/3 or z?
z
Suppose 0 = -3*g + 6. Suppose -c - g = c. Is 1 > c?
True
Suppose 32 = -5*a + a + 4*b, 0 = 3*a + 5*b + 8. Let i(k) = k**3 + 5*k**2 - 6*k + 5. Let j be i(a). Let s be 7/j - (5 + -4). Which is smaller: -0.2 or s?
-0.2
Let g = 0.9 - -0.1. Let n = 1 + -1.3. Which is smaller: g or n?
n
Let k be (-4)/10 + 81/15. Suppose -2*u = -3*s + 13, -k*u + 3*s - 9 = 1. Let z = 0 - -1. Does z = u?
True
Let b = -0.09204 + 590.03204. Let g = 583 - b. Let f = 7 + g. Which is smaller: -2/5 or f?
-2/5
Suppose -2*a + 5*j = 4*j - 6, -13 = -a + 3*j. Let d be 0 + a - 21/23. Are -1 and d nonequal?
True
Let b = -73 - -73. Which is greater: b or -3/34?
b
Let t(w) = -w**3 + 14*w**2 + w - 13. Suppose -2*q = -v - v - 24, -q + 20 = 3*v. Let i be t(q). Is 1/3 at least as big as i?
False
Let f = 53 - 52.8. Is -4 not equal to f?
True
Let i = 140 + -1. Let a be 1/4 - i/(-4). Let r be 80/a - (-2)/(-7). Which is bigger: r or 2/3?