-7 + n. Which is greater: 5 or q?
5
Suppose 0 = 5*q + 3 - 8. Let f be (-1 + -1)*(-4)/(-108). Which is smaller: f or q?
f
Let s(y) = y. Let m(z) = z + 5. Let n(i) = -m(i) + 3*s(i). Let j be n(7). Suppose -4*b + j*b + 5*u = -15, 20 = -5*u. Is 2 bigger than b?
True
Let r be 33/18 - 3/(-18). Let y(s) = 2*s**3 - s**2 - s + 1. Let n be y(1). Which is bigger: n or r?
r
Let a(b) be the third derivative of 5*b**4/24 - b**3/3 - 3*b**2. Let w be a(6). Let j = -57/2 + w. Which is smaller: -2 or j?
-2
Let z = 2.7 + -3.7. Which is smaller: -0.2 or z?
z
Let l(x) = 2*x - 3*x - 8 + 2. Let o be l(-8). Let k = o + -4. Which is smaller: k or -1?
k
Suppose 0 = l, 3*t + 3*l + l = -6. Let i(c) = c + 2. Let x be i(t). Let h be (-22)/(-70) - (-3)/(-5). Which is greater: h or x?
x
Let y = 5 + -7. Let b = 104.7 - 111. Let o = b + 6. Is y >= o?
False
Let r = -5 + 9. Suppose 0 = 5*j - r*j. Which is smaller: 2/7 or j?
j
Suppose 2*q - 3 = v, 6*v - 4*v + 2*q = 12. Let a = 0.8 + -0.2. Let t = a + -0.5. Which is smaller: t or v?
t
Let k(p) = -2*p**2 + p. Let h be k(1). Is h >= -1/57?
False
Suppose -4*a - 4 = d, -3*a - 2 - 4 = 0. Suppose 3*r + 3*h + 19 = -2*r, 5*h = -d*r - 10. Is -4 greater than r?
True
Let m be (3/(-12))/((-5)/(-4)). Let w be (6/9)/((-12)/18). Which is bigger: m or w?
m
Let l be (-27)/(-45)*2/(-6). Suppose -4*a + 5*a = -2*s + 4, 4*a + 17 = 3*s. Suppose -s*j = -2*j. Is j less than or equal to l?
False
Suppose 4*a = 9*a + 2*h - 10, h - 5 = 0. Let y = -1 - a. Which is smaller: -3/7 or y?
y
Let k(v) = -4*v + 5. Let t be k(-8). Is t not equal to 38?
True
Suppose 2*u + 2 = 4. Which is smaller: -2/39 or u?
-2/39
Let p = 1/9 + -7/9. Which is smaller: p or 17?
p
Let z be 1 + 33/42*-2. Suppose -4*b + 5*g = 18, 5*b + g = 5*g - 18. Is z greater than b?
True
Let w be 24/(-6)*1/2. Let i be 2/(3 - (-26)/w). Let d(b) = b - 1. Let y be d(2). Is y bigger than i?
True
Let q = 2/317 + 584/7925. Is q less than or equal to -1?
False
Let m = -0.15 + 0.02. Which is smaller: m or 1/3?
m
Let j be (-2)/(-8) - (-4)/(-16). Suppose -5*t + j*t = -5*g - 365, -381 = 5*g + 3*t. Let l be (-40)/g*(-6)/(-4). Which is smaller: l or 0?
0
Suppose -17 = 2*q + 5. Let r = 26 - 38. Which is smaller: q or r?
r
Suppose -114 = 5*n - 3*q, -2*n = -6*n - 2*q - 78. Is n equal to -22?
False
Suppose -4*v = -5*v + 4. Let a(h) = -h + 9. Let x be a(v). Is x <= 18/5?
False
Let v = -60/29 - -5671/2755. Is 1 at least as big as v?
True
Let o = -1 + 1. Suppose -2*g + 18 = 5*v, 0 = -5*v + 14 + 6. Which is smaller: g or o?
g
Let u be ((-3)/(-2))/(60/40). Which is bigger: u or 3?
3
Let g = -111 + 164. Is 0 at least as big as g?
False
Let k = 1.6 + -0.6. Let j = k - 1. Are j and 0.3 unequal?
True
Let o be (-3)/4 - (-34)/24. Let i(a) = a + 5. Let f be i(-4). Are o and f equal?
False
Suppose 3*o = -i + 2, 5*o = -i + 5 - 1. Which is smaller: -2/19 or o?
-2/19
Suppose 5*b + 12 = 2*b. Let d be 1/b - (-93)/84. Are d and 2 equal?
False
Let n(p) = -14*p**2. Let t be n(1). Let u be ((-5)/t)/((-6)/12). Which is bigger: 0 or u?
0
Let l = 35 + -36. Are 7/6 and l equal?
False
Let g = -0.92 + -0.08. Let v = 0.05 - -2.95. Let j = 5 - v. Is g less than j?
True
Let l(g) = g**3 + 6*g**2 + 7*g + 12. Let o be l(-5). Which is greater: o or -1?
o
Let f be (-40)/(-78) + 6/(-9). Let g = -17/26 - f. Which is greater: -1 or g?
g
Let i = 67/3 + -332/15. Let f = 4 + -1. Suppose -o = -f*o. Is i smaller than o?
False
Let c(s) be the third derivative of -s**6/120 + s**5/15 - s**4/24 + s**3/6 - 3*s**2. Let y be c(4). Is y at most as big as -2?
True
Let w = 10 + -10. Let u = -1 + 6/5. Which is greater: w or u?
u
Let v be 0/(-1 + 0) - (-3)/16. Is v at most as big as 1?
True
Let r(g) = g**3 + 6*g**2 + 5*g + 6. Let l be r(-4). Let d be (-12)/(-8)*(-4)/l. Let m(k) = -k**3 - 5*k**2 + 6*k + 2. Let n be m(-6). Which is greater: d or n?
n
Let g = -96.09 - -97. Let f = -0.09 - g. Which is greater: f or -0.3?
-0.3
Suppose -6*o = -5*o + 7. Which is bigger: o or 5?
5
Let n(s) = 5*s + 11. Let b(p) = p. Let u(j) = 6*b(j) - n(j). Let q be u(11). Suppose q*z = -z. Which is smaller: -2/9 or z?
-2/9
Let u = -2 - -3. Let r be (-29571)/(-345) + 2/10. Let i = 86 - r. Which is bigger: u or i?
u
Let c = -44.8 - -33. Let o = 12 + c. Does o = 3/8?
False
Let n be 1/2 - 0 - (-2)/(-4). Is n < 1.9?
True
Suppose -2*l + 6*l = -12. Let z be ((-27)/(-12))/(l/(-2)). Which is bigger: z or 1?
z
Suppose 5 = -2*v - 5*w, 4*v + w - 8 = -3*w. Let o = v + -3. Suppose b - 1 = -o. Are b and -1 equal?
True
Let w(q) = -4*q - 1. Let j be w(-3). Suppose -3*k + 20 = -b, -j = 3*k + 3*b - 47. Let p be (k/54)/((-4)/6). Are -1/4 and p nonequal?
True
Suppose 0*k + k = 3. Suppose 8*h = k*h + 2*z - 28, 0 = h + 3*z - 8. Which is bigger: 0.2 or h?
0.2
Suppose 2*n - 3 = -g + 2, g + 3 = 2*n. Suppose -n - 4 = -6*x. Is 1 greater than x?
False
Let m(b) = b - 8. Let h be m(0). Let d be 1/(-14)*1*h. Suppose 3 = 4*j - 1. Is j <= d?
False
Let f = 5 - 2. Let r be (-1)/(10/f + -3). Let d = -1 + r. Is -5 at most d?
True
Let s be ((-10)/(-6))/(-5)*3. Which is smaller: 2 or s?
s
Let p = -12 - -18. Let s be ((-3)/p)/((-3)/(-6)). Which is smaller: s or 2?
s
Let v(u) = u**3 - 6*u**2 - 8*u + 6. Let m be v(7). Let g be 44/(-6)*(-1)/4*-1. Which is smaller: m or g?
g
Suppose -q - 2*d - 2 = 0, 13 = 5*q + 2*d - 9. Which is bigger: 5 or q?
q
Let j = 3 + 2. Let q = 5 - j. Which is greater: q or 2/9?
2/9
Suppose 4*y + 4 = 0, -s + 3*s + 2*y = 2. Suppose -s*t = -5*h, -4*t = -t + 15. Let u be (0/(-1) - 1) + 0. Which is smaller: u or h?
h
Let a(i) = -i**2 - i + 2. Let p be -4 - 0 - -1*1. Let j = p - -3. Let w be a(j). Is w at least 3?
False
Let b = 1.1 - -1.9. Is b less than or equal to 2?
False
Let h = -15 + 7. Let q = h + 11. Suppose -k = 5*j - 15, 3*k - q*j + 5 = -4. Which is smaller: k or 1/4?
k
Let b = -27 + 27. Which is smaller: b or 1/16?
b
Let z = 2/7 - 8/7. Let s = -2427/7 - -347. Which is bigger: s or z?
s
Let i(g) = -g**3 - 4*g**2 + 4*g - 11. Let v be i(-5). Which is greater: v or -5?
-5
Let y = 69 - 413/6. Let m = -5 - -4. Which is smaller: m or y?
m
Suppose -7*y - 3*l + 63 = -3*y, 0 = 2*y + 2*l - 30. Suppose 4*u - 2*w + 4*w = y, -5*u = -3*w - 6. Is u at least 3?
True
Suppose 3*t = v - 9, -4*t - 7 = 4*v + 5. Suppose v*z = z. Is z equal to 4/5?
False
Let a = 115 + -179. Which is smaller: a or -65?
-65
Let m = -32 - -129/4. Let u = -10/11 + 7/44. Are u and m nonequal?
True
Suppose 0 = -0*w - 2*w. Let c(s) = -s - 1. Let l be c(-4). Suppose -l*g = 5*x + 16, 5*x + 20 = -0*x - 5*g. Which is smaller: w or x?
x
Let m = -4 + -1. Let f = m + 5.04. Let z = f + 0.06. Are 1/3 and z non-equal?
True
Let l = -7.6 + 8. Let f = -0.6 - l. Which is smaller: -5 or f?
-5
Let c be (16/10)/(6/15). Is c less than 42/13?
False
Let b = -9.2 - -9. Which is greater: 4/3 or b?
4/3
Suppose 0 = -4*t + 41 + 39. Which is bigger: -0.2 or t?
t
Suppose 3*b = 6*b - 3. Let m = -9/10 - -61/90. Which is smaller: b or m?
m
Let l = 1 + -1. Suppose g + 2 - 4 = l. Which is bigger: g or 1?
g
Let v = -13 - -10.4. Let b = 2 + v. Let p = b + -4.4. Is p less than or equal to 0.1?
True
Suppose i + 5*g - 61 = -3*i, 0 = -2*i - 3*g + 33. Suppose 0 = i*f - 6*f. Is f != 2?
True
Let c = 9 - 14. Are -4 and c nonequal?
True
Let i = 0.067 - -0.013. Is i greater than -1/2?
True
Suppose 4*y - 5 = 3. Suppose -y = -0*j - j. Let p be (1 + 1)*4/j. Do 5 and p have the same value?
False
Let n be 15/(-35)*12/9. Suppose 2*o = -2*r - 0*r, 3*o - 4 = -5*r. Which is smaller: n or o?
o
Let x = -22 + 21. Which is smaller: x or -4?
-4
Let g(y) be the second derivative of y**4/12 - y**3/6 - 3*y. Let j be g(0). Which is smaller: 1 or j?
j
Let g be (-460)/(-15) + (-3 - -1). Let j = g - 424/15. Is j greater than -3/5?
True
Suppose 3*z = 21*z + 108. Let f(p) = p**3 + 6*p**2 + 2*p + 6. Let h be f(-6). Are h and z equal?
True
Suppose y - 5*q + 15 = 0, 3*y - 1 = -3*q + 8. Let m = 1.43 + -0.03. Let o = m + -0.4. Is o less than or equal to y?
False
Let p be (8/(-92))/(0 - (1 - -5)). Which is bigger: 1 or p?
1
Let a be (1 - 1) + 20/(-55). Are 0 and a equal?
False
Let y be 174/15 - 4/(-10). Suppose 3*d + 0*d - y = 0. Are d and 4 equal?
True
Let r = -44 + 45. Is r greater than -5/16?
True
Let n(t) = -t**2 - 14*t - 14. Let m be n(-13). Let o be 8/(-27)*12/16. Does m = o?
False
Let s = -3438 + 10424/3. Let w = 36 - 