 -2*p - s = 3*t - 4*t, -3*t + 5*p = -6. Suppose 0 = -t*l + 5 - 1, -l = -5*a + 3. Is a > 1/6?
True
Let m = 22 + -27.1. Let b = -5 - m. Which is bigger: -0.1 or b?
b
Let t(d) be the third derivative of d**4/8 + d**3/6 - d**2. Let m be t(-2). Let p = m - -4. Which is smaller: -2 or p?
-2
Suppose 4*p = 2*p + 2. Which is bigger: p or 6/19?
p
Let r = 10 - 14. Is r greater than -5?
True
Suppose -3 = 4*f - 9*f - 2*n, 4*n = 5*f - 9. Suppose 1 + 2 = t. Suppose -t*y + 1 = -2. Is f at most y?
True
Let r be 496/747 + 8/(-12). Let t = -1540/17181 - r. Which is smaller: 0 or t?
t
Let w = 64 + -42. Let o = w - 22. Which is smaller: o or 5?
o
Let w = 18 - 18. Is w less than or equal to -2/91?
False
Let h be 4 - 1*(-1 + 0). Let c = -1 - -6. Suppose 0 = -c*v - k - 21, 3*v + 3 = v + h*k. Which is smaller: v or -3?
v
Let n = 5.89 + 0.11. Let x = 4 - n. Is x greater than -2?
False
Suppose -3*s + b + 9 = 0, s + 8 = 2*b + 2*b. Suppose w = -4*h + 4*w - 37, s = -h - w. Let g = h - -4. Is g greater than or equal to -3?
True
Let c be (-14)/4 - 4/(-8). Let z be (-4)/6 + 26/(-6). Which is bigger: c or z?
c
Let t be (2/(-8))/(-2 - (-13)/4). Suppose -2*w + v + 3*v = -4, 5*w + 5 = -5*v. Which is bigger: w or t?
w
Let m = 11 - 11.1. Is 5/3 at least as big as m?
True
Let j be 3/28*126/4. Let r = j + -173/56. Let y(p) = 17*p + 356. Let d be y(-21). Is r not equal to d?
True
Let o = -48 - -49. Let p be ((-2)/85)/(2/(-10)). Do p and o have the same value?
False
Let r be (-2)/(-88)*-2*-4. Suppose 0 = 5*y - 5. Suppose -2*x + c + 4*c + 2 = 0, -y = -x + c. Which is greater: x or r?
x
Let p(f) = -f**3 + 5*f**2 - 3*f - 3. Let b be p(3). Suppose -b*v + 2*v = -4*z, 4*v = -4*z - 24. Which is bigger: -5 or z?
z
Suppose -s - 17 = -5*p, 0 = -5*p + 3*p + 4. Do s and -7 have the same value?
True
Let b = 5.12 + -5.1. Which is bigger: b or -0.3?
b
Let m = -6.7 + -3.6. Let v = m - -9. Is 1/3 bigger than v?
True
Let g(n) = 4*n**3 + 5*n**2 - 1 - 3*n**3 - 2*n**3. Let t be g(5). Let i = -6 - -17/3. Which is bigger: t or i?
i
Let o(l) = -l**3 + 5*l**2 - 7. Let c be o(3). Which is bigger: 45/4 or c?
45/4
Suppose -2*l + 14 = -4*n - 58, 4*n + 88 = -2*l. Let w = -21 - n. Is w equal to 2/73?
False
Let b be (-3)/7*8/12. Which is smaller: -1 or b?
-1
Let g = -10 - -12. Suppose -g*f + 10 = 4*w - 8, -4*f = 3*w - 11. Which is greater: w or 2?
w
Suppose 2*r + a = -2, 0 = 2*r + 5*a - 6 - 0. Let u(i) = 6 - 9*i**2 - i**3 + 2*i + 0*i - i. Let y be u(-9). Does y = r?
False
Let z = 635309883 - 1090191723133/1716. Let y = 253/12 - z. Let r = y - 3/13. Which is greater: 0 or r?
0
Suppose -5*g = -3*f - g + 13, -4 = -f + g. Let l(s) = -3*s - 4. Let i(p) = -2*p - 2. Let a(m) = f*l(m) - 5*i(m). Let w be a(3). Is w <= 2?
True
Let u(g) be the third derivative of -g**5/60 - g**4/8 + g**3/3 - 3*g**2. Let z be u(-4). Let r be 10/36 + z/(-9). Do 1 and r have different values?
True
Suppose -b - 3*b - 7 = -3*r, -2*r - 1 = 3*b. Let c = -18 - -28. Suppose c = -5*j - 5*f, -4*f = -4*j + 11 + 13. Which is smaller: r or j?
r
Suppose w - 4*q = 4*w + 7, -2*w - 1 = -q. Let j = -211 + 143. Let o = -407/6 - j. Is o greater than w?
True
Suppose -2*f + 5*y = -4, -6 = -3*f - 3*y - 0. Is 3/2 != f?
True
Suppose -2*n + 12 = -5*n. Let l be (-4 + 1)/(-7 - n). Is -2/7 less than or equal to l?
True
Let i be 36/(-16) - 2/(-8). Let r = -6 + 10. Let s be ((-10)/r)/((-3)/(-2)). Is s at least i?
True
Let m = -1.6 + 1.53. Let s = m - -3.07. Is s less than 0?
False
Let f = 663 - 32485/49. Let z = 27 - 27. Is f at most as big as z?
False
Let q(k) = -k - 4. Let w be q(-4). Suppose -10*i + 17 - 7 = 0. Which is bigger: w or i?
i
Let g = -1.7 + -8.3. Is -0.06 less than or equal to g?
False
Let y be (0 + 1)/1 - (-40)/(-10). Which is smaller: y or -1?
y
Let l(n) = 2*n - n - 7 - 1. Let d be l(7). Are -2 and d unequal?
True
Let r = 1.01 - 0.01. Let g = -3 + r. Let j = 1 + g. Is j at least -4?
True
Let i(p) = p**3 - 8*p**2 + 6*p + 7. Let h be i(7). Suppose h = -3*c + 5*c - 4. Which is bigger: 3 or c?
3
Let j be (-1)/(1 + (-4 - -2)). Let h = -405/14 - -38/7. Let m = 25 + h. Is j <= m?
True
Let t(f) = -f**2 + 9*f + 3. Let k be t(6). Is 21 at most k?
True
Let k be (1/2)/(26/16 - 3). Suppose -10 = 5*l, m + 1 = -4*l - 7. Is m at least as big as k?
True
Suppose m - 2 = -2*m - 2*a, 0 = 5*m + 4*a - 2. Is m >= 14?
False
Let k = -20 - -23. Are 2 and k non-equal?
True
Let s be -5*6*7/(-10). Suppose 5*t = s - 6. Let w = -3 + t. Is -1/7 >= w?
False
Let l = 16 - 16. Is l > 2/27?
False
Let v(s) = -s - 3. Let g be v(-3). Suppose 0 = 3*w + w. Suppose 5*u - h + w*h - 5 = 0, -13 = -4*u - h. Which is smaller: u or g?
g
Let y = 60 + -41. Is y > 20?
False
Let t be 3 + (0 + 3 - 21). Let n be (-2 + t/(-6))*-2. Let j be (n/3)/(3/18). Which is bigger: -7/5 or j?
-7/5
Let b(m) be the third derivative of m**5/60 + 5*m**4/24 - m**3/2 + 5*m**2. Let u be b(-6). Suppose 2*d - u*d = 1. Which is smaller: -1/5 or d?
d
Let h(k) = k**3 + 3*k**2 - 3*k + 5. Let x be h(-4). Suppose x + 8 = 3*v. Which is bigger: v or 4?
4
Let h = -23 + 16. Which is bigger: h or -5?
-5
Let g be (-5 + 8)*4/6. Suppose -3*l + l = -g. Which is greater: -0.6 or l?
l
Let b(r) = -2*r - 27. Let j be b(-13). Suppose 3*q + 11 = g, -3*g - 5*q - 21 = -2*g. Let k be g/4*j*-4. Which is smaller: k or 2/5?
k
Let k be 2 - 0/(-3 + (-5)/(-1)). Is -2/7 > k?
False
Let y(i) = i**2 - 5*i + 4. Let x be y(7). Is 14 <= x?
True
Let r = 2.5 - 1. Which is greater: r or 2/3?
r
Suppose 5*o - 5*l = -25, -7*o + 2*o - 5*l = -15. Suppose -2 = -3*z + 2*z. Suppose v = 4*m + z, m = -m - 5*v + 10. Is o greater than or equal to m?
False
Let v be -2*((-156)/32 - -5). Which is greater: v or -20/3?
v
Let n be (-8 - -6)/(-1 - (-2)/3). Let q be ((-14)/4)/(1/(-2)). Which is bigger: q or n?
q
Let f be 3/((-63)/(-2))*3. Suppose 1 - 5 = -s, 3*o + 2 = 2*s. Suppose -o*q - 1 = -5*w, w - 5*q = -w - 8. Which is smaller: w or f?
f
Let r be 1 + 2/1 + -14 + 11. Is -1/46 > r?
False
Let s(h) = 3*h**2 - 5*h + 0*h**2 + 3 - 2*h**2. Let m be s(4). Which is greater: 0 or m?
0
Suppose -s + b - 4 = 19, 100 = -4*s - 4*b. Let j be s/9*(-6)/4. Which is smaller: j or 5?
j
Suppose 4*l + 27 = 5*m, 0 = -0*m + 2*m - l - 12. Suppose 0 = m*t - 3*t - 8. Let z = t + -5. Which is smaller: -5 or z?
-5
Let a(c) = -c**3 - 5*c**2 + 15. Let r be a(-4). Is 16 != r?
True
Let o = -38122/67 + 569. Which is bigger: o or 0?
o
Let o = 7.15 - 7. Let s = o + 6.85. Let t = s - 6. Is t at least as big as 0.1?
True
Let u = 2 - 9. Let n = 0.1 - -4.9. Let s = u + n. Is s smaller than 3?
True
Let h = -7 - -11. Let d = h - 3. Is 0.1 bigger than d?
False
Suppose -25 = 5*t - 0*t + 4*r, -4*r - 21 = t. Let v(c) = 7*c - c**2 + 7 + 0 - c. Let x be v(7). Is x at least t?
True
Let i(s) = 3*s**3. Let x be i(-1). Let d be (-1)/x*(-6)/2. Let t = 1 + d. Is t not equal to -1?
True
Suppose -3*y - 14 = -17*y. Let w = 0 + 0. Which is smaller: y or w?
w
Let j be -1*1*(-6)/2. Is j bigger than 3?
False
Let n = -6 - -21. Suppose 3*b + 2*b = -n. Let g be -1 + -1 - (3 + b). Are -1 and g equal?
False
Let d be (-5 + 1)*(-2)/18. Suppose -2*j + 25 = -3*j - 5*c, -4*c = 20. Is j smaller than d?
True
Let n = -1 - -1. Let d = -2.4 - -2.7. Which is smaller: n or d?
n
Let r = -1.2 - 9.8. Let d = r + 13. Let s = -0.3 - -0.2. Is s less than d?
True
Let f be 123/(-39) - (-4)/26. Are f and -1 equal?
False
Let z(d) = -d + 3. Let g be z(0). Let x(j) = -j + 2 + 2*j - g. Let a be x(2). Is a <= -2/11?
False
Suppose -2*s - 4 = -5*f + 11, -2*s = 3*f - 9. Let o = -108311/79 - -1371. Let t = o + -75/158. Which is smaller: t or s?
t
Suppose 4*l = -2*p + 10, 5*p - 5 = -2*l - 4. Is p < 5/22?
True
Suppose 3*m = 7*m - 4. Suppose -4*k - b = 21, 5*k - 2*b + 7*b = -15. Let t be m/(-3) + (-3)/k. Which is bigger: -1 or t?
t
Suppose 8*b - 5*b = -48. Let f = 16 + b. Is f greater than or equal to 3?
False
Let k(f) = -f. Let i be 16/5 + 2/(-10). Let r = i + -1. Let s be k(r). Is 1 not equal to s?
True
Let z = -12.9 - -13. Let t be (-2)/7 + 12/42. Which is smaller: t or z?
t
Let g = -16 - -16.2. Which is bigger: 2/13 or g?
g
Let r be (-82)/26 - (-5 + 2). Is r not equal to -1?
True
Suppose -2*w = 2*j - 0*j + 2, j + 2*w = -3. Let i be (-1)/(-2)*(-24)/(-1). Suppose -4*b + i = 3*n, -7*b - 4*n + 16 = -2*b. Which is smaller: b or j?
b
Let y(i) = i**3 + 2*i**2 - 3*i. Let a be y(-3). Let