smaller: q or r?
q
Let f be ((-1)/(6/15))/((-16)/8). Are 2 and f nonequal?
True
Suppose 105*o = 104*o + 4. Which is bigger: o or 14?
14
Let f(s) = -s - 2. Let y be f(-6). Let t = y + -2. Suppose t = -g - g. Which is bigger: g or -4/3?
g
Let a = 11 - 6. Is a less than 5?
False
Let a = 33.1 - 33. Let h = -2 - -1.9. Is h != a?
True
Let f = -25 - -91. Let o be 2/4 - 45/f. Is 0 greater than o?
True
Let s(l) = -l - 1. Let q be s(-3). Suppose -q*u - 5 = -1. Which is bigger: u or -3?
u
Suppose 2*m + 3*c + 11 = 0, 4*m + 4*c = -0*m - 20. Let g(n) = n**2 + 4*n - 3. Let w be g(m). Which is smaller: -2 or w?
w
Let i(a) = a**2 - 5*a + 4. Suppose 0 = -5*c + 4*u - 3*u + 30, -3*c + 18 = 2*u. Let f be i(c). Do f and 9 have different values?
True
Let l be (5/15 + 4/6)*-1. Let a be 1 - (0 + 272/(-6)). Let p = -46 + a. Is l less than p?
True
Let q = -22 - -20. Let u = -2/53 + -149/265. Is q > u?
False
Let d be (-2)/(-3)*(-3)/7. Which is greater: 1 or d?
1
Let l = -0.23 + 0.33. Which is greater: l or 0?
l
Let f = -37 + 37. Is -1/18 equal to f?
False
Let p = -17 + 21.4. Let w = p + -4. Which is smaller: -1 or w?
-1
Let m = 157/4 - 39. Let q = 119 + -118. Which is smaller: m or q?
m
Suppose 0 = i + 2, -7*p + 2*p + 3*i = -66. Suppose -2*j - p = 3*d - 0*d, -j = 2*d + 7. Suppose 12*n + 18 = 3*n. Do d and n have different values?
False
Suppose -61 = 5*w + 14. Let z = 5 + w. Let r be (-1)/15 - z/25. Which is greater: r or -1?
r
Let g be -1*1 + 30/26. Let l = 13 + -11. Is g at most as big as l?
True
Suppose -3*y + 1 = -5. Suppose 3*s - y = 2*v - 17, -5*v + 3*s + 24 = 0. Let r be v - 0 - (-9)/(-3). Which is bigger: 1/8 or r?
1/8
Let z = -5 - -13/4. Which is bigger: -1 or z?
-1
Let w be 45*(-5 - 39/(-9)). Is -31 > w?
False
Let s(j) = j**2 + 7*j - 9. Let g be s(-8). Let n = 1082 + -9727/9. Let y = 14/9 - n. Is g bigger than y?
False
Suppose 3 = 4*y + 11. Which is bigger: -1 or y?
-1
Let b be ((-15)/(-25))/((-1)/(-15)). Do 9 and b have the same value?
True
Let m be 3626/1210 - (1 - -2). Let i = m + 2434/4235. Which is greater: i or 2?
2
Let g = -30 - -41. Is 11 smaller than g?
False
Suppose -10*t = -11 + 1. Let x be 1 - 1*-1*2. Which is smaller: t or x?
t
Let v = 2 - -7. Let y = 0 - v. Let j = y + 7. Is j <= 2/5?
True
Let k = 16 + -16. Is k at most as big as 12/17?
True
Suppose z - 9 = -3*r, -5*r + 9 + 8 = z. Let a be (-4)/z + (-6)/(-9). Let u be (-4)/(-22) - 7/(-22). Which is greater: a or u?
a
Let r = 47 + -37. Let k(m) = m**3 - 4*m**2 - 7*m. Let b be k(6). Suppose -5*z = 3*u - r, 4*z + 0 = 2*u + b. Do u and -3 have the same value?
False
Suppose -g - 25 + 8 = 0. Let w = g - -154/9. Suppose 0 = -4*n + 4*v + 1 + 3, -5*n + 4*v = -3. Which is smaller: w or n?
n
Let x be -1*(-1 + 14) + 1. Let q be (6/(-44))/(x/(-16)). Let o be (-16 - -17)*(1 + -1). Is q < o?
True
Let x be -1 + (2 - 3) + 12. Let g = x - 16. Let c be (-4)/(-56)*(2 + g). Which is smaller: -1 or c?
-1
Let v = -5 - 1. Which is bigger: -5 or v?
-5
Let p(x) = 3*x - 6. Let o be p(6). Suppose -3*w + o = 0, -4*j = w - 3*w. Is 0 less than j?
True
Let x be (-4)/(-1 - (1 + -3 + 2)). Is 0.07 < x?
True
Let p = -2.1 + 2. Let s = 1.1 - p. Is s != 1?
True
Let b = 224941/1382805 + 3/10243. Let s = 97 + -2620/27. Let q = s - b. Is q > 0?
False
Suppose -2*h - 54 = 2*c, 4*c = 3*h + c + 87. Which is greater: -25 or h?
-25
Suppose -5*k + 2 = -3. Suppose -4*n + 17 = -0*n - a, 4*a + 23 = n. Suppose n*q - 3 = -0*q. Is k bigger than q?
False
Suppose 3*p - 7 = w - 1, 5*w - 5*p + 20 = 0. Is w at least as big as 1?
False
Let l = -0.02 + 0.04. Let x = -0.08 - l. Which is bigger: x or 4?
4
Let d be 3*(-3)/(90/(-4)). Let j = 1.2 - 0.7. Let k = 0.6 - j. Is d at most k?
False
Let r = 9 + -10.9. Let w = r + -0.1. Which is smaller: 0.1 or w?
w
Let m(u) be the first derivative of u**3/3 - 3*u**2 - 8*u - 8. Let i be m(6). Is i equal to -8?
True
Let v(b) = b**2 - b + 1. Let j be v(2). Suppose -j*p - p - 2*f = -2, -5 = 2*p - f. Which is greater: -1/5 or p?
-1/5
Suppose w + w - 6 = 0. Let l be 2/(w - 5)*-1. Let v be (-1)/21 + (-4)/14. Do l and v have different values?
True
Let y = -28447/175 + 1132/7. Let i = y + 1/25. Which is bigger: i or 0?
0
Suppose 5*x = -3*o, -2*o + 6*o + 5*x = 5. Which is greater: 19/5 or o?
o
Let w be (-3)/(-5 + 2) - 9. Is -9 less than w?
True
Suppose -4*b - 52 = 24. Is -19 > b?
False
Let n(j) = -4*j + 4. Let f be n(-8). Is f less than 36?
False
Suppose -2*r + 10 = -3*k, k + 0*k + 2*r + 6 = 0. Let w be (-1)/(k + 6/2). Which is greater: w or 2/5?
w
Suppose 0 = -a + 4*a. Suppose z + q + 3 = a, 3*z - q - 3 = 8*z. Is -1 at most as big as z?
True
Let g = 11 + -10. Let w be (g/3)/(3/18). Which is smaller: 1 or w?
1
Let n = -1 - -2. Suppose d - 13 - 14 = 0. Let r be (-38)/(-24) + (-9)/d. Is n bigger than r?
False
Suppose -3*f + 53 = -4*n, 41 = 2*f - 2*n + 5. Let g = f - 3. Suppose -5*c + 7 = 3*z, 2*z + 4*c - g = -3*z. Is 3 greater than z?
False
Let g = -15 + 12. Let a = g - -3. Let z = -1 - 3. Are z and a nonequal?
True
Let n be ((-6)/(-588)*-2)/(-2 - -1). Which is smaller: n or -1?
-1
Let g(v) = -5*v - 9. Let m be g(-2). Does m = 1?
True
Let s = -6 - -18. Suppose 4*z - s = -0*z. Suppose 5*w = 2*q - 5, -2*q + z*w + 0 + 3 = 0. Do 2/21 and q have the same value?
False
Let j(u) = -u**2 + 7*u - 6. Let g be j(6). Suppose f - 4*f - 3 = g. Let d be f - ((-40)/(-6))/(-4). Which is smaller: 2 or d?
d
Let h = -23 + 4. Is h < -18?
True
Let h = 0.25 - 0.01. Let x = 0.06 + h. Let c = 2.6 + -3.6. Which is smaller: c or x?
c
Let o be -3 - (-1 - (-18)/(-30)). Suppose 4*h = -2 - 6. Which is greater: h or o?
o
Let l = 59 + -591/10. Which is greater: 0 or l?
0
Suppose -2 = 2*s - 3*s. Suppose -2*n - s*m + 50 = 0, 0 = 5*n + 4*m + 23 - 143. Let g be (-2)/(-1)*(-2)/n. Is 0.1 at least as big as g?
True
Let q be (-4)/(-1 - -5)*-2. Is q bigger than 6/5?
True
Let j(p) = 2*p**2 + 2*p**2 + 0*p**2 - 3*p**2 - 3*p. Let h be j(3). Is 1 <= h?
False
Suppose 2*s = 4*s. Suppose -4*y - a = a - 2, y - 13 = 2*a. Suppose s*t = -y*t - 3. Which is smaller: 1 or t?
t
Suppose 0 = -5*k, 5*p = 2*k + 11 - 1. Suppose 0 = -w - p + 10. Let i be (-2)/w + 26/8. Is i greater than or equal to 3?
True
Let k = 9 - 16. Suppose -7 = 2*b - 4*i - i, 2*b + 15 = -3*i. Which is smaller: b or k?
k
Let o = -2 + 6. Let u = 6.2 + -1.2. Let x = u - o. Is x at least 0?
True
Let t(y) = 2*y - 1. Let o be t(3). Let f(h) = 2*h - 6. Let l be f(o). Suppose 3*p + 3*n = 12, -3*n + 24 = 5*p - 2*n. Are p and l equal?
False
Let n = 47 - -29. Suppose n = -2*u + 6*u + t, -3*u = -t - 64. Suppose d - 5*d = -u, 2*s + 28 = 4*d. Are -4 and s equal?
True
Suppose 4*u + 3*c + 2 = -9, 0 = -5*u - 2*c - 5. Is u >= 0.064?
True
Suppose -2*v + 2 = -3*v. Let j = -1 - v. Suppose -2*i + w = -9, 2 = 4*i + 5*w + 5. Which is smaller: i or j?
j
Suppose -4*j = 20, 3*j = -2*s + 4*j + 1. Let p be s + 4 + (-4 - -2). Let m = 0 + 0. Is m greater than or equal to p?
True
Let v = 15 - 24. Which is smaller: 0.2 or v?
v
Let o(s) = -s**2 + 6*s + 10. Let n be o(7). Let f be n/(11 - -1)*1. Which is smaller: f or 1?
f
Let d be 0*(2/4 + 0). Suppose 4*n = -d + 8. Suppose 0 = n*b + 1 - 3. Are b and -1/5 non-equal?
True
Suppose -5*w = 10, 2*z - w + 0 = 4. Are z and -1 equal?
False
Let r = 8.2 - 0.1. Let h = r - 8. Which is smaller: 1/4 or h?
h
Let y = 5219887/7 + -750530. Let z = -4906 - y. Let h = -74 - z. Is 0 != h?
True
Suppose 0 = -29*a + 25*a. Is 0 <= a?
True
Let s be -5*(14/(-10) - 1). Let l be (219/s)/(14/8). Let t = l + -10. Is t != -1?
True
Let m = -7 + 1. Suppose -a - 15 = -2*a. Let v be 1 - m*(-4)/a. Is 0 greater than or equal to v?
True
Let w = 7 - 8. Let a = w - 4. Which is greater: -6 or a?
a
Let s be (2/2)/(9/37) - 3. Which is greater: 4 or s?
4
Let w(u) = -u**3 - 7*u**2 + 16*u - 7. Let s be w(-9). Which is bigger: -2/3 or s?
s
Let k = -287/120 + 9/40. Which is greater: k or -1?
-1
Let n be 11/(-66) + (-1)/(-6). Does -1/20 = n?
False
Let r(x) = x**2 + 7*x - 1. Let d be r(-6). Which is greater: -6 or d?
-6
Let v(h) = h**3 - 4*h**2 + h. Let g be v(4). Let w = 6 - g. Let k be 6/9*(w - -1). Is k < 3?
True
Let m = 0.2 - 0. Let w = m + 0. Let r = w - 2.2. Is 0.1 at most r?
False
Let u = 2.2 - 2. Let v be ((-6)/(-90))/((-1)/(-9)). Which is smaller: u or v?
u
Let a(l) = 7*l + 4. Let g(y) = y - 3. Let k be g(0). Let c be a(k). Let j = -52/3 - c. 