t x be p(17). Suppose 124*w + x = 127*w. Which is smaller: w or -3/199?
-3/199
Let u = -128 - -284. Which is bigger: u or 5?
u
Let z be ((-8)/(-6))/((-4)/(-18)). Suppose o - 3*l + 9 = 3*o, 5*o = -2*l + z. Let c be -3*(148/987 - (-3)/(-21)). Which is smaller: c or o?
c
Suppose 4*t = o - 92699, -5*t + 417*o = 413*o + 115893. Is -23173 at most t?
True
Let p = 851 - 1869. Is -0.1 at most p?
False
Let w be -2 + (-515)/(-2)*7/245. Suppose 10*q - 330 = -61*q + 16*q. Is q at most w?
False
Let u = -8.7 - -11.3. Which is greater: u or -12?
u
Suppose -2*y + 8 = h - 3*h, 0 = -3*h + 5*y - 18. Let g be (1 - h)/((-12)/12). Which is bigger: g or 3.7?
3.7
Suppose d + 17 - 7 = 0. Let x be (-35)/d*(-2 + -24). Let f = -639/7 - x. Which is smaller: -26 or f?
-26
Let g = 2011/5 - 255937/635. Is g less than 0?
True
Suppose 0 = -3*x + 2*c + 131, 2*x + 2*c = 3*c + 88. Let d = 31 + x. Let b = -66 + d. Which is smaller: b or 14?
b
Let i = -2659.9 + 2660. Which is bigger: -627 or i?
i
Let i be (6/(-7) + 0)*(-133)/57 - -60. Which is bigger: 64 or i?
64
Let a = -6/127 + 932/14351. Let h(v) = -v**2 + 2*v. Let m be h(2). Suppose 29*l - 27*l = m. Which is smaller: a or l?
l
Let i = -129.9636 - 0.0364. Let g = -129.94 - i. Is -31 greater than g?
False
Suppose -3*o = -0*s + 3*s - 30, 2*s - 25 = -o. Let k be (-1130)/18 + 16/(-72). Let j = k + 77. Which is greater: s or j?
s
Suppose 11040 = 15*b - 53*b - 8*b. Is -240 <= b?
True
Let a = 940.1 - 935.1. Which is greater: a or 1569?
1569
Suppose -14*a - 262 = 200. Let m(b) = -8*b - 3 + 0*b + 3 + 7. Let g be m(5). Are a and g nonequal?
False
Let l be ((-8)/36)/((21112/(-64019100))/7). Let h = -4717 + l. Let c = -6764/12441 + h. Which is bigger: -1 or c?
c
Let l = 2/2399 - 9606/11995. Suppose 0*t = t - 2*f - 18, 5*t = 2*f + 58. Are t and l nonequal?
True
Let b be (6 - 4)/((-154)/385). Let t = 0.02 + -8.02. Let c = t - -17. Is c bigger than b?
True
Suppose 5*h = h + m + 18, 4*h = -m + 6. Is h smaller than 87/46?
False
Let q = -2.41 + -131.59. Let w = 135.3 + q. Which is bigger: w or -8?
w
Let v = 1477562084467/124976926977701 + 4/971441551. Let i = -31713987/1013 - -31307. Let d = v - i. Is d less than 0?
False
Let v = 1.9 - 2. Let j = 41707031/820 - 203453/4. Let l = j + -15/82. Is l not equal to v?
True
Let h be (-4)/10*-2*-5. Let u(l) = -16*l + 3. Let j be u(h). Is 67 at most j?
True
Suppose -2*p + 2 = 2*n, n = -4*n - 20. Suppose p*j - 38 = -13. Suppose j*g - 8 = s - 0*g, -5*s - g + 12 = 0. Is -1 equal to s?
False
Let s = 390 - 95. Suppose -6*i - 55 = -s. Suppose 0 = -2*f + 72 + 8. Do f and i have the same value?
True
Let i = 229 + -1144/5. Which is smaller: 2072 or i?
i
Let i be (-11346)/1621 + 84/(-60)*-5. Do i and -1 have the same value?
False
Let g be ((-36)/(-243))/(2/30). Let k be (-345)/(-75)*1*5. Suppose -3*x - 17 = -k. Do x and g have the same value?
False
Let q(i) be the first derivative of -8*i**3/3 + 2*i**2 + 20*i + 78. Let k be q(7). Is k > -1/3?
False
Let c = -18/3157 - 4126091/18942. Which is smaller: c or -217?
c
Let z be 16/40 + (76653/(-45) - 10). Is z bigger than -1724?
True
Suppose -4*k = 4, n + 4*k + 288 = -30. Is n bigger than -310?
False
Let k = 520 - 696. Is k less than or equal to -176?
True
Let m be (-33410)/1014 + 33 + (-41)/39. Are m and -3/4856 equal?
False
Let w = 0.0686 + -142.0686. Let h(z) = 7*z + 51. Let a be h(-7). Which is greater: a or w?
a
Suppose -2324 = -202*j + 908. Which is smaller: 32 or j?
j
Let x be -11 - 20/5 - -3. Let b be ((-1)/2)/((-846)/x). Let k = b - -712/987. Which is greater: k or -4?
k
Let c be 1/((770/100)/(164/20)). Which is smaller: c or 2?
c
Let o = -6210 + 9680. Let t be ((-2)/9 - o/180)/2. Which is smaller: -11 or t?
-11
Suppose 0 = 2*b + 4*u + 49450, -13*b + u = -10*b + 74217. Which is smaller: b or -24736?
b
Let t be (371/954 - (-1)/9)*(-12)/(-48549). Is 1 < t?
False
Let r = 687 + -188. Let q = r - 274. Which is bigger: q or 1?
q
Let k = -47584 - -208084834/4373. Is k less than or equal to -1?
False
Let l be 3556/294 + 3 + (-260)/84. Suppose 2*a - 6*a = 0. Suppose 3*x = -y + 6*y + 56, -3*x - 2*y + 28 = a. Is l <= x?
True
Let l be (258/(-5))/(196/(-35) + 5). Is l greater than or equal to 93?
False
Let s = 3 + 0. Let d be (((-42)/(-38))/(-7))/s. Is 0 <= d?
False
Let z be (-7)/((-1092)/(-64))*(-54)/8. Which is greater: 4 or z?
4
Suppose 636*t - 661*t = -875. Which is smaller: -52 or t?
-52
Let z = -0.0952 - -0.0393. Let y = z + 1.0559. Which is smaller: y or -1.5?
-1.5
Let m = -11376 + 11408. Are 0.25 and m unequal?
True
Let f = 113 + -117. Let v be (-3)/f - 4/(560/(-64205)). Let c = v + -459. Which is bigger: -1 or c?
c
Let q = -9.5 - -14.3. Let w = q - 4.4. Is 1.3 != w?
True
Let l be 600/2100*28/6. Does 69 = l?
False
Let z be -1*192/54 - (-4 - 0). Is -30 <= z?
True
Let s = 1/6049 + 84683/18147. Let o be ((-7)/3 - -1) + 2. Is s not equal to o?
True
Let z be 161/(-23) - (4 - (0 + -597)). Which is smaller: -4 or z?
z
Let t = -5288 + 5215. Which is greater: t or 4/19?
4/19
Suppose -4*h + 660 = 3*s, -3*s + 557 + 265 = 5*h. Let p = -23019 - -23182. Which is bigger: p or h?
p
Let y be -1*(-1)/1*3. Suppose -57 = l - y*s, 3*s + s + 74 = -2*l. Let w be (-1)/(-2) - l/(-102). Are w and 0 nonequal?
True
Suppose -3*f + 26 = 2*t, -4*t - t = 5*f - 70. Let q be t/48 - 196/(-6). Let s = q - 58. Do -25 and s have different values?
False
Let c(a) = -78*a**2 + 610*a + 4197. Let m be c(-7). Which is smaller: m or -3893?
m
Suppose 2*s + 2572 + 1394 = 0. Is -1983 > s?
False
Let q be (-804)/158 + -1*(8 - 8)/(-3). Do q and -6 have different values?
True
Let h = -108733/71847 - 125/887. Is h equal to -3?
False
Let s = 41 + -233/4. Let h(v) = v**2 - 5*v - 9. Let i be h(7). Suppose 5*p - 18 = -33, i*x - p + 77 = 0. Which is smaller: x or s?
s
Let r(n) = 2*n + 13. Let y be r(-5). Suppose 0 = y*b + 5*l + 15, -2*l = -b + 4 + 2. Let o be (b - -3)*(-1)/16. Is -2/5 bigger than o?
False
Let i = 44 + -212. Let d = -168.601 - i. Let t = 0.101 + d. Which is bigger: 12/7 or t?
12/7
Let b = 12108/7 + -1729. Is -41 >= b?
False
Let r = -111 + 390. Suppose 110*d + 10541 - 15111 = 25900. Is r < d?
False
Let a = 8171223/55930 - -15/5593. Is a equal to 146?
False
Suppose -3*q - 1 = -1. Suppose q = -0*b + 4*b - 192. Suppose -18*m + b = -22*m. Which is greater: m or -13?
m
Let p = 242/395 - 727477/1189345. Which is greater: p or -1?
p
Let b = 1115 + -1057. Let s be b/(-6873)*(-1 - (-6)/5). Is s < 0?
True
Let n(h) = 15*h - 14 + 14 + 52 + h**2 + 7*h. Let r be n(-19). Which is smaller: r or -25/7?
r
Let c = 59 - 36. Let o(b) = -b**3 + 21*b**2 + 28*b + 28. Let a be o(22). Let m = a - 136. Is c bigger than m?
False
Suppose 3*y + y + 363 = 3*s, -2*y - 4*s = 176. Is -41 != y?
True
Let u = 49397/3 + -16780. Is u equal to -313?
False
Let o = 1467 - 1294.2. Let n = -173 + o. Is n less than 127?
True
Let h = -2407 + 2408.35. Which is greater: h or 24?
24
Let k be -3*55 + (3 - (4 + 2)). Let a = 168 + k. Which is smaller: 3/7 or a?
a
Let x = -16540 - -16152. Are x and 2 nonequal?
True
Let j = 4980 + -4978. Is -172.3 > j?
False
Let p = -0.184 + 773.184. Let i = p + -772.99. Is 1/2 greater than or equal to i?
True
Let w be (-4)/(-5) + (-3 + 4 - 159). Let z = -162 - w. Suppose -4*n = -20, -x + 10 = n + 2*n. Is z at least as big as x?
True
Let a be 2/(-17) + (3464*3/(-102) - -7). Which is smaller: a or -97?
-97
Let n(b) = 284*b - 18. Let r be n(1). Let v = -271 + r. Does -10 = v?
False
Let c be 15600/416 - 6/(-4). Is -10 less than or equal to c?
True
Let s = 188/149 + -279974/225437. Which is bigger: s or 0?
s
Let t(q) = -5*q**2 - q**3 - 7 + 2*q**2 + q - 2*q**2. Let x be t(-6). Suppose 210 = 5*b + 411 - 321. Is x bigger than b?
False
Let v be 8/6*((80/(-5))/8)/1. Is v <= 25?
True
Let n(y) = -1333*y + 30. Let q be n(-18). Suppose q = -27*v + 4503. Which is smaller: v or -722?
v
Let u = -1.3 - -2. Let h = -0.51 + u. Let m = h - 0.09. Which is greater: m or 27?
27
Let o = -1369 - -1376. Let h(g) = -g + 9. Let y be h(8). Suppose -2*a + 32 = 5*r, 4*a + 9 = 2*r + y. Is o less than or equal to r?
False
Let k be 230/3 - 2/3. Suppose 586*b = 584*b + 408. Let z be b/(-153)*462/(-8). Is k bigger than z?
False
Suppose 99*t + 2730 = -174*t. Suppose 0*w = -4*w - 408. Let x be (-4)/(-10)*w/4. Are x and t non-equal?
True
Let x be (-8)/7*(-84)/24. L