u - 13*u + u**3 + 3*u**2 + 6*u**2 - 6*u. Let y be h(-11). Are a and y non-equal?
True
Let q = 0.031 - -2.269. Let f = q - 2.5. Which is bigger: 1.1 or f?
1.1
Let l = -1/37 - 143/185. Suppose 0 = 2*f + 4. Let y be -2 - (-3)/(-6)*f. Is l < y?
False
Let l = 58 + -57. Let w = l - 0.81. Let t = 6 - 6. Is t at least w?
False
Let k be 50 + (-4 - -2) + 2. Suppose -l = 0, -5*h - 2*l + 15 = -k. Is h greater than 1/3?
True
Let z be (-10)/(-20) - (-1 + 6/4). Suppose 4*h = 16, -5*t + h - 2 = 7. Let r be t + (3 + 0)/18. Which is bigger: z or r?
z
Suppose j - 4 + 1 = 0. Suppose 4*k - n = 3*k - 3, 5*k + n = -j. Let u be (-2 - 4)/((-15)/(-2)). Which is greater: k or u?
u
Suppose 0*k - 9*k = -7*k. Suppose -3 = -2*x - 3*h + 25, -81 = -5*x - 2*h. Suppose k*s - s = 5*o - 28, -o + x = 4*s. Which is bigger: s or 0?
s
Let i be ((-1)/(-9))/(44/1122). Let p = i + -19/6. Is 1/8 > p?
True
Suppose 10*k - 38 = -28*k. Let d = 0.128 - 70.128. Which is greater: k or d?
k
Let q = -53/12 - -15/4. Let k be (20/12)/(1/3). Let g be (-21)/(-9) - k/(-15)*-9. Is q greater than or equal to g?
True
Suppose 4*l = 2*a - 48, 0 = -4*a + 3 + 13. Let n be (-4)/(-6)*90/l. Let c be 1*(7/1 - 1)*-1. Is n at least as big as c?
True
Let n = 733/3 - 244. Is -65 <= n?
True
Let u be 8*((-252)/(-8))/(-9). Let i = u - -57. Is i less than 27?
False
Let j be ((1 + -5)/(-248))/(2/(-4)). Which is bigger: j or -7?
j
Suppose -2*f - 2*m + 66 = 0, -3*f - m - m = -97. Is f less than 63/2?
True
Suppose 0 = 3*i - 2*f - 108, 20 - 128 = -3*i - 5*f. Is 37 greater than i?
True
Suppose 85 = 12*p - 575. Which is bigger: p or 59?
59
Let r = 21 + -20.993. Let f = -0.007 + r. Are f and -0.14 equal?
False
Let v(p) be the second derivative of -p**4/12 - 4*p**3/3 - 7*p**2/2 + 8*p. Let a be v(-5). Is 8 bigger than a?
False
Suppose -6*m + m + 20 = 0, -5*b - 3*m + 177 = 0. Is b > 31?
True
Suppose -91 = 45*v - 32*v. Suppose 34 = -2*k + 3*l, -2*l + 8 + 11 = -k. Which is bigger: k or v?
v
Let t be 1*(0 + (1 - 0)). Suppose -2*w - t = 7. Let d be (-1)/2 - 6/w. Are d and -1/8 equal?
False
Let a = 10 + -3. Let x = 7.1 - a. Let t = 0 + 0.01. Is t greater than x?
False
Let s = 0.5 + -5.5. Let b = -5.1 - s. Let a = 43 + -44. Is a less than or equal to b?
True
Let d(p) = -312*p + 11. Let f be d(1). Is -301 < f?
False
Let h = -262.29 + 265. Is h greater than 2/3?
True
Let a be 105/(-90) + 6/4. Which is greater: a or 0.51?
0.51
Let f be 3/(102/4) - 90/(-102). Which is smaller: 8/37 or f?
8/37
Let c(t) = t**2 - 34*t + 10. Let p(u) = 17*u - 5. Let k(z) = -3*c(z) - 5*p(z). Let q be k(6). Which is bigger: q or -10?
-10
Let z = 621.213 + -594.22. Let v = 0.007 + z. Is -0.1 at least v?
False
Let w = 101.4 + -99. Let q = -1.2 + 2.6. Let b = w - q. Is 0.4 >= b?
False
Let c = 6 + -21. Let l = 23 + c. Let a = -76/21 - -10/3. Is l equal to a?
False
Suppose -f = 5*d - 528, 5*f = d - 0*f - 116. Let r = d - 96. Suppose 0 = -n - 4*n + 40. Which is greater: n or r?
r
Suppose 4*a - 5*n - 15 = 0, -5*a - n + 6 = -3*n. Which is bigger: a or 4/3?
4/3
Let i be ((-12)/(-610))/(3/(-30)). Let d = -10/671 - i. Which is smaller: -6 or d?
-6
Suppose -3*y + 5*y = 2*v - 38, 0 = -y. Let p = v - 10. Let a be 2/p - 225/(-81). Which is smaller: 2 or a?
2
Let k = 0.056 + -12.056. Let a = 5 + k. Let s be (12/(-7) - -1) + 1. Which is bigger: a or s?
s
Let n(h) = 3*h - 10*h + 7*h + h - 14. Let c be n(11). Are 1 and c unequal?
True
Suppose 237*n = 248*n + 33. Which is smaller: -4 or n?
-4
Let l be (0 - 0)/(6 - 7). Suppose -3*i = l, -18 = -0*n - 3*n + 4*i. Suppose -4*z + 2*b - 4*b = n, 8 = -2*z - 2*b. Which is smaller: z or -2/37?
-2/37
Let c = 35/3 + -11. Let i be (-1)/(-2)*1/5. Which is bigger: c or i?
c
Let y(z) = -284*z**3 - 8*z**2 + 8*z - 1. Let s be y(1). Does s = -285?
True
Suppose 0 = 5*c - 4*u - 3, 0*c = -3*c - 2*u + 15. Let o(j) = 2*j**2 - 2*j - 1. Let q be o(-2). Let v be c/(-30)*q - -1. Which is smaller: v or 1?
v
Let q(p) = p**3 + 4*p**2 + 1. Let c be q(-4). Let g be (-11)/44 - (-165)/564. Which is bigger: g or c?
c
Let p = -799 - -799. Which is smaller: p or -7/179?
-7/179
Let q be (-1209)/637 - 1*-2. Let y = 775/392 - q. Which is greater: y or 2?
2
Suppose -3*n = 2*z + 244, 15*n = 17*n - 3*z + 167. Is -6 less than n?
False
Let g be 18487/(-2085) + 4/(-30). Let f(n) = n + 2. Let q be f(-3). Let a be (-1 - 0)/(q/(-10)). Is a greater than g?
False
Let d be (-1)/(-5)*0*1/(-2). Let v be (8/10)/(3/15). Suppose 0 = -v*h + 4 - 0. Which is greater: d or h?
h
Suppose v - 5 = -3*o, 0 = -2*o - 10*v + 13*v - 4. Is o less than or equal to 28/47?
False
Let g(w) = 7*w**2 + 189*w + 1. Let r be g(-27). Which is smaller: r or 1/47?
1/47
Suppose 29 = i - 4*q, 21*i - 18*i = 5*q + 73. Do i and 2 have the same value?
False
Suppose -11*o - 97*o + 432 = 0. Let m = 1 + 0. Which is smaller: o or m?
m
Let r = 273356/53 + -5158. Which is greater: -1 or r?
r
Suppose 0 = -5*u - 9 - 21. Let w be u/4 + ((-12)/8 - -4). Which is smaller: 1/33 or w?
1/33
Suppose -3*x + 48 = 3*d, d + 4*x = -x + 20. Suppose -2*l + 30 = 2*h, -3*h + 3*l + 52 = -l. Is h at least d?
True
Let r = -0.96 + -0.04. Let z be 4/22 - 5347/66. Let i = z - -81. Is r equal to i?
False
Let n(r) = r**2 + 4*r - 4. Let d be n(-5). Suppose 0 = f - 8*f + 21. Is d greater than or equal to f?
False
Let m = 0.14 - 0.34. Let q = -0.45 + 0.05. Let v = q + 0.4. Which is smaller: v or m?
m
Let o = 208349 - 1873046/9. Let a = 233 - o. Are a and -0.35 nonequal?
True
Suppose 3*x + 4 = -5*j, 7 = 2*j + 2*j - x. Let u be (-4)/(-10)*(11 - j). Let y(p) = p - 2. Let a be y(u). Which is smaller: 3 or a?
a
Let a be -2*(-2)/(-32) + (-2)/(-16). Suppose a = -10*g - 11 - 59. Is g <= -50/9?
True
Let h be (-20)/(-45)*4/8. Suppose 0 = 3*b + 2*b - 15. Suppose 2*n + b = -n. Which is bigger: h or n?
h
Let q = -2356 - -2357. Let i be (8/2)/(6/2). Is q smaller than i?
True
Let m = -645/19 + 28627/836. Which is greater: 1 or m?
1
Let r be ((-26)/6)/(-2 - 0). Let x = r + -79/42. Which is smaller: x or 2?
x
Suppose 0 = -3*m - 2*d + 4, 4*m + 0*d = -5*d - 4. Suppose m*l - 6 = l, -22 = -2*n - 5*l. Suppose 4*y = 2 + n. Is 4/5 less than y?
True
Let t(f) = 0*f**3 - 2*f**3 - 8*f + 1 - 3*f**3 + 4*f**3 - 9*f**2. Let d be t(-8). Is d bigger than -6/23?
True
Let y = 5619 - 5620. Let s = 3 - 3.5. Let m = s + 0.3. Which is smaller: m or y?
y
Let u = 1 + 1. Suppose 3*c - 26 = 2*i - 8, 0 = -c + i + 6. Suppose 2*a + c = 4*a + u*o, -o = 4. Which is bigger: a or 8?
8
Let w(n) be the third derivative of n**6/120 - 13*n**5/60 + 11*n**4/24 + 23*n**3/6 + 13*n**2. Let k be w(12). Are 10 and k nonequal?
True
Let c = 318 + -317.87. Which is bigger: 7 or c?
7
Let v(w) = -24 + 21*w - 62*w + w**2 + 19*w + 21*w. Let n be v(6). Are n and 4 non-equal?
True
Let s be (-2 + 3)*(-5 + 2 + 4). Let t be -1*s*(2 - 19). Are 2/3 and t non-equal?
True
Let q = 0.84 - 0.81. Let v = q - 0.23. Which is smaller: v or 26?
v
Let h be (42/7 - 8) + 256. Which is smaller: h or 253?
253
Let y(f) = f**3 + 8*f**2 - 1. Let d be y(-8). Let o(u) = u**3 - 4*u**2 + u - 1. Let i be o(4). Suppose -3 = i*p - 0*p. Is d bigger than p?
False
Let x be 6*(-7)/(-105) - 14/10. Are -16/39 and x equal?
False
Let x be 4*(-19)/10 + 4*1. Is -3 less than or equal to x?
False
Let l = -184 - -547. Is l smaller than 365?
True
Let k be (-126)/(-24) + -6 - 787/28. Is -29 < k?
True
Let g(u) = 1. Let c(y) = -y**2 + 2*y - 2. Let l(m) = c(m) - 5*g(m). Let p be l(3). Which is greater: p or -6?
-6
Let n be 66/9 - (-1 + 4/3). Suppose -n = -r - 2*z, -3*z - 4 = -2*r - 2*z. Let c = -0.2 + 0.3. Which is smaller: r or c?
c
Let y = 120 + -90. Suppose -y*t = -35*t + 15. Is 3 bigger than t?
False
Suppose 0 = 7*w + 8 - 29. Suppose 0 = -4*o + 3*x + 15, w*o - 2 - 12 = 5*x. Is o != 2?
True
Let z = 284 - 107. Suppose u - z = -4*f, f - u - 43 = -5. Suppose 32 = -3*i + 2*s, -4*s = -4*i - s - f. Is i less than -10?
False
Suppose -4*r - 58 = 14. Let j be (-3)/r + (-14)/36. Is -7/5 < j?
True
Let d be (-2 - -1)/(3/(-15)). Suppose 5*w - 3*h = 26, 1 + 29 = 5*w - 5*h. Suppose -a + d = w*a. Are -1/9 and a non-equal?
True
Let a(l) = 44*l - 692. Let k be a(24). Which is smaller: k or 366?
k
Suppose 5*p + 805 - 260 = 0. Is -108 < p?
False
Let y = -25.57 - -25.5. Which is greater: 2 or y?
2
Let w = -1 - -1. Let c = 0 - w. Is c < 2?
True
Let u = 150 - 82. Suppose -u = -10*h + 14*h