 -2*h = -a*h + 2. Which is smaller: 6/7 or h?
6/7
Let q = -24.8 + 25. Which is greater: q or -7?
q
Let q = 14.5 + -14. Which is greater: q or -1/4?
q
Let u = 16 - 17. Is u < 0.1?
True
Suppose -1 = -j - d, -5*d = -2*j - 2*d - 23. Let h = j - 0. Which is smaller: h or -5?
-5
Let y = -0.52 + 0.02. Let w = y - 0.5. Which is bigger: w or 3?
3
Let a be (-68)/42 + (-1)/(-3). Is a at least as big as -2?
True
Let d = -0.5 + 12.5. Do d and 5/4 have different values?
True
Let a be 18/4*(-30)/5. Let w be (-6)/a - (-11)/(-9). Which is smaller: w or 1?
w
Let x = -10.2 - -10.4. Is x at most 0.022?
False
Suppose -3*t - 2*t - 5 = 0. Let o = -8 + 11. Suppose 16 = -z - 3*z - 4*b, -3*b - 12 = -o*z. Which is smaller: t or z?
t
Let f be 1/4 + (-2)/(-24). Let n = 955 - 127017/133. Let k = n - 36/133. Which is smaller: k or f?
k
Suppose -1 = -n + 2. Let r = 19 - 17. Let v = n + r. Which is smaller: -1 or v?
-1
Suppose -1 = 5*k + 9. Let f be 8/5*(-5)/k. Suppose -7*y + f*y = 6. Do 0 and y have the same value?
False
Let z = 1.4 - 1.2. Which is smaller: 5 or z?
z
Suppose 11*g = -g + 108. Which is bigger: g or 11?
11
Let f be (-2)/(-3)*34/(-4). Which is smaller: -5 or f?
f
Let n = -0.79 - -0.09. Let i = n + -0.2. Let d = 1 + i. Which is bigger: -3/4 or d?
d
Let j = -52 - -53. Are j and 37 equal?
False
Let x = 3.5 - -0.4. Let v = x - 4. Which is greater: -0.6 or v?
v
Let o(h) be the second derivative of h**5/20 + 5*h**4/12 - h**3/6 - h**2 - h. Let i be o(-5). Let u be (i/(-10))/(6/(-5)). Is -0.1 bigger than u?
False
Let s = 689/45 - 76/5. Let g = -0.5 + -0.5. Which is smaller: s or g?
g
Suppose 0 = 16*a - 15*a + 56. Which is smaller: -58 or a?
-58
Let m = 4.7 + -1.7. Let c = m - 1.6. Which is greater: c or 1?
c
Let g be (1/2)/((-3)/12). Let a = 2 + g. Let z be (1 - 0)*(a + -1). Are -1/5 and z equal?
False
Suppose 2*h - 2*o = o + 23, -o - 17 = -2*h. Let k = -5 + h. Suppose k*b = -0*b - 2. Are -1 and b unequal?
False
Let u = -1.7 + 1.9. Which is greater: -4/5 or u?
u
Let v be 15/(-25) + 2/(-5). Let a(l) be the first derivative of -l**4/4 - l**3/3 + l**2 + l + 1. Let n be a(v). Which is greater: 0 or n?
0
Let i = -361 - -2161/6. Is -2 at least i?
False
Let w = 20 + -22. Does 0.08 = w?
False
Suppose b + 0 - 1 = 0. Let i be (1 - 3)*b/2. Let z be (5/(-10))/((-2)/1). Is z greater than i?
True
Let y = 1 - 1.1. Let u = -12 - -17. Does y = u?
False
Let s(u) = -u + 3 + 6*u + 0*u - 4*u. Let y be s(-6). Which is smaller: -4 or y?
-4
Suppose -4*x = -9*x. Suppose -b + 24 = -5*t, 2*b = b + 4*t + 20. Suppose x + 4 = -b*m. Is m at most -1/2?
True
Suppose 0 = -5*z + 186 + 94. Let g be (z/12)/((-8)/12). Which is smaller: g or -1?
g
Let a(i) = -i**3 - 12*i**2 + 5*i + 7. Let t(f) = -f**3 - 12*f**2 + 6*f + 6. Let k(z) = -5*a(z) + 4*t(z). Let j be k(-12). Which is smaller: j or 1/12?
1/12
Let v = -2.2 - -2.31. Let p = v - 0.01. Is -1/3 equal to p?
False
Let i = -3/64 - 823/192. Which is bigger: i or -3?
-3
Suppose -3*a = -2 + 32. Let i = -11 - a. Is i bigger than 2/5?
False
Let u be 1*(4 + (2 - 5)). Let k be 3 - (348/57 - 3). Which is smaller: u or k?
k
Let h(q) be the second derivative of q**4/12 + q**3/3 + q**2 - 4*q. Let n = -4 + 2. Let p be h(n). Is 2 < p?
False
Suppose 1 = -o - 4. Which is smaller: 2 or o?
o
Let q(w) = -w**3 + 6*w**2 - 5*w - 2. Let m be q(5). Let b be 0 - (4/30)/m. Suppose r = -r. Which is smaller: b or r?
r
Let z(x) = x - 4. Let l be z(12). Let j = 2 - l. Which is smaller: j or -0.1?
j
Let a be 22/(-10) - (-15)/75. Suppose 0 = -4*k - 4*p, k = -5*p - 7 - 1. Let b be k/(-4)*1*a. Which is smaller: 1/6 or b?
1/6
Suppose -2*k - 4*t = -2, 4*k - 3*t = 2*t - 9. Is k less than -3/2?
False
Suppose -4*j + 8 = -2*j, -5*j + 30 = 5*c. Let u(b) = 8*b - 1. Let k be u(1). Suppose k = -2*q - r, c*r = 3*r + 1. Is q at most -3?
True
Suppose -3*i + 1 = -2*m, -4 - 4 = -5*i - 3*m. Let r be 2/2 + (-16)/14. Is r >= i?
False
Let c = -1.1 + 1. Which is smaller: 2/11 or c?
c
Let w be 669/39*-1 - (-4)/26. Are -4 and w unequal?
True
Let w be ((-36)/(-21))/((-3)/(-126)*4). Is 18 < w?
False
Let t be 12/(0 - (-3 + 1)). Does t = 7?
False
Suppose -j - 156 = 11*j. Is -57/4 <= j?
True
Suppose -5*k = -0*k - 15. Let l(j) = -j - 1. Let p be l(-5). Which is smaller: k or p?
k
Let i be -1 + ((-9)/12)/(-1). Let f = 8 + -5. Suppose v = f*v. Which is greater: v or i?
v
Let c be 1 - (0/(-2) + -4). Let y be 6/15 + (-2)/c. Which is greater: y or -1/5?
y
Suppose -3*q - 11 = 2*y, -23 = 3*q - 8. Suppose -16 = -y*l - 4. Is l smaller than 7?
True
Let m(a) = -3*a - 8. Let c be m(-6). Suppose -4*i - c = 2. Which is smaller: i or -3/2?
i
Let v be (-8)/6*6/28. Let t = 51768971/238 + -217517. Let n = 1/34 + t. Is n at least v?
True
Let s = -0.01 - -0.31. Let f = 0.7 + s. Let u = 0 + f. Which is smaller: u or 0?
0
Let c = -163 - -173. Which is bigger: 9 or c?
c
Let o = -1 + 0.7. Let b = -0.1 + o. Let n = 0.2 + b. Which is bigger: n or 0.1?
0.1
Let n = 19.6 + -19.5. Which is bigger: n or 17.4?
17.4
Let y = -6.2 + 0.3. Let r = y + 6. Let l = -4 - -2. Do l and r have the same value?
False
Let c(h) = h**3 + 9*h**2 + 8*h - 6. Let m be c(-8). Which is smaller: -7 or m?
-7
Let t be (-3321)/(-25256) + (-1)/7. Is t greater than or equal to 1?
False
Let u = 127 - 377/3. Does 0 = u?
False
Let i = 13979/8 + -1750. Is i not equal to -4?
True
Suppose 0*v = 2*v. Let n = 49 + -48. Which is bigger: v or n?
n
Let k be 0*(28/(-16))/(-7). Which is bigger: k or 1/10?
1/10
Let x = -1 - 0. Suppose 0 = -4*m - m - 3*h - 116, 0 = 4*m + h + 90. Let z be m/6 - (-4 + 1). Which is smaller: z or x?
x
Suppose -6 + 8 = c. Let m be (-4)/c + (-1 - -3). Are m and 0 nonequal?
False
Suppose -2*s = -29 - 21. Which is smaller: 26 or s?
s
Let t(a) = a**3 + 3*a**2 + 3*a + 3. Let p be t(-2). Which is smaller: p or -1/39?
-1/39
Suppose d - 16 = 5*d. Let l be ((-1)/3)/(2/18). Which is smaller: d or l?
d
Let c = 0 + 1. Let m be c + 1 + 3424/(-18). Let z = m + 188. Do z and -1 have the same value?
False
Let h(c) = c**2 + 8*c + 4. Let r be h(-3). Let t = r + 5. Let w be 10/14*t/10. Are 0 and w non-equal?
True
Let u = 40 - 28. Suppose -14*g = -19*g + 65. Is g > u?
True
Let h = 105 - -87. Let m = h - 963/5. Is m > -2?
True
Let l = -8 - -14. Let x be -5 + 3 + 6/(-1). Let i = x - -15. Which is bigger: i or l?
i
Let n = -3 - -10. Let h be 54/24 - 2/8. Suppose -3*u + n + 1 = 4*q, -h*q + 2*u = 10. Is 2/9 < q?
False
Let f(v) = -5*v**2 - 12*v - 6. Let q(p) = p**2 + p - 1. Let b(y) = f(y) + 4*q(y). Let a be b(-7). Let m = a - -4. Is 3/8 at most as big as m?
True
Let n(a) = a**3 - 2*a**2 + 2*a + 2. Let l be n(2). Suppose 0*w + 2*x - 24 = 2*w, -2*w = 3*x + 9. Let v be (3/w)/(l/4). Is 0 at most as big as v?
False
Suppose -v = 5*r - 105, -v = -3*r + r + 35. Let l = 21 - r. Let d = -237/4 - -59. Are l and d unequal?
True
Suppose -2*k - o - 1 = 0, 2*k + o = k + 1. Let f be 0*1/4*k. Suppose -4*t + 4 = -0*t. Which is greater: t or f?
t
Let g be 0 - 4*2/6. Suppose y = -4*p + 7, 2*y = -4*p - 1 + 3. Let o be (y/(-15))/((-1)/3). Are g and o non-equal?
True
Suppose 10 = 5*f - n, -2*f + f + 2 = 2*n. Let l be (-7)/f - 12/(-6). Which is bigger: -3 or l?
l
Let x = -1 + 3. Suppose 1 = -x*z + 3*i + 3, 0 = -5*z + 5*i + 5. Let k = -11/14 - -1/2. Is z <= k?
False
Let s = -65 - -66. Is 2/5 smaller than s?
True
Let p be -2 - -3*(-1)/(-1). Suppose -3*d + p = 10. Is -3 at least d?
True
Let n be 4/(-12) - (-5)/9. Let i = n + -13/18. Are 0.2 and i unequal?
True
Let q = -2811 - -19644/7. Which is greater: q or -4?
-4
Let m = -6 - -11/2. Let p be 4/14 - (-4)/(-14). Do p and m have the same value?
False
Let k = -11 + 10. Which is bigger: k or -2/27?
-2/27
Let a(y) be the first derivative of -y**4/4 + 7*y**3/3 - 5*y**2/2 - 5*y + 1. Let t be 34/6 - 1/(-3). Let i be a(t). Which is greater: i or -1/5?
i
Let g be (-14 - -11)/(33/2). Is -1 at least g?
False
Let i = -3 - -4. Suppose -p + 8 = p. Let v be (6/4)/(15/p). Which is bigger: v or i?
i
Suppose 5*b + 11 = -4*m - 15, 2*m = -5*b - 8. Let t(r) = -r**2 - 8*r + 10. Let h be t(m). Which is smaller: 2 or h?
h
Let a = 2.9 - 3. Let p = -5 - -8. Let m = 2 - p. Is a less than or equal to m?
False
Let y = -299/9 - -33. Suppose -2*z = -0*z. Which is smaller: y or z?
y
Suppose -4*t - 30 = -5*x, -x + 4*x = 5*t + 31. Suppose 2 + 0 = -x*i. Is i less than or equal to -3?
False
Let 