6)/24 + (-4)/(-6). Let b be -1*(u/(-6))/(-5). Which is greater: -1 or b?
b
Let n = -13 + 22. Let w = -13 + n. Is w > 2?
False
Let a(h) = -h + 10. Let u be a(8). Let o be u/(-5) + 10/25. Which is smaller: 1 or o?
o
Suppose -2*s - 60 = 4*c - 2*c, 84 = -3*c - s. Let t = c + 30. Suppose 5*w = 2 + 3. Which is bigger: t or w?
t
Suppose -36 + 0 = -4*o. Suppose -4*s + o*s = -30. Which is smaller: -8 or s?
-8
Let y = 99 - 421/4. Which is smaller: y or -5?
y
Let k(g) = -g + 10. Let u be k(9). Which is smaller: -4/23 or u?
-4/23
Let u = -12 - -9. Let p(k) = k. Let s(q) = -q + 1. Let t(b) = 5*p(b) + 4*s(b). Let a be t(u). Which is bigger: a or 1/2?
a
Let r(s) = s**3 - 4*s**2 - s - 3. Let i be r(4). Suppose 0 = -3*f + 4*f - 2*z + 5, -3*f - 2*z - 23 = 0. Does f = i?
True
Let c = -1/13446 - 5785138/47061. Let f = c + 123. Which is bigger: -1 or f?
f
Suppose -3*r + 7 = -50. Is r greater than 17?
True
Let j = -2/25 + 31/75. Which is smaller: j or -1/2?
-1/2
Suppose 3*s = 15 - 57. Are s and -13 equal?
False
Let x be (-2 + 0)/((-6)/12). Suppose -v = -x*n, n = 4*v + 4*n. Which is smaller: -2/5 or v?
-2/5
Let o(h) = 3*h + 4. Let q be o(-3). Let v be 2/q + 66/(-10). Let x be -1*(-2 - (v + 2)). Which is smaller: -2 or x?
x
Let y = -108 - -95. Is -12 bigger than y?
True
Suppose -5*r + 5 = -5. Suppose -s + r = 0, -y - 4*s = -5*y - 12. Is -2/15 at least y?
True
Let o(k) = k**2 + 4*k - 4. Let c be o(-5). Let d = -16 - -146/9. Which is smaller: d or c?
d
Suppose -11*j = -9*j. Which is smaller: j or 4?
j
Let l be ((-2)/(-8))/(1/4). Let z be (3/36)/((-1)/2). Is z <= l?
True
Suppose 5*r = 4*q + 3, 0*q - 5*r = -3*q - 1. Let d = -6 + 9. Let k be q/6*d/2. Which is smaller: k or -2?
-2
Suppose -5*b + 5 + 0 = 0. Let i = b - -2. Which is bigger: 0 or i?
i
Let i(j) = -j**3 - 4*j**2 - 6*j - 5. Let n be i(-4). Suppose -w + 1 = -4*f - 0, -f - n = -4*w. Which is smaller: f or 0?
0
Let d = -49/26 + 16287/130. Let z = d + -124. Is z < -1?
False
Suppose -2*j = 4*u - u - 11, -5*u + 4*j - 11 = 0. Which is bigger: u or -4/7?
u
Suppose 4*u = -0*s + 4*s - 20, -2*u = s + 1. Do s and 11/3 have different values?
True
Let j be ((-44)/(-16) + -3)/(2/(-376)). Is 48 greater than or equal to j?
True
Let s = 0.42 + 1.58. Suppose -3*q - 3*y = -9, -4*q + 11 = 2*y + 3*y. Suppose 0*u = -5*u + z - 20, -z - q = u. Are u and s equal?
False
Suppose -5*w = 5*u + 5, -5*u - w = -0*w - 3. Is u greater than or equal to -1/10?
True
Let t be 8/6 - 1 - -1. Let m = -112 + 113. Is t smaller than m?
False
Suppose -3*b = -3*o - 10 - 5, 6 = 2*o + 2*b. Let u be 1 - (-1 + (0 - o)). Let s be (2 + (-2)/u)/(-1). Which is greater: s or -2/3?
s
Suppose -6 = -3*p - 2*i, 4*i = -4*p + 7 + 1. Suppose b + b = p. Let h be (b/2)/(3/(-6)). Are 0 and h non-equal?
True
Let j = 40 - 20. Suppose j - 5 = -5*t. Let r = -2 + -1. Do t and r have different values?
False
Let y be 0 + 0 + (-3)/3. Let c be (7/(-231))/((-2)/12). Is c >= y?
True
Let n(s) = -s - 1. Let y(o) = -3*o - 3. Let b(w) = -4*n(w) + y(w). Suppose 0 = -5*v + 2*x - 12 - 13, -4*x + 35 = -5*v. Let j be b(v). Is j at least -2?
True
Let o(r) = -r**2 - 14. Let v be o(0). Are v and -15 non-equal?
True
Let y be 0/(3/((-9)/6)). Let t be 3 - 1 - y - 2. Let o = -2 - t. Is o greater than or equal to -5?
True
Suppose -w - 1 = -8*v + 6*v, 3*v = -2*w - 23. Which is greater: -11/2 or w?
-11/2
Suppose 0 = z + 2*z. Suppose -9 = 3*p, -3*i + z*i = 5*p + 15. Is 0 at least as big as i?
True
Let a = -11.7 - -12. Let c be (-43)/2 + 1/2. Let g be (-20)/c + 6/(-9). Is g <= a?
True
Let w be -6*(-16)/(-4) + 1 + 2. Is -21 > w?
False
Let l be (27/15 + -2)*(-9 - -8). Is l equal to 1?
False
Let c = -0.3 - -1.7. Let x = c - 1.2. Is -2 != x?
True
Let u = -570 - -31921/56. Is 0 != u?
True
Let i = 74 - 80.2. Let m = i - -5. Which is greater: m or 0?
0
Let k be (24/(-14))/((-4)/14). Let o be k/(-24) + (0 - 0). Which is smaller: 1 or o?
o
Let o be ((-6)/(-4))/(18/24). Which is smaller: -1 or o?
-1
Let d be 0/((7 - 3) + -7). Which is bigger: d or -1?
d
Let t = -38 - -39. Which is smaller: t or 2/13?
2/13
Let o = -2820/7 - -402. Which is bigger: o or -2?
o
Let i(a) = a**3 - 3*a**2 - 3*a - 2. Let r be i(4). Suppose -5 + 2 = -q. Is r less than or equal to q?
True
Let n be (-2 + 1 + -1)/(1 + 5). Which is greater: -6 or n?
n
Let v be 2 - ((-6)/2)/1. Suppose v*c = -8 + 23. Let p(f) = f**2 - 3*f + 2. Let m be p(3). Is c equal to m?
False
Suppose 2*n + 3*u + 2 = 8*u, 5*n - 3*u + 5 = 0. Let h = 1 - n. Do h and 2 have different values?
False
Let n = 20 + -27. Which is bigger: n or -4?
-4
Let v = 36 - 36. Is v equal to -6/41?
False
Let r = 128/693 - 2/693. Which is bigger: r or 1?
1
Suppose -v - 506 = 4*v - 2*k, -5*v = -k + 503. Is v less than or equal to -99?
True
Let r = 58/15 - 14/3. Let k = 29 + -30. Is k < r?
True
Let t = 28846/2265 - 353/302. Let c = t + -35/3. Is 0 < c?
False
Suppose w - 3 = -2*f, -2*w + 8 = -2*f + 2. Let g be 1*(f + -1 - -2). Is -3 at least as big as g?
False
Let s be 36/10 - (-8)/20. Suppose 0*z + 4 = s*l + z, 5*l - 3*z - 22 = 0. Which is bigger: l or 5/2?
5/2
Let o = 0.04 - 0.14. Which is smaller: o or 0.07?
o
Let a = -26 + 18. Suppose -i - 4 = -0*i. Does i = a?
False
Let s be 12/(-60) - 16/(-5). Which is smaller: 2 or s?
2
Suppose 2 = 4*n - 2*n. Suppose n = r - 1. Which is smaller: r or 3?
r
Let w = -0.05 + -0.01. Let t = 2.06 + w. Let f = t - 1.7. Is f > -0.1?
True
Let r be -4 + (-3)/((-3)/2). Suppose 0 = 5*v + 5*j - 5, -5*j + 5 = 3*v - 6*v. Suppose -5*k - 5 = -v*k. Which is bigger: r or k?
k
Let k(c) = c**2 + 9*c - 12. Let p be k(-10). Is -5 at least as big as p?
False
Suppose -6 = 2*c - 2. Suppose -4*p = 1 + 7. Is p greater than or equal to c?
True
Let q = 0.27 - -0.03. Let m = q + 0.2. Let y = -2.5 + m. Which is greater: -2/5 or y?
-2/5
Let q = -251/35 - -46/7. Is q equal to 5?
False
Let s(n) = -8*n - 14. Let c be s(-7). Let w be 7/c + (-14)/12. Is -5/6 <= w?
False
Suppose 2*g - g = 0. Is g >= -2/3?
True
Suppose -4*o + o + 12 = 0. Let t be 3*(-2 + 0 - -1). Let n = 0 - t. Which is bigger: o or n?
o
Let b = 59 + -21. Suppose 8*i = 31 + 1. Let p be (-10)/b*i/10. Which is smaller: p or 1?
p
Let t = -2.7 + -1.3. Are 0.2 and t nonequal?
True
Suppose -5*q = -h + 1, -5*h + 0*q = 3*q - 5. Is 3.1 < h?
False
Let u = -13.7 + 14. Let d = u - -0.1. Are d and -1 nonequal?
True
Let a = 3 + -9. Let c(w) = w**2 + 11*w - 17. Let b be c(-12). Is a less than b?
True
Suppose -12 = -4*s - 0*s, 4*b - 111 = -s. Is 28 < b?
False
Let z(j) = -2*j + 25. Let g be z(17). Is -9 at most g?
True
Suppose 0 = 12*u - 11*u - 3. Is u < 2?
False
Let r = -9 - -31. Let l = 114/5 - r. Suppose -9 + 4 = -5*i. Is l < i?
True
Let x be 390/9*12/8. Are 64 and x nonequal?
True
Let s = 1429/10 + -143. Is s at least as big as 0?
False
Let u = -14 - -10. Let q be (0 - 0)/(4/u). Which is smaller: 2 or q?
q
Let a be -2*1/4*0. Let g be (-1)/(-2) + 575/(-950). Is g >= a?
False
Let s = -16 - -18. Suppose 0 = -l + s*l + 2, -4*o + l + 22 = 0. Which is bigger: o or 3?
o
Let v be (-9)/378*2*2. Which is smaller: v or 0?
v
Let v = 8 + -18. Which is bigger: -7 or v?
-7
Suppose -3*q - 2 = 1. Let w = -996 + 12936/13. Let y = w + 82/117. Is q greater than y?
False
Suppose 18 = 5*m - 12. Let z be -1 + 8 - 1*2. Which is smaller: z or m?
z
Let q = 5 - 2. Suppose -3*h - 2*a = a + q, 2*h + 8 = -4*a. Let l = -1 - h. Is l at most as big as -4?
False
Let c be -5 + 5 + -3 - -1. Suppose 2*m + 6 - 2 = 0. Is c >= m?
True
Let k = 313/4496 + -2/281. Let j = -23/144 - k. Which is bigger: j or 1?
1
Let j = -182 - -1272/7. Which is bigger: j or -1?
j
Let j(y) = -y**2 + y + 3 + 2 - 3. Let o(c) = -c + 4. Let l be o(2). Let r be j(l). Which is greater: r or -1?
r
Let z(j) = j - 2. Let x be z(5). Suppose x = 5*t + m, -5*t - 5*m - 5 = -0*t. Which is greater: 2 or t?
2
Suppose 9*c - 651 = 2*c. Which is smaller: c or 2/7?
2/7
Suppose -7*v = -11*v + 16. Is 16/5 less than or equal to v?
True
Let o = 3.8 + 0.2. Let l = o - 6. Let p = 6 + -5. Which is smaller: p or l?
l
Suppose 3*c - 14 = -4*i + 1, -14 = -4*i - 2*c. Suppose -t = -5*t - 52. Let x = t - -15. Which is greater: x or i?
i
Let j = -25 - -42. Suppose -5*i - j = -2. Let d be ((-3)/i)/(3/(-3)). Are 0 and d nonequal?
True
Suppose 10*f - 5*f + 8 = y, -4*y + 2*f + 14 = 0. Suppose -2*z = -y - 9. Let c be -2*((-9)/z - -2). Is c at m