t f be -1 - -7*1/g. Which is smaller: f or 1?
f
Let u = -4.2 + 0.8. Let s = 4 + u. Let b = s - 0.56. Is 0 != b?
True
Let l = 19.4 - 20. Let v be 2/5 - (2 + -2). Is v >= l?
True
Let p(s) be the first derivative of -s**2/2 - 4*s + 4. Let u be p(-6). Let k be (4/18)/((-6)/(-9)). Is u <= k?
False
Let w = -8 - -5. Let k be 9/2*(-1 - w). Suppose -4*h = -k*h + 10. Which is greater: h or 4?
4
Let u(j) be the third derivative of j**5/60 - j**4/24 + 5*j**3/6 + 3*j**2. Let v(w) = -2*w**2 + w - 9. Let i(x) = -7*u(x) - 4*v(x). Let a be i(-2). Is -2/5 > a?
True
Let j = 0.3 - 0.1. Let k = -0.14 + 0.04. Let i = k + j. Which is bigger: i or -0.3?
i
Suppose -5*m = -246 + 26. Let d be -2 - (m/3 - 2). Let t = d + 14. Which is smaller: 0 or t?
t
Suppose 4*j + 2*u + 20 = 0, 8 = 4*j + 4*u + 32. Let i be ((-1)/(-2))/(j/(-8)). Let r = i + 0. Is -1/7 bigger than r?
False
Let m be (-3)/(-5) + 603/45. Is 44/3 > m?
True
Let g(p) = -p**2 - 6*p - 6. Suppose 3*q = -15 - 0. Let h be g(q). Which is bigger: h or 1?
1
Let l = -49 - -25. Which is smaller: l or -23?
l
Let y be 3 - -1*(4 + -8). Is -4/9 bigger than y?
True
Let a be (4/(-16))/(2/(-2)). Are -0.2 and a nonequal?
True
Let x = 15.9 + -16.1. Is -1/8 equal to x?
False
Let z be (-3 + (-51)/(-15))*-10. Is -3 >= z?
True
Suppose 3*h + 23 = -2*l, 4*l + 4 = -2*h - 6. Let s = 8 + h. Is 2/7 equal to s?
False
Let r be -3 - 2*249/(-162). Which is bigger: r or 1?
1
Let b be 18/(-102)*(-2)/3. Is 1 at least b?
True
Let y(h) = h + 4. Let n be y(-4). Let d(v) = -v**3 + v**2 - v + 1. Let u be d(n). Suppose -m - u = -o, -5*m + 30 = 4*o - 1. Are m and 3 nonequal?
False
Let o = -6 - -11. Suppose -a - 4*n = -o*a + 20, 3*a - n - 11 = 0. Let m be 2/(-3)*a/2. Which is smaller: -2 or m?
-2
Let b = -16 + 22. Let c = -5 + b. Let y = 17 - 14. Which is smaller: c or y?
c
Let o be 486/(-4) + 9/6. Let n be 0 - -2 - o/(-65). Suppose -5*r - 1 = 3*t - 3, 2*t + 3*r = 1. Which is smaller: n or t?
t
Let q = -17/84 - -3/28. Which is greater: q or -1?
q
Suppose -5*a + 66 = 6. Let c = -6 + a. Which is greater: c or 4?
c
Let y be 9/(-6)*1/(-6). Let x = 467/13 - 36. Do x and y have the same value?
False
Let b = -34.79 + 35. Do 1 and b have the same value?
False
Let a(v) = -v**2 - v + 1. Let f be a(0). Let u = f + -3. Let l(c) = c + 1. Let x be l(u). Does 0 = x?
False
Suppose -5*q + 14 = -7*q. Let d(r) = -r**2 - 6*r + 6. Let m be d(q). Is m < -1/2?
True
Let v(l) = l - 5. Let g be v(8). Suppose g*h - 6 = -3. Which is bigger: 0.03 or h?
h
Suppose -3*v - 6 = -3. Let u = -1 - -1. Is v < u?
True
Let n(q) = q**3 - 3. Let x be n(0). Let j be 49/(-266)*(1 - x). Let h = -220/247 - j. Is 2/3 less than h?
False
Let y be 63/(-71) - 7/(-7). Let m = 212/639 + y. Which is smaller: 0 or m?
0
Let v be 12/2 + (-2)/2. Suppose 0*w = v*w + 15. Let b = 2 + w. Which is smaller: 0 or b?
b
Suppose -5*a + 3 + 2 = 0. Which is greater: 3/23 or a?
a
Let d be (-5)/20 + (-6)/4. Suppose 1 = 2*k - 2*m + m, -5*m = 4*k + 33. Is k != d?
True
Let a = 2847 - 85397/30. Let z = -1/6 - a. Is -1 <= z?
True
Suppose -152 = 4*t - 4*h, 5*t = -3*h - 177 + 11. Which is smaller: t or -33?
t
Let f = -16 - -20. Let m be (-6)/(-4)*(1 + 1). Is f < m?
False
Let j be 0 - 1/((-1)/(-136)). Let i be (-2423)/(-18) - 24/(-16). Let k = i + j. Is 1 != k?
True
Let q = -2/109 + -319/436. Let d be (4/(-5))/(2/(-5)). Suppose -2*t - d = -4*b, 5 - 2 = 2*b - 3*t. Is b less than or equal to q?
False
Let g = 356/1295 - -2/185. Let z = 159/205 - -1/41. Is z greater than g?
True
Let g = -18 + 18. Which is smaller: g or -2?
-2
Suppose 5*w + 3*f + 2*f = 35, -w - 3*f + 13 = 0. Let m(o) = -o + 2. Let s be m(-3). Is w less than s?
True
Suppose 4*u - 22 - 2 = 0. Let a(g) = -g**3 + 4*g**2 - 4*g + 4. Let o be a(3). Let s be (o + (-10)/u)*3. Is 0 less than or equal to s?
False
Let n(j) = j**2 + 3*j + 1. Let h be n(-4). Suppose -h + 17 = -l + 4*f, 3*l + 5*f - 15 = 0. Let x be 1*3/(-3 - l). Is x not equal to -3?
True
Let l = -0.5 + 0.6. Let m = l + -0.3. Let r = m - -2.2. Does 0.1 = r?
False
Suppose -3*v - 27 = -4*s, v - 4*v - 42 = s. Is v not equal to -14?
True
Let z = -8 + 4. Is z less than or equal to 1/4?
True
Let p = 0.1 - 0.1. Is -2 <= p?
True
Suppose 0 = n - 2 - 0. Let m = 1 + n. Which is bigger: 1 or m?
m
Suppose x = -3*b + b, -2*b = 3*x. Let j = -1 + x. Let k = j + 6. Which is bigger: 6 or k?
6
Suppose -2*c = -3*o + 1, 2*o + 4*c - 5 = 1. Which is greater: -1/8 or o?
o
Suppose 12 = -58*i + 52*i. Is -1/2 > i?
True
Let u = -4 - -10. Which is greater: 1 or u?
u
Let z be 5/2 + (12 - 15). Which is smaller: z or -2/9?
z
Let n = 22 + -14. Let s = -15 + n. Let d = s + 11. Which is smaller: 0 or d?
0
Let c = 2 + -2. Let a(v) = v**2 - 2*v + 1. Let g be a(3). Suppose -4*k - 3*l + 9 = 0, 5*k + 0*l - 12 = -g*l. Is k != c?
False
Suppose -5*s + 16 = 1. Let m(w) = -3*w**2 - 9*w - 5. Let o be m(-2). Let u = o - s. Which is smaller: u or 0?
u
Let m = -12 - -3. Let d = 9.2 + m. Is 3 > d?
True
Let c = 73 - 76. Is 0 <= c?
False
Let r be (-40)/(-16)*(-2 + 4). Suppose w - y - 6 = -r*y, 0 = -2*y. Is 7 at most w?
False
Let q be (11/2464)/((-6)/(-8)). Let s = -47/168 - q. Let r(d) = -d**2 + d + 2. Let p be r(2). Is s >= p?
False
Let d = 4.9 + -26.9. Which is smaller: 0 or d?
d
Let o be (4/(-6))/((-30)/(-45)). Is 1/6 less than o?
False
Suppose -3*m + 7 = -0*f - 4*f, -2 = -4*m - 2*f. Is 0.06 greater than or equal to m?
False
Suppose 5*i = g - 5, -3*i - g = -0*g + 3. Which is smaller: -2/5 or i?
i
Let k(a) = a - 6. Let d be k(8). Let u = 82 - 77. Is u not equal to d?
True
Let g = -25 - -170. Let w = 153.7 - g. Let a = w - 9. Which is smaller: -0.1 or a?
a
Suppose -36 = -5*i + 4*z, 2*i - i = -z. Is 4 < i?
False
Suppose -q - 30 = -6*q. Let y(d) = -d**3 + 5*d**2 + 7*d - 7. Let x be y(q). Let z = 0 - x. Are -1/4 and z nonequal?
True
Let w = -89/388 - 2/97. Suppose -8*z = -6*z - 12. Suppose 5*l = z*l. Which is smaller: l or w?
w
Suppose 5*d + 0*d = -80. Let h be d/(-120)*(-8186)/4. Let x = h + 273. Is 1 >= x?
True
Let w be 14/3 - (-4)/(-6). Suppose v + 3 - w = 0. Which is greater: v or 8/9?
v
Let v = 4 - 10. Let n be -3*1 + (1 - v). Is 3 bigger than n?
False
Suppose 5*m - 862 = -4*t, 319 = 4*t + 4*m - 545. Let b be 0 - ((-5826)/(-27) + 2). Let r = b + t. Which is bigger: -0.2 or r?
r
Let o = -10 - -12. Suppose 3*r = 4*x + 16, 2*x - 6*x = 5*r + 16. Suppose -o*t + 4*t = r. Which is smaller: 2/17 or t?
t
Let i(f) be the third derivative of f**6/120 - f**5/20 + f**4/8 - f**3/3 - 3*f**2. Let t be i(2). Is 1/3 at least as big as t?
True
Suppose 5*t + 6*t - 11 = 0. Which is bigger: 0.057 or t?
t
Suppose 3 = -57*q + 54*q. Let x be 8/(-14)*(-6)/(-8). Which is greater: q or x?
x
Suppose 4*b - g - 6 = -25, 2*b = -5*g + 7. Let n = 6 - -9. Let l be b/(-22) - n/22. Which is bigger: 0 or l?
0
Let z be -2*213/(-30)*8. Let k = -114 + z. Which is greater: k or -7?
k
Let x = -14665/3 - -4976. Let k = x - 87. Is 4 bigger than k?
True
Suppose -4 - 7 = 2*a + 3*n, 5*n + 27 = a. Suppose -a*q = -3*q. Is 1/5 < q?
False
Let j = 5.1 - 10.1. Let x = 0 - 0.1. Which is smaller: x or j?
j
Suppose 5*t = 5*f - 20, -2*f + 4*t + 19 = -f. Let o = 3 + -7. Let k be o/10 + 0/2. Which is greater: f or k?
k
Suppose 0 = -2*a + 40 - 30. Which is bigger: a or -4?
a
Let m be (154/(-12))/(-7) + 0. Let x = m + -4/3. Let l be (-4)/(-6) - (-6)/(-9). Is x not equal to l?
True
Suppose 5*i - 2 = 13. Let l be i*3/36*2. Let j = 0 + 0.1. Which is smaller: l or j?
j
Let p = -35 - -33. Which is smaller: -3 or p?
-3
Suppose 0 = 3*t - 4*t. Suppose t = 3*z - 3. Which is smaller: 4 or z?
z
Let g be (-1 - 2 - -9) + -2. Suppose g*u = -0*u. Is 2/9 greater than u?
True
Let t be 5 - (-2 + 8 + -3). Is t less than 4?
True
Suppose 0 = -9*q + 5*q + 128. Which is smaller: q or 33?
q
Let p be -5 - 10/(-14)*6. Are p and 2 non-equal?
True
Let c = -15 + 7. Let x(b) = b + 8. Let z be x(c). Let d = 379/7 - 54. Is z less than d?
True
Suppose -2*s = -6*s + 2*p, 3*s = 5*p. Which is smaller: -1/4 or s?
-1/4
Let h be ((-7)/(-14))/((-82)/(-104) - 1). Is h not equal to -1?
True
Let s be ((-2)/(-1))/(-4)*-4. Let d(h) = h**2 + h - 2. Let v be d(-3). Let t(a) = -a**3 + 3*a**2 + 4*a + 3. Let g be t(v). Which is greater: s or g?
g
Suppose 3*m = 5*i + 3 + 4, -15 = 5*m + 5*i. Which is smaller: -3 or m?
-3
Let i(x) = -8*x + 17. Let m be i(2). Let p(d) = -3*d