 x = 1/11504 - 431501/1161904. Which is greater: 0 or x?
0
Let m be (-18)/(-153) - 64/(-34). Suppose -14 = m*f - 4*f - 4*p, -2*p - 8 = -4*f. Suppose 2*s = -s + f*v - 21, 4*v + 22 = -s. Which is greater: -9 or s?
-9
Let a be 11/5 - (-9)/(-45). Let b(u) = -9*u**2 - u + 1. Let t be b(a). Let z = t - -28. Is z smaller than -9?
False
Let l = 99 - 37. Let y = -20 + l. Let j be ((-1)/(-1) + 1)/(y + 1). Which is smaller: j or 1?
j
Let s = 429 + -192. Suppose 10*c - 577 = -s. Is c < 28?
False
Let a be -2 - (-22191)/(-25914)*-2. Let j = -1/617 - a. Is j smaller than -13.2?
False
Let v = 116 + -115. Let z be v*-1*(-9 - (-8 + 3)). Which is smaller: z or -7?
-7
Let l be -2 + -4 + (-3 - 23). Let q be -9*(-10)/(-15)*6. Are q and l unequal?
True
Let z(c) = 3*c**3 - 12*c + 12. Let p be z(1). Let b be (5/(-410))/(0 + p/(-3)). Suppose 2*u + 2 = -0*u. Is b <= u?
False
Let q(a) = -a**3 - 5*a**2 - 2*a - 7. Let k be q(-5). Let r(b) = b. Let j(l) = 2*l + 1. Let x(z) = j(z) - 4*r(z). Let d be x(k). Which is smaller: d or -6?
-6
Let g(y) = -y**3 + 2*y**2 + 18*y - 15. Let d be g(5). Suppose -2 = -7*t + 4*t - 4*s, d = -4*t + 2*s + 10. Does t = 0.9?
False
Let z = -18/1661 - 77167/83050. Which is bigger: z or -2?
z
Let y = -17 + -13. Let k be (y/104)/((-3)/(-2)). Is k less than or equal to -1?
False
Let n = 86718349/23103 + -33782/9. Which is smaller: 0 or n?
n
Let v = 106 - 76. Let f be v*(1/10 - (-36)/(-60)). Let q be (3/(-2))/(21/f). Which is bigger: q or 2?
2
Let j = -8464 - -8464.04. Let a = 0.13 - 20.13. Which is smaller: a or j?
a
Suppose -6 = 7*w + 15. Let q be (-2 + -1)/(w + 96/33). Is q equal to 33?
True
Let i = 815 - 814.992. Which is smaller: 5 or i?
i
Let j be (16/40)/((-3)/(-55)). Let p = j + -151/21. Suppose 40*u - 13*u = 0. Is p at most as big as u?
False
Let m(q) be the first derivative of 34 - 1/4*q**4 - 13/2*q**2 - 3*q - 17/3*q**3. Let o be m(-16). Which is greater: o or -1/2?
-1/2
Let a = -3867 + 3846. Which is smaller: 90 or a?
a
Let s be 2/(-3) + 16/33. Let o = -69 + 224. Let d = 162 - o. Which is smaller: d or s?
s
Let j = 6202.5 - 6206. Are 87 and j unequal?
True
Let h be (-28)/1*-1*(-35)/28. Let w = -37 - h. Let l be (-112)/(-72) - w/(-3). Which is bigger: 2 or l?
2
Suppose 0 = -k + 4*w + 109, -512 = -4*k - 98*w + 95*w. Let n be k/(-160) + -7 + 8. Which is smaller: n or -1?
-1
Let w be 973*2/(-486) + (8 - 4). Let o be (-4)/18 - (-12)/54. Is w smaller than o?
True
Let g be (8/(-12))/(7 + (-7)/((-20664)/(-20658))). Are g and -4928/15 equal?
False
Suppose -8*d - 192 + 208 = 0. Suppose -d*c - 31 = -37. Which is greater: 0 or c?
c
Let f = -869 - -868. Let i(z) = -z - 1. Let h(j) = 2*j - 2. Let u(r) = -h(r) + 2*i(r). Let d be u(6). Which is smaller: f or d?
d
Let k = -51 - -56. Suppose k*c = 10*c + 315. Let h = -55 - c. Which is smaller: h or 10?
h
Let n = 141 - 124. Suppose -16*k - 51 = 4*w - n*k, -3*k - 15 = 0. Let m = 17 + -30. Which is greater: w or m?
m
Suppose 2*b + 218 = 2*s, 3*b - 75 - 128 = -2*s. Suppose -4*h - 464 = -4*d, -21*h + 19*h - 121 = -d. Which is greater: s or d?
d
Let s be 95/25*(19 + 1). Suppose 4*a = -2*q - s, a + 12 = -2*q - 10. Is a equal to -20?
False
Let h(b) = b**3 - 22*b**2 + 37*b + 19. Let c(q) = 3*q**3 - q**2 + 2*q - 2. Let u be c(2). Let a = 42 - u. Let l be h(a). Which is smaller: l or -40?
l
Let v be 1*(-4 - (2 + -1)). Suppose 0 = 633*r - 634*r + 6. Let t be (2/(-12))/(-1)*(-34 + r). Is t at most v?
False
Let h be -1*(2 + (-112)/49). Let g = -87.9 + 111.9. Is g at least as big as h?
True
Let k = -119 + 120.19. Let d = k + 1.21. Let c = d - 2.1. Which is greater: -3 or c?
c
Let d = -3937 - -3937. Is -2881 at most d?
True
Let q = 1.94 + 75.06. Let v = q + -63. Is v greater than or equal to 0.14?
True
Let i = -0.25 + 0.3. Let g be 55/(1650/20)*5/(-2). Is g not equal to i?
True
Suppose -4*m = -3*a - 15, 9*m - 14*m - 5*a = 25. Let r(f) = 2*f - 11. Let c be r(7). Let w be c/(-9) + (-1)/(-5). Which is bigger: m or w?
m
Suppose -45*i = -130*i + 2635. Let t(f) be the first derivative of -17*f**2/2 - 2*f - 3. Let p be t(-2). Which is greater: p or i?
p
Let z be (-18)/(-8)*60/45. Let d(t) = 4*t**2 + 37*t - 5. Let l be d(-12). Let w = l - 501/4. Is z < w?
False
Let y(q) = q**3 + 9*q**2 + 7*q - 10. Let a be y(-8). Let o be ((-54)/(-5))/((-4)/240*-9). Let h = -72 + o. Is h at most as big as a?
False
Let y(m) = -m**2 + 4*m - 6. Let c be y(0). Let n be 0 - (41 - 0) - 18/c. Let v = -47 - n. Which is greater: -2 or v?
-2
Let r be 82/(-205) - (-1 + 3 + 6858/30). Let s = -194 + -36. Which is smaller: r or s?
r
Suppose -3*j + 378 = -3*f, 3*f - 2*j + 305 + 77 = 0. Let u be (-1 + (-131)/f)*1. Let l = 1 - 1. Which is smaller: l or u?
l
Let y be ((-1)/4082)/(6282/(-252) + 25). Which is smaller: 1 or y?
y
Let k = -10703239/39795 - -246/2653. Let r(b) = 44*b - 5. Let m be r(-6). Let u = k - m. Which is smaller: u or 1?
u
Let g(d) be the first derivative of -7*d**2 - 182*d + 270. Let q be g(-27). Is 195 <= q?
True
Let h = -31052 - -652102/21. Which is smaller: 4.3 or h?
h
Suppose -6*o + 28*o + 411628 - 40576 = 0. Is o <= -16866?
True
Let u(n) = -3*n**2 + 10883*n + 43536. Let y be u(-4). Let v(k) = -24*k - 2. Let l be v(2). Which is smaller: l or y?
l
Let f = -1/27 - 137/675. Suppose 5*a + 4 = 7*g - 4*g, 4*a - 3*g + 2 = 0. Let w(m) = -m**3 - 4*m**2 - 6*m - 3. Let s be w(a). Which is smaller: f or s?
f
Suppose -9 + 3 = 3*i. Let g be i/(-17) + 2240/34. Is g less than or equal to 65?
False
Let o = 171.1 - 172.1. Which is greater: -2/23919 or o?
-2/23919
Let p = 30557 + -91705/3. Suppose 32 = -4*k - 4*r, -11 = -3*k + 5*r - 67. Which is smaller: k or p?
k
Let d = -36 + 294. Let x = -256 + d. Which is bigger: 20/7 or x?
20/7
Let r = -94 + 97. Suppose u - 158 = 4*t, t + 7 = -r*u - 26. Do t and -36 have different values?
True
Let k(b) = -9*b**2 + 220*b - 37. Let c be k(25). Are c and -156 unequal?
True
Let v be (6/(-8))/(4/(-16)). Let y be 103/12 - (-3 - (0 + -10)). Which is bigger: y or v?
v
Let w = 16.79 - -1.21. Let c = w - 17. Is c >= 1.3?
False
Let s = -18796 + 18949. Which is smaller: s or 91?
91
Let i(v) = 67*v - 81. Let t be i(3). Suppose t*x + 16 = 118*x. Is x > -11?
True
Let w(o) = -8*o + o**2 + 5 + 7*o + 10. Let p be w(0). Let t be (0 - 0) + (4/p)/2. Is t at most 0?
False
Let c be (30306/(-60))/1 - 17/(-170). Which is greater: -508 or c?
c
Let y = 3.7425 - 2.7425. Which is bigger: -5/1753 or y?
y
Let h(k) = 3*k**2 + 64*k + 28. Let z be h(-21). Suppose 3*t - p + 3*p - z = 0, 4*t = 2*p. Which is bigger: t or 1/26?
t
Let r = 522.6 - 476. Let x = r - 40.8. Let j be (-3)/6 + 1/(-2). Is j < x?
True
Let o = 11/448 - 4849/51520. Suppose 38*h + 95*h - 5*h = 128. Is o bigger than h?
False
Let n = -3348/187 + 326/17. Let u(f) = -2*f**3 - 13*f**2 + 2981*f + 14981. Let z be u(-5). Which is smaller: z or n?
z
Let p = -159.9459 - -0.1459. Let y = p + 160. Is -2/57 >= y?
False
Suppose -4*n + 0 = 8. Let j be 36/(-10)*1360/(-6936). Which is bigger: j or n?
j
Let u = -793 + 2680. Let c = -1802.98 + u. Let k = c + -84. Is 1/3 smaller than k?
False
Let d = 4856 - 4997. Is -144 greater than d?
False
Let n = -18.61 + 19. Let a = n - -89.61. Let b = 89.8 - a. Which is greater: 1/12 or b?
1/12
Let m be -2 - (-55)/30 - (-1)/6. Suppose -5*r - 5 = -m*r - 4*s, 2*r = 2*s - 2. Let z be 2/10 - 391/(-1495). Is z less than r?
False
Let i(j) be the second derivative of j**5/20 + 2*j**4/3 + 7*j**3/6 + j**2/2 + 37*j + 2. Let c be i(-7). Which is smaller: -7/17 or c?
-7/17
Suppose 2774 = 2*m + 2402. Suppose -3*i - 28*i + m = 0. Do i and -6 have the same value?
False
Let n(j) = 2*j**2 - 75*j + 339. Let b be n(5). Is b not equal to 13?
True
Suppose -4*n - 5*s = -s + 608, 0 = -5*n - 2*s - 766. Let m = -154 - n. Which is bigger: m or -2/19?
m
Let p be -4*((-334)/40 - 22/55). Let c be 6/(-4)*((-185)/p - -5). Is c <= -59?
False
Let v(m) = -15*m - 9 - m**2 - 11*m + 35*m - 15*m. Let q be v(-4). Let o be 1 + 0 + 8/(-9). Which is bigger: o or q?
o
Let p = 33.21 - 26.38. Is p > -2?
True
Let x = 165 - 64.1. Let c = -18.9 + x. Let b = 81.83 - c. Are -2/5 and b equal?
False
Let d = -1.4831 - 0.0469. Which is bigger: 3/8 or d?
3/8
Let g be (-1767)/1178 - ((-674)/(-444))/(-1). Let j(k) = -k**2 + 1. Let a be j(0). Is a greater than g?
True
Suppose b + 0*b + 4*f - 11 = 0, -65 = 5*b - 4*f. Suppose 