smaller: b or 1?
b
Let n be (29/(3625/180))/(6/(-20)). Which is greater: n or -3?
-3
Let i be (100/(-15))/10*9*-1. Suppose 0 = 3*j - 4*j. Suppose j = -5*l + 50 - 5. Is l greater than i?
True
Let z(f) = -22*f - 5. Let m be z(-6). Suppose 4*d = -2*y + 280, 10*d = 5*y + 8*d - 628. Is m greater than y?
False
Let w = -235333/109 - -2159. Which is smaller: w or -0.02?
-0.02
Let q = 6/467 + -3335/5137. Is -1 not equal to q?
True
Let r be (-1)/(-2) + 41/14. Let j(f) = -9*f**2 + 101*f - 18. Let g be j(11). Is r greater than or equal to g?
False
Let x be (2 + 2)*(-7 + 230/20). Suppose -108 - 342 = x*h. Is -24 >= h?
True
Suppose 267 + 243 = 5*l. Let u be (-374)/l - 3*-1. Which is bigger: -132 or u?
u
Let i(v) = -v**3 + 11*v**2 - 4*v + 51. Let g be i(12). Let r = 140 + g. Is r >= -22/53?
False
Suppose -18*y = -20*y - 11570. Let d be (-39)/y*(-15)/(-6). Is 1 at least d?
True
Let m = 24.991 + 1319.009. Which is greater: m or 0.5?
m
Let h be (-3)/12 + (-3540)/8. Suppose -8*q = 578 + 2998. Let l = q - h. Do -4 and l have the same value?
False
Suppose b + 84 = 4*p, 6*p - 5*b - 80 = 3*p. Let f be (p + -11)/(6/(-4)). Let a be ((32/84)/4)/(f/9). Which is smaller: 0.1 or a?
a
Let y = -3/172 + 273/860. Let t = -13.16 - -13. Let m = 0.46 + t. Is m bigger than y?
False
Let f = -133.165 + 0.165. Let w = -62 - f. Let m = 71.078 - w. Is m bigger than 0?
True
Let m = 53/116 - 2381/1276. Let z be (-2)/(-33)*(13 - 19545/1500)*-2315. Let b = z + m. Is b > 1?
True
Suppose u = -13*u - 11253 - 8879. Which is smaller: u or 1?
u
Suppose 481*r - 1725 = 476*r - 25095. Which is smaller: r or -2?
r
Let v = -34 - 41. Let k = 69.23 + 6.77. Let c = k + v. Is c less than -35?
False
Suppose -2*o = -28 + 12. Suppose 7*t - 22 = -o. Let c be (-210)/189*12/(-10). Which is bigger: t or c?
t
Suppose 4*q = -4*h + 28, -2*q + 3*q - h - 3 = 0. Suppose 4*i + 5 = 9*i, 3*k - 251 = -q*i. Suppose 35 = -2*c + b, 2*b + k = -5*c - b. Is -17 at most c?
True
Let h = -2807/2 + 21493/14. Is 133 greater than h?
True
Let v(a) = a**3 - 3*a**2 - 3*a - 7. Let w be v(4). Let t be 0/w - (-1 - -6). Let g be 4*1/4 + 6/t. Is -1/2 < g?
True
Let l(k) = -74*k + 739. Let g be l(10). Let j be 5/((-940)/756) - -4. Which is smaller: g or j?
g
Let g be ((-516)/(-16) + 3)/(1*114/24). Is g bigger than -3/7?
True
Let s = 11.544 - 4.473. Which is greater: s or -0.1?
s
Let y = 730 - 722. Let j be -2*y/24*(-9)/(-3). Let u = -2307/5 - -460. Is u bigger than j?
True
Let s = 16.9 + 5.1. Let i be 4*6/(-2376)*-11. Is i bigger than s?
False
Let u be (5*5/(-15))/((-2)/6). Let r(n) = -n**2 - 13*n + 8. Let p be r(-13). Suppose p*o = u*o - 255. Is -85 at least o?
True
Let c = -62 - -11. Suppose -65*q + 63*q = 230. Let t be (5 + q/3)*6/4. Which is smaller: t or c?
c
Suppose 5*f + 3*h = 9 - 2, 2*h = -4*f + 6. Suppose o - 380 = -4*d - 2*o, 4*d = f*o + 380. Let r = 34 - d. Is -61 at least r?
True
Let s = 253 + -253. Let v be (s/3 - 48) + -6. Is -60 equal to v?
False
Let z = -69.11 - -84.11. Is z >= 508?
False
Suppose 9*i = 7*i. Let g = -16596 + 17907082/1079. Which is smaller: g or i?
g
Let d = -438 + 623. Suppose 451 = 3*m - d. Is m greater than 212?
False
Let k = -0.04 + 0.04. Let h = 14203 - 13782. Which is bigger: k or h?
h
Suppose 2*h + 470 = 468. Which is smaller: h or -15/397?
h
Suppose 3*a - 12 + 15 = 0. Let c = 1317 + -285787/217. Is a equal to c?
False
Let m = -18 - -18. Let n = 5490 - 5494.04. Is m greater than n?
True
Suppose -4*y + 5*d - 182 + 38 = 0, 0 = -3*d. Suppose 5*n + 26 = -14. Let h be (54/n)/(18/96). Is h smaller than y?
False
Suppose j = -4*j - 30. Let u be ((-118)/(-3))/((1 - 3)/j). Suppose -c + 2*c + u = -5*v, 5*v + 4*c + 112 = 0. Which is smaller: v or -45/2?
v
Let o be (-6)/(-27) + (110230/45)/2. Let b be o/2750 + 12/(-22). Let g(c) = c - 6. Let s be g(6). Is b not equal to s?
True
Suppose u - 1179 = 3*r, -2*r + 2374 = 92*u - 90*u. Is -0.1 < u?
True
Let w(v) = 7*v - 9. Let i be 2 - 0 - 0/1. Let d be w(i). Suppose -2*o + d*o = -15, -2*b - 94 = 2*o. Which is smaller: b or -40?
b
Let n = -54 + 59. Suppose 3*y - 4*s + 288 = -s, 4*s = -n*y - 516. Let i = y - -108. Which is smaller: i or 1?
1
Let t(q) be the second derivative of q**3 + 11*q**2/2 - 18*q. Let y be t(-6). Let n = 26 + y. Which is bigger: 1/34 or n?
n
Suppose -6*w = 21*w - 40*w - 8151. Which is bigger: w or -626?
-626
Let c = 1839/4 + -462. Let y = -107 + 155. Let m be (y/(-45))/(-8) + 17/(-15). Is c greater than or equal to m?
False
Suppose -y = 35 - 14. Let d = 3/2168 - 329557/15176. Which is smaller: d or y?
d
Let b = -2.474 + -0.296. Let u = 39.23 - b. Is u at least as big as 0.1?
True
Suppose -2*u + 14*u = -72. Let o be -4 + 6/u*-5. Which is greater: o or -1/32?
o
Suppose -27*p = -25*p - 6. Suppose 5*c = -3*v - 2, -8*v + 7 = -4*v - p*c. Let d be -1*(4 + 4 + -4 - v). Are d and -2 nonequal?
True
Let k = 1162 + -1166.77. Let o = k - -4.67. Which is greater: o or -78?
o
Suppose 26*g - 42 = 28*g. Let m be (2/4)/(g/3318). Are m and -77 non-equal?
True
Let u(o) = 3*o**2 + 229*o + 730. Let h be u(-73). Is h > 1/12608?
False
Suppose 4*p = -s + 29, 5*p - 24 = 4*s + 28. Let y(t) be the third derivative of 3*t**4/2 - 86*t**3/3 - 3*t**2 + 11*t. Let r be y(5). Is r greater than p?
False
Suppose -9*c + 24573 = 7320. Suppose 0 = 11*d + 16*d + c. Is -70 smaller than d?
False
Suppose 0 = 2*n - 12*t + 8*t - 630, -5*n = 5*t - 1500. Suppose 89 = -6*j + n. Is 34 at least j?
False
Let m(u) = -5*u**2 + 30*u - 36. Let i be m(7). Which is bigger: -70 or i?
-70
Suppose -r + 147 = 3*q, -2*r + 5*q + 62 + 254 = 0. Suppose -5*u + 14*f - r = 12*f, 0 = -2*u - f - 54. Which is smaller: u or -28?
u
Let n be (((-49)/21)/7)/((-2)/(-6)). Which is smaller: n or -13/672?
n
Let v be ((-6)/4)/((-4)/8). Suppose v*n + 12 = w, 4*w + n = -0*n - 4. Suppose 352 = 5*a + z, w = 4*a + 6*z - 7*z - 287. Is 72 smaller than a?
False
Let q be ((50/15)/10)/(15/13680). Is q less than 301?
False
Suppose -2*f + 7*f = 40. Suppose -f = m + 2. Let v be (153/34*1)/(2*(-2)/8). Is v >= m?
True
Suppose -58 - 247 = -c + 4*m, 2*m = 2*c - 586. Which is smaller: c or 288?
288
Let a(r) be the first derivative of -23*r**2/2 - 14*r - 46. Let x be a(-4). Suppose 59 = -x*t + 79*t. Is t not equal to 57?
True
Suppose -4*h - 132 = 5*r + 43, -2*r - 2*h - 72 = 0. Which is smaller: -6 or r?
r
Let d = 0.0452 - -255.9548. Let b = d - 256.1. Is b less than or equal to 71?
True
Suppose 0 = 19*k - 7 + 7. Suppose -139*l + 134*l + 5 = k. Which is greater: l or -3/43?
l
Let d = -5.6 - -6.1. Suppose -6*q + 15*q + 45 = 0. Let w be (-5)/(-4)*(-2)/q. Is w not equal to d?
False
Suppose 0 = -r + s + 5 - 10, 3*r - s = -5. Which is greater: -29/62 or r?
r
Suppose r = 4, 0*r - 2*r = -4*t + 120. Let g = t + -14. Suppose g*x = 19*x + 1. Which is greater: -6 or x?
x
Let a be 7/28 - (-1235)/(-5564). Is -0.02 bigger than a?
False
Suppose 10*r = -3*r - 1144. Let u be 2/3 + r + 87. Is -179 less than u?
True
Let y = 0.12 + -4.42. Let t = y - -2.3. Let g = -24 - -9. Which is greater: g or t?
t
Suppose -u + 35 - 5 = 0. Suppose -41 = -4*p - 5*c, 10*c - 8*c - u = -5*p. Suppose -4*r - 17 = -3*s, -p*s = 5*r - 9*s + 15. Is r greater than -7?
False
Let b = 3559/10 - 14531377/40830. Which is smaller: b or 0?
0
Let z be ((-448)/10)/(4/(-10)). Let m = z + -118. Is -8 smaller than m?
True
Suppose -4*c = -4*s + 68, 5*s = 9*s - 2*c - 78. Which is smaller: -1 or s?
-1
Let s(u) be the first derivative of 2*u**3/3 - 9*u**2/2 + 12*u + 113. Let d be (64/12)/(2/3). Let y be s(d). Is 69 greater than y?
True
Let h be 36/48 - (2 + 2/(-8)). Let m be (-5)/10 - 61/30. Let q = m - -11/5. Which is smaller: q or h?
h
Suppose 117 = 6*c - 3*c - s, 155 = 4*c - s. Suppose -52 + 232 = 5*q. Which is smaller: q or c?
q
Let i = -31448 - -251913/8. Is 40 at most as big as i?
True
Let d(q) = -q**2 - 42*q - 319. Let y be d(-10). Is y greater than -29/139?
True
Suppose -3*y + 31 = p - 74, 2*p - 6 = 0. Let o be (-6256)/(-230) + 1/(-5) - -7. Is y greater than o?
False
Suppose -53*p = -49*p - 20. Suppose p*a = -4*a - 297. Is -35 > a?
False
Let o be 27/(-14391)*254*89 + 24/52. Is -43 at most o?
True
Let r = -497 - -525. Suppose -r*z - 4101 = -41. Do z and -145 have the same value?
True
Let t = 918.143 + -918. Which is smaller: -26 or t?
-26
Let k = -161.55 - -162. Let z = 7.45 - k. Which is greater: -1