i(h) = h - 1. Let z be i(3). Is o != z?
False
Suppose -6 = -z - 1. Suppose -z*b - 4*h + 5 = -1, 0 = -5*b + h + 11. Let f be (4/6)/(b/3). Is f < -2?
False
Let p be (-6)/50*2/3. Is 1 at most p?
False
Let n(l) = l + 11. Let w be n(-8). Is 14/9 at most w?
True
Let y = 39 - 39. Which is smaller: 5/6 or y?
y
Let l be 1/(-4) - 1/(-4). Suppose 2*h = -l*h. Let v be (-4)/(-10) - (-2)/(-5). Is v at most h?
True
Let v = -5 + 4. Let a = 51 + -257/5. Is a at most as big as v?
False
Let m be 1 - 0 - (-4)/(-4). Suppose 4*o - 2*b = 30, 0 = o - b - 9. Let y be ((-4)/o)/((-10)/(-6)). Are y and m equal?
False
Let k = 25 + -20. Let f = k + -15. Is f bigger than -1?
False
Suppose -5*j = -2*j - 18. Let m(r) = -j + r - r - 2*r. Let b be m(-4). Is 3 smaller than b?
False
Let u(f) = f - 2. Let o be u(-2). Let r be (1/2)/(1/o). Let d = 26 - 27. Which is smaller: r or d?
r
Let l be 0/(0 + (-3 - -2)). Suppose -4*j + 0*j - 4*x - 24 = l, j - 18 = 5*x. Suppose -5*o = -2*o. Is j at most o?
True
Suppose -6*w + 4 + 8 = 0. Which is smaller: w or 0.17?
0.17
Suppose 0 = 17*l - 18*l - 22. Which is bigger: -23 or l?
l
Suppose 2*x - 10 = -2*o, -o - 2 = -3. Which is smaller: -0.2 or x?
-0.2
Let w be 5/10*(12 - 0). Let p be 2/w*8469/21. Let r = 134 - p. Is r at least as big as -1?
True
Suppose 2*z = 4*z - 18. Are 7 and z unequal?
True
Let s = 5.5 + 0.5. Let y = s + -5. Is y bigger than -1/4?
True
Suppose 4*l + 1 + 3 = 0. Do l and 1/12 have the same value?
False
Let y be (-134)/(-26) + 2/(-13). Suppose c = 2*s, -c - 16 = y*s - 2. Which is smaller: s or -1?
s
Let q = 3 - -12. Suppose 5*l + 8 + 11 = -3*s, -3*l = 3*s + q. Are s and -1 unequal?
True
Let p be (16/2)/((-4)/(-46)). Suppose -3*y - 2*f = -5*y - 98, 5*f = 2*y + p. Let g be (-1)/(-3) + y/99. Which is greater: 0 or g?
0
Let c be (6/(-15))/((-6)/(-15)). Is c at most as big as -7/3?
False
Let d = -7 - -11. Let j(h) = -5*h - 1. Let u be j(-1). Let y be (d/30)/(u/(-5)). Does y = 0?
False
Let c be (-39)/(-63) - 2/6. Which is bigger: 2/3 or c?
2/3
Let s(z) = 2*z + 10. Let c be s(-11). Which is smaller: -21/2 or c?
c
Let t be (-1 + 38/2)/2. Suppose -6*x = -3*x - t. Which is greater: x or 4?
4
Let h = 33 + -163/5. Let t = 0 - -2. Suppose 0 = -5*i - 3*z - t*z, z = i. Is i less than or equal to h?
True
Suppose -2*l - 15 = 3. Let m be 594/(-60) - (14/(-20))/(-7). Is l at least as big as m?
True
Suppose 3*k = -2*k + 5. Let d be (k/2)/(4 - 3). Is 2 equal to d?
False
Let g be ((-40)/70)/(4/14). Is -7 != g?
True
Let r = -2429/39 - -373/6. Is -1 smaller than r?
True
Let v be 0 + 0/((-4)/2). Is v less than or equal to -17?
False
Suppose -4*p = 0, 1 = t + 4*p - 5*p. Is t at most -2/11?
False
Let i(o) = -6*o + 0 + 0. Let b be i(-4). Let h be (-6)/8*b/(-81). Which is smaller: h or -1?
-1
Suppose -80 = -3*s - 2*s. Which is bigger: 15 or s?
s
Suppose -4*j + 0*j = -2*d + 14, 4*j + 3*d = -9. Which is smaller: 2 or j?
j
Let w = -6.9 - -3.7. Let c = w - 0.8. Suppose 0*p - 14 = 5*h + 2*p, p = -2. Is h smaller than c?
False
Let s be 3/5 + (-228)/30. Which is greater: s or -8?
s
Let w be 1*3/(-12)*32/(-12). Do 0.07 and w have the same value?
False
Let d(u) = -u**3 + 4*u**2 + u + 2. Let a be d(4). Let z be 3/9 + (-8)/a. Which is bigger: 1/3 or z?
1/3
Let c(z) = z**2 - 8*z + 11. Let t be c(7). Let j = -1 + 5. Suppose 5*v + o - 3*o - j = 0, v = -2*o + 8. Is v at most as big as t?
True
Let o = -47 + 45.92. Let u = o + 0.08. Which is bigger: u or 7/3?
7/3
Let l = 3 - -3. Suppose 5*s = 2*s - l. Let n be 1 - s*(2 + -1). Which is greater: n or 2?
n
Let m = 0.8 - 1. Let z = 0 + m. Let f = -0.1 - z. Do 0 and f have the same value?
False
Let r(i) = 4*i. Let o be r(2). Let g be -4 + 4 - (-2)/o. Let t be (4/(-6))/((-4)/6). Which is smaller: t or g?
g
Let x(k) be the third derivative of k**5/60 + 3*k**4/8 - k**3/2 - 2*k**2. Let q be x(-9). Do -1 and q have the same value?
False
Let w be 1649/(-5060) - (-2)/11. Let x = w - 3/506. Let v = x + 3/4. Which is smaller: v or 0.1?
0.1
Suppose -u = 3*w + 5, 3*w + 4*u - 6 = 4*w. Let y(l) = 2*l. Let i be y(w). Do i and -3 have different values?
True
Let b(d) = 2*d. Let w be b(2). Suppose -f = 3*f + w. Is -3/4 not equal to f?
True
Let m(i) = -i**3 + 3*i**2 + 5*i. Let t be m(4). Suppose 0 = d - t*d. Let f = 1/124 - -231/2108. Which is smaller: d or f?
d
Let d be (-1)/55 + 2/(-11). Suppose j + 2 = -j. Which is smaller: j or d?
j
Let b be (-3)/(-2)*4/(-2). Let j be ((63/24)/7)/b. Is j < 0?
True
Let d = 28/87 - -1/87. Suppose -2*a + 2 + 6 = 0. Which is smaller: d or a?
d
Let k(v) = 4*v**2 + 6*v + 2. Let b be k(-4). Is 41 < b?
True
Let i(n) = -n + 3. Let p be i(4). Let k be (1 - -2)*(-3)/(-63). Which is smaller: k or p?
p
Suppose 6 = 3*z + 3*y, 2*z = 5*y - 7 + 4. Let j be z/((-3)/9) + 1. Which is greater: j or -1?
-1
Let c(u) = -2 + 8*u**2 - 9*u - u**3 - 1 + 6. Let j be c(6). Let v be 78/j - 6/(-21). Which is greater: 2/3 or v?
v
Let b be (-1 - 0)*(-75)/135. Is b not equal to 0?
True
Let x = 9 - 6. Suppose 0 = -4*d, 24 - 8 = -4*k + x*d. Let l = k - -3. Which is smaller: -3 or l?
-3
Let s = 75/2 - 363/10. Let q = s - 13/10. Which is bigger: 1 or q?
1
Let k = -0.97 + -0.13. Is k smaller than -0.1?
True
Let z(l) = -l - 7. Let i be z(-6). Which is smaller: -2/7 or i?
i
Suppose 0 = 4*r - 5*r + 3. Suppose f + 2*q + 1 = 0, -r*f - 3*q = q + 1. Let y be 1/((-2)/(-3)*-9). Is f < y?
False
Let p(k) = -2*k + 7. Let h be p(6). Is h greater than -6?
True
Let v = 0.72 - 0.62. Which is greater: v or -56?
v
Let n(o) = -15*o + 37. Let d be n(6). Is d at most as big as -55?
False
Suppose -n = 2*n - 4*m - 10, -3*n - m = -20. Let b be (2 - 3 - -3) + n. Suppose -2*q - b = -4*l + 2, -q + 5*l = 11. Which is greater: 2/11 or q?
2/11
Suppose 2*a - 134 = -0*a + 3*u, -a = 2*u - 74. Let k be 2 + (-5)/(a/32). Is 10 less than or equal to k?
False
Suppose 0*m + 2*m - 2 = 0. Which is smaller: 2 or m?
m
Let c = -4 + 9. Suppose c = -p - 4*p. Which is smaller: -4/9 or p?
p
Suppose 5*q + 5*j + 5 = 0, -j = q - 4*q + 1. Suppose q = -c + 6*c + 35. Which is smaller: -8 or c?
-8
Suppose -7 = 5*w + 18. Which is greater: -3 or w?
-3
Suppose 14 = 3*d + 2*j, 5*j = d + 2*j - 12. Let h be 4 - (0/1 - 1). Which is bigger: d or h?
d
Let d be 1 + (0 - (-2)/(-2)). Let g(f) = -f**3 - 6*f**2 + f + 7. Let p be g(-6). Let v be (d + 1)*(p + -2). Is v equal to -2/3?
False
Let o(i) = 1. Let m(d) = -d + 10. Let p(g) = -m(g) + 3*o(g). Let r be p(8). Suppose 0 = -s + 2 - r. Is 0 greater than s?
False
Suppose 0 = -5*a + 3*a + 5*g - 22, -5*a = g + 1. Which is smaller: a or -2?
-2
Suppose -5*l + 0*d = -4*d + 56, 4 = d. Let u = 8 + l. Suppose -3*a + a = u. Which is smaller: a or -2?
-2
Let m be (-956)/12276 - (-4)/22. Let j = m + 2/279. Which is bigger: 1 or j?
1
Let j be 4/20 + 281/(-5). Which is bigger: -54 or j?
-54
Let p = -3 - -4. Suppose -2*v = 5 + p. Is v at most -2?
True
Suppose -5*n + n = -3*r - 11, 3*n + 18 = -3*r. Is n >= 2/39?
False
Let a(q) = -q**2 + 4*q + 1. Let v be a(-3). Let g = v - -8. Let s be 3/g + 5/4. Which is smaller: -1 or s?
-1
Let h be (14/21)/((-6)/9). Suppose 4 = -5*g + 2*t, -3*t - 10 = -8*t. Which is bigger: h or g?
g
Let n = -0.37 - -0.64. Let y = n - 0.17. Which is greater: -1.8 or y?
y
Let u = 2.3 + 11.7. Let q = -15 + u. Which is smaller: -0.1 or q?
q
Let n be 4 + -1 + 1 + -3. Do 1/5 and n have different values?
True
Let f = 20 - 14. Suppose j = -j + f. Is 3 smaller than j?
False
Let a = 16 + -11. Suppose -a*l - 2*p + 26 = 0, l = -0*p + 4*p - 8. Suppose -l*b + 3 + 1 = 0. Is b less than 0?
False
Let d(p) = -3*p - 2. Let m be d(-6). Do m and -1 have different values?
True
Let q = -0.052 + 10.852. Let f = 12 - q. Let t = -0.2 + f. Do t and 2 have different values?
True
Let b = -1.2 - -1. Suppose -4*o = 7*s - 4*s - 20, 5*s - 2*o - 16 = 0. Suppose -2*i = -s, -r = -4*r - 3*i + 9. Are b and r equal?
False
Suppose 5*m - 5*p - 2 = m, -p = -4*m + 10. Let k = -1 + m. Let s = k + -4. Does s = 0?
False
Let l(a) = -6*a**3 - 2*a**2 + 2*a - 1. Let w be l(1). Let d be (-5)/30 + w/(-6). Which is smaller: 2 or d?
d
Let t be 2/4*(5/3 + -1). Is t greater than or equal to 1?
False
Let n(s) be the second derivative of -s**4/12 + 5*s**3/6 + 2*s**2 + 2*s. Let t be n(6). Do t and 1 have the same value?
False
Let k = 10 + -10. Suppose 4*a - 9*a + 20 = k. Is a at most 6?
True
Let v(y) = 32*y**2. L