er: f or u?
f
Suppose -1 - 5 = 2*h. Let o = h + 4. Which is greater: o or 1/6?
o
Let m be (0 - 0)/(1/(-1)). Let o be 4/(-58)*(-7)/2. Let i = o - -9/203. Which is greater: m or i?
i
Let n be 136/160 + 2/(-8). Let t(v) = -v + 4. Let b be t(4). Which is greater: n or b?
n
Let l = -0.12 + 0.22. Is l greater than or equal to 48?
False
Let i(z) = 0*z**2 - 3*z**2 - 6*z + 4*z**2 + 7 + 0*z. Let g be i(5). Is 0 at least g?
False
Suppose 3*o - 5 = 3*m + 1, -28 = -5*o - 4*m. Suppose o*l + 24 = -4*b, -b = -3*l + 6*l + 16. Let a = b - -1. Is a less than or equal to -1?
False
Let o = -4 + 1. Let t = o - -3. Is t greater than or equal to -1?
True
Suppose 2*z + z + 3 = 0. Let q = 0 - z. Let g = -419/28 + 61/4. Which is greater: q or g?
q
Let k = 1002 - 39076/39. Let v = 47/13 + k. Is v less than or equal to 3?
False
Suppose 15 = -5*x, 3*k - 5*x = 2*k + 17. Let p be k - 0 - 198/(-21). Let m = 11 - p. Do 1 and m have the same value?
False
Let k = -72 + 74. Which is smaller: k or -3/2?
-3/2
Let l(a) = a**3 - 9*a**2 + 13*a + 6. Let u be l(6). Is -24 at most u?
True
Suppose 2*y + 4*v + 4 = 0, -3*y + 0*v = 2*v + 6. Let x = 10 + -14. Which is bigger: y or x?
y
Let s = 5117/3 - 1684. Which is greater: s or 21?
s
Let w = -1.3 - 4.7. Let v = w - -6.06. Let c = -0.26 + v. Are c and 2/5 non-equal?
True
Let g = 0.13 + -0.1. Let b = 0.17 + g. Are 1/7 and b nonequal?
True
Let j be (-26)/(-6) + 6/9. Let x be 3 - j - 11/2. Is -9 equal to x?
False
Let r(y) = y**3 + 2*y**2 + 3*y + 3. Let x be r(-2). Which is smaller: -2 or x?
x
Suppose 3*k - 5*z - 15 = 3, -z - 24 = -4*k. Let s = 11 - 4. Which is greater: k or s?
s
Let m = -4 - -37. Suppose 3*l + m = 3. Let s be 6/22*l/15. Which is smaller: s or 1?
s
Let m(u) = 10*u**2 + 1. Let t be m(-1). Let j = t + -7. Let z = 0 - -2. Is j < z?
False
Let c = 6 - 4. Suppose 5 - c = -3*g. Which is smaller: -2/5 or g?
g
Let n(v) = v - 2. Let s be n(0). Let w = 3 + s. Is w < 3/13?
False
Let n(p) = p + 5. Let k be n(-5). Suppose w - 2*w + 3*f - 1 = 0, 2*f - 4 = -w. Let g be (8/(-2))/(-4) + w. Which is smaller: g or k?
k
Suppose -6*v - 4 = -8*v. Is 3/5 != v?
True
Let n = 0.28 - -0.02. Which is greater: n or 2/7?
n
Let k be -2 + (-1 - (-1996)/18). Let x = -108 + k. Which is bigger: x or -1?
x
Let j = 2 + -5. Let d be j/2 - 3/(-2). Let n be (-5)/(-10)*(d - 0). Do -1/4 and n have different values?
True
Let b = 120 - 1079/9. Is 0 at least as big as b?
False
Let n be (-3)/19*4/6. Suppose 30*q + 19 = 11*q. Is n equal to q?
False
Let j(l) = l**2 + 11*l - 2. Let f be j(-11). Let p be (-1)/f - 0/4. Suppose -1 - 3 = -4*o. Is o bigger than p?
True
Let z(m) = -3*m**3 - 8*m**2 - 7*m + 6. Let y(c) = c**3 + c + 1. Let n(a) = 2*y(a) + z(a). Let j be n(-7). Does -7 = j?
False
Let n be 33/9 + (-2)/(-6). Suppose n*u + 18 + 2 = 0. Is u at most -4?
True
Let i be 8/32 + (-1)/4. Suppose 0 = -5*f - i*f - 40. Which is smaller: -9 or f?
-9
Let q(y) = -y**2 + 7*y + 10. Let x be q(8). Suppose -3*p + x*r - 1 = 0, -4*r + 4 = -3*p - 1. Which is smaller: p or 5/3?
p
Let u be 8 + -10 + (-4)/(-3). Suppose 0 = -6*l + 2*l + 12. Suppose 0 = -4*s - 3*w - 1, 2*s + s = -l*w. Is u != s?
True
Let g = -43 - -83/2. Let i(d) = -d + 4. Let b be i(6). Which is smaller: g or b?
b
Let y(b) = 2*b - 10. Let p be y(11). Let m be (-110)/p - 2/(-12). Which is smaller: m or -10?
-10
Let z = 247/5 - 49. Let w(i) = -i - 7. Let t be w(-9). Suppose 5*q - 6 - 5 = 4*n, 0 = -3*q - t*n - 11. Is z bigger than q?
True
Let n(h) = -h**2 + 4. Let w be n(0). Suppose 0 = -w*g + 1 + 15. Do g and 4 have different values?
False
Let w(u) = u**2 - 6*u + 5. Let x be w(4). Let p(b) = -2*b - 29. Let n be p(-13). Is x at least as big as n?
True
Let m(t) = t - 7. Suppose -2*n = -4*n, n = -a + 8. Let j be m(a). Let l be ((-1)/(-15))/((-1)/2). Which is smaller: j or l?
l
Let a = 1969/14 - 279/2. Is a less than 2?
True
Suppose 2*h - 7*b = -3*b + 10, -4*h - 4*b + 32 = 0. Suppose -2*u = -5*u - w + 22, 0 = -2*u + 5*w + 26. Is u bigger than h?
True
Suppose -115 = -5*g - 5*w, 4*g - w - 2*w - 127 = 0. Suppose 28 + g = 2*q. Let c be -1*2 - q/(-7). Which is greater: 3 or c?
3
Let r be (-12)/(-16)*(27 + -31). Let q be 4*(1 - 34/24). Is q at most r?
False
Suppose 2*i + 4*h = 2, 2 = -3*i + h + 5. Is 1 > i?
False
Let y(x) = -2*x + 27. Suppose 2*l = 6*l + j - 44, 55 = 5*l - 2*j. Let i be y(l). Is 3 <= i?
True
Let f be (-450)/8 - (-3)/12. Let u be 2/(-2)*6/f. Which is smaller: u or 0?
0
Let j be -4 - (4 + -2) - 2. Let n be 70/(-12)*j/(-95). Let t = -3/19 - n. Which is bigger: -0.2 or t?
t
Suppose -x - 6 = -b, 3*b + 2*x = 4*x + 13. Let f be (-231)/220 - 10/(-8). Is f at most as big as b?
True
Let o(p) = p**3 - 9*p**2 - p + 6. Let d be o(9). Is d at most as big as -1?
True
Let t = 15407 + -1941293/126. Let c = t + -1/18. Which is smaller: 1 or c?
c
Let o = 4 - -1. Let u(n) = 3*n - o*n + n. Let w be u(-1). Is 1 at most w?
True
Let w = 0.93 - 0.43. Which is smaller: 2 or w?
w
Suppose 0*u = u. Let g be (u - -2)*178/144. Let t = 35/12 - g. Is t != 0?
True
Let y be 1*-1*1*4. Let m = -5 - -10. Let b be 0/m - (0 + 3). Is y at most b?
True
Let s = -545/3 + 217. Suppose -b - 30 = 4*j - 175, 2*j + 2*b = 74. Let k = j - s. Which is smaller: k or -3?
-3
Let g = -4 - -4. Let b(v) = -44*v**3 + 2*v**2 + 2*v + 1. Let c be b(-1). Let m be (-3)/8*(-20)/c. Which is smaller: g or m?
g
Suppose 0 = -2*r - 4*z, 5*r + 0*z = -2*z - 24. Let t = 1 - r. Let i = t + -7. Which is smaller: -1 or i?
-1
Let z = 71.8 + -71. Which is greater: z or 2?
2
Let u be 8/(-3)*(-3)/(-2). Suppose r + 6*l - l + 18 = 0, 2 = 3*r + l. Let j = -2 - r. Is u bigger than j?
False
Let r(x) = x**2 + 2*x - 4. Let p be r(-4). Let w(h) = -4*h**3 - 2*h - 1. Let y be w(-1). Is y at least as big as p?
True
Suppose -h + 0*h = 8. Let g = h + 7. Is g less than -2?
False
Let x = -32 - -48. Let p be 88/(-14) + x/56. Is p >= -5?
False
Let c be (3/2)/((-8)/(-16)). Let s = 174 - 341/2. Are s and c equal?
False
Suppose 2*b - 4*r + 18 = 4, -4*b + 8 = 4*r. Let a = b - -3. Suppose -a*o + 6*o = 12. Which is bigger: o or 4?
4
Let s = 8/9 - -67/36. Which is smaller: 1/4 or s?
1/4
Let f(n) = -n - 1. Let z = 8 - 12. Let q be f(z). Suppose -2*b - q*b = 15. Is -2 < b?
False
Suppose -5*l - 8 - 22 = 0. Let m be (-8)/15 - 4/l. Is m <= 1?
True
Let m = -22 + 32. Let x = -11 + m. Suppose 0 = 4*u - 20, -5*u = -2*h + 3*h - 23. Which is smaller: x or h?
h
Let t be 3/1 - 9/3. Let h be 2 + 6/(-2) + t. Suppose -5*n - 9 = -4. Is h greater than n?
False
Let f = -13.2 + 13. Which is bigger: 8 or f?
8
Let l = -141 + 709/5. Are 2 and l equal?
False
Let n be 2/3 - (-6)/54*3. Is n >= 120?
False
Suppose 32 = 5*t - t + 4*j, -3*t + 20 = 2*j. Suppose 0 = -2*x - 5*b + 9, -x - 4*b + 2 = -t. Suppose -n - x*n = -5*g + 18, 5*g + 5*n - 10 = 0. Is 4 less than g?
False
Let s be (6/(-4))/((-4)/16). Let j = s - 5. Are 7/5 and j equal?
False
Let l = 0 - 1. Let m = -184/87 + 42/29. Are l and m nonequal?
True
Let c be 30/24 - 2/8. Let r be (c/(-10))/((-2)/4). Is r <= -1?
False
Let u = -6 - -3. Let g = 2.8 + u. Let f be 5*1/(-35)*-2. Is g greater than f?
False
Suppose -3*o = -i + 13, o = -i + 2*o + 5. Which is smaller: i or 50?
i
Let s be (-2)/5*(2 - -8). Let p be ((-8)/12)/((-24)/(-99)). Which is bigger: s or p?
p
Let w(d) = d**3 - 3*d**2 + d + 2. Let c be w(2). Suppose c = -3*n - 0*n + 24. Suppose -2*j - 2*j + n = 0. Which is bigger: j or -0.1?
j
Let i be -6*(-9)/54*(-1)/(-7). Which is smaller: -1.5 or i?
-1.5
Let d be (-16)/(-12)*3/2. Suppose -8 = -3*c + 4. Is d greater than or equal to c?
False
Let c be 3754/(-9384)*-5 - 2. Let h = c - 722573/23460. Let d = h - -311/10. Is 1 > d?
True
Let m be 46/(-102) - (-2)/6. Let y be (0 - (-1 + 0))*-1. Which is bigger: y or m?
m
Let y be 3 + 0 - (-8)/(-8). Let s(o) be the second derivative of -o**4/12 + o**3/6 + o**2 - o. Let a be s(y). Is a greater than 0?
False
Suppose 9 = 3*m - 6*m. Let c = 2 + -4. Which is smaller: m or c?
m
Let y be 4/1 - (2 + -2). Suppose 35 = y*f + f. Suppose 4*k + 2*z = f*z, 2*k + 5*z = 0. Which is smaller: 1 or k?
k
Suppose l - 5 = 4*r, 4*l - 8 = 5*r + 1. Suppose 3*f - 2 = 2*f. Is f < l?
False
Let l = 10 - 52/5. Is -3 <= l?
True
Let j = -158/7 - -23. Let p(y) = y**3 + 6*y**2 - 8*y - 10. Let z be p(-7). Let x be z/12 + 15/12. Are j and x unequal?
True
Let o be (-4)/22 + 18389/3432. Let a =