9
Suppose 0 = -37*b - 6 + 43. Which is greater: b or -15/62?
b
Let x be 11/(55/30) - 0. Suppose -8*t - 2912 = x*t. Let l = 461/2 + t. Which is bigger: l or 22?
l
Let q(r) = -2*r - 36. Let c be q(-19). Suppose -o = c*o + 5*i - 1, i = -1. Suppose 35 = 3*u + o*n, -2*u + 4*u - 35 = n. Which is bigger: u or 0?
u
Let g = 1945 - 1876. Does -1/4 = g?
False
Suppose 0 = 17*p - 13*p + 264. Let x be (22/p)/(100/6). Is 0 <= x?
False
Let n = 29258 + -25011. Does 4247 = n?
True
Let a be (15/44)/(288/8960). Which is smaller: a or 12?
a
Let i = 36 + -63. Let u be (i/12)/((-12)/160). Are u and 2/5 unequal?
True
Let d be (-18)/45 - (-1344)/10. Let c(v) = v**2 - 30*v. Let j be c(-4). Which is bigger: d or j?
j
Suppose 0 = 2*c + s + 10, -4*s = -4*c - 82 + 86. Are c and -0.0585 non-equal?
True
Let x = -50 + 28. Let s = 0.0459 + -28.0459. Let b = s - x. Which is greater: 1/8 or b?
1/8
Let g = -40 - -47. Suppose 2*m - g*m + 25 = 0. Suppose 0*d = 5*p - d - 11, m*p + 3*d - 7 = 0. Which is smaller: p or 14/9?
14/9
Let j(t) = -t**2 + 420*t - 4498. Let l be j(11). Which is smaller: l or 174/161?
l
Let j = 3.35 + 445.65. Let m = j + -436. Which is bigger: m or -18?
m
Let l(d) = 5*d - 64. Let t = -96 + 109. Let p be l(t). Which is smaller: p or -2/29?
-2/29
Let p(w) = 159*w - 1840. Let n be p(12). Which is smaller: 49 or n?
49
Let j = 0 - -1. Suppose 8*l + 23 = 7. Let k be ((-305)/(-427))/(l/7). Which is smaller: k or j?
k
Let c = -298 - -419. Let t = -330 - -452. Is c at most as big as t?
True
Let b = -11 - -121. Let g = 57 - -54. Which is smaller: b or g?
b
Let i be 5/(-2705)*(5 - 6). Let r(b) = 46*b + 229. Let a be r(-5). Is i less than or equal to a?
False
Suppose -v - f + 1 = 0, -6 + 11 = 5*v - 2*f. Is -11/2616 bigger than v?
False
Suppose 44 = 3*t - 7. Suppose t = 5*i - 3. Is -7 smaller than i?
True
Suppose -2*i = 5*y - 21, -3*i - 4*y + 15 = -2*y. Let a be (-17017)/102 - (-2)/(-12). Let g = a + 681/4. Which is smaller: g or i?
i
Let i = 17.56 + -9.56. Let o = -14.14 - -0.14. Which is bigger: o or i?
i
Let o be (-24)/(-30) + (-34)/17. Let m be (-8)/(-3) - 4/6. Let d be (-1 + -1 + 2)/m. Is o at most as big as d?
True
Suppose -2*m - m + 129105 = 0. Let h be (-19596)/m + ((-13)/(-5) - 2). Let p = h - -2/151. Which is bigger: 0 or p?
p
Let g(f) = f**3 - 11*f**2 + 19*f. Let n be g(9). Suppose 2*u - 4 - n = -a, 5*a + 40 = 5*u. Let w be (-88)/u - (-16)/28. Which is bigger: w or -34/3?
-34/3
Let g = 50 - 33. Suppose g*d - 16*d - 4 = 0. Suppose -o - f - 5 = -20, 0 = d*f + 16. Which is greater: 0.1 or o?
o
Let c = 1148/5 - 174. Let v = 55 - c. Suppose 0 = 2*s + 4*m, -5*s + 2*m - 14 = -2*m. Which is greater: v or s?
v
Let i(y) = 5*y**3 + 64*y**2 - 2*y - 36. Let t be i(-13). Is t greater than or equal to -3042/17?
False
Let r = 108369/52 + -24840/13. Which is smaller: 173 or r?
173
Let m = 37 + -34. Suppose -4*n = 2*z + 12, -m*n - 2*z + 1 = 11. Let l(f) = -f**3 + 5*f**2 - 6*f + 9. Let p be l(4). Is p smaller than n?
False
Let m = -63 - 0. Let g = m + 67.8. Let c = g + -2.8. Which is smaller: c or 0.6?
0.6
Let f = 458 - 457. Let b be (23/18 - (-6)/27) + f. Is -13 at least as big as b?
False
Suppose 14*q - 11 + 711 = 0. Let p be 25/q*2/3. Which is greater: p or 10.2?
10.2
Let n(p) = 11*p**3 - 2*p**2 - 2*p + 3. Let d be n(2). Suppose -16 = w - d. Let b be ((-460)/18)/(-2) - (-14)/w. Is b at least 12?
True
Let b = 8472 - 7985. Is 497 less than b?
False
Let m be (-18 + -2 + 20)/(-4). Are 580 and m non-equal?
True
Let z = -4556 - -4555.888. Which is smaller: -1/23 or z?
z
Suppose -44 = -2*p - 2*p. Suppose 8*w + p = -101. Suppose -2*q - 4 = 0, 0 = 2*b + 3*b - 4*q + 67. Which is greater: b or w?
w
Let n(x) = -60*x**3 + x**2 - x - 1. Let j be n(-1). Let c = j + -34. Let h = 9.4 - 9.3. Is c at most as big as h?
False
Suppose 11*y - 5*y - 12 = 0. Suppose -y*s = 5*f - 3 + 6, -37 = -2*s + 3*f. Let l(u) = 11*u**3 + u**2 - u + 1. Let m be l(1). Is m at most s?
False
Let t = -326 + 329. Suppose -t*w + 8 = 4*f, 6*w - 3*w + f = -7. Which is smaller: w or 46?
w
Let m(i) = -i**2 + 15*i + 32. Let r be m(18). Let n = -14 - r. Suppose -6*j + n = -5*k - 4*j, -k - 20 = -5*j. Which is bigger: -1 or k?
k
Let y(i) = 6*i - 45. Let v be y(8). Suppose 0 = 2*c - 2*m + 5*m + v, -4*m = 4. Which is bigger: 1.29 or c?
1.29
Let h(y) = 33*y - 112. Let j be h(-8). Let q = j - -347. Which is smaller: -30 or q?
-30
Let l be (6/(-33))/(8 + (-425)/55)*3. Let b be 94/(-182) + (-6)/(-21). Which is smaller: l or b?
l
Let r = -20 - -20.27. Let p = 0.17 - r. Let g = -53 + 89. Is g >= p?
True
Let q(s) be the third derivative of 0 + 18*s**2 + 1/12*s**4 + 0*s - 5/3*s**3. Let r be q(5). Which is greater: r or 1/4?
1/4
Suppose 0 = -5*v + 3*u + 253, -95*u - 103 = -2*v - 92*u. Are -3 and v non-equal?
True
Let s be 4/(-26)*-5*1/(-25). Let j = 957.6 + -958. Is s > j?
True
Let b = -2.1 - -2. Let g = 1.1 + b. Let k be -7*1/1*(7 + -5). Which is greater: k or g?
g
Let b(a) = -a**3 + 45*a**2 - 23*a + 1034. Let g be b(45). Which is greater: 2/49723 or g?
2/49723
Suppose -b - 95 = 3*w, 92 = -b - 185*w + 181*w. Which is smaller: -4 or b?
b
Let d = -950 - -1685. Let o = d - 734. Which is smaller: -144 or o?
-144
Let g = 2096.7 - 382.7. Is 5/2 at least g?
False
Let g(b) = -49*b - 134. Let d be g(-10). Let t = d + -4622/13. Let r = -1 - -1. Which is greater: r or t?
t
Let f = 8 - 4. Suppose 0*n + 24 = -f*n. Let r be (19596/639)/(0 + 1 - 7). Are n and r non-equal?
True
Let l(h) = -h**3 + 5*h**2 - 5*h + 2. Let u be l(3). Suppose -2*g - 2*c + c + 9 = 0, 5*c = 4*g + 17. Let t be (g + (-8)/(-3))*42/28. Are t and u equal?
False
Suppose -2*b - 4*z + 168 = -276, 676 = 3*b + 4*z. Which is bigger: 231 or b?
b
Let i = 5.1621 - 0.0141. Let o = 0.148 - i. Is o at least as big as -0.12?
False
Suppose n + 77*d - 1 = 79*d, 0 = -3*n + d - 2. Let q be (2/(-48)*-4)/(-101). Is q at least as big as n?
True
Let l = 1 - -4. Suppose l*a - 9 = 2*a. Let p be (-16)/(5 - 1) - -6. Which is smaller: a or p?
p
Let a be (((-36112)/90)/4)/((-10)/620). Let j = a - 6219. Is j greater than -1?
True
Let g = 157 + -108. Let q be 24/9 - (-2)/(-3). Let w be 319/7 + q - 9/(-21). Which is smaller: w or g?
w
Let t be 1/(85/350) + (-6)/51. Suppose 9 + 4 = 5*c - 2*v, -8 = -t*c + v. Are c and 0.3 non-equal?
True
Let l be (-22)/2*21/(-231). Is l less than 34/35?
False
Let j = -9440 - -9447. Is j equal to 8.31?
False
Let h(p) = -2*p**2 + 10*p + 26. Let z be h(7). Let f(n) = -39*n - 2. Let d be f(-2). Let b be 4*(d/(-32) - z). Which is bigger: b or -2?
b
Let w(y) = -11*y - 85. Suppose 19*j + 225 = -364. Let b be w(j). Are b and 256 nonequal?
False
Suppose 0 = 3*v + 3*f + 45, 4*f = -2*v + 6*v + 84. Let j(l) = -16*l - 338. Let b be j(-21). Let g = v + b. Which is greater: g or -21?
g
Let o = 1216 + -1219. Do 42 and o have different values?
True
Suppose -2*n + 84 = 4*i - 3*n, -3*i - 4*n = -63. Let u(f) = -3*f + 6. Let y be u(-5). Let w = y - i. Which is smaller: w or -1/4?
-1/4
Suppose -20*h - 15 - 45 = 0. Let v be (h/(-36))/(9/12). Which is smaller: v or 17?
v
Let x = -7028 - -7029. Let l = -37 - -5. Is x >= l?
True
Let l(v) = v**2 - 9*v + 4. Let z be l(9). Let y be 8*(-1)/z*-2. Let h be (7 - 14)/((-16)/16). Is h at least y?
True
Suppose 11 = l - 5*p, -l - 3*p + 7 = -6*p. Do l and 2/175 have the same value?
False
Let x be ((-4)/408*4)/((-1040)/(-81120)). Let i(g) = -g - 8. Let p be i(-6). Is x smaller than p?
True
Let w be 1/(1/(-41*(-2 - -3))). Let z = w + 131/3. Let m = 192 + -578/3. Is m greater than or equal to z?
False
Let w = 413.9 - 414. Is 68/127 > w?
True
Suppose 3*w = 2*w + 3. Let a be (56/7)/(-5 + w). Let g = 243/38 - 13/2. Which is bigger: g or a?
g
Let n(k) = -1 - 16 - k + 2. Let q be n(-15). Let u = -24.288 + 0.288. Are u and q equal?
False
Suppose -4*q + 5*m = -34, -q + 12 = -2*m - m. Let c be (q/27)/(14/24). Suppose -7*z - 39 = -3*s, 5*z + 131 = s + 118. Do z and c have the same value?
False
Suppose 21 = -412*m + 411*m + 4*x, -x + 1 = 4*m. Which is smaller: -7/841 or m?
m
Suppose -252*s - 61426 = 4850. Which is bigger: -274 or s?
s
Suppose -33*k = 32726 - 22875 - 89381. Is k not equal to 2411?
True
Let f(v) = v**3 + 18*v**2 + 4*v + 16. Suppose -4*j + 2*x - 109 + 17 = 0, -2*j - 2*x - 52 = 0. Let z be j/20*(36/3 - -3). Let k be f(z). Is -56 bigger than k?
False
Let i(z) = z**2 -