 3 equal?
False
Suppose -7 = -3*f + 14. Suppose 5 = 5*l - 5*g, -3*g + f = 3*l - l. Suppose -3 = -l*j - 7. Which is smaller: j or -3?
-3
Let z = -26 + 25. Which is greater: -3/11 or z?
-3/11
Let w(o) = -2*o + 12. Let t be w(-9). Suppose 4*c + 5*p + t = 0, 5*c + p = -3*p - 33. Which is smaller: c or -4?
c
Let n(x) = x - 7. Let u be n(13). Is 6 bigger than u?
False
Let p(q) = q**3 - 13*q**2 + q - 12. Let h be p(13). Is h > -5?
True
Suppose -2*k - 10 = 8. Is -9 not equal to k?
False
Let s be 0 + 4 + -2 - -34. Suppose 2*z = 4*p + s, -4*z - 4*p = -0*z - 12. Let h be 13/5 - z/(-20). Which is smaller: h or 3/2?
3/2
Let v(y) = 8*y - y**2 + 2*y**2 + 9 + 0*y**2. Let d be v(-7). Which is smaller: d or 5/3?
5/3
Suppose 4*d = 2*p + 11 + 1, 0 = 3*p + 4*d - 32. Let w = -3 + p. Is 3/4 less than w?
True
Let n = 180 + -141. Is n at most 0.1?
False
Suppose -3*z + g = 2*z - 20, 4*z - 7 = -g. Suppose -i + z*i = 0. Suppose 0 = -20*o + 26*o. Is o at most as big as i?
True
Let j = -6.9 + 0.9. Let z = 0.05 - -0.95. Let r = 0.9 - z. Are r and j equal?
False
Let c(i) = 43*i - 1. Let g be c(5). Let p = g + -1928/9. Suppose 0 = 5*z - 5 - 0. Are z and p nonequal?
True
Let g(q) = 23*q**2 - 2*q. Let y be g(-1). Is 24 < y?
True
Suppose -4*k + 6*k - 30 = 0. Let i = k - 7. Let a be 4*2*2/i. Which is smaller: 3 or a?
a
Let r = -0.05 - 1.95. Which is smaller: r or 1/6?
r
Let r(x) = -x**3 - x + 1. Let k be r(1). Let o = -2 - k. Which is greater: o or -8?
o
Suppose k + k + 17 = -n, -k - 36 = -5*n. Let w = -6 - k. Which is bigger: 4 or w?
w
Let z be -5 + 1 + (-176)/(-33). Which is greater: 2 or z?
2
Let s = -4 - -5. Which is greater: -7 or s?
s
Let s = -10 - -4. Let k = 7 + s. Which is smaller: k or 0.2?
0.2
Let f(p) = 2*p**3 - 2*p**2 - 3*p + 2. Let w be f(2). Which is greater: 9/2 or w?
9/2
Suppose -m - 2*m = 6. Let z be (5/4)/((-6)/24). Is z > m?
False
Let p be (-4 + 160/12)*3. Are 28 and p non-equal?
False
Let f = 12076/35 - 345. Let n = -43/280 + f. Do n and 0 have the same value?
False
Suppose -2*s = -4*s + 2. Which is greater: s or 1/37?
s
Let m = 8 - 5. Let b = 0 + m. Is b less than or equal to 5/3?
False
Suppose 5*i + 20 = -5*y, 4*i - 2*y - 6 = 5*i. Let j(s) = -2*s + 10. Let n be j(6). Are n and i non-equal?
False
Let f be 4 + -3 + 1*-3. Let h be 1*f*28/(-8). Let i be 3/(-1 + h + 1). Which is greater: i or 1?
1
Suppose 3*o = -3 + 9. Is 4/3 >= o?
False
Suppose 13 = -o + 14. Which is smaller: -3/10 or o?
-3/10
Let h = 1326170757 - 41730615204961/31467. Let a = 12/617 + h. Let i = a - 172/357. Is i less than or equal to -1?
False
Let w = -1 + 0.9. Let r = 16 - 4. Let x be -2*1/r*4. Which is smaller: w or x?
x
Let k be 0*(-4 + 2)/(-2). Is k bigger than 7/10?
False
Let s = 94 - 93.8. Does s = -0.18?
False
Suppose -4*w = -w + 6. Let o be ((-160)/(-28))/5 + -2. Which is greater: w or o?
o
Let v(k) = k**3 - 2*k**2 + 1. Let o be v(-1). Let u = 6 - o. Let a = u + -5. Are a and 2 nonequal?
True
Let g = 88 + -173/2. Is g less than or equal to 1?
False
Suppose -w - 12 = -6. Is w at least -11?
True
Let n = -0.2 + -0.1. Let g = -1.7 + n. Which is bigger: -2/5 or g?
-2/5
Let q(v) = -2*v - 8. Let y be q(-7). Let g = y - 5. Which is bigger: 0 or g?
g
Let p = 106283 + -851667/8. Suppose -353 = 2*j + o, -j + 4*o - 169 = -6. Let r = p - j. Which is bigger: -1 or r?
r
Let j(h) be the third derivative of h**5/60 + h**4/4 - h**3 - 4*h**2. Let w be j(-5). Let f = w - -7. Are f and -5 unequal?
True
Let x(r) = -r + 3 + r**3 - 3*r - 6*r**2 - 2*r**3. Let d be x(-5). Let k = 0 - d. Which is smaller: 3/4 or k?
3/4
Let a(o) = -o**3 - 4*o**2 - 2*o + 2. Let v be a(-3). Which is bigger: v or 2/61?
2/61
Let o be ((-135)/(-42))/(6/(-21)). Which is smaller: -11 or o?
o
Let l(r) = -r**2 + 7*r - 3. Let n be l(6). Suppose -6 = n*b - b. Let f(d) = -d - 2. Let y be f(b). Which is greater: y or -2/9?
y
Let c = -0.62 + 1. Let l = 2.28 - c. Let o = l - 2. Do -0.1 and o have different values?
False
Suppose 0 = 3*c + 12, 5*t + c - 7 = 14. Let v = t - 1. Let s be v/(-10) - 1/(-5). Which is smaller: 0 or s?
s
Let k be (1 - (-466)/(-94)) + 4. Suppose 0 = -4*m + 3*f - 9, f - 4 = m - 1. Which is greater: m or k?
k
Let a be 2/9 - (-261)/(-81). Let o be (-9)/6 + a/2. Let n be o/6 + (-2)/20. Which is smaller: 0.1 or n?
n
Let i = -9805/21 - -467. Let p = i - -4/7. Suppose -3*y + 2*c = -9, 4*y + 5*c = -0*c - 11. Is p smaller than y?
True
Let n = 0.2 + -0.45. Which is smaller: -1 or n?
-1
Let q = 125 - 89. Is q at least 36?
True
Let f = -2/2229 + 7436/6687. Which is smaller: f or 2?
f
Suppose 2*a - 4*a = 16. Let s = 10 + a. Does s = -1?
False
Let i(u) = u**3 - 12*u**2 - 13*u. Let a(g) = g**3 + 11*g**2 - 2*g - 9. Let d be a(-11). Let n be i(d). Which is bigger: 2 or n?
2
Let b be 2/(-1) - -2 - 0. Do b and -2/3 have different values?
True
Let n = -7245/17 + 426. Is n at least 0?
False
Let x = 4.35 - 0.35. Is x greater than -2?
True
Let r = -251356/51 + 4929. Let k = r - 2/17. Which is bigger: 6 or k?
6
Suppose 2*y + 45 + 43 = 0. Is -43 at most y?
False
Let h(l) = 2*l - 5. Let z(b) = -4*b + 1. Let d be z(-1). Let y be h(d). Let c(q) = q - 7. Let o be c(y). Are -1 and o non-equal?
True
Let g be (-672)/(-154) + -2*2. Is g bigger than -1?
True
Let a(c) = -c**2 - 2. Let u be a(0). Let m(v) = -2*v**3 - 3*v**2 - v + 1. Let k be m(u). Which is smaller: 8 or k?
k
Let m(w) = -w - 4. Let y be m(-10). Let q(n) = n**2 - 7*n + 4. Let r be q(y). Let d be ((-6)/(-56))/(r/8). Are 0 and d equal?
False
Let q = -4/77 - 1451/231. Let c = q + 79/12. Suppose 3*d + 13 = 2*r, d + 3 + 23 = 5*r. Are c and d non-equal?
True
Let z(r) = r**2 - r - 1. Let s be z(0). Let w be 0/s + -2 + 1. Suppose 0 = 4*a - 0*a + 8. Which is bigger: a or w?
w
Let d = -5/9 - -11/9. Let m = 30 - 29. Which is bigger: d or m?
m
Let d be 5/(-4) - (-15)/(-20). Let v be 4/(-2)*3/d. Suppose v*o + 2*m + 5 = 0, 1 = -5*o + 3*m + m. Which is smaller: o or 0?
o
Suppose 4*v + 35 = d, -26 = -0*v + 4*v + 2*d. Is -14 at most v?
True
Suppose -1 = 5*b - l - 2*l, -2*b = -5*l + 8. Let i be 21/18 + b/(-6). Is 1 greater than i?
False
Let o = -115 - -1266/11. Is o > 0?
True
Let j = -1706/11 - -155. Which is bigger: 1 or j?
1
Let t(m) be the first derivative of m**5/120 - m**4/24 + m**3/3 + 1. Let w(f) be the third derivative of t(f). Let v be w(2). Do v and -1/4 have the same value?
False
Let j(w) be the second derivative of w**3/3 + w**2/2 - 6*w. Let o be j(-1). Is o >= 0?
False
Let n(k) = k**3 - 3*k**2 + 2*k - 4. Let l be n(3). Suppose c = l*c + 3. Let o = 0.4 + 0.6. Are c and o non-equal?
True
Let v = -1725/494 - 2/247. Is v smaller than -5?
False
Suppose -50 = -11*y + 12*y. Let k be y/12 + (-8)/(-2). Is k at least 0?
False
Let x be ((-4)/6)/((-8)/12). Suppose -5*z + 4*z + 5*i = -x, -2*z - i = -2. Let r = -169/4 - -42. Which is smaller: z or r?
r
Let n = -94 - -1223/13. Does 0 = n?
False
Suppose -3*g = -0*g - 30. Let n be -2 + -1 - g/(-2). Which is bigger: n or 0?
n
Let z be ((-4)/3)/(16/456) - -4. Which is bigger: z or 0?
0
Let h be (-2)/(-6) + (-2289)/1980. Let t = 4/55 + h. Let i = -2 + 1. Which is smaller: i or t?
i
Let g(u) = 3*u**2 - 10*u - 6. Let b(n) = -n**2 - 1. Let r(z) = 4*b(z) + g(z). Let x be r(-9). Let j = -773/6 - -128. Which is smaller: x or j?
x
Let d(n) = n + 1. Let l be d(-1). Which is bigger: -8 or l?
l
Let c be (25 + 0)*(2 + -1). Let g be (3/2)/((-30)/c). Which is bigger: -2 or g?
g
Suppose -2*q = -q + 32. Which is bigger: -33 or q?
q
Let o = -1 + -23. Let j be (o/9)/(2/3). Which is smaller: 0 or j?
j
Let b be 189/7 - (-1 - -3). Let w be 3/b*(-25)/(-10). Are -1 and w equal?
False
Let j(p) = p**2 - 4*p - 6. Suppose -9 = 5*c - 34. Let s be j(c). Let l be s/(-2)*(0 + 6). Which is greater: l or 2?
l
Let y(g) = -g**3 - 6*g**2 - 6*g - 5. Let s be y(-5). Let v be -1 - (-12)/(s + 3). Suppose 2*a + 4*r - 3*r - v = 0, 3*a + 2*r - 5 = 0. Is a <= 3/7?
False
Suppose -3*o - 3 = 5*p, o - 2*o = -5*p + 1. Let l = -36 - -145/4. Is p > l?
False
Let n = -1 + 2. Let i(m) = 13*m**2 + m. Let w be i(-1). Let v = -11 + w. Is v > n?
False
Suppose -4*u - 4*t - 50 = -2*u, 0 = u - t + 22. Which is smaller: -22 or u?
u
Let a = -392/5 + 5156/65. Is a >= 2?
False
Let a(u) = -u + 1. Let q be a(2). Do -4/3 and q have the same value?
False
Let s(k) = -k**3 - 6. Let p be s(0). Suppose -2*c + 4*c - 2 = 0. Let r be 