 + 36 + 29. Let v be y(-13). Which is smaller: v or -1/62?
-1/62
Suppose 2*z - 4 = -5*m, -8 = 3*m - 5*m - 4*z. Let j = 158/39 + -608/195. Is j > m?
True
Let l = -70 + 74. Let k(x) = -x**3 + 5*x**2 - 2*x - 6. Let s be k(l). Let i be -1 - s/(-1) - 104/56. Is i > -1?
True
Suppose -5 = -2*h + 13. Let q be (-305)/10*(h - 7). Is -61 bigger than q?
False
Let c be ((147/(-28))/(-7))/((-954)/(-4368)). Is c greater than or equal to 4?
False
Suppose 2*y = 5*c + 53, 11*y - 5*c + 23 = 13*y. Let f = 14 - -6. Which is smaller: y or f?
y
Let w = -16825/3987 - 1/443. Suppose 4 = -l - 1. Is w bigger than l?
True
Let q = 1329 + -2581/2. Let c = q + -305/8. Is -1 at most c?
True
Suppose 0 = q - 2*f - 18, -17 = -4*q + 4*f + 59. Let s be (81/(-45))/((-3)/q). Which is smaller: s or -3?
-3
Let y = 13397/34 + -394. Let k(a) = -53*a + 1538. Let x be k(29). Are y and x nonequal?
True
Suppose 67 + 119 + 260 = -2*j. Is -231 != j?
True
Let y = 784843/13 + -60545. Are -171 and y unequal?
True
Let v = 117 + -144.4. Let h = v + 30.3. Are h and 0 equal?
False
Let h = 4359/2 + -745405/342. Suppose 4 + 0 = -4*o. Is h less than o?
False
Suppose 2*c - 7*c - 2*l + 3232 = 0, -2*l + 656 = c. Which is smaller: 642 or c?
642
Let b = 1/49 - -6/49. Suppose o = 3*h - 0*o + 251, -h + 4*o - 80 = 0. Let y be (-2)/(-8) + 45/h. Which is bigger: y or b?
b
Suppose 23*b = -24537 + 9564. Let l = b - -692. Which is bigger: l or 0?
l
Let k = -142 + -235. Let a = -225 - k. Is a greater than or equal to 2?
True
Let p = 17556/97 - 181. Let t = 65505/7 - 19061740/2037. Let j = p + t. Are 3 and j equal?
False
Let b = -191.13 + -8.87. Let u = 199.2 + b. Is u greater than or equal to -2.8?
True
Suppose 2*y - 340 = -4*g + 20, -2*y = 2*g - 182. Let j = 624/7 + 5/14. Is j greater than g?
True
Let a be (-23)/(-23) - 110/164. Is 0 greater than a?
False
Let c(p) = 2*p + 3. Let t be c(6). Let x be (-14)/t*4/(-14). Suppose 0 = 462*v - 421*v. Is v equal to x?
False
Suppose n - 5 - 8 = 4*m, m - 3 = -n. Suppose 2*b - n*f = -6, 0 = -0*b - 3*b + 3*f. Let u = -1.3 + 0.5. Is u at most as big as b?
True
Let r = -116 - -4. Let h = -89.11 + -22.99. Let v = h - r. Which is smaller: v or -5/12?
-5/12
Suppose 3*q = 4*o + 248, -21 = 3*q - 33. Which is bigger: o or -63?
o
Let a = 8798.9 + -8799. Which is smaller: a or -2.129?
-2.129
Let d be (-4)/(-5) + 1644/(-30). Let h = -32 + d. Which is greater: h or -89?
h
Suppose 7*z = 3*l + 8*z - 13, 0 = -l - z + 1. Let r be -6 + l - 71/(-6). Are 13 and r non-equal?
True
Let m = 2194.1 + -2194. Which is greater: m or -716/7?
m
Suppose 0 = 4*a - 2 - 30. Suppose 13*y + a*y - 1680 = 0. Which is smaller: y or 241/3?
y
Let s = -15375 - -15970. Is s > 594?
True
Let j = 4495 - 5327. Is j smaller than -833?
False
Suppose 48*f = -16743 + 807. Let a = -331 - f. Is a > -2/2213?
True
Suppose -3*s = -2*m - 2100, -82*s = -5*m - 84*s - 5193. Which is smaller: -1042 or m?
-1042
Let k be (0 + -138)*39/26. Let x = -192 - k. Which is smaller: 16 or x?
x
Suppose -4*y - 4*v + 536 = 0, -35*y = -36*y + 3*v + 114. Suppose 6*i = -57 - y. Which is smaller: -34 or i?
-34
Let k = -0.5171 - -0.8519. Which is bigger: k or 0.1?
k
Suppose 6*i - 214 + 172 = 0. Let k(d) = -3*d + 18. Let f be k(5). Which is smaller: i or f?
f
Let n be (-8)/3*(-60)/(-80). Let x(i) = -64*i**2 - 14*i + 2. Let u be x(n). Is -228 greater than or equal to u?
False
Let d = -0.5414 - -54.5414. Are d and -3/5 non-equal?
True
Suppose -3*o + 42 = -4*t, 2*o + 2*t = 6*o - 46. Suppose 4*u + o = -2*l, 0 = -5*l + 7*u - 2*u + 20. Let n be l/7*63/(-54). Is 4/9 <= n?
False
Let l = -346883/211 - -1644. Let w = -9219221106/1055 + 8738599. Let i = l + w. Is i not equal to 1/2?
True
Suppose -4*b + 4*q - 452 = 0, 3*b + q + 123 = 2*b. Let j = -2730 - -2829. Let v = b + j. Is v greater than -18?
False
Let m(u) = 890*u + 4636. Let k be m(-6). Is 0.07 at most k?
False
Let l(r) = 19*r**3 + 5*r**2 - 31*r - 174. Let a be l(-8). Which is smaller: -9336 or a?
-9336
Let j = 0.3614 - 0.3814. Which is bigger: j or 605?
605
Suppose 29*y = -38*y + 73*y - 7950. Which is greater: y or 1324?
y
Let a be (94/8)/(24/((-4320)/(-15))). Is 152 smaller than a?
False
Let a = -6582 - -6582. Is a equal to 2/1917?
False
Let z be 20/(-90) - (-5141)/9. Let g = -584 + z. Let h = -3765/302 + -5/151. Is g < h?
True
Let z = 2/26775 + 2998774/348075. Is 8 smaller than z?
True
Let y = 27898 - 27907. Is y at most -0.265?
True
Let u be (-2)/(6/141)*2 - (-1 + -3). Are u and -107 equal?
False
Let x(p) = 5 - 3*p + 6 - 27 - 39 - p. Let g be x(4). Let m(n) = n - 72. Let f be m(0). Which is greater: f or g?
g
Let i = 71075 + -638539/9. Which is bigger: 126 or i?
i
Suppose 23*l = 8*l - 2250. Let u = 153 + l. Is -51 smaller than u?
True
Let g = -398 + 406. Let y be 305/15 - (g/4 + -1). Which is smaller: y or 20?
y
Let o(n) = 26*n**2 - 8*n + 17*n - 7*n - 27*n**2 + 35. Let a be o(7). Which is smaller: a or 6/41?
a
Suppose -13*u - t + 21237 = -11*u, 4*t - 21252 = -2*u. Is 10617 less than u?
False
Let a be (11/(-13) - -1) + (-872)/(-3120). Let m = -937 - -9349/10. Let c = a + m. Is -1 != c?
True
Let o = 3 - 2.8. Let i(d) = -d**3 - 32*d**2 + 66*d - 66. Let p be i(-34). Suppose -p*v - 6 = -2. Which is smaller: o or v?
v
Let d be ((-9 - -9) + 0)/(-5). Which is smaller: d or -4/1069?
-4/1069
Let u be ((-4)/(-633))/((-56)/42)*1/(-13). Which is smaller: u or 1?
u
Let v(s) = 50*s - 2*s**3 - 124*s - 27*s**2 + 64*s - 32 + 53*s. Let d be v(-15). Are d and -1/2 equal?
False
Let r be 3930/(-78469)*(-3 - (-7)/2). Is 1 at least r?
True
Let t(w) = -3*w**3 - 23*w**2 - 17*w - 171. Let n be t(-8). Which is greater: n or 0.301?
n
Suppose 0 = -107*i + 110*i + 2*t, 4*i - 4*t = 0. Which is smaller: i or 276?
i
Let s(b) = 33*b - 74. Let g be s(9). Suppose -4 = 2*r, -6*r + 8*r = -3*p - g. Are p and 1 equal?
False
Let s(v) = 66*v**3 - 6*v - 6. Let i be s(-1). Let w be ((-521)/520 - 1) + i/(-33). Do -1 and w have the same value?
False
Let l = 15656 - 14242. Which is smaller: 1412 or l?
1412
Let z = 0.02 + -0.073. Let u = 7.053 + z. Let v = u - 5. Which is bigger: v or 17?
17
Suppose 0 = -5*d + 5*z + 14 - 4, 4*z = -3*d + 41. Suppose -2*p + o + 41 = 0, -5*p + o + 3*o = -98. Suppose 5*u - p + 2 = 0. Which is smaller: d or u?
u
Let h be 350/3*(-374)/102*180/(-550). Let n = -12798 + 64688/5. Which is smaller: h or n?
n
Let q = 46.6 + -46.6454. Let w = 0.22285 - 0.12285. Is w equal to q?
False
Let v(g) = g**3 - 4*g**2 + 3*g. Let i be v(3). Let l = 27343 + -27342.7. Is i smaller than l?
True
Let h = 199.4295 - -0.5705. Which is greater: h or -15/7?
h
Suppose 0 = 5*b + 4*y + 7, 0*b + 2*y = -3*b - 3. Let k be 2 + 10332/24*(-8)/6. Let d = -28026/49 - k. Are b and d equal?
False
Let m = -806.314 - -186.314. Let p = -0.1 - -1.1. Which is smaller: p or m?
m
Let x be -5 + -2 - (-419762238)/59938515. Let f = -1/4879 - x. Which is smaller: 1 or f?
f
Let y = -50/5307 - -1390643/148166133. Is 1 smaller than y?
False
Let y = 55.75 - 34. Let i = 14.4 - y. Let h = i - -7.4. Which is bigger: h or -1?
h
Let t = 1047/3640 - 1/520. Let b = 171.18 + -174. Let j = b + -0.18. Which is smaller: j or t?
j
Suppose -12*r - 6452 - 2092 = 0. Are r and -711 non-equal?
True
Suppose 3*r - 471 = 69. Let l be ((-2)/r)/(63/(-105)). Which is bigger: l or 0?
l
Suppose -8509 = -5*v - 2*o, 64 - 52 = -4*o. Let z = v - 814033/478. Is z at most as big as -1?
False
Let j = 12804 + -12803. Is 9711 bigger than j?
True
Let h = -224 - -224. Let c be (-6)/15 + (-16938)/(-1320). Let u = 49/4 - c. Is h != u?
True
Let v(s) = -s**2 - 18*s + 26. Let i be v(-15). Let x = i - 71. Suppose -2*z - 3*f = -z + 8, 4*f = x. Are z and -11 unequal?
True
Let s = 832 - 4173/5. Let a(d) = 6*d**2 + 15. Let u be a(6). Let o = u + -235. Is s >= o?
True
Let z be (-177)/767*(2/(-14) - 538/(-4746)). Which is bigger: 1 or z?
1
Let l(i) = i**3 + 19*i**2 + 19*i + 17. Let x be l(-18). Is x at most as big as -1/51?
True
Let h(q) = q. Let a(l) = -5*l**2 + 5*l - 21. Let s(y) = a(y) - 5*h(y). Let k be s(3). Are -66 and k equal?
True
Let f(j) = -2*j + 6. Let r be f(8). Let b be (12 - 13) + -2 + r. Is -16 greater than b?
False
Let g = 0.2087 - -7.8393. Let y = -16.048 - -16. Let k = g + y. Which is greater: k or 1?
k
Let h = -0.6 - 4. Let s = -15.3 - -10.7. Let l = s - h. Which is bigger: 17 or l?
17
Let i(o) = -o**3 -