 smaller: s or 5?
s
Let c = -145/6 - -95/3. Is c > 9?
False
Let z be (2/(-4))/(1/2052). Let k = -66692/65 - z. Let r = -59/195 + k. Is r < 0?
True
Let n = -60 - -59.87. Let r = -1.1 - -1. Which is bigger: r or n?
r
Let p = -13 + 12. Suppose 3*u - 9 = -3*a, 5*a + 9 = -3*u + 20. Let l be a + (-45)/48 + 0. Which is smaller: p or l?
p
Let m be (2 + -1)/((-2)/(-6)). Suppose -2*c - 2 - 2 = -m*u, -3*c + 3*u - 3 = 0. Which is greater: c or -2/9?
c
Let m = -16 + 13. Which is greater: m or 2?
2
Let n(l) = -6*l - 2*l + 7*l - 7. Let z be n(-5). Are 0 and z unequal?
True
Let k = 3 + -2.7. Let g = -0.3 + k. Is g greater than or equal to 0.1?
False
Let f = -20/51 + 1/17. Suppose l + 2*o + 10 = 0, 6*l - 2*l + 2*o = -10. Suppose -4*u - 6 + 2 = l. Which is greater: f or u?
f
Let v be 3 + (-5)/(-5) + -1. Let l = 7 - 1. Suppose -l*j - v = -3*j. Is 3/7 bigger than j?
True
Suppose -4 + 64 = -15*g. Is 4 > g?
True
Suppose -l - v + 2 = -5, -13 = -l - 3*v. Suppose l*y - 4*x = -16, 3*y = 4*x + 5 - 21. Is y at most -2/5?
False
Let z = 235 - 3527/15. Is z < 1?
True
Suppose 0 = -2*l - 3*p + 11, -6 = -4*l + p + 9. Does 3 = l?
False
Let y(g) = 57*g**2 + 2*g + 2. Let x be y(-1). Is 57 at least x?
True
Let a = -169 - -168. Let q = -2 - -2. Suppose 2*u = -q*u + 10. Does u = a?
False
Let d(m) = m - 8. Let i be d(6). Let l be 3/((-4212)/2865) - i. Let b = 7/36 + l. Which is bigger: b or -1?
b
Suppose 4*t = 5*d - 208, 6*d - d = -2*t - 74. Is -49 >= t?
False
Let a(y) = y**2 + 3*y + 3. Let x be a(-3). Suppose -4*p + 0*p - 16 = u, x*p = -5*u - 12. Let j be 32/(-20)*10/p. Is j >= 4?
True
Suppose 0 = c - 16*c - 45. Let q = 0 + -1. Is c smaller than q?
True
Suppose -6*v = -3*v - 15. Is 4 at most as big as v?
True
Suppose -5*f + 15 = h, -4 = 4*h + 2*f - 10. Is -2/59 greater than h?
False
Suppose -2*m + 10 = 4. Let v = m - 3. Which is smaller: 4/5 or v?
v
Let y = 0.3 + -0.32. Let t = y - -3.02. Let b = 4 - t. Which is bigger: b or 2/3?
b
Let r = -735 - -3673/5. Let i = -1.3 - 11.7. Which is smaller: r or i?
i
Let p(l) = l + 3. Let v be p(-3). Suppose -h + 22 = 3*s + 3*h, 0 = h - 1. Let q(a) = a**2 - 7*a + 5. Let c be q(s). Which is smaller: v or c?
c
Let x = -33.8 + 34. Is 0.1 greater than x?
False
Let b = 0.3 + -0.1. Let f be ((-4)/5)/((-2)/10). Is f equal to b?
False
Let h(y) = -y + 10. Let w be h(10). Suppose 11 + 9 = -5*k, 3*d - 2*k - 17 = w. Which is greater: -3 or d?
d
Let d be (-2 + -6)/(6/45). Let v be (-21)/d + 15/(-20). Let y = -0.22 - 0.08. Which is greater: y or v?
y
Let b(m) = -4*m + 14. Let c(s) = -s + 1. Let o(z) = b(z) - 6*c(z). Let t be o(-6). Let j be (4/14)/(t/(-28)). Which is smaller: 3 or j?
j
Let k = -2 - -1.9. Let y = -1.6 + 1. Let t = 3.6 + y. Is k not equal to t?
True
Let i = 5 + -1. Let g = 1 - i. Let s = -10 - g. Does s = 0.1?
False
Let t(j) = -j**2 - 8*j - 9. Let w be 6/(-15) + 28/(-5). Let f be t(w). Which is smaller: 4 or f?
f
Let v = -137 - -225. Which is bigger: v or 87?
v
Let l be 24/(-84) + (-72)/(-7). Is l at most 11?
True
Suppose -4*v = t - 6*v - 12, -2*t = 4*v + 16. Suppose -5*f - 5*d = -2*d - 16, 0 = -f - 2*d - 1. Let h(r) = r**2 - 5*r + 2. Let m be h(f). Are t and m unequal?
False
Let r(f) = 1. Let a(d) = -d - 4. Let g(h) = -a(h) + 3*r(h). Let m = -2 - 6. Let n be g(m). Which is smaller: -2 or n?
-2
Let t = 1 - 0.8. Let x = t + -0.1. Let b = 217 + -1739/8. Is b <= x?
True
Let c be 30/2*4/(-10). Suppose -7 - 9 = -4*k. Suppose k*j - 1 = -21. Is c at least j?
False
Let d(i) = i**2 + 3. Suppose 4*u + 0*u = 0. Let j be d(u). Suppose -5*f = -2*v - 17, -j*f - 1 = 4*v - 6. Is v not equal to -1?
False
Let a = -12 - -17. Suppose -2 = -4*y - 0*y - w, 2*y = -a*w - 8. Is y not equal to 2/7?
True
Let u = 5 - 3. Let m be u + (0/(-2) - 0). Are 1/4 and m unequal?
True
Let i = -1 - -3. Suppose -t + i*t = -3. Let o be ((-2)/(-6))/(1 - 2). Is o less than t?
False
Suppose 15 = -2*u - 5*w, 2 = -3*w - 1. Are u and -6 unequal?
True
Let p = -52 - -37. Which is smaller: -14 or p?
p
Let w be 1/(-1)*2*3. Let f be (-636)/16 + 3/4. Let v be 4/w + (-28)/f. Which is smaller: -1 or v?
-1
Let b = -7 + 6.97. Let o(w) = -w - 10. Let d be o(-10). Which is bigger: d or b?
d
Let r(i) = -i + 10. Let l be r(8). Suppose -l*n - 5*j + 0*j + 2 = 0, -2*n + 2 = j. Which is smaller: 3/11 or n?
3/11
Suppose 6 + 66 = -9*s. Are -14 and s equal?
False
Let v(a) = a**2 - 5*a + 3. Let x be v(5). Suppose 5*p - 25 = -5*j, x + 13 = 4*j. Let g be ((-4)/(-2))/(p + -3). Which is smaller: 1 or g?
g
Let k be 58/(-18) - (-2)/9. Which is greater: k or -8/3?
-8/3
Let d = -3.33 + 3.2. Let c = d - 5.87. Let h = 5.6 + c. Which is bigger: 2/3 or h?
2/3
Let x = 4 - 23/6. Suppose 3*f - j - 5 = f, -4*f = 4*j + 20. Are f and x unequal?
True
Suppose 4*a - 8 = 4. Suppose -6 = z + 5*b, -a*z + 2 = -b + 4. Which is smaller: z or 1/14?
z
Let p = -1 - 0. Let x(j) = -j**3 - 5*j**2 - j - 3. Let f be x(-5). Suppose -f*o - 2*o = 0. Is o bigger than p?
True
Suppose 2 = j, g = -2*j + 2 + 2. Let w = 28 + -24. Are g and w non-equal?
True
Let v = -4.24 + 0.04. Let i = 4 + v. Is 2 greater than i?
True
Let x be 84/(-10) + (4 - 18/5). Which is bigger: -22/3 or x?
-22/3
Let a = -1 + -1. Which is smaller: -4 or a?
-4
Suppose 0 = 3*v + v + 36. Let p = v + 10. Which is smaller: p or -2/5?
-2/5
Let q = -62 - -560/9. Let a(z) = z**2 - 5*z - 1. Let f be a(5). Let v(i) = i + 1. Let l be v(f). Which is smaller: l or q?
l
Suppose -2*l + 4*l + 10 = 0. Are -5 and l nonequal?
False
Let q be (-9178)/(-14)*(-358)/18. Let h = q + 13039. Let u = -5/9 + h. Are 1 and u equal?
False
Suppose -a - 25 = -5. Is -21 less than a?
True
Let z be (-12)/32 - (-303)/(-24). Let s(p) = 3*p + 5. Let x be s(-6). Is z greater than or equal to x?
True
Let j = -2941941357/755336 - 999669/2104. Let n = 4370 + j. Let w = n - 700/3231. Which is smaller: 0 or w?
w
Suppose -g + 4*g = -12. Is 2 <= g?
False
Let o = -4 - -4. Let z be 1 + 2 + (-3280)/11. Let r = 295 + z. Which is smaller: r or o?
r
Let r = 0.9 + 0.1. Let z = r + -1.3. Let d = z - 0.1. Is -1 <= d?
True
Suppose -2*p = -8, -4*j + 2*p + 3 = -9. Let s be (2/(-4))/(j/(-20)). Which is smaller: s or 3?
s
Let t = -38/325 - -1/13. Let c = -34/225 - t. Is 0 greater than c?
True
Let r(g) = -2*g + 4. Let a be r(0). Which is smaller: -1/2 or a?
-1/2
Let z be -60 + (0/(-3) - 3). Let l be -1*(z/69 - -1). Which is greater: l or 0?
0
Let c(q) = q + 3 + 1 - 1 - 1. Let w be c(-2). Which is smaller: 0.2 or w?
w
Let p be 2/(1/1) + -14. Let c = -47/4 - p. Suppose 0 = 8*u - 4*u. Is u less than or equal to c?
True
Let x = -19 - -24. Suppose -4*c = d + 2, -4*c + 4 - 14 = x*d. Is 0 greater than d?
True
Let t(h) = h. Let i be t(4). Let p(o) = 4*o - 3*o + 6*o**2 - i - 3 - o**3. Let u be p(6). Is 0.3 smaller than u?
False
Suppose m = 5*m. Which is greater: -0.3 or m?
m
Let k be (9 + (1 - 1))/(-1). Let f = k - -13. Let u = 819 - 814. Is f equal to u?
False
Suppose 0 = z + z + 158586. Let f be z/(-231) - (-6)/21. Let u = f + -343. Does 0 = u?
False
Let n = -0.08 - 10.92. Let x = n - -11.1. Is 9 less than or equal to x?
False
Let q be (-3)/8 - (-4745)/13208. Is q greater than 1?
False
Suppose 8 = u + j, 10 = u + 5*j - 14. Let h = 1 - -2. Suppose 3 = -z, 0 = -0*n + n - h*z - 13. Is n at most u?
True
Let y = -1 + -2. Let r = -42 + 32. Let u = r - y. Which is smaller: -6 or u?
u
Let v(c) = c + 10. Let r be v(0). Let m = r - 9. Which is smaller: -1/8 or m?
-1/8
Let k = 70.9 - 67. Let j = k - 4. Which is greater: 5 or j?
5
Suppose d = 9 + 5. Suppose -1 - d = 5*h. Is -2 less than or equal to h?
False
Suppose 4*a + 8 = -52. Which is smaller: a or -41/3?
a
Let r = -0.054 + 7.054. Is r less than or equal to 1/2?
False
Let l = -25 - -24. Is l > -2/3?
False
Suppose -5*x = 4*p - 9, -5*p - 16 = -p. Let f(z) = z**2 - 5*z + 4. Let s be f(x). Suppose 4*a - 8*a = s. Is -1/6 less than a?
False
Let r = -1 + 0. Which is bigger: r or 2/37?
2/37
Suppose 0*o - s = -4*o, -4*o + 5*s = 0. Suppose 4*z - 10 = 4*c + 5*z, -c = -4*z - 6. Which is smaller: c or o?
c
Let f = 6 - 3. Suppose -t - f = 2*t. Which is smaller: t or -2?
-2
Let c be ((-6)/(-9))/((-4)/(-18)). Let w(z) = -z + 5. Let v be w(c). Suppose -1 = v*r - r. Which is smaller: r or -2/9?
r
Let d(g) = -g**2 + 7*g - 7. Let h be d(5). Suppose -3*b + h = -4*j, 1 = -j + 4*b - 3. Which is smaller: 7/2 or j?
j
Let x = -62 - 