2/411. Is 3 <= u?
False
Let h = 1/924 - -1801/43428. Which is greater: -1 or h?
h
Let p = -107 + 190. Is p less than or equal to 83?
True
Let i = -56/15 + 10/3. Let b = -0.06 - 2.94. Which is bigger: i or b?
i
Suppose -1 = 2*z - 3. Let w be -2 + -1 - 312/(-88). Is w at least z?
False
Suppose 0 = -l + 2*w, 0 = -3*l + 5*w + 2 + 1. Let z(b) = 0 + b**2 + 0 - l - 5*b. Let f be z(6). Which is smaller: f or -1?
-1
Let l = 26 - 36. Let d = l + 5. Let g = 5.2 + d. Which is greater: 2/11 or g?
g
Let f = 2.8 + -3. Let j = -87.9 - -83. Let m = 5 + j. Which is greater: f or m?
m
Let q be (6/8)/((-2)/(-8)). Let c(v) = 6*v - 6. Let a(r) = -2*r + 2. Let b(p) = 8*a(p) + 3*c(p). Let k be b(2). Which is smaller: k or q?
k
Let l = -0.084 - -0.284. Which is smaller: -0.12 or l?
-0.12
Let x = -4161944387/11525571 + 2/606609. Let i = x - -361. Let z = 1 - 1. Is i not equal to z?
True
Let i = -4.6 + 5. Suppose 10 = 6*j - j. Suppose -7*u = -j*u + 5. Are u and i nonequal?
True
Let c be 3/2*4/(-6). Let d = 116/7 - 17. Which is greater: d or c?
d
Let f be ((-2)/(-12))/(2/16). Let n = 0 - -4. Let b = n + -2. Are f and b unequal?
True
Suppose -5*f + 5*u = -40, 0 = -f - 3*f - 5*u - 4. Suppose 2*q + 18 = -5*n, 4*n + f*q - 2 = -26. Suppose 3*k = -i - 8, -k + 4*i = -4*k - 23. Is n equal to k?
False
Let i = -1/184 - -557/920. Which is greater: 2 or i?
2
Suppose 0 = -4*v + v + 18. Which is bigger: 4 or v?
v
Let r be 2/(-3) - (-8)/(-6). Which is smaller: r or 2?
r
Let f = -74 - -73.9. Is -25 bigger than f?
False
Let m = 0 - 0. Which is smaller: 1/3 or m?
m
Let m = -4 + 0. Which is greater: -5 or m?
m
Let m = 28 - 24. Suppose 0 = -6*b + m*b - 2. Does -6/5 = b?
False
Let z = 10 - 8. Are 2 and z equal?
True
Let g be 7/(-5)*1/(-14)*4. Suppose 2*p - 1 - 1 = 0. Which is smaller: p or g?
g
Let z = 0.4 + -0.2. Let y = -0.1 - 4.9. Is z at least y?
True
Let h = -7 + 8. Let p(s) = -s**2 - 8*s + 9. Let k be p(-9). Let c be k - (1 - 0/(-4)). Is h smaller than c?
False
Suppose 0 = -3*n + r + r - 13, -4*r = 2*n + 14. Is n greater than or equal to -6?
True
Suppose -3*r + 10 = -0*r - 4*h, r + 14 = -3*h. Is -1/2 smaller than r?
False
Let g = -4 + 7. Suppose g*v + 5*m + 50 = 0, -2*v + 3*m - 6 = 2. Is -10 > v?
False
Suppose -l = l + 2*u + 104, l + 77 = 4*u. Is l != -57?
False
Let a(l) = l - 4. Let n be a(4). Let s = 2 + 0. Suppose 0 = -4*m - 2*q + q - 9, -q = -3*m + s. Which is smaller: n or m?
m
Suppose f - 38 = -f - 2*k, -79 = -5*f + 3*k. Is 19 > f?
True
Let q = 0.022 + -0.102. Which is bigger: 0.1 or q?
0.1
Suppose -11*u + 48 = -8*u. Let w = 142/9 - u. Which is greater: w or 1?
1
Let l(i) = -i - 9. Let t be l(-9). Suppose 0 = 5*d - t*d. Is -0.2 equal to d?
False
Let z be (-2*(-4 - -37) + 4)/(-1). Is 62 < z?
False
Suppose 9 = -7*p - 2*p. Which is smaller: -1/4 or p?
p
Let g be -1*44/(-8)*2. Suppose -6*w = -g*w. Is -2/7 >= w?
False
Suppose -5*i - 10 + 50 = 0. Suppose 4*y + 4*j = -i, 8*j - 3*j = y - 16. Which is smaller: y or 0?
0
Suppose 3*a = -4*r - 17, -3*r + 2*a = -6*r - 12. Let x be 65/(-35) + (-1)/7. Does r = x?
True
Suppose 2*j + 4 = 2. Let i be (-1)/21*2*-3. Which is smaller: j or i?
j
Suppose -2*m + 16 = -0*m. Suppose 4*v + 43 = -5*t, -v - t - 4 = m. Which is smaller: v or -18?
-18
Let v be (2 - 0)*(-9)/(-6). Let y be 1*((-7)/v + 2). Let q = 0.4 - 0.5. Is y bigger than q?
False
Let w(r) = -r**2 + 6*r - 5. Let c be w(5). Suppose 5*z = -j - c*z + 28, 0 = j - 5*z + 22. Let d be -1*j/(3/2). Which is smaller: -3 or d?
-3
Let w = -46 + 51.2. Let u = w - 5. Is u greater than 2?
False
Suppose 9 = 4*t + 1. Let m = t + -2. Which is smaller: m or -8/7?
-8/7
Suppose 3*a + 22 + 29 = 0. Which is smaller: a or -16?
a
Let b = 0.074 + -31.074. Is -1/3 at least as big as b?
True
Let y be 8/(-50)*(4 + 26/(-4)). Which is smaller: y or 7/5?
y
Let v = 220 + -156. Which is greater: v or 63?
v
Let b = -6 + 5. Let p = 187 - 938/5. Is b smaller than p?
True
Suppose 10 = z - 20. Let k = z + -16. Let g be 18/k - (-4)/(-14). Which is smaller: g or -2/11?
-2/11
Let u be ((-49)/14)/((-1)/2). Is 7 smaller than u?
False
Let o(b) = 15*b + 1. Let f be o(-6). Let t = -63 - f. Let m = t + -53/2. Which is smaller: m or -2?
-2
Let m(v) = v**3 - 5*v**2 - 7*v + 29. Let g be m(5). Is -16/3 at most as big as g?
False
Suppose 5 = 3*h - 4. Suppose -5 = -h*y - 2*y. Is 2/5 at least y?
False
Suppose -3*o + 4 - 5 = -5*x, -2*o + 5*x - 4 = 0. Suppose -2 = o*k - 5. Is k <= 1?
True
Let q(c) = -c**2 + 3*c - 1. Let l be q(2). Let w be ((-4)/(-6))/(l/(-2)). Which is greater: w or 0?
0
Let p = 28 + -49. Is -2 bigger than p?
True
Let y be 6/33 - 1567/(-33). Let l = -47 + y. Is l less than 1?
True
Suppose -61 = 4*b + l, 3*l + l + 20 = 0. Suppose -10 + 80 = -5*t. Is t less than or equal to b?
True
Let c = 0.42 + -0.02. Let a = 0.6 - c. Which is smaller: a or -1?
-1
Let u be (-36)/45*(6 - 1). Let g = -3 - u. Is -1/4 at least g?
False
Let z = 2.6 + -5.6. Let i = -2 - -1.9. Is i < z?
False
Suppose 5*u + 5*u + 10 = 0. Is -27/2 at least u?
False
Suppose 3*u + 0 = 6. Let o(d) = d**3 - d. Let z be o(-1). Let s = z + 1. Is s > u?
False
Let x be 12/2 - 4 - 9. Let v be ((-4)/8)/(1/12). Which is smaller: x or v?
x
Let k be 1/((-1)/3) + 30/14. Which is smaller: 0 or k?
k
Let l = -3 - -11. Let j = -8 + l. Suppose j = -2*k + 10, 2*o - 2*k = -0*o. Are o and 5 equal?
True
Let k = -7/3 + 31/12. Which is greater: k or 0.7?
0.7
Let h = -2 - -2. Let d = h - 1. Is d greater than -1/3?
False
Let c be (6 - 4) + 5/(-4). Is 0.1 less than or equal to c?
True
Suppose 3*k = -k. Is k equal to -2/5?
False
Let r be ((-2)/6)/(1 + -3). Let h = -9.12 - -0.12. Let i = h - -9.2. Which is bigger: r or i?
i
Suppose 3*o = -y - 136, 4*y - o + 244 = 2*y. Let i be 4/(-7) + y/28. Does -6 = i?
False
Let a be 3*(-3)/(54/4). Let b(f) = -f**2 - 7*f + 1. Let z be b(-4). Suppose 0*o + 12 = -2*o - 5*y, 3*o + 5*y + z = 0. Which is smaller: o or a?
o
Let i(z) = z - 3 - 2*z - 1. Suppose g + 6 - 3 = 0. Let b be i(g). Which is smaller: 1/3 or b?
b
Let k be 1*-2*(-3)/(-6). Is k not equal to -3/29?
True
Let p = -0.3 - 1.7. Let w = 0 + p. Let u = w - -1. Are u and 0 unequal?
True
Let p be 0 + (-224)/58 - -4. Which is smaller: p or -1?
-1
Suppose -3*z - 6*z = 243. Which is greater: z or -28?
z
Let t(u) = u**2 + u - 1. Let o be t(2). Suppose -o*x = -4*x + 3. Let p = x - -2. Which is smaller: -2/9 or p?
p
Let f = 0 - -1. Is 6/11 at most as big as f?
True
Let b = 3 - 7. Let f = 6 + b. Let g = -4 - -5. Which is bigger: f or g?
f
Let d = 62 + -63. Let i be ((-4)/(-6))/((-4378)/(-1128)). Let h = i - -2/199. Is d less than h?
True
Suppose z - 62 = -2*z - 5*x, -2*z + 12 = -4*x. Let f = -12 + z. Let a = -3 + -1. Which is bigger: f or a?
f
Let f(b) = -6*b - 2. Let j be f(-1). Suppose j*c + 2*k + 27 = -3*k, 4*c - k + 9 = 0. Suppose 2*p + 25 = 3*t, -4*p = -8*p + 2*t - 30. Which is greater: c or p?
c
Let l = 6 + -4. Suppose h + 10 = -2*g, 5*h + 5 = -l*g + g. Which is bigger: h or -2/19?
h
Let h be 2/(-5) - (-62)/230. Are h and -0.1 equal?
False
Let l(n) = 1. Let v(g) = g + 5. Let c(z) = 6*l(z) - v(z). Let f be c(1). Is -1 less than or equal to f?
True
Let f(o) = -o**3 + 8*o**2 + 9*o + 22. Let u be f(9). Which is smaller: 21 or u?
21
Suppose -2 - 4 = -3*j. Let n be (-96)/(-4) + (-2 - -3). Let v = n + -22. Which is bigger: j or v?
v
Let r = -0.6 - 0.4. Suppose -4*x - 9 + 25 = 0. Is x bigger than r?
True
Suppose 2 = -w + 4. Let u = -24 - -14. Let g be 2/2*u/(-4). Which is smaller: w or g?
w
Let h(v) = -v**2 - 7*v + 4. Let f be h(-7). Suppose -10 = f*y - 2*s - 0*s, 2*s - 4 = y. Which is greater: 0 or y?
0
Let f = 14.92 + 0.58. Let h = 15 - f. Is -1 != h?
True
Let j = 12 + -18. Is -6 at least as big as j?
True
Let y(p) = -p - 1. Let g = -4 - 1. Let i be y(g). Suppose -i*w + 1 = -3. Which is smaller: w or 4/7?
4/7
Suppose 177 = 15*s - 303. Is 29 != s?
True
Let p = 8 + -6. Let q(l) = 8*l - 1. Let b be q(7). Let f = b + -221/4. Which is smaller: p or f?
f
Let s be (0 - -1) + (-5 - -28). Let f be (3/(-6))/((-21)/s). Which is smaller: f or 0?
0
Let b = -23 + 32. Let j = 7.7 - b. Which is smaller: 0.1 or j?
j
Suppose 3*k - 2*d - 2 = 0, -k + d = k - 3. Suppose -2*a + a - k = 0. Let r = -5 - a. Is r at most 1/4?
True
Let p = -1.13 - -0.13. Is -1 < p?
False
Let h(x) = -3*x + 2. Let l be h(-2). Are l and 6 equal?
False
Let g(t) =