er: g or 3?
g
Let r = -16760/1602029 + -2/8567. Let i = -388/1309 - r. Suppose -2*v - z + 6 = 0, 0 = -3*v + 2*v - 5*z + 21. Which is smaller: i or v?
i
Let m = 6.5 + 1.5. Let n = 11 - 0. Let i = n - m. Is 0 != i?
True
Suppose 19*q - 25 = 14*q. Which is smaller: 9 or q?
q
Suppose d + d = 144. Suppose -2*f = f - d. Let m be 0 - (f/15 + -2). Is m at least -2?
True
Let l = -242 - -6054/25. Let q = 2/75 - l. Which is smaller: q or 0?
q
Let k = 2 + 12. Let o = -13 + k. Is 1/6 < o?
True
Let c be 28/70 + (-2)/5. Suppose 3*m + 0*y = 3*y - 18, c = -5*m - 4*y - 3. Let n(i) = -i**3 + i**2 + 2*i - 3. Let x be n(2). Do x and m have the same value?
True
Suppose m = 16 - 5. Suppose 3*v + 2*u = -0*u - m, -3*v - 4*u = 13. Is v less than 2?
True
Suppose -5*z - 15 = 10. Let y be (-60)/8*8/z. Let j be (2 - 0)*6/y. Is j < -2/9?
False
Let w(v) = -v**3 + 6*v**2 - 2*v - 6. Let r be w(5). Let i(q) = q**3 - 10*q**2 + 8*q + 7. Let x be i(r). Which is bigger: -2/7 or x?
-2/7
Let o be (3 + -5)/(1*-5). Suppose 4*m + 2*s = -2*s + 16, 20 = 2*m + 5*s. Suppose m = l - 5*h + 8 + 17, -4*l + h - 5 = 0. Is l greater than o?
False
Let f be 24/35 - (-2)/(-7). Suppose -4 = 3*l - 2*l. Let x = 5 + l. Which is bigger: x or f?
x
Let r = -44 + 42. Which is smaller: -8 or r?
-8
Let s(n) = -n - 3. Let h be s(-7). Suppose g - 4 = -1. Suppose -3*p - 9 = -2*l + 12, h*l + g = -3*p. Which is smaller: -4 or p?
p
Let w = 16 + -22. Let b be 2/w - (-522)/1080. Which is bigger: -1 or b?
b
Let h(z) = z**3 + 12*z**2 - z - 13. Let m be h(-12). Is m != 0?
True
Suppose -2*i + 4 = 2*o, -i = -3*i + 4*o + 10. Let q be 1*(-3)/3 - -4. Suppose 3 = q*f - 3. Is f greater than or equal to i?
False
Let u be (-36)/32*2/(-15). Which is greater: u or 0?
u
Let w(l) = l**3 - 7*l**2 - l + 6. Let v be w(7). Is v less than -1/7?
True
Suppose -3*a - 4*z - 8 = 17, 5*z + 29 = -3*a. Let b = -15 - -9. Let s = b + 3. Is a > s?
False
Let j = 4 - 11. Let m = j - -11. Let r = 3.9 - m. Which is bigger: r or -1?
r
Let q be -2 + (4 - (2 - 5)). Suppose 6*h = h + q. Which is bigger: h or 1/8?
h
Let h = -2 + -1. Let j be 0 + h + -2 + -3. Which is greater: j or -9?
j
Let o = 278/3 - 93. Let i be -3 + 5 + (-1 - 0). Which is smaller: i or o?
o
Let s = 8.93 + -9. Let f = -0.23 + s. Let x = -5 - -5. Which is bigger: x or f?
x
Suppose 8*a + 7 = -1. Do -1.8 and a have the same value?
False
Let t = 6 - 4. Is t at most as big as 2/11?
False
Suppose -2*l = -0*l + 8. Let k be -4*(-2 + (-5)/l). Suppose 8*a = k*a + 10. Which is greater: a or 3?
3
Let q = -41 - -201/5. Let r be (-1)/1 + 0 + 1. Which is smaller: r or q?
q
Let n = -0.086 + 1.926. Let t = -0.06 - n. Let o = 2 + t. Which is smaller: -3/5 or o?
-3/5
Let z = 2 - 0. Let w be z + (-24)/9 + 0. Are w and -0.1 equal?
False
Suppose -2*k - 3 = 57. Is k smaller than -29?
True
Let a = 61166/19 + -3220. Let k = a + 65/114. Which is smaller: 1 or k?
k
Let s(l) = -10*l**2 - l - 1. Let d be s(2). Let m = d - -128/3. Suppose -2*v + v = 0. Which is smaller: v or m?
m
Let m = 38 + -23. Suppose 3*r = -0*r - m. Is -3 > r?
True
Let d = -229 - -406. Suppose -3*p + 4*a = d, -3*a - 35 = p + 37. Let z be 2/7 + 60/p. Are 0.2 and z unequal?
True
Let t be 1*-1*3 + -1. Let i be 0/(-1 - 1)*1. Which is greater: i or t?
i
Let k be (4/(-66))/((-4)/(-15)). Let l = 9/154 - k. Let u be 2/40 - 2/(-10). Which is smaller: u or l?
u
Let d(u) = u**2 + 6*u + 7. Let h be d(-5). Let z be (3/h)/(9/(-109)). Let o = z - -35/2. Which is smaller: -2 or o?
-2
Let i be 20/15*3/2. Suppose -i*o - 2*t = -8, -4*o - 24 = 3*t - 7*t. Is 0 greater than o?
True
Let k(s) = -s**2 + s + 2. Let z be k(0). Let f = z - 7. Let t be 2/(-5) - (-8)/f. Is -2 not equal to t?
False
Let u be (-4)/(-16) - 62/(-8). Is u at least 6?
True
Suppose 4*x = x + 9. Suppose 0 = -x*k + 5*k. Which is bigger: -1 or k?
k
Suppose 8*c + 20 = 13*c. Is 0.1 > c?
False
Let m = -282139/141 - -2001. Are m and -1 nonequal?
True
Let j = 58.8 + 9.2. Is -1 not equal to j?
True
Let o = 2 + 4. Let s = 4 - o. Let r = -419/66 - -37/6. Which is bigger: s or r?
r
Let i(q) = q**2 + 4*q - 7. Let b be i(-5). Let o be (-6)/36*(-3)/b. Which is greater: 4 or o?
4
Suppose 4*x = 3*x + 4, 0 = -5*s - 5*x + 45. Suppose 0 = 4*y - s*y - 6. Is y greater than or equal to -5?
False
Let q = 6 - 6. Is 3 at least q?
True
Let r(x) = -x**3 - 5*x**2 - 2*x. Let d be r(-5). Let a be (-4)/10 - (-34)/d. Let z be 0 - (-1 + 1 + -3). Is z less than a?
False
Let k = -28 - 5. Does k = -33?
True
Suppose t + 2*t = 0. Let x(s) = s**2 + 4*s. Let q be x(-5). Suppose -y = 4*y + q. Which is smaller: y or t?
y
Let x be 9/(-9) - 30/(-26). Are 0 and x nonequal?
True
Let z be (2/4)/((-10)/36). Suppose -3*t + 2 - 5 = 0. Are t and z unequal?
True
Let p = 46 + -35. Let t(j) = -j**3 + 6*j**2 - 3*j. Let y be t(5). Is y at most as big as p?
True
Let n = -86/119 + 5/17. Let u be ((-6)/(-2))/(6/8). Suppose 0 = 2*h + 3*i - i + u, 2*h + 4*i = -8. Is n < h?
True
Let g(u) = u**2 + 3*u - 7. Let f be g(-5). Let h = -3 + f. Is 0 > h?
False
Let h = -207/4 - -52. Are 1/17 and h equal?
False
Suppose -4*n + 8 = -z - 7, -3*n + 3*z + 9 = 0. Let o be 4/(-3)*(1 - n). Suppose 2*r = 6*r + o. Does r = 1?
False
Let g be 5/2*(5 - 467/95). Is -1 >= g?
False
Let a = 28 + -10. Let k(n) = 2*n**3 + 2*n**2 + n. Let d be k(-2). Let v be ((-4)/d)/(a/(-10)). Which is bigger: 1 or v?
1
Let d(i) = i + 6. Suppose -4*k + o = -0*k + 16, -o = 0. Let a be d(k). Suppose -14 = -3*f + 4*f - 3*n, 2 = -5*f - a*n. Are -2 and f equal?
True
Let o = -0.02 - 6.98. Let i = 6.6 + o. Let u = -0.5 - i. Which is smaller: 1 or u?
u
Let i = -9 + 18. Let y = i - 8. Is y smaller than 2/5?
False
Let o be ((-8 - -3) + 2)/5. Is o at most as big as 0?
True
Let z = -27 + 27. Suppose 3*h + 5 + 10 = 3*n, n - 2*h - 5 = z. Let i(r) = r**3 - 2*r**2 + 3*r - 1. Let d be i(2). Is n bigger than d?
False
Suppose -8*i = 4 - 4. Which is bigger: i or -4/3?
i
Let r = -571/8 - -71. Let z(s) = -1. Let y(h) = h + 5. Let q(w) = -y(w) + 3*z(w). Let p be q(-7). Is p not equal to r?
True
Let q = -0.3 - -0.3. Let g = 0.1 + q. Let n = -0.1 + 0.1. Are g and n unequal?
True
Suppose -5*n - 22 = -12. Let d(w) = -2*w + 2. Let t be (-28)/(-10) + 5/25. Let o be d(t). Is n <= o?
False
Suppose 9*w - 4*w - 10 = 0. Suppose 5*r + 3 = -3*s, s + 3 - w = -4*r. Which is greater: s or -3/7?
-3/7
Let n = -1/112 + -219/560. Which is bigger: n or -4?
n
Let s(d) = 2*d + 2. Let p be s(2). Let n(v) be the first derivative of v**3/3 - 7*v**2/2 + 7*v + 6. Let l be n(p). Are l and -2/9 non-equal?
True
Let y = 129 + -513/4. Suppose -2*w + 5*m = 2*w + 20, 12 = 3*m. Which is smaller: y or w?
w
Let y be (-4)/(-2 + 2 - 2). Let o = y - 4. Suppose 0 = 2*q - 4*q + 4. Which is smaller: o or q?
o
Let s(v) = v**2 + v + 3. Let h be s(0). Suppose 3*w - 4*w + 5*g - 4 = 0, 4 = w + h*g. Are w and 1/7 equal?
False
Let m = -17.1 - 8.9. Do 1 and m have different values?
True
Let l be (3/(-1))/((-1)/(-4)). Let p = l + 8. Suppose 0*x + 2*x - 2*h = 0, 3 = 3*x - 4*h. Which is smaller: x or p?
p
Let v = 2/25 - -19/75. Let i = 24 + -26. Is v at most i?
False
Let r(m) = m**2 - 74. Let a be r(0). Let t be a/10 + 3 + 3. Is 0 >= t?
True
Suppose -3*l = -3*x + 3 + 24, 2*l = -x. Let m = -7 + 3. Let u = m + x. Which is smaller: u or 1?
1
Let h be 2/(-9) + 132/(-378). Let t be 6/(3 - 0) + 10/(-5). Is t > h?
True
Let g = -14 - -27. Which is bigger: 15 or g?
15
Suppose -3*m + 8*m + 10 = -5*n, -2*m - n = 8. Let i be 0/m + (1 - 0). Does -1/31 = i?
False
Let l be 37/168 - 3/24. Is -1 at least as big as l?
False
Let h = -45412/2501 + 688/41. Let j = 6683/1708 + h. Let u = j + -16/7. Which is smaller: -0.1 or u?
-0.1
Suppose -f = -42 + 11. Suppose 4*z + 11 = f. Is z at most as big as 5?
True
Let u = -3 + 11. Suppose -u*p - 48 = -11*p. Is p >= 16?
True
Let k = -1 - -4. Let v = -3 + 3. Let z be (-3)/((-27)/(-6)) + v. Which is bigger: k or z?
k
Let r be -2 - (540/(-21))/3. Let c = r - 47/7. Which is bigger: c or 1?
1
Let b(z) be the third derivative of -z**4/24 - 3*z**3/2 - 2*z**2. Let l be b(-9). Which is smaller: 1 or l?
l
Let n be 8/(-8) + (5 - (1 - 1)). Which is smaller: n or 10/3?
10/3
Suppose 2*c + 2*o - 6 = 3*o, 4*c - 3*o - 16 = 0. Which is smaller: -2/193 or c?
-2/193
Suppose -d + 3*t + 0*t + 18 = 0, 5*d - 51 = 2*t. Suppose -6 - d = -5*n. Which is bigger: n or 7/4?
n
Let y(n) = 7*