t g = -73 + w. Is g not equal to b?
True
Let g = -1 - -3. Suppose -g*m - 3*m = 10. Which is smaller: -3/5 or m?
m
Let b = 4 + 0. Let h = -3 - -4. Which is smaller: h or b?
h
Let o be 140/(-6) + 5/15. Is o greater than -43/2?
False
Suppose -3*y - 15 = -x, -3*x + y + 10 = -x. Let u(g) be the third derivative of g**4/24 + g**2. Let h be u(x). Is 1 greater than or equal to h?
False
Let x be -4 - (6/4 + 0). Let s = -53/10 - x. Do -0.3 and s have the same value?
False
Suppose 15 = -7*q + 10*q. Suppose 5*h + 2*v = 13, -v - v + q = -3*h. Which is smaller: 0 or h?
0
Let h be (7 + (-336)/128)*(-4)/(-10). Let r(w) = -w**2 + 3*w + 3. Let u be r(3). Suppose -4*y - u + 11 = 0. Is h > y?
False
Let j(v) = -3*v - 9. Let a be j(-7). Let o be 10/6 + (-8)/a. Is 0 smaller than o?
True
Let a be -4 - 0 - (-64)/18. Which is smaller: a or -1?
-1
Let y be 54/10 + 6/(-15). Suppose y*g + 2 = -8. Is -1 bigger than g?
True
Let a be (801/(-49))/(-56 + 1). Let c = -6/245 + a. Let l = -1 + 1. Which is greater: c or l?
c
Suppose -2*g = -4*g. Let q be 2*(75/2 - 1). Let w = q - 364/5. Is w equal to g?
False
Suppose 3*l + 8 = -4*x - 8, 6 = -2*x - l. Suppose -p = v - 12, -2*v - p = -6*v + 48. Suppose -c - 6 = -2*z, 0*c + 4*z - v = c. Which is smaller: x or c?
x
Let j = 7.4 - 7. Let f = -0.2 + j. Is f <= 5?
True
Let k = 18 + -13. Suppose 2*o - 3*j + 9 + 5 = 0, -19 = -o - k*j. Let f = -22 + 22. Which is greater: f or o?
f
Let d(r) = -r**3 + 10*r**2 + 2*r**3 - 3*r**2. Let a be d(-7). Suppose 4*u + u + 25 = a, -1 = -2*o - u. Which is bigger: 0 or o?
o
Let r be ((-1 - -7)/6)/(1/(-2)). Which is bigger: 1 or r?
1
Suppose -4*f + 31 - 11 = -3*g, -3*g = -f + 5. Is 6/7 less than or equal to g?
False
Let y(w) = 0*w**2 + 0 + 1 + 4*w - 3*w**2 - w**3. Let v be -10*(-1 - (3 + (-66)/15)). Let h be y(v). Is 0 > h?
False
Suppose 0 = 2*s + 2*c - 4, -4*s = -3*c + c + 16. Is s bigger than 0?
False
Let y = -51 + 50.8. Are y and -0.03 nonequal?
True
Let w be ((-4)/(-3))/((-12)/(-18)). Which is smaller: w or -0.8?
-0.8
Let h be 1 + -3*1/3. Let w = 4 - 1. Let a be ((-8)/w)/(-1) + -2. Which is greater: a or h?
a
Suppose 0*o = o - 33. Let v be (-12)/10*15/o. Which is bigger: v or -1?
v
Suppose -4*r = -4*q + 36, 4*q + 36 = -2*r - 2*r. Let u(i) = -2*i + 3. Let f be u(5). Are f and r equal?
False
Let r = 99/20 + -19/4. Are r and -1 nonequal?
True
Let f(v) = 2*v**2. Let q be f(1). Is q > 12/11?
True
Let m be (-3 + 4)/1*-1. Let b = m + 3. Suppose -b*w - 6 = -20. Which is greater: 6 or w?
w
Suppose 1 - 5 = -4*w. Let l be 4*(-2 + w)/(-1). Suppose -l*j + 1 = -3. Which is smaller: -1/5 or j?
-1/5
Let t = 0.1 - 0.1. Let r = -0.2 + t. Let i = -0.2 - r. Does 0 = i?
True
Let r(t) = 3*t - 28. Let k(f) = -3*f + 27. Let x(q) = 6*k(q) + 5*r(q). Let d be x(10). Which is bigger: d or -7?
-7
Let i = -2 + 4. Let d be i/35 + 4/(-20). Is d > -1?
True
Let d be (-27)/(-63) - 282/70. Is -5 <= d?
True
Suppose 3*a - 4 = 11, -5*l + a - 30 = 0. Let c be (-1)/7 + (-192)/28. Which is smaller: l or c?
c
Let k = 0.11 + -0.01. Let q be 73/4 - 7/28. Let w be 3/q - (-14)/(-228). Is k less than w?
True
Let j(a) = a**3 + 5*a**2 - 5*a + 4. Let f be j(-6). Let b = 1 - f. Suppose 14 = -2*p - 0*p + 5*h, 2*h - 17 = -3*p. Are p and b non-equal?
False
Let g = -15 + 13. Is g equal to -7/3?
False
Let c = 0 + 1. Let j be (c/(-6))/(3/(-267)). Let v = 15 - j. Is -1 at most v?
True
Let l(m) be the second derivative of m**5/20 - 5*m**4/12 + 3*m. Let o be l(5). Is o not equal to 1/3?
True
Let v = 5 + -8. Let k = -5 - -1. Which is bigger: k or v?
v
Let q(k) = k**2 - 4*k + 6. Let i be q(6). Suppose -4*h + 6 = -3*o + o, 4*o = -2*h + i. Let f be (o/(-36))/(1/2). Is f at least as big as -0.1?
False
Let n = -18.1 - -18. Let j = 4 + -1. Let t be (j/15)/((-2)/(-5)). Is n smaller than t?
True
Suppose 0 = 2*d + 4 + 2, v = -4*d - 1. Does v = 11?
True
Let s = -0.71 - 0.09. Let z = s - 1.2. Is z < 1/3?
True
Let i be 3/(-1 + (-55)/(-52)). Which is bigger: i or 53?
53
Let c(o) = -7*o + 32. Let j be c(11). Is j < -46?
False
Let g(i) = i**2 - 8*i + 6. Let b be g(8). Suppose 5*k - 30 = -0*s - 5*s, -4*k = -s - 29. Which is bigger: b or k?
k
Suppose 0 = o + 4*d + 20, 6 = -3*o - d + 1. Suppose y + y = o. Is 2 smaller than y?
False
Suppose -5*w = -d - 11, -2*w + 21 - 7 = -d. Is -18 greater than or equal to d?
False
Let n(f) = f**3 + 5*f**2 - 7*f - 2. Suppose 4*z + 21 = 3*k, -3*z - 14 = k + 5. Let x be n(z). Let l be 15/(-35) + x/14. Is 2/7 < l?
False
Suppose -6*h = 2*h - 184. Which is smaller: 43/2 or h?
43/2
Let f = 34513/45 - 767. Let n = f + 116/585. Is -1 greater than or equal to n?
False
Suppose 3*x = -2*v + 2*x + 3, 2*v - 1 = x. Suppose -4*h = -3*h + v. Is -2 at most h?
True
Let v(x) = -x**2 + 7*x - 5. Let j be v(6). Suppose u - 2*s = -2*u + 1, 3*u = 4*s - 1. Let m = u + j. Which is smaller: 5/6 or m?
5/6
Suppose 12*u + 123 = -29*u. Let z = 0 - 1. Which is smaller: z or u?
u
Let a = 6 - 6.3. Let o = a + 0.35. Let t = o + 0.15. Do t and 2 have different values?
True
Let y = 1 + -8. Which is greater: 0.9 or y?
0.9
Suppose -9*g = -6*g. Which is smaller: g or -2/399?
-2/399
Let r(q) = -q**2 - q + 1. Let c be r(0). Which is greater: 8/5 or c?
8/5
Suppose 0 = -c - 2 - 0. Let u be (0 - c)/6 - 2. Are -2 and u nonequal?
True
Let r(c) = c**2 + 6*c + 27. Let f be r(-7). Is 35 >= f?
True
Let c be (11 + (-3)/(-1))/1. Is c > 14?
False
Let p = 0.1 - 1.1. Which is smaller: 3 or p?
p
Let s be -1*(2 - (-14)/(-6)). Let o = -73/324 + -2/81. Which is bigger: o or s?
s
Suppose 5*p = 5*c - 15, -17 + 1 = -3*p - 2*c. Let h(s) = 0 + 0 - 2 - p*s. Let a be h(3). Is a equal to -8?
True
Let f = -1.6 + 2.55. Let v = f + 0.05. Is v equal to -2?
False
Let y = 0.3 - 15.3. Let l = 14.7 + y. Is l smaller than 2?
True
Let j = 9 + -8. Is j at least as big as 5/6?
True
Let o = -4/23 - -187/943. Which is greater: 0 or o?
o
Let p(d) = 8*d**3 - 2*d**2 - 2*d + 4. Let z be p(3). Let u = z - 1766/9. Is 0 less than or equal to u?
False
Let q = -4 - -2. Let u be q/7 - 15/21. Suppose 3*a - 1 + 4 = 0. Is u at most as big as a?
True
Suppose 6*s + 16 = 2*s, 2*q - 6 = 2*s. Which is smaller: q or -1/19?
q
Let l be ((-12)/(-7))/((-208)/70 - -3). Does 60 = l?
True
Suppose -5*r - 21 = 4*c - 0*c, -r - 3*c - 2 = 0. Let x = r + 4. Which is smaller: 2/13 or x?
x
Suppose 3*w - 8 = w. Let n = 9 + -12. Let a = n + w. Which is smaller: a or 0?
0
Let x = 0 - 1. Let y = 1 + -1.2. Let s = y + -3.8. Is x smaller than s?
False
Let z be (-1)/(-3) + 1/(-3). Let w be 6/(-4) + 9/(-2). Let c be 9/w*(-4)/11. Which is smaller: z or c?
z
Let t be (6/(-12))/((-2)/(-4)). Let b be 0/((1 - 3)*1). Let u be -2*1/(-6) + b. Which is bigger: t or u?
u
Suppose 5*g + 44 = -3*p - 0*p, -g - 2*p - 13 = 0. Let v be g*(3 - 15/7). Let a be 2/(-7)*9/v. Which is bigger: a or 0?
a
Suppose 3*c = -5*c. Is 2/17 greater than or equal to c?
True
Let h be 18/14 + (-4)/14. Let o be (-3)/(-12) - h/4. Suppose 2*k = -5*w - 2, -5*k - 2*w - 7 = -2. Does k = o?
False
Let p = -11 + 9. Let f be ((-70)/20)/(p/(-4)). Which is bigger: -8 or f?
f
Let a = -120 - -90. Is a < -30?
False
Suppose -10 = -5*w - 30. Let a = 6 + w. Suppose -a*f = l + 7, -l - f - 8 = 4*l. Which is smaller: l or -2/3?
l
Let y(h) = 2*h + 1. Let c be y(-1). Suppose 0 = 2*f + 6, -4*w + f + 2*f + 1 = 0. Is c smaller than w?
False
Let f(g) = g**3 - 5*g**2 - 6*g + 7. Let y be f(6). Suppose 10 = 2*c - 5*j, -c + j + 4 = -4. Let t = c - y. Is 4 > t?
True
Suppose -5*j + 7 = 5*y + 47, 3*j + 12 = 0. Let x = 0 + y. Let r be (-1)/2*(x - -3). Which is smaller: r or -1?
-1
Suppose 7 = -4*s + v + 2*v, 29 = 2*s + 5*v. Suppose -3*i + 2*b - 17 = 0, 4*i + s - 10 = -5*b. Is i >= -1?
False
Let a = 1.008 - -0.072. Let b = 0.38 - 0.3. Let r = b - a. Is r bigger than 2/5?
False
Let n = 7 - 14. Let p = 6.9 + n. Is -0.01 less than or equal to p?
False
Let o = -4 - -3. Let r = -9 + 11. Which is bigger: r or o?
r
Let q(a) = -5*a. Let r be q(-1). Suppose -4*p - 2*k = 0, -k = -r*p - 6*k - 5. Let d be (-2 + 0)*(-3)/27. Are d and p non-equal?
True
Let n = -11/4 - -69/28. Are n and -3/8 equal?
False
Let m = 29 + -13. Is 0 at least m?
False
Let h = 4.6 - 2.5. Which is smaller: 0 or h?
0
Let h be (3/4)/((-2)/12). Is -5 > h?
False
Let f = -3.1 + 1.1. Let p = -0.83 + 0.8. Let q = -1.97 + p. Is q greater than or equal to f?
True
Let g(h) = 2*h**3 + 3*h