v = 5*w - 53 + 8, 2*v - w = 6. Are v and a nonequal?
False
Let r = 147 + -135. Is -0.01 less than or equal to r?
True
Let l be 3 - (5/(-15))/(1/6). Is 1 smaller than l?
True
Suppose 0 = -20*t + 21*t - 4. Is t greater than -1?
True
Let q be (-6)/(-21) - (-26)/7. Suppose 3*j = q*n + 15, -n - 10 = -0*n - 2*j. Let h be (-27)/18*(-8)/18. Which is greater: n or h?
h
Let b(j) = j**3 - 7*j**2 + j - 4. Let q be b(7). Let l = 27 + -10. Suppose l = i - 4*m, -2*m - 20 = -i + q*m. Are i and 5 equal?
True
Let l = -0.51 + 0.5. Let s = 0.04 - l. Let k = s - -0.05. Is -2 less than k?
True
Suppose 106 = -3*w + 22. Is w smaller than -30?
False
Let u(r) = -r**2 + 9*r - 10. Let q = 8 - 1. Let k be u(q). Is 0 greater than or equal to k?
False
Let m be 1/4 + 17/(-4). Let r = -4 - m. Is r less than or equal to -2/11?
False
Suppose -3*j = -2*j + 1. Let a be -5 + 3 - j - -25. Let t be (-3*1)/(18/a). Is t <= -2?
True
Let r = 109 - 107. Which is bigger: r or 0.7?
r
Let o = -6 + 3. Let l(i) = -2*i**3 - 3*i**2 - i - 3. Let x be l(o). Let g be x/60 - 2/8. Which is bigger: 0 or g?
g
Suppose 3*i = 6*i + 60. Is i <= -20?
True
Let k = 3.2 + -3. Let v = 0.47 - -0.13. Let n = v - 0.2. Is k > n?
False
Let n(y) = -y**2 + 10*y + 1. Let z be n(10). Are z and 4/21 unequal?
True
Suppose -4*w + 4*n - 28 = 0, n = -5*w - 2*n - 43. Let i = w + 6. Is i not equal to -2?
False
Let l = -4 + 9. Suppose 0 = -2*a + l*a. Which is greater: 2 or a?
2
Let r be 2/(-4)*-3*2. Let q(c) = 3*c**2 - 2. Let a(f) = -2*f**2 - f + 2. Let u(t) = -4*a(t) - 3*q(t). Let z be u(r). Is 0 less than z?
True
Suppose 18*n - 72 = 15*n. Which is smaller: n or 25?
n
Let l = 8 + -21. Which is smaller: l or -12?
l
Let o = -336600/7 + 209018716/4347. Let p = o + 54/23. Is 1/2 >= p?
True
Let f(i) = -3*i - 12. Let o be f(-4). Is -1 != o?
True
Let l = -346/3 + 117. Let b be 2 - (3 + (-4 - 1)). Suppose b = 2*g - 0. Is g <= l?
False
Let v = -19490/29 + 672. Let g = -11 + 10. Do v and g have different values?
True
Let y = -1.5 - -1.6. Is 19 greater than y?
True
Let n be 3/(-1) - (3 + -1). Is -7 greater than or equal to n?
False
Let j be (-5)/20 + 26/8. Let i be (0 - (8 - j))/(-1). Which is smaller: i or 6?
i
Let b be 4*111/(-114) - -4. Is b greater than -1?
True
Let p = -3 - -3. Suppose -h - h - 8 = p. Are -5 and h unequal?
True
Let g be (-4)/(-6) + (-39)/45. Is g less than or equal to -6/5?
False
Let i be 5/(-6) + 10/(-60). Let j be i/((-111)/(-36) - 3). Is j at most as big as 0.1?
True
Let i = 22 + -21. Let o be (-10)/260*i*-4. Is -1 at least o?
False
Suppose d - a + 5 = 5*d, -3 = 2*d - 5*a. Is 16/7 < d?
False
Suppose x = -4*j + 4, 4*x = j - x - 1. Let r be 2*7/10 - j. Let m = 9/10 - r. Which is smaller: 2 or m?
m
Let l(t) = t + 1. Let p be l(0). Suppose -8*z + 5 = -13*z. Let k = z + p. Does k = 4?
False
Suppose -6 = -3*l - 3*w, 0*l = -l + 3*w - 18. Suppose g - 13 = 6*g - k, 2*g + 2*k = -10. Is g at most as big as l?
True
Let b = 72 - 25. Which is smaller: b or 48?
b
Let r = -41 + 42. Which is greater: r or -2/15?
r
Let p be (-37)/36 + 0 + 2/8. Which is bigger: p or 0.1?
0.1
Let l(z) = -z - 4. Let m be l(-4). Let s = -1 + m. Let n = -877/7 - -125. Is n less than s?
False
Let z = 7 + -107/15. Suppose 7*u - 2*u = 0. Which is smaller: u or z?
z
Let r = -0.3 - 0.7. Which is greater: r or -5?
r
Let a = -4121/19 - -217. Let i(k) = k + 3*k + 3 + 0 + k**2. Let y be i(-2). Which is greater: a or y?
a
Let o = -3 - -5. Let u(w) = -w**3 - 5*w**2 + 4*w - 8. Let z be u(-6). Let q = o - z. Is q != -1?
True
Suppose 5*d + 20 = 0, -3*m + m - 158 = -4*d. Is m less than -88?
False
Let h(c) = -5*c + 6. Let z(m) = -11*m + 12. Let n(s) = -9*h(s) + 4*z(s). Let j = 11 + -4. Let t be n(j). Is t at least 1?
True
Let s(x) = 2*x + 2. Suppose -5*z + 3*h = -2, 10 = 3*z - 8*h + 4*h. Let l be s(z). Is -1 equal to l?
False
Let n = -0.28 + 1.98. Let j = -0.1 - n. Which is bigger: j or 0.1?
0.1
Suppose 0 = -x + 5, -3*x = -4*u + 11 + 14. Is u bigger than 10?
False
Let y(g) be the first derivative of -1/3*g**3 + 0*g - 2*g**2 - 2. Let c be y(-4). Is c bigger than 1?
False
Let j = 20 - 26. Which is bigger: j or -26/5?
-26/5
Let c = -0.035 + -0.965. Let o = -3 - -6. Suppose -3*g = g - l - 1, -o*l = -4*g - 5. Is g at most as big as c?
False
Let a = 367/6 + -61. Let q(y) be the first derivative of -y**4/4 + 4*y**3/3 + 2*y**2 + 5*y + 7. Let u be q(5). Which is smaller: a or u?
u
Let h be (140/12)/5*3. Let l = h - 8. Which is smaller: 2/9 or l?
l
Let k(m) = -m. Let j be k(0). Suppose j*p - 5 = -p. Which is greater: p or 6?
6
Suppose -4*b - 5*j = 69, 5*b + 4*j - 8*j + 76 = 0. Which is smaller: b or -15?
b
Suppose -2*g + 4 = -g. Let w be g - (3 + 1 + -2). Suppose -5*h - w*s + 2 = 0, h = -s + 2*s + 6. Is 1/2 < h?
True
Suppose -4*b + 0*k - 2*k = 0, 0 = 3*k - 6. Let z(d) = -d**2 - 2*d - 1. Let w be z(b). Is -6/13 greater than w?
False
Let f = -69 + 75. Which is smaller: f or -3?
-3
Let q = 703/1218 + -1/174. Suppose 3 + 2 = 5*x. Is x > q?
True
Let l(b) = -b**3 + 2*b**2. Let r be l(2). Let p(a) = -a**2 + a - 20. Let w be p(r). Let h be (8/w)/(9/5). Which is smaller: h or -1?
-1
Let l = -198 - -1384/7. Is l <= 18?
True
Let h = 2.889 - -0.111. Is -0.3 at least as big as h?
False
Let n be ((-2)/(-3))/((-14)/9). Let y be (-2)/4 + (-6)/(-4). Let g be 0/((2 - 4) + y). Which is smaller: g or n?
n
Let y = -39/20 + 489/220. Is -6 bigger than y?
False
Let f(d) = d - 1. Let q(p) = 3*p - 2. Let w(i) = -5*f(i) + 2*q(i). Let l be w(1). Suppose l*a + 10 = 7*a. Which is smaller: 1 or a?
1
Let f = 18 + -18.1. Let v = f - 10.9. Which is smaller: v or 0.1?
v
Let q be (-1)/2*0/(-2). Let k be 0 - -3 - 2/((-50)/(-65)). Are k and q non-equal?
True
Let z = 3 - 2.8. Is z <= 0.6?
True
Suppose 0*c + 6 = 3*c, -h + 17 = 4*c. Is h less than or equal to 7?
False
Let w = 10 - 8.2. Let q = -1.32 + w. Let m = 0.08 - q. Which is smaller: -2 or m?
-2
Let b = -28.8 - -29. Let v = -133/24 - -39/8. Is b not equal to v?
True
Let y be 4/9*(-18)/(-4). Which is smaller: y or 16/5?
y
Let v = -3 + 7/2. Is v at least -2/7?
True
Let d = -2.2 + 2. Let h = 77 - 76.8. Does h = d?
False
Let l be ((-585)/6)/5*(-4)/(-6). Do -12 and l have the same value?
False
Let w be 2/24*6*(-8)/(-39). Which is bigger: -1 or w?
w
Suppose 8*j + 46 = 3*j + 2*h, j - h = -8. Let k be 1/(-3) + j/(-12). Is -0.2 bigger than k?
False
Let y = 16 + -16.09. Let b = 5.49 + -6.4. Let o = y + b. Which is smaller: 0.2 or o?
o
Let h = 106 + -47. Let i = h - 58.63. Let u = 0.07 - i. Which is greater: u or -1?
u
Let i(f) = 3*f - 4. Let t be i(3). Suppose 0 = -g + t*g - 4. Which is smaller: 1/14 or g?
1/14
Suppose -d = 4*d + 20. Let n = 3 + d. Let p be n - -2 - 14/8. Do 0 and p have different values?
True
Suppose b - j = -2 - 14, b + 4*j + 1 = 0. Which is smaller: -14 or b?
-14
Let m be 6/55*1/(-3). Let o = -27 - -26. Which is smaller: m or o?
o
Let y(f) = f**2 + 14*f - 16. Let d be y(-14). Let n be (16/(-32))/(1/d). Is n <= 6?
False
Let s(h) = -2*h**2 - 14*h - 1. Let o be s(-7). Is o equal to -4/9?
False
Let a = -3 - -2. Let p = -463 + 2302/5. Which is greater: a or p?
a
Suppose k - 2 = 2. Let s be (2 - -2) + 3/(-3). Suppose s*o + 4*y - 3*y = -2, 0 = o + k*y + 8. Is 5/6 > o?
True
Let y be (1 + 0 - 0)/3. Let x be (2/(-6))/((-7)/6). Is x at least as big as y?
False
Suppose 8*v = 5*v. Let f be ((-4)/16)/((-21)/(-12)). Is v at most f?
False
Let o be (-1)/((-11)/4 - -3). Let i be -1 - (-3 + o/(-2)). Is 2/3 smaller than i?
False
Suppose -5*z = -2*z + 3. Let g(b) = -9*b**2 - 4*b + 3. Let k be g(3). Let t be 4/k*(1 + -6). Which is smaller: t or z?
z
Let a(z) = z**2 + 7*z. Let m be a(-7). Do m and 3/5 have the same value?
False
Let y be 0 + (-15)/70 + 2 + -2. Is y <= -1/3?
False
Suppose -2*g + 48 = g + o, 2*g + 3*o - 39 = 0. Which is smaller: -1/2 or g?
-1/2
Let c be 2/7 + 231/49. Let b = -6 + c. Which is smaller: -2/3 or b?
b
Suppose 4*q = -5*h + 159, -44 = -q + 3*h - 0*h. Let x = 204/5 - q. Which is smaller: -0.1 or x?
x
Let z(f) be the third derivative of -f**5/60 - 7*f**4/12 + 8*f**3/3 - 2*f**2. Let u be z(-15). Is u < 1?
False
Let f = 17 + -8. Let k = 5 - f. Let q be (-3)/4 - (-13)/(-4). Is k >= q?
True
Let z = -1 - -3. Let f be (36/45)/(z/(-10)). Let m be 3/3 - (-2)/f. Which is smaller: 1 or m?
m
Let s(l) = -l**3 + 7*l**2 + l - 7. Let b be s(7). Let d = -67/30 + 