l(y) = -288*y - 1439. Let s be l(-5). Which is smaller: 39/97 or s?
39/97
Suppose 0 = 2*f - 5*b + 33, 33*f - 28*f - b + 2 = 0. Let r be (-4)/2 + 15/10. Which is bigger: f or r?
f
Let v = -6868 - -6773. Which is bigger: v or -753/8?
-753/8
Let w = 3055 - 3068. Which is bigger: -186/13 or w?
w
Let g = 4 + -6. Let z be 1 - (g + (-96)/(-34)). Let j(b) = b**2 - 50*b + 95. Let x be j(2). Is x > z?
False
Let m = -10752627/509 + 21125. Does 7 = m?
False
Let a be (-3)/(-15)*10 - (23 + 0). Is 35 smaller than a?
False
Let g be ((-40)/(-50))/(1 - (-554)/(-550)). Let z be g/4*(3 - 5 - 0). Suppose 2*l - 4*f - z = 41, -f = l - 33. Which is greater: l or 39?
39
Let b = 7655 + -7653.61. Let s = 8.4 - 10. Let d = s + b. Is d less than or equal to -1?
False
Let l = 51 - 22. Let m = l - 26. Suppose 21 = x - 5*p, -x - 39 = -4*x + m*p. Which is greater: 9 or x?
x
Let h(l) = -23*l + 230. Let b be h(10). Suppose -27*g + 40*g = b. Let f = -2/63 - -151/2772. Is g > f?
False
Let n = 6146 + -6938. Which is smaller: n or -799?
-799
Let a be (-104)/(-24) - (-3 + (-7)/(-3)). Suppose 4*v = 12*j - 8*j - 8, -2*j + a*v + 13 = 0. Do j and 8/23 have the same value?
False
Let l(p) = -201*p - 4. Let g be l(-6). Suppose -54*h - g = 1066. Let n(m) = 6*m. Let y be n(-7). Is y at least h?
True
Let u = -56.153475 - -0.130475. Let d = -56 - u. Let p = d - 0.083. Is p smaller than 0.1?
True
Let v be 87 + (-8)/(40/15). Suppose -g = -5*g - 360. Let f = g + v. Which is bigger: f or 1?
1
Let y be (1/(-7))/((-75)/(-45) + 600/(-63)). Let f(u) = u**3 - 6*u**2 + u - 6. Let q be f(6). Is y > q?
True
Let g = 83.4 - 21.3. Let v = -3.1 + g. Let x = -69 + v. Is x smaller than 0.5?
True
Let f = -491/372 + -43/124. Which is bigger: f or -3/244?
-3/244
Suppose -6*h - 36 = -8*h. Let q be 6 - h - (0/2)/(-2). Is q greater than or equal to -53/4?
True
Let c be ((-63)/(-135) + 3/9)/(2/(-30)). Which is greater: c or -4?
-4
Let n = 1528 + -1522. Let i = 18/155 - -433/2945. Which is bigger: n or i?
n
Let q = 10 - 23. Let i = -71333 - -71305. Which is bigger: q or i?
q
Suppose a = -j + 4, 2*a - j - 2*j = 33. Let h(l) = 2*l**2 - a + 5*l + l**3 + 1 - 4*l**2 - 2. Let t be h(3). Which is bigger: t or 1?
t
Suppose i - 323 = -5*l, i = 3*i + 5*l - 646. Let u = i - 322. Which is greater: u or 24/31?
u
Let w = -4.107 - -5.907. Is w equal to -2/77?
False
Let t(s) = 3*s**3 - 89*s**2 + 59*s - 12. Let n be t(-7). Does -5815 = n?
True
Let t be (-2)/(-5) + (-293)/(-5). Let i be (-18)/15*5280/99 - (1 + -6). Let f = t + i. Is f greater than or equal to 1/2?
False
Let i be (-63)/(-18)*(-1 + (-26)/14). Let b be (-3)/(90/28)*12. Are i and b non-equal?
True
Let f = -155 - -160. Suppose 5*x + 3123 = -2*z, 12*z + 3126 = -f*x + 13*z. Is 2/3 != x?
True
Let c = -6971 - -6971.1. Let a = 13 - 9. Let v be a/14 + (-6)/315. Which is bigger: v or c?
v
Let g = 0.39598 - 77.29598. Is g at most -7/4?
True
Let i = 108 + -104. Suppose i - 19 = -5*p. Suppose -3*w + 2*a = -2 - 47, -w - 2*a + p = 0. Is 15 equal to w?
False
Let r = 474 + -625. Let p = r + 109. Which is smaller: -44 or p?
-44
Let d(z) = 3*z**3 + 4*z**2 + 12*z + 5. Let i be d(-5). Let y be -1 - 0 - i/341. Let o = 1 - 1. Is o at most y?
False
Let m = 2 + 6. Suppose 0 = -9*b + 4*b - a + 25, 5*b - 45 = -5*a. Suppose -b*w = 5*l + 8 + 6, 4*l = -m. Is w <= -4/19?
True
Let d = -439 + 532. Let r = 114 - d. Is r at least -0.5?
True
Let y be (-5 + 112/(-12))/(1*(-13)/(-390)). Is y bigger than -434?
True
Let z = -275 - -274.723. Let l = z - 9.723. Is l > -37?
True
Let x be 3/6 + (-1577)/2223 - (-1)/(-6). Which is smaller: x or 0?
x
Suppose 4*z + b = 20, 7*z + 4 = 4*z + 4*b. Suppose 4*i + 16 = 0, 5*m - z*i - 114 + 28 = 0. Let j be 2/m - (-6)/7. Is j at least as big as -2/51?
True
Suppose 133 = 3*w - 2*o, 0*w + 97 = 2*w - 3*o. Let g be 0/((-58)/14 - 20/(-140)). Suppose -6*q + 83 - w = g. Is q at most as big as 4?
False
Suppose 0 = 2*s + 4*l + 40, -3*s + 167*l - 166*l = 74. Is s != -93/4?
True
Suppose 3*m = -3*f + 27, -2*m = -5*m + f + 23. Suppose 0 = -11*i + m*i + 36. Let v be 32 - (i/(-4) - -7). Is 29 <= v?
False
Let k = 807.5 - 810.1. Which is smaller: -98 or k?
-98
Suppose 0 = 11*n - 19*n + 24. Suppose -4*m - n = -3*d + 8, 0 = -d + 5. Let o = 14201/10 - 1419. Is m at most o?
True
Let n(g) = 6*g**2 + 13*g + 472. Let w be n(-24). Is 3617 less than w?
False
Let d be (54/45)/((-34)/(-30) - 1). Let h be (26 - 1 - -1) + 18/d. Is 27 > h?
False
Let r = -2.6 + -0.4. Let d = -130249.16 - -130249. Are r and d equal?
False
Suppose 42524 = 119*k - 4838. Are k and 399 nonequal?
True
Let r = -13628 - -1212890/89. Let u be -4 + (-4 - -1) + 2. Let l = u + 6. Are l and r equal?
False
Let w = 26977/86564553 + -7/19086. Which is smaller: w or -1?
-1
Let f = 4 - 0. Suppose -5*t = -f*t - 1756. Let l = t + -367003/209. Is 0 at least l?
False
Let m(s) = s**3 - 7*s**2 + 4*s - 4. Let j be m(6). Let n be -5*(-10)/(850/(-323)). Is n greater than j?
False
Suppose 17*r + 491176 = 225*r - 29*r. Is 2/3 at least as big as r?
False
Let f = 22344 - 22365. Suppose -3*n = 4*v + 58, -2*v - 62 = 2*n + n. Which is greater: f or n?
f
Let i = 0 - 7. Let k(t) = -3*t**2 - t - 47. Let q be k(-8). Let x be (-6)/(-7)*q/(-330). Which is smaller: x or i?
i
Suppose -2*o = 3 - 19. Suppose -9*m - 3 = -o*m. Which is smaller: -14 or m?
-14
Let k = -447.201 - -447. Let b = -13.799 + k. Is b at least as big as -1?
False
Suppose 0 = 2*u - 2*h + 5*h - 5, 3*h = -5*u + 8. Suppose -9*z + 6*z - 3*t = 15, 4*t + 12 = -3*z. Let a be 5*z/160 - (-31)/92. Which is smaller: a or u?
a
Let m be (1 - (-86)/(-90))/((-3)/(-15)). Let x = 0.0111 - 1.0111. Which is bigger: m or x?
m
Let c(b) = 43*b**3 - 2*b**2 + 2*b + 9. Let k be c(-2). Let s = k + 419. Is s >= 74?
False
Suppose 0 = 4*i - b - 1907 + 9238, -i - 1837 = 4*b. Let y = i - -12807/7. Is -2 greater than or equal to y?
True
Let t = 4.06 + -0.06. Suppose 0 = -39*s - 8*s - 32430. Let u = -18628/27 - s. Is u less than or equal to t?
True
Let s be ((-18)/4)/(45/24)*100. Is s greater than -233?
False
Let j(n) = -n**3 + 8*n**2 + 27*n + 1. Let g be j(8). Suppose -55 = -16*v + g. Is v != 11?
True
Let z = -608 + 172. Let u = z - -3493/8. Which is greater: 1 or u?
1
Let x be (((-8)/95)/4)/((-141)/103635). Which is bigger: 14 or x?
x
Let i = 6232.8 + -6528. Which is smaller: i or -0.1?
i
Let o(b) = -b**3 - 5*b**2 - 4. Let f be o(-5). Let p be ((-91)/(-8))/(2/f). Let m = 23 + p. Is m less than 0.3?
True
Let i = -245 - -68. Let p = -460 + i. Let f = p + 46503/73. Which is smaller: -1 or f?
-1
Let n = -619 - -618.5064. Let d = -117.2836 - n. Let q = d + 117. Are q and -1/4 equal?
False
Suppose 1 = w - 2*w. Let f be (-1691)/1805 - 52/(-52). Are f and w non-equal?
True
Let b be (-5 - -3) + 24 - -1. Suppose 2*t = 2*x - 4*x - 2, 4*x + 16 = 2*t. Suppose -t*y = -b - 79. Is y equal to 51?
True
Let b = 174.8 - 172. Let z = -5.4 + 5.3. Which is smaller: z or b?
z
Let r be (27/(-135))/(((-5)/50)/((-1)/3)). Is -486 at most as big as r?
True
Let a = 0.26 + -21.66. Let f = a - -24.4. Which is greater: 1/5 or f?
f
Let m = 224 - 233.7. Let p = -0.7 - m. Let a = p - 9. Is a at least as big as 9?
False
Suppose 3*i - 760 = 4*m, -216*m = 3*i - 211*m - 805. Which is smaller: i or 0.02?
0.02
Let c = 3/7997 + 1451/7997. Is c less than 5/14?
True
Let m be (-19)/((-3021)/(-738)) - (2 - 7). Let w = 1603/4028 - m. Is w less than or equal to 0?
False
Let r be -1 + 70/(1 + -2). Let a(i) = i**2 - 15*i + 71. Let d be a(8). Let c be -1 + d/25 - (-353)/(-5). Is c at most as big as r?
True
Let k = -40.08 + 2.08. Which is bigger: k or 44/5?
44/5
Suppose -9*d = j - 6*d - 3, -5*d + 1 = j. Suppose -24*m + 27*m = j. Which is smaller: m or 5/7?
5/7
Let f(u) = -2*u**2 + 30*u + 25. Let x be f(16). Let m be 28/(-175)*((-21)/(-6))/x. Is 7 at least as big as m?
True
Let l(z) = 3*z**2 + 15*z - 3. Let t be -2 + (3 - -1) - 475/5. Let n = 88 + t. Let d be l(n). Is d < -5?
False
Let i = 3 + -2.9. Let q(b) = -b - 148. Let v be q(14). Let c = v + 202. Which is smaller: i or c?
i
Let x = 64.994 - 65. Let p = -38.006 - x. Let m = p - -22. Are m and 2 equal?
False
Let h = -28.93727 - 0.06273. Is -65 less than or equal to h?
True
Let v(k) = 3*k**2 + 19*k - 36. Let d be v(-8). Suppose 2*o = -3*j - 13, -j - d*o - 16 = -o. Suppose 70 = -2*l - 4. Do l and j have different values?
Tr