-5*d + b - 481 = 0, 5*b + 540 = -8*d + 2*d. Which is smaller: d or p?
d
Let f(h) be the second derivative of h**3/6 - 9*h**2/2 - 9*h. Let o be f(17). Let r be (-298)/(-40) + 48/60. Is r not equal to o?
True
Let w = -6.534 + -0.936. Let j = w + -0.83. Is j > -2/7?
False
Let v be 286/(-6) + -1 - (37506/171)/94. Suppose 0*y - 5*y - q - 258 = 0, 3*y = -q - 154. Is y less than v?
True
Let l(c) = -c + 156. Let d be l(0). Let w be (-2)/(0 + d/(-9)). Let g be 210/(-14) + (-616)/(-42) + 1. Is w smaller than g?
True
Let n = 711638/7 - 101996. Let w = n + 334. Let r = -60 - -64. Which is smaller: w or r?
w
Let j(l) = 2*l + 44. Let a(t) = t - 17. Let b be a(-3). Let v be j(b). Which is greater: v or 5?
5
Let c = 120 + -119.38. Let u = c - -0.38. Which is greater: u or -6/83?
u
Let n be 15*(-23)/(805/126) + 6. Let u be ((-1)/(12/(-380)))/(4/(-6)). Which is smaller: u or n?
n
Let k be 120/64 + -1*(-6)/48. Is 505.3 at most k?
False
Let j(o) = o**3 - 2*o**2 - 5*o - 3. Let f be j(4). Suppose 18*x = f*x. Which is bigger: 107 or x?
107
Let f(u) = -17*u - 220. Let x(a) = -a + 1. Let h(g) = f(g) - 3*x(g). Let j be h(-16). Are j and 136 nonequal?
True
Let y(p) be the first derivative of 9*p**2/2 - 89*p + 31. Let o be y(10). Let i be (-8)/(-230)*(4 - -1). Which is smaller: o or i?
i
Suppose 0 = 3*j - 624 + 915. Which is bigger: j or -26?
-26
Suppose 0 = -4*q - 4*z + 2*z + 22, -5*q + 2*z = -14. Suppose -q*n + 12 = -4. Suppose 16 = -3*u - u + n*y, 0 = -u - y + 6. Which is smaller: -2/291 or u?
-2/291
Let y be (923/39)/((-17)/3). Which is bigger: y or -3?
-3
Let h = -11292 - -11298.9. Which is bigger: -18/11 or h?
h
Let i be (-40)/100 + 66/215. Suppose 37*r = -12*r - 49. Which is smaller: r or i?
r
Let c = -0.234 + -162.766. Let u = c - -163.2. Which is bigger: -5/7 or u?
u
Let c = 9/4376 + -167539/608264. Are 1 and c non-equal?
True
Let b be (5/(-6))/5*(-1950)/325. Suppose -4*z - 42 = 2*m, -4*m + 4*z + 57 = -7*m. Is m >= b?
False
Let p(f) = -9*f**2 - 150*f + 57. Let i be p(-17). Which is greater: -159 or i?
i
Let g = -589883/22 + 26808. Is g smaller than -6?
False
Let v = -68 - -101. Let w = 682.95 - 683.05. Which is smaller: w or v?
w
Let z = 527.789 - 0.789. Let r = -526.8 + z. Let a = -0.8 - -1. Is r greater than or equal to a?
True
Let q(m) = -9*m**3 - m**2 + 99*m + 100. Let l be q(-1). Let r(t) = -2 - 2*t + 5 + 0. Let d be r(-4). Which is smaller: d or l?
l
Let f(g) = 5*g**2 - 6 - 7*g**2 - 17*g + g**2. Let c be f(-16). Let k be 358/42 - (-1)/3. Which is greater: c or k?
c
Let k = 178 - -390. Is -11 at least as big as k?
False
Let o be 1/4 + (-59)/(-4). Suppose 4*b - 4 = 0, -2228*l + b = -2223*l - 714. Suppose l = o*w - 26*w. Is w < -18?
False
Let p(l) = 9*l**2 + 156*l + 26. Let f be p(-9). Which is greater: -650 or f?
f
Let i = -31237 + 31237.173. Is 23 equal to i?
False
Let q be (44/(-3368))/(2*(63/28 + -2)). Which is smaller: q or 0?
q
Let h be (-141)/(-9) - (-2)/(-12)*4. Suppose 11*f = 6*f - h. Let i be f/(-8 + 2) + 125/(-270). Do -1 and i have different values?
True
Suppose -280000 = -1771*j + 1611*j. Which is greater: 1753 or j?
1753
Let k = 2.66 + 0.34. Suppose -7*l - l = 8. Let y be l/(-12 + -5)*(-2)/(-1). Is k != y?
True
Let y = -164 + 293. Let x = y + -129.1. Is x at least as big as 65?
False
Suppose -19106 = -21*m + 25*m - d, -4772 = m + 2*d. Does -4776 = m?
True
Let u(c) = 45*c + 2134. Let o be u(-56). Which is smaller: -385 or o?
o
Let f = -236 + -352. Let p = 589 + f. Which is smaller: -417 or p?
-417
Let k = -667 - -1407. Suppose 16*q + k = -316. Is q at least -67?
True
Suppose -6 - 33 = -3*v. Let w be (-11)/v - -2 - 6/39. Let l = -741/10 - -74. Which is smaller: l or w?
l
Let l = 8.43 - -4.27. Which is smaller: l or 1/4?
1/4
Let i = -447 - -220. Suppose -a + 2*b - 244 = 0, -2*a - 581 + 102 = -3*b. Is a greater than or equal to i?
True
Suppose 0 = 13*p - 97 - 2321. Suppose -o - 186 = 3*a, 4*a - 5*o = a - p. Are -60 and a non-equal?
True
Suppose 2*a + a = 15, -3*l = 4*a - 11. Let k = l - -23. Let b be 4*(55/k - -1). Which is bigger: b or -2?
b
Let d be ((-133)/(-21))/(-19) + 4/3. Let m be 1/((-5)/15*(d + 5)). Is -32 <= m?
True
Let i = 2735/1652 - 53/28. Let y = i + 30/1121. Does 0.2 = y?
False
Let l = -10668 + 10667. Is l greater than 3/4178?
False
Let j = -0.6574 + -0.3426. Are 2/375 and j equal?
False
Let h be (-4)/(-10) - (-24)/15. Suppose 0 = -4*l + 3*o - 3, l + 2 = 3*l + h*o. Let n = -3/96764 + -193363/5322020. Is l equal to n?
False
Let m(x) = -x**3 - 4*x**2 - 3*x + 1. Let h be m(-2). Let w be 549/1566 - h/(-3). Are 0 and w non-equal?
True
Let m = 2.024 + -2. Let t = m + 18.876. Let x = t - 19. Is x at least 11/9?
False
Let w be -6*2*(14/(-4))/7. Suppose w*m + 174 = -138. Let f = -51 - m. Which is smaller: 2/25 or f?
2/25
Let l be ((-108)/(-7))/((-236)/(-4956)). Is 322 greater than l?
False
Let f(p) = p**3 - 4*p**2 + 4*p. Let c be f(2). Suppose c = n + 13 - 8. Let h be (-1)/n - 171/380. Is -1/3 > h?
False
Let h = 659 - 690. Let x = 56 + h. Which is smaller: x or 0.14?
0.14
Let g = 3 - -27. Suppose 2*u + 5*p - g = -7, -u = -p - 8. Suppose -7*k = -u*k + 6. Which is greater: -2 or k?
k
Let d = 725 + -757. Let z = -66 - d. Which is smaller: -28 or z?
z
Let z be (-31)/2*1*-18. Let y be (-38)/(-285) - 10/(1350/(-10917)). Suppose -y = 5*t + z. Which is smaller: -71 or t?
t
Suppose 3*d - 6 = b + 2, -48 = -4*b - 4*d. Suppose b*r + 0*r = 0. Let x(g) = g**3 - 3*g**2 + 2*g - 1. Let i be x(2). Which is bigger: i or r?
r
Let n(h) = -87*h - 257. Let i be n(-3). Let s be (-4)/(-2)*(-2)/(-4). Suppose 5 = -i*y + s. Is 2/15 < y?
False
Let g = 7 + -79. Let k = g - -72.4. Is 1/2 at most k?
False
Suppose -2*p = 3*p + 285. Let h = -53 - p. Suppose 2*v + h = 2. Which is bigger: -6/25 or v?
-6/25
Suppose -3*p = s + 63, s + 45 = -3*p + 6*s. Let q be (-1)/5 - (-311)/5. Suppose 3*g + 2*g + 112 = -4*j, 0 = -2*j - 4*g - q. Is p smaller than j?
False
Suppose b - 5*d = 5313, -3*d = -4*d - 7. Do b and 5279 have different values?
True
Suppose 199056 = -22887*t + 22863*t. Is t <= -8293?
True
Let n(d) = -3*d + 20. Let g be n(8). Suppose -c - 595 + 582 = 0. Is g < c?
False
Suppose 3*p - 405 = -2*n, 4*p = 3*n - 145 - 505. Let r = 1476/7 - n. Is 1 at most as big as r?
False
Suppose 2*f + 123 = -f. Let w(d) = d**3 + 3*d**2 - 183*d - 7. Let r be w(12). Which is bigger: r or f?
f
Suppose 3*l = 2*b - 15, 3*l + 23 - 8 = -3*b. Suppose 6*j - 93 - 327 = b. Which is greater: j or -2?
j
Suppose -n = -2*a - 70, 3*a - 7*a = -5*n + 356. Let i = n + -48. Suppose i*k - 68 = 7*k. Is k at most as big as 8?
True
Let p = 23 - 29. Let c be 7/p + (-3)/(-18). Let s be -2*(-3 - -1)*(-3)/6. Which is smaller: s or c?
s
Let o = -661 - 270. Let z = o - -890. Which is greater: 2/9 or z?
2/9
Let v = -913 - -4571/5. Let b be -5*(-2)/(-6)*21 - -1. Which is bigger: v or b?
v
Let s(b) = 19*b**2 + 25*b - 17. Let n be s(5). Suppose 133 - n = -5*v + p, 3*p + 371 = 4*v. Which is smaller: v or 87?
87
Let m be -13*(195/(-15) - -17). Are -61 and m non-equal?
True
Let t = -0.5779 + 0.6779. Does 2288 = t?
False
Let j be (-844)/(-30) + 70/(-525). Suppose -4*x + 20 = j, m = 2*x - 19. Are m and -21 non-equal?
True
Let k be (-4)/(-16) - (-1882002)/(-7086600). Let q = k - -8/775. Which is bigger: q or 0?
0
Let y = 0.11 - 0.11. Let a = 1/554925 + -246465979/2219700. Let r = -111 - a. Is r != y?
True
Let o(m) = 10*m - 6 - 5*m**3 - 14*m**2 + 2 + 20*m + 4*m**3. Let j be o(-16). Which is smaller: 111/4 or j?
111/4
Let a be (31/(-5))/(-3*5/75). Suppose 3 = -3*p, 332 = 4*x + 3*p + a. Let y = x - 54. Which is bigger: y or 25?
25
Let h(m) = -m**3 - 2*m**2 + 5*m - 64. Let j be h(0). Let q be (-204)/2 + 3 + 1. Let z = -163 - q. Which is greater: j or z?
j
Let w be (550/100)/(681/12). Which is bigger: w or 1?
1
Let a(s) = -988*s + 3448. Let l be a(8). Is l less than or equal to -4454?
True
Let b = 95084/57 - 1668. Let o be (-1)/(1*((24/(-4) - -1) + 4)). Are b and o unequal?
True
Suppose a - 3*r = -0*r + 169, -2*a + 2*r + 322 = 0. Let c = a - 156. Which is smaller: -1/275 or c?
-1/275
Let p = -1683.2 - -1683.55. Is 37 less than or equal to p?
False
Let r be ((-5094)/(-4) - 0)*(-344)/(-387). Are 1129 and r non-equal?
True
Let v be 5*-1*1/(-10)*58. Let o(y) = -5*y + 140. Let k be o(v). Which is bigger: -56/13 or k?
-56/13
Let p = 6304 - 6