a(-17). Let k be o(t). Is k > -11?
False
Suppose -113 + 119 = -c. Let m be -7*(-1 + 0 + 2). Let s = c - m. Is s < -2?
False
Let d = 27/10 + -313/90. Let p = d - -10/9. Let s = 0 + -1. Is p greater than or equal to s?
True
Let x = -11 + 11. Suppose x = -f - f. Are -2/25 and f equal?
False
Let f = -43 - -91. Let g = f - 51. Which is smaller: g or 1/9?
g
Let g = 24885 - 224753/9. Let w = -90 - g. Which is smaller: -1 or w?
w
Let h(j) = 2*j**3 + 5*j**2 + 11*j + 2. Let o(s) = s + 1. Let u(y) = -h(y) + 5*o(y). Let w be u(-3). Which is smaller: w or 32?
w
Let m be (2 - 1)*(38 + 37). Is m > 75?
False
Let n(x) = -2*x + 1. Let o be n(1). Let v be o/(28/(-8) - 2). Let y be (2/(-15))/(1/(-3)). Is y smaller than v?
False
Let c be ((-8)/14 - 0)/((-34)/119). Let n be (-3 - c) + (-6)/(3 + -1). Which is smaller: n or -12?
-12
Suppose 94 = 5*p - 56. Suppose -13 = 2*n - 3*c, 7*n - 6*n + c - 1 = 0. Let m be (-1)/n + (-9)/p. Which is smaller: -1 or m?
-1
Let w = -6 + 65. Suppose -w - 13 = 2*c. Is c < -37?
False
Suppose -2*i = -9*i + 378. Which is bigger: 164/3 or i?
164/3
Let l(j) = -6*j**3 + 2*j + 1. Let r be l(-1). Suppose 2*b - 7 = -r. Suppose 2*u - 2*q = 8, 0 = 2*u - 0*q + 3*q + 17. Is b < u?
False
Let v = -18.1 + 17. Let h = -0.2 + 0.3. Let j = h + v. Is -2 != j?
True
Let b be 46/(-115)*(-895)/6. Suppose s = -4*t - 0*s - 239, 81 = -t + 4*s. Let p = b + t. Is p less than -1?
True
Let n = 0.0011 + 0.0989. Suppose -3*d - 1 = 32. Which is bigger: n or d?
n
Let p be ((-150)/8)/((-22044)/(-2208) - 10). Is p < 1149?
False
Let c be ((-8)/12)/((-6)/27). Let j be (-36)/48 - 78/(-8). Let n be 4/(-24) - c/j. Is 12 at most n?
False
Let r be (-4)/(-2) - (-280)/(-14). Is -4 less than r?
False
Suppose 390*g - 384*g - 468 = 0. Is g at most as big as 77?
False
Let h = -40 + 75. Suppose l - 101 - h = -5*o, 29 = o + 2*l. Let b = -29 + o. Is -3 at most as big as b?
True
Let i = 22.46 + -29.5. Let a = 36 + -36.04. Let z = i - a. Which is bigger: z or 0?
0
Let y(u) = u**3 - 7*u**2 + 5*u + 6. Let o be y(6). Suppose -3*j = -o - 30. Suppose -7 = -2*z + 17. Are j and z unequal?
True
Suppose -6*x + 2*x - 4*p = -4, 0 = p. Is x less than 4/15?
False
Let t = 241/273 + -695831/787605. Which is smaller: t or 0.1?
t
Let m = 0 + 0.1. Let z be ((-6)/26)/(5 - (-22 + 26)). Is m at most as big as z?
False
Let f(m) = -m**3 + 23*m**2 + 27*m - 72. Let c be f(24). Let k be (-1)/2 - 206/4. Let q be ((-2)/k)/((-1)/2). Which is smaller: c or q?
q
Suppose -19*f + 15*f - l + 270 = 0, 74 = f - 3*l. Is 69 < f?
False
Let l(n) = n**2 + n - 1. Let r be l(-2). Which is bigger: r or -28/137?
r
Let m = 0.74 - -32.26. Let x = m + -27. Is x not equal to -1/4?
True
Let w = 203 + -83. Let d = 121 - w. Which is greater: -5/2 or d?
d
Let j(l) = -l + 0*l**3 + 12*l**2 - 13*l**2 + l**3 - 1. Let w be j(0). Suppose -3*d + 2*n = -2*d - 1, 4*d - 3*n = -6. Which is greater: d or w?
w
Suppose 5*q + 89 = p, 0 = 3*q - q - 3*p + 33. Suppose 2*u = -7*u - 162. Is q <= u?
True
Let g(d) = 7*d**2 + 20*d + 16. Let k be g(8). Which is bigger: 625 or k?
625
Let l = 6.9 - 8. Let p = -1.9 + l. Is p less than -3/4?
True
Suppose 8244 = 80*g - 1276. Is 353/3 not equal to g?
True
Let v = 0.0759 - 1.0759. Let d be (-1)/(-5) - 156/180. Which is greater: v or d?
d
Let z be (-3)/(-23)*24/(-1044). Is z greater than 1?
False
Let m(w) = 4*w + 2. Let t be m(-1). Suppose c + 5*c - 42 = 0. Which is bigger: c or t?
c
Let r = 1 - 7. Let a(x) = -x**3 - 21*x**2 - 36*x + 45. Let g be a(-19). Let m = g + r. Is m at least as big as -2/11?
True
Let k = -1 + 3. Let q be (-4)/k - -12 - 2. Let v be (q/(-16))/(2 - 1). Which is smaller: 4 or v?
v
Suppose 0*u - 130 = -65*u. Let f = 59 - 170/3. Is f smaller than u?
False
Let c be (2016/(-136))/4 + 5. Does 1 = c?
False
Let t be 18/(-45) - (-147)/5. Suppose t - 12 = -a. Is a at most as big as -17?
True
Let p(j) = -j**3 + j**2 + 159. Let r(d) = 11*d + 33. Let o be r(-3). Let m be p(o). Which is smaller: 160 or m?
m
Let i(m) = -34 + 10*m - 2*m**2 + 3*m**2 - 3*m + 44. Let v be i(-4). Let t be (2/4 - 0)/(-1). Do v and t have different values?
True
Let l(d) = -d**3 + 18*d**2 + 40*d + 20. Let c be l(20). Let b be -3 + 4 + (-16)/c. Is b bigger than 0.2?
False
Let m = -452 + 452. Which is bigger: m or 0.762?
0.762
Suppose -29 = -8*k + 3. Suppose -b + k*b + 54 = 0. Let u be 2/(-4) + 105/(-6). Is b smaller than u?
False
Let s = -1.0927 - -0.0927. Let n(t) = 2*t**2 + 3*t + 3. Let g be n(-3). Let j be (9/g)/((-3)/7). Is j at most s?
True
Suppose 3*a = -0*a - 231. Are -76 and a equal?
False
Suppose 2*x + 36 = 6*x. Let w be 23 - (0 + 4)*x/12. Which is smaller: 0.2 or w?
0.2
Suppose -4 = -r, 5*d + 3*r = 9 + 108. Let y(v) = v - 7. Let o be y(9). Suppose d*q = 23*q - o. Which is smaller: q or -4?
-4
Let d = 8 - 3. Let r(j) = 35*j**2 - 3*j - 8. Let v be r(-2). Let f = 145 - v. Which is greater: f or d?
f
Let w be 2*(-1 - 408/16) + 4. Let y be 1/4*-2*2. Which is smaller: y or w?
w
Suppose -9*j = -4*c - 8*j + 1484, 3*j = 3*c - 1113. Is 370 greater than c?
False
Let z(o) = o**3 - 25*o**2 - 24*o - 54. Let a be z(26). Let u(t) = -t**2 + 10*t - 4. Let b be 3/(-2)*(-60)/9. Let p be u(b). Is a > p?
True
Let r(w) = -20*w - 29. Let f(a) = 59*a + 87. Let d(q) = 4*f(q) + 11*r(q). Let u be d(-2). Suppose -5*o = -4 + 24. Which is greater: o or u?
u
Let x be (1 + (-5)/10)*(-4)/2. Which is greater: -74 or x?
x
Let k(o) = 4*o**2 + 39*o + 4. Let x be k(-10). Is 2 equal to x?
False
Suppose 0 = 3*b + 5*u - 15, -6 = -17*b + 19*b - 2*u. Are 5/186 and b equal?
False
Let m = -0.53 + 29.53. Let s = -29 + m. Which is greater: 11 or s?
11
Suppose 0 = k + 1. Let s = -36/17 + 1442/697. Is s > k?
True
Let n(g) = 13*g + 65. Let r be n(-5). Suppose 0 = -5*a + 11 - 6. Let t be (-2)/a - (-5 + -1). Is r > t?
False
Suppose 0*z - 5*z - 10 = 0, -2*b + 5*z = -12. Let o be 8/10*15/54*9. Is b != o?
True
Let f(l) = 3*l**2 - 32*l + 20. Let z be f(10). Let s be (11 + z)/((-9)/(-18)). Are s and 23 equal?
False
Let u(a) be the third derivative of a**6/120 - a**5/20 + a**3/3 + 4*a**2. Let w be u(3). Let b = -63 + 61. Is w <= b?
False
Let n = -1 - 0. Let g be n + 0 - (1 - 3). Let y be (g/(-5))/(1 - 2). Is y at least 3?
False
Let m(s) = s**2 - s. Let y be m(1). Let r = -12 + 9. Let f be (r - -1)*2/88. Which is greater: f or y?
y
Let q be (-25228)/(-6314) + (-4)/1. Which is bigger: q or 1?
1
Let h(b) = 4*b**3 - b + 1. Let k be h(1). Suppose -3*s = -3*o - 63, 2*o = 2*s + 2*s - 74. Suppose -s = 3*f - 31. Does k = f?
False
Let a = 445.1 - 444. Which is smaller: a or -0.038?
-0.038
Suppose 97*d = 198 - 4. Is 11/7 at least as big as d?
False
Let q = -18 + 50. Let x = q - 30. Suppose 4*f - 3 = -r, 2*f + 6*r - 2*r = -x. Which is bigger: f or 8/7?
8/7
Let i = -55/138 + 3/46. Let f be (1/(-4))/(3/(-60)). Suppose f*w + 5*s + 18 = 2*w, -3*s = 5*w + 14. Which is smaller: w or i?
w
Suppose -8*y - 228 = 692. Is y at most as big as -116?
False
Let v = 224.8815 - -0.1185. Is v less than -0.3?
False
Suppose -4*j - 17*s + 296 = -12*s, 2*j - 4*s - 174 = 0. Which is smaller: 73 or j?
73
Let o = -625271/420 - -5955/4. Let i = -1 - 0. Is o < i?
False
Suppose 5*j = -g - 6 - 3, 0 = 4*g + 3*j + 87. Let k be 4 - (-3)/(g/26). Let x = 1 - 0. Is x > k?
True
Let m be (-1518)/98 - -14 - (-3)/2. Which is bigger: 0 or m?
m
Let o(z) be the second derivative of z**3/6 + 4*z**2 + 2*z. Let j be o(-5). Let h be (2/j)/(-2 - 0). Which is greater: -0.3 or h?
-0.3
Let a = 59/2 + -131/4. Suppose s + 3*s = 4*o - 28, 4*o = 2*s + 34. Suppose -5*w = 5 + o. Which is smaller: a or w?
a
Let r = -9.04 - 2.96. Which is smaller: 1.6 or r?
r
Suppose t + 0*t + 31 = 4*n, -3*n = -2*t - 22. Which is greater: n or 59/7?
59/7
Let x = -79/4 + 19. Let y = -40 - -66. Let o = y - 19. Which is bigger: x or o?
o
Let w be (1 + 810/(-801))*7. Which is bigger: -1 or w?
w
Suppose 22*n + 15 = 17*n, -2*n = -t - 11. Which is smaller: 2 or t?
t
Let w = 0.191 + -61.391. Let s = w + 61. Which is smaller: 0.05 or s?
s
Suppose -215*w = -242*w + 1539. Which is smaller: 4 or w?
4
Suppose -1072 = 366*a - 370*a. Is a at most 266?
False
Suppose 3*l + 4 = d - 0, 16 = 4*l + 4*d. Let o(h) = -4*h**2 + 5*h - 4. Let m be o(3). Let c = -26 - m. Is c less than l?
True
Let h(c) = 8*c - 17. Let v(o) = o. Let f(r) = -h(r) + 6*v(r). Let p be f(9). Which is bigger: p or 4/11?
4