ich is greater: -70 or b?
b
Let t(v) = -105*v - 1903. Let p be t(-18). Which is smaller: p or -35/3?
p
Let f(z) = z**3 + 47*z**2 - 319*z + 165. Let o be f(-53). Is 223 less than or equal to o?
False
Let u(w) = w**3 - w**2 + w - 4. Let q be u(0). Let t = 69 - 62. Suppose -y + t*h = 3*h + 14, 5*h = -2*y - 2. Is q greater than y?
True
Suppose -41*w = -29*w - 1 + 1. Which is bigger: w or 25/51?
25/51
Let t(r) = r**3 + 16*r**2 - 2*r + 8. Let a be t(-16). Let f be ((-1)/(-4))/(2*5/a). Is f >= 33/8?
False
Suppose -3*q = 5*l - 127, 0 = 3*l - 6*l + 6. Suppose -q*g + 17 = -56*g. Is g <= 2/601?
True
Let b = 12415 - 1514629/122. Let y(l) = l**3 - 2*l**2 - 3*l - 1. Let g be y(3). Which is smaller: g or b?
g
Let z = 6669 - 4664. Suppose -5*w - z = -4*q + 9*q, 3*q = w + 385. Which is greater: w or -398?
w
Suppose 13 - 4 = 3*h. Suppose 11*u = -h - 8. Is 1 < u?
False
Let w be ((-6)/3 - 4546)*(-5)/(-70). Which is greater: w or -325?
w
Let b = 2323/81 + -764/27. Which is smaller: b or 0?
0
Let i(n) = n + 6. Let t be i(-7). Let m be -3 + 8 - (3 + 0 + t). Suppose 20 = -4*d, 0*j = 2*j - m*d - 13. Which is greater: j or -2/127?
-2/127
Let i be (-20)/14 - 6/(-14). Let w = 2/1461 + 26176/89121. Is i less than w?
True
Suppose -2*r - 4*j + 46 = 0, j - 117 = -4*r - 2*j. Let t be (-227)/(-7) - ((-188)/4230 - 664/1260). Do r and t have the same value?
True
Let b be 2/3 - (-400)/(-594). Let t(f) = -233*f + 14445. Let u be t(62). Is b less than or equal to u?
False
Let c be 12 - 3/(-1) - 1. Suppose -c*s + 990 = 8*s. Is 48 greater than or equal to s?
True
Let z be 122/(-14) - (-2)/(-7). Let w be -8*(3 + z/2)*2. Suppose -3*k = 3*o + 60, 0 = -3*k + 4*k - o + w. Is 0.1 at most k?
False
Suppose 2*v - 58 = 2*n, 4*n - 3*v + 326 = 214. Does -462/19 = n?
False
Suppose -3*g = -4*k - 2625, 938 = -3*k + 2*g - 1029. Does -655 = k?
False
Suppose -14*s + 28 = -18*s. Let b be 2/(s + 9 - 9). Which is bigger: -6 or b?
b
Suppose -29 = -4*m - 2*h + 7*h, 5*m - 4*h = 34. Let v(r) = r**3 - 9*r**2 + 18*r - 1. Let n be v(m). Which is bigger: 2/1203 or n?
2/1203
Let x = 6556 + -10365. Which is greater: -3811 or x?
x
Let j be ((-3)/(60/215))/((-2)/(-16) - 0). Is j equal to -110?
False
Suppose 0 = -z - 3*j - 42, j = -5*z - 26 - 72. Which is smaller: z or 75?
z
Let s = 0.15586 + -5697.15586. Is s < 1?
True
Let c(i) = -i**2 + 5*i + 138. Let r be c(-57). Which is smaller: -3397 or r?
-3397
Let l = 482/105 - 68/15. Suppose -15 = -3*c - 4*h, -9*c + 20 = -5*c + h. Let x be (-16)/(-4) - c - -1. Is l smaller than x?
False
Let x be (-1122)/4*16/(-12). Suppose 656*q = 86854 + 157834. Is x not equal to q?
True
Let f be 34/14 + -3*5/35. Let n be (2*6*f/(-8))/(-3). Which is smaller: -2/573 or n?
-2/573
Let g = -720508/9 + 80306. Let z = -250 + g. Suppose 2*y + 3 = -v, -192*y + 4*v + 17 = -195*y. Which is smaller: y or z?
z
Let z be (262 - 267)*21*-1. Is z < 29?
False
Suppose 35*m + 518024 = -37*m - 32*m. Which is smaller: m or -4982?
-4982
Let k = 6346 + -6203. Is k <= 146?
True
Let q be (28 + 3 + -1)/((-6)/(-4)). Suppose 0 = -4*s + q, 0*w + 5*w - 790 = -s. Is w greater than or equal to 158?
False
Let s = -1099/3 + 5449/15. Which is smaller: s or -2/29?
s
Let u = -9726/19 + 1565883/3059. Which is bigger: u or 0?
0
Suppose 11 = s - 5*w, -s - 2*w = -4*w - 5. Let x = 426 - 651. Let l = x + 225. Is l not equal to s?
True
Let b = -7.7 - 27.3. Let j = 37 + b. Let w = 14 - 21. Which is smaller: w or j?
w
Let j(k) = -k**2 + 12*k + 15. Let m be (-54)/(-5) + 48/40. Let z be j(m). Is 17 smaller than z?
False
Let w = -143 - -129. Let r be (-5)/(-60)*w/3. Is r greater than or equal to 0?
False
Let a = 2489 + -2572. Let c = -1942 - -2025.05. Let z = a + c. Which is greater: z or -0.1?
z
Let m(f) = -3*f**2 + f - 11. Let w(q) = -4*q**2 + 5*q**2 - q + 15 - 10 - 6. Let b(p) = m(p) + 4*w(p). Let r be b(6). Which is greater: 4 or r?
4
Let v = 57 - -16. Let c = v + -50. Let j = 23.2 - c. Which is bigger: -11 or j?
j
Let f be (32/(-280))/((-2)/(-2635)). Let v = 158 - 309. Let g = v - f. Is g greater than 1/4?
False
Let c be 0/(-2) - (3 - 1). Let u(s) = 3*s**3 + 230*s**2 + 130*s - 1673. Let h be u(-76). Is h bigger than c?
True
Suppose -y - 3 = -4*i + 17, 5*i = -3*y + 25. Is y less than -10/519?
False
Suppose 4*g + 3*k = -66, 5*g + k = -2*k - 81. Let t = -1119 - -1175. Suppose 5*d = -5*c - 50, -11*c + 16*c = -2*d - t. Is g less than c?
True
Suppose 266*g - 179 = 87*g. Which is smaller: g or 3/2179?
3/2179
Let z = -2161/36 - -8391307/139788. Which is smaller: 0 or z?
0
Let l be ((-4)/(-10))/(-3 + (-56)/(-40)). Suppose -2*s + 6*s + 24 = 0. Let c(d) = d**3 + 6*d**2. Let n be c(s). Is l > n?
False
Suppose -5*q - 351 = u, 110*q - 111*q - 3*u - 59 = 0. Which is smaller: q or -74?
-74
Let d = -20452/14329 + 332/623. Is d at least -1?
True
Let c be (-2)/(-8) - (-15435)/84. Suppose 0*r - 925 = -5*r. Are c and r equal?
False
Let f = -3894.75 + 3895. Is f greater than 18?
False
Let i = -36/11 - -615/77. Suppose 6*l - 13 - 11 = 0. Suppose -2*g = -4, -l*q + 2*g + g = -14. Is i greater than q?
False
Let o be ((-308)/168)/((-58)/(-4)). Which is greater: o or 0?
0
Let h(w) = w**3 - w**2 + 2*w + 1. Let l be h(2). Let q be 3 + 1 + (-76)/39 + (-116)/2262. Is l not equal to q?
True
Let g = -11.8 - -4.6. Let l = g + 65.2. Let q = -58.9 + l. Is q less than -0.1?
True
Let l(v) = -2*v**2 - v - 1. Let r(x) = -x**3 + 52*x**2 - 67*x - 16. Let o(c) = -6*l(c) - r(c). Let k be o(38). Is k greater than or equal to -1?
False
Suppose 4*f = 54 + 98. Suppose w - 4*d - f = -69, -3*w - 126 = -d. Is -44 at least w?
False
Let j(n) = -24*n**2 - 19*n + 6*n**2 - 79 + 12*n**2 + 7*n**2. Let i be j(-9). Do 172 and i have the same value?
False
Let g be (3/(-12) - -3) + (-4)/(-16). Suppose g*r - 19 = -16. Is r smaller than -2/19?
False
Let v(r) = 35*r**2 - 338*r + 14. Let m be v(10). Is 135 bigger than m?
True
Let v = 1168 + -1143. Let o be 15/75 + (-230)/v. Let i = 14 + -25. Is i not equal to o?
True
Let f = -463 - -350. Let w = f - -248. Is w > 135?
False
Let f be 8 + -10 - (5 + -39 + -1). Suppose a - 6*a + 3*g = -164, 3*g = -4*a + 142. Which is bigger: f or a?
a
Let h = -20501/30 + 4761/5. Is h > 270?
False
Let y = -8490.2 + 8490. Which is smaller: 2872 or y?
y
Suppose 5*z = 30, -7*h - 3*z = -3*h - 2. Is -195/38 bigger than h?
False
Let b be (-3)/(60/8)*370/148. Does b = -1/9527?
False
Let u = -19393 - -8591094/443. Which is smaller: u or -1?
-1
Let t = 17572 - 17572. Let r be ((-13)/(-10))/(12/24). Which is smaller: r or t?
t
Let l = -2 + 5. Suppose -l*t = -7*t - 252. Suppose 21 - 33 = -3*h, 4*g + 3*h + 236 = 0. Is t greater than or equal to g?
False
Let d = 323135794/372849 + 2/124283. Which is smaller: 866 or d?
866
Let q = -2 + 1.8. Suppose 4616 = 4*v + 71*p - 72*p, -5*v + 5753 = 3*p. Let r = -1134 + v. Is q < r?
True
Suppose 4*d - 2*l = -71 + 2801, -d = l - 675. Which is greater: 2042/3 or d?
2042/3
Let d be 43/(-5) - (-2)/(-5). Let i be (2/5)/((-37)/(-6105)). Suppose 1108*k + i = 1102*k. Is d at most as big as k?
False
Let z = -160 + 279. Let o(u) = -327*u - 14922. Let t be o(-46). Is z smaller than t?
True
Let q = 9636 - 2736623/284. Which is smaller: -8 or q?
-8
Let s be 3002/(-38) + (0 - -2) + -1. Let x be (15/s)/((-1)/6). Let i be 4/(-8) + 1/2. Which is smaller: i or x?
i
Let m = 0.2 - 1.2. Let z = 7.77 + -6.65. Let b = z - 0.73. Which is greater: b or m?
b
Let b(o) = 11 - 5 + 388*o - 15. Let n be b(2). Let z be ((-13)/n)/(2/6). Which is bigger: 1 or z?
1
Suppose -3*h - 12 = 3*n, 12*n = -3*h + 16*n - 61. Which is smaller: 34 or h?
h
Let p(q) = q**3 + 11*q**2 - 26*q + 8. Let n be p(-13). Let v be 42/70*n/6. Which is bigger: v or 5?
5
Let w = 1479 + -720. Let r = -25054/33 + w. Which is smaller: -2 or r?
-2
Let b = -2/4901 + -1587814/269555. Which is bigger: -6 or b?
b
Suppose 17*t - 1672 = 6*t. Suppose 4*s = -t + 48. Let d be 2*s/(-600) - (-4)/(-24). Which is greater: 0 or d?
0
Let s = -0.1036 + 27.3356. Let f = s + -0.232. Let y = -17 - -117/7. Which is bigger: f or y?
f
Let w(m) = 2*m**2 + 23*m - 9. Let y be w(-12). Let a be (-508)/(-14) - y/(21/2). Let f be -105*(-6)/a*(-8)/5. Which is smaller: -0.1 or f?
f
Let w = 41 + -36. Suppose -w*i = 4*m + 13, 2*i - 7 + 1 = 4*m. Let b be 10/(-15) - (1 - i). Is -2 at most as big as b?
False
Suppose 27*q - 24*q = 417. Let x = 