 Let s = -13 + l. Let h be 20/(-3) - (-4)/6. Is h less than or equal to s?
True
Let h be (4 + 26)*24/(-10). Let q be (-2)/(-3)*h/16. Let p(i) = -i**3 - 2*i**2 + 2*i - 1. Let w be p(q). Which is bigger: w or 0.1?
w
Let l = 410 - 2864/7. Is 0 not equal to l?
True
Suppose -5*j - 2*o + 3 = 0, -3*j - 3*o + 9 = -0*o. Let b be (-3)/2*6/20. Let f = b - -1/20. Is f at least as big as j?
True
Suppose -4*q = -2 + 6. Let n(w) be the first derivative of 3*w**4/4 - w**2 - w - 2. Let p be n(q). Is p > -2?
False
Let s(l) = l**2 - l - 9. Let x be s(0). Let w be 3/(-6)*(-8)/x. Which is bigger: 0 or w?
0
Let j = 3 + -5. Let r be 3/(-4) - j/(-8). Let l = 2 + -2.2. Which is bigger: r or l?
l
Let w = 10 + -8. Let x = -2 + w. Is -3 at least as big as x?
False
Let h be 0/((-6)/(1 - -2)). Let j be 1 - (2 + -3)*1. Suppose 0 + 2 = -4*w - j*n, 3*w = -5*n - 12. Is w >= h?
True
Let p(g) = 4*g**3 + 4*g**2 - 2*g + 2. Let q(y) = -y**3 + y + 1. Let m(j) = -p(j) - 5*q(j). Let f be m(5). Let o be -5*(2 - (-39)/(-15)). Is o greater than f?
False
Let u = 0.07 + -0.07. Which is bigger: u or 6?
6
Suppose -3*s = -5*y + 17, 2*y - s + 17 = 6*y. Suppose -n - 9 + 2 = -4*m, -y*m + 9 = n. Let v = m + -3. Which is greater: -2/3 or v?
-2/3
Suppose 5*u - 3*n - 45 = 0, 49 = 4*u - 2*n - 3*n. Let t = 7 - u. Let k = -21/4 + 5. Are t and k unequal?
True
Suppose -3*q = 5*d + 14, 2*q - 3*q - 5*d - 18 = 0. Is q at least as big as 4/7?
True
Let b(f) = 6*f**3 - 6*f**2 + 2*f - 1. Let i(h) = 5*h**3 - 6*h**2 + 3*h - 2. Let n(p) = 4*b(p) - 5*i(p). Let z be n(5). Which is smaller: 2 or z?
z
Let l be 50/(-2)*(-18)/15. Let z be l/(-8) - (-6)/(-24). Which is greater: z or 0?
0
Let l = -0.8 - -4.8. Let w = 4.3 - l. Let u = w - 0.2. Is -0.1 <= u?
True
Let k be -8 - -3*3/3. Let y = k + 5. Which is smaller: -1 or y?
-1
Let z be (-1)/(3 + -7 + 2 + -2). Is z at least -8?
True
Let v = -42 + 50. Does v = 8?
True
Let g be (7/2 - 2)*2. Let v = -3 + g. Let a be 4/(-6) + 1 + v. Is a != 2/5?
True
Let d(c) = -2*c - 6. Let r be d(-4). Suppose r*t - 3*m = -t, 4*t + 2*m = 30. Suppose -3*x + 4*w = -2*x + 4, t*x + 20 = -2*w. Which is greater: x or -5?
x
Let h be ((-5)/(-25))/(56/(-30)). Which is bigger: -1 or h?
h
Let s = -3/308 - -1579/4004. Let b = s - -1/65. Which is smaller: 3 or b?
b
Suppose 19 = -2*d - o + 4*o, 4*d = 4*o - 36. Let j(v) = v**3 + 8*v**2. Let q be j(d). Suppose 2*w + 2 + 12 = q. Which is greater: w or -8?
w
Let s(q) = 45*q. Let w be s(1). Suppose 0 = -4*l - l + w. Let z be 3/(l/(-6)) + 6. Which is bigger: 3 or z?
z
Suppose -f - 3*o + 0*o + 19 = 0, 2*f - 10 = o. Which is smaller: 8 or f?
f
Let a be ((-3)/172)/(9/(-105)). Let f = -2/43 - a. Which is greater: f or -1/3?
f
Let w = -38/105 + 1/35. Let j(r) = r**2 + r - 1. Let x be j(-2). Are w and x non-equal?
True
Suppose 4*t + t = -210. Which is smaller: t or -43?
-43
Let x(d) = -d - 9 + 9. Let v be x(0). Let o be 2 - ((1 - v) + 1). Is o smaller than 1/4?
True
Suppose 0 = -u - 4*u. Let m be 4*(-1)/(-2) + -6. Let f be m/((-4)/(-3)) + 2. Which is greater: f or u?
u
Let a = 13 + -13.4. Let l = 0.08 + -1.08. Does a = l?
False
Let y = -1.8 - 0.2. Let p = 8 + y. Which is greater: 0 or p?
p
Let j be 6/(-8) - 185/(-300). Is 1 at least j?
True
Let w be 1*(-3 + 2) - 4. Let o be (2/(-5))/(8/w). Which is smaller: o or 2/11?
2/11
Let i = -37.1 + 32. Let d = 1.25 + -6.25. Let l = i - d. Which is bigger: l or 1/4?
1/4
Let b be (-3830)/(-770) - (-5)/(-1). Which is greater: 0 or b?
0
Let j(x) = -x. Let b be j(0). Suppose 3 = -3*t - b. Are t and 1/8 equal?
False
Let a = -0.11 + -0.89. Is a greater than or equal to -6?
True
Let d = 2 - -5. Let u(w) = w**3 - 8*w**2 + 8*w - 1. Let a be u(d). Suppose -3*t = -a*p + 2*p + 10, -8 = 2*p + 5*t. Which is smaller: -2/21 or p?
-2/21
Let o = -126 + 103. Are -22 and o non-equal?
True
Let l = 10 - 28. Which is greater: l or -19?
l
Suppose 16 = 3*m + m. Suppose 6 = -m*r + 2*v, r + v = -r + 3. Let u be 12/4*2/42. Is r less than or equal to u?
True
Let n be 3/(-2)*2*-1. Suppose 0 = -0*k - 3*k + 3. Which is smaller: n or k?
k
Suppose 3*l + p + 49 = -4*p, l + 23 = -3*p. Is l > 3?
False
Let j = -43 - -43.12. Is -0.3 less than j?
True
Suppose -26*a - 33 = -15*a. Is -4 < a?
True
Let w = 44 - 31. Suppose -4*h + 3 = -w. Which is smaller: 1/5 or h?
1/5
Let i = -36 + 36. Is -17 <= i?
True
Let o(a) = 11*a - 2. Let k be o(-2). Let v be 142/((2*-9)/(-3)). Let x = v + k. Which is smaller: x or 0?
x
Suppose 25 = -5*c - 0*c. Suppose -i + 3*i + 9 = l, -2*l = 2*i. Let w(q) = q**2 - 3*q - 4. Let g be w(l). Which is bigger: g or c?
g
Suppose 0 = -4*v - 5*l - 65, 9 + 16 = -5*l. Let i(r) = r**2 + 11*r - 7. Let y be i(v). Is -16 at least y?
True
Let m be -2 + 7/1 + -3. Suppose m = -y + 6. Is y less than or equal to 1?
False
Let i be (-2)/(-5) + (-18)/(-5). Let p = i - 2. Are p and 2 non-equal?
False
Let c = -11 + 5. Let b be 33/6 + c/4. Let z be 4 - 4 - -1*3. Which is smaller: z or b?
z
Let c(p) = -p**3 + 3*p**2 - 3*p + 1. Let r be c(2). Which is greater: -2/9 or r?
-2/9
Suppose 3*c + 3*i - 6 = 0, -4*c - i + 24 = 7. Suppose -16 + 61 = c*r. Let a = r + -8. Is a > 1/2?
True
Let j be (-4)/(-6) + (-42)/9. Let i = -3 - j. Is -2 < i?
True
Let l(g) = -2*g - 31. Let o be l(-8). Is -14 greater than o?
True
Let y be ((-1)/5*-58)/((-176)/(-110)). Is 7 at most y?
True
Suppose 13 = -4*j - 3. Let i(g) = g**3 + 4*g**2 + 2*g + 2. Let t be i(-3). Suppose -t*n = -3*u + 16, -u + 0*n - 13 = 2*n. Is j != u?
True
Suppose -5*n - b + 147 = 0, -4*b = -4*n - 0*n + 132. Is 31 at least as big as n?
True
Let o = 0.9 + 5.1. Let r = o + -6.3. Let u = -0.4 - r. Is u equal to -4?
False
Let k = 32 - 33. Which is smaller: k or -0.5?
k
Suppose 3*j - 35 = -2*j. Suppose -10*l = l - 77. Is l bigger than j?
False
Let z be (-8)/(-5)*3/36. Suppose 0 = d - 3*a - 5, 3*a + 4 = -2. Which is bigger: d or z?
z
Suppose -2*k - h - 3 = 11, h + 2 = 0. Let j = -7 - k. Let p = 48/5 - 10. Which is smaller: j or p?
j
Let l = 0.923 - 0.033. Let a = l + 0.05. Let o = 0.06 + a. Is o < 0.2?
False
Suppose 2*v = s, -5*v = -s - v. Suppose 0*r - r = s. Suppose r = m + 2*m. Is m at most 1/4?
True
Let k = -0.06 - -0.36. Let p = k - 0. Let a = -3 - -4. Is p equal to a?
False
Let p = -7 + -4. Let r = p + 4. Which is smaller: 0 or r?
r
Let b be (2/6)/((-1)/6). Which is smaller: -12/11 or b?
b
Let s be (-4)/6 - (-64)/24. Let w be s/4*(-36)/8. Is w at most -1?
True
Let p(x) = 5*x - 5. Let r(h) = -4*h + 4. Let y(c) = -3*p(c) - 4*r(c). Let m be y(2). Which is greater: 6/7 or m?
m
Let h = 1049 - 87065/83. Is h < 0?
False
Let p = 6.4 - 8.4. Which is smaller: p or -33?
-33
Let x be -3*(-2 - -6) - -3. Let d be 3/x*6/(-2). Do 3/10 and d have the same value?
False
Let h be 16/(-7) - 8/(-28). Let z be h/(-4) + 3/6. Let k = z - -1. Is k at most as big as 1?
False
Let y be 2 - (-5)/((-465)/(-72)). Let h = 436/403 - y. Let x = -128/91 - h. Which is smaller: x or 0?
0
Let w = -7 + 11. Let u(t) = t**3 - 5*t**2 + 5. Let r be u(5). Let n = r - 0. Does w = n?
False
Let d = -27 + 25. Let u = 3 + -2. Which is greater: d or u?
u
Let c = 4 - 3. Let k = 4 + -3.8. Let j = -0.3 + k. Which is smaller: j or c?
j
Let m be (7/7)/(3/1). Which is smaller: m or -18?
-18
Let z = 209/39 - 16/3. Let o = 4/13 + z. Which is smaller: o or -2/7?
-2/7
Let k(q) = -q**2 - 8*q - 9. Let n be k(-6). Suppose -6 + 21 = 3*m. Let v = n - m. Are v and -1 nonequal?
True
Let f(j) = j + 4. Let h be f(-3). Let y be -2 + -7 + (2 - 0). Let l be (-12)/y + 1 + -3. Is l at least h?
False
Let q be 51/15 + (-4)/10. Suppose q = v + 1. Let s be -3 - (v + (-93)/15). Which is bigger: 0 or s?
s
Let g = 3 - 0. Suppose 3*h + g*l = 0, h - l + 2 = 4*h. Let y = -2 + h. Which is smaller: -3 or y?
-3
Suppose -2*i = 3*p + 2, 1 = p - 2*i - 1. Do p and -35 have different values?
True
Let h = 1 + 0. Let n = h + 0. Let b be 1 + n + (-8)/2. Which is bigger: b or -3/5?
-3/5
Let h = 2489/7 + -355. Is 2 greater than h?
True
Let a(k) = k**2 + 5*k - 7. Let d be a(-7). Suppose 0 = d*l - 2*l. Is l < 1?
True
Let p be 2/(-20) - (-21)/35. Which is smaller: p or 2?
p
Suppose o - 10 = 3*o. Let l = o + -11. Is l smaller than -16?
False
Let v be 1/4*-2 + 0. Suppose -5*k + 4*c = 5*c - 5, -3*c - 17 = -k. Suppose -4*h - 3*r - 17 = 0, 7 + 4 = k*h - 5*r. Are v and h equal?
False
Let q be (-10)/(-36)*(-6003)/180. Let b = -434 - -