 x be 6/p*38/(-57). Is x less than v?
False
Let h = 199 + -205. Let s(q) = 5*q + 36. Let j be s(h). Does 6 = j?
True
Let k(v) = 25*v**2 + 24*v + 159. Let c(b) = 4*b**2 - b - 1. Let j(s) = 6*c(s) - k(s). Let a be j(-23). Which is greater: 15 or a?
15
Suppose 0 = 2*g + 4917 - 3743. Which is smaller: g or 0.2?
g
Let h = -146 + 139. Let m(y) = y**3 + 8*y**2 - 6*y - 29. Let u be m(h). Let s(r) = 14*r - 8. Let w be s(5). Is u > w?
False
Let s be (99/10)/(1/(-6)). Let r be (-13*9119/(-715))/((-106)/(-38)). Let z = s + r. Is -1 < z?
True
Let m = 3723 + -3998. Which is smaller: -1 or m?
m
Let l be (-42)/(-155) - 4/10. Suppose 0 = o + 2, 4*f + 10*o - 6*o = -16. Let c be f/((-13)/((-65)/10)). Which is smaller: c or l?
c
Let h(w) = -w**3 - 5*w**2 - 3*w - 10. Let p be h(-5). Suppose p*i - 5 = -15. Let y be (-4)/10 - 1/(-10)*i. Which is smaller: y or 2/7?
y
Let n = 189 - 71. Let a = -29 + n. Is 2/5 less than a?
True
Let w = 83.35 - 60.2. Let q = -23 + w. Let a = 0.05 + q. Which is smaller: a or -3?
-3
Let t = 235.9648 - -0.0352. Let r = -236 + t. Is r at most as big as -0.147?
False
Suppose -4*v = 3*o - 4445 + 931, -4*o - 8 = 0. Are 880 and v equal?
True
Suppose 21152 = -3*o + 21047. Let h = 2 + -4. Let l be -37 - -1 - (-3 - h). Is l < o?
False
Let x be ((-130)/15 + -5)*9. Let t = x + 122. Which is bigger: t or -2/349?
-2/349
Suppose 0 = -38*x + 32*x + 276. Suppose 47*j - x*j + 1 = 0. Which is smaller: j or -118?
-118
Suppose 187 + 965 = 8*f. Suppose 49*y + f = 52*y. Is 50 greater than or equal to y?
True
Let y be ((-14)/12)/((-35)/20). Which is smaller: y or 510?
y
Suppose -30 = -5*m + 5*x, -m - 18*x - 14 = -15*x. Is m at most -753?
False
Let a be (2/(-6) + 1)*(-246)/164. Which is greater: a or -2/5623?
-2/5623
Let w(d) = 2*d**2 + 21*d - 173. Let t be w(-17). Is t != 37?
True
Let t be (-297)/(-4) + 12/16. Suppose 22*i = 19*i - t. Is i >= 1/4?
False
Let o(v) be the second derivative of v**5/20 - 23*v**4/6 + 15*v**3 - 99*v**2/2 + 173*v. Let s be o(44). Is -81/7 less than s?
True
Let f = 416 - 313. Suppose 11*a - 312 = 8*a. Which is smaller: a or f?
f
Let t = 16.21 - 16. Let l = t + -14.21. Let k = 312329 - 1249315/4. Which is bigger: k or l?
k
Let z(m) = m**3 - 12*m**2 + 18*m + 25. Let d be z(10). Suppose 2*v - v = -d, -3*l + 4*v + 41 = 0. Which is greater: l or 18?
18
Let s be (2/5)/((-14)/(-140)). Let h be 143/44 + (19/4 - s). Which is greater: h or 17?
17
Let j be ((10/4)/5)/(1/6). Suppose 5*p - 4*y = 18, -p - y - 9 = -j*p. Suppose -p = -5*t + 2*t. Are t and 0 equal?
False
Let u = -12 - -9. Suppose -3*h - 4 = -34. Let c be (5 - 3) + u + h/6. Which is bigger: -1/6 or c?
c
Let r = -6 + 6. Suppose -3*t + 7 + 2 = r. Suppose t = -4*f + f. Which is smaller: f or 5/12?
f
Let y = 813328/6665 + -3776/31. Let a = 1/43 - y. Let w(v) = 2*v**2 + 12*v + 9. Let u be w(-5). Is u at most as big as a?
True
Suppose 383*j = 299*j + 1848. Let c be (-87)/(-4) - 1/1. Let k = c - j. Which is smaller: k or -2?
-2
Let g(j) = 8*j - 67. Let i be g(9). Let m be (-4 + 2)/(4/14)*-1. Suppose 5 = -u, 2*f = m*f - 4*u + 5. Which is greater: f or i?
i
Let t be (-2994805)/3179 + (-1)/(-17). Are t and -939 nonequal?
True
Let y be -1*(-2 + 522/(-30)). Let p = y - 2062/105. Are p and -1 equal?
False
Let o be -2 + (1/(-2)*2 - 50). Let i = o + 52. Let l be 0 + (0/(-4) - i). Which is smaller: l or 7/6?
l
Suppose -j = -4*y + 19, -3*j + 2*y - 25 = -2*y. Let t(q) = -q**3 - 10*q**2 + 5*q + 19. Let c be t(-11). Let u = c - 175/2. Are u and j equal?
False
Let k = -1.99 + -98.01. Let i = k + 99.9. Are i and 0.094 equal?
False
Suppose 142 = -5*q + 157. Suppose 1420 = q*h - 8*h. Do -284 and h have different values?
False
Let c be 37/((-1332)/(-288)) + (0 - 7). Which is greater: c or 170?
170
Let z be -5 + 2708/16 - (-36)/(-108). Which is greater: 164 or z?
164
Let o(f) = 9*f - 37. Let p be o(4). Let n be (-2)/(-3)*9/15. Which is greater: n or p?
n
Let f be 1/(-4) + (-3)/((-60)/(-175)). Let m be (-35)/f + 0/35. Is m greater than or equal to 5?
False
Suppose 0 = -j + 3*j. Let g be (-8)/(-10) + (-25312)/33040. Do j and g have the same value?
False
Suppose -791*w = -717*w - 148. Is -0.0747 less than w?
True
Let k(h) = -h. Let m(j) = -7*j - 3. Let q(a) = 4*k(a) + m(a). Let g be q(5). Let t be (-23)/(-92) - (-1896)/(-32). Which is bigger: g or t?
g
Let a = 140 - 103. Suppose 97 = 5*i + a. Which is greater: 19 or i?
19
Let b = -2 + 21. Let n = b + -18.63. Let c = n + -0.57. Which is smaller: c or 2/3?
c
Let m = 1172554/7 + -166961. Let z = m - 549. Which is bigger: -3 or z?
z
Let y = -609 + 583. Let m be ((-16)/(-6))/((-8)/72*3). Is y greater than or equal to m?
False
Let k be (-37)/(-5) - 8/20 - 2. Suppose 3*p = -k*s + s + 14, p + s - 6 = 0. Which is smaller: 9 or p?
9
Let o be (-18)/(-4)*20/(-15). Suppose 217*c = 220*c + 51. Which is smaller: c or o?
c
Let l = -664446604827/4180 - -158958519. Let m = l + -3/380. Let u = -95.8 - -94.8. Is m <= u?
False
Suppose 2*x + 5*g - 11429 = 0, 44*g + 17169 = 3*x + 43*g. Which is bigger: 5721 or x?
x
Suppose 19*k = -108 + 32. Let i be (k/(-92))/((-6)/(-18)). Which is greater: -1 or i?
i
Suppose 2 = 3*l - 4, -4*i - 2*l = -40. Suppose 629 = -i*s - 46. Let w = -53 - s. Are 23 and w nonequal?
True
Let j(k) = 619*k**2 + 70*k - 136. Let a be j(2). Which is greater: a or 2479?
a
Suppose 5*f - 133 + 863 = 0. Let y be 146/(9 + -2 + -25 + 17). Are f and y equal?
True
Let i(r) = -46*r + 4600. Let d be i(100). Which is bigger: d or 1306?
1306
Let w be (-2109)/3*-8 + -15 + 3. Is 5612 > w?
False
Let n = 60536 - 60421. Let t = -7032 - -21445/3. Is n > t?
False
Let h = 10281 + -10280. Which is bigger: h or -1/9112?
h
Suppose -30*w = 26*w - 56. Are 5/379 and w unequal?
True
Let b = 1244 + -517. Suppose -4*z - 1331 + b = 0. Does z = -151?
True
Let l be (2204/5)/((448/16)/560). Does l = -1?
False
Let l(m) = -5*m - 12. Let c(w) = 4*w + 13. Let a(v) = 5*v + 7. Let i be a(-2). Let p(n) = i*l(n) - 4*c(n). Let u be p(-17). Is u less than -2/377?
False
Let v = 35 + -34. Let o be (10/3)/(1566/(-162)) - 0. Is o greater than or equal to v?
False
Let i = 1674 + -1675. Is -4/163 smaller than i?
False
Let n = 0.01413 + -0.11413. Which is bigger: n or 655?
655
Let a be 57/(-19)*(1 + 3453). Let b be (1626/(-10))/(a/(-88)). Let q = b + -3/157. Is q greater than 0?
False
Suppose -7*t + 1902 + 821 = 0. Suppose 9*h + t + 115 = 0. Does -57 = h?
False
Let p be -1*(-4 + 2 - -54) + 4. Let b = 720/17 - -152/51. Let o = p + b. Which is smaller: o or -4?
-4
Let g be 142/20*(17 + 407). Let u = -2991 + g. Which is greater: 18 or u?
u
Let j = 798.56 - -4.44. Let q = -803.179 + j. Is q less than 1?
True
Let b be 0 + 3 - (-25)/(-5). Let j be 3/b - 90/(-36). Let l be ((-1)/3)/(19/(-18)). Which is smaller: j or l?
l
Let l = 315 + -233. Let z = l + -94. Is -12 > z?
False
Suppose -4*f + 59 - 71 = 2*x, -24 = 3*f + 4*x. Which is smaller: 221 or f?
f
Let a(o) = -49*o - 173. Let x(y) = 52*y + 172. Let t(c) = -6*a(c) - 7*x(c). Let s be t(-3). Which is smaller: s or 45?
s
Let n = 577 - 383. Let q = n + -195. Is -111 <= q?
True
Suppose -a + 153*d - 149*d = 7, 0 = d - 2. Is -9/538 equal to a?
False
Let h = -805 + 805.0852. Let i = h + -0.0252. Is 15/8 less than or equal to i?
False
Suppose -q + 4*y + 97 = 0, -3*y = -3*q - 4*y + 395. Does q = 129?
True
Let m = -0.1 + 8.3. Let c = -10973.2 - -10966. Let r = m + c. Which is smaller: r or 8?
r
Let r be (5/3 - 95/45)/((-138)/(-9)). Which is greater: r or -71?
r
Let h = 29.87 - 28.87. Are h and -290 equal?
False
Let v be (1/(33/6) - 1133/242)*-4. Which is greater: v or -14?
v
Let a = -31942 + 30814. Which is greater: a or -1127?
-1127
Let h = -133 - -216. Suppose -63 + h = 2*l. Let b be -42*(2/l - 0). Which is bigger: b or -8?
-8
Suppose 138 = -3*w + 3*a - 210, 4*a + 111 = -w. Is w less than -9/2?
True
Let w(x) = -4*x**2 - 10*x + 18. Let b be w(-5). Let l be (-36)/(-90) - 1*31. Is b smaller than l?
True
Let b = 1.002 - 1.23. Let n = b - 9.772. Which is greater: n or 0?
0
Let d = -159 + 61. Let n = d + 100. Suppose -13 = -n*s + 27. Does s = -1?
False
Let m = 0.669 - -3.811. Let f = m - -378.52. Is f bigger than -1/2?
True
Let d be (-2)/(2/7 - (-320)/(-1610)). Let i be (-28)/(-8) - (-3)/(-6). Suppose i*s = h + 37, -12 = 2*h + 3*s + 17. Which is greater: h or d?
h
Let l(d) = -7*d + 52. L