 h be (-1 - (1 - 2))/r. Let p = -0.2 + 1.2. Do p and h have the same value?
False
Let l be ((-6)/(-10))/((-5)/(-25)). Suppose -l*m + 8*m + 55 = 0. Are m and -10 non-equal?
True
Let n = 382 - 384.01. Let a = -1.01 - -1. Let o = a - n. Is o at most as big as 2?
True
Suppose 2*s + 9 = 1. Let x be (-45)/81*s/10. Is x greater than or equal to 1?
False
Let u be (1 - 360/115) + 2. Is 1 >= u?
True
Let j = -1/149 - -371/10877. Is j at least -1?
True
Let f be 0/(3*1/(-1)). Which is bigger: -2 or f?
f
Let y = 0.2 - 1.2. Let g = y - -1.1. Let l = -0.1 + g. Which is smaller: l or 0.1?
l
Let j = 10.05 - -2.25. Let b = 12 - j. Do 0.2 and b have the same value?
False
Let q = -0.32 - -9.22. Let x = -9 + q. Do x and 3/17 have the same value?
False
Let b = 0.2 - 0.3. Let v = b + 0.4. Is 1 bigger than v?
True
Let s = -16 - -8. Which is smaller: s or -7?
s
Let j(s) = -111*s + 7. Let i be j(-4). Let m = i - 1791/4. Do m and 3 have different values?
True
Let x be 1/(-1)*(-1)/7. Is 0 at least as big as x?
False
Let f be (2/4)/((-2)/32). Let u be 4/6*(-36)/f. Is u smaller than 3?
False
Let f be 0/(-1*(0 + -1)). Which is bigger: f or 2/3?
2/3
Let m = 10 - 5. Let z(k) = -k**3 + 4*k**2 + 5*k + 4. Let h be z(m). Suppose 0 + 4 = h*c. Is 2 != c?
True
Let h(l) = -11*l**2 - 1. Let q be h(1). Is -12 equal to q?
True
Let o(q) = -q**2 + q + 18. Let s be o(0). Is 0 at most as big as s?
True
Let h(l) = l**2 + 6*l - 32. Let p be h(-9). Is p less than 1?
True
Let j(a) = -a + 5. Suppose d - 2*k = 6, 2 = -4*d + 2*k + 20. Let s be j(d). Let n = 62 + -312/5. Is n less than s?
True
Let l be 4 - -1 - (-4 - -4). Let a(c) = -3*c - 1 - 3*c**2 + 0 - c**2 - 2*c**3. Let j be a(-2). Is j not equal to l?
False
Let g = 42 - 85/2. Let a = 3 - 5. Let v = a + 1. Which is greater: v or g?
g
Let v = 0.2 - 0.2. Let q = -0.3 - -0.1. Let d = q + v. Do 2 and d have different values?
True
Let j = 0.102 + -0.102. Which is smaller: j or 29?
j
Let u = 84 + -261. Let r = u + 878/5. Are r and 0 non-equal?
True
Let b be ((-1 - -1) + 1)*3. Let h = b + -6. Let n be ((-4)/16)/(h/(-4)). Are n and 0 non-equal?
True
Let j = 2126/6345 + -28/135. Which is greater: j or -2/5?
j
Suppose -42*a + 38*a + 156 = 0. Is 39 < a?
False
Let s = 0.18 + -10.18. Let z = s + 9.2. Let h = 0.9 + z. Which is bigger: h or 3?
3
Let m(q) = 3*q + 7. Let x(b) = 12 + 2*b + 3*b - 2. Let r(p) = -8*m(p) + 5*x(p). Let n be r(6). Is -1 < n?
True
Let o = 1.9 + 0. Let f = 0.1 + o. Which is smaller: 0.2 or f?
0.2
Let o(a) = -a**2 - 21*a - 35. Let u be o(-19). Which is smaller: u or -4?
-4
Let j(m) = m**2 - 3*m + 3. Let u be j(2). Let c be (20/8)/(u/(-2)). Let f be (-46)/8 - 7/28. Do c and f have the same value?
False
Let z(i) = i**2 - i - 1. Let g be z(3). Suppose -2*h + g*h + 12 = 0. Let m be (5 + h)/(10/6). Which is smaller: m or 1?
m
Let a(w) = -3*w + 17. Let h be a(-1). Which is smaller: 64/3 or h?
h
Suppose o - 4 = -7. Is o at least as big as -18/11?
False
Let a be 3/(-18) + (-265)/30. Let v be 27/6*12/a. Are v and -6 nonequal?
False
Let q be (3/8)/((-1)/(-4)). Let t = 6 - 3. Which is greater: q or t?
t
Let g be (-4 - -2)*(-39)/6. Let z = -8 + g. Suppose -4*o - z = 2*j - 1, -2*j + 2 = -2*o. Is j less than 1/17?
True
Let a be 5/3*(-8)/(-40). Let s(c) = -c**2 + 6*c. Let v be s(6). Is v less than a?
True
Let k = -0.7 + -2.3. Is -1/4 less than k?
False
Suppose 10*i = 5*i - 3*x + 93, 0 = -3*i + 2*x + 71. Suppose 3 - i = 2*a. Is -9 < a?
False
Let q be (-10)/(-24) - (-1)/4. Suppose -5*m = 11 - 21, 5*m + 90 = -5*n. Is q smaller than n?
False
Let p(z) = -4*z - 66. Let l be p(-11). Is -24 at least as big as l?
False
Let h = 1 + 4. Let x(i) = -i**2 + 7*i - 6. Let s be x(6). Suppose -2*m = -s*m - 5*t - 15, h*m - 4*t = 12. Are m and 0 non-equal?
False
Let d = 7 - 8. Let w = d - -1. Which is bigger: 5 or w?
5
Let d = 2/113 + -121/452. Suppose -3 = 2*u - 1. Are u and d equal?
False
Let z = 4713 + -28355/6. Let q = -13 - z. Let d be ((-6)/75)/(1/5). Is d >= q?
False
Let r be 1*9/(-36)*13*-4. Are r and 14 unequal?
True
Let n = 0.12 + -2.12. Which is bigger: n or 2/5?
2/5
Let u = 19/60 - -1/12. Let h = 4 - 5. Which is smaller: h or u?
h
Suppose -2*k + 6 = 2*u, k = 5*u + 5*k - 12. Is u <= -1/7?
False
Let v be (-2 - 7/(-2))*2. Let q be 3/4 - (-74)/8. Let b be q/4 - 13/26. Does v = b?
False
Let k = 8 + -12. Let m be k/(-24)*-2*-1. Is -3 <= m?
True
Suppose -2*f + 24 = 2*f. Let a(j) = 2*j**2 - 13*j + 6. Let q be a(f). Suppose 5*w + 3 + 2 = 0. Which is bigger: w or q?
q
Let l = 25 - 37. Let s be 6/(-12)*l/10. Which is bigger: s or 0?
s
Let y be (-1)/(-3 - (-10)/4). Suppose -2*a + 6*m + 12 = m, -y*a = 3*m + 4. Is a greater than 2/13?
True
Let a = 10 - 10.12. Let k = -0.1 + 0.08. Let g = k - a. Which is smaller: 0.3 or g?
g
Let l = 0 + 0. Let p = 18 + -17. Which is bigger: l or p?
p
Let b = -16 - -13. Which is greater: b or 2?
2
Let h = 466/9 - 52. Let q be (-40)/19 - 1*-2. Is h smaller than q?
True
Let v(y) be the second derivative of 1/20*y**5 - 4/3*y**3 + 7/12*y**4 - 2*y**2 - 3*y + 0. Let x be v(-8). Is x at least -2?
False
Suppose a = -4 - 2. Let l = a + 20/3. Which is bigger: -1 or l?
l
Suppose h + 404 = 1120. Let m = h - 11465/16. Let a = 3/16 - m. Which is smaller: a or 2?
a
Suppose -4*u = u + 5*n - 25, 0 = -5*n + 25. Is 1/22 not equal to u?
True
Let a be 1 + 7/((-105)/12). Are a and -1 unequal?
True
Let i = 27 + -19. Suppose -2*x = -0*x + i. Which is bigger: -3 or x?
-3
Suppose -t = -2*t + 3. Let q be (-1)/(t - -3) + -1. Is q > -2?
True
Suppose 2*m - 3*a - 5 = 0, -2*m + 3 = -5*m + a. Let s be 1/m*(-2 - -2). Let z be (-3)/2*(-8)/(-12). Which is smaller: s or z?
z
Let v = 1/25 - 53/75. Which is smaller: -2 or v?
-2
Let i = -129 - -648/5. Which is greater: i or -4?
i
Let b(h) = -h**2 + 9*h + 9. Let r be b(11). Which is smaller: r or -15?
-15
Suppose 6*y + 8 = 2*y. Let o be (y - 6/(-2))/(-1). Is o > -1/6?
False
Suppose 5*r + 0*r = -3*o - 30, 5*o - 18 = 3*r. Let s be 31484/(-70798) + r/(-21). Let k = -2/389 - s. Which is smaller: 1 or k?
k
Let t be (0 - -2)*9/(-6). Let x = t - -4. Suppose -z - 4*z - 9 = -4*r, 5*r + 4*z = x. Which is bigger: r or -3/8?
r
Let q = -14 - -12. Let g = -3 + 2. Are q and g equal?
False
Let k = 0 - 2. Let i = -39 + 9. Let o be 8/i*(-5)/(-2). Is k bigger than o?
False
Let o = 4 - 4. Let s be (-66)/(-34) + -2 + o. Is 1 at least as big as s?
True
Let i = -1.8 - 0.2. Let c = -2 - -2. Is i equal to c?
False
Let p = 852 + -601. Let t = -1261/5 + p. Are 0 and t nonequal?
True
Let u be ((-60)/(-75))/((-1)/((-5)/(-2))). Which is greater: u or -0.3?
-0.3
Let u = 16 + -29. Let q = u - -13.1. Which is smaller: 4 or q?
q
Let c = -0.08 - -0.1. Let y = 3.98 - 6. Let v = c + y. Does 0 = v?
False
Suppose r - 9 = -5. Is 3 >= r?
False
Let h(o) be the third derivative of o**4/24 + o**3/6 + 5*o**2. Let t be h(-2). Let w be (2 - (-1)/13) + -2. Is t bigger than w?
False
Suppose -2*o - 13 = -5*l, 2 + 0 = -o + l. Let f be 1085/56*2/(-10). Let j = 387/104 + f. Is j >= o?
False
Suppose -62 + 2 = 3*n. Let k be (-8)/n - 8/(-30). Which is smaller: k or 0.4?
0.4
Let x = 5 - 12. Suppose 4*g = -4 - 28. Which is greater: x or g?
x
Suppose 0 = -5*b - g + 13 + 7, 4*b - 3*g - 16 = 0. Suppose b*a + 6 - 2 = 0. Let j = -6 + 4. Which is greater: a or j?
a
Suppose -r - d - 77 = 2*r, -2*d + 110 = -5*r. Let b be -106*-1*(-3)/r. Let k = 13 - b. Which is greater: -1 or k?
k
Let o = 10 + -9. Suppose c + 1 + o = 0. Suppose -4*v = -5*g - 6, 1 + 2 = 5*v - 4*g. Which is bigger: c or v?
v
Let x be 1*(2 - (14 + 1)). Which is smaller: -1/2 or x?
x
Let l = -33 + 34.9. Let t = 2 - l. Let s be 2 + 1 + (-22)/8. Is s >= t?
True
Let t = 8 - 3. Suppose 1 - t = 4*r. Which is bigger: 3/10 or r?
3/10
Let u be (-16)/(-72) + 83/(-9). Let x be (-3 - u)*3/(-2). Let p = x - -10. Is p < -2/11?
False
Let i be 3/9 - 20/36. Which is bigger: 1 or i?
1
Let m = -160 + 159. Are m and -12 unequal?
True
Let b = -5 + 6. Suppose 4*j = -2*p + 2*j + 2, 0 = p - j - 1. Let m be (1/(-2))/(p/(-2)). Do b and m have the same value?
True
Let f(s) = s**3 - 5*s**2 - 5*s + 17. Let g be f(5). Let o be 2/(-6) - (-3)/9. Is g less than o?
True
Suppose 2*y - 3*j = 6*y - 11, y - 1 = j. Suppose 2 = -3*r - 2*d + d, d = -5*r - 4. Let p be -6 + 2 - -3 - r. Which is smaller: p or y?
p
Let q = -79 - -79.4. Let u = -3.1 - -3. Which is smaller: 