r: b or -0.4?
b
Let k = -2 + 1.95. Let c = 0.25 + k. Let r = 103/198 + -2/99. Are r and c equal?
False
Let t(p) = -p**3 - 11*p**2 - 10*p - 1. Let r = -9 + -1. Let l be t(r). Let y be -1 - ((-2)/(-12) - 1). Which is smaller: l or y?
l
Let m = 93 - 112. Do m and -21 have different values?
True
Let b = -10 + 18. Let y = b - 8.3. Let t = 3.3 + y. Is t >= 2/5?
True
Let j(n) = n**2 - 14. Let v be j(3). Which is smaller: -1 or v?
v
Let s = 80.7 - 77. Let l = -1.3 - s. Let m = l - -4. Is -2 != m?
True
Let b = 22 - 21.9. Let p = b + 0.9. Let d = 0.3 + -0.4. Is d equal to p?
False
Suppose -4 = -4*p + 3*p. Suppose w + 3*w - p = 0. Let n be 0/2 - (-3)/w. Is n at least as big as 1/4?
True
Suppose -b - m - 18 = 0, 4*b - m + 56 + 31 = 0. Let v be 0 + 0 + b/18. Which is smaller: v or -1?
v
Let u(k) be the second derivative of k**3/6 - 2*k**2 + 2*k. Let f be u(8). Let d = -6 - -9. Is f at least as big as d?
True
Suppose -4*a - 4 = -8*a. Let x = 650/7 - 93. Is a at least x?
True
Suppose 2*m - 5 = -1. Let v be (0 - 0)/(m/2). Let c(u) = u - 6. Let k be c(6). Is v >= k?
True
Suppose -2*s + 7*s = r + 7, 2*s - 7 = -r. Let d = 62 - 62.2. Which is bigger: s or d?
s
Suppose p = 5*f + 116, 3*f + 4 = -5. Is p smaller than 102?
True
Suppose 3*o - 24 = 5*g, 5*g + 12 = g. Let i be (10*-3)/o + 0. Does -10 = i?
True
Let f be (-7)/161*6/33. Does 1 = f?
False
Let m be -2*2*6/(-8). Let u be (-2)/7*7/m. Is -1 <= u?
True
Let v = -0.92 + -18.98. Let z = -20 - v. Which is greater: -2/15 or z?
z
Suppose g - 5*j + 12 = 0, -2*g + 4*j - 3 = j. Let p be (-46)/(-12) - g/(-18). Let b = p + -10/3. Which is smaller: b or 1?
b
Let v be (-10)/25 + 8/(-30). Let n = -1/35 - -39/140. Are v and n non-equal?
True
Let z be 4/(-2) + 1 - 3/12. Is z < 2?
True
Let y be (7 + -6)/((-2)/32). Does y = -17?
False
Suppose 2*n + 2*n - 4 = 0. Suppose -4*u - n = -3*u. Which is smaller: u or -2/9?
u
Let g be ((-30)/55)/(1/(-3)). Is 2 at most g?
False
Let i be 5/7*8/20. Let r = -6.4 + 6. Let c = -0.3 - r. Is c bigger than i?
False
Let h(p) = 3*p + 21. Let z be h(-7). Suppose 0 = 2*t + 2*t. Is z at most t?
True
Let y = -0.35 - -0.85. Do y and -3/7 have different values?
True
Let q be (-8)/12 - 22/30. Let k = -4 - -4. Which is smaller: q or k?
q
Let k = 613 - 14096/23. Suppose -3*l + 3 = -0. Is l bigger than k?
True
Let k(c) = -c + 11. Let u be k(7). Suppose 3*q = u*q + 1. Is -1 greater than or equal to q?
True
Suppose 169 = 5*r - 671. Let v = -4198/25 + r. Let t(f) = -f**3 + 10*f**2 + 11*f + 1. Let q be t(11). Does q = v?
False
Suppose s = -3*s. Suppose -4*u + 7*u = 12. Let a be 1*(4 - (0 + u)). Is a less than or equal to s?
True
Let u be -2*(-2)/88*2. Which is smaller: 0 or u?
0
Let f be (4/10)/(17/(-5)). Let u = -94 - -94. Which is smaller: f or u?
f
Suppose p - 33 = -2*p. Which is bigger: 10 or p?
p
Let t be (9/(-48))/((-2)/(-4)). Suppose 0 = -b + 5*f + 13, -3*f = -b - 7*f + 22. Suppose 4*p + 15 = -z, -2*z + 4*p = -0*p - b. Is t at least as big as z?
False
Let i(f) = 3*f + 3. Let n(q) = -8*q - 10. Let o(z) = -11*i(z) - 4*n(z). Let g be o(4). Does 2 = g?
False
Let f(w) = -w**2 - 6*w + 9. Let t be f(-7). Let u be (t/(-3))/(1*-1). Let l(g) = g + 5. Let v be l(-4). Which is smaller: v or u?
u
Let m = -123 - -157.4. Let c = -38 + m. Let v = -3 - c. Which is smaller: -1 or v?
-1
Let t = -19 + 13. Let j be (-20)/t*6/(-14). Which is bigger: -2/5 or j?
-2/5
Let u(f) = -3 - f**3 - 5*f**2 + 3*f**2 - 3*f - f. Let c be u(-2). Suppose -4*m + 3*s = 13, -4*s + 21 - 4 = -c*m. Which is smaller: -2 or m?
-2
Suppose 0 = 2*p + p + 84. Let w be 36/p + (-4)/(-14). Is w smaller than 1/13?
True
Let v = -16.38 - 0.72. Let h = v + 17. Let i = -4 - -3. Which is smaller: i or h?
i
Let t = -72 + 77. Which is smaller: -0.2 or t?
-0.2
Let s(v) = 4*v + 71. Let k be s(-17). Let m = 8 - 15. Let j = -3 - m. Is j smaller than k?
False
Suppose -o = 2*y - 4, 0 = -y - 0*o + 2*o + 2. Let t be (32/24)/((-2)/6). Let s be y + t/((-44)/(-21)). Is s greater than or equal to -1?
True
Suppose -46 = 5*q + 4*p, 2*q + 3 = 4*p + 7. Let y be (-4)/18 - q/27. Is 2/21 less than y?
False
Let h be ((-2)/3)/(32/36). Let z = 0.5 + -0.5. Is h at most as big as z?
True
Let a = 0 - -4. Which is smaller: a or 0?
0
Suppose 0 = -2*a + 5*s - 34, -4*a + 0*a - 38 = 5*s. Let n be 1*-1*a/(-78). Which is bigger: n or 0?
0
Let b be 18/5 + -1 + -1 + -2. Which is smaller: 19 or b?
b
Let j(x) be the second derivative of -x**5/20 - 5*x**4/6 - 5*x**3/3 - 9*x**2/2 - 3*x. Let c be j(-9). Which is smaller: c or 7/5?
c
Let l be 2/((-24)/15 - -2). Let a = 9 + -4. Is a less than l?
False
Let y = 0.19 - -0.01. Let g be 4/(-6) - (0 + -1). Which is greater: g or y?
g
Let i = -15 - -16. Which is greater: i or -0.3?
i
Suppose -i + 3*i = 5*g + 11, 5*i - 20 = 5*g. Which is greater: -6/11 or g?
-6/11
Let s = 53/196 + -1/49. Let j = 23 - 21.8. Let y = -3.2 + j. Which is bigger: s or y?
s
Let n = 94 - 284/3. Let a(z) = 5*z**3 - z**2. Let l be a(1). Let h(k) = -2*k + 6. Let w be h(l). Which is smaller: n or w?
w
Let f be (1 - (-14)/(-6))*3/(-66). Is 0 at most f?
True
Let f = -4 - 1. Let h = f + 4. Let c = 0 + 2. Is c at least as big as h?
True
Let n = -4.3 - 0.7. Let d = n - -2. Let g be 2/6 + (-2)/2. Is g greater than d?
True
Let h = 3 - 2. Let f = -1.4 - -0.5. Let k = f - 0.1. Is h at most as big as k?
False
Let r = -37 + 52. Which is greater: r or 16?
16
Let c = 4.95 - 5.05. Let m = 0.3 - 0.4. Is m > c?
False
Let g be (-1)/3 - 26/(-6). Suppose 4*t = 4*p + 132, -5*t + 0*t = 5*p - 115. Suppose -t = -0*h + g*h. Is -7 equal to h?
True
Let s(u) = -5*u + u**2 - u**2 + u**2. Let v be s(5). Suppose -f - f + 4 = v. Which is bigger: 3 or f?
3
Let m = -164 - -241. Let h be (-4)/(-22) + (-36)/m. Let j be 0 - -1 - (1 + -1). Which is smaller: h or j?
h
Let m be (-36)/(-4)*5/3. Is 16 equal to m?
False
Let u be -3*(-4)/6 + 1. Suppose -3*t = -4*i + 2*i, 4*t = -4*i. Suppose u*c + 2*o = 9, -2*c + 3*o + o - 10 = i. Do c and -3 have the same value?
False
Let p(v) = -v**3 - 7*v**2 + 9*v + 9. Suppose 3*a = -9 - 15. Let u be p(a). Suppose q + u = 3. Is 3/5 bigger than q?
False
Let b be ((-21)/28)/(6/52). Which is smaller: -8 or b?
-8
Let p(x) = -x**2 + 7*x - 9. Let w be p(5). Is w >= -2/5?
True
Suppose 0*j - 5*j + 77 = -p, 0 = -2*p - 4. Which is smaller: 27/2 or j?
27/2
Let q = -0.4 - 0.6. Is q >= 0.8?
False
Let v(g) = -g**3 + g**2 + 3. Let z be v(0). Suppose 0 = -5*y - 3*q + 11, z*y + 6*q = q + 13. Which is greater: 2 or y?
2
Let a(m) = -3*m + 16. Let i be a(4). Is i at most as big as 3?
False
Let j be (2/(-5))/(2/(-30)). Let q be 2*-1*2/j. Let x = 0.127 - 0.227. Which is smaller: x or q?
q
Let n(l) = l**2 - l + 12. Let y be n(0). Suppose 2*h - 8 = h - 4*c, 4*h - 45 = -3*c. Is h bigger than y?
False
Let n be (11 + -1)/((-1)/(-3)) + -1. Is 29 at most n?
True
Let i(d) = d - 3. Let k be i(9). Let m be (2/k)/(1/(-10)). Which is bigger: m or -2?
-2
Suppose 0 = -4*m + 4*j - 20, -5*j - 2 = -0*m + 4*m. Is -2 < m?
False
Let c(h) = -2*h**2 - 1. Let m be c(1). Let f be (4/10)/((-3)/15). Is m at least as big as f?
False
Suppose 4*z = 5*v - 7, 2*z + 0*z + 2*v - 10 = 0. Let j = z - 9. Let y = j - -4. Which is smaller: y or -1?
y
Let c = 0.1 - 0.3. Let z = -102 + 105. Is z at least c?
True
Suppose 0*b = b + 6. Let j(k) be the second derivative of k**4/12 + k**3 - k**2 + k. Let u be j(b). Are u and -2 equal?
True
Suppose 2*c + g = 7*c - 75, -5*g = 5*c - 105. Which is greater: c or 18?
18
Let x be 26*3/(-6) + -1. Let o be (-35)/49 - (-4)/x. Let j be (3/7)/((-3)/(-2)). Which is smaller: j or o?
o
Let o be (-26)/143 - 24/(-11). Suppose b + 6 = -o*b. Is b greater than 2/7?
False
Let d be ((32/(-30))/(-8))/(5/(-6)). Which is smaller: -1 or d?
-1
Let p = -210 - -102. Let i = 1402/13 + p. Let f(h) = -h**2 + 3*h - 1. Let m be f(2). Is m greater than or equal to i?
True
Suppose 2*d + 6 = w - d, 3*w - 4*d + 2 = 0. Which is bigger: w or -0.1?
-0.1
Let x = -2.3 - 0.7. Let w = 34 + -27. Let d = w + -6. Which is greater: d or x?
d
Let j(u) be the first derivative of -u**3/3 - u**2 + 7*u - 6. Let h be j(-5). Which is smaller: -1 or h?
h
Let s(w) = w + 5. Let b be s(-5). Is -3/26 not equal to b?
True
Let w = 0.44 + 0.06. Suppose -3*t + 2*a = 3*a + 5, 0 = -3*t + a - 1. Which is greater: t or w?
w
Let d be (-2)/(-6) + (3 - 6). Is d != -2?
True
Let u be 