-5*v = 4*v - 2*v. Suppose 5*x - 4*t = -v*t - 335, -3*x + t - 194 = 0. Is x smaller than -64?
False
Suppose t - 31 = 3*i, -3*t + 30 = 5*i - 49. Let k(b) = 2*b**3 + 14*b**2 + 4*b - 1. Let l be k(-2). Which is smaller: t or l?
t
Let m = 610 - 556. Let y = -37 - 57. Let o = m + y. Do o and -40 have the same value?
True
Let h = 147 + 35. Let t be (-80)/h - 4/(-84)*6. Suppose 0 = 2*l + 2*l + 2*y, -5 = -l + 2*y. Is t at least as big as l?
False
Let a = -253 + 271. Let h be 182/39 - 2/(-6). Suppose 4 = -2*g, h*m + 18 = -g + 96. Which is smaller: a or m?
m
Suppose -27*m - 6*m = -3*m + 3*m. Is m greater than or equal to -6537?
True
Let l(t) = t**2 + 121*t - 1783. Let z be l(-130). Which is smaller: z or 15?
z
Let g(b) = 860*b - 1078. Let l be g(-8). Is -7958 less than or equal to l?
True
Suppose -2*n = 3*y - 39, -3*y = -5*n - 2*y + 55. Suppose -2*w - t = -12, -t = -4*w + 3*w + n. Is 9 less than w?
False
Let x = -1.68 + -11.62. Let h = -13.616 + 0.416. Let j = x - h. Which is greater: -2/137 or j?
-2/137
Let v = -94 + 104. Let f(n) be the third derivative of -n**4/12 + 10*n**3/3 - 3*n**2. Let h be f(v). Which is smaller: 4/5 or h?
h
Suppose -880 = 282*h + 22808. Let t = 5 + -90. Which is smaller: t or h?
t
Suppose -33*v = -39*v + 1110. Let m = 184 - v. Let r be 1/(-2) + (-2)/(-12). Is m smaller than r?
True
Let o = -2973 + 3038. Which is smaller: o or 16?
16
Suppose -61*a + 69*a = 24. Suppose -4*u - 5*t = -394, 2*u + 2*t - 204 = a*t. Which is bigger: 98 or u?
u
Suppose 2*z + 4 = 2*w, 0 = w + 2*z - 1 - 4. Let j = 8856 - 8849. Is j at least as big as w?
True
Let n = -198587/702 - -2546/9. Is -1 at least n?
False
Suppose 0*h = 2*h - 5*k + 8, 5*k = 10. Let d be 320/(-48) + 2/3. Let v be d/(-2472)*-4*(1 - -1). Is v at most as big as h?
True
Let p be (-116 - -118)/(66/(-9)). Is -0.0658 greater than or equal to p?
True
Suppose 0 = -4*c - 3*v - 1, 3*c + 3*v = 5*c - 13. Suppose -7*q = -c*q - 100. Suppose 0*r - 3*r - 15 = 4*s, 5*s + q = -4*r. Is s less than 2/37?
True
Let b = -25 + 15. Let v be 2/76*(b + -10). Let t = -190 - -189. Which is greater: t or v?
v
Let k be 7360/(-150) + 728/120 + -6. Which is greater: k or -42?
-42
Let n = -70.42 + 75.42. Which is smaller: n or -1/480?
-1/480
Let n = 19530 - 19530. Is -2/11671 smaller than n?
True
Suppose 6*w + 69 = 3*w. Let f(q) = 3*q - 16. Let h be f(7). Suppose a + 3*d = -37, 5*a + h*d = 2*a - 95. Which is smaller: a or w?
a
Let c = 1586145042/11 - 507580408971/3520. Let v = c - -3976. Which is greater: 1 or v?
1
Let i(s) = -s**3 - 246 - 20*s**2 + 226 - 22*s + 8*s**2. Let p be i(-10). Let o be p/(-1 + 0/1). Which is smaller: o or -9/8?
-9/8
Suppose -11*l + 5*q - 36 = 0, 4*l + 15*q - 1 = 14*q. Let m be 1538/(-1534) - (-4 + 3). Which is smaller: l or m?
l
Let h(y) = -y**2 - 28*y - 196. Let p be h(-16). Let d be (20/p)/(5*(4 - 5)). Is 1/79 > d?
False
Suppose -5*a + k = -2*k - 204, -92 = -2*a - 4*k. Suppose -5*q + a = 2*w, -3*w + q - 42 = -5*w. Suppose 10*n - 19 = w. Is 30/11 < n?
True
Let d = 1921 - 1922. Let c = 27 - 29.2. Is c less than d?
True
Let i(g) = g + 1. Let p be i(4). Let c(z) be the first derivative of -2*z**2 + 21*z - 58. Let n be c(p). Which is smaller: n or 2/109?
2/109
Suppose -54 = 4*q + 2. Suppose -37 = n + 40 - 67. Is q less than or equal to n?
True
Let u = 46047 - 45713. Is u < 312?
False
Suppose 5*h - 4*m - 31 + 85 = 0, -3*m = 4*h + 37. Let c be -1 + (-3918)/(-3240) + 2/h. Let w = c + 2/27. Which is greater: 0 or w?
w
Let b be ((-207)/(-3))/(8 + -7). Let f = 71 - b. Which is bigger: 9/7 or f?
f
Suppose 0 = -2*s - 32*s + 51 - 51. Let a be (2/390)/((-5)/6). Which is smaller: a or s?
a
Suppose -34*d + 9719 = 1971 - 8844. Do d and 489 have the same value?
False
Let g = 97 - 133. Let v be g*2/(-28) + 3/7. Suppose 0*k + v*k - 3 = 0, 0 = -2*u + 3*k - 3. Which is smaller: u or -6?
-6
Let g(o) = -148*o + 444. Let m be g(3). Which is bigger: -3/6196 or m?
m
Let f = 107597 + -1015823275/9441. Let v = f + -4270/349317. Which is bigger: 1 or v?
1
Suppose -5*p = -3*v - 8, 3*v - 3 = -5*p - 1. Which is bigger: v or -20/363?
-20/363
Let j = -6319072514/170625 - -259244/7. Which is greater: j or 1?
1
Let m be 7/((-14)/(-24))*175/28. Let w = -65 + m. Let f be (-4 - -5) + 2/w. Is -2 at most as big as f?
True
Let p(x) = -1125*x + 132758. Let z be p(118). Suppose 4*y - 3*s = -5*s + 10, 0 = 4*y - 3*s + 5. Do z and y have the same value?
False
Let q be 209/2 + (-4)/8. Suppose o = 3*o + q. Let f = o - -50. Is f less than or equal to 2/5?
True
Let g be (-1)/(-9)*21260/(-1360). Let h be (2 - (0 - (-39)/(-51))) + -1. Let a = h + g. Is a bigger than 0?
True
Let h = 5/947 + -972/4735. Is 2190 bigger than h?
True
Suppose -118*k = -198*k. Which is smaller: k or -42/1157?
-42/1157
Let x(k) = -k + 1. Let b(t) = 6*t - 12. Let s(z) = -b(z) - 5*x(z). Let h be s(8). Let n = 551 + -6071/11. Is n at least as big as h?
True
Let j(d) = d**3 + 2 - 5 + 7*d**2 + 4. Let z be j(-7). Let l be 1/((-7)/(-8) + z/(-1)). Which is smaller: l or -2/5?
l
Let a = 145 + -109. Suppose 2*s = 3*c + 3*s + a, -5*s - 4 = -c. Is c bigger than -47/4?
True
Suppose n = 4*y + 8, 4*y + 0*y - 5*n + 24 = 0. Let q be (-1 - (-1 + y)) + (-2418)/195. Are -11 and q non-equal?
True
Let a be (5 + -8)/((-15)/(-520)). Let o = a + 726/7. Let g be ((-3)/8)/(6/(-4)). Which is greater: g or o?
g
Let n(v) = 3 - 3*v**3 + 5*v**2 + 2*v + 2*v**3 - 4*v. Let u be n(5). Let l = -13/193 - 6883/965. Is l < u?
True
Let m = -30/2567 - 40853595/17969. Is -2274 bigger than m?
False
Suppose -10*l = -80 - 80. Let n(a) = a**3 + 5*a**2 - 2*a - 3. Let x be n(-4). Let i = x - l. Which is smaller: -1 or i?
-1
Let q = 11.8602 + -86.7692. Let a = q + -0.091. Let f = a + 69. Is f at most as big as -2?
True
Let r = -2519/3 + 845. Let f = 8873 - 106537/12. Let a = r + f. Which is bigger: a or 1?
1
Suppose 0 = -5*f + 3*f + 24. Suppose f = -3*w - 6. Suppose 5*d = 0, -l - 3*l - 24 = 3*d. Is l != w?
False
Let b be (-10)/(-14)*(-8)/20. Let f = 80 + 28. Let g = 88 - f. Is b greater than or equal to g?
True
Let m = 2/499 - 3519/6487. Let w = m + 9/65. Do w and -86 have different values?
True
Let v = 296 - 295. Let z = -24.9 - -83. Let i = z - -2.9. Which is smaller: v or i?
v
Let f(j) = -2*j + 11. Let s be f(4). Suppose -14 + 38 = -s*x. Let z be (-2 - 20)/(-6 - x). Is -10 less than or equal to z?
False
Suppose 5*k - 5*u - 35 = 0, 0 = 2*k + 4*u - 2 + 6. Suppose k*l - l = 51. Suppose 3*v - 16 = -4*g, 5*g + 0*v - l = -3*v. Is 7 > g?
True
Let s = -7 + 13. Suppose 3*g = -a + 21, 2*g + 3*a = s + 1. Suppose -3 + 4 = h - 2*p, 0 = 4*h - 2*p - 28. Is g greater than h?
False
Let t(d) = -21*d + 133. Let l be t(-5). Let u = l - 184. Which is smaller: 51 or u?
51
Let l = 158 - 138. Suppose 10*x - l = 30. Let m(b) = -2*b**2 - 6*b + 8. Let j be m(-4). Which is smaller: j or x?
j
Suppose 3 = -3*d + 4*i - 7*i, -4*i = -5*d + 13. Suppose q - 260 = -2. Let n be q/675 + (-2)/9. Is n <= d?
True
Let o be 5*-1 + 430/43 + -52. Let h = o - -101. Let g be ((-13)/2)/(2/(-16)). Which is greater: g or h?
h
Suppose -1436 = 7*w - 1215 - 11141. Is 1561 at least w?
True
Suppose 4*a + 122 = 5*q, -a = 4*q - 74 - 32. Which is smaller: -15 or q?
-15
Let n be ((-9)/6)/(15/(-20)) + -8. Let o be 343/147 + 0 + (-4)/n. Which is smaller: -0.055 or o?
-0.055
Suppose -4*c + 204 = -152. Let j = c + -88. Which is bigger: j or -4/29?
j
Let d = -28 - 404. Let s = -12099/28 - d. Which is smaller: s or 0?
s
Let x be (-67)/255 - 10/(-25). Let d = x - -9/17. Which is greater: 0.82 or d?
0.82
Suppose 4*p + 3*w = 116, -5*p - 4*w - 31 = -175. Suppose 9*b = -p + 365. Do 37 and b have different values?
False
Let q = 67652 - 76785028/1135. Which is bigger: q or 1?
1
Let j = -18003 + 20893. Is -0.3 < j?
True
Let i be 5/1335*-105 - 6/15*-1. Let l = -97 + 98. Is l greater than i?
True
Suppose -2*s + 67312 = -0*s - 18*s. Is s > -4208?
True
Suppose 4*h = -4*v + 271 + 165, -3*v + 2*h = -307. Which is smaller: v or 0?
0
Suppose 35*l = 9777 + 10803. Is l != 587?
True
Let o be ((-25)/((-3025)/(-22)))/(4/(-2512)). Which is smaller: o or 115?
o
Let d = -113/2 + 1751/31. Suppose 114 - 102 = 3*s. Let p be 0/s*(5/(-2) + 2). Is p > d?
True
Let o = -14464/17 - -850. Let j be (1 + -2 + 1)/(-3). Which is smaller: j or o?
o
Let b be 23 + -1 - (-11 - -8)/1. Suppose 4*c - 25 = -b. Let i = 4