er than -1?
True
Suppose -2*v = v + 75. Let q be (v/(-15) - 2)*9. Let y be (q/2)/((-4)/(-16)). Which is greater: 0 or y?
0
Let l be (-55)/5 + 40 + -28. Is l greater than or equal to -2/3493?
True
Suppose -23 = 7*c - 9. Let d be -1*0/(c/2). Is -29 less than or equal to d?
True
Let t(r) = -r - 2. Let a(n) = -3*n - 116. Let k(z) = a(z) + 4*t(z). Let c be k(-18). Are 10/17 and c equal?
False
Let w = 2397 - 1127. Is w greater than 1269?
True
Let q = -0.503 + -8.381. Let n = -0.216 + q. Let c = -9 - n. Which is smaller: c or -1?
-1
Let q = 366 - 366.409. Let j = q - -2.429. Which is smaller: j or 1?
1
Let a = 215 + -119. Let c = a - 94. Which is smaller: -0.3 or c?
-0.3
Let i = 22/1359767 + 50101973804/66628583. Let k = 752 - i. Let y be 1 + (-2)/(-1) + -3. Is y smaller than k?
True
Let t be -1 + 1 + -3 + -1. Let x = -4.9 + 3.3. Is x < t?
False
Let q = 45.7 - 45.423. Let f = q + -0.31. Let n = 0.067 - f. Which is greater: -12/17 or n?
n
Suppose -5*q = -43 + 43. Are q and 1/7093 non-equal?
True
Let n be 258*4/(-24)*15. Which is bigger: -642 or n?
-642
Suppose -3*b - 90 = 2*o, 3*b - 3*o + o + 90 = 0. Let m be -10*4 - 12*54/(-81). Are b and m unequal?
True
Let v be 240/108*(-27)/(-6). Suppose -v*q = q - 814. Let w = 73 - q. Is w less than or equal to 2/57?
True
Suppose 22*u = 1995 - 433. Let t be 6/u*(-7)/(-14). Is -1 less than t?
True
Let o = 77 + -77. Let j be ((-8)/(-14))/2 + 195/(-21). Let c be 351/(-18)*1/j. Is c <= o?
False
Let u = -0.28553 - 513.71447. Which is smaller: u or -1?
u
Let i(n) = -n**2 + 2*n + 1. Let s be i(6). Suppose 2*k = -2*u - 44, 2*k = -3*u + 8 - 51. Is s equal to k?
True
Let c = 236 - 235.958. Let m = -0.042 + c. Let n = -28 + 28.034. Which is smaller: n or m?
m
Suppose -2*m - 4 = -u, 0 = m - 2*u - 0 + 5. Let a be 7/((-2360)/296 - -8). Let s = 3373/13 - a. Is s > m?
True
Let a = 226 + -135. Suppose -a = -12*i - i. Which is smaller: i or 37/5?
i
Suppose -67 = 2449*q - 2459*q + 233. Which is smaller: q or 96?
q
Let d = 2.2 + -0.8. Let k = -10.4 - -10.8. Which is bigger: d or k?
d
Suppose 1 = -3*j + 4. Let c be ((-80)/700)/(-1 + 3/5). Do j and c have different values?
True
Let w(i) = 5*i + 31. Let b(z) = -z**3 - 4*z**2 - 7*z - 18. Let j be b(-3). Let c be w(j). Which is greater: c or 1/120?
c
Let u = 16 + 6. Let m(d) = 38*d + 17. Let s be m(2). Suppose s = 5*g - 4*h, -6*g - 33 = -7*g - 4*h. Which is smaller: g or u?
g
Let b = 1616289250/13589 + -118941. Is b >= -1?
True
Suppose 375 = -102*b + 1395. Let r(w) = 2*w**2 - 8*w + 7. Let l be r(5). Suppose 0 = -18*h + l*h - b. Which is greater: h or -13?
h
Let i(f) = -f**3 - 2*f**2 - 2*f - 4. Let b be i(0). Let d be b*2/(-12)*30/40. Which is smaller: 0.21 or d?
0.21
Let z = 100.95 + 2.05. Let a = z + -54. Let x = a + -49.1. Is 4 less than x?
False
Let s(f) = -49*f - 458. Let g be s(-10). Suppose 49 = 27*v - g. Is v <= 13/4?
True
Let a = 37828 + -38859. Is -1041 equal to a?
False
Let d(o) be the third derivative of o**5/60 + o**4/2 - 2*o**3 + 2*o**2. Suppose -279*c - 1569 - 322 = 1736. Let g be d(c). Is 2/391 < g?
True
Let c = -147554303/1363 + 108257. Which is bigger: 1 or c?
1
Suppose -3*f - 5*h + 9038 = -1427, -f + 3489 = 2*h. Let o be ((-41)/f)/(2/5). Let d(b) = b. Let j be d(1). Is j at most as big as o?
False
Let h be 2*(-2)/(-28)*1. Let d(w) be the second derivative of -w**4/12 + w**3/3 - w**2 - 12*w. Let m be d(1). Is h greater than m?
True
Let t(o) = -6*o - 28. Suppose -2*m + 3 + 17 = 2*d, -3*d + 2*m = -20. Let c be t(d). Is -79 >= c?
False
Let d = 26/15 - 7/5. Let k be (-354)/(-12) + (-3)/(-6). Suppose u + 15 = -s, u - 2*s + k = -6*s. Is u < d?
True
Let l = -78797/126088 + -1/15761. Let c be (-1)/(-3)*(-6)/8. Which is smaller: l or c?
l
Let z = -16218 - -24211. Do z and 7993 have the same value?
True
Let n = 1467 - 341810/233. Let b(c) = -3*c - 2. Let f be b(-1). Is f equal to n?
False
Suppose -27*m + 180 = -23*m. Suppose -6*y = o - 2*y - m, -201 = -5*o + 4*y. Which is smaller: 38 or o?
38
Suppose 148 = -4*a + 4*l - l, 5*l = 4*a + 140. Let z = 24 + a. Let t = -14 - z. Is t at least 0?
True
Let z(k) = 472*k - 8755. Let r be z(20). Which is smaller: -5 or r?
-5
Suppose 8*h = -36*h. Which is smaller: -2/2469 or h?
-2/2469
Suppose 7 + 28 = 5*b. Suppose -g - 132 = 4*p, -b*g - 99 = 3*p - 3*g. Is 1 != p?
True
Let h = -6228 + 7673. Are h and 1444 equal?
False
Let r = -138 - -222. Let w = -0.00809 + 84.42809. Let c = w - r. Do c and 1 have the same value?
False
Let x = 109 + -113. Let j be 52/39*30/x. Is -9 <= j?
False
Let y = -34.48 - -4.48. Which is greater: y or 0.75?
0.75
Let v(n) = -n**3 - 4*n**2 + 5*n + 9. Let t be v(-5). Suppose 0 = 10*x + t + 1. Is -15/14 bigger than x?
False
Suppose 4*x = -2*i + 16, 5*x - 21*i + 17*i = 33. Suppose -605 = 3*s - x*g, -s + 64*g = 61*g + 199. Is -205 at most s?
True
Let a(l) = -73*l**2 + 58*l + 253. Let p be a(-15). Which is bigger: -17043 or p?
p
Suppose 0 = 9*w - 4*w + 30. Let q be 132/198 + (-1 - 14/w). Let j = 2046 + -18392/9. Is q greater than or equal to j?
False
Let c be ((-2)/(-5))/((-11)/(-210)). Suppose -3*s = -0*s, 4*k - 8 = 5*s. Suppose -42 = 3*d - 6*d + 5*q, -d - k*q + 3 = 0. Do d and c have the same value?
False
Let p = 25301 + -9162. Is 16139 >= p?
True
Let x be (6/(-26))/(-3)*21*18/(-11466). Which is greater: 0 or x?
0
Let u be (1 - 2)*(-1 - -2). Let h = -31700 + 6942005/219. Let l = 1/73 + h. Does l = u?
False
Let b(s) = -2011*s + 116. Let t be b(6). Is -11949 smaller than t?
False
Let p(h) = -205*h + 501. Let d be p(-11). Is d less than 13781/5?
True
Let h = 65626 + -395999/6. Let r = 1871/5 + h. Is -1 less than or equal to r?
True
Suppose 9*c - 74 + 65 = 0. Let b be 21704532/6201 - 4/26. Let p = b - 3500. Is p > c?
False
Let v(j) = -j**2 - 13*j - 16. Let w be v(-12). Let o be 1088/(-256) + (-5)/(-100). Which is smaller: o or w?
o
Let n = 26245 + -26235. Let w be (8/12)/((-4)/(-30)). Suppose -6 = -4*s + f, w*s = s + 2*f + 4. Which is smaller: n or s?
s
Suppose -2*o - 4 - 22 = 0. Let p(a) = a. Let m be p(2). Let r be (4 + (-90)/9)*m. Does r = o?
False
Let u = -30902 + 33093. Which is bigger: u or -6?
u
Let a = 0.4 - 2.4. Let k = 169 + -142.3. Let u = k + -28.7. Is a > u?
False
Let g(a) be the third derivative of 13*a**4/24 - 43*a**3/3 - 23*a**2. Let o be g(9). Is o smaller than 32?
True
Let r be (29 - 6080/208)*(-86)/(-6). Let k be -1 + -1 + 0 + -1. Which is bigger: k or r?
k
Let c(d) = -d**3 + 6*d - 3. Let s be c(-5). Suppose 0 = -14*q + 20 + s. Let u = 6 + -3. Which is smaller: q or u?
u
Let l = 3279423847/12065 + -271813. Is l less than or equal to 0?
False
Let p(x) = -x**3 - 26*x**2 - 29*x - 35. Let n be p(-25). Let k = n - 62. Are k and -33 equal?
False
Let t = -8.5356 - -8.56. Let y = t - -47.9756. Which is smaller: y or -1/2?
-1/2
Let l(c) = -c**2 + 7*c + 19. Let f be l(10). Let h(n) = -n**3 - 10*n**2 + 10*n + 7. Let b be h(f). Are 154/9 and b non-equal?
True
Let n be 7713/(-3*(-20)/(-36)). Let t = n - -4648. Let g be ((-120)/15 + 22)*(-6)/(-4). Which is smaller: t or g?
t
Let u be ((-7021)/(-784) + -9)/(1/604). Let i = 111/4 + u. Are 0 and i equal?
False
Let o be ((-140)/(-15))/(4*2/(-180)). Let b = o - -213. Which is smaller: b or -100?
-100
Let l be 7*(-23 + 648/28). Is 19/9 > l?
True
Suppose 28*r - 245*r = -217. Which is greater: r or -3/2680?
r
Suppose -48*b = -25*b - 87768. Let m be 10 + (-132)/13 - b/(-24466). Which is smaller: 1 or m?
m
Let d = 4465 + -3165. Suppose 6*m - d = 31*m. Is 2/11 greater than m?
True
Let g = 5.888 - -0.112. Let c = -79 - -76. Let n = c + g. Is n bigger than 2?
True
Let b(q) = 5*q - 13. Let h be b(3). Suppose h*i + 2*i = 5*i. Suppose -m + 4*r - 5 = -i*r, 3*m + r = -15. Are m and -7 equal?
False
Let w(s) = 21 + 2 + s + 9 - s**2. Let i be w(-6). Which is smaller: -46/5 or i?
i
Let s(d) = d + 13. Let u be s(-14). Let q = 2308 + -39232/17. Is u at least q?
False
Suppose 5*j + 0*j = 180. Suppose 281*a = 168*a + 1865 + 2542. Are j and a nonequal?
True
Let l be ((30/(-3))/(-20))/(3*20/456). Is -16 at most l?
True
Let a = 0.0099 - -0.2611. Let u = a - 0.141. Which is smaller: u or 2/7?
u
Let p be (-56)/(-70)*60/32*(-20)/(-6). Is -556 less than or equal to p?
True
Let x(u) = -u**3 - 40*u**2 - 35*u - 88. Let p be x(-39). Which is smaller: p or 3?
p
Let x(z) = -z**2 + 36*z - 112. Let w be x(32). S