uppose 0*o = j - r*o - 3, 5*j + 4 = o. Which is greater: -2/85 or j?
-2/85
Suppose -33*k = -32*k + 15. Let t(a) = -a**2 + 2*a + 1. Let v be t(-3). Is k not equal to v?
True
Suppose k + 2 = 2*k. Let o = 2 - k. Suppose -v = -o*v + 3. Are 0 and v equal?
False
Let j = 16 - 9. Which is greater: 6 or j?
j
Let j = -25.9 - -26. Which is smaller: j or 0.11?
j
Let h be 3*(-3)/9*9. Which is smaller: h or -11?
-11
Let q be -4*1 - (-3 + 3). Let t = q - -3. Let i be 3/15 + t/5. Is 0 bigger than i?
False
Let h = -130/1023 + 1/33. Let q = h - 171/155. Is -2 not equal to q?
True
Suppose -2*i + 5*o = 11, i + 2*o = -3*o + 17. Suppose a + l = i, 3*l + 0*l + 18 = 5*a. Are a and 3 equal?
True
Suppose v = 3*v. Suppose v = -2*q - 3 + 1. Let x be 2/(-3)*2/4. Is x smaller than q?
False
Let w = -11 + -3. Let z be (-2)/(-2) - w/(-7). Let m(y) = -2*y**3 + y. Let j be m(z). Is -1/4 less than or equal to j?
True
Let x = 0 - -2. Let h = 3 - x. Is h less than 0.3?
False
Let d be -38 + 9/(-12) + (-57)/(-12). Which is greater: d or -35?
d
Suppose a - 2*a + 3 = -2*b, -3 = -b - 4*a. Let y be 2*((-24)/21 - b). Is 0 <= y?
False
Let x = 10.82 + 0.18. Let l = 14 - x. Is 2/5 < l?
True
Let q = 47 + -45. Are q and 5/2 equal?
False
Let z = -95 + 474/5. Is z greater than -0.06?
False
Let h be (-3)/(-12)*2*2. Suppose -3*k + 3 = b, -5*b + b + k - h = 0. Let t(l) = -l**2 + 2. Let o be t(b). Are 2 and o nonequal?
False
Let n = 19 - 33. Let b be n/(-10) + (-2)/5. Let w = -34/7 + 129/28. Which is smaller: w or b?
w
Let n = -6 - -8. Suppose 3*t = 5*t + n. Which is smaller: t or -2/15?
t
Suppose a = 3*a - 22. Is 11 equal to a?
True
Suppose -5*s - 3*m = -21 + 6, -5*m + 25 = 0. Which is smaller: s or -2/65?
-2/65
Suppose 0*f + 15 = 3*f. Let m(v) = f*v - 7 - 2 + 3 + v**2. Let j be m(-6). Is j bigger than 1?
False
Let i be ((-2)/138)/((-11)/(-22)). Which is smaller: i or 0?
i
Let y be (15/(-24))/(3/18). Which is greater: -5 or y?
y
Let j = -4 + 5. Let h be (-4 - -1) + 11/3. Which is bigger: h or j?
j
Suppose -3 = -w - 2*w. Suppose -2*b = -w - 1. Let c(d) = d**2 - 4*d + 1. Let g be c(4). Is b > g?
False
Suppose 160 = -3*j + 2*n, j = -5*n + 3*n - 48. Which is smaller: j or -53?
-53
Let t = -0.03 + -0.77. Let x = -1 - t. Which is greater: 0.3 or x?
0.3
Let z(q) = q**2 - 2*q + 3. Let v be z(2). Let i(h) = -h**2 - v*h**3 - h + 2*h**3 + 0*h**2. Let o be i(0). Is o bigger than 0?
False
Suppose -2*p + 5*p = 0. Is 7/5 smaller than p?
False
Suppose -4 = 2*s - 6*s. Which is smaller: 0 or s?
0
Let z(m) = m - 30. Let q(h) = 2*h - 31. Let i(r) = 3*q(r) - 4*z(r). Let d be i(-13). Let u be (6/8)/(14/(-8)). Is d smaller than u?
False
Let d be (-1)/((-24)/28) + 1/(-2). Suppose -o + 5*o = 12. Suppose -2*w - 4 = 4*j, o*j = 2*j + 3*w + 6. Is d at least j?
True
Let g(p) = 3*p**2 - 2*p - 1. Let a be g(-1). Let q = a + -3. Suppose 5*s - 6*h - 23 = -3*h, s + 3*h = q. Is s greater than 5?
False
Let g be (-8)/(-32) - 286/(-40). Which is greater: 0 or g?
g
Let b = 49.3 + -50. Which is smaller: -2/3 or b?
b
Let a = 40 - 36. Is 13/5 <= a?
True
Let z(d) = d**2 + 14*d + 4. Let g be z(-14). Which is smaller: 3 or g?
3
Let s = 9 + -12. Let l(y) = 2*y + 2. Let g be l(s). Which is greater: -3 or g?
-3
Let p = 23 - 21. Let n = 2 - p. Which is smaller: -3/4 or n?
-3/4
Let p = 1 - 2. Let f be 2/(2 - 18/(-3)). Which is greater: p or f?
f
Let n = -5 - -6. Let u = 0.4 + -0.9. Let c = n + u. Is 0 > c?
False
Let k = 0.11 + 0.89. Which is bigger: k or 0.057?
k
Let c be ((-1)/(-2))/(9/(-108)). Is c at most as big as -9?
False
Let i(s) = s**3 - s**2 - s - 1. Let d be i(0). Which is smaller: d or -2/11?
d
Let z(p) = p**3 - p**2 + 1. Let x be z(-1). Let d = -847 - -3487/4. Let t = -25 + d. Is t equal to x?
False
Let y = -336.69 - -335. Let w = y + 1.8. Are w and -0.1 unequal?
True
Let g = 2 + -2. Let q = g - -0.4. Is q not equal to -2?
True
Let h be (-6)/27 + 4/18. Suppose 3*m + 2 - 8 = h. Is m smaller than 3?
True
Suppose 0 = 3*a - 2*a. Let l(r) = -r**2 + 4*r + 1. Let z be l(4). Let x = -2 + z. Which is smaller: x or a?
x
Let q = -84 - -23. Is q != -61?
False
Suppose 3*h - 19 = -4*o, 3*o - 24 = -2*o - 4*h. Let d be (o/18)/(4 - 6). Which is smaller: -1 or d?
-1
Let k = 22 - 32. Let f be k/8 + 3/12. Which is smaller: -1/5 or f?
f
Let l be 0*(2 - (3 - 2)). Suppose -4 = v - l. Let c be 8/v + (-12)/(-5). Which is smaller: c or 1?
c
Suppose -97 = -4*q + 23. Is q > 31?
False
Suppose 2*m = 4*h + h - 61, m = 2*h - 31. Let o be 1 - (-3)/m*9. Let w = -4 + 3. Does o = w?
False
Let z be 16/40*(11 + -1). Let t = z + 0. Let b = 0 + 1. Is b less than t?
True
Suppose -7*v - 48 = 5*v. Suppose -2*z + 6 = -4*z. Are v and z non-equal?
True
Let a be (-1730)/(-315) - (12/21)/(-2). Is 6 greater than a?
True
Let v(r) = r**2 - 3*r - 4. Let s be v(4). Let z be 0/(3 - (6 - 4)). Are s and z nonequal?
False
Let t = -15 + 14. Is t less than -8/7?
False
Suppose -k + 5 + 7 = -4*p, -k + 3 = -p. Suppose k = 3*d - 7*d. Let g = -13/148 - 6/37. Which is bigger: d or g?
d
Let b be ((-7)/7 + (-5)/7)*-14. Which is smaller: -1 or b?
-1
Let n = -3 + 2. Let k = 4 + -2. Let w = k - 2.2. Which is smaller: n or w?
n
Let m be -5*(156/(-75) + 2). Which is bigger: m or 0?
m
Let t be 2*1 + 0 + -4. Let g be (-1)/((-2)/(-5))*-2. Suppose -i - g = -4. Which is smaller: i or t?
t
Let q be 5*2/4*2. Suppose 2*c = 2*k - q*k + 3, 5*k = -15. Let a be (1 - -1)/c*-6. Is -1 <= a?
False
Suppose 3*b = 4*p - 3, -5*p + p + 4*b + 4 = 0. Let t be -2 - (176/(-42))/2. Which is smaller: t or p?
p
Let q be 1*-1*-1 + 0. Let z = -211/2 - -93. Let s = -12 - z. Which is smaller: s or q?
s
Suppose -4*j = 2*c + 26, -9 = -0*c - 2*c + 3*j. Let s be -1*3 + (-1 - -2). Let u be 0*(-1)/2 + s. Is c equal to u?
False
Let z = -6 - -3. Let w = 7 - 7. Let d(m) = m**3 - 1. Let i be d(w). Is i < z?
False
Let j be ((-1)/16)/(6/376). Let m = j - -13/4. Which is greater: -2 or m?
m
Let x(z) = z. Let h be x(-2). Let u be (h + 1)*(-6)/(-12). Let l(p) = -p**3 + 3*p**2 - 2*p + 4. Let n be l(3). Which is greater: n or u?
u
Let o(j) be the first derivative of j**4/2 - j**3 + j**2/2 - j + 3. Let y be o(2). Let t be (-10)/(-4)*4/y. Do t and 2 have the same value?
True
Let f = -294 + 275.9. Let d = -20 - f. Let n = 0.1 - d. Do 1 and n have the same value?
False
Let g be ((-6)/(-1))/((-9)/(-206)). Let x = -136 + g. Let z be (14/(-6) + 2)*-6. Which is greater: x or z?
z
Let k = -2 - -6. Let c = k - 5. Is c smaller than 0?
True
Let c(r) = -2*r - 2*r + 3 + 6*r - r. Let g be c(4). Which is smaller: 9 or g?
g
Let a = -9 - -14. Which is bigger: -1 or a?
a
Let t be (-71 - -1)*3/(-6). Which is smaller: t or 37?
t
Let u = -13 - -12. Which is bigger: 11 or u?
11
Suppose -5*z + 3*k + 47 = -84, -85 = -3*z + 5*k. Suppose -5*x - z = 0, 16 - 3 = -4*a - x. Let b be (2/4)/(a/4). Do -2/7 and b have the same value?
False
Suppose -c = 5*u - 23, 7 = 4*c - 5*u + 40. Let h be c + 0 + (-2)/(-2). Let j = 19/12 + -5/4. Does j = h?
False
Let d = -89 + 88.8. Is d != 30?
True
Let k = 1 + -5. Let v = 6 + k. Suppose -2*f - v = -10. Is f != 3?
True
Let w = -46 - -134/3. Is w smaller than 1/2?
True
Let s = -1 - -3. Let l = -0.3 - -0.3. Which is smaller: s or l?
l
Let a = -21/3532 + -1257077/52980. Let w = a - -70/3. Is 2 less than or equal to w?
False
Let m be (-10)/(-8) + (-177)/(-36). Which is smaller: 7 or m?
m
Let r be (1 + (-2)/(-5)*-2)/(-1). Which is smaller: r or 0.1?
r
Let k(c) be the second derivative of c**5/20 + c**4/3 + c**3/3 - c**2 + 5*c. Let j be k(-3). Which is greater: 2/7 or j?
j
Suppose 4*l = k + 2*l - 4, -12 = -4*k + 4*l. Suppose 2 = -k*a + 8. Let u = 3 - a. Do -3/4 and u have the same value?
False
Let f be 1/2 + (-90)/(-4). Suppose 5*h = -2*x - 70 + 27, 5*h + f = 3*x. Which is greater: h or -8?
h
Suppose 3*l = 2*p, -5*p = -4*p - 3*l + 6. Suppose 10*g = p*g + 52. Is g > 13?
False
Let q be ((-66)/(-55))/(2/(-5)). Is q != 0.11?
True
Suppose -3*x - t = -0 - 7, 5*x - 2*t + 3 = 0. Which is smaller: -1/25 or x?
-1/25
Let l = -23/55 + 9/11. Is 0 <= l?
True
Let g = -3 + -3. Let d be (g/5)/(84/(-40)). Which is smaller: d or 0?
0
Suppose 2*m - 4 = 5*y + 5*m, -4*m = 5*y + 2. Let l(n) = -n - 17. Let j be l(-15). Let z be 1/(j/10) + 3. Is z smaller than y?
False
Let t be -4*5/(400/(-44)). Is 3 < t?
False
Let a be -6*(-1 - 1/(-2)). Suppose 2*h + 17 = -a*k, -1 = -2*h - 2*k 