be c(14). Suppose 4*u + 60 = -3*s, 0 = -s + 5*u - 7*u - t. Which is smaller: s or 0.6?
s
Let b be 2/8 + 453/(-1908). Let g = -158 - -160. Suppose 12 = 4*p + 7*z - 3*z, -3*p + 6 = g*z. Which is smaller: b or p?
p
Suppose 120 = -26*b + 38*b. Are b and 111/10 non-equal?
True
Let s be 2 - (-1 - 1346/(-450)). Suppose 0 = 10*h - h - 36. Suppose h = -5*d - 1. Which is smaller: d or s?
d
Suppose 0*d - 4*d = -2*b + 522, -4*b + 1064 = -4*d. Suppose w = 5*h - 3*w - 277, 5*h - 2*w - b = 0. Let c = 4 - h. Which is smaller: c or -48?
c
Let z(u) = -2*u**3 - 46*u**2 + 27*u + 565. Let p be z(-23). Suppose -3*r - n - 2*n - 171 = 0, 238 = -4*r + n. Is r > p?
False
Let s = -380 + 555. Let r = 142 - s. Which is smaller: -31 or r?
r
Let w(v) = v - 32. Let q be w(23). Let d be -3 - (q/(-6))/(9/(-18)). Are -1/294 and d nonequal?
True
Suppose 139 + 23 = 18*a. Suppose -99*j - a = -108*j. Are 1/97 and j equal?
False
Suppose 5*k + 671 = -2*r, 4*k + 76*r = 79*r - 546. Is k <= -136?
False
Let v = 11027 + -11012.87. Is v > -0.06?
True
Suppose -5*z - 3*f = -8*z + 51, 62 = 4*z - 2*f. Let j be 5/((-7)/z*5). Is j at most as big as -3/5?
True
Let j = 0.41 - -0.19. Suppose -7 = 3*m - 5*g + 3, 2*m = 2*g - 4. Suppose 0 = -4*b + 4*f - m*f, 4 = 2*b + 2*f. Is b at least as big as j?
True
Let a = -1612.121 - -1611.6. Is a smaller than 0.4?
True
Let x(n) = 26*n**2 + 25*n - 123. Let q be x(5). Suppose -58*y = -3118 - q. Suppose -4*s + d - 3*d = -266, s - 4*d = 44. Which is smaller: s or y?
s
Let c = 2551 + -2552. Suppose -o + 0*o = -5*m + 11, -m - 2*o = 0. Suppose -108 + 288 = 4*q - m*w, q + 5*w = 67. Which is smaller: q or c?
c
Let t = 23673444/96115831 - -2/473477. Let v = t + -32/29. Which is smaller: 0 or v?
v
Suppose -4*i + 936 = -400. Suppose 15*x - i = -2644. Is -154 >= x?
True
Suppose -439 + 439 = 9*z. Suppose 3*y + 2*c + 339 = z, -2*y + y - 5*c = 126. Which is smaller: y or -110?
y
Let h = -2/17169 + 137666/2695533. Let b = h + 1011/1727. Which is smaller: b or 1?
b
Let m be -36 + (-630)/21 + 58. Let u = -1 - 4. Is m >= u?
False
Suppose -39*l - 752 + 342 - 409 = 0. Let d = -2 + 3. Let q be 0/(-2) - d - 20. Is q at least as big as l?
True
Let r = -1186828907/3482808 - -19083/56. Is 1 greater than r?
True
Suppose -8*p = -7*p - 3. Suppose -2*q = i - 12, -2 - 2 = -4*i + p*q. Let y be ((-32)/(-12))/i*3 + -3. Which is smaller: 3/28 or y?
y
Suppose 5*w + 2*y = 3*w, -5*y = 2*w. Let n(k) = -13*k - 85. Let h be n(-8). Let j = -93/5 + h. Which is bigger: j or w?
j
Let x = -863 + 2624/3. Let o be ((-66)/(-24))/((-15)/(-12) + -1). Which is smaller: x or o?
o
Suppose -3*d = d - 16. Suppose -3*g + 40 = 4*n, 3*n + d*g + 50 = 8*n. Suppose -5*s = 4*x - n, 2*x + s = -2 + 4. Do x and 1 have the same value?
False
Let a(i) = -i**2 + 11*i - 20. Let l be a(9). Let n be ((-14)/(-21))/(l/3). Suppose -p = 1, -6*h + 4*p + 32 = -2*h. Which is greater: h or n?
h
Suppose 2*j + 142 = a, -j = 2*a + 4*j - 284. Suppose 2*c = 5*k - 161, 3*c + 4*k = -134 - a. Which is smaller: -84 or c?
c
Let t be ((-6)/(-4))/((-15)/(-25) - 12879/21690). Is t not equal to 241?
False
Suppose 14*n + 3*n - 85 = 0. Let f be ((-285)/3)/n*(-9)/(-36). Is f at least -0.1?
False
Let n = -149 + -53. Let c = 494 - 695. Which is smaller: c or n?
n
Let a(c) = c**3 - 29*c**2 + 39*c - 308. Let h be a(24). Is h greater than or equal to -2247?
False
Let j be 13/(39/9) - (3 - 0). Let t be (-22)/(-72) + j - 270/216. Is -1 != t?
True
Suppose -26*l + 39*l - 1040 = 0. Suppose -33*m + l = -29*m. Which is smaller: 24 or m?
m
Suppose -q + 8 = 3*q, -3*m + 3*q - 6 = 0. Suppose 26*x - 202 - 58 = m. Let c = 33 - 23. Is c smaller than x?
False
Let l = 0.1645 + 142.0355. Let g = -158 + l. Let b = 12.8 + g. Which is smaller: b or -1/3?
b
Let r(c) = 157*c - 6595. Let j be r(42). Is j not equal to 2/62917?
True
Let w(s) = -2*s**2 - 28*s + 5*s**2 + 29*s - 5*s**2. Let u be 4/8*(-2)/(-1). Let r be w(u). Is -7 greater than r?
False
Let y = 17 + 59. Suppose -69*t + 8268 = -82*t. Let o be 3 + t/(-9) + (-4)/(-3). Which is bigger: y or o?
y
Let h = -19510 + 19504. Is 142 at least as big as h?
True
Let r = 22.58 - 21.3. Let j = -0.28 + r. Which is bigger: -25 or j?
j
Let b = -15 + 15.3. Let v = 243 - 144. Let f be v/54 + (-2)/4. Which is smaller: f or b?
b
Let b = 4549 - 13648/3. Let y = -0.1405 - 57.5595. Is b <= y?
False
Let y be (-15)/(-45)*366/2*-1. Let l = y + 61. Is 6/65 bigger than l?
True
Let r = 91854410/27 - 3401025. Let g = r + -990. Which is bigger: g or 0?
g
Let q = -87359999/3293 + 26529. Is q < 1?
True
Let g = 1097.4 - 1097.4. Let t = 107.94 - 109. Which is bigger: g or t?
g
Let u be 4 - (-3894)/(-143) - (-3)/13. Is -302/13 bigger than u?
False
Let c(q) be the first derivative of -42 + 1/4*q**4 + q - 3*q**2 + 5/3*q**3. Let a be c(-6). Is 0 at most as big as a?
True
Let c be -141 - -132 - (-2 + 15). Are -24 and c unequal?
True
Let a be (-42)/(2/4 - 0*14/56). Which is bigger: -120 or a?
a
Let n(i) = -i**2 + 28*i + 2108. Let m be n(-34). Is 2/14747 equal to m?
False
Suppose -5*k + c + 16 = 0, 2*k + k - 24 = -3*c. Let o = k + -25. Suppose 0 = 400*t - 14*t + 7720. Is o bigger than t?
False
Let x = 631931/2293776 - 75/272. Which is smaller: x or 1?
x
Let a = -30 + 28. Let n be -2*(-148)/8 - -2. Let z = n - 43. Does a = z?
False
Let m = -0.4339 + -0.5661. Let g(z) = z**2 + 6*z + 6. Let y be g(-4). Which is smaller: m or y?
y
Let v be 2866/3540 - (-185)/(-222). Are v and 1 equal?
False
Let n = 2121.9 - 2212. Let k = 155 + -245. Let s = k - n. Which is smaller: s or 10?
s
Suppose -96*y + 12176 + 6256 = 0. Let i be ((-6)/9)/(2/(-579)). Which is bigger: i or y?
i
Let q(p) = -p**2 - 67*p - 1050. Let d be q(-42). Which is bigger: -2/17155 or d?
d
Let j = 1220 - 589. Are j and 633 unequal?
True
Let c be (-15)/(-630)*0 + (0 - 0). Is -10/3849 at least as big as c?
False
Let m(z) = -6*z**2 + 13*z + 15. Let o(r) = 11*r**2 - 28*r - 30. Let p(q) = 7*m(q) + 3*o(q). Let a be p(-4). Is a less than -157?
False
Let o(g) = -g**3 - 4*g**2 + 4*g - 2. Let x = 53 + -58. Let h be o(x). Suppose a = 4*a - h*r - 12, -5*r = -2*a + 20. Which is bigger: a or -3/44?
a
Let k = 17403121/30 - 579779. Let t = k + -325. Do t and -1 have the same value?
False
Suppose 109*c = 1102 + 860. Is 3 smaller than c?
True
Suppose 39068 = 2*s + 10088. Suppose -7*a = -53*a - s. Is -315 smaller than a?
False
Let p be ((-6)/5*200/(-180))/(4/(-474)). Suppose 17*z - 13*z = -620. Is p < z?
True
Suppose 20*h - 2074 = 54*h. Which is smaller: -3 or h?
h
Let d = 3 + 3. Suppose -157*r = -149*r + 113232. Let v be (-1)/d + (-2275)/r. Is 0 smaller than v?
False
Suppose 7*k - 38401 - 6329 = 0. Let j be k/(-14) - -4 - (-4)/(-7). Is -453 less than or equal to j?
True
Suppose -b - 2208 = -3*p, -4*p + 5*b + 2652 + 314 = 0. Which is greater: p or 729?
p
Let q = -1 + 0.9. Let k = 5391.5 + -4398.66. Let y = k + -992. Is q equal to y?
False
Let u = -436 + 300. Let x = -134 - u. Let h = 0.7 + -0.3. Which is greater: x or h?
x
Let g(k) be the first derivative of 3*k**4/4 + 2*k**3/3 - k**2 - 3*k - 12. Let r be g(-2). Let w be (-6)/(-15)*r/(-8). Which is smaller: w or 1?
w
Let x = -5 - -3. Let k = 245 + -237.96. Let m = -8.54 + k. Which is bigger: x or m?
m
Let i = -17 + 16. Let a be (i/(-39))/((-3)/(-9)). Suppose -288 = m + 4*m - 283. Is a < m?
False
Let f = 249 - 246. Suppose 3*v - 2*s = -2, -f = 2*v + 3*v - 3*s. Is v at least as big as -1/437?
True
Let r = 594/361 + -530962/3249. Is -161 >= r?
True
Let l(i) = i + 6. Let m be l(-6). Let q be (-51 - (-677180)/13279)*1*(4 + 0). Which is greater: m or q?
m
Let t = 3668593/59555 - 1/11911. Which is smaller: 62 or t?
t
Let h = -0.45 - 1.31. Let s = h + 2.76. Let z be (-5)/3*(-6)/45. Is s not equal to z?
True
Let a = -731/4 + 26915/148. Which is smaller: a or 0?
a
Let j = -1816 - -898. Let x = 13772/15 + j. Is -0.7 at most x?
True
Let r(p) = 2*p - 5. Let h be r(-9). Let i be (((-24)/2)/3)/h. Let s = -426 - -425. Which is smaller: s or i?
s
Suppose 55*v = 51*v + 100. Suppose 5*m + 86 = -3*x + 5*x, -3*x + v = -m. Which is bigger: -15 or m?
-15
Suppose 0 = -16*w - 208 + 224. Is w less than 1?
False
Let y be 3878/(-10) - 12/(-4). Let k = y + 1151/5. Let h = k + 154. Is 0 greater than or equal to h?
True
Let w = -69 - -73. Suppose -2*a - a + 3 = w*d, -3*d = -2*a + 2. Is -2/253 at most as big a