= -g + 10. Is g smaller than -4/7?
True
Let w = 0.1 - -0.9. Let o = 1.05 - 0.11. Let a = o - -0.06. Do w and a have the same value?
True
Let j(k) = k**3 - k - 1. Let p be j(0). Let u be p + 0 - (0 - -24). Let z be 10/14*10/u. Which is greater: 1 or z?
1
Suppose -4*o + 34 = -26. Let f be ((-4)/10)/((-3)/o). Let n = 34 - 35. Is f less than or equal to n?
False
Let f = -0.42 - -7.62. Let m = f + -7. Which is smaller: -2 or m?
-2
Let f = -8.8 - 0.2. Suppose 2*y - 6*y = 0. Let b be (-1)/(-3)*2 + y. Which is bigger: f or b?
b
Let i = -1.4 - -0.4. Let q = 0 + 0.1. Let x = q + 0.1. Which is bigger: i or x?
x
Let m be 2/(-3) - (-10)/6. Let r be ((1 - m) + -2)/2. Which is smaller: r or -1/7?
r
Suppose 58 = -10*h + 12*h. Suppose 5*y = -21 - h. Which is bigger: y or -8?
-8
Let m = -92 - -91. Is 1/125 bigger than m?
True
Let i = 63 - 63. Is 23 != i?
True
Let w = -167/4 + 42. Let g = 0.2 - 0. Let t = g + -1.2. Which is smaller: t or w?
t
Let k be 3 - 1 - 3 - 9. Is -10 less than k?
False
Let r = 3 - 7. Let a(h) = -h - 2. Let k be a(r). Suppose q + k*q = 0. Which is smaller: q or -1/2?
-1/2
Let w = -0.17 - -4.17. Let b = w + -2. Is b < 7?
True
Suppose -b = -0*b. Let d(n) = -n**3 + 3*n**2 - n + 3. Let w be (-4)/(-6)*54/12. Let g be d(w). Is b less than g?
False
Let b(x) = x**2 + 5*x + 1. Let w(u) be the second derivative of u**4/6 + 5*u**3/3 + u**2/2 + u. Let q(o) = 11*b(o) - 6*w(o). Let y be q(-6). Is y >= 0?
False
Let b = 133/3 + -44. Which is smaller: b or 0.4?
b
Let w be 2*(3/2)/3. Suppose 0 = 3*s - 0*s + 2*s. Is s greater than w?
False
Suppose 2*r = -g - 25, -r - 5*g - 18 - 17 = 0. Which is greater: r or -9?
-9
Let v = 1057/12 - 88. Let b(z) = -z**3 - 3*z**2 + 1. Let i be b(-3). Does i = v?
False
Suppose -2*r - 50 + 56 = 0. Suppose -y + v + 2 - 3 = 0, 5*v = 2*y + 8. Is y less than r?
True
Suppose -9*v = 279 + 378. Does v = -73?
True
Let i = 31 - 30. Suppose -2*s - i = 2*y + s, 0 = 2*y - s - 3. Which is smaller: y or 3/4?
3/4
Let i be (-2*2)/((-2)/3). Let c be 0*(-2)/i*1. Suppose 2*y = -2*y - 8. Is y less than c?
True
Let u = -0.03 - 0.37. Is u != -2/5?
False
Let b = 10 + -9.99. Let l = 0.39 + b. Which is bigger: l or -2?
l
Suppose -4*h - 4*v + 107 = -109, 0 = -5*h + v + 258. Let p be (-6)/27 + h/(-9). Let f = 4 + p. Which is smaller: -4/5 or f?
f
Let v be (6 - 6)*1*-1. Let k = 2 + -3. Which is smaller: v or k?
k
Let p(c) = c**3 - 7*c**2 + c - 9. Let v be p(7). Let s be 0*(v + 3)*1. Let a = 1 + 0. Which is bigger: s or a?
a
Let n(v) = -v**2 + 2*v + 3. Let l be n(-4). Which is smaller: -23 or l?
-23
Let r = 10 + -8. Let m be r/(-4) - (-1)/(-2). Is 4/17 >= m?
True
Suppose -2*h = 2*h + 576. Let a = h - -1155/8. Which is smaller: 0 or a?
0
Let u = 0 - 3. Are -3 and u unequal?
False
Let b(k) = -3 + k + 9 + 0. Let y be b(-5). Let q be 3/6 + 27/18. Which is bigger: y or q?
q
Let w = 1 - 1. Let n(j) = -j**3 + 4*j - 3. Let l be n(2). Let k = 5 + l. Is w greater than or equal to k?
False
Suppose -w - 2 = -3*w + 2*t, 2*w = 5*t + 8. Is 3 equal to w?
False
Let t = -32/3 + 11. Let q = 2 - 3. Which is bigger: t or q?
t
Suppose 4*b - 2*b - b = 0. Which is smaller: 3/4 or b?
b
Suppose 0 = 5*s - 4*m - 0*m - 22, -4*s - 5*m - 7 = 0. Let h(p) = p**2 - 2*p. Let g be h(s). Which is bigger: -1 or g?
g
Let i be 6/2 + 27/(-3). Let n = -5 + 0. Do i and n have the same value?
False
Let u(d) = d**2 + 5*d - 6. Let b be u(-6). Let t = -1 + b. Let a = 882/11 - 80. Is t > a?
False
Let x = -2.06 + 0.06. Let c = -11 + 17. Let k = 4 - c. Are k and x unequal?
False
Suppose 14 = -2*r + 3*r. Let d be 2/(-10)*(-174)/r. Let k = d + -11/5. Is k less than 1?
True
Let x = 2 + 3. Let t = -7.6 + 12.3. Let v = x - t. Which is bigger: v or -2/7?
v
Let a = -5/7 + 13/28. Which is bigger: -7 or a?
a
Suppose -7*l + 35 = 5*w - 2*l, 5*w - 19 = 3*l. Let z = 2 + 3. Let t(o) = 2*o - 7. Let p be t(z). Which is bigger: p or w?
w
Suppose -5*y = -7 + 17, 5*q + 10 = -5*y. Is q less than 2?
True
Let p = -651.99 + 656. Let r = p + -0.01. Is r at least 2/9?
True
Suppose -o = -4*x + 2, -15 + 0 = -5*x - 5*o. Suppose 0 = g + x - 5. Suppose -1 = a + g. Which is greater: a or -4?
-4
Let v(r) = -r + 0*r + r**2 + 4 + 8*r - 5. Let a be v(-6). Is a smaller than -7?
False
Suppose 3*d + 4*h + 3 = 9, -3*d - 15 = -3*h. Let k = 4.4 - 4.4. Is k bigger than d?
True
Let i = 31 + -32. Let n = -3 - -2. Is i <= n?
True
Let z be ((-2)/(8/4))/1. Which is greater: -0.3 or z?
-0.3
Let b be (4/18)/(((-6)/(-9))/1). Let v = 3 + -6. Let l = v - -2. Which is smaller: b or l?
l
Let t(r) = r**2 - 14*r + 44. Let s be t(5). Let j be 8/(-42)*3/(-2). Is j equal to s?
False
Let w be 3 + -2 + 4/(-2). Let m = 709722/11 + -64448. Let v = 72 - m. Which is smaller: w or v?
w
Let l be (-6)/21 - (-2456)/4396. Let j = l + 2/157. Are -0.2 and j equal?
False
Let k = -5.46 + -0.54. Which is smaller: -2/21 or k?
k
Let g = -0.3 - -0.4. Suppose -4*p = -4*z - 12, p + z + 3*z - 3 = 0. Is g >= p?
False
Let h(x) = -12*x**3 + x - 1. Let m be h(1). Let i be 4/(-6) - (-4)/m. Let r = 187/12 - 63/4. Which is bigger: i or r?
r
Let q(d) = -d**2 - 10*d - 9. Let l be q(-6). Suppose -2*p - 5*c - l = 3*p, -2 = p + 2*c. Which is smaller: -5 or p?
-5
Let s be 0/(-1) + 2 + 0. Suppose -s*j = -c + 2*j + 16, 3*c - 5*j - 20 = 0. Are 8/5 and c nonequal?
True
Let g(o) = -o - 11. Let l be g(-8). Suppose -5*w + 6 = -c - 23, -33 = 2*c - 5*w. Which is smaller: c or l?
c
Suppose -4*t + 7 = -9. Suppose 0*a = -t*a + 12. Is a at most as big as 2?
False
Suppose -5*p + 135 = -10*p. Which is smaller: 0 or p?
p
Suppose -3*f - 13 = x, -5*x + f + 3 = 4. Suppose -m = -5 + 2. Let y = -5 + m. Which is smaller: x or y?
y
Let i = 15.73 + 0.27. Let w = i + -8. Let a = 8 - w. Is a less than or equal to -0.1?
False
Let d = 17/91 - -5/13. Let j(v) = v**3 + 4*v**2 + v + 5. Let m be j(-4). Which is smaller: m or d?
d
Let b be (-36)/(-112) - (-3)/(-7). Which is bigger: b or 0?
0
Let a = 0.966 + 0.034. Which is greater: 0.044 or a?
a
Let v(q) = q**2 - 11*q - 19. Let l be v(13). Is l at least 7?
True
Let q be (-4)/8*-38*1. Are 18 and q non-equal?
True
Let a = 82 + -74. Which is smaller: a or 7?
7
Let a = -37/112 + 3/16. Let r = -4 - -4. Which is smaller: r or a?
a
Suppose -4*b = -b - 60. Suppose 2 = -2*o + b. Is 9 < o?
False
Let q = 29 - 18. Suppose -q = -w - 14. Is -3 smaller than w?
False
Suppose -g + 0*g = 0. Let d = 2 + -1. Suppose g*t + t = -d. Is t at most 0?
True
Suppose 3 = i, 3*y + y - 11 = -5*i. Let r be (y + (-58)/(-50))*5. Is r <= 1?
True
Let z = -22 + 21.89. Let v = 1.09 - z. Let i = v - 0.2. Is -2/5 >= i?
False
Suppose 3*u - 2 = -4*g - 0, -4*u = -g - 9. Are 2/55 and g equal?
False
Let f = 59/2 + -384/13. Let a = -29/78 - f. Is 1 at most as big as a?
False
Suppose 0*k = -3*k. Suppose k = 2*j - j - 5. Suppose -b = j*s + 20, -2*b + 0*s + 20 = -5*s. Which is smaller: b or -1?
-1
Let m(z) be the first derivative of -z**3/3 + z**2/2 - 2*z + 3. Let v be m(0). Let i = -6 - -4. Do v and i have different values?
False
Let t = -542 + 4327/8. Which is smaller: -2 or t?
-2
Suppose 18*z = 13*z - 25. Which is greater: -0.1 or z?
-0.1
Suppose -2*x + 6 = x. Is 2 greater than x?
False
Let i = 2 - 2. Let h = -3/20 + 11/40. Which is bigger: i or h?
h
Let o = -0.017 + 0.117. Is -52 less than or equal to o?
True
Let y = 458 - 14186/31. Which is smaller: -1 or y?
-1
Let o = 0.03 + -0.1. Which is smaller: o or -0.2?
-0.2
Let g = 0 + 2. Suppose -g*n = -0*n. Let p = 17 - 103/6. Is p bigger than n?
False
Let i = 4 + -3.5. Let r = 0.6 - i. Does r = 2?
False
Let v be 0/(((-2)/3)/((-3)/9)). Is v greater than 2/169?
False
Let t be -10*(2 + 12/(-5)). Suppose -2*n - 2*c + 26 - 80 = 0, -3*n + c - 77 = 0. Let w be 4/26 + (-74)/n. Is t at most as big as w?
False
Let o = 0.8 + -0.74. Let v = -252 + 251.9. Is o less than v?
False
Let c be (5 + -2)/(1 + 0). Suppose c*x - 2 = 4*x. Which is smaller: x or -3?
-3
Let d(o) = -o - 3. Let u be d(-6). Let v(r) = -1 + u + r + 4. Let a be v(-7). Which is smaller: 2/9 or a?
a
Let j be 1 + (1081 - 1 - 2). Let v = j - 5418/5. Let u = 5 + v. Which is smaller: u or 1?
u
Let m = 7.98 - 8. Let g = 0.12 + m. Let n = 0.09 + -0.29. Which is smaller: g or n?
n
Let c(k) = -k**2 + 4*k. Let a be c(4). Suppose 2*y + a*y = 0. Let t = -9/29 + -2/87. Which is bigger: y or t?
y
Let h = -47 + 47.4. Is h bigger than 4?
