= 3*m - 2*o. Let g = m - 6. Which is smaller: d or g?
d
Let g(f) = -f**2 - 12*f + 4. Let b be g(-12). Let w = 9 + b. Is 13 bigger than w?
False
Suppose 3*l - v = 2*l + 2, 5*v = -l + 2. Let m(g) = -g**2 + 3*g - 4. Let w be m(l). Which is bigger: 3 or w?
3
Let o = 47 - 38. Is 9 less than o?
False
Let q be 1*(-4 + (-34)/(-10)). Let k be 6/(-3) + 0 + 1. Let i be (2*k - -2) + 0. Is q smaller than i?
True
Let a = 2956 - 777430/263. Are a and 1 equal?
False
Let c = -6 + 5. Suppose -2*u - 5 = -7*u. Suppose 0 = -0*t + t + u. Is t at least as big as c?
True
Let i(y) = -y**3 - 3*y**2 - 3*y - 3. Let f be i(-3). Let v = -5 + f. Let g be (-2)/(-4) - 2/28. Which is smaller: g or v?
g
Suppose 9 = -4*a + a. Let b = -13 + 5. Let k(w) = -w**3 - 7*w**2 + 9*w + 4. Let o be k(b). Is a bigger than o?
True
Let l = -28 - -198/7. Let s = -1 + 1. Which is greater: l or s?
l
Let f(m) = m**2 - 5*m + 4. Let a be f(4). Let j be (-1)/2*a + 0. Let r be 8/14 - -12*(-5)/420. Do j and r have the same value?
False
Let p(d) = d**2 + 4*d - 1. Let q be p(0). Let f(r) = -r**2 + 6*r + 9. Let a be f(7). Suppose 6 = -4*v + a. Is v at least as big as q?
True
Suppose -8*m = -3*m - 5. Is m <= 3/7?
False
Let s = 55 - 30. Suppose 2*l + l - 5*k = 149, s = 5*k. Let y = 176/3 - l. Is y less than -0.5?
False
Suppose 0*l = 4*l - 20. Let v = 7 - l. Which is smaller: v or -2?
-2
Let i = 41 - 38. Which is bigger: 30/11 or i?
i
Let n = -3359/11 - -305. Let m be (-116)/(-77) + (-1)/1. Let p = m + n. Is -1 less than p?
True
Suppose -23 = -2*d - 5*k, -6*d + 3*k = -4*d + 1. Is d greater than 4?
False
Let f(y) = 2*y**2 + 3*y - 3. Let i be f(-3). Which is greater: -2/5 or i?
i
Let u be (-2 - 176/(-92))*2/(-4). Do 2 and u have different values?
True
Suppose -2*m = -4*w + w - 232, -5*w = m + 404. Let p = w - -242/3. Let s = 568/825 + -6/275. Do s and p have different values?
False
Let y = -45/148 + 2/37. Let i = -0.06 + -0.04. Which is greater: i or y?
i
Let d(z) = -3 + 3*z**2 - 4*z - 4*z**2 + 0*z**2. Let v be d(-2). Which is smaller: v or 2/9?
2/9
Let h = -470/87 + 16/3. Let i(z) = 2*z**2 - 6*z - 8. Let s be i(4). Which is smaller: h or s?
h
Suppose 5*l - 31 = 59. Suppose 5*x + l = 4*m, m - 3*x = x + 10. Suppose -2 = -m*s - 0. Is 0 equal to s?
False
Let n = -6.208 - 0.092. Let p = 0.7 - n. Is -1/2 at least as big as p?
False
Let w be 6/(-18) - (-38)/78. Which is greater: w or 0?
w
Let s be 2 + 6/21 + (-4)/14. Is s < 2?
False
Let c(u) = -u**2 - 13*u - 3. Let l be c(-11). Which is smaller: l or 18?
18
Let f = 6/5 + -7/10. Which is greater: f or 1.9?
1.9
Suppose 3*y + 8 = -y. Let g = y + 6. Let x = g - 3. Are x and -1/4 non-equal?
True
Let x = 6 - 0. Suppose -3*g + x*g + 12 = -p, p = -g - 2. Are p and 3 nonequal?
False
Let u = 15 - 15. Suppose 0 = v, 0 = 4*p + v + 3 + 5. Which is bigger: u or p?
u
Suppose i = -24 + 23. Let q be 329/(-105) - (-1 - 2). Which is smaller: i or q?
i
Let o be 4/(-10) - (-708)/(-30). Which is bigger: -25 or o?
o
Let j = 0.03 - 0.23. Let x = 0.3 + -0.5. Is j greater than x?
False
Let b = -21 + 19.04. Let j = b - 0.04. Is -2 > j?
False
Suppose -3 = -u + b, 0*u - 5*b - 12 = -2*u. Suppose 0 = -0*c - 2*c. Let h = 0 + c. Which is smaller: h or u?
h
Let r be (-20)/(-12) + -3 - 3. Let j = 5 + r. Let n = 2 + -4. Is j > n?
True
Let d(l) be the second derivative of 9*l**5/10 + l**4/12 + l**3/6 - l**2/2 + 4*l. Let w be d(1). Which is smaller: 20 or w?
w
Suppose 5*f = 9 + 11. Let v(n) = -n + 5. Let u be v(f). Do 8/5 and u have the same value?
False
Let p(b) = -2*b**2 - 47*b + 28. Let v be p(-24). Which is greater: v or -2?
v
Let n be ((-8)/(-10))/(1/(-5)). Let b = 6 + n. Suppose -5*k = -b*k. Is k less than or equal to 1/4?
True
Let u be 3/((-15)/6 - -1). Let m = 115 - 465/4. Which is smaller: u or m?
u
Let m(i) = -i + 4. Let o be m(7). Which is bigger: o or -3/4?
-3/4
Let a = 3236654 - 12671500228/3915. Let d = 4/145 + a. Let s = 23/54 + d. Is s smaller than 1/2?
False
Suppose 3*c + 4 = -5*u + 6, u - 2 = c. Is -1/74 >= c?
True
Let r be 4/14 + (-2)/(-14). Suppose k - 4 = -3*a, -4*k + 2*a = -2 - 0. Which is smaller: r or k?
r
Let u be -2 - (-5)/((-60)/(-27)). Which is smaller: -8 or u?
-8
Let i(y) = -12*y**3 - 3*y**2 - 5 - 2*y + 4 + y**2. Let r be i(-1). Suppose 0 = -3*h - 0*w + 5*w + 13, -5*w - r = -h. Is -1/6 <= h?
True
Let z = -190 - -767/4. Let g(w) = -4*w + 14. Let f be g(3). Is z equal to f?
False
Let g = -53/196 + 1/49. Let j = -38 + 37.9. Which is bigger: j or g?
j
Let g be (-3)/6*(-838)/(-6). Let l = 70 + g. Is 0 at most as big as l?
True
Suppose 12 = 3*o - 0. Suppose 3*j - o*c - 2 = 2, 3*j - 5*c = 2. Which is greater: j or 1?
j
Let i = -3303 - -9661/3. Let f = i + 82. Which is bigger: f or 0?
0
Suppose -5*n - 24 = -19. Do 2/43 and n have different values?
True
Suppose 0 = 4*q - 0*q. Let o = 12 - 13. Are q and o equal?
False
Let o = 974/13 - 75. Which is greater: o or 1?
1
Let f(v) = -v**2 + v. Let g be f(1). Suppose g = 3*u + 4*y - 4, -y = -3 + 2. Suppose u*d + 24 = -4*d. Which is smaller: -1 or d?
d
Let k(d) = d**3 + 5*d**2 - 5*d. Let c be k(-6). Let a(s) = -s**2 - 6*s + 2. Let q be a(c). Is 0 equal to q?
False
Let z = -4 - -6. Let s be -1 + 3 + (z - 3). Is s > 0?
True
Let x = 80 - 7. Let v = 217/3 - x. Is v at least as big as -2?
True
Suppose 0 = -4*z + 16, d - 3*z = z + 9. Suppose 0 = 4*i - 9*i + d. Are 4 and i nonequal?
True
Let x be (0 + 3)/(1 + 0). Let y(p) = 17 + 3*p**2 - 6*p**2 + 2*p**2 + 2*p**2 - 17*p. Let i be y(16). Which is bigger: x or i?
x
Let s = 0 - -0.3. Let o = -2.28 - -0.28. Which is bigger: s or o?
s
Let c be (-2)/(-3)*(-48)/32. Let i be 0/(-1) + (-1)/c. Is 16/7 < i?
False
Let x be (-81 - 1)*6/(-16). Suppose 3*k + 0*k = 3*n - 105, 0 = -2*k - 2*n - 54. Let t = x + k. Which is smaller: t or -1?
-1
Suppose 4*c + 2*h - 47 = h, 5*c - 70 = -5*h. Let a = c + -17. Let w(g) = g**2 + 5*g - 7. Let i be w(a). Is 2/9 at most as big as i?
False
Let o(c) = -11*c**2 - 18*c - 18. Let l(d) = -5*d**2 - 9*d - 9. Let f(r) = -9*l(r) + 4*o(r). Let b be f(-8). Which is bigger: b or 7/6?
7/6
Let p(v) be the third derivative of -v**5/60 + v**3/3 - 2*v**2. Let t be p(0). Let w = t - 4/3. Is w greater than 0.1?
True
Let x(v) = -v**3 + 4*v**2 - 4*v + 2. Let a be 1 + -1 - (1 - 4). Let r be x(a). Which is smaller: -4 or r?
-4
Let r = -70 - -492/7. Let w(n) = n**2 + 4*n + 2. Let s be w(-3). Is s smaller than r?
True
Let s(m) = m. Let k be s(5). Let q be k/(-2)*4/(-5). Let w be 2 - 2*3/q. Is w less than or equal to -1?
True
Suppose 0 = -n + 4*s - 19, -2*n - 3*s + 14 = -3*n. Let b be (-6*n)/((-6)/4). Suppose -x = -0*x + j + 4, -2*x = j + b. Is x at most as big as 1?
True
Suppose 2*k - 10 = 4*w, 0 = -4*k + 10 + 10. Let a = -2 + w. Is a smaller than -5/2?
False
Let m be 6/21 + 144/(-14). Let s(k) = 2*k**3 - 10*k**2 - 2*k - 1. Let t be s(5). Are t and m equal?
False
Let o = -5 + 7. Let x(u) = u**2 - 7*u + 12. Let k be x(5). Is o >= k?
True
Let p(q) = -7*q - 24. Let i be p(-3). Is -21 >= i?
False
Suppose -5*u = f + 5 - 19, 0 = -3*f + u + 26. Let o be 7*f/15 - 4. Which is bigger: 2 or o?
2
Let r be -1*(-1 + 0 + -1). Let y be 21/27 + r + -3. Is y > 1?
False
Let d = -1.3 + 8.3. Let p = -6.9 + d. Let v = p - 0.1. Are v and -1/2 equal?
False
Let l(q) = -q**3 + 4*q**2 + 5*q. Let k be l(5). Let f be (1 - 2)*0/1. Let n = k + f. Is n less than or equal to 0?
True
Let q be 6/(-18) - (-2)/6. Let g(v) be the second derivative of v**3/6 + v**2/2 - 2*v. Let c be g(-1). Is q greater than c?
False
Let t = 2 + -3. Let k be 3 - 27*2/30. Which is smaller: k or t?
t
Let x(j) = -5*j + j**2 + 2*j - 14 + 14. Let q be x(4). Suppose -2*y + 8 = -q*y. Is y bigger than -4?
False
Let d = 7 - 0. Let z be 4/(-6) - (-124)/6. Suppose 3*o - 10 - 12 = 2*k, -2*k = 4*o - z. Are o and d unequal?
True
Suppose 3*c - 4*o = -25, 2*c + 9*o - 4*o - 14 = 0. Let b = 3 + c. Which is smaller: b or -3/20?
-3/20
Let k(q) = -q**3 - 3*q**2 + 2*q + 4. Let i be k(-3). Let x be (-4)/10*i/4. Suppose 5 - 1 = 4*p. Which is smaller: p or x?
x
Let q be 20/110 - (-31)/(-231). Suppose -4*k = -k. Which is greater: k or q?
q
Suppose -f + 7*h + 19 = 2*h, -4*f = -4*h - 12. Let i = f - 0. Which is smaller: i or -3?
-3
Let s be 46/11 + (-2)/11. Let t = s + -6. Let o be (-24)/9*3/t. Is 4 less than o?
False
Let n(s) = s**3 - s**2 - 3. Let y be n(2). Is -2/257 at most y?