-2*s - 2 = -4*s, 3*s + 22 = 5*l. Suppose 3*f = -l*d - 16 - 40, 16 = -d - 3*f. Let q be 2/d*(-5)/(-3). Is q at least -0.4?
True
Let j be (-2)/8 - 15/(-12). Let r = j + -2. Let s be -6*(10 + -11)*(-1)/3. Are s and r non-equal?
True
Let i = 295 + -2947/10. Is 1 < i?
False
Suppose 0 = d + 5 - 6. Do -2 and d have the same value?
False
Suppose -8 = 4*y + b, -5*y - 3*b = -7*b - 11. Is -1 bigger than y?
False
Let w = -13 + 11.9. Let x = w - -1. Are -3 and x nonequal?
True
Let j(x) = x**3 + 10*x**2 + 9*x. Let m be j(-9). Let q = -522/5 + 3684/35. Which is smaller: q or m?
m
Suppose 50 = 2*c + 8. Suppose g - 3 = n, -4*g - 3*n - 9 = -c. Suppose m - 4 = -1. Is m less than g?
False
Let w be (-5)/(-2) - 3/6. Suppose -t = -0*u + 5*u - 2, 2*t + 1 = -5*u. Let n(x) = x**3 + 2*x**2 - 3*x + 1. Let b be n(t). Is w not equal to b?
True
Let f be (-24)/(-388)*6883/(-8). Let u = f + -3/97. Let p = 53 + u. Is -1 at least as big as p?
False
Let f = 958.03 + -958. Suppose -c + 3*c - 2 = 0. Is c less than or equal to f?
False
Let g(n) = -n**2 - 8*n - 6. Let z(x) = -2*x + 8. Let m be z(7). Let k = -1 + m. Let d be g(k). Is d < -1?
False
Let j = -1.3 - -1.4. Let c = -0.08 + 0.05. Which is smaller: c or j?
c
Let k = 18 + -9. Let u = 8 - k. Let r = 5.7 + -6. Which is smaller: r or u?
u
Let r = -22 - -21.95. Which is greater: r or -1/4?
r
Suppose 3*q + 5*o - 2 = 14, -2*o - 5 = 5*q. Let u be q/(-6) - 55/2. Let g be 3/7 - u/(-14). Is g at most as big as -2?
False
Suppose 2*l + 4 = 10. Suppose l = -5*a + 8. Is a at most -4/17?
False
Let h = -96 + 101. Let m(b) = -b**3 + 6*b**2 - 4*b - 5. Let f be m(5). Which is bigger: f or h?
h
Suppose 5*w + 0*w + 70 = 0. Is -15 >= w?
False
Let s(l) = 8*l. Let u be s(1). Let t be (-24)/(-18)*(-2)/u. Which is greater: t or -1?
t
Let g(p) = p**3 - 3*p**2 + p - 1. Let b(y) = -y - 5. Let h be b(-8). Let t be g(h). Suppose -3*s = s - 16. Which is greater: t or s?
s
Let n = 75 + -76. Are n and -31 unequal?
True
Let i = -5 + 33. Suppose 0 = 4*a - 8*a + i. Is a equal to 8?
False
Let j = 16.5 + -17. Suppose 0*w - 4*w + 4 = 0. Let v = w + 0. Which is smaller: v or j?
j
Let x be (-94)/(-2) + 3/(-2 + 5). Which is smaller: x or 49?
x
Let j be (-14)/(-84) - (-166)/(-852). Is 0 > j?
True
Let o be ((-10)/((-2)/1))/1. Suppose 0 = -o*t - j - 5, 0 = 2*t - 0*j - 2*j - 10. Is 6/5 less than or equal to t?
False
Let a be 46/(-8) - (-6)/24. Let b = 6 + a. Which is bigger: b or 2?
2
Let l = 23.13 - 23. Let p = 0.03 - l. Is p at least as big as 0?
False
Let g be 670/45 - (-4)/(-18). Which is smaller: g or 16?
g
Suppose 3*q + 50 = -2*j, -5*q - 8 = -3*q. Is j equal to -18?
False
Let g = 2 - 0. Suppose 4*l = -0*l + g*k - 18, 5*l + 4*k = 10. Does -3 = l?
False
Suppose 3 = 93*c - 96*c. Let d = 2 + -7. Let o(z) = z**2 + 7*z + 6. Let g be o(d). Is c not equal to g?
True
Let g be 1161/(-63)*(-2)/(-3). Which is bigger: -11 or g?
-11
Let i = -0.2 - 0. Let f = 0.1 + i. Let o be (3/(-10))/(60/40). Is o less than or equal to f?
True
Let b be 195/27 + (-4)/18. Let n(j) = -j**3 + 6*j**2 + 6*j + 3. Let a be n(b). Let g be (-22)/(-8) - (a - -6). Is 0 <= g?
True
Let g be (-52)/288 - 6/(-27). Which is greater: g or -1?
g
Let k be 12/(-10)*50/(-15). Suppose -3*p - 12 = -3*h, 6*h = 4*h - k*p - 16. Is 4/9 < h?
False
Let x = 85 + -74.8. Let h = 18.4 - x. Let f = -8 + h. Which is smaller: f or 1/4?
f
Let i = -2 + 1. Suppose -2*j - 2 = 0, -5*j - 27 + 7 = 5*z. Is i at most as big as z?
False
Suppose 2*b + 154 = 5*q - b, -4*q - 4*b = -136. Suppose 8*j + 36 = 3*j - k, 4*k + q = -4*j. Which is smaller: -6 or j?
j
Let b = 0.4 + 9.6. Let a = -6 + b. Is a >= 0.2?
True
Suppose 2*t + 3*u = 3*t + 9, -10 = 2*t - 4*u. Let v be t/(-6)*(3 + 3). Which is bigger: -8/3 or v?
-8/3
Let j = 14 + -11. Let s be 9/2 - j - 1. Let c = 54/7 + -51/7. Is s at least c?
True
Let f(p) = p**3 + 3*p**2 - 5*p - 3. Let x be ((-2)/2)/(1/4). Let n be f(x). Let r = -29/7 - -275/63. Which is bigger: n or r?
n
Let f = -0.033 + 0.033. Which is smaller: f or -26?
-26
Let w be (36/(-8))/((-6)/8). Is w >= 7?
False
Let q = 0 + 0. Suppose 12 = -q*t - 4*t. Let y be (-2)/(-18) + (-1)/t. Is y at least as big as 1?
False
Let p = 1 - -3. Let x be 1/p*(-16)/(-5). Let y = x - 2/15. Are y and 3 nonequal?
True
Let b be (9/(-18))/((-2)/4). Let h be (0 + (-2)/(-4))/(-2). Which is smaller: b or h?
h
Suppose -4 = -l + 5*t, -4*l + 3*t - 6 = -2*l. Let f = l + 8. Let d be 36/8*4/30. Which is smaller: d or f?
d
Let a = 4/11 + -100/33. Which is bigger: a or -4?
a
Let a = -27 + 19. Let p(o) = o + 7. Let i be p(a). Is -0.3 not equal to i?
True
Let q = -6 + 5.8. Let m = -0.3 + 0.1. Is q smaller than m?
False
Suppose 0 = -5*y + 20, -25 + 8 = -h - 4*y. Suppose -v + h = 3. Which is greater: -1 or v?
-1
Let y = -0.38 - -0.38. Is y less than -2/9?
False
Let m = -10 - -9. Let g be m*(-1 + 3) + -4. Which is smaller: -7 or g?
-7
Let t be -1*(-2 + (-96)/(-44)). Which is greater: t or -1?
t
Let v = 2 + -1. Let n = -0.09 + 1.09. Let a = n - 2. Which is bigger: v or a?
v
Let t = 20 - 19.8. Let o = -2185/9 - -243. Is t greater than or equal to o?
False
Let w be 2/(-1)*(-4)/(-122). Let n = 94/427 - w. Let r = 4.4 - 0.4. Which is greater: r or n?
r
Suppose -5*g + 35 = -30. Let b = g - 4. Which is greater: -0.1 or b?
b
Let w = 1.4 + -1.7. Which is greater: 1 or w?
1
Let r(y) = -y**2 + 10*y - 7. Let p be r(9). Is p at most as big as 4?
True
Let y = 5.94 + -6. Let h = y - 0.04. Which is greater: h or -1/2?
h
Suppose -4*d + 18 = -6. Let a be 3/(d/(-16)) - -2. Which is smaller: -7 or a?
-7
Let h = 0.68 + -0.08. Let n = 0.01 + -0.41. Let z = h - n. Is -1 smaller than z?
True
Let g(a) = -a**2 - a + 11. Let l be g(0). Suppose -2*w + x = l, 0*w - 16 = 2*w + 4*x. Let r be (-22)/24 + w/(-9). Which is smaller: -0.2 or r?
r
Suppose s = -q - 0*q - 1, -2*s + 2 = -2*q. Which is greater: 2/3 or q?
2/3
Let n(p) be the third derivative of p**4/24 + p**3/2 + 2*p**2. Let t be n(-3). Is t greater than 6/5?
False
Let z = 39/2 + -9. Let j = 10 - z. Which is smaller: 0 or j?
j
Suppose -1 = -i + 1. Which is bigger: 7/11 or i?
i
Let p(d) = d**3 + 10*d**2 + 5*d - 13. Let f be p(-8). Which is smaller: 0 or f?
0
Let u = 0.95 + -1. Let s = u - -2.05. Let z = s + -2. Which is bigger: z or -0.1?
z
Let q = 4.223 + 0.077. Let y = q - 2.3. Which is bigger: 6 or y?
6
Suppose -15 = -5*m - 5*i, 0*i + 12 = 4*m - i. Suppose -5*a = -0*a - 3*k - 22, -4*k - 22 = -m*a. Suppose -3*p + 5 = -a*p. Which is bigger: p or 6?
6
Let n = 670 + -948. Let j = -114 - n. Let z = 1478/9 - j. Which is greater: -2 or z?
z
Suppose 0 = -4*n - n + 10. Suppose 3*q - 2*z + 11 = 4*q, -n*z + 15 = 5*q. Let k = -34/3 + 176/15. Which is greater: q or k?
q
Let z = -0.4 - -0.2. Let m = z - 0.8. Let v = m + -2. Which is smaller: v or 1?
v
Let n be (-4)/1*(-6)/(-36). Is n at most 1/2?
True
Suppose 2*v + 2 = -4*a - 6, 0 = -2*v + 5*a - 35. Let q = 7 + v. Let l be q/(-4)*2/6. Which is bigger: l or 2/9?
l
Suppose -5*h + 2*z + 11 = 0, 5*h + z = -3*z - 7. Are 1 and h non-equal?
False
Suppose -4*b + 18 = 6. Suppose -b*h = 2*h. Let q = -5 + 7. Is h >= q?
False
Let x be 88/14 + 0 + -4. Which is smaller: 2 or x?
2
Let i = -2 - -2. Let r = 437/6 + -73. Is r greater than i?
False
Let k = -128525/93 - -1382. Let x = 199/1209 - k. Is -1/4 bigger than x?
False
Suppose 11 = -2*q - 7. Let j = q - -6. Which is smaller: j or -13/3?
-13/3
Let b = -116.98 - -117. Is -9 greater than b?
False
Let d = 16 + -10. Is d at least 1?
True
Let q = 27 + -28. Which is smaller: -6 or q?
-6
Let x(z) = z**3 + 3*z**2 + 3. Let v be x(-3). Let q = -1 + v. Suppose -2*j - 2 = -q*g - 0, 0 = g - 1. Is -1/2 > j?
False
Let p be (-1)/((4 - 2) + -5). Which is bigger: p or 1?
1
Suppose 2*m = -2*m - 60. Let z = 835 + -850. Is m <= z?
True
Let s = 520 + -8843/17. Suppose h = 3*h. Which is greater: h or s?
h
Let u = 0 + 0. Let i(v) be the third derivative of v**5/60 + 2*v**3/3 - 2*v**2. Let y be i(u). Is y greater than or equal to 5?
False
Let c be 14/4 + (-3)/2. Suppose 4*h - 16 = c*h. Suppose h = -3*n + 2. Which is greater: n or -1/2?
-1/2
Suppose 5*f - 18 = -3*b, -4*f = 4*b - 0*b - 16. Let h be (-1)/14*(-9 + b). Is 1 != h?
True
Suppose 0 = -k - 2 + 6. Suppose -k*v - r = -8, -23 = 2*v - 5*v - 5*r. Let a(t) = t**2 - 6*t + 1. Let g be a(6). Is v at least g?
True
Let u(c) = -5*c - 4. Let b(v) = v