 or equal to 1?
False
Let x = -10.5 - -10.3. Is x bigger than -14/9?
True
Suppose -2*c + 5*v = -4*c + 2072, -4*c = -5*v - 4144. Let w = c + -11404/11. Which is bigger: -1 or w?
w
Suppose 3*m - 4 = 5. Suppose 5*p - m*b = -4, -2*p = -9*b + 4*b + 13. Is p at least 2?
False
Let g be (-2)/9 + (-8)/(-27). Is g at least 1?
False
Let z = -71 + 215/3. Suppose -2*s = -59 - 33. Suppose -s + 16 = 5*m. Does z = m?
False
Let p be (0 + 1)*1 - 2. Let c be (-4)/(-6)*(0 - p). Let o = -23 + 23. Which is greater: c or o?
c
Suppose 2*l + 0*l = -2*r + 8, -2*r - l + 10 = 0. Is r at least as big as 7?
False
Let p = -0.88 + 0.6. Let g = 0.02 - p. Let r = -0.27 + g. Are 0.1 and r nonequal?
True
Let d = 0.18 - 2.08. Let h = -0.9 - d. Is h greater than 0?
True
Let v(z) = z**2 + z - 1. Let j be v(1). Let k be (1 - 2) + j/1. Let p = k + 0. Which is greater: 1/3 or p?
1/3
Let g = 77 + -78. Which is greater: g or -0.002?
-0.002
Let o(l) be the second derivative of 0 + 2*l**2 - 1/6*l**3 + 3*l. Let d be o(6). Which is smaller: d or -4?
-4
Suppose -4*b + 10 = b. Let z = 11 + -8. Suppose b*g = -u - 9, -7*g - 20 = -z*g. Are -1/3 and u nonequal?
True
Let v be (-432)/1155 + 8/20. Is v greater than -1?
True
Let y(a) = a**2 - 2*a + 20. Let p be y(0). Which is smaller: p or 23?
p
Let j be ((-8)/5 - -2)*-5. Let b = 1 - -2. Which is greater: j or b?
b
Let q(r) = -r**2 + 8*r. Let u be q(8). Suppose w = 3*w + 4*v, u = -w + v. Which is smaller: w or -3/4?
-3/4
Let r = -111/2 - -54. Suppose 0 = 5*o - 0*o + 10. Which is smaller: r or o?
o
Let y = 0 + -1. Suppose 24 = -4*b + u - 5*u, -5*b + 5*u = 0. Which is smaller: y or b?
b
Let c = 12567/13 - 966. Is c less than 1?
True
Let s(q) = -q**3 + q**2 + q - 16. Let o be s(0). Which is greater: o or -15?
-15
Let j = 78 + -77. Is j at least 3?
False
Let k = -25/56 + 1/56. Let z = k + 2/21. Which is greater: 0 or z?
0
Suppose 4*b - 6 = 3*p, -4 = -2*b - b + 2*p. Let i be ((-131)/1)/(10/6). Let d = -79 - i. Is b bigger than d?
True
Let g = 0.15 - 0.14. Let a = -0.09 - g. Is a at least -6?
True
Let t = -56 + 34. Let l be (1 - 3) + (-46)/t. Is l < 1?
True
Suppose 0*h = 2*h. Suppose -b + 4 = h, -4*b + 9 + 7 = -5*u. Which is greater: -1/4 or u?
u
Let p(o) = -23*o**3 - o**2 - 2*o + 2. Let l be p(1). Which is smaller: l or -25?
-25
Let u be (4/(-6))/(16/(-6)). Suppose 0 = -5*g - 3*b + 11, 4*g - b = -5*b + 12. Are u and g nonequal?
True
Let s = 14 - 26. Let c = s - -11.7. Is c smaller than 0.2?
True
Suppose 4*m + 4*o = 8, o + o = -m + 5. Let c be (8/(-16))/(1 - (-13)/(-4)). Which is bigger: m or c?
c
Suppose 5 = -r + 8. Let u be r - (3 + 0)*1. Suppose 2*a - 2 = -6, 3*n + 3*a + 6 = 0. Is u less than or equal to n?
True
Suppose 3*h - 108 = -5*j, -3*j + h = -h - 80. Let n be (6/(-20))/(j/(-20)). Does n = 1?
False
Let k(q) = -5*q**3 + q**2 - 6*q - 7. Let i(a) = -4*a**3 - 5*a - 6. Let w(z) = -4*i(z) + 3*k(z). Let p be w(-2). Which is smaller: p or 1?
1
Let f be 4/(-7)*14/(-100). Let w = 79/50 - f. Which is bigger: 2 or w?
2
Let s be (2/10)/((-21)/15 + 2). Which is smaller: s or -2/3?
-2/3
Let m = 72 - 57. Is m greater than 11?
True
Suppose 2*f + o = -3*f + 24, 16 = f + 3*o. Suppose 2*d - 2 = f*p, 0*p - 5*p - 10 = 5*d. Is -2 >= d?
False
Let q be 3 - (15/6)/1. Which is greater: q or -0.2?
q
Let h(f) = f**2 - 11*f - 151. Let a be h(19). Let p = 4 + -3. Is a smaller than p?
False
Let c = 26.89 - 27. Let b = c - -0.1. Let r = b + -0.19. Which is bigger: r or -3/4?
r
Let n be 1 + 2 + (-1 - 0). Suppose -q + 2 = -n*q. Let m = -0.4 - -0.4. Is m less than or equal to q?
False
Let t(b) be the third derivative of -b**4/8 - b**3/2 - 8*b**2. Let w be t(8). Which is greater: -26 or w?
-26
Let r = 0.22 - -0.08. Let b = -0.2 + r. Let w = -0.16 + 0.16. Which is smaller: b or w?
w
Let b(a) = a**3 + 5*a**2 + 4*a + 2. Let f be b(-3). Let q be 2/(2/f*-2). Which is bigger: q or -5?
q
Suppose n + 4*l = 2 - 12, l = 2*n - 7. Which is smaller: 36/11 or n?
n
Let t(l) = -l + 1. Let m be t(1). Suppose m = 2*f - 6*f. Is f less than or equal to 2?
True
Suppose -3*v + 20 = 2*v + 5*s, -5*v + 14 = -s. Suppose v*w = 4*w + 2. Is w bigger than 1?
False
Let b be (-32)/(-10) + 2/(-10). Suppose b*y = -y. Is 0 less than y?
False
Suppose -12*a = 16 - 4. Let l be (-4)/(-6) - (-23)/(-12). Do l and a have different values?
True
Suppose 1 = 4*c - 7. Let k = -502 - -963/2. Let z = -20 - k. Is z equal to c?
False
Suppose 0 = -3*o + 5 + 13. Suppose n - o + 2 = 0. Suppose n*q - 5 = -1. Which is smaller: -0.1 or q?
-0.1
Let g be (-3)/6 + 23/(-2). Which is bigger: 1/4 or g?
1/4
Let k be (28/6)/(2/(-3)). Which is greater: k or -8?
k
Let z be 3/(45/(-6)) + 1. Let a = z + -1/5. Let p = 10/21 - -4/21. Which is smaller: a or p?
a
Let y(p) = -2*p + 18. Let i be y(-9). Which is greater: i or 37?
37
Suppose -h = h - 4*k, 4*h + 3*k - 44 = 0. Let n = -0.319 + 0.419. Is n > h?
False
Let p = 8.91 - 9. Let h = p + 0.02. Which is smaller: -1/3 or h?
-1/3
Let a = 10 - 7. Which is greater: a or -2?
a
Suppose 11 = -4*l + m, 2*l - 4*m + 3*m + 5 = 0. Let t be (1/l)/((-1)/6). Suppose 0 = 2*i + 2*f - 2, -2*f = i - t*i + 10. Is i bigger than 5?
False
Let g(d) = d**3 - 3*d**2 - 3*d - 3. Let k be g(4). Let n = 110.3 - 110. Which is bigger: n or k?
k
Suppose 2*q = -2*q + 20. Let c(y) be the first derivative of y**3/3 - 2*y**2 - 5*y - 3. Let m be c(q). Which is smaller: 0.1 or m?
m
Let i(h) = -h + 1. Let z be i(-1). Let p = 5 + -2. Suppose p*t - 6 = 3*u, t + 2*t - 10 = -u. Which is smaller: u or z?
u
Suppose 5*p = -355 + 35. Let o be p/110 - 12/(-66). Which is smaller: o or 1/5?
o
Let s(r) = -3 - r**2 + 2*r - 2*r + 11 - 5*r. Let w be s(-6). Which is smaller: w or 3?
w
Let n be (5 - 2)*2 + -1. Suppose -5*v = -s - 1 + 6, v - 25 = -5*s. Are n and s equal?
True
Let x = -13 - -13. Which is smaller: -1 or x?
-1
Let r = -0.117 + 1.187. Let d = 0.52 + -0.59. Let l = d + r. Is -1 equal to l?
False
Let h = -16.3 + 16. Do -2/5 and h have the same value?
False
Let t(d) = -3 + 3*d**2 - 2*d**2 + 2 + 6*d - 1. Let n be t(-6). Is n != -2?
False
Suppose 0 = 4*f + 11 + 5. Let v be 10/(-8) + (-94)/8 + 12. Is v > f?
True
Let i be (1 + 13/(-11))*(-13)/(-39). Which is smaller: i or 1?
i
Let o(b) = b**3 - b**2 - 2*b + 1. Let l be o(3). Suppose 0 = 10*y - l*y - 24. Is y not equal to -9?
True
Suppose -h - 2 + 4 = 0. Is h equal to 0?
False
Let t = 15 + -14. Suppose 5*h = -5*b + 10, 0 = -7*b + 4*b + 2*h + t. Which is bigger: -1/31 or b?
b
Let m = 3 + 2. Suppose 3*j - 2*k - 8 + 3 = 0, -4*j = -k - m. Which is smaller: j or 3/16?
3/16
Let y be (1 - 2)/(1132/(-8)). Is y < 1?
True
Let u = -17.5 - -17. Is u greater than or equal to 0?
False
Suppose 5*p = 53 + 17. Suppose 5*v + 54 = 3*r, r - 26 = 5*v + 2. Which is smaller: p or r?
r
Suppose -3*m = -30 - 15. Let i be ((-8)/10)/((-6)/m). Let n = -3 + i. Which is bigger: n or -1/6?
-1/6
Let q(m) = -m**3 + 0*m - 5 + 5*m - 4*m**2 - m. Let v be q(-5). Suppose v = 5*g + 5*y + 25, 5*g + 15 = -y - 2*y. Which is smaller: g or 2?
g
Let x = 0.66 + -0.16. Let o(c) = -c**3 - 6*c**2 - 4*c + 1. Let r be o(-5). Let s be (-2)/21*(1 + r). Which is smaller: s or x?
s
Let p(b) = b + 3. Let m be p(-6). Suppose 0 = 8*a - 2 + 18. Is a > m?
True
Let i be (4/14)/((-4)/(-28)). Let v = 0.11 - 0.08. Let z = v - -1.97. Are z and i equal?
True
Suppose 3*n + o = -8, -2*n + 3*o + 2 = -0. Let p be (-5)/(5/(-9)) + n. Is 7 < p?
False
Suppose 2*l + 5*o + 7 = -2, -4*l - o = 9. Let k be (6 + -1)/(2/2). Suppose 2*p + 1 = -k. Is p >= l?
False
Let w = -3/10 - -1/20. Suppose -5*v + 5*i + 3 + 17 = 0, -5*i = 4*v - 16. Which is greater: w or v?
v
Let x = -9 + 13. Let i = x + -7. Let k = 5 + i. Is -0.1 smaller than k?
True
Let q(s) = -s - 1. Let l be q(-3). Let f(y) = y**2 - 5*y + 6. Let i(b) = -b**3 + b**2 + 4. Let m be i(0). Let a be f(m). Are a and l equal?
True
Let f be (-4 - (2 + -6))/2. Is -2/17 at least f?
False
Suppose 140 = -4*y - 3*j, -y - 174 = 4*y + 4*j. Is -39 less than y?
True
Let a = 9 + -9. Suppose 6 + a = 3*u. Let m be 1*(1/1 + -1). Do m and u have different values?
True
Let f = -71 + 119. Which is greater: -1/2 or f?
f
Let t(i) = i**3 - 12*i**2 + 11*i - 4. Let j be t(11). Which is greater: 2 or j?
2
Let l(g) = -g**3 - 4*g**2 - 3*g + 4. Let t be l(-4). Suppose -5*r + 9 = -t. Suppose -3*o = -r*c + 2, o - c + 0*c = 0. Which is smaller: o or -2/5?
-2/5
