t w = 18.68 - 19. Does w = 1?
False
Suppose 9 = -4*n + 1. Let o = -2 + 6. Suppose -1 + o = -u. Is u at most as big as n?
True
Let a(x) = -x - 5. Let t be a(-4). Which is smaller: -7 or t?
-7
Let o(v) = -v**3 - 9*v**2 - 9*v - 9. Let y be (-2 - 0)/(2/6). Let k(d) = d**3 + 7*d**2 + 8*d + 4. Let b be k(y). Let m be o(b). Which is smaller: 1/5 or m?
m
Let k = -1.3 + 1.3. Let v = 0 + -0.4. Is k at most v?
False
Let n be ((-8)/(-14))/((-18)/(-189)). Is 0 greater than n?
False
Suppose -3*j + 24 = -j - 4*v, 0 = -4*j - 3*v + 15. Which is smaller: j or 11/2?
11/2
Let g(r) = -r**2 + 7*r - 4. Let o be g(5). Let d be (-10)/36 - (-3)/o. Which is smaller: d or 0.2?
0.2
Let v be (-8)/2*7/(-4). Let f = v + 1. Suppose j + 3*j + f = 0. Is -3 greater than j?
False
Suppose 0 = r - 4*r. Let q(g) be the second derivative of g**4/12 - g**3/6 + g**2/2 - 2*g. Let z be q(r). Is 1 equal to z?
True
Let k = -0.5 - -0.6. Let a = -0.08 - 0.12. Let r = a + k. Which is bigger: -3 or r?
r
Suppose 2 = 5*j + 3*w + 5, 2*j + 5 = -5*w. Suppose -u - 4*k + 7 = 26, j = 2*k + 10. Which is smaller: u or 3/4?
3/4
Let v be (-80)/(-12) + 1/3. Let c be v/(-14) + 1/2. Is 0 bigger than c?
False
Let k = -37 - 6. Is 1 < k?
False
Let y(w) = -w**2 - 7*w - 5. Let l be y(-6). Let s = 480 - 3825/8. Is s <= l?
False
Let q = 6/23 + -64/69. Let v = -7 - -6. Let s be 10/(-4) - v/2. Is q <= s?
False
Let g be (42/(-40))/(4/50). Let l be ((-2)/(-552))/((-18)/64773). Let t = l - g. Do t and 0 have the same value?
False
Let t = -74 - -307/4. Is t >= 4?
False
Suppose 7*a - 2*a = -c + 12, 0 = a + 2*c + 3. Suppose -r + a = -1. Let k be 0 - ((-2)/1 + r). Which is greater: -4 or k?
k
Suppose 3*i - 5 - 4 = 0. Let q be 0/(-2 - 1 - -1). Suppose 5*d + i*z - 6 = q, -4*d - 3*z = -5*z - 18. Which is bigger: d or -1?
d
Let v(f) = -f**2. Let z(g) = g - 11. Let k be z(12). Let h be v(k). Let b = 2/505 - -964/11615. Is h >= b?
False
Let v(b) = b**2 + 10*b + 10. Let r(d) = -3*d**2 - d + 2. Let q be r(-2). Let a be v(q). Let x = a - -4. Which is greater: -1 or x?
-1
Let w = -180.1 + 188. Let x = -8 + w. Let f = 1.8 + -2. Which is smaller: f or x?
f
Let h = 0 - 0. Let x(k) = -2*k**2 - 2*k**2 + 3*k - 4*k. Let t be x(-1). Which is greater: t or h?
h
Let u be (-1)/2*(-18 - -20). Which is greater: u or -2/211?
-2/211
Let b = 10 - 6. Let d be (-666)/(-126) + (-2)/7. Is b bigger than d?
False
Let z be 56/26 + (-2)/13. Which is greater: 13/4 or z?
13/4
Let l = 5 - 4. Let p be -3 + l + (-8)/(-6). Which is greater: p or -1?
p
Let b(n) = -n**2 + 10*n + 20. Let h be b(12). Suppose 4*y + 44 = -4*u, -u - 45 = 4*u + 3*y. Does h = u?
False
Let o(w) = -w**2 - 12*w - 14. Let i be o(-3). Which is greater: i or 8?
i
Let a(k) = -k**2 - k + 6. Let i be a(-5). Let f be -1 + 1/14*-178. Let w = i - f. Are w and 2/9 equal?
False
Let q(z) = z**3 + 8*z**2 - z - 10. Let n be q(-8). Let t be ((-1)/(-2))/((-1)/4). Is n < t?
False
Let c = 15.9 + -15. Let v = 4.1 + c. Let u = v - 5.3. Which is greater: -0.1 or u?
-0.1
Let h(x) = x**2 + x. Let y be h(2). Let u = -4 + y. Which is smaller: u or 1?
1
Let a = 317/70 - 1/35. Let b = -17/4 + a. Let l = 2 + -2. Which is bigger: l or b?
b
Let y(i) = i - 2. Let j be 8/(-28) - (-2)/7. Let u be y(j). Let r be (4 + -1)*1/(-3). Is u smaller than r?
True
Let q = 2/65 + -71/195. Which is smaller: q or 8?
q
Suppose -14 = m - 2*o, -3*m - 5*o - 1 - 19 = 0. Let c be (0 - 11)*(-2)/(-2). Which is smaller: m or c?
c
Let p(x) = 2*x - 1. Let v be p(1). Which is smaller: 2/63 or v?
2/63
Suppose -3*b + 5*z = -24, 0 = -4*b - 3*z + 3. Are 16/5 and b equal?
False
Suppose 0 = i + 28 + 34. Let j be -11 + 10 - i/64. Is 1 at least as big as j?
True
Suppose 2*f + 7 = t - 0*f, 3*t - f = 1. Which is bigger: 3/16 or t?
3/16
Let n = -2/2313 + -2027/330759. Is 1 greater than or equal to n?
True
Let g(h) = 2*h**2 - 4*h + 3. Let i be g(2). Suppose i = -2*t - 1. Let a be 1/((-4 - -2)/t). Is -2/9 != a?
True
Suppose -z = -4*z - 9. Are -5/3 and z nonequal?
True
Suppose -k = -8 - 0. Suppose 6*w = 2*w - k. Is -2 bigger than w?
False
Let i be (-572)/(-55) - (-4)/(-10). Suppose 0*a = -5*a + 45. Which is greater: a or i?
i
Suppose 0 = 5*d - 12 + 2. Suppose -b - 1 - d = 3*h, h + b + 3 = 0. Let l = -2 - h. Is l less than -2?
False
Suppose 2 = h - 0. Let y be (2/6)/(h/6). Which is smaller: y or 2/17?
2/17
Let l(i) = -i**2 + 4*i - 4. Let m be l(3). Let h be (53464/(-7254))/4 - -2. Let t = h + -1/279. Is m >= t?
False
Let h = 271/3654 + -5/126. Is 1 <= h?
False
Let v be 4 + (-512)/252 + -2. Is -1 less than or equal to v?
True
Let c(m) = 2*m**3 - 2*m**2 + 7*m - 8. Let n be c(3). Which is bigger: -0.1 or n?
n
Suppose 9 - 29 = 5*g. Which is greater: g or 0?
0
Let b = -0.3 + -3.7. Let v = b + 6. Is -2/3 >= v?
False
Let d be (8/(-48) + (-46)/(-60))*5. Is d equal to 7?
False
Let p be 2/1 - (-1)/(-1). Suppose 0 = -3*v - 96 - 435. Let j = v + 888/5. Is p at most as big as j?
False
Let f = -2 + 1. Let i be f/(2 + 1/(-1)). Which is greater: i or 0?
0
Let a = 18 - 13. Let o be (-1 + 1)/(7 - a). Let s = o - 0. Which is bigger: s or 1?
1
Let c = 2619 - 17960/7. Let r = -53 + c. Let j = 4/15 - -7/30. Which is smaller: r or j?
r
Let h be (0 - -3)*(-1)/(-1). Suppose -2*l = -g - 1, -l - 5*g + h*g = 7. Which is smaller: l or 1/5?
l
Let g(j) = 2*j**2 - 29*j - 113. Let t be g(18). Suppose 2*l - 32 = 4*a - 0*a, -l + 4*a = -20. Is t at least as big as l?
True
Let l = 12.9 - 13. Which is smaller: l or 1?
l
Let u = -5/113 + 311/1921. Let s = 0 + 1. Which is smaller: u or s?
u
Suppose 5*j + 43 = 6*j. Is 43 > j?
False
Let o = 8.36 - 8.5. Which is smaller: o or 0.3?
o
Let a(s) = 1 - 3 + 2*s - 3*s. Let k be a(-4). Let n be k/2*1*-2. Is -1 at least as big as n?
True
Let v = 3 + -4. Suppose -4*t - 11 = -155. Let j be -3 + 1 + t/21. Which is bigger: v or j?
j
Let b = -48.8 + 50.87. Let d = b - 0.07. Do -4 and d have the same value?
False
Suppose 2*r - 2*d - 4 = -3*r, 4*r - 6 = 3*d. Let f(m) = 3*m + 27. Let j be f(-15). Let q be (r + -1)/j*2. Do q and 0 have different values?
True
Suppose 4*u + 2 + 2 = 0. Do -1/2 and u have the same value?
False
Let l = -172.1 - -172. Let w = 3/2 + -7/6. Which is smaller: w or l?
l
Let o = 39 - 27. Let i(x) = -3*x + 4. Let c be i(7). Let l = c + o. Is l <= -4?
True
Let u = -8 + 7.7. Let z = u + 0.5. Let k = 3 - 2. Which is greater: k or z?
k
Suppose -7 = -5*p + 3*j - 2*j, -5*j - 10 = 0. Is p less than 3?
True
Let b = -218 - -132. Let w = -775/9 - b. Suppose -s - 2*y = -7*y - 25, -2*s + y + 5 = 0. Is w >= s?
False
Let j(p) = -3*p. Let b be j(11). Let n = -13 - b. Let m be n/8*-2*1. Which is smaller: -6 or m?
-6
Let a be (-3526)/104 + 6/39. Let d = 34 + a. Which is greater: 2/5 or d?
2/5
Let y = 11 - 9. Suppose -5*z + 12 = -38. Let m(g) = g**3 - 9*g**2 - 10*g + 3. Let a be m(z). Which is bigger: a or y?
a
Let s = -5 + 1. Let b be s/8*(-22)/(-76). Let k = b + -2/19. Is k >= -4?
True
Suppose -2*u - 2*h = -6*h + 2, 5*u - 70 = -5*h. Let a(s) = -s + 12. Let q be a(u). Which is greater: q or 0.2?
q
Let x(i) = -i. Let j be x(-1). Let q be (-3)/(-3 + (-30)/4). Is q not equal to j?
True
Let s(k) = -3*k**3 + 5*k**2 + 4*k - 4. Let g(p) = p**2 + p - 1. Let j(c) = 4*g(c) - s(c). Suppose 6*n - 3*n = 5*z - 7, -4*z = -5*n - 3. Let a be j(n). Is a < 2?
False
Let f(o) be the second derivative of o**4/12 - 2*o**3 - 5*o**2/2 + 3*o. Let h be f(12). Is -5 >= h?
True
Let f(h) = -h - 5. Let g be f(-4). Let r be 2/(-6)*(0 - g). Which is bigger: 0 or r?
0
Let w be (5*2)/1 - -2. Suppose 4*f + 3*n = 23 - 7, -3*f + n + w = 0. Suppose 0 = 5*x + 2*q - 10, 0 = 4*x - 3*q + f*q - 5. Is x greater than or equal to 0?
True
Let q be 6/5 + (-6)/30. Suppose 0 = 3*y + l + q, 2*y + l = 3*y - 5. Which is smaller: 1/10 or y?
1/10
Suppose -3 + 7 = 4*s. Let k be 2 + ((-15)/(-7))/(-1). Which is greater: k or s?
s
Let t(j) = -j**2 - 12*j - 18. Let m be t(-7). Which is smaller: m or 18?
m
Let y = 23 - 13. Let h be 47/(-45) + 6/y. Which is bigger: 1 or h?
1
Suppose 2*u + 3 = -3*x + 1, 2*u - 26 = 4*x. Which is greater: 1.3 or x?
1.3
Let r = -1 - -4. Suppose 4*o + 1 = r*o. Let p be 6/15 + 24/(-35). Which is smaller: o or p?
o
Let r be 21/2 - 2/(-4). Suppose -30 = -2*b - 5*n, 0*b + 5*b - 5*n = 40. Which is greater: r or b?
r
Suppose 2*o - b - 3*b - 14 = 0, 0 = -3*o - 5*b - 34. Which is smaller: -8 or o?
-8
Let q