 i**2 + 12*i - 17. Let k(f) = f + 34. Let h be k(-11). Suppose u = 2*b + h, -68 = 5*b + u - 0*u. Let r be s(b). Is r less than 0?
True
Let k be 81/6*(-7 + 19/3). Let r be (486/66)/k - 4/22. Which is bigger: r or 1/188?
1/188
Let p be 2/12 - (-14)/(-12). Let y be ((-981)/(-420))/(-3) - 3. Let m = -15/4 - y. Is p greater than or equal to m?
False
Suppose -3*u + 4 = 4*o, 113*u - 118*u + 60 = -4*o. Let q be 74*(-195)/(-19560) - 6/u. Which is smaller: -2 or q?
-2
Let j be ((-22)/6*-3)/(2/4). Let p = -121 + 53. Let s = -47 - p. Is s at least j?
False
Let d be 0 - 15/(-9) - (-25837)/21. Let s be (-1)/7 + (-8)/(d/(-106)). Is 2 less than s?
False
Let u be (-4)/(-1)*(-6)/18*-3. Let x be ((-2)/(u/47))/((-27)/(-54)). Let a(g) = -53*g + 7. Let d be a(1). Is d less than or equal to x?
False
Suppose 53*n - 11*n + 584 = -6388. Which is greater: n or -165?
-165
Suppose -2*t = -7*s + 12*s - 37, s - 35 = -5*t. Let y be 5 - (-3 + (7 - t)). Is 40/7 greater than y?
False
Suppose -28*f - 26231 = -26959. Which is smaller: 30 or f?
f
Let b = -1238 + 1237.818. Is b <= 1/15?
True
Let j = 5537.9 - 4853. Let r = -685 + j. Is r less than or equal to 0.12?
True
Let v(z) = -z**3 + 4*z**2 + 2*z + 15. Let h be v(7). Let s = 194 + h. Which is smaller: s or 77?
s
Let p(m) = -m**2 - 5*m + 47. Let v be p(5). Let u be (-2020)/(-1520) + v/4. Which is smaller: 2 or u?
u
Suppose 10*t = -k - 153, 11 = -3*t - 4. Is -17 less than or equal to k?
False
Let p = -702 - -729. Suppose p = 20*x - 17*x. Suppose 2*s = i - 9, i - s = 3*i - 18. Do i and x have the same value?
True
Let i(h) = h**2 - h + 16. Let b be i(8). Suppose v + 8*v = b. Suppose -4*z + 0 + v = o, -o = 2*z - 4. Is o greater than 7/6?
False
Let q be (-1278)/12*(-272)/(-51). Which is smaller: 1 or q?
q
Let n = 1260 + -1064. Which is greater: n or 0.4?
n
Let u = 949/2 - 3793/8. Are u and 26 non-equal?
True
Let o = 184938 - 10784289592/58313. Is o at most -1?
False
Let z be 3507/699 - 5*1. Let i = 35404/699 + z. Which is smaller: i or 50?
50
Let z be 10 + 27/(-5) + (-115)/25 + 3. Let p be (-6)/(-4)*26*1. Suppose 5*i = -x - p, -3*x + z*i - 63 = -2*x. Is x at least as big as -53?
False
Suppose 5*v + 2*c = -c - 9, 14 = -4*v + c. Let x = -35 + v. Let d be 3 + 174/x*(-10)/(-15). Is d < 1?
True
Let j be ((-74)/56)/(3/(-12)) - (-64 + 69). Which is bigger: j or 2443?
2443
Suppose -12 = -4*z, 4*h - 2*z = -4*z + 6. Suppose h = -w + 3*w + 2. Let i = -341 - -11595/34. Which is smaller: w or i?
w
Let u = 2746 + -2625. Do 103 and u have different values?
True
Let o = 228 + -24. Suppose o*k = 201*k + 24. Which is bigger: k or -2/71?
k
Suppose 20*z - 40*z = -240. Let a be (z/16*-10)/(9/(-12)). Is a at least 13?
False
Let z(k) = -811*k + 1361. Let p be z(2). Is -265 at least p?
False
Let f = 45.2 + -46.2. Which is bigger: f or -3/667?
-3/667
Let h = 0.56 + -0.16. Let u = 1.6 + h. Let l = 546 + -546.08. Which is greater: l or u?
u
Suppose 2*k - 22 = -20*k. Let q be (68/(-24) - -3)/((-69)/12). Which is smaller: q or k?
q
Let y(c) = 7*c - 210. Let f be y(21). Let b = 168 - 96. Let h = f + b. Is 11 less than h?
False
Let k be 1*((-3)/15 + (-363)/(-15)). Suppose 592*f = 586*f + k. Which is greater: f or 31/6?
31/6
Suppose -17*b + 16*b = -5*h - 19, -2*h = -4*b + 22. Suppose 80 = -b*r - 2*v, 0 = -4*r - 4*v - 6 - 78. Which is bigger: -18 or r?
-18
Let l be 1 - (0 - (-91059)/(-195)). Let m = 468 - l. Which is smaller: m or 3?
m
Suppose 2013*b - 182*b = -1742*b + 98*b. Let v be (1 - (-548)/(-550))*4. Which is smaller: v or b?
b
Let w = 2 + -53. Let v = w + 151/3. Let h = 6 - 9. Which is smaller: v or h?
h
Suppose -4*n = -2*i - 28, i + 10 = 6. Let x be (-1)/(n + -3*10/15). Is x smaller than 41/5?
True
Let a(h) = 2*h + 18 - 7 - 3*h. Let d be a(10). Suppose 0*l = l - 7*l. Which is smaller: l or d?
l
Let n(v) = 42*v**3 - 7*v + 2. Let b be n(2). Let w be (18/(-12))/(b/(-16))*-3. Which is smaller: w or -0.25?
-0.25
Suppose -t = t + 6. Let y(l) = l**3 + 6*l**2 - 2*l + 4. Let u be y(-4). Suppose -12*j - u = 10*j. Is j greater than t?
True
Let n = 12061 - 12713. Is -652 >= n?
True
Let x = -49.1 - -7. Is x less than -3?
True
Let b be (-18)/(-9) + -8 - -5. Which is smaller: b or 12/1123?
b
Let r = -213 + 208. Let z be ((-99)/(-15) - 6)/(1/r). Is z smaller than -3?
False
Let n(i) = -5*i - 20. Let u be n(-18). Suppose 280 = u*x - 80*x. Is -28 > x?
False
Let f = 2543 - 2078. Is 464 smaller than f?
True
Suppose 54*s - 51*s - 69 = 0. Let h(l) = 8*l + 1. Let x be h(2). Let k = s - x. Which is smaller: 9/2 or k?
9/2
Suppose 0 = -5*l + 20, 4*x - 2085 + 421 = -l. Suppose 195 = 5*p - x. Let q = -123 + 245. Is q < p?
False
Let h = 741 + -736. Which is smaller: h or 3?
3
Let v = -5407 - -151395/28. Let u be 1/(-5) + (-32)/40. Which is smaller: v or u?
u
Let t be 274671/(-15066) + ((-1)/(-18))/(4/12). Is t equal to -19?
False
Let i(z) = -2*z**2 + 9*z + 2. Let g be i(4). Suppose -453 = -g*t + 159. Let d be 4 + 0 + (-391)/t. Is -1 smaller than d?
True
Let k be (-1 - 175/(-161)) + 5136/(-58006). Let j = 7 + -6. Which is smaller: j or k?
k
Let g(y) = -7*y - 2. Let w be g(1). Let o be 3/w - (-1)/12. Which is smaller: 65 or o?
o
Suppose -2*v = -0*v - 138. Let o(m) = -217*m - 149. Let p be o(-1). Let d = v - p. Which is smaller: d or -1/109?
-1/109
Let q = 47654.8 + -47655. Suppose 0 = 2*s + x + 2 - 7, s = -4*x + 20. Suppose -o + 0*o - 1 = s. Is q greater than o?
True
Let u be (-350)/200*80/215. Which is bigger: -1 or u?
u
Let i = -23 - -14. Suppose 65*m = 69*m - 112. Suppose -23*h + 19*h = m. Which is greater: i or h?
h
Let q = -720 + 487. Let g = -315 - q. Which is smaller: -0.1 or g?
g
Suppose 9*s + 84*s - 93 = 0. Which is smaller: s or 29/1018?
29/1018
Let f = -395 + 417. Suppose -52 = -4*q - f*q. Suppose -4*d = 9 - 29. Which is smaller: q or d?
q
Suppose 9*x + 159 = -66. Let j be ((-23)/(-5) + -5)/(5/x). Which is bigger: j or 24/23?
j
Let c = 16516 + -49571/3. Let n(s) = s**3 - s**2 - s + 2. Let o be n(-2). Is o <= c?
True
Let l(q) = -163*q**3 + 6*q**2 + 13*q - 127. Let r be l(3). Do r and -4437 have the same value?
False
Let a be (18/15)/((-3)/10). Suppose -221*m + 66 = -227*m. Let g be -12*(-4 + m/a). Which is bigger: g or 17?
17
Let b = 82440841/670 - 123046. Are -1 and b non-equal?
True
Let j = 889 - 883. Suppose -2*l = 3*z - 3, 2*z + 16 = 3*l + 5. Suppose 5*c = l*c - j. Do c and -4 have the same value?
False
Let o be (-15)/(-10) - 46/(-12)*3. Let d(r) = 2*r**2 - 13*r + 23. Let b be d(o). Which is smaller: 191 or b?
191
Suppose -4*d + 1 = -3*d. Let i = 9631/114 - 169/2. Is i less than d?
True
Let g be (592/(-32))/(1*(-19)/33859). Let s = g + -32858. Let z = s - 110. Which is greater: z or -1?
z
Let d(w) = -8*w + 21 - 4*w + 8*w. Let l be d(5). Are l and -1/180 unequal?
True
Let t = -26 - -51. Suppose 0 = -d - 2*y - t, y - 43 = 3*d - y. Let i = -18 - d. Is i bigger than 3/52?
False
Let g(z) = -7*z + 125. Let h be g(18). Let r be 2/7 - (h + (-452)/(-308)). Is 1 at most as big as r?
False
Suppose 4*t + 5*t - 99 = 0. Let w(c) = c**3 - 12*c**2 + 9*c + 26. Let g be w(t). Suppose 76 = -0*u + g*u. Which is greater: -1 or u?
u
Suppose q + 36*v = 38*v - 103, -5*q - 455 = 5*v. Let g = 84 + q. Is g > -0.6?
False
Let w(j) = 2*j**3 + 119*j**2 + 82*j + 1354. Let o be w(-59). Is 5 greater than or equal to o?
True
Let h = 19455 - 28717. Which is bigger: h or -9261?
-9261
Let i be (-42)/(-26)*(-21 + (-660)/(-28)). Is -20 > i?
False
Suppose 3319 = -3*z - 5*g + 22662, -19334 = -3*z + 4*g. Let a = -4598 + z. Let b be (-1098)/a - (-8)/14. Which is bigger: -1 or b?
b
Suppose -7*z = -4*z + 45. Let b be 140/25 + (-6)/z. Suppose -b = -5*x - 16. Is -5/9 at most x?
False
Let o = 0.2007 + -0.1007. Is o at least -1.618?
True
Let k be 0 - 5 - (-10)/30*0. Let f = 3 - -18. Let c be 120/35 - (-12)/f. Which is greater: c or k?
c
Let q(k) = 8*k - 7. Let g be q(-5). Let u = 5904 + -5949. Which is smaller: g or u?
g
Suppose -5 = -10*t + 9*t. Suppose -5*q = -4*g - 101, -t = g - 3*q + 22. Let i be ((-3)/g)/(3/(-90)). Which is smaller: -0.1 or i?
i
Let q(i) = -i**2 - i + 2. Let t be q(-4). Suppose -s + 3*r + 30 = 0, -s + 4*s - 68 = -2*r. Suppose -4*a + 7*a + s = 0. Is t > a?
False
Let p = -66502817/599 + 111023. Which is greater: p or 0?
0
Let b(u) = u**3 - 30*u**2 - 33*u + 11. Let p be b(31). Let o be (-420)/80*16/(