-2)/t + 2/(-4). Which is smaller: r or f?
f
Let z(i) = -i**2 - 2*i - 1. Let w(j) = j**2 + 3*j + 2. Let r(c) = 3*w(c) + 4*z(c). Let p be r(4). Let b be 3/(-6)*(-4)/p. Do b and -1 have the same value?
False
Let w(l) = l**3 + 10*l**2 - 38*l + 6. Let s be w(-13). Which is bigger: s or -41/7?
-41/7
Let p = 49/345 - -4/69. Is 0.35 greater than p?
True
Suppose 10*u = 5*u. Suppose u = 5*h - 9 - 1. Which is smaller: 1 or h?
1
Let v(h) = h**3 - 23*h**2 + 24*h - 55. Let x be v(22). Let f(m) = -3*m**2 + 1. Let w be f(2). Is w at most x?
True
Let h = 1/305 + 289/4880. Suppose 4*y - 3 = -7. Is y at most as big as h?
True
Let d = -10303/45 + 229. Which is smaller: d or 0?
0
Let c be 20/5*1 - 4. Is 0 at least as big as c?
True
Let k = 0.13 + -0.03. Is k less than or equal to 0.08?
False
Let i(u) = 3*u - 1. Let m be i(2). Let v = 6 - m. Let z = 0.3 - 0.5. Which is smaller: v or z?
z
Let w = 19 + -9. Suppose 0 = 4*h - 3*a - w - 14, a - 5 = -3*h. Suppose -3*y = -h*m + 9, 0 = -0*y - 3*y - 12. Which is smaller: -2 or m?
-2
Let z(v) = -2*v + 4. Let w be z(3). Let c(b) = 5*b + 3. Let x be c(w). Is -6 > x?
True
Let k = 2 + 0. Let q(m) = -m**2 + 1. Let l be q(0). Which is smaller: k or l?
l
Let w = 3 - 18. Which is bigger: w or 2/5?
2/5
Let j = -28 - -28. Let z be 3/(j + 3/4). Are z and -2/17 unequal?
True
Let q be (4/6)/((-176)/24). Is 0 <= q?
False
Let h(y) = 26*y + 12. Let d be h(2). Which is smaller: d or 65?
d
Let t = -17 + 12. Let h be (-5)/(4/(-1) - t). Is h greater than -3?
False
Let j be 33/22*(-4)/(-9). Suppose -3*o - 5*u = -3*u - 2, 2*u + 10 = 3*o. Is o greater than or equal to j?
True
Let j = 0.25 - 1.25. Does 10 = j?
False
Let c = -5 + 10. Suppose 24 = -c*g + g. Let t be ((-9)/g)/((-3)/6). Which is smaller: t or -4?
-4
Let l be (-2)/8 + (-2)/(-4). Let c = 0.7 + 0.3. Is l less than c?
True
Let p = -7 + 7. Suppose -n - 15 = -4*v + 2*n, p = -2*v - 2*n - 10. Let i = -4 + 3.92. Are i and v non-equal?
True
Let c = 82/5 - 84/5. Let p = -2 - -2.1. Let v = -0.1 + p. Which is greater: v or c?
v
Let x(i) = i**2 - 5*i - 25. Let v be x(8). Which is smaller: 1/50 or v?
v
Suppose -3*c = -26 - 22. Let p = -9 + c. Is 7 >= p?
True
Let k = -13 + 15. Is k at least as big as 1?
True
Let h(j) = -j**2 + j. Let d be h(1). Suppose i + 3 = 0, -2*u = -d*u + 3*i - 13. Suppose 3*p - 9 = 3*a, 3*a - p = -2*a - u. Is a smaller than -3?
False
Suppose -r + 8 = -0*r. Suppose p = 3*p - r. Let l be ((-2)/p)/((-4)/(-8)). Are -1 and l non-equal?
False
Let w be 0*(-3)/(-12) - 0. Which is smaller: w or 1/20?
w
Let p be ((-1)/(-2))/(8/(-208)). Which is bigger: p or -15?
p
Let l(x) = 2*x**2 - x - 1. Let f(r) = -r**2 + 8*r - 13. Let v be f(6). Let z be l(v). Is 3 >= z?
True
Let s(i) = -2*i + 10. Let q be s(5). Is q at most 1/4?
True
Let o(u) = u**2 + 2*u. Let l be o(-2). Is 0 equal to l?
True
Let l = 269/5 - 52. Let d = 0.3 + 0.7. Which is smaller: l or d?
d
Suppose 0 = -4*h - z + 6, 0 = -2*h - 5*z - 0*z - 6. Which is bigger: 18/7 or h?
18/7
Let g be (0 + -1)*(-10)/2. Let p = -5 + g. Is -3 at least as big as p?
False
Let r = -2 - -4. Let w be (2/r)/(3/15). Suppose -d - 4*u = 3*d - 12, -2*d - 1 = -w*u. Is d greater than or equal to 1?
True
Let p = -2 - -2.6. Let t = -1.6 + p. Is t equal to 0.01?
False
Suppose -6*q - 6 = -12. Let j = 8.2 - -2.8. Are j and q nonequal?
True
Let a be ((-1 - 4)*1)/(-1). Let t = -7 + a. Is t at most -1?
True
Suppose -16 = 2*b + 2. Is b at most as big as -9?
True
Let i = -15 - -12. Let g be 2 - (36/i)/3. Is 5 at most g?
True
Let q be 4/10 - 423/45. Let u be -1*(10 + -2) + -1. Let r = u - q. Is r bigger than 0?
False
Let x be (-6)/(5/(-2) + 1). Suppose -w + 2*w - 3*l + x = 0, 2*w = -4*l - 8. Let a be ((-2)/3)/((-3)/(-9)). Is w at most a?
True
Suppose 3*d = -5*z + 106, 2*z + 151 = 4*d - z. Is 110/3 bigger than d?
False
Let q be 6/10*(-4)/(-6). Let n = 165 - 164. Is n > q?
True
Suppose 2*q - 3*m - 2 = -0*q, -4*q - 36 = 4*m. Let u be -8 - q - (-58)/18. Which is smaller: u or -1?
-1
Let a be 26/(-1)*(1 - 2). Suppose 0 = x + 4*r - 7*r, -4*x - r = a. Let k be 2/x - (-3 + 2). Which is greater: k or 2?
2
Let o be 1/(-1) + (-702)/(-18). Is 38 at least as big as o?
True
Let j = 2 - -1. Suppose 0*u - 6 = j*u. Which is smaller: u or -2/3?
u
Let p = -0.052 - 0.768. Let g = p + -0.28. Let f = -0.1 - g. Which is bigger: f or 3/5?
f
Let m(w) = w**2 + 4*w - 7. Let x be m(-3). Is x bigger than -74/7?
True
Let k be 21/(-28) + (-29299)/(-68). Suppose 3*p = 3*d - d - 863, -2*d + 2*p = -862. Let a = d - k. Which is greater: 1 or a?
1
Let i = -1.5 + 1.5. Do i and 0.06 have different values?
True
Let m = 3.5 + -6.5. Which is bigger: 0 or m?
0
Suppose -3*s + 20 = -4*y, -2*s - 3*s = -4*y - 20. Suppose -5*h = -s - 155. Let m = h + -95/3. Which is smaller: -2 or m?
-2
Let o be -3 + 2/((-12)/(-122)). Let i = o + -17. Which is smaller: 0 or i?
0
Let i = -7.86 - -8. Let p = i + 0.06. Let x = p + -1.2. Which is bigger: x or 1/4?
1/4
Let u = -14 + -12. Which is smaller: u or -2/5?
u
Let a = -2 - -3. Suppose -3*j = -j. Let f = j + a. Which is smaller: -1 or f?
-1
Suppose -k = -5*c + 4*k, -4*k = c - 20. Suppose -2*w + c*t = -8, t = 5*w + 3 - 5. Are -2/45 and w nonequal?
True
Let p(m) = m + 1. Let u be p(6). Suppose -u*s + 4*s = -3. Let k = -43 + 130/3. Which is smaller: k or s?
k
Suppose 0*u - 2*u + 8 = 0. Let n be 0*2*2/u. Suppose -3*y + n = 6. Is -3 at most as big as y?
True
Let o(v) = -v - 9. Let x be o(-11). Suppose 2 = 4*w - x. Is -1 less than or equal to w?
True
Let h be (-6)/(-9)*(3 + 0). Let j be (-13)/6 + 4/h. Which is greater: j or 0?
0
Suppose -2*v = -4*t - 20, 5*v - 4*t - 4 = 7*v. Let y be (-2)/(-8) + (-46)/(-8). Which is bigger: v or y?
y
Let a = -9/8 - -61/40. Let v = -0.02 - -0.09. Is a bigger than v?
True
Let l = 6.14 + -5.6. Let r = 2.36 + l. Let s = -3 + r. Which is greater: -2 or s?
s
Let w = -0.7 + 0.6. Which is smaller: w or -1?
-1
Let i = -51 + 34. Is -16 != i?
True
Suppose -r = -3, -2*z + 1 = -2*r - 1. Suppose -5*y = -4*q - 56, 0 = -2*y - z*q - 0*q. Is 8 > y?
False
Suppose 0*j - 3*j + 9 = 0. Let h be (-2 - 4)*-1 - 2. Let l be ((-5)/h)/(2/(-8)). Which is bigger: l or j?
l
Let i = 4 - -4. Let y(o) = -o**2 + 9*o - 12. Let u be y(i). Is u greater than -5?
True
Suppose 61 = 6*g - 23. Is g < 14?
False
Suppose 12 + 0 = 4*z. Suppose 3*h + 3 = 2*b - 4, -11 = -3*b + 5*h. Suppose -2*q + 8 = b*q. Which is smaller: z or q?
q
Suppose y - 43 = 5*v, 0*v + v + 3*y - 1 = 0. Which is smaller: v or 3?
v
Suppose -2*n = 5*u - 18, n + 3*n - 4 = -2*u. Let l = n - -9. Suppose -3*q - f + l = 0, -q = -2*q - 2*f - 4. Is 5 > q?
True
Suppose -5*f - 2*p + 3*p + 4 = 0, -4*f - 1 = -5*p. Let y = 141/4 - 35. Is y smaller than f?
True
Let t(x) = x**3 - 7*x**2 - 6*x - 10. Let w be t(8). Suppose -16 = -w*i + 2*i - d, -4 = -i + d. Suppose -v + 6 = i. Is 1 greater than v?
False
Suppose -1 = -i, -s + 4*i + 15 = -2. Suppose s = -q + 4*q. Which is smaller: 8 or q?
q
Let t be (9/(-18))/(2/(-4)). Is 1/5 not equal to t?
True
Let a be (66/(-45))/(26/(-42)). Let m = a - 36/13. Let l(y) = -2*y - 3. Let t be l(-2). Is m < t?
True
Let k = 0.16 - 0.06. Suppose 5*x + 0*x - 5*y = 20, 2*y = x - 9. Is x less than k?
True
Let g = 0 - 2. Let b(d) = 2*d**3 + d. Suppose -4*x = -2*x + 2. Let t be b(x). Which is smaller: g or t?
t
Let c = 81 + -129. Is -48 < c?
False
Let a be ((-54)/(-12))/((-3)/4). Which is smaller: a or -8?
-8
Let j(o) = 3*o**3 + 3*o**2 - 6*o + 6. Let f be j(2). Which is smaller: f or 29?
29
Let a be 4/(-50)*3/(-3). Which is smaller: a or -1?
-1
Suppose 3*m - 4*m - 4 = 0, -2*u = -5*m - 22. Let h = u - -5. Let o = h + -5. Is -2 equal to o?
False
Suppose -5*c + 6*c = 0. Let s be 2/(1 + (-2 - -2)). Suppose -z + 2*z + 3*p + s = c, 5*p - 2 = -3*z. Which is smaller: 3 or z?
3
Let a = -0.08 + -1.02. Which is greater: a or 0.01?
0.01
Let x be (1/2)/(5 + (-5048)/1008). Which is smaller: x or -62?
x
Suppose 3*r = 4 - 7. Let k be 2 + 2 + 124/r. Let f be 10/k - 6/(-8). Which is bigger: -3 or f?
f
Let j(w) = -w**2 - 4*w. Let c be j(-5). Let p(m) = -m - 5. Let d be p(0). Is c >= d?
True
Let h = -1.2 + 0.2. Let z = 10.8 - 12. Let j = z - h. Are j and 1 non-equal?
True
Let s = -4 - -3.8. Let q = s + -0.8. Let r = q + 2. Is r at least 0?
True
Let j = 0.05 - 3.05. Suppose 0 = 2*b + b. Suppose 3*a = -u + 4, -3*a - 2*a + u + 4 = b. Which is b