x*f + 2*o - 13, 5 = -5*f - 2*o. Let i be (f + 2)/(-1)*0. Which is bigger: i or -4?
i
Let r = 239 + -119. Let k = r + -842/7. Let n = -0.06 + -0.04. Is n equal to k?
False
Let y = -17 + 19. Is y < 2/7?
False
Let k be 126/24 - (2 - -2). Is 2 greater than or equal to k?
True
Let g be 1/(1/18*2). Let j be -7 + 7 + (-1)/g. Are 0 and j unequal?
True
Suppose -3 = -x - 2*x. Let t be (-5 - 0)/(x + -2). Let o be 2/(-20) - t/(-10). Which is smaller: o or 6?
o
Let t(i) = 5*i**3 - 2*i - 1. Let g be t(-1). Let o = g - -3. Let r = 1 + o. Is -2 less than r?
True
Suppose -2*b - 19 = -3*b. Is b greater than 19?
False
Let s be (2/16)/(-2 - -3). Let g(h) = -9*h. Let v be g(-1). Let y be (-4)/(-6)*v/(-6). Which is greater: y or s?
s
Let j = -7.91 - -8. Let c = j - 0.04. Which is smaller: c or 0.1?
c
Let c = 29 + -35. Which is greater: 2/3 or c?
2/3
Suppose 5*g + 30 = -x + 10, -4*g = 4*x + 32. Let p be (-5)/x + 2 + 6. Is p smaller than 8?
False
Let p be (0/(2 + -3))/(-1). Let w = p + 5. Is 5 not equal to w?
False
Let b(j) = -j**2 - 9*j - 8. Let k be b(-8). Is k < 5?
True
Let f(g) = -g**3 - 7*g**2 - 6*g + 5. Let w be f(-6). Let h(l) = 6*l**2 - 5*l - 4. Let b be h(-1). Which is bigger: w or b?
b
Suppose -4*t - 95 = -2*u - 25, -2*t - 60 = -2*u. Suppose -i = 2*n + 3*i + 4, -4*n = -3*i + 52. Let y be ((-14)/n)/(5/u). Is 7 <= y?
True
Let g(a) be the second derivative of a**5/20 - a**4/3 - 7*a**3/6 + 7*a**2/2 + 3*a. Let s be g(5). Let m be (-7)/s + (-6)/(-9). Which is greater: 1/2 or m?
m
Suppose 2*g = 5 + 1. Let t = -4 + g. Let u = -267/5 + 53. Do t and u have the same value?
False
Let q be 4/(-22) + 200/(-110). Is -9/8 > q?
True
Let u be (-9)/(-21)*(-7)/(-2). Let o(k) = -k**3 - 2*k**2 + 3*k + 1. Let h = -3 + 0. Let w be o(h). Which is greater: w or u?
u
Let r = -0.5 + 0.6. Which is smaller: 2 or r?
r
Suppose 46*s = 51*s. Is 6 greater than or equal to s?
True
Suppose 0 = -2*v - 2 - 6. Let t be -5 + 5 - v/14. Which is smaller: -2/3 or t?
-2/3
Let x = -36 + 37. Is -3.1 greater than x?
False
Let c = -4 + 6. Let j = c - 2.1. Which is smaller: -1 or j?
-1
Let d(g) = 4*g - 4. Let m be d(3). Suppose m = 4*u - 3*b, -b = -5*u - 4*b + 10. Suppose -22 = -5*x - 7. Which is bigger: u or x?
x
Let l = -9 - -11. Let f be -3*1/(-3) - l. Is -1/9 <= f?
False
Let a be (-21)/12*-1 - 15/(-60). Let p = 42.9 - 46. Let w = -3 - p. Is a <= w?
False
Let z be (6 - 8)*10/(-4). Suppose -3 + z = -2*s. Which is smaller: 1/3 or s?
s
Let p = 7 - 6.7. Let b = -6 + 5.6. Let x = b + p. Which is smaller: x or -3?
-3
Let o be (-4)/(-42)*(-1 - 2). Let y = -411/7 + 59. Which is greater: o or y?
y
Suppose 2*v - 36 = 6*v. Which is greater: 2 or v?
2
Let g(z) = -z**2 + 9*z - 8. Let h be g(6). Let r be 4 - 1 - (-143)/26. Is h not equal to r?
True
Let z = -13 + 10. Let h = z + 13. Which is smaller: h or 8?
8
Let s(o) = -o**2 + 3*o - 3. Let z be s(2). Which is smaller: z or 4/3?
z
Let q = -4/9 + -1/18. Does -2 = q?
False
Let x(u) = u - 3. Let t be x(3). Suppose 5*b - 15 = 10. Let z be 26/(-13) + 8/b. Is z < t?
True
Suppose -n + 3*h = 1, 4*n + 3*h = -2*h + 13. Suppose -5*z + n*l + 11 + 9 = 0, 4*z + 2*l = -2. Let x be z/(-12)*(0 + 1). Are -1 and x non-equal?
True
Suppose -2*b + 2 = -4*b. Let s be 44/(-36) - (-2)/9. Is b not equal to s?
False
Let w(u) = -u + 1. Let y be w(3). Let r be (-3 - 14/y)/(-2). Do -3 and r have the same value?
False
Let d be 4/(-42)*(-45)/(-6). Is d smaller than 2/3?
True
Let u = -4201/30 - -140. Is 0 less than or equal to u?
False
Let s = -17 - -251/15. Which is bigger: s or 1?
1
Let h be (14/7)/(((-56)/162)/2). Which is greater: h or -11?
-11
Let j be (765/86)/(-9) + 1. Do j and 0 have different values?
True
Suppose 4*t = 8, 237 = -3*q + 6*q + 3*t. Is q equal to 76?
False
Suppose 3*h = h + 2. Let c be 2/10 - -1 - h. Is 0 > c?
False
Let j = 20 + -24. Let y be ((-14)/(-91))/(j/(-6)). Which is smaller: 0 or y?
0
Suppose -4*q - 16 = 0, 3*h + 0 = 2*q + 14. Let f = 16.89 - 17. Let c = -0.01 - f. Which is smaller: c or h?
c
Let p(g) = -g - 3. Let d be p(5). Is d less than -8?
False
Let q = 3 - 5. Let n be ((-4)/(-8))/(q/(-4)). Which is bigger: n or 7?
7
Let f = 21 + -69. Let q be (-27)/42*28/f. Is -1 equal to q?
False
Suppose 0 = -2*a - 64. Is a greater than -32?
False
Let k be ((-21)/12)/(8/16). Which is greater: k or -4?
k
Let r(s) = -4*s**2 - 9*s - 9. Let t(h) = -3*h**2 - 8*h - 8. Let g(o) = -2*r(o) + 3*t(o). Let q be g(-5). Which is greater: 3 or q?
3
Let s = -1421387/122607 - -2/4541. Let v = 3047/189 - s. Let g = v - 28. Which is bigger: g or -4?
g
Let p(x) = 2*x + 6. Let b be p(-4). Let h = b + 1. Is h bigger than 1/9?
False
Let q = 154/75 - 18/25. Suppose -2*u + a - 4 = -0*u, u - 9 = -5*a. Let v = u + 2. Which is smaller: q or v?
v
Let p = 23/85 - 8/17. Is -1 at most as big as p?
True
Let b = 47722/3 - 4960271/312. Let q = 71/8 - b. Is 0.2 at least as big as q?
True
Let c = -9/22 - -10/11. Are c and -25 non-equal?
True
Let h = 9047 + -4460169/493. Let n = h + -4441/986. Let b = n - -4. Are -1 and b non-equal?
True
Let a = -30 - -20. Let g = 6 + a. Let f = g - -3. Is f >= -1?
True
Let z be (-26)/(-8) + 6/(-24). Let m = -3 + z. Is 0 < m?
False
Let c be (-2 + -1)*(3 - 1). Let x be (0 + 0)*c/(-12). Let q be (-1)/(0 - (-18)/8). Which is greater: x or q?
x
Let o(y) = -2*y - 3. Let q be o(-6). Let c(d) = d**3 - 10*d**2 + 9*d - 1. Let h be c(q). Is h smaller than -3?
False
Let w(s) = s**2 + 3*s + 3. Let y be w(-3). Let u(z) = -z**3 + 4*z**2 + 5*z + 2. Let d be u(5). Suppose y*m - 8 = -d. Is m < 2?
False
Let a = 10/7 + -83/63. Let b = 5 + -7. Let q = 1 + b. Which is greater: q or a?
a
Suppose 2*z + 4*t = z + 15, -4*t = -12. Suppose 7*j - 10*j - z = 0. Let x = 8 - 6. Which is bigger: x or j?
x
Let g be -1 - (-12)/(-1*3). Let b = -5 - g. Is -2/15 at least as big as b?
False
Let d = -457/1180 - -14/59. Is d at least -1?
True
Let t = 2.02 + -0.02. Let o = -2 + t. Let n be (-3 - -4)*(0 - -2). Which is smaller: n or o?
o
Let j be ((-8)/6)/((-64)/16). Is j at most 3/5?
True
Suppose -2 = 2*t + 2*u, 3*t - 3*u + 19 = 4. Does t = -3?
True
Let j be (-16)/35 - 2/(-5). Is j at most as big as 0?
True
Let q(c) = -c + 6. Let d be q(3). Suppose -d*t = t. Let k be (21/28)/(t + -3). Is k less than or equal to -1?
False
Suppose 5*u + 2*h - 260 = 4*h, h + 103 = 2*u. Is u greater than 53?
True
Suppose -2*t + 4 + 4 = -2*u, -t - u = 6. Is t smaller than -2/11?
True
Suppose 3*x = -0*x - 15. Let z be (-9)/15 - (-2)/x. Let r = -91/4 - -993/44. Which is greater: z or r?
r
Let y = 4 - 4. Let x = y + 0.3. Which is bigger: 0.1 or x?
x
Suppose 4*p - 5*a = -19, 0*a + 5 = p + 2*a. Let r = 2/3 + p. Which is greater: 0 or r?
0
Suppose 0*r - r = -2. Suppose -d + y = 4, -4*d + 14 = 3*y + r. Is d <= -2/9?
False
Let k be 4 + (1 - 2 - (-1129)/(-377)). Is 1 > k?
True
Suppose 3*r = -0*z + z, 8 = 2*r + 2*z. Let u = 151/14 + -21/2. Is r less than or equal to u?
False
Let n = 812 + -12199/15. Let u = -11/3 - n. Is u less than -1?
True
Suppose 0 = -b + 4*b - 27. Are 9 and b non-equal?
False
Let t = -22 + -23. Which is bigger: 1 or t?
1
Let x = -13/66 + -3/22. Let o = 10.2 + -10. Does x = o?
False
Let v be 2*(-7)/2*-3. Let j be v*((-33)/9 + 4). Which is bigger: j or 3?
j
Let q be (-1)/(-4)*(-4)/(-5). Suppose -3 - 2 = 5*z + h, -3*z + 4*h + 20 = 0. Which is smaller: q or z?
z
Let f(d) = -d**3 - d**2 + 7*d - 6. Let c(l) = l - 1. Let o(m) = 6*c(m) - f(m). Let p be o(0). Are 3/7 and p equal?
False
Let m(u) = -u + 9*u**2 + 2 + u**3 - u + 10*u. Let v be m(-8). Suppose 4*z - 3 = 1. Which is bigger: v or z?
v
Let i(k) = -5*k**2 - 2 - 2*k**3 + 12*k**2 + 0 + 8*k + k**3. Let l be i(8). Which is smaller: -1 or l?
l
Suppose 0 = 3*f - 0*f - 12. Let w be (4 - f) + 0/(-1). Let k be (-1)/(4*3/2). Is w > k?
True
Let x(v) = -v**2 - v + 18. Let g be x(0). Suppose b + b + g = 0. Let c(w) = -w - 8. Let r be c(b). Does r = 2/7?
False
Let a be 2/8 - 1/4. Let y be (1 + 1 + a)*1. Let j be (3/15)/(y/(-5)). Which is greater: j or -1?
j
Let o be -7*(-3 - (-32)/10). Let l = o - -73/45. Are l and 1 equal?
False
Let p be (-1 - -2) + (-4)/6. Let b be (-12)/(-72) + 1/(-6). Which is smaller: b or p?
b
Let k = -3 - 1. Let a(o) = -5 - 2*o**2 - 3 + 2 - 6*o - 3*o**2 - o**3. Let z be a(k). Do 2/3 and z have different values?
True
Let o = 10.18 + -0.18. Let l = -6 + o. Which is greater