(o/5). Let r = -569 - n. Which is bigger: 0 or r?
0
Let h be -723 + ((-4)/5)/(112/280). Is -3 less than h?
False
Let c = 89/68 - -5381/136. Let x = 4151 - 4109. Which is smaller: x or c?
c
Suppose -3*w + 7*w + k = 101, -4*w = 2*k - 98. Let a(m) = m**3 - 28*m**2 + 61*m + 26. Let o be a(w). Is 261 bigger than o?
True
Let j be (-35)/560 + (-564217)/112. Let v = j - -4972. Which is smaller: v or -65?
v
Let b be 7102/(-44) + 1 + 376/(-47). Which is smaller: b or -168?
b
Let g be (100/(-110))/(-5) - (-14464)/66. Let m = -220 + g. Is m <= 3.5?
True
Let n = 34.079 + -0.079. Let q = -3 + n. Let y = q - 29. Which is greater: y or 5?
5
Let q = 45 - 47. Let d = q + 1. Let l = -246 - -1711/7. Which is bigger: l or d?
d
Suppose -9*l - 47*l = -6595 - 8189. Suppose -3 = -3*k, 3*f = -0*f - 4*k + 790. Is l < f?
False
Suppose -v + b + 6 = 0, -2*b = -3*v + 26 - 8. Let c = v + 147. Which is smaller: c or 152?
152
Let a be 13890/14 + 13 + -16. Which is smaller: 988 or a?
988
Let d = -0.024 + 145.024. Let f = 114 - d. Which is smaller: -6 or f?
f
Let y(j) = j**3 + 4*j**2 + 3*j. Let g be y(-3). Let i = 577 - 74. Let d = i + -6535/13. Is g greater than d?
False
Let b be (-110)/(-20)*-2 - -17. Let s(c) = -c**3 + 8*c**2 + c. Let g be s(8). Is b less than g?
True
Let j = -6 + 7. Let t = j - 2. Let l be (1/39*3)/(-5 + 374/77). Are t and l equal?
False
Let m = 33148 + -99427/3. Suppose -d = -5*p - 5 + 25, -d + 4*p - 15 = 0. Suppose 2*v + t = 13, 0*t = -2*v + d*t + 19. Which is greater: m or v?
v
Let s(q) = 19*q + 18. Let x(d) = -18*d - 20. Let t(z) = 4*s(z) + 3*x(z). Let n be t(-4). Let f = n + 77. Is 6 < f?
False
Let l be -5 + (8 - -3*((-36)/(-45))/(-1)). Suppose -1 = -5*n - 2*i + 4, 0 = 2*n - 5*i + 27. Do n and l have the same value?
False
Let y = -2 + 0. Let q = y + 2. Let o = -2/68945 + 137944/1861515. Is q greater than or equal to o?
False
Let z be (0/19)/(3*5/(-5)). Which is smaller: z or -3/4756?
-3/4756
Suppose 14*a + 44 = 3*a. Let p = -33 - -27. Let o be (8/p)/(4/6). Which is bigger: a or o?
o
Suppose 0 = 4*z - u - 4 - 3, -3*z = 3*u - 24. Let c be 4 - -1 - z - 9. Is -7 greater than c?
False
Let z = 22 + -40. Let b = 177 + -173. Let f(t) = -t**3 + 7*t**2 - 12*t - 16. Let m be f(b). Is z not equal to m?
True
Suppose 4*p - 4064 = 2*k, 4*k + 5*p = -2500 - 5706. Which is bigger: -2045 or k?
k
Suppose 34*b + 36027 = -100517. Is b <= -4015?
True
Suppose -5*o - 4*m + 3 + 0 = 0, -o + 5*m = -18. Let g(a) = a + 3. Let n be g(o). Suppose -x + 4*r = -n*x + 20, 2*x = -4*r + 20. Does -2/15 = x?
False
Let g = -135 + 128. Let u(b) = -b**2 - 4*b - 17. Let z be u(g). Is z bigger than -36?
False
Suppose 0 = 2*b + 10, -13 - 15 = -d - b. Suppose 286*z - 5912 - 4098 = 0. Which is greater: d or z?
z
Let h = -1959 + 346745/177. Let i = -639 + 99. Let t = i - -541. Is h >= t?
False
Let q(k) = k**3 - 41*k**2 - 81*k - 214. Let r be q(43). Let d = 152 + -87. Suppose 5*u + 6 = r, 4*s - 3*u = -d. Do -15 and s have the same value?
False
Let i be 344/(-40) - -9 - (-106)/10. Suppose o + 3*x + 17 = 3*o, -4*o + 3*x = -49. Which is smaller: i or o?
i
Let v = -0.27 + 102.27. Let g = v - 70. Let z = g + -39. Is 1 at most as big as z?
False
Let f(m) = -2*m**3 + 7*m**2 - 3*m - 4. Let i be f(2). Suppose 0 = -0*j - 3*j + i*j. Which is smaller: 4 or j?
j
Let f = -2317 + 2343. Let n(x) = x**2 + 10*x + 15. Let o be n(-11). Is f at least as big as o?
True
Let z be 0/((-27)/(-54)*(-1 + -1)). Is z at most as big as -2/967?
False
Suppose -4*u = 5*m - 50, 2*m - u = -2*m + 40. Let b = 145384 + -145388. Is m at least b?
True
Let n be (-20)/(-48)*2*87/(-232). Suppose 2*q = -a + 8, -5*q + 14 = -6. Which is smaller: n or a?
n
Let h be 14434/(-2625)*(1 + 1009/(-1006)). Let x = h - 1/2515. Which is greater: 0.1 or x?
0.1
Suppose l - 1 - 1 = 0. Let u = l + -4. Let h = -59655.3 - -59655. Which is smaller: h or u?
u
Let u(x) = -9*x - 61. Let a be u(-15). Suppose 2*i - 3*g - 55 = 102, -a = -i + 3*g. Do i and 84 have the same value?
False
Let y(w) = -w**3 - 48*w**2 + 7*w - 723. Let a be y(-50). Is a at least 3926?
True
Suppose -d + 40*w + 2929 = 41*w, 4*d + 2*w - 11710 = 0. Which is smaller: 2927 or d?
d
Let g(d) = 7*d**2 + 9*d - 4*d + 4 + 9*d - 5*d**2. Let y be g(-7). Let o(j) = -j**3 + 3*j**2 + j - 3. Let q be o(y). Which is bigger: -11 or q?
-11
Suppose -1216 - 2035 = -57*n - 686. Let t = -7 - -55. Which is bigger: t or n?
t
Let j be 2 + -26 + 7 - 1743. Is j at most -1762?
False
Suppose -2*n = -3*q - n + 7, 3*n = -3*q + 27. Suppose -4*z - 22 = x, -q*x - 41 = 3*z - 5. Let a = 726 - 732. Do a and x have different values?
False
Suppose 12 = 2*p + 3*d - 2*d, -4*p + d + 12 = 0. Suppose -44 + 48 = p*j. Let u(o) = -72*o + 3. Let a be u(j). Is a >= -69?
True
Let i = -10 - -14. Let v be (-70)/(-8) + i/16. Suppose 0*j + 2*j - 24 = 0. Is v greater than or equal to j?
False
Let t = 22137 + -22138. Which is smaller: 142/357 or t?
t
Let d(f) = -f**2 - 11*f + 4. Let p be d(-6). Let k(c) = -c**2 - 29*c - 20. Suppose 31*b - 33*b = 54. Let n be k(b). Do p and n have different values?
False
Let l be 5/(30/(-4)) - (-201)/(-9). Let z = l - 1. Let f = z + 71/3. Is 3/29 < f?
False
Let a = -512.591 + 470.7859. Let m = a - 0.0949. Let u = -42 - m. Is -22 > u?
False
Let s = 83 + -82.7. Let g = -425 + 4677/11. Is g >= s?
False
Let l = 9135 + -9115. Do 407/19 and l have different values?
True
Let m = -2858 - -2847. Is m smaller than -574?
False
Let s be (-58)/(-3)*(-54)/180. Let n(u) = 2*u + 10. Let a be n(-5). Suppose a = 5*v + 31 + 4. Is v less than or equal to s?
True
Let y = -0.138 - 0.162. Let b = -82 - -46. Let z = b - -40. Which is greater: y or z?
z
Let f be (-2)/6*2 + 897/(-108). Let p = 2/9 + f. Which is greater: p or -8?
-8
Let l = 1.2966 - 32.5966. Do 15 and l have different values?
True
Let r be 638/(-28) + (-29)/406. Suppose w + 3*w = -2*b - 26, -3*b - w - 64 = 0. Are b and r nonequal?
True
Let o = -582.1 - -85.9. Let j = 463 + o. Which is greater: 2/5 or j?
2/5
Let d = -5296/7 - -68834/91. Which is smaller: 144/25 or d?
d
Let s(r) = -r**3 + r + 2. Let x(k) = -6*k**3 - 29*k**2 - 11*k - 3. Let w(o) = 4*s(o) - x(o). Let c be w(-14). Is -2.1 greater than or equal to c?
True
Let x = -0.14557 + 0.04557. Let i(k) = -5*k**2 + k + 3. Let u be i(-4). Which is smaller: x or u?
u
Let p = -4057 - -15939/4. Let k = -287/4 - p. Is 17/12 less than or equal to k?
False
Let s = -1720030647/312325211 - -2/1494379. Let b be (-15)/(-22)*(-2 + -6). Let o = b - s. Is o > -0.1?
True
Let z be 3 - (330265/41288 + -5). Is z > 0?
True
Let h = -883.51 + 883.11. Let b = 194 + -82. Is h at least b?
False
Suppose -25*o + 2*o + 2093 = 0. Suppose -93 = 4*x + o. Is x greater than or equal to -46?
True
Let b = 185.1 + -43.2. Let a = b + -142. Is a smaller than -2/29?
True
Let g be (135/30)/(3/8) + -1. Let b be 18/45*(1 - g). Which is smaller: -33/8 or b?
-33/8
Let i = 234 + -184. Let c = -45 + i. Let r = 6 + -6.3. Is c at most as big as r?
False
Suppose 0 = -5*r - 113*u + 116*u + 4691, 5*r = -u + 4703. Which is greater: r or 934?
r
Let t(p) = -82*p**2 + 192*p + 754. Let c be t(-4). Which is smaller: -1327 or c?
-1327
Let d be ((-8)/(-28) + 85/(-273))*1. Let r = -355 - -356. Is d at least as big as r?
False
Let q = 2224135/9 + -246779. Which is bigger: 347 or q?
q
Suppose 4*p - 78 = 2*p. Suppose -5*t - 15 = 0, -p + 181 = 5*m - 4*t. Suppose -g + 16 = -11. Which is smaller: g or m?
m
Suppose f + 320 = -306. Let y = 79 - f. Are 705 and y unequal?
False
Let v = -83061.9 - -83062. Suppose -3*t = -6*t - 126. Do t and v have different values?
True
Let g = -11 - -18. Suppose n = 3*h + 242, 5*h = n - 206 - 196. Let q = h - -81. Is g less than q?
False
Let q be ((-1)/(-186))/((-6)/24). Suppose -8*h - 701 + 1773 = 0. Let b = 133 - h. Which is smaller: q or b?
b
Let y(r) = r**3 + 7*r**2 - 9*r + 53. Let k be y(-29). Is -18188 at least k?
True
Let i = 39214 + -39212. Which is greater: -0.2674 or i?
i
Suppose f + 5*g = -0 - 11, 2*f = g. Let d be ((-2)/(-2))/((-7)/7). Let p be (1/d - 6)/4. Is p > f?
False
Let k = 2 + -3. Let h = -537967/7 - -77749. Let y = h - 898. Which is bigger: k or y?
k
Let r(h) = -16*h - 4. Let g be r(4). Let v be (28/8)/((10/(-192))/5). Let d = -403 - v. Which is smaller: g or d?
g
Let b(x) = -2*x**2 - 13*x - 15. Let n be b(-13). Let q be 1 - (-7)/((-28)/n). 