True
Suppose 3*o - 106 = -2*y, -5*o + 3*y - 4*y = -165. Let r be (-38 + 4)/(o/48). Which is smaller: r or -50?
r
Let o be (-3184)/90 - (-9)/(486/(-12)). Suppose 8*w = 4*w + 144. Let q = w + o. Which is greater: -5 or q?
q
Let s(a) = -a**3 + 4*a**2 - 7*a + 10. Let n be s(3). Let h be ((-198)/(-3 - -9))/(-1 - n). Which is smaller: h or -32?
h
Suppose 2*g - t + 2*t + 21 = 0, -2*g = -2*t + 12. Let z be 151/g + 2/(-9). Let s be 5*(-7 - (-2 + 36/(-20))). Are s and z equal?
False
Let q = -133.05 + 1.05. Let o = q - -132.7. Let t be -1*2/(-16)*-6. Is t at most as big as o?
True
Suppose 0 = 2*c - 1424 - 3430. Let r be (77616/c)/(-8) + 4. Which is bigger: r or 0?
r
Let t = -2.2573 - -0.2573. Which is smaller: -1886 or t?
-1886
Suppose -2*k - 2 = -3*g, 20 = 21*g - 16*g. Which is greater: -13 or k?
k
Suppose l = x - 315, 52 = 4*l + 5*x + 1312. Let a = l + 4101/13. Which is smaller: a or 7?
a
Suppose -1575 = 23*v - 609. Which is bigger: -607/14 or v?
v
Suppose r - 3*y = -2049, 9*r - 2056 = 10*r + 4*y. Is r greater than -1?
False
Let u = 24469.8 + -24339. Which is smaller: u or -1?
-1
Suppose -3*g = 38 + 43. Suppose 165 - 235 = 5*h. Let y be (-148)/h - g/63. Does 11 = y?
True
Let i(d) be the third derivative of d**5/60 + d**4/6 - d**3/3 - 10*d**2. Let s be i(-5). Suppose 2*z - 4*z + 8 = -2*v, -s*z = -6. Is v <= -6?
False
Let p = 4530 - 4530.2. Let y(r) = r**3 + 7*r**2 + 7*r + 5. Let l be y(-6). Let d = l - 40. Are d and p nonequal?
True
Let i be (-2265)/990 + 2/4. Let n = -32/33 - i. Are 1 and n non-equal?
True
Let s = -158 + 181. Let y(j) = -j**2 + 5*j + 1. Let t be y(5). Let z be s/46*(8/(-18))/t. Which is smaller: -5 or z?
-5
Suppose -73*c - 74 = -1. Is c greater than -1/1122?
False
Let n(m) = -13*m**2 - 39*m + 37. Let h(u) = -3*u**2 - 10*u + 9. Let d(f) = -9*h(f) + 2*n(f). Let p be d(-13). Is p >= 9?
False
Let y = -89 + 93. Let q be 2 - (y + 16/(-7) + 0). Which is smaller: -28 or q?
-28
Suppose 3*q - 2*s - 179 - 18 = 0, s - 563 = -9*q. Let h be (-2)/(-3) + (-193)/(-3). Which is bigger: q or h?
h
Let j = 9525/7 + -1347. Let h be 82/6 + 12/(-18). Which is smaller: j or h?
h
Let j be 6/9 + (1750/96)/(-25). Suppose 0 = 2*n - y, n = 5*y - 2*y. Which is smaller: n or j?
j
Let q = -724 + 761. Let g = 39 + q. Is g at least as big as 534/7?
False
Suppose -13 = -5*w - a, 0 = -3*w - 3*a + 9 + 6. Let u be (-65)/40 + w + (-81)/24. Which is smaller: -31/9 or u?
-31/9
Let o be 1 - ((-2)/1 - -64). Let c = -91426 - -91368. Which is smaller: o or c?
o
Let t be 12/18*27*2/4. Let g = t + -11. Let o be 3 + 1 + 64/(-9). Is g not equal to o?
True
Let u = -7285 + 3978. Which is smaller: u or 1/3?
u
Let t = 4074 - 4338. Is -1579/6 <= t?
False
Suppose 2*l = 4*b + 30, b + 15 = -0*l - l. Let w be ((-32)/b)/(-1)*(-275)/(-66). Is w != 0.2?
True
Let f = 13 - 19. Let h be 21/(-4) + ((-3)/(-12) - 0). Let p be 5/(-2)*(-6)/h. Which is bigger: p or f?
p
Let r(c) = c**2 - 2*c + 1. Let y be r(2). Suppose 0*d + 4*x = -d + 11, -d + x + y = 0. Let u be 8 + -5 - (-6)/(-12). Which is smaller: u or d?
u
Let s = 11874 - 11874.046. Does s = 0.26?
False
Let r(h) = 15*h**2 - 7*h + 263. Let c be r(9). Is c at most as big as 1416?
True
Let x = 8.8 + -9. Let p = -0.277 + 1.587. Let w = 0.19 + p. Is x greater than w?
False
Suppose 493*v + 35849 = 498*v - 4*f, 11*v - 78891 = 3*f. Is 7173 >= v?
True
Let a be 5843/11 - (-22)/(-121). Let y = -18587/35 + a. Let q(l) = -5*l**2 + 18*l + 8. Let v be q(4). Is v smaller than y?
False
Let z = 364915891/949 + -384527. Let n = -1/73 - z. Which is greater: -2 or n?
n
Let q = -10716 - -2882586/269. Is q equal to 1?
False
Let h = 25934 + -25938. Which is bigger: h or 21.7?
21.7
Let g(p) = -p + 4. Let r be g(5). Let s be 18 + (-43)/(1376/582). Is r <= s?
True
Let y be 0 - -312 - (-20 + 23)*-1. Is y bigger than 315?
False
Suppose -119*m - 103 - 16 = 0. Let c be (13 + 0)*(-4 + 3). Let s = 14 + c. Is s smaller than m?
False
Suppose 9620 = -215*v + 363*v. Suppose -39 = -m - 100. Let n = v + m. Is 20/7 less than or equal to n?
True
Suppose -146 - 1162 = -4*k. Let b = k + -354. Does b = 0?
False
Let x(y) = -20*y + 105. Let d be x(5). Suppose 2*u - 16 + 4 = 0. Which is smaller: u or d?
d
Let q(v) = -v**3 + 16*v**2 - 18*v + 28. Let z be q(15). Let n be 3*9 - 0/17. Suppose 3*g - 5*j = -30, 0*g + 4*j = -g - n. Which is smaller: g or z?
z
Let t = -3224 - -3224. Which is smaller: t or -759?
-759
Let n be 11 - (-2 - -1)*1*1. Suppose 2*a - 2*x = -4, 0*a + 4*x + n = -a. Let t be ((-2)/144*a)/((-2)/(-28)). Is 1 != t?
True
Let u = -21592/3 - -7198. Which is greater: u or 0.4622?
u
Let o be (1101200/55)/8 - (-18)/66. Is o at least as big as 2503?
True
Suppose -4*o + 17 = 5*i + 3, -o + 20 = 4*i. Let s be i/(3/2*-1). Let d = -1342/315 - -29/63. Which is smaller: d or s?
s
Suppose -32*y + 45 = -27*y. Let m be (-1 - -2)/(y/1539). Which is smaller: 172 or m?
m
Let j(r) = -r**3 - 9*r**2 + 35*r - 10. Let o be j(-12). Suppose o*v = -u + 5, 3*u - 2*v = -4*v + 3. Which is smaller: u or 1?
u
Suppose 5*q - 2*a - 2452 = 0, 0 = 4*q - 0*q + 3*a - 1957. Let g be q/(-63) - (2 + -4). Which is smaller: -6 or g?
-6
Let h(m) = -2*m**3 + 9*m**2 + 7*m - 6. Let r be h(5). Suppose -g + 27 = 5*u, 4*g - r*u + 5*u - 70 = 0. Are g and 4 unequal?
True
Let i = 1336 - 256. Let y be 0/(-1) + 3 - i/(-36). Suppose -y = -10*q - 3. Is -4 bigger than q?
False
Let g = 2534.5 + -2534. Is -0.351 at most g?
True
Let z = -1.1 + 1. Suppose -82*v - 79*v = 69*v - 89930. Is z bigger than v?
False
Suppose 6*b + 22 = 22. Suppose -q + 5*m - 25 = b, 3*q - q - 25 = -5*m. Which is smaller: q or -20/71?
-20/71
Let b(y) = 2*y + 10. Let h be b(-7). Let s = 216.5673 - 0.2673. Let i = -217 + s. Which is bigger: i or h?
i
Let w be 189/54*4/7 + 553. Suppose -3*x = -5*t + 931, -x + 4*x = 3*t - w. Is t bigger than 187?
True
Suppose -5*l = -162 - 3. Let u(h) = -2*h**3 + 41*h**2 - 88*h - 25. Let j be u(18). Let c = l - j. Which is greater: 23 or c?
23
Suppose 25*u = 19*u + 168. Let v be u/(-84)*(-6)/(-49). Which is smaller: v or 1?
v
Suppose 15*q - 21417 = -3657. Which is greater: q or 1185?
1185
Let z be -2 + (-13)/((-1092)/256053). Is 3045 at least as big as z?
False
Let a = -1210 - -1209.8. Let s = -11 + 11.15. Let b = s + 10.85. Which is smaller: a or b?
a
Suppose -16*d = -17*d - 63. Let i = 65 + d. Suppose -j + 3*g - 3 = 2, 12 = 4*j + 4*g. Which is greater: j or i?
i
Suppose -2*q - 75 = -3*g, 0*g - 75 = -3*g + 5*q. Suppose 61 = -u - g. Is u != -87?
True
Let q = -4034545/14686 - -13/2098. Let h = 275 + q. Which is smaller: -13.4 or h?
-13.4
Let f be -430*-1*(15/3)/(-5). Let a = -718 - f. Is a >= -288?
True
Let l(b) = -b**2 - 125*b - 1808. Let i be l(-17). Are i and 53 unequal?
True
Let i(g) = 141*g**3 + 5*g**2 - 40*g + 95. Let a be i(3). Which is smaller: a or 3826?
3826
Let r = -55967/1985 + -2/397. Let h(x) = 31*x**2 + 213*x - 55. Let o be h(-7). Is o at most r?
False
Let z = 21 + -59. Let k = -39 - z. Let x = 1103/13 + -85. Which is smaller: k or x?
k
Suppose -2*c = -5*q - 259, -2*q + 0*q + 3*c = 97. Suppose -188 = 5*g - 4*a + 85, 3*a - 165 = 3*g. Is g != q?
False
Suppose -34 = 5*w + 71. Let q be 32/144*465*3/(-14). Which is greater: w or q?
w
Suppose 3*z + 6*w + 250 = 7*w, 2*w = -5*z - 435. Let j = z - -32. Let y = j - -53. Which is smaller: -1/163 or y?
-1/163
Let o be -15 - (0 + 1/2). Let k be ((-4)/(-6))/(5/1110). Let s be 2 - k/8 - 3/(-6). Which is bigger: s or o?
o
Suppose 3 = -4*j - 3*v, 1 = 4*j + v + 2. Suppose j = 6*z + 3*z. Suppose z = 14*g - 8*g + 90. Which is smaller: g or -16?
-16
Let q = 27 + -33. Let w = q + 6. Suppose v - 3*g = -2, w = v + 5*g - 0*g + 2. Which is greater: -6/7 or v?
-6/7
Let x = 19307/9 - 7279360/3393. Is x at least -1?
True
Let s = 102 + -101. Let f be (12206/(-140))/((-12)/(-10)). Let w = -291/4 - f. Is s >= w?
True
Suppose 204658 + 4345 = 137*w - 137059. Which is smaller: 2527 or w?
w
Let b be (56/(-357448))/((-1)/5*(-10)/(-4)). Which is greater: 0 or b?
b
Let h = -88 + 90. Let w(m) = 30*m**3 + 22*m**3 - 51*m**3 - m**2 + 2*m**h. Let o be w(0). Are o and 7/13 equal?
False
Let y = 81096 - 81138.839. Let t = -0.161 + y. Is -2 != t?
True
Let v = -509 + 546. Suppose -44*f + v*f = -868. Which is smaller: 123 or f?
123
Suppose 4*d = 4, -13*y - 2*d + 5 = -12*y. Let g be 3 + -3 - y - (-2 - -19). Which is greater: