
-3
Let p be ((-7)/(-14))/(2/(-24)). Is 3 at least as big as p?
True
Let j = -4 - -16. Which is smaller: -2 or j?
-2
Let v = 0.02 - -5.98. Let d = -8 - -7. Let m = -0.9 - d. Which is greater: v or m?
v
Let u be 570/40*32/6. Let d be u/18 + 8/(-36). Which is smaller: d or -2?
-2
Let a = -31 + 31. Let o = 0 + 3. Let g = 2 - o. Is a > g?
True
Let y be (6/(-8))/(2/(-8)). Let z be 3*6/(-9) - -8. Suppose -p = -z + 2. Which is bigger: p or y?
p
Suppose 5*a + 4*i + 1 - 6 = 0, -4*a - 2*i = 2. Let p = -1 - a. Let c be (1 - 1) + p/3. Which is smaller: 1 or c?
c
Let q = 0.95 - -0.05. Which is bigger: q or -2/25?
q
Let w(q) = q**3 - 3*q**2 - q + 4. Let f be w(3). Which is bigger: 7/4 or f?
7/4
Let v = 6 + -6. Suppose 0 = 3*s - v*s - 3. Is s smaller than 1?
False
Let d be -6*(2/1 - (-8)/(-16)). Is d less than -9?
False
Let z = -19 + 187/10. Let x = 4 - 3. Is x not equal to z?
True
Let c be (-144)/75*1 + 2. Which is greater: c or 1?
1
Let r = -4821/3542 + 1/253. Let l = r - -6/7. Which is greater: l or -3?
l
Suppose 2*v - 3*b - 7 = 0, -3 = -3*v - 2*b - b. Let p be ((-4)/(-10))/(v/(-10)). Is -3 less than p?
True
Suppose 4*q + 3*v = -0*v - 29, 0 = 3*q + 5*v + 30. Let g(h) = -h**3 - 5*h**2 - h - 5. Let u be g(q). Which is smaller: u or 2/15?
u
Let r(o) = -o**3 + 4*o**2 - 4*o + 2. Let c be r(3). Suppose 18 = -0*w - 3*w. Let x be 1/(-4) + w/40. Are c and x equal?
False
Suppose -4*s + 21 = z - 0*z, 3*z + 1 = 4*s. Let a = z + -7. Is -5/6 not equal to a?
True
Suppose -4*f = -2*r + 20, 26 = -2*f + r + 4*r. Let v = f - -5. Suppose 2*y - 1 = 9, -5*x + 4*y - 15 = 0. Are x and v equal?
False
Suppose 7*v = 5*v + 16. Suppose 4*c - 12 = v*c. Let i(z) = z**2 + 3*z - 2. Let u be i(-3). Is u >= c?
True
Let i = -1045 + 1965. Suppose 0 = -9*v + 4*v - i. Let w = -1286/7 - v. Which is greater: -1 or w?
w
Suppose 4*g - 4 = -3*o - g, -4*o - 5*g - 3 = 0. Let s be 4 + -3 - (-5)/o. Is 8 at most s?
False
Let k = -1.4 - -0.8. Let o = k + -1.4. Let h = o + 2.2. Which is bigger: 1/4 or h?
1/4
Let i = 0.13 + -2.13. Which is bigger: i or 1/2?
1/2
Let j = 0.31 - -0.19. Which is smaller: -2/11 or j?
-2/11
Let l be (4/30)/((-66)/110). Does l = 1?
False
Suppose -3*w = 4*t, 2*w = -6*t + 5*t. Let i = -0.06 + 6.06. Which is smaller: t or i?
t
Let t = -6 - -5. Let v = -15 + 21. Let o be ((-4)/v)/((-5)/(-3)). Which is smaller: o or t?
t
Let p(k) = -k - 5. Suppose -l + 2*a - 18 = l, -6 = 4*l + 2*a. Let u be p(l). Let s = 3/38 - 97/266. Is u > s?
False
Suppose 0 = 3*w + 9, w + 3*w = y - 13. Let b = y + 0. Let s(r) = r + 5. Let o be s(-5). Which is greater: b or o?
b
Let z(c) = 5*c - 7. Let y(r) = -4*r + 7. Let m(v) = -4*y(v) - 3*z(v). Let q be m(5). Let u be 0 - (q - -2)/3. Is u bigger than 1?
False
Suppose 2*w + 1 = 5*t, -4*w - w = -t - 9. Let u be 15/(-40)*t/3. Which is greater: 1 or u?
1
Let j(w) = 17*w + 1. Let y be j(1). Suppose -5*x = t - 19, x = 2*t - 3*x + y. Is t > -2?
True
Suppose -9*y + 196 = 25. Is 18 smaller than y?
True
Suppose -5*b = -4*b + 1. Let w be -6*(2/3)/b. Suppose 3*s - w*s = 1. Which is smaller: 1 or s?
s
Let g = -30 + 30.6. Which is smaller: g or 0?
0
Let a = -74 + 83. Do -2 and a have the same value?
False
Suppose j - 5*j - 12 = 0. Which is greater: j or 2?
2
Let k(d) = -d**3 - 7*d**2 - 6*d - 4. Let u be k(-6). Let a(w) = w**3 + 3*w**2 - 7*w - 6. Let n be a(u). Let y = n - 8. Is -2 bigger than y?
False
Let p = 2 - 1.99. Let c = 5.81 - 6. Let a = -0.09 - c. Which is smaller: p or a?
p
Suppose -4*c + 30 = -2*i, 4*c + 3*i = 4*i + 25. Which is greater: c or 7?
7
Let f(h) = -h**3 - 2*h**2 + 7*h + 12. Let y be f(-4). Is y not equal to 16?
False
Let m = -0.24 + 0.07. Let u = m + -0.03. Is u >= -3?
True
Suppose -8 - 17 = -w. Suppose -2*v - 21 = w. Let i = -67/3 - v. Which is bigger: 1 or i?
1
Suppose -4*i = -4*q, -5*i - 1 = -3*q + 1. Are -1/17 and q equal?
False
Let x = -14 + 11. Let v be 0/(-1) + (-2 - x). Is v greater than or equal to 1/12?
True
Let g(w) = -w**2 - 4*w - 1. Let x = -7 - -4. Let h be g(x). Suppose 9 = 5*a - 3*r, -4*a - 13 = -9*a + r. Which is smaller: h or a?
h
Let r = 12 - -8. Suppose -2*b + r = -6. Suppose 5*p = -b - 7. Is p smaller than -3?
True
Suppose 3*a = 2*r - 4, -3*a + 0*a = 3*r + 9. Let k(p) = -p**2 - 9*p - 20. Let n be k(-6). Which is smaller: r or n?
n
Let y = 1 + 0. Suppose 5 = -2*s - 3. Let h be -2 + 10*s/(-18). Are y and h unequal?
True
Suppose -3*c = -4*a - 7, 1 = 2*c + 4*a - 3*a. Is c less than or equal to 2?
True
Let a be 0 + (1 - 2 - 0). Let f = -1 - a. Let c be ((-16)/48)/((-4)/(-6)). Is f bigger than c?
True
Let n(v) = -v**3 + 8*v**2 + 9*v + 1. Let g(w) = w + 4. Let p be g(5). Let u be n(p). Let a be -1 - (-2 + 3/u). Is a >= -3?
True
Let i(o) = -o**3 + 5*o**2 + 7*o - 7. Let q(v) = v**2 + 8*v + 2. Let f be q(-6). Let h = -4 - f. Let l be i(h). Is l > -2?
True
Let a(z) be the third derivative of 0*z - z**2 + 1/3*z**3 + 1/24*z**4 + 0. Let j be a(-5). Which is smaller: -4 or j?
-4
Let a = -2 - -2. Let p be (-4)/3*(a + 3). Let t be 2/p - (6 - 7). Which is smaller: 1 or t?
t
Let m = 2 - -2. Let o = -2 + m. Suppose o*x - 3*n + 6 = -3, -4*n + 12 = x. Which is greater: x or 3/5?
3/5
Let x be (-1 + -4 - 0) + 0. Suppose 0*o + 3*o + 20 = -v, 0 = 2*v - o + 5. Let a = v - x. Which is smaller: a or 1/3?
a
Let s(w) = -w + 13. Let t be s(7). Are 32/7 and t unequal?
True
Let t = 5 - 5.3. Let u = t - -1.3. Which is greater: u or -0.2?
u
Let m = -158 - -787/5. Which is smaller: m or -1?
-1
Let c = 0.12 + -0.1. Let p = c + 0.08. Is 8 smaller than p?
False
Suppose -2*y = y. Suppose a + 3*a + 20 = y. Let d be ((-2)/a)/((-39)/15). Is 0 > d?
True
Let u = 1/73 - 233/1022. Let f = -9/14 - u. Does 1 = f?
False
Let o(h) = -h**3 + 7*h**2 + 9*h - 9. Let b be o(8). Are b and -2/25 nonequal?
True
Let f be 1 + (1/2 - 1). Let h = -0.2 + -0.05. Let y = 0.05 + h. Which is greater: f or y?
f
Let q(u) = -u**3 - 3*u**2 + 5*u + 6. Let w be q(-4). Let a be (w/6)/((-1)/3). Is -1/9 bigger than a?
True
Let z(n) = n**2 + 3. Suppose -3*s + 3 = -6*s. Let g = s + 1. Let h be z(g). Is 4 > h?
True
Let r be 12*((-6)/(-4) - 1). Let c = -4 + r. Suppose c = -4*j + 14. Which is smaller: 4 or j?
j
Let a = 13 + -9. Suppose 4*i - 12 = a*b, -b - 2 = -2*i - 0. Which is smaller: -1/7 or i?
i
Suppose 5*t - 5 = -5*o, 5*t + 0*t - 2*o - 12 = 0. Let z be (t - 5) + (1 - 1). Does z = -2?
False
Let r = 3 + -2.95. Is -1 < r?
True
Let x = 107 + -121. Which is greater: -12 or x?
-12
Suppose -1 = -x + 2*u - 0, 5*x = -4*u + 75. Let o = 15 - x. Is 4 > o?
False
Suppose 5*a - 4*q = -9*q + 315, 2*a - 120 = q. Is 61 less than or equal to a?
True
Let v = 0.8 - 1. Let m = 21 + -21. Is v > m?
False
Let a be 4/((-12)/(-5) - 2). Suppose 0 = s + s - a. Suppose s*x + 2*u = -2*u + 26, x + 2 = u. Which is bigger: 1 or x?
x
Let r be (2/(-4))/(4/(-40)). Suppose r*b = 4 + 21. Suppose g + b = -4*g. Which is bigger: g or -2/3?
-2/3
Let a = -4.7 + 0.7. Let w = 4.4 + a. Do w and 1 have the same value?
False
Let o be 4/(-10) + (-639)/90. Is -7 at most o?
False
Let j = 0 + -4. Let t = -1 - j. Is t != 5?
True
Let l = 2/225 - -298/225. Let g = -2 + 3. Is g less than l?
True
Let c = 50 - 201/4. Is 1 < c?
False
Let w be -1 + 2 - (-2 + 3). Suppose w = -3*v + v - 4. Let c = 4 - 6. Is c < v?
False
Suppose h + 80 = 3*b, -5*b - h + 126 = h. Let n = -17 + b. Which is bigger: n or 11?
11
Let c = 19 - 18. Let p = 0.1 - -0.1. Are p and c non-equal?
True
Let p = -6.9 - -3. Let j = -4 - p. Is j smaller than 0.2?
True
Let j be (1 + -3)*11/(-11). Is 10/11 equal to j?
False
Suppose -3*x - 7 = 17. Let q be (4/6)/(x/(-12)). Do 2/33 and q have different values?
True
Let d be 2 + (114/(-118) - 1). Let j = d + 112/177. Which is greater: j or 3?
3
Let u be (-2 + (-7)/(-3))/(2/(-18)). Let z be 2 + ((-18)/10 - 2). Is z at most u?
False
Suppose -10*q = 2*q + 12. Which is greater: q or 1/20?
1/20
Let a = -63 + 65. Let z(k) = k - 3. Let i be z(0). Let c be (0 + 1)/(i/(-9)). Is a smaller than c?
True
Suppose 2*n - 9 = n. Suppose -n = 3*s + 9. Which is smaller: s or -7?
-7
Let c(n) be the third derivative of -n**5/60 - 5*n**4/24 - n**3/2 - n**2. Let w be c(-3). Suppose 0*x + 8 = 4*x. Which is smaller: x or w?
x
Suppose 18*c = 15*c + 45. Which is smaller: -4/7 or c?
-4/7
Let x = -1.9 - -2. Which is smaller: x or -5?
-5
Let i = 1.2 + -1.8. Is 0.1 less than or equal to i?