
0
Let r(m) = -m**3 + 5*m**2 - 4*m. Let v be r(4). Suppose v*k - 3*k - 24 = 0. Which is bigger: -9 or k?
k
Let y = 260265/28 + -9294. Let o = y - 10/7. Which is smaller: o or 0.2?
o
Let n = -1.97 - 0.03. Let j = 23.1 - 22. Let t = j - 0.9. Which is smaller: t or n?
n
Suppose 0 = -4*u + 8*u. Suppose 0 = -4*f - u*f. Let k = 0.2 - 0.1. Is k bigger than f?
True
Let c = -5 - -9. Which is bigger: 9 or c?
9
Let l(m) be the third derivative of -m**5/60 - 7*m**4/24 + 2*m**3/3 + 2*m**2. Let x be l(-8). Is x at least -4?
True
Let n = -23 - -22. Do -7 and n have different values?
True
Let p(m) = -4*m**2 + 12*m - 5. Let i be p(2). Let g(f) = -f**2 - 6*f + 2. Let r be g(-6). Which is smaller: r or i?
r
Suppose 0 = u + 4*u - 45. Suppose -u - 6 = -5*w. Suppose -6 = -3*q - w. Do q and 1 have different values?
False
Suppose 0 = 2*a + g + 4, 0 = -4*a - g - 0 - 4. Suppose -4*p - 2 = -2. Is p not equal to a?
False
Suppose 0 = -a + 5*a. Do a and 5 have the same value?
False
Let v(w) = 2*w**2 - 4*w + 2. Let o be v(2). Let j(g) = -2*g - 11. Let z be j(-6). Which is smaller: z or o?
z
Let v be 1/(0 + 3/6). Suppose 3*f + 10 = -v*f. Is f greater than or equal to -2?
True
Let w = -165 + 818/5. Let b(f) = -f + 2. Let o be b(2). Are w and o equal?
False
Suppose -4*h + h = -3*f + 18, 0 = f + 4*h + 4. Suppose 3 = -t + f*t. Which is bigger: t or -2/7?
t
Let c be (-4)/10*25/(-140). Let d be (-2 - -1)/(1/1). Which is greater: c or d?
c
Let f = 5 + -6. Let g = 0.6 + f. Which is smaller: g or -1?
-1
Let i be 1/(-2)*(-8)/6. Let r = -3 + 5. Is i less than r?
True
Let r be 20/15*((-15)/(-12))/5. Is 1/4 less than or equal to r?
True
Suppose 56 = 4*u - 8*u. Is u at least -27/2?
False
Let v = -2 - -2. Suppose -l - 3*l - 16 = v. Which is bigger: -5 or l?
l
Let k(a) = a**2 - 4. Suppose 4*i = 2*i + 6. Let l be k(i). Let g be 1 - 1 - (l - 3). Is 0 <= g?
False
Let n(m) = m**3 - 12*m**2 - 12*m - 10. Let a be n(13). Is a bigger than 1?
True
Let p = -1 - 0. Let x = -1/799 - 1553/35955. Is p not equal to x?
True
Let n = -57/4 + 14. Is -1/15 greater than n?
True
Let k = -13 - 22. Let p be 4/6*(-15)/k. Let i = -11 - -10. Which is smaller: i or p?
i
Suppose -4*x + 10 = x. Let l be 16/6 - 4/6. Let k be (-2)/(-4)*(l - 2). Which is smaller: k or x?
k
Let g = -5.9 + 5.5. Let l = -23 - -20.6. Let d = l - g. Is 3 > d?
True
Suppose 4*r = -4*f + 16, r + 20 = -0*r + 5*f. Let n = 18/11 - 644/407. Is r smaller than n?
True
Let q be (16/6)/(56/636). Let l = -30 + q. Do 0.03 and l have different values?
True
Suppose -x = -3*x. Suppose -19 = -5*t + 6. Suppose x = -t*i - 0*i. Is 1/7 bigger than i?
True
Suppose 4*y - 4 = 3*z, 4*y - 3*z + z = 0. Are y and -2 equal?
True
Let o(k) = -k**3 - 8*k**2 - 10*k - 7. Let a be o(-7). Let l be 24/a*(-5)/15. Let p = l - -1/14. Which is bigger: -1 or p?
p
Let c = 12 - 13. Let m = c - -4. Is 2 bigger than m?
False
Suppose -55*k = -49*k + 6. Is k equal to -20/21?
False
Let a = 5639/45 - 631/5. Which is smaller: -0.1 or a?
a
Suppose -5*k = 4*b - 24, 6*b - 2*b - 5*k = 64. Which is greater: 12 or b?
12
Let i be (-39)/15 + (1 - -1). Let l = 13 - 13.1. Is l less than or equal to i?
False
Let v = -0.28 + 0.28. Is -1.3 < v?
True
Let c(d) = -5*d + 21. Let z be c(7). Which is smaller: -17 or z?
-17
Let p be (-2)/7 + 12/91. Let o = 5 - 3. Let a be o/3 + (-2)/(-6). Is a != p?
True
Suppose 0 = -5*k + k - 4. Let o be k/(-6) + (-3)/2. Suppose 2*a = 4*a. Which is bigger: o or a?
a
Let u = 2 + -1. Let c = 22/3 - 8. Which is greater: c or u?
u
Suppose -a + 102 = 2*a. Which is greater: a or 35?
35
Let k be -1 - (-16)/10 - 4/15. Which is smaller: k or 33?
k
Suppose -4*i + 1 = -31. Suppose 8 = -4*t - i. Let u = t - -14/3. Which is bigger: u or 1?
1
Let f = 2.91 + -3.1. Let n = -7.19 - f. Which is greater: n or -1?
-1
Suppose -4*w - 4*q = -44, 0 = 4*q + 4. Suppose 4*u - w + 4 = 0. Suppose 3 = 2*n - f, 5 = 5*f - 10*f. Is u equal to n?
False
Suppose 4*h = -6 + 2. Which is smaller: -1/10 or h?
h
Let j(o) be the first derivative of -o**4/4 - 2*o**3/3 - o**2/2 - o + 1. Let a be j(-2). Is 1 greater than a?
False
Let p be 35/(-6)*(-3 - 2). Let t = p - 29. Which is smaller: t or -1?
-1
Let u be (5/(-40))/((-20)/208). Which is smaller: u or 0?
0
Let s be (1/(-2))/((-1)/(-2)). Let r be 4 + s/((-4)/8). Is 8 <= r?
False
Let p = 607/4 + -38237/252. Is -1 <= p?
True
Suppose -5*s + 233 = 68. Let w be s/5 - 6/(-15). Which is smaller: 8 or w?
w
Let x = -173/3 - -57. Is -1/3 < x?
False
Let c(t) = t - 1. Let a(s) = -5*s + 1. Let y(q) = a(q) + 3*c(q). Let u be y(-7). Let w be (-1)/6 - 22/u. Is w less than or equal to -3?
False
Let c = 135 - 129. Which is smaller: 11/3 or c?
11/3
Let i be (-391)/(-20) - 7/(-28). Let m = -20 + i. Do 0.2 and m have the same value?
False
Let x = -3153637/392 + 8045. Let v = -3175/5096 + x. Which is greater: 0 or v?
0
Suppose -4*o - 2*v + 7*v = 520, 2*o + 260 = -5*v. Let h be 4/10 - 368/o. Let p = -404/117 + h. Which is greater: p or 3?
3
Suppose 2*r = -r. Which is greater: -1 or r?
r
Suppose 2*g = i - 5, 0 = -g + i - 0*i - 5. Let j be 1/(-2) + (-172)/(-8). Let u be (14/j)/((-11)/3). Is g at most u?
False
Let l = 0.6 + -1.4. Let h = -33.3 + 34. Let g = h + l. Is g at most 2/15?
True
Let s be (-437567)/2877 - (5 + -6). Let u = s + 155/411. Let p = u - -151. Is 0 >= p?
False
Let r be (2/(-12))/((-8)/(-12)). Is -5 equal to r?
False
Let m = -4 - -7. Let f(d) = 2*d + 3. Let j be f(-3). Let a = j + m. Is a less than or equal to -1/3?
False
Let l be ((-26)/5 - -3) + 1. Is 3 at least l?
True
Suppose 0 = d + d. Is 1/64 <= d?
False
Suppose 4*j - 5 = -j. Let d = j - -1. Let y(o) = o**3 - 4*o**2 - 5*o + 2. Let w be y(5). Is w smaller than d?
False
Let y = -2119/1315 - -3/263. Is -2 bigger than y?
False
Suppose 3*u = 41 - 17. Let m be 7/(-3) - u/(-24). Is m > -1?
False
Let u = 49 + -49. Which is smaller: u or 2/155?
u
Let l(s) = s**3 + 25*s**2 + 47*s + 22. Let m be l(-23). Do m and 1/59 have different values?
True
Let g be 8993/(-43004) + 4/(-16). Let a = -2/827 + g. Which is greater: 0 or a?
0
Let x(o) = -o + 4*o + 0 + 1. Let j be x(5). Suppose 0 = -2*a + 6*a + j. Is a at least -3?
False
Let a = -1.2 - -0.2. Let y = 1.1 - -3.9. Let h = 4.9 - y. Which is greater: h or a?
h
Let v = 662 - 3379/5. Are -15 and v unequal?
True
Let b(l) = l - 6. Let t be b(5). Let v = -140/64919 - 1542340982/2142327. Let s = 720 + v. Is t > s?
False
Suppose -u - 5*h - 7 = 2*u, 0 = 2*h + 10. Let a be -1 - 2/u*-5. Let m(j) = j. Let r be m(2). Which is greater: a or r?
r
Suppose 0 = 4*o + 3 + 9. Let q be 15/(-18)*o*-2. Let a be (-3 - -2 - q) + 2. Is a != 6?
False
Let r = -36/35 + 3/5. Let t(q) = q**2 + 6*q - 7. Let f be t(-7). Which is smaller: r or f?
r
Let f = -5.1 + 6. Let b = -0.1 - f. Which is smaller: 4 or b?
b
Let c be (4 + -7)/((-3)/4). Let i = 2 - c. Which is bigger: i or -0.1?
-0.1
Let l be (-16)/(-504)*(-2 - -5). Which is bigger: l or -1?
l
Suppose 25 = -3*q - 11. Let g be 4/q - (-4)/(-6). Are -2/15 and g equal?
False
Suppose z = 5*z + 8. Let d be 1 + 1 + 2 + z. Which is bigger: d or 3?
3
Let h = 26/1107 - 4/41. Do 0 and h have the same value?
False
Suppose 6 = 6*z - 4*z. Suppose -z*c = c + 4. Which is smaller: c or -2/47?
c
Let s = -3 + 3.1. Let d = 1.5 + -1.6. Which is bigger: d or s?
s
Let i(s) = 5*s. Let x be i(1). Let z(j) = -7*j**2 - 7*j - 1. Let b(l) = 6*l**2 + 7*l + 1. Let n(d) = x*z(d) + 6*b(d). Let k be n(-7). Is 1 at least k?
True
Let n(g) = -g + 8. Let l be n(6). Let x be 1 - 2 - (0 + -2). Which is bigger: x or l?
l
Let k = -2.06 - -92.06. Is -1/4 less than k?
True
Let p be (12/3 - 3) + -2. Suppose 15 = -3*t + 6*t, 5*t = 2*f + 27. Is p not equal to f?
False
Let a(f) = f**2 - 4*f - 6. Let k be a(6). Let j be 6/(-15)*10/k. Let u = -0.2 - -0.4. Is j != u?
True
Let k = -2467/8060 + -1/620. Is k at least as big as 1?
False
Let t = 1 + -3. Let w = -353/10 + 29. Let y = -71/10 - w. Is y > t?
True
Let a = 37249/5480 - -3/1096. Is 7 at least a?
True
Let g = -1.9 - -2. Let m = 17 - 17.4. Is m at least as big as g?
False
Let l be 3/5 + 11/(-10). Are l and -1 nonequal?
True
Suppose -6 = -2*u - 4*z, 4*u + 0*z - 12 = 2*z. Suppose 0 = -2*l + 3*p - u, 5*l + 5*p + 3 = 58. Suppose -l*t = -2*t - 4. Which is bigger: t or 2/9?
t
Let j = 6 + -9. Let i be 6 + j + 0 + -3. Let k be (-2)/8 + 21/52. Do i and k have the same valu