16*i. Which is greater: -7/5 or i?
-7/5
Suppose -4*s + 14 = 2*z, -5*s - 7 + 23 = z. Do -1/18 and z have the same value?
False
Let y be 1/(6/(-10)) + 1. Are y and -4 equal?
False
Let o be 6/124*(-16)/6. Is -1 at most o?
True
Let t be 1*4 - 99/18. Which is greater: t or -1?
-1
Let n = -14 + -17. Which is greater: -28 or n?
-28
Suppose -4*w = -5 + 1. Let o be (16/(-100))/(w + 1). Which is smaller: 1 or o?
o
Let z be 4706/(-42) - 4/6. Let l = -113 - z. Let f = -242/5 + 48. Is l less than or equal to f?
False
Suppose -3*w + 19 = 5*u + w, 0 = -2*u + w + 5. Suppose -1 = 2*h + u. Let b be 4 + h + (-17)/10. Is b less than 1?
True
Suppose -12 = 3*n, -3*s + 4*n = -5*s + 186. Are s and 101 nonequal?
False
Let s = -110 - -101. Is -9 at most as big as s?
True
Let v be 6/(-14)*(-2)/15. Which is smaller: 0 or v?
0
Suppose -12 = -3*q + q. Suppose 0 = o - 5*w - 5, -q*o + 2*o + 2*w + 20 = 0. Which is smaller: 3 or o?
3
Let x = -6 + 8. Suppose 4 = 4*h, -c - 1 + x = -h. Which is smaller: 12/7 or c?
12/7
Let x be (-705)/177 + 2 + 2. Which is greater: 1 or x?
1
Let c(r) = 6*r**2 - r**3 - 5 + 4 - 6 + 2*r**3. Let g be c(-6). Is g greater than -6?
False
Let z = 14.2 - 14.2. Let a = -1487/11 + 135. Which is bigger: z or a?
z
Let p be 20/(-15)*(0 + -12). Suppose -p = 2*q + 6. Let h = q + 11. Which is greater: 2/7 or h?
2/7
Let h(f) = f**3 + 6*f**2 + 4*f + 1. Suppose -2 - 23 = 5*s. Let z be h(s). Let a = 5 - z. Is 4/9 bigger than a?
True
Let x = -8 - -8. Let t = x + 1. Which is greater: t or 0.1?
t
Suppose 0 = -3*n - 9, 3*n + 51 = 3*t + n. Let p be t/2*(3 + 7). Let d be (-2)/(-5) + (-5)/p. Is 1 greater than or equal to d?
True
Let o be 5/10*2 + 15. Is o at least as big as 18?
False
Let m = 55 + -62. Which is greater: m or 2/5?
2/5
Let j(i) = -i + 17. Let x be j(11). Let y be -1 + 5/((-5)/(-6)). Which is greater: y or x?
x
Let k = -7 - -8. Let s = k - 2. Which is smaller: -1/2 or s?
s
Suppose -2*u = u - 6. Suppose -5*t - 3 = u. Which is smaller: t or 1?
t
Let q be (2/4)/(6/(-4)). Is 0 <= q?
False
Let f(b) = b**3 - 3*b**2 - 4*b. Let g be f(4). Suppose g = z - 0 - 1. Suppose -n = -6*n + 10. Is z <= n?
True
Let g be 16/28*3/(-6). Which is smaller: g or 0.07?
g
Suppose 6*j = 5*j - 3. Let h(l) be the first derivative of -l**2/2 - l - 1. Let t be h(3). Which is greater: j or t?
j
Suppose 44 = v - 48. Let l = -1198/13 + v. Let h = -2.1 - -2. Which is greater: h or l?
h
Let v(o) = -o + 2. Let s be v(1). Is s at most 4?
True
Suppose 0 = i - 4*i - 6. Suppose 10 = -3*b + 2*t, -b - 4*t + 6 = -0*b. Let c be ((-6)/b + i)/(-2). Which is bigger: c or 5?
5
Let p = -0.017 - -21.017. Is p at least -0.1?
True
Let n = 73 + -102. Which is greater: 0.3 or n?
0.3
Let b = -0.1 - 0.1. Let g = 4 - 5.2. Let s = b - g. Is s less than -1?
False
Suppose -1 = -i - 2*t, -5*i + 6*i - 5*t + 13 = 0. Suppose 2*m - 125 = -2*m + 3*g, m - 2*g = 35. Let h be i/(-9) - m/33. Is h not equal to -2?
True
Let w(d) = 5*d**3 + d**2 + 3*d - 10. Let q(v) = 6*v**3 + 4*v - 11. Let h(j) = 4*q(j) - 5*w(j). Suppose u - 20 = 5*u. Let z be h(u). Is 1/11 greater than z?
False
Suppose 0 = -5*n + 5*g + 15, 3*g = n - 6*n + 15. Let r(j) = j**2 - 4. Let i be r(n). Suppose i*f - 3 - 2 = 0. Is 1 at least as big as f?
True
Let p be (-3 - 18/(-16))*(-4)/(-6). Which is smaller: p or 1?
p
Let f be (3 - (-62)/(-18))/(-2). Let t = 8 - 5. Suppose -t*m - 9 = -3*s + 3, -5*m = -3*s + 12. Is m at least f?
False
Let d be (-6)/(-15) + 26/10. Suppose 5*m - d*m - 3 = -3*v, 0 = -v + 4*m + 1. Is 1 > v?
False
Suppose -2*l = -8, -10*n + l = -5*n - 1. Is 4/15 less than or equal to n?
True
Suppose -d = 4*d - 2*a - 16, d + 5*a + 13 = 0. Is d at most 2?
True
Let q be 36/108 + (-1 - (-2)/(-6)). Let m(y) = -y - 1. Let v be m(2). Let a be (-1)/v*2/(-3). Which is smaller: a or q?
q
Let r = -3 + 1. Suppose 0 = -x - 4*f - 5 + 25, 10 = 2*x + 2*f. Let k be -3 + 0 - x/4. Which is smaller: r or k?
k
Let l be (-314)/10 - 2/(-5). Is l > -32?
True
Let t = -1.3 + 1. Let x = 7.6 - 0.6. Let c = x - 9. Which is smaller: c or t?
c
Let o = 41 + -40. Do o and -3 have different values?
True
Let p be (0 + 12)*2/4. Let b be p*(-2 + 0)*3. Let n be 3/b + 1/3. Which is greater: 2 or n?
2
Let w = 2.1 + -0.1. Is w >= 1?
True
Let a = 0.9 - -0.1. Let f be (-10)/35 - ((-48)/70 - 0). Which is smaller: f or a?
f
Suppose 2*a - 4*a + 25 = 5*b, 4*b - 20 = 3*a. Suppose 2*r - 4*g = -3*r - 23, a = -3*r + g - 11. Is r at most -6?
False
Let o(t) = -3*t - 3. Let m be o(-4). Suppose 0 = -4*r - 3*h + 19, -3*r + m = 3*h - 9. Is 2 equal to r?
False
Let y(k) = -k**3 - 8*k**2 - 7*k + 2. Let b be y(-7). Let p be ((-2)/28)/(b/8). Let n = 0.01 - 0.11. Are n and p nonequal?
True
Let w = -7 - -9. Let z be (-6)/(-4)*1*w. Let c be (z + -2)/((-4)/(-8)). Is 2 bigger than c?
False
Let q be (3 - 2)*-2 + -179. Let v be (3 + q/2)*-4. Let c be 10/v + 6/(-14). Is 5/4 not equal to c?
True
Let y = -67/2 - -34. Does y = -5?
False
Let q be (3/3)/(2/8). Suppose -2*n - 2*n = 4*g - 8, -5*g + q*n = -55. Are 8 and g nonequal?
True
Let j be -1 - (-1 + 1 + 0). Which is smaller: j or -1/4?
j
Suppose 2*o - 1 = o + x, -2*o - 4 = -4*x. Let p(j) = j**2 + 7*j + 6. Let u be p(-5). Let l = u + o. Which is bigger: 1 or l?
1
Suppose 0 = 5*n - 4*n - 5, 4*u = 4*n - 192. Which is smaller: u or -42?
u
Let s = -76.8 + 77. Is s greater than 0.29?
False
Suppose 3*b + 6*d + 28 = d, 0 = 3*b - d + 16. Let g = -18 - -13. Is g at least as big as b?
True
Let v = 996/5 + -201. Which is smaller: 0.1 or v?
v
Suppose 8 = 4*j - 4. Let k(c) = 2*c**2 - 3*c + 1. Let t(b) = b - 1. Let p be t(3). Let m be k(p). Is m at most as big as j?
True
Let p be ((-10)/30)/(1/87). Do p and -29 have the same value?
True
Suppose -6*q + q = 0. Suppose 3*c - 3*b + 18 = q, -4*b = 5*c - 4 + 16. Is -3 greater than or equal to c?
True
Let r be (-99)/(-108) - (-2)/(-3). Is -0.4 greater than or equal to r?
False
Let k = 1453/13 + -112. Which is smaller: k or -2?
-2
Let a = 17 + -24. Which is greater: -6 or a?
-6
Suppose 4*u = 2*y + 18, y + 0*y = -u + 12. Let v be 5/35 - (-6)/u. Which is smaller: v or 7?
v
Let m be ((-3)/((-15)/(-2)))/2. Let d(p) = p + 2. Let h be d(-2). Which is bigger: m or h?
h
Let t be (2 - 1) + (-264)/247. Let n = 2/247 - t. Which is smaller: 1 or n?
n
Suppose -2*c + 14 + 23 = 5*z, -4*z - 44 = -3*c. Which is smaller: 15 or c?
15
Suppose -2*p = 4 - 0. Is p less than -7/4?
True
Let l(w) = w**3 + 7*w**2 - 2*w + 1. Let g be l(-7). Suppose -y - 3 + 8 = c, 3*c = g. Suppose h + 2*h = y. Is -1 > h?
False
Suppose -7 = h - 5, 2*h + 7 = 3*l. Are l and 1/46 unequal?
True
Let o = -110 - -109. Is 1/100 bigger than o?
True
Suppose 2*d = -d - 6. Suppose n + 7 = -5*m, 3 = 3*m + 2*n + 10. Does d = m?
False
Suppose y - 25 = -4*y. Let c = -50 + 50. Which is smaller: c or y?
c
Let o = 14.2 + -14. Which is bigger: -0.05 or o?
o
Suppose 7*b = 3*b. Let y = b + 0. Which is bigger: y or 1?
1
Let d = 25/8 - -11/8. Is 6 greater than d?
True
Let v(b) = -11*b**2 - 2*b - 1. Suppose 3*y + 5 = 2. Let g be v(y). Let f be (-30)/4 + (-5)/g. Which is greater: f or -6?
-6
Let s = -24 - -25. Is s at most 2/3?
False
Suppose 0*g = g. Suppose g = b - 2*b + 1. Which is bigger: 4/3 or b?
4/3
Let k(b) = -65*b - 3. Let w(g) = 22*g + 1. Let y(t) = 3*k(t) + 8*w(t). Let x be y(2). Let n be 4/(-12) + (-7)/x. Which is smaller: 0 or n?
n
Let u = -285.03 + 282. Let q = -0.03 - u. Which is bigger: 1 or q?
q
Suppose -4*w - 17 = 11. Let z = w + 1. Are z and -6 nonequal?
False
Suppose -4*l + 1 = q - 2*l, -2*l = 2*q. Is 4/65 smaller than q?
False
Let f(d) = -2*d - 4 - d + 5*d. Let v be f(3). Let x(o) = o - 3. Let m be x(v). Is m greater than 0?
False
Let u = -48 + 48.6. Which is smaller: u or 1/2?
1/2
Let x = 0.11 + -0.11. Is 1/4 equal to x?
False
Let t = -7 - -11. Let b = 5 - t. Let z be ((-1)/18)/((-3)/12). Is b greater than z?
True
Suppose -7 = v + 3*g, -v + 5*g = 4*v - 65. Let c = -5 + v. Which is bigger: c or -1?
c
Suppose 5*k - 4*q + 3*q = 13, -2*k = -2*q - 2. Let a(d) be the second derivative of d**3/6 - d**2 + 6*d. Let x be a(k). Do x and 4/7 have different values?
True
Let j = 0.24 - 0.21. Are j and 2 unequal?
True
Let r = -0.11 + 4.81. Let i = 0.02 + 4.98. Let f = i - r. Which is smaller: f or 1?
f
Suppose u = -u + 4. Suppose -6 = 3*d + 2*h, 0*d - 15 = 3*d + 5*h. Let a be (d - 1)/4*u. Which is bigger: 0.2 or