, -4*q + 10 = 2*m. Let u be 0 + (-2)/(q + 1). Which is smaller: u or h?
u
Let s = 6.5 - 6. Let d = -6.7 - -6. Let c = s + d. Is c at most as big as 0?
True
Let t = 81.3 - 80. Is t less than -3?
False
Let g be 20/(-12) + (-6)/(-3). Let t be (3/5)/(36/24). Which is bigger: g or t?
t
Let x(k) = -2*k + 1. Let a be x(-3). Suppose 3 = -v - 5*j + 14, -v = -4*j + a. Let p be (4/(-6))/((-4)/6). Does p = v?
True
Let f = 20 - 12. Let t = -11 + f. Are t and -3 equal?
True
Let r be 1/2 + -7 + (-33)/(-6). Let h(o) = -o + 4. Let k be h(4). Which is smaller: r or k?
r
Let n = 254 + -5332/21. Is -1 <= n?
True
Let x(c) = 3*c - 7. Let i be x(2). Let n be ((-4)/(-6))/((-2)/6). Is i at least as big as n?
True
Suppose -2*c + 10*l + 4 = 11*l, -3*c - 7 = -5*l. Do -1/101 and c have the same value?
False
Let r = -0.00302 + 22.77302. Let c = -23 + r. Let d = c - -0.03. Which is smaller: d or -0.1?
d
Suppose 0 = -2*s, 3*u + 2*s = 5*s + 3. Which is smaller: u or 3?
u
Let m = -31 - -35. Let d(v) = v**2 - 2*v + 2. Let f be d(3). Suppose -f*u + 1 = -m*u. Is 1 at most as big as u?
True
Let n = 3 - 4. Do 3 and n have different values?
True
Suppose 0 = -2*c + 4. Suppose -c*r = -r + 4. Which is greater: -3 or r?
-3
Suppose y + 4*y - 31 = -2*n, 16 = -3*n + 5*y. Suppose 0 = c - n*l + 4, 2 = -2*c - 3*l + 3. Let p = -729/247 + 37/13. Which is greater: p or c?
p
Let m be (3 - (2 - 1))*1. Let w be m/3 - (-22)/3. Suppose w*d = 3*d. Is d less than -2/3?
False
Let q = -1.213 - -0.203. Let n = 0.01 + q. Is n > 4/5?
False
Let f = -0.21 - -0.65. Let g = f - 0.04. Let w = 2.6 + g. Which is smaller: w or 0?
0
Let r(y) = y - 2. Let d be r(5). Let z be 2/3 + (-5)/d. Let q be (12/48)/((-1)/4). Is z bigger than q?
False
Let u = -117/4 - -13697/468. Is u smaller than 1?
True
Let r be -4 + (2 - (0 + 1)). Is -2 greater than r?
True
Let p(j) = j**3 + 6*j**2 - 2*j - 9. Let m be p(-6). Let o(u) = -u**2 + 3*u + 3. Let f be o(m). Are f and 0 unequal?
True
Let j(r) = -r**3 - 3*r**2 + 8*r + 4. Let i be j(-5). Suppose -u = u - i. Suppose 2*p = 4*x + 34, -4*p - 6*x + x = -3. Is p at least u?
True
Let f = 20 - 23. Suppose -3*u - 16 = -5*s + 8, -4*u + 2*s - 18 = 0. Is f <= u?
True
Let t be 39/39*(5*1 - 1). Is t bigger than 6?
False
Let i = -10 + 10. Suppose i = -w - w. Which is greater: w or 3/4?
3/4
Suppose -z = z. Let w = 0.1 + 3.9. Is w at least as big as z?
True
Suppose 0 = 4*f - 4*t - 29 + 117, f - 3*t = -24. Which is bigger: 1 or f?
1
Let u(s) = -2*s**2. Let r(q) = -q**2 + 3*q - 2. Let l be r(3). Let o be u(l). Let m be (-12 + -2)*4/o. Does m = 6?
False
Let y = 955 - 130836/137. Are 1 and y equal?
False
Let l = 42 + -128/3. Is l greater than -2/3?
False
Let y = -0.17 - 0.03. Is -0.2 greater than y?
False
Let r = 0.1 + -11.1. Let f = 10.9 + r. Let b be (-1)/3*(-3)/2. Are f and b unequal?
True
Let w(c) = -4*c + 1 + c**2 - 6*c + 9*c. Let m be w(0). Are 2 and m nonequal?
True
Let r = 2/2043 + -81734/14301. Which is greater: 0.2 or r?
0.2
Suppose 3*p = -4*r + 48, -2*r + 2*p + 2 = -2*p. Is r < 49/5?
True
Let t = -43655/102 + 428. Is 1 at least as big as t?
True
Let x be 8/3 + (-1)/(-3). Let s = 1 - x. Is s < -5?
False
Suppose 0*r + 9 = 3*r - 3*a, -3*a - 23 = 4*r. Which is bigger: r or 4/7?
4/7
Suppose -5*d + 5*y = 30, 3 = 3*d - 2*y + 6*y. Suppose 0 = -3*h - 5*r + 11, 2*h - 5*r = -2*r - 18. Is d greater than h?
False
Suppose r + 2 + 3 = 0. Let u = r - -7. Which is smaller: u or 3/5?
3/5
Let f = 34 + -38. Which is smaller: f or 1?
f
Let d(v) = -v + 3. Let k be (-2 - 1)/(12/(-16)). Suppose k*j = 8 - 0. Let u be d(j). Is -1 less than u?
True
Let u(l) = 7*l + 1. Let s(b) = 2*b**2 + 2*b + 1. Let m be s(-1). Let v be u(m). Let a be (2/2)/(-9 + v). Which is smaller: a or -1/3?
a
Let p be (5 - 0) + (-3)/1. Let i be (7 - 3) + -3 - -1. Is i at least as big as p?
True
Let l = -7 - -7. Suppose -p - 2*p + 3 = l. Are 2 and p equal?
False
Let t = 5 - 3. Let i be (-57)/(-12) + t/8. Suppose 2*y - 7 + 1 = 0, i*d = -5*y. Is d less than -4?
False
Let f = 0.32 - 0.02. Let i = -0.3 + 0.5. Let g = f - i. Which is bigger: g or 2?
2
Let w be (-3)/(1332/(-1412)) + -3. Let k = w + -1/74. Which is smaller: k or -1?
-1
Let j(n) = 3*n + 7. Let f be j(-3). Which is bigger: f or -1?
-1
Let w be 1*(-3)/(-9)*0. Which is smaller: w or -1/2?
-1/2
Suppose o = -0*o + 3. Suppose a - 4*a - 4*b = -16, -o*b - 5 = -2*a. Is a <= 8/3?
False
Let f(y) = y**2 - 7*y - 3. Let r be f(8). Suppose r*m = 4*z + 2 + 3, -4*z + 1 = m. Let k = 439/756 + -1/108. Is k less than z?
False
Let s(g) = g**3 + g**2 + 15. Let a be s(0). Let f = 12 + -10. Suppose 3*w + a = -f*w. Does w = -2?
False
Suppose -4*d = 4*y + d - 5, d = 4*y + 1. Let x(u) = u**2 + u + 1. Let l be x(y). Let o be -1*(1 - (-2)/(-3)). Which is smaller: o or l?
o
Let m be ((-12)/(-30))/((-12)/(-45)). Is m at most as big as 0?
False
Suppose 1 = a - 5. Let d be 4/a - 33/63. Which is smaller: d or 1?
d
Suppose 0 = c - 0*c. Let x = -139/204 - -1/68. Which is bigger: c or x?
c
Let t = 1033/9 + -115. Which is smaller: t or 0?
t
Let y(j) = -1 - 2 - j**2 + 3 + 2*j. Let g be y(2). Does g = -1/4?
False
Let j be (-76)/18 - (-4)/18. Let l be (j/(-16))/((-18)/(-8)). Which is bigger: l or -1?
l
Let j(b) = b**3 + 5*b**2 + 3. Let l = -14 - -9. Let z be j(l). Let r be (-3)/2*2/z. Is -2 less than r?
True
Suppose 0 = 5*p - 4*p + 23. Let a = p - -24. Which is greater: 2/11 or a?
a
Let i = -0.021 - -0.421. Do i and -4 have the same value?
False
Let x = -1593/11 - -145. Let u = 1 - 1.3. Which is smaller: u or x?
u
Suppose -28 = -0*v - 2*v. Let z be 20/v + (-1)/1. Suppose 0 = 2*r, 0 = -5*d + 7*r - 6*r. Is z smaller than d?
False
Let r(h) = 2*h - 14. Let v be r(6). Is -2 not equal to v?
False
Suppose 25 = 3*r + 2*r. Suppose 0 = 5*i + r. Let u(g) = -g**2 + 2*g + 1. Let o be u(3). Which is smaller: i or o?
o
Suppose -3*l = 3*t - 24, 6 = 2*t - 4. Let w be (-4 - -1) + (1 - -1). Let q be 1/l*(3 + w). Are -5 and q nonequal?
True
Let a(q) = -10*q - 7. Let m be a(-5). Is 43 at least as big as m?
True
Suppose -5*s + 2*n = n - 156, 2*n - 136 = -4*s. Suppose 5*y = -4*h + 48, -y + 16 = 4*h - s. Let a be (-1)/h - (-1)/3. Are a and -3 unequal?
True
Let l = 3/272 - -1321/3536. Are l and 1 non-equal?
True
Let v = 0 - 1. Let o be v/3 + 16/(-6). Let b be 5/15*o/5. Are 1 and b nonequal?
True
Suppose -6 = -9*j + 3. Let x be (-4)/(-58)*4/8. Does j = x?
False
Let k = -4/17 - 32/153. Which is smaller: 1 or k?
k
Let f(p) = -p**3 + 16*p**2 - 16*p + 4. Let o be f(15). Let m be (-1)/2 + o/(-14). Which is smaller: 1 or m?
m
Suppose -4*q = 5*t - q - 7, -9 = -2*t + 5*q. Let y be 2/((-4)/(-6) + 0). Which is greater: t or y?
y
Suppose 3*c - 2 = -8. Let i be (7 + -1)*10/(-20). Let z = c - i. Is z at most as big as 1?
True
Suppose -3*c = -13 + 1. Suppose 3*q + 8 = c*r + r, 0 = q + r. Which is greater: -1/17 or q?
-1/17
Suppose -27 = 4*j - 7. Let m be 1/(-1)*1/j. Which is bigger: -1 or m?
m
Let m = 2 - 2. Let b = -0.9 - -1. Let l = b - -0.9. Is l equal to m?
False
Suppose -51 = 2*k + n, k + 3*n - 2*n + 26 = 0. Is -24 bigger than k?
True
Suppose 3*c - 1 = 2*c. Let z be (-42)/(-8) - c/4. Let o = -1 + 7. Is o greater than z?
True
Let c(j) = -j**2 + 8*j + 3. Suppose -2*a = -5*a + 24. Let n be c(a). Is n >= 1?
True
Let v = -13 - -11. Which is smaller: 9 or v?
v
Let c = 5/22 + -2/33. Which is greater: c or 0.2?
0.2
Let s = 6 - 6.2. Which is smaller: 0 or s?
s
Let x = -53 - -59. Let c = 0.6 + -4.6. Let k = x + c. Which is bigger: k or 0.1?
k
Suppose c = 27 - 5. Let i = 22 - c. Is 2 at least i?
True
Let t(i) be the second derivative of i**3/6 + 19*i**2/2 + 7*i. Let r be t(-13). Is r greater than 6?
False
Let w = 15 + -13.8. Let b = w + -0.2. Let z = 31 + -29. Which is smaller: z or b?
b
Let v = 0.3 - 0.1. Let p = v - 0.2. Which is smaller: -2/5 or p?
-2/5
Suppose -26 = 2*u + 3*h, 34 = u - 4*u - 2*h. Is u > -6?
False
Let t = -3 - -11. Let f = t + -1. Let h = f + -6. Which is bigger: 5 or h?
5
Let f be 5/10*(-2 - -20). Let r(a) = -a + 15. Let l be r(f). Let h be 5/(50/l)*1. Is 0 <= h?
True
Let z(h) = -h**3 - 8*h**2 + 9*h + 4. Let k be z(-9). Suppose 0*q = 5*i - q, 0 = -5*i - k*q. Is 1/3 greater than i?
True
Let g = 5.2 + -5. Let t = 0 - g. Let a = -0.1 + 0.2. Is t greater than a?
False
Let x(t) = 5*t - 8. Let f(b) = 11*b - 17. Let c(v) = -6*f(v) + 13*x(v). Let q be c(2). 