igger: x or p?
x
Let y be ((-2)/(-6))/((-2)/(-24)). Let q be (y/16 + -1)*-4. Suppose -3*g = -2 - 7. Is q at most as big as g?
True
Let b be (318/52 - 6)*(-8)/6. Is 1 equal to b?
False
Let r = 2133/7 + -305. Is r equal to 376?
False
Let o = -88.8 + 36.1. Let x = o + 53. Let n = -3 + 0. Which is smaller: x or n?
n
Suppose -4*j + 9*j + 2*j = 0. Let z = -2389870/153 - -15621. Let i = z - 10/9. Is j >= i?
True
Suppose -3*a + 2*a - 14 = 5*j, -2 = 3*a + 5*j. Suppose a*n + 26 = 218. Is 31 less than n?
True
Let c be (2/(-4))/((-6)/44)*6. Let d = c + -20. Is d at most -7?
False
Suppose -3*b = -p - p + 7, 4*b = 3*p - 10. Suppose -7*f + 2*f = p*j - 9, f = 5. Is -8 != j?
False
Let s = 56.8 + -58.8. Is s less than or equal to -12/23?
True
Let b be 6 - 387/(-18) - 8. Let p = 11 + 10. Which is smaller: p or b?
b
Let l be 7 - -1*(-6 + 2). Let h = -291 - -1175/4. Is h <= l?
True
Let d be 15/4*77/(-5). Let y = d - -58. Let p = -1941 - -1941. Are y and p unequal?
True
Let l(v) = -v**3 - v**2 + 7*v + 5. Let o be l(-3). Suppose -3 = 3*t + o*t - i, 3*i + 6 = 0. Are -5/11 and t nonequal?
True
Let y(c) = -4 + 2*c + 6 + 0 - 3. Let i be y(-1). Let h be 26/(0 + 1 + i). Which is smaller: -12 or h?
h
Let t = 308661/4664 - 728/11. Which is smaller: 1 or t?
t
Suppose -19*a - 207 + 17 = 0. Suppose 0*f = -f - 7. Which is smaller: f or a?
a
Let p = -726.88 - -727. Is p greater than -0.1?
True
Suppose -s + 3 = -1. Let j be (-13)/(-70) + s/(-14). Suppose 0 = 13*i + i. Is j not equal to i?
True
Let v(w) = -6*w**2 - 71*w - 51. Let h(p) = 2*p**2 + 24*p + 17. Let g(z) = 17*h(z) + 6*v(z). Let s be g(-8). Are s and -1/3 equal?
False
Suppose 0 = 4*m, -x + m - 2*m = 4. Let a be (-1)/((2/x)/(-1)). Let j = 35/33 + -103/66. Is j bigger than a?
True
Let l(z) = -2*z + 9 + 31 + 23. Let k be l(12). Is 40 equal to k?
False
Let j = 0 - -6. Let r be 0 - -16*4/8. Do j and r have different values?
True
Let b be 1*(-32)/(-12)*(-11 + 2). Let x = -21 - b. Is 0 less than or equal to x?
True
Let n = 5.71 + -5.61. Is 320 less than n?
False
Let t(c) = -c**2 - 9*c + 1. Let v be t(-5). Which is bigger: v or 0?
v
Let x = 6.26 + -6.2. Which is bigger: x or -3/13?
x
Let l(v) = v**3 + 4*v**2 + 4*v + 3. Let f be l(-3). Let g = 1 + -6. Let z be ((-3)/g)/(4/(-5)). Which is greater: z or f?
f
Let p(n) = 20*n**2 + n - 1. Let h be p(1). Suppose 70*x = 179 - 109. Which is bigger: h or x?
h
Suppose 259*w - 276*w + 4097 = 0. Which is smaller: 237 or w?
237
Let m = 0.16 + -0.2. Let p = 60.86 + -60. Let s = p - -0.14. Is s less than m?
False
Let c = 686/221 + -58/17. Let p = -0.05 - -0.05. Which is bigger: p or c?
p
Suppose 2*p = -p - 12, 5*p + 28 = -j. Let i = 514 + -528. Does j = i?
False
Let s = -68 - -68. Let y = 7 - 21. Let i be (-4)/y - 2/(-91). Which is smaller: s or i?
s
Let c be 6/21*98/182. Which is smaller: c or -23?
-23
Suppose 4*n - 12 = 0, -n = 4*k + k + 102. Let q be 7*(3 - (-81)/k). Suppose -4*l + 0*l + 4*c + 12 = 0, -l - 27 = 5*c. Which is bigger: l or q?
l
Let i = 17 - -4. Suppose -3*f - 4 = -a + 4, a + 5*f = 40. Is i bigger than a?
True
Let r = -4592 + 9185/2. Let v = 2842/43 - 66. Which is greater: v or r?
r
Let n(q) = -2*q**2 - 6*q - 1. Let b be n(-2). Suppose 8*u - 3*u + 48 = r, 324 = 5*r + b*u. Is 62 equal to r?
False
Let n be (3/2)/((-42)/8288). Is -296 at least as big as n?
True
Let u be (183/(-2565))/(872/940). Let l = -2/981 + u. Is 1 <= l?
False
Let w be (32/(-12))/(3/9). Let z = 21 + w. Suppose 3*s + 4*l = z, l + 0*l = -s + 3. Which is bigger: -2 or s?
s
Let o be 155*(-4)/(-20)*31. Which is greater: -0.1 or o?
o
Let l = 10.1 - 12.8. Let p = 47.7 + l. Is 0.2 greater than p?
False
Suppose -3*n - 22 = -5*n. Suppose 420 - 953 = -41*i. Is i less than or equal to n?
False
Let y(x) = x**2 - 2*x + 3. Let o be y(5). Let l be ((-132)/10)/(42/140). Let g be o/42 - l/(-119). Which is greater: g or 1?
1
Let s be 18*(3 + 16/(-6)). Let h be 852/(-36) - 2/s. Let l be 3/9*126/h. Which is bigger: -2 or l?
l
Let n = 311 + -318. Which is smaller: n or 32/3?
n
Let y = -64.24 + 63. Let a = y - -0.24. Let d = 0.07 + 0.06. Is d >= a?
True
Suppose 2*o - 6*z + z = 134, -2*z = 3*o - 220. Which is smaller: 0.1 or o?
0.1
Suppose -c = 3*g + 18, 3*g - 13 + 4 = 2*c. Suppose -2*d = -2*q + 6, -5*d - q + 3*q - 30 = 0. Let r = c - d. Which is smaller: 0 or r?
r
Let l = -0.8 - -1.1. Let x = 26.8 + -27. Let w = x + l. Which is smaller: -0.2 or w?
-0.2
Suppose -41*h = -53 + 12. Are h and 29/15 equal?
False
Let g be 8/76 - 1334/38. Is g >= -33?
False
Let a(b) = b**3 + b**2 + b + 1. Let r be a(0). Let p = -2 + r. Let s = -184 - -369/2. Which is bigger: p or s?
s
Let u = -8166 + 34225/4. Let g = u + -101453/260. Are 1 and g equal?
False
Let i(y) = 2*y**2 - 36*y - 50. Let l be i(18). Is -54 smaller than l?
True
Let t = 36967/4845 + -13/255. Is 8 at least t?
True
Let r be 42/(-28)*(-52)/6. Suppose 21 + 27 = 4*i. Suppose 0 = -3*j + i, 8*h - 82 = 3*h - 3*j. Which is bigger: r or h?
h
Let z be (-5 - (-3 + 0)) + 2. Let r be (2 + -4)*(z - -1). Let o be -2*r/(-4 + 18). Which is smaller: -0.12 or o?
-0.12
Let s(i) = -18*i - 38. Let y be s(-3). Are 14 and y nonequal?
True
Let l(b) = -3*b + 1. Let q be l(-2). Let w(u) = u**3 - 7*u**2 + 1. Let p be w(q). Let a = -18 - -20. Are p and a unequal?
True
Suppose 587*n + 56 = 583*n. Are n and -2 unequal?
True
Let l be 6/8 - (-2)/8. Let d = -2094/11 + 588403/3091. Let h = 1131/1967 + d. Which is smaller: h or l?
h
Let n = -167 + 57. Let h = n + 58. Is -1 less than or equal to h?
False
Let m = -19/132 + -1/165. Is m greater than or equal to 1?
False
Let q = -11.96 - 0.04. Let t = q + 1. Let g = t + 11. Is g at least as big as 19?
False
Let v(u) = u + 6. Let h be v(-13). Let s be (12 + h)*(-1 + 2). Suppose 35 = 5*x + 2*a + 3*a, -2*a = -4*x + 34. Is x greater than s?
True
Let i be 5*3/60 + 1242/(-5032). Let x = 984/86173 + i. Which is greater: -1 or x?
x
Let n = -183.03 + 184. Let j = 7.97 + -8. Let m = j - n. Which is bigger: m or -3/2?
m
Let f(q) = -2*q**3 - 2*q**2 + 34*q + 171. Let p be f(-10). Are 1631 and p equal?
True
Let w be -15 + (-12 - (-8)/1). Which is greater: w or -16?
-16
Let o = 120 + -31. Let f = o - 117. Which is greater: -0.1 or f?
-0.1
Suppose 14*j = 47 - 19. Is 11/9 smaller than j?
True
Let l = -19 + 39. Is l > 27?
False
Suppose -4*x + 40 = -0*v + 3*v, -3*x - v + 25 = 0. Is -2/5 < x?
True
Let g = -393.7 + 416. Let q = g - 22. Is -5 < q?
True
Let m be 2/6 - (-10)/6. Let g be 10/m*12/(-15). Let i be 2/7*2/g. Which is smaller: i or 1?
i
Let b = 29/100 - 1/25. Suppose -2*o + 5 = 1. Let s be o/(-6) + (-10)/15. Which is smaller: b or s?
s
Let u = 35 - 1363/39. Let x = u - -64/273. Suppose 2*t + 4*q - 18 = 0, q + 11 = 15. Is x > t?
False
Suppose 5*n - 226 = 4*y, -11*y + 6*y = -5*n + 285. Do y and -59 have different values?
False
Suppose 4*n = -5*k + 1788, 9 = -3*n - 0*n. Which is greater: k or 719/2?
k
Let x be (-6 + 63/14)*(-5 - -1). Let l be 1/(-3) + (-85)/(-12). Which is smaller: x or l?
x
Suppose 0 = 3*b - 0 - 3. Suppose -2*o + 4*r = 2*o - 4, -3 = -3*o + 4*r. Let j be (-3)/(3/(-1))*o. Do j and b have different values?
False
Suppose 158 = -u + 5*l, -17*l = -14*l + 6. Is -4 < u?
False
Let f = 1 + 36. Let b = f + -35. Is b smaller than -0.7?
False
Let d be (-1 + 2/(-4))/1. Let j(h) = -112*h + 1711. Let l be j(15). Which is smaller: l or d?
d
Suppose -14 = -4*a + 2*b, 0 = 4*a - 0*a - 3*b - 13. Suppose 6*d - a*d = -2. Is d bigger than 1?
False
Suppose 4 = t + 3*t. Which is bigger: t or -2/161?
t
Let l be (2 - 1)/(0 + -1). Let x be l/((20/(-8))/(-1)). Let o = 0.1 - 0.06. Which is smaller: x or o?
x
Let v = -33 + 42. Let g(i) = i**2 - 8*i - 16. Let n be g(v). Is -7 < n?
False
Let b = -7212/7 + 1030. Which is bigger: b or 47/4?
47/4
Let m(i) be the first derivative of i**4/4 + 4*i**3/3 - 19*i + 20. Let b be m(-5). Is -44 < b?
False
Let g = -1799 - -1797. Which is bigger: -21/8 or g?
g
Suppose -b - 3*b - y + 17 = 0, 0 = -3*b + 5*y - 16. Suppose -2*f + 5 + 3 = 0. Suppose -36 = -f*o - 4*c, -5*o - 3*c = -o - 31. Which is greater: b or o?
o
Suppose 5*s - 5*y = 0, 0 = -2*s + 4*s + 4*y. Let l be s + 18/15 - 1. Let f(j) = j**3 + 5*j**2 - 6*j. Let t be f(-6). Is t > l?
False
Let c = 0 - -0.1. Let z = 4554 + -4594. Which is smaller: c or z?
z
Let o = 571/2 + -285. Which is greater: 5/11 or o?
o
Let b(q) 