is smaller: 7/3 or m?
m
Suppose 0*p = -2*p + 6. Which is smaller: p or 7/3?
7/3
Let u = -6/103 + 1348/26677. Which is bigger: u or -1?
u
Let j = 1 - 5. Let a = j + 3. Let d be ((0 - 1)/(-2))/a. Is d >= 0?
False
Let r = 6 + 4. Let k(a) = -4*a + 15. Let w be k(r). Let t be ((-4)/10)/((-55)/w). Which is bigger: 1 or t?
1
Suppose 0*z - 125 = -5*d + 3*z, -4*d - 2*z + 100 = 0. Let o = d - 124/5. Let x be (-2)/(-4)*8/(-6). Is x > o?
False
Let d be 20/(-8)*8/(-10). Suppose 0*j - d*j - 466 = 0. Let y = -1867/8 - j. Which is greater: -1 or y?
y
Let q(x) = x + 2. Let k be q(5). Let n(y) = y**3 - 8*y**2 + 7*y. Let a be n(k). Are -1 and a non-equal?
True
Let x = -6 + 4. Let k = 4 - 2. Suppose 0 = -5*q + 2*j - 6 + 24, -3*q - 2*j = k. Which is smaller: q or x?
x
Let r = 10 + -9. Is 1/7 less than or equal to r?
True
Suppose 5*u + 0*u + 400 = 0. Which is smaller: u or -79?
u
Let b(z) be the second derivative of -z**4/12 - 5*z**3/3 - 9*z**2/2 - 2*z. Let q be b(-9). Which is bigger: 2 or q?
2
Let d = 7 + -7.4. Let g = d + 0.35. Let u = g + -1.95. Which is smaller: u or -0.1?
u
Let r = 3.1 - 3. Let x = -0.24 + 0.04. Let t = x - -0.5. Is t greater than r?
True
Let m = -40 + 151/4. Is m <= 1?
True
Let j = -93 - -463/5. Let r be 6/4 + 3/6. Let u be 0/r*(-4)/(-8). Is j less than u?
True
Let d be (-3)/(1 - -2)*0. Let l = 10/7 + -19/28. Which is greater: d or l?
l
Let g = -1.8 - -2.4. Which is smaller: 0 or g?
0
Let r = -0.8 - 0.2. Let w = 32 - 49. Let y = w + 16. Are y and r non-equal?
False
Let p be (-5 - -4) + 3 + -4. Which is bigger: p or -11/6?
-11/6
Let x = 0.07 + 4.93. Let h = 5.2 - x. Are h and 1 equal?
False
Suppose 15 = 2*b + 3*m, 0*b - b = -m + 5. Let p be (-285)/360 - 4/(-6). Which is smaller: b or p?
p
Let g(o) = -o - 5. Let r be g(-4). Which is greater: 4/9 or r?
4/9
Let q = -203/688 - -10/43. Let i be (-4 - (-4)/1)/(1*-1). Are i and q non-equal?
True
Let x = -21.82 - -22. Let i = 1.82 + x. Is i greater than 0?
True
Let t(d) be the second derivative of -d**5/20 - d**4/6 - d**3/2 - 3*d**2/2 - 3*d. Let q be t(-2). Let r = -3 + q. Is r at most -1/7?
False
Let k be (85/34)/(2/(-20)). Which is greater: -26 or k?
k
Suppose 4*w = -4*f, -f = -2*f + 3*w. Let j = 2 - f. Suppose 0*g + j*r - 29 = -5*g, 19 = 5*g - 3*r. Is g <= 4?
False
Let p = 3 + 29. Is 32 >= p?
True
Let a = 2.9 + -3. Let t = -0.2 - -1. Let w = t + -1. Which is smaller: a or w?
w
Suppose 0 = o + 5 - 3. Let z = -15 - 9. Let b be 3/(-12) - (-10)/z. Which is bigger: b or o?
b
Suppose 3*c + 8 = 5*c, 120 = 4*q + 2*c. Let y be (q/(-40))/((-2)/5). Is y less than 1?
False
Let w be (0 - -1)*(7 + -1). Let n be 1/4 - (-19)/4. Is w greater than n?
True
Let r(n) = -n**2 + n + 3. Let c be r(0). Let y(g) = g**3 - 16*g**2 + 16*g - 12. Let t be y(15). Is c smaller than t?
False
Let o = -376742/1629 - -9/181. Let v = o - -231. Let h = -1 - -2. Is v at most h?
True
Suppose 5*y = 5*g + 6 + 29, -23 = -5*y + g. Suppose -y = 2*x - 0*x. Let l be (x/(-4))/(7/(-14)). Do -1 and l have the same value?
True
Suppose -2*r = 4*h + 2, 5*r = -h - 4*h - 5. Let j be (3/(-3))/((-10)/6). Is h less than j?
True
Suppose 5 + 1 = -a. Let s be (-8)/a - (-1)/(-3). Is 5 bigger than s?
True
Let f = 5 + -2. Suppose l = -f*l + 4. Do 2/9 and l have the same value?
False
Let t(d) = -d**2 - 23*d - 14. Let v be t(-24). Which is smaller: v or -37?
v
Suppose -4*d + 41 = 13. Suppose 3*s = 1 - d. Which is smaller: -3 or s?
-3
Suppose -5*t = -3*t - 10. Suppose -5*x + 11 + 2 = -r, -t*x + 7 = -4*r. Suppose -2*c = c - x. Which is smaller: 0 or c?
0
Let r be 1*(3 + 2*-1). Let f be 3/(-21)*1/r. Let b = 62 - 62. Which is bigger: b or f?
b
Let g(o) = -4*o + 26. Let c be g(9). Which is smaller: c or -9?
c
Suppose -2*o = 3*o + 15. Let s be o*2/(-10)*-1. Suppose -14 = 4*r - 3*m - 2, -2*m = 3*r - 8. Is s not equal to r?
True
Suppose -y + 31 = -q - 2*q, 0 = 2*q + 3*y + 6. Which is smaller: q or -10?
-10
Suppose m = 3*a + 17, 2*m + 3*a - 24 = 7*a. Suppose -2*c = -6, z - m = 2*z + 3*c. Is -11 >= z?
True
Let d be ((-1)/6)/((-2)/12). Is d bigger than 5?
False
Let n = 13 - 10.96. Let h = 0.2 - 0.24. Let u = h + n. Which is smaller: -1 or u?
-1
Let d = -47/4 + 9. Does d = -3?
False
Let z = 24 - 24.3. Which is bigger: 2 or z?
2
Let a = -1.2 - 0.3. Which is greater: a or 0?
0
Let l = -36 + 50. Let f = l - 11. Is f greater than or equal to 1?
True
Suppose 1 + 11 = 3*j. Which is smaller: j or 6?
j
Let w = 772894543676/165 + -4684067442. Let v = w - 141915. Let l = v - -3/55. Does l = -1?
False
Let t = 1522/7 + -217. Are t and 1 equal?
False
Let h = 180 + -896/5. Let o be (-1)/(-3) + 4/(-12). Let m be -2 + (2 - (0 - o)). Which is bigger: m or h?
h
Suppose 3 = 2*g + 3*t, 4*g + 5*t = -0*g + 11. Let l = -10 + g. Is l less than or equal to -4/9?
True
Let t = 17/5 - 182/55. Suppose 0 = -5*j - 3*q + 1, -4*j - 13 = -9*j + q. Suppose 5*u = -j*x, -3*u = x + 2*u. Which is smaller: t or x?
x
Let i be (6/(-36))/(52/(-1)). Let w = i - -929/2184. Which is greater: w or 2?
2
Let o = 151/180 - 4/45. Let k(l) = -l**3 - 4*l**2 + 5*l + 5. Let q be k(-5). Suppose 2*n = -3*z - 1 + 4, -q = -n - 5*z. Is n smaller than o?
True
Suppose -2*k = -m - 23, -2*k - 2*m = m - 27. Let r be 2*-1*(-1)/k. Which is smaller: 1 or r?
r
Let d = 12 - 6. Let a be d - 0*(-2)/(-4). Let y = -13/2 + a. Which is smaller: y or 0?
y
Let g be -5 - (1 - (0 - 0)). Let a = g + 8. Suppose -33*o - 4*o = 37. Is o <= a?
True
Let n be ((-4)/8)/(2/(-4)). Which is greater: n or -4/9?
n
Suppose -9 = -z - 3*r, -4*z + 5*r - 36 = 13. Which is smaller: -5 or z?
z
Let l = -0.3 + -3.7. Let f = l + 3.8. Which is smaller: f or 1?
f
Let d = 37 + -26. Are 11 and d equal?
True
Let n(d) = 1 - d - 1. Let j be n(4). Is -5 greater than j?
False
Suppose -b = -0 + 1. Let y be b/((-3)/27*-3). Is y <= -4?
False
Let c = 148 - 143. Let i(n) be the second derivative of n**3/6 + 2*n**2 + n. Let h be i(0). Is h not equal to c?
True
Let c = 368/407 - 20/37. Let f = c + -19/22. Which is smaller: -1 or f?
-1
Let y be 2*-1 + 0 + 2. Let r = -6603/20 - -2967/5. Let w = r - 262. Is y at least as big as w?
False
Let r = 1.2 - -1.8. Does r = 0?
False
Suppose 2*u = -b + 5*b + 28, -5*u + 30 = -2*b. Is u <= 3?
False
Let c = 142 - 713/5. Let w = -19/40 - c. Let b = w + -23/56. Which is greater: -1/4 or b?
-1/4
Let g(i) = 3*i - 6. Let t be g(-3). Is t greater than -14?
False
Let l(w) = 3*w - 17. Let m be l(7). Suppose -3*o = 5*y - 0*y + 19, 2*o - y = -m. Is o less than or equal to -3?
True
Let s be 63/(-165) + (-2)/(-10). Let m be 6/(-4)*8/6. Let h = 2 + m. Which is smaller: h or s?
s
Let r = 4/9 + 2/9. Let q(m) = m. Let v be q(4). Suppose -5*n + n - y + 8 = 0, -4*n + 2*y = v. Is r at least as big as n?
False
Let s = -17 - -10. Is -7 less than or equal to s?
True
Let m = 1.01 - -0.19. Let g = -0.8 - m. Is g greater than or equal to 1?
False
Let z = -59 + 65. Suppose -h = h - 4. Suppose z*i = h*i. Which is smaller: 1/8 or i?
i
Let r = 2 - -1. Suppose 5*n - 20 = -0*m + 3*m, -r*n + 12 = -5*m. Is m at least -6/11?
True
Let s(a) be the third derivative of a**5/60 + 7*a**4/24 + 2*a**2. Let n be s(-6). Let f = 0.38 - -0.62. Is n <= f?
True
Let u = 0.13 - 0.07. Let t = u + -0.16. Do 3 and t have different values?
True
Let l = 0.4 + -1.8. Let v = l - -2. Let m = v - 0.4. Is -1/2 at least as big as m?
False
Suppose -3*a + 12 = -0. Suppose 3*y - 3 = l, -y + 0*y = -4*l + 21. Suppose 0 = a*r - 7*r - l. Is -3/4 less than r?
False
Let x(i) = i**3 + 5*i**2 + 5*i + 10. Let z be x(-5). Which is smaller: z or -16?
-16
Suppose 4*o - 40 = 4*t, -3*t = -o + 13 + 25. Let k = t - -18. Is -3 less than k?
True
Suppose -4*x + q + 2*q + 20 = 0, -2 = -5*x - 2*q. Let p(n) = n**3 + n**2 - 1. Let w be p(1). Which is smaller: w or x?
w
Suppose -2 = 2*y - 2*w, y = -2*w - 4 + 6. Let p = -2 + 3. Is y at least p?
False
Let n(s) = -s - 10. Let j be n(-10). Let i(w) = -2*w. Let u be i(j). Which is greater: u or -2?
u
Let l = 19312425597/16706096 + 129/726352. Let i = 1156 - l. Let g = i + -85/644. Which is bigger: -1 or g?
g
Let h = -0.1 - -0.05. Let v = 0.15 + h. Do v and -1/9 have different values?
True
Let f = 0 - -1.9. Let o = -2 + f. Is o bigger than 0.1?
False
Suppose m + 4*x = -m - 18, 15 = 5*m - 5*x. Is -1 < m?
False
Let y be (-28)/(-3)*42/(-140). Is -0.1 not equal to y?
True
Let k(m) be the second deri