 = 3*k, 3*k + 9 = 4*o. Let g be 0 + (0 - -3 - o). Is 1/6 bigger than g?
True
Let l be -1 + 3/(6/8). Suppose 3*f = -3*d + 2*d - 5, 5*d - 11 = l*f. Is -3/4 >= f?
True
Let o(s) = -s**3 - 11*s**2 + 5. Let u be o(-11). Suppose -u*a + 13 = g, 0*a + g = -2*a + 4. Which is bigger: a or 4?
4
Let b = -7 + 7.03. Let x = -0.37 - b. Is 1 bigger than x?
True
Let g = -633888547 + 66063864366931/104220. Let h = g + -1/772. Let u = h - 127/540. Is u > -3?
True
Let m = 0.24 + -2.24. Which is smaller: m or -8?
-8
Let s(v) = -2*v**2 - v + 2. Suppose n + 4 - 2 = 0, 2 = -3*y - 4*n. Let m be s(y). Let i be 2/(-2) - 4/m. Which is smaller: -1 or i?
-1
Suppose -5*k = -3*y + 12, 3 + 1 = -k - y. Suppose 5*s = 10*s - 20. Let o be (1 + k)*(-2)/s. Which is smaller: o or 1/4?
1/4
Let x(c) = 1 - 9 - 9 + 5 - c. Let m be x(-11). Which is smaller: 4 or m?
m
Let z be 0 + 1 - (5 + -9). Suppose z*a = 2*a + 27. Is a less than 10?
True
Suppose 2*w - 36 = -4*b - 0*b, 2*w = 2*b + 36. Is w at most as big as 17?
False
Let t = -27.82 + 28. Which is bigger: t or 1?
1
Let m be (-8)/12 - 2/(-3). Is m <= 0.4?
True
Let q = 309431894207726/12399 - 24956197630. Let g = q + -2/4133. Let x = -17 - g. Is x < 2/3?
True
Let d be -1 + 5 + -1 - (26 - 15). Are d and -11 unequal?
True
Let r = -9 - -8.87. Is -2/3 at least as big as r?
False
Let k be 4/8*4*1. Suppose 1 = -k*q - 1. Let n be ((-2)/10)/(4/(-5)). Which is smaller: n or q?
q
Let w be (65/(-15) + 3)*(-153)/(-24). Does w = -8?
False
Suppose 2*b - 5*b - 3 = 0. Let g = b + 6. Is 4 at least g?
False
Let l be 1/((-6)/(-14)) - 3. Let f(b) = -b + 5. Let y be f(7). Is l <= y?
False
Suppose 3*q + 2*w - 48 = 4*w, -2*q + 5*w = -43. Which is greater: 12 or q?
q
Let v be (-18)/4 - (-8)/(-48). Which is smaller: v or -6?
-6
Let m = 15/4 - 13/4. Which is smaller: 0.03 or m?
0.03
Suppose -v = n + 13, 4*v - 8*n + 13*n = -48. Which is bigger: v or -13?
-13
Let s be ((-2)/8)/(6/(-24)). Is s smaller than -2/67?
False
Let m = -3 - -2. Suppose -5*u = -8*u + 21. Let k = 6 - u. Are k and m unequal?
False
Let x = -10 + 9.78. Let z = -0.12 - x. Are z and -7 unequal?
True
Suppose u + 3*b - 1 = 0, 2*b - 5 = -u - 3. Let q = -6 + 10. Is q != u?
False
Let i be (3/(-6))/((-1)/6). Let a(v) be the second derivative of -2*v**3/3 - v**2/2 + 2*v. Let u be a(-1). Is i at most as big as u?
True
Let d = 4.4 - 6.2. Is 1 smaller than d?
False
Let f(u) be the third derivative of -u**6/120 + u**5/10 - 5*u**4/24 + u**3/6 + 4*u**2. Let c be f(5). Is 5/3 < c?
False
Suppose -4*j - 3*k + 10 = -3, 0 = 3*j + 5*k + 4. Let w(y) = 2*y**2 - 5*y - 7. Let a be w(j). Let z be (6/a)/((-9)/(-8)). Which is smaller: 1 or z?
z
Suppose 22*m = 11*m - 99. Let n be (-86)/10 + 4/(-10). Is m != n?
False
Let z be 48/1*(-10)/6. Let q be (-3)/(-15) + z/25. Is -4 at least as big as q?
False
Let z(f) = 3*f + 11. Let s be z(-5). Suppose -8 = -2*x + 4*x. Is s > x?
False
Let q = 3.4 - 3.4. Suppose 4*l - 8 = -4. Which is bigger: q or l?
l
Suppose g + 0 - 3 = 0. Which is smaller: 3/2 or g?
3/2
Let s = -0.061 - -4.661. Is -1 >= s?
False
Let w(k) = -k**3 + 8*k**2 + k - 5. Let b be w(8). Which is smaller: 7/2 or b?
b
Let d(c) = c - 9. Suppose -5*z + z = -5*i + 45, -5*i + 3*z = -45. Let r be d(i). Does r = 1?
False
Suppose -3*b - 3*c + 19 = b, 5*b + c = 21. Suppose 0 = b*f - f - 12. Is f not equal to 3?
True
Let i = 2543/7 - 361. Which is greater: -1 or i?
i
Let q be -1 + 1 - 1/4. Let r(z) = -z + 3. Let c be r(4). Is q not equal to c?
True
Let a(d) be the second derivative of -d**4/12 - 7*d**3/6 - d**2 - 4*d. Let b be a(-6). Suppose b*i - 8 = 8. Is i > 5?
False
Let y = 10 + -16. Let q = -8 - y. Is q less than -2?
False
Let y = -30 + 16. Let s be (-5)/(-5) + y/10. Which is smaller: s or 1?
s
Let t be (-2)/(-4)*2289/12. Suppose 0 = 4*w - x - 382, -x + 5*x - 182 = -2*w. Let i = t - w. Is i at most 0?
False
Suppose 30*q + 2 = 32*q. Are q and 2/31 nonequal?
True
Let y = 74 - 72. Is 2 at most as big as y?
True
Let v(o) = o**3 - 4*o**2 - o + 2. Let n be v(4). Is -4/3 less than n?
False
Let s be (6/4)/((-4)/(-8)). Let q be (-1)/(s*2/276). Let n = q - -136/3. Which is bigger: -2 or n?
n
Let l = 4 - 3. Let d be l/2 - (-45)/10. Let n = 6 - d. Which is smaller: n or 4/5?
4/5
Let x be (-316)/18*(-6)/(-4). Let l = 74/3 + x. Are -1 and l unequal?
True
Suppose -3*g - 4 - 5 = 0. Let z be (1/g)/(0 + -1). Let a(r) = r**2 - 4*r - 4. Let v be a(5). Which is bigger: z or v?
v
Let l = 2/455 - 1826/1365. Let p(f) = f**3 - 7*f**2 + 6*f + 5. Let k be p(6). Suppose 0 = 4*q - 0*q - 5*h + 33, k*h = -4*q + 17. Is q < l?
True
Suppose -3*z + 6*z - i = 6, -z + 2 = 4*i. Is z != 1?
True
Let l = 6 + -4. Let q be 1*(l - 1)*5. Suppose -2*o = q*h - 8, 5*o + 0 = h - 7. Is h bigger than 2?
False
Let w(h) = h**3 - 5*h**2 - 5*h. Let p be w(6). Suppose 0 = 2*k + p + 8. Let v = k - -29/4. Which is greater: 1 or v?
1
Let q = 4.3 - 4.4. Let o be 3/2*2/(-7). Is q <= o?
False
Let o = -3 - -3. Let x be 2/7*(-1)/2. Is o >= x?
True
Let o = 0.35 - 0.2. Let z = -0.55 + o. Do -3 and z have different values?
True
Let b be (-8)/6 + (-8)/(-24). Let m = -1 + 7. Is b != m?
True
Let r = -0.34 + 0.4. Is r at most 2/7?
True
Let c = 10 + -5. Let l be (-8)/(-1 - 22/(-8)). Let u = c + l. Is -1/2 > u?
False
Let z be 1 + -2 + (0 - -2). Let q(v) = -2*v. Let r be q(-1). Let m = z - r. Which is smaller: -2/5 or m?
m
Suppose i + 4 = 5. Suppose 0*j = -2*j. Are j and i equal?
False
Let l = -55 - -53. Which is smaller: -0.15 or l?
l
Let h = 0.45 - 2.45. Which is greater: h or -1/2?
-1/2
Suppose -n + 3*n - 12 = 0. Let l be 3 - 2/4*n. Is 1 < l?
False
Let a be (((-66)/(-4))/11)/(2/(-4)). Which is greater: -4 or a?
a
Let m be (-2 - (4 + -5)) + 7. Suppose -2*q + 0 - 1 = -3*d, m = d + 5*q. Is -2/7 smaller than d?
True
Suppose -3 = 5*f + 2. Let b be 63/(-476) - f/4. Is b smaller than -1?
False
Suppose 4*z - 3*v + 10 = 2*v, -3*v = 4*z - 6. Suppose z = -4*o + o. Which is bigger: -2/41 or o?
o
Let h be ((-60)/16)/5 + (-2)/8. Which is bigger: h or 3/88?
3/88
Suppose g = h - 2 - 3, -3*h = -g - 5. Which is smaller: h or 2/143?
h
Let g(f) = 2*f**3 + 31*f**2 - 16*f + 4. Let z be g(-16). Is z != 50/13?
True
Let b be 2 - (-2 - 180/(-42)). Is -1 at most as big as b?
True
Let f be -1 + (-2 - -2) + -3. Is f greater than 0?
False
Let j = 0.924 + 0.076. Which is greater: j or 1.9?
1.9
Let q = -8/25 - 44/175. Which is smaller: 0.7 or q?
q
Suppose -5*l = 8 + 12. Let i(t) = -t**2 - 6*t - 4. Let w be i(-4). Suppose 6*f + w = -20. Is l >= f?
True
Let g = -9 + 34. Suppose 0 = -5*l + 5 - g. Are l and -2 equal?
False
Suppose -470 = -5*v + 10*v. Which is smaller: v or -93?
v
Let t = 6.81 + 2.21. Let z = t - 9. Let s = z - -2.98. Which is greater: -2/9 or s?
s
Let l be ((-3)/2)/((-27)/4). Suppose -o - 8 + 55 = 3*q, 3*q + 3*o - 57 = 0. Let r be (q/(-28))/(1/(-2)). Is r <= l?
False
Let m be 14/7 - (0 + 0). Which is greater: m or 1?
m
Let t = -24 - -25. Let r = -4 - -4.1. Does t = r?
False
Suppose 2 - 12 = -5*v. Suppose 0 = 4*l + 2*u - 13 - 9, -3*l - u = -17. Which is greater: v or l?
l
Let m = 0.08 + 0.92. Let i = 1.2 - 1. Let h = -0.2 + i. Is h greater than m?
False
Let x = 2 - 1. Suppose 5 = -2*q - 3. Let h be (q/(-10))/(12/5). Which is smaller: x or h?
h
Let h = -6717653/220 - -30535. Let l = 2/55 + h. Let u = -1177/9 + 131. Which is greater: l or u?
l
Let x = -15 + 12. Which is smaller: -20/11 or x?
x
Let c = 5 + -7. Let y = -23 + 33. Suppose 4 = 2*v - 4*i - 6, -5*v + y = -5*i. Is c less than v?
True
Let a be -12*2/(-4 - -2). Which is bigger: 13 or a?
13
Suppose -3*s + 8 = v - 1, 15 = 3*s - v. Suppose -5*x = 4*a + s, -2*x + 6*a - 24 = 2*a. Is x at least -5?
True
Let c = 33908370649/40 + -847761812. Let w = c + 52551. Let q = -28/5 + w. Are q and -1 nonequal?
True
Let h be -1 + 4/1 - 0. Let v = 13 + -3. Let j be (-3 - 0) + v/3. Which is smaller: j or h?
j
Suppose p + 2 = -0. Let x = -2 - p. Is x at most 1?
True
Let c = 11 + -20. Which is smaller: c or -66/7?
-66/7
Let t = 11.775 - -0.025. Let l = t - 12. Which is smaller: 2/5 or l?
l
Suppose 20*y - 70 = 370. Is y less than 24?
True
Let r(o) = o + 7. Let i be 1 + (21/3)/1. Let w = 1 - i. Let c be r(w). Which is greater: c or -1/5?
c
Let l = 4/7 + -34/35. Which is smaller: l or 2?
l
Let r(h) = 0*h**3 - 5*h**2 - h**3 - 4*h**2. Let u = 3 + -12. Let o be r(u). Is -1 at most o?
True