s = 1 + b. Let l(f) = f**3 + 11*f**2 + 9*f - 11. Let t be l(-10). Is s smaller than t?
False
Suppose -248 = 2*q - 4*q. Let w be 2/((-3)/(12/q)). Which is smaller: -1 or w?
-1
Let q be 0/(-1) + -4 + 11. Let k be q/24 + (-2)/3. Are k and -1 unequal?
True
Let z = 16 + -15.9. Which is smaller: 14 or z?
z
Let n = -8 + 2. Is -6 < n?
False
Suppose 0 = l - 5*q - 8, l - 55 = -3*l - 3*q. Let v = l + -24. Which is greater: v or -10?
-10
Suppose r - 1 = -4*k + 1, 3*r = -2*k + 6. Let u be k/((0 - -1)/(-1)). Let o = 425/2277 + -1/207. Which is smaller: o or u?
u
Suppose 0 + 7 = 7*d. Let t be (8/(-3) + 2)*3. Which is greater: t or d?
d
Let n(b) = -b**2 + b - 2. Let v be n(0). Let w be (-1)/((0 - 3)/9). Let m = -6 + w. Is v equal to m?
False
Let h(w) = w**3 - 4*w**2 + 5*w - 2. Let u be h(3). Suppose -3*l = 2*m + 4, -m - 2 = u*l + 5. Suppose 0 = -2*k + k + m. Which is greater: k or 2/7?
k
Suppose 4*l + 2*w - 9 + 3 = 0, -2*l + 3*w = 17. Is -2/41 less than l?
False
Suppose 71 + 79 = 5*y. Is y less than or equal to 30?
True
Let y(b) = b + 5. Suppose -4*o = 4*q - 20, o = -0 + 5. Let h be y(q). Suppose -4*l = -3 - h. Which is greater: 0.1 or l?
l
Let i = -13 + 15. Suppose p + p = -i. Let b = 1478/9 - 164. Which is bigger: b or p?
b
Suppose 4*o = -3*t + 23, -2*t + 5*t + o - 8 = 0. Let d = -7 + t. Which is smaller: -7 or d?
-7
Suppose 20 = 2*g + 3*a, g + 5*a - 30 = -6. Let d = 4 - g. Let h be ((-2)/(-20) + d)*-4. Which is greater: h or 0?
0
Let o = 1.1 + -0.1. Let r = o + -2. Let j = -1.9 + 2. Is r bigger than j?
False
Let s = 2 - 3. Let w(u) = 2*u - 2. Let k be w(2). Suppose 2*o - 5*g = 20, 5*o - k*g - 12 = g. Does o = s?
False
Let b(h) = -h**3 - 3*h**2 + 1. Let a be b(0). Let f be (-2)/4 + 14/8. Are a and f nonequal?
True
Let d(b) = -b + 5. Let j be d(6). Let t be 13/21 - (-1)/(-3). Which is smaller: t or j?
j
Let v be -2 + (0 - 2 - -3). Suppose -m = -4*m + 3. Which is smaller: v or m?
v
Let o = -81 + 84. Which is smaller: 5 or o?
o
Suppose 1 = -4*a - 5*l, 3*a - 5*l = 8*a. Let h = -21 + 125/6. Is a not equal to h?
True
Let k be (-4 + 4)/(-2 - -1). Let z = k - 0. Which is greater: z or -1/5?
z
Let r be -12*((-218)/(-630) - 1). Let h = 54/7 - r. Is h smaller than 0?
True
Let m(o) = -o**3 + 9*o**2 - 6*o - 11. Let i be m(8). Let d(k) = -k**2 + 4*k + 5. Let t be d(i). Let f be 2 - 3 - 1/(-6). Which is bigger: f or t?
t
Let m be (-2)/2*(-1)/1. Let p be (10/20)/(m/(-2)). Is p != -2/19?
True
Let r = 1.43 + 0.57. Is 12 smaller than r?
False
Let z(b) = -b**2 - 9*b + 5. Let u be (-1 + 10)*(0 + -1). Let o be z(u). Which is bigger: 4 or o?
o
Let d be (-1 + 6/4)*0. Suppose 0 = -3*x - x - 3*l + 26, -16 = -2*x - 3*l. Suppose d = -5*b - x - 0. Which is smaller: -1/4 or b?
b
Let v = -36 - -94. Suppose -4*d + 54 = -d + 3*s, -v = -3*d - s. Are d and 19 nonequal?
True
Suppose 151 = 7*r - 8*r. Which is smaller: -150 or r?
r
Let v(k) = k**2 + 3*k - 6. Let p be v(-5). Suppose -2*s + p*x - 1 + 3 = 0, -4*x = -5*s - 1. Let y = -5 + 4. Is y != s?
False
Let u(k) = -k**3 + 4*k**2 - 2*k - 1. Let g(w) = w - 2. Let n be g(5). Let s be u(n). Suppose 6*f = s*f. Is f at most as big as -2/3?
False
Suppose -2*u + 5*i - 15 = 0, u - i = 3*u - 3. Is 11/10 greater than or equal to u?
True
Let g be (2 - (-128)/(-66))/(10/60). Which is greater: 0.1 or g?
g
Suppose -2*v + 54 = -0*v - b, 0 = 3*v + b - 71. Suppose 2*q = 5*n + v, -2*n - 2*n = 5*q + 20. Let a be (q/6)/(1/(-1)). Is -1 bigger than a?
False
Let j(t) = -t - 1. Let y be j(-1). Let n(f) = -f**3 + 2*f**2 + 2*f - 2. Let g be n(2). Suppose 5*l - g*l - 6 = 0. Which is smaller: l or y?
y
Suppose 2*k + 12 = -4*d - 2*k, 3*k = d - 13. Let r be (-205)/2*(-2)/(-30). Let h = r - -439/66. Is d >= h?
True
Let b be (-57)/(-21) - 2/(-7). Suppose 5 = -b*c + 2*c. Is c > -4?
False
Suppose -4*v = 5*o - 135, 4*o + 3*v + v - 112 = 0. Let n = o + -20. Is n smaller than 3?
False
Suppose 3*d - 3*c = 6, -2*c - 3 = -4*d - 1. Let x = -67/15 + 19/5. Which is bigger: x or d?
x
Let t(n) = n. Let v be t(0). Let k = -25 + 51/2. Which is smaller: v or k?
v
Let x = -1 + 3. Let m be -1 + -1 + 0 + x. Suppose -8*g = -g. Is g != m?
False
Suppose x + 2*x + 5*s - 10 = 0, 0 = -5*x - s + 24. Suppose 0 = 4*b - v + 3*v - 24, -5*v - 15 = -x*b. Do b and 5 have the same value?
True
Let i be (3 + -2 + 0)*-1. Let t(q) = q**2 + q. Let o be t(i). Suppose -f - 1 + 3 = o. Which is smaller: 3 or f?
f
Let y be (-49)/(-21) + (-4)/(-6). Let c be (-6)/(y - 0) - -2. Is c > -2/21?
True
Let j be 3/2*4/6. Let z = 49 + -49. Is z at least as big as j?
False
Let u(g) = -g**3 - 4*g**2 + g + 2. Let c be u(-4). Let n = c + 4. Is n less than 3/5?
False
Let d(p) = -p**2 - 10*p + 2. Let q be d(-9). Let l be (21/14)/(3/20). Is l at most q?
True
Suppose -5*q + y = -y - 10, 2*y - 8 = -4*q. Let p = -4 - -7. Which is bigger: p or q?
p
Let l = -3994/41595 + -4/705. Let f = l + 152/2655. Which is smaller: 1 or f?
f
Let k = -33 - -48. Let w = 15 - k. Let y = 1.4 - 2. Is w greater than or equal to y?
True
Let l be 14/4 + (-1)/2. Suppose 0 = -4*n + n + l. Suppose 2*v - 4*v = 10, 4*f - 4*v - 20 = 0. Is n < f?
False
Suppose 0*l + 8 = 4*w + 5*l, 10 = -2*w + l. Let u be (0 - 0)/(-5 - -3). Which is greater: u or w?
u
Let g(d) = 7*d - 11. Let z(x) = -x + 1. Let a(r) = -g(r) - 6*z(r). Let v be a(6). Which is greater: -5/3 or v?
v
Let j(i) = i**3 - 3*i**2 - 9*i + 22. Let b be j(3). Which is smaller: -4 or b?
b
Suppose -t = 0, -2*t - 8 = -k + 2*t. Is 9 less than k?
False
Let f = 14 - 3. Suppose 2*u = x + f, 3*u - x = x + 18. Is u less than or equal to 3?
False
Let l be (-152)/(-140) + (-2)/7. Suppose 0 = -3*j + 2*q + 20, 2*q = -10 + 2. Let a be (-18)/12*j/(-6). Which is greater: l or a?
a
Let d be (-4)/6 - (-10)/15. Suppose 5*j = 2*s + 33, 0 = -5*s - d*s + 2*j - 30. Let y(o) = -o**3 + 7*o**2 + o - 10. Let k be y(7). Which is bigger: s or k?
k
Suppose 5*d + 20 = 5. Let r be 24 - d - (0 + 0). Let n be 6/r + 2/72. Is n at most -1?
False
Let v be (-3)/6*(1 + -1). Let s = v + 0. Let g be 2/(-3)*(-3)/6. Is g >= s?
True
Let k(c) be the second derivative of c**4/12 + c**3/3 + c. Let o be k(-2). Let a be (0 + -1 + o)*6. Is -5 at least a?
True
Let s(j) = -4*j**3 - 2*j**2 + 6*j + 4. Let a(h) = -3*h**3 - 2*h**2 + 5*h + 3. Let n(x) = 3*a(x) - 2*s(x). Let b be n(-3). Which is bigger: b or -1/5?
b
Suppose 0 = -2*a - 8, -3*o + 5*a = -0*a - 17. Let j be 1/(o/2 + 1). Let l(x) = -x - 5. Let r be l(-5). Which is bigger: r or j?
j
Let p = -7 - -12. Which is bigger: p or -2/11?
p
Let y be (-30658)/(-42) - 8/(-24). Let a = -729 + y. Is 2 < a?
False
Let n = -86 - -84. Suppose 3*z + 7 = 1. Do n and z have different values?
False
Let l be 15/16*18/(-15). Is l > -2?
True
Suppose -b = -0 - 2. Let l be (-5)/15 + b/3. Is 1 smaller than l?
False
Let h be (1/(-3))/(1/3). Suppose -2*z - 9 + 1 = 0. Let j be 1 - (-2 + (-1 - z)). Which is smaller: h or j?
h
Suppose 0 = -3*i - 2*i. Suppose 4*b - z = -18, 4*z = 5*b + z + 26. Let q = b - -4. Is q at most i?
True
Let m = 9.2 + -1.2. Let r = 0.3 + -0.5. Which is bigger: r or m?
m
Suppose -w + 4 = -2. Which is greater: 8 or w?
8
Let y(k) = k + 3. Suppose -3*a + 2 = 17. Let c be y(a). Let r be (-1)/c + (-10)/4. Is -2 at most r?
True
Let a be 2*1/(-7) + (-5)/7. Is 2/117 at least a?
True
Let q(o) = -2*o - 2. Let y be q(-6). Let j be (-2)/11 - y/(-55). Let n = j + 0. Is n less than -1?
False
Let h be (24/(-32))/((-2)/((-16)/(-9))). Is -2/3 less than or equal to h?
True
Let j be -3*(-4)/(-30)*(-25)/40. Which is greater: j or -2/5?
j
Let h = 212735 + -1911973/9. Let i = 294 - h. Which is smaller: i or -1?
-1
Let c be 2/(8/4*1). Suppose c = -g + 3. Which is smaller: 11/4 or g?
g
Let t = 84/185 - 2/37. Let y(g) = g + 6. Let r be y(0). Suppose o = 4*o + r. Is o smaller than t?
True
Suppose 0 = -3*l - 11 + 2. Let y = 0 + l. Which is greater: -4 or y?
y
Suppose 0 = -f - 3*f - 2*g + 4, g = -f. Are 3/2 and f unequal?
True
Let m be 3 + 18/(-7) + 1. Which is greater: 0 or m?
m
Let c = -0.014 - -30.014. Is c greater than -2/5?
True
Let t = 11/2 + -6. Which is smaller: t or 9?
t
Suppose 3*u - 17 = -r, 3*u = -3*r + 2*u + 27. Which is greater: 39/5 or r?
r
Suppose -2*p + 5*q - 8 = q, -10 = -2*q. Let a be (-8 + p)/((-2)/(-4)). Which is smaller: -2 or a?
a
Let d = -21 - -50. Is d > 28?
True
Suppose -1 = -3*m - 19. Let o be (-44)/30 + (-4)/m. Which