7*l - z*l. Is -8 > l?
False
Suppose 0 = -8*v + 7*v - 8. Let a be (v/(-20))/((-3)/285). Let m = 45 + a. Which is bigger: 4 or m?
m
Let k = -54 + 33. Let y = -481.8 - -502.7. Let l = k + y. Is -61 < l?
True
Let s = 8666.69 - -59.31. Which is greater: -0.2 or s?
s
Let s be 5*((-6)/10 - (-6)/(-15)). Let x = 1 - s. Let q be (7/3 + -2)/((-10)/x). Are q and -1 unequal?
True
Suppose -5*h - 21 = -3*h - 5*n, 5*h - 3*n + 5 = 0. Let k(m) = -m**2 - 6*m + 10. Let y be k(-7). Suppose h*g = -y*g + 4*g. Is 2/57 greater than g?
True
Let i = 28 - 540. Let c = i - -524. Is c equal to -0.3?
False
Let l = 4775 - 4727. Is -3/7 > l?
False
Let d = -6003 + 6004. Is d greater than or equal to 11/235?
True
Let m(p) = -41*p**2 + 6*p + 5. Let v be m(-1). Let f be -9*(v/(-49) + -1). Is 2 bigger than f?
True
Suppose 0 = -4*c + 4*q + 1312, 2*c + 3*q - 636 - 50 = 0. Is 335 bigger than c?
True
Let w(d) = 781*d - 103. Let n be w(4). Let x = n + -377623/125. Let s = 1 + 0. Do x and s have the same value?
False
Let j = 2769 - 2772. Which is bigger: j or -74/39?
-74/39
Suppose 2*u = -p + 3650, -3*u + 638*p = 641*p - 5487. Is -0.3 <= u?
True
Let s = 0.047 - -4.353. Let x = -4.34 + s. Let l = 0.06 - x. Which is smaller: 2/89 or l?
l
Let z = 5275 - 5268. Which is greater: z or -8?
z
Let w = 83 + -85. Let i = -260 - -203. Is i smaller than w?
True
Let s(m) = -4*m**2 + 34*m - 18. Let b be s(6). Suppose 0 = -b*u + 263 + 31. Is u bigger than -3?
True
Let u = -6.6 - -6.8. Let h = -1937 + 1940.7. Which is bigger: u or h?
h
Let h be 3416/35 + (-3)/5. Suppose -h = 4*q + 155. Let y be 1080/q*(-1)/4. Is y < 5?
True
Let o = 0.155 - -174.845. Let z = -168 + o. Which is smaller: z or -0.1?
-0.1
Let j be (((-66)/36)/(-11))/(0 - 18/(-24)). Which is bigger: -356 or j?
j
Let d = -1444 - -1254. Is -0.59 greater than or equal to d?
True
Let t = -60486/7 + 8636. Is -0.053 not equal to t?
True
Let y = -0.25 + 4.55. Let f = y + -4. Let o = 3987.1 + -3987. Which is bigger: f or o?
f
Suppose 1731*k - 1718*k - 130 = 0. Which is smaller: 2 or k?
2
Let s = 8779 + -8727. Is 26 less than s?
True
Let b(x) = 2*x**3 - 7*x**2. Let y be b(5). Let j = 38519.1 + -38519. Which is greater: j or y?
y
Let g be (21 - (-46721)/(-2223))*6/1340. Is g >= 0?
False
Suppose 0 = -5*d + 4*g + 12, 4*d = -2*g - 0 - 6. Let j = -38036/1328037 - -16/8913. Are j and d non-equal?
True
Let q = 160 + -209. Let f be -3 + 0 + (5 - q/(-4)). Which is bigger: f or -10?
-10
Let k(v) = -2*v**2 + 41*v + 22. Let t be k(21). Let s be (-11 - 57) + (t - 1) + 1. Which is bigger: s or -68?
s
Let h be (7859691/(-249498))/7 - 18/(-4). Is h smaller than -1?
False
Let r be (-27 - 224805/(-8325)) + 2*-1 + 2. Is 1 at most r?
False
Let u be (-10)/((-48)/(-108) + 53/(-18)). Suppose u*b = -3*w - 5, -3*w = -3*b + 5 - 14. Is w greater than 173?
False
Let p(l) = 55*l - 439. Let o be p(8). Is 669 at most o?
False
Let u(n) = n + 0*n - 2 + 0*n + 6*n**2 - 4*n**2. Let v be u(1). Let w = v + 1. Which is greater: w or 3?
3
Suppose -68 = -5*k - 2*w, 0 = 2*w - 8. Suppose 0 = -k*h + 84 - 0. Suppose -22 = -3*p - 2*f, -f + 0*f = 1. Is p at most as big as h?
False
Suppose 4*x + 2561 = h, -x + 14*h - 19*h = 656. Which is greater: -639 or x?
-639
Suppose -5*c + 5 = -a, 5*c = 2*a - 53 + 63. Which is greater: c or -6/925?
c
Let w be (-2040)/(-160) + 1/4. Suppose -w*b = b + 154. Is b != -8?
True
Suppose -r = 14*y - 17*y - 10, 3*r = 5*y + 10. Is -154/41 equal to r?
False
Let s(l) = 2*l**2 - 5*l - 46. Let p be s(-26). Let b = p + -7148/5. Which is bigger: b or 5?
b
Let o be 174160/87108 - (-3 + 5). Do -1 and o have different values?
True
Let j = -44 - -51.4. Let v = -8 + j. Let x = 0.4 - v. Which is bigger: x or -3?
x
Let w(o) = -o**3 - 8*o**2 - o - 6. Let m be w(-8). Suppose -m*j = -2*g, 4*g - 3 = 2*j - 5. Which is bigger: g or -2/27?
-2/27
Let s = 0.1 + -0.3. Let v = -273 - -90. Let f = 182 + v. Which is smaller: s or f?
f
Let m(t) = 41*t**2 + 23*t - 104. Let d be m(-8). Do d and 2336 have different values?
False
Let q(i) = i**3 + 34*i**2 + 210*i + 53. Let f be q(-26). Does 4/2245 = f?
False
Let d be (-1)/(-16) - 388997/(-22448). Is 18 at most as big as d?
False
Suppose 2*r - 1270 = -3*r - 5*s, -3*s - 3 = 0. Suppose 0 = -246*h + r*h - 27. Do h and 8 have different values?
True
Let t = 52 - 47. Suppose 0 = -t*g + 5*p + 15, -3*g - 3*p = -39 - 0. Which is greater: g or 3?
g
Let f = 217 - 217. Is f less than 10/4203?
True
Suppose 0 = 2*u - g - 3950, 4*g = -7*u + 7*g + 13825. Are u and 1973 equal?
False
Suppose 2*s = -2*a - 751 - 353, 3*a - s + 1640 = 0. Which is smaller: -550 or a?
-550
Let n = -90869/233 + 390. Which is smaller: 3/4 or n?
n
Let x(c) = -c + 8. Let l be x(7). Let q be 43/(-13) + -1 + (-10 - -6). Let w = q - -1266/143. Is w < l?
True
Let h = -76 + 83. Suppose -5*n - 2*v = -h*v - 415, 2*n - 166 = -3*v. Suppose 86*k - n*k = -81. Is -30 at most k?
True
Let o(c) = -c**3 - 3*c**2 + 5. Let i be o(-2). Is i >= 2/22379?
True
Let q be 890/25*15/(-32)*(-8)/12. Which is greater: q or 12?
12
Let n = 41 - 27. Suppose -5*g = g - g. Suppose g = -43*f + 38*f + 65. Which is greater: n or f?
n
Let u(p) = p**3 - 11*p**2 + 3*p + 5. Let r be u(8). Suppose 3*g + 246 + 240 = 0. Which is greater: r or g?
g
Let d = 227 + -167. Suppose 15*x - 743 = 172. Which is smaller: d or x?
d
Let w(x) = x**2 + 3*x + 2. Let r be w(-2). Let a = -49 + 16. Let y be 3/666*a/11. Which is greater: r or y?
r
Let r(y) = -y**2 - 222*y - 1296. Let f be r(-6). Is f not equal to -1/3372?
True
Let s be 4/(-1)*1 + 20/5. Suppose s = 4*c + 8, -2*j + c = -j + 26. Let m be (-6)/9 + (-82)/3. Is j <= m?
True
Let o be (7 - 12)/1 + -268 + (-3 - -9). Which is greater: -2147/8 or o?
o
Let c be -4 + (18/(-5))/((-4)/5). Let x = 3/8 - c. Which is smaller: x or 0?
x
Let s = -49 + 55. Let q be 254/s*(-690)/(-92). Are q and 318 equal?
False
Suppose -8*a - 54 + 1782 = 0. Let l = a + -217. Let b = 45.079 - 0.079. Which is smaller: l or b?
l
Let l = -65.78 - 1.22. Let f = -0.118126 + 0.118126. Which is greater: f or l?
f
Suppose -32*l = 3*o - 34*l - 31, 4*o + 5*l - 3 = 0. Suppose -o*y + 57 + 1182 = 0. Is 177 equal to y?
True
Let g be -3*(3745/21 + -10). Which is smaller: g or 0?
g
Suppose -574 + 214 = -8*a. Let l = 47 - a. Let q be (6 - 3)/1 - 9/3. Do q and l have the same value?
False
Let t(j) be the second derivative of -j**5/20 + j**4/3 + j**3/6 + 3*j**2 + 8*j. Let s be t(4). Let m be 4 - 4/s*25/10. Which is smaller: m or 15/4?
m
Let k(x) = -12*x**3 - 10*x**2 - 15*x + 16. Let z be k(-12). Are 19493 and z nonequal?
True
Suppose 2*j - 5 = 11. Suppose 24 + j = -w. Let z be 6/(-4) + (-80)/w. Which is smaller: z or 5/18?
5/18
Let t = -5845 - -5842. Are t and 58.2 nonequal?
True
Let x = 1/4 + 1/4. Which is bigger: -6180 or x?
x
Let u = 382 + -2311/6. Suppose 13 + 3 = -4*k, -4*m = -3*k. Is u less than m?
True
Let n be 730579/515 + (-3)/5. Is n smaller than 1418?
False
Let j be 3 + ((-6)/4)/(4/8). Suppose -120*o + 111*o = j. Which is bigger: 6/157 or o?
6/157
Let w = 32799.71 + -32800. Which is smaller: w or -49?
-49
Let x = -3501859/3779755 - -366/395. Is x <= -1?
False
Let h(o) = o**3 - 26*o**2 + 26*o - 39. Suppose -8*g = -7*g - 7. Suppose 3*d = g*d - 100. Let m be h(d). Which is bigger: -13 or m?
-13
Let a = 58137/7 + -8305. Which is smaller: a or 31.24?
a
Let n be 340/255 - 34791/26046. Is n at least as big as -1?
True
Let z be 4/14 - (-20)/28. Let l = 8395343 + -4071730598/485. Let k = 111/5 - l. Which is smaller: k or z?
k
Let j = 73 - 121. Let v = j - 5. Let m = v + 29. Which is bigger: m or -0.1?
-0.1
Suppose -150 = s + x, 5*s + 768 = x - 0*x. Let j be (s/45 - -1)/((-4)/(-2)). Which is greater: 6 or j?
6
Let n = 13302 - 13195589/992. Is n greater than 0?
False
Let i = 19 - 3. Suppose 2*t - i = 10. Suppose -5*j + 29 = -36. Is j != t?
False
Let a = 825 - 869. Let z be a/(-52) + 2/13. Let p = -3/481 - -76/6253. Are z and p nonequal?
True
Let w be 58/(-145) + (-6)/10. Let y be (-5)/w + (-772)/152. Which is smaller: 1 or y?
y
Suppose 3*y = -f + 280, -5*y + 38*f = 40*f - 467. Which is greater: y or 1673/18?
y
Suppose -2*c - 2*x = -0*c - 6, 9 = -5*c + x. Let o be (c + 4)/(-6)*86. Is o equal to -45?
False
Let x(t) = 6 + t**2 + 4*t + 63 - 22. Let h be x(0). Are 4 and h nonequal?
True
Suppose -h = u + 4*h - 3, -3*u + 4*h = -9. Suppose 2*m + 60 = -